
Let h(b) = 1575*b**2 + 7*b + 9. Is h(-2) prime?
False
Let x(c) = c**3 + 2 - 4*c**2 + 3 + 0*c**2 - 3*c. Is x(5) prime?
False
Suppose 0 = 2*b - 15 - 15. Let d = -11 + b. Suppose 2*y + y - 593 = 4*w, 820 = d*y + 2*w. Is y a prime number?
False
Let n(p) be the second derivative of -p**4/3 + 2*p**3/3 + p. Let o be n(5). Let h = 163 + o. Is h prime?
True
Let s(v) = -v**3 + 6*v**2 - 3*v - 7. Let q(y) = y + 9. Let p be q(-4). Let c be s(p). Suppose 3*w + 2*w - 5*i - 230 = 0, -4*w + c*i = -187. Is w composite?
True
Let n be 0/((-2)/(-2)) - -416. Suppose 4*h - 2*x - 1680 = 0, -3*h - 4*x - n = -1665. Is h composite?
False
Is (-214720)/(-70) + 2 + (-17)/7 a composite number?
False
Let c be 13*(3 - 23) + 1. Let u = c + 69. Let h = 267 + u. Is h composite?
True
Let h = 154 + -96. Suppose 0*o - h = o. Let n = o - -137. Is n composite?
False
Suppose -k = 2*l + k - 20, 3*k = -5*l + 40. Suppose -g + 121 = g - 3*q, l*g = 4*q + 285. Is g composite?
False
Is 15/(-12)*376/(1 - 3) prime?
False
Let v = -929 - -1816. Is v prime?
True
Let v = -2 - -2. Suppose 2*y + 3*x + 0 - 5 = v, y - 4*x - 19 = 0. Is y composite?
False
Let d(p) = 2 - 1 - 18*p**2 + 20*p**2. Let a be d(1). Suppose -455 = -a*v - 2*v. Is v prime?
False
Suppose -6*k + 2*k = -144. Suppose -172 + 49 = -w. Let u = w - k. Is u prime?
False
Let m(x) = x - 5. Let v be m(7). Let c(a) = -7*a**3 + a**2 - v*a + 3 - 3 + 1. Is c(-2) composite?
True
Let a = -1819 - -3456. Is a a prime number?
True
Let d(b) = -6*b + 13. Is d(-9) a prime number?
True
Suppose -5*n + 64 = -421. Is n prime?
True
Suppose 4*j - 306 = -5*v, 0 = 5*j + 4*v - 2*v - 391. Is j composite?
False
Let q be -6 + 2 + 1 + -1. Let d = q - -9. Suppose -2*f + 46 = 3*l + 1, d*l = -f + 26. Is f a prime number?
False
Let o(p) = 3*p**2 + 11*p - 7. Is o(-8) a composite number?
False
Suppose b + 54 = -d, -2*b + b - 39 = -2*d. Let t = b - -204. Is t a composite number?
True
Suppose -f = 3*f - 252. Let h = -44 + f. Is h composite?
False
Suppose -5*u = 3*x - 709, 5*u - 3*u - 282 = -2*x. Is u prime?
False
Suppose 4 = 5*l - 3*x - 9, -l + 3*x - 7 = 0. Suppose -4*r - z - 10 + 27 = 0, 5 = l*r - 2*z. Suppose y + 4*b - 2 = -7, 26 = 5*y + r*b. Is y a prime number?
True
Suppose 12*y - 7810 = 4994. Is y composite?
True
Let w be ((-9)/(-6))/((-2)/(-16)). Let y = -31 + w. Let s = 54 + y. Is s a prime number?
False
Let v(w) = -31*w - 2. Let p be v(-2). Let c = 18 - p. Let y = -7 - c. Is y composite?
True
Suppose 10*x = 12*x + 6. Suppose -2*o - 18 = -o. Is 401/6 + x/o a prime number?
True
Let t = -956 - -1673. Is t a prime number?
False
Is (-1338)/(-12) + (-1)/2 composite?
True
Let c be ((0 - 0)/1)/(-1). Let q(f) = 2 - 5*f + c*f + 4. Is q(-5) a composite number?
False
Let f be 2 + (1 - 0) + -3. Suppose f = 4*h - 112 - 12. Is h prime?
True
Suppose 3*w + 5 - 2 = 0. Let t(a) = a**3 + a**2 - a. Let h be t(w). Is 88/20*5*h composite?
True
Let t = -4 + 2. Let v = t - -8. Is (-2)/6 + 92/v prime?
False
Let f(l) = 2*l**2 + 8*l + 7. Is f(-10) prime?
True
Let r(w) = w**3 + 10*w**2 + 8*w + 1. Is r(-9) a composite number?
True
Let j(z) = -2*z**3 + z**2 + 3*z + 1. Let y be j(-1). Is -1 + 0 + 155 + y prime?
False
Let m(v) = 13*v**2 + 3*v + 3. Let n be m(-5). Suppose 5*z - n = -4*t + 19, -166 = -2*t - 4*z. Is t a composite number?
False
Let j(f) = 0*f - 1 + f**3 + 2*f - 8*f**2 + 3*f + f. Is j(8) a prime number?
True
Let a(p) be the third derivative of p**5/30 - p**4/12 + p**3/6 + 2*p**2. Let t(b) = b**2 + b - 2. Let z be t(2). Is a(z) prime?
False
Is (-52)/(-1) - (1 + 0 + -2) a prime number?
True
Let w(z) = z**3 - 5*z**2 + 6*z - 7. Is w(10) composite?
True
Let v = 23 + -37. Let o = -3 - v. Let t = o - -3. Is t prime?
False
Let a(t) = t**3 - 11*t**2 - 14*t + 1. Is a(13) composite?
False
Suppose 1655 = 5*q - g, 2*g = 4*q - 106 - 1224. Is (-1 - 0)*q/(-6) prime?
False
Suppose -460 = 2*k - 7*k. Suppose -5*h + k = -h. Is h prime?
True
Let h = -1 + 3. Let m be (-316)/(-3)*3/h. Suppose l - 3*l = -m. Is l a composite number?
False
Suppose 0 = 11*f - 14*f. Suppose f*i + 3*c = -i + 62, 12 = 4*c. Is i a composite number?
False
Suppose 0 = 10*v - 14*v + 8. Suppose 2*j + 235 = m + 6*j, -v*j + 243 = m. Is m composite?
False
Suppose -1 = -i + 2. Suppose 0 = 4*o + i*n - 35, -o - n - 10 = -4*n. Suppose o*h + 0*l = -l + 96, 37 = 2*h - l. Is h a prime number?
True
Let g(w) = -w**3 + w**2 - w - 6. Let c be g(0). Let n = c + 8. Suppose -5*o - 2*q - 449 = -10*o, -176 = -n*o - q. Is o prime?
True
Let z be (-1 - -2)/(4/12). Suppose -166 = -z*q + q. Is q composite?
False
Let b(r) be the first derivative of -r**4/4 + 5*r**3/3 + 3*r**2 + 7*r + 2. Is b(5) composite?
False
Let m be (60 - (1 - 2))*-1. Let j = 188 + m. Is j a prime number?
True
Suppose -6*v - 3*v = -14049. Is v a prime number?
False
Suppose 8*b = 3*b - 5*i - 15, 4*i = -20. Suppose -5*w - 20 = -5*m, -5*w + 2*w - 3 = 0. Suppose 17 - 106 = -4*x + 3*s, m*x - b*s = 67. Is x a prime number?
True
Let x = 1 + 102. Let b be 4*(0 - (-1 - 0)). Suppose -2*w - 106 = -b*l, -3*l - l + x = w. Is l prime?
False
Let m = -1945 + 2834. Is m a prime number?
False
Let f = -37 + 72. Is (581/f)/((-1)/(-5)) prime?
True
Suppose 0 + 9 = 3*u. Suppose -u*y - 783 = 3*s, s - 1074 = 5*s - 2*y. Is ((-3)/((-6)/s))/(-1) a prime number?
False
Let k = -1 + -5. Is 1/k - 230/(-12) a composite number?
False
Suppose -3*j - 5*p = -4043, 3*p = -p - 8. Is j a prime number?
False
Let w(j) = -j + 5. Let p be w(10). Let f = p + 5. Suppose 0*s - 3*s + 93 = f. Is s prime?
True
Let m = 3 + -4. Let t(l) be the first derivative of -89*l**4/4 - l**3/3 - l**2/2 - 1. Is t(m) a prime number?
True
Let p(t) = -t**3 - 7*t**2 + 3. Let k be p(-7). Suppose -3*h - 4*s + 1721 = 0, k*s - 2298 = -4*h + s. Suppose 0 = -7*w + 2*w + h. Is w a prime number?
False
Let x = -5 + 11. Let w be (2/2)/(3/x). Suppose 0 = c + w*c - f - 277, 0 = 3*c - 5*f - 269. Is c a prime number?
False
Let g(i) = i**3 - 2*i**2 - 3*i - 4. Let y be g(3). Let h(l) = -l**2 - 4*l - 6. Let k be h(y). Let c(m) = m**3 + 8*m**2 - 2*m - 1. Is c(k) composite?
False
Suppose -k = 5*b - 533 + 108, 0 = 3*k. Is b a composite number?
True
Suppose -4*m + 3*c = 494, 3*m - c - 252 = 5*m. Let a = m + 214. Is a a composite number?
False
Let p = 16 - 11. Suppose -p*r + 668 = -r. Is r composite?
False
Let q = -221 + 364. Suppose 5*n + 0*n + 572 = 4*g, q = g - n. Is g a composite number?
True
Let q(u) = -69*u + 10. Is q(-7) composite?
True
Suppose 366 = 3*u - u. Is u composite?
True
Suppose -5 - 9 = -3*s - 5*i, 0 = s - i - 2. Suppose 0 = s*u - 1373 - 568. Suppose 4*q = -4*z + 524, 0*z - u = -5*z - 3*q. Is z prime?
True
Let u(b) = 3*b**2 - 5*b + 5. Suppose -4*g = -7*g + 15. Is u(g) a composite number?
True
Suppose -3*r + 11 = -5*s + 27, 4*s + 2 = -5*r. Suppose 2*b - 36 = -4*q, 3*q + 14 - 43 = -s*b. Suppose -3*f - 148 = -q*f. Is f a composite number?
False
Let p be 2/(-4) + (-7)/(-2). Suppose 0 = -x - p*x + 556. Is x a composite number?
False
Let u = -1235 - -2884. Is u composite?
True
Suppose -2*h + 3*x + 4 = -7, -4*x - 15 = -3*h. Let f = h - 1. Suppose -l + 2*k = f, l - 1 = -5*k + 13. Is l prime?
False
Let d(p) be the first derivative of -7*p**2/2 + 3*p + 1. Is d(-4) a prime number?
True
Let n = -540 - -983. Is n prime?
True
Suppose -5*h - 5*y + 1630 = 0, 38 - 364 = -h - 5*y. Suppose 0 = -2*t - 163 - 295. Let c = t + h. Is c a prime number?
True
Let s(j) = -15*j - 1. Suppose 2*b = 7*b. Let o = b + -4. Is s(o) composite?
False
Let q be 22/6 + (-2)/3. Let m(c) = 12*c + 7. Let g(j) = -13*j - 8. Let h(s) = q*g(s) + 4*m(s). Is h(6) prime?
False
Let d = 531 + -236. Is d a prime number?
False
Suppose -2*x - 4 = 2*i + 2*x, -17 = -4*i - 3*x. Let m(g) = 6 + 0 + 6*g - 1. Is m(i) prime?
True
Suppose -t = t - 8. Suppose 0*r - t*r = -144. Is 8/r - 2030/(-18) prime?
True
Let n = -1 - -9. Is 1*((-3 - -6) + n) a composite number?
False
Let k be (-8)/(-3) - 8/12. Suppose -k*b - 5 = 3. Is (187/b)/(3/(-12)) a composite number?
True
Let s(w) be the first derivative of 22*w**3/3 + w**2/2 + w + 1. Is s(2) a prime number?
False
Suppose -807 - 2283 = -3*i. Let n = i + -683. Is n composite?
False
Let y(t) = 230*t**2 - 2*t + 19. Is y(-5) a prime number?
True
Let i be (0 - -3)*(-2 - -14). Suppose -2*q - 5*n - 8 = 0, -q + 3*n = 3*q - i. Suppose -4*g + 114 = 5*l - 3*l, -g = 5*l - q. Is g prime?
True
