 Is i(h) a prime number?
True
Suppose 0 = -5*f + 2*w - 6 - 17, 2*f + 2*w = -12. Let g be f + 2 + 277/1. Suppose -19 = 5*o - g. Is o a prime number?
False
Let f be (20/(-2))/(3/(-12)). Suppose 3*p + w + 4 - 18 = 0, f = 5*p + 5*w. Suppose 4*c + 3*v = c + 96, p*c = -4*v + 91. Is c prime?
True
Let d(p) = -3*p**2 + 9*p + 12. Let v be d(10). Let w be v/(-30) - 6/(-15). Suppose -w*o - 10 = -2*o, 0 = -5*a + o + 517. Is a a prime number?
True
Suppose 0 = -x + 3*f - 1492, f = 2*x - 2*f + 2990. Let k = -2112 - x. Let j = k - -881. Is j a prime number?
False
Suppose 3*z + 6 = 0, -2*o + 26*z = 21*z - 8984. Is o prime?
False
Suppose -17224 = -47*i + 39*i. Is i a composite number?
False
Suppose -3*u + 0*u = 5*w - 3473, -25 = 5*w. Let l = -381 + u. Is l a composite number?
True
Let i = -5378 - -8263. Is i prime?
False
Let t(v) be the first derivative of 11*v**7/105 + v**6/180 - v**5/120 - 11*v**3/3 - 5. Let s(a) be the third derivative of t(a). Is s(1) a prime number?
True
Suppose -10*n + 59216 = -98474. Is n a composite number?
True
Let c(y) = 179*y**2 - 7*y - 12. Let v be c(-2). Suppose -5*s + v = -3*w + 4*w, 3*w - 3*s - 2136 = 0. Is w a composite number?
True
Let j = -64 + 67. Suppose 4*y - 15071 = -j*y. Is y a composite number?
False
Suppose 2*o - 6 = 2. Let z(p) = 127*p - 7. Let f be z(o). Suppose 5*j = f - 106. Is j prime?
True
Let r(s) = s**2 + 16*s - 1. Let z be r(-16). Is (z - -5) + 1 + 18 prime?
True
Let s(w) be the first derivative of 2*w**3/3 + 7*w**2 - 5*w - 22. Let f be 1*-1 + -2 + -7. Is s(f) prime?
False
Suppose -6*p + 114 - 354 = 0. Is (150/(-40))/(6/p) prime?
False
Suppose 0*p = -y + 5*p + 5925, 0 = -3*y - 4*p + 17832. Suppose -3 = -2*o - 1, 5*o = -5*q + y. Is q prime?
True
Suppose 3437*t + 1172 = 3441*t. Is t prime?
True
Let a(s) be the second derivative of -s**3/6 + 15*s**2 - 13*s. Is a(-7) prime?
True
Suppose 2*h - 1232 = h + 4*o, -2*h = -3*o - 2449. Let z = h + -667. Is z a prime number?
False
Is (1/8*4996)/(2/20) a composite number?
True
Let v = 3192 - 859. Is v a composite number?
False
Let g(l) = 28*l - 5. Let d(u) = 57*u - 10. Let t(j) = 4*d(j) - 7*g(j). Suppose 0 = 5*b - 9 - 31. Is t(b) prime?
True
Suppose -63*y + 58*y = -128095. Suppose -y = i - 12*i. Is i composite?
True
Let g(k) = 15*k**2 + 9*k - 29. Is g(7) a composite number?
False
Let y be (-3)/9 - 28/(-21). Is 1621 + y/1 + 1 prime?
False
Let u(g) = g**3 - g**2 - g + 1. Let c be u(1). Let o be c*((-10)/6 - -2). Suppose o = -t + 4*t - 573. Is t a composite number?
False
Let b(h) be the third derivative of -h**5/60 - h**4/4 - 5*h**2. Let f be b(-5). Suppose f*t - 580 = t. Is t composite?
True
Suppose 3*k - 28 = 134. Let q = k - -253. Is q composite?
False
Let c(q) = 17*q**2 - 16*q - 5. Is c(-18) a composite number?
False
Suppose 0 = -3*j - 2*j - 415. Let p = -1 - j. Is p prime?
False
Let z(k) = 102*k**2 - 2*k - 5. Is z(3) composite?
False
Let r = 4177 - 2663. Is r composite?
True
Let w = -6418 - -9339. Is w a composite number?
True
Let r = -18373 - -8508. Is r/(-2)*(-38)/(-95) composite?
False
Let j be 1/4 + 0 + 248558/(-152). Suppose 4*r + 25 = 9. Is (-4)/(-16) + j/r composite?
False
Let g(b) be the second derivative of -5*b**5/24 - 7*b**4/12 + 7*b**3/6 + 5*b. Let q(f) be the second derivative of g(f). Is q(-7) prime?
False
Suppose -2*f + 21818 = 2*w, -4*w + 40383 = f - 3247. Is w composite?
True
Suppose 157785 = 13*n - 16220. Is n composite?
True
Suppose -3*o = -2*j + 1776, -4*o - 16 = -0. Let k = 367 + j. Is k a composite number?
False
Suppose -2*t + 65 + 107 = 0. Is t - (-2 - (-25)/5) composite?
False
Suppose -p + 6*p - 3*c = 40, 5*p + 2*c = 15. Suppose -p*h + 6*h = 307. Is h a prime number?
True
Suppose -2 - 4 = -4*t - 2*v, 4*v + 6 = -2*t. Suppose -t*m = -225 - 66. Is m a composite number?
False
Suppose 6*r - 28 = -r. Suppose 4*b + r*s - 964 = 0, 2*b - s - 488 = -6*s. Is b composite?
False
Let j = 15 - 8. Let p = 11 - j. Let v(d) = 2*d**2 - 4*d + 9. Is v(p) a composite number?
True
Is (-70282)/(-26) + 4 + 2/(-13) composite?
False
Suppose -17*o = -21*o + 8. Suppose -v - 1135 = -o*v. Is v prime?
False
Let h(b) = b**2 + 21*b + 37. Let j be h(-17). Is (j/(-2))/(-5 - (-2328)/464) a composite number?
True
Let j(u) = -2*u + 13. Let n be j(5). Let v(q) = 50*q**2 + 7*q - 14. Is v(n) a composite number?
False
Let l(o) = -7*o**3 + 3*o**2 + o + 16619. Is l(0) composite?
False
Let x(l) = -180*l + 409. Is x(-24) a prime number?
True
Suppose -5*r + 96 = -2*i + 258, -5*r = 5*i + 155. Let g be (-2)/7 + r/(-14). Is 2*g/4 + 336 prime?
True
Is (11 - 14)*(-30897)/27 a prime number?
True
Is 1 + -5*(-21)/35 - -4387 composite?
False
Is (-6488 - 33)/(4/(-2) + 1) prime?
True
Let s(q) = 119*q + 100. Is s(29) a prime number?
False
Let v be 13 + (-12)/(-3) + -2. Let a be ((-62)/(-3))/((-5)/v). Let p = a - -129. Is p a prime number?
True
Let x(h) = h**3 - 69*h**2 - h - 8 + 28*h**2 + 34*h**2. Let m = -3 - -12. Is x(m) a composite number?
True
Let b = -346 - -243. Let m = -211 + b. Let k = 901 + m. Is k a composite number?
False
Let r = 22 + 769. Suppose -2397 = -4*w + r. Is w composite?
False
Let v = -3953 - -8870. Suppose -22*x = -11*x - v. Is x prime?
False
Let f(s) = -137*s**2 + 3*s - 11. Let l(b) = -136*b**2 + 2*b - 11. Let q(x) = 3*f(x) - 4*l(x). Is q(-3) a composite number?
True
Let w(h) = 48*h**3 + 43 + 43*h**3 + h**2 - 92*h**3. Suppose k - a = -1, 5*k - a = 3 - 4. Is w(k) a composite number?
False
Let x(i) = -4*i - 106. Let d(a) = -a - 3. Let p(o) = 3*d(o) - x(o). Let s be 0/(0 - (0 + 1)). Is p(s) prime?
True
Suppose 0 = 3*x + x + 4. Let m(a) = -240*a**3 - 2 + a + 158*a**3 + 1 + 2. Is m(x) prime?
False
Suppose -18*q = -8*q - 4090. Is q composite?
False
Is (24/(-36))/((-2)/10329) a composite number?
True
Suppose 16*w - w - 254955 = 0. Is w prime?
False
Suppose 2*d - 3*l - 5 = 10, -40 = -4*d - 4*l. Is (d + -12)*(-662)/3 a prime number?
False
Let m = -46 + 51. Suppose -m*u + 14358 = u. Is u a prime number?
True
Let b(q) = -2*q + 56. Let j(u) = u - 28. Let o(a) = -2*b(a) - 5*j(a). Is o(14) a composite number?
True
Is 188070/12 - ((-35)/14 + 4) composite?
False
Is -1 + 904 + (41 - 45) prime?
False
Let a(c) = 118*c + 153. Is a(7) a composite number?
True
Let m(u) = -u**3 + 12*u**2 + u - 8. Let q be m(12). Suppose 0*p + 3*g - 95 = 4*p, -q*p + 5*g - 89 = 0. Is 3176/26 + 4/p a prime number?
False
Is -4*((-9)/(-27) - 715/12) composite?
True
Suppose 4*f + 18 = 7*f. Suppose -2*u + f = -0. Suppose -5*n + 65 = 5*k, u*n - 39 = -3*k + 5*n. Is k prime?
True
Suppose 0*r + 4*r - 16 = 0, 4*j + 5*r = 12784. Is j composite?
False
Suppose -54*d + 80890 = -49*d. Is d a prime number?
False
Suppose 0 = -3*w - 1776 + 7545. Is w a composite number?
True
Let g(m) = -163*m**3 - 8*m**2 - 4*m - 7. Let y(k) = -k**3 - k**2 - k - 1. Let v(b) = -g(b) + 6*y(b). Suppose 13 = -2*d + 15. Is v(d) a composite number?
True
Suppose 0 = 6*k + 8*k. Suppose 5*y - 4*y - 419 = k. Is y prime?
True
Let r be (-9 - -9)/(0 - 4/(-2)). Suppose -3*n + r*n - 3*f + 2058 = 0, -3403 = -5*n + 4*f. Is n composite?
False
Let i = -4473 - -10184. Is i a composite number?
False
Suppose -3*l = 0, -2*j - 2*l = -l - 14. Let f(w) = w**2 + j - 3*w - 6*w + 3*w. Is f(8) prime?
True
Suppose -206 = -10*b - 6. Suppose -7*m + b*m = 11401. Is m a prime number?
True
Let i(d) = 6*d + 11197. Is i(0) a prime number?
True
Let b(r) = -2*r**3 + r**2 + 16*r + 1. Is b(-16) a prime number?
False
Let p be 3/(-15) + (-1)/(-5). Suppose -a - 2 = -c, 0 = -p*a - 3*a - 4*c - 6. Is 0 + 120 + a + 1 a composite number?
True
Let t be (1 - 0)*(-13 + 17). Suppose -t = -3*f + 11. Suppose 5*z + 2*r - 899 = 0, -2*r + 446 = -f*z + 1337. Is z a composite number?
False
Let z be ((-384)/(-36) - (-2)/(-3))*-619. Let q = -2939 - z. Is q a composite number?
False
Suppose -r + 752 - 167 = 0. Let k = 97 - 47. Suppose k = 5*g - r. Is g prime?
True
Let z(d) = -d + 5. Let u be z(0). Suppose -250 = -u*y + 330. Let l = y - -363. Is l composite?
False
Let o(u) be the second derivative of u**4/12 + 13*u**3/6 - 13*u**2/2 - 12*u. Is o(11) a prime number?
True
Suppose -2*g + 5382 + 1912 = 0. Suppose -g = -3*s + 496. Is s a prime number?
True
Let a = -7 - -11. Suppose 2*u + a = 4*u. Suppose u*f - 37 - 225 = 0. Is f prime?
True
Suppose 6*f - 7527 - 6333 = 0. Suppose 278 = 4*n - f. Is n prime?
True
Let j(a) = -197*a