 be s(7). Let v(c) = -c + 1. Let h be v(-5). Is ((-21)/h)/(r/20) a prime number?
False
Let p(o) = o**3 - o**2 - o + 2. Let l be p(0). Let q = 145 + -95. Suppose -4*s - 20 = 0, -s + l*s - q = -5*i. Is i prime?
True
Let s be 288 + (3/3)/1. Is (10/2 - 3) + s composite?
True
Let q be 0 + 1 + 1/1. Suppose q*j - 4 = -0*j. Suppose 5*v + 0*r - j*r - 183 = 0, 2*r + 109 = 3*v. Is v a composite number?
False
Let o(q) = 12*q**2 - 4 + 8 - 2*q**2 - 6*q - q**3 + 0*q**3. Let d = -8 + 17. Is o(d) composite?
False
Suppose 2*m = -5*j + 36, -4*j = -j - 5*m - 3. Suppose -j = -5*h - 2*u, -3*h + 6 = -h - u. Suppose -3*g + 99 = z, g - 3*z - 99 = -h*g. Is g a prime number?
False
Suppose -3*q + 19 = -2*j, q - j + 2 = -2*j. Suppose -q*i = -50 - 127. Is i a prime number?
True
Let z be (-87)/(-9)*(5 - 2). Suppose -x = -2*l - 98 - z, 2*x = -l + 244. Is x a prime number?
False
Let u = -40 - -100. Suppose -2*o + 190 - u = 0. Is o composite?
True
Is (-4493)/((2/(-3))/(2/3)) a composite number?
False
Is 10/5*(-3 - (-7323)/6) prime?
False
Let h = -18 + 43. Is h prime?
False
Suppose -4*b + 2*b - 12 = 0. Let z(t) be the first derivative of -t**2/2 + t + 2. Is z(b) prime?
True
Suppose 3*y + 15 = 87. Suppose 5*j - s = s - y, 0 = -5*j + 3*s - 26. Let u(q) = 3*q**2 + 2*q + 3. Is u(j) composite?
False
Let m(r) = -r**3 + 9*r**2 - 5*r - 7. Let c be m(8). Suppose -4*u = -i - c, 4*u - 2*i + 9 = 31. Suppose -u*p + 6*p = 753. Is p a composite number?
False
Let b = -9 + 155. Let a = b + -75. Is a a prime number?
True
Suppose -4*z = 3*h, z = -2*h - 0*z. Suppose h*w = -3*a - 2*w + 14, 2*a - 3*w = 5. Suppose -s - a*s + 235 = 0. Is s prime?
True
Let u = 104 + -42. Suppose 5*d - m = 185, 4*d - 2*m = -3*m + 148. Let f = u - d. Is f prime?
False
Suppose 4*k = 8, 5*c - 6*k + k - 55 = 0. Suppose 5*j - 27 = i, j - c = -0*j + 4*i. Suppose 6 = -j*v + 61. Is v a composite number?
False
Let i(u) = -u - 7. Let d = 21 - 12. Let b be i(d). Let k = 85 + b. Is k a composite number?
True
Suppose 2*t = -3*t + 415. Suppose -p + t = -66. Is p a prime number?
True
Let b(p) = -p + 9. Suppose 0*v - 5*v = 5*n, -3*n - 4 = 4*v. Let l be b(n). Let f(y) = y**3 - y**2 - 5*y + 2. Is f(l) prime?
False
Let f(q) be the first derivative of q**5/20 - 5*q**4/12 - q**3/3 - q**2/2 + 3*q + 4. Let t(u) be the first derivative of f(u). Is t(7) composite?
False
Suppose -3*c + 2068 = 5*i, 681 = 2*c + 2*i - 691. Is c prime?
False
Suppose 2*z - 7 = 7. Suppose -33 = -s - z. Is s prime?
False
Let w = 10 + -10. Suppose w = -4*g + 5*g - 353. Is g a prime number?
True
Let q(c) = -c**2 - 2*c + 649. Is q(0) prime?
False
Suppose -16 = -4*c, 5*v + 2*c = 7*c - 95. Let u(k) = -k**2 - 10*k - 2. Let w be u(-6). Let b = v + w. Is b a composite number?
False
Let p = -1 + 1. Suppose -3*o + 42 = -p*o. Is o a prime number?
False
Let w(d) = d + 3*d + 2 + d. Let n be w(2). Suppose 0 = -4*u + n, 82 = 5*f - 2*u - 7. Is f composite?
False
Suppose 8*j = 4*j - 3*o + 457, -4*j - 2*o + 462 = 0. Is j prime?
False
Let u = 62 + -145. Is 4/16 + u/(-4) a prime number?
False
Suppose -956 = -2*b + 378. Is b a composite number?
True
Let g(x) = -x**3 + 11*x**2 - 8*x - 12. Let c be g(10). Is ((-156)/8)/((-6)/c) prime?
False
Suppose m + 4*t + 79 = -1229, 5*t - 1326 = m. Is (-1 + 0)/(4/m) a composite number?
True
Let w = 5842 - 3689. Is w a composite number?
False
Let j(u) = -u**3 - 10*u**2 - 10*u + 12. Let k(b) = -b - 1. Let s(v) = j(v) - k(v). Suppose 12 = -3*r - 15. Is s(r) prime?
True
Let q(t) = -8*t - 1. Let i be q(1). Let x = i - -7. Is (1 + x)*(2 - 21) prime?
True
Let y(v) = v**2 - 4*v + 2. Is y(11) a prime number?
True
Let h = 0 - 1. Let f be (h + -11)*135/(-12). Suppose f = 5*l + 4*r, 5*r + 0 = l + 2. Is l composite?
False
Let t(v) be the third derivative of -1/6*v**3 - v**2 + 1/12*v**4 + 0*v + 1/60*v**5 + 0. Is t(4) composite?
False
Suppose 128 = 5*s - 1102. Suppose 3*z - 396 = s. Is z composite?
True
Suppose -6850 = -12*i + 2*i. Is i composite?
True
Suppose 4*t = -5*y - 11 + 60, y = -5*t + 14. Is y prime?
False
Let y(p) = -p**3 + 2*p**2 + 7*p + 10. Let r be y(7). Suppose -n - 265 = -0*n. Let t = r - n. Is t a composite number?
False
Let q = -51 - 105. Let c = q + 36. Let h = c + 215. Is h prime?
False
Let z = 5644 + -3797. Is z a composite number?
False
Let f = 118 + -41. Is f composite?
True
Suppose 6*t = -v + 2*t + 21, -t = -5*v. Suppose 0*d + 2*d + 2*l = 12, -20 = -5*l. Is (v/d)/((-3)/(-306)) a prime number?
False
Suppose 4*p + 0*v = 2*v + 1588, 4*v = 3*p - 1201. Is p a prime number?
False
Is 20 + -21 + (0 - -87) a prime number?
False
Let j(n) = n + 10. Suppose q = -5*a + 19, 0*a - 38 = 3*q - 4*a. Let w be j(q). Suppose 0*l - 207 = -2*t + 5*l, 3*l - 349 = -w*t. Is t prime?
False
Is (3 - -149) + -3*1 composite?
False
Is (-11 - -10)/(1/(-521)) composite?
False
Let p(c) be the second derivative of -c**3/6 - 3*c**2/2 - 3*c. Let l be p(-6). Suppose -l*o - o + 204 = 0. Is o a composite number?
True
Let f = 2365 - 476. Is f a prime number?
True
Suppose 4*z - 1083 = 2*l + 10449, 4*z + 2*l = 11548. Is z a composite number?
True
Suppose -v + 5*v = 1388. Is v composite?
False
Is 4*(-1)/((-8)/2390) composite?
True
Let v be (-22)/(-8) + (-1)/(-4). Suppose 0*y - v*y + 8 = b, 5*y + 3*b - 8 = 0. Suppose -y*j - 3*k + 90 = 0, 3*j - 4*k - 81 + 26 = 0. Is j a composite number?
True
Let i be (-2)/(-3) - (-9707)/51. Is i - (-2 - (-4)/2) prime?
True
Let j = 190 - 127. Suppose -2*q + 609 = s, 3*q + 4*s - j = 858. Is q a prime number?
False
Let f(r) = -r**2 + 7*r - 1. Suppose 3*q - 5 - 13 = 0. Let s be f(q). Suppose c + 36 = n + 6*c, 57 = 2*n - s*c. Is n prime?
True
Let y(r) = -r - 2. Let d be y(-2). Is (111 - d/4)*1 composite?
True
Suppose -3*c - 3 = 5*x, -x + c - 2 + 3 = 0. Suppose -1483 = -3*h - 4*l, x*h = 2*h - 3*l - 1000. Is h a composite number?
True
Let c be 238/22 - 4/(-22). Let i = c - 4. Is i a prime number?
True
Let c be -5 + 0 + 2 - -1. Let b be 1/2 + 1/c. Suppose 5*z - 214 - 831 = b. Is z composite?
True
Is 293 + ((-4)/(-4) - 1) a prime number?
True
Let i(n) be the second derivative of -n**3/3 - 3*n**2/2 - n. Let b be i(-7). Let c = b - 4. Is c prime?
True
Let d(z) = -2*z**3 - 5*z**2 + 10*z + 12. Is d(-5) composite?
True
Suppose 2*f + 2*q = 48, 0 = 2*f - 4*q - 0 - 30. Is f composite?
True
Let v = 140 - 251. Let q(i) = 7*i**3 + i**2 + 3*i + 2. Let z be q(-2). Let w = z - v. Is w a prime number?
False
Is 297/5 - 12/30 a composite number?
False
Suppose 3*q = -2*q - 4*n + 2405, 0 = -5*q - 2*n + 2415. Is q composite?
True
Let z = -110 + 561. Is z prime?
False
Let u(k) be the third derivative of k**5/30 + k**4/12 + k**3/3 - k**2. Let q(v) = v - 7. Let l be q(4). Is u(l) a prime number?
False
Let k(p) = -3*p**2 + 4*p + 1. Let a be k(-6). Let f = a + 77. Let s = f + 151. Is s prime?
True
Let t be 1 + 0 + (-1)/1. Suppose -3*j + 536 = 4*n - 251, 5*j + 15 = t. Is n prime?
True
Suppose -4*a = -0*a - 20. Suppose 4*o = 2*l + 20, 4*o - a*l - 20 = -l. Suppose o*j = -3*s + 178 + 142, 206 = 3*j - s. Is j prime?
True
Let i be (-6)/(-4) + (-14)/(-4). Suppose -i*q - 5*a = -380, -155 - 71 = -3*q - 5*a. Is q composite?
True
Let j(z) = 5*z + 3. Let n be j(-5). Let q = -10 - -16. Is q/(-33) - 422/n prime?
True
Let u(d) = -22*d - 1. Let m be ((-24)/28)/(2/14). Is u(m) composite?
False
Let g(t) = -t**2 + 6*t + 7. Let v be g(5). Let i = 2 + v. Is (-4)/(-14) - (-192)/i prime?
False
Let a = -40 - -72. Let q = a - 21. Is q a composite number?
False
Let y = 8 + -6. Let c(n) = -n**3 - 4. Let m be c(-3). Suppose y*g - m = g. Is g prime?
True
Suppose a - 219 = 158. Is a a composite number?
True
Let w be -5*(0 - (-8)/(-10)). Suppose -c + 3*c = 3*v - 227, -4*v + c + 306 = 0. Suppose -3*b + w*b = v. Is b a prime number?
False
Is -2*8978/10*105/(-42) prime?
False
Let f(n) = -2*n**3 + 6*n**2 + 8*n - 11. Let c(j) = 3*j**3 - 7*j**2 - 9*j + 12. Let b(v) = 5*c(v) + 6*f(v). Is b(5) composite?
False
Suppose 4*p - 11 = 1, -5*p = -3*x + 1386. Is x composite?
False
Suppose -3*y - 4 = -1. Let t(z) = -31*z. Is t(y) a composite number?
False
Let k = 194 - 117. Is k composite?
True
Let z(c) = -c**3 + 2*c**2 + c. Let f = -4 + 2. Let a be 0*f/(-6) - 2. Is z(a) a prime number?
False
Let z = -14 - -5. Let x = z + 32. Is x a composite number?
False
Let x(d) be the third derivative of d**5/30 + 13*d**4/24 - d**3/6 - 7*d**2. Is 