se
Suppose -3*o + 320 = o. Suppose 315 = c - o. Is c prime?
False
Let j(a) = -a**3 + 11*a**2 - 10*a + 3. Let p = 12 + -4. Is j(p) prime?
False
Suppose 2*n - 3*v - 541 = 0, 10*n = 5*n - 4*v + 1410. Is n prime?
False
Suppose 2*q - 8 + 2 = 0. Let d be q*(-2)/((-2)/1). Suppose a = c + 6*a - 51, 0 = -4*c + d*a + 112. Is c composite?
False
Suppose -3*w - 3 + 12 = 0. Suppose 0 = 4*k, -2*i + w*k + 123 - 29 = 0. Is i prime?
True
Is 2974/14 - 124/(-217) prime?
False
Suppose 0 = -5*y + 25, 3*g - y = -3*y + 34. Suppose -o = -3*o + g. Is (-104)/2*(-5)/o a prime number?
False
Let g(y) = 39*y**2 - 2*y - 4. Is g(-3) prime?
True
Is (-1)/(4/4) - -588 composite?
False
Suppose w + m + 10 = 3*w, -5 = -w + 3*m. Suppose 3*l + 4*i = 9, i - w*i + 10 = 2*l. Let r = l + 15. Is r a prime number?
False
Let u(l) = l**2 - 11*l + 5. Let m be u(11). Suppose m*i - 452 = i. Is i composite?
False
Let a(o) = o**3 - 6*o**2 - o - 1. Let l be a(6). Let w be 0 - 1 - -915 - 0. Is w/14 + 2/l prime?
False
Let l(s) be the second derivative of s**5/20 - s**4/3 - 7*s**3/6 + 5*s**2/2 + 3*s. Is l(6) a composite number?
True
Suppose 22 = -4*c - 0*c - q, 0 = -2*q - 4. Let u be 6/(-10) - 13/c. Suppose u*t + t - 117 = 0. Is t composite?
True
Suppose -171 + 59 = -u. Let y be 415/(-7) - 4/(-14). Let i = u + y. Is i a prime number?
True
Let t(o) = -o**3 + 7*o**2 + o - 7. Let m be -2 + (6/3)/2. Let d be 12*((-3)/6)/m. Is t(d) a prime number?
False
Let g(n) = -11*n - 13. Is g(-10) a prime number?
True
Let n(g) = g**2 + 23*g + 1. Is n(10) prime?
True
Suppose -4*p + 5*p - 4*i = 18, 0 = p + i + 2. Let l be (130/8)/(p/8). Let v = l - 34. Is v composite?
False
Suppose -119 = -s + 2*a, 2*s = -3*a - 0*a + 266. Is s composite?
False
Let z(g) = -g**2 + 8*g + 16. Is z(9) prime?
True
Suppose -16*b + 20241 = -7*b. Is b composite?
True
Let l = 3 - 3. Suppose l*a = a - 11. Is a prime?
True
Let i(r) = 3*r - 3. Suppose 0 = -w + 2 + 2. Let q be i(w). Is 714/q + 1/(-3) a prime number?
True
Suppose -2*w - 4*q + 42 = 0, 0 = -w + 3*q + 1 + 35. Suppose -2*u - 3*n = -41, n = 2*u - 10 - w. Is u a composite number?
False
Suppose -90 = -0*x - 3*x. Suppose -5*r + 30 = t, 2*t - 3*r + 7*r = x. Suppose 4*v - 3*i = 8 + 1, -t*v + 5*i = -10. Is v prime?
True
Let v = 18 + -14. Let b = 9 - 3. Let z = b - v. Is z composite?
False
Suppose 140 = 2*t - 378. Is t composite?
True
Suppose -j - 5*s = -3*s - 173, 0 = -3*j - 3*s + 528. Is j composite?
False
Is ((-25004)/(-16) - 1) + (-6)/8 composite?
True
Let u(c) = c**3 - 10*c**2 + 10. Let v be u(10). Suppose -v*y + 13*y = 291. Is y prime?
True
Suppose -2*f = -0*f - c - 7, -24 = -4*f + 4*c. Suppose 3 = -3*a + 4*q, 5*a = 6*a + 2*q - 9. Suppose -a*i - f + 46 = -3*x, 0 = -2*i + 4*x + 22. Is i prime?
True
Is ((-4)/(-6))/(22/8811) composite?
True
Let p = -1 + 5. Suppose -p*i + 8 = -0. Suppose 7*s = i*s + 265. Is s a composite number?
False
Let x = -682 + 1263. Is x a composite number?
True
Let y(w) be the second derivative of -w**4/8 - w**3/3 - w**2/2 - 2*w. Let q(p) be the first derivative of y(p). Is q(-7) a composite number?
False
Let d(b) = b**3 - b**2 + 4. Let m be d(0). Let a(o) = 11*o + 5. Is a(m) a composite number?
True
Let l(c) = -c - 7. Let k be l(-7). Suppose 4*m + m - 565 = k. Is m prime?
True
Is 894/4 - 1/2 a prime number?
True
Let v(y) = 16*y**3 + 5*y**2 - y - 7. Is v(3) composite?
False
Is 3 + (1 - -1845) + 4 prime?
False
Let x be 2 + -1 - (4 - 8). Suppose -4*p = 3 + x. Is 414/4 - (-1)/p a composite number?
False
Let m = -11 - -16. Suppose m*v - 3*v = 0. Suppose 0 = -5*z - v*z + 175. Is z a prime number?
False
Suppose 5*c = -0*c + 1250. Let n = 43 + c. Is n a prime number?
True
Let z = 2463 - 1342. Let s = 1606 - z. Is s a prime number?
False
Suppose -2*p = -4*p + 6. Suppose -p*z = -4*z. Suppose 5*i + 104 = 4*c, 3*i = -z*i. Is c a prime number?
False
Suppose 7*l - 8*l + 185 = 0. Is l a prime number?
False
Let c(q) = q**3 - 8*q**2 + q - 8. Let t be (-2)/(-1 + 9/12). Let d be c(t). Suppose d*m = -4*m + 132. Is m composite?
True
Let o(v) = -v**2 + 17*v + 15. Is o(8) prime?
False
Is 163/3 - 4/(-6) a prime number?
False
Let h = -256 - -1209. Is h a composite number?
False
Suppose 4*s - 21 = -5. Suppose 0 = -c - s*c - 10. Is ((-8)/(-4))/(c/(-34)) a composite number?
True
Let x(k) = 5*k**2 + 10*k + 16. Is x(-11) prime?
False
Let z be (-20)/(-6)*(-12)/(-8). Suppose 8 = -z*b + 2*c, -4*b + 7 = 2*c - 1. Suppose b*h + 4*h = 16. Is h a composite number?
True
Let c(q) = -q + 12. Let r be c(7). Suppose -49 = -r*n - 2*v + 64, 0 = 3*n - 4*v - 73. Is n composite?
False
Let u(f) = -f**3 + f**2 - f - 1. Let d be u(-1). Let w be 2*(-5 + d)/3. Is ((-28)/8)/(w/20) a composite number?
True
Is -1*86/4*-10 prime?
False
Let j = -23 - -405. Is j prime?
False
Let r = -126 - -197. Is r a composite number?
False
Let r(d) = d**2 + 9*d + 5. Let f be r(-4). Suppose 71 = 2*w + 5*z, 0 = -5*w - 4*z + 185 + 1. Let h = w - f. Is h a prime number?
True
Let a(k) = -2*k - 2. Let y be a(-2). Let v be (-36)/(-15) - y/5. Is v*((-19)/(-2) - 0) a composite number?
False
Let m = 1592 - -141. Is m prime?
True
Is 1 + -1 + 1 + 306 prime?
True
Let n = 2 + 2. Suppose 0 = -4*g + 2*t - 3*t + 143, -n*g + 4*t + 168 = 0. Suppose y - g = 18. Is y composite?
True
Suppose 10*l - 9*l - 113 = 0. Is l composite?
False
Is (-1117)/(-5) + 8/(-20) composite?
False
Suppose o + 447 = 4*o. Is o a prime number?
True
Suppose -4*x = -0*u - 4*u - 9264, -4*u = -4. Is x a prime number?
False
Let k = 311 + 786. Is k a prime number?
True
Let y(b) = -b - 1. Let s be y(-7). Suppose 2*r - 3*r = -s. Is r a prime number?
False
Let b(c) = -c**2 - 15*c + 11. Let n(v) = -v. Let x(r) = b(r) - 4*n(r). Let t be x(12). Let k = t - -708. Is k a composite number?
False
Let t = -3 - -5. Suppose 240 = 4*y - t*f, 5*f + 240 = 6*y - 2*y. Suppose 4*r = -0*r + y. Is r a composite number?
True
Suppose 3*u - 16 + 4 = 0. Let j be 1/(6/u + -1). Suppose q + 187 = j*q. Is q composite?
True
Let t be (48/(-2))/(3/(-45)). Suppose 4*x + 4*a - t = 0, 4*x - 459 = -x + 4*a. Is x prime?
False
Suppose 5*v = -z + 23, -3 = -2*v - v + 3*z. Suppose 5*m = n + 1051, v*n = 4*m + 3*n - 840. Is m a composite number?
False
Suppose -2*d + 63 = -99. Suppose -4*r + d = 25. Suppose -v = 4*o - r - 55, -3*v = o - 163. Is v prime?
True
Suppose 4*q - 5*v - 1031 = 0, -2*q + 3*v = -7*q + 1261. Is q a prime number?
False
Suppose -4*l + 343 = 3*k, -l = -k - k - 72. Is l composite?
True
Suppose -2*y - 3*o = 2*o - 29, 14 = -3*y + 4*o. Suppose 39 = y*z - z. Is z a composite number?
True
Let i be 726/10 + 4/10. Let s = i - -4. Is s prime?
False
Let i be (1 + 0)*(3 + -1). Suppose -i*p = -5*n - 6*p - 12, -p = -n + 3. Suppose 4*d - 35 = -a, 5*a - 5*d - 175 = -n*d. Is a prime?
False
Suppose m - 4*o = -17, 5*m + 10 = -0*m + 5*o. Is m composite?
False
Suppose 14*b - 5047 = 10171. Is b composite?
False
Suppose 1208 = k + k. Let d = -113 + k. Suppose -3*l - d = -5*r + r, r = -l + 114. Is r composite?
True
Let g(y) = -y**3 + 11*y**2 - 2*y - 13. Let s be 7/1 - 1/1. Let v(c) = c + 4. Let m be v(s). Is g(m) prime?
True
Suppose 4*v - 3 = 5. Suppose -237 = -v*n - n. Is n composite?
False
Let b(t) be the first derivative of 15*t**2/2 + 4*t - 1. Suppose -5*c + 2*y = -25, 3*c - 3*y = -6 + 30. Is b(c) a prime number?
False
Let l be (-12)/(-9) + (-1)/3. Let f be l/5 + 14/5. Is (-536)/(-10) + f/(-5) a composite number?
False
Let m(v) be the second derivative of 13*v**5/20 - v**4/12 - v**3/2 + v**2/2 + 4*v. Is m(2) a prime number?
False
Let o(z) = -z**3 - 5*z**2 - 3*z + 2. Let s be o(-4). Let d be (-6)/(-4) + s/(-4). Is 22/(1 - -1) - d prime?
False
Let c(p) = 23*p**2 + 7*p + 23. Is c(7) a prime number?
False
Let o(y) = -13*y - 5. Let w be o(-2). Let p = w + 2. Is p composite?
False
Suppose 5*n - 423 = 2*n. Suppose b = 4*b - n. Is b composite?
False
Suppose u - 5*v = 22, -4*u + 3*v + 4 = 4*v. Suppose -u*w + 3*a = -2*a + 11, 2*a = -2*w + 10. Suppose 2*p - 272 = -4*l, -2*l - w*p + 4*p = -130. Is l composite?
False
Let j(o) = o + 5. Let i be j(7). Let h = i + 7. Is h a composite number?
False
Let i(p) = 319*p + 3. Let a be i(-2). Is -1*4*a/20 prime?
True
Suppose 6*o + 669 = 9*o. Is o composite?
False
Let j = -400 + 1497. Is j a prime number?
True
Suppose 0 = -q - 3*z - 35, 4*q + 4*z + 188 - 32 = 0. Let a = q + 74. Is a composite?
True
Suppo