12. Let w(t) = 54*t + 1. Is w(o) a prime number?
True
Suppose -2*y = -2*k - 14, 2*y - 5*k = -y + 21. Let u = 12 - y. Let s = u + 18. Is s a composite number?
False
Let u(m) = -2*m - 1. Let r be u(1). Let a = 4 + r. Is a*(2 - 5/(-1)) composite?
False
Suppose 0 = j - 5*w - 334, -55 = -j - w + 273. Is j prime?
False
Suppose -2*q = -0*p - 3*p - 382, 5*p = -2*q + 382. Is q composite?
False
Let o(x) = x**3 + 8*x**2 + 5. Let c be o(-8). Suppose -5*r = 4*a - 597, -2*a + c*r = 2*a - 587. Suppose z + 3*z = a. Is z a composite number?
False
Let o(r) = r + 3. Let y be o(-3). Suppose y = 3*b - 6*b + 249. Is b composite?
False
Let q(m) = -86*m**3 - 2*m**2 - 3*m + 4. Is q(-3) a prime number?
False
Let y = 167 - 94. Let g be (-7)/(-2) - (-1)/(-2). Suppose g*q + 2*c - y = 2*q, -5*q - 2*c + 341 = 0. Is q composite?
False
Let q = -990 - -3917. Is q a prime number?
True
Let s(k) = -k**3 - 4*k**2 + 10*k + 9. Let a be s(-6). Let c = a - 17. Is c a composite number?
True
Suppose -2 = -3*y + 1. Let s(o) = o**2 + 1. Let q be s(y). Suppose -q*p + p + b + 74 = 0, 0 = p + 5*b - 104. Is p composite?
False
Suppose p - 270 = -4*p. Suppose 216 - p = 2*o. Suppose 0 = -5*v + o + 149. Is v a prime number?
False
Let j(a) = a**2 + 3*a. Let k be j(-6). Is 156/k*(-6)/(-4) a prime number?
True
Let o = -146 + 215. Is o prime?
False
Is (4911/(-6))/(-3 - 5/(-2)) composite?
False
Let t(w) = -8*w**3 + 15*w**2 + 10*w - 33. Let o(n) = -3*n**3 + 5*n**2 + 3*n - 11. Let z(q) = 11*o(q) - 4*t(q). Is z(-8) a prime number?
False
Let h(z) = -5*z**2 + 2*z + 8. Let c(p) be the third derivative of -p**5/10 + p**4/24 + 3*p**3/2 + p**2. Let o(v) = 2*c(v) - 3*h(v). Is o(5) a prime number?
False
Let y(v) = -v - 6. Let w be y(-8). Suppose -3*p = a - 145, -w*p = -0*p + 3*a - 99. Suppose -p + 196 = 4*c. Is c a prime number?
True
Let x = 6 + 1. Let u(v) = v - x*v + 12*v**2 - 5*v**2. Is u(5) composite?
True
Let w(g) = g**3 + 9*g**2 - 5*g - 6. Is w(-9) prime?
False
Suppose -11*i = -1799 - 170. Is i prime?
True
Suppose 4*p - 1760 = -5*y, y - 449 = -p + 2*y. Is p composite?
True
Let v = 7 - 1. Suppose 0 = 2*y - 4 - 22. Let x = y - v. Is x prime?
True
Suppose -180 = -g + 175. Is g a prime number?
False
Let u be (-1)/2 + (-15)/(-2). Suppose 2*f - d = 2*d + u, -4*f = -2*d - 10. Suppose -114 = -4*s - 2*p, 0 = f*s + 3*s - 2*p - 165. Is s a prime number?
True
Suppose 3*y = 6, -2*r + 1273 + 2499 = -3*y. Is r composite?
False
Let v = -38 - -20. Let b = v - -12. Is 1/2 + (-399)/b a prime number?
True
Let p be -1 + 3 + (-32)/2. Is p*((-76)/8 + -2) a composite number?
True
Suppose 4*p = -10*p + 43162. Is p a prime number?
True
Let x be 26/8*(-6 - -2). Let g = -22 - -2. Let w = x - g. Is w composite?
False
Suppose 3*j - 5*j - 4*o = -2082, -j + 1037 = -2*o. Is j composite?
False
Let c(k) = -1 + 2*k - 12*k**2 + 0 + 100*k**2. Let a = 16 + -15. Is c(a) prime?
True
Suppose 5*y = 3*t - 2711, -4*y + 7*y - 3634 = -4*t. Is t prime?
True
Suppose -15 = -s + 6*s. Let n = s - -5. Suppose -14 = -n*q + 36. Is q a prime number?
False
Suppose 20 = -2*v + 7*v, 0 = -y + v - 217. Let b = y + 358. Is b composite?
True
Suppose 0 = -2*s + 610 + 3738. Is s a composite number?
True
Suppose 3*x - 99 = -v - 2, -4*v + 171 = 5*x. Suppose 5*s - 20 - 5 = 0. Suppose -s*n + 155 = p, -n + p + p = -x. Is n a composite number?
False
Suppose -98 = -5*l + 142. Let v = l + 7. Is v composite?
True
Let y(m) = m - 7. Let w be y(10). Suppose -526 = -w*b - 79. Is b a prime number?
True
Let u = 863 + -516. Is u a composite number?
False
Is (-1)/(-4) - (-9919)/52 prime?
True
Let f(m) = 2*m**3 - m**2 + 2*m + 4. Let a(g) = -g**2 - 9*g + 7. Let s be a(-8). Suppose 0 = 2*x + 3*x - s. Is f(x) composite?
True
Let b(c) = c + 2. Let y be b(-1). Let v be y + -2*(-3)/6. Suppose -v*r + 13 = -61. Is r composite?
False
Suppose 5*v - 3*v + 62 = 0. Let j = 236 + v. Is j composite?
True
Suppose 2*b - 1751 = 2555. Is b a composite number?
False
Let y = -144 + 383. Let b = y + -81. Suppose 0*u - b = -2*u. Is u composite?
False
Suppose -30 = -4*q + 5*b, -2*b = -q + b + 11. Let l = -81 - -131. Suppose -q*h = -10*h + l. Is h a composite number?
True
Suppose 601 = 5*a + x, -4*x = -0*a - 2*a + 236. Suppose -2*d - a = -0*d. Let r = -41 - d. Is r prime?
True
Is (-12)/(-18) + 6157/3 a prime number?
True
Suppose -110*u + 104*u + 19302 = 0. Is u composite?
False
Let l(q) = -272*q - 9. Let x be l(-7). Suppose 5*r = -3*n + n + 739, x = 5*n + 3*r. Is n prime?
False
Is 15956/(-6)*(-21)/14 composite?
False
Is ((-6)/(-12))/((-2)/(-1004)) composite?
False
Let c = 4 - 0. Suppose -3*b = l - c, -2*b - 2*l + 5 = l. Is 2 - b/1*-9 a prime number?
True
Suppose -3*f - 2*f - 5*a = -40, 5*f = a + 16. Suppose l - 15 = -f*l. Suppose -2*c + l*c - 7 = 0. Is c composite?
False
Let g = 8 - 5. Suppose 0*s - 5*l + 67 = 2*s, g*s - 3*l - 90 = 0. Let j = 58 + s. Is j composite?
False
Suppose -2 - 10 = -3*x. Suppose -x*l - 7 = -3*s + 9, 0 = -4*s + 2*l + 18. Let q(o) = 2*o**3 - 4*o**2 - 5. Is q(s) a composite number?
False
Let m = 220 + -118. Suppose -152 = -2*p + m. Is p prime?
True
Let q(t) = -t**3 - 7*t**2 + 8*t + 9. Let g be q(-6). Let r = g - -110. Is r a prime number?
False
Is 3942/10 - (-18)/(-90) a prime number?
False
Let g(b) = 6*b**3 - 4*b**2 - b + 16. Let u(m) = -5*m**3 + 3*m**2 + m - 15. Let f(i) = -4*g(i) - 5*u(i). Is f(0) composite?
False
Suppose 2*s + 271 = -o, o + 550 = -o - 2*s. Let l = 68 + -62. Is (-4)/l*o/6 prime?
True
Let y be (4 - 2)/(-4 + 2). Is (y/(-3))/((-1)/(-177)) a composite number?
False
Let j = 111 + 16. Is j composite?
False
Let u = 36 - 5. Is u a composite number?
False
Let k(u) = -u**3 - 8*u**2 + 3*u - 7. Is k(-9) composite?
False
Let z(g) = g**2 - 16*g - 22. Let d be z(17). Let p(s) be the third derivative of -s**4/2 + s**3/3 + s**2. Is p(d) prime?
False
Let n = 5350 + -3815. Is n a prime number?
False
Let f = 2708 - 1371. Is f prime?
False
Let w(b) be the third derivative of 23*b**5/30 + b**4/8 + 5*b**3/6 - 2*b**2. Is w(4) prime?
False
Let c = -245 - -562. Is c a composite number?
False
Suppose -5*x + 47 = 12. Suppose -3*g + x*g + 3*i - 147 = 0, -3*i - 204 = -5*g. Is g a prime number?
False
Suppose 5826 = -2*r + 5*r. Is r a prime number?
False
Let g(n) = n**3 + 12*n**2 + 18. Is g(-11) composite?
False
Let o = 421 + -228. Let p = o - 137. Let u = -18 + p. Is u a composite number?
True
Let z(n) = 2*n - 6. Let c be z(4). Suppose 0 = 6*d - 395 - 2821. Suppose j - c*y - 184 + 47 = 0, 0 = -4*j + 2*y + d. Is j prime?
False
Let r be 3 - (4/4 - -1). Is 1 - (-10 - (-1)/r) composite?
True
Suppose 3*u + 0 = 15. Let v(j) = 2*j - 7. Let z be v(u). Is 2 + 3*z/9 a composite number?
False
Let r(h) = 16*h + 3. Is r(13) composite?
False
Suppose 8 = -2*g + 4*w, 0 = -w + 6*w - 15. Is 2/(g/(-471)*-3) prime?
True
Let r = 7 + -2. Suppose 249 = -2*j + r*j. Is j prime?
True
Let m be (-5)/(-1)*1/(-1). Let t(j) = -2*j**3 - 6*j**2 + 5*j - 1. Is t(m) a prime number?
False
Let o = -25 + 28. Suppose t - 1013 = -2*a - 2*a, 5*a = -o*t + 1268. Is a prime?
False
Let v(f) = -6*f**2 + 14*f**2 + 1 - 3 + f. Is v(-3) a composite number?
False
Suppose 20935 - 7679 = 8*p. Is p a prime number?
True
Let o = 1 - 1. Suppose o = q - 0*q - y + 20, -3*q - 58 = -5*y. Let l = q + 42. Is l a composite number?
True
Let c = 3 - 1. Suppose -5*b + 194 = -4*h - 231, 3*b - c*h = 257. Is b composite?
False
Suppose 6*c - c + 20 = 5*m, 2*c + 8 = -3*m. Is (m + 2)/((-2)/(-11)) composite?
False
Let j(r) = 11*r**2 - 2*r + 1. Suppose 0 = -q - 4*q + 5. Is j(q) a composite number?
True
Is (-7283)/(8/8*(-2)/2) a composite number?
False
Suppose -3*i + 0*o = -o - 545, 3*i = -5*o + 569. Is i a composite number?
True
Suppose -2*w = -0*w - 88. Let p be 1*(-11 - -1)/(-2). Suppose b = 4*k - b - w, 4*b - 81 = -p*k. Is k a prime number?
True
Suppose 3*l + v - 7 = 0, 0*l + 5*v = -l + 21. Is (-2)/(-2)*155/l a prime number?
False
Suppose -5*t = -5*u - 3*t + 13, -u - 2*t + 5 = 0. Suppose -129 = u*g - 3*w - 462, 0 = -2*g - 5*w + 236. Is g a composite number?
False
Suppose -3*y + 583 = 5*l, 6 = 2*l + l. Is y composite?
False
Let j = -226 - -483. Is j prime?
True
Let y(h) = 25*h - 9. Let u be y(-10). Let c = u - -428. Is c prime?
False
Suppose -3*c + 6 = -0*c. Suppose c*f = 5*v - 0*f - 10, 5*v + 3*f = -15. Suppose v = -2*t + m + 80, 0 = -0*t + t - 3*m - 45. Is t a compos