True
Is 5754/14 + 1*-2 a composite number?
False
Let l be (-4)/(-3)*6/4. Suppose l*t = t. Suppose 5*b - 110 = -t*b. Is b prime?
False
Let x = -213 + 315. Suppose n - 47 = x. Is n a prime number?
True
Let l(z) be the third derivative of z**6/120 + z**5/5 - 13*z**4/24 + 5*z**3/3 - 3*z**2. Is l(-13) composite?
True
Let v = 30 - -33. Let z(x) = -x**2 - 3*x + 2. Let d be z(-3). Suppose -d*q + 91 = -v. Is q prime?
False
Let i = 599 - -1136. Is i composite?
True
Let g = -126 - -365. Is g a composite number?
False
Suppose -3*p + 13 = -5*k, 3*p + 6*k - 2*k = -32. Let g(l) = -l. Let c be g(p). Suppose c*q = 509 + 335. Is q a composite number?
False
Let p(j) = -2*j - 4. Let b be p(-3). Let h(o) = 8*o**2 - 6*o + 1. Let y be h(4). Suppose -b*i + y = i. Is i a prime number?
False
Let v(y) = 39*y**2 + 5*y - 3. Is v(-10) prime?
True
Let m = -4 - -4. Suppose 2*c + 2*n = 886, 4*n - 437 = -c - m*c. Suppose 3*z = -0*z + 2*s + c, 0 = z + 4*s - 153. Is z a prime number?
True
Let n be 1*58 - (-6)/(-3). Suppose -3*j = -n - 301. Is j composite?
True
Let y(b) = -49*b**3 + 2*b**2 - 6*b + 2. Is y(-3) a prime number?
True
Let s be 1 - (3 - 5 - -3). Let l(x) = x**2 + 74. Is l(s) composite?
True
Suppose 0 = 2*i + o - 3*o + 178, 2*o + 2 = 0. Is 3*(2 + -3) - i prime?
False
Let h(s) = 3649*s**2 + 7*s + 5. Is h(-1) prime?
False
Suppose 320 = -s - 3*s. Let f = -9 - s. Is f composite?
False
Suppose 2*q = -0*q + 62. Is q a prime number?
True
Suppose 3*w - 15 = -4*d, -3*w = 5*d - 5 - 10. Let t be 6/4 + w/10. Suppose 7 = 4*g - t*o - 299, 0 = 3*g + o - 232. Is g prime?
False
Suppose -3*o + 4*o = 0. Suppose o = -3*c + 5*c - 4. Suppose 4*g - c*p + 5*p - 328 = 0, -p = -5*g + 391. Is g prime?
True
Suppose 0 = -2*p + l + 83, -4*p - 2*l + 136 = 2*l. Is p composite?
True
Let k be (-6)/21 + 92/28. Let q be (-4)/k*(-93)/(-2). Let o = 12 - q. Is o composite?
True
Let a = 92 - -35. Is a composite?
False
Is ((-518)/5)/((-42)/105) composite?
True
Let v be (-961)/(-3) - (-2)/3. Let i(j) = -j**3 - 7*j**2 + j - 2. Let t be i(-7). Is (-4)/6 - v/t a composite number?
True
Suppose 5*w = 3*k - 5 + 19, w = 2*k. Suppose -w*x + 12 = -6*x. Is (2/x)/(2/(-18)) a composite number?
False
Suppose 2*t - 4*t = z - 337, -z = 4*t - 337. Is z a composite number?
False
Suppose -5*p = 20, -5*z = 3*p - 7*p - 41. Suppose v = z + 102. Suppose v = 4*q + q + 4*k, -q + 5*k = -4. Is q a prime number?
True
Suppose -4*f - 2 = -0*j + 2*j, 3*j = -f - 13. Suppose -f*r + 7*r = 265. Is r a prime number?
True
Let p(w) = -w**3 + 7*w**2 - 6*w - 5. Let s be p(6). Let h = s - -8. Is h + 0 - 1 - -81 a composite number?
False
Let v(r) = 6*r**2 + r + 8. Is v(-9) a prime number?
False
Let j be (-3)/6 - 69/(-2). Let a(i) = i - 1. Let z be a(4). Suppose z*n + j = 133. Is n a composite number?
True
Suppose -6 = -0*k + 3*k - 3*a, 2 = 5*k - a. Let z = k - 4. Is (-61)/z - 6/(-9) prime?
False
Suppose 2*q = -q + 15. Suppose 0 = 5*c + 15, 3*c - 4 - 2 = q*j. Let o(t) = -23*t - 2. Is o(j) a prime number?
True
Let n be 2/(-8)*-863*4. Suppose 5*s - n = -228. Is s a prime number?
True
Suppose -2*v + 8 = 2*v, 0 = 4*c + v + 6. Is (147 - (c + 1))/2 prime?
False
Let t = -459 - -772. Let z = 96 + t. Is z a prime number?
True
Let b(s) = 205*s - 2. Is b(1) composite?
True
Let a(x) = x**3 + 20*x**2 + 4*x - 24. Let z be a(-18). Let q = z - 374. Is q prime?
False
Is 2/(78/19 + -4) a prime number?
True
Suppose -11 = -2*a - i, 2*a + i + 2*i - 5 = 0. Let s = a - 206. Let n = -116 - s. Is n a composite number?
False
Suppose -4*x + 2*m + 274 = 0, 0*x + x - 5*m = 82. Is x a prime number?
True
Let o(r) = r**2 + 5*r - 7. Let p = 11 + -1. Suppose -p + 28 = 3*h. Is o(h) composite?
False
Let n = 572 - -69. Is n a prime number?
True
Suppose -4*f = g - 6*f - 2825, 5*g - 2*f - 14157 = 0. Is g composite?
False
Let h = -58 + 2. Let c = -30 - h. Is c composite?
True
Suppose -3*z - 4 = -49. Is z a composite number?
True
Let i = -5 + 8. Let c be (-726)/(-4) + i/(-6). Let a = c + -94. Is a a prime number?
False
Suppose 0 = -4*v + 6 + 2. Let h be v + -4 + 1/(-1). Is 110/h*(-6)/4 prime?
False
Suppose 0 = -2*o - 3 - 3, 5*o = -5*n - 15. Let f = n + 3. Suppose f*r + 45 - 150 = 0. Is r composite?
True
Is (-8 - 878)*(-2)/4 composite?
False
Let r = 71 + -32. Is (r/5)/((-3)/(-15)) prime?
False
Let z(b) = -20*b - 22. Let a(p) be the third derivative of -13*p**4/24 - 5*p**3/2 + 3*p**2. Let n(r) = 7*a(r) - 5*z(r). Is n(8) a composite number?
True
Let o(n) be the second derivative of n**4/4 + n**3/3 + 3*n**2/2 - 6*n. Is o(4) prime?
True
Suppose -6*n - d = -n + 118, d = n + 20. Let r = n + 34. Is r a composite number?
False
Suppose 0 = w - 2*w - 5*n + 22, 0 = w + 3*n - 14. Is ((-1)/(-3))/(w/210) composite?
True
Let q = 7718 - 4331. Is q prime?
False
Let x(c) be the third derivative of 1/6*c**3 + 4*c**2 + 0*c + 1/5*c**5 + 0 + 0*c**4. Is x(2) composite?
True
Let d(q) = -q**3 - 5*q**2 - 5*q - 4. Let v be d(-4). Suppose f + 32 - 119 = v. Let s = 320 - f. Is s a prime number?
True
Let v be (0 + -3)*(1 - 0). Let d be (-55)/(-3) + 1/v. Suppose 0 = 3*z - d - 3. Is z prime?
True
Let x = 954 - 567. Let f = x - 184. Is f a prime number?
False
Suppose -189 = -d - 2*y, 15 = -0*y + 5*y. Is d composite?
True
Suppose -166 = -0*y - y. Suppose 639 + y = 5*h. Is h composite?
True
Is ((-3)/(-2))/((-6)/(-1004)) composite?
False
Let s = 22 + -19. Suppose -z - 4*k = k - 201, 0 = s*z + 3*k - 579. Is z prime?
True
Suppose -5*n + 2092 = -3*l, -n - l = -3*l - 417. Is n composite?
False
Let q(z) = -z**3 - 3*z**2 - z. Let v be q(-2). Is (-1)/((-2)/v)*-419 prime?
True
Is (0 + 21/6)*22 prime?
False
Let x(w) = -41*w - 3. Let d(u) = u - 1. Let o be d(4). Let c = o + -5. Is x(c) composite?
False
Let n be ((-6)/(-4))/3*10. Suppose -3*y - n*s + 223 = 0, 4*s - 12 = -4. Is y a composite number?
False
Is 236*(2/4 + 0) a prime number?
False
Let w(f) = f**3 + f**2 + 4*f + 13. Let n(x) = -x**3 - x**2 - 4*x - 12. Let l(r) = 6*n(r) + 5*w(r). Is l(-5) a prime number?
True
Let t = -3 + 5. Is 6/t + 33 - -3 a prime number?
False
Suppose 0 = 2*f + 3*p - 1810, 3*p = -p. Is f prime?
False
Let a(v) = v + 94. Let x be a(0). Suppose 9*u = 5*u + 24. Suppose -4*g - u + x = 0. Is g prime?
False
Let h(a) = 3*a + 1. Let y be h(3). Is 4*3 + (7 - y) prime?
False
Suppose 4*p - p = 0. Suppose -105 = -p*x - 5*x. Is (3/9)/(1/x) composite?
False
Let h(v) = -17*v - 6. Let u be h(11). Let t = -102 - u. Is t a prime number?
False
Suppose -4*a = -20, m + 0*m = 2*a + 267. Is m a prime number?
True
Let s(i) = 1 + 6 + 5*i**2 - 9*i**2 - 4*i. Let z be s(-7). Let k = -12 - z. Is k composite?
False
Suppose 2*r + 34 = 4*q, 0 = 4*r + 20. Suppose 0 = a - q*a - 15. Let l(p) = 4*p**2 + 2*p + 3. Is l(a) prime?
False
Let p(l) = -l**3 + 6*l**2 + l - 8. Let f be p(6). Is f/(2 - (-32)/(-14)) a composite number?
False
Let c be (-2 - -1)/(-1) - -1. Suppose 6 = 2*f + c. Is 35 - (-3 + f - 1) a composite number?
False
Let m = -4 + 4. Suppose a - 22 = -m*h + 3*h, 0 = 4*h - 4. Is a a composite number?
True
Let s(m) = 3*m**2 - 9*m + 91. Is s(23) prime?
True
Suppose o - 2102 = -6*g + 3*g, 0 = -g - 4*o + 697. Is g a composite number?
False
Is (1/(-2))/((-3)/2)*147 composite?
True
Suppose 3*l + 2*l - 25 = 0. Suppose 2*m + 156 = 5*z - z, l*m + 200 = 5*z. Is z composite?
True
Let m(c) = c**3 + 8*c**2 - c - 11. Let i be m(-8). Is (i - -10)*(2 - -1) composite?
True
Let f be 41 + (-1 + 2)/(-1). Suppose 3*o + 4*a = -o - f, -24 = 2*o + 4*a. Is (-3)/(6/(-4)) - o composite?
True
Suppose -4*c + 2 = -3*c. Suppose 31 + 37 = c*n. Is n prime?
False
Let k = 11 - 8. Suppose -k*p = -p. Suppose -2*g + 0*g + 20 = p. Is g a prime number?
False
Let r(p) = -p**3 - 3*p**2 + 8*p + 4. Let z be r(-5). Let b be 71/2 - 1/2. Let w = b - z. Is w prime?
False
Let u = 808 + -297. Is u prime?
False
Is ((-30)/20)/(6/(-3884)) composite?
False
Let t(b) be the first derivative of b**5/20 - b**4/2 - b**3/2 - 3*b**2/2 - b - 2. Let s(y) be the first derivative of t(y). Is s(7) a composite number?
True
Suppose -5*a = -1810 - 55. Is a composite?
False
Let j be 304/(-9) - (-12)/(-54). Let c = 200 + j. Is c prime?
False
Is (-4)/(-2) + -4 - -67 composite?
True
Let v = -4 + 0. Let h be ((-290)/15)/(v/66). Suppose 0*j - h = -4*j + 3*m, 4*m - 391 = -5*j. Is j composite?
False
Suppose 0 = -2*v - 3*v - 255. Let x = -11 - v. Suppose -5*p +