*f**2 + f + 3. Let i(q) = 103*q**2 + 2*q + 7. Let m(l) = 9*a(l) - 4*i(l). Is m(w) a prime number?
True
Suppose -5*z + 228 = -52. Suppose 4*m + 2*w - 182 = 0, m - w - 2*w = z. Is m a composite number?
False
Is (617 - 4)/((-1)/(-1)) prime?
True
Let h = 54 - -3. Suppose 5*l + h = -4*p + 884, 3*p - 2*l - 603 = 0. Is p composite?
True
Let p = 148 + -24. Let t = p + -83. Suppose 5*f = -2*z + 52, 7*f = z + 2*f - t. Is z a prime number?
True
Let c = 31 + 376. Is c a composite number?
True
Suppose -f + 3*f + 120 = 0. Let v = 40 + f. Let u = -1 - v. Is u composite?
False
Suppose -2*l = -4*l + 12. Let b(c) = 3*c**2 - 9*c + 5. Is b(l) a prime number?
True
Let z be (-3)/6 - (-1)/2. Suppose 4 = 4*g, -6 + z = -2*k + 2*g. Suppose k*r - 139 = -q, -3*q + 4*r - 210 + 595 = 0. Is q a prime number?
True
Let x(w) = w**3 + 8*w**2 + 7*w + 2. Let k be x(-7). Suppose 69 = 2*z + k*g + g, -3*z + 2*g = -110. Suppose -z = -5*v - 2*q, -3*q = v + 2*q - 21. Is v prime?
False
Let q = -8 + 13. Suppose -2*c + s + 197 = 4*s, -q*c + 435 = -4*s. Is c a composite number?
True
Let j = -118 + 540. Suppose 2*s + j = 4*s. Is s prime?
True
Let x be -2 + 1 + 2 - -11. Let i = x - 2. Suppose -3 = -h + i. Is h a composite number?
False
Suppose 7 = 3*x - 2. Let r = x + 1. Suppose -5*z - 241 - 137 = -4*f, -f + r*z = -89. Is f prime?
True
Suppose 188 = 5*f + 2033. Let x be 1/((-2)/326) + -1. Let i = x - f. Is i composite?
True
Let r be (-2 - -3) + (9 - 6). Suppose -5*b + 2*n = -661, -r*b + 2*b + 5*n = -277. Is b a composite number?
False
Let z = 29 + -11. Suppose 0 = -b + 3*b - z. Is b composite?
True
Suppose 5*g - 6*g + 232 = 0. Let t = g - 364. Let r = -79 - t. Is r a composite number?
False
Suppose 9 = 3*g - 3. Suppose 0 = 2*d - g*d + 8. Suppose 5*v + 0*a - 183 = -a, 0 = -d*v + 4*a + 156. Is v a composite number?
False
Suppose 0 = -3*o + g - 0 + 29, -48 = -4*o - g. Suppose 10*x + 69 = o*x. Is x composite?
True
Suppose -232 + 3643 = 3*b + 3*r, -3*b + 5*r = -3443. Is b a composite number?
True
Let r be 462/(-4) - 12/(-8). Let j = r + 223. Is j prime?
True
Let t(k) = k**2 - 4*k - 4. Let o be t(5). Is (2076/(-48))/(o/(-28)) composite?
True
Let y be (7/14)/(2/(-12)). Let d(m) = -9*m**3 - 3*m**2 + 3*m + 4. Is d(y) a prime number?
True
Suppose 2*k + 47 = -5*o + 178, -2*o - k + 53 = 0. Is o composite?
True
Let f = -10 + -7. Let i = 29 + f. Suppose -5*l + 563 + i = 0. Is l a prime number?
False
Suppose -6*r = -4*w - 3*r + 27, 0 = w + 2*r - 15. Let a(x) = x**3 + 6*x**2 - 4*x - 8. Let p be a(-6). Let i = p - w. Is i composite?
False
Suppose -3*i + 56 = -5*l, -7*l = 5*i - 2*l - 40. Let d be ((-8)/(-6))/(8/i). Suppose u - 117 = -d*u. Is u a prime number?
False
Let a(u) = u**3 + 6*u**2 - 11*u - 9. Suppose w - 25 = 2*w - 5*j, -2*w - j + 5 = 0. Suppose 4*f + w = -28. Is a(f) a composite number?
False
Let f(v) = v**3 + 6*v**2 - 6*v + 7. Let x be f(-7). Suppose x*w + 22 = w. Is w prime?
False
Let g be (85/3)/((-2)/(-6)). Suppose -j = -g - 12. Is j prime?
True
Suppose -3*h + 0*h - 2*k + 25267 = 0, -4*k + 8409 = h. Suppose h = 5*f - 0*f. Is f composite?
True
Let u = 112 + -59. Is u a prime number?
True
Suppose -5*i + 23 = 4*g, -i + 5 = -3*g + 4*g. Suppose i*k - 6*k = -849. Suppose -15 = 4*n - k. Is n a prime number?
True
Let o = 696 + -358. Let h be o/(-6) - (-2)/6. Is 6/4*h/(-21) a composite number?
True
Suppose 0*p = 5*p. Let f = -29 + 72. Suppose -4*j + p*o + 52 = -4*o, 0 = 3*j - o - f. Is j prime?
False
Let d(v) = v**3 - 5*v**2 + 3*v + 2. Let q be d(4). Is q/(2*(-2)/30) prime?
False
Suppose 0 = 2*v - 5*q + 10, -2*v - v - 3*q = -6. Let x(j) = -j**2 - 3. Let y be x(v). Is ((-1)/(-3))/(y/(-873)) a prime number?
True
Let l = 853 - 134. Is l prime?
True
Let x be (-3)/3 + 1 + 5. Suppose 5*n = -4*s + 128, 3*n = x*s - 280 + 83. Is s a prime number?
True
Suppose 5*l - 408 = x, -4*l + 320 = 4*x - 8*x. Is l prime?
False
Suppose 2*k - 3*h = 1378, k - 4*h + 357 = 1056. Is k composite?
False
Let a = -1 - -1. Suppose -861 = -3*k - 4*x, a = x + 2*x. Is k a composite number?
True
Suppose -4*b + 3*b - 6 = 0. Let d = -2 - b. Let s(m) = m**2 + 5*m + 1. Is s(d) a prime number?
True
Let z(a) = -72*a - 5. Is z(-3) a composite number?
False
Suppose 181 = u - x, -615 = -5*u + x + 306. Is u prime?
False
Suppose 5*d = 6*d + 56. Suppose 2*x - 223 + 25 = 4*y, -5*x - 5*y + 495 = 0. Let u = d + x. Is u composite?
False
Let p(j) = 2*j**3 - 4*j**2 + 8*j - 7. Is p(4) composite?
False
Let i(m) = 4*m**2 + m + 1. Let j be (1 - -1)*1*1. Is i(j) prime?
True
Suppose 0 = u + 4*u - 15, 5*f + 31 = 2*u. Let i be f + (2 + -1)/(-1). Is (-45)/(-6)*i/(-5) prime?
False
Let k = 5 + 0. Suppose -k*r - 18 = -5*t - 2*r, 0 = t - r - 4. Suppose 5*l = -0*f - 2*f + 55, -24 = -3*l - t*f. Is l prime?
True
Suppose 5*g - 6 = -3*n - 35, 4*g = 5*n - 1. Is 2466/10 + g/(-10) composite?
True
Is ((-50)/(-8) - 2)*28 a composite number?
True
Let u(x) = 4*x**2. Let z be u(1). Suppose 196 + 112 = z*s. Is s a prime number?
False
Let s(x) = 25*x - 9. Is s(4) prime?
False
Suppose r = -4*r + 15. Suppose 2*s = z + 3 - 36, 89 = r*z + 4*s. Is z prime?
True
Suppose 2*r - r + 2*i - 1021 = 0, -5147 = -5*r + 4*i. Is r prime?
False
Suppose -4*g - 2*y = -16, 5*g + 2*y + y = 22. Let t(p) = -p + 23 - 2*p + p**g + 2*p. Is t(0) a composite number?
False
Suppose -7*t - 5*t + 23676 = 0. Is t a prime number?
True
Let i(c) = c**2 + 2*c - 5. Let p be i(-4). Suppose o - 12 = -p*o. Suppose -o*q - 66 = -339. Is q prime?
False
Let c = 441 + -292. Is c a composite number?
False
Is (3*-467)/(-3 - 0) a composite number?
False
Suppose 2 = -2*m + 5*i + 3, 0 = 5*m - 2*i + 8. Let x be (-3)/(m - (-3 + 2)). Is x*(-2)/3 + 117 a prime number?
False
Suppose 0 = -2*f - 3*z + 65, -3*z + 120 = 3*f - 6*z. Is f a prime number?
True
Let m be ((-10)/15)/(1/(-6)). Suppose -4*w = -5*u - 76, 3*w - 5*u - 57 = -m*u. Is (-1*3)/(-3)*w prime?
True
Suppose 0 = h - 355 + 8. Is h a composite number?
False
Let y be 14/(-4)*-1*2. Suppose 205 = l - f, -2*l = -y*f + 2*f - 416. Is l a composite number?
True
Suppose 5*a - 111 = 69. Suppose -5*v - a = -221. Is v a prime number?
True
Let m(l) = l**2 + l - 1. Let h be m(1). Let b be -8*(h + 0) + -1. Is ((-6)/b)/(2/147) prime?
False
Suppose 0*k - 5*k = 0. Suppose 0*n - 4*n + 16 = k. Is (-2)/(-4) - (-210)/n prime?
True
Is -1 - 16450/(-6) - 20/(-60) composite?
False
Suppose 2*n - n = 67. Is n a prime number?
True
Let q(w) = w**3 + 8*w**2 - 10*w - 4. Let f be q(-9). Suppose -3*r + 306 = -4*a, -f*a + 46 = -r + 423. Let p = 158 + a. Is p a prime number?
True
Suppose 2*g - 171 - 318 = -v, 0 = 3*v + g - 1462. Is v a composite number?
False
Let j = -22 - -11. Let y = 15 + j. Suppose -v - y*v + 70 = 0. Is v prime?
False
Let i be (1 + 128)*(-1)/(-3). Let u = i + 25. Let p = u - -21. Is p a composite number?
False
Is 391 - (-1 + -1)*(1 + 1) composite?
True
Let m = -52 + 635. Is m prime?
False
Suppose 5*v = 68 + 112. Let r = 29 + v. Is r a prime number?
False
Let s(j) = 1360*j**3 + j. Is s(1) a composite number?
False
Let s = -389 + 726. Is s prime?
True
Let y(i) = 11 - 2*i**2 + 3*i**2 + i**2 + 3*i. Let t(j) = j**3 + 8*j**2 + 7*j - 8. Let u be t(-7). Is y(u) prime?
False
Let i(q) = q**3 - 15*q**2 - 10*q + 4. Let z(r) = -r**3 + 14*r**2 + 9*r - 3. Let c(b) = 6*i(b) + 7*z(b). Suppose -28 = -2*o - 5*o. Is c(o) a prime number?
True
Suppose 2*i = 109 + 145. Is i composite?
False
Let z(s) = -s**3 - 6*s**2 - 5*s - 7. Is z(-7) prime?
False
Suppose 196 = -4*a + 5*p, -4*a + 4*p = 96 + 96. Let b = 18 + a. Let f = b - -49. Is f composite?
False
Is -5 - (0/(-6) - 336) prime?
True
Suppose -t - 805 = -r - 3137, 3*t - 4*r = 6995. Is t prime?
True
Suppose 3*d - 4*a - 10 = 0, -3*a + 2 = 3*d - 1. Suppose -4*o + 4*f = -296, -o + 12 = -d*f - 65. Is o prime?
True
Let k(d) = 30*d**2 - 4*d + 6. Let z be k(-7). Suppose -2*m + 1877 = 3*m - 4*r, -4*r = -4*m + z. Is m composite?
False
Suppose u = -0 - 2, 0 = 2*o - 2*u - 10. Suppose -2*n + 338 = o*v - 2*v, -680 = -4*n - 3*v. Is n prime?
True
Let d(i) = -31*i + 4. Is d(-3) prime?
True
Let f(l) = l**2 - l + 4. Let y be f(0). Suppose -20 - y = -2*i. Suppose i = -3*m + 111. Is m prime?
False
Let s(h) = h**3 - 6*h**2 - h + 6. Let y be s(6). Suppose y = 5*l - 1676 + 406. Is -3 - (l/(-2) + -3) a composite number?
False
Let n(f) = 24*f**2 + 5*f - 2. Is n(-3) prime?
True
Let l(x) = x**3 