v a prime number?
False
Suppose -206 = -t + 33. Is t prime?
True
Let d(z) = -11*z**3 + 3*z**2 + 7. Let m be d(-3). Suppose -2*o = 4*n - 158, 5*n - m = -4*o - 0*n. Is o a composite number?
False
Suppose -u - 2*u - 3 = 0. Let l be (3 - (4 + -2)) + u. Suppose l = 2*x - 3*i - 2 - 47, -4*i + 111 = 5*x. Is x composite?
False
Let z(c) = -c**3 - 5*c**2 - 6*c - 4. Let j be z(-4). Suppose j*k - 5*k = -45. Suppose k - 158 = -y. Is y a prime number?
True
Let x(o) = -81*o + 2. Is x(-1) a composite number?
False
Let b be (3 - -13)/((-4)/(-30)). Let u = -65 + b. Is u a prime number?
False
Let r = 1050 - 679. Is r prime?
False
Let o = 76 - -465. Is o composite?
False
Suppose 8 = 3*h - 4. Is (-19)/(-3 + h + -2) composite?
False
Suppose 4*q = -0*q + 136. Suppose 2*l + 8 = q. Is l a composite number?
False
Is 52*(1/4 - -3) composite?
True
Let z(r) = 4*r**2 + 0*r**2 - 3*r**2 - 6 - 4*r. Is z(11) a prime number?
True
Let i be 8 - (-2 - (1 - 1)). Let v = i + -7. Suppose 0 = -z - 2*z - 5*s + 43, -4*z = v*s - 39. Is z a composite number?
True
Let x(u) = u + 15. Let s be x(-7). Is 4/s + 105/2 prime?
True
Let n(h) = -419*h**3 + h**2 + h - 1. Is n(-2) composite?
True
Let w(g) = -g**3 - 6*g**2 + 6*g + 9. Is w(-8) a composite number?
False
Let j = 6 - 14. Let p(n) = -n - 4. Let w be p(j). Suppose -d = 2*o - 113, w*o = -d - 0*d + 229. Is o a composite number?
True
Let l(p) = p**3 - 5*p**2 + 6*p - 2. Let m be l(5). Suppose -m = 3*v - 5*v. Is v a composite number?
True
Let s be (-1815)/(-9) - 1/(-3). Suppose -4*x + w + s = 0, -4*w + 247 = 5*x - 16. Is x prime?
False
Suppose 5*j = 6*r - 4*r + 4, 5*j + 10 = -5*r. Let s = -9 - j. Is (-3)/s*3*21 composite?
True
Let h(x) = x**3 + 8*x**2 - 8*x + 13. Let n be h(-9). Suppose -n*k + 1876 = -0*k. Is k prime?
False
Let m be 2/(-6) + (-150)/9. Let n = 2 - m. Is n composite?
False
Suppose 0 = -5*m + q + q + 58, q - 6 = -m. Let d(i) = 11 - 11*i**2 - 15*i**3 + 12*i**3 + 4*i**3 + 10*i. Is d(m) a composite number?
False
Suppose -q = 7*q - 23368. Is q prime?
False
Let i(y) = 4*y**2 - 8*y. Let h be i(7). Suppose 0 = 4*f - 8*f + h. Is f prime?
False
Let l(c) = -c**2 + 2*c + 7. Let b be l(5). Let n(i) = -i**3 - 5*i**2 + 4*i + 3. Is n(b) a prime number?
True
Suppose 3*b = -0*b - v + 4, 3*b = 5*v + 34. Let s(j) = j + 5. Let g be s(4). Suppose 0 = b*q - g, 0*y - 3*q = 4*y - 517. Is y a composite number?
False
Let h(o) = -2 - 8 - 3*o**2 + 5*o + 10*o**2 - o. Is h(4) prime?
False
Let z = 0 - -1. Is 3 - z - -95 - 2 composite?
True
Let q(x) be the first derivative of x**3/3 - 5*x**2/2 + 3*x + 2. Let h be q(5). Let g(m) = 2*m. Is g(h) a composite number?
True
Let v = -6 + 6. Suppose 0 = -v*b + 3*b - 309. Is b composite?
False
Is (-199)/(-3) + 2/3 prime?
True
Suppose -5*k + 0*k - 715 = 0. Suppose -6*g + g = 1050. Let h = k - g. Is h composite?
False
Suppose 0 = -0*p + 4*p - 20. Let m be ((222/(-1))/(-3))/2. Suppose p*k - 28 - m = 0. Is k a composite number?
False
Let y(x) = -x**2 - 9*x + 4. Let i be y(-11). Let q be i/15*15/(-2). Let n = 13 + q. Is n a prime number?
False
Suppose 5*u = -2*b + 9541, -31527 = -5*b - u - 7617. Is b composite?
False
Let c(k) = 3 - 4*k**3 - k**2 + 4*k - 5*k - 2. Let b be 8/20 - 12/5. Is c(b) composite?
False
Let r be (-130)/(-18) + 2/(-9). Suppose -f + 10 = r. Suppose -242 = -3*i + 5*x, -4*x - 293 + 55 = -f*i. Is i prime?
False
Let g be ((-16)/6)/(10/(-45)). Suppose -2*i = i - g. Suppose -i*c + u = -41, -c - 4*u + 6 = -0*c. Is c prime?
False
Let w = 85 - 19. Suppose 26 = -4*i + w. Is i a prime number?
False
Let q be (-30)/12*(1 + -3). Suppose -3*w + q*m + 127 = 0, -m = 5*w - 0*w - 193. Is w a composite number?
True
Suppose -5*w - 4401 = -12676. Is w prime?
False
Suppose 3*b - 398 = -2*g - 0*g, 398 = 2*g + b. Is g a prime number?
True
Let r = -4 + 6. Suppose -r*x - 830 = -7*x. Is x composite?
True
Let b(p) = 30*p + 7. Is b(4) a composite number?
False
Let d be (1 - 0/(-2))*-1. Is 0/(-3) + d + 12 composite?
False
Let p be -1*2 - (-492)/3. Suppose -3*m = -3*j - m - 105, -5*j - m - p = 0. Let r = -20 - j. Is r a composite number?
False
Let f be 0*(-1)/(0 + -1). Suppose -52 = g - 5*g. Suppose j = -f*j + g. Is j a prime number?
True
Let g(n) = 39*n + 8. Let w be g(6). Suppose -6*h + w + 448 = 0. Is h composite?
True
Let a(l) = 87*l**2 + 4*l - 9. Is a(4) prime?
True
Suppose -v - 156 = 3*f - 5*f, f = -v + 75. Is f composite?
True
Let z(g) = -g**3 + g**2 + 5*g + 6. Let v be z(5). Let k be (4/(-5))/((-4)/730). Let q = v + k. Is q a prime number?
False
Suppose 0 = 5*y - 29 - 506. Let t = -64 + y. Is t composite?
False
Is (2122/4)/((-2)/(-4)) prime?
True
Let q = 399 + 52. Is q a prime number?
False
Let x = 732 - 439. Is x a prime number?
True
Let a(k) = k**3 + 5*k**2 + 2*k - 1. Suppose 0 = -5*t - 3*j + 26, 4*t + 4*j - 7 = 17. Suppose -t*x + 3*x - 2 = 0. Is a(x) a composite number?
False
Let k(x) = x - 1. Let i be k(-4). Let z = i - -3. Is (z + 21/9)*57 a composite number?
False
Is (-10)/(-25) - (-588)/5 prime?
False
Suppose 0*m - 22 = m. Let v = m - -36. Is v prime?
False
Let d(y) be the third derivative of y**5/60 - y**4/2 + 7*y**3/6 + 3*y**2. Let c be d(11). Is (-2)/c*(-3 + 47) prime?
False
Suppose b - 15 = -2*b. Is b/(50/6)*5 a composite number?
False
Let g be 5*(-3)/(-30)*54. Suppose -3*i = -0*i - 3. Suppose i = -2*h + g. Is h a composite number?
False
Let i(c) = -c**3 + 12*c**2 + c + 8. Let r be i(9). Suppose r = 2*n + 24. Is n composite?
True
Let l(w) = w**2 - 9*w + 3. Is l(13) composite?
True
Suppose 6*k = k + 265. Suppose -159 - k = m. Let a = m + 447. Is a a composite number?
True
Let f be (-272)/(-44) + (-2)/11. Suppose 0*r - 5*o - 42 = -2*r, 3*o = f. Suppose 2*b - r = 20. Is b composite?
False
Let b = 133 - 36. Is b composite?
False
Let v = 885 - -872. Is v composite?
True
Let t be 53*3*-1 + 0. Suppose 0 = 5*c - c - 36. Is (6/c)/((-2)/t) a composite number?
False
Suppose 4*w = -5*j + 593, -5*j + 0*j = 2*w - 309. Is w prime?
False
Suppose 167 = -h - 30. Suppose 5*o = 5*w - 655, o - 4*w + 18 = -110. Let i = o - h. Is i composite?
True
Suppose 8*a - 87 = 5*a. Is a/2*(-1 + 7) composite?
True
Let n(p) = -157*p**3 + 3*p**2 - 2*p + 3. Let c be 5/1 + -1 + 0. Let l(s) = 471*s**3 - 8*s**2 + 5*s - 8. Let a(d) = c*l(d) + 11*n(d). Is a(1) a prime number?
True
Suppose 4*g = 1952 + 1044. Is g a prime number?
False
Let o = -6 + 16. Suppose -15 = g + 3*u, 4*u = 5*g + 6*u + o. Suppose -3*t = -g*d - 3*d + 912, -5*t + 888 = 3*d. Is d composite?
True
Let q = 107 - 54. Suppose -3*v + 46 = -q. Is v composite?
True
Suppose 5*g = 3*o - 3, -7*g + 3*g + 4*o - 4 = 0. Let t(v) = -v + 13. Is t(g) a composite number?
False
Let f = 42 - 15. Suppose 0 = 5*t - 7 + f. Let x = 27 + t. Is x a composite number?
False
Suppose 0 = -3*p, 0*v - v = 3*p. Let n(f) = f - 74. Let y be n(v). Is y/5*1*-5 prime?
False
Let c = -25 - -36. Suppose 0 = -5*w + 1 - c. Let q = w - -69. Is q composite?
False
Is (4869 - -38) + (-4)/(-1) a composite number?
True
Is 3*907*(-6)/54*-3 a prime number?
True
Is (-11 + -4)*-1 + -1 a prime number?
False
Suppose g = 4*z + 346, g = -2*g - 5*z + 1123. Suppose 15 = 2*i + i. Is g/10 + 2/i a prime number?
True
Let d(y) = 28*y**2 - 5*y + 4. Is d(2) prime?
False
Is (331 - 3/2*2) + 3 prime?
True
Let y be 8/3*66/4. Suppose -y - 8 = -4*z. Is z composite?
False
Let m = 0 + 1. Let p be m + -3 + 2 + 2. Suppose -p*t - 2*u + 68 = 0, 3*u - 4*u - 32 = -t. Is t a prime number?
False
Let c(b) = 4*b**2 - 13*b + 4. Is c(9) prime?
True
Let c(a) = 2*a**2 - 2*a + 1. Let w be c(2). Let d = -2 - -6. Suppose w*k - 177 = -d*r, r = 5*k - 48 - 139. Is k composite?
False
Let k(l) = -65*l**3 - 2*l**2 + 1. Let y be k(1). Let m = -71 + 36. Let d = m - y. Is d composite?
False
Suppose -f = 2*i + 8, -2*i + 0*i = -f. Let d(g) = -2*g. Let a be d(i). Is 4/(-6)*(-282)/a a prime number?
True
Let t be (3 - 5) + (3 - 0). Suppose -t + 2 = c. Is (-44)/(-4)*1/c prime?
True
Let l(m) = m**3 - 4*m**2 - 2*m - 2. Let s be l(4). Let p be s/(-4)*(-2)/(-1). Suppose p*n - 140 = 25. Is n prime?
False
Suppose 3*a = -3*t - 18, 0*a + 3*a - 2*t = -38. Let h be (-123)/2*a/15. Suppose -4*f - 33 = 5*p - 87, -h = -4*p - f. Is p a composite number?
True
Let p be -10*(-1 + 14 + -3). Let d = p + 219. Is d a prime number?
False
Let r(l) = l**3 - 4*l**2 - 10*l + 7. Suppose -37 = -4*k - 13. Is r(k) prime?
Tru