lse
Is (3 + -3)/(-3) - -1691 composite?
True
Let k be 12*-6*(-1)/8. Suppose -2*z = -k + 1. Is z a composite number?
True
Let g(k) = 2*k - 5. Suppose -2*f = -0*f - 8. Let z be g(f). Suppose h + 35 = 5*v + 120, -z*h + 203 = -2*v. Is h composite?
True
Let s(b) = 200*b**2. Let r be s(1). Suppose 0 = 2*h + 2*h + 4*v - r, 0 = h + 3*v - 40. Is h a prime number?
False
Let q(j) = -j**3 - 9*j**2 - 2*j - 13. Is q(-11) prime?
True
Suppose 3*d + 26305 = 5*i, i - 5*d = -d + 5261. Is i a composite number?
False
Suppose 0 = -0*t + 2*t - 10. Let k(h) = h - 1. Let i be k(t). Suppose i*r - 153 = -4*s - s, 110 = 3*r - s. Is r composite?
False
Let q be 28 - (-1 + (2 - -1)). Let j be (q - 2)/((-2)/(-11)). Suppose 5*w - j - 23 = 0. Is w composite?
False
Suppose 0 = -o - 4*v - 166 + 791, o = -3*v + 629. Is o a prime number?
True
Let b(r) = -4*r + 5033. Is b(0) a composite number?
True
Suppose -5*n - 13 = -98. Let k be 2*(n/(-2) - -1). Is (65/(-3))/(5/k) a prime number?
False
Suppose -5*p + 4*m = -959, -5*p = -5*m + 61 - 1021. Is p composite?
False
Let j = 6 + -6. Suppose j = -2*q + 3*q - 11. Is q a composite number?
False
Let w(z) = 2 + 70*z + 36*z + 111*z. Let a be w(2). Is a/12 + (-2)/(-3) composite?
False
Let i(o) = -82*o + 5. Let r(c) = c - 1. Let f be r(-2). Is i(f) a prime number?
True
Let g be (-3)/6 + (-18)/4. Let n(v) = v**3 + 5*v**2 - 3. Let q be n(g). Is (-1 + (-57)/9)*q composite?
True
Suppose -15*q + 20*q - 895 = 0. Is q a prime number?
True
Suppose m + 4*m = 0. Suppose m = 5*h + 224 + 91. Let i = 110 + h. Is i composite?
False
Let n be 6/27 - (-50)/18. Let g = -5 - n. Is (-2)/g + 102/8 a prime number?
True
Let v be 10/(-3) + 4/(-6). Suppose 0 = 4*d + d - 3*s + 41, 0 = -5*d + 4*s - 43. Let x = v - d. Is x a prime number?
True
Suppose x = -2*v + 463, 3*x - 1395 = -0*x - 4*v. Is x composite?
True
Suppose 0 = 5*f + x - 465, -5 - 92 = -f - x. Let l be (-2)/(-4)*-2 + 6. Suppose l*u - f = u. Is u composite?
False
Let p = -49 + 86. Is p composite?
False
Let m(s) = 5381*s**2 - 7*s + 7. Is m(1) a composite number?
False
Suppose 11 = r + 5*p - 2*p, 5*r - p - 7 = 0. Suppose 0 = -r*w - 2 - 6. Is (-12)/7*14/w prime?
False
Suppose 0 = -c + 6*c - 4*s + 22, 2*s - 4 = -c. Is c + 1 - (1 - 151) prime?
True
Is ((-101)/(-2))/((-12)/(-120)) a composite number?
True
Let l(f) = 20*f**2 - 3*f**2 + 4 + 8*f**2. Let p be l(-3). Suppose 57 = 2*i - p. Is i a prime number?
False
Let z be 24 - 1 - (3 + -1). Suppose -3*v = -0*v - z. Suppose k + v = 29. Is k a composite number?
True
Let n = 8 - -9. Let m = 28 - n. Is m a prime number?
True
Let l be 1/2 + (-26)/4. Let k be (5/(-15))/(4/(-24)). Is (-411)/l - k/(-4) a composite number?
True
Let m(j) = -9*j**3 - 2*j**2 + 3*j. Let l be m(2). Suppose 5*r = -0*r - 625. Let s = l - r. Is s prime?
False
Let v = 500 + -289. Is v composite?
False
Is 13614/10 + (4 - 66/15) a composite number?
False
Let u(j) = -j**2 - 2*j + 8. Let o be u(7). Let g be o/2 + (-2)/4. Let p = g - -51. Is p prime?
True
Let p(h) = -h**3 - 3*h**2 + 8*h + 5. Let v = 8 - 13. Is p(v) prime?
False
Let u(i) = -16*i + 2. Let s be u(4). Is (2/(-4))/(1/s) a composite number?
False
Suppose 2*t - 12 = -2*w, 0 = -2*t + 2*w - 7 - 1. Let i(c) = 249*c**2. Let p be i(t). Suppose 4*x - p = -x - v, -5*x + 2*v + 237 = 0. Is x a composite number?
True
Is (-3 + 4)/((-2)/(-406)) prime?
False
Suppose -5*r = -5*p + 20, -5*p - 4*r = 5 + 2. Suppose n - 5*t - 31 = 0, 49 = 4*n - 7*t + 2*t. Is (n/8)/(p/4) prime?
True
Let p(z) be the first derivative of 37*z**3/3 + z**2 - z + 3. Let t be p(1). Suppose t = -u + 3*u. Is u a prime number?
True
Let w = 186 - 129. Suppose -5*j = -4*g - 2 - 148, -2*j = -g - w. Is j prime?
False
Let c(a) = -22*a**2 - a - 6. Let v be c(6). Is v/(-5) - (-1)/5 a composite number?
True
Let u = 47 - 21. Suppose -u = -q + 53. Is q a prime number?
True
Let o = 2395 + -1598. Is o composite?
False
Let k(i) = -i**2 + 6*i - 6. Let p = -5 - -9. Let o be k(p). Suppose a = -o*a + 69. Is a a prime number?
True
Let f be 0/(0/2 - 1). Let o(t) = 5*t**2 - 4*t + 3. Let q be o(3). Suppose f = -7*z + 3*z + q. Is z a prime number?
False
Let c(m) = -956*m. Let x(a) = -1434*a. Let u(b) = 8*c(b) - 5*x(b). Let i be u(-2). Suppose -5*g - 241 = -i. Is g prime?
False
Let q be 33/(((-4)/(-24))/((-2)/(-6))). Let h be (-32)/3 + 2/(-6). Let k = h + q. Is k prime?
False
Let p be (-76)/(-12) - 2/(-3). Let z = p - 5. Is 0 - (-57 + 0 + z) prime?
False
Suppose 4*h - 2*h = -2. Let i = 6 + h. Suppose 0 = -i*s - 2*v + 275, -32 + 7 = -5*v. Is s prime?
True
Suppose -o + 5*k = -2*o - 13, -3*o + 9 = -k. Suppose o*m + 10 = -2*d, -d = -2*d - 5. Suppose -2*q = 4*i - 138, m = q + 3*q - 5*i - 250. Is q a prime number?
False
Let v = 348 + -189. Is v a composite number?
True
Let x(z) = z**2 + 17*z. Let g be x(-7). Let m = g + -164. Let f = m + 367. Is f prime?
False
Let k = 1493 + -812. Is k composite?
True
Suppose -20 = -3*i - i. Suppose q + 3*g = 4*q - 3, 11 = 3*q + i*g. Suppose 0 = q*k + 2, -6 = w + 3*k - 24. Is w a composite number?
True
Let t = 424 - 131. Is t prime?
True
Let k = -57 - -202. Is k prime?
False
Let f = 2 + 0. Suppose -5*m = 3*y - 110, -5*m + 3*y = -f*y - 70. Is m a composite number?
False
Let k(f) = 11 - 4*f**3 + 3*f**3 - 15*f + 10*f**2 + 6*f - 1. Is k(9) prime?
False
Is 2134/2 - (-2 + 0) prime?
True
Let g(n) be the third derivative of 0 + 0*n + 1/6*n**5 + 1/12*n**4 + 2*n**2 - 1/6*n**3. Is g(-2) a composite number?
True
Let x = 190 + -41. Is x composite?
False
Let b = -19 - -4. Let t be -5*(36/b)/3. Suppose -j = t*j - 485. Is j composite?
False
Suppose -y - 142 = -3*y. Let t = y - 28. Is t a composite number?
False
Is 4/(-6)*(-678)/4 prime?
True
Let a = 57 - -4. Let n = a + -26. Is n prime?
False
Suppose -f = -5*a - 0 + 3, -2*f + 2*a = -2. Is (-2101)/(-22)*f*1 composite?
False
Let d(h) = -h**3 - 11*h**2 - 3*h + 2. Let r be d(-11). Suppose -w + 184 = r. Is w a composite number?
False
Suppose 5*u = -4*s + 2539, -3*u + 966 = 2*s - 301. Is s composite?
False
Let x(j) = 34*j - 19. Is x(8) a prime number?
False
Let c(u) = 16*u**3 + 4*u**2 - 7*u - 37. Let l(y) = -4*y**3 - y**2 + 2*y + 9. Let h(j) = 2*c(j) + 9*l(j). Is h(-3) prime?
False
Let m = 8 + -17. Suppose 0 = 5*q - 0*q - 80. Let s = q + m. Is s prime?
True
Let a be (-2 + 4)/(1 - 0). Suppose -o - 352 = 2*b, a*b - o = -359 + 7. Let h = -123 - b. Is h composite?
False
Let q = -3 + 8. Suppose 8*p - q*p - 99 = 0. Is p prime?
False
Let x = -22 - -169. Suppose -4*s + 2*g + 235 = -x, -5*s + 490 = -5*g. Is s prime?
False
Suppose -3*k - 5 = 2*k. Let n be 2/k*(-5)/2. Let c = 16 - n. Is c composite?
False
Suppose -2313 - 179 = -4*o + 4*h, -h = 5*o - 3115. Is o a prime number?
False
Let h(t) = 23*t + 5. Let v be h(6). Let w = v - 60. Is w composite?
False
Suppose 4*r = -r + 335. Suppose 3*z = 4*z - r. Is z prime?
True
Suppose -18 = 5*m + 12. Let x be 3*(-2 + (-88)/m). Let a = x - 17. Is a prime?
False
Suppose 0*h - 10 = -3*b + h, 3*h = 2*b + 5. Suppose w - 3*z - 1 = 0, -3*z + 49 = b*w - w. Is w prime?
False
Suppose 0 = -f - f. Let t = 2 + f. Suppose 5*u - 3*n - 260 = t*n, 2*u - 4*n = 110. Is u prime?
False
Let k be (-16)/(-20)*(-10)/(-4). Suppose 0 = 3*u + k*u - 2825. Is u a prime number?
False
Let i = 121 + -63. Is i a prime number?
False
Suppose 10 = 3*d - 5*m + 3*m, 17 = 4*d + m. Let p be ((8/1)/(-1))/(-2). Suppose 0 = -p*y + 8, d*s - 2*y - 10 = -y. Is s prime?
True
Suppose 0 = -j - n - 0*n - 1, j = n + 3. Let y be -2 + 4 + -1 + j. Suppose y*g + 0*k = 2*k + 92, 4*k = 12. Is g a prime number?
False
Suppose -4*p = p - 25. Is (p - 6) + (-128)/(-1) composite?
False
Let r(q) = -9*q**3 - 2*q**2 - q - 4. Let m(x) = 19*x**3 + 4*x**2 + 3*x + 9. Let t(f) = -3*m(f) - 7*r(f). Is t(2) prime?
True
Suppose -759 = -3*a + 351. Let d = -249 + a. Is d a prime number?
False
Let p be -10*-3*2/15. Suppose p*k - 157 = 55. Is k a composite number?
False
Let d be (-3)/(-6) + (-9)/(-2). Let j = d + -1. Let r(k) = -k**3 + 3*k**2 + 6*k - 2. Is r(j) composite?
True
Let s(f) = 29*f**3 - 2*f**2 - f + 1. Let t be 21/9 - 1/3. Is s(t) a prime number?
True
Suppose -6 = 2*s + 6. Is (2 - -2) + (s - -108) composite?
True
Suppose 3*n = -97 + 19. Suppose 10*a = 113 + 247. Let f = a + n. Is f composite?
True
Let a(v) = -33*v - 4. Suppose 4*c = -p - 23, p + 2 = 3. Is a(c) prime?
False
Suppose -2*p - 3*n =