 -223018. Is c prime?
False
Suppose -4*o + 16 = -44. Suppose -4*l = -3*c - 6617, -2*c - o = -3*l + 4948. Suppose 2*d - 4*y = 173 + 489, 5*d + 5*y = l. Is d composite?
False
Let y(r) = r**3 - 6*r**2 + 4*r - 11. Let d be y(6). Let w be -12 - (-3)/(-1)*d/(-13). Is (-1245)/w - 4/(-6) a composite number?
False
Let i = -155712 + 303793. Is i a prime number?
False
Let d = -4142 + 27149. Suppose 0 = -4*w + w + d. Is w composite?
False
Let c be (((-16)/3)/8)/((-4)/(-6)). Let n be ((-2)/4 - c)/(3/30). Suppose -2*g + 145 = j, -n*g + 10*g + 290 = 2*j. Is j a prime number?
False
Suppose 0 = 3*y - 8 - 4, -5*y = -3*c + 30139. Suppose 9*v - c - 3978 = 0. Is v a composite number?
False
Suppose -4*s = 2*t - 62, -2*t - t + 111 = -3*s. Let h = -304 + 362. Let y = h - t. Is y a composite number?
False
Let r(m) = 1497*m**2 - 4*m - 15. Let g = -379 + 377. Is r(g) composite?
False
Suppose 3*n - 5*d = n + 3176, 4*d = -2*n + 3212. Let r = -3282 + 6501. Let k = r - n. Is k prime?
True
Let o(f) = 706*f - 240. Is o(67) composite?
True
Let p(v) = 8*v + 5 - v**2 + 27*v**3 - 5*v - 19. Let f be p(-8). Is (1 - -3)*(f/(-24))/11 composite?
False
Suppose -5*d = -2*r + 3137 - 570, -4*d + 6335 = 5*r. Suppose 1979 = 4*g - 2*z - r, 0 = -2*g - 4*z + 1650. Is g composite?
True
Let s(u) = 44*u**3 - 2*u**2 + 2*u - 2. Suppose -22 + 16 = -2*o. Let x be s(o). Suppose -5*v + 3*v + x = 0. Is v prime?
True
Let l(f) = f**2 - 41*f - 128. Let p be l(-3). Suppose 10*o - 9335 = -4*u + 9*o, -p*o = u - 2345. Is u composite?
False
Let a be (-13 - 334)*(0 - (-16)/(-4)). Let b = a - 670. Is b composite?
True
Let i(v) = -4064*v**2 + 1. Let z be i(1). Suppose 0 = 17*d - 6948 + 43702. Let k = d - z. Is k a prime number?
True
Suppose 785 + 73435 = 12*y. Is y prime?
False
Suppose 5110254 = 67*i - 7714341 - 6609760. Is i a composite number?
True
Suppose 4635988 = 4*z + 15*z - 268273. Is z a prime number?
True
Let f(j) = -10928*j + 1255. Is f(-8) a composite number?
True
Suppose 2421774 = 103*u - 12567105 - 2777488. Is u a composite number?
False
Suppose -4*p + 5*g + 14306 = -820730, 0 = p - 5*g - 208759. Is p a composite number?
False
Let r be (-2256)/(-208) + 11/(-13) + 1. Suppose 0 = -r*q + 10*q - 2581. Let j = -1458 - q. Is j prime?
True
Suppose s - 9 = x - 16, 2*x = s + 11. Let w(f) = -144*f**3 + 2*f**2 - f - 2. Is w(s) a composite number?
False
Let o(i) = 176*i**2 - 5*i + 4. Let r(v) = -177*v**2 + 4*v - 5. Let g(a) = -2*o(a) - 3*r(a). Is g(4) a composite number?
True
Let t = 12899 + -8384. Let j be ((-120)/(-14))/(30/t). Suppose j = -5*p + 11*p. Is p a composite number?
True
Suppose -62*x - 755482 = -3494456. Is x a prime number?
False
Let b be (2 - (-1 - -79363)/(-6)) + -1. Suppose 4*q = -f + 6601, 2*f - q = 4*q + b. Is f a composite number?
True
Let q(v) = -47*v - 11 - 3 + 1547*v. Let b be q(3). Let m = 7713 - b. Is m composite?
True
Let a(q) = -388*q - 11. Let l(u) = 388*u + 12. Let h(b) = 7*a(b) + 6*l(b). Let j be h(1). Let f = j + 1048. Is f composite?
True
Let m(g) be the second derivative of -g**4/12 - 125*g**3/6 + 29*g**2/2 - 11*g. Let v(t) = 31*t - 7. Let i(r) = 2*m(r) + 9*v(r). Is i(13) composite?
True
Let x = 135456 - -8827. Is x composite?
True
Suppose 5*v - 303452 = 3*j, -2*v - 2*j + 242766 = 2*v. Suppose 5*g - z - v = 1883, 4*g - z = 50059. Is g composite?
True
Suppose -14*v = 62*v - 4417804. Is v composite?
False
Suppose 12 = -y - 3*q, 0 = -q - 4*q - 15. Let n be (10/3)/((-42)/18 - y). Suppose 0 = -2*k + n*l - 0*l + 1243, -k - 5*l + 644 = 0. Is k composite?
True
Suppose 5*t - 3*l - 6 = -0, -4*t + 15 = l. Suppose -j - t*j = -596. Is j a prime number?
True
Suppose -63*b + 666140 + 1508557 = 0. Is b a composite number?
False
Let w(h) be the second derivative of 27*h**4 - h**3/2 + 11*h**2/2 - 2*h - 49. Is w(-4) prime?
False
Is (1784519/44 + 6/(-8))*1*2 prime?
False
Suppose 3*m - 3*h + 33 = 0, -37 = 2*m - 7*h + 2*h. Let u(b) = 223*b**2 + 6*b + 106. Is u(m) a composite number?
True
Let m be (-6)/(-27) - (-759479)/(-63). Let y = -4904 - m. Is y a composite number?
False
Is 12315/3 + 18 - 20 a prime number?
False
Suppose -12*c - 33*c = -180. Suppose 3*n - 5*f = 4634, 5*n - c*n = f + 1542. Is n a composite number?
True
Let t(c) = 293*c + 59. Let r(w) = w**3 - 11*w**2 + 3*w + 33. Let v be r(10). Let i = v - -55. Is t(i) prime?
True
Let j(a) = -11*a**2 - 49*a - 14. Let y(g) = -6*g**2 - 25*g - 7. Let d(m) = -3*j(m) + 5*y(m). Let c be d(-11). Is 2 + (c + -1 - -2) prime?
True
Let l = -296 + 296. Let j(k) = k**2 - k + 211. Is j(l) prime?
True
Suppose -2*l - 24 = -8*l. Suppose -l*a + 11 = 3. Suppose -3*k + 165 = a*k. Is k a composite number?
True
Let j = -20493 + 34930. Is j a prime number?
True
Let g(u) be the first derivative of 1 + 0*u**2 - u + 77/3*u**3. Is g(-2) a prime number?
True
Suppose 0 = 3*j + f + f - 23, 0 = -j - 4*f + 21. Suppose 3*r = j*m - 116 + 566, m = 3. Is r composite?
True
Let h = -311708 + 854131. Is h prime?
False
Let j = 3496 - 2359. Let b = 3343 - j. Is b prime?
False
Let g(m) = -6*m - 118. Let r be g(-20). Suppose 10*w - r*w = 13368. Is w a prime number?
False
Let q = 1497 + 196010. Is q prime?
True
Suppose -37*v + 10*v = -1507032. Suppose v = 17*w + 15203. Is w a prime number?
True
Is 32358/8 - 1/20*-5 a prime number?
False
Let g be 438894/1332*3*(1 - (-10)/(-6)). Let f = -441 + -547. Let z = g - f. Is z a composite number?
True
Suppose 4192*h - 4212*h = -1085020. Is h prime?
True
Let t(j) = j**3 - 61*j**2 + 63*j + 782. Is t(79) prime?
False
Let i(t) = 892*t**2 + 4*t - 13. Let p(y) = -y**3 - 13*y**2 + 18*y + 15. Let c be p(-14). Let g = c + 43. Is i(g) a composite number?
True
Let a(w) = 19*w - 95. Let m be a(5). Is (-2 + m/(-1) + 1)*-2335 a prime number?
False
Suppose 79 = b - g + 3*g, 0 = -4*b + 4*g + 316. Let n be -4 - (-1 - ((-240)/(-4) + -2)). Let r = n + b. Is r prime?
False
Let k(j) = 77*j - 25. Let l(r) = -19 + 2*r + 46*r + 106*r - 31. Let v(x) = -11*k(x) + 6*l(x). Is v(18) prime?
True
Suppose -2 = 2*p, 2*g - 2*p + 7 = -p. Let d(b) be the second derivative of -3*b**5/4 - 5*b**4/6 - 5*b**3/6 - 5*b**2/2 - b. Is d(g) a composite number?
True
Let y = 6915 + -15891. Suppose -236*p + 231*p = 76645. Let h = y - p. Is h prime?
True
Let j(l) = 772*l - 5. Let t(p) = 515*p - 3. Suppose 2*m + 4 = b - 11, 5*b + 5*m = 0. Let h(k) = b*j(k) - 8*t(k). Is h(-6) composite?
False
Let a = -16416 - -49151. Is a prime?
False
Let y(l) = 26 - 10 - 13*l + 4*l - 22. Let z be y(-4). Is 6/z - 4464/(-5) prime?
False
Suppose 0 = 3*d - 12, 0 = 2*n + 2*d + 4 - 34. Suppose -7*o = -n*o + 3908. Is o a composite number?
False
Let i(d) = -120*d + 62. Let p be i(8). Let c = 1489 + p. Is c composite?
True
Let g be 5583*(-5)/(-60)*-4. Is 14*-2*g/4 a prime number?
False
Suppose 0*l - 46 = -5*v - 4*l, 5*v - 42 = -3*l. Let s = -19 - -7. Is (-4)/v - (0 - (-2300)/s) a composite number?
False
Let i(t) = -8*t - 902. Let a(y) = -15*y - 1805. Let r(n) = 3*a(n) - 5*i(n). Let j be r(0). Let h = j - -1398. Is h composite?
True
Let m(n) be the first derivative of -49*n**2/2 + 9*n - 1. Let z(r) = -r**2 + 69*r - 4. Let f be z(0). Is m(f) a prime number?
False
Let p(l) = 195*l**2 - 10*l - 4. Let z(w) = -391*w**2 + 19*w + 8. Let s(v) = -5*p(v) - 3*z(v). Let r be s(-4). Suppose 13*a - 331 = r. Is a prime?
True
Let i be (4/2 - 28/6)*-3. Let b(q) = -7*q + 27*q**2 - 3*q - 3*q + i + q**3 - 2*q. Is b(-13) a composite number?
True
Suppose 2*q = -3*z + z, 0 = -5*q + z. Suppose -5*m - 5*k - 10061 + 33666 = q, -3*m = k - 14159. Suppose 5*w + 364 = m. Is w a composite number?
True
Let i(m) = -3*m - 159. Let b be i(-53). Is (-4 - (-6 - (-3 + b)))*-3989 a prime number?
True
Let q(a) = -10*a + 67. Let i be q(22). Is -2 - 2 - 0 - i prime?
True
Let x = -5264 - -19470. Is x a composite number?
True
Is -23*(11/(-22))/((-2)/(-68)) prime?
False
Suppose -478279 - 180196 = -13*b + 17928. Is b composite?
True
Let z(q) = 1501*q**2 + 9*q - 19. Is z(4) a composite number?
True
Let m = 26 + 8. Let t = -12 + m. Suppose 0 = t*h - 27*h + 5215. Is h prime?
False
Let g(h) = -934*h - 1123. Is g(-41) a composite number?
False
Suppose 4*g - 64*a = -65*a + 288439, 144230 = 2*g + 4*a. Is g a composite number?
False
Suppose -20 = 4*l, -3*v - 82815 = -5*l - 407881. Is v prime?
True
Suppose y - 6*y + 3*i = -30, -4*i - 5 = 5*y. Let c(w) = -43 - w**2 + 24 - 7*w - 