 g. Is m a prime number?
False
Let d be 2*-1*15/30. Is 778 + d/(-3 - -2) prime?
False
Let l(b) = 169*b + 9. Let i be 2/(((-2)/6)/(2/(-6))). Is l(i) prime?
True
Suppose 6 + 36 = -6*y. Let t(r) = -17*r - 1. Let n be t(-1). Let d = y + n. Is d composite?
True
Suppose -2*p + 12 = 4*n, 4*p + 5*n = -3 + 24. Let d(y) = -p*y - 42*y + 11*y - 7 - 14*y. Is d(-6) a composite number?
True
Suppose 0 = 4*n - n - 594. Suppose -2*r = -n - 64. Is r composite?
False
Let r be 99/(-15) + 4/(-10). Suppose 2*x + 2*x + 191 = -5*h, -3*h - 4*x = 121. Is (-145)/r - 10/h prime?
False
Let o be -1 + (-4*1)/(-2). Let n be (o - -1)/((-2)/14). Is 92*(n/8 - -3) prime?
False
Suppose 2*d - 10 = d. Let a(z) = -z + 13. Let v be a(d). Suppose t + 74 = v*t. Is t composite?
False
Let p be 74/(1/((-51)/(-6))). Suppose 0 = a - 0*f - 2*f - 380, 3*a - 1133 = -f. Let m = p - a. Is m a composite number?
False
Let w(a) = -a**2 - 5*a + 5. Let n be w(-5). Let z(r) = -6*r**2 + 5*r + 1. Let y be z(n). Let q = 35 - y. Is q composite?
True
Suppose -3*n = -4*q + 827, -n = 5*q - 5*n - 1033. Suppose 0 = -8*r + 5*r - 3*k - 363, 5*r + k + 601 = 0. Let m = q + r. Is m a composite number?
False
Suppose 3*a - 5*a = -4*y + 12, 3*a = -3*y + 9. Is 1152 - -2*y/(-6) a prime number?
True
Suppose -2*h = 4*h. Suppose -a + 3*a + 3*r - 333 = 0, -2*r + 10 = h. Is a composite?
True
Let t = -1627 - -10770. Is t prime?
False
Let j = 11 + -8. Suppose 0 = -2*a + j*a - 2334. Suppose -g - a = -3*g. Is g prime?
False
Suppose s = -2 - 20. Let a be (-62)/s - 14/(-77). Suppose -u + 996 = a*u. Is u a prime number?
False
Let i(l) = -26*l**3 + l**2 - 2. Let p be i(-2). Suppose -m - 153 = -4*u, -5*u = -3*m - 2*m - p. Is u a prime number?
True
Suppose -33*d = -18*d - 265605. Is d a composite number?
False
Let w = 11110 + 2701. Is w a prime number?
False
Let t = -6 - -6. Suppose 5*k - 990 - 1255 = t. Is k composite?
False
Suppose 4*q + 2 = -2. Let r = q - -50. Is r a prime number?
False
Suppose -17*l + 18*l - 1 = 0. Is (397/4)/(1/12*l) composite?
True
Let n(r) = -r - 3*r + 5*r**3 + 1 + 3*r - 4*r**2. Is n(5) a prime number?
True
Let n be 22/121 + (-106)/(-22). Suppose -2*f + n*f + 6253 = 5*h, 4*h - 5016 = -f. Is h a composite number?
True
Let c(y) = 3*y**3 + 14*y**2 + y + 4. Let b(a) = 4*a**3 + 13*a**2 + a + 3. Let t(l) = -5*b(l) + 6*c(l). Is t(8) composite?
True
Suppose 76*m - 73*m = 10020. Suppose -5*d + 5*w + m = 0, -2*d = 3*d + 5*w - 3370. Is d a composite number?
True
Let l be (-17)/((1 - 4)/3). Let g = -4 + l. Is g a composite number?
False
Is (9/((-27)/2))/(2/(-52971)) composite?
False
Is -3*(-3)/(-9)*-6779 + 0 a prime number?
True
Let u = -26877 - -40784. Is u a composite number?
False
Let a(h) = 282*h**2 + 3*h - 11. Is a(6) composite?
False
Let b = -2 - 2. Is ((-7)/(-49) - (-6087)/(-28))*b a composite number?
True
Let a(y) = y**2 - 6*y - 3. Let c be a(7). Suppose -c*h - 20 = -t, -9 - 11 = 5*t. Let s(l) = -34*l + 7. Is s(h) a prime number?
True
Suppose 13*p = 175738 + 34823. Is p composite?
True
Suppose 5*o - o = -8, 3*a + 2*o - 6455 = 0. Is a composite?
False
Let d = -7582 - -19479. Is d prime?
True
Suppose 7*l = 11*l - 18764. Is l composite?
False
Let j(u) = 487*u**2 - 8*u - 11. Is j(-4) composite?
True
Let i(g) = -g**3 - g**2 - 10*g + 25873. Is i(0) a prime number?
True
Is (74/6)/(73/3723) composite?
True
Let c be 2/9 + 8/(-36). Suppose 404 = -c*h + 2*h. Suppose 5*y - h = 363. Is y a composite number?
False
Let q(u) = -175*u + 13. Is q(-16) prime?
False
Let l(v) = -v**3 + 4*v**2 - v - 6. Let n be l(3). Suppose 3*q + 3*k - 3507 = n, 4*q - 4678 = -0*k - 3*k. Is q a prime number?
True
Suppose 0 = -5*a + 7*a - 12. Suppose 5*k - a*k = -1333. Is k a composite number?
True
Suppose 24 = -5*a + 79. Let d be (2/(-1))/(a/(-22)). Is (-1)/d + (-2058)/(-8) a composite number?
False
Let z be (-4)/16*-4*-3. Is 0 - (z - 6960)/3 a composite number?
True
Suppose -u - 24*r + 4738 = -25*r, -3*u + 14174 = 5*r. Is u a composite number?
False
Let n(g) = 121*g**3 - g**2 + 2*g - 1. Let d be n(1). Let w = d + 90. Is w a composite number?
False
Suppose -2*h - 356168 = -4*f, -f + 15506 + 73525 = 5*h. Is f a composite number?
False
Let i(w) = 480*w**2 + 1. Let y = -4 - -1. Let j = y - -4. Is i(j) prime?
False
Let c = 274 + -59. Suppose 2*i + 3*r = 143 - 7, 3*i - c = r. Is i a composite number?
False
Let g(q) = 2223*q**2 - 29*q + 53. Is g(2) a prime number?
True
Is 5*(4 - 10236/(-15)) + 5 a composite number?
True
Let f be 4/6*9/2. Suppose -f*r = 7*z - 5*z - 15, 0 = 2*r - 2*z. Suppose r*k - 6 + 0 = 0. Is k a composite number?
False
Suppose -5*o + 1048 = -o. Suppose m + 1055 = -o. Let t = -200 - m. Is t composite?
False
Let l = -44 + 48. Suppose -947 = -l*w + 545. Is w prime?
True
Let k(w) = 3*w**2 - 2*w**3 + 14 + 2*w - 7*w - 13 - 6*w**2. Suppose -4*r + 9 + 20 = -5*p, -3*p - 5*r - 10 = 0. Is k(p) composite?
True
Let v = -173 - -364. Is v a prime number?
True
Let r(v) = -4*v + 3*v**2 + 9*v**3 + 5*v + 2 + 2*v - 6*v. Is r(3) a prime number?
True
Let x = -8 + 9. Let z = 3 + x. Suppose 739 = z*u + 5*d, 3*d = d + 6. Is u a prime number?
True
Is 2*(4/22 - 9642497/(-506)) prime?
True
Let v = -425 - -908. Suppose -14*h - 6 = -17*h. Suppose -w - h*w = -v. Is w composite?
True
Suppose 3*g = 3*u + 10875, 2*u = 5*g - 8156 - 9969. Let l = g + -1290. Is l a prime number?
False
Let x(q) = 23*q**3 - 10*q**2 + 14*q + 2. Is x(6) composite?
True
Suppose 17*n - 8 = 13*n. Suppose 831 = n*z - 2003. Is z composite?
True
Let o(z) = 263*z - 5*z**2 + 1 + 2*z**2 - 4*z**3 - 260*z. Is o(-6) composite?
False
Let r = -11 - -1. Let h(v) = 12*v**2 - 10*v**2 + 15*v + 13 + 8*v**2. Is h(r) prime?
True
Suppose 3*r + s = 97, r + 2*s = 4*s + 30. Is ((-39)/(-4))/(12/r) prime?
False
Let c(g) = -30*g**2 + 22*g + 42. Let y(m) = 15*m**2 - 11*m - 21. Let p(i) = 2*c(i) + 5*y(i). Is p(-5) prime?
True
Let x(o) = 115*o + 198. Is x(13) composite?
False
Let u(z) = -4*z + 16. Let y be u(2). Suppose -y*f + 1327 + 409 = 0. Is f a composite number?
True
Let o(y) = -1454*y + 33. Is o(-7) a prime number?
True
Suppose 4*n = 4, 0 = -3*h + 5*h - 3*n - 2411. Is h prime?
False
Suppose -5*y = -11 - 14, 5*h - 5*y = 4020. Is h prime?
True
Suppose 0 = -2*o - 0*o + 12. Suppose 3*l - 3*m = -o, -5*l - m = 31 - 9. Is 3786/10 + l/(-10) a prime number?
True
Suppose -373514 = -23*f + 218943. Is f composite?
False
Let u(j) = 2*j + 31. Let k be u(-13). Suppose k*z - 424 - 1371 = 0. Is z composite?
False
Let v(y) = -233*y - 29. Is v(-2) prime?
False
Let g = -19500 - -61117. Is g composite?
False
Let y = -13715 - -19222. Is y prime?
True
Let v(b) = 11 + 4 - 8 - 8*b + b**3. Is v(12) a composite number?
True
Let u be (0 + 89)*(-17)/((-102)/336). Suppose 5*y + 549 = u. Is y prime?
True
Let l = -645 - -1276. Is l a composite number?
False
Let b(w) = -4*w - 3 + 5*w**2 + 5 - 4*w**2 - 1. Suppose 0*r - 2*r - 6 = 0. Is b(r) a composite number?
True
Let t = -16005 + 39329. Let i = -16255 + t. Is i a prime number?
True
Let m(q) be the first derivative of -22*q**2 + q - 1. Let x be (-4 + (-10)/(-4))/(4/16). Is m(x) a prime number?
False
Suppose 2*p - 8 + 0 = 5*x, -5*x - 6 = -4*p. Let t be -7 + 7 + p*4. Is (-16)/t - (0 + -583) prime?
True
Suppose 6*m - m = 3680. Suppose 12 = -3*a, 0 = 3*w + 2*w + 2*a + 13. Is -6 + (2 - w) + m a prime number?
True
Is (22 - 19)*6326/6 composite?
False
Suppose -4*h - 4*b + 11189 = 969, 5*h + b = 12771. Is h a prime number?
False
Let a(w) = -3*w - 5. Let f be a(-5). Suppose 0 = -6*x + f*x - 204. Is x a prime number?
False
Suppose -23*i - 151216 = -39*i. Is i prime?
False
Let f(a) = 49*a**3 + 15*a**2 - 8*a + 33. Is f(7) prime?
True
Let q(m) = -421*m + 185. Is q(-38) a prime number?
True
Let j = 864 - 241. Let g = 1590 - j. Is g a prime number?
True
Let k(c) = 2*c**2 + 4*c + 1. Let d(v) = -2*v**2 - 4*v - 1. Let g(l) = 2*d(l) + 3*k(l). Let x be g(-3). Is (331/2)/(x/14) a prime number?
True
Let i(u) = -u**2 - 7*u - 5. Suppose -b + 5*h - 7 + 4 = 0, 0 = -2*b + 2*h - 6. Let d be i(b). Is d/((-7)/(-135)) + -2 a composite number?
True
Suppose -t + 5*t - 2*a = 6, 9 = 3*a. Suppose 0 = r - 5*h + 8, 7*h - 6 = r + t*h. Suppose 0 = 2*n + r*n - 204. Is n composite?
True
Let u(j) = -j**3 + 10*j**2 - 11*j + 22. Let w be u(9). Let l be 2*(0 + (-5)/(-2)). Suppose 1240 = 5*d + 3*o, -l*d + w*o + 147 + 1128 = 0. Is d composite?
Fal