lse
Let f(x) = -x**2 - 6*x + 3. Let k be f(-6). Suppose -k*y = -2*b - 0*b + 308, 0 = -2*y + 4. Is b a prime number?
True
Let s(y) = 5*y**2 - 5 + 2 - 6*y**2 - 13*y + 0. Is s(-8) prime?
True
Suppose -3*w = 4*p - 15 + 3, -w + 5*p = 15. Suppose w = s + 4*s - 935. Is s composite?
True
Let n(p) = p**3 - 9*p**2 - 4*p + 6. Let u be n(9). Is (14/6)/((-2)/u) composite?
True
Let j be 26/(-65) + 84/10. Suppose -20 = -3*a + 4*f, 2*f = -3*a + 4*f + 10. Suppose -u = a, -u = 4*q - 6*u - j. Is q a composite number?
False
Let t = 300 - -1339. Is t a prime number?
False
Suppose m - 3*m - 226 = 0. Is (-1 + 0)/(1/m) prime?
True
Let y be (-2)/(-9) - 40/18. Let q be -6 - (4 + (-4 - y)). Is q/36 - (-166)/18 a prime number?
False
Let n(g) = 2 - 2 + g**2 - 2*g**2 - 3 + 17*g. Is n(7) a composite number?
False
Let v = -19 + 19. Suppose 0*x - 5*x + 385 = v. Is x a composite number?
True
Is (-1476)/(-7) + 6/42 a composite number?
False
Let l(w) be the first derivative of -w**5/60 + w**4/4 + 3*w**3/2 + w**2/2 + 1. Let c(v) be the second derivative of l(v). Is c(7) composite?
False
Suppose -14 = -3*f + 7. Let l(y) = -7*y**3 + 4*y - 8. Let x(q) = 13*q**3 - q**2 - 9*q + 15. Let p(d) = -11*l(d) - 6*x(d). Is p(f) a prime number?
True
Suppose -5*p = 5*r - 860, 344 = -2*r + 4*r - 3*p. Let m = r - 110. Is m prime?
False
Suppose 15 = 3*m - 3*g, -2*m + 3*m = -4*g - 5. Suppose u + 38 = 5*b - 2*u, m*b + 4*u - 17 = 0. Is (-2 - (0 - 1)) + b a composite number?
True
Let v(j) = -3 - 8*j**3 - j**2 - 9*j + 5*j**2 + 9*j**3 + 2*j**2. Let a be v(-6). Suppose 0 = s + 2 - a. Is s a prime number?
False
Let q be (-2)/(3*3/18). Let i be 3/(3*1/q). Is (-2)/(i/230) - 0 composite?
True
Suppose -2*a = -a - 3. Suppose -4 = a*x - 400. Let s = x + -65. Is s a prime number?
True
Suppose 5*v - 372 = 2*v. Suppose 4*z - 644 = -5*r + z, r - z - v = 0. Is r prime?
True
Let g(h) be the third derivative of -h**5/60 + 5*h**4/12 - h**3 + h**2. Is g(8) prime?
False
Suppose 3*l + 2*l = 20. Suppose 4*t + 5*d = -33, -d + 15 = l*d. Is t*(-2)/(8/5) a prime number?
False
Let b be (-808)/(-4)*(-1)/(-1). Let m = b - 15. Is m composite?
True
Let c(p) = p**3 + 7*p**2 - 9*p + 6. Let s be c(-8). Let b = s + -8. Suppose -b*a = -a - 95. Is a a composite number?
False
Let m = 7 - 4. Let d = 18 + m. Is d composite?
True
Suppose 0 = -y + 2*y - 4*t - 726, -2*y - 2*t = -1402. Is y prime?
False
Let o(u) = u**3 + 3. Let g be o(0). Suppose 0*v - 153 = -g*v. Is v a prime number?
False
Let a be 4/8 - 5/(-2). Suppose -5*c = p - 1 - 19, -5*p = 5*c. Suppose 0 = o - c*o - 8, -169 = -5*m - a*o. Is m a prime number?
False
Let m = 1 + 3. Let z = m - 0. Let s = 7 + z. Is s composite?
False
Let i(n) = -667*n + 2. Is i(-1) prime?
False
Suppose 3*j + 5*v - 23 = 0, v + 13 = 4*j - 33. Is ((-28)/(-2))/(2/j) prime?
False
Suppose 0 = -3*z - 181 + 496. Suppose 3*t + 20 = -40. Let n = z + t. Is n composite?
True
Let d = -2 + 22. Let y = -12 + d. Is y/(-24) - (-160)/3 prime?
True
Suppose -2*u + 2462 = 860. Let m = u - 538. Is m composite?
False
Let r = 7 + -7. Let v be (-1 + r)*19 + -2. Is ((-246)/(-9))/((-2)/v) prime?
False
Let l be (3/(-4))/(1/(-4)). Is l/12 - (-225)/12 a composite number?
False
Let v = 0 + 5. Suppose 0 = -v*f - o + 166, -4*f - 2*o + 95 = -33. Is f a prime number?
False
Let j be (6 + -4)*2*2. Suppose 4*s + j*i = 4*i + 212, -5*s + 249 = -3*i. Is s composite?
True
Let d(v) be the first derivative of 3*v**2/2 - 5*v + 2. Is d(4) prime?
True
Suppose 1195 = 5*h - 1170. Is h a composite number?
True
Is (1*-628)/(-4)*1 a prime number?
True
Let q(k) = 17*k**2 + 3*k - 9. Is q(5) a prime number?
True
Let j(p) = 1210*p - 12. Is j(1) a composite number?
True
Let z = 3579 - 2428. Is z composite?
False
Let u(d) = -d**3 - d**2 - 3 + 4 + 2 - 4*d - 2. Let a be u(-5). Suppose 0*s + s - a = 0. Is s composite?
True
Let n(b) = 4*b**2 - 3*b + 1. Let i be n(3). Suppose f = i + 9. Is f a composite number?
False
Let q(h) = -3*h**3 + h + 2*h**3 - 8 + 12*h**2 - 2*h - 11*h. Is q(9) a composite number?
False
Let r(u) = -111*u**3 - u**2 + 5*u. Suppose b - 3*b = 4. Let m(o) = -22*o**3 + o. Let a(k) = b*r(k) + 11*m(k). Is a(-1) a composite number?
True
Let s = -5 - -10. Suppose 0 = s*q - 4*q. Let h = q - -21. Is h a prime number?
False
Suppose -2*v - z + 3*z = -130, 4*v + 4*z - 276 = 0. Is v composite?
False
Let m be (4 - 2 - 2)/1. Suppose m = 3*n - 187 - 89. Suppose 3*r - 49 = n. Is r prime?
True
Let i = 4 + -2. Suppose 0 = -b + h + 32, -b - i*h = 3*h - 20. Let r = b - -133. Is r prime?
True
Suppose -108 = -2*x - 6. Is x composite?
True
Is -2 - 1*(-4 + -245) a prime number?
False
Let o(z) = 32*z**2 + 2*z - 2. Let g be o(4). Let w = -361 + g. Suppose 2*k - w = -t - 2*t, 103 = 2*t + 3*k. Is t a composite number?
False
Suppose 0 = f - 5 + 1. Suppose -z + 4*o = 8, -2*z - 56 = 3*z - f*o. Let n = z + 49. Is n prime?
True
Let i = 4 - 1. Is 25*2*2 + i prime?
True
Suppose -4*z = -2*o - 36, 2*o + 0*o = 3*z - 27. Suppose 4*p + 51 = c, -4*p = 5*c - z*p - 180. Is c composite?
False
Let x be -2 + (-1)/((-3)/12). Suppose -x*p = 3*p - 195. Let f = -18 + p. Is f a prime number?
False
Let a = 7 - 13. Let y be ((-3)/a)/(1/4). Suppose y*z + 97 = u - z, 190 = 2*u - 4*z. Is u composite?
True
Let s = 1 + 0. Is ((-1)/s - 177)/(-2) prime?
True
Let s be ((-7)/(-21))/((-2)/(-18)). Let r(o) = 7*o**3 + 3*o**2 - 3*o + 4. Is r(s) composite?
False
Let h(y) = y**3 - 3*y**2 - 5*y - 2. Let n be h(5). Let z = n - 17. Is z prime?
False
Let v = -28 - -28. Suppose -5*n + 1789 + 306 = v. Is n composite?
False
Let p = -43 - -61. Suppose -u = -4*u - p. Let v(t) = t**3 + 11*t**2 + 4*t + 7. Is v(u) a prime number?
True
Let j = -72 - -125. Let f = j - -36. Is f prime?
True
Suppose t = 5*y + 2*t - 23, -4*t + 12 = 0. Suppose g = -0*g - 5*d - 21, 5*d - 9 = y*g. Let x = 0 - g. Is x composite?
True
Suppose b + 2*n = 265, 2*b + 62 = n + 572. Is b prime?
True
Suppose -3*m - 66 = -387. Is (-1)/(-2)*(-1 + m) a prime number?
True
Suppose 5*l + 3 + 7 = 0, 3*f + 3*l = -51. Is 14003/165 + (-2)/f a composite number?
True
Suppose -5*v = -4*u + 65, 4 = -3*u - 4*v + 45. Suppose 6*x - x = -u. Let t = 46 + x. Is t composite?
False
Let r be (3/6)/(3/6). Suppose 0 = g - r + 11. Is (-2)/5 - 114/g prime?
True
Let r be (-4)/(2 - (-13)/(-7)). Let w = -9 - r. Is w a composite number?
False
Suppose -5*v = 4*l + 6 + 10, -5*l - 20 = 2*v. Let k be 3/2*(2 + v). Suppose -g - 359 = -k*i, 0 = -i - 0*g - 3*g + 133. Is i a composite number?
True
Suppose -22 + 0 = -2*z - 3*r, -2*r + 8 = 0. Suppose -3*s = -5*a + a + 1009, s = -z*a + 1247. Suppose -5*i + d = -a, -3*i = -2*d + 48 - 191. Is i prime?
False
Suppose v + d = 87, 3*d + 2*d = 3*v - 229. Is v composite?
False
Let x(b) be the third derivative of -29*b**6/120 + b**5/60 + b**4/8 + b**3/2 - 3*b**2. Is x(-2) a prime number?
True
Let s = 50 - 3096. Is s/(-18) - (-2)/(-9) a prime number?
False
Let o be (-5 - -6)*(12 + 0). Let h be ((-2)/4)/(1/16). Let q = o + h. Is q a prime number?
False
Suppose 33 + 18 = -3*u + 5*v, -2*v = 5*u + 54. Let y = 6 + u. Is y/27 - 137/(-9) a composite number?
True
Let p(r) = -16*r - 1. Let c(w) = w**2 + 10*w + 8. Let v(m) = -2*m**2 - 1. Let t be v(2). Let z be c(t). Is p(z) prime?
False
Let j = 67 + -37. Suppose -4*t - 5*d = -268, 201 = 4*t - t - d. Let b = t - j. Is b prime?
True
Is (-4)/(-8) - (-8084)/8 composite?
True
Suppose -13811 = 43*b - 50*b. Is b prime?
True
Suppose 2*k + 2*c = -2*c + 2782, 0 = 5*c + 15. Is k composite?
True
Let r be (-6)/(-21) - 19/(-7). Suppose r*l - 262 = -103. Is l a composite number?
False
Let t(o) = 2*o**2 - 29*o - 23. Is t(22) composite?
False
Suppose 2 = -i - 3. Let r(g) = g - 3. Let j be r(i). Let z = j - -12. Is z composite?
True
Let i(c) = -4*c**3 + 9*c**2 + 5*c + 5. Is i(-7) a prime number?
True
Suppose 35 = 2*h - 3*w - 22, 0 = -3*h + 5*w + 84. Is h a prime number?
False
Suppose -4*b + 6 = -7*b, 4*b = 2*z - 528. Suppose -x - 802 = -5*w, -3*x + z = 3*w - 232. Is w a composite number?
True
Let k(r) = -r**3 + 14*r**2 - 13*r. Let h be k(13). Suppose h = -i - i + 62. Is i a composite number?
False
Let p be 15/3 - (2 - 1). Is (20/(-6))/(p/(-678)) a prime number?
False
Let s(x) = -71*x - 22. Is s(-3) prime?
True
Suppose 0 = h - 3*h + 346. Let g = 324 - h. Suppose 0 = -5*d - 26 + g. Is d a prime number?
False
Suppose 4*b - 4*a = 796 + 608, 