d(f) = 3*f - 1. Let c be d(3). Suppose 0*p + 2*p = c. Suppose p*o - 80 = 3*o + s, -2*o + s = -157. Is o a prime number?
False
Let w be 8/6*12/8. Suppose 4*k = v + 1, -4*v + 8 + 6 = w*k. Suppose -57 = -3*g - 0*u + u, 5*g + v*u = 95. Is g a prime number?
True
Let f = -4 + 7. Suppose -f*g - g = 2*s - 306, 5*g = 4*s - 560. Is s composite?
True
Suppose 15 = 5*m - 5. Let k = m + 19. Is k a prime number?
True
Let g be 3*((-120)/9)/(-4). Suppose -2*i + g + 0 = 0. Suppose -3*l + 50 = 4*r - 98, 185 = i*r - l. Is r prime?
True
Let a = -2157 + 12738. Is a a prime number?
False
Let n = 973 - 269. Suppose -l + 236 + 12 = 2*y, -n = -3*l + 2*y. Is -2*(l/(-4) + 0) a composite number?
True
Suppose 4*n - 4*p - 6143 = n, 2*n = 3*p + 4094. Is n a composite number?
False
Suppose 0 = -5*r + 8 + 2. Suppose p - 4*w = 2*p - 23, -p + r*w = -41. Is p a composite number?
True
Let i(x) = x + 4. Let v be i(0). Let j = -4 + v. Is 22 - j - (-4 + 3) prime?
True
Suppose -c - 58 = -6*c - 2*g, -4*c + 36 = -g. Let j = c + -15. Let m = j - -38. Is m composite?
True
Let g(z) = 194*z + 31. Is g(6) prime?
False
Suppose -5*a + 12 = -8*a. Is (-9835)/(-75) - a/(-30) composite?
False
Let w(v) = 396*v + 5. Is w(1) prime?
True
Suppose 3*m - 2*q + 680 = 8*m, q = -2*m + 273. Is m prime?
False
Suppose -3*u = 5*s + 28, 7*s + 44 = 2*s + u. Let m = s - -42. Suppose 3*x - 38 = -0*g - g, 0 = 3*x + 5*g - m. Is x a composite number?
False
Suppose 0 = -4*x - 19 + 27. Suppose -1856 = -5*o - a, -x*o + a = -1080 + 339. Is o composite?
True
Let d be (-6)/27 + (-5252)/18. Let i = d - 182. Is (-4)/16 + i/(-8) a composite number?
False
Let q = 0 - 6. Let v(x) = -162*x - 7. Is v(q) a composite number?
True
Let o = 398 - 63. Is o composite?
True
Let m(k) = -k**3 - 6*k**2 - 6. Let x be m(-6). Let j(v) = -v**3 - 4*v**2 + 4*v + 7. Is j(x) a composite number?
True
Let m(i) = 760*i**2 + i + 1. Let w be m(1). Suppose 4*g - 1313 = -3*v + w, -2*g - 2796 = -4*v. Is v a prime number?
False
Let w be (1 + -2)/(2/(-12)). Let f be (6/4)/(w/280). Suppose 3*j = j + f. Is j prime?
False
Let c be (-1)/(-2)*-2*-2. Suppose -2 = -2*u + c. Suppose u*j - 3*d = -2*j + 272, 0 = -2*j + 5*d + 150. Is j a prime number?
False
Suppose -2*j + 6 = 2. Suppose -j*g - 44 = 2*g. Let u = g + 60. Is u a composite number?
True
Let i(h) = h + 163. Suppose 0 = r - 0*r. Is i(r) a composite number?
False
Let m be 3/1 - 0/3. Suppose -5*n = 3*u - 1 + m, 3*n = 3*u - 30. Is (-460)/(-6) - (-2)/u prime?
False
Let v(c) be the third derivative of c**6/120 - 7*c**5/60 - 5*c**4/12 + c**3/3 + 2*c**2. Let i be v(8). Let r = i - -49. Is r composite?
True
Is (10/6 + -1)*(-5652)/(-24) composite?
False
Is (-76 + 2)*22/(-4) composite?
True
Suppose -431 = -3*b - 4*j + 188, j - 607 = -3*b. Is b a composite number?
True
Suppose -3*u - 2*u = -1945. Is u prime?
True
Suppose 2*o + 87 = 3*o + 5*p, -3*o + 5*p + 301 = 0. Is o a composite number?
False
Is 0/(-27) + (-53)/(-1) a prime number?
True
Is (-2)/(-12) - 137724/(-72) composite?
False
Let c = 217 + -148. Suppose 4*m = y - 2*y + c, -m = y - 81. Suppose 3*u = y + 26. Is u prime?
True
Let m be 1/4 + 225/(-36). Is ((-3)/2)/(m/232) a prime number?
False
Let j(x) = 1048*x + 1. Is j(1) a composite number?
False
Let c(y) = -248*y + 3. Is c(-2) a prime number?
True
Suppose 2*d - 1 = 9. Suppose -3*i = -d*i + 1642. Is i a composite number?
False
Suppose 413 = 2*r - 467. Let g = r + -187. Is g prime?
False
Let w = 167 + 126. Is w prime?
True
Is -4*(-6)/(48/1354) a prime number?
True
Suppose -4*h = -428 - 764. Is h prime?
False
Suppose -2*v + 4 = -v. Suppose 5*z - 1103 = v*x, 4*z - 2*x = -z + 1109. Is z prime?
True
Suppose 4*l + l - 15 = 0. Is (3 + 76)/(l + -2) a composite number?
False
Let n = -5 - -7. Let d be n - 2/4*-2. Suppose -5*m + 2*h = -193, -d*m + 0*h + 3*h + 123 = 0. Is m composite?
False
Suppose -p + 4 = 2*p - 5*h, 5*p - 10 = 5*h. Let b(c) = -2 - 4*c**3 - c**p + 6*c**3. Is b(2) prime?
False
Suppose -2*u + 1302 + 456 = 0. Is u a composite number?
True
Let c(y) = -y**3 - 7*y**2 + 8*y - 1. Let l = 10 - 19. Is c(l) a prime number?
True
Suppose 4749 + 1581 = 15*o. Is o prime?
False
Let x(k) = -k**3 - 8*k**2 - 8*k - 4. Let r be x(-7). Suppose r*j + 410 = 5*j. Is j a composite number?
True
Let s be 17/1 - (-1 + 3). Suppose 3*l + 6 = -m - 1, -3*l - 3*m = s. Is 51*(l - (1 + -3)) prime?
False
Suppose 0 = 4*k + 3*t - 122 - 2121, 5*k - 2800 = -5*t. Is k a composite number?
False
Suppose -s + 4 = 2*k, -2*k + 4 = -0*s + 3*s. Let l be (k/2 - -2) + -2. Is (-98 + l)/(-3 - -2) a prime number?
True
Let c be 5/(10/4) - -29. Suppose c = 2*y - 35. Is y prime?
False
Suppose 3*v - 5*o = 2*v + 29, -5*o = v + 21. Suppose v*z - 363 = 97. Is z prime?
False
Let f be (48/(-15))/(4/(-30)). Suppose -2*o = i + 4*i - 43, f = 4*i - o. Is i a prime number?
True
Suppose 2*u = -a - u + 28, 3*u + 65 = 2*a. Let z be (3/(-9))/(2/((-540)/5)). Let f = z + a. Is f prime?
False
Suppose -6 = -b - 2*b. Suppose 4*s + 2*r + 39 = r, -33 = b*s + 5*r. Is 331/9 + (-2)/s a prime number?
True
Let y(q) = -2*q - 4. Let n be y(-3). Let t = 4 - n. Suppose -t*u + 2*g + 230 = 0, 101 = u - 4*g - 26. Is u a prime number?
False
Let t(k) = -17*k + 16. Is t(-21) prime?
True
Let n = -184 - -270. Is n composite?
True
Let n(k) = k**2 + 5*k + 9. Is n(-10) a composite number?
False
Let g(s) = s + 7. Is g(3) composite?
True
Suppose 5*x = 3*y - 207, 0 = -3*y + 2*x - 0*x + 216. Is y composite?
True
Let h(w) = -w**3 + 11*w**2 - 13. Suppose 27 = -2*o + 5*o. Is h(o) composite?
False
Let v(f) = -73*f. Let j be v(2). Let w be 2/(-4)*j*1. Let u = -24 + w. Is u composite?
True
Let v = 195 - 38. Is v a composite number?
False
Suppose -5*l = -4*p + 1090, 5*p + 10*l - 5*l - 1385 = 0. Let v = p + -190. Is v composite?
True
Let h be -3*((-33)/9 - -2). Let b be (h/(-2))/(4/(-8)). Suppose -v + 2*i - i = -9, b*v - 63 = -4*i. Is v prime?
True
Is 1/(438/(-147) - -3) a prime number?
False
Let r be (9/12)/(1/4). Let z(x) = 2*x**3 - 2*x + 1. Is z(r) prime?
False
Suppose 3*r - 144 = -684. Let f = r - -371. Is f composite?
False
Suppose 4*z = 5*z. Suppose 301 = 2*q + 3*w, z = -5*q - 3*w + 422 + 308. Is q prime?
False
Let v = 637 - -100. Is v prime?
False
Suppose 2*w = -4*u + 274, 3*u + 132 = w - 25. Is w a prime number?
False
Suppose -8 + 2 = -3*r. Suppose 5*d + r*q - 261 = 0, -3*d - 5*q = -82 - 86. Is d a prime number?
False
Let f = 127 + -30. Is f prime?
True
Suppose t = -2*n - 2, t - 3*n + 7*n = -6. Let l(c) = 15*c**3 + c**2 + 3*c - 3. Is l(t) a composite number?
False
Let s(k) = 24*k**2 - 4*k + 31. Is s(6) prime?
False
Let l(c) = 6*c**3 - 2*c**2 + 3*c - 10. Is l(3) prime?
False
Let q(z) = -z**3 + 2*z**3 - 3 + 3 - 5*z**2 - 2. Let w be q(5). Is (w + 5)/(-3)*-53 a prime number?
True
Suppose -3*j + 3 = -6. Let m be 5/(188/62 + -3). Suppose j*z + 2*z - m = -2*p, 0 = -3*p. Is z a prime number?
True
Let g(j) = 213*j**3 - j**2 + 4*j - 2. Is g(2) a prime number?
False
Let i = -22 - -14. Let f(d) = -16*d + 6. Let p be f(i). Suppose -5*g + 101 = -p. Is g prime?
True
Let n(p) = -p**2 + 2*p - 3. Let s be n(3). Is s*1*29/(-3) a prime number?
False
Is (-111)/2*12/(-18) a prime number?
True
Let n = 7714 - 3909. Is n prime?
False
Let g be (-21)/(-35)*(4 - -1). Suppose g*p - 1289 = -4*u, 4*p - 3*u = -265 + 1967. Is p a prime number?
False
Let x(u) = -u**3 + 39. Let q(a) = -a**2 + a + 2. Let y be 2 + (-1 - 1) + 2. Let r be q(y). Is x(r) composite?
True
Let y = 3 + -1. Suppose -7*n + y*n = 0. Suppose 3*v = -2*h + 269, -2*v + n*v + 10 = 0. Is h a prime number?
True
Let p be -1*4/(-2)*1. Is (374/33)/(p/6) prime?
False
Suppose 6*f - 10 = f. Is 2*(1419/6 - f) composite?
True
Suppose -4377 = -11*t + 8*t. Is t prime?
True
Is (-1)/((3/2247)/(-1)) a composite number?
True
Let s be 5*(12/10 + -2). Let g = 52 - s. Suppose f + 2*c - g = -3*c, -5*f = -5*c - 130. Is f prime?
True
Suppose -4*g = -4477 + 121. Let c = -716 + g. Is c a composite number?
False
Suppose 0 = 5*s + 2*f - 170, -6*s + f = -2*s - 136. Let k = -3 + s. Is k composite?
False
Let z(w) be the second derivative of -w**7/840 + 7*w**6/360 - w**5/24 + w**4/3 + w**3/6 - w. Let t(p) be the second derivative of z(p). Is t(6) a prime number?
False
Suppose -2*g + 6*g = 44. Let q be (-9)/g + (-6)/33. Is 390/5 + q/1 composite?
True
Let v = -2 + 164. Suppose 3*k = t + v, -2*t - 3*t - 1