s 2/9 - b/(-45) prime?
True
Let o(i) = 0*i**3 - 5*i**3 + 2 - i**2 + 4*i**3. Let q = 0 + 0. Is o(q) prime?
True
Let z(f) = f**2 + 3*f - 2. Let i be z(-4). Suppose -4*u - 3*s = -3*u, -u + 10 = -i*s. Let h = u - -5. Is h prime?
True
Let y be (-1 + 2)/(4/212). Suppose 5*c - 605 = 3*l + y, -2*c - 4*l = -258. Is c a composite number?
False
Suppose 5*b = 15 + 15. Suppose r - 4*r = b. Is 1/r*(-37 - 1) composite?
False
Suppose -5*f = 3*r - 641, 3*f - 4*r = f + 272. Suppose -i + f = i. Is i composite?
True
Suppose 0 = 2*o - 5*o. Suppose 2*i - 20 + 4 = o. Suppose 4*r = i*r - 76. Is r composite?
False
Let t = 375 - 218. Is t composite?
False
Let g(q) = 6*q - 1. Let z be g(1). Suppose j = z*j. Suppose h + 4*w - 38 = 0, -2*h - 2*w = -j*h - 52. Is h a prime number?
False
Let u(o) = -o**3 + 5*o**2 - 6*o + 2. Let r be u(4). Let w be 1/(-1 + r/(-3)). Is (3 + 0)*1/w prime?
True
Suppose -5*r - 2*q - 15 = -7*q, 0 = -5*r - q - 33. Let n = r - -6. Suppose 2*w = -n*l - 2*l + 258, -117 = -l + 5*w. Is l prime?
True
Let b(v) = v**3 + 6*v**2 + 2*v - 1. Let l be b(-5). Let w = l - 26. Is 3/w + 133/4 a prime number?
False
Let r = -628 - -2855. Is r composite?
True
Suppose 0 = -3*t + 4 - 1. Let y = 10 + t. Is y prime?
True
Suppose 3*d = 3*a - 24, -a - 4*a = -2*d - 25. Let n(v) = -25*v**3 + 2*v**2 + v. Let k be n(-2). Suppose 407 = 2*x + w, x + a*w = 2*w + k. Is x a prime number?
False
Is 2*-15*(-22)/12 prime?
False
Suppose 249 = l - 177. Suppose 651 = 3*a - l. Is a a composite number?
False
Suppose i = -2*i - 36. Is (-442)/(-8) - (-3)/i composite?
True
Is (-6)/4 - 1446/(-12) a prime number?
False
Suppose -7*p = 49 + 28. Let a(b) = 7*b**2 - b - 2. Let y be a(2). Let n = p + y. Is n prime?
True
Is (-6)/(-18)*(2757 - 0) prime?
True
Let v be (-2512)/(-6) + 38/(-57). Let m = -165 + v. Is m composite?
True
Let f(i) = 2*i**3 - 6*i**2 + 3*i + 2. Suppose 0 = a - 2*r - 3, 4*r = -1 + 9. Suppose l + 3 = a. Is f(l) a prime number?
False
Suppose 1 - 3 = -r. Suppose 0 = 2*s - s - r. Is (-2 + 23)*s/6 a composite number?
False
Let u = -56 - -66. Is u prime?
False
Let m(l) = l + 1. Let o(r) = 19*r - 15. Let s(i) = 5*m(i) + o(i). Let c(v) = 12*v - 5. Let z(q) = -5*c(q) + 3*s(q). Is z(4) prime?
True
Is 1*979 + (-6 - -6) a prime number?
False
Let p(j) = j. Let y be p(4). Suppose -3*k = g - 260, 0 = -0*g + y*g - 20. Is k prime?
False
Suppose d + 4 = 2*h, -4*h + 7 = -9. Suppose c = -l + 3, d*l + 9 = 4*c - 3. Is l/(6/(-2)) + 4 composite?
True
Suppose 5*n = -4*g + 5695, -4*n + 2156 + 2374 = -2*g. Is n prime?
False
Suppose -5*q + 3239 = 2*v, -3*v + 2*v = 2*q - 1295. Is q a prime number?
False
Let w = 275 + -88. Is w a composite number?
True
Is (-1)/(3808/3812 + -1) a composite number?
False
Let d be (-21)/6 + (-1)/(-2). Let v(j) = -111*j - 2. Is v(d) prime?
True
Let b = 752 + -445. Is b a composite number?
False
Let p = 8 - 7. Let x(u) = u**3 - u + 1. Let r(g) = -7*g**3 - 4*g**2 + 13*g - 5. Let a(v) = p*r(v) + 6*x(v). Is a(-6) a prime number?
True
Let n(p) = p**3 + 3*p**2 - 2*p + 5. Let h be n(-4). Let m(b) = b**2 + 2*b + 2. Let a be m(h). Suppose -a*x + 95 = -0*x. Is x prime?
True
Is (-14)/4*(-1946)/(7 - 0) a composite number?
True
Let d be 2 + 0 + (4 - 2). Suppose -2*j = -4*j + 4*o + 166, d*j = -2*o + 362. Let g = 138 - j. Is g composite?
True
Let z be (-1 - -4)*35/21. Suppose z*n - 2 - 48 = 0. Is n prime?
False
Let x be 246/21 - 4/(-14). Let j(g) = 5*g + 9. Is j(x) prime?
False
Let h = 10 - 6. Let t be 674/(-10) + h/10. Let k = -44 - t. Is k composite?
False
Let w = 87 + -184. Let k = w + 192. Is k a prime number?
False
Suppose -5*x + 3 + 6 = 4*o, 0 = -o + 1. Let k be 0/(3 + (0 - x)). Suppose 5*a - 4*a + l - 70 = k, -2*a + 149 = 5*l. Is a composite?
False
Let f be (17 - -1)*3/3. Is 6/f*3*71 prime?
True
Suppose -1 = -t + 4. Let s(l) = 54*l - 2. Let j be s(t). Suppose 4*r - 2*o - j = 100, 4*r - 5*o - 356 = 0. Is r a composite number?
True
Let q(g) = -5 + 4*g + 14*g**2 + g**3 - 5 + 5 - 3. Let a = 10 + -17. Is q(a) composite?
False
Let b be (-3 + 7)*(0 + 1). Suppose 0 = -b*w - w + 95. Is w a prime number?
True
Suppose 0 = -4*l + 4*w + 372, -357 = -4*l + 3*w - 2*w. Let h = l + -42. Is h a composite number?
True
Let k be 4*((-9)/(-6) - 0). Let n(r) = r**3 - 4*r**2 + 2*r - 1. Is n(k) a prime number?
True
Let j(h) = -h**2 + 20*h + 8. Is j(17) a prime number?
True
Suppose 3*l = v - 8, -2*v - 3*v = -5*l - 40. Suppose -4*t + 2*t = -v. Suppose t*c - 42 = -4*x + 3*x, -c + 228 = 4*x. Is x a composite number?
True
Suppose 0*j + j + 12 = 3*x, 14 = 3*j + x. Is 3 - (-16 - j) - 1 a composite number?
True
Suppose h - 2957 = -h - 3*q, -4393 = -3*h + 4*q. Is h prime?
True
Suppose -4*x + 11*x = 2149. Is x a prime number?
True
Let u(a) = a**3 + 11*a**2 + 10*a + 13. Is u(-9) a prime number?
False
Let n(t) = -t**3 - 3*t**2 - 4*t - 2. Let o be n(-3). Suppose 4*v = 2*c - o, 4*c + 5*v = 3*c + 5. Suppose 4*h - 32 = 3*y + 56, 0 = -c*y. Is h prime?
False
Let x be (3 - 0)/(-6)*-4. Let i = 1 - -8. Let z = i - x. Is z a composite number?
False
Let u(z) = -z**2 + 9*z + 3. Let a be u(9). Suppose -a*o - 35 = -14. Let f(i) = i**3 + 6*i**2 - 9*i - 1. Is f(o) composite?
False
Let k(a) = -7*a**2 - a + 5. Let d(b) = 8*b**2 + 2*b - 6. Let w(n) = -6*d(n) - 7*k(n). Let r be (12/(-4))/3 + 7. Is w(r) composite?
False
Let s(f) = -72*f - 11. Let q be s(-13). Suppose q = -0*g + g. Suppose 2*i = 7*i - g. Is i a composite number?
True
Suppose -6 = -n - 16. Is (-9)/(-15) + (-1324)/n a composite number?
True
Suppose 2 = -0*b + b. Suppose -20 = b*v - 72. Is v a composite number?
True
Let j(o) = -190*o**3 + o**2. Let g be j(-1). Let n = g + -122. Is n prime?
False
Let w = 5 - 3. Suppose -w*c + 7 = -5*t, -t = c - 4*t - 2. Suppose 5*r - c = 99. Is r composite?
True
Is 105 - (-2 + 5 + -1) a prime number?
True
Suppose -c - 11 = -3*l + c, -3*l = -c - 13. Suppose 14 + 1 = l*b. Let t(f) = 3*f + 1. Is t(b) composite?
True
Let j(l) = -l**3 - 3*l**2 + 2*l - 1. Let s = 2 + -5. Let d be j(s). Let u = d - -17. Is u prime?
False
Let k(q) = -22*q**3 - q**2 - 2*q - 1. Let d(y) = -y**3 - y. Let u(a) = 3*d(a) - k(a). Let p be u(1). Suppose -z + 29 = -p. Is z composite?
True
Is 7/(-28) - (-213)/4 a prime number?
True
Suppose x - 18 = 140. Is x a prime number?
False
Suppose 2*y - 61 = 13. Is y a prime number?
True
Suppose -4*c + 76 + 148 = 0. Suppose -c = 7*y - 2919. Is y prime?
True
Let l(j) = 3*j**2 + 7*j + 13. Let k(z) = -z - 12. Let o be k(-6). Is l(o) composite?
False
Let i = 19 - 3. Let y(b) = 2*b + 21. Is y(i) a composite number?
False
Suppose -2*m = -302 - 650. Suppose -2*l = 2*l - m. Is l composite?
True
Suppose 0*y = -5*y + 15. Suppose -y*u - 2*v + 363 = -5*v, 5*v = 10. Is u composite?
True
Suppose -3*z - 2*z - 5 = 0. Let c(o) = -127*o. Is c(z) composite?
False
Let h = 612 + 61. Is h a composite number?
False
Let h = -2278 + 3327. Is h a prime number?
True
Suppose -z = 4*q + 105, 3*z - 83 = 3*q - 8. Let v be q/2 - (-1)/1. Let m = 31 + v. Is m a composite number?
False
Let q be 5 - (6 + -2 - 2). Let c(o) = -o**3 + 4*o**2 - 4*o + 3. Let t be c(q). Suppose 5*m + i + 233 - 623 = t, -5*i = 25. Is m a composite number?
False
Is (61/(-3))/((-1)/6) a prime number?
False
Let y(p) be the second derivative of -p**4/12 + 5*p**3/2 + 13*p**2/2 - 2*p. Is y(9) a prime number?
True
Is -1*(-4)/(-8)*-1718 prime?
True
Suppose 5*o - 12*o = -833. Is o a composite number?
True
Let c = 112 - 9. Is c prime?
True
Suppose y + 3*y + 2*o = 12, 0 = 2*y - 3*o + 10. Let x = 6 - y. Suppose 8*z = x*a + 3*z - 10, 2*z - 17 = -5*a. Is a composite?
False
Let u = 294 + -115. Is u a composite number?
False
Suppose -1952 = -4*r - 0*z - z, -1932 = -4*r + 4*z. Is r prime?
True
Let v = -1 + 1. Suppose -f - 2*f + 1035 = v. Suppose f = 3*c - 126. Is c a composite number?
False
Suppose 4*k + 2246 = 6*k. Is k a composite number?
False
Let c = -13 - 31. Is -2*11*c/8 composite?
True
Let n = -258 - -406. Suppose -i + n = -331. Is i composite?
False
Let l(c) = 2*c**2 + 47. Let g(m) = -m**2 - 23. Let j(b) = -5*g(b) - 2*l(b). Let r be j(0). Is ((-770)/r)/(4/(-6)) a composite number?
True
Let u(o) be the second derivative of 5*o**4/4 - o**2/2 + 2*o. Let w(q) = -q + 7. Let t be w(6). Is u(t) composite?
True
Let r(s) = -2*s - 4. Let v be r(-3). Suppose -v*i - 3*f + 64 = 2*i, 48 = 3*i - 5*f. Suppose -i = -4*g, -3*