 4*c - 58. Is c a composite number?
True
Is (-10)/(-15) - 3926/(-6) composite?
True
Is (5 - (-2310 + 6))/(2 + -1) a prime number?
True
Let p(n) = 2*n**2 - 4*n - 3. Suppose 4*z - 9 - 9 = -2*q, 3*q + 2*z = 11. Let i(j) = -j**2 + j. Let k(r) = q*p(r) + i(r). Is k(-5) composite?
False
Let i(r) be the third derivative of r**5/20 - r**4/3 + 5*r**3/6 - 3*r**2. Let o be (-30)/4*8/(-10). Is i(o) prime?
False
Suppose q - 161 = -a, -3 - 5 = -2*a. Let g = q + 60. Is g composite?
True
Suppose 5*m = 5*s + 1 + 4, -5*s - 3*m - 13 = 0. Is -2*-22*s/(-8) a prime number?
True
Let r be 7 - 13 - (2 - 4). Is (-184)/(-6) + r/(-12) prime?
True
Is 257/5 - (-18)/(-45) a prime number?
False
Suppose 4*d + 3*q - 2 = -8, 3*q + 6 = 3*d. Is (-34 - 3)*(d + -1) a prime number?
True
Suppose -2*z = 2*o - z - 19, -2*o = -5*z - 1. Suppose 3*y - o = -2. Is (-1)/y + (-2460)/(-8) composite?
False
Let f = 1795 - 698. Is f composite?
False
Suppose 0 = 2*x + 1199 - 6873. Is x prime?
True
Suppose -13 = -s + d + 11, 2*d = -3*s + 57. Suppose 2*j + 0*j = 20. Let a = s + j. Is a composite?
False
Let g(u) = u + 11. Let f be g(0). Let s = f + -8. Suppose 4*o = -10 - 2, -s*q - 2*o + 141 = 0. Is q prime?
False
Let k = 28 - 43. Let r(m) = -14*m + 1. Is r(k) a prime number?
True
Suppose -2*r - 2*p + 13 = -3*p, r = -2*p + 4. Suppose 2*n = r - 0. Suppose -n*b - 3*a + 39 = b, -5*a = -3*b - 7. Is b a composite number?
True
Let y be 144/(-14) + 6/21. Let j be (-32)/20*y/4. Suppose 84 + 568 = j*h. Is h composite?
False
Suppose 5*o + 4*y - 10 - 23 = 0, 3*y - 16 = -2*o. Suppose 2 = m - o. Suppose -m*i + 35 = -2*i. Is i composite?
False
Let t be (-2)/7 + (-44)/(-7). Let z = t - 4. Is 69 + (z - -2)/(-2) a prime number?
True
Let d(z) = z**3 + 2*z**2 - 2*z + 4. Let t be d(-3). Suppose 4*q - 15 = t. Suppose -i - 2*i - 2*u + 107 = 0, 4*u = q*i - 156. Is i a composite number?
False
Let x(a) = 6*a + 1. Let p = 4 + 0. Suppose -p*b = -0 - 12. Is x(b) prime?
True
Suppose -q = -1, -3*q = t + q - 182. Is t a composite number?
True
Let c(y) = -y**3 + 5*y**2 - 4*y + 3. Let p be c(4). Suppose p*n = -4*h + 646, -3*h - 3*n + 485 = -n. Is h composite?
False
Suppose y - 3 - 3 = -2*b, 0 = -4*y + 4*b. Suppose r = -y*r + 249. Is r a prime number?
True
Suppose -3*g = -2*k + 502 - 1317, 0 = 5*g - 3*k - 1358. Let q = g + -150. Is q a prime number?
False
Let p(q) = q**2 - 11. Let s = -3 - -3. Let x be p(s). Let c(l) = l**3 + 12*l**2 + 6*l - 6. Is c(x) a composite number?
True
Suppose r = 4*h - 254 + 36, r - 160 = -3*h. Suppose t - 3*t = -5*d + h, -5*t - d - 81 = 0. Is (1 - 3) + (-2 - t) prime?
True
Suppose 2*p - 4*p - 5*b = 10, 0 = -4*p + b + 2. Suppose p = -5*n + 2*n - 3*i + 51, -12 = 3*i. Is n prime?
False
Let u = 6 - 9. Let d be u/(-5) - 13/5. Is -3 - -8*(-17)/d a composite number?
True
Let m(n) = 6*n**2 - 6*n + 31. Is m(13) prime?
True
Let m(r) = 7*r**2 + 2*r - 1. Let i be m(-3). Suppose -b + 105 = -4*b. Let t = i - b. Is t a prime number?
False
Let s be ((-5)/(-2))/((-2)/(-4)). Suppose 0 = -4*f + 2*g + 2*g + 16, 0 = -s*f - 4*g - 16. Suppose -2*c - 31 + 125 = f. Is c composite?
False
Suppose -572 = -x + j, -5*x = -8*j + 4*j - 2860. Suppose 0 = l + 5*d - 176, 3*l + 4*d = -0*d + x. Is (-1)/(-3) + l/6 a composite number?
True
Let w be (-2)/(-5) - 3685/25. Is (3/3)/((-3)/w) a prime number?
False
Let a(x) = x**2 + 1. Suppose 5*d = 4*j + 13, -4*j - 5*d - 1 = 2. Let t be a(j). Suppose -84 - 181 = -t*c. Is c a prime number?
True
Let k = -15 - -33. Suppose -3*s + 14 = -0*s + f, -4*s - f + k = 0. Suppose 334 = s*a - 318. Is a composite?
False
Suppose 3*x + 0*u - u - 176 = 0, 0 = u - 1. Is x a prime number?
True
Let a(h) be the first derivative of h**2/2 + 2*h + 1. Suppose -3*j + 49 = 2*j - 3*z, 5*z = -5*j + 25. Is a(j) a prime number?
False
Let u(q) be the first derivative of 5*q**4/12 + q**3/3 - 5*q**2/2 + 3*q + 3. Let d(x) be the first derivative of u(x). Is d(4) composite?
False
Let t be (-1 + 0)*61 - 3. Let p = -87 + 46. Let r = p - t. Is r a prime number?
True
Let h(y) = -y**3 - 2*y**2 + 5*y + 2. Suppose -z = -2*o + 11, -2*o + 5 = z - 0*o. Let g be h(z). Is 1/g - (-221)/4 a composite number?
True
Let s(p) = p**3 - 8*p**2 + 8*p - 1. Let z be s(7). Let x = z + -9. Is (-78 - 1)/(2 + x) a composite number?
False
Suppose n - 7891 = -3*n + 3*d, 4*n - 2*d = 7886. Is n prime?
False
Suppose -4 = x - 5*r + 6, -100 = -5*x - 5*r. Is x a prime number?
False
Let p(c) = 36*c**2 + c + 4. Is p(3) prime?
True
Suppose -4*z = -2 + 10. Let a be 4/(4/7) + z. Suppose -o = -a, -5*l + 87 = -o - 23. Is l a prime number?
True
Let z = -3 + 4. Let q(y) = y**3 - 2*y**2 + 2*y - 1. Let w be q(z). Suppose w = -4*f + f - 3*t + 18, -15 = -5*t. Is f a composite number?
False
Let z = 20 + -17. Is 4*(z - (-130)/8) composite?
True
Suppose 0 = j - 5*k - 275, 4*j - 4*k - 291 = 873. Is j prime?
False
Let n = 10 + -6. Let k be 10/6*(n - 16). Is (-1)/(-5) + (-416)/k prime?
False
Let t(g) = g**3 + 9*g**2 + 17*g - 14. Is t(9) a composite number?
False
Let r(z) = -z**3 - 6*z + 2. Is r(-5) composite?
False
Let g(t) = -t**2 - 8*t - 5. Let p(z) = 2*z**2 + 8*z + 4. Let f(d) = -3*g(d) - 2*p(d). Let j be f(9). Is 4/6*(-57)/j a prime number?
True
Suppose -2*i + 2 = 14. Is 18/6*(-106)/i a prime number?
True
Suppose 4*p = 4*x - 1660, -4*x - 4*p = -1822 + 130. Is x composite?
False
Suppose 0 = v - 1, -p - 4*v + 40 + 162 = 0. Let y = p + -71. Is y composite?
False
Let h(n) = 26*n + 3. Is h(8) composite?
False
Suppose -l - 407 = -2*c, -2*c - 274 + 701 = -5*l. Is c prime?
False
Let q = 149 - 268. Let h = -34 - q. Is h composite?
True
Suppose -3 = s, 6*r - 3*r + 4*s - 777 = 0. Is r composite?
False
Let g be (2 + -1 + -1)/(-1). Suppose 3*h = -g*h + 150. Let d = -29 + h. Is d prime?
False
Let j(k) = k**2. Let b be j(2). Suppose -3*x - d - 3*d = -77, -4*x = b*d - 108. Is x composite?
False
Let u(w) = -1559*w + 8. Is u(-1) prime?
True
Let h be 2 - (-12)/(-3) - 0. Let m be (-13)/((5/h)/5). Suppose 3*w = -3*b + 72, -5*w - 25 = -4*b + m. Is b composite?
False
Let j(d) = -d**3 + d**2 - 12*d + 29. Is j(-10) composite?
False
Suppose -3*s = 5*b - 22, 7 + 11 = 4*s + b. Is 6/s*(-14)/(-3) a composite number?
False
Suppose -3*y + 7*y = -5*l + 161, -2*l + 64 = 2*y. Is l prime?
False
Let q be (-1)/(-2) - 2396/8. Let i = q - -490. Is i prime?
True
Suppose 6*g - 2*g + 40 = -3*k, 0 = -2*g - 5*k - 20. Is (-308)/g + (-1)/(-5) prime?
True
Let k(g) = g**2 + 0*g - g**3 + 36 + 0*g**2 + g. Let n be k(0). Suppose d - n = -o, -2*d - 2 + 0 = 0. Is o a prime number?
True
Let j(g) = -2*g**3 - 7*g**2 + 8*g - 5. Suppose 3*u + 3 = -3*i - 12, -3*i + 4*u = -13. Let p be (6 - (1 + -1))/i. Is j(p) prime?
True
Let j(n) = n**3 + 6*n**2 + 3. Let h be 2*-1 - (6 - 2). Let v be j(h). Suppose -5*x - 21 + 160 = 4*o, -v*x = 5*o - 73. Is x a composite number?
False
Is (3 - 182)*(0 - 1) a prime number?
True
Let u(d) = -3*d**3 + 6*d**2 + 4*d + 20. Let q(r) = -2*r**3 + 4*r**2 + 3*r + 13. Let b(f) = 8*q(f) - 5*u(f). Let g be (0 - -1) + (-4)/1. Is b(g) a prime number?
True
Suppose -215 = 2*q - 2*s - 735, 2*q - 5*s = 514. Let n = q + -143. Is n a prime number?
False
Suppose -935 = 39*x - 44*x. Is x prime?
False
Let g = 5056 + -2974. Suppose -4*c = -3*d - 8325, -d + 0*d - g = -c. Suppose -5*l + 8*s = 4*s - c, -4*s + 854 = 2*l. Is l prime?
True
Let h(x) be the third derivative of -x**4/24 - x**2. Let j(q) = -2*q**2 - 12*q + 4. Let w(v) = 5*h(v) - j(v). Is w(-6) prime?
False
Let k = 20 - 14. Suppose k*w - 3*w = 1443. Is w prime?
False
Let w = 35 + -17. Suppose 0 = 5*j - w + 3. Suppose 0 = -2*z - 2*v + 64, 7*z = j*z - 2*v + 138. Is z a composite number?
False
Let p = 46 + -27. Is p prime?
True
Suppose 2*m + 2 + 6 = 0. Let z = -7 - m. Is z/(-6) + (-54)/(-4) a prime number?
False
Suppose -2*l + 3*l + 5 = -o, -5*l = -4*o + 16. Is -165*((-4)/(-3))/l prime?
False
Let s(v) be the third derivative of v**5/15 - v**4/12 + v**3/6 + 2*v**2. Is s(5) a prime number?
False
Suppose 2*n = 5*n - 24. Is (28/n)/((-2)/(-44)) prime?
False
Let d(q) = 9*q**2 - 13*q - 15. Is d(13) prime?
False
Let v be 151/4 - 2/(-8). Suppose 2*l - 108 = -v. Is l prime?
False
Let s be 2/8 - 34/8. Suppose g - 3 - 3 = 0. Is 3*17 + s + g prime?
True
Let v(t) = -t**2 - 7*t. Let o be v(-6). Let i be (-18)/o + 1*7. Is i/(-6) + 1799/21 a composite number?
True
Suppose 3*w = -4*r - 2*w + 8840, 