 Is h(-6) a prime number?
False
Let s(i) = -34*i + 37. Let g = -53 + 42. Is s(g) a composite number?
True
Let f be -258*(-4)/(-6)*16/(-32). Let j = 167 + f. Is j a composite number?
True
Suppose 15 = -i - 2*x - 2*x, 5*i - 5*x = 0. Is (-18690)/(-48) - i/(-8) composite?
False
Let r(z) = 5*z**2 + 2*z + 2. Let q be r(-1). Let u(d) = -d**2 + 8*d + 6. Let s be u(q). Is (-1)/7 + 3132/s a composite number?
False
Suppose -q = -19465 - 16282. Is q a prime number?
True
Let q be 4 + 0 - 78/2. Let j be ((-1554)/q)/(2/10). Suppose 0*l + 4*z = 2*l - j, 0 = -l - z + 111. Is l a prime number?
False
Let c = -22 + 2. Is (-1)/(c/1205)*12 a composite number?
True
Let d be ((2 - 0) + -1)*0. Suppose 5*y + d*y = 65. Is y - 9 - 34/(-2) prime?
False
Suppose 4*o - 28406 = -o + 3*t, -11375 = -2*o - 3*t. Is o composite?
False
Let n = 0 - 10. Is n/(-35) - 9474/(-14) a composite number?
False
Let f(j) = -j + 1. Let o be f(-1). Let m(t) = 67*t**2 - 2*t + 2. Let n be m(o). Let p = 555 + n. Is p composite?
False
Let r be 2/(-9) + 224/(-126). Is -3 - (r + -4) - -74 a prime number?
False
Let f(b) = -b + 10. Let a be f(7). Suppose -5*m - a = 17. Is m/(-10) - (-14379)/15 composite?
True
Let j = 2047 - 861. Is j a prime number?
False
Let m = -141 - 284. Suppose 2*u - b + 787 = -u, -u - 264 = -2*b. Let d = u - m. Is d a prime number?
True
Let t be 9 - ((-2)/1 + 6). Let y be ((-346)/5)/((-2)/10). Suppose 0 = 3*l - a - y - 315, 3*a = -t*l + 1111. Is l prime?
False
Suppose 17099 + 45748 = 9*q. Suppose -q = -3*u + 4*b, 0 = u - b - 4*b - 2346. Is u prime?
False
Let w(z) be the first derivative of -z**6/120 + z**5/4 - 2*z**4/3 + z**3/6 - 2*z**2 + 2. Let v(m) be the second derivative of w(m). Is v(13) composite?
False
Suppose 0 = 3*i + 637 - 1990. Suppose 3*n + 3 = 6. Is (i/(-22))/(n/(-22)) prime?
False
Let h(b) = 605*b**2 - 46*b + 158. Is h(5) a composite number?
False
Let x = 6 + -17. Let w(v) = 3*v**2 + 3*v + 7. Is w(x) prime?
True
Suppose -4*p = 2*p + 108. Is p/90 + (-2672)/(-10) a composite number?
True
Suppose -10*x + 12 = -7*x. Suppose x*p + 14 = 5*p + 5*m, 22 = 4*p + 3*m. Suppose p*i - 3*i - 487 = 0. Is i a prime number?
True
Suppose 6*i - 2*r - 23 = 3*i, -r - 22 = -3*i. Suppose -i*q + 25399 = 4*q. Is q prime?
True
Suppose 6*v = -0*v + 23610. Is v a composite number?
True
Let l be (-2)/6 - 329/21. Let m = l - -8. Is 2 - (-187 + m/(-4)) a prime number?
False
Suppose 5*p = -2*f + 16, 2 = -2*f + 5*p - 2. Let z(x) = 23*x**3 + 5*x**2 - 4. Is z(f) composite?
True
Suppose 12*t = 37878 + 11118. Is t a composite number?
True
Let b = -12577 - -8086. Suppose 7 - 82 = 5*f. Is b/f - (-8)/(-20) a prime number?
False
Let t = -1 - -11. Suppose t = z + 7. Suppose 3*k = -4*r + 169, z*k + 3*r = -1 + 172. Is k prime?
True
Let l(r) = 57*r**3 - 5*r**2 - 12*r + 7. Is l(5) a composite number?
False
Let d = 20747 - -102. Is d a prime number?
True
Let y be 44/5 - (-2)/10. Suppose -4*q = -q - y. Suppose 629 = 5*j - q*v, -512 = -4*j - 3*v + v. Is j composite?
False
Let q(p) = 297*p. Let f(a) = 296*a. Let i(o) = 4*f(o) - 5*q(o). Let l = -23 + 22. Is i(l) prime?
False
Suppose b = 1, -3*g + 45 - 13 = 2*b. Suppose 5*n + g = 5*p, -5*p = -n - n - 25. Suppose p*d - 951 = 4*d. Is d a prime number?
True
Let t(q) = q**3 - 26*q**2 + 23*q + 6. Let v be t(27). Let f = v - 449. Is f prime?
True
Let m = 22915 + -13536. Is m a composite number?
True
Suppose -4*y - 15465 = -8*y + 3*k, -3 = -3*k. Is y composite?
True
Let b(r) = r**3 - 9*r**2 + 16*r - 7. Let u be b(10). Let t = 214 + u. Is t a prime number?
True
Let p be (-16)/(-28) - 34/(-14). Let l(b) = -6*b**3 - b**2 - 5*b + 3. Let m be l(p). Is -1 + (-3 - m) + 0 composite?
False
Suppose -7*j + 2*j = 0. Suppose f = -5*i - j*f + 420, 0 = -4*f + 20. Is i a composite number?
False
Suppose 4*n + 10*a - 8*a - 25026 = 0, -n + a = -6264. Is n a prime number?
False
Is (2/(-5))/((-68)/(-155635))*-2 prime?
True
Let o = 12 - 10. Is (3*85 - o) + 1 prime?
False
Let o = -8567 + 15155. Suppose -4*j + o = -4*m, 0*j + 4*j + 2*m = 6612. Is j composite?
True
Let s(u) = 9*u**2 + 19*u + 95. Is s(-27) a composite number?
False
Let m(q) be the first derivative of -19*q**5/15 + 5*q**4/24 - q**3/3 + 10. Let d(j) be the third derivative of m(j). Is d(-6) a prime number?
False
Suppose -2*g = 3*s - 7045, -11009 = -5*g + s + 6612. Suppose g = 4*m - 1328. Is m composite?
False
Let s(y) = -y**3 + 11*y**2 + y + 11. Let g = 7 + 1. Is s(g) a composite number?
False
Let d(b) = 3*b**3 + 2*b**2 - b. Let g be d(2). Let u = g + -27. Suppose u*w - 1771 = 2*y, 4*w = 8*w + 5*y - 2392. Is w a prime number?
True
Is 1*(2 + -3)*(5 + -3498) composite?
True
Suppose -2*y = -s - s - 2, 3*s - 27 = -3*y. Let i(r) = -r**2 + 7*r + 1. Let m be i(y). Suppose m*z = 12*z - 157. Is z prime?
True
Suppose 0 = 5*w + 4*a - 17 - 3, 5*w - 20 = 2*a. Let i(f) = -f**2 + 3*f + 6. Let l be i(w). Suppose o - 233 = -4*n, l*o - n - 413 - 17 = 0. Is o composite?
True
Let l = 10 + -6. Let m be (-1)/(-6) + 6/(-36). Suppose m = -3*u, l*p + u - 1516 = -u. Is p composite?
False
Suppose 4*r - 9992 = -4*x, 5*r + x - 7471 - 5039 = 0. Is r composite?
False
Suppose 0 = 3*z + 2*z - 50. Let o(d) = -32*d + 13. Let h be o(z). Is h*(-1 - (-2 - -2)) a prime number?
True
Suppose 5*q - b - 1265 = 2723, 4*q = -4*b + 3176. Suppose x - 430 = q. Is x a composite number?
True
Let p = 13 - 10. Let v be p - 0/(-3)*-1. Suppose 5*x = -k + 115, -4*x + v*k = -0*x - 73. Is x composite?
True
Suppose -3 = 2*j + j. Let b = -4 - -3. Is b + (127 - -2 - j) prime?
False
Let f(i) be the first derivative of -i**4/4 - i**3/3 - 2*i**2 - 12*i + 10. Let g be f(-5). Suppose g = 3*p + 3*j, 5*p - 3*j + 2*j = 150. Is p prime?
True
Let t(l) be the first derivative of 43*l**3/3 + 7*l**2/2 + 4. Let a be t(4). Let w = a - 39. Is w prime?
True
Is (-33)/(-18)*(37 - -11129) prime?
False
Let y(t) = -t**2 + 7*t - 3. Let m be y(6). Let s be 10/6 - 33/(-99). Suppose 0 = o + 4*i - 159, -s*i + m = -5. Is o prime?
False
Suppose 24*f = 18*f + 36. Is 2 + 73 - (f + -10) a prime number?
True
Let v be (-1)/4 - 217378/56. Let t = -2105 - v. Is t a prime number?
True
Let f(r) = -r**3 - 7*r**2 - 9*r. Let q be f(-6). Suppose q*x + 917 = 25*x. Is x a prime number?
True
Let y = -50 + 116. Suppose -2*u + y - 4 = 0. Is u a prime number?
True
Suppose -9 = 5*g + 2*n, 2*n + 2*n + 12 = -4*g. Let x be 3 - (3 - (g + 1)). Suppose -4*a + 1314 = -4*h - 138, x = 5*a - 3*h - 1823. Is a a prime number?
True
Let f = -25 + 27. Suppose 3*y = 2*h - 170, 2*h - f*y - 146 = -5*y. Is h prime?
True
Let o = 95 - 89. Is (555/9)/(-2 + 14/o) a composite number?
True
Let w be 8/(-6)*63/(-14). Let g = w + -4. Suppose g*n = n + 503. Is n prime?
True
Suppose -19722 = -59*y + 29779. Is y a composite number?
False
Let s be 14/(-4)*180/(-105). Suppose -10*c = -s*c - 4820. Is c prime?
False
Let r = 818 + -563. Suppose 2*n + 2*n - 388 = 3*f, -2*n = 4*f + 554. Let k = r + f. Is k prime?
False
Let w(o) = -809*o + 116. Is w(-7) prime?
True
Let j = 21 + -9. Is 317 + (-8)/j*-6 prime?
False
Suppose -4*x = 9*x - 13. Is 1168*x + (-3)/(-3) prime?
False
Suppose -u = -4*n + 22325, 0 = -4*n - 3*u + 10513 + 11808. Is n composite?
False
Let k(d) = d**2 - 13*d + 23. Is k(21) a prime number?
True
Let d(b) = 139*b - 6. Let v be d(6). Suppose -4*g = 168 - v. Let s = g - -216. Is s a composite number?
True
Let t(g) = 4*g**2 - 3*g - 12. Let k be t(-9). Suppose 458 = q - k. Is q composite?
False
Let d = 3 + -5. Let k(x) = x**2 + 4*x - 1. Let a be k(-4). Is a + (-130)/d + 3 a composite number?
False
Is 882 + 3/(21/35) prime?
True
Let c be (-3 - (-2892)/9) + (-4)/(-6). Suppose c - 1404 = -5*y. Is y prime?
False
Let j = -47 - -47. Suppose 7*m - 3976 - 29925 = j. Is m composite?
True
Let v(q) = 147*q + 809. Is v(79) composite?
True
Let w(n) = -n**2 - 5*n - 4. Let x be w(-3). Let f be -31*(-16)/2*x. Suppose 115 = -3*l + f. Is l a composite number?
False
Let d be (-252)/54*369/(-6). Suppose -2*l + l + 409 = -3*r, -3*l - 291 = 2*r. Let f = d + r. Is f composite?
False
Let p = -6266 - -20409. Is p composite?
False
Is (-15)/5*253973/(-57) composite?
False
Let k = 1876 + 2965. Is k a composite number?
True
Let g be 0 - 2/3*-3. Suppose k = -g*y + 4, -3*y - 2*k + 6 = -k. Suppose 58 = 2*i + i + y*u, -5*i - 5*u = -90. Is i a composite number?
True
Let y = 25582 - 13679. Is y prime?
