 -12. Is q a prime number?
True
Suppose -3*h + 2 = 2*j, h - 1 + 3 = -2*j. Let q(n) = h*n - n**2 + 6*n**2 + 3 - n**2. Is q(-3) a composite number?
True
Let m(n) = n + 10. Let c be m(-15). Suppose -5*z + 11 = -14. Is 489*(z/(-3))/c a composite number?
False
Suppose -2*o = -5*c - 2229 - 1117, 0 = 5*o - 3*c - 8384. Is (-13 + 17)*o/4 a prime number?
False
Suppose 4*j - 5*l - 3 = 0, -j + 2*l + 1 + 2 = 0. Let p be (2 - 4) + 3 + j. Is (-3)/(p - -5)*-159 composite?
True
Let i(r) = -3*r - 12. Suppose 2*o - 24 - 4 = -4*x, 3*x - o = 16. Let g be i(x). Let j = g + 52. Is j prime?
False
Suppose 0 = -21*j - 19412 + 84071. Is j a prime number?
True
Let y be 1 - ((-9)/(-7) + (-16)/56). Is (-5859)/(-28) - (2/8 + y) a composite number?
True
Let q = -70 - 258. Let y = 118 + q. Is (-4)/2 - y/2 composite?
False
Suppose -3*o + 6*o - 15 = 0. Let c = o + -1. Suppose 4*u - 2*j = 314, 0*u - c*j = 4*u - 296. Is u a prime number?
False
Suppose -15*i + 16109 = -1696. Is i a prime number?
True
Suppose -10*p - 3814 + 18524 = 0. Is p a composite number?
False
Let m(s) = s**2 - 7*s - 4. Let b be m(6). Let c(p) = -p - 6. Let y be c(b). Is (-1068)/(-8)*y/3 prime?
False
Let o(d) = 7 + 8 - 2*d - 1. Let r be o(6). Suppose -34 = -r*c + 10. Is c a prime number?
False
Let t = 11 - 8. Is 1 + 1439 + t + -6 prime?
False
Let c = -74184 + 105305. Is c composite?
False
Suppose -6 = -4*c + 6. Let g be ((-398 - c) + 2)*-1. Suppose 0*s + 3*s = g. Is s prime?
False
Let x = -15 + 23. Is ((-2972)/(-8))/(4/x) prime?
True
Let k(v) = -226*v + 27. Suppose -3*i - 5*b - 29 = 0, -4*b + 4 = -i - 0*b. Is k(i) prime?
False
Suppose -3*c + c = -658. Let y(m) = -22*m + 34. Let g be y(7). Let s = c - g. Is s prime?
True
Let p = -2082 - -18869. Is p a composite number?
False
Is 4986 + (-2 - (5 - 6)) a prime number?
False
Let r = 384 - 717. Is (-10)/(-6 - -1) - r prime?
False
Suppose c = 3*c. Suppose c = 5*m - 5. Is 3 + 1212/4 + m a prime number?
True
Suppose 0 = 9*r - 5*r - 1596. Let k = r - 196. Is k a prime number?
False
Suppose -5*a = -7 + 27. Let h be -2*12/(-8) - 4. Is 217/21*(h - a) a prime number?
True
Let l be (-33)/((-69)/(-78) - 1). Suppose -5*z - l = -3*u, 0 = 3*u - 0*u - 3*z - 288. Is u composite?
False
Suppose 5*k + 3311 = 10821. Is k a prime number?
False
Let m(s) = -s**3 - 6*s**2 - 6*s - 1. Let q be m(-5). Let f(c) = -672*c**3 - 3 + 356*c**3 + 341*c**3 + 6*c**2. Is f(q) a prime number?
True
Let o(w) = -w**3 + 9*w**2 - 8*w + 17. Suppose 0 = 2*k + 3*r - 8*r + 6, -r = -4. Is o(k) prime?
True
Let o = 10148 - -3023. Is o a prime number?
True
Suppose -6*x + 8*x = -2*p + 8092, x = -5*p + 4034. Is x composite?
False
Let t be 8 + -27 + 2/2. Is (-8)/72 - 8480/t prime?
False
Let l(g) = -g**2 - 9*g - 5. Let w be l(-7). Let z(f) = 28*f**2 + w*f**2 + 4*f + 0 + 2. Is z(-2) a prime number?
False
Suppose 2*o + 0 - 20 = 4*n, 0 = -4*o + 4*n + 28. Suppose o*m = 5*x - 271 + 80, -4*x + 132 = 2*m. Is x a composite number?
True
Is (4 + ((-1575)/(-20))/(-7))*-692 a prime number?
False
Let m be (-2)/(-3) + 638/6. Let k = 930 + m. Is k composite?
True
Let h be 3 - 2 - (5 + -26). Let o = -20 + h. Is -2 + (0 - o) + 413 prime?
True
Let f = 72 - 45. Let s = f + -19. Is ((-10)/s)/((-1)/44) composite?
True
Suppose 0 = -4*l + 4*a + 12, -a = l - 0*a - 3. Suppose 4*y - 2*z - 12 = -z, 0 = y - z - l. Suppose 0 = 3*i - 2*p - 563, -y*i + 4*i - 211 = -4*p. Is i prime?
True
Suppose -49721 + 301047 = 53*y. Is y prime?
False
Let r(c) = -2*c + 21. Let o be r(9). Suppose 2*x - 412 - 142 = -o*t, 0 = -2*t. Is x a prime number?
True
Let h(r) = -5*r**3 - r**2 + r + 11. Let j(n) = -11*n**3 - 3*n**2 + 2*n + 23. Let y(m) = -13*h(m) + 6*j(m). Is y(-6) composite?
False
Is ((-55)/(-66))/((-2)/(-26436)) composite?
True
Let l(y) = -y**3 - 3*y**2 - 9*y - 9. Let k be l(-9). Let u = -13 - -15. Suppose -2*p = -5*f - k, f = -u*p - 2*f + 590. Is p a prime number?
False
Suppose 0 = 5*o + 5*q - 9*q - 129737, o + 4*q = 25933. Is o a composite number?
True
Let r(u) = 2*u**2. Let i be r(5). Let p(m) = -2*m + 72. Let a be p(34). Suppose 4*s - i = 2*s - a*o, 3*s - 55 = 4*o. Is s prime?
False
Suppose -q + 26 = q. Suppose -68 = 11*c - q*c. Is c a composite number?
True
Let k be 10520/24 - (-2)/(-6). Is -1*(-4 - (k + 1)) a composite number?
False
Let t be 10/((-8)/(16/(-4))). Suppose 5*l = t*o, -5*l + 4*l = o. Is 3 - ((o - 3) + -4) prime?
False
Let s(n) = n**3 - 8*n**2 - 7*n - 8. Let f be s(9). Let d be (222/f + -1)*25. Suppose -105 = -5*j + d. Is j a prime number?
True
Let o(i) = 0*i + i + 13 + 10. Let l be o(-18). Suppose 4*w = -l*x + 829, w - 5*w = -5*x - 859. Is w composite?
False
Let j = -796 - -7653. Is j prime?
True
Suppose 2*g = 4*s + 3022, -11*s = -6*s. Is g a prime number?
True
Let p(x) = -2*x**3 + 3*x**2 + 6*x - 2. Let d(l) = 6*l + 1. Let b be d(-1). Is p(b) a composite number?
False
Let i = 4304 - -2243. Is i prime?
True
Is 3431 - 17/(102/(-12)) composite?
False
Suppose 1111 = m + 3*g + 47, g + 1076 = m. Is m prime?
False
Suppose 35 = 10*y - 3*y. Suppose -2*a - 22 = -2*f, -4*a + a = f + y. Is f a prime number?
True
Is (12 - 16)*(-26326)/4 - -1 composite?
True
Let r be (2/(-3))/(2/9). Let h be (1/r)/(13/(-78)). Is (-3 - -136) + h*-1 composite?
False
Suppose -k + 154 = -156. Is k + 1/1*-3 composite?
False
Let r = 4 - -1. Suppose r*x - 2*x - 72 = 0. Suppose 11 = t - x. Is t a prime number?
False
Let r = 44 - 44. Suppose 0 = 2*t + 4*n - 7*n - 211, 2*t - 5*n - 201 = r. Is t prime?
True
Suppose 0 = 2*j + 4*s + 10, 3*s = j - 15 + 5. Is ((j - 0) + -2)*-67 a prime number?
True
Let s(t) = 33*t**2 + 32*t + 4. Is s(3) a composite number?
False
Suppose -5*r + 4*o = -318, -o + 60 = r - 0*o. Suppose 22 = 2*j + y, 6*j = j + y + r. Is 2*-3*(-66)/j a composite number?
True
Suppose -3*f - 141 = -13122. Is f composite?
False
Suppose 0*g - 27 = g + 3*m, -3*g - 57 = m. Let i(o) = -2*o - 17. Is i(g) a prime number?
True
Is 2/24*8*(-20943)/(-6) composite?
True
Suppose 4*a - 2*s = 39130, 21055 - 1502 = 2*a + 3*s. Is a prime?
True
Suppose -5*p = 5*c + 3855, 2*c - 4*c - 4 = 0. Let i = 2119 + p. Suppose 0 = 4*g + 5*o - 1681, -3*o = -4*g + i + 323. Is g a prime number?
True
Suppose -6*j = -4*j + 78. Let l = 14 - j. Is l a prime number?
True
Let k(c) = 7*c**2 + 4*c**3 - 7 + c - 5*c**2 - 2*c**3. Is k(5) prime?
False
Let a(n) = 41*n**2 - 12*n + 32. Is a(11) composite?
False
Let h(a) = a**3 + 12*a**2 - 13*a + 31. Is h(10) composite?
True
Let x(q) = -334*q**3 - 3*q**2 + q + 1. Suppose 0 = 5*k - 3*l + 14, 4*l = -5*k - 11 + 18. Is x(k) a composite number?
False
Let l = -13 - -14. Let d(r) = -r**3 + r**2 - 1. Let m be d(l). Let a(x) = -52*x**3 - 2*x**2 + 1. Is a(m) prime?
False
Let m(q) be the second derivative of -14*q**3 - 9*q**2/2 + 6*q. Is m(-2) a composite number?
True
Let o = 139 - 27. Is (797/(-4))/((-4)/o) prime?
False
Let b(m) be the second derivative of m**5/20 + m**4/12 - 7*m**3/6 - 9*m. Let y be b(6). Suppose y = f - 187. Is f prime?
True
Suppose -9*x + 4*x = -15. Let w(a) = 273*a - 4. Is w(x) a prime number?
False
Let l = 11 + -2. Let v be ((-6)/l)/(1/3). Is v*5/(10/(-9)) a composite number?
True
Suppose -o + 0*d = -2*d - 11289, -5*o - 4*d + 56389 = 0. Is o a prime number?
False
Let t(p) = -p**3 + 4*p**2 + 13*p - 2. Suppose -8*v + 28 = -20. Let w be t(v). Suppose -z + 85 = j, -2*j - w*z + 14 = -156. Is j prime?
False
Let q = -39 + 46. Suppose x + 4014 = q*x. Is x composite?
True
Suppose 0 = -2*j - 0*x - x + 11, 0 = -2*j + 4*x + 26. Let w = j - 4. Suppose w*u - 42 = 159. Is u a composite number?
False
Suppose -4*t = -50899 - 107737. Is t a composite number?
False
Suppose 4*y = 6*y - 4. Suppose -q - y*q = -10479. Is q a prime number?
False
Let i(x) = -7*x**2 + 3*x**2 - x - 2 - 26*x**3 + 6 + 0*x. Is i(-3) a prime number?
True
Let o be (-10)/3*-1*3. Let i be (4 + -21 - -1)*606/(-3). Is i/o + 1/(-5) a prime number?
False
Let l = 8 - 2. Suppose 2*a = l*a. Suppose 795 = 5*u - a*u. Is u prime?
False
Let r be (-6)/4*14/3. Let o = 13 + -10. Let d = o - r. Is d a composite number?
True
Let v = 847 + -508. Is v*-23*(-1)/(2 - -1) prime?
False
Let l(c) = -9*c**2 + 11*c + 16. Let s be l(-9). Is -9 - s - 0/2 a composite number?
True
Let o = -353 + 783. Let u = 147 - o. Let p = 10 - u. Is p a composite number?
False
Let s be -2 - (-3 + 3) - 0. Let b be 3 - (-180)/((-4)/s). Is b + 4 - (3 - 1) 