308 + b. Is n composite?
True
Let b(u) = 3*u**2 + 3*u + 2. Let l be b(-2). Suppose 3*k + l*c = 5*c + 3, -3*c - 18 = -4*k. Suppose k*a + s + 370 = 4*a, 2*s - 1125 = -3*a. Is a a prime number?
True
Let f be ((-4 - 4) + 7)/(1/(-3)). Let s = 5 + -8. Is s/f + 150 + 0 prime?
True
Let t be 3/(-15)*-5*-1. Let a = -393 + 584. Is 0/(-1) - a/t composite?
False
Is (-19 + 18)/((-3)/47613) a prime number?
False
Let v(y) = y**3 + 13*y**2 + 13*y + 12. Let g be v(-12). Suppose 0*o + 4*o + 28 = g. Let z = 312 - o. Is z a composite number?
True
Suppose -y + 0*g = -5*g - 19, 20 = -5*g. Let z(j) = -60*j - 2. Is z(y) a prime number?
False
Let q = -43 - -44. Is 159 + (-4)/2*q a prime number?
True
Let l(a) = -a**3 + a**2 - 4*a + 233. Let v(t) = t**3 - 2*t**2 + 5*t - 233. Let b(r) = 3*l(r) + 2*v(r). Is b(0) a composite number?
False
Let i(u) = 2104*u**3 - 4*u**2 - u + 3. Is i(2) a prime number?
False
Let c(z) be the first derivative of -143*z**3/6 + 4*z**2 + 3*z + 1. Let y(l) be the first derivative of c(l). Is y(-3) composite?
True
Let o(b) = -1762*b - 153. Is o(-2) prime?
True
Let c(i) = 4*i + 50. Let d be c(-14). Is (-23)/((-2 - -8)/d) prime?
True
Let s(f) = 3761*f**3 + f**2 - 3*f + 2. Let z = -68 + 69. Is s(z) a prime number?
True
Let m = 87 - 43. Is 7/(-49) + m/14 + 1654 composite?
False
Suppose 9350 = 3*u - 2*z + 2389, 1 = z. Is u composite?
True
Let i(m) be the third derivative of m**5/10 + m**4/12 + 13*m**3/6 - 12*m**2. Is i(-9) a composite number?
True
Let x = 401 - 168. Let y = x - -1016. Is y a prime number?
True
Suppose -3*u - 8 = j - 0, -4*u = -j - 1. Let o be ((-120)/(-36))/(u/3). Let l(z) = 3*z**2 + 6*z + 14. Is l(o) a composite number?
True
Suppose 53225 = 102*a - 97*a. Is a a composite number?
True
Let i(a) be the third derivative of 85*a**4/24 - 8*a**3/3 - 7*a**2. Is i(15) a composite number?
False
Suppose 0 = -3*d + 4*d - 29560. Suppose 0 = -10*z + 2*z + d. Is z a prime number?
False
Let i = 489 + 49. Is i a prime number?
False
Let j be 7/((-7)/4) - -5. Is j*253 + (-8)/(-12)*-3 composite?
False
Let n(t) = -165*t + 82. Is n(-5) a composite number?
False
Let v(b) be the second derivative of b**4/4 - b**3/3 - 3*b**2/2 - 10*b. Is v(4) prime?
True
Suppose 4 = -3*y - 4*i, 5*y + 2*i - 5*i + 26 = 0. Is 1*(y - (-860)/4) composite?
False
Let z = -23 - -42. Suppose -x + 153 - z = -w, -423 = -3*x - 4*w. Suppose -x = -f + 80. Is f prime?
False
Let w(j) = -j**3 + 7*j**2 - 4*j - 2. Let m be w(7). Let c be (-20)/m*(-9)/(-2). Suppose -c*h + 2*h = 3*s - 880, s = -2*h + 295. Is s composite?
False
Let j(q) be the first derivative of q**5/20 - q**4/12 + 11*q**3/6 + 7*q**2/2 + 2*q - 1. Let n(b) be the first derivative of j(b). Is n(8) prime?
False
Let j = -9 + 16. Suppose -b + 30 = -j. Suppose 5*k - a - b = 0, -38 = -4*k - 2*a + 7*a. Is k a composite number?
False
Suppose 0 = 108*c - 84*c - 229032. Is c a composite number?
True
Let d be 0 + ((-6)/(-1))/3. Suppose 2*k + 243 + 463 = d*b, 5*k - 1765 = -5*b. Is b a composite number?
False
Let w(j) = 6*j + 4. Let z be w(4). Suppose f - 5*s + 5 = 1, -4*f - 2*s = -z. Suppose 3*l = f*l - 447. Is l composite?
False
Let d = 3742 + -5857. Let i = -148 - d. Is i prime?
False
Suppose -4*g + 7*g = 0. Suppose -5*i + 2*a - 5 = g, -3*a + 2 = -2*i - 2*a. Is (-22)/(3/(-2 + i)) a composite number?
True
Let t(z) = z + 9. Let b be t(-6). Suppose -b*d - 2*d + 50 = 0. Is (-2)/d + (-624)/(-20) prime?
True
Suppose 305 = 5*j + 6745. Let w = -171 - j. Is w prime?
True
Suppose -4*q = -5*z - 820541, q - 3*q + z = -410263. Is q a prime number?
True
Let v = -39655 - -56258. Is v prime?
True
Suppose 2*g - 479 = -3*r, -29 = -g + r + 208. Let u = 361 - g. Is u a composite number?
True
Let c(r) = -9*r - 8. Let l(q) = -10*q - 9. Let m(s) = 3*c(s) - 2*l(s). Let g be m(-5). Let n = 75 - g. Is n composite?
True
Let v(i) = 8*i**3 + 59*i**2 - 19*i + 41. Is v(10) composite?
False
Let g(c) = c**3 - 18*c**2 + 7*c - 8. Let b be g(13). Let l = b + 1453. Is l composite?
False
Suppose -4*t = -4*p - 3*t - 941, 0 = 2*p + 5*t + 443. Let k be 4/(-6) + (-978)/18. Let j = k - p. Is j composite?
False
Let q(x) = -3*x + 12. Let s be q(-6). Suppose -4*c + 4*k + s = -674, -k = 5*c - 886. Is c a prime number?
False
Let q(l) = -1247*l**2 - l + 2. Let n be q(2). Let r = -2828 - n. Suppose 5*v - h = 2130, -5*v - 3*h = 2*h - r. Is v a prime number?
False
Let g = 67 - 45. Let r = g + -20. Suppose -7*i - r*u + 48 = -3*i, 2*i - 12 = 5*u. Is i a prime number?
True
Let p = -24 + 26. Let d(b) = 67*b**p + 122*b**2 + b + 90*b**2 + 1 - 49*b**2. Is d(-2) a prime number?
True
Let v be 2 - (0 + 6)/(-3). Suppose 4*i = v*y + 376, 0 = y + y - 6. Is i composite?
False
Suppose 3*u = 5*a - 2*u - 4420, -2*u + 3554 = 4*a. Is a composite?
False
Let u(q) = 7*q**2 - 15*q - 14. Let f(k) = -6*k**2 + 13*k + 13. Let p(m) = -3*f(m) - 2*u(m). Let j be (-29)/3 + 4/(-12). Is p(j) composite?
False
Let b = 319 - -316. Is b composite?
True
Let c(d) = 19*d**3 - 3*d**2 + 9. Let b be c(-4). Let s = 1878 + b. Is s composite?
True
Let p(f) = 0*f - 7 + f + 98*f**2 + 60*f**2 + 8. Is p(2) prime?
False
Suppose 11*m = 7*m + 456. Let a = m + -11. Is a a composite number?
False
Let f = 50 + -46. Suppose 2*a + 4*r = 4*a - 954, -5*a = f*r - 2357. Is a prime?
False
Suppose -5*s = 5*o - 21555, 4*s - 6*o + 11*o - 17248 = 0. Is s a prime number?
False
Is -5 - -1 - (-12 - 10215) composite?
False
Suppose 0 = -4*q - 0*q + 8. Let n be q/(0 + -3 + 1). Is 12/(-3) - -10 - n prime?
True
Suppose 0 = 12*w - 21706 + 6178. Is w prime?
False
Let z(s) = -7*s**2 + s - 2. Let t be z(1). Is (379/(-4))/(t/32) prime?
True
Suppose -3114 = 5*k - h, -1866 = -2*k + 5*k - 3*h. Let g = k - -403. Let z = -109 - g. Is z a composite number?
True
Let m be -2 - (5 - (0 - 1)). Let h(d) = -2*d**3 - 8*d**2 + 17*d + 3. Is h(m) a prime number?
True
Let j = -12300 - -24371. Is j a composite number?
False
Let w(z) = z**2 - 5*z - 1. Let r(x) = -11*x - 9 + 3 + 12*x**2 + 2 - x**3 - 3. Let o be r(11). Is w(o) prime?
True
Suppose -b + 0 = -5*t + 15, 3*t = -2*b + 22. Suppose t*h - 612 = -8*h. Is h composite?
True
Let r = 931 + -284. Is r composite?
False
Suppose -192 = -2*j + 500. Suppose 4*p - 4*w = w + j, 2*p - 3*w = 172. Let y = 162 + p. Is y prime?
True
Suppose -28506 = -11*s + 5*s. Is s composite?
False
Let z(l) = -356*l - 81. Is z(-17) a prime number?
False
Suppose 174916 = 52*x - 24*x. Is x a composite number?
False
Let d(j) = 6*j**3 + 3*j**2 - 8*j + 12. Let z be -3*2/(-3) - -3. Is d(z) a composite number?
False
Let k(g) = 16*g**3 + 2*g**2 + 2*g + 3. Let d(j) = 47*j**3 + 7*j**2 + 5*j + 9. Let c(l) = 2*d(l) - 7*k(l). Is c(-1) prime?
True
Let l(m) be the first derivative of 7*m**2/2 + 7*m + 1. Let x be l(8). Let r = x - 32. Is r a composite number?
False
Suppose 33*d - 34*d = -16823. Is d a composite number?
False
Suppose -5*u + 1 + 9 = 0. Suppose -3*l + 525 = 3*k - 0*l, u*l - 884 = -5*k. Is k a prime number?
False
Is 3789 + (-14)/7*-2 a composite number?
False
Let x = 708 + -354. Let p = x - 101. Is p prime?
False
Is 46806 + -1 + (4 - 2) composite?
False
Suppose 2*r + 324 = -1094. Let i = 1290 + r. Is i composite?
True
Suppose -a = -2*a + 91. Let y = 7 + -11. Let n = a + y. Is n prime?
False
Let g(d) = -d**3 + 22*d**2 - d - 19. Is g(16) composite?
True
Let v be ((-40)/16)/(3/(-6)). Suppose 4*y = 2*y + 3212. Suppose -3*i = -v*i + y. Is i prime?
False
Let z(v) = -6*v**2 - 6*v - 6. Let m be z(-2). Let u be -2*2*(-6)/8. Let i = u - m. Is i a prime number?
False
Suppose 10 = 2*m, y - 21 = 2*y - 5*m. Suppose 2*k = 3*k + 2*n, y*k - 4*n - 24 = 0. Suppose 1315 = k*t + 39. Is t a composite number?
True
Suppose -10*r - 8296 = -32426. Suppose -r = -20*m - 113. Is m a composite number?
True
Suppose -3*g - 1859 = -i, i + 5*g + 1853 = 2*i. Let z = i - 699. Is z prime?
False
Suppose 0 = -k - 2 - 0. Let m be -4*(78/(-4) - k). Is (m/15)/((-2)/(-57)) a composite number?
True
Let m = 124891 + -82688. Is m a prime number?
False
Let u(v) be the second derivative of 0 + 0*v**3 + 1/20*v**5 + v**2 + 1/6*v**4 + 9*v. Is u(3) a composite number?
False
Suppose 5*d - 3090 = -5*w, 3*d = -2 - 1. Is w a prime number?
True
Let f be (373/(-2))/((-1)/2). Let i = -596 - -336. Let l = f + i. Is l a prime number?
True
Suppose 3*g - 3*y + 0*y + 39 = 0, g = -2*y - 13. Let p be (-2810480)/(-104) - 2/g. Is p