. Is a(t) a prime number?
False
Suppose -654 - 616 = -2*u. Suppose -y + u = -66. Is y prime?
True
Suppose -8*g + 744366 = 34*g. Is g a composite number?
True
Let y be (-5)/2*(-36)/30. Suppose 0 = 2*v - 3*x - 7, -3*v - y*x + 0 = -3. Suppose k + 5*w = 284 + 372, -v*w + 647 = k. Is k composite?
False
Let v be 10*((1 - 2) + 6)*56. Suppose -2*b - 2*b = 2*h - v, -5*b + h = -3486. Is b a composite number?
True
Let x = 75589 - 170259. Is x/(-35) - (-3)/21 composite?
True
Let p(a) = -3*a**3 - 3*a + 1. Let q = -30 + 44. Suppose -4*o - q = 4*u + o, u + o + 4 = 0. Is p(u) a composite number?
True
Let o(w) = -3*w - 1. Let q be o(-5). Suppose -4*k + 145 = -115. Suppose -q*x + 13*x + k = 0. Is x a prime number?
False
Let l(o) = 136*o + 29. Suppose 0 = 3*n + 55 - 7. Let p be l(n). Is (-2)/(-7) + p/(-7) composite?
False
Let l(j) be the first derivative of 41*j**2/2 + 58*j - 8. Is l(15) a prime number?
True
Suppose -13*i + 11*i = -5*d - 364, 0 = 2*i + 4*d - 382. Is i prime?
False
Let f = 56 + -51. Is 0 + (-2 + 0 + f - -256) a composite number?
True
Let u = -294 - -659. Is u a composite number?
True
Suppose -4*w + 5*z + 47551 = 6*z, 2*z = 4*w - 47542. Is w a composite number?
False
Let g(r) = r - 20. Let p be g(20). Is 705/3*(1 - p) composite?
True
Let f be 2/(3*1/6). Let x(k) = -4 + f*k + 3*k**2 + 7*k**2 + 5. Is x(-3) prime?
True
Let k = 67 - 45. Suppose 0 = 3*y - 164 - k. Suppose -512 = -4*c - o, -4*c + 462 = 4*o - y. Is c a composite number?
False
Suppose -2*w - h + 14 = w, 0 = -5*w - h + 24. Suppose 2*r - 415 = r + w*v, -5*v = 25. Suppose -i - u - 550 = -4*i, -r = -2*i - 4*u. Is i prime?
False
Suppose 0 = 2*p + 2*g - 8788, 5*p - 2*g = 12631 + 9318. Is p a composite number?
False
Let w(i) = 62*i**3 + 2*i**2 + 3*i - 7. Is w(2) prime?
True
Suppose -5*p + 12567 = 4*w - 24452, -4*p + 3*w = -29609. Is p a composite number?
True
Is (-2 + -1)*(-42168)/72 prime?
False
Let n(j) = -j**3 + 11*j**2 + 40*j + 31. Is n(-12) a composite number?
True
Let w = 373 + -39. Suppose 0 = -i + 543 + w. Is i composite?
False
Let c(s) = s + 13. Let o be c(-8). Let z(r) be the third derivative of r**6/120 - r**5/20 - r**4/6 + r**3/2 + r**2. Is z(o) a prime number?
False
Let q(l) = 46*l**3 + 3*l**2 + 41*l + 41. Is q(11) composite?
False
Suppose -3*y + 212 = y. Suppose 0 = -3*n + 3*t + 3 + 9, -5*t = 0. Is y*(2 + (3 - n)) prime?
True
Suppose o - k - 4 = 0, 3*k + 17 = 4*o - 2*k. Is (14538/9)/(2/o) a composite number?
False
Suppose 5*s - 10014 = 30101. Is s a composite number?
True
Let k(z) = -6*z**3 - 20*z**2 + 21*z + 78. Is k(-17) prime?
False
Suppose b - 3*x = 6*b - 22, -2*b + 5*x = 16. Suppose 0 = -d + b*d - 731. Is d prime?
False
Suppose -13*i + 20 = -9*i. Suppose -z - i*j + 87 = -45, 4*z - 513 = -5*j. Is z prime?
True
Suppose k = -5*k - 198. Let y = 285 + -49. Let h = y - k. Is h a composite number?
False
Let s(o) be the second derivative of 49*o**3/3 - o**2/2 - o. Let l(q) = 24*q + 171. Let p be l(-7). Is s(p) composite?
False
Let k(t) be the second derivative of t**5/20 - 13*t**4/12 + 2*t**3 + 5*t. Let x be k(12). Suppose x = -6*u + 5*u + 149. Is u a composite number?
False
Let p(b) = -1. Let a(g) = g - 1. Let w(x) = -3*a(x) + p(x). Is w(-11) a prime number?
False
Let j be (19 - (-2 - -1))*243/6. Suppose -5*p + 1819 = 254. Suppose -5*n + 5*g = -j, p + 470 = 5*n + 4*g. Is n composite?
True
Let g = -210 - -56. Is g/(4 + (-6 - 0)) a composite number?
True
Let y = 6802 - 4581. Is y composite?
False
Suppose -72 + 6 = -3*r. Let q be 2/8 - r/(-8). Suppose q*o + 212 = -0*k + 4*k, 2*k - 106 = -o. Is k a prime number?
True
Is (((-441623)/(-52))/23)/(2/8) a prime number?
False
Let i = -3 + 1. Let d be i + 2 + 2 + 1. Suppose 2*u = 4*u + 2, -d*n + 268 = 5*u. Is n prime?
False
Let w = -28 - -32. Suppose 5*n + w = 84. Suppose 11*m = n*m - 1175. Is m composite?
True
Suppose 13*z - 68951 = -6*z. Is z a composite number?
True
Suppose 10*i + 30*i - 272200 = 0. Is i a composite number?
True
Let l be (10/4)/((-4)/(-8)). Suppose -l*d + 289 = 14. Is d composite?
True
Let g(l) = 15*l**2 + 2*l - 3. Let q be g(4). Let b = -641 + q. Let o = b + 807. Is o a composite number?
True
Suppose 2*d + 5*d - 21 = 0. Suppose 3 = -3*p - d, -5*q = 2*p + 49. Let y(c) = -13*c - 2. Is y(q) a prime number?
False
Suppose -i + 182 = -2616. Is i composite?
True
Let a be (-336)/(-30) - (-12)/15. Is 3955/3 + -5*a/(-90) a prime number?
True
Let f = -629 + 1665. Suppose -18*i = -14*i - f. Is i a composite number?
True
Let n(w) = 2*w**3 - 13*w**2 - w + 16. Let c be n(10). Suppose 5*y - c = 999. Is y prime?
False
Let d(m) = 5*m**3 - 7*m**2 + 4*m - 7. Let o(t) = -4*t**3 + 6*t**2 - 4*t + 6. Let a(x) = 3*d(x) + 4*o(x). Let k = 4 + -9. Is a(k) prime?
True
Let f = 20937 - 7148. Is f a composite number?
False
Suppose -6*f - 16*f = -61006. Is f a composite number?
True
Suppose 3*f = 2*c + 859, -2*c + 2*f + 3*f = 849. Suppose 370 = 2*v + 70. Let b = v - c. Is b composite?
False
Suppose -855 = -5*k - 220. Let w = 280 + k. Is w a composite number?
True
Suppose p - f = 39342, -3*p = 4*f + 54816 - 172835. Is p composite?
False
Let u(f) = 202*f - 10. Let p be u(4). Suppose -p = -2*z + z + l, 3201 = 4*z + 5*l. Is z composite?
True
Let r = -207 - -18122. Is r a composite number?
True
Suppose o - 39325 = -4*g, 3*o + 0*g = -2*g + 117945. Is o a composite number?
False
Suppose 32 = 4*k - 5*d, -4*d = -3*k - 9*d - 11. Suppose -4*s = 5*m - 6*s - 4537, -3*m = k*s - 2718. Is m a prime number?
True
Suppose -2*h = -0 + 2, 2*p = -3*h + 3. Suppose z - 6*z + 4*o + 1445 = 0, -p*o = z - 308. Is z a prime number?
True
Let w(m) = -m**3 + 22*m**2 - 14*m + 18. Suppose 0 = 2*g + 4*v - 4 - 6, -g + 3*v = -25. Is w(g) composite?
True
Is (-15 + 4406)/((-1)/(-1)) prime?
True
Let r(v) = -7*v**3 - 2*v**2 - 1. Suppose 3*s = 2*t + 2, -2*s + 4*t = 2*s - 8. Let w be -1 - ((0 - s) + -1). Is r(w) composite?
False
Let p = 625 - 1375. Let n = p - -1381. Is n composite?
False
Let o = 4910 + -1063. Is o a prime number?
True
Suppose -3*l + q = -20, 38 = -0*l + 5*l - 4*q. Let k(o) = 3 + 16*o + 41*o - 5 - 3. Is k(l) prime?
True
Suppose -3*l - a = -4272, -9*l - a - 7112 = -14*l. Is l prime?
True
Let p be 0 - 14*(-67)/2. Let s = p - -143. Suppose -104 = 4*h - s. Is h prime?
True
Suppose 0 = -2*m - m + 6. Suppose -4*f + 20 = -4*x, m*f + 3*x + 25 = -2*x. Suppose f*g - 5*g = -665. Is g prime?
False
Let j = 26 - 23. Suppose 3*w + 114 = 2*x, 3*w + 7*x - j*x + 132 = 0. Let v = w - -61. Is v a prime number?
False
Let k(o) = 675*o**2 - 2*o + 4. Is k(-3) prime?
False
Let h(o) = -37*o**3 - 9*o**2 + 8*o - 99. Is h(-13) a composite number?
True
Is -1 + 33 - (-4 - -1) prime?
False
Let z be ((-9)/18)/(1/(-4)). Suppose -4*d - 135 = -a, -3*d + 290 = z*a - d. Is a a prime number?
False
Let k(o) = -o + 22. Let z be k(6). Suppose -6*v + z*v - 7870 = 0. Is v a prime number?
True
Let y(x) = x**2 + 8*x - 22. Let r(z) = -6*z + 21. Let i(p) = 5*r(p) + 4*y(p). Is i(5) composite?
False
Let k = -78 - 208. Let h = 413 + k. Is h composite?
False
Suppose 0 = -3*o + 31 - 7. Suppose 0 = 5*u - u - o. Suppose 2*s - 44 = -u*s. Is s a composite number?
False
Let l(w) be the first derivative of -w**4/4 - 2*w**3/3 + 2. Let s be l(-2). Suppose r - 381 + 4 = s. Is r a prime number?
False
Let a(c) = 1183*c + 44. Is a(3) a composite number?
False
Is 3/3*(3189 + 6/3) a prime number?
True
Let m(u) = u**3 - 7*u**2 - 7*u + 12. Let h be m(8). Let j = h - 15. Suppose 4*r = -j*g + 786, g - 2*r - 160 = -0*g. Is g a prime number?
False
Let k(o) = 10*o - 14. Suppose -4*g = -0*h - h - 16, 5*g = -5*h - 5. Let p(d) = -4*d - 10. Let x be p(h). Is k(x) a prime number?
False
Suppose -129 = -3*r + 2*h + 60, 319 = 5*r - 2*h. Let w = r - 19. Is w composite?
True
Let t(k) = 2*k**2 - 46*k - 71. Is t(43) a composite number?
True
Suppose -3*r = -l - 3*l + 2281, 2*r + 1554 = -4*l. Let n = r - -1308. Is n composite?
False
Let d be 3*1/((-12)/16). Let a be -4 - (d - -2) - -8. Is (2/a)/((-4)/(-6684)) a composite number?
False
Let i(l) = -116*l + 81. Is i(-17) prime?
True
Suppose j + 5*h = 2*j - 276, -j - 4*h + 276 = 0. Suppose -4*l + 6272 + j = 0. Is l a prime number?
True
Let s(a) = 67*a - 40. Is s(5) prime?
False
Suppose -5*v = -5, -5*m + 2*v - 5*v = -13. Suppose 4*i - m = 14. Suppose i*a + 119 = 3*d, 5*d + 6*a = a + 175. Is d a composite number?
False