07)/(-2)*(4 + -2) prime?
True
Let p(x) = -x**3 + 5*x**2 + 19*x - 11. Suppose 17 + 48 = 5*j. Let g be p(j). Let d = -17 - g. Is d prime?
False
Suppose 3*c - 2*c - 424 = 0. Let t = 747 - c. Is t prime?
False
Suppose 0 = o - 4*i - 3 - 6, 5*i = -2*o + 5. Let m = 10 - o. Is (2*m)/(4/226) prime?
False
Suppose 4*v - 5 = 3*v. Suppose 0 = -v*h + 167 + 18. Suppose 0 = 4*g - h - 23. Is g composite?
True
Suppose 4*f + 4*i + 487 = 4371, 0 = -2*f + 4*i + 1918. Is f composite?
False
Suppose -3*s - 12 = -x, 2*s = -2*x - 3*s + 2. Suppose 5*q + 491 = x*q. Is q a composite number?
False
Suppose 0 = -q + 7. Suppose -q*u + 5*u = -898. Is u a composite number?
False
Suppose -16*v + 2 = -14. Is ((-4)/(-8))/v*7082 prime?
True
Let r = 7 + -5. Suppose 4*i + 389 = 3*f, 0*i - 226 = -r*f - 4*i. Is f a prime number?
False
Let g(s) = s + 12. Let c be g(-6). Suppose -9*r + 2*i = -10*r, r - 4*i = -6. Is (-3*2588/c)/r prime?
True
Let t(u) = -33*u**2 + u + 6. Let g be t(-9). Let p = g - -4781. Suppose 4*y - h - 2802 = 0, 3*y - 4*h + 5*h - p = 0. Is y a composite number?
False
Let p = -3 + -1. Let b = 6 + p. Is b/(-6) - 2466/(-27) a prime number?
False
Is 114655/(-46)*(-12)/10 composite?
True
Let k = 301 + -132. Suppose -k = 5*z - 29. Let i = -18 - z. Is i prime?
False
Suppose -d = 2*k - 2676, -12*k - 5350 = -16*k - d. Is k a composite number?
True
Suppose -4*b = -2*h + 16, 0 = 5*h + 3*b - 2*b + 4. Let d be 5 + h + 5 + -5. Suppose -d*f = -13 - 7, -2*f = -2*x + 966. Is x a prime number?
True
Let s = -6 - -6. Suppose 4*c = r - 219 - 19, -3*r + 4*c + 682 = s. Let p = r - 31. Is p a composite number?
False
Let m(v) = -v**2 - 4*v + 5. Let g be m(-4). Suppose 0 = -2*u - 4, 3*b + 0*u = -g*u + 104. Is b a prime number?
False
Let h = 7765 - 2736. Is h a prime number?
False
Let v(w) be the first derivative of 2*w**3 + 5*w**2/2 - 11*w - 15. Is v(6) prime?
False
Suppose v - 1101 = 5*t, 5*t = -2*v - 0*v + 2232. Suppose -4*q + 69 = -v. Is q prime?
False
Let b(u) = -u**2 - 4*u. Let r be b(-2). Let d be 0*(-2)/r*2. Is 88 - -3 - d/(-1) composite?
True
Let w = -4 - -8. Let m(a) = a**2 - a. Let t be m(w). Let l = -2 + t. Is l prime?
False
Suppose -213 + 45 = 4*i. Is (-35735)/i - 3/(-18) a prime number?
False
Suppose 731*d - 721*d - 199210 = 0. Is d composite?
True
Let h = 43 - 39. Suppose -6 = 5*v - 2*v, 7010 = h*w + 3*v. Is w a composite number?
True
Suppose 7681 = -13*j + 14*j - 3*f, 3*j + 2*f = 22999. Is j a prime number?
True
Suppose 4*s = 6*u - 2*u + 648, u = 4*s - 633. Suppose v - 94 = s. Is v a prime number?
True
Suppose -21 = 2*u - 5*u. Suppose -u*y = -y + 18. Is 4 + y - 236/(-2) a prime number?
False
Suppose 0 = 3*y - 3*a - 26412, 4*y - 3921 = -5*a + 31286. Is y a composite number?
False
Let g be (-2)/(-6)*12*(-15)/10. Let v(q) be the second derivative of q**5/20 + 5*q**4/12 - 5*q**3/3 + q**2/2 + 2*q. Is v(g) a prime number?
False
Is -4 + 104/(-130) + 1279/5 composite?
False
Let b(d) = -d**2 + 3*d - 8. Let f be b(8). Let w = f + 29. Is 6/(-2)*(w - 0) prime?
False
Let r = 4554 + -2355. Is r prime?
False
Is 52/(-390) - ((-5197641)/45 + 4) prime?
True
Let i = -49 - -5246. Is i a composite number?
False
Let r(g) be the second derivative of -g**3/3 - 2*g**2 + 7*g. Let z be r(-3). Suppose h - 2*o - 322 = -3*o, 3*h + z*o = 961. Is h a prime number?
True
Suppose -78 - 277 = -5*q. Let o be (-4 - -9) + -8 + -8 + 14. Suppose 1996 + q = o*y. Is y a composite number?
True
Let x(n) = 44*n - 5 + 22*n - 15*n. Let y(s) = 26*s - 2. Let m(g) = -3*x(g) + 5*y(g). Is m(-4) a prime number?
True
Let y(c) = 47*c**2 + 5*c + 5. Let m be y(7). Is (m/3)/1 + -2 composite?
True
Let t = -128 + 81. Let z = 124 + t. Let o = -24 + z. Is o a composite number?
False
Let o(c) = 10*c**2 + 3*c - 28. Let u be o(8). Is u - -2 - (6 + -1) a composite number?
True
Let t(f) = f**2 - 6*f + 15. Let g be t(11). Is g/(-28)*(-978)/5 composite?
True
Suppose 5*o - 10*o = -3230. Let g = o - 207. Is g a prime number?
True
Let v be (-1)/(2*2/68). Let s(a) = a**2 + 13*a + 1. Is s(v) a composite number?
True
Is 6946/(-69)*654/(-4) composite?
True
Suppose i + 4*i = 10. Suppose 3*o + 249 = 2*z, 3*o = 2*z + i*o - 247. Is z a composite number?
True
Let w(l) be the third derivative of 0 - 4*l**2 + 1/24*l**4 + 211/6*l**3 + 0*l. Is w(0) a prime number?
True
Suppose p - 2*o - o - 84 = 0, -4*p + 300 = -3*o. Suppose 3*n + 2*g = 17 + 22, 4*g + p = 4*n. Is 3/n - (-1096)/20 a prime number?
False
Let d(j) = j**3 - 7*j**2 - j + 7. Let x(k) = k**2 + k. Let b(g) = d(g) + 3*x(g). Let s = 18 - 12. Is b(s) prime?
False
Let i = -12 + -1. Let s(x) be the third derivative of -x**6/120 - x**5/5 + 11*x**4/24 - x**3/6 - 4*x**2. Is s(i) prime?
False
Let u(f) = -f**3 + 4*f**2 - 2*f - 1. Let y = 7 - 4. Let c be u(y). Is 4/c*(-59)/(-2) prime?
True
Let i(o) = 4586*o + 27. Is i(2) prime?
True
Suppose 4*a - 5*v = 5427, -4*a + 5437 = 2*v - 5*v. Is a composite?
True
Let g = 197 + 522. Is g a prime number?
True
Suppose 5*t - k = -13, 15 = t + 5*k + 2. Is ((-92)/t)/(39/33 - 1) composite?
True
Suppose -10*d + 51 - 1 = 0. Suppose 0 = -3*u + n + 94, d*u + 3*n - 185 = -n. Is u composite?
True
Suppose 3*q - 6*q + 9 = 0. Suppose 11 = -2*w - 3*r, 5*r - 4 = q*w + 3. Is 1*(-87 - w)*-1 prime?
True
Let w(i) = i**2 - 11*i + 211. Is w(-39) a prime number?
True
Let z be (16 + -6349)/((-3)/2). Suppose -z = -4*j + 1242. Is 2/(((-20)/j)/(-5)) a prime number?
True
Let w = -15 + 16. Let k be 45/10*4/w. Let a(z) = -z**2 + 22*z + 15. Is a(k) prime?
False
Let u = -21 + 27. Suppose -11*g + 2265 = -u*g. Is g a prime number?
False
Let g(w) = w - 3. Suppose -z = -2*v - 0 - 8, -4*z = 2*v - 2. Let h be g(z). Is h - 20*(-14)/4 a composite number?
True
Let r = 32 + 242. Let x = r - -633. Is x a composite number?
False
Let r = 1798 + -1046. Suppose -4670 + r = -2*b. Is b prime?
False
Let g be 18/63 - 646/7. Let b = 254 + g. Suppose s + 5*u - 28 - 40 = 0, b = 3*s + u. Is s prime?
True
Suppose 5*l + 5735 = 50235. Suppose -5*j + 5*c = -l, 3*c = -4*j + 2*j + 3545. Is j a prime number?
True
Is (142212/(-36))/((-2)/6) a composite number?
True
Is (-6)/((-96)/4)*2*22226 a composite number?
False
Let g(q) = -25*q**2 - 17*q - 13. Let c(a) = 13*a**2 + 8*a + 6. Let n(y) = 5*c(y) + 2*g(y). Is n(5) prime?
True
Let q(n) = -210*n - 31. Is q(-8) prime?
False
Suppose 2*l - 5*l - 5123 = -a, 3*l = 3*a - 15381. Is a a prime number?
False
Let p = -13789 - -30370. Is p a composite number?
True
Let u be 5895/(-6)*((-112)/20 + 4). Is -3 + 3 + 2 + u a composite number?
True
Let g be (0/3)/(-4)*1. Suppose -3*n + n = -5*k + 3308, g = -5*k + 3*n + 3307. Is k composite?
True
Let q = 414 - 320. Is q a composite number?
True
Let n(p) = -22*p + 6*p**2 - 2*p**3 - p**2 + 39*p + 16 + 3*p**3. Let u be n(-11). Let m = -632 - u. Is m a prime number?
False
Let j(z) = -2*z**3 + 5*z**2 - 7*z + 5. Let g be j(2). Is (-1822)/(-22) - (-12)/(-330)*g composite?
False
Let i(g) = 2*g**3 - 4*g**2 - g. Let n be i(3). Let p = 18 - n. Suppose l + 2*x - 42 = p, 0 = 2*l - 4*x - 82. Is l prime?
True
Suppose 2*u - 19 = -3*f, -f + 3*f + 3*u = 16. Suppose g - 73 = i + 86, 3*i = f*g - 787. Is g composite?
True
Is (2894/10)/(141/16215) a composite number?
True
Suppose -6*o = -41 - 13. Is 3736/12*o/6 prime?
True
Let s(t) = -t**3 - 9*t**2 - 11*t - 11. Let n be s(-8). Suppose 0 = n*k - 3*k - 3190. Is k composite?
True
Let i be (-237)/(-21) + 4/(-14). Let m(l) = -l**3 + 10*l**2 + 10*l - 1. Let j be m(i). Let c = -3 - j. Is c prime?
False
Suppose 0 = -3*b - g - 3*g + 9, -5*b = -3*g - 44. Suppose -b*w + 948 = -3*w. Is w a prime number?
False
Suppose -2*b + 2*x + 1266 = 0, 3*x - 1899 = -3*b + 5*x. Is b prime?
False
Suppose d + 1 = 5. Suppose d*u + 686 - 2010 = 0. Is u a composite number?
False
Is 2216/(-24)*-27 - 2 a composite number?
True
Suppose -3*g = 12, 5*g + 28 = 5*b - 17. Suppose 5*n + 5 = -b*u, 2*n = 4*n - u + 14. Let h = n - -28. Is h a prime number?
True
Suppose 0 = -2*f - 4*t + 6410, -1559 = 5*f - 5*t - 17584. Is f prime?
False
Let w be (-228)/(-5) - (-8)/20. Let z(m) = 2*m**3 + 3*m**2 + m - 2. Let g be z(-3). Let p = w + g. Is p a prime number?
False
Suppose -3*t + 7*s - 3*s = -3646, -4*s = 2*t - 2424. Is t prime?
False
Let c(b) be the third derivative of b**5/4 + 5*b**4/6 - b**3 - 19*b**2. Is c(7) a composite number?
True
Let u be (3/(-6))/((-3)/78). Suppose -u*