n a prime number?
False
Let r(x) = -13*x**3 + 5*x**2 - 2*x - 3. Suppose -4*t + 20 = -8*t. Is r(t) prime?
False
Let p(t) = 2 + t - 7*t**3 - 4*t + 5*t**3. Is p(-3) prime?
False
Let g = 244 - 59. Is g prime?
False
Let j be 0/2 + (437 - -5). Suppose -j = 2*f - 4*f. Is f a composite number?
True
Let i be 6/(-27) - 4/(-18). Let a = i + 5. Suppose a*d - 19 = 2*s + 174, -41 = -d + s. Is d a prime number?
True
Suppose 0 = -2*u + 14 - 2. Let v(q) = 3*q + q + 1 - 2*q. Is v(u) a prime number?
True
Suppose 2*c - 41 = 113. Is c composite?
True
Suppose -z - 42 = -230. Is (z/(-12))/(2/(-6)) a composite number?
False
Suppose -8*k + 3*k = -15. Let c(w) = w - 1. Let o be c(4). Suppose -k*j = -4*i + 325, -o*i - 2*j = 15 - 246. Is i a composite number?
False
Suppose -5*s = -0*s - 30. Suppose -385 = -s*r + r. Is r prime?
False
Suppose 0 = 4*j - 4756 - 1384. Suppose -r = -6*r + j. Is r a composite number?
False
Is (4/12*4083)/1 prime?
True
Suppose -g + 3*v = -2*v - 3484, 5*v + 6973 = 2*g. Is g a composite number?
True
Suppose -5*s + s + 112 = 0. Suppose 2*y - 5*l = -s + 108, -4*y - 4*l = -132. Is y a composite number?
True
Suppose 2*i + 0*i + 10 = 0, -2*k - 4*i - 16 = 0. Let z(l) = 9*l**2 - 5 - 4*l - 3*l**2 + l**k. Is z(4) a prime number?
False
Let c(d) = d - 4. Let v be c(4). Let j = 7 - v. Is j prime?
True
Let b = -3 - -2. Let w = -3 + b. Is -2 + (-2)/w*18 a composite number?
False
Suppose 16 = -4*m + 3*v, -4*v = 5*m - 15 + 4. Suppose -2*b = 4*s - 4, -b = 2*s + 3*b - 14. Is (-1 + m*2)*s prime?
True
Let b = -64 - -121. Is b a prime number?
False
Let m(q) = -q**3 + 13*q**2 - 6*q - 6. Let n be m(12). Let r = n + 23. Is r a prime number?
True
Let m = 259 - 90. Is m a composite number?
True
Let m = -81 + 44. Let o = 74 + m. Is o prime?
True
Let f be -2 + -72*1 + 0. Suppose -i = n - 2*n + 108, -4*i + 12 = 0. Let p = n + f. Is p a prime number?
True
Let n = 254 - 559. Let z(d) = -5*d**2 - 3*d - 2. Let y be z(5). Let q = y - n. Is q a prime number?
True
Suppose -3*q - 5 + 11 = 0. Suppose 0 = q*d - 1202 + 268. Is d a prime number?
True
Let u = -15 + 5. Let c = u - -159. Is c a prime number?
True
Let q = -52 - -52. Let a(u) = -10*u - 3. Let n be a(-6). Suppose m - n = -5*w, q = -5*m + w + 115 + 118. Is m prime?
True
Let h be 20/(-70) + (-466)/(-14). Let t = h - -106. Is t a prime number?
True
Let x(c) = 78*c - 19. Is x(11) a composite number?
False
Let s(c) = c**3 - 5*c**2 + 5*c - 5. Let r be s(5). Let l = r - 9. Is l prime?
True
Let h be (-7)/((-21)/6) + 54. Suppose -99 - h = -5*i. Is i prime?
True
Let t = 6 + -10. Let m be 2375/45 - t/18. Let n = -16 + m. Is n a composite number?
False
Suppose -10*f = -6257 - 2453. Is f a composite number?
True
Let u(k) = -k**2 + 14*k + 11. Is u(8) prime?
True
Suppose 3*i - 3993 = 18*j - 15*j, -12 = 3*j. Is i composite?
False
Let t(w) = w**3 + 6*w**2 - 9*w + 1. Let x(f) = 3*f**3 + 19*f**2 - 26*f + 2. Let m(y) = -17*t(y) + 6*x(y). Is m(-5) prime?
False
Suppose 39 = 4*u - 3*g, 2*u + g + 0*g = 7. Suppose -8 = -2*n + 2*s, -4*n = -3*s + 4*s - u. Suppose -n*y + 16 = -4. Is y a composite number?
True
Is 62*-47*(-4)/8 a prime number?
False
Suppose -2*h = h - 3. Let n be (-2)/h - (-3)/1. Is (57/(-3))/(-1*n) prime?
True
Let f(x) = -1 - x**2 - 4*x + 0*x + 6*x + 4*x. Let u = -10 - -15. Is f(u) a prime number?
False
Let g = -126 - -89. Let a be 10/(-5) - (-1 + 5). Let p = a - g. Is p composite?
False
Let g(m) = m + 6. Let y be g(-6). Suppose 4*f - 356 = -y*f. Is f a prime number?
True
Suppose 4*x + 18 = -2. Let a be 5/(x/(-2)) - -434. Suppose 3*f + 2*o = 327, -4*f + a = -0*f + 4*o. Is f a prime number?
True
Let m(w) = w**2 - 4. Let r be m(3). Let n(a) = -a**3 - r*a + 4*a + 7 + 6*a**2 + 2*a. Is n(5) a composite number?
False
Let g = 6 - 21. Let c = g - -29. Is c a prime number?
False
Let t(l) = 85*l**2 - l + 1. Let p(g) be the third derivative of g**5/60 - 5*g**4/24 + 5*g**3/6 + 2*g**2. Let u be p(4). Is t(u) prime?
False
Let b(v) = 4*v**2 - 4*v - 10. Let z(d) = 77*d**2 - 77*d - 189. Let c(p) = -56*b(p) + 3*z(p). Let r = 7 + -12. Is c(r) prime?
False
Let q(h) = -3*h**2 + 28*h + 15. Let k be q(13). Suppose -u = 3*u - 1044. Let m = k + u. Is m composite?
True
Suppose 3*n - 7*n = 16, -3*b + 3*n + 609 = 0. Is b composite?
False
Suppose 0 = -4*u + 4098 + 358. Is u composite?
True
Suppose -2018 = 10*f - 12*f. Is f prime?
True
Let t = -651 + 455. Let h = t + 447. Is h prime?
True
Suppose 0 = -12*r - 25135 + 136651. Is r composite?
False
Suppose -3*r + 15 = 0, 4*y - 2*r - 255 = 1075. Is y prime?
False
Suppose 21*j - 5262 = 15*j. Is j a composite number?
False
Let g = -2 - -5. Suppose -2*a + g*a = 9. Suppose 4*d - 49 = -a. Is d composite?
True
Let h = 8 + -1. Is 91 - h/(28/8) a prime number?
True
Let j(v) be the first derivative of -v**3/3 - 5*v**2 + 7*v + 1. Suppose w = -4*p - 4, w - p = -2*p - 7. Is j(w) a prime number?
True
Let n be 2*(-1)/(-2) + 2. Suppose 5*w + n*s = w + 320, -4*w + 320 = -4*s. Suppose -w - 196 = -4*h. Is h a prime number?
False
Let l be ((-4)/(-3))/(4/15). Suppose -l*w = -2*i - 147, 0 = -5*w - 2*i + 90 + 73. Is w prime?
True
Let s(i) be the third derivative of -i**5/60 - 3*i**4/4 - 11*i**3/6 - 4*i**2. Is s(-10) a composite number?
True
Let v(c) = 4*c - 2*c - 4 + 0 + 13*c. Is v(5) composite?
False
Let l be (2/5)/((-2)/(-70)). Is ((-2)/(-4))/(1/l) composite?
False
Let u be (96/(-3) - -2)*-1. Suppose 0 = 3*i - i, 2*i = 3*h - u. Is (-457)/(-5) + (-4)/h a composite number?
True
Is (2/(-3))/((-26)/4953) a prime number?
True
Suppose 0 = -8*q + 7515 + 8269. Is q prime?
True
Let m be (1 - 3)*(-9)/6. Suppose 0 = 4*k + m*l - 254, 4*k + 2*l - 258 = l. Is k a prime number?
False
Let k(n) = n**3 - 16*n**2 + 22*n + 16. Is k(17) a composite number?
True
Suppose -786 = -3*j - f + 330, 388 = j - 5*f. Is j composite?
False
Let v be ((-12)/(-9))/(4/6). Suppose -v*s = -s. Suppose 4*q + 88 - 540 = s. Is q composite?
False
Let n = -89 + 181. Suppose -3*h = h - n. Is h a composite number?
False
Let v = -534 - -1037. Is v a composite number?
False
Suppose -f = f - 464. Suppose -5*r + 191 = 4*q - f, 4*r - 338 = -3*q. Is r prime?
True
Suppose -2*u + 940 = -x, 5*u = 3*x - 2*x + 2347. Suppose 12*f - 11*f - u = 0. Is f a prime number?
False
Let i(u) = 5*u**2 + u + 1. Suppose 2*p + 10 = -2*n, n - 5*p = -7 + 32. Suppose n = -t + 2*t + 2. Is i(t) a prime number?
True
Suppose 8*k = 2*s + 5*k - 758, -2*s = -5*k - 754. Is s a composite number?
True
Suppose -l + 0*l + 5*d = 10, -l + 8 = 4*d. Suppose l*k = -3*h - 5*k - 6, -9 = 3*k. Is (-1)/(-1*h/99) a prime number?
False
Let c(r) = -r**3 - 6*r**2 - 11*r + 5. Is c(-6) a prime number?
True
Let u(w) = 2*w**3 - 4*w**2 + 3*w - 2. Suppose r + 13 = 4*b, r + 5*b = 5*r + 8. Is u(r) composite?
True
Let f(z) = -z**2 - 5*z + 3. Let b be f(-5). Let t = b - 3. Suppose t*c - 4*c + 88 = 0. Is c composite?
True
Let i = -1 + 4. Suppose -305 = -3*a - 2*k + 3*k, -2*a - i*k + 218 = 0. Suppose 2*q - a = 15. Is q a prime number?
True
Suppose 0 = 2*l - 3 + 7. Let q(d) = d**3 - 7*d**2 - 6*d + 15. Let w be q(6). Let k = l - w. Is k prime?
False
Let i(s) = -s**2 + 3*s + 2. Let l = 11 + -7. Let v be i(l). Is v/7 - (-1166)/14 composite?
False
Is (2344/(-6))/(4/(-6)) a composite number?
True
Let q(x) = x**3 - x**2 - 2. Let k be q(4). Suppose 4*o = -3*p + 196, -2*p + k = 3*o - 100. Let b = -27 + o. Is b prime?
True
Suppose -5*b + 4*d = -0*b - 151, 0 = 4*b + d - 125. Is b a prime number?
True
Let j(k) = 4*k**2 + 3*k - 4. Suppose -5*a + 21 = -2*i, -4*a - 18 = 2*i - 8*a. Let t be j(i). Let u = 44 - t. Is u a composite number?
True
Let b(n) = 47*n**2 - n + 1. Is b(-2) prime?
True
Suppose a - 3*n = -68, 0 = -5*n - 22 + 2. Let f = 133 + a. Is f a prime number?
True
Let x = -278 + 412. Is x a composite number?
True
Let o = 52 - -17. Is o composite?
True
Let m(s) = -s**3 - 5*s**2 + 8*s - 1. Is m(-9) a composite number?
False
Let o(u) = -2*u. Let h be o(-2). Suppose 3*n = 5*j - 176, -j - 123 = -h*j - 4*n. Is j a composite number?
False
Suppose v - 6*v + 9375 = 0. Suppose -k - v = 4*k. Is (k/(-6))/(-5)*-2 composite?
True
Let t = -19 + 13. Let l = -3 - t. Suppose 0 = 2*v - 4*w - 94, v - l*w = -2*v + 129. Is v composite?
True
Suppose 5*h - 10 = 0, -2*b - b + 824 = -2*h. Suppose -2 = 2*l, 5*j + 2*l = b - 93. Is j a prime number?
True
Let a be 4/(-6) + 7548/9. Let 