3 + 10 + k)/(1/271) a prime number?
False
Is 2*(-2)/30 + 46982997/1215 a composite number?
False
Let g(h) = -29124*h + 23. Is g(-2) composite?
False
Suppose 5*i = -a + 14316, i - 34334 = -3*a + 8684. Is a composite?
False
Suppose -19*k + 9599 = -2048. Is k composite?
False
Suppose 21209 = -1486*k + 1487*k. Is k composite?
True
Let m(w) = -1535*w**3 - 1. Let h be m(-1). Let n be 9/(-21) - (-7206)/7. Let y = h - n. Is y prime?
False
Suppose 2 = -3*v - 4*h - 1, 0 = -h - 3. Suppose 0 = -v*t + t + 1046. Is t prime?
True
Let y = 2514 + 565. Is y prime?
True
Let t(q) = -3*q + 21. Let m be t(-23). Is (-508)/(-12)*m/6 prime?
False
Let z = 345 + -136. Is z composite?
True
Let f(c) = 25*c + 26. Let j(l) = -13*l - 13. Let s(z) = -3*f(z) - 7*j(z). Is s(12) a prime number?
False
Let d(w) = -3*w**2 - 10*w + 14. Let k be d(8). Let y = -7 - k. Is y prime?
True
Suppose -3*d + 20804 = 4*d. Is (4 - 0)*(-1)/((-16)/d) prime?
True
Is 86810/3 - 73/(-219) a prime number?
False
Suppose 53 = 2*u + 9. Let c = -25 + u. Is 2*(372/8 + c) composite?
True
Suppose 138*p - 143*p + 17845 = 0. Is p prime?
False
Suppose -8720 = -14*h + 2046. Is h prime?
True
Let s(c) = 99*c**3 + 9*c**2 + c + 8. Let v(y) = -99*y**3 - 8*y**2 - y - 7. Let d(j) = -6*s(j) - 7*v(j). Is d(4) a prime number?
True
Suppose 33*s + 2668 = 62*s. Let w = 394 - 265. Let i = w - s. Is i composite?
False
Let k(g) be the third derivative of 19*g**4/12 - 3*g**3/2 - 10*g**2. Is k(11) a prime number?
True
Let x(g) be the third derivative of -g**6/120 - 11*g**5/60 + 11*g**4/24 + 5*g**3/6 + 11*g**2. Let h be x(-12). Let v(a) = -a**2 + 20*a - 16. Is v(h) composite?
True
Let a(k) = -k**3 - k**2 + k - 6. Let h(l) = l + 21. Let x be h(-16). Suppose 3*d + 3 + 22 = -x*c, 5*d = -2*c - 10. Is a(c) prime?
True
Let o = -23101 + 38696. Is o a prime number?
False
Let m = 6465 + -112. Is m a prime number?
True
Let p = -168 + 180. Suppose -5*j = k - 15, -4 = k + 2*j - 10. Suppose 3*g + p = k, -4*g - 21 = -o - 5*g. Is o a composite number?
True
Suppose 3*h - 3*c = -0*h + 48, 3*h + 2*c - 38 = 0. Suppose h*b - 13*b = 121. Is b a composite number?
True
Suppose 748 = -10*h + 14*h. Let a = h + 514. Is a prime?
True
Let l be 0/(-1 - 2) + (-12)/4. Is 1*(-2364)/l + 3 a prime number?
False
Let p(r) = -752*r - 15. Is p(-1) composite?
True
Suppose -6 = 6*h - 8*h, 3*u + 2*h = 13899. Is u a prime number?
False
Suppose 0 = -2*x + 24879 + 11831. Is x a prime number?
False
Let z = -2848 + 5775. Is z composite?
False
Let m(n) = 2*n**3 + 6*n**2 + 5*n + 2. Let w be m(5). Suppose -w = -3*t - 4*r, -t + 4*r + 47 = -122. Is t prime?
True
Let u be 10/4*(-5 + 7). Suppose -4*q - k - 6 + 21 = 0, u*q - 3*k - 40 = 0. Let s = 6 + q. Is s a composite number?
False
Let d = 39 - 43. Is d/(4 + -8) + 160 composite?
True
Let p = 887 + -289. Let y = 149 + -98. Suppose 0 = -2*g - w + y + p, 3*w = -5*g + 1624. Is g prime?
False
Let t = -39 - -26. Let q(k) = -230*k - 4. Let c(v) = 115*v + 2. Let l(r) = t*c(r) - 6*q(r). Is l(-1) a composite number?
False
Let w = -1461 + 2984. Is w a composite number?
False
Let g(w) = 1958*w**2. Let s be g(-1). Suppose 4*h = -2*u + s, 2*u = -3*u - 5*h + 4895. Is u a composite number?
True
Is ((-3506)/(-5))/(((-18)/15)/(-6)) composite?
True
Suppose 0 = -79*h + 82*h - 191421. Is h prime?
False
Suppose 14*p - 34710 = 4*p. Suppose 5*n + 296 = p. Is n composite?
True
Suppose -716 = -29*w + 28*w. Suppose -3*p + w = -265. Is p a composite number?
True
Let n(b) be the third derivative of 7*b**5/60 + 17*b**4/24 + 23*b**3/6 + 23*b**2 + 2*b. Is n(-11) prime?
True
Let s be 2/8 + (-21)/(-12). Let d = 79 + -76. Suppose -s*c = d*t + 145 - 371, -4*t = 0. Is c a composite number?
False
Let b(h) = -916*h + 197. Is b(-5) prime?
False
Suppose 10*p = 4*s + 5*p - 29603, -3*p = 9. Is s a prime number?
False
Suppose 0 = 9*f - 57 - 6. Let i be 1 + 0 - 2*-2. Suppose -194 = i*w - f*w. Is w a prime number?
True
Suppose 552909 = 34*m - 143309. Is m a prime number?
True
Let c(a) = a**3 - 2*a**2 - 2*a - 2. Let f be c(3). Let z = 2 - f. Is z/3 - (-872)/3 prime?
False
Suppose 2*i - 1338 = -0. Let r = 1055 - i. Is r a composite number?
True
Let r = 6 + -10. Let f = -11 - -17. Is (4/f)/(r/(-3114)) prime?
False
Let d(l) = -l**3 + 10*l**2 - 13*l + 9. Suppose -3*g = g. Let t be g/(-4) + 2 + 6. Is d(t) a prime number?
False
Let m(q) = q - 9. Let t be m(3). Let s(p) = 38*p**2 - 27*p + 7. Is s(t) a composite number?
True
Let g = 1 - 4. Is (g/2)/(12/(-3352)) a prime number?
True
Let m be 12/8 + 9/2. Suppose -m*x = -0*x - 222. Is x a composite number?
False
Let m(u) = -u**2 + 14*u - 18. Let i be m(12). Is -507*(-1)/(4/(8/i)) a composite number?
True
Suppose 3*w - 5*r - 50 = -16, -2*w + r = -18. Let x(n) = 2*n**3 - 9*n**2 + 9*n - 5. Let h be x(w). Suppose 7*p - h = 2*p. Is p prime?
True
Let r = 3244 + 1419. Is r composite?
False
Let o be (4/(-3))/((-8)/12). Suppose o*q + 9 = 3*q. Is (-6)/9 + 3183/q composite?
False
Let u(c) = -137*c - 14. Let q be u(-12). Suppose -5*h - 115 + q = 0. Is h composite?
True
Let j be 7 + (-12)/(-3) + -4. Let m = -1155 + 1940. Suppose 3*w + 2*z = m, -z + 2 = j. Is w prime?
False
Let a = 42 - 42. Suppose 5 = t + 2*d, 4*t = 8*t - 4*d - 8. Suppose t*j = -a*j + 1659. Is j prime?
False
Let m(i) = i**2 - 3*i - 6. Let g be m(5). Let b = -4 + g. Suppose -2*y + 5*y - 1347 = b. Is y a composite number?
False
Let s = -3809 + 10692. Is s a composite number?
False
Let b be ((-5)/3)/((-1)/3). Suppose -b*m + 124 = -201. Is 400/m + 4/(-26) a composite number?
True
Let r = -978 + 1479. Suppose 5*s + r = 1891. Let a = -175 + s. Is a a prime number?
True
Suppose 2*q = -3*b + 2318, -3*q + 1159 = -2*q + 2*b. Is q a composite number?
True
Let i(s) = s + 9. Let c be i(-7). Suppose -c*f - 3*o = -4*f + 503, 5*f + 2*o - 1229 = 0. Is f composite?
True
Let x = 14813 + -1164. Is x a composite number?
False
Let l = -14 + 26. Let s = 16 - l. Is (-3 + 55)*7/s a prime number?
False
Let w(s) = s + 10. Let b be w(-13). Let a(m) = m. Let r be a(2). Is (-4869)/(-27) - r/b composite?
False
Let a(m) = m**2 - 2*m + 679. Let l be a(0). Suppose -189 = -4*w + l. Is w a composite number?
True
Let b(t) = 2*t - 21. Let c be b(8). Is 22088/55 - (-3)/c composite?
False
Let h be (-6534)/4 + (-2)/(-4) + 0. Let u = 420 - h. Is u a composite number?
False
Suppose -4*s + 66 = 2*t, -5*s - 25 = -t + 29. Suppose 5*y = 2*n - 11, 2*n + 4*y = -y - t. Let r = n + 156. Is r composite?
False
Suppose 24*i - 113293 - 93323 = 0. Is i composite?
False
Let v = 1669 + -43. Suppose 1800 = 6*r - v. Is r a composite number?
False
Let i(a) = -a**3 - 12*a**2 - 10*a + 21. Let w be i(-11). Let t(r) = -r**3 + 11*r**2 + 2*r + 7. Is t(w) a composite number?
False
Is 14/(-63) - (-6 - 997885/45) prime?
False
Let f(s) = s**3 + 7*s**2 - 7*s + 8. Let g be f(-8). Suppose 1010 = 5*p - 5*a, 2*p + g*a - 406 = a. Let b = 421 - p. Is b a composite number?
True
Suppose 2*a - 42 = 2*u, 34*a - 35*a = -4*u - 18. Let b(p) = -p**3 - 4*p**2 + 3. Let z be b(-4). Suppose 0 = z*r - 3, 0 = -3*t + 5*r + 644 - a. Is t composite?
True
Suppose 3*s + 3*z - 2*z - 15 = 0, -5*z - 15 = 0. Let v = 57 + -69. Is v/9 + 2270/s prime?
False
Let a = -19264 + 43763. Is a composite?
False
Suppose -196*l + 1895 = -191*l. Is l a prime number?
True
Let b(h) = -109*h + 8. Let a be b(10). Is -2*4/16*a composite?
False
Suppose -9*a + 9021 + 987 = 0. Is 1 + (10/4 + -2)*a prime?
True
Is (7/(-28))/(6/12)*-571034 a prime number?
True
Let m(v) = -v**3 - 6*v**2 - 2*v - 3. Let g be m(-6). Let y = 9 - g. Suppose y = -2*o - 2*s + 384, 3 = 2*s + s. Is o a prime number?
True
Let h be (-5 - -3) + 1 - -9. Let x be h/(-20)*(-3570)/3. Suppose -d = 3*d - x. Is d a prime number?
False
Is 16/56 + 178493/49 a prime number?
True
Is 262107/12*32/24*1 a prime number?
True
Let a(r) = r - 6. Let z be a(10). Suppose -z + 16 = t. Is (t/4)/(-6)*-754 prime?
False
Let o(n) = -2*n**3 + 7*n**2 - 18*n - 10. Let x(c) = -c**2 + 2*c - 1. Let i be x(-2). Is o(i) prime?
False
Let q be 18/12 - 6/(-4). Suppose 5*m - 1063 = k + 3*k, -4*m = -q*k - 851. Is m a prime number?
False
Let f be (-14)/(-7) - (3 + -3). Is f/((-2)/(3 + (-226 - 0))) prime?
True
Let d = 12 - 11. Let o be (6*(-4)/(-12))/d. Is 59*(o + 2 + -3) a prime number?
True
Let v be 3*(-1)/12 + 18/8. Suppose -106 + 0 = -v*w. Is w composite?
False
Suppose -