ite number?
False
Suppose o = -2*o + 18. Suppose -m - 2 = -o. Suppose 0 = 2*r + 5*p - 31 - 222, -159 = -r + m*p. Is r a prime number?
True
Let c(k) = 4 - k + 2 - 6. Let a(h) = -22*h - 1. Let d(x) = 3*a(x) - 12*c(x). Is d(-3) a composite number?
True
Let j = -5 + 7. Suppose -j*u = u + p - 924, u = p + 312. Suppose u = 2*v + 71. Is v a prime number?
False
Let x(q) = 4 - 14 - 2 - 9*q. Is x(-9) prime?
False
Suppose 2*l = -2*l + i + 10437, i - 5217 = -2*l. Is l a prime number?
True
Let n = -40 - -40. Suppose 2*c + c - 3*g - 234 = n, 0 = -4*c + 3*g + 313. Is c prime?
True
Let q(a) = 3*a**3 - 3*a**2 + 67*a + 9. Is q(16) a prime number?
True
Let w(x) = -x**3 - 9*x**2 + 3*x + 11. Let b be w(-8). Let j be (-594)/b - (-2)/7. Is (j/(-12))/(-2)*222 prime?
False
Let w(f) = -f**2 + 32*f - 14. Let h be w(16). Let k = h - -140. Is k a composite number?
True
Let h(d) = 8*d**2 + 34*d + 287. Is h(-21) a composite number?
True
Suppose 11*v = -41*v + 1175356. Is v prime?
False
Suppose 62*c - 2173981 = -202691. Is c a composite number?
True
Let y be 72*(78/16 - 8/(-64)). Suppose -s = y - 1759. Is s composite?
False
Let r(h) = -18*h**2 + h + 5. Let l(q) = -9*q**2 + q + 3. Let j(n) = 11*l(n) - 6*r(n). Let o be j(7). Suppose 0*y - o = -y. Is y a prime number?
True
Let r(b) = 3069*b + 206. Is r(9) a prime number?
True
Suppose 394 = 2*r - 0*r. Suppose -5*i + r = -693. Suppose -3*m = -1705 + i. Is m a prime number?
True
Suppose 8 = -2*z, 3*i - z = 4*i - 58. Let m = 271 - i. Is m composite?
True
Let i(x) = x + 1. Let q be i(-2). Let n be q*(15 + -3)/(-2). Suppose 0 = -n*m + 4*m + 182. Is m composite?
True
Suppose 0 = -4*b + b + 12. Suppose -2*v = -b*o + 2*o + 18, 2*o = 10. Is 6/v - (-850)/4 prime?
True
Let r = 189 + -63. Let s be 18/12 + r/4. Let i = s + 34. Is i composite?
False
Suppose f = -f. Suppose -h - 2*h - 726 = f. Let q = h + 433. Is q a prime number?
True
Let o(r) = 280*r + 7. Suppose -14 = -3*h + 2*k, 0 = -4*h - 3*k - 4 + 34. Is o(h) a composite number?
True
Let q(t) = -2*t**3 - 5*t**2 - 6*t - 2. Let g be q(-2). Suppose g*j = j + 1055. Is j prime?
True
Let i(r) = 147*r**2 - 109*r + 17. Is i(-8) prime?
False
Suppose 376628 = 32*s - 607596. Is s prime?
True
Suppose -5*o = 12 + 18. Let c = o + 6. Suppose 4*s + 12 = c, -5*s - 244 = -5*p - 54. Is p composite?
True
Let q(d) = 259*d**3 - d + 4. Let a be q(2). Is 9/18 - a/(-4) a prime number?
False
Let h = 133 + 165. Is h prime?
False
Suppose 8170 = 2*h - 2*b, -4*h = -0*h - 3*b - 16344. Let p = 8128 - h. Is p composite?
True
Suppose 0 = -2*g - 10, 4*j + 5*g = j + 2870. Is j prime?
False
Let w = 74237 + -41680. Is w prime?
False
Is 2221*-1*67/(-67) a prime number?
True
Let o be (0 - -36) + 24/(-8). Let p = o - 14. Is p a prime number?
True
Let d(g) = g**2 - 3*g + 2. Let h be d(6). Suppose l + l = h. Is l/(-45) - 2686/(-18) a composite number?
False
Let w(f) = -f**3 + 4*f**2 + f - 3. Let n be w(4). Is (0 - 4)*-1 - n a composite number?
False
Suppose 8*b - 13*b = -5*x + 43275, 34618 = 4*x - 3*b. Is x prime?
False
Let d be (-20)/(-15)*(-3)/(-2). Suppose -d*g - 2247 = -y, -5*y = -4*g - 3256 - 8003. Suppose -s - y = -6*s. Is s a prime number?
False
Suppose -q = q - 4. Let c(v) = 4*v**2 + 2*v**2 + v**q - 8*v**2 - 11 - 20*v. Is c(-8) composite?
True
Let d(c) = -171*c - 19. Suppose -2 - 2 = 2*s - 4*k, -4*s + 2*k - 20 = 0. Is d(s) a composite number?
True
Let t(o) = 2*o**3 + o**2 - o. Let m be t(1). Let c be 124/m + -1 + -2. Let w = c - -54. Is w a composite number?
False
Suppose 0 = 4*z + 3*m - 145843, 3*z + m - 109374 = -4*m. Is z a prime number?
False
Suppose 0 = -4*u - y + 23, 3*u = -u + 3*y + 27. Let x(n) = 2*n**3 + 2*n**2 + 1. Is x(u) a composite number?
True
Suppose 0*x + 4 = x. Suppose x*o + 12 + 4 = 0. Is -3 + 0 - 56/o a composite number?
False
Let y be (((-21)/6)/((-3)/(-6)))/1. Is y + 4 + 192 + 1 + 1 a prime number?
True
Is 3 - -3 - 3 - -220420 prime?
False
Suppose -8*f = -103725 - 260971. Is f prime?
True
Let j = -76 + 129. Is 22/(((-4)/j)/(-2)) prime?
False
Suppose -4*v + 9*z + 40656 = 5*z, 4*z = 12. Is v a composite number?
True
Let k(f) be the second derivative of f**5/20 + f**4/4 - 5*f**3/6 + 5*f**2/2 - f + 5. Let n(s) = 5*s - 1. Let h be n(1). Is k(h) a composite number?
False
Suppose 4*o - 115 = 5*y + 1, -29 = -o + 3*y. Suppose 3*p - 85 + o = -2*j, 2*p - 2*j - 44 = 0. Is ((-92)/(-8))/(2/p) a prime number?
False
Let h = 84147 + -42496. Is h a composite number?
False
Suppose 8*p - 847 = -m + 4*p, -3*p = -4*m + 3350. Is m prime?
True
Let j = 279 - 182. Is j a prime number?
True
Let w(i) = 14*i**2 + 15*i + 59. Let o(n) = 5*n**2 + 5*n + 20. Let r(m) = 11*o(m) - 4*w(m). Let f be r(-6). Is 539/f*(-4)/2 composite?
True
Let o(y) be the second derivative of -y**4/12 - 4*y**3/3 + 3*y**2/2 - 2*y. Let k be o(-7). Let w = k - -45. Is w prime?
False
Let s be ((-374)/6 - -1)*(24 - 21). Let j = s + 1433. Is j prime?
True
Let l = 21669 - 6700. Is l prime?
True
Is (-1)/(-8)*-3 + 8647730/688 a prime number?
True
Suppose -2*z - 8 = 3*z - 3*r, 2*z - 2*r + 4 = 0. Let y = z - -6. Suppose -h + c = -63, 72 = 2*h - y*c - 69. Is h a prime number?
False
Suppose 5*j = 1220 + 80. Let z be 1/(2 - 1)*(-11 + 11). Suppose -d + j = 4*k, z = -k - 2*k + 5*d + 195. Is k composite?
True
Let y(l) = 11*l**2 + 11*l - 9. Let j(r) = -r**2 + r - 1. Let b(o) = -6*j(o) + y(o). Let h be b(6). Is (0 - -1)/(9/h) a composite number?
False
Suppose 5*n - 51919 = 4*j - 9634, 2*n = -j + 16927. Is n a prime number?
True
Let j = 66 + -61. Suppose -4*k + 178 + 1010 = 4*y, k - j*y = 303. Is k prime?
False
Suppose -2*f + 3*f + d - 10 = 0, 2*d + 2 = 0. Let v = f + 41. Let y = 243 - v. Is y a prime number?
True
Is (-8)/(-40) - (48387/(-15) + 3) a prime number?
False
Let u(j) = 5*j**2 + 3*j - 163. Is u(-12) a composite number?
False
Suppose -235*l + 236*l = -15. Let o(q) = -q**3 - 16*q**2 - 23*q - 33. Is o(l) a prime number?
False
Suppose 0 = 7*r - 12*r + 100. Suppose 310 = h + 4*h - 3*y, -4*y - r = 0. Is h a prime number?
True
Suppose 7*h - 3*h - 52 = 0. Suppose -11 = -4*c - u, -c + 3*u + 2*u = h. Is ((-3)/(-6))/(c/52) a composite number?
False
Let m be -4 + 11 + 3/(-1). Suppose 5*s - s + 827 = 5*z, 2*z - 338 = m*s. Is z prime?
True
Let f(s) = s**3 + 78*s**2 - 183*s + 7. Is f(-78) a prime number?
True
Let m = 1422 - 677. Suppose 9*i - 3*i = 30. Suppose i*a = 3*u + m, u = -3*u. Is a a prime number?
True
Let w(j) = 40*j**2 - 83*j - 108. Is w(37) prime?
True
Is (3/(-2))/((-96)/272512) composite?
True
Suppose -3*y + 46 = -x, -3*y + 47 = -0*x - 2*x. Suppose 0 = 2*g - 5*g + y. Suppose -g*r = -396 + 71. Is r composite?
True
Suppose 2*q = 3*q + 5*r + 50, 0 = 2*q - 2*r + 40. Let b = 36 + q. Is (-2)/b - 52180/(-220) a composite number?
True
Let v = -2 + 2. Let s(p) = 2*p**2 - 3*p + 1121. Is s(v) a prime number?
False
Let i(h) = 9097*h**2 + 4*h - 13. Is i(2) a prime number?
True
Let d(t) = 4*t + 5. Let x be d(-5). Let m be (-2)/(-6) - (-1160)/x. Let k = m + 300. Is k a prime number?
True
Let f(t) = 15*t**2 - 5*t + 1. Let g be f(-4). Is ((-276)/(-18))/(6/g) prime?
False
Let w(j) = j**2 - 4*j - 1. Let a be w(4). Let t(o) = 73*o**2 - 1. Let p be t(a). Let s = -37 + p. Is s composite?
True
Suppose 0 = -6*t + t - 25, 2*y = -3*t + 25003. Is y composite?
True
Suppose 5*n + 3*q = 9508 + 4812, 3*n = 5*q + 8558. Is n a composite number?
False
Let w be 1/(-2 - 1329/(-663)). Let x = w + 198. Is x a prime number?
True
Let g = -802 + 2800. Suppose -6*l = -3*l - g. Is (l/(-27))/(4/(-18)) composite?
True
Let l = 928 - -741. Is l prime?
True
Suppose -17*g + 16*g = -7355. Suppose g = 10*m - 5*m. Is m a composite number?
False
Suppose 3*y - 2636 = 4*p + 11672, -y + 3*p + 4761 = 0. Let k = y + -2133. Is k a prime number?
False
Let c = -1026 - -1486. Suppose -c = -a + 94. Is a a composite number?
True
Let y = 2 + -5. Let o(v) = -v**3 - v**2 - 2*v + 1. Is o(y) composite?
True
Let p(k) = -64*k**3 - 3*k**2 + 12*k - 4. Let m be p(-6). Let v = -5773 + m. Is v a prime number?
True
Let l be ((2 - 10398) + 2)/(10 - 11). Suppose -13*p + 11*p + l = 0. Is p composite?
False
Let j = -124 - -108. Let h(d) = -3*d - 6. Let q be h(6). Is (j/q)/((-2)/(-57)) a prime number?
True
Let a = 23 + -16. Let h be -2 + (a - 2) + 4. Suppose -2*v + h*v + l = 473, 0 = 4*l + 8. Is v prime?
False
Is (-10507)/(-49) + (-4)/(-7) a pri