composite?
False
Suppose -4*b = 5*a + 3, -2*a - 5*b - 3 = -12. Let x(v) = v**3 - v + 3. Let w be x(a). Let c = w - -36. Is c a composite number?
True
Let n be (-2)/(-3) + (-355)/15. Is (-4)/(-8)*-2 - n composite?
True
Let v = 15 - 25. Let c be v/25 - 2/(-5). Suppose c = -2*o + 7 + 117. Is o prime?
False
Let s = -1152 - -1937. Is s prime?
False
Let g(s) = -2*s**3 - 3*s**2 + s - 6. Is g(-8) a composite number?
True
Suppose 5*l = 3*z - 6886, 0*z + 2*z - 4*l - 4594 = 0. Is z a prime number?
True
Suppose 5*i + 4*y - 7 - 97 = 0, -4*y + 24 = i. Let f = i + -5. Suppose p + 4*u = 3, f + 4 = 3*p + 2*u. Is p composite?
False
Let z(j) = -j**3 + j**2 + 11. Let v be z(0). Suppose 3*a - 1 = c, v = -3*a + 4*c - 3. Suppose -a*r + 148 = 2*r. Is r a composite number?
False
Let p = 1214 + -469. Is p a prime number?
False
Let q(m) = -22*m**3 - m**2 + 1. Let z = 29 - 13. Suppose 0 = -4*n - 5*a + z, -2*a - 3*a + 23 = -3*n. Is q(n) composite?
True
Suppose 0 = -2*t - 2*f + 2430, -4 = -0*f - 2*f. Is t composite?
False
Let k = -35 - -214. Is k a prime number?
True
Let a = 37 - 22. Suppose -q + a = 4. Is q prime?
True
Let k(a) = a**2 - 11*a + 12. Let b(r) = -5*r. Let w be b(-2). Let x be k(w). Suppose -4*y = -3*y + 3*o - 63, 5*y - x*o = 281. Is y a composite number?
True
Let i(q) = -13*q - 36. Is i(-19) prime?
True
Let q(a) = 340*a**2 - a. Let z be q(1). Suppose 5*s + 4*w = 465, 5*s - 2*w + z = 834. Is s prime?
True
Let o = -1456 + 2769. Is o prime?
False
Suppose -v + 4*r = -3785, -5*v - 4*r = -15857 - 3116. Is v prime?
True
Let r = 19 - 139. Let h = 182 + r. Is h a prime number?
False
Let m(p) = -3*p + 1. Let a be -3 + 4 - 7/1. Is m(a) a prime number?
True
Let r = -234 + 467. Is r a composite number?
False
Suppose 0 = 2*u - 5*o - 61, 0 = -u - 4*o + 9*o + 38. Suppose u = g - 44. Is g prime?
True
Let b = 6 - 8. Let r(a) = -10*a**3 - 2*a - 1. Is r(b) composite?
False
Suppose 71 = -5*y + 11. Is 4/y + (-1246)/(-3) a prime number?
False
Let t be 156 + (-1 - (0 + 2)). Let v = -107 + t. Is v prime?
False
Let k = 894 - 491. Is k prime?
False
Let c(j) be the first derivative of -5*j**4/4 - 5*j**3/3 - 2*j**2 - 5*j - 5. Is c(-4) a composite number?
False
Suppose 3*t = -25 + 1. Is (-11 - t) + (-1 - -99) a composite number?
True
Suppose j + 9 = 91. Suppose 4*m + d - 79 = 0, 7*m = 3*m - 2*d + j. Is m composite?
False
Let t be (4 - 1) + -2 - -2. Suppose 4 = t*l - 2. Suppose -l*r + 88 - 10 = 0. Is r prime?
False
Suppose -9*x + 14*x = 23105. Is x a composite number?
False
Suppose -2*t - 5*y = -459, 5*t - 2*y = -4*y + 1095. Is t a composite number?
True
Let y(q) be the first derivative of q**5/30 + q**4/24 - 2*q**3/3 + 1. Let b(m) be the third derivative of y(m). Is b(3) a prime number?
True
Let x(d) = 107*d**3 - 3*d**2 + 5*d - 3. Is x(2) a prime number?
False
Suppose 0 = -z - 0*z + 5. Suppose -29 = -s - 5*c, 2*c = -3*s + z*c + 123. Suppose -3*n = -s - 54. Is n a prime number?
True
Suppose 0 = -0*i + i - 60. Suppose 4*r + i = 8*r. Is r composite?
True
Is (2962/12 + 0)/(22/132) a composite number?
False
Let l(t) = 3*t**2 - 18*t - 22. Is l(-14) a prime number?
False
Suppose 789 = v - 80. Is v composite?
True
Let k = -13 + 18. Suppose 4*j + 20 = -4*z, 3*z - 24 + 7 = k*j. Is 0/z - 285/(-5) a prime number?
False
Let u = 579 + -358. Is u composite?
True
Suppose -2*x + 4*x - 6 = 0. Suppose -2*k + 290 = x*k. Is k prime?
False
Suppose 7*t + 6 = 4*t. Is t/(3*4/(-186)) prime?
True
Let s(l) = 25*l - 2. Let j(d) = 74*d - 5. Let y(w) = -4*j(w) + 11*s(w). Let z(v) = -106*v - 9. Let x(u) = 11*y(u) - 2*z(u). Is x(-3) a prime number?
True
Let c = 4516 - 3009. Is c composite?
True
Suppose 4*w + 2588 = 8*w. Is w a prime number?
True
Let i = 203 + 12. Is i prime?
False
Let u(d) = -d**3 + 6*d**2 - 4*d + 7. Let y(n) = -n - 1. Let v be y(-6). Let t be u(v). Let j = t - -3. Is j a composite number?
True
Let i(y) = 26*y. Suppose 0*k + 4 = 4*k. Let l be i(k). Suppose -2*s + l = 2*j, -j = j + 5*s - 23. Is j a composite number?
True
Suppose -4*p = 5*q - 1355 - 700, -4*q - p + 1655 = 0. Is q composite?
True
Suppose 3*n - 13188 = -3*h, -4*n + 3*n + 5 = 0. Is h a prime number?
True
Suppose 0*n + 25 = 5*n. Suppose -n*j = -2*j + p - 10, 6 = 3*j + 3*p. Suppose 0 = -7*z + 4*z - 9, -2*g = -j*z - 54. Is g prime?
False
Suppose 4*c + 0*s - 3*s = 3874, 0 = 4*s + 8. Is c composite?
False
Suppose 0*p = 2*p - 4. Let h = -35 + 35. Is 11 - (p - 1 - h) composite?
True
Suppose 7*x - 3*i = 3*x + 2353, x + 4*i - 574 = 0. Is x a composite number?
True
Let b(j) = -j**2 + 5*j - 2. Let a be b(3). Suppose -w - a*k + k = -95, -k + 2 = 0. Is w a prime number?
True
Suppose 2*b - 4*b + 8 = 0. Suppose -31 - 549 = -b*h. Is h a prime number?
False
Let k be (1 - (3 + -1)) + 62. Let s(n) = -4*n**3 - 7*n**2 + 2*n. Let r be s(-5). Suppose 2*i + k = r. Is i a composite number?
False
Let b(k) = 2*k**3 - 7*k**2 + 3*k - 7. Is b(5) a prime number?
True
Suppose 5*q + 121 = 306. Is q prime?
True
Let f(l) = -22*l + 7. Let u = 16 + -22. Is f(u) a composite number?
False
Let z be (-5 - -8)/(-1 - 0). Is 1*(-3 - (z + -257)) prime?
True
Suppose 5 = 4*l - 15. Suppose 0*m - l*m = -15. Is m prime?
True
Let j be 30/12*4/(-5). Let m = j + 20. Suppose 4*s - 230 + m = 0. Is s a prime number?
True
Suppose -4*a - 3*d + 563 = -906, -4*d = -4*a + 1504. Is a prime?
False
Suppose 0 = -y + 5 - 2. Suppose -4*k + c + 1636 = -3*c, 0 = y*k - c - 1223. Is k a composite number?
True
Suppose -4*s + 429 = -355. Suppose -2*j + s = -26. Is j a prime number?
False
Suppose -x - 4*v = 2*x - 16, -3*v = -12. Suppose 4*h + 2*g + 2 = x, -2*h - 4 = 2*h + 4*g. Suppose -5*y - 180 = -5*m, m + 4*m + 3*y - 196 = h. Is m prime?
False
Suppose -1498 = -3*d + 11. Is d a prime number?
True
Is ((-770)/(-28))/((-1)/(-2)) a prime number?
False
Let o(l) = 22*l**2 + 3*l - 2. Suppose 3*d = -3*a + 2 + 1, -5*a - d - 11 = 0. Is o(a) composite?
True
Let k(r) = r**3 - 2*r**2 - 3*r + 5. Is k(4) a composite number?
True
Let q = 896 - 379. Is q prime?
False
Is (0 - 0) + 3 + 165/3 composite?
True
Suppose 3*z + 23 = -2*g - 1, -3*g = 3*z + 27. Is (-2)/(-4) - 9/z prime?
True
Let r(t) be the second derivative of t**4/3 + 2*t**3/3 + t**2/2 + 8*t. Is r(5) prime?
False
Suppose 3*z + 5*l = 2480, -3*l - 18 = -3. Is z a composite number?
True
Let a = 188 + -95. Is a composite?
True
Let h = -3092 + 4589. Is h composite?
True
Let i = 5 - 1. Suppose i*l - 21 - 15 = 0. Is l a prime number?
False
Suppose -6 = -r - 2*r. Let s be 137/1 + (3 - r). Let q = 65 + s. Is q a prime number?
False
Let c(q) = -31*q + 3. Let w = 3 - 8. Is c(w) prime?
False
Let a = 4 + -32. Let f be -2 - (-1 - -75) - -1. Let d = a - f. Is d prime?
True
Suppose 30 = -8*k + 7*k. Is (10/k)/((-2)/3342) composite?
False
Let l be (-2)/(-2) + 2 + 139. Suppose 6 = 2*v + 2. Suppose 4*j - v*j - l = 0. Is j prime?
True
Let i = -6 - -4. Let t be i/3*(0 - 3). Suppose 0 = -3*l - 4*u + 27, -l + t + 8 = u. Is l a composite number?
False
Let g(z) = z**2 + 4*z - 3. Let q be g(-5). Suppose q*c = -2*c + 84. Is c prime?
False
Let w = 4 - 4. Let d = 7 - 4. Suppose 0 = -w*u - d*u + 117. Is u composite?
True
Let s(b) = 2*b**3 - 3*b**2 + 9*b + 6. Let u(o) = -o**3 + o**2 - 4*o - 3. Let c(d) = -4*s(d) - 9*u(d). Let f be c(-3). Suppose 0*n + 63 = f*n. Is n prime?
False
Let i = -451 + -695. Is (2/4)/((-3)/i) composite?
False
Let o(x) = 4 + x + 0*x - x + 2*x. Is o(5) composite?
True
Suppose 3*g + 2 + 12 = 2*k, 0 = -3*g - 2*k - 34. Let c = g - -12. Let y = 15 + c. Is y composite?
False
Suppose 3*c - 6*c - 3*p = 3, 4*p = -2*c. Is c/2 + -1 - -16 prime?
False
Let l(k) = k**3 - 7*k**2 + k - 3. Let v be l(7). Let g = 0 - v. Let h(b) = -6*b - 5. Is h(g) a prime number?
True
Suppose o + n - 143 = -2*n, 3*o - 429 = -n. Is o prime?
False
Let w be 92/28 - 4/14. Suppose -w = -t + 8. Is t prime?
True
Let x(m) = -33*m + 44. Is x(-11) a composite number?
True
Let i(j) = 23*j**2 - 9*j - 3. Is i(7) a composite number?
False
Suppose -a - 3*i + 3 = 0, -a + 9 = -4*a - 3*i. Is (62/a)/((-2)/6) composite?
False
Let v = -15 - -11. Is (-3 - -5)*(-638)/v prime?
False
Let j(g) = g + 4. Suppose 5*t + 6 - 16 = 0. Is j(t) prime?
False
Let s(n) = -n**3 + 1 + 2*n - n**2 - n - 5. Let m(k) = -k**2 + 2*k + 5. Let a be m(4). Is s(a) a composite number?
False
Suppose -5*g - 2 = -7. Is (-11)/(((-1)/7)/g) a composite number?
True