15 + k**4/8 - 2*k**3/3 + k**2. Is v(q) composite?
True
Suppose 11*n = 12*n - 157. Is n prime?
True
Is 81/(-189) - 2740/(-7) composite?
True
Let s = 10 - -1. Let k = 10 + s. Is k a composite number?
True
Let g(n) = -n + 15. Let k(t) = 9*t**2 + 2*t + 1. Let v be k(-1). Is g(v) a prime number?
True
Suppose -b = -2*b + 4. Suppose s - b = -4*p + 2*s, 0 = -s + 4. Is p a prime number?
True
Let k = 79 - 267. Let z = k - -411. Is z a prime number?
True
Let r(m) = 38*m - 32. Let y(q) = -19*q + 16. Let g(t) = 4*r(t) + 9*y(t). Is g(-17) prime?
False
Let m(d) = 211*d**2. Is m(1) prime?
True
Let t = 39 + -64. Let k be (-245)/t + (-1)/(-5). Suppose -5*v - 464 = -k*v - 3*a, 0 = -3*v - 4*a + 285. Is v a composite number?
True
Suppose x - 53 = -2*v, 0*v = 2*v - x - 47. Is v prime?
False
Let x = -6 - -9. Suppose -3*a - 5*g = -83, -3*a - 2*a + x*g = -161. Is a a prime number?
True
Suppose 2*i = 3*z - 4779, -5*z + 4*z - i + 1588 = 0. Is z a composite number?
True
Let z(b) = b**3 + 12*b**2 + 16*b + 15. Suppose -3*r + 10 = -4*r. Is z(r) composite?
True
Let j = -19 + 54. Is j prime?
False
Suppose 26 + 38 = 2*f. Let n = 101 + f. Is n a prime number?
False
Suppose 0 = 5*a - 5*c - 5, -c + 0*c + 14 = 4*a. Suppose 5*t + 242 = z, a*t - 419 = -2*z - 0*t. Is z a composite number?
True
Let y = 11357 - 5719. Is y prime?
False
Let u = 6533 - 2424. Is u prime?
False
Suppose -2*w = -0*w + 3*v - 1042, 0 = -w - 3*v + 515. Is w a prime number?
False
Suppose -476 = -3*w - w. Suppose w = 5*p - g, 63 + 33 = 4*p - g. Is p a composite number?
False
Let i(f) = -4*f**2 + 3*f + 2. Let o be i(5). Is 2 - ((0 - 0) + o) a composite number?
True
Let p(w) = 12*w - 22. Is p(13) a prime number?
False
Suppose 0*i - 398 = -2*z + 3*i, -1002 = -5*z + 4*i. Suppose 534 = 4*f + z. Is f composite?
False
Suppose 0 = -6*v - 12 + 150. Is v a composite number?
False
Suppose 2098 = 3*t - 8*s + 7*s, -3*t + 2118 = 3*s. Is t prime?
True
Suppose 6 = 4*z - 5*k, -3*z + 10*k - 5*k + 7 = 0. Is -1 + 119 - (4 + z) a prime number?
False
Suppose 5*j - 13 = -0*j + h, -j + 5*h = 7. Is j a prime number?
True
Suppose 0 = 2*l + 6*c - 4*c + 4, c = 4*l - 17. Is 138/(-4)*(-10)/l a prime number?
False
Let m(j) = -j**2 - 4 + 0 - 5*j - j. Let y be m(-4). Is (-6)/y*-10 - 1 a prime number?
False
Suppose -3 = -m - 1. Suppose m*o - 6*o = -88. Is o prime?
False
Let b be 4/6*-3 - 115. Let a = -71 - b. Is a prime?
False
Let q = -8 - -10. Let z(j) = -j**2 + j - 2 - 3 + 1 + 7*j**q. Is z(-3) prime?
True
Is -4 - (-3 - -2) - -134 composite?
False
Is (1245 - 4/(-4)) + 3/3 prime?
False
Let r = 43 + -75. Is (-2)/((r/(-340))/(-4)) a composite number?
True
Let k(f) = -197*f - 32. Is k(-7) composite?
True
Let l(h) = 5*h**2 + h + 9. Is l(5) composite?
False
Let z be 1 - (1 - (-2 - -4)). Suppose 3*i = -4*v + i + 230, -v + 59 = z*i. Is v prime?
False
Let w(s) = 0 - 2*s**2 + 11*s**2 - 4. Is w(-3) a composite number?
True
Is 108*21/14 - (0 - 1) a prime number?
True
Let q(i) = 37*i - 4. Let y be q(4). Suppose -y = -l + 5*l. Let r = l - -71. Is r prime?
False
Suppose 0 = k - 0*k - 59. Is k prime?
True
Suppose -3*v = -3*u - 33, -4*v + 57 = v - 3*u. Let n = -25 + 44. Let z = v + n. Is z composite?
False
Suppose -q + 6 = -4*q. Let d be 20 + 0 + 0 - q. Suppose -d = -2*y + 8. Is y composite?
True
Let t(m) = -88*m**3 + m**2. Is t(-1) a prime number?
True
Let q = -538 - -4527. Is q a prime number?
True
Let r = 10 + -6. Suppose -5*v + 7*l + 585 = 2*l, r*v - 2*l - 472 = 0. Is v a composite number?
True
Let l be (-198)/10 - (-3)/(-15). Let k = 14 + l. Is (k/(-8))/((-3)/(-156)) composite?
True
Is (-303 - -5)*(-1)/2 a prime number?
True
Let m be 8/((-1 + 2)/(-1)). Suppose o + 34 = 12. Let j = m - o. Is j composite?
True
Let m(k) = 142*k**2 - 14*k + 17. Is m(5) a composite number?
True
Suppose -4 = o + 5*j + 11, -12 = -4*o - 2*j. Suppose o*c - 4*n - 25 = 732, 0 = -3*c - 2*n + 441. Is c a prime number?
True
Let b(o) = -3*o**3 + 44*o**2 + 23*o - 32. Let f(i) = i**3 - 15*i**2 - 8*i + 11. Let r(x) = 6*b(x) + 17*f(x). Suppose -36*q - 9 = -37*q. Is r(q) prime?
True
Let p(y) = y**2 - 9*y + 3. Let l be (-1)/(78/27 + -3). Let r be p(l). Suppose 0 = -t - r*i + 50, -5*t + 185 = 4*i - 2*i. Is t composite?
True
Let b(p) = p - 3. Let q be b(7). Suppose 5*d + i - q*i - 577 = 0, -2*d + 4*i = -242. Is d a prime number?
True
Let b(x) = -21*x**3 + 5*x**2 + 6*x + 9. Is b(-4) a prime number?
True
Suppose -393 = -0*x - 3*x. Let y be (-4)/(-12) - (-560)/(-6). Let b = y + x. Is b prime?
False
Is (-79710)/(-170) + 4/34 a composite number?
True
Let t = -79 + -12. Let w = 39 - t. Suppose 2*r - w = -0*r. Is r composite?
True
Is ((-14412)/(-18))/(0 - 2/(-3)) prime?
True
Suppose 4 - 1 = 5*r - x, 3*r + 2*x = -6. Let y(w) = -w**2 + w + 2. Let i be y(r). Suppose 3*l + 152 = p, i + 301 = 2*p - 5*l. Is p a composite number?
False
Suppose 0 = 5*w + h - 20, -h + 28 = w + 4*h. Is 1 - (5 - w) - -5 prime?
False
Is (-22)/88 + 717/4 prime?
True
Let v(c) = -4*c - 2*c + 2*c**3 - 3*c**2 + 3*c + 1. Let i(r) = -r**2 - 9*r + 14. Let k be i(-10). Is v(k) composite?
True
Let a be 4/22 + (-6)/33. Suppose a = -o + 5*o. Suppose o = 4*t - 0*t - 136. Is t composite?
True
Suppose 5*l = 10 + 5. Suppose q = -l*q. Suppose 163 - 523 = -5*c - 5*t, -5*c + 5*t + 330 = q. Is c composite?
True
Suppose 0 = -0*o + 4*o - 4. Is 1*(33 + (3 - o)) prime?
False
Let g(s) = -2*s. Suppose 6 = -3*m + 3. Let y be g(m). Is y*(3 + -1 + 1) prime?
False
Let p be (-4)/14 - (-32)/14. Suppose -p*u + 3 + 3 = 0. Suppose -u*b + 2*t + 65 = 0, -4*b - 3*t + 64 = -0*b. Is b prime?
True
Suppose -c + 8 - 34 = 0. Is c*(-3 + 10/4) prime?
True
Let x be (1 - (0 + 0)) + 5. Suppose -4*a = -2*a + x, -4*o = -2*a - 50. Is o a prime number?
True
Let h(f) = 4*f**2 + f - 5. Let o be h(-3). Suppose x = 4*x - 2*c - 23, -c = 3*x - 29. Let j = x + o. Is j prime?
True
Let p = -4 - -8. Suppose 5*a = 4*g - 12, -a = -0*g + p*g - 12. Suppose 4*z = 2*l + 2, -l - g*z + 19 = -0*l. Is l a composite number?
False
Let t = -46 + 18. Let y = t + 105. Is y a composite number?
True
Let l(p) be the third derivative of p**6/60 - 7*p**5/60 - p**4/24 + 7*p**3/6 - p**2. Suppose 0*b - 30 = -4*g + 2*b, -3*b = 3*g. Is l(g) composite?
True
Let u = 73 + -20. Is u composite?
False
Suppose -3*i = -367 - 395. Is i prime?
False
Let l = 18 - 20. Is (-22 - -2)/l + 3 a prime number?
True
Suppose -k = -79 + 21. Is k a prime number?
False
Suppose -f + 22 + 25 = 0. Let z = 196 - f. Is z a prime number?
True
Suppose 0 = -r - 3*j + 332 + 243, 0 = -r + 4*j + 589. Is r composite?
True
Let q = -149 + 92. Let w = q + 220. Is w prime?
True
Let l(s) = -s**3 + 4*s**2 + 8*s - 7. Let y be l(5). Suppose y = v + 4*z - 15, -2*v - 3*z + 56 = 0. Is v a prime number?
True
Let q be (-2)/(-4)*1*-2. Let r be 12/q*(-4)/8. Suppose 0 = -3*k + r. Is k a composite number?
False
Let x be -2*-1*(1 + 0). Suppose -4*q - 6 = -x*q. Is (2 - q*3) + 2 a composite number?
False
Let z(p) = 96*p - 1. Let k be z(2). Suppose k = 2*t - t. Is t prime?
True
Let p(n) = 2*n**2 - n - 1. Let j be p(-1). Suppose 2*h + 432 = j*o - 0*o, -5*o = -3*h - 1088. Suppose -2*u + 6*u - o = 0. Is u a prime number?
False
Let z(p) = p**3 - 3*p**2 + 7*p - 2. Let t = 7 + -2. Suppose t*n - 5 = x, -4*x - 3*n = -6 - 20. Is z(x) prime?
True
Let p(q) = -18*q**3 - 2*q - 3. Is p(-2) composite?
True
Let h be ((-5)/(-2))/(30/72). Let r(u) = 3*u**2 - 4*u - 5. Is r(h) a prime number?
True
Let l be -2 + (-5 - 1) + -1. Is 1155/6 + l/6 composite?
False
Let q(h) = -h**3 + 6*h**2 - h + 5. Let w be q(6). Let a be 55/(-30) + w/6. Is -159*(1 - a)/(-9) prime?
True
Let z = 1 + 76. Is z composite?
True
Suppose 40 = 3*a + 2*a. Suppose 2*o - 162 + a = 0. Is o prime?
False
Let z(i) = -4*i - 9. Let s(n) = n**2 + 5*n + 10. Let f(x) = 2*s(x) + 3*z(x). Let t be (-1 + 6)/((-3)/3). Is f(t) a prime number?
True
Suppose -4*t - 3*k + 192 = -t, 0 = -2*t + 5*k + 114. Let z = 5 + t. Is z a prime number?
True
Let d be (-3 - -2) + -5 - 1. Is d/(-3)*99/3 prime?
False
Is 1572/4 + 3/(9/3) prime?
False
Suppose 5*n - j - 190 = 0, -3*j + 8 - 171 = -4*n. Is n prime?
True
Suppose 43 = 5*p - 1297. Suppose 0*r - 4*r = -p. Is r a composite number?
False
Let k(d) = -d**2 + 5*d. Let h be 2 - (-4 + 1 + 1). Let r be k(h). Suppose 4*l + o = 37, -r - 1 = l + 5*o. Is l composite?
True
Let n(g) = g**3 - 4*g. Let d be n(3). Sup