se
Is (2/8 + 0)/(4/7024) prime?
True
Let k(o) = o**2 - o + 1. Let j be k(-3). Suppose y - j = -w - 6, 0 = 2*w - y + 1. Suppose v - 57 = w*b, 5*v - 2*v + 4*b = 121. Is v composite?
False
Let s(k) = 23*k**3 - k**2 + k. Suppose 4*t - t - 6 = 0. Suppose 5*a - 3 = t. Is s(a) prime?
True
Suppose -180 - 292 = -v. Let g = -239 + v. Is g composite?
False
Suppose 0*a - 4*a = 4. Let d be (7*8)/a + 1. Let r = 102 + d. Is r prime?
True
Is (1502/(-4))/(((-45)/(-50))/(-9)) a prime number?
False
Is 20 + -17 - (-620 + 0) composite?
True
Suppose -429 = -z + 4*z. Let g = 20 - z. Is g prime?
True
Let x be (-99)/(-12) - (-1)/(-4). Suppose -11 - 19 = 5*g. Is (76/g)/(x/(-12)) prime?
True
Let c = -119 - -1288. Is c a prime number?
False
Let g(d) = 8*d**2 + 6*d - 7. Is g(3) a composite number?
False
Let g = 3909 - 2167. Suppose g - 657 = 5*s. Is s composite?
True
Let j = -7 - -6. Is -7*(j + 4/(-2)) a prime number?
False
Suppose 2541 = -6*c + 11367. Is c prime?
True
Suppose 4 = b - 1. Suppose 5*x - b*l - 10 = 0, 3*x - 2*l + 7*l = 30. Suppose 0*r - x*r = -155. Is r composite?
False
Suppose -3*w = -5*w + 1528. Suppose 2*p - w = -2*p. Is p composite?
False
Let j = -6534 + 9427. Is j composite?
True
Suppose d + 5 - 3 = 0. Let x(y) = -9*y - 3. Is x(d) prime?
False
Suppose m = 3*b - 1373 + 364, 5*b - 1681 = 2*m. Is b a prime number?
True
Suppose 2*m = k - 411, m - 89 = -5*k + 2010. Is k prime?
True
Let k(z) = -z - 1. Let p(s) = -23*s - 1. Let j = 13 + -9. Let t(d) = j*k(d) + p(d). Is t(-4) a composite number?
False
Let h(v) = -5*v + 2. Let q(x) = 15*x - 6. Let j(l) = -11*h(l) - 4*q(l). Let o be j(-2). Is 3/(-1)*(-236)/o prime?
True
Let d(q) be the first derivative of 7*q**3/3 + 2*q**2 + 4*q + 3. Let i = -6 - -3. Is d(i) a composite number?
True
Suppose u - 1 = 11. Let w = 101 - u. Is w a prime number?
True
Let y be (-10)/(-3 - 2*-1). Suppose -y = -5*i - 0*i. Is 10/i - (-3 + 1) a prime number?
True
Suppose 5*m + 0*m - z - 169 = 0, -172 = -5*m - 2*z. Let w be 4/(-10) - (-74)/10. Is (-1 + m)*(w - 6) composite?
True
Let g(m) = m + 7. Let n(h) = 7. Let k(l) = 6*g(l) - 7*n(l). Let q be k(9). Suppose -3*j + 16 = -q. Is j composite?
True
Let n = -7 - -13. Is ((-15)/n - -2)*-446 composite?
False
Let w(b) = 123*b - 3. Let u be w(3). Suppose -j = -3*v + u - 81, 3*v - 5*j = 297. Is v prime?
False
Let h = 17 + -24. Let j(i) = -i**3 - 8*i**2 - 8*i - 4. Let m be j(h). Is 113/m - (-6)/(-9) prime?
True
Let z be (1 + -3)/((-1)/2). Suppose z*x - 12 = -0. Is 1/(-3*x/(-207)) prime?
True
Let g = 80 - 27. Is g prime?
True
Let h = 8 + -6. Suppose -4*o = -m + 2, -o - 2 = 2*m - 3*m. Suppose 5*v - 5*x - 101 = -16, h*x - 8 = o. Is v a prime number?
False
Let u(c) = c**3 - 15*c**2 - 9*c - 18. Is u(17) a composite number?
True
Let i(c) = 66*c - 1. Suppose -2*g = -3*g - 6. Let d(o) = -66*o + 1. Let u(z) = g*i(z) - 5*d(z). Is u(-2) a prime number?
False
Let r be ((-3)/3)/1 + 6. Let v be (-2)/(-2)*(r + -1). Suppose 0 = -t, -v*t + 230 = 2*c - 8*t. Is c a composite number?
True
Suppose 0 = -5*y + y + 1004. Is y a prime number?
True
Let r(h) = 27*h - 19. Is r(16) prime?
False
Suppose l = -l - 12. Let x = l - -9. Is (-2)/x - 161/(-3) composite?
False
Let d(t) = -6*t**3 + t**2 + 3*t - 1. Let m be d(2). Let b = 184 + m. Is b composite?
True
Suppose 5*g + 3*c + 3775 = 13086, -3*g + 5583 = 3*c. Suppose -u + 624 = -b, -2*u + g = u + 5*b. Is u a composite number?
True
Is 3 - 3*6650/(-15) a prime number?
False
Let t be (-3)/(-15) + 249/5. Suppose 3*f - t = -2*f. Is f prime?
False
Let o = 116 - -62. Is o a prime number?
False
Let u be 48/30 - (-4)/10. Suppose u*m + 0*m = 182. Is m a composite number?
True
Suppose -i - 2*i + 3 = 0. Let o(z) = -2*z + 2 - 3 + 2 + 15*z**3. Is o(i) a composite number?
True
Let t = 11 + -6. Suppose t*w - 440 = -0*w. Let u = w + -35. Is u prime?
True
Let z(r) be the second derivative of r**4/4 + 5*r**3/6 + 3*r**2/2 + 5*r. Is z(-4) a composite number?
False
Let z = 65 - 2. Let b = z + -38. Is b a prime number?
False
Let z be -1 - 1*(-4 + 3). Suppose 5*u - 70 - 45 = z. Is u a prime number?
True
Let i = -359 - -618. Is i a composite number?
True
Suppose -5*i + 2*x = 4*x + 6, -2*x - 6 = 2*i. Let f(s) = s**3 + 44. Let k be f(i). Let g = -21 + k. Is g a prime number?
True
Let d = 2430 - 1181. Is d a composite number?
False
Let m be 3 + -6 - (-1 + -6). Suppose -3*d + m*d - 257 = 0. Is d prime?
True
Let v(h) = -h**3 - 9*h**2 - 12*h - 9. Suppose 2*c + 17 = c. Let f = c - -9. Is v(f) prime?
True
Is 0 + -5 + 3 - -2055 prime?
True
Suppose -4*w + h = -6 - 19, 2*w + 2*h = 0. Suppose 0*s - s + 474 = w*o, 0 = -4*o + 4*s + 384. Suppose 3*r - 21 = -5*i + o, -4*r + i = -147. Is r a prime number?
True
Let x(q) = 6*q**3 - 5*q**2 - 2*q + 8. Let h(g) = g**3 + 1. Let j(z) = 5*h(z) - x(z). Is j(5) prime?
True
Let f = 10 + -6. Suppose f*r = 2*s - 0*s - 874, -2*r + 1271 = 3*s. Is s a prime number?
False
Suppose 5542 + 4103 = 5*o. Is o composite?
True
Is -1 - (-165 + -1) - 4/1 prime?
False
Let b = 1 - 2. Is 1*-21*b + 2 a prime number?
True
Let o(m) be the second derivative of m**4/12 + 5*m**3/6 + 13*m**2/2 - 3*m. Is o(-9) a composite number?
True
Let z(x) = -104*x**3 - x. Let i be z(-1). Let v = i - -58. Is v a composite number?
False
Let d be -1 - (-9 + 3/1). Suppose -270 = -d*g + 50. Is -3 + g - (0 + 2) composite?
False
Let w = -1 + 1. Suppose w = -g - 2*g - 513. Let x = g - -260. Is x prime?
True
Suppose -2*y = 3*y, 4 = -4*i - y. Let f be i/(-3) - (-344)/3. Suppose -4*n + 3*t = -f, 0 = -2*n + 2*t - 12 + 72. Is n prime?
False
Let k(b) = 2*b**2 + 9. Is k(5) a composite number?
False
Let t(z) = -2*z**3 + 3*z. Let p be t(-3). Let o = -9 - -23. Let x = p - o. Is x prime?
True
Let g(r) = -r - 1. Let z(w) = -w**2 - 5*w - 3. Let o(h) = 12*g(h) - 3*z(h). Let s(m) = -m**3 + 8*m**2 - 7*m - 4. Let v be s(7). Is o(v) prime?
False
Suppose 6693 = 3*k + 2*d, 3*k - 4*d = 6224 + 451. Is k composite?
True
Suppose 4*h + 3*p + 2*p = 60, 2*p = -5*h + 58. Suppose 0 = -8*f + h*f - 412. Is f a prime number?
False
Let w be -4*(5/2)/5. Let s be (1 + (-119)/w)*2. Let o = s - 82. Is o a composite number?
True
Suppose -7*q + 257 + 2417 = 0. Is q prime?
False
Is (3812/8)/(4*(-2)/(-48)) a composite number?
True
Let z(f) = f**2 + f + 5. Let w be z(4). Let r = w + 81. Is r a prime number?
False
Let n be ((-5)/10)/((-1)/(-6)). Let l = n - -7. Suppose -l*a = 0, -2*v = -5*a - 102 - 28. Is v a composite number?
True
Suppose 0*q - q + 23 = 0. Suppose s + 3*c = c + 94, 0 = c + 5. Let x = s + q. Is x prime?
True
Let u(o) = -1 - 4*o - 4*o + 3*o + 6*o + 124*o**2. Let f be u(1). Is f/12 + (-2)/(-3) a composite number?
False
Let d(j) = -j**2 + j + 96. Let q be d(0). Suppose -6*x = -x - 10. Suppose -2 - q = -x*g. Is g a prime number?
False
Suppose f = 140 + 153. Is f composite?
False
Let u(a) = -13*a**2 - 3*a + 5. Suppose -5*r - 25 = -0, -5*r - 29 = q. Let s be u(q). Let c = s - -318. Is c composite?
False
Suppose 0 = 3*p - 5*u - 471, 0 = -4*p + 4*u + 496 + 124. Suppose -5*h + 2*t = -2*t - 145, 0 = -4*h - 4*t + p. Is h composite?
True
Let r(s) = -24*s - 7. Let i(a) = -12*a - 3. Let x(v) = 5*i(v) - 2*r(v). Is x(-3) a composite number?
True
Suppose -4*u + 7 = -13. Suppose -5*p + 3*z = -0*z - 152, 98 = 3*p + u*z. Is p a prime number?
True
Suppose -2*a + 2*c = c + 1509, -a - 750 = c. Is ((-1)/3)/(1/a) a composite number?
False
Suppose -2*p = 7*x - 2*x - 3762, -4*p + 4*x + 7524 = 0. Suppose 2*k = -203 + p. Is k a prime number?
True
Is 20/70 + (-320)/(-7) a composite number?
True
Let y = 8 + -4. Suppose -2*n + y*n - 242 = -4*w, -3*n - 2*w = -347. Is n prime?
True
Let g be 1 + -230*(-1)/2. Let t = g + -3. Is t a prime number?
True
Suppose 3*r = 3177 + 3282. Is r composite?
False
Let y = 2528 + -1377. Is y composite?
False
Suppose x = 200 + 93. Is x prime?
True
Let q(l) = l - 1. Let r be q(6). Suppose 11*z - 6*z = r*m - 655, m + 4*z - 111 = 0. Is m a prime number?
True
Let g be -3*1 + 330 + 1. Suppose -g = -4*q - 0*o - 5*o, -174 = -2*q - 5*o. Is q prime?
False
Suppose -5*q + 4*f + 3927 = 0, -2*q = -3*q + 5*f + 777. Is q composite?
False
Suppose 4*j = 101 + 39. Let m = j - -5. Is (m - 3)*(1 + 0) a composite number?
False
Is 97*-14*4/(-8) prime?
False
Let r(p) = 15*p - 23. Is r(12) a composite number?
False
Let q = 9 - 27. Is 12/q + 550/6 composite?
True
Suppose 0 = 