 = 5*w - k - 28. Is w a prime number?
False
Let x(s) be the first derivative of 12*s**2 + 5*s + 1. Is x(6) composite?
False
Suppose 3*z - 63 = 174. Is z composite?
False
Let r be (-1 + (-38)/(-4))*-12. Suppose 4*o + 21 = -7. Is r/o + (-3)/(-7) composite?
True
Suppose 0 = 5*k + 15, -2*k = -5*j + 2*k + 1392. Let t = 117 + j. Is t a composite number?
True
Let y be 14/21 + 1088/6. Suppose -489 = -h - y. Is h composite?
False
Let n(i) = i**2. Let w be n(3). Let t = 10 - w. Let q = t - -68. Is q a prime number?
False
Let r = 8 - 15. Is r/14 - (-190)/4 composite?
False
Let k = 8 - 3. Suppose -k*j = 117 - 502. Is j prime?
False
Is ((-6)/24)/((-1)/(-2942))*-2 composite?
False
Is (-25182)/(-78) + 2/13 prime?
False
Suppose -3*u - 2003 = -4*r, 0*u - 1496 = -3*r + u. Is r a composite number?
True
Suppose -3*c - 4*b - 14 + 0 = 0, -5*b = 25. Let k(j) = 2*j**2 - j + 1. Is k(c) a composite number?
False
Let c(t) = -2*t + 3. Let u be c(-8). Suppose -3*r = -337 + u. Is r a prime number?
False
Let t = 406 - -2611. Is t composite?
True
Let b = 237 + -447. Let h = -25 - b. Is h composite?
True
Let x(y) = 12*y - 1. Let t be x(-1). Let v = t + 34. Suppose -v - 28 = -s. Is s composite?
True
Suppose 276 = -5*b + 11*b. Is b a composite number?
True
Suppose -3*y - 5444 = -4*a, 768 - 6212 = -4*a - 2*y. Is a prime?
True
Let n = -6 + 22. Suppose -n = -3*q - q. Suppose 93 = -m + q*m. Is m a composite number?
False
Let z(q) = -q**3 - 6*q**2 + 2*q + 4. Let i be z(-6). Let b = 36 - i. Is 1/(3/(b + -2)) prime?
False
Let c be (-95)/(-20) - (-1)/4. Let s = c - 3. Is 14/3*9/s a prime number?
False
Let g = 3 - 5. Is g + 4 + -1 + 222 composite?
False
Suppose 0 = -2*c + c + 10. Let i = 47 - c. Is i a composite number?
False
Let v be -2*(-3)/6 + -1. Suppose -2*r + q + 13 = 0, -8 = -0*r + 3*r + 4*q. Suppose v = z - 5*a - 71, -r*a = -z - 4*z + 271. Is z a prime number?
False
Suppose 5*n = 19 + 41. Let o be (-8)/n*(-3)/2. Is o*2*381/6 prime?
True
Let k be (2 + -19)*(-21)/(-1). Suppose 60 = -2*m - 388. Let v = m - k. Is v composite?
True
Let j = -5 + 7. Let h be 1300/18 - (-6)/(-27). Suppose -j*f + t = -h, 0*t - 4 = t. Is f a composite number?
True
Suppose -2*y + 4*t = -6558, t - 6558 = -2*y - 0*t. Is y/6 - (-3)/(-2) a composite number?
True
Let c = -3 - -3. Let y be 103*(-1 - (c - 0)). Let b = 180 + y. Is b a prime number?
False
Let z = 2129 + -402. Is z prime?
False
Let f = -2 + 10. Suppose -o + 5*m - f = 0, 4*o + 4*m - 4 = 12. Suppose o*r = 7*r - 215. Is r a composite number?
False
Let o(g) = 4*g**2 - 46*g + 21. Is o(25) prime?
False
Suppose -13*a - 3 = -14*a. Suppose a*u = 184 + 809. Is u prime?
True
Let k(s) be the second derivative of -s**4/12 - 5*s**3/3 - 3*s**2/2 + s. Suppose 12 = -0*r - 3*r. Is k(r) composite?
True
Suppose -2*n + 3*j + 393 = 0, -j + 589 = 3*n - 5*j. Let p(f) = -f**3 + f**2 + f + 5. Let v be p(0). Suppose 10 = v*s, -4*s - s + n = y. Is y prime?
False
Suppose 0 = -3*i + 7*i - 16. Suppose -2*h = 5*c - 161, -c + 164 = i*c + 3*h. Is c prime?
True
Let p = 1253 - 879. Let g = 679 - 451. Suppose s - 134 + p = 4*l, -4*l = 2*s - g. Is l a prime number?
True
Suppose -z - 13 - 23 = 0. Is ((-34)/(-4))/((-6)/z) prime?
False
Let n(k) = 27*k + 22. Is n(7) composite?
False
Let l(q) = q**3 - 9*q**2 - 9*q - 10. Let y be l(10). Suppose y*k = -7*k + 1113. Is k prime?
False
Let z(c) = -163*c - 27. Is z(-8) prime?
True
Suppose -5*d - 67 = -2*x, -2*x - 3*d + 245 = 3*x. Suppose -2*h + 132 + x = 0. Is h a composite number?
False
Let n = 5 - -1. Suppose -223 = 5*q - n*q. Is q prime?
True
Let v = 4 + -4. Suppose 3*q - 785 - 226 = v. Is q a composite number?
False
Let z(n) = 3*n - 1. Let i be z(-6). Let a = 46 - i. Is a composite?
True
Let i(j) = -2*j**3 + 6*j**2 + 2*j + 7. Suppose -x + 3*x - 6 = b, 3*x - b - 11 = 0. Let c be i(x). Let n = -46 - c. Is n prime?
True
Suppose 3*i = -15 - 9. Is (-298)/(-8) - (-2)/i prime?
True
Suppose -8*m + 805 = -3*m. Is m composite?
True
Let d(g) = g**3 + 6*g**2 - 10*g - 9. Let b be d(-7). Suppose 0 = 2*c + 6, -h + b - 186 = 5*c. Let z = h - -325. Is z composite?
True
Let p = -9 + 12. Let n(h) = 179*h - 2. Is n(p) composite?
True
Let y be (-386)/(-8) - (-2)/(-8). Suppose -4*f + 508 = y. Is f a composite number?
True
Suppose -3*x = -2*f - 1, x = 5*f + 6*x - 10. Is 3*((-308)/(-6) + f) prime?
True
Let n(l) = 9*l**2 - 2*l - 12. Is n(-5) prime?
True
Suppose 130 = -0*m + 2*m. Is m a prime number?
False
Suppose 3700 + 2940 = 4*u. Let w be 2/7 + u/(-28). Is (-7 - -5)*w/2 a composite number?
False
Let s(f) = f**2 - f. Suppose -5*j = -4 - 1. Let x be s(j). Let o(m) = m**3 + 74. Is o(x) prime?
False
Let t be (5/15)/((-1)/(-6)). Suppose 2*o = 10, t*p - 2*o - 643 = o. Is p prime?
False
Let a(n) be the second derivative of -n**5/5 - n**4/6 + n**3/6 - n**2/2 + n. Is a(-2) a composite number?
True
Let w be (-1)/(1 - (-92)/(-94)). Let r = w - -76. Suppose 3*v = 2*k + k - 30, r = 2*k + v. Is k a composite number?
False
Let h be -71 + 1 + (-2)/(-2). Let d = 172 + h. Suppose 5*g = 3*z + d, g + 85 = 4*g + 4*z. Is g a composite number?
False
Let g = -2 + 2. Let s be 0/(g/2 - -1). Suppose s*z = -z + 31. Is z composite?
False
Let h(z) = -z**3 - 2*z**2 - 2*z. Let l be h(-2). Suppose 4*n - 3*f = 3207 - 1037, 5*n = -l*f + 2697. Is n prime?
True
Let b = 443 - 106. Is b a prime number?
True
Let w be (-27)/(-6) + (-1)/(-2). Is (6 + (0 - 1))*w a prime number?
False
Suppose -w - 105 = 4*w. Is 1/(-3) + (-1204)/w prime?
False
Suppose d + 3*l = -l + 394, -3*d = -5*l - 1131. Is d composite?
True
Let p(j) = -j**3 + 5*j**2 - 2*j - 5. Let o be p(5). Let c = o + -11. Let z = 51 + c. Is z a composite number?
True
Let k(d) = d**2 - 7*d. Let p be k(7). Suppose 0 = 4*z - 3*x + 10, -5 = z - p*z - 2*x. Is 5/(15/72) + z a composite number?
False
Let j(w) = w**3 + 5*w**2 - 2*w. Suppose 4*d + 2 + 18 = 0. Let o be j(d). Is 4/o - 384/(-15) composite?
True
Let h(l) be the second derivative of l**4/6 + 5*l**3/6 + l**2 + 4*l. Is h(5) prime?
False
Suppose 0 = -2*k + 5*l + 28, 3*l = 3*k + 2*l - 16. Suppose 2*g - 6 = k. Suppose 5*v - 155 = g*r, 0*v - 2*r + 62 = 2*v. Is v composite?
False
Suppose 6 = 3*t, 2*m + 4*t - 2698 = -0*m. Is m/15 - (-2)/(-3) prime?
True
Let n(k) = 65*k + 19. Let s be n(15). Suppose 5*r - 661 = s. Is r a composite number?
False
Let n be 2*(-2 + 3/2). Let f(l) = -2*l + 3*l**2 - 1 + 0 + 73*l**2. Is f(n) a prime number?
False
Let k be (-19342)/(-22) + (-6)/33. Suppose k = i + 2*i. Is i composite?
False
Let z(v) = -62*v - 7. Let g be (7 - 0)*1/(-1). Let d be z(g). Suppose -5*h = -d + 12. Is h a prime number?
True
Suppose -3*i = -33 - 24. Is i a prime number?
True
Let h = -3 - -5. Suppose -5*m = 3*y + 15, 0 = -m - 3*m + y + 5. Suppose m*i = -3*b - i + 233, h*i = 4. Is b composite?
True
Let y be -2 - -3 - 1 - 7. Let v(g) = g**3 + 8*g**2 + 6*g - 2. Let n be v(y). Suppose 2*j = n*p + 131, 5*j - p + 36 = 306. Is j a composite number?
False
Let f(m) = m**2 + m + 59. Suppose l - w - w = -5, 0 = 5*l - 3*w - 3. Suppose 3*h = 6*h - 2*r + 6, -9 = 4*h - l*r. Is f(h) composite?
False
Suppose 6 = l - 1. Let a(t) = -2*t**2 + t**2 + 0*t**2 - 9*t - l. Is a(-6) prime?
True
Suppose -i + 3*z - 296 = -5*i, 3*z = 3*i - 201. Is i a composite number?
False
Let h = 330 - 119. Is h composite?
False
Let y = 11850 - 6227. Is y a prime number?
True
Suppose -3*t + 3*w + 0*w = -111, -w - 105 = -3*t. Let o = t - -45. Is o a composite number?
False
Suppose 0 = u + 5*n - 29, 0*u = 3*u + 5*n - 67. Is u a prime number?
True
Let l = 117 + -46. Is l a composite number?
False
Let r = -472 + 705. Is r prime?
True
Let f(h) = -h - 1. Let n be f(2). Let b(x) = 31*x - 1. Let d be b(n). Is (-1)/((-1)/d*-2) a prime number?
True
Let w = 11 + 9. Suppose 2*v = -2*v. Suppose w = -v*i + 2*i. Is i a prime number?
False
Let z be 2/8 + 28/16. Let r be -62 + (0 + z - 4). Let d = 117 + r. Is d a composite number?
False
Suppose 0*m = -5*m. Suppose m*h - 316 = -4*h. Is h a composite number?
False
Suppose -5*p - 2633 = -63. Is 13/26 + p/(-4) prime?
False
Suppose 10 = 4*u - 3*i, -u - i + 2 = -2*i. Is u/2*508/8 prime?
True
Suppose -4*x + b = -2*b + 537, 0 = -4*x - 2*b - 542. Let j = 193 + x. Is j a prime number?
False
Let j(d) = 79*d**2 - 3*d - 13. Is j(-3) prime?
False
Suppose -4*p = 5 + 3, 4*p = 5*o - 248. Let t = o + 171. Is t a prime number?
False
