s t prime?
False
Suppose 48515 - 141473 = -6*v. Is v prime?
True
Suppose 0 = 5*m + 62 - 292. Is m a composite number?
True
Suppose 2*i - 34 = 4*o, 3*i + 2*i - 64 = 3*o. Let q = i - 7. Suppose 165 = h + q*h. Is h prime?
False
Suppose q - 2*q = 0. Suppose 4*t - 3*s - 1152 = q, -2*t - s = -3*s - 574. Is t prime?
False
Is (4 + -2)/((-22)/(-11957)) composite?
False
Let f = 101 - 220. Let r = -30 - f. Is r a prime number?
True
Suppose -4*v = a - 2*v - 16, -3*a + 24 = -2*v. Suppose w - 171 = -a. Is w a prime number?
False
Let n(b) = 0 + 1 - b + 3. Is n(-5) a composite number?
True
Suppose t = 3*w - t - 5401, 4*t + 3598 = 2*w. Is w prime?
True
Let h be -1*(-1 + 2)*-5. Let u(a) = 6*a**2 - 6*a + 7. Is u(h) a prime number?
True
Let x(w) = w**2 + w - 9. Let m be x(0). Is (-208)/(-6) + (-3)/m a prime number?
False
Let g(x) = -x**3 + 3*x**2 + x. Let j be g(2). Is (-2)/(-6) + 556/j composite?
True
Let v = 6 - -7. Suppose 61 - v = w. Let u = w + -23. Is u a prime number?
False
Suppose -h + 8 = -3*h, -2*h + 247 = 5*i. Is i a prime number?
False
Suppose 8*o - 275 = 3*o. Is o a prime number?
False
Let y(z) = 10*z + 17. Is y(7) a composite number?
True
Let g = 1562 + -861. Is g a composite number?
False
Suppose 3*b + q = 667, -b + 7*q = 2*q - 233. Is b a prime number?
True
Let m = -37 + 59. Suppose -3*k + 5*k = m. Is k prime?
True
Suppose -1 = 2*h - 9. Suppose 3*x + 2*x + u = 110, h*x - 64 = 4*u. Is x composite?
True
Is (-2)/(-13) + (-49620)/(-260) prime?
True
Let w = -1 + 3. Suppose 0 = 5*p + 10, 2 = -5*l + w*p + 26. Suppose -4*y = 3*o - 47, -l*y + 48 = 2*o + 2*o. Is y a prime number?
True
Let a = -10 - -10. Suppose 2*v - 6 = a, 3*u = -0*v + 2*v + 51. Is u composite?
False
Let n be 3 + -2 + 232*1. Let m = 336 - n. Is m a composite number?
False
Let c be (-3)/9 - 7/(-3). Suppose 0 = -3*l + c*l + 5, 0 = 3*o - 2*l - 11. Let j(x) = x**2 - 2*x - 2. Is j(o) prime?
False
Let q(d) = -d + 4. Let z be q(0). Suppose 100 = -0*g + z*g. Is g a composite number?
True
Let w = -56 - -114. Suppose 0 = 3*l - 11 - w. Is l a prime number?
True
Let h(y) = -1 - 5 - 188*y + 5. Is h(-1) composite?
True
Let w(a) = -a**2 + 1. Let f(y) = y**2. Let u be f(-1). Let n(l) = 6*l**3 + 4*l**2 + 2*l - 4. Let s(x) = u*n(x) + 3*w(x). Is s(2) a composite number?
True
Let z(b) = b - 1. Let f(n) = n**2 - 11*n + 4. Let q(y) = f(y) + 3*z(y). Is q(10) a composite number?
True
Suppose 2 = -3*n - 4. Suppose -2*s = -s + 2. Is 3 + (s + 18 - n) prime?
False
Is 6/(-33) + (-8764)/(-44) a prime number?
True
Suppose -8*v + 12*v = -196. Is (-52)/(-13) - 1*v a composite number?
False
Suppose -3*s = -3*u - 2961, -3*u - 4943 = -0*s - 5*s. Is s composite?
False
Let x(o) = o**3 - 9*o**2 + o - 8. Let m be x(9). Let i(v) = 77*v + 1. Let h be i(m). Suppose 4*a + t = 5*t + 164, -2*a + t + h = 0. Is a a composite number?
False
Suppose -5*p = 2*a - 639, 0 = 5*a + 4*p - 2347 + 792. Suppose 5*c + 4*b - a = 0, -4*c + 224 = -3*b - b. Is c a prime number?
True
Suppose -v = 12*v - 21697. Is v a prime number?
True
Suppose -l + 5 = -3*j, -4*j + 10 = j. Is l composite?
False
Suppose 0 = -3*j - n - 88, 5*j = 4*j - 4*n - 22. Is (-1010)/4*36/j prime?
False
Let r be (-93 - 1)*45/(-6). Let l be (-1)/(-2 - r/(-354)). Let b = l + -51. Is b composite?
False
Let c(a) = a + 2. Let b be c(0). Suppose 0*h - 1567 = -4*m - h, 0 = b*h + 10. Suppose -35 + m = 5*u + 4*w, -139 = -2*u - 3*w. Is u composite?
True
Suppose -4*a + 2*y = -3234, -a - 3*a = 5*y - 3241. Is a a composite number?
False
Let i = -3 + 3. Let z = i + 3. Suppose 4*x - 2*x - 89 = -z*q, 5*x + 4*q - 219 = 0. Is x a prime number?
True
Suppose 2403 = 6*o - 987. Is o prime?
False
Suppose 12 = q + 15. Let k(d) = -6*d**2 + d - 3. Let t(c) = -1. Let i(j) = -k(j) + 5*t(j). Is i(q) a prime number?
False
Suppose -3*d + 717 - 75 = 0. Is d composite?
True
Let q(y) = y + 7. Let i = 5 - 15. Let b be q(i). Is b/12 - (-149)/4 a composite number?
False
Suppose -5*g + 4*d = -13, -3*g = 2*d + 3*d + 7. Let v be (-3)/(-2) + g/2. Let k(a) = 2*a**2 - a + 1. Is k(v) a composite number?
False
Let n(i) = -i**3 + 8*i**2 - 6*i + 9. Let f be n(7). Suppose 2*q - 4*t + f = 0, -2 = q + 5*t - 1. Is (4/q)/((-8)/84) a composite number?
False
Suppose -2*x + 295 = 57. Is x a prime number?
False
Suppose -8 = -4*g + h, 4*h - 5 - 2 = 3*g. Suppose -g*a = -271 - 2486. Is a composite?
False
Is (1478 - -8)*(-1 + 9/6) a composite number?
False
Let r(z) = z**2 + 8*z + 3. Let i be r(-8). Suppose -i*x - 240 = -6*x. Suppose -5*s + 156 = -2*k + 51, x = 5*s + 3*k. Is s composite?
False
Suppose 0 = -2*y + 3*t + 371, -y + 6*t + 182 = t. Is y composite?
True
Let f(p) = p**3 - 9*p**2 + p - 5. Let z be f(9). Suppose -3*i + 569 = -i + m, z*i = m + 1153. Is i a composite number?
True
Let d(s) = s - 2. Suppose 6*q - 2*t - 12 = 4*q, 4*t = -4. Let r be d(q). Suppose 0 = r*j - 20 - 25. Is j a composite number?
True
Let m(b) be the second derivative of b**5/10 - b**4/6 - b**3/3 + 2*b**2 + 8*b. Is m(3) prime?
False
Let i be (1 + 0)*0/3. Suppose i = -3*m - 2*m + 595. Is m prime?
False
Let z be (12 + -4)/(4/(-26)). Let x = -18 - z. Is x a prime number?
False
Let o = 124 + -110. Is o a prime number?
False
Let c(n) = -72*n + 13. Is c(-2) a prime number?
True
Suppose -s - 432 = 510. Let y = 1529 + s. Is y a prime number?
True
Suppose -21*c - 20154 = -4*x - 19*c, x = -5*c + 5044. Is x a composite number?
False
Suppose 0 = p - 2*d - 135, 9*p - 687 = 4*p - 2*d. Suppose 14 = -3*i + p. Let o = i + 50. Is o prime?
False
Let s = 11 - 8. Let z = 13 - 8. Suppose z*i = s*i + 190. Is i composite?
True
Suppose -2*l = -s - 4*s - 1622, -5*l - 3*s = -4055. Is l prime?
True
Is 1/4 - (-882)/24 a composite number?
False
Is -5649*(0 - 1/3) a prime number?
False
Suppose 12 = -4*o, 7*o - 12*o = -h + 406. Is h prime?
False
Let v(b) = 1112*b**2 + 2*b - 1. Let o be v(1). Suppose 0 = 4*c - 67 - o. Is c a composite number?
True
Suppose 0*a - 2*a - 3*r + 35 = 0, 0 = a + 5*r. Suppose 0 = -0*k + k - a. Is k a composite number?
True
Let w = 91 - 24. Is w composite?
False
Suppose -2*l - 12 = -6*l. Suppose -6*n = -l*n. Suppose n*y + 333 = 3*y. Is y a prime number?
False
Let a(c) = -c**3 - c**2 + c + 16. Let p be a(0). Suppose 2*l + p = 6*l. Suppose y = -4*u + 41, -l*u = -3*y - 38 + 1. Is u prime?
False
Suppose 5*n = -5*v + 232 - 7, -2*n - 74 = -2*v. Let m = v + -6. Is m prime?
False
Suppose 0*f - 57 = -f. Suppose 0 = -2*k + 4*k - 8, 5*v = 2*k + f. Suppose -2*t = -v - 5. Is t prime?
False
Suppose 0 = 5*w - 12 - 3. Suppose 2*r + 3 = -c - w, -2*c - 5*r - 10 = 0. Is c*((-27)/2 - -2) a prime number?
False
Let p(v) = -v - 10. Let t be p(-5). Let d(a) = -a**3 + 3*a**2 - 2*a + 7. Is d(t) prime?
False
Let c = 190 - 75. Is c composite?
True
Let c(v) = 162*v + 1. Let s(t) = -t**3 - t**2 - t - 4. Let o be s(0). Let u(n) = n + 5. Let z be u(o). Is c(z) prime?
True
Is (-12)/(-6) - (-9)/((-18)/(-760)) composite?
True
Let u = -757 + 387. Let i = -211 - u. Is i composite?
True
Suppose 0 = -0*k + 3*k - 12. Suppose -k*j = -29 - 11. Is j prime?
False
Suppose -o - 2*x + 4*x = -2, 2*o - 3*x = 5. Suppose 92 = o*p - 488. Is p composite?
True
Suppose -23 = -2*h + 5*a, 2*h = h + 2*a + 10. Suppose -4*i + 2*f + 76 = -0*f, -h*f - 38 = -2*i. Is i prime?
True
Suppose -z - 1 = -0*z. Is -87*(2/6 + z) a composite number?
True
Suppose d + 1 = -4*m, m - 4*d = 20 + 1. Let v = 2 - m. Is 1*(9 - (v + 1)) a prime number?
True
Let x(g) = 2*g**2 - 3. Let o be x(3). Is -1 - (-5)/(o/384) prime?
True
Let t(m) = 2*m**2 + 4*m + 5. Suppose -8 = 5*g - 4*g. Let v(p) = 2*p + 11. Let r be v(g). Is t(r) prime?
False
Suppose -2*o + 1 - 3 = 0. Is (-998)/(-6) - o/(-3) a composite number?
True
Suppose -4 = -2*y, y = 3*p - 2*y + 9. Let v(i) = 130*i**2 + i + 2. Is v(p) prime?
True
Suppose -16*q = -11*q - 7055. Is q a prime number?
False
Let y(w) = w**2 - 2*w. Let p be y(3). Let j(z) be the second derivative of z**3 + z**2/2 + z. Is j(p) a composite number?
False
Suppose -r = 4*r - 2225. Is r a composite number?
True
Suppose 2*s + 667 = c + 7*s, -2*c = -2*s - 1322. Is c composite?
True
Suppose -5*k - 977 + 3652 = 0. Is k a prime number?
False
Let l be -4*(-2 - 10/(-4)). Is (20/(-8))/(l/212) prime?
False
Suppose -410 + 29 = -3*w. Is w prime?
True
Suppose -c - 541 = -b + 821, 0 = 4*b - c - 5460. Is b prime?
False
Suppose -4*l + 5*l + 110 = 4*