False
Is 1 - 4 - (-303340)/58 composite?
False
Suppose 4*k - 28020 = -8*k. Is k prime?
False
Let a(w) = 154*w**2 - 18*w - 3. Is a(-2) composite?
True
Is (-3)/5 + 362628/105 composite?
True
Suppose -d + 2*d = -73. Let l = d + 120. Let i = l - -38. Is i prime?
False
Let g = -146 + 128. Let c(f) = -f**3 - 16*f**2 - 13*f - 3. Is c(g) composite?
True
Suppose -3*l - 2 = -2*l, -148 = -2*f - 3*l. Let w = -24 + f. Is w a prime number?
True
Let r be 7*((-76)/28 - -3). Let w(d) = d**2 - d**3 - 6 - 6*d**r - 3*d + 4*d. Is w(-7) a composite number?
True
Let z be (-12201)/(-7)*(-2)/(-6). Let i = 1798 - z. Is i a composite number?
False
Suppose -4*x = -2*x. Let f(i) = -i**2 + 372 - 74*i + 125 + 72*i. Is f(x) a prime number?
False
Let x(s) = -1. Let p(c) = -2*c**2 - c + 4. Let j(k) = -p(k) - 4*x(k). Let d be j(1). Suppose -20 = -d*b + b. Is b a composite number?
True
Let y(n) = 2*n**2 - 20*n - 14. Let d be y(-6). Is 165/(-10)*d/(-3) composite?
True
Let g(i) = 437*i - 5. Let n(m) = -437*m + 4. Let y(s) = 2*g(s) + 3*n(s). Let x be y(-1). Suppose 3*o + o - x = -5*u, 83 = u - 4*o. Is u a composite number?
True
Let h(x) = 829*x + 199*x + 449*x. Is h(1) composite?
True
Let r = 1 + -1. Suppose -5*v + r*v + 990 = 0. Let z = v - 115. Is z prime?
True
Let y(m) = m + 2. Let v be y(9). Is ((-77)/(-2))/v*346 composite?
True
Suppose 5*q - 5545 - 11113 = -4*t, -3*t = -5*q - 12476. Is t a composite number?
True
Let w = 34 + -35. Is (-946)/(-10) + (w - (-8)/20) a composite number?
True
Let v be (-4)/(-9)*126/28. Suppose -v*n = 0, s - n - 685 = -0*n. Is s a composite number?
True
Let c be (-30)/(-4)*(-4)/3. Let h = 8 + c. Let r = h + 39. Is r a composite number?
False
Suppose 2*n - 4505 = -3*a, -5*n - 7*a + 11205 = -11*a. Is n prime?
False
Let a(p) = 765*p + 601. Is a(10) a prime number?
False
Let w(p) = 7*p**2 - 41*p + 62. Let f(g) = -7*g**2 + 40*g - 61. Let o(i) = -7*f(i) - 6*w(i). Is o(24) a prime number?
True
Let c(x) be the second derivative of 1/20*x**5 + 7/2*x**2 - 1/3*x**3 + 17/12*x**4 + 0 + 7*x. Is c(-15) a prime number?
True
Let g(x) = 49*x**2 + 7*x + 11. Let l be g(-2). Let k be ((-405)/(-12))/(2/(-8)). Let n = k + l. Is n composite?
True
Let i(d) be the first derivative of -7*d**4/4 - d**3/3 + 2*d**2 - 3*d - 4. Is i(-4) prime?
False
Let x = -187 - -442. Suppose -2*r + 247 = -x. Is r a composite number?
False
Suppose 12 = 4*p - 8. Let x be 6/(-21) - (-8544)/14. Suppose 0 = 3*i + p*l - 767, 4*i + 2*l = 422 + x. Is i composite?
True
Suppose 0*w - 26135 = -5*w - t, 2*t = -2*w + 10454. Is w composite?
False
Suppose -2*g - 2*s + 21697 = -5*s, 2*g - 21702 = 4*s. Is g prime?
False
Let f(w) = -w + 1. Let n(d) = 42*d**2 + 4*d + 11. Let j be ((-4)/(-8))/((-6)/12). Let i(s) = j*f(s) + n(s). Is i(-4) prime?
False
Let g(a) = 6*a**2 + 14*a - 21. Is g(-14) composite?
True
Let d(k) = -14*k - 2. Let c be d(-5). Is -10*(3 - c/8) a composite number?
True
Let g = -83 + 774. Is g a prime number?
True
Suppose 7*a = 2*a + 15. Suppose a*p - 7 + 1 = 0. Suppose -p*v = 3*v - 275. Is v a prime number?
False
Is 4 + 39258/(36/6) a prime number?
True
Let c(i) = 51*i**2 - 19*i - 119. Is c(-7) prime?
False
Let i be -4 + 6 - (-2 - -5). Is ((-4)/8)/i*190 prime?
False
Suppose -3*q = -0*q - 9. Is (q - 2/2) + 53 a composite number?
True
Let m be -2 - (-7)/((-35)/(-86720)). Suppose 6*t + 1388 = m. Is t prime?
True
Let o(i) = i - 4. Let f be o(4). Suppose -5*s - 540 + 2795 = f. Is s a prime number?
False
Let u be (9/(-3) + -2)*14754/15. Is (4/2 + -1)*u/(-2) prime?
True
Let r(i) = 495*i**3 - 2*i**2 + 10*i - 13. Is r(2) a prime number?
False
Is -4*(-10)/((-320)/(-159304)) prime?
True
Let p(x) = 14*x**2 - 17*x - 194. Is p(35) composite?
False
Let x be 4 - (-6 + 2 + 1). Is ((-50)/(-35))/5 + 3260/x prime?
False
Let t = -9164 - -21138. Is t composite?
True
Let m be -6 + 1/2*0. Let p = 1 + m. Let v(h) = 2*h**2 + 2*h + 9. Is v(p) composite?
True
Suppose 0 = -p + 3*k - 12, 0 = -2*k + 7*k - 25. Suppose -5*u - 18 = j, p*u - 2*u = -2*j. Suppose -3*o - 354 = -3*t + j*o, -t = -5*o - 128. Is t composite?
False
Let t(h) = -161*h + 17. Let s(c) = -81*c + 8. Let n(y) = 5*s(y) - 3*t(y). Is n(5) composite?
False
Let d(l) = 11*l**2 + 36*l + 18. Is d(-25) a composite number?
True
Suppose -3*x = 2*h - 5, 5*x + 3*h = -0*h + 9. Let j(l) = 2 - 30*l + 6*l**2 - l**3 + 35*l + x. Is j(-6) a prime number?
False
Let y(h) = h**3 - 12*h**2 + 13*h - 7. Let q be y(11). Suppose 0 = 17*a - q*a - 238. Is a composite?
True
Let m be (-3876)/85*(-20)/6. Suppose -149*c + m*c = 4197. Is c a composite number?
False
Suppose -23330 = -13*s + 3*s. Is s prime?
True
Is (-14962 - -3)/(-5 + 4) a composite number?
True
Suppose 69582 = 27*i - 21*i. Is i a prime number?
True
Let w = 3952 + 1125. Is w prime?
True
Let i(k) = -10*k**3 - 5*k**2 - 13*k - 37. Is i(-11) composite?
True
Is (22/(-66))/(1/48234*-2) a prime number?
True
Let h = -27 - -32. Suppose 5*a + k = 3174, -2*a = h*k + 133 - 1398. Is a a prime number?
False
Let q(s) = -2*s**3 - 12*s**2 - 7*s + 4. Suppose -2*z + 6*z - 4 = 0. Let p = -10 + z. Is q(p) composite?
True
Let w(o) = 30*o - 31. Let d(a) = -a**2 + 6*a + 5. Let c be d(4). Is w(c) a composite number?
False
Let x = 3429 + 473. Is x a composite number?
True
Is (4924/(-6) - -1)/(33/(-99)) a composite number?
False
Let v = -69 + 31. Let a be (-2)/9 + v/(-9). Suppose -2*m - 1192 = -6*m + a*r, -2*m = -3*r - 599. Is m a composite number?
True
Let w(v) = 727*v**2 - 6*v - 78*v**3 + 4*v - 730*v**2 - 22*v**3 - 1. Let o be (-1 + 4)/(6/(-4)). Is w(o) prime?
False
Let o(b) = 1 + 2*b - 4*b - 2*b + 3*b. Let c be o(-4). Suppose -2*f + 611 = 3*f + 4*i, c*i = 5*f - 575. Is f a prime number?
False
Let y(m) = -222*m**3 + m**2 + m - 1. Let x be y(1). Let i = -207 - -79. Let l = i - x. Is l composite?
True
Let n(a) = 7*a**2 - 8*a - 6. Let f be (-4 - -1)*(4 + -5). Suppose 0 = 2*q - f*q - 5*v + 14, -2*v = 3*q - 29. Is n(q) prime?
False
Suppose 0 = -5*j - b + 6924 + 2127, 5*j - 9035 = -5*b. Is j prime?
True
Let g(d) = 11*d**2 + 6 - 5*d**2 - 4*d**2 - 5*d**2 - 2*d. Let s(h) = 8*h**2 + 5*h - 17. Let j(o) = -11*g(o) - 4*s(o). Is j(5) a prime number?
True
Suppose -3*g - 2 = 2*j - 4, j = -g + 1. Is ((-52119)/(-21) - -1) + j/7 composite?
True
Let s(q) = 1659*q**2 - 3*q + 1. Let y(f) = 1660*f**2 - 4*f + 1. Let m(b) = 4*s(b) - 3*y(b). Is m(-1) a composite number?
False
Suppose 7*d - 21 = 14. Suppose -3*l + 48 = d*l. Is l a prime number?
False
Suppose -4*y - 1486 = -u, -y + 2*y = -3. Suppose -i = -3*m + 3*i + 1480, -2*i = 3*m - u. Let s = m - 187. Is s a composite number?
True
Suppose -o = 0, 2*q - 5*o = 151333 - 41247. Is q a composite number?
True
Suppose -4 - 3 = -x. Suppose x*v = 306 + 709. Is v a composite number?
True
Suppose -2*f - 134 = -6*f + 3*t, -74 = -2*f - 2*t. Is (-28)/f*110/(-4) composite?
True
Let c be (-534)/(-33) - (-4)/(-22). Suppose 4*v - c = -128. Let r = v + 155. Is r a composite number?
False
Let u(a) be the first derivative of -9*a**2 + a - 8. Is u(-14) composite?
True
Suppose 98*c = 94*c + 308. Is c prime?
False
Suppose -5*r = -5*d + 2*d + 38976, -5*r - 64970 = -5*d. Let m = d + -4688. Is m a composite number?
True
Suppose 0 = -6*c - 3292 + 10858. Is c a composite number?
True
Is (6/2)/(39/673205) a prime number?
False
Let l be 3*((-3 - -3) + 3) - -3. Is 2517/(-2)*l/(-18) prime?
True
Is (1 + (-2 - -2))/((-51)/(-663561)) prime?
False
Let o = 10942 - 19340. Let d be 3/18 - o/12. Suppose a + 5*f - 146 = 0, -4*f - d = -5*a + f. Is a composite?
True
Let g(s) = s**2 + 1. Let b(f) = -2*f**2 + 12*f + 14. Let o(v) = b(v) + 5*g(v). Is o(-6) a composite number?
True
Suppose -11*j + 8*j + 345 = 0. Suppose -652 = -j*w + 111*w. Is w prime?
True
Suppose -y - 11922 = -2*f - 2266, -2 = -y. Is f composite?
True
Let r(s) = s + s**2 + s**3 - s**2 + s**2 + 0 + 11. Let u be r(0). Suppose 7*o - u*o = -740. Is o composite?
True
Let n(h) be the second derivative of -h**5/20 - h**4/2 - 2*h**3/3 + 3*h**2/2 + 10*h. Let u be 10/25 - (-42)/(-5). Is n(u) a composite number?
False
Let d = -28 - -30. Let w(f) = -3*f + 6. Let r be w(-5). Suppose r - 7 = d*v. Is v composite?
False
Suppose 0 = 2*q - 2*p - 55328, 17*p + 27673 = q + 19*p. Is q a prime number?
False
Let j(f) = 27*f**2 + 1. Suppose -2*t - 2*t - 16 = -3*u, 4*t = -3*u + 8. Let n be j(t). Let x = n - -101. Is x a composite n