lse
Suppose 0 = -4*k + 8*k - 1284. Is k a prime number?
False
Suppose 20*i = 22*i - 4474. Is i a composite number?
False
Let k(d) = 2*d**2 - 11*d - 18. Let u be k(15). Let b = 140 + u. Is b a composite number?
True
Let r(u) = u**3 - 8*u**2 - 5. Let m be r(8). Let n(p) = -10*p + 3. Is n(m) prime?
True
Suppose 0 = -3*h - j + 7, -2*j - 2*j + 12 = 4*h. Is h/(-8) - 1945/(-20) a composite number?
False
Let h(s) be the third derivative of -3*s**4/8 + s**3/6 - s**2. Suppose 4*x = -2 - 6. Is h(x) prime?
True
Suppose 4*c + c = 445. Is c a prime number?
True
Let f(h) = -1. Let z(v) = -33*v - 8. Let y(d) = 5*f(d) - z(d). Let n be y(-8). Let o = -134 - n. Is o prime?
True
Let h = 1349 - 472. Is h prime?
True
Let r = 5 + -2. Suppose -n - 2 = -5*w, -7*w - 6 = -2*w + r*n. Is (-1 - w) + 2 + 36 a prime number?
True
Let m(y) = 1 + 0*y**2 - 4*y + y**2 + y**2 - y**3. Let z be m(3). Is 5/z - (-154)/8 prime?
True
Suppose -743 - 217 = -5*t. Suppose -5*w = -w - t. Let a = w + -11. Is a a composite number?
False
Suppose 2639 = g + 2*g - 2*j, 0 = -2*g + 3*j + 1766. Is g prime?
True
Suppose -10*h = -9*h - 97. Is h a prime number?
True
Suppose -1339 = 3*s - 3970. Is s a prime number?
True
Let u(d) = -8*d**3 + 5*d**2 + 1. Is u(-4) a composite number?
False
Suppose -g - 2*r = 8 - 38, 0 = -4*g - r + 106. Let d = g - 14. Is 94*-2*(-3)/d composite?
False
Suppose u = -3*j - j - 45, -3*u + 33 = -2*j. Let a = -9 - j. Is a prime?
True
Suppose 0*m + t + 197 = m, 4*m - 798 = -t. Is m prime?
True
Let d(b) = -b**3 - 2*b**2 + b + 2. Let g be d(-2). Suppose 103 = -g*y + y. Is y prime?
True
Let d = 12 - 6. Let k be 3/((-15)/d + 1). Is ((-38)/(-5))/(k/(-5)) a prime number?
True
Let z = 11 + -8. Suppose 1489 = 4*f - g, -z*f - g + 1108 = -0*f. Is f a composite number?
True
Suppose 0 = -4*n - 16. Is (-4 - 6)*26/n a composite number?
True
Suppose w + 4*z - 537 = 0, -2*z - 2037 = -4*w + 93. Is w composite?
True
Suppose 0 = -5*f - 4*u, -5*f + 2*u = u. Suppose 3*v - 7*v - 32 = f. Let d = v + 11. Is d prime?
True
Let r be 6*(2 - (-9)/(-6)). Suppose -5*j = -a - 312, -2*j + 5*a = r*a - 128. Is j a prime number?
False
Let y(n) = 3*n - 1. Let z be y(1). Let t(j) = 12*j**3 - 3*j + 1. Is t(z) a composite number?
True
Let d = 1 + -4. Let v = d + 40. Is v a prime number?
True
Suppose -4*k = -0*n - 3*n + 69, 2*k = 3*n - 69. Is n prime?
True
Let p = 139 + 19. Is p prime?
False
Let u(y) = -y - 6. Suppose 5*p + 48 = p - 4*m, 2*p + 5*m = -36. Is u(p) a composite number?
False
Is 4*((-1497)/15)/(2/(-5)) prime?
False
Let r be (-3370)/(-4) + 2/4. Is 2/(-9) + r/27 prime?
True
Let s(v) = -v - 7. Let i be s(-7). Suppose i*z = 4*z - 1204. Is z a composite number?
True
Suppose 0 = 2*s + 3*k - 19, -s - 4*s + 50 = 5*k. Let i = 30 - s. Is i a composite number?
False
Let i(y) = -y**3 + 5*y**2 - 4*y + 2. Let s = -1 - -3. Let o be (-4)/(-3)*3/s. Is i(o) a prime number?
False
Let j = -6973 + 12052. Is j a prime number?
False
Suppose -2*p + 0*m + 7 = 5*m, 19 = -p + 2*m. Let o = p + 12. Suppose -2*x = o*x - 575. Is x prime?
False
Suppose -7*g = -2*g + 5. Let u(k) = 30*k**2 + 1. Is u(g) composite?
False
Let a = -1 + 5. Suppose 168 = 5*y - 3*t + 6*t, -4*y + 128 = -a*t. Is y prime?
False
Suppose -8*h = -3*h - 1055. Is h composite?
False
Let y(g) = -2*g + 11 + 15*g - 2 + 64*g. Is y(10) prime?
False
Let t = -22 + 38. Is (t/(-24))/(2/(-57)) a composite number?
False
Let r(a) = -2*a - 9. Let j be r(-7). Suppose -j*q + 319 = -3*d, 0 = -q - 4*d - d + 47. Suppose -3*n = -n - q. Is n prime?
True
Let f(h) = h - 3. Let a be f(6). Let r be (2 + 386/6)*a. Let l = r + -114. Is l a prime number?
False
Suppose 3 = -p - 6. Is -1 + p/((-27)/420) prime?
True
Let c = 4 + -7. Let v be 0 - (15 + 0)/c. Suppose -f + 18 = -v*q + 74, 5*q - 54 = -f. Is q composite?
False
Let y(i) = i. Let w be y(2). Suppose 215 = w*o - 187. Is o a composite number?
True
Suppose -4*m + 1145 = 273. Is m + 6 + -3 + 0 prime?
False
Let a = 15 - 7. Suppose 4*g - a = -4*y, -3*g + 2*g + 5*y + 8 = 0. Is g prime?
True
Let c(b) = b**2 + 6*b + 9. Let a(r) = -7*r**3 + r**2 + r - 1. Let x be a(1). Is c(x) composite?
True
Let r(d) = 249*d**2 + 3*d - 1. Is r(1) composite?
False
Suppose -5*g - 3*m = -63, -13 + 46 = 3*g + 3*m. Is g prime?
False
Let q be (-143)/2 + 1/2. Let k = q - -306. Is k composite?
True
Let v(a) = -5*a - 1. Let h be v(-1). Suppose 0*g + 3*w = -3*g, h*g = 3*w + 28. Is 1/4 - (-91)/g composite?
False
Let q be (-2)/((9/(-57))/3). Suppose v = -v + q. Is v a composite number?
False
Suppose -2*z - 1308 = -6*z. Is z prime?
False
Let p = 15 + -11. Let v(n) = 30*n - 3 + 8 + 9*n. Is v(p) a composite number?
True
Let y be 2*614*3/4. Suppose 3*s + 2*j - y = j, -2*s = 4*j - 614. Is s prime?
True
Suppose -n - 5*n + 21426 = 0. Is n a composite number?
False
Let w(j) be the first derivative of -j**2/2 + 4*j + 1. Let s be w(4). Suppose s = -4*k - c + 361, -c = -3*k + 276. Is k a composite number?
True
Is 1*-3 - (-360 - 8) a prime number?
False
Suppose -l = -4*l + 696. Suppose -3*d + 2*o - 3*o + l = 0, -5*o + 390 = 5*d. Is d composite?
True
Let l = 2201 - 287. Is (-4)/6*l/(-4) a composite number?
True
Let a = -8 - -8. Suppose a*l = -4*l. Suppose l*r = 4*r - 76. Is r a prime number?
True
Is ((-23)/(-3))/(5/45) a composite number?
True
Suppose -3*h + 1011 - 3607 = -z, h + 2606 = z. Is z prime?
False
Suppose 8*t + 42 = 2*p + 3*t, 4*t = -8. Suppose -5*k + k = -p. Let o = k + 2. Is o composite?
True
Suppose 0 = -7*p + 15*p - 17720. Is p composite?
True
Let r(v) = 12*v**2 + 4*v + 3. Is r(-4) composite?
False
Let i be 5/(-35) - 34/7. Let f(k) = k**3 + 6*k**2 + 4*k - 2. Is f(i) a prime number?
True
Suppose c + 15 = -2*c - 3*f, 3*c - 10 = 2*f. Suppose c = -0*h + 2*h + 4*j + 4, 3*h = j - 13. Let x = h + 11. Is x a composite number?
False
Let n(a) = 0 + 2 + a - 3. Let m be n(1). Let t(s) = -s**3 + 47. Is t(m) prime?
True
Let s = -22 + 6. Let g = s - -51. Is g a prime number?
False
Suppose 9334 = 4*o - 1198. Is o a composite number?
False
Suppose 0 = -6*q + 2*q + 1580. Is q a composite number?
True
Suppose 6 = -0*z + 3*z. Let w(r) = 3*r - 2. Let o be w(z). Suppose 0 = -o*f + 207 + 413. Is f prime?
False
Let n(q) = -2*q + q - 1 + 2*q. Let f be n(5). Suppose f*l = 3*l + 19. Is l a prime number?
True
Let i be ((-8)/(-20))/(2/70). Suppose -3*p + 2*p + i = 0. Is p prime?
False
Suppose 4*z = s + 923, 694 = 3*z - 2*s + 3*s. Suppose -z = k - 4*k. Is k composite?
True
Suppose -4*q + 226 = -2*q. Is q prime?
True
Let q(b) = 3*b**2 + 8*b - 7. Suppose s = -4*a - 47, -4*s = -5*a - 0*a - 64. Let t = 4 + a. Is q(t) a prime number?
False
Suppose -u = 3*u - 8. Suppose u*k = 5*k + 5*d - 73, 0 = 5*d + 5. Is k a composite number?
True
Is (-3)/(6*(-4)/8656) a composite number?
True
Let b be 9454/18 + (-4)/18. Suppose 0 = q - 6*q + b. Suppose 0*p = -3*p + q. Is p a prime number?
False
Let y(x) be the first derivative of -x**4/4 + 11*x**3/3 - 5*x**2 + 11*x + 1. Is y(10) a composite number?
False
Let t = 40 + -302. Let s = t + 396. Is s prime?
False
Let p(t) = t**3 - 7*t**2 + 8*t + 11. Is p(7) composite?
False
Let x = 1476 - 485. Is x composite?
False
Suppose -9*t + 7*t + 4358 = 0. Is t a composite number?
False
Suppose -o - 3*s + 790 = -0*o, -2*o + 1579 = 5*s. Is o a prime number?
True
Suppose 3*g - 7 - 2 = 0. Suppose 3*j = -2*y + 9, -j - y = -g + 1. Suppose -4*p - j*w + 134 = -p, 4*w = 2*p - 126. Is p a prime number?
True
Suppose -4 = -2*q + 6. Suppose q*v + 31 = 146. Suppose -2*c - 5 + v = 5*l, 0 = -2*l - 8. Is c a prime number?
True
Suppose -3*f = -2*f - 5. Suppose 2*q + 3 = 13. Suppose q*b - 3*s - 261 = 2*b, -4*s - 431 = -f*b. Is b composite?
False
Let x be 1 - (-6)/(-3) - -1. Suppose 0*b - 2*b + 10 = x. Suppose 0 = l + 3*q + 2*q - 25, 5*q + 65 = b*l. Is l composite?
True
Suppose -4*q - 6 = 5*y, 4*y - q = 8*y - 4. Let h be (y/3)/((-2)/(-6)). Suppose 7*i - h*i = 485. Is i a composite number?
False
Suppose -5*i = -i - 4*q - 88, -5*i + 106 = -3*q. Let y = -32 - i. Let g = -33 - y. Is g a composite number?
False
Let u(j) = 31*j. Let r be u(-1). Let b = r - -44. Is b a composite number?
False
Is (-11)/2*28/(-7) a composite number?
True
Suppose 4*y - i - 329 = -y, 0 = 5*y - 4*i - 341. Is y composite?
True
Let u(v) = v**3 - 9*v**2 - 7*v + 10. Let j be u(10). Let d = 49 + j. Is d a composite number?
False
Let x = -133 - 