2 - u*(141 - 3) a composite number?
True
Suppose 12*m - 178608 = -41940. Is m prime?
False
Suppose -4*f - 393 = -5*f. Let c = f + -106. Let d = 504 - c. Is d a prime number?
False
Suppose 5*l - 2*y = 2*y + 2538, -3*y + 519 = l. Suppose -3*v + l = -3*k, -2*v - 4*k + 300 = -22. Is v a prime number?
True
Let i = 1311 + -472. Is i a composite number?
False
Suppose 0 = 9*j - 12 - 123. Suppose j + 27 = 3*v. Is v a prime number?
False
Let s(q) = -q**3 - 4*q**2 + 6*q + 7. Let w be s(-5). Suppose 0 = -w*l + 18 + 22. Is ((-75)/l)/(9/(-24)) a prime number?
False
Let f(y) = -2*y**3 - 4*y**2 - 4*y + 7 - y + 3*y. Suppose -1 = -2*h - 11. Is f(h) prime?
True
Let u(p) = -5*p**2 - 8*p + 11. Let d(z) be the third derivative of -z**4/24 + z**2. Let j(r) = -3*d(r) - u(r). Is j(9) a composite number?
True
Let z = 52027 + -15576. Is z a prime number?
True
Suppose -3*o - 6 = -6*o. Suppose 5*g = 3*g + o*z + 2142, 2146 = 2*g - 3*z. Is g a prime number?
False
Suppose -2*p = -5*p + 9. Suppose -p*m = -5*l + 14, -4*l - 2*m = -m - 1. Is 2 - 6 - -23*l a composite number?
False
Suppose 0 = -r + 3773 + 1214. Is r prime?
True
Let o(d) = 59*d**2 - 6*d + 15. Let h(m) = -178*m**2 + 19*m - 46. Let c(z) = 2*h(z) + 7*o(z). Is c(6) a prime number?
False
Is (-16 - 40/(-10)) + 91 prime?
True
Is (47531/11 - 6) + 12 composite?
False
Suppose 6*p - 4105 - 4349 = 0. Is p composite?
False
Let t(u) = u**3 - 2*u**2 - 9*u - 5. Let j = 19 + -19. Suppose -2*w - 6 + 22 = j. Is t(w) a composite number?
False
Let z(l) = -l**3 - 12*l**2 - 11*l - 1. Let r = 83 + -98. Is z(r) prime?
True
Let m(r) = -26 + 23 + 10*r + 17 - r**3 + 10*r**2. Let p be m(11). Suppose 2*w + 0*w + 5*t = 1203, -p*w + 3*t + 1857 = 0. Is w a prime number?
False
Let w(a) = -7*a - 12. Let o be w(-5). Let g = 9 - o. Is ((-21)/2)/(7/g) composite?
True
Let p be (-130)/(-20) + (-6)/4. Suppose 3*u - 4*u + 73 = o, -u = -p*o - 49. Let q = u - 38. Is q a prime number?
True
Let b = 1 + -4. Let x(n) = n**2 - 5. Let s be x(b). Suppose 2*q - i - 38 = -3*i, s*q - 92 = 4*i. Is q composite?
True
Let g = -73 - -73. Suppose 5*x + j - 21263 = g, 0 = x + 2*x + 4*j - 12751. Is x a composite number?
False
Let a = -259 + 1103. Suppose -8*i = -12*i + a. Is i a composite number?
False
Is ((-13256)/12)/((-8)/12) a prime number?
True
Is -2*((-16680)/16 + 2) a prime number?
True
Suppose 5334 = -5*n - 2*r + r, 5*n - r = -5326. Let s = 3223 + n. Is s a prime number?
False
Suppose 29*g = 23*g + 28374. Is g prime?
True
Let w = -5 + 10. Suppose w*p + 5*y - 1150 = 0, p + 708 = 4*p - 3*y. Is p a prime number?
True
Let t(h) = -98*h + 1. Is t(-9) a composite number?
False
Let l = 1785 + -248. Is l prime?
False
Let y(c) = 8*c**3 - 6*c**2 - 4*c - 6. Let i = -17 - -13. Let t be y(i). Let v = 889 + t. Is v a prime number?
False
Let s(k) = -k**2 - 10*k - 9. Let i be s(-8). Let t(v) = 117*v**2 - 6*v - 8. Is t(i) a prime number?
True
Suppose -h + 5*t + 0 - 15 = 0, 4*t + 4 = 4*h. Suppose -4*c = -h*c. Suppose -2*a + c*a = -506. Is a composite?
True
Let h = 5 + -23. Let v be (-1)/(3/h) + -2. Suppose -6*z = -z - 4*u - 143, v*z = -3*u + 133. Is z a composite number?
False
Let h = 210 + -83. Is h prime?
True
Let c(u) = 487*u**3 + u**2 - 5*u + 2. Let o be c(2). Suppose 34*l - o = 30*l. Is l a prime number?
False
Let h(q) be the second derivative of 5*q**4/6 - 3*q**3/2 + 33*q**2/2 - 2*q. Is h(10) prime?
False
Suppose -22 - 20 = -21*p. Suppose 108 = z + 3*d, -d = 5*z - 4*d - 540. Suppose 3*s = -5*l + 287, p*l - z = -4*s + 4. Is l prime?
False
Suppose 61*l - 58*l + 12 = 0. Is -8 - l - 2/(2/(-2901)) a prime number?
True
Let j(d) = 36*d + 15. Let m be j(2). Let z = -193 - -764. Suppose 4*w = z - m. Is w prime?
False
Suppose 3*t + 21709 = 60532. Is t a prime number?
True
Suppose 0 = -9*o + 4*o + 20. Suppose 159 = -o*b + 631. Is b a composite number?
True
Let l = -17 - -27. Suppose -4*u + 6 = 2*w - 4, -2*u - 2*w = -l. Is (-3 + u)*381/(-9) composite?
False
Let k be 3 + (1 - (-2112 + -1)). Suppose -4*c + c - 4*y = -k, 2*c - 1417 = 3*y. Suppose 145 = z + 2*q, 0 = -6*z + z - q + c. Is z a composite number?
True
Let a(y) = -15*y**3 + 7*y**2 - 4*y - 29. Is a(-6) a prime number?
False
Is 28/(-13) + 2 - (-1184340)/260 prime?
False
Let c = 20640 - 13907. Is c a prime number?
True
Suppose 6 = -4*r + 3*m, -3*r = 2*m + 2*m - 8. Suppose r = -3*d + 4*x + 8607, 0*d + 4*x = -2*d + 5738. Is d prime?
False
Let d = 967 + -180. Is d composite?
False
Is (-246776)/(-32) + 10 + (-10)/(-8) prime?
True
Suppose 6*n - 240 = -0*n. Let q = 83 - n. Is q a composite number?
False
Let k be (-497)/49 - 2/(-14). Let w = -20 - k. Is w/(-20) + (-267)/(-2) composite?
True
Let d = 140269 - 80952. Is d prime?
False
Suppose -5*h + 4*z + 1364 = 0, -z - 3*z + 16 = 0. Suppose -7*k = -627 - h. Is k composite?
True
Let f(c) = 1 + 12*c + 4*c**2 - 7*c + 3*c. Let i(h) = h**2 + 8*h + 6. Let q be i(-6). Is f(q) a prime number?
True
Let n(d) = -1 + 3 + 78*d - 261*d. Is n(-1) prime?
False
Let i(y) = -y**2 + 7*y + 10. Let s be i(8). Suppose -3*o + 1476 = -s*v, -4*v = -4*o - 320 + 2288. Suppose -5*a + a + o = 0. Is a composite?
True
Suppose 0 = -4*r + 11*r - 25697. Is r a composite number?
False
Suppose -l = 2*j - 113615, 5*j + 2*l = 8*j - 170419. Is j composite?
False
Let j(h) = -20*h - 2. Let k be j(-9). Suppose 0*q = -3*v - q + 196, v + 3*q - 76 = 0. Suppose -k = -2*w + v. Is w prime?
False
Let n = 45489 - 32104. Is n a composite number?
True
Let b = -303 + 104. Is b*(3/3 + -2) a composite number?
False
Let g = -98 + 857. Suppose -6*f = -9*f + g. Is f a prime number?
False
Let p = 51 - 51. Suppose p = -5*o + 11*o - 2514. Is o composite?
False
Suppose 292*n - 297*n = -219395. Is n composite?
True
Let o = -20 + 25. Suppose l - 106 = -3*i - l, -202 = -o*i + 3*l. Suppose z - i = -z. Is z a prime number?
True
Let s be 4/(2 + (-8)/5). Let j be (-15)/(-4) - s/(-40). Suppose -291 = k - j*k. Is k a prime number?
True
Suppose -10*i + 14*i + 4*y = 44, -28 = -2*i + y. Suppose -19*c = -i*c - 3210. Is c composite?
True
Suppose 0 = -4*y + 3*s + 18811, 4*y + 912 - 19688 = -4*s. Is y a composite number?
True
Let d be (102/8)/(51/272). Let r = d + 75. Is r composite?
True
Let h = -5663 + 10224. Is h a prime number?
True
Suppose -5*w + 663 = -2*z, -5*z = -w - 3*w + 1649. Is (-5)/(-30) - z/6 prime?
False
Let d(i) = -8*i**3 - 2*i**2 - 5*i - 3. Let j be d(-3). Let c = -139 + j. Is c a prime number?
True
Let y be -124 - (-1 + (2 - 3)). Suppose -4*r + 5*k = 252, -2*r - r - 189 = -4*k. Let l = r - y. Is l a prime number?
True
Let z(q) = -29*q + 1. Suppose 4*r + 5*p = 1, -3*r + 0*p + 3*p = 6. Let i be z(r). Let f = -7 + i. Is f a prime number?
True
Suppose 3*m - 7*m = -1272. Let k = 313 + m. Is k prime?
True
Let o = 863 + -1581. Let b = 490 + o. Is (-1)/4 - b/16 a composite number?
True
Let n(c) = -8*c**3 - 11*c**2 - 14*c - 5. Is n(-6) a composite number?
True
Let c = 1055 + -118. Suppose 0*j = 3*u - 2*j - c, -2*u = -j - 624. Is u prime?
True
Let f be (10/(-6))/(2/24*-10). Suppose -1108 = -2*r + f*a, -4*a + 3*a - 2225 = -4*r. Is r prime?
True
Let p = 31516 + -8403. Is p a prime number?
False
Let m = 2 - -2. Let p = -2 + m. Suppose p*v - 455 = -3*v. Is v composite?
True
Let u = 0 - 0. Let y be (-1 - 1015)*(-21)/42. Suppose -g = -3*g - 2*j + y, 5*j + 25 = u. Is g a composite number?
True
Suppose -5*w = 3*b - 18238 - 44874, 5*b - 3*w = 105130. Is b a prime number?
False
Is ((-1746)/72)/(0 - 2/104) a composite number?
True
Let x be -3 - (-2 + 5 + 3). Let f = x - -14. Suppose 5*r = f, 0*d - 86 = -d + 3*r. Is d composite?
False
Let h(x) = -x**2 + 7*x - 15. Let q be h(6). Let m(v) = -v**3 + 2*v**2 + 13*v + 13. Is m(q) prime?
True
Let f be (-1104)/15 + (-4)/10. Let a be 7*f/(-4)*4. Is (a/(-21))/(4/(-6)) prime?
True
Let z be (30/(-40))/(1/(-27348)). Suppose 7*m + 2*m = z. Is m composite?
True
Let o = 14 - 16. Let a be -1 + (-2 - (-272)/o). Let t = a + 270. Is t a prime number?
True
Suppose -3*c = -2*q - 10, 0 = -5*q + 2*q - c - 26. Let y(k) be the third derivative of -15*k**4/8 + 7*k**3/2 - 38*k**2. Is y(q) composite?
True
Let l(j) = -j**3 - 6*j**2 + 5. Let y = 3 + -9. Let n be l(y). Suppose -n*z + 716 = -719. Is z a composite number?
True
Let l = -9575 + 15304. Is l a prime number?
False
Suppose 26*c - 30 = 29*c. Let l(w) = -2*w**3 - 2*w**2 + 3*w - 9. Is l(c) a prime 