r?
False
Let d(z) = -z + 6. Let v be d(6). Is (-138 - v)/(-2) - 2 prime?
True
Suppose l = 2*b - 318 - 97, 0 = b - 5*l - 194. Is b prime?
False
Let r(n) = 19*n**2 - n - 7. Is r(3) prime?
False
Suppose 2*c - 3*c - 126 = -4*r, 2*r = 4*c + 70. Is r a prime number?
True
Let q(o) = -1063*o + 4. Is q(-1) prime?
False
Let m(d) = -17*d**3 - d**2 + 2*d + 3. Is m(-2) composite?
False
Let q be 2/5 - (-4)/(-10). Let b = q + 7. Let h = 24 + b. Is h a prime number?
True
Let z(r) = 2*r**2 - 2*r + 5. Is z(-5) composite?
True
Let f = -15 - -23. Suppose x = 119 + f. Is x a composite number?
False
Suppose 0 = -3*h + 75 + 90. Is h a prime number?
False
Let v = 29 + 2. Is v prime?
True
Suppose 4 = -b + 3. Let g(q) be the second derivative of -92*q**3/3 + q**2/2 + 3*q. Is g(b) prime?
False
Let j = 2924 + 327. Is j a prime number?
True
Let f = -487 - -1178. Is f prime?
True
Let n be 306 + -1 + 1 + 2. Suppose -q - n = -l + 4*q, 0 = -3*q - 9. Is l a prime number?
True
Let c = 10 - -2. Is (636/(-9))/((-8)/c) a prime number?
False
Suppose 0 = -n - 5*f - 17, 0 = 5*n + 5*f - 2 + 7. Suppose 305 = 2*w - 3*s, -5*w + 0*w - n*s + 731 = 0. Let x = -93 + w. Is x prime?
False
Let g(c) = 2*c + 66. Let k be g(0). Let u = k + 227. Is u prime?
True
Suppose 6*z + 11 = 179. Suppose q - 3*c - 33 = z, 2*c - 139 = -3*q. Is q a prime number?
False
Suppose -4 = y - 14. Let h be ((-12)/y)/(3/(-10)). Suppose 5*u - 4*w = 309, -133 = -h*u - 4*w + 143. Is u prime?
False
Let c = -469 - -216. Let k = c + 473. Let n = k - 129. Is n a prime number?
False
Is ((-586)/(-4))/(4/8) a prime number?
True
Suppose -5*a + 35 = 4*y, -3*a + y + 0*y = -4. Let i(f) = 4*f + 9*f**2 + 115*f**3 - 10*f**2 - a*f. Is i(1) a prime number?
False
Let i(f) = f**3 + f**2 + f + 47. Let b be 0*(1 + 3/(-2)). Let p be i(b). Let n = -28 + p. Is n prime?
True
Let m(q) = q - 1. Suppose 7*n = 2*n + 20. Let r be m(n). Suppose 0 = -r*u + 3 + 12, -4*u = -4*c - 4. Is c a prime number?
False
Suppose -3*s - 109 = -m, 2*s + 615 = 5*m + s. Suppose 3*n = -k + 380 - 14, m = n + k. Is n a prime number?
False
Suppose 0 = -5*i - 4*s + 5507, 8*i = 7*i + 5*s + 1084. Is i a prime number?
False
Let u = 571 + -322. Is u prime?
False
Let s be 20/8*(0 - 2). Is (-383)/s + 6/15 a composite number?
True
Let r be -2 + 663 - (-20)/5. Suppose 3*t - r = 76. Is t composite?
True
Let i be (2/5)/((-1)/(-5)). Suppose -3*q - i*q = 0. Suppose -y = -v - 3, 4*v + 6 + q = y. Is y a composite number?
False
Suppose -p + u + 15 = -4*u, 3*p = -4*u - 12. Suppose p*z - 5*z = -105. Is z a composite number?
True
Suppose 4*p + 934 = 2*s, -2345 = -5*s - 0*s + 5*p. Is s a composite number?
True
Let c(n) = 80*n**3 - 2*n**2 - n + 2. Is c(1) a composite number?
False
Let y(l) = -4*l**2 + 7 + 7*l - 1 - 2 - l**3 + 2. Let r be y(-5). Is (-30)/r - 3/6 composite?
False
Let v = -5 + 5. Let q be 0 - (v - (1 + 507)). Let x = -359 + q. Is x a prime number?
True
Suppose -4*j + 2986 = -6026. Is j a composite number?
True
Let f be (2 - (-2 - -3)) + 1. Is (56 + f)*(0 + 1) prime?
False
Let l be (-9)/(-2) + (-1)/(-2). Suppose 224 = 4*z + 2*i, i - 232 - 51 = -l*z. Is z prime?
False
Suppose 4*o - 69 = -3*l - 872, 0 = -3*l + 5*o - 785. Let k(n) = n**3 - 11*n**2 + 9*n - 12. Let b be k(8). Let m = b - l. Is m a prime number?
False
Suppose 3*x + 5*u = 3*u + 1408, 2*x - 952 = -4*u. Is x a composite number?
True
Let u(c) = -c. Let y be u(-3). Let p = 2 - y. Is (22/(-2) - -1)/p composite?
True
Suppose 5*f + 2085 = -5*s, 1235 = -3*f + 4*s + s. Let z = 602 + f. Is z composite?
True
Is (-907)/1*(-2)/2 prime?
True
Let f(d) = 3*d**3 - 7*d**2 - d - 2. Let i(c) = -4*c**3 + 8*c**2 + c + 1. Let u(a) = 3*f(a) + 2*i(a). Is u(6) prime?
False
Suppose 2*o - 2570 = -4*w - 0*o, 2*w = 3*o + 1289. Suppose 5*y + 2*p = w, y - 3*y - 5*p + 274 = 0. Is y prime?
True
Let b(y) = y**3 + 5*y**2 + 4*y - 1. Let r be b(-3). Suppose -r*x - 58 = -263. Let i = 72 - x. Is i a composite number?
False
Let v = -183 - -120. Let u = 100 + v. Is u prime?
True
Let i(t) be the second derivative of t**5/20 + t**4/6 - t**3/3 - t**2 + t. Is i(3) prime?
True
Suppose 2*y + 498 = 98. Let q = 453 + y. Is q composite?
True
Let h = -2460 - -3941. Is h prime?
True
Let k be -3 + 6 + 0 - 5. Suppose 0 = -4*q - 6 - 18. Is k/q + 316/6 a composite number?
False
Let y(q) = 7 - 5*q**2 + 6*q**3 - 3*q**2 - 2*q**3 - 3*q**3 - 8*q. Is y(10) a prime number?
True
Let w(l) = -l**3 + l**2 - l + 6. Let k be w(0). Let d(r) = -r**2 + 10*r - 9. Is d(k) composite?
True
Suppose -5 = -2*f + 15. Is f/4*(-46)/(-5) a prime number?
True
Is (-2 + 0)*(-4874)/4 prime?
True
Suppose 3*y + 5*p + 2041 = 4*y, 5*p = 2*y - 4092. Is y composite?
True
Suppose -5*l - 4*p = 11, 12 = -4*p + p. Let x(o) = 15*o**2 - 1. Is x(l) prime?
False
Let t(o) = -3*o**2 - 5*o - 4. Let f be t(-6). Let p = -86 + 205. Let i = p + f. Is i a composite number?
False
Let l be (-4)/(-18) + (-43)/(-9). Let c = 3 - l. Is (-47)/c + (-5)/10 a composite number?
False
Let o(k) = -k - 6. Let p be o(-3). Is (23 - -3)*p/(-2) a composite number?
True
Let x(i) = -2*i - 3. Let z be x(-2). Let j(c) = z + c - 3 + 5*c**2 - 3*c**2. Is j(-3) composite?
False
Let p be (-4)/(-6)*(1 + 2). Suppose -p*u - 1 = -7. Is (u/(-3))/(1/(-19)) a prime number?
True
Suppose -3*g - 54 = -5*b - 4*g, 5*g = b - 16. Is b prime?
True
Let m be (-1)/(3/6 - 1). Suppose -2*h = 3*i - 563, -4*i + h - m*h + 744 = 0. Is i prime?
False
Let l(r) = r**3 - 8*r**2 - r + 7. Let t be l(8). Let o be 1 + 1 + 2/t. Suppose o = 3*y - 2*a - 7 - 240, 4*y - 4*a - 324 = 0. Is y a composite number?
True
Let j = -1101 + 1546. Suppose 0 = -4*k + 16 + 12. Suppose 0 = k*w - 2*w - j. Is w composite?
False
Let m = -101 + 122. Is m a prime number?
False
Let w(m) = -60*m**3 - 2*m**2 - 7*m - 1. Is w(-2) a composite number?
True
Suppose -j = 4 + 5. Let u = j + 28. Is u a composite number?
False
Let w be 4/(-14) - (-284)/14. Suppose w = -3*b + 98. Suppose 0 = -2*f + 72 + b. Is f a composite number?
True
Let b(a) = a**3 - a**2 - a + 53. Let s(c) = -c**2 + 10*c + 11. Let w be s(11). Is b(w) composite?
False
Let h = 6 + -6. Suppose -r + 420 - 79 = h. Suppose 4*w + 12 - 268 = -4*s, -5*w + r = -2*s. Is w a prime number?
True
Suppose -6*p + 144 = -2*p. Suppose -17 = -v - 4*a, -5*a + 13 + 5 = -2*v. Let c = v + p. Is c composite?
False
Suppose 5303 = 4*u + 5*r + 1592, -2*u - 5*r + 1853 = 0. Is u prime?
True
Is ((-10)/3)/(6/9)*-97 a composite number?
True
Suppose w = 2*t - 2074, -2411 - 1729 = -4*t + 4*w. Is t a prime number?
True
Let o(z) = -5*z**3 - 11*z**2 - 15*z. Let u(r) = 6*r**3 + 11*r**2 + 16*r. Let s(j) = -5*o(j) - 4*u(j). Let v be s(-8). Let n = 9 + v. Is n prime?
True
Suppose -2*z - 5*d = -33 + 5, -4*d - 27 = -z. Suppose -3*a + 50 = 2. Let s = a + z. Is s a composite number?
True
Let p = 803 + -126. Is p a prime number?
True
Suppose -133 = -k + 1966. Is k prime?
True
Suppose -27 = -2*r - r. Suppose s = -3*k + 1, -s + 22 = -3*k - r. Let x = s - 10. Is x a composite number?
True
Let j(l) = -58*l - 1. Suppose -r + 9 = 5*s, -4*r + 4 - 2 = 3*s. Is j(r) prime?
False
Let y(t) = -199*t - 5. Is y(-2) composite?
True
Let h(l) = -l**2 + 3*l + 4. Let k be h(3). Suppose -3*j + 108 = -j - 4*n, -k*j + 181 = -n. Suppose w + 9 - j = 0. Is w composite?
True
Suppose 0 = -3*t + 6 + 3. Suppose t*a - 2*m - 5 = 0, -5*m = -2*a + 3 - 7. Is (-194)/(a/1 - 5) prime?
True
Let k(h) = -2*h**2 - 2*h + 2. Let v be k(-5). Let z = v - -275. Suppose -3*b = -6*b + z. Is b prime?
True
Let k = -1 + 4. Suppose -2*u = -5*t - 248, -k*u = -4*t + 5*t - 355. Is u a composite number?
True
Let p(v) = -v**3 + 21*v**2 + 23*v + 7. Is p(16) composite?
True
Suppose q - 4*u - 269 = 0, -4*q + 0*q = -3*u - 1063. Is q composite?
True
Let u(r) = -13*r + 3. Is u(-4) a composite number?
True
Suppose 0*j = 2*j. Suppose 4*k - 5*h = 119, j = -2*k - 2*h + 10 + 54. Is k a composite number?
False
Is 1*((-3568)/4)/(-4) composite?
False
Suppose -5*r = -9917 + 1732. Is r prime?
True
Suppose 5 = -3*w - a - a, 4*w + 4*a + 12 = 0. Is 327*w*(-3)/(-9) a prime number?
True
Suppose 5*q + 5*m - 5 = 0, -2*q - 7*m - 7 = -2*m. Suppose 0 = h + q*h - 275. Is h a prime number?
False
Suppose -5*q - 3*t + 10 = -4*t, 4*q + 3*t - 27 = 0. Suppose -i + 13 = q. Suppose 3*g - 143 - 90 = b, -i = 5*b. Is g composite?
True
Let p(d) = 4*d**2 + d + 14. Suppose -3*w - 26 = 5*b, 8*b 