27 = -5*h, 2*h - 49 = -q. Is h a prime number?
False
Let t(u) = -14*u - 9. Let z(f) = 5*f + 3. Let a(j) = -4*t(j) - 11*z(j). Let k be a(-2). Let w = 3 + k. Is w composite?
True
Let h(q) = 30*q**2 - 6*q + 4. Let y be h(-5). Suppose -y = 4*m - 2084. Suppose -2*f = 3*f - m. Is f a composite number?
True
Suppose 0 = 6*y - 5*y - 5. Suppose 0 = 5*p + 2*x - 543, 0 = y*p + 5*x + 122 - 677. Let h = -18 + p. Is h a prime number?
True
Let p(b) be the third derivative of -5/6*b**3 + 2*b**2 - 1/3*b**4 + 0*b + 0 + 1/30*b**5. Is p(-6) composite?
True
Let i = 790 + -435. Is i prime?
False
Suppose 5*d = 3*m + 457 + 3514, -5*d + 4*m = -3973. Is d prime?
False
Let n(v) = v**3 - v**2 + 12. Let b be n(0). Suppose 2*k + 284 = -2*k. Let p = b - k. Is p a composite number?
False
Let j(q) = 97*q**2 + q - 1. Let z be ((-6)/24)/(1/(-4)). Is j(z) a composite number?
False
Let c = 1219 - 662. Is c a prime number?
True
Let v(t) be the third derivative of 0 + 0*t + 1/6*t**4 + 2*t**2 + 1/2*t**3. Is v(7) prime?
True
Let o be (-2)/(-4)*0/5. Suppose 5*x - 2*h - 3*h - 60 = o, 0 = -4*x + 2*h + 54. Is x prime?
False
Suppose 3986 = 3*t + 953. Is t composite?
True
Let r(a) = -4*a**2 + 5 + a - 3*a + 8*a + a**3. Is r(6) composite?
False
Is (18 - -9) + ((-16)/2)/(-2) a composite number?
False
Suppose -4*v + 2*v = -10. Suppose -z - v*i = 22, 3*z = -z - 3*i - 3. Is (-4 + -2)/z + 57 a composite number?
True
Let v(t) = 485*t**2 - t + 1. Is v(1) a prime number?
False
Suppose 2*u - 5*m = 31, u - 66 = -u - 2*m. Let f = 125 - u. Is f composite?
False
Let a(c) = 27*c - 16 + 40*c - 27*c + 45*c. Is a(9) prime?
False
Let g be (-10)/(-4) - (-1)/(-2). Suppose 13 = g*o + 5. Suppose o*c + 0*c - 1212 = 0. Is c prime?
False
Is 636 + 22/(-8) + 8/(-32) a composite number?
True
Suppose -3*i = 2*i - 270. Let w = 8 - i. Is (-2 + 3)/((-2)/w) a composite number?
False
Let r = 49 - -60. Suppose -3*s + 2*s + r = 0. Suppose -5*n + 166 + s = 0. Is n a composite number?
True
Let c be 23/7 - (-2)/(-7). Is 232/c - (-3)/(-9) prime?
False
Suppose -836 = -2*r - c - 225, 4*r - 1257 = 5*c. Suppose 2*a = 6*a - r. Is a a prime number?
False
Let f(s) = 554*s - 39. Is f(8) composite?
True
Let x(q) = -4*q**3 + 2*q**2 + 2*q + 1. Suppose -d + 0*d - k = -1, 4*d - k - 29 = 0. Suppose 3*h + d = -3*a, 1 = -3*h + 4*h + 4*a. Is x(h) composite?
True
Suppose -2*i + 3*i - 2*r = -5, 4*i + 2*r - 20 = 0. Suppose 3*g - 77 = -4*l, g + 74 + 0 = i*l. Suppose 5*u + a = 167, 8*a - 3*a + l = u. Is u a prime number?
False
Let z(m) = m**2 - 7*m + 14. Let c be z(-10). Suppose c = 5*w - 91. Is w a composite number?
True
Suppose b + 4151 = w + 5*b, 2*b = 4*w - 16604. Is w prime?
False
Suppose 2*u + f - 3 = 0, -5*u - f + 18 = -2*f. Suppose 3*t + u = 6*t. Is (t + 174/4)*2 composite?
False
Suppose y = j + 514, 1530 = 3*y - 0*y + j. Is y a prime number?
False
Let j be 3/(-12)*-10*2. Suppose 0 = -j*l + 3*p - 14, -3*l = 4*p - 6 - 3. Is (38/4)/(l/(-2)) composite?
False
Let f be 9 + -3 - (0 - 4). Suppose -5 = 3*i + 4, 2*q = -5*i + 43. Let w = q - f. Is w a prime number?
True
Suppose 4*s = 1276 + 140. Suppose -2*x + 5*u = u - 238, -5*u = -3*x + s. Is x a prime number?
True
Suppose 20 + 28 = -4*m. Is 53801/66 + 2/m a prime number?
False
Suppose 9*b = 5*b - 48. Is (-1054)/(-8) + b/16 prime?
True
Let s be (54/(-4))/((-6)/(-12)). Let d be s/(-6)*(-2)/(-3). Suppose -121 = v - 6*v + 2*a, 37 = 2*v + d*a. Is v prime?
True
Suppose 3*z + 5*f = 598, 5*z - 3*f - 975 = -7*f. Is z composite?
False
Let t(a) be the first derivative of 3*a + 13/2*a**2 - 3. Is t(4) a prime number?
False
Let y(p) = 5 - 3*p + 8*p + 3 + 5*p**2 - p**3. Let w be y(6). Suppose -w*r = 3*r - v - 323, 3*v = -5*r + 331. Is r prime?
False
Let o = 67 + -32. Let l = 66 - o. Is l composite?
False
Let c = -3 - -9. Let u(o) = -o**3 + 7*o**2 - 3*o + 7. Let r be u(c). Suppose -y + r = -l, y + 4*l - l - 13 = 0. Is y a composite number?
True
Is -3 - 3/(-3)*34 prime?
True
Let n = -10 - -17. Let d(y) = -y**3 + 10*y**2 - 8*y - 5. Is d(n) a composite number?
True
Suppose 4*p + 0*p = 4. Let j = 36 + -27. Is j + 3 + p + -2 prime?
True
Let p(a) = -a - 2. Let o be p(-4). Let h be (-1)/(4/(-6))*o. Suppose h*d = 4*d - 106. Is d prime?
False
Suppose -7*q + 1335 + 3544 = 0. Is q prime?
False
Suppose -g - h + 1005 = -400, h = -4. Is g prime?
True
Let u(z) = z + 8. Let c be u(-6). Let l(w) = 3*w - 3 + 3*w + 2*w. Is l(c) prime?
True
Let z = -57 - -110. Suppose 0*b = 5*b - 20. Suppose -z = -y + q, -2*y + b*q + q + 106 = 0. Is y composite?
False
Is -5*2/(6/(-93)) prime?
False
Let q(c) be the first derivative of -c**6/40 - 2*c**3/3 - c**2 + 2. Let b(f) be the second derivative of q(f). Is b(-3) prime?
False
Let o(h) = 3*h - 1 - 146*h**2 + 146*h**2 + 6*h**3. Is o(4) a prime number?
False
Suppose 4*s = -3*s + 9527. Is s composite?
False
Suppose -5*m - 5*s = -1495 - 1140, 0 = 5*m - 2*s - 2635. Is m composite?
True
Let u(f) = -2*f + 1. Let d be u(-3). Let h(o) = o**2 - 8*o + 7. Let q be h(d). Suppose 4*m = -q*m + 124. Is m composite?
False
Let j(z) = 74*z - 13. Is j(6) composite?
False
Let d(q) be the second derivative of 0 + 5/6*q**3 - 1/2*q**2 - 2*q. Is d(3) a composite number?
True
Let h be 5 - (6/(-3) - -2). Suppose 11 = h*o - 9. Is (-2 + -2)*(-77)/o prime?
False
Suppose 6 + 4 = -5*c. Let o be (-4)/(1*c*1). Suppose -o*u + 112 = -70. Is u prime?
False
Let x(c) = -c**2 + 6*c + 1. Let k be x(5). Is (-1 - 0)/(k/(-2874)) prime?
True
Let q(d) = -d**3 + 4*d**2 - 3*d. Let w be q(2). Suppose 0 = -f + 2*f - w, 2*f = -3*s + 79. Is s a composite number?
True
Suppose 3*g - 1628 = 5*z - 0*z, -3*g = 5*z - 1618. Is g a composite number?
False
Suppose 6 = -5*x - 4. Let b = -1 - x. Is (b + 1)*(-77)/(-2) a composite number?
True
Suppose 0 = d - 6*d + 10. Suppose 5*p = 4*f - 27, d*f - 4*p = 3*f - 12. Suppose f*w = 3*w + 65. Is w prime?
True
Suppose 8*c = 4*c + 820. Is c composite?
True
Let o = 474 + 13. Is o prime?
True
Let q(n) = -n**2 + 2*n + 1 - 1 + 4. Let o be q(5). Let s = o - -33. Is s a composite number?
True
Suppose 4*c + 227 = b, b - 4*b - c = -629. Is b composite?
False
Let h(c) = -2*c**3 - 3*c**2 - 3*c - 1. Let g = -2 - 4. Let j = g - -3. Is h(j) composite?
True
Suppose 2*n + 111 = -2*a + a, -2*n - 117 = -a. Is ((-7)/(-21))/((-1)/n) a prime number?
True
Suppose 2*h - 426 = -5*m, -5*m - 2*h + 258 = -2*m. Suppose 28 + m = i. Let f = i - 33. Is f a prime number?
True
Suppose -4 = -s - 3. Suppose -5*k = -0*q - q - 1114, -s = -q. Is k a composite number?
False
Let b = 91 + -33. Is b prime?
False
Let d = 3 + -7. Let f be (-39)/(-2 + (-5)/d). Suppose -5*s - f + 207 = 0. Is s a composite number?
False
Suppose -2*c = -5 + 11. Let p(t) = -43*t - 2. Is p(c) prime?
True
Let l = -136 - -245. Is l a composite number?
False
Let s(t) = -t + 5. Suppose 0*p - 9 = -3*p. Is s(p) a composite number?
False
Let v be 3 - -2*(-1 + 2). Suppose -4*l = u - 257, -4*u + 101 = -v*l - 822. Let p = -32 + u. Is p a composite number?
True
Let o(l) = -l**3 + 3*l**2 + 3*l - 5. Let a be o(4). Is 586/6 + 6/a composite?
False
Let y(h) = -3*h - 32. Is y(-14) prime?
False
Suppose 3 = -s + 4*s, -23 = -4*w + 5*s. Let b(a) = 5*a**2 + 4*a - 8. Is b(w) composite?
True
Let m be 1/2*(-3 + 3). Suppose -u = 4*b - 4*u + 32, 4*b - 5*u + 40 = m. Let h(v) = 2*v**2 + 3*v - 4. Is h(b) a composite number?
False
Let p(j) = j**2 - 3*j + 1. Let f be p(4). Suppose 789 = f*x - 3*w, -2*x + 3*w = -0*x - 312. Suppose 0 = 3*l - 0*l - x. Is l composite?
False
Suppose 5*x - 20910 = -5*o, 8 - 7 = -o. Is x a prime number?
False
Suppose -5*y = -y - 8288. Suppose -j + y = 5*h - 364, 4*h - 1944 = 4*j. Is h a prime number?
True
Let x(z) = -z + 12. Let l be x(9). Is -1 - l - (1 - 54) a prime number?
False
Let h be (-2)/8 + (-22)/8. Let a be (2 - 14)*(h - -2). Let m = 26 + a. Is m a composite number?
True
Let t(h) = h**2 - 9*h - 12. Let w be t(10). Is (1/w)/((-2)/524) prime?
True
Let s(i) = -5*i + 2*i**2 - i + 7 - i**2. Is s(6) a prime number?
True
Suppose 2*t + 12 = y, -5*y + 30 = -2*t - 2*t. Suppose -157 = -y*f - 39. Is f composite?
False
Suppose -5*l + 3*b + 9642 = 0, -l = -5*l - b + 7717. Suppose 4*m - 1147 - l = 0. Is m prime?
True
Is (31 - 2)/((-2)/10*-1) prime?
False
Let t = -6 + 3. Suppose -5*y + 52 = -2*g, 2*g + 22 = -2*y + 4*y. Let i = y + t. Is i composite?
False
Is (1/3)/(3/1899) composite?
False
Sup