 + 100. Let g = 56 + t. Is g a prime number?
False
Suppose -88 = -3*k - 4. Let n = 104 - 57. Let u = n - k. Is u a composite number?
False
Is 144 + 3*(-5 - -4) a prime number?
False
Suppose -3*g = -47 - 58. Suppose -r + s + g = 0, -3*r + 2*s + 107 = -0*r. Is r composite?
False
Let h(o) be the first derivative of 14*o**3/3 - o**2 - 2*o + 3. Is h(-2) a prime number?
False
Suppose -2 = -g - 3, 0 = -3*n + 5*g + 284. Is n a composite number?
True
Let c(f) = f**2 + 158. Is c(0) prime?
False
Let i = 99 + -28. Let q(z) = -8*z + 2. Let m be q(-4). Let o = i - m. Is o a composite number?
False
Let v = 101 - -106. Suppose v + 133 = 2*h. Suppose -5*t + 95 + h = 0. Is t prime?
True
Let i = -15 - -54. Is i a prime number?
False
Suppose z = 3*z - 1282. Is z composite?
False
Suppose -4*j + 1937 = 69. Is j a composite number?
False
Let p = 3696 - 2025. Is p prime?
False
Suppose x = -2*x + 762. Suppose 0*j - 15 = -3*j. Suppose -x + 84 = -j*z. Is z prime?
False
Suppose -2*s + 2858 = k - 725, 4*k + 4*s - 14352 = 0. Is k prime?
True
Suppose g - 2*g - 5*z + 14 = 0, -11 = 5*g - 2*z. Let d = g - -1. Suppose d = 2*o - 0 + 6, -i - 3*o = -10. Is i a prime number?
True
Suppose -2*t = 3*t + 25. Let u(a) be the first derivative of -3*a**2 - 7*a + 2. Is u(t) composite?
False
Let x = 97 - 51. Is x a composite number?
True
Let a(x) = -8*x**3 - 3*x**2 - x + 1. Let m be (-36)/21 + 4/(-14). Is a(m) a prime number?
False
Suppose -a = a - 254. Is a composite?
False
Let y(h) = -h - 4. Let f be y(-7). Is 18 + (4 - f)/1 prime?
True
Is 183/9 + (-4)/(-6) a prime number?
False
Suppose 4*t - 6 - 82 = 0. Let x = 57 - t. Is x a composite number?
True
Let s = -81 + 292. Is s composite?
False
Suppose -5*f + 5 = 5*d, -3*d + 5 = f - 4. Let h(c) = -12*c + 3. Is h(f) a composite number?
True
Suppose 0 = -3*r + 5*q + 102, 31 + 33 = 2*r - 2*q. Suppose t + 2*t = d - 54, -d - 2*t = -r. Is d composite?
True
Suppose 0 = 4*d + 3*u - 901, 1127 = 5*d - 4*u + 8*u. Is d prime?
True
Suppose -254 + 1632 = 2*r. Is r a prime number?
False
Let t be (-326)/(-10) + (-8)/(-20). Is ((-89)/3)/((-11)/t) a composite number?
False
Let u = 131 - -230. Is u prime?
False
Let q(p) = 4*p**3 - 14*p**2 + 3*p - 22. Is q(11) a composite number?
True
Let s(i) = 3*i**2 + 4*i + 5. Is s(-6) a prime number?
True
Let b be (-6629)/63 - 4/(-18). Is b/(-9) + 4/(-6) prime?
True
Let z = 14 + -10. Suppose -13 = -h - z*p, h - 4*p = 2 + 3. Suppose -i + h + 48 = 0. Is i composite?
True
Let d = -15 - -344. Suppose 669 = 2*k - d. Is k a prime number?
True
Suppose 0*h - 23 = -4*o - 5*h, -3*o - 2*h = -12. Suppose -s - 5*b = -28, 4*b + 6 = 3*s - o. Suppose 77 = 3*r + s. Is r a prime number?
True
Let s(x) = 310*x - 4. Let u be s(2). Let d = u + -309. Is d prime?
True
Is (-1)/(3/2082*-2) a composite number?
False
Let w = 4 + -2. Suppose 2*k - w = -2*b, -4*b + 8 = 3*k + 3. Is 3 + (-2)/k*8 composite?
False
Let j(m) = 5*m**2 - 1. Let q = 1 + -2. Let g be j(q). Suppose 3*a - g*y = 149, 4*a - 268 = 4*y - 64. Is a prime?
False
Let w(k) = -13*k - 12. Is w(-11) prime?
True
Is -1*-3*(-4)/(24/(-230)) a composite number?
True
Suppose 0*u = -5*u - 210. Let b = u - -131. Is b a composite number?
False
Is 13 - 10/(7 - 2) prime?
True
Suppose 2*u = -3*u. Suppose u = 4*n + n - 335. Let g = 230 - n. Is g prime?
True
Let q = 2 + 0. Is 1113*(q + 20/(-12)) a composite number?
True
Let i(v) = v**3 - v**2 + v - 6. Let o = 8 + -8. Let k be i(o). Let q(y) = y**2 + 3*y + 3. Is q(k) a composite number?
True
Let z(l) = -2*l**3 + 7*l**2 - 3*l**3 + 0*l**3 + 4*l**3 + l - 6. Let m be z(5). Suppose 3*b - 4*b + m = 0. Is b a composite number?
True
Let r(s) = s**3 - 5*s**2 - 4*s - 7. Let v be r(6). Suppose 6*j - 2*u - 14 = j, 5*j + v*u = 35. Suppose 12 + 136 = j*x. Is x a composite number?
False
Let l(n) = 0*n**3 - n + 0*n**3 + 8*n**2 - n**3 + 5 + 2*n. Is l(6) prime?
True
Is (-1016)/(-4) - (1 - 4) a composite number?
False
Suppose 3*x + 10 = -2*x. Let t be x/(-6) + (-1592)/(-12). Suppose 0 = -3*v + t + 68. Is v prime?
True
Suppose -79 = -4*t + 669. Is t prime?
False
Let r = -196 - -407. Is r a prime number?
True
Suppose -10*w + 6775 = -2415. Is w prime?
True
Suppose 9*k = 4*k. Suppose k = -x - 4 + 17. Is x prime?
True
Let i = 1277 - -258. Is i a prime number?
False
Let v = 2275 + 334. Is v prime?
True
Suppose 376 = z + 153. Is z prime?
True
Suppose 3*k - 556 = -a, 3*a - 4*k - 1210 = 393. Is a prime?
True
Let n(v) = 8*v**3 + 2*v**2 - v. Let h be n(-2). Let l = h + 317. Is l a prime number?
True
Suppose -v = -0*v - 345. Suppose -3*k + v = -0*k. Is k a prime number?
False
Let b = -596 - -885. Is b a composite number?
True
Suppose 0 = s - 4*c - 131, 5*s - 639 = 4*c + 64. Suppose w + d = -3*w + s, -5*w = -2*d - 195. Is w a composite number?
False
Suppose 4*g + 2*m = 5040 + 214, 3*g + m = 3943. Suppose 3*v = -v + g. Suppose -3*x + 2*n + v = 0, 7*x - 551 = 2*x + 2*n. Is x a prime number?
False
Let g = 82 + 120. Suppose 5*v = -4*a + 451, 7*a = 2*a - 4*v + 575. Let n = g - a. Is n composite?
False
Let j = -60 - -31. Let d = -15 - j. Is (2 + -5)*d/(-6) a composite number?
False
Let r = 11 - 7. Suppose j = -3*h - r*j + 4792, 4*h - 6436 = 5*j. Is h/10 + (-6)/(-10) prime?
False
Let f be 2/10 + (-4)/(-5). Suppose 2*n + f = -3. Is ((-105)/(-3))/((-2)/n) a composite number?
True
Let c be 14126/(-18) + (-8)/36. Is (c/10)/((-1)/2) prime?
True
Let d(c) = 3*c**2 + 5*c + 7. Let l(q) = -2*q**2 + 4*q. Let r be l(3). Let p be d(r). Suppose -16 = 4*i, p = 3*a + 3*i - i. Is a a prime number?
True
Let b = 71 + -13. Is b composite?
True
Suppose -w + 5*w = -2*x + 20, -3*x = 2*w - 6. Suppose -2*n - 308 = -w*n. Is n a composite number?
True
Suppose -5*w = -15 - 5. Suppose 4*z - 442 = -w*k + z, -224 = -2*k - 3*z. Is k a composite number?
False
Is 178 + (-1 - (1 + -1)) prime?
False
Is 2/1 - -785 - 2 a composite number?
True
Let n = 19 + -99. Let v = 239 + n. Is v prime?
False
Let x = -2 - -7. Is 31/x - 6/30 a composite number?
True
Let g(p) be the third derivative of p**2 - 1/60*p**5 - 3/2*p**3 + 0 + 0*p + 11/24*p**4. Is g(6) composite?
True
Suppose -4*m - 8 = 0, 5*m + 156 + 19 = 3*x. Let a(y) = y - 7. Let t be a(3). Is (x/(-4))/(1/t) a composite number?
True
Suppose 5*n - 12603 = 2*n. Is n composite?
False
Is 3 + 5/(10/1408) a prime number?
False
Let y be -22*(1 + 9/(-6)). Let u = y - -22. Is 4*(u/4 - 3) prime?
False
Let u be 415 - (1 + -3 - -1). Let g = u + -289. Is g a prime number?
True
Suppose 0*g + 3*g + 4*s - 153 = 0, 4*s = 0. Suppose -130 = 2*h + 3*h. Let j = g + h. Is j composite?
True
Let d(x) = x**3 - 7*x**2 - x - 1. Let w be d(3). Is ((-13)/4)/(10/w) composite?
False
Let m(f) = -f**3 + 5*f**2 + 7*f - 5. Let l be m(6). Let x = -1 + l. Let c(j) = -j + 79. Is c(x) a prime number?
True
Let d = 48 - 13. Let s(n) = 13*n + 1. Let c be s(-1). Let u = d + c. Is u composite?
False
Let j(m) = -4*m - 1. Let w be j(-1). Suppose -2*k = w - 9. Suppose -5*b - l + 100 = 0, -52 = -k*b - 0*l + l. Is b a prime number?
True
Let z = -2607 - -4924. Is z composite?
True
Let p(i) be the third derivative of -i**4/24 + i**3/3 + 3*i**2. Is p(-5) prime?
True
Suppose -2579 = 8*r - 9*r. Is r a composite number?
False
Let c(a) be the first derivative of 1 - 5*a**2 - 7*a - 1/3*a**3. Is c(-7) a prime number?
False
Let f(o) = o + 2. Let k be f(4). Suppose 2*a = 4*h + 2, -5 + k = -5*h + 4*a. Let i(z) = -62*z. Is i(h) composite?
True
Suppose 99 = h - 4*k, 5*h - 6*k + k = 555. Let o = 168 - h. Is o composite?
False
Suppose -6 = n - t, -4*t + 11 = -5*n - 14. Let f(j) = 22*j**2 - 2*j - 1. Is f(n) prime?
True
Suppose -2*t = -4*t + 5*w - 119, 0 = -4*t - 5*w - 163. Let q(i) = 15*i + 6. Let x be q(8). Let n = x + t. Is n composite?
False
Suppose 4*h - 15 = 4*i + 5, h - 9 = 3*i. Let k(d) = d**3 + 5*d**2 - 7*d - 2. Let v be k(-6). Is v/i*(-95)/10 prime?
True
Let r = 6 - 4. Suppose 2*h = -m + 10, -3*h = r*m - 7 - 6. Suppose -2*i - 385 = -h*i. Is i prime?
False
Let n = -75 + 562. Suppose -4*w - 391 - n = -5*r, -r + 3*w + 180 = 0. Let j = r - 47. Is j a composite number?
False
Suppose 9*w - 11*w + 174 = 0. Is w a prime number?
False
Let t be (-2)/(-9) + 2/(-9). Suppose -2*l + 5*i + 231 = t, 149 = -2*l - i + 350. Is l composite?
False
Let s = 27 - 5. Is s a composite number?
True
Let z = 598 - 339. Is z prime?
False
Is (20/30)/((-2)/(-5829)) compos