. Is v a prime number?
True
Suppose 830 = -c + 6*c. Let x(t) = -t**3 - 5*t**2 + t - 8. Let g be x(-7). Let z = c - g. Is z a prime number?
True
Let z be ((0/(-2))/(-2))/(-1). Suppose -5*g + 30 + 1435 = z. Is g a composite number?
False
Let b(u) = 601*u + 22. Is b(5) a composite number?
True
Suppose 0 = -p + 2*p - 2. Suppose -5*q = -0*s + 2*s - 1011, p*q - 412 = 3*s. Is q a composite number?
True
Suppose -5*k - p = -k - 9335, 2*k - 4660 = 2*p. Is k a composite number?
False
Let r be ((-429)/(-12))/(1/4). Let v = r + -84. Is v prime?
True
Let j = -3 - -7. Suppose 12 = -0*c + j*c. Suppose 0 = -c*x + 3, -n + 5*x = 3*n - 71. Is n prime?
True
Suppose -2*t = -5*a - 320, -4*t + 2*a + 670 = 7*a. Let v = 0 + 0. Suppose 0*d + 3*d - t = v. Is d composite?
True
Let k(d) = -18*d + 19. Let v(h) = 9*h - 9. Let q(w) = -4*k(w) - 9*v(w). Is q(-6) prime?
True
Let g(y) = 199*y**2. Let w be g(-2). Suppose -58 - w = -2*u. Is u a prime number?
False
Let q(b) = b**2 - 3*b - 3. Is q(16) prime?
False
Suppose 4*x + 16 = 0, -3*x = 3*t + 94 - 1921. Is t prime?
True
Let u(r) be the second derivative of -r**5/20 + r**4/3 - r**3/3 - r**2/2 + 2*r. Let d be u(2). Suppose -d*k + 3*v = -102, -v - 4*v = -15. Is k prime?
True
Let j(w) = w - 9. Let l be j(8). Let o = 1 - l. Is -13*(o/(-2) + 0) prime?
True
Let l be ((-6)/3)/((-16)/(-120)). Let t(x) = -3*x - 8. Is t(l) a composite number?
False
Is -428*(-1 + (-4)/(-8)) - -3 composite?
True
Let n(b) = b**3 + 5*b**2 + 3*b + 3. Let t be n(-5). Let z be (-8)/(-2*2) - -45. Let y = z + t. Is y composite?
True
Suppose 0 = -r - 4*a + 361, 0*r - 1134 = -3*r + 5*a. Is r a composite number?
False
Let w(s) = -7*s**2 + 9*s + 2 - 7*s + 12*s**2. Let x be (2 - 3)*2 - -5. Is w(x) prime?
True
Suppose -4*y = 9 - 25. Let l(q) = -q**2 + q - 1. Let f be l(0). Is (f*5)/(y/(-8)) prime?
False
Let h = -92 + 399. Is h prime?
True
Suppose 2*y + 2*y - 2264 = -4*w, -1116 = -2*y + 2*w. Let b = y - 297. Is b prime?
False
Suppose -8 = -2*f - 0*f. Suppose 6*r - 6 = f*r, 0 = 4*b - 2*r - 14. Suppose 3*o = 5*o + i - 9, b = -5*o + 3*i. Is o composite?
False
Suppose -2*x + 0*x = 5*t - 2255, -3*x + 913 = 2*t. Is t a composite number?
False
Suppose k + 451 = 4*y, 2*y = -2*y + 3*k + 449. Is y a prime number?
True
Let h(p) = -356*p + 17. Is h(-4) a composite number?
True
Let k(f) = 5*f**2 - 19*f + 15. Is k(-18) a prime number?
False
Let h(y) = -y**3 + 10*y**2 + 2*y + 8. Is h(7) a composite number?
True
Let c = 173 + -106. Is c a composite number?
False
Let k(a) = 31*a**2 + 3*a. Is k(-2) a composite number?
True
Let a = 5 + -6. Let f(g) = -2*g + 1. Let h be f(a). Suppose -h*o + 7*o = -2*d + 104, 4*d = o + 235. Is d a prime number?
False
Let s(v) = 1. Suppose 2 = r + 1. Let l(t) = -7*t + 4. Let y(o) = r*s(o) - l(o). Is y(2) a prime number?
True
Let a = 13 - 5. Suppose -3*n = -2*c + a + 638, -2*c = n - 662. Is c a prime number?
False
Is 24134/33*(-3)/(-2) composite?
False
Let v(l) = -l**3 - l**2 - l + 14. Is v(0) prime?
False
Suppose -4*i = -5*s - 0*i + 1101, -426 = -2*s - 2*i. Is s a composite number?
True
Let q(u) be the first derivative of -23*u**2/2 + 5. Is q(-1) a composite number?
False
Suppose 4*i + 10 + 10 = 0. Let h = i - 3. Is 2/1*(-212)/h prime?
True
Let o = 8 + -2. Let s(c) = -c**3 + 7*c**2 + 7. Is s(o) composite?
False
Suppose -2*w - 2*w - 16 = 0. Is ((-2)/w)/(3/198) prime?
False
Is ((-4)/8)/((-2)/4772) a prime number?
True
Suppose -4*p = -3*j + 14, 2*p + 11 + 1 = 4*j. Is (5/p - -2)*-22 a composite number?
False
Let m = -3 - -4. Let k(x) = -x**2 + x + 1. Let v be k(m). Is v/(-2 + 213/105) a composite number?
True
Suppose -2*b + 1 = -3*t, -2*t - 3*t - 11 = -b. Let i be (t/2)/(6/8). Is 0/(i/2) + 111 a composite number?
True
Let w(b) = -27*b - 4. Let f = 5 - 5. Suppose 10*y - 5*y + 15 = f. Is w(y) a prime number?
False
Let i(n) = -2*n**3 - 2*n**2 - 3. Let l be i(-4). Suppose -3*c - l = -2*a - 4*c, -78 = -2*a - 4*c. Is a prime?
False
Let t(a) = -a**2 + 11*a + 4. Let k be t(5). Let i = 194 - k. Let p = i - 105. Is p a composite number?
True
Let k(b) = 96*b**3 - b**2 - 2*b + 3. Is k(2) a composite number?
True
Let i(k) = 534*k**3 - k**2 - 2*k + 2. Is i(1) a prime number?
False
Let q(a) = 229*a**2 - 5*a + 5. Is q(3) prime?
False
Let g be -4*(-4 + 20) + 0. Let y = g + 89. Is y a prime number?
False
Let x(l) = l. Let w be x(3). Suppose 2*i + 4*v - 74 = 0, w*i - 47 = v + 50. Is i composite?
True
Let i be (-12)/(2/(-3)*1). Let u = 47 - 50. Is 91 - (i/(-3) - u) composite?
True
Suppose 72 = 4*y - 932. Is y a composite number?
False
Let m = 47 - 25. Is m prime?
False
Let a = 63 + -26. Is a prime?
True
Suppose 194 = 3*r - r. Suppose -i - 60 = -o - 2*o, 4*i - 80 = -4*o. Let l = r - o. Is l prime?
False
Suppose 5*p - 2*n + 630 + 60 = 0, 690 = -5*p + 5*n. Let d = p - -98. Let z = d - -89. Is z composite?
True
Let r(p) = p**2 + 2. Let a be r(6). Suppose -3*z + a = b, 0*z = -b + 2*z + 33. Is b prime?
False
Suppose 2*f = -2*r, 3*r - 8*r + 10 = 0. Is (-33)/((3 - 1)/f) a prime number?
False
Let w(i) = 3*i**3 - 11*i**2 + 3*i + 10. Is w(7) a composite number?
False
Let o(y) = 189*y + 13. Is o(4) composite?
False
Suppose -9*d = -4*d - 11425. Is d a prime number?
False
Let b be 2/((-6)/(-3)) + 1640. Suppose 2*x + x = b. Suppose x = 3*q + 4*t, 3*t = t - 4. Is q a composite number?
True
Suppose -q + 2*q + 5*h = 118, q + 4*h - 117 = 0. Is q prime?
True
Let x = -4 - -6. Suppose z - 57 = -x*z. Let h = z - 9. Is h a prime number?
False
Let t(p) = 5*p + 6. Let g(z) = -z**2 - 5*z + 1. Let q = -4 + 0. Let s be g(q). Is t(s) a prime number?
True
Suppose -4*k - k - 3*s = -6, -5*s + 10 = 2*k. Suppose 32 = 4*v - 3*z, -7 = -2*v + 3*z + 15. Suppose -3*i + v + 16 = k. Is i a composite number?
False
Suppose -1064 = 3*l + 1105. Let o = l + 1322. Is o composite?
False
Let b = 2 - 2. Suppose 35 = h - b*h. Is h a prime number?
False
Let a be 1/(-3) + (-50)/3. Let r = a - -30. Is r composite?
False
Let j(r) = -6 + 2*r**2 + r**3 - 3*r**3 + 0*r**2 - 4*r - 7*r**2. Is j(-4) a composite number?
True
Let v(x) = 4*x**2 + 4*x + 1. Let s be v(-3). Suppose -89 + s = -3*z + 4*l, 5*l - 109 = -3*z. Suppose 2*c + 0*c = z. Is c a prime number?
False
Let n = -127 + 71. Let k = 33 - n. Is k a prime number?
True
Suppose -5*q = q - 18. Is 69 + 4 + q/3 composite?
True
Let q = 11 - 33. Let m = 13 + q. Is (3/m)/(2/(-222)) prime?
True
Suppose -5*z + 420 = -0*z. Suppose -z = -l + 43. Is l composite?
False
Let q(p) = 1. Let l(z) = -6*z - 3. Let g(c) = c**2 - 4*c - 6. Let o be g(5). Let h(a) = o*q(a) - l(a). Is h(2) a prime number?
False
Let w be 2/(-3) + 20/12. Let a be w + -1 + -1 + 6. Suppose a*c - 38 = 32. Is c a composite number?
True
Suppose 2*u = 4*t, 0*u - 2*t + 10 = 4*u. Let q be (-10)/4*(-4)/u. Suppose -p - 76 = -q*p. Is p a composite number?
False
Let z(g) be the second derivative of -g**3/2 - g**2 + g. Let y(r) = -r**2 + 2*r - 3. Let s be y(2). Is z(s) a prime number?
True
Let h = 3434 - 1023. Is h a composite number?
False
Suppose 1 = 5*x - 4*x. Suppose -30 = -g + x. Is g composite?
False
Let z = -3 - -41. Is z composite?
True
Let o(q) = -q**2 + q. Let k(u) = 8*u + 1. Let s(d) = k(d) - 2*o(d). Let g be s(-4). Suppose -3*l = -90 - g. Is l a prime number?
False
Let g(j) = 6*j**2 + 1. Let w be g(-1). Let s = -8 + 8. Let k = w + s. Is k a prime number?
True
Let v = -11809 + 20162. Is v prime?
True
Let f(t) = 3*t**2 - 10*t - 4. Is f(9) a prime number?
True
Suppose 0*n + 4*v = -3*n + 1274, -v + 846 = 2*n. Is n composite?
True
Suppose 0 = x + o + 1 + 5, -8 = -4*o. Let z = 3 + x. Let w(f) = 2*f**2 + 3. Is w(z) a composite number?
False
Let u be (-551 + 2)*3/3. Let z = 1018 + u. Is z composite?
True
Suppose -n - 3 = -u - 0*n, 2*u - 5*n = 0. Let x(k) be the first derivative of 2*k**3/3 - 3*k**2 - 7*k + 1. Is x(u) composite?
False
Let f = -10 + 17. Suppose 3*z = y + f, 2*y - 2 = -4. Suppose z*j + 8 = 0, 3*b = b - 3*j + 26. Is b a composite number?
False
Let h(l) be the third derivative of l**4/24 - 7*l**3/6 + 2*l**2. Let d be h(10). Suppose -a = d*a - 148. Is a composite?
False
Let q = 2012 + -1153. Is q a composite number?
False
Let b be ((-28)/16)/((-1)/(-4)). Let r = -4 + b. Let l = 2 - r. Is l composite?
False
Is 4/(8/(-95))*-2 prime?
False
Suppose 4*i - 3*i + 76 = 0. Let l be 2/(-4)*(i - -2). Let k = l - -46. Is k composite?
Fal