se
Suppose -7 = -3*p + 770. Is p a composite number?
True
Suppose c + 17 = 2*c - 4*i, -4*i - 7 = c. Suppose 0*w - c*w = -5*o, o + 16 = 5*w. Suppose 231 = -f + o*f. Is f a prime number?
False
Let z = -22 - -17. Let n(c) = 4*c**3 + 33*c**2 - 11*c - 37. Let p(k) = k**3 + 8*k**2 - 3*k - 9. Let q(o) = -2*n(o) + 9*p(o). Is q(z) a prime number?
True
Suppose 1349 = 8*c - 67. Is c a prime number?
False
Is -1*(-365 + (5 - 1)) composite?
True
Suppose -a = 3*a - 8. Suppose 33 = -a*r - r. Is 3 - ((-1 - -2) + r) a composite number?
False
Let p = -11 + 15. Suppose 5*u - 1176 = -p*y, -2*y + u = 2*u - 594. Is y prime?
False
Let n = -3 + 3. Suppose -5*r + 23 = f - n*f, 3*r - 3 = 0. Is (-4)/f + (-897)/(-27) a prime number?
False
Let z(b) = -b**2 - 3*b + 3. Let f be z(-3). Suppose f*d + 205 = 4*d. Is d a composite number?
True
Suppose -4*w = 1 - 9. Suppose -5*h + 230 = 3*u, 2*h - w*u + 186 = 6*h. Is h prime?
False
Is (-4)/(2 + (-588)/291) composite?
True
Let h = -12 - 3. Let w = 62 + h. Is w a prime number?
True
Let c(a) = -7*a**3 - 2*a**2 - 2*a. Let u be c(3). Let w = u - -392. Is w a prime number?
True
Suppose 0*p = -5*p - 60. Is p*(-1)/(4/17) a prime number?
False
Let j = -161 + 244. Is j a prime number?
True
Let h be 0 + 1 - 13*-1. Is 4/h + 12971/49 a prime number?
False
Let s = 473 + -220. Is s a prime number?
False
Is (-4 - -10)/(6/9) a composite number?
True
Let y be 12/9 - 2/6. Let t = 11 - y. Is t a composite number?
True
Suppose p - 2*g - 1067 = -0*p, 0 = -5*p - 3*g + 5374. Is p a composite number?
True
Let r(k) = 23*k. Suppose 4*x - 50 = -x. Let d be (3 - x/2)*-1. Is r(d) a composite number?
True
Suppose 10*c - 8947 = 17763. Is c prime?
True
Let s(r) = 6 - 3 + r + 1 - 6. Is s(8) prime?
False
Suppose 2*o - 95 - 71 = 0. Let n be (3 - (3 + -2))/1. Suppose -n*t = 13 - o. Is t prime?
False
Is (-116)/2*(-10)/4 prime?
False
Suppose z + 4 = -3*p + 11, 3*p + 4*z = -8. Suppose -2*h = -12 - 0. Suppose p*a - h*a = -422. Is a composite?
False
Suppose -4*z - 44 = 716. Let r = 117 - z. Is r prime?
True
Suppose 5*d = 9 - 4, -4*d = 2*g - 130. Let q be -2*(-2)/(-5)*-5. Suppose 6*n = 2*n + q, 0 = 2*i - 3*n - g. Is i composite?
True
Suppose 4*p - 10 - 10 = 0. Suppose 2*n = n + p. Let q(x) = 2*x**2 - 3*x - 2. Is q(n) composite?
True
Is (-86)/(-6) - 16/(-24) a composite number?
True
Let j = 13 - 10. Is j - (-7)/(-1) - -539 composite?
True
Suppose -3*f - 36 + 687 = 0. Is f a prime number?
False
Suppose -5*b - r = -6302, -6299 = -5*b - 2*r - 0*r. Is b prime?
False
Is 2*(-1)/6*(-6689 + 8) a prime number?
False
Let f(d) = -d + 7. Let w be f(7). Let m = 3 + w. Is m composite?
False
Suppose 2*g + 0*g - 2 = 0, 0 = -i - 4*g + 659. Suppose i = 2*v - 3. Is v a composite number?
True
Suppose k - 1014 = -4*j, 0 = -2*j - 2*j + k + 1010. Is j composite?
True
Let a be (12/(-15))/((-2)/5). Let k(n) = 6*n**2 - n + 1. Is k(a) composite?
False
Let p be 9/4 + 4/(-16). Let z = p + -1. Let w(y) = 79*y. Is w(z) composite?
False
Suppose -3*h + 6*h - 2*f - 31 = 0, 2*h - 38 = -3*f. Let j = 21 + h. Is j a composite number?
True
Let o = -11 + 29. Suppose -87 - o = -5*a. Is a composite?
True
Let f(s) = 3*s**2 + 1. Let x be f(1). Is 8/x + 15 + -2 a prime number?
False
Let u(i) be the second derivative of -3/2*i**3 + 0 - 3/2*i**2 + i + 1/6*i**4. Is u(8) prime?
True
Suppose 4*l = -4*b + 60, 2*l = 5*b - 2*b - 20. Let c(t) = -t**3 + 9*t**2 + 13*t + 9. Is c(b) a composite number?
True
Let n be (-3)/(3*(-3)/6). Suppose -n = 3*v - 4*v. Suppose -v*z + 255 = 3*z. Is z composite?
True
Let q be 5/15*(-6 + 0). Is 1/4*q*-262 composite?
False
Suppose 0 = 5*f - 76 - 74. Is (-7 - -2)*(-2286)/f composite?
True
Suppose -t + 60 = 2*s, -3*t + 2*s + 207 - 27 = 0. Suppose 0 = 2*a - 56 - t. Is a prime?
False
Suppose -7 = l - 2*l. Suppose -16*v = -11*v. Let p = l - v. Is p prime?
True
Suppose -z + 0*z = -2. Let u be z/(-6) + (-112)/(-21). Suppose -103 = -4*t - d, -u*t + 6*d = d - 135. Is t a prime number?
False
Let t(c) = -c**3 + 2*c**2 + 4*c - 3. Let a be t(2). Suppose -a*q = -q. Suppose z + 4*z - 35 = q. Is z a composite number?
False
Is 120 + 9/(27/6) a composite number?
True
Suppose -3*q - 3*u = -25 - 11, 5*u + 76 = 3*q. Suppose -25 = -2*d + f + q, d - 3*f - 21 = 0. Is d prime?
False
Let c(d) = -3*d**3 - 7*d**2 - 5*d - 4. Is c(-5) composite?
True
Suppose -3*y = -2*y - 2*u - 2, -4*y + 2*u = -14. Let i = 30 - -1. Suppose y*a - 117 = i. Is a composite?
False
Suppose 5*o - 3*o + 2*j = -98, 2*o + j = -93. Let m = o + 87. Suppose 2*s = -3*h + m, 0 = 4*s - 3*h - 2*h - 31. Is s a prime number?
False
Let s = -244 + 362. Is s a prime number?
False
Suppose -3*q + q = 5*m - 14, -m - 5*q = 11. Suppose -6*v + v = -5*g + 195, -45 = -g + m*v. Is g composite?
False
Suppose 4*i + 241 + 107 = 4*u, -4*i + 62 = u. Is u a composite number?
True
Suppose -1269 = -3*u + 1500. Is u a composite number?
True
Let k(l) = 81*l + 1. Let x be (0 - 2/4)*-2. Let q be k(x). Let s = -47 + q. Is s a prime number?
False
Let b be (-2)/(-6) + 76/6. Let q = b + -19. Is q/(-9) + (-230)/(-6) a composite number?
True
Suppose -5*j - 73 = -13. Let a = 43 + j. Is a a prime number?
True
Suppose 7*x = 4*x + 78. Is x a prime number?
False
Let v(n) = n**3 - 5*n**2 - 5*n - 4. Let k be v(6). Suppose 5*i - 99 = -k*u, -u = -4*i - 3*u + 80. Is i a prime number?
True
Suppose 9*b - 7831 = 1556. Is b prime?
False
Suppose 3*c = 0, -4*c = -v + 6*v + 30. Is (-45)/v*(-8)/(-6) a prime number?
False
Let u(n) be the second derivative of -n**4/24 + 155*n**3/6 - n**2/2 + 2*n. Let x(m) be the first derivative of u(m). Is x(0) a composite number?
True
Let a(z) = z**2 + z. Let t(w) = 3*w**2 - 8*w + 3. Let q(c) = 2*a(c) + t(c). Is q(4) prime?
True
Let j(r) = -r**3 - 1. Let u(y) = 4*y**3 - 2*y**2 + 4*y + 12. Let q(h) = 5*j(h) + u(h). Is q(-6) a prime number?
True
Let t(q) be the second derivative of q**5/20 + q**3/6 + 215*q**2/2 + q. Let w = 0 - 0. Is t(w) prime?
False
Let a be (-4)/(-3) + 7/(-21). Is a - ((-468)/(-3))/(-2) a prime number?
True
Let a = -406 + 1573. Is a a prime number?
False
Let i(w) = -w**3 - 8*w**2 - 9*w + 9. Let j be i(-7). Suppose -j + 80 = a. Is a composite?
True
Suppose 55 = -4*p + 5*d + 6547, 0 = 3*p - 3*d - 4866. Is p a composite number?
True
Suppose -5*v + 3*v + 1402 = 0. Is v prime?
True
Let q be 4/(-10) + (-2)/(-5). Suppose q = -3*x - 4*i - 6 + 3, 0 = -5*x + i + 18. Suppose -w + x*w - 18 = 0. Is w a prime number?
False
Let p = -7 + 13. Let a(o) = o - 6. Let l be a(p). Suppose l*u - 56 = -4*u. Is u composite?
True
Suppose -5*i + 4*k = -83, -k - k = i - 11. Let j be 6/i + (-54)/10. Is ((-2)/4)/(j/340) prime?
False
Suppose 2*x = -4*c + 3 + 17, -3*c = -4*x - 4. Suppose 4*g - 1064 = a, 3*g - 1052 = -g - x*a. Suppose 4*k = -81 + g. Is k a composite number?
True
Let b be -3 + -2*3/6. Suppose r - 22 = 4*d + 4, -3*r - 2*d + 92 = 0. Let v = b + r. Is v composite?
True
Suppose -14 = -5*c + 6. Let i(l) = l**2 + 1. Let v be i(2). Suppose -904 = -c*s - 3*t, -v*s - t = -5*t - 1099. Is s a prime number?
True
Is (2 + -5 + 40)*5 prime?
False
Suppose 5*a + 357 = z, 3*a - 7*a - 684 = -2*z. Let v = z - 235. Is v a prime number?
True
Suppose -d + 5*p + 628 = 2*d, -d - p = -212. Is d a composite number?
False
Suppose -5*o = -k - 3, 2*o - 4 + 2 = 0. Suppose t + 3 = k*t. Suppose t*b = 14 + 4. Is b prime?
False
Suppose -5*s + 3*d + 1663 = 0, -s - 2*d + 1013 = 2*s. Is s a prime number?
False
Let i = -518 + 849. Is i/(3 - 2 - 0) a prime number?
True
Suppose -890 = 4*z - 9*z. Let w be 2 + (-6)/2 + -95. Let y = w + z. Is y composite?
True
Let j(y) = y**3 + 2*y**2 + 2*y. Let q be j(-2). Let v be ((-2)/3)/(q/498). Suppose -v = -2*m + 3*g, 2*g + 12 = -2*g. Is m prime?
True
Let r(v) = 270*v**2 - 5*v + 6. Is r(4) a prime number?
False
Suppose 3*z - 3266 = -5*r, 3*z = -3*r + 2352 + 912. Is z a composite number?
False
Let n = -4 - -5. Let l = 1 + n. Suppose 412 = l*q + 2*f, 0 = 5*q + 2*f - 193 - 852. Is q prime?
True
Suppose p - 60 = -4*p. Suppose -3*r + 54 = p. Is 1 - r/(-4)*6 a composite number?
True
Suppose 0 = 4*a - 7*a + 6459. Is a composite?
False
Let x be 3*(-1)/((-6)/(-166)). Let c be -32*-1*(-4 + -1). Let o = x - c. Is o a composite number?
True
Suppose 3*m + 2*m - 5*x = 11380, -3*x = 3*m - 6858. Is m composite?
False
Let d be (241/1)/(1/1). Suppose 5*z - 1391 = -d. Suppose 5*w - 25 = 5*j -