True
Suppose 70 = -t - z, 2*t + 0*t = z - 155. Let r be 6*1/2 + -6 - t. Let q = -19 + r. Is q a composite number?
False
Let p be (0 + -4 - -2)*(-2)/2. Suppose -j + p*r = -r + 844, 0 = 3*j + 2*r + 2477. Let h = -515 - j. Is h composite?
True
Suppose 0 = -15*j - 132 - 123. Let y(p) be the third derivative of -p**6/120 - 7*p**5/30 + 11*p**3/3 - 3*p**2. Is y(j) prime?
False
Let x be (-5)/2*(-6 - 580). Let t = 2231 - x. Is t composite?
True
Suppose -5017*h + 7027502 = 4*m - 5018*h, -1756859 = -m + 3*h. Is m a composite number?
False
Let x = -227 + 229. Suppose x*k = p - 6125, 4*p = 3*k - 4*k + 24473. Is p a prime number?
False
Suppose 2*d = -2*w - 216 - 8, 5*w - 3*d = -592. Let h(a) = 37*a - 7. Let l be h(6). Let v = l - w. Is v a composite number?
False
Suppose 247334 = 15*q - 218791. Let w = q - 19496. Is w a prime number?
True
Suppose -5*o = -2*b - 2*b - 25205, 5*b = 2*o - 31485. Is b/((4 - 0) + -5) composite?
True
Suppose 0 = -19*c + 18*c + 5*s + 347892, c + s = 347862. Is c a composite number?
True
Let f(c) = -15459*c - 179. Is f(-2) prime?
False
Suppose 3*n + 4*q - 28 = -n, 4*n - 4*q + 4 = 0. Suppose -n*x = s - 156, -3*x = 5*s - 129 - 15. Is x a prime number?
True
Suppose -4281 - 4849 = -o + 23619. Is o a prime number?
True
Let v(t) = 157*t**3 + t**2 - 132*t - 27. Is v(16) a composite number?
True
Suppose -2*h + 5*c + 172 = 2*h, -h = -4*c - 54. Let v = 41 - h. Let i = v - -82. Is i prime?
False
Let y = 79878 - -30901. Is y prime?
False
Suppose -4 = -g - t, 5*g - 8 = -12*t + 10*t. Is -6 + 1258/1 + (3 - g) a prime number?
False
Let i = -1852 - -5580. Let z = i - 949. Is z composite?
True
Let d be (-21214)/(-2) + (1 - (-1 - -7)). Let s = 21161 - d. Is s a composite number?
False
Let y be 334*2 - (10 + -10). Suppose 3*p + 0*s - s = 985, y = 2*p + 5*s. Is p composite?
True
Is ((-2252)/(-16))/(45711/(-4572) - -10) a prime number?
False
Let y be 57/3 + -4 - 1. Let l be 148/y - 60/(-140). Suppose 0 = l*w - w - 3550. Is w a composite number?
True
Suppose 26*a - 400 = a. Is 12760/a + (-2)/4 composite?
False
Let n(o) = 32627*o**2 + o + 3. Is n(2) a prime number?
True
Suppose -52*c - 1122522 = -54*c + 4*i, 4*c + 4*i = 2244984. Is c prime?
True
Let w = -3 + 676. Let f = -294 + w. Is f a composite number?
False
Let t(k) = 954*k + 1. Let i(b) = 2*b**2 + 14*b + 3. Let r be i(-7). Let s be t(r). Is s/1*12/12 a composite number?
True
Let i = 228873 - 156733. Suppose 172*x = 192*x - i. Is x a prime number?
True
Let z(m) = -3*m - 14. Let u be z(-6). Suppose u*d = -3*t + 2*t + 17, -5*t - d = -28. Suppose -2685 = -t*v - 170. Is v a prime number?
True
Let o(i) = 6*i**2 - 4*i + 1. Let q = 2 + 1. Let g be o(q). Let m = g - -376. Is m composite?
False
Is 12/16 - (-12)/(432/223065) a prime number?
True
Let i(a) = a**2 + 14*a - 63. Let j be i(-23). Suppose 0 = -c + j + 197. Is c composite?
True
Suppose -4*c - 5*p = -7*p - 6046, -2*c = -5*p - 3003. Let t = 2305 - c. Is t a prime number?
False
Let t = -28 + 85. Suppose t*o - 47446 = 43*o. Is o a composite number?
False
Let p(k) = 17*k**2 - 5*k - 9. Let m(s) = -s**3 - 5*s**2 + 8*s + 10. Let a be m(-6). Is p(a) a composite number?
True
Suppose 4*z + 122 - 158 = 0. Let x be 6775/z - (-40)/180. Let k = 1280 - x. Is k a composite number?
True
Is 0*2/8 - (-27302 + (-182)/(-14)) a prime number?
False
Let b = 17410 + -29643. Let l = b + 23206. Is l a prime number?
True
Suppose 9*x - 822729 = 267378. Is x a composite number?
False
Suppose -38*f + 5*w + 6326290 = -33*f, w + 5061029 = 4*f. Is f composite?
True
Suppose 5*u - 67865 = -2*c, 0*u - 3*u = c - 33931. Suppose 0 = -3*o - o + 5*y + c, 8485 = o - 2*y. Is o a composite number?
True
Suppose -405*n + 145427 = -397*n + 41995. Is n a prime number?
False
Suppose 0*n - 2*n = 3*k, 3*n - 4*k - 17 = 0. Suppose -4*r - 3*f = -13, f + 0*f = -1. Suppose -2*i + 66 = -2*m, -r*i - 5*m = -n*m - 138. Is i prime?
False
Let l = -57799 - -228092. Is l prime?
True
Let h be -2 + 16/(-4) + 8. Suppose -1887 = -l - h*i, -5*i + 11353 = 4*l + 3805. Suppose -5*a + l = 432. Is a composite?
True
Let a = 357066 + 188597. Is a composite?
False
Suppose -62*p + 5579324 + 1232963 - 1357465 = 0. Is p prime?
False
Suppose 20*s - 20 = 16*s. Suppose -s*m - 4*x = -9525, 3*x - 912 = -2*m + 2905. Is m composite?
False
Let z = 53 - 53. Suppose -x = z, x - 556 = -4*j + 712. Is j prime?
True
Let a(p) be the third derivative of 57*p**5/10 + 11*p**4/12 - 41*p**3/6 + 2*p**2 - 17*p. Is a(7) prime?
True
Suppose 299482 - 29365 = 3*h + 2*i, -2*h = -4*i - 180110. Is h a composite number?
True
Let f(z) = -z**3 + z**2 + 21*z - 25. Let r be f(-11). Let p(t) = -29*t**2 - 6*t + 2. Let i be p(5). Let g = r + i. Is g a prime number?
True
Suppose 1933*y + 664041 = 1954*y. Is y a prime number?
False
Let u = -3 + 1143. Let h = 2047 - u. Is h a prime number?
True
Let l be (0 + 1 + 102)*3. Let u(d) = d**3 - 21*d**2 - 201*d - 14. Let a be u(28). Let m = a + l. Is m prime?
False
Is 1/15 + (-2907019852)/(-12270) composite?
True
Let t be (1 + 219)*(4 - (-32)/(-4)). Let v be ((1 - t) + 0)*(0 + 1). Let k = 1258 - v. Is k a prime number?
False
Suppose 4*u - 160599 = -5*q, 2*u - 80305 = 10*q - 7*q. Let o = 58122 - u. Is o a composite number?
False
Let l(u) = -4*u - 1866. Let v be l(0). Suppose -p - 4*c + 2 = -17, -5*c = 2*p - 23. Is (p - (-12)/8) + v/(-4) composite?
False
Suppose 2*g + 7 = 3*r, -r + 4*g + 4 = 3*r. Let c(v) = v**2 - 1. Let x(d) = 109*d**2 + 8*d - 12. Let b(z) = -2*c(z) + x(z). Is b(r) prime?
False
Suppose y - 5 + 4 = 0. Suppose 0 = -c + y, k + 3067 - 13476 = -4*c. Is k prime?
False
Suppose 0 = -2*s - 3*s - 5, -3*s - 19 = -4*p. Suppose 27215 = 5*f + 4*a, 2*f - p*a + 2*a - 10904 = 0. Is f a prime number?
False
Suppose 3*o - 639 = 3*a, 0 = 44*o - 39*o + 3*a - 1081. Is o prime?
False
Suppose -5*k = 7 - 22. Let i(g) = 489*g - 20. Let c be i(k). Suppose c = 4*o - 1085. Is o prime?
False
Let m(b) = 7*b**2 - 4. Let x(y) = y**2 + 10*y + 16. Let h be x(-9). Let k(a) = a**2 - 9*a + 11. Let j be k(h). Is m(j) composite?
False
Let c be -3 - -1*(-2 - (4 - 5)). Is (c/(-14))/(34/106862) a prime number?
False
Let m = -1231 - 839. Let t = 113 - m. Is t composite?
True
Suppose 6 = 9*q - 6*q. Is (2/(-3))/((-32)/167568) + q prime?
False
Let x = 1 + 2. Let g be 2/(x + (-20)/6). Is 891 + 8/12*g a prime number?
True
Suppose 29*u - 27*u + 1711689 = 5*i, 0 = i - 4*u - 342345. Is i prime?
True
Suppose 0 = -1264*p + 1265*p - 436687. Is p a prime number?
True
Let k = 47 + -45. Suppose -3*b - 4*i + 771 = 0, -359 - 659 = -4*b - k*i. Let p = b - -204. Is p a prime number?
True
Let g(t) = 9*t**3 + 50*t**2 + 261*t - 169. Is g(29) prime?
False
Let o = -10600 + 22847. Is o prime?
False
Let r(d) = -366*d. Let u be r(6). Let j be -3 + 8 - (1 + u). Suppose -2*n = -1318 - j. Is n a composite number?
False
Suppose -210 = -3*g + 261. Let b be (-98)/392 + 190/(-8). Let u = b + g. Is u prime?
False
Let w(u) be the first derivative of 117*u**2/2 + 28*u - 15. Let o be w(-10). Let q = o - -1659. Is q a prime number?
False
Let w be 29/9 + 6/(-27). Let v(p) = -p**w - 8*p + 13*p**2 - 7*p**2 + 4*p**2 - 20. Is v(-9) a prime number?
False
Let c = -8 + 12. Suppose -c*n + 29 = -b, -2*n + 2*b + 6 = -10. Is 8195/n + (-2)/(-7) a composite number?
False
Suppose -38 = -3*f - 20. Suppose 2*n - 27690 = -2*i, 5*n = -4*i + f*n + 55360. Is i composite?
False
Let h = 435 - 400. Suppose h*f - 66991 + 2766 = 0. Is f a composite number?
True
Suppose -t - 10933 = 24888. Let a = -20954 - t. Is a a composite number?
False
Suppose -7 = -f - 5. Suppose 0 = 2*k + 5*z - 776, 0 = f*k + 2*z - 5*z - 776. Let v = k + -95. Is v composite?
False
Is ((-2)/(-18))/(78/(-234))*-947487 prime?
True
Suppose -3*k + 4*g + 279 = -555, -5*k + 1358 = 4*g. Let z = k + 38. Suppose -z = 5*c - 13*c. Is c composite?
True
Let k be 21 - 23 - (-89 - -1). Let h = k - 77. Suppose -h*q + 6297 = -6*q. Is q a composite number?
False
Let f = 9 - 9. Suppose 4*m + 2*t = 10, m - 4*t + 0*t - 7 = f. Suppose i + 157 = 2*i + m*h, -3*h = 2*i - 314. Is i a prime number?
True
Let s be 2/(-4)*(-77920)/16. Let d = -868 + s. Is d composite?
False
Let w(v) = 7*v - 36. Let b be w(8). Suppose 0 = -2*n - 7*x + 5*x + b, n = 3*x + 30. Suppose -n*l + 4161 = -12*l. Is l a composite number?
True
Let x(y) = 299*y**3 + 50*y**2 - y + 107. Is x(7) a prime numbe