rivative of v**4/4 - 8*v**3/3 + 3*v**2 + 8*v - 2. Let a be n(7). Let c(k) = 49*k**3 - k**2 + 1. Is c(a) prime?
False
Let i be 223 + (1 - 0 - 2). Is (3 + 1)*i/24 composite?
False
Let i = 8 - 4. Is (-3 - (-94)/4)*i prime?
False
Let p = 7 + -22. Is (9/p)/((-3)/435) a composite number?
True
Suppose 0 = -0*a - 4*a + 28. Let o(m) = -m. Let t(f) = f**2 + 10*f - 1. Let v(q) = 3*o(q) + t(q). Is v(a) composite?
False
Let q be 6/(-15)*(-5 - 0). Suppose 55 = 3*t - q*t. Is t prime?
False
Let y(v) = 16*v**2 + v + 2. Let u = 12 + -15. Is y(u) a composite number?
True
Is ((-371)/(-3))/(4/12) composite?
True
Let r = -4 + 6. Let f be -2 + (0 - r)/(-1). Is 37 - 3/9*f prime?
True
Is -2 + 2221 + 0/(-3) prime?
False
Suppose 0 = -3*q + 5*b - 27, -3*q + 4*b = 36 - 6. Is (-4098)/q - (-8)/28 a composite number?
False
Is (25/15 - 1) + 2234/6 a prime number?
True
Is (-7498)/23*(-1)/2 a composite number?
False
Let w(j) = -j**3 + 11*j**2 - 1. Let o = 13 + -8. Is w(o) composite?
False
Let l(k) = k + 9. Let y be l(-9). Suppose -4*h + 2*i + 506 = y, -4*i + 277 = 5*h - 362. Is h a composite number?
False
Suppose 2*l = 5*l - 102. Is l a composite number?
True
Suppose c + 31 = 2*c. Is c a prime number?
True
Let z(o) = o**3 - 2*o**2 + 5*o - 1. Is z(4) prime?
False
Let v = 30 - 5. Suppose -5*s - 5*d = -119 - 136, v = 5*d. Is s a prime number?
False
Let w(j) = -j**2 - 8*j + 7. Suppose -16 = -z + 3*z. Is w(z) prime?
True
Suppose -6*r = -4*r - 16. Let p be 6/(-3) + 1 + 3. Is p/r - (-2604)/16 prime?
True
Let o = 162 - 47. Is o a composite number?
True
Suppose -1521 - 3074 = -5*n. Is n a composite number?
False
Let g(s) = -10 + 10 + s. Let q be g(4). Is (2/q)/(2/104) prime?
False
Let g be (-6)/(-4) - (-54)/4. Suppose -4*y = 2*x - 144, 4*x + 47 = 2*y - g. Is y prime?
False
Suppose 2*g + 4*m = 990, g - 2004 = -3*g + 4*m. Is g a prime number?
True
Let p(h) = 8*h**2 - 3*h - 18*h**3 - 7 - h**2 - 5*h**2 + 3. Is p(-3) prime?
True
Suppose -304 = x - 1017. Is x a composite number?
True
Let d = -7 + 7. Suppose d = -j - 4*r + 137, 2*j + 2*j - 633 = r. Is j composite?
False
Let d(r) = -r**3 - 11*r**2 - 10*r + 3. Let g be d(-10). Suppose -2*q - g*w - 6 = 5, -13 = q + 3*w. Is (-1 + (-138)/(-4))*q prime?
True
Let s(d) = -2*d - 9. Let q be s(8). Let a = -10 - q. Is a composite?
True
Suppose -2*d + 7*d = 60. Suppose -5*v + 3 = -4*q, -2*v + d = 3*q - 3. Is q/((-27)/(-174))*3 a composite number?
True
Let p = -14 + 5. Let f = -4 - p. Suppose -283 = -f*q + 2*t, -102 = -2*q - 2*t - 0*t. Is q a prime number?
False
Suppose 3*c - 64 = 41. Is c a composite number?
True
Suppose -8*i + 4*i = -6068. Is i composite?
True
Suppose -5*w = 3*s - 85, -s + 33 = -w + 2. Suppose -2*a + 24 = -4*t + 8, 0 = 3*a - 4*t - s. Is a a composite number?
True
Suppose -c + 13 = -6. Suppose 5*g + 3*q - 24 = 0, 0 = -4*g - 0*g + 2*q + 6. Suppose -2*k - c = -g*k. Is k composite?
False
Let o = -4 - -5. Let k(a) = -2*a**3 + a**2 - 2*a + 1. Let j be k(o). Is 0 + (0 - -1 - j) prime?
True
Let f be 1/(8/(-6))*-4. Suppose 0*l - l + 2*r = -45, r + f = 0. Is l a composite number?
True
Let t(q) = 29*q**2 - 6*q + 7. Let w(i) = 15*i**2 - 3*i + 3. Let l(k) = 3*t(k) - 5*w(k). Let v be l(-5). Is 4/(-6) + v/9 composite?
True
Let y(d) = -1. Let i(z) = -4*z + 7. Let a(t) = -i(t) - 4*y(t). Is a(4) composite?
False
Suppose -21 = -2*a + 233. Is a prime?
True
Let o(f) = -2*f**2 + f - 4. Let y be o(-3). Let n = y - -42. Suppose r - 5*t - n = 0, 0*r = r - 2*t - 20. Is r a composite number?
True
Let p(v) be the third derivative of v**4/24 + v**3/6 + v**2. Let c be p(4). Is 2/c + (-73)/(-5) prime?
False
Let i = 851 - -60. Is i composite?
False
Let w(a) = 302*a**2 - 8*a + 3. Is w(2) prime?
False
Suppose -2*o - 2*o = 0. Suppose o = -r + 99 + 14. Suppose 4*p = -4*d + 300, 2*p - 43 - r = d. Is p prime?
False
Let c = 160 + -255. Let u = 140 - 284. Let b = c - u. Is b prime?
False
Let h be (-3 - -1)*(-3)/2. Suppose -m + h + 3 = 0. Is m composite?
True
Let f = -15 + 19. Suppose f*i + 134 = 6*i. Is i composite?
False
Is (614/(-6))/(52/(-12) - -4) a prime number?
True
Let z = -15 - -8. Let m = z + 10. Is m a prime number?
True
Let c = -2130 - -3693. Is c a prime number?
False
Suppose 2*k = -3*k - 975. Let v = -64 - k. Is v composite?
False
Let j = -191 - -331. Suppose -2*n - j = -6*n. Let d = n + 2. Is d composite?
False
Let o(b) = -3*b + 19. Is o(0) prime?
True
Suppose 5*o - 62 = 3*o. Is o a prime number?
True
Is 32/96 - (-9236)/3 a prime number?
True
Let q = -1 + 6. Let i(m) = 18*m - 1. Is i(q) prime?
True
Suppose -5*t + m = -93, -4*t + 39 = -m - 35. Is t composite?
False
Let m(d) = d. Let c(z) = 114*z + 3. Let j(o) = -c(o) + 2*m(o). Is j(-5) a prime number?
True
Suppose 0 = b - 3*b. Suppose b*i = 3*i - 1017. Is i*(-3 + 1)/(-6) a prime number?
True
Suppose 5 + 7 = 2*p. Suppose -3*n + p + 0 = 0. Is n + (1 - 1 - -87) composite?
False
Suppose -g - 14 = -5*t + g, 0 = 4*t + 3*g - 25. Let l be (0 - 2)/(t/(-22)). Suppose 0*j + l = j. Is j a prime number?
True
Suppose -5*l + 4*q + 207 = 0, -3*l + 0*q + 3*q = -123. Let t = l + 40. Is t a prime number?
True
Suppose 0 = -3*n - 0 + 9. Suppose p + 36 + 28 = 3*m, 3*m = -n*p + 72. Is m prime?
False
Let c(s) = -3*s**2 + 13*s - 9. Let p(r) = -2*r**2 + 12*r - 9. Let d(k) = -4*c(k) + 5*p(k). Is d(7) a prime number?
False
Let x = 63 - -316. Is x prime?
True
Suppose -g - 4*g = 3*u - 3, -3*g = 4*u + 7. Suppose 524 - 143 = g*s. Is s a composite number?
False
Let g(y) be the third derivative of 5*y**4/12 + 3*y**3/2 - 2*y**2. Is g(10) a composite number?
False
Suppose -5*v + 5*x + 5 = 0, -2*v + x = -2*x - 2. Let o be 2*v*(-12)/(-8). Suppose o*d - 42 = 15. Is d a composite number?
False
Suppose -2919 = -6*m - 873. Is m a composite number?
True
Let r(y) = 8*y**2 + y + 4. Is r(3) a prime number?
True
Let x(g) = 1 - 2 + g + 2*g - 4*g. Let v(t) = -5*t - 4. Let q(d) = -v(d) - 3*x(d). Is q(6) composite?
True
Let p = -68 - -127. Is p composite?
False
Suppose 4*y - 13 = 3. Suppose 0 = 3*t - t + y. Is 2 + (44 - t) + -1 prime?
True
Suppose 0 + 10 = -2*d + 2*t, -2*d - 4*t = -20. Let w(p) = p + 2. Let n be w(10). Suppose -4*x = -d*x - n. Is x a composite number?
False
Suppose -7*q + 12*q = 195. Is q a prime number?
False
Let y be -1*(-3)/(3/145). Let n = 72 + y. Is n a composite number?
True
Is (-95)/(-1)*(1 - (-2 - -2)) a prime number?
False
Let w = 8076 - 4811. Is w a composite number?
True
Is (-4)/(-4)*-185*-1 prime?
False
Let c = 92 - 42. Let w = -15 + c. Is w a composite number?
True
Let r(h) be the second derivative of 19*h**3/6 - 3*h**2/2 - 2*h. Let j be r(6). Suppose j = z - 16. Is z prime?
True
Let n(m) = 109*m**2 - m. Let a be n(-1). Suppose -5*z - a = -10*z. Is z a composite number?
True
Let h(y) = y**2 - 5*y + 7. Is h(-12) a composite number?
False
Let j = 84 + -142. Let k = -38 - j. Is 1 + 0 + k + 1 a prime number?
False
Suppose -4 = -5*s + 6. Let d(x) = -11*x**3 + 2*x**2 - 2*x + 3. Let b(u) = u**3 - u**2. Let h(a) = -b(a) - d(a). Is h(s) a prime number?
False
Let q = 303 - 38. Is q a composite number?
True
Suppose 4*o - 1555 = u, 4*o - 3*u - 2061 = -508. Is o a prime number?
True
Suppose -120 = -6*l + 3*l. Suppose -g + 13 + l = 0. Is g composite?
False
Let a = -18 - -9. Let i(n) = n**3 + 8*n**2 - 11*n - 8. Is i(a) composite?
True
Let f be 4 - (-2 + 0/1). Let v be f/(-9) + (-47)/(-3). Suppose 0 = -2*m - 3*r + 4*r + v, 5*m - 30 = 4*r. Is m a prime number?
False
Is (-203)/(-3) - (-8)/(-12) a prime number?
True
Suppose -2*r = h - 465, 5*h + r - 2255 = 5*r. Suppose 4 = -w - 0, -3*q = -5*w - h. Is q composite?
True
Let f be 7 + (2 - 1) + -1. Suppose 3*u - 128 = -2*c + f*u, -5*c + 275 = -u. Suppose c = p + w, 4*p - 2*w - 210 = -0*p. Is p prime?
True
Let l be -24*(-3)/12*-3. Is ((-1)/(-3))/((-2)/l) prime?
True
Suppose 2*n = 2*j - 2*n - 12, 20 = -4*j - 3*n. Let g(s) = 2*s**2 + 2*s - 2. Let o be g(j). Suppose -13 = o*r - 43. Is r a prime number?
False
Let q(z) = -z**3 - z**2 - 8*z - 5. Is q(-6) composite?
False
Suppose 3*b = 4*h + 7*b - 1320, 2*b - 10 = 0. Is (-1)/(-2) + h/2 a prime number?
True
Let m = 6 - 3. Suppose 0 = 2*b - 5*i + 6, 3*b = b - m*i + 26. Is b a prime number?
True
Let h be (-2)/8 + 2/8. Suppose -4*m = h, 2*m + 0*m + 282 = 3*v. Is 6/(-15) + v/10 a composite number?
True
Let g(d) = -40*d - 4. Let w be g(-5). Suppose 5*m + 47 + 92 = 2