True
Let q(z) = 2*z**3 - 30*z**2 + 24*z - 41. Is q(15) a prime number?
False
Suppose 0 = s - 3, 2*p + 4*s = 6*s. Suppose 755 + 466 = p*u. Is u prime?
False
Let r(z) = z**2 - 3*z + 3. Let t be r(3). Suppose 0 = -s - 4*y - 1130, -t*s + 201 - 3546 = 3*y. Is ((-6)/18)/(2/s) prime?
False
Let j = -1064 - -1076. Let h(c) = -1. Let y(s) = 26*s - 10. Let l(p) = -5*h(p) + y(p). Is l(j) a prime number?
True
Let t(s) be the second derivative of 31*s**3/3 - 17*s**2/2 - 7*s. Is t(5) a prime number?
True
Is ((-2956)/(-16))/((-6)/(-24)) a composite number?
False
Suppose -127070 = 62*b - 72*b. Is b a prime number?
False
Let w = -20 + 18. Let g be (-2 - 14)*(w + 0). Let u = g + 39. Is u prime?
True
Let g = -435 + 1357. Suppose -2*s - 399 = 2*v - 2243, -s - 5*v + g = 0. Is s prime?
False
Let f(o) = -2640*o**3 + 5*o**2 + 14*o + 5. Is f(-2) composite?
True
Suppose -7 = 3*h - 4. Let c be (-3)/12*0 - h. Is (c - 15/9)*-111 prime?
False
Suppose 5 + 7 = -3*l, 2*n - 1568 = 3*l. Suppose -389 = -f - 3*j, 2*f - n = 5*j - 3*j. Is f prime?
True
Let c be (-4)/10 - (29412/15)/(-2). Suppose -61 + c = g - 3*d, 0 = -4*g - d + 3624. Is g a prime number?
True
Suppose -c = 2*t + 3*t - 31, -15 = -3*t + 3*c. Let s(j) = -j + 15. Let z be s(t). Let p(x) = 2*x + 1. Is p(z) composite?
False
Let p(n) = 2*n**2 - 26*n + 23. Is p(31) a composite number?
True
Suppose 0 = -4*v + 43*j - 38*j + 11885, 5*v + j = 14820. Is v a prime number?
False
Suppose 3*x - 45 + 39 = 0. Let k(c) = c**2 - 2*c. Let v be k(2). Suppose 0 = -2*w + d + 1139, v*d + 1145 = x*w + d. Is w prime?
True
Suppose 7*j - 1311 - 3050 = 0. Is j prime?
False
Suppose 2*m = -4*i + 24, -4*m + 4*i + 25 = -71. Is (m/(-6))/(14/(-1113)) a composite number?
True
Let y be 4 - 7*(2 + -108). Suppose 9*d = 7*d + y. Is d composite?
False
Let i(z) = z**3 - 7*z**2 + 4*z - 3. Let p be i(7). Let m be 5/2*30/p. Is 3 + (44/2 - m) a prime number?
False
Suppose -5*b = -9*b + 2224. Let w = b - 203. Is w a prime number?
True
Let j = -30 + 77. Let d be 196/8 - (3 + 9/(-2)). Let o = j - d. Is o composite?
True
Let l(s) be the second derivative of 7*s**4/4 + s**3/2 + s**2/2 - 3*s + 9. Let b = 15 - 10. Is l(b) composite?
False
Let p(a) be the second derivative of -a**7/210 + a**6/360 - a**4/12 + a**3 - 3*a. Let u(k) be the second derivative of p(k). Is u(-3) composite?
True
Let q(y) = y**3 + 4*y**2 - 7*y - 9. Let x be q(-5). Is (136 - (-1 - 2))*x composite?
False
Let j be (-16593)/33 + 2 + (-48)/22. Let f = 770 + j. Is f prime?
False
Suppose 0 = -5*j - 2*d + 6*d - 30, 0 = 3*j - 3*d + 18. Let a(s) = -s**3 + 1. Let b(r) = 9*r**2 + 3*r + 2. Let z(l) = -a(l) + b(l). Is z(j) composite?
True
Let c be (-2 - -1)/(6/(-6)). Let a be 2 + c + 0 - -2. Suppose -84 = -3*n + a*b - 2*b, 4*n = 5*b + 109. Is n composite?
False
Suppose -5*p = -4*j + 37, -j + 0*p = p + 2. Suppose j*b = 3*n + 2514, -n = b - 376 - 458. Suppose -6*g + 5350 = -b. Is g a composite number?
False
Suppose 0 = 4*y - 4*f - 26024, 5*y + f - 35237 + 2731 = 0. Is y composite?
True
Suppose 0*d + 16 = 3*u - 2*d, 7 = -4*u - 3*d. Let n be (3/(-6))/(u/(-36)). Let j = 124 - n. Is j prime?
False
Suppose 33430 = 11*g - g. Is (-6)/45*-3 + g/5 prime?
False
Suppose -165 = 3*m - 8*m. Is 46574/m - 2/6 composite?
True
Suppose 0 = -4*s - 0*s. Suppose s = -4*b - 879 + 2827. Is b a prime number?
True
Let y = -71 - -80. Suppose y*m = m + 22696. Is m prime?
True
Suppose -7*p - 5*k = -5*p - 6925, 13805 = 4*p - 5*k. Is p a prime number?
False
Is (-3342)/(-12)*(0 - -2) a composite number?
False
Suppose 2*g - 32 = -4*f + 4*g, f - 2*g - 8 = 0. Suppose -2*c = f*c - 10870. Is c a composite number?
False
Let r(n) = 362*n + 7. Let o be r(-3). Let t = -742 - o. Is t a composite number?
False
Suppose -1235 = -18*m + 2563. Is m a composite number?
False
Let i = 46 - 44. Suppose -i*w + 7469 = 5*w. Is w composite?
True
Let k(s) = 117*s**3 + 2*s**2 - 2*s + 1. Let u be k(1). Let v be (-5)/((-5)/u) - -3. Is -5 + v - (1 - 4) a composite number?
True
Let j(z) be the second derivative of -z**3/2 - z**2 - 7*z. Let c be j(-2). Suppose -f = c - 113. Is f a prime number?
True
Suppose q + r = 766, -5*r - 1150 - 2710 = -5*q. Let l = -805 - -2207. Let x = l - q. Is x a composite number?
True
Suppose 6*t - 83419 = -t. Suppose -17*h + 36448 = -t. Is h a prime number?
False
Let b = 57 + -51. Suppose -5*a - 781 = -b*a. Is a prime?
False
Let h = -42 + 49. Suppose -276 = -h*l + 3*l. Is l prime?
False
Let i be ((-1)/(4/(-20)))/1. Suppose -g - i*g + 474 = 0. Is g composite?
False
Suppose 4*i - 16638 = -446. Is i + ((-2)/1 - -6) + -3 a composite number?
False
Suppose 0 = -72*c + 65*c + 127729. Is c composite?
True
Let k = -803 - 243. Let m = -567 - k. Is m a composite number?
False
Is (3/(-8))/3 - (-414015)/56 a prime number?
True
Let f(k) = -2*k**3 - 14*k**2 - 12*k + 1. Let n be f(-10). Let v = n + -252. Is v a composite number?
True
Let b(t) = 5106*t**2 + 84*t + 385. Is b(-5) composite?
True
Suppose -10 = 6*s - s. Let q be (s + 17/7)*7. Is 381/((6 - q)/3) composite?
True
Let c(n) = 4*n**3 - 2*n**2 - 2*n - 6. Let b(h) = -5*h**3 + h**2 + h + 5. Let o(k) = -3*b(k) - 4*c(k). Is o(6) a composite number?
False
Suppose -9 = -2*f - i, 0 = -5*i - 3 - 2. Let g be (-1 + -5)/(f + -8). Suppose -s + g*y = -0*s - 477, 4*s - 5*y = 1896. Is s composite?
True
Suppose 10*a - 17 = 53. Let x(c) = 3*c**3 - 5*c**2 + 10*c - 15. Is x(a) a prime number?
True
Let u(f) = 46*f**2 + 25*f + 4. Let w be u(-7). Suppose m = -2*m - 2*s + 2069, 5*s = 3*m - w. Is m composite?
False
Let d = 308 + -202. Is d composite?
True
Suppose -4*u - 4*r = -2*u - 250, u - 140 = r. Suppose 2*b + 0*b - u = 3*j, -b = -3*j - 66. Is b a composite number?
True
Let v be 4/(-12)*12/(-1). Suppose -6220 = -v*j + 3*c, -j + 3*c = -2*j + 1555. Is j a composite number?
True
Let n = -222 + 1117. Is n a prime number?
False
Let v(f) = f**2 - 8*f + 9. Let h be v(7). Suppose 0 = -n - h*n + 201. Is n prime?
True
Let t(d) be the third derivative of 17*d**4/24 - d**2. Let j be t(2). Let o = j + -23. Is o prime?
True
Let f(o) = -3*o**3 + 4*o**2 + 22*o - 160. Is f(-19) a prime number?
False
Let z be (-12)/24 - 55/(-2). Is 382/3*z/18 prime?
True
Let x(l) = 4*l**2 + 38*l - 3. Is x(28) a prime number?
False
Let d = -5444 - -3250. Suppose -2*j + 1547 = -5039. Let f = j + d. Is f a composite number?
True
Suppose 5*g - 240 - 35 = 0. Is -5919*(g/15 + -4) a composite number?
False
Let v(s) = -2*s + 68. Let m be v(25). Suppose 3*l - 112 = -u - m, -3*l = 2*u - 95. Is l a prime number?
True
Let h(k) = 7*k**2 - 27*k + 189. Is h(-37) a composite number?
False
Suppose 3*l = v + 19, -l + 25 = -5*v - 0*v. Suppose 2*t + 7 = -l. Is 15 + t/(3 + 0) prime?
True
Let o(l) = 1197*l + 457. Is o(8) prime?
False
Let f(k) = k**2 - 12*k + 15. Let x be f(11). Suppose -x*t = 489 + 3179. Let a = -622 - t. Is a prime?
False
Suppose 2*t - 3*r - 35700 = 3688, -4*t + 78794 = 3*r. Is t a composite number?
False
Suppose -18*t - 587256 = -26*t. Is t a composite number?
True
Suppose 4*w - 24 + 4 = 0. Suppose w*t - 45 = -0*t. Suppose -6*k = -t*k + 1923. Is k composite?
False
Suppose -3*k + 561 + 1281 = g, 4*k = 4*g + 2440. Is k a prime number?
True
Is 1 + 12/(-28) - (-86454)/42 composite?
True
Suppose 0 = -x + 3, 3 = 6*u - 4*u - x. Suppose -7*f + u*f = 76. Is (-12)/(-18) + f/(-3) a composite number?
False
Suppose -4*u - 20 = 0, h + 5*u = -1 - 30. Let y be h/(-4)*(14 + -12). Suppose 1073 = 5*p - 3*f, y*p - 2*f - 834 = -191. Is p a composite number?
True
Suppose -3*a - 2*w + 6721 = 0, 8953 = 9*a - 5*a + w. Is a a prime number?
True
Let a = 5965 + -978. Is a a composite number?
False
Suppose -128957 = 6*x - 11*x + 2*n, 3*n = -x + 25788. Is x composite?
True
Let n(r) = 7*r - 1. Let t be n(1). Suppose 5*q - t*q = -15. Is q a composite number?
True
Is -3 + 4 - 12*-141 a composite number?
False
Is 2/((90/(-47525))/(-9)) prime?
False
Is (5 - 126/27)*25509 prime?
False
Let l(q) = q + q**2 + 5*q**2 - 3*q**2 - 2*q**2. Let b be l(-1). Is 0 + b - -111 - 0 prime?
False
Let l be -2 + -2*6/(-3). Let i be 1/2 + 28/8. Suppose 46 = l*u + 3*c - 7*c, i*u - 3*c - 97 = 0. Is u prime?
False
Let u = 111 - 17. Let q = 39 + 24. Let g = u - q. Is g a composite number?
False
Suppose 0 = q - 13851 - 10990. Is q a composite number?
False
Let x(z) = 18*z**2 + 4*z - 11 + 2 + 6. Suppose -2*m + 2 = -2. 