lse
Let q = -19 - -28. Let h(x) = -2 + 9*x**2 + 9*x - q*x**2 + 3*x**2 - x**2. Is h(-7) composite?
True
Is 1*(-2 + 5 + 146) a prime number?
True
Let g(m) be the first derivative of -13*m**2/2 - 2*m + 4. Is g(-3) a composite number?
False
Suppose 4*n - 20 = 0, s - 2*s + 3*n + 111 = 0. Suppose -3*h = -15, -2*y - 4*h + s + 172 = 0. Is y composite?
False
Let z be 4/10 + 4584/15. Let u = z - 127. Is u a composite number?
False
Suppose -4*q - 3304 = -8*l + 4*l, 0 = -2*q - 10. Is l a composite number?
False
Suppose -5*r - c + 113 = 0, -1 - 12 = -r + 3*c. Suppose q + k = -0*q + r, -4*q = 5*k - 85. Is q a prime number?
False
Suppose 3*i = -910 + 340. Let y = -87 - i. Suppose 0*r + y = r. Is r prime?
True
Suppose s = -0*s + 161. Is s a composite number?
True
Let c(d) = 8*d - 5. Let n(g) = -2*g + 1. Let u(a) = -2*c(a) - 9*n(a). Let t be u(1). Suppose -3*l = -3*q + 48, 0*l = -t*l - 3. Is q composite?
True
Suppose 0 = -5*p + 4*p - 5*k - 467, -2*k = -5*p - 2416. Let q = p - -68. Is q/(-22) + (-6)/(-33) a composite number?
False
Suppose 4*a - 266 = -2*r - 74, 3*r = a - 55. Is a a composite number?
True
Let d(r) = -2*r**3 - 5*r**2 - 7*r - 2. Let p be d(-5). Let w = p - 31. Is w a composite number?
False
Let i(m) be the first derivative of -33*m**4/4 - m**3/3 - 2*m**2 - 3*m - 2. Let l be i(-2). Suppose 3*x = -4*s - 57 + 220, l = 5*x + 5*s. Is x composite?
True
Let n = 2058 - 599. Is n a composite number?
False
Let b(s) = 33*s**2 + s - 3. Is b(-2) a prime number?
True
Let l = -3 + 2. Is -3*397*l/3 a composite number?
False
Let y = -162 - -1147. Is y a composite number?
True
Let m = 536 + -206. Suppose 0 = -q + 6*l - l + m, 4*q + 4*l = 1344. Suppose 6*z - q = z. Is z prime?
True
Suppose 0 = 2*q - 3*d - 7, q - 2 = 2*d + 2. Let h be q + (-1 - -3)/2. Suppose 6 = -s + h*s. Is s composite?
False
Let b = 98 - 68. Suppose 5*r - 235 - b = 0. Is r composite?
False
Let w(a) be the first derivative of -a**4/4 + 4*a**3 + 7*a**2/2 + 13*a - 9. Is w(11) a prime number?
True
Let b = -16 - -39. Suppose -g + b = -0*g. Is g prime?
True
Suppose 2*x + 20 = -4*s + 106, -3*s = 12. Is x composite?
True
Suppose -h + 349 = -5*w + 3393, -3*h - 1836 = -3*w. Let y = w + -357. Is y composite?
False
Let u(z) = 16*z - 11. Let c be u(5). Let a = -47 + c. Is a a prime number?
False
Let c(r) = r**3 + 5*r**2 - 8*r + 3. Suppose -2*y + 0 = 12. Is c(y) prime?
False
Let n = -8 + 13. Suppose 0 = -n*v + 89 + 66. Is v composite?
False
Suppose 5*q - 32 = y, -4*y + q - 128 = -0*y. Let p be (3/2)/((-3)/y). Let i = p - 1. Is i a prime number?
False
Let x be ((-1)/(-3))/1*1611. Suppose -688 - x = -5*n. Suppose -5*f + 340 = 4*t - 71, -3*f - 2*t = -n. Is f a composite number?
False
Suppose 910 = q + 2*g, -3*q - 5*g + 2913 = 181. Is q composite?
True
Let s = 145 + 181. Suppose -s = -5*x - 3*t, -60 = 3*x - 4*t - 273. Is x prime?
True
Suppose 8*c - 3*c = -4*i + 883, 0 = -3*i + 5*c + 636. Is i prime?
False
Is ((-42)/24)/(2/1136*-2) a prime number?
False
Suppose -20*t + 17*t - 4*u = -171, -2*u = -3*t + 153. Is t a composite number?
False
Let q(f) = f**3 + 6*f**2 - 9*f - 10. Let r be q(-7). Suppose r*v - b = 191, 3*v - 4*b - 200 = -v. Is v composite?
False
Is (-263)/(-1*(-3 - -4)) prime?
True
Let q(k) = 2*k**3 - 3*k**2 - 18*k + 6. Is q(13) a prime number?
True
Let k(g) be the third derivative of 1/6*g**4 + 2*g**2 + 0*g - 1/3*g**3 - 1/60*g**5 + 0. Is k(2) a composite number?
False
Let p(s) = 2*s**3 - 5*s**2 - 7*s + 8. Let t be 2*3/(-3)*-4. Let l be p(t). Suppose 3*a = -3*b + 2*b + l, 439 = 2*a + b. Is a prime?
False
Let q = -48 + 27. Let p = -26 - -94. Let c = q + p. Is c prime?
True
Let a be (1 + 18)/((-1)/(-5)). Suppose 2*g = 3*x + 93, -3*x = 5*g - 5*x - 227. Suppose 105 = 2*p + k, -a = -3*p - 5*k + g. Is p composite?
True
Let w(z) = z**2 - 6*z - 6. Let s be w(7). Is ((-28)/4)/(s/(-7)) a prime number?
False
Let m = 439 - -312. Is (-20)/(-10) + 2 + m a composite number?
True
Is 2 - (-4)/(-1) - (-4753 + 0) a prime number?
True
Let l be 2*2/(-4)*-7. Let b(v) = 2*v - 10. Is b(l) a composite number?
True
Let x = -149 + 268. Is x prime?
False
Suppose -36 = -4*v - 4*r + 8*r, -18 = -2*v + r. Suppose 2*u - 1964 = 2*x, -3*u - 4*x = -v*x - 2942. Is u/30 + 1/5 prime?
False
Let t be ((-62)/1)/(2/3). Let i = t + 216. Is i composite?
True
Let f = -31 + 63. Suppose -2*d + f = -146. Is d prime?
True
Suppose 0 = -3*q - 2*q. Suppose q = -5*n + 35 - 10. Suppose 0 = 3*t - t + 3*o - 31, -n*t + 5*o + 40 = 0. Is t a composite number?
False
Let s(u) be the second derivative of 1/2*u**4 - 5/2*u**2 + 1/6*u**3 + 0 - 2*u + 1/20*u**5. Is s(-5) composite?
True
Suppose 3*d - 665 = -104. Is d prime?
False
Let y be (-7)/((-14)/(-4)) - -112. Suppose -5*i + y = z, 2*z - 4*z = 0. Is i a composite number?
True
Let f(j) = 2*j + 3. Let a be f(-10). Let z = a - -31. Is z prime?
False
Let d(b) = b**2 + b - 10. Let z be d(0). Is (-824)/z + 6/10 composite?
False
Let r(x) = 5 + 0 - 4 + 6*x**3. Suppose 2*t - 8 = -2*t. Is r(t) prime?
False
Let r = 50 + 26. Suppose -j = -5*q + 269, -3*q - j - 3*j + 166 = 0. Suppose -2*m = -r - q. Is m composite?
True
Let x(s) = 4*s**3 - 2*s + 4*s**2 - 4 - 3*s - 2 - 3*s**3. Is x(-4) prime?
False
Let d = 632 + -91. Is d composite?
False
Suppose -2*m - 2*h + 6 = -2, -h - 11 = -2*m. Suppose m*x - 197 = -62. Suppose 2*u + 3*u = -4*f + 50, 3*u + 3*f = x. Is u composite?
True
Let r be 46/(-12) + (-3)/18. Let f be (-12 - 0)*2/r. Suppose 3*b + 5*w - 68 = f*w, -b - 5*w - 4 = 0. Is b composite?
True
Let d(f) = -f**2 - f + 1. Let u(z) = -2*z**2 + 12*z. Let j(m) = 3*d(m) - u(m). Is j(-7) prime?
True
Suppose -4*p - 19 = -3*w + 2*w, 0 = 5*w - 5*p - 170. Suppose -5*k - 10 = b - w, -k - 17 = -b. Is b a composite number?
False
Is 5/(-2)*(-2276)/5 prime?
False
Let g(x) = 5*x**3 - x**2 + x + 1. Let c be g(-1). Let y(w) = -w**3 - 7*w**2 - 7*w + 2. Let d be y(c). Is 2*2/d*4 prime?
True
Suppose -43*z + 3788 = -39*z. Is z composite?
False
Let k be 2/(3 + -1)*-1. Let b = k - -1. Suppose b = -4*i + 6*i - 154. Is i composite?
True
Let p(x) = 17*x**2 + 33*x**2 + x - 2*x. Is p(1) a prime number?
False
Suppose 3*v + c - 2 - 2 = 0, -c = 5*v - 10. Suppose 51 + 21 = v*g. Let h = g + 31. Is h prime?
False
Let l be (-2)/6 - 10/6. Let x = 0 - l. Suppose x*b + 105 = 2*w - 9, -3*b - 281 = -5*w. Is w prime?
False
Is 3 + 356 + 6 + -4 a prime number?
False
Let o be (-18)/10 - (-2)/(-10). Let q be o + (-2)/(2/(-7)). Suppose -5*y = 0, 0 = q*t - 4*t - 4*y - 133. Is t a prime number?
False
Is (1 - -210)*(9 + -8) composite?
False
Suppose -155 + 1838 = 9*q. Is q a composite number?
True
Suppose -i = -3*d - 26 + 569, -9 = -3*i. Suppose 12 = -4*u, 2*u + d = 4*v - 172. Is v composite?
True
Let u(m) = 7*m**2 - 9*m - 3. Is u(-4) a composite number?
True
Suppose -10*x + 1015 = -5*x. Is x a composite number?
True
Let n be 0 - (-12 + (-1 - 2)). Let z = n + 56. Is z a composite number?
False
Let d = 96 + -37. Is d prime?
True
Let v be 4/6*-9 + 2. Let q = 2 + v. Is (3/q)/(8/(-176)) prime?
False
Suppose 2*j + 3*j - 5 = 0. Let u be j - -1 - 3/(-1). Let x = u + 2. Is x prime?
True
Suppose -5*b + 84 = -4*b. Suppose 2*n - 6*n = -b. Let k = 59 - n. Is k prime?
False
Let p be ((-4)/(-5))/((-8)/(-100)). Suppose 7*n = p*n - 237. Is n a prime number?
True
Suppose 302 = 2*k + 4*o, -o = -6*o. Is (2 - k)/(0 - 1) a prime number?
True
Let r be 4/2*6/(-12). Let k be 78 - (-3 - -5)*r. Let o = 163 - k. Is o a prime number?
True
Suppose g = -3*c + 3*g - 10, 4*g = -3*c - 34. Let w = 9 + c. Let t(v) = v**2 - v. Is t(w) a composite number?
True
Let m(p) = 8*p**2 + 2*p - 2. Suppose -2*y + 4*y = 2. Suppose -y = -x + 1. Is m(x) composite?
True
Suppose f + 3 = -2. Let s(m) = -m**2 + 4*m + 3. Let q be s(f). Is q/(-9)*3/2 composite?
False
Suppose 0*t - 1572 = -12*t. Is t composite?
False
Let s be (-2)/(-7) - (-54)/(-42). Is 67/(-2 + 4 + s) a composite number?
False
Suppose -2*d + 1126 = -0*d. Is d prime?
True
Let q(v) = 533*v**2 - 2*v + 1. Let h be q(1). Let s be (-5 - 5)*(-1)/2. Suppose s*o - h = -57. Is o a prime number?
False
Suppose -s = 4*s - 3*y - 620, -252 = -2*s + 2*y. Is s a prime number?
False
Suppose 40*r - 36*r - 764 = 0. Is r prime?
True
Let j(g) be the second derivative of -5*g**3/6 - 3*g**2/2 - g. Let v = -7 - -5. Is j(v) prime?
True
Suppose -3*m + m - 18 = 0. Let r = m - -13. Suppose 2*n + 116