5*r - 5. Let m = -7 - r. Is u(m) a prime number?
True
Suppose 0*j = 5*j - 5130. Let u = j - -1225. Is u composite?
False
Suppose -4*m - 5*b = -9, 4*m - b = -2*b + 5. Is (1*1737 - (5 - 9))/m a composite number?
False
Let q = 2178 + -1237. Let b be (355 - -1 - 2) + 0. Suppose 0 = v - q + b. Is v a prime number?
True
Let m(q) = 559*q**2 + 18*q - 36. Is m(11) a prime number?
True
Suppose -680*w + 684*w = 9644. Is w a prime number?
True
Let u(a) = 8*a**3. Let v be u(-1). Is ((-3794)/v)/((-2)/(-8)) prime?
False
Suppose -3*a = -0*a - 2577. Is a a composite number?
False
Suppose -11326 = -53*x + 592821. Is x a prime number?
True
Let v be 21/28 + 14830/(-8). Let u = -150 - v. Is u a composite number?
True
Let x = -129 - -196. Suppose -5*m - 451 = 2*u, 4*u = -m + x - 942. Is (u/(-10))/(1/5) a prime number?
True
Suppose -z - 5*o = -4464, -2*z = -0*z + 3*o - 8907. Is z a prime number?
False
Let r(j) = 35*j**2 - 6*j - 7. Let w(g) = -3*g + 17*g**2 + 2 - 5 + 2 - 3. Let l(m) = 3*r(m) - 5*w(m). Is l(-2) prime?
False
Let x = 96 + -406. Let j = x - -495. Is j prime?
False
Suppose 69*k = 66*k + 108165. Is k a prime number?
False
Let p(q) = -q**2 + 3*q + 3. Let x be p(3). Let g be (-3 + 7/x)*-6. Is 79 + 1*(-8)/g a composite number?
True
Let i = 23 + -21. Suppose 2*g = i*c - 1392, -8*c = -6*c + 4*g - 1422. Is c a prime number?
True
Let l(p) = p**3 + 5*p**2 + 3*p + 4. Let r be l(-4). Suppose 0 = -2*o - r. Let j(d) = -d**3 - 3*d**2 - d - 1. Is j(o) a prime number?
True
Suppose 4*r + 735 = -3*r. Let c = 304 + r. Is c prime?
True
Let y(f) be the second derivative of f**4/3 - 4*f**3/3 - 7*f**2/2 - f. Let s(l) = 5*l**2 - 8*l - 6. Let o(x) = -2*s(x) + 3*y(x). Is o(-6) composite?
True
Let v(q) be the second derivative of q**4/6 - q**3/2 + 11*q**2/2 + 5*q. Is v(-20) composite?
True
Suppose -3*l = 5*o - 1466 - 9435, -4*l = -5*o + 10887. Is o a prime number?
True
Suppose z + 5*l - 345 - 474 = 0, 2*l = -3*z + 2392. Let u = -433 + z. Is u a prime number?
False
Let r(s) = -s**3 + 13*s**2 + 14*s + 26. Let u be r(13). Let j = -129 + u. Is j composite?
False
Let n be 0/(-2) - (-32)/8. Suppose n*b - 3*l - 716 - 353 = 0, 0 = -5*l - 15. Is b composite?
True
Suppose -2*p + 22861 = 2*r - 3*p, -2*p = -r + 11435. Is r a composite number?
True
Is 1/4*-6*264582/(-27) a composite number?
False
Let f = 2634 - 726. Suppose -t = 5*j - f, 1530 = 4*j + t + t. Is j prime?
False
Let f(v) = -v**2 - 25*v + 24. Suppose -3*c = 27 + 15. Is f(c) prime?
False
Let m be ((-14)/8)/(2/(-24)). Suppose -5*i = 4*z + m, -z + 2*z + 2*i = -6. Is (-558)/(-4) + 2/z composite?
False
Let t(r) = -r + 5. Let u be t(-6). Let m = u + -7. Suppose 0 = m*p - 3*p - 581. Is p a prime number?
False
Let y(z) = -88*z + 40 - 15 - 246*z + 16. Is y(-15) a prime number?
True
Suppose 5*r = 43 - 8. Suppose 3*q - r*q = -1948. Is q a composite number?
False
Let g = 38 + -38. Suppose g = -9*x + 12*x - 3453. Is x prime?
True
Let y = -322 - -158. Let l = -75 - y. Is l a prime number?
True
Let k(y) = -2607*y**3 - y**2 - y + 1. Let v be k(-1). Suppose 10*r - v = 6762. Is r a prime number?
True
Suppose 0 = -4*p + 5*f + 101013, 5*f + 50519 = 6*p - 4*p. Is p prime?
True
Let q = -9 - -9. Suppose 0 = 2*i + 8 - q, -4*x + 4448 = 3*i. Is x prime?
False
Is 76/(-342)*(-817911)/6 a composite number?
False
Suppose -9 + 12 = b. Suppose 6*k = b*k. Suppose k*r + 3820 = 4*r. Is r a composite number?
True
Let l(j) = j**3 + 2*j**2 + 3*j. Let u be l(-2). Let t be (51/u)/(3/(-18)). Suppose 5*a + t = 241. Is a composite?
True
Suppose -5*x = -20, -x - 4*x = 2*l - 46. Let u = l - 13. Let w(k) = -k**3 + k**2 + 34. Is w(u) composite?
True
Suppose 6*q - 13*q = 0. Suppose q = 5*h + 3*g - 2*g - 3485, 2788 = 4*h - 2*g. Is h a composite number?
True
Let g = -12 + 18. Suppose -178 = -g*f + 1592. Is (-1 + 2)/(5/f) a prime number?
True
Let o(p) = 6*p**2 - 26*p + 62. Is o(20) prime?
False
Let l = -52 + 108. Suppose -3*b = -2*z - l - 53, -b + 3*z + 41 = 0. Is b composite?
True
Let b(g) = 8*g**2 + 29*g - 193. Is b(6) composite?
False
Let j(i) = i**2 - 12*i - 6. Let p = 17 - 4. Let m be j(p). Suppose 6*r = m*r - 139. Is r composite?
False
Suppose 16*s - 12107 + 1275 = 0. Is s prime?
True
Let g = 6786 + 6285. Is g prime?
False
Suppose -45*t + 43*t = -692. Is t a composite number?
True
Suppose 948 = -v + 197. Let r = 1200 + v. Is r prime?
True
Let l(d) = -d**2 - 7*d + 3. Let n be l(-7). Let y = n + -26. Let g = y - -404. Is g prime?
False
Let l be (4 - 64/6)*84/(-10). Is (l/(-12))/((-6)/963) prime?
False
Let x(q) = -2368*q + 243. Is x(-8) a composite number?
True
Let x = -13 + 16. Let b(n) = -3*n**2 - 8*n - n**x + 6 + n + 9*n**2. Is b(4) a composite number?
True
Let o = 35 - 30. Is (-589)/(-5) + 1/o composite?
True
Let r(w) = w**2 - 4*w + 41. Suppose 2*p = -4*o + 54, -4*o + 30 = -2*o + 4*p. Is r(o) a prime number?
False
Let t = -87 + 133. Suppose -2*j = -k + 31, 0 = -2*k - 3*j + t - 19. Suppose -2*f = -4*u - 62, -k - 72 = -3*f - 4*u. Is f composite?
False
Let a be 30/4*24/18. Is 142*(-6)/8*a/(-15) a composite number?
False
Suppose -5*n + 20 = 2*y, n = -3*y + 15 + 2. Suppose 4*j - o - 177 = 0, -2*j + y*o + 143 = 32. Let w = j + -6. Is w a prime number?
True
Let t = 0 - 3. Is ((-6)/(-27)*t)/((-10)/10095) a prime number?
True
Let w(n) = -9671*n**3 + 3*n**2 + 2*n + 1. Is w(-1) composite?
True
Let u = 245 - 54. Suppose -x - u = -748. Is x prime?
True
Let r(y) = 1013*y - 87. Is r(14) a prime number?
False
Let r(x) = 41 - 221*x + 0*x - 207*x. Is r(-9) composite?
True
Let b be (-3014)/(-6) - (-3)/(72/(-32)). Let i(r) = r**2 - 6*r + 5. Let s be i(5). Suppose s = 7*m - 10*m + b. Is m a prime number?
True
Suppose -2*c - 5 + 9 = 0. Let i(z) = 111*z**3 - 3*z**2 + 3. Is i(c) prime?
False
Suppose -2*c = 2*c - 20. Suppose -1179 = -c*h - 374. Is h a prime number?
False
Is 3/4 - 1 - 5517/(-4) prime?
False
Let f(q) = -12*q - 1. Let m be f(-3). Is 11225/m - 8/(-28) prime?
False
Let x be (-1)/(-4) + (-66)/(-24). Suppose -b + 6*b = -5*w - 15, -4*w - 19 = -x*b. Is b - (-69 + 0 + 3) a prime number?
True
Let l(i) = 287*i**2 - 3*i - 4. Let u be l(-2). Let n = -51 + u. Is n a prime number?
False
Let j be 1 + (-8)/(-4)*12. Let g = j - 37. Is 12/72 - 442/g composite?
False
Suppose 3*o - 5*q - 35 = 0, 5*o + q - 17 = -q. Suppose d = o*d - 556. Suppose w - d - 190 = 0. Is w a composite number?
True
Let z(r) = 2*r**2 - 6*r + 31. Let s be z(14). Let h be (-2 - 2)*(-1)/2. Suppose s = h*o + 25. Is o composite?
False
Is (-18)/(-30) - -1*15712/5 prime?
False
Let d = 22 - 5. Suppose -d*j = -18*j + 127. Is j prime?
True
Suppose -5*s + 8400 = -15070. Is s a prime number?
False
Suppose -3*o = 4*r - 86810, 4*o + 15937 = -2*r + 59347. Is r composite?
False
Suppose 2*h - 10 = -4. Let j(m) = 22*m + 3. Is j(h) a composite number?
True
Let g = 51 - -5183. Is g prime?
False
Is 13 - 35815/(-52) - (-6)/(-8) composite?
False
Let m be 1 - (4 + 2 - 2). Is ((-3)/(27/m))/(1/3369) a composite number?
False
Suppose 0 = 10*g - 8*g. Is 413 + g/(-10 + 5) a prime number?
False
Suppose i - 104256 + 19895 = 2*u, -4*i + 2*u + 337426 = 0. Is i prime?
False
Let d(w) = -8*w - 13. Let r(v) = -2*v - 3. Let b(l) = 2*d(l) - 9*r(l). Let h be b(1). Suppose f - h*f = -358. Is f a prime number?
True
Suppose 0 = -4*z - h + 51909, -8*z = -10*z + 2*h + 25952. Is z prime?
False
Suppose 0 = -2*f + 7*f - 440. Suppose 0 = 2*j - f + 450. Let v = j - -834. Is v prime?
True
Suppose -8*c - 4*k - 778 = -13*c, -2*c + 2*k + 310 = 0. Is c a composite number?
True
Let j = -21 + -42. Let f = -390 + 274. Let u = j - f. Is u a composite number?
False
Let n(d) = -9*d**2 + 4*d + 4. Let g be n(-1). Let i(f) = -14*f + 5 + 2*f - f**2 + 1. Is i(g) composite?
True
Let c = -6 - -14. Is c/(-2) + (209 - 2) composite?
True
Suppose 0 = m - 5*m + 20, 2*u + m = 11. Suppose 5*b + v - u*v = 1083, -v = 4. Is b a prime number?
False
Suppose 10 + 23 = -11*x. Let c(r) = -9*r**3 + 2*r**2 - 3*r - 1. Is c(x) prime?
True
Let q be 1 - (10/1 + -12 + 9). Is -129*4/q - 4 composite?
True
Let i be (-2)/3 - (-4)/6. Let k(n) = -2*n - 30. Let t(j) = -4*j - 61. Let b(g) = 5*k(g) - 3*t(g). Is b(i) a prime number?
False
Let v be 2/4*-1 + (-3287)/(-2). Suppose -4*y - 1815 = -3*p + v, 3463 = 3*p + y. Is p a composite number?
True
Suppose 15 = -63*b + 62*b. Let x = b + 22. Is x a prime number?
True
Let d be 