 = 3*r + n, -2*n + 49 = 3*r - 2249. Suppose 0 = 4*f - 4*b - 1 - 3, 3*b - 21 = -f. Suppose -f*u + 10*u - r = 0. Is u prime?
True
Suppose -f - 779 = b - 2002, 2*f + 5*b = 2446. Is f a composite number?
False
Let a be -225*(1 - 2) + 2. Suppose 0 = 4*o - a - 209. Let s = o - 75. Is s prime?
False
Let v(h) = h**2 + 10*h + 3. Suppose a - 7 + 17 = 0. Let q be v(a). Suppose 4*t - m - 3*m - 844 = 0, 633 = 3*t + q*m. Is t prime?
True
Is 2126512/304 + 2/(-19) composite?
True
Let d(u) = 1055*u + 28. Let t(y) = -y**2 - 9*y - 9. Let w be t(-7). Is d(w) prime?
True
Let w = 383 - 483. Let u = -232 - -399. Let r = u + w. Is r a composite number?
False
Let o = -11290 + 15919. Is o a composite number?
True
Let o be 1 + 48/(-1 + -5). Is (1 - 13936)*o/21*1 a composite number?
True
Let x(t) = -t + 16. Let y be x(16). Suppose 0 = 2*j + 3*d - 379, y = -2*d - d + 9. Is j a composite number?
True
Suppose 4*o - 23425 = 3*k, 11*o = 13*o - k - 11713. Is o a composite number?
False
Suppose -5*t + 3*h + 25 = 0, 2*t - 9 - 1 = h. Suppose t = 5*i, -7*n + 3*n - 3*i + 2023 = 0. Is n a composite number?
True
Let z = -10 + 13. Suppose 2781 = 5*c - 0*c + 2*p, -4*p = -z*c + 1679. Is c prime?
True
Let q(i) be the third derivative of -11/60*i**5 + 0*i + 5*i**2 + 1/3*i**4 - 5/6*i**3 + 0 + 1/40*i**6. Is q(7) composite?
False
Let c(o) = 124*o - 13. Is c(10) a composite number?
True
Let d(y) = 16*y**2 - 6*y - 9. Let f = 24 + -26. Is d(f) composite?
False
Let f(t) = 73*t**2 - 61*t - 11. Is f(-17) a composite number?
False
Let k(x) be the second derivative of x**3/6 + 2*x. Let q be k(-2). Is 14 + 0/(6 + q) prime?
False
Let g be (-4)/(-24) - (-4947)/18. Let w = -126 + g. Is w prime?
True
Suppose 0 = -8*c + 7349 + 11507. Is c prime?
True
Suppose 3 - 9 = -3*n. Suppose 0 = 2*m + n*a - 606, -4*a + 2 - 18 = 0. Is m a composite number?
False
Let m(x) = 33*x**2 - 2*x - 10. Let s be m(5). Suppose c = 4*c - 2*i - s, 4*i + 265 = c. Is c a prime number?
True
Let z be -2*1*(-3)/3. Suppose -3*c + 420 = z*c. Let m = c - 31. Is m prime?
True
Suppose 34018 = 12*r - 36698. Is r prime?
False
Let h = 345 + 31616. Is h prime?
False
Let y = 12 - 13. Let s = y - 50. Let o = s + 133. Is o a composite number?
True
Let h(f) = 625*f - 2. Suppose 5 = -18*o + 23*o. Is h(o) a composite number?
True
Suppose -3*b + 27 = 4*q - 8*q, -3*b = 2*q - 9. Let y be (q - 161)*2/(-4). Let r = -27 + y. Is r a prime number?
False
Let t = 880 - -1587. Is t a prime number?
True
Let j(a) = -152*a + 25. Is j(-18) composite?
True
Let f = 23 - 11. Let k = -12 + f. Is k/3 - (-144 - 1) composite?
True
Let x = 30572 + -2133. Is x a prime number?
True
Suppose -3*r = -3*t - t - 437, 3*r = -2*t + 407. Is r prime?
True
Let c(q) = -226*q**3 + 5*q + 4. Let z(v) = -v**3 + v + 1. Let m(l) = c(l) - 4*z(l). Is m(-1) a prime number?
False
Suppose -u + 33 = -3*y - 0*u, -3*y - 4*u = 18. Let o = 45 - y. Suppose 2*i - 3*i = -f + o, 273 = 5*f - 4*i. Is f prime?
True
Is (-97390)/(-80) + (-3)/8 a prime number?
True
Let s(w) = w**3 - 13*w**2 - 14*w + 6. Let h = 30 - 16. Let v be s(h). Suppose -2*g + 4*r + 998 = 0, 4*r = -2*g + v*g - 1984. Is g composite?
True
Suppose 12*g - 13*g = 0. Is -1 + 102 + (g - 1 - -3) composite?
False
Let v(y) = -y**2 + 6. Let j be v(-2). Suppose 3*r + j*g = -0*r + 2013, 2*r = 5*g + 1361. Is r composite?
False
Is 8/10 + (-1180020)/(-100) a composite number?
False
Let s(c) = -c**2 + 8*c. Let f be s(8). Suppose -10*p + 13*p - 63 = f. Is p a prime number?
False
Let f(q) = q**3 - 18*q**2 + 61*q + 5. Is f(21) prime?
True
Suppose -d - 44 = 5*s - 0*d, 0 = -3*s - 2*d - 25. Let r = s + 9. Suppose r = 4*j + o - 897, -o + 5*o = -3*j + 689. Is j composite?
False
Is ((-4)/12)/(3/(-2853)) prime?
True
Suppose 0*z - 4*z - 928 = -3*y, -5*y = 4*z - 1536. Let q = y - -437. Is q composite?
True
Let p(b) = b**3 + 8*b**2 + 3*b + 2. Let k be p(-7). Let l be 40/6 - (-10)/k. Is 26/l + 16/56 composite?
True
Suppose 1826 = -3*r + 2*a + 589, 0 = 2*r - 5*a + 843. Let w = r - -700. Is w/(3/(-1))*-1 a composite number?
False
Let m = -979 + 2049. Suppose 2*d - y - 3*y = m, -4*d + 3*y + 2150 = 0. Let v = d - 120. Is v prime?
True
Suppose 5*y + 2*x = 187589, -7*x + 5*x = -2*y + 75030. Is y prime?
True
Let b = 7185 + -3400. Is b prime?
False
Suppose -3*t + 6 = 0, -73*t + 9342 = 4*h - 68*t. Is h composite?
False
Suppose -2*z + 2013 = z. Let w = 1921 - z. Is w/14 + (-16)/56 a prime number?
True
Suppose -4966 = -33*d + 7*d. Is d prime?
True
Let v(q) = 31 + 52*q + 25*q - 22. Let y be (80/(-50))/((-4)/10). Is v(y) composite?
False
Let d(v) = 3191*v**2 + 3*v + 1. Let w be d(-1). Suppose 5*h = 2*h + w. Let s = 1740 - h. Is s prime?
True
Suppose -4*h + 53489 = -48339. Is h prime?
True
Let n(d) = -4*d + 1. Let m be n(2). Let g be -2 + m/(21/6). Is (-797)/g + 3/(-12) a prime number?
True
Let z(o) = 129*o**2 + 19*o - 87. Is z(4) a composite number?
False
Let x(h) = h - 10. Let y be x(12). Let k(v) = 3*v**3 - 3*v**3 + 12*v**2 - 1 + v**3 + y*v. Is k(-8) a composite number?
False
Let r = 582 - 53. Is r a prime number?
False
Let y = 7700 + -3309. Is y prime?
True
Suppose 10 = x + 4*o, 0*x + o = 2*x - 11. Is 2/x + 13330/15 a prime number?
False
Let u(q) = 1308*q**2 + 2*q - 1. Let p be u(1). Suppose 0 = v + 1413 + p. Is 12/16 + v/(-8) a prime number?
False
Suppose 6 + 39 = -z. Is ((-66)/8)/(z/120) a prime number?
False
Suppose -k + 1 = -1. Suppose k*b - 10 = -0*b. Is 1/b - (-714)/5 composite?
True
Suppose -2*g + 4*y + 12 = 0, 4*g - y - y = 36. Is 890 - (8/20 + 6/g) composite?
True
Let o be (-1380)/(-24)*(-8)/(-10). Let r = -30 + o. Let d(t) = 34*t + 9. Is d(r) a prime number?
False
Suppose p - 7123 = r - 36241, -2*r + 58231 = -3*p. Is r a prime number?
True
Suppose 2*t = 5*i + 16107 + 1300, 5*t - 43540 = 5*i. Is t a prime number?
False
Suppose 5*u = -0*y - 4*y + 2544, -5*y - u + 3159 = 0. Is y a composite number?
False
Suppose -1130489 = -13*z - 102150. Is z prime?
True
Let d be 1 + (1 - 3)*-1. Let o(b) = 6 - 20 + 72*b + 9. Is o(d) prime?
True
Suppose 64654 = 56*y - 270394. Is y a prime number?
False
Let q(m) = -3*m + 0*m - 3 + 4*m. Let t be q(5). Suppose -t*s + 350 = 112. Is s composite?
True
Let u = -3 + 3. Suppose -4*g + 231 = v, u*v = 5*g + 2*v - 291. Is g a prime number?
False
Let x(m) = -35*m - 173. Is x(-40) a composite number?
True
Let s(y) = y**2 - 5*y + 8. Let i be s(4). Suppose -1025 - 1667 = -i*b. Is b a prime number?
True
Suppose 0 = -23*h + 852258 - 297199. Is h composite?
False
Suppose 2*t - 120 + 492 = -3*f, -2*f - 267 = -5*t. Let y be (-1714)/(-6) - (-80)/60. Let n = y + f. Is n composite?
True
Let j(u) be the first derivative of -3 + 1/4*u**4 + 2*u + 4*u**2 + 3*u**3. Is j(-6) composite?
True
Let p(w) = 327*w**2 - 3*w - 43. Is p(-5) composite?
False
Let v(c) = c**3 - c**2 + c + 15. Let d be v(0). Let b be (-4023)/(-15) + (-3)/d. Let m = b - 171. Is m composite?
False
Let p be 0 + 2 - 3 - -5. Suppose 4*l = -0*o - p*o + 876, -o + 1103 = 5*l. Is l a composite number?
True
Let g be (-3)/4 - (-24791)/52. Let z = g - -1021. Is z a prime number?
False
Let p be -1 - ((-6)/27 + 50/(-18)). Suppose 0 = p*w - 10, -h + 5*w + 6595 = 3*h. Is h composite?
True
Let c = -4043 - -7536. Is c composite?
True
Let i(g) = 5*g - g + 10 + g**3 + 9*g**2 + 4*g + g. Let w be i(-8). Suppose 2*p + 5*a - 116 = 0, p = 4*p - w*a - 155. Is p a prime number?
True
Let d be -1*0*(2 - 1). Let z(a) = 9*a - 239. Let t(n) = -16*n + 478. Let r(j) = 4*t(j) + 7*z(j). Is r(d) composite?
False
Let h be 4/14 + 165/35 + 0. Suppose n - h*v - 224 = 0, 3*n - 617 = 2*v + 2*v. Is n composite?
False
Is (6/((-48)/(-2756)))/((-2)/(-4)) composite?
True
Let b = -280 - -491. Is b prime?
True
Suppose 33 - 89 = 4*c. Let g(u) = u**3 + 20*u**2 - 25. Is g(c) prime?
True
Is 1405020/660 - (-4)/22 a composite number?
False
Suppose 2*k + 12 = -2*i - 2*k, 2*i = 3*k + 9. Is (-339)/((1 - i)/(-1)) prime?
False
Is 934/(-8)*(-392)/49 prime?
False
Suppose -2*b = k - 11469, -34411 = -0*k - 3*k - 5*b. Is k a prime number?
False
Suppose 165405 = -20*n + 35*n. Is n a prime number?
True
Let h(a) = -536*a. Let o = -30 - -31. Let t be h(o). Is (4 - 6 - t) + 1 prime?
False
Suppose 2*r = s + 882, 5*s - 3*r + 510 = -3872. Let f = -581 - s. Is f a composite number?
False
Let o = -24620 + 34597. Is o prime?
False
Let q(o) = o**2 - 11*o + 12. Let r be q(