 + 353. Is a composite?
False
Suppose f - 21 = -5*b + 6, -3*b = -15. Suppose -3*o = -o + f. Is o + 1 - (3 + -26) a prime number?
True
Let b = 3 + 4. Let s = b + 0. Is s*-2*(-7)/2 a composite number?
True
Let t(d) = -11*d**2 - 15*d + 18. Let a(b) = 4*b**2 + 5*b - 6. Let z(i) = 17*a(i) + 6*t(i). Let w be z(4). Is (3 - 0)*222/w prime?
True
Is (-17432)/(-12)*(-6)/(-4) composite?
False
Suppose -2*j = 3*t - 517, -3*t + 241 + 25 = j. Is j a prime number?
True
Let r = 45 - 18. Suppose 4*a + 4*z + 12 = 0, 6*z - z = a - r. Suppose 0*g - a*g = -70. Is g a prime number?
False
Let k(y) = -y**3 - 3*y**2 - 2*y + 4. Let a be k(-3). Let v(m) = 12*m - 9. Is v(a) prime?
False
Is -2 + (39*5 - 2) composite?
False
Suppose -3*n - 3*m + 2541 + 1530 = 0, 5*n - 2*m = 6813. Is n a composite number?
False
Let w = -1 + 38. Is w composite?
False
Suppose -2*k + 162 + 145 = 5*m, 3*k - 2*m - 489 = 0. Is k prime?
False
Suppose 264 + 785 = k. Is k composite?
False
Suppose 3*c - 182 = k - 0*k, 2*c - 3*k = 133. Is c prime?
True
Suppose -4*l + 7 = -3*l. Let w(c) = c**2 - 7*c + 3. Let y be w(l). Let q(v) = -v**3 + 3*v**2 + 5*v - 2. Is q(y) a composite number?
False
Let u = 124 - 86. Suppose -185 + u = -3*m. Is m composite?
True
Let n = -5 - -5. Suppose 0 = 2*z - i - 10 + 2, 2*z + 2*i + 4 = n. Suppose 169 = 5*s + z*p - 6*p, -181 = -5*s + p. Is s composite?
False
Suppose -4*h - 75 = 3*j, 4*j - j = -5*h - 75. Let c be (-22)/(2 + 0)*j. Suppose 6*m - c = m. Is m prime?
False
Let k(q) = 3*q**2 + 3*q. Let t be k(-2). Is 111/t*6/1 a prime number?
False
Suppose 0 = -0*r - 5*r + 3205. Is r composite?
False
Suppose -f = 4*f - 1015. Is f a composite number?
True
Let s = -37 + 51. Is s a composite number?
True
Suppose 6*l - 108 - 90 = 0. Let t = l - 14. Is t composite?
False
Suppose 3*f + 3*t - 8 = 5*f, 5*f - 6 = t. Suppose -f*n = -1 - 7. Suppose l - n*g + 29 = 71, 2*l + 5*g - 19 = 0. Is l prime?
False
Let s be -1*(-1 - 2)*-1. Let d be (-20)/8*(-1 + s). Suppose -u = d - 47. Is u a prime number?
True
Is (-2)/12 + 4355/30 a composite number?
True
Let c(w) = -w + 1. Let g be c(-3). Suppose 79 + 27 = 3*p - z, -g*p = -4*z - 128. Is p a prime number?
True
Suppose 0 = n - 0*n - 641. Is n prime?
True
Let m = 1984 - 1002. Is m a prime number?
False
Let t(j) = 1 + 10*j + 0 - 4*j. Is t(3) prime?
True
Suppose -7*r = -3*r - 828. Suppose -l = -4*j - 115 - 73, 0 = -5*j - 4*l - 214. Let x = j + r. Is x a prime number?
False
Let h(c) = 2*c + 5. Let y be h(5). Let o(r) = -3 + 5 - 2 + y*r**2 - 3*r + 5. Is o(-4) prime?
True
Let m(p) = 4*p**2 + 3*p + 6. Let d be m(6). Let o(t) = t**3 - 7*t**2 + 7*t - 4. Let n be o(6). Suppose n*q - d = -62. Is q a composite number?
False
Suppose 2*a + a = -12. Is -4*(-2)/a - -219 a composite number?
True
Suppose 0 = 4*u - 6*u + 548. Is u prime?
False
Let r = 213 - -244. Is r a composite number?
False
Suppose -3*o + 0*z + 880 = 5*z, -5*o + 1471 = 4*z. Is o a composite number?
True
Suppose -2*i - 3*i = -5*r + 2060, -3*r + 1215 = 4*i. Is r a prime number?
True
Let n(b) = 4*b**2 - 6*b + 3. Suppose -5*o + o = c - 33, -5*o = 2*c - 42. Is n(o) composite?
False
Suppose -25 + 45 = 4*d. Suppose -2*g + 157 + 99 = 0. Suppose k - 5*k + g = d*w, -w - 4 = 0. Is k prime?
True
Let k = 5 + -2. Let i(v) = -2*v + 25 + 2*v**2 + v - k*v**2 + v**3. Is i(0) a prime number?
False
Suppose 3*j - 1411 = -5*n, 2*j = 6*j - 5*n - 1858. Is j a composite number?
False
Let p(a) be the second derivative of 35*a**3 + a**2/2 - a. Let m be 2 + (0 - (-4)/(-4)). Is p(m) a composite number?
False
Suppose 0 = -2*g + u + 10, 2*u = -g + 4*u + 11. Let t be g/(16/14 - 1). Let x = t - -32. Is x a composite number?
False
Let r be ((-3)/6)/((-2)/12). Suppose r*a - 217 = 4*i - 9*i, -i = -2. Is a a composite number?
True
Suppose 0*b - 4*d = 3*b - 124, 0 = 3*d + 6. Let z = b - 22. Is z a prime number?
False
Suppose m - 4*b - 283 = 0, -5*m + b + 1162 = -m. Is m prime?
False
Let c(f) be the third derivative of f**5/60 + f**4/24 + 35*f**3/6 + f**2. Let u(y) = -y**2 - y + 2. Let b be u(1). Is c(b) prime?
False
Let c(k) be the third derivative of -5/6*k**3 + 1/30*k**5 + 0*k - 3*k**2 + 0 - 1/3*k**4. Is c(7) prime?
True
Let p be ((-368)/6)/((-1)/3). Let b(k) = -k**3 - k**2 + 1. Let v be b(-2). Suppose -t - 2*j + p - 57 = 0, -2*j - 635 = -v*t. Is t composite?
False
Let i = -6 + 73. Is i a prime number?
True
Let j(y) = -y**2 + 1. Let q(w) = 80*w**2 - w + 4. Let a(m) = -4*j(m) + q(m). Is a(1) a prime number?
True
Let j = 2 + -5. Is j/2*(0 + -46) a composite number?
True
Suppose -14*l + 886 = -12*l. Let o = l - 60. Is o prime?
True
Let t(z) = -z**3 + 14*z**2 - 5*z - 11. Let k be t(12). Suppose 12 = 3*p, -n - n - 280 = -4*p. Let c = n + k. Is c prime?
False
Suppose -5*s - 636 = -36. Let p = 103 - s. Is p composite?
False
Let n = 26 + -23. Suppose -4*j + n*d = -137, -4*d = -4*j + 25 + 111. Is j composite?
True
Let z(b) be the third derivative of 0 + 0*b - 3*b**2 - 7/6*b**3 + 1/30*b**5 - 1/3*b**4. Is z(-5) composite?
False
Let q = 443 + -36. Is q composite?
True
Let o(u) be the first derivative of u**2 - 8*u + 4. Let s be o(7). Let d = s - -3. Is d a composite number?
True
Is (422/(-4))/(9/(-18)) a composite number?
False
Let q = -1558 + 2397. Is q a composite number?
False
Suppose -151 = -4*c + 53. Is c prime?
False
Let n(q) = 2*q**2 - 3*q - 1. Let o be n(3). Suppose 0 = -4*z - o, -345 = -3*w - 0*z + 3*z. Is w composite?
False
Let u(y) = -7*y - 3. Let c(l) = -3*l - 2. Suppose 0 = 3*m + m + 20. Let b(x) = m*c(x) + 2*u(x). Is b(9) a prime number?
True
Suppose 0 = -r + 4*r + 687. Let p = -118 - r. Is p composite?
True
Is 1094 + -9 - -1*2 composite?
False
Let v = 360 + 853. Is v prime?
True
Let q = -5 - -9. Suppose 3*v - 73 = -2*b, 4*v + 136 = q*b - 0*v. Is b a composite number?
True
Let n = 22 - -141. Is n a composite number?
False
Let y be 186/(-15)*(0 + -5). Suppose 0 = -5*v + y + 8. Is v a composite number?
True
Let n be ((-45)/(-5))/((-2)/6). Let d = n + 62. Suppose -2*f + d = -c, f + 2*c - 3*c - 16 = 0. Is f prime?
True
Let y = 155 + -355. Suppose 441 = -4*z + i, -2*z + 134 = -3*z + 5*i. Let s = z - y. Is s a prime number?
False
Is (-24)/(-18)*(28581/2)/7 prime?
False
Let m(d) = -d**3 - 3*d**2 + 6*d + 3. Let u be m(-4). Is 1*u/((-15)/138) prime?
False
Let q(s) = -574*s + 3. Is q(-2) a composite number?
False
Let i = 176 - 89. Is i composite?
True
Is 268 + -2 + -2 + -1 prime?
True
Suppose 0 = y + 3*y - 4*f - 1780, 4*y + 5*f = 1798. Is y a composite number?
True
Let v = 4 + -2. Suppose 0*m - v*s = 3*m - 20, 3*s = -m + 2. Is 374/m*-2*-2 a composite number?
True
Let m(y) be the third derivative of -7*y**6/360 + y**5/24 + y**4/8 - 4*y**2. Let q(c) be the second derivative of m(c). Is q(-6) prime?
True
Let j(a) = 3*a**2 - a + 3. Let k(t) = -5*t**2 - 3*t + 9. Let s(b) = -4*b**2 - 2*b + 8. Let h(y) = 3*k(y) - 4*s(y). Let c be h(0). Is j(c) a composite number?
False
Suppose 3*w = 4*v + 7*w - 16, 2*v - 20 = -5*w. Let m = v - -3. Suppose y - 18 - m = 0. Is y composite?
True
Let l(y) = -19*y - 6. Let j(m) = -665*m - 209. Let n(i) = 6*j(i) - 209*l(i). Let k = 2 + -3. Is n(k) a prime number?
True
Suppose -3*b + 295 = 6*h - 2*h, -5*b + 461 = -h. Let j = b + -42. Is j a composite number?
True
Let j(c) = c**3 + 6*c**2 - 3*c - 7. Let y(z) = z**3 + 7*z**2 + z + 7. Let i be y(-7). Let o = -6 + i. Is j(o) a composite number?
False
Let r(b) = -b**3 - 7*b**2 - b - 5. Let t be r(-7). Suppose -t*u + 201 = -109. Suppose 2*v + u = 7*v. Is v prime?
True
Let i(x) = 6*x - 2. Let w(h) = -h**2 - h - 1. Let f be w(-2). Let t be i(f). Is 334/10 + (-12)/t a composite number?
True
Let x(g) be the first derivative of -17*g**2/2 - 6*g + 3. Suppose 4*b + o = -15 - 6, -2*o + 23 = -5*b. Is x(b) a composite number?
False
Suppose 6*v - 5*v - 613 = 0. Is v a composite number?
False
Suppose -40 = -5*g - 0. Suppose -6 - g = -2*j. Is j a prime number?
True
Let r(a) be the third derivative of -55*a**4/24 + 5*a**3/6 + a**2. Let t be r(-5). Suppose 4*c - 4*z - t = 0, c = z + 2*z + 80. Is c a composite number?
True
Suppose -n = -m + 1, 4*n + n - 4*m = -9. Let k(l) = l**3 + 6*l**2 - 6. Is k(n) a prime number?
True
Let q(d) = 4*d**2 + 2*d - 3. Suppose 4*z + 4*k = 2*z + 8, z + 12 = 2*k. Let s = z - -7. Is q(s) a composite number?
True
Let n(w) = -w**3 + 15*w**2 - 10*w - 3. Is n(13) a prime n