lse
Let w = -15 - -19. Suppose -442 = -w*d + 322. Is d prime?
True
Suppose -2*u + 436 = -418. Is u a composite number?
True
Let f = 2089 + -109. Suppose 5*h = 5*g - f, -5*g + 2*h + 884 = -1093. Is g a composite number?
True
Let q(n) = -2*n**2 - 3*n. Let a be q(-2). Let h be (-30 - a)*(-2)/4. Suppose 2*x - 8 - h = 0. Is x a composite number?
False
Let a = 272 - 149. Is a composite?
True
Suppose 3*u - 6*u = 0. Suppose 3*p - p = 2*q - 208, u = 4*p - 12. Suppose -2*o + 6*j + q = 5*j, o = -j + 58. Is o a prime number?
False
Let b be ((-550)/(-20))/((-2)/(-20)). Let k = b + 107. Is k a composite number?
True
Suppose 1597 = 2*j + 3*b, 2363 = 3*j - 2*b - 0*b. Is j a composite number?
True
Suppose -z + 864 = 2*z. Suppose 5*i = 487 + z. Is i a prime number?
False
Let s(a) = 103*a - 8. Let x be s(4). Suppose -3 = 3*i - 9, 2*t - x = i. Is t a composite number?
True
Let g = 265 - 131. Is g composite?
True
Let y = 295 + 424. Is y prime?
True
Suppose -17 = -v + 94. Is v composite?
True
Let n(m) be the second derivative of 7*m**5/10 + m**3/6 + m**2/2 + 2*m. Is n(2) composite?
True
Suppose 0 = 11*p - 6*p - 955. Is p a composite number?
False
Let x be 5/(-30) + 38/12. Suppose 4*t + x*u = -115 + 383, -3*t + u = -201. Is t prime?
True
Let b(o) = -103*o - 3. Let q = -11 + 3. Let s = q - -6. Is b(s) a composite number?
True
Suppose -57 = 2*p - 9. Is 236/3 - 8/p composite?
False
Let g(h) = -h**3 - 13*h**2 - 6*h - 27. Is g(-19) composite?
True
Suppose -4*w - 122 = 74. Let j = w - -316. Is j a composite number?
True
Suppose 2*t - 10 = -3*t. Let k = 6 + t. Suppose 38 - k = 2*j. Is j prime?
False
Let f(q) = -2*q**3 - 8*q**2 + 12*q + 3. Let r(t) = -t**3 - 4*t**2 - 2*t - 4. Let s be r(-2). Is f(s) a composite number?
False
Let j = 1860 + -1150. Let u = j - 487. Is u a prime number?
True
Is (1362/(-4))/1*(-20)/15 prime?
False
Is 6/(-4) + (-3430)/(-28) a prime number?
False
Let a(j) = 30*j**3 + 3*j**2 - 1. Is a(2) composite?
False
Let p = 19 - 34. Let t = p + 33. Suppose 9 = u - 2*z - 5, 0 = u - z - t. Is u a composite number?
True
Let v be 14/4 - (-2)/(-4). Suppose 2*s - 92 = 5*q, q = -s + 4*q + 46. Suppose s = -v*o + 4*o. Is o a prime number?
False
Let p(a) be the second derivative of 6*a**5/5 + a**4/3 - a**3/3 - a**2/2 + 2*a. Is p(2) a composite number?
True
Let t = 18 - 12. Let q(w) = t - 3 + 0*w**2 + w**2. Is q(4) prime?
True
Let j(f) = -10*f**3 + 7*f**2 - 12*f - 7. Is j(-6) prime?
True
Let d = -1657 - -800. Is d/(-9) - 10/45 a composite number?
True
Suppose 42*v - 38*v - 596 = 0. Is v prime?
True
Let k = 1 - 1. Is 3/(-3 - k)*-145 prime?
False
Let d = 6 + -6. Suppose d = 2*z + z - 78. Is z a prime number?
False
Let w = 6 - 7. Is (95 - (w + 1)) + 2 a composite number?
False
Let a(n) be the second derivative of 227*n**3/2 - n**2 - 6*n. Is a(1) composite?
True
Let d(m) = m - 7. Let u be d(-9). Is 1302/8 + (-4)/u a composite number?
False
Suppose -2*k + 5*d + 369 = 2*k, 0 = 2*k + 5*d - 177. Let t = -54 + k. Is t composite?
False
Let y be 2/9 - 4631/(-99). Suppose p + 41 = 2*g, 2*g + 3*p - 2*p - y = 0. Is g prime?
False
Let t = 16 - 12. Suppose -2*n + 174 = -0*n - v, t*n + v - 360 = 0. Is n prime?
True
Suppose -10*g - 1060 + 16490 = 0. Is g a composite number?
False
Is ((-30)/(-18))/((-2)/(-3))*1082 a composite number?
True
Let i(v) = 28*v - 5. Let x(g) = g**3 + 6*g**2 + 4*g - 1. Let y be x(-5). Let a = y - -2. Is i(a) prime?
True
Let b = 614 + -355. Is b a composite number?
True
Let r(h) = -3*h + 15. Let s be r(-10). Let i = 66 - s. Is i a prime number?
False
Let t = 1372 + -2406. Is t/(-4) - (-1)/2 a composite number?
True
Let u(n) = n**3 - n**2 + n + 10. Let m be u(0). Suppose -2*i - m = -84. Is i prime?
True
Suppose -4*p + 72 = -2100. Is p prime?
False
Suppose 0 = 4*m - 252 - 28. Suppose 0 = -3*y + 5*y - m. Is y a composite number?
True
Let t(q) = q - 3. Let v be t(6). Let p be ((-9)/(-3))/(4 - v). Suppose 0 = -3*n + p*h + 2*h + 54, -2*n = 3*h - 17. Is n a composite number?
False
Let c be ((-48)/(-14))/(4/56). Suppose -i + k + 35 = 0, -i + c = -4*k + 1. Is i prime?
True
Let b be (-2)/4*1*-6. Suppose -6*l = -b*l + 4*f - 893, -f + 298 = l. Is l composite?
True
Is ((-7)/4)/((-4)/80) prime?
False
Suppose k + 3*g - 10 = 0, k - 2*g - 25 - 10 = 0. Let o be (10/k)/((-1)/(-5)). Suppose -3*a = 3, z = -o*a + 37 - 13. Is z a prime number?
False
Suppose -3*c + 6*c = 0. Let v(q) = q**3 + q**2 + q + 43. Let g be v(c). Suppose -4*u - 5*z + g = 0, -4*u + 25 = -4*z + 9. Is u a composite number?
False
Let x = -101 - -181. Suppose 111 = i - x. Is i composite?
False
Let p(y) = -53*y + 2. Let g(b) = 3*b. Let z be g(-1). Is p(z) a composite number?
True
Suppose 0 = d + 2*d - 78. Suppose 6 + d = p. Let q = p + 47. Is q prime?
True
Suppose -2*x = -4*x + i + 120, -274 = -5*x - 4*i. Is x a composite number?
True
Suppose 6*z + 5*u - 45 = 2*z, -2*z + u + 5 = 0. Suppose -z*g - 712 = 2*o + 4342, -5*g = -5*o + 5040. Let c = 1453 + g. Is c prime?
True
Let w = 16 + 22. Let f = 17 + w. Is f a prime number?
False
Suppose -7*y = -5306 - 1757. Is y prime?
True
Suppose -u - 3 = 0, 792 = 2*w + u - 43. Is w composite?
False
Is -213*4/(-12)*1 a composite number?
False
Let j(g) = -g**3 + g**2 - g + 96. Let h be j(0). Suppose -2*x + h + 129 = 5*n, -200 = -5*n + 3*x. Is n a prime number?
True
Is (1*-29)/((-5)/25) a prime number?
False
Let z be 372/10 + (-1)/5. Is (-1 + (1 - z))/(-1) a composite number?
False
Suppose v + 1228 = 4*z - z, 1631 = 4*z + 5*v. Is z prime?
True
Let m = 1022 + 17. Is m composite?
False
Suppose -2*c - 3*g = -755, -2*c - 5*g = -681 - 72. Is c prime?
True
Let g(x) = -x**3 + 10*x**2 - 2*x - 2. Is g(7) a composite number?
False
Let v(x) = -x**3 + 3*x**2 + 3*x + 2. Suppose -2*b + 3*w = 3*b - 11, -4*b + 7 = -3*w. Let j be v(b). Let f(y) = -11*y - 3. Is f(j) prime?
True
Let u be 162/6 - (-1 + 2). Suppose -5*g + 4 + 6 = 0. Suppose g*z - 12 = u. Is z composite?
False
Suppose -3*p - 66 = 4*w - w, 3*w = p - 62. Let z be w*(-3 + 2 + -6). Let x = z - 104. Is x a prime number?
True
Suppose -3*w - 9 = 0, 3*w + 48 = -5*f - 1. Is 8/2 + (239 - f) a composite number?
False
Let s = 435 + -104. Is s a prime number?
True
Let k be 8/(-12)*1*-3. Suppose k*x - 374 = -0*x. Is x prime?
False
Let d(g) = 8*g**2 - 3*g - 1. Let p be d(-5). Suppose -2*h - a = -220, -3*h + 2*a = -h - p. Is h prime?
True
Is 145 + (-2 - (-4 + -2)) composite?
False
Suppose 2*f - 3*f + 3*x = -1078, 4*f - 2*x = 4342. Is f a prime number?
True
Let s(y) = y**3 + y + 1. Let o(r) = 3 + 58*r**3 + 0*r + 1 + 3*r - r**2. Let t(v) = -o(v) + 3*s(v). Is t(-1) prime?
False
Suppose o - 5*s = -12, -o + 4*o + 5*s - 24 = 0. Suppose x + 3602 = o*x. Is x prime?
True
Let a(c) = -c**2 - 6*c + 2. Let j be a(-6). Let s be (-1 + 2)/((-1)/(-5)). Is 8/s*5/j a composite number?
True
Let r(j) = 134*j**2 - j. Let x be r(1). Suppose l - x + 8 = -4*i, 0 = -3*i + 4*l + 89. Is i composite?
False
Suppose -4*u = -9*u - 90. Let i(q) = q - 1. Let s be i(-6). Let m = s - u. Is m a composite number?
False
Suppose 669 - 161 = 4*k. Is k composite?
False
Let v = 23 - -36. Let s = v + -21. Is s a composite number?
True
Suppose -5*n + 0 = -5. Is 352 + -7 - n*-2 a prime number?
True
Let u = 619 + -881. Is 35/(-14)*u/5 a composite number?
False
Let b be (-1 - 1) + 1 + 0. Let v(w) = 51765*w**2 - 725*w + 725. Let f(x) = -143*x**2 + 2*x - 2. Let d(j) = -725*f(j) - 2*v(j). Is d(b) a composite number?
True
Let v(j) = 134*j**2 - 6*j + 2. Is v(4) a composite number?
True
Let h(l) = l**3 - 11*l**2 + 12*l - 10. Suppose 45 = 5*a + 5*r, 7*r = 4*a + 3*r - 44. Let w be h(a). Let i = w - 3. Is i a prime number?
True
Suppose -2*i = -2*s + 14, -2*i + i + 28 = 4*s. Let u(k) = -4 + 12*k + 0 + 1 - 4. Is u(s) prime?
False
Let w = 658 - 279. Is w a composite number?
False
Let f(v) = v**2 + 9*v + 15. Is f(-13) a composite number?
False
Is (195/12 - 0)*4 a composite number?
True
Let x(c) be the second derivative of c**5/5 + c**4/4 - c**3/3 + 5*c**2/2 + 5*c. Is x(4) a composite number?
True
Suppose 0 = -s + 5*s - 84. Suppose 0 = -2*v + 107 - s. Is v a composite number?
False
Let m = -2 + 1. Let y = m - -36. Is y a composite number?
True
Suppose 3*q = 9 + 3. Let w be q/(-10) - (-1935)/25. Suppose 3*k - w = -2*b, 3*k - 13 = 2*b - 84. Is b prime?
True
Is (1 - 3 - -3) + 177 prime?
False
Let l(n) = n**2 + n + 6.