0. Suppose 6 = 3*f - y. Is 90 + (-3 - (-4 + f)) prime?
True
Let a(p) = -p**3 - p**2 - 1. Let y(z) = 3*z**3 + 4*z**2 + 4. Let c(j) = -17*a(j) - 6*y(j). Is c(-10) a composite number?
False
Let n = -1 + 2. Let o be (-2)/(-1)*1/n. Is (3 + 223/1)/o a composite number?
False
Let d(b) = b**3 - 5*b**2 - 6*b - 4. Let l be d(10). Suppose -3*g + 545 = 2*g + 4*v, l = 4*g + 3*v. Is g composite?
False
Let t = 128 + 180. Suppose -4*c = -t + 48. Is c composite?
True
Let x be 4*(-4)/(4*-1). Suppose 2*j - 4*h = 786, -j + 151 = -h - 244. Suppose -x*q + j = -15. Is q composite?
False
Let i(r) be the third derivative of 1/6*r**3 + 0 + 2*r**2 - 1/12*r**4 + 13/10*r**5 + 0*r. Is i(1) a prime number?
False
Let o = 270 + 119. Is o a composite number?
False
Let i(o) = o**3 - 5*o**2 - 7*o + 5. Let p = -2 + 8. Let c be i(p). Is 2 - (-1*20 - c) prime?
False
Let i(a) = a**3 + 9*a**2 - 8*a - 10. Is i(-9) composite?
True
Suppose -3*h + 0*h - 3*n + 4935 = 0, 0 = h - 3*n - 1661. Is h prime?
False
Suppose -1025 = -5*x - 355. Is x composite?
True
Let x(t) = -t + 5. Let o be x(3). Suppose -2*k + 6 = o. Suppose -3*a + k*a + 2*j = -32, -2*a - j = -79. Is a prime?
False
Is 2/(-2) + 13*6 a composite number?
True
Suppose 6*d - 83 = 3*d + o, 4*d + o - 99 = 0. Let g = d + -12. Is g prime?
False
Suppose -31*q + 10299 = -28*q. Is q a prime number?
True
Suppose -1 = -3*z + 4*z, 2*z + 1825 = u. Is u composite?
False
Suppose 4*h - 18 + 1 = d, -d - 7 = -2*h. Let x(f) = -4*f**3 - 7*f**2 - 5*f - 2. Let c be x(-5). Suppose d*o - c = -o. Is o composite?
True
Let r(h) = h**2 + 6*h + 4. Let b be r(-6). Suppose -n + 48 + 18 = 0. Suppose n = b*j - j. Is j prime?
False
Let k = -418 + 757. Is k composite?
True
Let b(i) = 4*i + 2. Let a be b(-6). Let y = 370 + a. Let o = y + -133. Is o a prime number?
False
Suppose -4*w + 4 = -20. Suppose y = -w*f + 2*f - 14, -2*y + 37 = -5*f. Is y a composite number?
True
Let i(c) = c**3 - 2*c**2 - 4*c - 5. Let v be i(11). Suppose 0 = -4*b - v + 380. Is b/(-2)*(-4)/(-6) a composite number?
True
Suppose l = -y + 158, 7*l - 2*l + y = 810. Is l composite?
False
Let c(o) = 6*o**2 - 9*o - 8. Is c(7) composite?
False
Let v(w) = w**2 + 7*w + 2. Suppose d + 27 = -5*a, 0 = 3*a + 4*d - 0*d + 6. Let n be v(a). Let k = n + 19. Is k a prime number?
False
Let j be 2/(-9) - (-204)/(-54). Let u be j/(-8) - 81/2. Let h = u - -77. Is h composite?
False
Is (-1419)/(-7) + 8/28 prime?
False
Let o(y) = -186*y**2 - 1. Let s be o(-1). Let j = -112 - s. Let h = j - 54. Is h a prime number?
False
Suppose -2*v + 4 = -m - 0, 5*m - 40 = -5*v. Suppose 273 = -d + m*d. Is d composite?
True
Is (-17 + 18)*28/2 a composite number?
True
Let w be (-842)/4 + (-5)/(-10). Is (7/3)/((-10)/w) composite?
True
Let c(q) = q - 6. Let t be c(0). Let z be (2 - 4) + (3 - t). Let o(r) = r**2 - 4*r + 10. Is o(z) prime?
True
Suppose -698 - 307 = -3*l. Is l prime?
False
Suppose -b = -5*b + 712. Is b composite?
True
Let z(n) = n**2 + n - 1. Let d be (-9)/2*(9 + -7). Is z(d) prime?
True
Let h = 4 - 3. Let m be (-2)/h + (-60)/(-3). Suppose 2*d + d = m. Is d composite?
True
Suppose 6*a = -a + 12873. Is a a prime number?
False
Let s(f) be the first derivative of 2*f**2 + f - 2. Let y be s(1). Suppose -3*d - 68 = -y*d. Is d composite?
True
Let q be 257 - (1 - (-4 + 3)). Is (q/(-6))/(2/(-4)) a prime number?
False
Suppose -c = -0*c - 259. Is c a prime number?
False
Let p = -4 - -4. Suppose 5*k + 149 = 2*y, -3*k + p*k = 4*y - 311. Is y prime?
False
Is (-10)/15 - (-6670)/6 a prime number?
False
Let t(j) = 2*j**3 - 4*j**2 - j - 7. Is t(4) a prime number?
True
Suppose 2*v = -3*r - 716, -4*v - 2 = -10. Let z = r + 355. Is z composite?
True
Let v = 801 - 499. Suppose -4*f = 34 - v. Is f composite?
False
Suppose 0 = -3*x + 7 + 2. Suppose 0 = x*i - 6*i + 393. Is i a composite number?
False
Let r(z) = -z**3 + z**2 + 127. Let f(s) = -s**3 + s**2 + s + 2. Let c be f(2). Is r(c) composite?
False
Suppose 7*p - 1986 = p. Is p prime?
True
Suppose -2*l - 2*v + 1832 = 0, 0*l - 5*v - 1797 = -2*l. Is l a prime number?
True
Let v(p) = 5*p**2 - p + 1. Let a be v(1). Suppose -2*g + 1 = h - 2, -2*h = a*g - 1. Is h prime?
True
Let n be (-2 - -1)/(-1)*0. Let a(w) = w**3 + 4*w**2 - w - 2. Let v be a(-4). Suppose -2*z = -b - 105, z - v*b - 3*b - 30 = n. Is z a composite number?
True
Suppose -v - 4 = 5*m, 4*v - 2*v - 7 = 5*m. Let a(z) be the second derivative of 13*z**5/5 + z**3/6 + z. Is a(v) a composite number?
False
Let i = -6 - -10. Suppose i*d - 5 = 3. Suppose 0 = -2*g + 5*v + 144, -d*g + 19 = v - 137. Is g a composite number?
True
Suppose 0 = -0*g + 8*g - 2344. Is g composite?
False
Suppose 10*m = 4*m + 1542. Is m a prime number?
True
Let z be 426*(4/4 - 0). Let s = 677 - z. Is s prime?
True
Let v(n) = -2*n + 3. Let k be (-2)/6 + (-8)/3. Is v(k) composite?
True
Let y be 2/3 - 8/(-6). Suppose -3 - y = -j, 0 = -2*l + 3*j - 9. Suppose -18 = -2*s + l*t, 0 = -3*s + 7*s + 4*t + 4. Is s a prime number?
True
Suppose -2*t = -t + 76. Let o = t + 52. Let g = -14 - o. Is g a prime number?
False
Is (-1 + 2)*(250 - -1) prime?
True
Let x(d) = -62*d - 9. Suppose 43 = -4*b + 11. Is x(b) composite?
False
Let q(m) = -332*m**3 - 2*m - 3. Is q(-1) a prime number?
True
Let l = 529 + -278. Is l a composite number?
False
Suppose 4*h - 234 - 233 = -3*c, 2*h - 755 = -5*c. Is c a composite number?
False
Suppose 2*g + 4*k + 28 = 112, -2*k = -g + 38. Let t be 0 + -1 + g + 0. Suppose -4*h + t + 2 = 3*f, 4*f + 4*h = 60. Is f composite?
False
Is (-14)/(-63) - 3434/(-18) a prime number?
True
Let r(p) = 11*p**2 - 2*p + 15. Let l(s) = 6*s**2 - s + 8. Let f(n) = -7*l(n) + 4*r(n). Is f(-6) composite?
True
Let m(b) = b**2 - 6*b + 5. Let i be (18/4)/(6/8). Let l be m(i). Suppose 4*n = -q + 33, 4*q = 3*q + l. Is n a composite number?
False
Let b = -198 - -410. Suppose 2*d - b = -2*d. Is d a composite number?
False
Let y be -2 - 1/(3/(-6)). Is 69 + (-4 - (-2 + y)) prime?
True
Let v(h) = -h + 12. Let f be v(10). Suppose 3*q - 1 - f = 0. Is -1*((-2)/2 - q) prime?
True
Let g(m) = 77*m**3 - m**2 + 2*m - 1. Let d be g(1). Is 1*d/(1 + 0) composite?
True
Let r(k) = 8*k + 3221. Is r(0) composite?
False
Suppose -i = -3*y - 0*y + 11, -5*i = -5*y + 15. Suppose -5*r - 2*l + 177 = 0, 0 = 2*r - 7*r - y*l + 179. Is r a composite number?
True
Let k be (13 - -1) + -3 + 3. Is (k/4)/((-7)/(-14)) prime?
True
Let a(s) = s. Let t be a(-1). Let z be (-2 - 1)/(6/16). Is (z - 3)/(1/t) a prime number?
True
Suppose -168 = -t + 3*v - 23, -5*v - 10 = 0. Suppose -3*g + 350 + t = 0. Is g a composite number?
False
Let q = -12 + 24. Suppose l + q = 3*l. Is ((-4)/l)/(2/(-147)) a composite number?
True
Let w = -25 + 28. Suppose -w*i = 4*f - 291, i - 291 = -2*i + 4*f. Is i a composite number?
False
Let q(z) = 166*z**3 - 2*z**2 + 5*z - 1. Is q(2) a prime number?
False
Suppose 0 = 2*m - 0*m - 2506. Is m a prime number?
False
Suppose 12 = -3*b + 5*b. Let d = b + -2. Suppose -2*n + 3*n + 3*r - 79 = 0, d*n + 5*r - 288 = 0. Is n a composite number?
False
Suppose z - 11 = -3*b, 3*z - b - 15 = z. Suppose z = -2*t + 82. Is t composite?
False
Let j be (-10)/(-3)*3/2. Let s(b) = b**2 - 5*b + 2. Let y be s(j). Let m(g) = 20*g**2 - 2*g + 1. Is m(y) a composite number?
True
Let y(r) = r**2 + 2 + 4 + 0*r**2 + r + 1. Is y(5) a prime number?
True
Let m(q) = 30*q**3 + 3*q**2 - 2*q - 1. Is m(2) composite?
True
Suppose -6*c + 4*w + 20 = -c, 0 = 4*c - w - 16. Let n = -15 + 16. Is (n - (-26)/c)*2 composite?
True
Let b(w) = 4*w - 3. Let r = 17 - 7. Is b(r) composite?
False
Let u = 2191 - 1445. Is u a prime number?
False
Let m(h) = 4*h**2 - 8*h + 11. Is m(-15) prime?
True
Suppose h = -0*h. Suppose 0 = 4*f + 3*i + 2*i - 298, 5*f - 2*i - 389 = h. Is f composite?
True
Suppose -2*d = -2*x - 4, -16 = 5*d + 5*x - 6. Suppose -3*t - t + 212 = d. Is t prime?
True
Let c(b) = -b**3 + 373. Suppose 0*p - 3*p = -27. Let k(l) = l - 9. Let z be k(p). Is c(z) a prime number?
True
Is (483/28)/(6/40) prime?
False
Let v(c) = -c + 11. Let f be v(5). Is 1407/9 - f/(-9) composite?
False
Let q(r) be the third derivative of 7*r**4/24 + r**3/3 - r**2. Let n be q(-2). Is 2/(-3)*n + -1 prime?
True
Let z = -85 + 158. Suppose -t + 39 = 2*l - 30, -2*l - 5*t + z = 0. Is l prime?
False
Let n(g) = -g + 1. Let x(w) = w + 6. Let m(a) = -2*n(a) - x(a). Let p be m(4). Is (-2)/(p/18)