
True
Let r(c) be the second derivative of -59*c**3 - c**2/2 + 10*c. Is r(-3) prime?
True
Let n(t) = 21*t**2 + 8*t + 11. Let w = -13 - -7. Let p be w/(1 - -3 - 3). Is n(p) composite?
False
Let o(i) = -74*i + 10. Let v be (-11 - -15)/((-2)/6). Is o(v) a prime number?
False
Let j = -20 - -87. Is j*(-3 - -2)*-7 a prime number?
False
Suppose -x + 3*o - 248 = -2412, 0 = -2*x + 3*o + 4343. Is x prime?
True
Suppose y + 3 = -2*g, 5*g + 2*y = 6*g - 6. Suppose -5*f - t = -16, -2*f + t + 12 = -g*f. Suppose -2*b = 2*p - 993 - 171, f*b - 2338 = -2*p. Is b a prime number?
True
Suppose -c = -0*c - 55. Let k be 11/(-44) - c/4. Is (-4304)/k - (-30)/(-70) a composite number?
False
Let v = 33 - 50. Let y = -12 - v. Suppose 20 = -4*z - 0*z, 535 = y*n - 4*z. Is n prime?
True
Suppose 0*i - 3 = -d + 3*i, 4*d = -i - 1. Suppose -n - 18 + 6 = -5*z, 2*z - 2*n = d. Suppose 5*g - 3*x - 63 = -0*x, -z*g = 4*x - 61. Is g composite?
True
Let k(h) = -h**2 + 5*h - 3 + 2*h - 2*h. Let f be k(4). Is ((-268)/8)/(f/(-2)) a composite number?
False
Suppose 2*a = 3*w + 8068, 0 = -4*a + 19*w - 17*w + 16144. Is a prime?
False
Let g = 300 + -598. Let d be -1*0/(-2) - g. Suppose -2*k - d = -4*k. Is k composite?
False
Let v = 8248 + -4529. Is v composite?
False
Let x = -16 - -18. Suppose x*l - 4 = 5*j, 6 = 5*j + 3*l - 0. Suppose 2*s - 220 = c + c, s + 2*c - 119 = j. Is s a composite number?
False
Let m be (-6)/12 - (-13)/2. Is 2361/9 - m/(-9) prime?
True
Let r(x) = -69*x**3 - 4*x**2 + 2*x + 2. Let s be (-30)/50*(0 + 5). Is r(s) a prime number?
True
Let y be (-3538)/10 - (-80)/100. Let h = y - -982. Is h a prime number?
False
Let m be -2*(-1 - -4)/(-3). Let s(g) = -9*g + g**3 - 3 - 3 + 8*g**2 + g + m*g. Is s(-7) composite?
True
Let j be (-48644)/36 + (-4)/(-18). Let m = -873 - j. Is m a prime number?
False
Suppose -2*y - 2*y = -3*z - 3985, 3987 = 4*y - z. Suppose 4*r = 5*u + 9221, 5*r + 5*u - 12557 + y = 0. Is r composite?
False
Suppose 2*a - 6*a + 3908 = 0. Is a prime?
True
Suppose 5*x + 2*r = -0*x + 2, -2*x - 4*r - 12 = 0. Let t(o) = 0*o + 16*o**x - 8 + 3*o + 7. Is t(2) prime?
False
Let q be 6/(-10) - (-6)/(-15). Let p = 14 + q. Suppose -p*k = -11*k - 102. Is k composite?
True
Suppose -k + 7 = -2. Is (-222)/4*(-42)/k a composite number?
True
Is 4/(-7) - 125332*11/(-28) composite?
True
Let q be (-3 - 6/(-4))*(-4)/(-3). Let b(k) = -121*k**3 - 2*k**2 - 1. Is b(q) composite?
True
Suppose 2 = -2*u - 2*t, 4*u - 5*t - 23 = 3*u. Suppose 2*w + u*i = w + 3203, 16015 = 5*w + 2*i. Is w prime?
True
Let o = -142 + 239. Let h = 160 - -12. Let c = o + h. Is c a prime number?
True
Suppose 2*l = 3*y + 4315, -47*y + 44*y - 9 = 0. Is l composite?
False
Let j be -3 + -1*(-3)/3. Let a(o) = o + 4. Let b be a(j). Is ((190*7)/5)/b a composite number?
True
Is 1/(407972/271976 - (-21)/(-14)) a composite number?
False
Let g(u) = -5*u**3 + 87*u**2 + 7*u - 34. Is g(15) a composite number?
True
Suppose -4*p = -16, 0*p = -2*w + 2*p + 30. Suppose 0 = -20*y + w*y + 119. Is y prime?
False
Let d(h) = h**3 + 8*h**2 + 10*h - 9. Let v be d(-6). Suppose -v*n + 2157 = 654. Is n prime?
False
Suppose 0 = 5*h + 5*i - 11930, -h = -5*i - 102 - 2302. Is h a composite number?
False
Suppose -2*h + 39 = -91. Let m be (-4)/(2 + h/(-33)). Let u = -53 - m. Is u a prime number?
True
Suppose 0 = 3*r - 643 - 2609. Is 5 - 6*r/(-4) composite?
True
Let c(w) = 77*w + 12. Let s be (-3)/2*30/(-9). Is c(s) a composite number?
False
Let c(i) = -2*i**3 - 17*i**2 - 7*i + 7. Let y be c(-8). Is (1405 - 6) + -5 + (y - 2) a composite number?
True
Is (-6 + 5 - -1) + 1438 prime?
False
Let i = -35 - -39. Suppose i*o - 4530 = -5*t + 38, -t = -o + 1133. Is o prime?
False
Suppose 4*v = t + 4656, t - 4*t = -v + 1175. Is v composite?
False
Let j(x) = x**2 - 5*x - 4. Let i be j(7). Suppose 4*k + i = l, -l + 4*k + 18 = 4*l. Suppose -c + 4*r = -83, -3*r = -l*c + r + 162. Is c a prime number?
True
Let d = -7 - -5. Let w be (-2 + 11018)/4 + d. Let s = w + -1875. Is s prime?
True
Let t(i) = -4*i**2 + i + 5 + 4*i**3 - 2*i - 10*i**3. Is t(-4) a prime number?
False
Suppose 9 + 3 = 4*w. Suppose -588 = w*p - 5*p. Is (1 - p)/(5/(-5)) a composite number?
False
Let y = -13 + 15. Suppose -7*l + 3*l - 5*m - 8 = 0, y*m + 8 = 0. Suppose l*i - 173 + 64 = -2*n, 0 = -5*i - 5*n + 180. Is i composite?
False
Suppose 5*k = -k + 2*k. Let d(o) = 2*o**2 - 70 - 3*o**2 + 335 - 2*o. Is d(k) prime?
False
Suppose -2*s = -3*s + 2. Suppose s*c - 7*c - t = 2, 0 = -3*c + 4*t + 8. Suppose c*u = 3*u - 4*z - 65, -4*u + 2*z + 90 = 0. Is u composite?
False
Let b = 1 - 11. Let q(x) = -x - 10. Let i be q(b). Suppose -184 = -j + 3*k, i = -j - 4*j - k + 904. Is j a prime number?
True
Suppose 11*u + 22105 = 16*u. Is u composite?
False
Is (66/(-132))/(2/(-35756)) a prime number?
False
Let y(j) be the third derivative of j**6/15 + j**5/15 - j**4/2 + j**3/6 - 16*j**2. Is y(6) composite?
False
Let j(u) = -2*u - 9. Let k(w) = 8*w + 2. Let o be k(-1). Let i be j(o). Suppose 0 = i*p + 2*p - 1455. Is p a composite number?
True
Let s(b) = 4777*b**2 - b - 5. Is s(-2) a composite number?
True
Let i = 1219 - 2392. Let f = i + 2554. Is f prime?
True
Let w = -4630 + 2308. Let b be (w/(-36))/((-3)/(-4)). Let x = b - 31. Is x prime?
False
Suppose -x = -5*h + 3, 2*h = -5*x + 16 - 4. Let q(i) = 144*i**3 + 1. Is q(h) prime?
False
Let b = 27 + -25. Suppose b*t = 4*c + 369 + 379, 4*t = 4*c + 1484. Suppose 3*p - 13 - t = 0. Is p a composite number?
False
Let u = 19 - 4. Suppose -2330 = 13*b - u*b. Is b a composite number?
True
Let u(r) = -11*r + 23. Let i be u(-13). Suppose 0 = 4*o - 6*o + i. Is o a composite number?
False
Let r(v) = v**3 + 11*v**2 + 2. Let z be r(-11). Suppose 0 = -l + 4*h + 331, -2*l + 662 = 3*h + z*h. Is l a composite number?
False
Suppose 2*x + 2 = 0, 1520 = -5*i + x - 5569. Let a = 2221 + i. Is a a composite number?
True
Suppose 3*g + 15 = 0, 4*g = v - 5*v + 3456. Is v a prime number?
False
Let n be (2 - -1) + (-32)/(-4). Suppose -n*c + 7*c + 188 = 0. Is c a prime number?
True
Let w(a) = 2*a + 1. Let c = 7 - 7. Let p be (0 - -1) + (6 - c). Is w(p) composite?
True
Let m(b) = b + 11. Let i be -4 - 6/(4/2). Let x be m(i). Suppose -x*w + 98 = -210. Is w composite?
True
Is (-3 - -2)/(368652/73731 + -5) prime?
False
Suppose 3990 = -4*r - 2*m + 4*m, -4*m + 4995 = -5*r. Let j be r/3 + (-2)/(-3). Let o = j + 480. Is o a composite number?
False
Let p(x) = 3*x. Suppose 0 = 2*w + 3*w - 5. Let u be p(w). Suppose j - 36 = 5*r, j + u*r - 98 = -3*j. Is j a prime number?
False
Suppose 32 = -3*j - 22. Is (9444/j)/((-6)/9) a prime number?
True
Is 11472/(-24)*3/(-6) a prime number?
True
Let m be (-6 - -4)/(1 + 135/(-137)). Let n = 86 - m. Is n prime?
True
Let j(a) = -76*a**2 + 5*a + 1. Let g(x) = 76*x**2 - 5*x - 1. Let v(w) = -3*g(w) - 4*j(w). Let d be v(-5). Suppose -4*i = -2040 - d. Is i a prime number?
True
Suppose s - 6307 - 4494 = 0. Is s prime?
False
Suppose 0 = 2*n - 5*z - 4552, -2*z = 3*n - 5025 - 1822. Is n composite?
False
Let s = 36536 - -32123. Is s composite?
False
Let s = -90 + 100. Let a(j) = -2*j - 9*j - 2*j**2 + 3 + j**3 - 4*j**2. Is a(s) a composite number?
False
Suppose 17 + 3 = 5*o + 5*b, 4*b = -2*o + 12. Is (o + 946)/3 + 1 composite?
False
Let z(a) = a**2 - 15*a + 1. Let t be z(22). Let h = 371 + t. Is h composite?
True
Suppose -5*v + 7424 - 4 = -w, 4*w - 7395 = -5*v. Let m = v + -270. Is m a prime number?
True
Suppose 9*f - 597357 = -190908. Is f a prime number?
True
Suppose -2*s - 64 = -0*z + 4*z, -2*z - 24 = -s. Is (0 - -111) + z/(-7) a composite number?
False
Let w = -105 - -105. Suppose w = 7*y - 3*y - 2716. Is y a prime number?
False
Let u = -13 + 7. Let j be 3*(-2)/(u/(-25)). Let y = 52 - j. Is y a prime number?
False
Suppose -26750 = -3*t + 3151. Is t a composite number?
False
Let l(m) = 70*m**2 + 3*m + 21. Let f(g) = 70*g**2 + 4*g + 21. Let z(x) = 3*f(x) - 2*l(x). Is z(-4) a prime number?
True
Let d be (4 - (-2 - -2)) + 2356. Suppose 2354 = 3*v + v - 2*j, -4*j = -4*v + d. Is v a composite number?
False
Suppose -y - 3*y + 720 = 0. Let w = -346 + 219. Let q = w + y. Is q a prime number?
True
Let n(k) = -k**2 - 20*k + 62. Let y be n(-22). Suppose 15*x = y*x - 1893. Is x prime?
True
Let n = 3684 - -283. Is n composite?
False
Let i be 3/1*1 + -3. Suppose 0 = -j - 2*t + 877, i*j + j - 897 = 2*t. Is j a 