r(g) = -4*h(g) - y(g). Is r(-14) a prime number?
True
Let b = 354 - 115. Is b a composite number?
False
Let w be (-4)/(-2 + (-9)/(-5)). Suppose k = -4*i + w, -2*i = 3*i + 3*k - 32. Suppose p = -0*p - 5*q, 4*q = -i*p + 48. Is p prime?
False
Let q = -5 + 1. Let t(j) be the first derivative of -j**4/4 + 2*j**3/3 + 2*j**2 - j + 2. Is t(q) a prime number?
True
Let r(s) = -30*s**2. Let b(l) = -869*l**2. Let v(q) = 3*b(q) - 88*r(q). Is v(-1) prime?
False
Let w(n) = 4*n**2 - 2*n - 1. Let c be w(-1). Suppose c*b = 11 + 9. Suppose -20 + 60 = 5*o + b*l, 4*l - 16 = o. Is o a prime number?
False
Suppose 0 = 2*k - 3*g - 0*g + 441, 5*k + 3*g = -1155. Let v = 24 - 185. Let n = v - k. Is n composite?
False
Let c be 1*3*(0 + 2). Let b = 53 - c. Is b composite?
False
Suppose -5*b = -r - 6417, 2*b - 2559 = -0*r + 3*r. Suppose -2*z + 1867 = 5*q + 250, -b = -4*q - 4*z. Let g = q + -232. Is g a composite number?
True
Suppose 4*i - u = -0*u + 201, u = -i + 49. Let g = i + -25. Suppose g = 2*t + l - 20, -2*l - 48 = -2*t. Is t a prime number?
True
Suppose -3*m = 4*x - 29, 16 = m + m + 2*x. Suppose -5*z = -m*z + 4, 0 = -4*w - 3*z + 334. Is w prime?
False
Let l(i) = 164*i - 5. Is l(3) a prime number?
True
Suppose 0 = -3*t + 1447 + 1490. Is t prime?
False
Suppose 0 = -4*j - j + 5*z + 2625, 0 = 2*j + z - 1038. Is j prime?
True
Suppose 569 + 1435 = 4*x. Is x a composite number?
True
Suppose 2*n - 2*a = 3 + 3, -n + 2*a - 1 = 0. Is 630/4 + n/(-14) a prime number?
True
Is 21/(-14) - (-385)/2 prime?
True
Let m = -7 - 6. Let b = m - -7. Let j(x) = -x**3 - 4*x**2 + 4*x + 7. Is j(b) a prime number?
False
Let k = 6 + -3. Let a(o) = 9*o - 6. Is a(k) a composite number?
True
Suppose 5*n - 917 = -2*n. Is n composite?
False
Let b = 26 - -269. Let r = b + -198. Is r a prime number?
True
Suppose 2*d + 3*m = 419, -284 + 75 = -d - 2*m. Is d composite?
False
Let p = 5 + -1. Let q be (p - 2)/1 - -12. Is 4/q + 103/7 prime?
False
Is 3382/5 + (-36)/(-60) a prime number?
True
Suppose -3*u = -4*u + 2. Suppose -2*j + 4*a + 650 = 0, -a = j + u*j - 968. Is j a prime number?
False
Let p(r) = -r**3 - 2*r**2 - 5*r + 8. Let l be p(-6). Suppose o - l + 64 = 0. Is (5 + -3)*o/4 prime?
True
Let u be 2 + 0 + -4 - -8. Suppose -5*i = u - 16. Suppose 0 = -s + i + 95. Is s composite?
False
Suppose n - 20 = -0*n. Suppose 5*r + 25 = -5*u, 0 = 8*r - 4*r + n. Suppose 104 = 2*b + w + w, u = -2*w + 2. Is b prime?
False
Let s be -2 - (-2 + (-6)/(-3)). Let x be (2 + s)/(-3 + 2). Suppose x = 3*g - 54 - 57. Is g prime?
True
Let n(x) = 0*x + 8 - 9 - x. Let w be n(-1). Suppose w*a = -a + 35. Is a a prime number?
False
Let z(j) = 13*j - 10. Let u(r) = -14*r + 10. Let x(q) = -4*u(q) - 5*z(q). Is x(-8) prime?
False
Suppose 13 - 1 = -2*r. Let v = r - -6. Suppose -29 = -5*s + 2*l, v*s = s - 4*l + 5. Is s composite?
False
Suppose 0 = -4*z + 2*d + 162, 5*z - d - 3 = 207. Is z composite?
False
Let g(j) = 3*j**3 - 10*j**2 - j - 26. Is g(8) prime?
False
Suppose -4*h + 910 = 274. Is h prime?
False
Let v = 31 - -52. Is v a prime number?
True
Suppose 2*k - 7 = 4*q - 21, 2*k + 11 = 3*q. Is (3/(-2))/(k/346) composite?
True
Let s = -632 + 1711. Is s a prime number?
False
Let y(k) = -3*k - k**2 + 1 - 22*k**3 + 4*k + 0. Is y(-1) composite?
True
Suppose 5*d - 11 = 4*v - 0, v = 1. Suppose q + 8 = d, -q + 131 = 2*s. Suppose 3*j + s = 431. Is j a composite number?
True
Suppose -8*q - 2708 = -12*q. Is q composite?
False
Let i(w) = w**3 + 21*w**2 - 39*w - 9. Is i(-20) a prime number?
True
Let r(n) = n**3 - n**2 - 2*n. Let j be r(2). Suppose j = -2*t + t + 191. Is t prime?
True
Suppose -3*i = 41 - 200. Let k = i - -80. Suppose -c + 85 = y + 1, 2*c = 5*y + k. Is c prime?
True
Suppose -4*u + 3*d = -7438, -5*u + 4*d + 9297 = -0*u. Is u composite?
False
Suppose 386 - 68 = -3*h. Let g = -24 - h. Is g a prime number?
False
Let w(c) = -c**3 - 7*c**2 + 7*c + 11. Let o(h) = 2*h**3 + 14*h**2 - 13*h - 22. Let u(b) = 2*o(b) + 5*w(b). Let p be u(-8). Suppose -57 - 216 = -p*t. Is t prime?
False
Is (-2874)/(-9)*(-12)/(-8) a composite number?
False
Suppose -5*b + 3*b = 240. Let a = -29 - b. Is a composite?
True
Suppose -4*n + 358 = 5*l, -l + 2*n + 64 = -n. Let v = -23 + l. Is v a prime number?
True
Suppose 5*t - 372 = t. Let l = t + -62. Is l composite?
False
Suppose -3*p + 2*p + 4 = 0. Suppose -b = -4*j - 41, 3*j + 113 + 77 = p*b. Is b a composite number?
True
Let m = 17 + 2. Let o = 32 - m. Is o a prime number?
True
Let j(g) = 77*g**2 - 7*g + 7. Is j(5) prime?
False
Suppose -5*d = -3*d - 6, -4*d - 4583 = -5*v. Is v composite?
False
Suppose -4*v + 5*v = 236. Suppose 0 = 3*r + r - v. Is r a composite number?
False
Let f = 779 - 384. Is f prime?
False
Is 962 + -4 + 2 + 5 a prime number?
False
Let h(m) = -m**3 + 5*m**2 - m - 3. Let p be h(5). Let r = p - -4. Is 1665/21 - r/(-14) a prime number?
True
Suppose -3*f = 3*s - 0*s - 507, f - 3*s - 157 = 0. Is f prime?
False
Suppose -4*v - v = -10. Suppose 149 = 5*d + 3*b, v*b = -0*b - 4. Is d a prime number?
True
Suppose -5*z + 3570 = 905. Is z a composite number?
True
Let p be (-3 + 7 + -3)/(-1). Let v be (15/12)/(p/(-4)). Suppose t - 167 = -v*a, -218 + 59 = -t - a. Is t a prime number?
True
Let i(o) = 2*o + 3. Let n be i(-6). Let r(p) = p**3 + 11*p**2 + 8*p + 1. Is r(n) composite?
True
Let c = -17 + 33. Suppose s - 17 = c. Is s composite?
True
Let d be 2*(0 + -3)/(-3). Suppose -d*u = -3*u + 211. Is u a prime number?
True
Let g = -208 + 84. Let n be (716/6)/(4/6). Let o = n + g. Is o composite?
True
Suppose 0*v = -2*v + 1018. Suppose -5*u + v = -446. Is u composite?
False
Let p = 6 + -4. Suppose -y - p*y = 99. Let d = y - -59. Is d a prime number?
False
Let v = -1004 - -1417. Is v composite?
True
Let d(b) = b**3 - b**2 + b + 2. Let s be d(0). Suppose -i = 2*i + s*a - 103, -5*i - 4*a = -175. Is i a prime number?
True
Let y(w) = w**3 + 5*w**2 + w - 1. Let i be y(-5). Let g(r) = r**2 - 3*r - 8. Let x be g(i). Suppose -5*j + x + 44 = -3*d, -3*j - 2*d = -35. Is j prime?
False
Suppose h = -4*h + 25. Suppose -4*c = h*x + 44, -c - 3*x = 9 + 9. Is (-5 - c) + 2*18 a composite number?
False
Is (10/15)/(4/2514) a prime number?
True
Let f(x) = -1 + x + x + 19*x**2 + 13*x**2. Is f(1) prime?
False
Let x = 24 + -14. Suppose -2*m - x = -4*m. Suppose 4*v - m*v = -31. Is v prime?
True
Let c be 4/10 + 14861/35. Suppose -3*q - 53 = 3*m - c, -q = 3*m - 366. Let f = m - 44. Is f composite?
True
Let p(q) = 7*q**2 - 6*q - 5. Is p(6) a composite number?
False
Let s(x) = x**2 - x. Let m be s(2). Suppose 20 = 3*q + m*q. Is 1/(((-8)/(-62))/q) composite?
False
Suppose 8*u - 2*u = 9606. Is u prime?
True
Let v(h) = h**3 - 6*h**2. Let m be v(6). Suppose -202 = -5*b + z + 855, m = b - 2*z - 215. Is b a composite number?
False
Suppose 2*a - 65 - 309 = 0. Is a composite?
True
Let h be ((-255)/6)/(-5)*-2. Let c = h - -28. Is c composite?
False
Let h(m) = -m**3 + 9*m**2 + 2. Let q be h(9). Is 292 + 6*(-1)/q composite?
True
Let f(x) = 26*x**2 - 16*x + 19. Is f(10) prime?
True
Let n be (-6)/4 - 2/(-4). Let l(j) = 57*j**3 - 3*j**2 - 4*j - 1. Let x(o) = -115*o**3 + 7*o**2 + 9*o + 2. Let y(p) = -9*l(p) - 4*x(p). Is y(n) composite?
False
Suppose 313 = 3*w - 266. Let b = 280 - w. Is b prime?
False
Let o(z) = -z**3 - 5*z**2 + z + 7. Let w be o(-5). Suppose -3*s = w*s - 155. Suppose -4 - s = -5*r. Is r a prime number?
True
Suppose -86 = -3*s + 13. Is s composite?
True
Suppose 4*d = -2*c - 0*d - 222, 2*c = -5*d - 220. Let p = -42 - c. Suppose -3*i + 91 + 52 = 4*y, -p = -i + 5*y. Is i prime?
True
Suppose 5*f + 18 + 27 = -p, -3*p + 3*f - 81 = 0. Suppose 4*i = 8*i - 468. Let x = i + p. Is x a composite number?
True
Suppose 20 - 5 = 5*j, 3*l = 3*j - 3. Suppose -5*c = -4*d - 143, -33 = -4*c - 4*d + 67. Suppose -r = l*r - c. Is r composite?
True
Let l(x) = 29*x**2 - 13*x - 11. Is l(-9) a composite number?
True
Let u = -24 + 135. Let r = 370 - u. Is r a prime number?
False
Let x(g) = -2*g - 6. Let a be x(-4). Suppose -4*k - a*h + 164 = -h, -5*k + 222 = -3*h. Suppose -w - 7*c = -3*c - k, -w + 33 = -5*c. Is w a prime number?
False
Let a = 5 + 66. Is -1*1 + (a - -13) composite?
False
Suppose -4*k = 2*s - 2694, k - 1805 = -5*s + 4885. Is s prime?
False
Let m(k) be the third derivative of -k**4/8 - k**3/3 + 3*k**2. Is m(-11) a prime number?
True
Is 10/(-2) - (-4 - 123) compos