n - 12 = y. Is v prime?
False
Suppose -5*j - 2*c - 12 = c, -2*j + c - 7 = 0. Let z(v) = -3*v - 7. Let n(k) = -1. Let w(x) = j*z(x) + 24*n(x). Is w(4) composite?
True
Let i(a) be the first derivative of -a**3/3 + 11*a**2/2 + 7*a - 1. Suppose 0 = -0*p + 4*p - 24. Is i(p) prime?
True
Let l = 149 - 75. Let r = l + 87. Is r a composite number?
True
Let j(g) = 13*g**2 - 9*g + 9. Is j(10) a composite number?
True
Let u(v) = -6*v**2 + 3 + 2*v + 4*v**2 + 6*v**2. Let h be u(3). Suppose 4*f - h = -b - 2*b, 5*b - 75 = 5*f. Is b composite?
True
Let k(j) = -2*j**3 - 3*j**2 + j + 1. Let z be k(4). Let n = -84 - z. Is n composite?
True
Suppose -465 = -a + 408. Is (-1)/(-2) - a/(-18) a prime number?
False
Suppose 0 = l - 0*l + 5*o - 6863, l - 6863 = -4*o. Is l composite?
False
Suppose g + 1949 = 2*g. Is g a prime number?
True
Let z(t) = 183*t + 53. Is z(6) prime?
True
Suppose 1516 = 3*p + p. Is p a prime number?
True
Is (-242)/(-44)*124/2 a composite number?
True
Let b be (1 + 0)/(1/12). Let p be 9 + 8*(-2)/4. Suppose -4*t + b = 0, -2*v + 250 = -p*t - 141. Is v prime?
False
Suppose -35 = -5*n + h, 0*n - 4*n + 5*h + 49 = 0. Is (-12)/(-18) - (-272)/n composite?
True
Suppose 5*t = 4*q - 0*t - 1176, -3*q + t = -893. Is q prime?
False
Suppose 0 = -2*n + 3 + 3. Suppose 2*a + 7*z - 525 = 2*z, -n*z = -2*a + 533. Is a composite?
True
Suppose l = 1, -2*a - 127 = 3*l - 0*l. Let r = -45 - a. Suppose -q + r = q. Is q prime?
False
Let y = 153 + -219. Let z = -11 - y. Is z a prime number?
False
Suppose 6*l - 1676 = 2*l. Is l a prime number?
True
Let v = 16 - 22. Is (-195)/v*4/2 a composite number?
True
Suppose 0 = 3*j + 12, 2*j = -2*i - 2*j - 30. Let g = 10 + i. Suppose 8*n - g*n - 50 = 0. Is n a composite number?
True
Let p = 139 - 26. Is p a composite number?
False
Let o(z) = 36*z**2 + 3*z + 2. Let t be o(-4). Let g = t + -315. Is g prime?
True
Suppose 5*u - 4751 = 4*q + 6514, 3*u = 3*q + 6756. Is u a composite number?
True
Let d(b) = -198*b - 1. Suppose 3*o = o, -3*v - o - 6 = 0. Let j be d(v). Suppose 3*k + 2*k = j. Is k a composite number?
False
Suppose 0 = -3*n + 7*n + 16. Let z = n - -12. Let y(k) = k**2 + 4*k - 11. Is y(z) composite?
True
Let k be (-4 + 1)/(3/(-2)). Let h(d) = 12*d**3 - 2*d + 3. Is h(k) composite?
True
Let w(i) = -3*i + 1. Let v be w(2). Let f = v - -6. Suppose -245 = -5*s - 2*l, 5*s - 3*l - 219 = f. Is s a prime number?
True
Let j(c) = c**3 - 6*c**2 - 2*c + 4. Suppose g = 1 + 6. Let b be j(g). Suppose b = -h + 4*h. Is h a composite number?
False
Let m be ((-22)/6)/((-2)/(-18)). Let l = -2 - m. Let b = -18 + l. Is b prime?
True
Let f = -3 + 50. Suppose -4*v + 5 = -f. Let j = 8 + v. Is j prime?
False
Let a(x) = x**3 + 11*x**2 + 11*x + 12. Let u be a(-10). Suppose 0 = -u*j - 7 + 81. Is j a composite number?
False
Let v(d) be the second derivative of d**5/20 - d**4/4 + 7*d**2/2 + d. Let h(q) = q**3 - 8*q**2 + 7*q + 7. Let a be h(7). Is v(a) prime?
False
Let l(m) be the third derivative of m**5/30 + 2*m**4/3 - 11*m**3/6 + 9*m**2. Is l(-13) a prime number?
False
Suppose 3*s - 68 + 278 = 0. Is (s/4)/((-8)/16) composite?
True
Let i(j) = 59*j - 15. Is i(6) composite?
True
Let u(m) = 16*m - 6. Let n be (-55)/(-5) - (5 - 2). Is u(n) a composite number?
True
Suppose 3*v + 4 = -2. Let p be v + 2 - (-1 + -1). Suppose -p*x + 581 = 2*x + 3*h, -131 = -x + 4*h. Is x a composite number?
True
Let h(m) = m**3 + 12*m**2 - 6*m - 13. Let z be h(-10). Suppose -i + 2*p = -466 - z, 5*i + p - 3565 = 0. Is i a composite number?
True
Suppose -5*y - 2*o + 93 = -518, -o - 248 = -2*y. Is y a composite number?
True
Suppose -2 = 5*z - 3*z. Let w be -4*z/(-2)*-1. Is (-4)/(-4) - (-90)/w a composite number?
True
Let b(c) = 2*c**3 + 3*c**2 - 4*c - 7. Is b(6) a prime number?
True
Let r = -1 + 4. Suppose -t - r*t + 3*k + 8 = 0, -3*k = 2*t - 4. Suppose 23 + t = u. Is u a composite number?
True
Suppose o = 6*o - 25. Suppose a + a - 3*g - 962 = 0, 4 = -g. Suppose -o*l + 0*l = -a. Is l prime?
False
Let z be (-3 - -14) + -2 + 1. Let h be (-453)/(-15) + (-2)/z. Suppose 0 = -3*m + 33 + h. Is m a prime number?
False
Let s be -2*((-3)/(-2))/3. Let q = 32 + s. Is q prime?
True
Suppose -11 = -5*m + 4. Is (-40 - (m + -5))/(-2) prime?
True
Suppose k + d = 262, -3*d - d + 524 = 2*k. Is k prime?
False
Is 2*(-2)/(-4) - -6 a composite number?
False
Let o(n) = n**2 - 4*n - 2. Let k = 24 - 14. Is o(k) prime?
False
Is -2 + 1 + -3 - -677 a prime number?
True
Let p be (1 + 0)/(4/12). Suppose h = -2*r + 75, -p*h + r = -h - 160. Is h prime?
True
Suppose -3*h - 9 = 0, 2*h = -3*j - 0*h + 11079. Is j composite?
True
Suppose -4*u + 2*u = -10. Suppose 0 = u*d - z - 47, -4*d = -5*z - 13 - 12. Suppose -5*k - 12 = -g + 11, 0 = -5*k - d. Is g a composite number?
False
Let o(r) = 1114*r**2 + 2*r - 1. Is o(1) prime?
False
Suppose g = 3*w - 6*w + 1895, 4*g = -4*w + 7596. Is g composite?
False
Let p = -119 + 84. Is (p/2)/((-2)/4) a prime number?
False
Let h(m) be the second derivative of -17*m**3/6 + 3*m**2 + 5*m. Is h(-9) composite?
True
Suppose 4*x - x - 546 = 0. Let z = -127 + x. Is z a composite number?
True
Suppose 2*t - 23 = n, -3*t + n = -10 - 23. Suppose -7*l + t*l - 159 = 0. Is l prime?
True
Suppose 9*o + 2319 - 11697 = 0. Is o a composite number?
True
Let y be (-2175)/20*(-16)/6. Is (1 - -1)*y/4 prime?
False
Suppose -5137 = -8*v + 247. Is v a composite number?
False
Let m(p) = 2*p**3 - 5*p**2 + 4*p - 4. Let u be m(3). Suppose -u = 3*b - 2*y - 282, -4 = -y. Is b composite?
True
Let g(h) be the second derivative of h**4/3 - h**3/3 + 3*h**2/2 - 3*h. Is g(4) a prime number?
True
Suppose -5*a + 3*q - q - 435 = 0, 5*a - 3*q = -440. Let o be a/(-15) - (-4)/(-6). Suppose o*d - 243 = -b, -3*d + 2*b + 153 = -b. Is d prime?
False
Let h be (1278/12)/(2/4). Suppose -4*p = -h + 1. Is p a composite number?
False
Let k be (-16)/(-10) + 4/10. Suppose -88 = -2*u + k*l, 0*l - l = -3. Is u composite?
False
Let b(p) = -p**2 + 6*p - 4. Let v be b(4). Is (-465)/(-25) + v/10 prime?
True
Suppose y = 2*y + 18. Let v be -3*(7/(-3) + 3). Is 2*v/(-4) - y a composite number?
False
Let p(w) = w**3 + 17*w**2 - 5. Is p(-7) prime?
False
Let b(y) = -5*y**2 + 7*y - 17. Let a(c) = -3*c**2 + 3*c - 9. Let m(o) = 7*a(o) - 4*b(o). Let h = -22 + 17. Is m(h) composite?
True
Let r(x) = x**3 + 4*x**2 + 2*x - 2. Let v be r(-2). Let w = -13 + 13. Suppose 53 = s + 2*m, w = -v*s + 3*m - 2*m + 96. Is s composite?
True
Let t = 1 + -2. Let a be (-2)/(-4)*4*t. Is 114/10 + a/5 a prime number?
True
Let t be (-3)/(1 - 282/279). Suppose -2*c + 2 = 0, -k - k + 3*c = -t. Is k a composite number?
True
Is (11/2 + -2)/(13/5486) a composite number?
True
Is 260 + (6 - 4 - 5) prime?
True
Let w = -5 + 7. Suppose -w*y + 407 = 67. Suppose -235 = -3*j - j - 3*l, -3*j - l = -y. Is j composite?
True
Let w(h) = 6*h - 13. Is w(8) a prime number?
False
Suppose -2*x - 74 = q, 0 = 3*x - x. Let d = q + 157. Is d prime?
True
Suppose -13*s + 5*s = -5552. Is s composite?
True
Let h = -3 + 50. Suppose -h = -s - 2*r, -2*r + 129 = 4*s - 29. Is s a composite number?
False
Suppose 4*o - 38 = 3*o. Is o prime?
False
Let u(h) = 6*h**3 + 5*h**2 + 3*h + 9. Is u(7) a composite number?
False
Let n = -12 - -7. Let r(t) = 14*t**2 + 32*t - 14. Let x(k) = -5*k**2 - 11*k + 5. Let p(l) = -4*r(l) - 11*x(l). Is p(n) composite?
False
Is (1/(-3))/(8/(-2136)) a prime number?
True
Let k = 4233 + -662. Is k a composite number?
False
Let z = -55 + 114. Is z a composite number?
False
Is (-13 - -12)/(1/(-635)) prime?
False
Let g(q) = 74*q**2 + 8*q + 37. Is g(-3) a composite number?
True
Suppose 0*j = -5*h - j + 20, 4*j = 0. Suppose 4*n + c - 174 - 165 = 0, 89 = n - h*c. Is n composite?
True
Let i(b) = -2*b**3 + 8*b**2 + 8*b + 5. Is i(-5) a composite number?
True
Suppose 0 = -4*h + 8*h + 24. Let g = -10 - h. Let y = 7 + g. Is y a prime number?
True
Suppose 7 + 5 = 3*p. Is (p/(-6))/(6/(-1467)) a composite number?
False
Suppose -30 = n + 4*n. Is (-3)/n + 202/4 composite?
True
Suppose 28 + 14 = 3*u. Is u a prime number?
False
Let r be (-55010)/(-30) - (-1)/3. Suppose 3*j - r = 197. Is j a prime number?
True
Let h(m) = 9*m**2 - 2*m + 4. Is h(3) a prime number?
True
Let j be 3/(-2) - (-3)/6. Let k be (2/2)/((-2)/(-20)). Is k - j*2 - -1 a prime number?
True
Let y = -911 + 1569. Let z = y + -1007. Let o = -192 - z. Is o a pr