e h = 4*l + 4*y - 146, 239 = 3*l - y. Is l a prime number?
True
Let a(c) = 7*c**3 - 16*c**2 - 9*c + 115. Is a(11) composite?
True
Let j(b) = b**3 - b**2 + 3*b + 1. Let o(y) = -y**2. Let a(l) = j(l) + 2*o(l). Let v be a(5). Suppose -v = -n - n. Is n a composite number?
True
Suppose -5*d + t + 590312 = 0, -4*t - 115288 = -2*d + 120826. Is d composite?
True
Let s(b) = b + 1. Let d(k) = 15*k**2 + 2*k + 16. Let a(w) = 5*w**2 + w + 5. Let g(j) = 8*a(j) - 3*d(j). Let o(n) = -g(n) - 2*s(n). Is o(5) a composite number?
True
Suppose -507 = -5*d + 848. Suppose 4*z - d = 5*x, -247 = -3*z - 2*x - 3*x. Let y = -37 + z. Is y composite?
False
Let g be 5 + -3 + 0 + (-1)/(-1). Let h(n) = 14*n**3 + n**2 - 4*n + 2. Is h(g) a prime number?
False
Let o(z) = 3*z + 15. Let p be o(-6). Is 660 - p - (0 - -1) prime?
False
Let o(k) = 7*k + 1. Let i be o(-5). Is (-8 + -30)*i/4 composite?
True
Let o = -10 - -13. Suppose -f - 2 = o. Let x(u) = -36*u + 5. Is x(f) a composite number?
True
Let u = 14593 - 10146. Is u prime?
True
Let y(i) = -1338*i - 575. Is y(-11) a prime number?
True
Suppose 4*g + n = -n - 20, -g = 2*n + 5. Let z(f) = 6 + 5 - 169*f**3 - 2*f**2 + 168*f**3 - f - 12 + 0*f. Is z(g) a composite number?
False
Suppose 7*u - 7 = 266. Suppose 40*z = u*z + 485. Is z prime?
False
Suppose 2*m - 3*m = 4*z, 5*z = 0. Suppose o = -m*o + 319. Is o prime?
False
Suppose 4*b - g = -1 - 42, -4*g = 4*b + 68. Let y be 508/b*(-17 + 2). Suppose -p = 4*p - y. Is p a composite number?
False
Suppose -5*m + 15 = -0*m + 5*l, -m - 5*l + 7 = 0. Let i(s) = 17*s**2 + 4*s + 1. Is i(m) composite?
True
Suppose -4*q = 3*k - 25, -4*q = -3*k - 0*q + 17. Suppose 0*b = k*b - 1295. Is b prime?
False
Let o be (-3)/12 - (-37)/4. Let r = -5 + o. Suppose 0 = 2*w + 3*i - 178, -r*w - 4*i + 392 = -7*i. Is w prime?
False
Suppose -5*q + 2*q + 5*l - 8 = 0, q - l = 0. Is (-111)/(-6) - q/(-8) composite?
False
Let c = -257 + 470. Suppose 0 = 5*j - 722 - c. Is j a prime number?
False
Let q(x) = 2*x**2 - 6*x + 11. Suppose -4*f + 34 + 4 = 3*n, 34 = 4*f + n. Is q(f) prime?
False
Let i(v) = -v**3 - 5*v**2 - 13*v - 7. Let n be (-30)/3*(-1)/(-2). Let o be i(n). Is (2 + -1)/(1/o) prime?
False
Suppose 68579 = -284*k + 291*k. Is k a prime number?
False
Let z = -130 - -442. Suppose 0 = -5*h + 4*h + 3*g + 151, 0 = -2*h + g + z. Is h a prime number?
True
Let c(j) = 31441*j + 172. Is c(3) prime?
False
Suppose 2*m = -p + 12, -2 = -p - 0. Suppose -m*v + 2077 = -518. Is v composite?
True
Suppose -2*l = 10 - 6, 0 = 4*c - 2*l - 19760. Is c prime?
False
Suppose 0 = 3*h - 2736 - 3312. Suppose 3*b - h = -0*b. Suppose -3*j - 3*z = -j - 668, 2*j - b = -5*z. Is j a prime number?
True
Let f(k) = -2*k**3 + 6*k**2 + 2*k + 14. Let y be f(-7). Suppose 2*h - 3 = 13. Is (-3)/2 + y/h a prime number?
False
Let z(r) be the second derivative of 403*r**5/20 + r**4/3 - 5*r**3/6 + 5*r**2/2 + 4*r + 4. Is z(2) a composite number?
True
Suppose 0 = 4*m - 3*m - 3. Suppose 0 = 3*o + m*r - 5925, -4*o + 4*r - 974 + 8858 = 0. Is o prime?
True
Suppose -3 + 8 = m. Suppose -m*k + 5117 + 2158 = 0. Suppose -5*g + k = -2*v + 4*v, 4*v - 273 = -g. Is g a composite number?
False
Let x be (-3)/21 + 58/14. Suppose 6*q + 6 = 4*q, -x*z + q + 895 = 0. Is z a prime number?
True
Suppose 12 = 4*r, 4*f - 4*r = f - 735. Suppose -2*m = -7*m + 2260. Let u = m + f. Is u a composite number?
False
Suppose -17*d = 8869 - 34556. Is d a prime number?
True
Let i(y) = 164*y + 849. Is i(8) composite?
False
Suppose -178*h + 168*h + 16570 = 0. Is h prime?
True
Let z = -22 - -4. Is 16/72 - (-40)/z - -424 composite?
True
Suppose 21*t = 4*t + 11917. Is t a composite number?
False
Suppose 32 = -4*i + 2*k, -3 = 4*i + 3*k + 9. Let m(o) = -5*o + 8. Is m(i) a composite number?
True
Let t(h) = -h**3 + 4*h**2 + 5*h - 16. Let q be t(4). Suppose 4*i + 8*m - 12644 = q*m, 4*m + 9497 = 3*i. Is i a prime number?
True
Suppose -4*d - 3*a = -13, 0*a + 2 = 5*d - a. Suppose 5*c - d = -6. Is (-12)/c + (2 - 3) composite?
False
Let y(n) = 57*n + 4. Let w be y(-7). Suppose 3*x - 5*x = 500. Let c = x - w. Is c a prime number?
False
Let z(s) = 2*s**2 + s - 6. Let v be z(-3). Is v/(9/(-2)) + 193 composite?
False
Is (-6)/(24/(-140))*3006/90 composite?
True
Let y = 9 - -22. Let r = -28 + y. Is 795/2*2/r a composite number?
True
Let i = 108 + 128. Let a = i + -75. Is a composite?
True
Let j = 2378 - 1207. Is j composite?
False
Suppose 5*i = 82428 - 22618. Is i composite?
True
Let d(k) = k**2 - 4. Let c = -12 + 9. Let r be d(c). Suppose 0*h - 215 = -r*h. Is h prime?
True
Suppose -5*k = -h - h - 16257, 2*k - 6499 = -3*h. Is k composite?
False
Suppose -4*h + 3*q + 3731 = -0*q, 2*h - 2*q - 1866 = 0. Let j(b) = -b**3 - 16*b**2 - 7*b - 28. Let w be j(-16). Is h/14 + 36/w composite?
False
Is (-2)/(((-4)/(-5842))/(-1)) composite?
True
Suppose -3*u + 5562 = 3*q, 2*q = -3*q - 2*u + 9261. Is q prime?
False
Let s = -7 - -7. Let a(v) = -50*v**2 - 11 + v + 56 + 49*v**2 + 50. Is a(s) composite?
True
Let i = -4190 + 11047. Let g = -4404 + i. Is g prime?
False
Let k = 64 + -62. Suppose -k*w + 1174 = -2628. Is w a composite number?
False
Let o(y) = y**3 + 12*y**2 - 11*y - 13. Let x be o(-12). Suppose 5*z = 4*z + x. Is z composite?
True
Is 59 - (3*(-5 - -4) - -5) a composite number?
True
Suppose 2*c - z + 12 = 0, -12 - 12 = 2*c - 4*z. Let j be (-702)/c*(4 - 2). Suppose -j - 1384 = -5*g. Is g a prime number?
True
Suppose -53*b + 37*b = -301856. Is b a composite number?
True
Let g(z) = 4*z**2 + 4*z - 39. Let v = -10 - -26. Is g(v) composite?
False
Suppose 4*h + 9327 = 5*k - 17831, -4*k = 3*h - 21745. Suppose 7*t - 2*t - 4*c - 6797 = 0, -4*t = -5*c - k. Is t prime?
True
Let o(s) = -8 - 9*s - 20*s + 0*s - 8. Is o(-15) a prime number?
True
Let m = -11 + 47. Is 27/m - (-18841)/4 a prime number?
False
Suppose 3*u - 4264 = -4*q + 4*u, 4*u + 3185 = 3*q. Is q a prime number?
False
Let m be (-360)/(1/(0 + 1)). Suppose 1657 = -8*k - 3231. Let p = m - k. Is p a composite number?
False
Let c(d) = -d**2 + 12*d - 8. Suppose 4*y - 6*y + 18 = 0. Is c(y) a prime number?
True
Suppose -2*g - 161 = -4*m - 3*g, -m + 38 = g. Let u = m + -28. Let r(n) = 20*n - 7. Is r(u) a composite number?
True
Let q(w) be the second derivative of 2*w**4/3 - w**3/6 + 3*w**2 - 27*w. Let v(l) = -4*l**2 - 1. Let g be v(-1). Is q(g) prime?
True
Let i(g) = 8*g - 22. Let t be i(4). Suppose t*v + 655 = 15*v. Is v a composite number?
False
Suppose 13*l - 12*l = 3. Let h be (4/(-6))/((-10)/45). Suppose l*d = -h*n + 261 - 90, 0 = -4*n. Is d prime?
False
Suppose 0 = 2*y - 4*m - 20, -m = 3*y - 0 - 2. Suppose 6 = d + y. Suppose 0 = j - 4*j - 5*n + 1256, -d*j = 4*n - 1672. Is j prime?
False
Let b(x) = -x**3 - 7*x**2 + 11*x - 2. Let j = -38 + 25. Let t be b(j). Is (-4)/6 - t/(-3) prime?
False
Suppose h + h + 3604 = -4*u, -2*h = 3*u + 2705. Let b = -582 - u. Is b composite?
False
Let k(j) = j + 26. Let c be k(0). Suppose 0 = 3*n - 15, 3*b - c = -n - 9. Suppose -b*x + 4*o = o - 139, 68 = 2*x - 2*o. Is x composite?
False
Let z(m) = -225*m + 256. Is z(-35) a prime number?
False
Let k = 7 - 5. Suppose -2*y + 10 = 0, -3*o + k*o + 17 = -y. Suppose 0 = p - 255 + o. Is p a composite number?
False
Suppose 0 = 2*s - 2*p + 6*p + 10, 14 = 2*s - 2*p. Let f(b) = b**2 - b - 2. Let z be f(s). Suppose z*u - 31 - 5 = 0. Is u composite?
True
Suppose -28 - 23 = -3*j - 2*o, -5*j + o = -72. Suppose j*l + 5915 = 24800. Is l a prime number?
True
Suppose 2*o = 10058 + 1616. Is o a prime number?
False
Let g(x) = 99*x - 88. Is g(5) a composite number?
True
Let n(c) = 67*c**3 - 7*c**2 - 4*c + 29. Is n(5) a composite number?
False
Let k(q) = -q**3 - 9*q**2 - 2*q - 16. Let c be k(-9). Suppose 3*o + 5*w - 662 = 0, c*o + 3*w + 214 = 655. Is o prime?
False
Let w = -3626 + 15875. Is (w/27)/(1/3) prime?
True
Let d(y) = -27*y**3 - 8*y**2 - 35*y + 1. Is d(-6) a composite number?
True
Let t(q) = -q**2 - 8*q + 6. Let i be t(-7). Is (99 - i)/((-4)/(-14)) prime?
False
Suppose 5*s = 2*j + 29185, 10*s + 3*j = 5*s + 29185. Is s a prime number?
False
Let r = 18525 + -7471. Is r composite?
True
Let h(i) = -1477*i + 309. Is h(-5) a prime number?
False
Let h(b) = -3*b + b + b - 5*b - 10. Let j be h(-13). Is j/6 - 7/21 a prime number?
True
Let w = 91 + -61. Let v(j) = -3 + w*j - 1 + 1 + 21*j. Is v(6) a prime number?
False
Let j(n) be the fi