 = x - 5*p - 648, 4*x - u*x + 649 = -4*p. Is x prime?
True
Let r = 85 + 310. Is r a composite number?
True
Let v(i) = -384*i - 19. Is v(-1) a prime number?
False
Suppose 2*j = -14 - 6. Let v = 15 + j. Let m(o) = -o**3 + 5*o**2 + 4*o - 1. Is m(v) a prime number?
True
Let t(x) = -3*x - 14. Let c be t(-6). Suppose -c*d + 206 = 3*m - 27, -3*m + 56 = d. Is d prime?
True
Let b = 651 - -5048. Is b composite?
True
Suppose 0 = -3*q + 1 + 8. Suppose q*y - 3458 = z, y - 284 - 847 = -4*z. Is y a composite number?
False
Let n = -128 - -188. Suppose 0 = -c + 89 + n. Is c a composite number?
False
Let w = 7746 + -4657. Is w prime?
True
Let q(w) = 11*w**2 + 11*w + 37. Is q(-10) a prime number?
False
Let b be (12/(-9))/((-6)/(-1521)). Let z = -686 - b. Let m = 539 + z. Is m a composite number?
False
Suppose 0 = -5*o - 561 - 984. Let g = -135 - o. Suppose 0 = 3*c - g + 15. Is c a composite number?
False
Suppose 10400 + 8132 = 5*f + 3*p, -4*p + 18531 = 5*f. Is f a composite number?
True
Suppose 11*h - 6*h = 0. Suppose 6*j - 36 = -h*j. Let b = 13 - j. Is b a composite number?
False
Is (-259542)/(-16) + (-3)/8 a prime number?
False
Let a be -628 - (3 + (-1 - -1)). Let i be (1073 - -1)/(0 + 4 + -3). Let t = a + i. Is t prime?
True
Suppose -2*y = i + 2*y - 9, 6 = 2*i + 4*y. Let n be 537 - (9/i + 3). Suppose u = -2*u + n. Is u prime?
True
Let t(k) = -6*k**2 + 3*k + 1306. Is t(0) a composite number?
True
Let p(m) = -m**2 + 8*m - 8. Let k be p(6). Suppose 897 + 1787 = -k*s. Let t = 1380 + s. Is t prime?
True
Suppose 0 = -5*c + c + 12. Suppose -2*b - d + 2033 = 2*d, -3017 = -c*b + 2*d. Is b prime?
True
Suppose -2*y + 4*b + 60 = 0, 4*b + 90 + 6 = 3*y. Is y/(-306) - 25606/(-34) a composite number?
True
Suppose -2*v - 6476 = -3*v. Suppose -s = -5*c - v, 5*c + 3*s + 1471 + 5021 = 0. Is c/(-5) - 9/45 prime?
False
Suppose 1 + 20 = 3*k. Let m(j) = j**3 - 8*j**2 + 6*j - 3. Let r be m(k). Let z(d) = -13*d + 9. Is z(r) prime?
True
Let g(k) be the first derivative of 6*k**2 + 58*k - 20. Is g(13) prime?
False
Suppose -736 = -n + 3*v, -n - v - 3*v = -743. Let l = -116 + n. Is l a composite number?
True
Is (-115353)/(-28) + -14 - 2/(-8) a composite number?
True
Suppose p - 748 = 2*s, -2*s + 3*p = -101 + 857. Let i = s - -787. Is i a composite number?
True
Let a = 12027 - 7796. Suppose 1408 = -3*s + a. Is s a prime number?
True
Let t(m) = -m + 16. Let o be t(7). Suppose -3*u - p + o = -2*u, 5*u - 2*p - 10 = 0. Suppose -5*a - f = -u*f - 281, -a - 2*f = -51. Is a composite?
True
Let o = 7 - 24. Let g = o - -25. Is 1 + (g/(-4) - -236) a composite number?
True
Let o be -2256 + 3 - -3 - 1. Let h = 1591 + o. Let k = -437 - h. Is k prime?
True
Let p be 1/5 + 18/10. Suppose 4*n = k + p*k + 68, -2*n = -5*k - 132. Let q = k + 533. Is q prime?
False
Suppose 2*y = -6 + 16. Suppose -y*p - w + 403 = -3*p, -p = 3*w - 194. Is p composite?
True
Let q be 4/(-6)*1*132/(-11). Let r be (-3)/(-1)*(5 + -4). Suppose -q*j = -r*j - 805. Is j a prime number?
False
Let x(d) = -6*d**3 - 12*d**2 + 7*d + 14. Let p be x(13). Let q be (-12)/(-16) - p/(-12). Let j = q - -1889. Is j a composite number?
False
Let p(a) = 2*a**2 - 3*a + 4. Let l be p(2). Let t(d) be the second derivative of d**5/20 - d**4/6 - 5*d**3/6 + 2*d**2 + 2*d. Is t(l) prime?
False
Let i(n) = -n**3 - 7*n**2 - 3*n + 8. Let j be i(-6). Let z be (76/(-5))/((-2)/j). Is (3 - 3) + (1 - z) composite?
True
Suppose 2339 = 2*v + 217. Is v composite?
False
Suppose y = 5*y + 2*m + 4, -4*y - 18 = -5*m. Is ((-2)/8)/(y/12472) composite?
False
Let z(o) = -19*o + 16. Let f = 85 - 90. Is z(f) a prime number?
False
Is 7 - (-198 - (5 + 1)) composite?
False
Suppose -18 = -3*g + 2*v - 5*v, -4*g = -5*v - 6. Suppose -6*x + x = -4*f - 36, 0 = 2*x - g*f - 24. Suppose -5*z + x*d + 413 = 0, 0*d - 3*d + 9 = 0. Is z prime?
False
Let r = -3796 + 5507. Is r composite?
True
Suppose -26790 + 152770 = 4*a. Is a a prime number?
False
Suppose 6*w = 4*w - 2. Let n be 0 - (w + 0)*-25. Let v = -6 - n. Is v prime?
True
Let z be ((-9)/(-4))/(3/8). Suppose 0 = 2*p + z*p - 8. Is 1239/6*(1 + p) prime?
False
Suppose 17*z = 5*z + 72612. Is z prime?
False
Let f = -93 - -92. Is 9/(63/2198) + f + 1 composite?
True
Suppose 417191 = 3*n + 2*p, -28*p + 23*p - 278159 = -2*n. Is n a composite number?
False
Suppose 6*k = -5*b + k + 20, 0 = 5*b - 3*k + 12. Suppose 4*r - 2*r - 1866 = 4*s, b = s. Is r composite?
True
Suppose 3*k = -7*k + 54130. Is k a composite number?
False
Is (-5)/(-35)*7*1217 a prime number?
True
Let y = -34 - -42. Let v(s) = 19*s**2 + 6*s + 30. Is v(y) composite?
True
Let i(l) = l**2 - 4*l - 3. Let q be i(5). Suppose -5*n + t = q*t - 10, t - 2 = 3*n. Is -1 + 64 - (5 - n) prime?
True
Suppose 0 = 5*k - 4*h - 2 - 14, 2*k = 5*h + 20. Suppose 4*r + 2*g - 720 = k, 5*g - 125 = -r + 46. Let c = 178 + r. Is c a composite number?
False
Suppose -44788 = 118*z - 122*z. Is z prime?
True
Let o be 18/(-27)*(-160 + 1). Suppose -4*j + q + 1267 = 0, j - o = -5*q + 216. Is j a composite number?
False
Suppose 559657 = -5*z + 22*z. Is z a composite number?
True
Let s(i) = 7*i**3 - 26*i**2 + 145*i + 5. Is s(11) a prime number?
False
Let n be (16/(-6))/((-1)/(-3)). Let j(o) be the first derivative of o**3 - o + 34. Is j(n) a composite number?
False
Let z = 12 - 9. Let l(i) = i + 7 + i**z + 2*i - 5*i - 4*i + 10*i**2. Is l(-10) a prime number?
True
Suppose -12*q + 33518 = -26326. Is q a prime number?
True
Suppose 86916 = 8*g + 4*g. Is g a composite number?
False
Let s(h) be the second derivative of 0 - 2*h**3 - 8*h + 5/2*h**2. Is s(-5) prime?
False
Suppose -5*c + 3*a + 27 + 32 = 0, 0 = -4*a + 8. Let k(p) = 8*p + 19. Let g be k(c). Let b = g + -5. Is b a composite number?
True
Suppose -9*t - 13*t = -22594. Is t a composite number?
True
Suppose 3*w = 3*j - 19056, -4*j - 35*w = -33*w - 25390. Is j composite?
True
Let j = -60 - -62. Suppose j*g - 2080 - 388 = 0. Is g a prime number?
False
Suppose 4 + 1 = f. Suppose 3*u - 4*r = 7747, -2*u - f*r + 197 = -4960. Is u composite?
True
Suppose -7*d = -4*d - 15. Suppose 294 = -d*p + 8*p. Suppose 5*m - 3*h = p, -5*h - 14 = -2*m + 29. Is m composite?
False
Let r(y) = -3*y + 15 + 54*y**2 + 13 - 20. Is r(-5) composite?
False
Let u(l) = 3*l + 568. Is u(-9) composite?
False
Suppose 2*u + 5893 = 49635. Is u prime?
True
Let p = 6 + -2. Let s be 27/(-63)*(-3647)/1. Suppose -p*d + s = -d. Is d a prime number?
True
Suppose -4*s = 2*v + 12, 4*v + 0*v = -s + 4. Suppose v*w - 440 - 1196 = 0. Is w prime?
False
Let h(x) = 13 - 33*x - 8 + 2 + 6. Is h(-5) composite?
True
Let q(b) be the first derivative of -53*b**5/120 - 7*b**4/24 + b**3 - 2. Let c(a) be the third derivative of q(a). Is c(-4) prime?
False
Let f = -2244 - 461. Let r = f + 4552. Is r composite?
False
Let a = 96 + 24. Let v = -39 + a. Let c = v - 50. Is c prime?
True
Is (662/(-12))/((-30)/180) composite?
False
Let o(a) be the first derivative of 168*a**3 - a**2 - a - 9. Is o(-1) prime?
False
Let r be ((-3)/6)/((-2)/(-104)*-2). Suppose 8185 = -8*s + r*s. Is s prime?
True
Let x = 71 - 50. Let y = 284 + x. Is y a composite number?
True
Is (-12)/(-16) + 82271/28 a prime number?
True
Let t = 46 + -44. Suppose 0 = 7*o - 3*o + 5*r - 3772, -t*o + 1886 = r. Is o composite?
True
Suppose -6*x + 4*x + 28 = 0. Let w = x - 12. Suppose -3*k + 714 = -g, w*k - g + 5*g = 490. Is k a composite number?
False
Let n(p) = -5*p - 1. Let f be n(-1). Is 0*(f + -3) + 537 prime?
False
Suppose -2*k = 5*c - 3*c - 20, 0 = -4*c + 2*k + 10. Suppose 0 = -2*d + c*g + 3427, -3*g + 3 - 6 = 0. Is d prime?
False
Suppose 2*m = 10257 - 3343. Is m a prime number?
True
Suppose 7*p = -p + 31760. Suppose 5*w - 5*l - p = 0, -3201 = -4*w - 3*l + 2*l. Is w prime?
False
Suppose 4*d + 5 = 5*d. Suppose -2*v = 3*n - 1659, 6*v = d*n + 2*v - 2765. Is n a prime number?
False
Is (235 - -4)*(0 - -2 - -5) prime?
False
Suppose 10 + 10 = 5*h. Suppose -h*a + 604 = -400. Let i = a - 138. Is i a prime number?
True
Let r(g) = g**3 + 13*g**2 - 13*g + 17. Let t(a) = -a**3 + 4*a**2 + a + 6. Let l be t(5). Let p be r(l). Suppose p*i - 447 = -0*i. Is i a prime number?
True
Is (1784680/120)/(2/6) a composite number?
False
Let f be (3/6)/((-2)/(-12)). Suppose 3 = -f*t - 30. Let s(n) = -n**3 - 10*n**2 + 6*n + 16. Is s(t) a composite number?
False
Suppose -f = -5, f + f = 5*p - 8960. Let q = p