o = 179, -2*i - 4*o + 66 = 0. Is i composite?
False
Let u be (-3)/9 + 43/3. Suppose -5 - u = -g. Is g a composite number?
False
Suppose -33*u - 8716 = -37*u. Is u composite?
False
Let q(x) = 10*x**3 - 2*x + 3. Let g be 15/(-3)*(-2)/5. Is q(g) a prime number?
True
Suppose -2*u - 4*g + 796 = -5*g, -4*g + 1580 = 4*u. Is u a composite number?
False
Let k = 6 + -6. Suppose -3*y - 29 - 145 = k. Let z = 93 + y. Is z a composite number?
True
Let g(h) be the first derivative of -1/4*h**4 + 2*h**2 + 2 + 5/3*h**3 - 7*h. Is g(5) prime?
True
Is (-297869)/(-65) - (-4)/10 a prime number?
True
Let f = 8 + -5. Suppose 0*b - f*b = -48. Suppose -3*c = -7*c + b. Is c a prime number?
False
Suppose -32 = 2*v + 2*v. Let c be (v + 0 + 3)*-1. Suppose 18 = m + 3*t - 32, -c*m + 345 = -4*t. Is m composite?
True
Suppose 2*n + 29 = 4*p + 1193, n + 4*p - 594 = 0. Is n a composite number?
True
Let q(n) = n + 92. Let t be q(0). Let u = t + -15. Is u prime?
False
Let v(t) = t + 6. Let h be v(-6). Suppose -2*u - 2 = -h*u - 4*y, -u + y = 6. Let p = 30 + u. Is p a prime number?
True
Let i(j) be the third derivative of j**5/15 - j**4/6 + 3*j**3/2 + j**2. Is i(-7) prime?
True
Let j = 1 - 1. Let b be ((-4)/(-6) + j)*183. Suppose -2*n - 2*k + 284 = 0, -2*n + 160 = 4*k - b. Is n a prime number?
False
Let m(d) = d**3 + 8*d**2 + 3*d - 5. Let b be m(-6). Is 6990/14 + (-14)/b composite?
False
Let l(k) = -k**3 - 4*k**2 + 5. Let d be l(-4). Suppose -3*p + 37 = -2*s - 25, -2*s - 62 = d*p. Let m = -22 - s. Is m a prime number?
False
Let c(n) = -633*n - 2. Is c(-1) a prime number?
True
Suppose 613 + 111 = 4*v. Suppose v = -5*c + 826. Is c a composite number?
True
Suppose 0 = -5*b + 639 + 436. Is b composite?
True
Let x(v) = -2*v**3 - 2*v**2 + v + 2. Let g be x(2). Suppose b + 0 = 42. Let k = b + g. Is k a prime number?
False
Suppose 0 = d + o - 989, 3*d = -0*d - 2*o + 2969. Is d a prime number?
True
Suppose m + 9*p + 15 = 4*p, m + 4*p = -13. Is 73/5 + (-2)/m a prime number?
False
Suppose 2*t - 6*t = -232. Is t composite?
True
Let z(h) be the second derivative of 19*h**5/10 - h**4/6 + h**3/2 - 7*h. Is z(2) a composite number?
True
Let l = 19 - 13. Let i(o) = o**2 + 7 + 0*o**2 + 5*o**3 - 4*o**3 - 5*o**2 - 2*o. Is i(l) a composite number?
False
Let u = 33 - -10. Let z = 10 + -5. Suppose 0 = z*n - u + 8. Is n a prime number?
True
Suppose 0*c = 2*c - 8. Suppose d + 2*y - 5*y - 2 = 0, -c = -2*d + 3*y. Suppose m + d*m = 207. Is m a prime number?
False
Suppose 1127 = -2*g + 4*g - f, 2819 = 5*g - 4*f. Is g composite?
False
Suppose -t + 62 = -57. Let g = t + -34. Is g prime?
False
Suppose 0 = -3*v + p + 116, -6*p = 5*v - p - 180. Suppose -4*s + 166 + v = 0. Suppose -3*y = -4*q + 317, y = 3*q + s - 285. Is q prime?
False
Let u be (-2676)/44 - (-4)/(-22)*1. Let q = 179 - 39. Let l = u + q. Is l a composite number?
False
Is -5*((-498)/(-15))/(-2) a composite number?
False
Let i = 19 - 11. Let z(w) = w**2 - 5*w - 5. Is z(i) composite?
False
Let d be (3/(-6))/((-2)/(-4)). Is (-159 - d)*1/(-2) a prime number?
True
Is (-2)/7 - 736/(-28) composite?
True
Let o(y) = 6*y**2 + 4*y + 1. Is o(-8) a prime number?
True
Suppose 4*j + 0*j - 16 = 0. Suppose 7 = -5*u - 13, -j*u - 848 = -4*w. Suppose 4*m - 100 = w. Is m a prime number?
False
Let r(m) = m**2 + 9*m + 8. Let k be r(-9). Let b(o) = -o**3 + 8*o**2 + 7*o - 2. Let f(x) = -1. Let j(c) = b(c) - f(c). Is j(k) a prime number?
False
Let m = -3247 + 4646. Is m a prime number?
True
Let h(x) = 2*x - 15. Let t be h(10). Let d(c) = 40*c + 3. Is d(t) a composite number?
True
Let k(b) = 146*b - 11. Is k(4) composite?
True
Let s = -4199 - -7860. Is s composite?
True
Is (-1 - 1) + (32 - 25/(-5)) a composite number?
True
Let m be (2/(-3))/(2/(-30)). Suppose 0 = 2*b - b + 2*g + m, -15 = b + 3*g. Suppose d + 2*v - 13 = 59, 5*v + 5 = b. Is d prime?
False
Let q(g) = -g - 4. Let z be q(-7). Is -4 + -1 + z + 113 prime?
False
Suppose -5*s + 1013 - 358 = 0. Is s composite?
False
Let g(f) = -f**3 - f + 1. Let d be g(0). Suppose -2*n + 7 = -3*u, -4*n + n - 9 = 2*u. Is d*7 + (-3 - u) prime?
True
Let o = 1 - -2. Is (-191)/o*(-8 - -5) composite?
False
Suppose -1776 = -4*k + 4*o, -5*k + 0*o - 4*o + 2211 = 0. Is k a prime number?
True
Suppose o + 24 = 5*q - 2*o, o - 6 = -3*q. Suppose 2*t = -q*t + 20. Is t/14 - (-89)/7 a composite number?
False
Suppose -2*k + 10 = -q, 0*k - 4*q + 2 = -2*k. Is k composite?
False
Is (-6)/8 - (3114/(-24) + 2) a prime number?
True
Is 1927 - ((-2)/2 - 3) prime?
True
Suppose -4*z + 3*w + 9175 = 0, -2*z + 4589 = 3*w - 6*w. Is z composite?
False
Let x = 5 - 18. Let z = x + 98. Is z a prime number?
False
Suppose -2*a - 2*w = -8, 0*w = -a + 3*w + 12. Let z(s) = s**2 - 5*s + 4. Let v be z(3). Is 3/a - 97/v a prime number?
False
Let a = 9 - 5. Suppose -a*r = -646 - 382. Is r composite?
False
Let m(f) = -f**2 + 44*f - 6. Is m(13) prime?
True
Suppose 4*m = y + 9340, 2*m + y - 3493 - 1177 = 0. Is m composite?
True
Let o be 424/(-2) + (2 - 0). Let y = 617 + o. Is y a prime number?
False
Let d be 2/(-7) + 444/84. Suppose -460 = o - d*o. Is o composite?
True
Suppose 4*a - 986 = 1082. Is a prime?
False
Suppose -1936 = -3*l + 65. Is l a composite number?
True
Let x(b) be the first derivative of -2 + 1/3*b**3 + 35*b + 1/4*b**4 + 0*b**2. Is x(0) prime?
False
Let g be 108/((20/(-14))/(-5)). Suppose -o + g + 683 = 0. Is o prime?
True
Is ((-2)/(-4) + -1)/(2/(-3916)) prime?
False
Let n(z) = 7*z**2 + 11*z - 5. Let v(x) = 6*x**2 + 10*x - 4. Let o(f) = 5*n(f) - 6*v(f). Let i be o(-5). Let s = 4 + i. Is s composite?
False
Let h = -16 + 21. Suppose n = 2*n - 2*f - 9, 2*n = h*f + 16. Is n a prime number?
True
Suppose -q - 3*k + 11 = 0, -3*q - 8*k + 4*k = -8. Is (-10)/3*114/q a prime number?
False
Is 14738*1/8*4 composite?
False
Suppose -2*v + 64 = 2*z, 0*v - 5*z = -v + 20. Let o = v - 7. Is o composite?
False
Suppose 9 + 0 = 3*y, -4*w - 3*y + 349 = 0. Is w*((-66)/(-15) + -4) a composite number?
True
Is ((-10)/(-3))/((-2)/(-303)) composite?
True
Let n = 288 + -139. Is n prime?
True
Let r(x) = -6*x**3 + 4 - 2*x**2 - 3 - 19*x**3. Let j be r(-1). Suppose 2*u - 3*i = 8, -4*u + i = -j - 12. Is u a composite number?
True
Let d = 6 + -3. Suppose 0 = d*k + k - 140. Is k a prime number?
False
Let x(f) = -5*f**3 - f + 2. Let q be x(-3). Let y = 2 - 0. Suppose -2*j - y*j + q = 0. Is j prime?
False
Let y = -298 + 1230. Let t = 1417 - y. Is t prime?
False
Let k(h) = 7*h**2 + 3*h + 1. Let g be k(-1). Let z(f) = 5*f**2 + f - 7. Is z(g) prime?
False
Let q be 3/1 + 0 - -2. Suppose m + 3*m - 38 = 5*t, -t = m - q. Is m composite?
False
Let l(x) be the first derivative of 8*x**3/3 - x**2/2 - x + 1. Let c be l(2). Let n = c - 10. Is n a prime number?
True
Let q(f) = -26*f - 21*f - 1 - 1 + 10. Is q(-7) prime?
True
Let k(t) be the first derivative of 17*t**3/3 + t**2 + 3*t - 1. Is k(-2) a prime number?
True
Suppose -3*t + 29 = 4*k + 7, 4*k = -2*t + 20. Let w(a) = -a**3 + a**2 + 5*a - 5. Let i be w(k). Let o = i + 196. Is o a prime number?
True
Suppose 166 + 359 = 5*a. Suppose -4*n = -n - a. Is n composite?
True
Let k = 5 - 1. Let v be 344/9 - k/18. Is (-2)/(-3 - v/(-14)) a composite number?
False
Is 3632/40 + 1/5 a prime number?
False
Let m(g) = 14*g + 37. Let t(z) = -9*z - 25. Let s(w) = 5*m(w) + 7*t(w). Is s(11) a prime number?
False
Let f = 30 - -44. Is f a composite number?
True
Let d(f) be the second derivative of f**5/10 - f**4/12 + f**3/6 - 2*f. Is d(2) prime?
False
Is (-3 + (-168)/(-9))*21 a composite number?
True
Let g(m) be the first derivative of -m**3/3 - 7*m**2/2 + 8*m - 7. Let d(i) = -2*i**2 + 4*i. Let j be d(3). Is g(j) composite?
True
Suppose -4*c = -113 - 59. Is c composite?
False
Let n(r) = -10*r + 1. Let j be n(-3). Is 2 + -1 + j*24 a prime number?
False
Let o = -70 + 337. Let l = 446 - o. Suppose -c + 2*y = 6*y - l, 537 = 3*c + 5*y. Is c a composite number?
False
Is 1 - -3*(3 + 139) prime?
False
Suppose -5*h + 5 = -0, -2*j - 5*h + 11 = 0. Let o = 5 + 1. Suppose j*s = 6 + o, 5*s = 4*y + 12. Is y prime?
True
Suppose -4 = n - 73. Is n a composite number?
True
Let a(c) = c**3 + 10*c**2 + 8*c - 11. Let l be a(-9). Let o(n) = 7 + 23*n**2 - 4 - 4 + 2*n. Is o(l) composite?
True
Let n = -4 + 9. Suppose n*c + 57 = 3*w, -3*c - 31 = 3*w + 8. Is (-1040)/c - (-1)/3 a composite number?
True
Suppose -2*l + 