 Is o prime?
False
Let r = 982 + -497. Let g = r - 300. Is g composite?
True
Suppose -v + 1 = 0, 0 = 2*t - 4*v - 822 - 216. Is t composite?
False
Suppose -285 = -4*h - h. Let l = -31 + h. Is l composite?
True
Let d be ((-8)/(-10))/(4/10). Let a(z) = 2*z**3 - z**2 + 2. Let x be a(d). Let w = 0 + x. Is w composite?
True
Let f(x) be the first derivative of -25*x**4/2 + x**3/3 - x**2/2 - x + 1. Let y be (1/2)/((-1)/2). Is f(y) a composite number?
True
Suppose 4*w - 8 = 2*w. Is w a composite number?
True
Let a = 10 + 18. Is 8/a - 1041/(-7) composite?
False
Let p be 4/(-6) + 45/27. Suppose -a + p = -0, 451 = 2*x + 5*a. Is x prime?
True
Let k(h) = -h**3 - 3*h**2 + 2*h - 2. Is k(-5) composite?
True
Is 3/(-12) - 3380/(-16) prime?
True
Let q = -58 + 27. Let x = q - -90. Is x a composite number?
False
Let x = 0 - -7. Let i be 2864/28 + (-2)/x. Is (-4)/(-16) + i/8 a prime number?
True
Let o = -3 + 6. Is ((-178)/(-3))/(2/o) a prime number?
True
Let f(x) = -2*x**3 - 2*x**2 - 8*x - 1. Let t = 9 - 13. Is f(t) a prime number?
True
Let c be 5*5*4/10. Let u be (-5)/1*8/c. Let y(k) = -k**3 - 2*k**2 + 7*k + 6. Is y(u) prime?
False
Suppose -x + 4*f = -417, -3*x - f + 407 = -2*x. Is x a composite number?
False
Let i(u) = -10*u**2 + 8*u + 2. Let v be i(-6). Let h = -264 - v. Is h prime?
False
Let f(v) = -4*v**3 + 3*v**2 - 25*v - 7. Is f(-6) composite?
True
Suppose -2*l + 12573 = 7*l. Is l a composite number?
True
Suppose 4*n = 108 + 132. Suppose f + n = 5*f. Is f a prime number?
False
Let g(o) = 3*o + 0*o + 11 - o - o + o**2. Is g(-9) a composite number?
False
Let f(p) = -3*p**2 + 0*p - 12*p - 15 + 9*p**2. Let u(z) = -5*z**2 + 11*z + 14. Let g(d) = 6*f(d) + 7*u(d). Is g(-7) a prime number?
False
Let k be (1 - 0)*0/(-2). Let n(b) = b**2 + 0*b**2 + b + 109 + b**2 - b**2. Is n(k) composite?
False
Let n be (1 + -7)*(-1)/3. Suppose 0*v - 470 = -n*v. Is v composite?
True
Let v(h) = -180*h**2 + 5*h**2 - h - 2*h + 2. Let i be v(2). Is (-1)/(-3) + i/(-12) composite?
False
Suppose 0 = -5*h - 25, -s - 4*h + 213 + 138 = 0. Is s a composite number?
True
Let y(d) = -d**3 + 7*d**2 - 7*d + 4. Is y(5) composite?
False
Suppose 0 = h - 3*h + 68. Suppose -r + h = -23. Is r a prime number?
False
Suppose -2*w + 5*n = -8, -w + 2 = -3*n - 2. Suppose -w*b - 57 = -245. Is b prime?
True
Let s be 1 - -1 - (-1 + 1). Suppose -h + s*h = 77. Is h a prime number?
False
Suppose -7*p + 2*p = 25, 4*p = 2*o - 24. Suppose -254 = -0*i - o*i. Is i composite?
False
Suppose 13 = 5*z + 8, 0 = 5*j + 2*z - 6067. Is j prime?
True
Let y = 12 - 5. Suppose y + 8 = 3*g. Suppose 2*a - g*z = 313, -6*z - 760 = -5*a - z. Is a a prime number?
True
Suppose 3*s = -6, 5 - 15 = 2*j + 3*s. Suppose -4*c + 5 = 29. Is (-3)/c + (-157)/j composite?
False
Suppose 6*k - 16 = 2*k. Suppose -3*h = -k*r + 243 - 16, 0 = -r + 5*h + 78. Is r prime?
True
Let x = -195 - -174. Let s(w) = 20*w**2 - 7*w + 3. Let a be s(5). Is (-8)/28 - a/x a prime number?
False
Let t(b) = 3*b + 11. Let c = 4 + -4. Let a(r) = r**2 - r + 9. Let x be a(c). Is t(x) a composite number?
True
Suppose 96 = k + 29. Is k composite?
False
Let h(f) = f**3 + 7*f**2 - 2*f - 5. Let p be h(-5). Suppose u + 3*u + 8 = 0. Let c = u + p. Is c a composite number?
False
Let r = 10 + -10. Suppose 2*m = -r*m + 6. Is (-3)/(m/1) - -14 a prime number?
True
Let s be 3010/18 + (-2)/9. Suppose 2*i - 63 = s. Is i composite?
True
Let l(f) = 11 + 8*f**3 - 12 + 26*f**3. Is l(1) a prime number?
False
Suppose 11*s - 222 = 8*s. Let l = s + 71. Is l composite?
True
Suppose 694 = -7*r + 2003. Is r composite?
True
Is (-23160)/(-105) - (-3)/7 a composite number?
True
Let a(c) = 3*c + 4. Let p be a(-3). Let m(t) = -3*t**3 + 3*t**2 + t + 4. Is m(p) a composite number?
False
Suppose -317 = -23*y + 22*y. Is y prime?
True
Let s(m) = m - 2. Let h be s(4). Let i(q) = 2*q - 1. Let j(f) = 1. Let l(p) = i(p) - j(p). Is l(h) a prime number?
True
Suppose -3*v + 91 = -47. Suppose -5*b = -v - 379. Is b prime?
False
Suppose -18*b + 30*b = 36852. Is b prime?
False
Suppose 0*c - c = 1546. Is c/(-3) + (-14)/42 prime?
False
Let c(g) = g + 40. Is c(19) composite?
False
Let g(b) = -3*b**3 - 7*b**2 + b + 3. Let o(n) = 4*n**3 + 8*n**2 - 2*n - 4. Let z(h) = 5*g(h) + 4*o(h). Let j be z(4). Suppose 2*m + j = 23. Is m prime?
False
Suppose 0 = -5*q + 21424 - 6819. Is q prime?
False
Let t(i) = -i**2 - 7*i. Let d(o) = -6*o**3 - o**2 - o + 1. Let f be d(1). Let w be t(f). Suppose -5*r = -3*h - 0*r + 254, -4*r - 4 = w. Is h composite?
False
Let p = 7 + -3. Let f be (15/6)/(2/p). Suppose 0 = 5*l - 3*l + 2*h - 44, -41 = -2*l - f*h. Is l prime?
True
Is ((-14)/4 + 5)*37*2 composite?
True
Suppose -4*b + 18 = -x - b, 2*b - 4 = 0. Let s be ((-16)/6)/(8/x). Suppose 3*y - 14 - s = 0. Is y a composite number?
True
Suppose 0 = -4*y - w + 329, -2*y - 2*w + 178 = -6*w. Is y a prime number?
True
Let t(c) = 19*c - 2. Let u(m) = 0 + 5*m**2 - 2*m**2 + m + m**3 + 1. Let q be u(-2). Is t(q) composite?
True
Let b be 5652/(-48) - 1/4. Let i = b - -171. Is i composite?
False
Let w(z) = z**3 + 4*z**2 + 3*z - 4. Let b be w(-3). Let t(x) = -x**3 + 2*x**2 + 6*x + 2. Is t(b) composite?
True
Suppose k - 606 = -3*q - 104, 3*q + 5*k - 518 = 0. Is q a prime number?
False
Let y(p) = p**2 + 5*p + 4. Let b be y(-4). Suppose c = -4*k + 637 + 807, -3*k + 4359 = 3*c. Suppose 5*n = 3*r + c, -n + 296 = -b*r + r. Is n prime?
True
Let p(z) = 180*z + 1. Is p(3) prime?
True
Suppose 0*b = 4*b + 32. Let l = b - -43. Is l prime?
False
Let g be (0 + 0)/(-1 + -1). Let w = 3 + g. Suppose -w*t + 51 = 5*s, -2*t + 5*t + 4*s = 54. Is t composite?
True
Let a be (-12)/(-30) + (-126)/(-10). Let w = a + -1. Suppose -v = -p + v + w, 11 = -2*p - 3*v. Is p prime?
True
Let h(p) = 3*p**3 - 6*p. Let k(v) = -16*v**3 - v**2 + 31*v - 1. Let x(d) = 11*h(d) + 2*k(d). Is x(4) composite?
True
Let v = -134 + 325. Is v prime?
True
Suppose -4*m + 2*h + 190 = 7*h, 0 = 4*m - 3*h - 206. Let n = m + -27. Is n composite?
False
Let h be (1/(-3))/((-1)/93). Let j(m) = -9*m - 4. Let o be j(-1). Suppose -5*d = f - 50, o*d - 111 = 5*f - h. Is d a composite number?
False
Suppose 2*x = -3*z + 8 + 23, -3*x - 5*z = -45. Suppose -3*q + 7*q = x. Suppose -q*r - 64 = -789. Is r a prime number?
False
Let x = 13 - -1. Suppose 5*d - 1 = x. Suppose -d*o = -o - 158. Is o a composite number?
False
Let p = 945 + -448. Is p prime?
False
Let w(i) = -2*i**2 + 3*i - 3. Let v be w(2). Let o = -1 - v. Suppose 310 = 2*y - 0*y - 5*b, -3*b = -o*y + 592. Is y prime?
False
Let f(r) = -4 - 2 - 12*r - 2 + 1. Let z be -1*2 + 15/(-3). Is f(z) a prime number?
False
Let r(b) = b**2 + 4*b - 3. Let x be r(-5). Suppose -x*w = -57 - 265. Is w a prime number?
False
Is 1/1*(-7 - -1980) a prime number?
True
Suppose 2*x = 7*x + p - 33, x - 18 = -4*p. Is x a composite number?
True
Let k(a) = -2 + 2*a**3 - 3*a**3 + 0*a**2 - 6*a**2 + 8. Let q be k(-6). Is (5*-1)/(q/(-30)) a composite number?
True
Suppose 0 = -f + 5*x - 17, 6 = f - 3*x + 15. Suppose -266 = -f*z - 35. Is z composite?
True
Let y = -7 - 9. Let s = y + 27. Is s a prime number?
True
Let i(k) = k**3 + 5*k**2 + k + 7. Let o be i(-5). Suppose -o*f = -516 + 74. Is f composite?
True
Let m = 631 - 368. Is m prime?
True
Let a = -8 - -12. Suppose f + 2*q - a*q - 2 = 0, 5*f = 5*q + 15. Suppose -x + u + 10 + 69 = 0, 0 = -2*x - f*u + 146. Is x prime?
False
Let q = -5405 - -8238. Is q a composite number?
False
Suppose -2*w + 68 + 70 = 0. Is w prime?
False
Let r = -5 - -10. Suppose 2*i - 257 = -3*v, -i - r*v + 0*v = -118. Is i a prime number?
False
Let i(j) = 3*j + 5. Let m be i(-4). Let s be (m/2)/(2/(-4)). Is -14*1/(-2)*s a prime number?
False
Let t = 422 + 240. Is t prime?
False
Suppose 0 = -4*b - 19 + 479. Is b prime?
False
Suppose -22*w = -18*w - 5476. Is w composite?
True
Let a(b) = 29*b - 12. Let u be 68/14 - 10/(-70). Is a(u) a composite number?
True
Let p(c) = 76*c**2 - 4*c + 1. Is p(-3) prime?
False
Let y(k) be the third derivative of -209*k**4/24 - k**3/2 - 3*k**2. Is y(-2) a prime number?
False
Let k(r) = 100*r - 1. Is k(5) a prime number?
True
Let f(j) = -5*j - 4. Let p be f(4). Let s = p + 39. Is s a composite number?
True
Let r = 11 - 15. Let c = r - -26. Suppose 0 = 3*d - c - 5. Is d prime?
False
Suppose 352 = 3*n - 179. Is n composite?
True
Let o = 23 + 84. Let v = o + 112. Suppose -j =