 9 + 13*g**y. Is j(5) prime?
False
Let z = 9 + -6. Suppose 3 = -3*l - 0*l - z*u, -4*u = l + 10. Suppose -4*a + l*a + 418 = 0. Is a a prime number?
False
Let a(g) = 3*g - 2. Let i be a(-6). Let j be (-423)/(-4) + (-5)/i. Suppose -4*q = 3*l - 115, 2*l + l - j = 5*q. Is l a composite number?
False
Suppose -q = -4*q - 18. Let r be ((-9)/6)/3*q. Suppose -4*o = -r - 49. Is o composite?
False
Suppose 11*l - 12*l = -30211. Is l a prime number?
True
Let b be 6 + -3 - (4 + -8)*-1. Is 4/(-5 - -6) + b + 3262 a prime number?
False
Suppose -110 = -5*t - 10. Suppose m = 3*m - t. Is 6/m - (-4384)/10 prime?
True
Suppose 67 - 22 = -5*p. Let s(j) = -j**3 + j - 1. Is s(p) a prime number?
True
Suppose -5*g + 9 + 16 = 0. Suppose 5*y - y + 3331 = g*t, y + 1333 = 2*t. Is t prime?
False
Suppose 27*w - 24*w = 0. Suppose 2*j + 42 - 424 = w. Is j prime?
True
Let i = 65 + -39. Let k = 20 - i. Is (-1011)/2*4/k prime?
True
Let c(b) = 4*b + 23. Let r be c(-4). Suppose -r*n - 6770 + 37353 = 0. Is n a prime number?
False
Let m be (-3)/(-6) - 177/(-6). Suppose 0 = -u - 2, 5*t - 5*u + 0*u - m = 0. Suppose 4*x - 242 = 2*p, 10 = -t*p - 2. Is x a prime number?
True
Suppose 541 + 34041 = 2*t. Is t a composite number?
False
Is -1 + 135156/20 + (-3)/(-15) composite?
True
Suppose f - 2*v = -1887, -2*v - 9447 = 9*f - 4*f. Let r = f - -3346. Is r prime?
False
Let g = -282 - -913. Is g prime?
True
Suppose -2*m = -6*m + 3*a - 7, 5*m - 30 = -4*a. Suppose -22 = g - 0*s + m*s, -s - 19 = g. Is ((-10)/3)/(g/72) prime?
False
Suppose -s + 9*f - 5*f = -411, 4*s + f = 1627. Is s a prime number?
False
Let o(x) = x**3 - x**2 + 7*x - 6. Let y be o(5). Let p be (-64)/(-96) - 440/(-6). Suppose p = c - y. Is c prime?
False
Let q(g) = g**3 - g**2 - 7*g + 2. Suppose -2*v = -f - 1, -5*v + f = -3 - 7. Let b be q(v). Let l(d) = -447*d - 2. Is l(b) prime?
False
Let b = -17762 - -29229. Is b prime?
True
Let v = 107775 + -50260. Is v a composite number?
True
Let u be 43 + (3 - 4 - -3). Suppose -3*g - 19 = -2*p - 1, 5*p - u = -g. Is p a prime number?
False
Let v = -36 - -57. Suppose -5*r = -159 - v. Suppose k - 20 = -5*u, -4*k = -4*u - 20 - r. Is k a composite number?
True
Is 3/12*(0 - -21428) prime?
False
Suppose 5*u = -5*d, 0*u + 3*u - d - 8 = 0. Is u/(((-8)/(-178))/(0 - -2)) a prime number?
True
Let y(x) = x**2 - 18*x + 20. Let f be y(17). Let h(a) = 16*a**2 - 7*a + 4. Is h(f) composite?
False
Suppose 181158 - 7022 = 8*c. Is c a prime number?
True
Let i(t) = 200*t**3 + 4*t**2 + 15*t - 38. Is i(7) a prime number?
True
Let n(h) = 16*h + 351. Is n(-14) prime?
True
Let r be (-56952)/(-33) - (-2)/11. Suppose -i = i - r. Is i a prime number?
True
Let r = -3379 - -4934. Is r a composite number?
True
Let b(m) = 694*m**3 + 6*m**2 + 16*m - 7. Is b(4) a prime number?
False
Suppose 17*o - 16*o - 2605 = 0. Is o a composite number?
True
Let f(p) = -252*p + 5. Let l be f(-1). Suppose j - l = 650. Is j a composite number?
False
Suppose 0 = 2*k - 2*g - 4628, 4*g + 4550 = 5*k - 7015. Suppose 4*u = -5*t + 3257, -3*t = 2*u + 356 - k. Is t prime?
False
Let d be (21/(-14))/(6/2168). Let g = -385 - d. Is g a prime number?
True
Let u = 65 - 62. Suppose 2*r + 4*d = 2764, -u*r + d - 1660 = -5806. Is r a composite number?
True
Suppose 0 = -z - 5 - 2. Let d(t) = -t. Let a be d(z). Let y = 0 + a. Is y prime?
True
Let t(p) = 7*p + 1. Let z be t(-1). Let a = z + 8. Suppose -l = -a*l + 26. Is l prime?
False
Let t(j) be the third derivative of 3*j**5/20 + 17*j**4/24 - 19*j**3/6 - 22*j**2. Is t(7) prime?
True
Let v(m) = 11*m + 2*m**3 + 55 - 56 - 3*m - 2*m**2. Is v(6) prime?
False
Let t(k) = -456*k - 2. Let u = -31 - -30. Is t(u) a composite number?
True
Let q = -9 + -11. Let f = q + 24. Suppose 2*s = -f*p + 468, -2*s = -2*p - 0*s + 222. Is p a composite number?
True
Suppose 0 = 13*b - 5*b - 156232. Suppose -k - 2*x + 3913 = 0, -5*k + x + x = -b. Is k a prime number?
True
Suppose 5*v = -55 + 90. Suppose m + 2 - v = 0, -1412 = -3*i + 5*m. Is i composite?
False
Suppose -13*p = -16*p. Suppose 0 = -a - p + 3. Suppose 0 = -m - 2*y + a - 9, 0 = 2*y + 10. Is m prime?
False
Let o(y) be the first derivative of 1639/3*y**3 + 0*y + 0*y**2 + 1. Is o(1) composite?
True
Suppose 3238 - 88428 = -7*o. Is o/7 - 6/(-14) prime?
False
Let h = -6480 + 9701. Is h prime?
True
Let q(s) = -s - 1. Let k be q(1). Let t(v) = 2*v**2 + v - 1. Let p be t(k). Suppose 3*n = u - 382, -p*n = 4*u - 1172 - 441. Is u composite?
False
Let s(t) = t**3 - t + 6. Suppose -4*q = q. Let o be s(q). Is (-1478)/o*(-5 - -2) prime?
True
Let q = 93 + -107. Is ((-1673)/q)/((-3)/(-6)) prime?
True
Suppose 0 = 4*s - t - 3*t - 48, 3*s + t = 28. Let q = s - 6. Is q*2*(-460)/(-32) a composite number?
True
Let r = 4 - 23. Let i(c) = -c**2 - 22*c - 20. Is i(r) composite?
False
Let b(v) = 5*v**2 - v + 195. Let r(s) = -9*s**2 + s - 389. Let t(y) = -7*b(y) - 4*r(y). Is t(0) a prime number?
True
Is 4625 - (-20)/(-15)*3 a composite number?
False
Suppose 16298 = 9*f + 1565. Is f a prime number?
True
Let v = -4 - -72. Suppose -3*b + 169 = -v. Suppose 2*n = n, -2*n = -i + b. Is i composite?
False
Suppose -2666 + 861 = -5*c + 5*i, -5*c + i = -1785. Suppose 0 = 4*g + 5*h - 356, g + 3*g - 4*h - c = 0. Is g a composite number?
False
Suppose 0 = -3*r - 4*h + 1482, -5*r + h + 4*h = -2435. Suppose -g = -a - r, -5*g - 2*a + 1592 = -879. Is g prime?
False
Is (-1)/2 + ((-32802)/(-12) - -16) a prime number?
True
Suppose 4*t = 3*a + 339, -4*a + 0*t - 477 = 3*t. Let r = a + 168. Is r a prime number?
False
Let w(r) = 16*r**3 - 9*r**2 + r + 23. Is w(7) prime?
True
Let x(q) = 603*q**2 - 6*q. Is x(1) composite?
True
Let d = 629 - -278. Is d a prime number?
True
Let d be (6/(-4))/((15/6)/(-5)). Suppose 0 = -2*v + d*v - 863. Is v prime?
True
Let q be ((-20)/8)/(20/(-48)). Suppose q*w - 993 = 3*w. Is w a prime number?
True
Let y be 10/(2 + 0)*60/(-75). Is -1*3*(y - 369) - 2 composite?
False
Let w(v) = 415*v + 10. Suppose -2 = 2*m + 2*z + 2*z, -2*m + 4*z + 14 = 0. Is w(m) a composite number?
True
Let g = -5 - -7. Suppose -5*a + 3 - 5 = 3*b, 20 = 4*a - 3*b. Suppose q = -a*w + 17, 2*q + 2*w = -g*q + 86. Is q a composite number?
False
Let u(i) = 1433*i + 14. Let g be u(4). Let k = g + -1079. Is k a composite number?
True
Let a(g) = 144*g**3 + 2*g**2 + 4*g - 19. Is a(3) a composite number?
True
Let b(h) = -4*h**2 + 7*h + 4. Let o be b(-5). Let x = o - -522. Is x prime?
False
Suppose 3*b + 1 = -2. Let c be 14/7*(b - 105). Let t = c - -417. Is t a prime number?
False
Let x = 70 - 884. Let z(o) = 143*o**2 - o - 1. Let m be z(-4). Let q = x + m. Is q composite?
True
Let t(u) = 7*u**3 - u**2 + u - 30. Is t(7) a composite number?
True
Suppose -2*o = -5*b + 3998, 3*b + 0*o = 5*o + 2395. Suppose -8*x + 652 = -4*x + 4*f, 2*f - b = -5*x. Suppose p - x = 33. Is p composite?
False
Let l = 31422 + 1117. Is l composite?
True
Let k = 18 + -18. Let g(s) = s - 3. Let y be g(k). Is ((-2)/y)/((-14)/(-2961)) prime?
False
Let z be (-48)/(-22) - 6/33. Is 8/(-12)*(-177)/z a prime number?
True
Suppose 2*d + 7 = b - 1, -5 = d. Is (-4 + 12)/(-2) + (-238)/b composite?
True
Suppose -191*t + 194*t = 6. Suppose -t*v + 1448 = -2*w, 6*v - 2132 = 3*v - 5*w. Is v prime?
True
Suppose -2*q + 16 = -4*j, 0 = -q + 3*q + 3*j + 12. Suppose 5*i = -4*v + 1327 + 1358, q = -2*i - 3*v + 1067. Is i prime?
True
Let b be (-2)/3 + 59/3. Let l = b - 16. Is ((-127)/2)/(l/(-6)) prime?
True
Suppose -8*i - 19 - 45 = 0. Is 4 + (-4)/(-8)*i - -557 a composite number?
False
Let x = 3440 - 1519. Suppose -x = 4*c - 9245. Suppose 2274 = 5*v - c. Is v a prime number?
True
Suppose 534 - 94 = -3*v - l, -2*v - 265 = -5*l. Suppose -x + 86 = 2*k - 361, -5*k + 1116 = 2*x. Let m = v + k. Is m a composite number?
True
Let q = 8291 + -4474. Is q prime?
False
Let z(c) = 2 + 13*c**2 - 2*c - 3*c - 9*c**2. Is z(4) composite?
True
Suppose 0 = -7*h + 18*h - 35354. Is h a composite number?
True
Let x = 36084 + -19936. Suppose x = 3*y + h, 7743 + 3014 = 2*y - h. Is y a prime number?
True
Suppose 143506 + 21862 = -14*l. Is ((-15)/(-30))/((-2)/l) prime?
True
Suppose 3*s - 24 = -18. Is (-9864)/(-3) + s - 3*-1 prime?
False
Suppose -5*w + 436 = -4*m - 476, 2*m = -2*w + 354. Suppose s - 3*k - w = -2*s, -s - 3*k = -52. Is s composite?
True
Suppose 2*f - 5*t - 8 = 25, -4*f + 31 = -3*t. Let j be 189/f - (-12)/16. Suppo