lse
Suppose 6*c - 1338 = -0*c. Is c a prime number?
True
Is 4668/16*(-3 + 11) + 1 a composite number?
True
Suppose -3 = 5*m + 3*j - 4*j, 2*j = -2*m + 6. Suppose -2*p - p + 1245 = m. Is p a prime number?
False
Let k = -199 - -348. Is k prime?
True
Suppose 3*w - 2*w - 1 = 0. Suppose 0 = -5*j + w + 9, a = -5*j + 47. Is a prime?
True
Let s(a) = 187*a + 52. Is s(6) a composite number?
True
Suppose 3*k + 2 = -4. Is 6*4 + -1 - k a composite number?
True
Let b(k) = -18*k + 35. Is b(-12) prime?
True
Let x(u) be the third derivative of -89*u**6/20 + u**5/30 - u**3/6 - u**2. Is x(-1) a composite number?
True
Let t be (-2)/7 - (-61)/(-7). Let b(i) = 4*i**2 - i**2 - 2*i**2 - 2*i**2 - 12*i + 12. Is b(t) a composite number?
True
Let r be ((-152)/(-5))/(1/5). Suppose 5*z - 1960 + 555 = 0. Let j = z - r. Is j a composite number?
True
Let m be (0 + 9/6)*-2. Let h = 1 - m. Suppose w + 0*u + 5*u - 42 = 0, -h*w + 108 = 5*u. Is w composite?
True
Is (-8 + 9)*(-138)/(-2) a composite number?
True
Let t = -129 + 352. Is t a composite number?
False
Is 15/(-20) + (-1007)/(-4) prime?
True
Let p = 2857 + -620. Is p composite?
False
Let r(s) be the first derivative of -2*s**2 - 3*s - 2. Let k(b) = b**3 + 8*b**2 + 2*b + 9. Let y be k(-8). Is r(y) a prime number?
False
Let h = -476 + 895. Is h prime?
True
Let t be (-66)/(-1)*220/30. Suppose 3*v = -v + t. Is v a composite number?
True
Let n(u) = -2*u**3 - 3*u**2 + 3*u + 1. Let s be n(-3). Suppose 2*j + 4*b - 24 = 0, -4*j + 35 = 5*b - 1. Let y = s + j. Is y composite?
False
Let r be 1*(3 + 6/(-2)). Let i(v) be the first derivative of v**2/2 + 7*v + 1. Is i(r) composite?
False
Let y = -845 + 1356. Is y a prime number?
False
Let r(j) = 2 + 1 - 2 + j + 33*j**2. Is r(-1) composite?
True
Let a(z) = -7*z**2 + 1. Let l be a(1). Let g(q) = -q**3 - 2*q**2 - 7*q + 5. Is g(l) a prime number?
True
Let z be (-1)/(-3)*(112 + -13). Let f = z - 23. Is f a composite number?
True
Let n(u) = u**3 - 4*u + 3. Let z be n(2). Suppose -3*t - z*i + 10 = i, -t + 16 = -5*i. Is t/(-30) + 266/5 composite?
False
Let y = 474 - 60. Suppose -y = -4*z + 614. Is z prime?
True
Suppose 0 = -p - 59 + 674. Suppose j - 796 = -j. Let l = p - j. Is l composite?
True
Let i(p) = -10*p**3 + 2*p**2 + p - 2. Let n be i(-2). Suppose -2*z + 370 - n = 0. Is z composite?
True
Let a = 37 - 25. Is (26/(-3))/(a/(-126)) composite?
True
Let h(b) = -486*b + 1. Is h(-1) a prime number?
True
Let l = 178 - -747. Suppose 6*t - l = t. Let f = t - 106. Is f a composite number?
False
Let u(a) = -99*a + 28. Is u(-7) a prime number?
False
Suppose 5*x = -h + 1466 + 1742, 4*x - 15935 = -5*h. Is h a composite number?
True
Let u(t) = 8*t - 6. Let z be (-3)/(-6)*0 - 9. Let k be 16/(-6)*z/6. Is u(k) a prime number?
False
Suppose -5*x + x = 8. Is 831/6 + (-1)/x prime?
True
Suppose 0 = f + 2 - 10. Suppose 0 = -3*u - f*r + 3*r + 172, -2*r + 59 = u. Is u a prime number?
False
Suppose 5*s + 103 + 47 = 0. Let g = s + 185. Is g composite?
True
Let i(c) = c**2 + 2*c + 3. Let x(u) = u**2 + u + 3. Let z(j) = 3*i(j) - 2*x(j). Let k be z(-4). Suppose k*w - 6*h - 164 = -h, 4*w + h = 211. Is w prime?
True
Suppose -4*o + 5*n = -7, o = 2*o - 4*n - 10. Let k be (1*-2)/o + 2. Suppose -42 = -k*b - 4*c, -2*b + 8*c + 28 = 3*c. Is b composite?
True
Let d(q) = -151*q**3 - 2*q**2 + q + 2. Let a be d(-1). Let y = a + -81. Is y a composite number?
True
Let u(i) = i**3 + 4*i**2 - 3*i - 3. Is u(-4) prime?
False
Let f be (-6)/(-21) - (-178)/14. Let o(q) = -q**2 + 14*q - 6. Is o(f) a composite number?
False
Let g(s) = 5 - s**2 + 15*s + 2 - 2. Suppose -3*z + 61 = 5*k, -k - z = -5*z - 3. Is g(k) a prime number?
False
Let l(m) = 11*m**3 - 4*m**2 + 2*m - 10. Is l(7) a prime number?
True
Suppose y - 4*d = -0*y + 5, -4*d - 4 = 0. Suppose -z - y = -45. Suppose -5*t + z = -t. Is t composite?
False
Suppose q - 77 = -3*x + 46, 0 = -5*x + 4*q + 205. Suppose -268 - x = -3*f. Is f a composite number?
False
Suppose u = 58 + 33. Is u composite?
True
Suppose -8 = -4*u, 2*w + u - 19 = 11. Is (-3)/(6/w*-1) a composite number?
False
Let n(g) = 2*g**3 - 13*g**2 + 3*g - 5. Let y = -1 - -10. Is n(y) prime?
False
Suppose n = w - 510, 0 = -2*w - n - 0*n + 1005. Is w a composite number?
True
Let p = 563 - 246. Suppose 6*s - p = 649. Is s a prime number?
False
Let k(u) = u**2 - 4. Let c be k(3). Suppose -c*h = -83 - 32. Is h a composite number?
False
Is (-2720 - 2)/(8 - 10) a prime number?
True
Let o be (-5175)/30*4/(-2). Suppose 0 = -4*g - g + o. Is g a composite number?
True
Let u(a) = a**2 - a + 877. Is u(0) a prime number?
True
Let h(x) = -x**2 + 2*x - 1. Let d be h(3). Let c(u) = 35*u + 7. Let p(g) = 104*g + 20. Let f(z) = 17*c(z) - 6*p(z). Is f(d) composite?
True
Suppose 0 = b - 3*j - j + 8, -16 = -4*j. Suppose -b + 38 = 3*w. Is w a prime number?
False
Suppose u = -3*n + 181, 6*u - 2*u = 5*n + 639. Suppose -2*v = 4*g - u, 2*g + 3*g = 3*v - 227. Is v a prime number?
True
Is 3/(-2 - 327/(-159)) a prime number?
True
Let s = -51 - -35. Is 2930/18 + s/(-72) composite?
False
Let k(c) = -c**3 - 4*c**2 - 3*c. Suppose -12 = 3*d - n, 5 = -d - 5*n + 17. Let g be k(d). Suppose m + 14 = q, 2*q + g*m - m - 23 = 0. Is q a composite number?
True
Let l be 2/(-6) - 7/(-3). Suppose l*t + 3*t = -55. Is (3 - 5*t) + 0 a composite number?
True
Let o(t) = -t - 4. Let b be o(-7). Suppose 20 = 5*g, g = n + b*g - 209. Is n prime?
False
Is -4*((-1503)/12 - -3) a prime number?
False
Suppose k = -3*q - 6, -q = -3*k + q + 26. Suppose k*b - 8*b + 38 = 0. Is b composite?
False
Suppose -3*f + 2928 = 5*k, 2*f - 4*k - 3872 = -2*f. Is f composite?
False
Let g be 1 + (88 - 1) - -1. Suppose 0*o - 2*o + 2*u + 34 = 0, 5*o - g = 3*u. Is o composite?
False
Suppose 2*v - 4*v = -6, -3 = -3*f - v. Suppose 5*l = -f*l + 65. Is 3 + 2/(-1) + l a composite number?
True
Let r(w) be the first derivative of 8*w**3/3 + 3*w**2 - 7*w + 3. Is r(-5) prime?
True
Let k = -1 - -3. Suppose -h - 4 = 0, -l - l - h - k = 0. Is (l - 0)*(-28)/(-4) composite?
False
Let l = -1388 - -3061. Is l composite?
True
Let k(v) = -2*v**3 - 6*v**2 - 2*v + 13. Is k(-7) composite?
False
Let m = 0 + 6. Let w be (-492)/(-9)*9/m. Suppose -2*c + 180 = 2*t, 5*t + c = 528 - w. Is t a prime number?
True
Let p = -1254 - -891. Let s = 637 + p. Is s a prime number?
False
Let i(p) = -p**2 - 7*p + 9. Let s be i(-8). Suppose -y = -0*y - 1. Is (s + 0)/(y/19) a composite number?
False
Let r = 0 + 1. Let f(a) = 3*a + 1. Let q be f(r). Suppose 3*c - 5*c = -q. Is c composite?
False
Let y = -6 + 6. Suppose -4*f - 79 + 335 = y. Let n = f + -42. Is n a prime number?
False
Let q(c) = -88*c - 25. Is q(-21) composite?
False
Let g(j) = -j**2 - 25*j - 17. Is g(-18) prime?
True
Let i be 3 - 2/(2/(-315)). Let v = 473 - i. Is v composite?
True
Is 1696/(-48)*6/(-4) a prime number?
True
Suppose 17484 = 2*l + 2*u - 3*u, -5*l = 4*u - 43697. Is l prime?
True
Let o(x) be the second derivative of -7*x**5/20 + x**4/6 - x**3/6 + x**2 + 2*x. Let b be o(2). Let k = b + 95. Is k prime?
True
Let x(s) = s**2 - 3*s - 5. Suppose 0 = -3*d + 7 - 25. Is x(d) prime?
False
Suppose 17*s - 11155 = 12*s. Is s a composite number?
True
Let h(d) be the first derivative of -5/2*d**2 + d + 1. Is h(-2) a prime number?
True
Let p be -4*9/(-24)*-2. Let u(d) = -89*d + 2. Is u(p) a prime number?
True
Let j = -4261 - -8094. Is j composite?
False
Suppose 0 = -5*y - 12 + 2. Let k be 1 + -3 - (-3 - y). Let w(l) = -34*l**3 - 2*l - 1. Is w(k) a composite number?
True
Let b(d) be the third derivative of d**5/15 + d**4/6 - d**3/6 + 5*d**2. Is b(-4) a prime number?
True
Suppose 0*i - 2*i + 116 = 0. Is i a prime number?
False
Let b(l) = -22*l - 6. Let s be b(-7). Let y = -93 + s. Is y prime?
False
Let i(o) = o**3 - 5*o**2 - 5*o + 5. Is i(6) a prime number?
True
Let k(d) = 32*d - 7. Suppose -22 = -2*n + 2*b, 0 = -5*n - 3*b + 9 + 6. Is k(n) prime?
False
Is 47*(2 - 5/(-1)) a prime number?
False
Suppose w + 5*t - 8 = 0, -3*w + 0*w + 5*t + 4 = 0. Suppose -2*g - 4 = -w*g. Suppose 0*b = -g*b + 24. Is b prime?
False
Let u(l) = -6*l + 1. Let a(r) = -r**2 + 7. Let f be a(0). Suppose -5*i - 25 = 5*w, -4*i + 19 = -f*i - 4*w. Is u(i) composite?
False
Let i(f) = 6 - 1 + 0 + 10*f + 2. Is i(7) prime?
False
Suppose 0 = -3*p + 1 + 2. Is (p - 2)*(2 + -8) composite?
True
Suppose 0 = 7*q - q - 6366. Is q composite?
