se i = 4*z + 3. Is z + 0 + -1 - 2*-750 composite?
False
Let r(p) = -p**3 + 20*p**2 - 21*p + 40. Let x be r(19). Let z(h) = 6*h - 2 - x + 3 + 0. Is z(12) prime?
True
Let w = 43 - 29. Suppose -6772 = 10*b - w*b. Is b a composite number?
False
Suppose 0 = -2*c - 4*n + 18982, 4*c - 20512 - 17434 = -2*n. Suppose 2*h = -2*b - b + c, -2*h = -2*b + 6330. Is b a prime number?
True
Let j(t) = -23*t - 1. Let x be j(-3). Let u(m) = -42*m - 25. Let k be u(-1). Is k/x*(-1 + 5133) a prime number?
True
Suppose 4*u + 22 = 18. Let j(r) = 3*r**2 - r + 1. Let v be j(u). Suppose 4*z - 351 = 3*z + v*f, 2*f + 339 = z. Is z prime?
True
Let r(w) = -471*w**3 + 11*w**2 - 47*w - 41. Is r(-12) a prime number?
False
Suppose 16*a - 335720 = 5*a. Suppose 3*w + a = 8*w. Suppose 0 = -5*i + 5*m + 14310, -4*i - 4*m + w + 5336 = 0. Is i a composite number?
False
Let x = 1689 + 63470. Is x prime?
False
Let o = 108733 + -58520. Is o a prime number?
False
Suppose g - 3 = -4*q, -5*q + 4*g + 14 = -8*q. Is (4 - 5573/(-2))*q composite?
False
Suppose -2*w - 12622 = 4*u, u + 16422 = -5*w - 15160. Let d = w + 11472. Is d prime?
False
Let u(x) = -21*x**2 + 11*x - 21. Let s(d) = -42*d**2 + 21*d - 41. Let j(r) = -3*s(r) + 5*u(r). Suppose 17*t - 40*t = -161. Is j(t) composite?
False
Let k = -84 - -104. Suppose k*w = 10*w + 24190. Is w composite?
True
Let j be 0 + 1 - (-3)/2*-2. Let i be (2 - j)*-3 + 0/2. Let x(o) = 2*o**2 - 12*o + 5. Is x(i) a prime number?
False
Let l = 3663 + -1538. Suppose l - 283 = 2*s. Is s prime?
False
Let u = -1159 + 5441. Let a = -1803 + u. Is a prime?
False
Let s(z) be the third derivative of 1309*z**4/24 + 5*z**3 + z**2 - 6. Is s(4) composite?
True
Let t(d) = 312*d**3 + d**2 - 3*d - 3. Let a(c) = c**3 + 19*c**2 + 2*c + 38. Let s be a(-19). Suppose s = 4*o - 4*n, 2*n + 6 = -2*o + 7*n. Is t(o) prime?
False
Let n(d) = -155*d - 72. Let g(p) = 311*p + 145. Let w(s) = -4*g(s) - 9*n(s). Is w(15) composite?
False
Let b = 1328454 - 723656. Is b a composite number?
True
Suppose -3*n + 5*l + 21 = n, n - 2*l - 3 = 0. Suppose n = 5*p - 16. Suppose -2*x = -10, p*y + 2*x - 2692 + 667 = 0. Is y prime?
False
Suppose -2*b + 167522 = -20*m + 24*m, -2*m = -4*b - 83746. Is m composite?
False
Let h(k) = 9 + 224 + 9 - 408*k. Is h(-4) a prime number?
False
Suppose -52*n = -56*n - 3544. Let x = 2845 + n. Is x prime?
False
Let f(l) = 7*l**2 - 9*l + 13. Let j(h) = h**2 + 6*h + 2. Suppose k - 7 + 25 = -5*i, k = i + 6. Let v be j(i). Is f(v) prime?
False
Let j be (-43 + 2998)/(1/5). Suppose 2*v + 1877 - j = 0. Is v a prime number?
True
Let g be (-3 - -3) + -4 - 205. Let p = 3259 - g. Let h = 5369 - p. Is h composite?
False
Let o = 84 + -80. Suppose 4*j - 185 = u, 5*u = 3*j - o*j + 62. Is j prime?
True
Suppose -436052 = -4*r - v, -4*v - 88854 + 415893 = 3*r. Is r a composite number?
False
Let y(b) = -212*b**3 - 18*b**2 + 47*b + 226. Is y(-15) prime?
True
Suppose -w - 5*k + 87517 = 0, 23*w + 175034 = 25*w + k. Is w prime?
True
Suppose -93 - 35 = -8*s. Let t be -3 + 2 + s + -16. Is t*(-4996)/((-12)/(-3)) a prime number?
True
Let t(h) = 33*h**2 - 2*h - 21. Let q be t(-9). Let g = 1140 + q. Suppose -n = 5*n - g. Is n composite?
True
Let l(g) = 1190*g**2 + 173*g + 1039. Is l(-6) a prime number?
True
Let s be (-10 - 4)*(-3 + 1). Suppose -3*v - 27 = -0*v. Let l = s - v. Is l a prime number?
True
Suppose 0 = -2*t - 4, 6*t + 13 = n + 2*t. Suppose -5*j - 3*w + 112663 = 0, -86194 - 26465 = -n*j - 4*w. Is j a composite number?
True
Let l(m) be the second derivative of 53*m**5/20 + m**4/6 - 7*m**3/6 + 13*m**2/2 - 13*m. Let o(n) be the first derivative of l(n). Is o(-4) prime?
True
Let v(k) be the second derivative of k**5/20 - 13*k**4/12 - 5*k**3/2 + 7*k**2 + 33*k. Let m be v(14). Suppose 2*p + 6 = m, 2*s = -s - p + 744. Is s prime?
False
Suppose -4*h - 3*c - 10405 = 0, 663 = -h - 5*c - 1917. Is -3*h/60*84/3 a prime number?
False
Let w = 164 - 124. Suppose 45*k - 2*f = w*k + 3355, 668 = k - f. Is k a composite number?
False
Let s(g) = g**3 - 11*g**2 + 11*g - 27. Let p be s(12). Suppose -3*w + f + 149 = 0, w - 6*w + 2*f + p = 0. Is w a composite number?
True
Suppose 0 = 28*o - 2551816 - 1561860. Is o a composite number?
False
Suppose 0 = -806*t + 778*t + 3259508. Is t a prime number?
True
Suppose 0 = -2*i - 6, -5*s + 23*i + 117073 = 27*i. Is s composite?
False
Let s be ((-9602)/1)/((-6)/12). Suppose 33*g = 38777 + s. Is g a composite number?
True
Suppose u + 6 = -4*r + 18, 4*u = 5*r - 36. Suppose -a = -r*q - 0*q - 179, 933 = 5*a - q. Is a prime?
False
Let w = 37670 + -23432. Let g = -8300 + w. Is g composite?
True
Suppose -2725*o + 63048814 = -2651*o. Is o prime?
True
Suppose -5*l - 15152 - 4763 = 0. Let b = l - -8377. Let x = 7849 - b. Is x a prime number?
False
Let t = 1118040 - 772735. Is t a prime number?
False
Let r = -234 - 641. Let a = r + 1318. Is a prime?
True
Let w(z) = -2*z + 27. Let n be w(10). Let f be (n + 93/(-9))*(0 + 3). Is 616 - (f/10)/((-2)/4) prime?
False
Suppose -5*z - 7875 = -2*a - 4*z, -3*z = 2*a - 7879. Suppose 2*y = -k - 2*k + 3941, -y - a = -3*k. Is k prime?
False
Let s(i) = 4*i - 21. Let t be s(5). Let b be t*(2 + (-2 - -1)) + -1270. Is 0*(0 + 1) - (0 + b) prime?
False
Is (2/16)/((-1)/6) - (-380130)/24 a prime number?
False
Let h be -10*-6*13/((-65)/(-2)). Suppose h*q + q = 161425. Is q prime?
False
Suppose -329 + 329 = 9*z. Suppose 255*y - 253*y - 22054 = z. Is y composite?
False
Let p be (42/(-105))/(1/(-15)). Let i = 5996 - 1668. Suppose -2*h + i = p*h. Is h composite?
False
Suppose r + 342968 = 4*k, -90*r + 171494 = 2*k - 93*r. Is k a prime number?
False
Suppose 2*z = -3*q + 3, 0*z - 5*z - 9 = 2*q. Suppose -5711 = -2*o - q*g, g - 14284 = -5*o - 0*g. Is o a prime number?
True
Suppose 4*i + i = -160. Let o = i + 38. Suppose -819 = o*w - 3831. Is w a prime number?
False
Suppose -j = 2*r + 2062 + 39, -2*j - 4210 = 2*r. Let v = 2979 - 5995. Let n = j - v. Is n composite?
False
Suppose -10*r = 7*r + 6*r. Is 3 - (0 + r + -11944) composite?
True
Let j be 6/(-4)*(21 - 17). Is (39228/18)/((-4)/j) a prime number?
False
Suppose -11*v = 3*a - 13*v - 28, -10 = 5*v. Suppose 54370 = 4*f - 3*l, -11*l = -3*f - a*l + 40779. Is f prime?
True
Suppose -n = w + 84, -288 = 3*n - 4*w - 8. Suppose 10*r + 4*s - 2325 = 15*r, 5*r + 3*s = -2325. Let u = n - r. Is u a prime number?
False
Let k = -33 + 27. Let r(o) = -o + 7. Let x be r(k). Suppose x*m - 513 - 2854 = 0. Is m composite?
True
Let t = 19 - 17. Suppose 0*k - 15 = -t*k - f, 0 = -3*k + 5*f + 29. Is ((-262)/k)/(3/(-60)) a prime number?
False
Suppose -360 = -18*u + 288. Is 4501/1 + u/6 composite?
False
Suppose 2*y + t + t = 20, 4*y + t = 40. Suppose 7*f + 15207 = y*f. Is f a prime number?
False
Suppose 0 = -14*o + 17*o + 51. Let a = o + -93. Is (a/(-33))/(4/2274) prime?
False
Suppose 151871 = h - 2*w, -151877 = -h + 6*w - 5*w. Is h a composite number?
False
Suppose -y - 4*y = -2*g - 11, -4*g - 5*y + 53 = 0. Let r be (3/15 + -1)/(g/10360). Let x = -807 - r. Is x a composite number?
True
Is (-14 - -9)*8705958/(-54) + 2/(-9) composite?
False
Is 4/(-11 + (-291271)/(-26479)) a composite number?
True
Let g be (45/6 - 5)*(-8)/(-5). Suppose -g*x + 3*h = -1521, -5*x - 5*h + 1956 - 46 = 0. Is x a prime number?
False
Let v(n) = n**3 + 5*n**2 - 18*n + 22. Let f be v(-10). Is ((-2)/(-4))/((-1)/f) composite?
False
Suppose -2*h + 73694 = 3*z, -5*h - 119*z = -122*z - 184235. Is h a composite number?
False
Suppose 2*r = -r - 15. Let b(y) = 5*y**2 - y + 1. Let x(i) = -70*i**2 - 5*i - 3. Let s(k) = -2*b(k) - x(k). Is s(r) a prime number?
False
Let j(c) = c**3 - 7*c**2 + 11*c - 1. Let h be j(5). Suppose 3*q = 5*z - 34, 0*z = q + 2*z + h. Is q/(-3) + (5 - (-42)/(-9)) composite?
False
Let h(n) = 8*n**3 - 8*n**2 + 2*n - 5. Let k be h(7). Let d = k - 1200. Suppose 5*j - d - 314 = 0. Is j prime?
False
Let t(c) = 8*c**2 + 5*c - 38. Suppose -7*u + 4*u = 0. Suppose u = -4*d - 9 + 61. Is t(d) a prime number?
False
Let g = 53 - 54. Let f be 13115/15 - (-3)/(-9) - g. Suppose -2*l - 1 = -f. Is l prime?
False
Let z(k) = -13*k + 93 - 84 - 7*k. Is z(-29) prime?
False
Suppose -7*a = 10*a - 1496. Let q = a - 85. Suppose -2*v - q*w + 977 = 0, -w + 409 = 2*v - 574. Is v a prime number?
False
Let o = 89 - 91. Let f be ((-2)/o)/((-16)/(-23552)). Let i = f - 1021. Is i a composite number?
