Is p prime?
False
Suppose 2*j + 21*b = 20*b + 11244, 5629 = j - 3*b. Is j composite?
False
Suppose 4*c + 2 = 10. Suppose -2*y + c = -2*w, 0 = 5*y + 13 + 12. Let v(z) = 15*z**2 + 7*z - 7. Is v(w) a prime number?
True
Let t(y) be the first derivative of -93*y**2/2 + 8*y + 21. Is t(-5) prime?
False
Suppose 0 = 2*c - 5*n + 3*n - 5232, n = -4*c + 10459. Is c prime?
False
Is 6349 + (-14)/3*66/(-77) composite?
False
Let x(j) = 24*j**3 + 26*j**2 - 16*j + 5. Is x(9) prime?
True
Suppose -69*c + 75*c - 31854 = 0. Is c a composite number?
False
Suppose -c + 3*d = -16130, 7*c - 11*c + d + 64509 = 0. Is c a prime number?
True
Is 21705/11 - 128/704 a prime number?
True
Let t(f) = -3*f**2 + 1079. Let n be t(0). Let l = -5 + 4. Is (l - -1) + n/13 prime?
True
Is ((-4354)/35)/(10/(-25)) prime?
True
Let l(c) = 3*c**2 + 6*c - 4*c**2 + c**3 - 7*c**2 - 8. Let s be l(8). Let j = 81 + s. Is j composite?
True
Suppose -2*z = 2*z - 128. Is 1510/(-4)*z/(-40) composite?
True
Let d(k) = 5*k**2 - 21*k - 23. Suppose 2*n + 2 = 18. Let v(l) = 2*l**2 - 7*l - 8. Let r(u) = n*v(u) - 3*d(u). Is r(6) composite?
False
Is 169593/27 - 2/45*5 composite?
True
Suppose -2*q + 4*q = 6, 4*f - 3*q - 7 = 0. Suppose -f*u - 4*b = 16 - 132, 0 = 3*u + 2*b - 83. Is u composite?
True
Suppose -4*d = -0*x - 3*x - 1380, -5*x + d - 2317 = 0. Let l = -203 - x. Suppose 0 = -2*m - 43 + l. Is m a composite number?
False
Let f be (0 - (-6 - -3)) + 801. Suppose 5*x - 2374 = 4*a, 3*x - 3*a = 618 + f. Is x a prime number?
False
Let h(u) = -3*u**2 - 5*u - 19. Let c(k) = -4*k**2 - 5*k - 18. Let o(p) = 2*c(p) - 3*h(p). Is o(-11) composite?
True
Suppose -633*u + 640*u = 63889. Is u prime?
True
Let y = 4143 - -14230. Is y composite?
True
Let p be 6/3*386/4. Suppose -3*v = -2*c + p, 2 = v - 3*v. Is c composite?
True
Let g(q) = -q**3 + 24*q**2 + 9*q - 3. Suppose 0*h + 4*h - 2*f - 72 = 0, -h + 18 = -3*f. Is g(h) composite?
True
Is (-10)/(5/(575/(-10))) a composite number?
True
Is 2/12*6*2063 a prime number?
True
Let s(j) = 24*j**3 - 35*j + 91. Is s(10) prime?
True
Let q = -455 + 1251. Let x be (-3)/(-5) - 3997/(-5). Suppose -x = -s + 3*v, s - v = 2*s - q. Is s prime?
True
Suppose 0 = c - 5*j + 5109, -3*c + 20436 = -7*c + 5*j. Let w = -3172 - c. Is w a prime number?
False
Is -4 - -7 - -7701 - (3 - -4) prime?
False
Let i(w) = -w**3 - 3*w**2 + 3*w + 5. Let o be i(-3). Let m(z) = -14*z**3 + 3*z**2 + 8*z + 11. Is m(o) a composite number?
True
Let b = 202 + 117. Let a(f) = 33*f + 2. Let l be a(2). Suppose 3*q - l = b. Is q prime?
False
Suppose -6 = -4*g + 2*g. Suppose 765 = z + g*a, 4*a + 3306 = 4*z + 310. Is z composite?
True
Let c be 9/4*(-3 - 1). Let t = c - -12. Suppose 3 = -3*m, 0*m + 1009 = t*w + 2*m. Is w a composite number?
False
Let s(h) = -54*h**3 + 4*h**2 - 6*h - 33. Is s(-4) prime?
True
Let w be (-1 - -30)*109 + 0. Suppose -c + x - w = -4*c, 4*c - x = 4203. Is (c/6)/(4/6) prime?
True
Let w = -4 - -8. Let t(v) = -20*v**2 - v - 3. Let i be t(w). Let h = i - -656. Is h a composite number?
True
Suppose -40*n + 24*n = -141104. Is n a prime number?
True
Let x be 1/(-13)*-2 + 2258/26. Suppose -5 = -4*k + 35. Suppose -c + x = k. Is c a prime number?
False
Is (1 + 0)/(8/20264) prime?
False
Suppose -175170 = -32*q + 520286. Is q a prime number?
False
Suppose -w + 5*i - 89505 = -5*w, 2*w + i - 44751 = 0. Is w/75*(-1 + 4) composite?
True
Suppose -5*i + 217 = 2*i. Is 70/(-14) + i*2 composite?
True
Suppose -3*x + 286 = 4*n, 4*x - 3*n + 102 = 5*x. Let j = -57 + x. Let p = j - -22. Is p composite?
True
Suppose 0 = 5*s + 2025 + 2970. Let w = s - -1484. Is w a composite number?
True
Suppose 4*g = 5*w - 45081, -3*w + 27052 = -0*w + g. Is w prime?
False
Let m(k) = 11*k**2 - 21*k + 14*k + 26 + 17*k. Is m(9) prime?
False
Is 1/(-9) + 19/171 - -62483 composite?
False
Let t = 8414 - 2491. Is t a composite number?
False
Let y be 2/5*(1 + 14). Suppose y*g - 10*g = -1348. Is g prime?
True
Let f(b) = -34*b**3 - 23*b**2 - 97*b + 5. Is f(-9) prime?
True
Is 4/22 - (-38)/((-1254)/(-232281)) a prime number?
True
Suppose 10 = 2*s, 2*s - 8 = x - 0. Suppose 5*d = -10, -d = q - x + 1. Suppose 5*y = 5*a + 9909 - 1644, q*y - 5*a - 4955 = 0. Is y composite?
True
Suppose 5*v + g = -g + 32973, 5*v - 32945 = 5*g. Is v prime?
False
Suppose 0 = -3*s - g + 1418 + 1109, -4*s + g + 3381 = 0. Suppose -3*k = -1061 - s. Is k prime?
False
Let t(z) = 3*z + 4. Let u be t(1). Suppose -u*g = -1644 - 2122. Is g a composite number?
True
Let j(d) = 0*d - 12*d - 13 + 3*d. Is j(-8) prime?
True
Let r = 28743 + -6160. Is r a composite number?
True
Let f(x) = 244*x**2 - 14*x - 49. Is f(-9) composite?
False
Suppose -5*u + 3*g + 3368 = 0, 757 = -5*u + 2*g + 4124. Is u prime?
True
Suppose -5*r + 3*r + 1977 = -5*u, 4*r - 4*u - 3984 = 0. Suppose 3*b - 4*c = r + 1012, b = c + 671. Is b a prime number?
False
Let m(q) = q**3 + 5*q**2 - 10*q + 4. Let h be m(5). Let n = 343 - h. Is n prime?
True
Suppose 4*h = -3*h + 1841. Suppose -1210 - h = -3*q. Is q a composite number?
False
Let m be (2505/10)/(-4 - 26/(-8)). Let u be (0 - 1) + 313*-2. Let h = m - u. Is h prime?
True
Let t(v) = 6*v**3 + 14*v**2 - v - 29. Is t(16) composite?
True
Is (2/2)/(36/196524) composite?
True
Let w(a) = -a**2 - a - 600. Let u be w(0). Let j = u - -1134. Suppose -2*l + 5*m = -5*l + 383, -5*m = -4*l + j. Is l a composite number?
False
Suppose 15 = -u - l, 2*l + 2*l = -3*u - 44. Is (2292/u)/((-12)/16) a prime number?
True
Let u = -19750 - -30723. Is u prime?
True
Let v be (-84)/(-18)*21/(-2). Is 14/v + 2 + 7562/7 a composite number?
True
Suppose -a + 2*a = 0. Let i(l) be the first derivative of -l**2/2 + 641*l + 7. Is i(a) composite?
False
Suppose -7*s - 12 = -26. Suppose 195 = 2*u - u + 4*w, 0 = -5*u - s*w + 957. Is u a prime number?
True
Let u be (-2)/(-9) + (-16)/(-9). Suppose 2 = 2*x - 0*x, 0 = 5*h - u*x - 3528. Let m = h - 495. Is m a composite number?
False
Is 5521 + -2 + -3 + -3 prime?
False
Suppose -114739 - 131168 = -9*y. Is y a prime number?
False
Let q be (-27)/6*(-6)/9. Suppose 21*j - q = 24*j. Is 4/4 + (345 - j) a composite number?
False
Suppose 0*b - b = -5. Suppose -4*f + 1 = 5*q + 5, 2*q = b*f - 28. Is f/(-10) - 679/(-35) composite?
False
Suppose 28 = 5*f + 13. Suppose 2*l = -d - 2*l + 1973, -f*d + 5919 = -l. Is d prime?
True
Suppose 0 = y - 5*v + 15, 3*y - 5 = 2*v + 3*v. Let f(b) be the second derivative of 47*b**3/6 - b**2/2 - 7*b. Is f(y) composite?
True
Let b(t) = -123*t - 5. Let h be b(7). Let v = 466 + h. Let n = -79 - v. Is n a composite number?
True
Let h = -774 + 402. Suppose -4*j - 3623 = -8*j - b, -4*j + b + 3633 = 0. Let o = h + j. Is o composite?
True
Let l(m) = -m**2 - 25*m - 59. Let t be l(-22). Suppose 0 = -5*g - 3*q + 791, t*g - 626 = 3*g + q. Is g a composite number?
False
Suppose 0 = -15*r + 147801 + 96984. Is r prime?
True
Let i = 9 - 33. Is (-4)/i*-3 - (-6471)/2 a composite number?
True
Let c(l) = 473*l + 166. Is c(15) a prime number?
False
Let d be (-2)/3*(-1236)/(-2). Suppose -9*z = -9689 + 1967. Let t = d + z. Is t a prime number?
False
Let w = 3411 + 87560. Is w prime?
True
Is (-16515)/(-27)*6/2 a composite number?
True
Suppose 3*z + 4*w + 61 = 0, -z + 53 = -4*z + 4*w. Let o(m) = -48*m + 47. Is o(z) composite?
True
Suppose 2 = 4*m - 2*p, -3*m - 11 = -7*m + 5*p. Let y = m + 1. Suppose q - 2*j - 423 = 0, q + 4*j - 5 - 442 = y. Is q a composite number?
False
Suppose -3*v - 22*c + 23*c = -4411, 2938 = 2*v - 2*c. Is v a prime number?
True
Let v(h) = 702*h**3 + 2*h**2 - h. Let d be (4 - 33/9) + (-6)/(-9). Is v(d) composite?
True
Suppose 0 = -2*u - 3*u - 4970. Let d = -1894 - -1219. Let r = d - u. Is r a prime number?
False
Is 6/(-3)*(-37624)/16 composite?
False
Let w = 10200 + -1167. Is w prime?
False
Suppose -22 + 64 = -5*w + 2*c, -4*c = 3*w + 46. Let y(b) = -b**3 - 9*b**2 + 8*b - 13. Let r be y(w). Suppose -12*s = -r*s - 1885. Is s a prime number?
False
Let v = -315 - -634. Is v composite?
True
Let v(o) = -116*o - 10. Let q(k) = -349*k - 31. Let s(j) = 3*q(j) - 8*v(j). Is s(-6) a prime number?
True
Let k(y) = 772*y**2 - 3*y + 8. Is k(3) composite?
False
Suppose 4*k - 4 = 0, 5*q - q = k + 32155. Is q composite?
False
Suppose -7*t - 3*h = -8*t - 2, 0 = t + h + 2. Is 0 - (t/(-3) - 12471/9) prime?
False
Let r(w) = 2*w**3 - 8*w**2 + 4*w + 7. Let n be r(-7). Let q = -680 - n. Is