30)/15 prime?
True
Let g = 18 - -27. Let a = g + -24. Is 2/(-7) + 531/a composite?
True
Suppose 4*r + 4 + 76 = 0. Let a be (2/(-5))/(8/r). Let c(y) = 206*y**2 - 1. Is c(a) composite?
True
Let v(x) = x**3 + x**2 + x. Let g be v(-1). Let n(d) be the second derivative of 89*d**4/12 - d**3/6 - d**2/2 - 2*d. Is n(g) a composite number?
False
Let c(n) be the second derivative of n**5/20 - 7*n**4/6 - 4*n**3/3 + 7*n**2 + 5*n. Is c(15) a composite number?
True
Suppose 5*m + 2 = 3*q, 5*q - 2*q - 20 = -4*m. Let g = q + -2. Suppose g = -y + 15. Is y prime?
True
Suppose 12 = 4*x - 5*l, -2*x - 3*l = -4*l. Let h be 1/x + 9/2. Is h/1*10 - 1 a prime number?
False
Let w = 15 - 19. Is 158 - (3 - (2 - w)) prime?
False
Is 6/(-8) + 2727/4 composite?
True
Suppose 47 = 3*r - 2*l, 2*r + 2*l - 18 = 10. Suppose 0 = -5*q + 3*w + 618 - 112, r = 5*w. Is q composite?
False
Let a(f) = f**3 - 3*f**2 - 2*f - 3. Let w be a(3). Let s be (-21)/w - (-2)/(-6). Let p = 5 - s. Is p composite?
False
Let z be 8/4 + -1086 + 1. Let c = z - -1550. Is c a prime number?
True
Suppose 6*y - 24 = 2*y. Is 2*3/y + 222 composite?
False
Let n be 3/(-6)*4 - 1. Let m = -7 - n. Is (m/10)/(5/(-425)) composite?
True
Let q = -57 - -110. Is q composite?
False
Let i(n) = 16*n**2 + 5*n - 11. Is i(-8) a prime number?
False
Suppose -2*w + 4*l = -1 - 3, -5*w + 2*l + 10 = 0. Suppose -2*g = 4 - w. Let q(t) = -13*t**3 - t**2 - 2*t - 1. Is q(g) a prime number?
True
Let r = -8 + 0. Let k be 2 - 1 - 2*-46. Let h = k + r. Is h composite?
True
Let i(y) = y**2 + 7*y - 4. Let n be i(-8). Let o = 417 - 137. Suppose 0 = -4*h - n*p + o, -4*p - 305 = -3*h - 2*h. Is h prime?
False
Suppose 2*z - 1282 = p - 2*p, 2*z - 2564 = -2*p. Is p a composite number?
True
Let h(u) be the third derivative of u**5/15 + 5*u**4/12 - 7*u**3/6 - u**2. Is h(8) a prime number?
False
Is ((-2)/(-4))/(6/1524) a composite number?
False
Let f = 69 - 1. Let g = f + -13. Suppose g = 4*l - 45. Is l prime?
False
Let x be (-4)/((-21)/9 + 3). Let b(q) = -5*q - 7. Is b(x) a prime number?
True
Let d(m) = -m**3 + 12*m**2 - 10*m - 7. Let l be d(11). Suppose 254 = l*u - 182. Is u composite?
False
Suppose -6*d = -859 - 1655. Is d a composite number?
False
Let o(c) = 8*c - 5. Is o(9) a composite number?
False
Let x(n) = -219*n - 22. Is x(-5) composite?
True
Let o(y) = -10*y**3 + y**2 - 4*y - 2. Is o(-3) composite?
True
Suppose 5*h = -0 - 15. Let i be 4/(-6) + (-212)/h. Suppose 2 = -2*w + i. Is w prime?
False
Let f(y) = 12*y**2 - 4*y - 3. Is f(-6) prime?
False
Suppose 3*f + 640 = -1010. Suppose -3*j - j = -16. Is j/(-26) - f/26 a prime number?
False
Let o(c) = c**2 + 3*c - 1. Is o(-10) composite?
True
Let k = -5125 + 7176. Is k a prime number?
False
Let s(z) = z**2 + 9*z - 13. Is s(6) prime?
False
Suppose 6*l + 489 = 9*l. Let w(s) = -s**3 - 2*s**2 + 3*s + 3. Let c be w(-3). Suppose 337 = 5*f - 4*x, x + 42 + l = c*f. Is f a prime number?
False
Let x(a) = a**3 + a**2 + a. Let g(o) = 3*o**3 - 3*o**2 + 10*o + 3. Let l(j) = g(j) - 2*x(j). Is l(8) a composite number?
True
Is 1940/35 - (-6)/(-14) a composite number?
True
Suppose 2*p + 4*n - 5854 = 0, 0 = -2*p + n + n + 5854. Is p composite?
False
Let x be (-1934)/(-4) - 6/12. Let i = 1268 - x. Is i a prime number?
False
Suppose -3*s - s + 16 = 0. Let p = s - 2. Suppose -x - p = -37. Is x composite?
True
Is 27/18*1/3*134 composite?
False
Let l(v) = -3*v + 11. Let u be l(5). Is (1492/(-6))/(u/6) prime?
True
Suppose -5*c + 17062 = 947. Is c a composite number?
True
Let k(t) = 23*t**2 - 5*t - 7. Is k(5) a composite number?
True
Let s(o) = o**2 + o - 13. Suppose 3*t + p - 28 = 2*p, 4*p = -5*t + 41. Is s(t) a composite number?
True
Let b = 14 + -4. Suppose 4*m = 9*m - b. Is (-80)/(-6) - m/6 prime?
True
Let y = 6 - 12. Let q be ((-2)/(-4))/(y/(-96)). Suppose -q*l = -11*l + 93. Is l a prime number?
True
Let x = 19 - 14. Is (-9)/15 + 888/x prime?
False
Suppose 11*s = 16*s - 1955. Is s prime?
False
Let n(b) = 2*b**2 + 3*b - 4. Let j be n(-3). Suppose j*t = -5*c + 950, 2*c + 957 = 5*t - 0*c. Is t prime?
True
Let r(w) = -8*w + 1. Let f = -20 - 1. Let s(h) = -81*h + 9. Let v(c) = f*r(c) + 2*s(c). Is v(3) prime?
False
Suppose -o - 3*z - 2*z - 33 = 0, 3*z + 55 = -5*o. Let g(d) = -d**2 - 14*d + 5. Is g(o) a prime number?
True
Let i(y) = -10*y**3 - y - 1. Let s(g) = -6 - 3 + 5*g - 6*g. Let d be s(-8). Is i(d) a prime number?
False
Let z(s) = 2*s**2 + 16*s + 6. Let y(l) = l**2 + 8*l + 3. Let f(a) = 9*y(a) - 4*z(a). Is f(6) composite?
True
Suppose 4929 = 7*r - 45128. Is r a composite number?
False
Suppose 0 = -0*m + 4*m - 600. Let c = 247 - m. Suppose -o = -2*o + c. Is o composite?
False
Suppose -4*k = -5*i - 25, 4*k = -0*k - 2*i - 10. Suppose -2*x - 3*x + 50 = k. Is x composite?
True
Suppose 2*h - 5*h + 117 = 0. Is h composite?
True
Suppose -m - 5 = -2*x, x + m - 4 = 3*m. Suppose 0*n + 11 = n + 4*w, 0 = -4*n - 3*w + 44. Is 2/x*13*n prime?
False
Let p = 4 + -2. Is 128 + 2/p - -2 prime?
True
Suppose -5*s - 340 = -0*s. Let h = -15 - s. Is h prime?
True
Is (1*2/(-4))/((-28)/14728) prime?
True
Suppose 4*r + 10 = 5*s, 2*r + s = r - 7. Let d = r + 8. Suppose -4*k + 89 = -d*k. Is k prime?
True
Let q(h) = -2*h**2 - h**3 + 3*h + h**3 - 4*h - 4 - 2*h**3. Is q(-5) composite?
True
Let t = -358 - -1349. Is t prime?
True
Let w(n) = 2*n**2 - n - 5. Is w(7) a composite number?
True
Let b be 21/12 + (-3)/(-12). Suppose -b*t - 210 = -s - 7*t, -4*s + 856 = 4*t. Is s a composite number?
True
Suppose 0 = -5*j + 4*n - 2143, 3*j = j - 2*n - 868. Let m = 126 - j. Is m composite?
False
Let u(h) = h**3 - 5*h**2 - 5*h - 8. Let s be u(6). Is 284/16*-2*s prime?
True
Suppose 0 = -2*j - 4*k - k + 3933, 5*k = -4*j + 7891. Is j composite?
False
Suppose 1323 = -0*n + 3*n. Suppose n = 4*a - q - 371, -3*a + 609 = -q. Is a prime?
False
Let l = -58 - -37. Let r = l - -206. Is r composite?
True
Let q(x) = x**2 + 4*x - 7. Let f be q(-6). Suppose -y = -2, 0*a - 5*a - f*y + 1185 = 0. Is a prime?
False
Let p(g) be the first derivative of -55*g**2/2 + 2. Is p(-1) a prime number?
False
Suppose 0 = 3*z - 8*z + 40. Is ((-18)/15)/(z/(-1940)) composite?
True
Suppose 195 + 290 = 5*d. Suppose -18 = -5*h + d. Is h a composite number?
False
Suppose k + 0*k = 25. Suppose -k = -3*b - 2*b. Is 6/15*b*3 composite?
True
Is 200 - (2 + -3) - -2 composite?
True
Let q(h) = -58*h - 3. Let j(p) = -174*p - 10. Let r(o) = 2*j(o) - 7*q(o). Is r(1) a composite number?
False
Suppose -38 = -4*r - 3*p - 8, -3*r + 4*p + 10 = 0. Is (383 + -1)*r/12 a prime number?
True
Let a(w) = -w**2 + 6*w - 2. Let b be a(6). Let u = -4 - 4. Let m = b - u. Is m composite?
True
Is 37739/65 - (-4)/10 a prime number?
False
Let m = 602 + 347. Is m a prime number?
False
Is (-6)/(-27) - (-475)/9 a composite number?
False
Suppose -7779 = -5*j + 4*s, -3*s - 4666 = -3*j - 2*s. Is j prime?
False
Let a(r) = -r**3 + 7*r**2 + 12*r - 71. Is a(7) a prime number?
True
Let q(f) = -f**3 + 14*f**2 - 10*f - 5. Is q(12) a composite number?
False
Suppose 3*l = -2*l + 1325. Is l a prime number?
False
Suppose -4*v + 7 = b, v = -5*b + 3*v + 35. Suppose -b*a - 4*j = -2*a - 50, a + 9 = 3*j. Suppose -a*u + 2*u + 156 = 0. Is u prime?
False
Is -2*(-4)/8 - -1840 a composite number?
True
Let i be ((-18)/21)/((-21)/98). Suppose 0 = -4*j + 2*k + 112 + 604, -i*k + 526 = 3*j. Is j a prime number?
False
Suppose z = -2*z - 765. Is (-1 - (-6)/9)*z a prime number?
False
Suppose -1619 = -3*w - u, 0*w + 5*u - 2685 = -5*w. Is w composite?
False
Suppose 5*i = -4*q + 426, 2*i - 2*q - 2*q = 148. Let j = i - 3. Is j composite?
False
Let m = 9 - 4. Let i(p) = p. Let q be i(m). Suppose -719 = -5*h - 3*k, -k = q*h + 4*k - 715. Is h a composite number?
True
Suppose 4*l + 3*l = 2149. Is l a composite number?
False
Let a(y) = -47*y - 4. Is a(-9) a composite number?
False
Let q be (-6)/5*(-10)/4. Suppose q*a - a = 0. Let s(i) = i + 21. Is s(a) a composite number?
True
Suppose -5*y - u + 701 = -42, -586 = -4*y - 5*u. Is y prime?
True
Let y be (-8)/20 + (-1504)/(-10). Is 1 - (-3)/(9/y) prime?
False
Let x be (-756)/(-8) - (-2)/4. Let u = -47 + x. Suppose 0 = y - 31 - u. Is y a composite number?
False
Let h(p) = -p**2 - 2*p - 2. Let k be h(-6). Let a = -3 - k. Is a prime?
True
Suppose 4*k - 320 = -2*w, -2*k = -0 + 6. Is w composite?
True
Let m(n) = -5*n - 73. Let a(c) = 4*c + 74.