 composite number?
True
Let z be ((-2)/3)/((-4)/12). Suppose -7*q + z*q = -2135. Is q prime?
False
Let i = -742 + 1061. Is i composite?
True
Suppose 308 = -v + 5*v. Is v a composite number?
True
Let a(b) = -b**3 + 10*b**2 + b - 9. Suppose -m = 0, -v - 3*v + 40 = 5*m. Let z be a(v). Is 7/(21/90) + z a composite number?
False
Let p = 8 - 5. Suppose -3*g = -9, 2*g + p*g - 482 = -r. Suppose 2 = -i, -3*j = -6*j + i + r. Is j prime?
False
Let s be 4785/6 + (-2)/4. Suppose 73 = 5*d - s. Suppose d + 161 = 5*x. Is x prime?
True
Let c(i) = -13*i**2 + 4*i - 5. Let t(g) = -g**2 + 2*g + 2. Let j be t(4). Let s be c(j). Let q = s - -760. Is q a composite number?
False
Let v(q) = -307*q**3 + q**2 + 2*q + 1. Is v(-1) a prime number?
True
Let p = 2395 + 310. Is p a composite number?
True
Suppose 18 = 5*v + 3. Let b(c) = 2*c + 1. Let t be b(-1). Is 110/(v + t) - 0 a composite number?
True
Let m(f) = -7*f**3 + 10*f**2 + 5*f + 10. Is m(-7) prime?
False
Let q(a) = -a**3 + 7*a**2 + 7*a + 3. Let p be q(8). Let y = p - -7. Suppose -y*f = -3*f + 25. Is f a prime number?
False
Let g be 47 + 1*4/2. Suppose -2*v - 504 = -7*v + 3*i, -2*v = 5*i - 214. Let s = v - g. Is s composite?
False
Suppose -4753 = -4*s - 5*p, 2*s + 186 = 3*p + 2579. Suppose -g = 3*g - s. Is g a composite number?
True
Let w(x) = 3*x**3 + 8*x**2 + 6*x - 3. Let g(p) = -7*p**3 - 17*p**2 - 13*p + 7. Let j(h) = -2*g(h) - 5*w(h). Let v be j(-5). Is (3 - 5)/(v/70) composite?
True
Is 1580/6 - 2/6 a prime number?
True
Let h(v) = 110*v**2 - 6*v - 10. Let k be h(-5). Suppose k = 5*d + q, 2*d - q + 1664 = 5*d. Is d a prime number?
False
Let w(f) = -6*f**2 + 2*f - 3. Let d be w(3). Let l = -48 - -34. Let b = l - d. Is b prime?
True
Let w(c) = c**2 + 8*c - 20. Is w(3) a prime number?
True
Let m(x) = -x + 197. Let l be m(0). Suppose -t = a + 7 + 31, 2*t - l = 5*a. Is a/(-4) - 6/(-24) prime?
False
Let q = 3 - 6. Let p be q - (18/(-2))/1. Suppose -3*j + p*j = 159. Is j a composite number?
False
Let i(v) = -14*v + 2. Let c be i(3). Is (4/(-8))/(2/c) a composite number?
True
Let f(q) = 95*q**2 - 5*q - 31. Is f(7) a composite number?
True
Let g(m) = -22*m + 1. Let p(j) = j**3 - j - 1. Let k be p(-1). Is g(k) a composite number?
False
Let g(f) be the third derivative of -7*f**4/12 - 5*f**3/6 + 4*f**2. Is g(-11) prime?
True
Suppose -2*a + 752 = 2*i, -4*a = -2*i + i + 351. Is i a prime number?
False
Let h(x) = 6*x + 13. Is h(5) composite?
False
Suppose -66 - 12 = q. Let l = 265 + q. Is l a prime number?
False
Suppose 970 = q + q. Is q a prime number?
False
Suppose 2*i = -5*c - 5 + 6, -2*c = -i + 5. Is 182 - (-1 + 4)/c a prime number?
False
Let o(t) = 2*t**3 - 3*t**2 + 3*t - 3. Let k be o(2). Let s = k + 3. Is (-4)/s + (-187)/(-5) prime?
True
Let r(m) = -31*m - 17. Is r(-6) composite?
True
Let v = 77 + 61. Let q = v + -11. Is q composite?
False
Let u be ((-21)/4)/((-9)/24). Let b(o) = o - 5. Let z be b(5). Suppose -3*h + u + 25 = z. Is h prime?
True
Suppose -36 = -5*o - 4*b, o + 2*b - 8 - 4 = 0. Let n(z) = 3*z - 10. Let t be n(o). Suppose 0 = 2*m + 2, t*k + 0*m + 4*m - 8 = 0. Is k composite?
True
Let m = -373 + 977. Suppose -3*q = 115 - m. Is q composite?
False
Let x(v) = 2*v + 1. Let r be -1 - 1*(-3)/1. Let c be x(r). Suppose -4*h - 46 = -c*h. Is h composite?
True
Let t(v) = v**3 - 2*v**2 + 2*v - 2. Let q be 4*(3 + (-10)/4). Let b be t(q). Suppose -3*i - b*i = -745. Is i a prime number?
True
Is -2*74*10/(-8) a composite number?
True
Suppose 3 = 2*v - 187. Is v a prime number?
False
Is ((-388)/(-10))/(13/65) - 3 composite?
False
Let i be (-3 + 2)/((-3)/1917). Is 3/(-12) + i/12 a prime number?
True
Let a be (6 - -3)*2/3. Let p be 14/4*a/3. Let f(y) = y**2 - 6*y + 2. Is f(p) a composite number?
True
Is (-7)/(-21) - (-1)/(3/10976) prime?
True
Suppose -5*o + 28 - 3 = 0. Let l = 4 - o. Is (-29)/l + 1 + -4 a composite number?
True
Let p(w) = -24*w**3 + 2*w**2 + 2*w. Let i(t) = 25*t**3 - 3*t**2 - 2*t + 1. Let u(s) = 3*i(s) + 4*p(s). Is u(-2) a prime number?
True
Let j(p) = p**3 - p**2 + p + 290. Let s be j(0). Let k = s + -14. Suppose -63 = 3*z - k. Is z composite?
False
Let o = 466 - -88. Is o/22 + 22/(-121) prime?
False
Let u = -2 - 3. Let r = u - -8. Let f(w) = w**3 + 3*w**2 + w - 2. Is f(r) a prime number?
False
Let d = 3 - 1. Suppose 1 = d*a + 3. Let x(j) = 52*j**2 - 2*j - 1. Is x(a) composite?
False
Let h be (-26)/(-5) + 1/(-5). Let l = 11 - h. Let o(x) = x**2 + x + 7. Is o(l) a composite number?
True
Let x be 2 + 1 + (1 - 0). Suppose -x*f + u = -259, 6*u = 7*u - 1. Is f prime?
False
Suppose 0*z + 2705 = 5*z. Is z composite?
False
Let c be 50/(-6) + 1/3. Let p = 19 - 21. Let s = p - c. Is s a prime number?
False
Let z = 3 + -7. Is (z - -3)/((-1)/118) a composite number?
True
Let n(u) = -u**3 + 8*u**2 - 7*u + 4. Let z be n(7). Suppose -5*d = -5, z*a - 2*d - 5 = d. Let r(i) = 5*i**2 + 3*i - 3. Is r(a) a composite number?
False
Let z be (51/(-2))/((-4)/496). Suppose z = 4*q - m, -6*m + 10 = -m. Suppose -x - q = -3*v, -3*v + 2*x + 653 + 134 = 0. Is v a prime number?
False
Suppose 3*a + b - 1755 = -0*b, 5*b - 571 = -a. Is a composite?
True
Let x(d) = -52*d - 7. Let l be x(-6). Suppose -s = 3*b - 74, -3*b + 36 + l = 4*s. Is s prime?
True
Let p(d) = d**3 + d**2 - d + 215. Let f be (-2)/(-4) - 4/8. Let k be p(f). Is k/15 - 2/6 prime?
False
Let x(g) = 48*g**2 + g + 1. Is x(-2) a composite number?
False
Let z(c) = -c**2 + 17*c - 5. Let n be 8*(6/4 - 1). Let f = 8 + n. Is z(f) composite?
True
Is (-89)/(-2) + 12/8 a composite number?
True
Let k = 181 - 128. Is k prime?
True
Suppose 11 = -2*n - 5. Let w be 430/8 - 2/n. Is w/8 - 2/(-8) prime?
True
Suppose 0 = -4*z + 4*f + 13668, 2*f = -5*z + 3*f + 17069. Is z prime?
True
Let t(o) = 24*o**2 - 14*o + 11. Is t(15) a composite number?
True
Let w(z) = 2*z - 10. Let d be w(7). Suppose i = d*i - 60. Suppose -b + i = -2. Is b a composite number?
True
Is (-16)/12 - 1922/(-6) a composite number?
True
Suppose k - 3*i = 2*i + 43, -3*k - 3*i = -147. Let n = 107 - k. Is n composite?
False
Let a(r) be the third derivative of -r**6/120 + 11*r**5/60 + 2*r**4/3 - 11*r**3/6 - r**2. Is a(12) a composite number?
False
Let x(i) = 150*i + 47. Is x(12) composite?
False
Let k(c) = -c + 1. Let r(n) be the third derivative of n**5/4 + n**4/8 - n**3/2 + n**2. Let o(i) = 4*k(i) + r(i). Is o(2) prime?
True
Suppose -m = -d - 1, 0*d + 13 = -5*m - 4*d. Is 36 - (0 - (0 - m)) prime?
True
Suppose -2*x = -11 + 1. Suppose x*y = 579 + 206. Is y a prime number?
True
Suppose -4*z = -888 + 188. Suppose -4*n = -l + z, 5*n = -0*l + 2*l - 341. Is l a composite number?
False
Is 4/((-8)/6)*-23 a prime number?
False
Suppose -5*h + 8837 + 7173 = 0. Is h prime?
False
Let x = -6 - -5. Is x + 67 - 4/4 composite?
True
Suppose 3*k - n - 14 = 0, -4*k + 0*k + 2*n = -22. Is (0 - -1 - k) + 69 composite?
False
Let q(m) = 2*m**3 + m**2 - m + 1. Let j be 6/9*(-9)/(-3). Is q(j) a prime number?
True
Suppose -3*v = -2470 - 10793. Is v a composite number?
False
Suppose 4*d + 2723 = 12559. Is d a composite number?
False
Suppose o - 1384 = m, -4*m - 3519 = -3*o + 632. Is o prime?
False
Let s = -2 + 2. Suppose -b - y + 28 = s, -4*b + 2*y + 5 + 137 = 0. Suppose 3*j = -5*u + 66 - 7, -j - 5*u + b = 0. Is j a composite number?
False
Suppose 5 - 33 = -2*m - 4*p, -10 = -2*p. Let l(d) = -6*d**3 + d**3 + 3*d + 4*d**3 - m. Is l(-3) prime?
False
Suppose 2*k - 15 = -k. Suppose 0 = z - h - h - 14, k*z - 4*h = 40. Suppose 0 = j + 5*s - 5, z*j - 2*s = 3*j + 33. Is j a prime number?
False
Let s(o) = o**3 + 17*o**2 + 14*o + 15. Is s(-16) a composite number?
False
Let w = 18 - 7. Suppose 5*m = -2*u + 5, -2*m = m + 4*u + w. Suppose -2*l = 10, -3*r + 8*r - 730 = -m*l. Is r a prime number?
True
Let q = -2 - -4. Suppose 9 = i - q*g - 42, -5*i - 5*g = -240. Is i a prime number?
False
Let x(u) = u**2 - 10*u - 5. Let g be x(11). Suppose -5*a = 3*t - 845 + 32, -5*a + t + 829 = 0. Is (-4)/g*3 + a composite?
False
Let x = 38 + -14. Is 5*151 + x/(-6) prime?
True
Let q(n) = 69*n - 46. Is q(13) composite?
True
Let c(j) = 95*j**3 - 2*j**2 - j - 2. Let q be c(2). Suppose -3*f + q = f. Is f a composite number?
True
Let a = 3 + -3. Suppose -m = i - a*m + 1, i - m - 3 = 0. Is 260/12 - i/(-3) composite?
True
Is 6/30 + (-2352)/(-15) prime?
True
Suppose -3*m = -r + 2, 4*m - r = 4*r - 21. 