*2 - 5*i + 5*i - 2 + 12*i**3 - 11*i**3 + 4*i. Is k(5) composite?
True
Let m = 11 + -7. Suppose 0 = -2*s - 3*s + 30. Let k = s - m. Is k composite?
False
Let f(s) = 2*s**2 - 11*s - 6. Let m(h) = h**3 + 5*h**2 + h - 4. Let v be m(-4). Is f(v) prime?
False
Suppose -9 = a + 2*a. Is -3*-1*(-53)/a composite?
False
Suppose -35*t + 40*t - 4435 = 0. Is t prime?
True
Let o = -2 - -7. Let j be (-2)/o + 3/(-5). Is 12 - ((0 - 1) + j) composite?
True
Suppose 2*l = 10, -3*l = -r + 99 - 11. Suppose r = f - 75. Is f a composite number?
True
Is ((-6)/3)/(-3*(-8)/(-3108)) a composite number?
True
Let d = -15 - -19. Suppose -d*g + 8 = -140. Is g a composite number?
False
Is (1*907)/(-6*(-5)/30) a composite number?
False
Let b be ((-1)/2)/(6/(-684)). Suppose 101 = 2*g - b. Is g prime?
True
Suppose -16 + 0 = -4*h. Suppose -6*m + m - 4*o = -177, 0 = -h*m + o + 150. Is m prime?
True
Suppose -2*x = -5*k + 10021, -k + 2012 = -2*x - x. Is k a prime number?
True
Let j = 2 - 4. Is (-197 + 6)/(1 + j) a composite number?
False
Suppose 2*j + 4*g - 338 = 92, 4*j - 854 = -5*g. Is j a prime number?
True
Let k(r) = -2 + 3*r**2 + 0*r - 5*r + r. Let x be k(4). Suppose -2*l + 0*l + x = 0. Is l composite?
True
Suppose -7395 = -5*c + 4*p - 6*p, 2*p - 4433 = -3*c. Is c prime?
True
Let u(l) = l**3 + 7*l**2 + 7*l + 7. Let g be u(-6). Let a be 3*g/6*8. Suppose 6*q - 5*q = -5, a*w - 219 = 3*q. Is w a composite number?
True
Let z = 213 - 146. Is z composite?
False
Let o = -8272 - -3907. Is ((-2)/3)/(30/o) a prime number?
True
Let t = -112 - -173. Suppose -t = -z + 8. Is z a composite number?
True
Let g = 611 - 238. Is g prime?
True
Let k(w) = w**3 - 6*w**2 - 3*w + 2. Let x be k(6). Let z = x - -25. Is z a prime number?
False
Let h(d) be the third derivative of d**4/12 + d**2. Let b be h(-1). Is ((-6)/(-8))/(b/(-88)) a prime number?
False
Let u(a) be the first derivative of 7*a**4/12 - 7*a**3/6 - 7*a**2/2 - 3*a + 3. Let q(w) be the first derivative of u(w). Is q(7) a prime number?
False
Suppose -511 = -6*g - 2269. Let c be (1 - 2) + 1 + -148. Let v = c - g. Is v a composite number?
True
Let y(x) = 6 + x + 2 + 8 + 0. Is y(-12) a composite number?
True
Suppose 0*z = z - 5*p - 34, -54 = -z + p. Is z a composite number?
False
Suppose -3*u = -2*u - 5. Let g = u - -48. Is g composite?
False
Suppose 3*m - 3*b + 9 = -4*b, 4*b - 12 = 0. Let q = m + 23. Is q composite?
False
Let l(b) = b**2 + 4*b + 9. Let y be l(-2). Suppose 21 = 2*m + 79. Let p = y - m. Is p prime?
False
Suppose -3*r - 20 + 71 = 0. Suppose o + 0*o = 2. Suppose o*u - r = -3*n, -54 = 4*u - 7*u + 5*n. Is u a composite number?
False
Suppose -2*g + 3*s + 292 = -2*s, 0 = 3*s. Is g composite?
True
Let j(l) = 2*l**2 - 12*l + 13. Let o be j(-9). Suppose f = 52 + o. Is f a prime number?
False
Let n be (-5)/15 + (-3770)/(-6). Suppose n = 4*b + m, -b - 41 = 4*m - 198. Is b a composite number?
False
Suppose -2*k + 52 = 2*k. Suppose 2*n - 2*s + 3 = k, -20 = -n - 2*s. Suppose 3*y - n = -2*y. Is y a composite number?
False
Suppose 24 = -4*n + 16. Let u(w) be the third derivative of -w**6/120 + w**3/6 - w**2. Is u(n) a prime number?
False
Let x(v) = 3*v**2 + v - 3. Let q = 8 - 11. Let t be x(q). Let u = 58 - t. Is u a composite number?
False
Let n(y) = y**3 + 15*y**2 + 22*y + 13. Is n(-12) a prime number?
True
Let h = 1250 - 163. Is h a prime number?
True
Is (-862)/3*6/(-4) composite?
False
Suppose -5*m + 5*p - 20 = 0, -2*p = m + 3*p - 8. Is 1/m - 67/(-2) prime?
False
Suppose -j = 3 - 36. Let o = 47 - j. Is o composite?
True
Suppose 5*d + 10 = 3*d. Let n(x) be the third derivative of x**5/10 + x**4/12 + x**3/2 - 2*x**2. Is n(d) prime?
False
Let d be (-6)/(-9)*15/2. Suppose -d*u = -2*u - 9. Suppose u*n - 170 = 25. Is n a composite number?
True
Is 6 - (-2158)/2 - (-4)/2 composite?
False
Let y(k) be the first derivative of k**6/24 + k**5/60 + k**4/24 - 4*k**3/3 + 1. Let x(g) be the third derivative of y(g). Is x(2) prime?
False
Suppose 2*x + 65 = 3*x - 3*a, -2*a = -5*x + 273. Suppose 0*s - 2*s + 10 = 0. Suppose 2*h + s*t = x, -3*t - 93 = -0*h - 2*h. Is h a prime number?
False
Suppose 4387 = 5*r + p, -p - 2*p = 2*r - 1760. Is r a prime number?
True
Let k(w) = -w**3 - 4*w**2 - 2*w - 5. Let m be k(-4). Suppose 458 = m*x - 889. Is x prime?
True
Let o be (0 - (-10)/(-3))*-54. Suppose 1 = v + 3, -2*s + o = -v. Is s prime?
True
Let b = -20 + 25. Suppose -5*d + 3 + 9 = -3*m, 0 = -d + 3*m. Suppose 14 = -2*j + d*r + 34, b*j + 2*r - 69 = 0. Is j a composite number?
False
Let g(x) = 61*x**2 + 8. Is g(-3) a composite number?
False
Suppose l = 4*l - 9, -2*x - 4*l = -610. Let j = x + -154. Is j composite?
True
Let v = -11 + 14. Let o(z) = 265*z - 4. Is o(v) prime?
False
Let v = -246 - -357. Suppose 2*r - 3*b + 4*b = 21, -b + 29 = 3*r. Let n = r + v. Is n a composite number?
True
Let r be (-8)/(-20)*(-570)/(-3). Suppose -r = -3*f + 23. Is f composite?
True
Let p(g) = 214*g - 19. Is p(8) a prime number?
True
Let g = 679 + -97. Is g/4 - 5/10 prime?
False
Suppose -5*b - 3*i = -3687 - 14, b = 4*i + 754. Let l = -479 + b. Is l prime?
True
Suppose 2*o = o + 19. Suppose 20 = 3*z - o. Is z prime?
True
Let b(a) = -a**3 + 2*a**2 + 4*a. Let w be b(3). Is 1064/12 + 1/w a prime number?
True
Let m(z) = 3 - 3 - 2*z + 0 + 8 + z**2. Is m(-7) a prime number?
True
Suppose y + f - 508 = 0, -f + 734 + 780 = 3*y. Let s = y - 334. Suppose -3*v + 3*h = -189, -136 = -5*v - 5*h + s. Is v prime?
False
Suppose 0 = -i + 3*i - 8. Let s(m) = m - 5. Let h be s(5). Is (2 + h)/(i/38) prime?
True
Let p be -1 + 3/(3/(-2)). Let q = p + 5. Suppose -3*t + 19 = -q*t. Is t prime?
True
Suppose g + 4*b = -2*g + 8, -3*g = -2*b + 4. Let w be ((-1)/2 - g)*-82. Suppose 0 = 2*a + 5*u - w, -3*a + 33 = -0*a - 2*u. Is a a prime number?
True
Suppose -3*n + 5 = -2*n. Suppose n*b + 0 - 20 = 0. Suppose 4*s = b*u + 92, -3*s + u + 4*u = -77. Is s prime?
True
Is (4 + 427/(-2) + 2)*-2 prime?
False
Let l be (-2 - -483) + (3 - 2). Let p(j) = 67*j**2 - j - 1. Let r be p(2). Let v = l - r. Is v a composite number?
True
Let y = 39 + 40. Is y a composite number?
False
Let y be ((-4)/7)/((-4)/14). Suppose y*i + 4 = 4*k, 0 = 3*k - 4*k - 2*i + 1. Let a(t) = 40*t**3 - 2*t**2 + 2*t - 1. Is a(k) composite?
True
Suppose -3*r - 5*x - 6 = 0, -3*r - r = 5*x + 3. Suppose 0 = 3*k + 4*a - 159, r*k - 53 = 4*a + 106. Is k a prime number?
True
Suppose 3*x - 274 = -4*r, 5*x - 89 = 4*x + r. Let d = x + -46. Suppose 4*a = 2*a + d. Is a prime?
False
Suppose 0 = -0*b - b + 3. Suppose -182 = m - b*m. Is m a composite number?
True
Let r be 0 + 1 + 3 + -7. Let v = -1 - r. Suppose v*z - z = 59. Is z composite?
False
Suppose -2*t - 3*m = -2517 - 226, 4*t - 5480 = -4*m. Is t composite?
False
Let n(p) = -22*p + 9*p - 18*p. Is n(-1) a prime number?
True
Let z = 82 + -29. Is z prime?
True
Let d = 215 + -56. Is d a prime number?
False
Let m(z) = -3*z - 3. Let q be m(-3). Let j(n) = -13 + 0*n + 4 + 10*n. Is j(q) a composite number?
True
Let o(v) = -v**3 - 6*v**2 + 6*v + 4. Suppose 9 = -4*d + 3*d - k, -2*d + 2 = -2*k. Let x be o(d). Let g = x - -243. Is g composite?
False
Let x(j) be the first derivative of -8/3*j**3 + 9*j - 1 - 5*j**2 - 1/4*j**4. Is x(-8) prime?
True
Suppose 2932 = -5*v + 9*v. Is v prime?
True
Let y(p) = -2*p**3 + 1. Let v be y(-3). Let u = 26 - v. Is (u - -1)/(-2)*1 prime?
False
Let z(w) = 4*w - 1. Let s(j) = -j**2 - 4*j + 5. Let i be s(-5). Suppose -2*d + 6 = i, d + 3 = y + 4. Is z(y) composite?
False
Suppose 0 = 2*j - 7 - 1. Suppose -6*g = -j*g. Suppose 4*x - x - 177 = g. Is x a composite number?
False
Suppose 4*b - 5*h - 12029 + 1079 = 0, -4*h = -4*b + 10948. Is b prime?
False
Let k(n) = 158*n + 3. Is k(4) a composite number?
True
Let d = -7 + 18. Let l = -4 + d. Suppose 3*r = -5*w + 31, 2*r - 3*w = -l*w + 22. Is r a composite number?
False
Suppose 2*b - 7*b = -2*v - 2, 4*v - 8 = 4*b. Let x be (-1)/1 + b + -4. Is x - (-57 + 3/3) composite?
False
Let h be 4/7*70/20. Is (632/16)/(h/4) composite?
False
Let p = 194 - -126. Suppose 4*k = f - 92 + p, 0 = -4*k - 2*f + 240. Suppose -89 - k = -3*a. Is a a prime number?
False
Let j(f) = f - 265. Let q(y) = -y + 264. Let b(t) = 5*j(t) + 6*q(t). Is b(0) composite?
True
Let a(n) be the second derivative of 7*n**4/12 + n**3/3 + 3*n**2/2 - 4*n. Is a(4) a composite number?
True
Is 2*(3 - 218/(-4)) compo