lse
Is 3 - (-121 + -3 + 0) a prime number?
True
Suppose 7*l - 8 = 3*l. Suppose -3*t + 15 = l*t. Suppose -12 - 6 = -t*g. Is g prime?
False
Let k(w) = -52*w + 7. Is k(-13) composite?
False
Let w be 4/(-18) + (-228)/(-54). Suppose 0 = 5*f - w*f + 2. Let s(z) = -26*z + 1. Is s(f) prime?
True
Suppose 0 = 2*n - 3*n - 205. Let i = n - -359. Suppose 3*q - u = i, 0 = -q - 3*u + 19 + 29. Is q composite?
True
Let w(b) = b**3 - 6*b**2 + 6*b + 7. Let j(u) = 2*u - 16. Let d be j(11). Is w(d) a composite number?
False
Let a = 124 - -381. Is a a prime number?
False
Suppose -9 = -f - 3. Let g(n) = n**3 - 4*n**2 - 4*n + 3. Is g(f) a composite number?
True
Suppose 342 = 2*h - 12. Let x = h + -100. Is x composite?
True
Let j be ((-46)/3)/(2/3). Suppose 0 = 4*g - g + 6, 3*z + g = 289. Let o = z + j. Is o prime?
False
Let c(p) = -23*p - 4. Let f be 1/(-2)*(-9 - -15). Let q = f - 0. Is c(q) composite?
True
Let b = -3 + 6. Suppose -2*k = 6, -i + b*k + 284 = -6*i. Is i/(-4) - (-1)/4 a prime number?
False
Let g be (14/(-1))/(-2 + 0). Let b(n) = n**3 - 4*n**2 - n - 1. Let v be b(5). Suppose g = c - v. Is c prime?
False
Let c(h) be the first derivative of h**6/120 + 7*h**5/60 - h**4/8 - h**3/6 + h**2 + 2. Let m(f) be the second derivative of c(f). Is m(-6) prime?
True
Let y be -2 - (-1)/3*0. Let h(b) = -15*b**3 - b**2 - 4*b - 3. Is h(y) composite?
True
Suppose -9*k = -5*k - 2540. Is k prime?
False
Is (1/(-4))/(13/(-15964)) a composite number?
False
Suppose -2*h + 7 = 4*w - 9, 12 = 3*h + 2*w. Is 1/(h - (-362)/(-182)) prime?
False
Let c = 6 + -6. Suppose c = 3*a - 73 - 272. Is a a composite number?
True
Let g = 79 - 32. Suppose g - 315 = -5*n - 3*z, 5*n = z + 264. Is n a composite number?
False
Let m = -391 + 690. Suppose -274 = -3*f + m. Is f a composite number?
False
Let a be 1*-6*1/(-3). Suppose 2*t + 419 = 5*n, a*n + t - 168 = 2*t. Is n composite?
False
Let l(r) = 2*r - 5. Let n be l(4). Let i(k) = -7*k + 3*k - 10*k - n. Is i(-4) prime?
True
Suppose 6*s = s + 1455. Suppose s - 2611 = 2*r. Is 3/9 - r/12 a composite number?
False
Suppose -2*z = 4*q - 190, -3*z + 4*q + 295 + 0 = 0. Is z prime?
True
Let q = 54 - -109. Is q a composite number?
False
Let j(g) = -g + 10. Let x be j(10). Suppose x = -5*p + p + 356. Is p a composite number?
False
Suppose 5*p = 3*p + 4. Let y be 3/p*30/9. Suppose -2*z = -35 + y. Is z a composite number?
True
Let l be (1 + 2)/3 - -237. Let d = l - 83. Is d a prime number?
False
Let y = -130 - -219. Let b = -142 + y. Let t = 91 + b. Is t composite?
True
Is 59*-1*(-2 + -3 + 4) composite?
False
Suppose -2 = -l - 0*l. Suppose -p = -l*p + 267. Is p composite?
True
Let f(y) = -y + 4. Let d be f(6). Let l be (0 + d - -7) + -1. Suppose -65 - 291 = -l*b. Is b prime?
True
Suppose -2 + 0 = i. Is 37 - (-1)/i*0 a composite number?
False
Let g(h) = -411*h - 7. Is g(-4) a prime number?
True
Let w = 121 - 66. Is w prime?
False
Let b(o) = -3*o - 1. Let d be b(-2). Suppose d*m + 1333 = 4*q, 0*q = q - 5*m - 352. Is 2/10 + q/15 a composite number?
True
Suppose -c = 4*c - 555. Is c a prime number?
False
Suppose -4*y = 5*f, 0*y + 4*y = 4*f - 36. Suppose f*j = 13 - 1. Is 10/15 - (-115)/j composite?
True
Let b(o) be the first derivative of 3*o**2 - 9*o + 2. Let z be b(7). Let q = 18 + z. Is q a prime number?
False
Let i = -176 - -282. Suppose -i = -5*m - 11. Let z = 29 - m. Is z a prime number?
False
Let f = 89 - 47. Suppose -f = -4*s + 2. Is s prime?
True
Is (1 + 1*-453)/(-2) a prime number?
False
Suppose -2*q = -7*q + 65. Let o = q + -47. Let b = o - -83. Is b a prime number?
False
Let z(i) = 10*i - 1. Let a(d) = 19*d - 2. Let o(j) = -6*a(j) + 13*z(j). Is o(3) prime?
True
Let q = 2113 + 408. Is q composite?
False
Suppose -3*r = -5*k + 2, -3*r - 4 = -5*k - 2*r. Suppose 8*z - 220 = 4*z. Is k + 2 + -3 + z a composite number?
True
Let x be (-6 + -3)/3 - -7. Suppose 5*j + 1 = x*i, -3*i + 5*j + 4 = -3. Is (-231)/i + (-9)/6 a composite number?
False
Let p(z) = 3*z**2 - 9*z + 5. Is p(6) prime?
True
Suppose -9*w = -8*w - 149. Is w prime?
True
Let q = -6 - -4. Let y be q/3*87/(-2). Suppose 3*m = 266 - y. Is m prime?
True
Suppose 0*c - c + 21 = 0. Let v = -14 + c. Suppose -v = 2*q - 29. Is q a composite number?
False
Suppose q - 6 = -5*j - 22, 0 = -4*j - q - 12. Let u(k) = -k**3 - 5*k**2 - 4*k - 4. Let n be u(j). Is (3 - 39/n)*4 a prime number?
False
Let i = -2 + 23. Suppose -g - 2*g = -i. Is g composite?
False
Suppose 5*c - n + 585 = 0, 3*c - 3*n = -2*c - 585. Let t = 282 + c. Let w = t - 112. Is w a prime number?
True
Let g(p) = 66*p**2 - 9*p - 5. Is g(-4) prime?
True
Let p = -38 - -53. Suppose -152 = -j + 4*y + y, 3*y = -p. Is j composite?
False
Is -39*(-39)/9 + (1 - 1) a prime number?
False
Let v(u) = -9*u + 4. Let w be (24/16)/((-1)/6). Is v(w) a prime number?
False
Suppose 0 = -0*o - o + 470. Suppose -3*q + o - 48 = 2*p, 0 = 5*p - q - 1089. Is p a composite number?
True
Suppose 2*r + 285 = 6*n - n, -n + 40 = 3*r. Suppose 3*o - 176 = n. Is o a composite number?
True
Suppose 5*z = -2*i - 5, 5*i + 2*z = -z + 16. Suppose 210 = -3*n + i*n. Let k = n - 56. Is k prime?
False
Suppose 5*w - a - 131 + 11 = 0, 0 = w - 3*a - 10. Suppose 2*p = 13 + w. Is p composite?
False
Suppose 22 = 2*v + 4. Suppose -v*l + 15 = -4*l. Suppose -l*a = 2*z - 74, 4*z + 3*a - 203 = -z. Is z a composite number?
False
Let t(c) = c**3 + 4*c**2 + 2. Let g be t(-4). Suppose 115 = 3*h - g*a, 5*a = 5*h - 19 - 176. Is h a prime number?
True
Let s(i) = 3 - 2 + 8*i + 13*i + 6*i. Is s(6) a composite number?
False
Suppose -3*u = 5*q + 2 + 17, -5*q = -5*u - 5. Is 1/(((-2)/77)/q) composite?
True
Suppose 2*m = m + 119. Is m composite?
True
Let t(x) = -60*x + 2. Let b be t(-2). Let w be 1 + b*1/2. Suppose k = 15 + w. Is k a prime number?
False
Let p(z) = z**2 - 2*z - 19. Is p(-12) prime?
True
Let k(n) = 19*n**2 - 10*n + 2. Let q be k(-9). Let t = -1158 + q. Is t a prime number?
False
Suppose 4*s + 3*o = 1669, -409 = -0*s - s + 2*o. Is s a composite number?
True
Let k(f) = f + 1. Suppose -3 = 4*n - 19, -4*s - 5*n + 16 = 0. Let g be k(s). Suppose g = -0*b + 2*b - 106. Is b composite?
False
Suppose -196 = 2*a - 6*a. Let s be a/7 + -3*1. Suppose -s*y - 528 = -1564. Is y prime?
False
Let b(h) be the first derivative of h**6/180 - 7*h**5/120 + h**4/4 + 2*h**3/3 - 2. Let w(z) be the third derivative of b(z). Is w(7) prime?
False
Let k be 2/10 - (-6)/(-5). Let d be 2 - k/(-1) - 79. Let w = -43 - d. Is w prime?
False
Let k(b) be the second derivative of 91*b**4/12 - b**3/6 + b. Let t be k(1). Suppose 2*n = t + 16. Is n prime?
True
Let i be ((-36)/(-30))/(2/20). Suppose t + t = -i. Let m(f) = -f**3 - 3*f**2 + 5. Is m(t) a composite number?
False
Let c(k) = -30*k**3 + 3*k**2 - 1. Let h(w) = 2*w + 3. Let y be h(4). Let n = y + -13. Is c(n) prime?
True
Let f(o) = 19*o**3 + 2*o + 1. Is f(2) a composite number?
False
Let i(n) = 24*n + 7. Is i(5) prime?
True
Suppose -g = -142 - 97. Let v = g - 170. Is v a prime number?
False
Let s(b) = b**3 - 4*b**2 + 4*b. Let f be s(3). Suppose -f*w = -3, 3*p = 3*w + 559 - 91. Is p composite?
False
Let q(d) = -3*d + 4. Let o be q(-7). Let z be ((-12)/14)/((-4)/(-56)). Let v = o + z. Is v a composite number?
False
Let c = 4 - -3. Suppose c = -5*y - 3. Is y*(38/(-4) - 1) a composite number?
True
Suppose 1 = -0*t + 2*t + u, -3*t + 4*u + 29 = 0. Suppose g - 84 = t*c - 11, 2*g - 4*c - 142 = 0. Is g prime?
True
Let c = 1 - 3. Is (1 + 0 - c) + 52 prime?
False
Suppose 0 = -4*l - 0*l + 16. Let t be 0 - 2/l*0. Suppose 4*y - 3*h - 62 = t, -5 + 3 = h. Is y prime?
False
Let w(o) = -o - 1. Let i(h) = -3*h + 5. Let l(m) = i(m) + 3*w(m). Is l(-2) a composite number?
True
Let k = 54 - -40. Let g(p) = p**3 + p**2 - 6*p - 5. Let z be g(-4). Let y = z + k. Is y a prime number?
False
Let a = -138 + 287. Is a prime?
True
Let m(j) = -j**3 - 11*j**2 - 5*j + 4. Is m(-11) composite?
False
Suppose 564 = 3*w - 3*y, -2*w + 4*y + 380 = -0*w. Let a = -107 + w. Is a a prime number?
True
Let g be 1/3 + (-172)/(-6). Let x = g + -20. Is x + (-4)/6*3 a composite number?
False
Let a = 1314 + -731. Is a prime?
False
Let u = 994 - 3188. Is (-16)/(-56) + u/(-14) a composite number?
False
Suppose 5*l = 2*l. Let g(d) = -d. Let f be g(l). Suppose f = 2*u - 14 - 28. Is u prime?
False
Suppose 5*m = 3290 + 1155. Is m prime?
False
Suppose 2*v 