 9*t**2/2 + 6*t + 8. Let p be x(9). Suppose p*c = 737 + 229. Is c a prime number?
False
Let a(l) = 8*l**2 + 15*l - 29. Let p = -136 + 160. Is a(p) prime?
False
Suppose -4*k - 34 = -6*k. Let c = k + -12. Suppose 2558 = c*p + 323. Is p a prime number?
False
Let j be ((-126)/15)/((-483)/(-240) + -2). Let p = j - -1655. Is p a prime number?
True
Let v(b) = b**3 - 16*b**2 - 3*b - 7. Let p be v(17). Let m = 218 + p. Is m a prime number?
True
Let a(o) = 64*o - 43. Let b be a(8). Suppose -r + 4*y + b = 0, -5*y - 2285 = -6*r + r. Is r a prime number?
False
Suppose -4*n = 21 - 97. Suppose n*q + 4179 - 16510 = 0. Is q a composite number?
True
Let c(q) = -94*q**3 + 3*q**2 + q - 11. Let z(l) = 95*l**3 - 2*l**2 - 2*l + 10. Let g be 4/(-6) - 120/(-18). Let v(n) = g*z(n) + 5*c(n). Is v(2) composite?
True
Let d = -547122 + 804105. Is d a prime number?
False
Let o(z) = 44*z + 56. Let w be o(-5). Let x = w - -655. Is x a composite number?
False
Is (22/(-2) - 33/(-11)) + 58051 a composite number?
False
Suppose 2*m = h + 10, 0*h + 5*h = 3*m - 22. Suppose -2*j - 3*d + 437 = 0, d = -0*j - m*j + 849. Is j composite?
False
Let p(y) = 16*y - 35. Let w be p(27). Let r(k) = -6*k**2 + 5*k + 1. Let s be r(-5). Let d = w + s. Is d a prime number?
True
Suppose 0 = 4*o - 5*l - 3630569, -2*o - 26*l = -35*l - 1815239. Is o a composite number?
False
Let g(k) = 32*k**3 + 32*k**2 - 43*k + 25. Is g(14) a prime number?
True
Let z(s) = 12*s**2 + 858*s + 19. Is z(40) prime?
False
Let z(j) = -j**2 + 12070. Let u be z(0). Suppose -12070 = -5*p - 2*h - 2*h, 5*p - u = 3*h. Suppose -3*w + 2406 = 2*w - 2*v, 5*w - p = -2*v. Is w a prime number?
False
Suppose 14*w - 15256 + 96680 = 0. Let q = w + 23903. Is q composite?
True
Suppose -2*z - 31 = -37. Suppose -4*l = -3*k - 11268, 5616 = l + l + z*k. Suppose -2*i + 8*i - l = 0. Is i composite?
True
Suppose -8*v + 3*v = -15. Suppose v*g - 8 = -0*b + b, b + 10 = 4*g. Suppose -3*s + 5*m - 2969 = -5*s, g*s + 2*m - 2960 = 0. Is s a composite number?
True
Suppose -23*d - 30 = -33*d. Suppose 12*x - 13305 = -d*x. Is x a composite number?
False
Let v = -18310 - -28395. Is v a prime number?
False
Let z be -5 - 5/((-5)/2). Is ((-11095)/(-20))/(z/(-12)) composite?
True
Suppose 34 = q + q + 5*v, -2*v = -5*q + 56. Suppose q = -3*t + 33. Suppose 6*n - t*n = -158. Is n a composite number?
True
Suppose 0 = 5*b + 3 - 78. Let r(f) = -4 + 33 + b*f + 0*f + 0*f. Is r(10) a prime number?
True
Let q(p) = -p**3 + 11*p**2 - 11*p + 18. Let d be q(10). Suppose -3*w + 20 = d. Suppose w*i - i - 381 = 0. Is i a composite number?
False
Let t be (11/11)/((-1)/17). Let y = t + 32. Is (1*398)/(-13 + y) a composite number?
False
Let s = -1055534 + 2339581. Is s composite?
False
Let k = 46218 + -151699. Let z = k - -177818. Is z a prime number?
True
Suppose 0 = 320*s - 318*s - 865426. Is s composite?
False
Let z(m) = m + 20. Let c(d) = d**2 - 6*d - 23. Let w be c(7). Let u be z(w). Suppose 6938 = u*g + 2*b, 0*g + 4*b = -g + 1745. Is g a composite number?
False
Suppose -69*f + 80*f - 407 = 0. Suppose -71*b + 656234 = -f*b. Is b composite?
False
Suppose -100176772 - 36066178 = -72*x + 6234178. Is x prime?
True
Let q(a) = -2 - a**3 + 2 - 11*a**2 - 7*a**2 + 19*a - 1. Let h be q(-19). Is (-33 + h)/(22/(-253)) a prime number?
False
Let z = -853 + 842. Is (-2 + 4)/(z + (-948783)/(-86251)) prime?
True
Is (4572/(-24))/((-6)/508) composite?
True
Let b(d) = -d**2 - 5*d + 11. Let g be b(-6). Suppose -s = 2, g*i - s = 2*i + 17009. Is i composite?
False
Let z(v) = 3*v**2 - 3*v + 5. Let k be z(5). Let d(w) = k*w + 151*w - 5 + 83*w - 30. Is d(6) composite?
False
Let q(f) = 58*f - 5. Let z be q(12). Suppose 0 = y, -y - 5417 - z = -4*j. Is j a prime number?
False
Let d(t) = 2*t**2 - 3*t - 6. Let o be d(3). Let f(j) = 20*j - 40*j**o - 45*j**3 + 84*j**3 - 29 + 11*j**2. Is f(12) prime?
True
Suppose -15597 = -7*w + 1980. Let b = -3071 - -1615. Let u = b + w. Is u a prime number?
False
Let w be (411292/(-37))/(0 + -1). Let b = 20207 - w. Is b a composite number?
False
Let f = 178011 - 126818. Is f prime?
True
Let z(l) = 5*l**3 + 17*l**2 + 51*l - 287. Is z(44) a prime number?
False
Suppose -715*b = -759*b + 32555996. Is b composite?
False
Let k(d) be the first derivative of 17 - 29/2*d**2 + 4*d. Is k(-6) prime?
False
Let n = -2277307 - -3366210. Is n a composite number?
False
Let i = 56 + -57. Let x be i/(-1) + (-4 - 21/(-3)). Is 1997 + -8*x/8 prime?
True
Suppose -5446 = -9*u + 1493. Suppose -994 = 2*x - 0*x. Let d = u + x. Is d prime?
False
Let w(y) = -4356*y**2 - 7*y + 49. Let s be w(4). Let x = -11780 - s. Is x composite?
True
Let l = 300 + -295. Suppose 5*f = c + 11857, 768 = -4*f - l*c + 10242. Is f a prime number?
True
Suppose -5*u + 5*a = -1851870, 4*a = -u + 3*a + 370384. Is u a prime number?
False
Suppose 0 = 2*y - 0*y + 3*q + 9, 15 = -5*q. Let r be 1 - (-12)/4 - (y - -6). Is (-4)/(-6)*(4 + (-541)/r) prime?
False
Suppose 148*a - 35433054 - 181708405 = -51244263. Is a a composite number?
True
Let b(l) = 202232*l**2 - 138*l + 281. Is b(2) a prime number?
False
Suppose -5*a + 1449690 + 1361265 = 4*l, 4*a - l = 2248743. Is a a composite number?
True
Let l(m) = -20*m + 88. Let o be l(10). Let d = o + 291. Is d composite?
False
Let o be ((-144)/63 - (-2)/7) + 4. Suppose -3*y - 6*j = -3*j - 3123, j - 2077 = -o*y. Suppose -2*s + 493 = 3*v - 6*v, -y = -4*s - 4*v. Is s prime?
False
Suppose -10*m + 291 + 499 = 0. Let t = m + -20. Let z = 1176 - t. Is z composite?
False
Let i = -182028 - -272005. Is i a prime number?
True
Suppose -5*z + 179039 = -t, 0 = -3*t - 16 + 4. Is z prime?
False
Let y be 5/(-10)*8/(-2). Let m be y/(-4) + (-5052)/(-8). Suppose 2*u = 3*u - m. Is u composite?
False
Let g be (-5)/4 + (-4487)/(-28). Suppose g = 6*z - 39. Suppose 32*k = z*k - 127. Is k prime?
True
Suppose 2*s - 3*m = -34625, 4*s + 5*m - 22193 = -91454. Let u = -8625 - s. Is u prime?
True
Suppose 7*s + 10*s + 102 = 0. Let z(x) = 9*x**2 - 5*x - 23. Is z(s) composite?
False
Let j(a) = 2*a**2 - 12*a - 27. Let x be j(8). Is (x - (-18)/8)*23*4 composite?
True
Let k = -114759 + 162736. Is k prime?
True
Let x = -4602 - -2685. Let f = x - -4819. Is f a prime number?
False
Suppose 38 + 4 = 7*t. Suppose t*r - 2*r = 10652. Suppose -f - r = -4*a, -2*a + 2*f - 5*f + 1349 = 0. Is a composite?
True
Suppose -158732 = -0*i - 28*i. Suppose n = -3*c + i, 0 = -17*c + 12*c - 4*n + 9453. Is c composite?
False
Let u be (-55)/(-44) - (-4499)/4. Suppose b - u + 39 = 0. Is b composite?
False
Suppose -3 = -3*t + 3, -5*p + 2*t + 16 = 0. Let o(b) = -b - 3. Let q be o(-7). Suppose -716 = -p*v - q. Is v a prime number?
False
Let r(k) = 57*k**3 + 3*k**2 - 16*k + 6. Let l be r(7). Let u = l - 8358. Let h = -5797 + u. Is h composite?
False
Suppose 2*o = 4*h + 70, -4*o + 2*h = -2*o - 60. Let c(p) = p**3 + 3*p**2 - 63*p + 44. Is c(o) composite?
True
Let l(v) = v**2 + 4*v + 5. Let p be l(-2). Let b be -4 - 597/((-3)/p). Suppose r - 934 = -b. Is r a composite number?
False
Let x = 146 + -61. Suppose s - 19 - 7 = 0. Let d = x + s. Is d prime?
False
Let k = 147 - 144. Suppose 2*s + 2921 = k*l, -3*s = -5*l + 1514 + 3356. Is l a composite number?
False
Is (0 - 2554/(-3))*9/12*134 a composite number?
True
Let b(x) = 109*x**2 + 3*x - 18. Let s(j) = -27*j**2 - j + 5. Let c(a) = -2*b(a) - 9*s(a). Is c(-4) a composite number?
False
Let q = 21 + -21. Let b be 3 - q - (48548/4 + 2). Is b/(-10) + 3/(-5) prime?
True
Let c = -23842 - -76085. Is c a prime number?
False
Suppose 21*y = 31*y - 21460. Suppose 1429 = 2*a + x, 0*a + x = -3*a + y. Is a a composite number?
True
Let o = 256 - 128. Suppose -o = -2*h + 78. Let m = -65 + h. Is m a composite number?
True
Let t = 46 + -31. Suppose 4144 = 11*b - t*b. Is (-2)/((8/b)/1) composite?
True
Suppose -6*y + 5 = 65. Let w(g) = -179*g - 68. Let b be w(y). Let r = b - 779. Is r a composite number?
True
Let u(l) = -l**3 + 6*l**2 - 2*l + 4. Let i be u(4). Let f = -28 + i. Suppose -q + f*q = -753. Is q a prime number?
False
Suppose -133*k - 75368858 = -855*k. Is k a composite number?
True
Let l(b) = -28*b + 10*b + 29 + 6*b + 10*b. Let o be l(12). Suppose -2*d - 879 = -3*t, -3*t - o*d + 900 = -0*t. Is t a prime number?
False
Let m(w) = 5*w**2 - 14. Let z = 5 - 11. Let q be m(z). Suppose -c = c - q. Is c a prime number?
True
Let t = -57 