lse
Let v(x) = 6*x**2 + 1. Let h be v(-5). Let t = -237 + h. Let d = t - -183. Is d a prime number?
True
Suppose 5*j - 4*j - 222 = 0. Is (j/(-12))/(2/(-4)) prime?
True
Suppose 3*i = 4*l - 7*l + 138, -2*l = -2*i - 112. Is l a prime number?
False
Suppose 0*a - 3*b = -a - 3, -4*b = -3*a - 4. Suppose 4*w = -a*w. Suppose 6 = p - w*p. Is p a composite number?
True
Let t(j) = j**3 + 13*j**2 - 17*j - 6. Is t(-13) a composite number?
True
Suppose -3*r = r - 884. Is r prime?
False
Suppose 11*p + 2*p = 25649. Is p prime?
True
Let q(t) = t**3 - 14*t**2 + 8*t - 15. Is q(14) a prime number?
True
Suppose 3*t + 1353 = 3*q, -3*q - t + 1944 = 599. Is q a prime number?
True
Is (-502)/(-3)*18/12 a composite number?
False
Let o be 226 + 12/4 + 0. Suppose 245 = l - 5*w, l - 2*w + 5*w = o. Is l prime?
False
Let p(c) = 1. Let d(n) = -4. Let y(w) = -d(w) - 5*p(w). Let u(m) = -53*m + 11. Let q(z) = -u(z) - 5*y(z). Is q(7) a composite number?
True
Let y be ((-1)/(-3))/((-2)/(-24)). Is y + 1 + 5*52 a composite number?
True
Let q(u) = -u**3 - 5*u - 2. Let l(n) = -n - 1. Let j(r) = -2*l(r) + q(r). Let b be j(4). Let z = b + 111. Is z prime?
False
Let m = 5 + 5. Is m a prime number?
False
Suppose q = -a + 2404, 4*q = -4*a + q + 9619. Is a prime?
False
Let r(c) = c**3 - 8*c**2 + 3*c + 11. Let g be r(9). Let d = g - 85. Is d a prime number?
False
Is (-19857)/(-39) + 2 + (-6)/39 prime?
False
Suppose 5*h - 3 = -3*k, -h = -2*k - 0*k - 11. Let a be (-2)/k + 282/12. Suppose 5*x - a = 3*l, 4*x - 20 = 2*x - 4*l. Is x prime?
False
Suppose -6*j + 3*j + 24 = 0. Let b(d) = -d + 11. Is b(j) a composite number?
False
Let h(a) = 1 - a**2 - 4*a + a - 5*a + 0. Let s be h(-8). Is 1/(240/237 - s) a prime number?
True
Let r(m) = m**3 - 3*m**2 - 2*m - 4. Let v be r(4). Suppose 0*c = -v*c + 8. Suppose 5*p - 941 = -c*u, 5*u - 202 = -p - 0*p. Is p prime?
False
Suppose 0 = 5*n - 5*s - 770, -76 = -n - 4*s + 53. Is n a composite number?
False
Suppose 0 = -4*w - 2*x + 370, 2*w - 155 = 5*x - 0*x. Suppose 4*f = 2*c - 4*c + w, 5*c + 5*f = 205. Is c a composite number?
False
Suppose 427 = 3*a + 5*f, 0*f + 5 = f. Suppose 4*d + d - 27 = -4*j, 4*j + 3 = 5*d. Suppose d*w = w + a. Is w composite?
False
Let c = -8 + 11. Suppose c*s - h = 2*h - 6, 5*s = -3*h - 26. Is ((-6)/4)/(2/s) composite?
False
Suppose 0*p + 1212 = 3*p. Let z = -87 + p. Is z a prime number?
True
Let c = -110 - -210. Let l be 0 + c - (1 - 3). Suppose 3*u - u = l. Is u prime?
False
Let u = 10 - 5. Suppose -u*a - 192 + 577 = 0. Is a a composite number?
True
Let c(o) = o - 2. Let y be c(-5). Let u(s) be the second derivative of s**4/12 + 2*s**3/3 - s. Is u(y) composite?
True
Suppose -1723 = 6*a - 12925. Is a composite?
False
Is (-1)/(-2)*(-5840)/(-8) a composite number?
True
Let q(b) = -3*b**2 + b - 2. Let u(r) = r**2 + 1. Let n(h) = -q(h) - 2*u(h). Let i be n(2). Suppose -x - x - y + 194 = 0, 0 = x - i*y - 97. Is x composite?
False
Is -4*(-71)/(-5)*10/(-8) prime?
True
Let m(w) = 18*w - 5. Is m(5) prime?
False
Suppose -526 = -2*b + 3*o, -4*o - 2 = 14. Is b prime?
True
Is (-574)/(-3) - 5/15 composite?
False
Let j(i) = -158*i**3 - 2*i**2 - 3*i - 1. Is j(-2) a prime number?
False
Let z(s) = -76*s + 2. Let g be z(6). Let w = 747 + g. Is w a composite number?
False
Let f(o) = 482*o**2 - o + 1. Is f(-2) a prime number?
True
Suppose 5*p = -3*p + 5064. Is p prime?
False
Let d be (13 + 1)*(-1)/(-2). Let n = d + -10. Is (-9)/(n - (1 + -3)) a prime number?
False
Suppose k = -0*k + 3*j + 67, -161 = -2*k - 3*j. Let v = 55 + k. Is v composite?
False
Is 2540/4 + 4/(-1) a composite number?
False
Suppose 5 = -3*j - 4*m, -2*m = 4*j - 4*m + 14. Let c be ((-22)/j)/((-1)/(-3)). Suppose -3*t + 197 = y, -5*y = t - c - 53. Is t a composite number?
True
Suppose 2*j - 10 = -0*j. Let r(h) be the third derivative of -h**4/24 + 4*h**3/3 - 2*h**2. Is r(j) a composite number?
False
Suppose -1219 = 4*y + 405. Let t = y + 881. Suppose 5*f + 120 - t = 0. Is f a prime number?
True
Suppose 5*v - 25 = 160. Suppose 4*i - p = -0*p + 606, 2*i = 2*p + 300. Let y = i - v. Is y composite?
True
Let d be 6/8*(5 - 1). Let t = d - -10. Is t composite?
False
Let l = -642 + 929. Is l a composite number?
True
Suppose -6*d + 30 = -d. Let r(l) = l**2 - 6*l + 1. Let c be r(d). Is 31 - (-1 + c)/1 composite?
False
Let c be (-44)/6 - (-10)/(-15). Let t = 30 + c. Is t composite?
True
Let t(z) = 11*z + 3. Let d(j) = -j + 13. Let p be 35/4 + 6/24. Let w be d(p). Is t(w) composite?
False
Let a be (-4)/10 - (-13)/(-5). Let r = 8 + a. Suppose -5*v + 3*s + 204 = 0, -r*s = v - 0*s - 24. Is v composite?
True
Suppose -5*o + 3*n = -0*n - 405, -3*o + 214 = 4*n. Suppose -144 = v + 3*v + 4*i, o = -2*v - 5*i. Let b = -15 - v. Is b prime?
True
Let z = 31 - -38. Is z a prime number?
False
Suppose -5*j - 2*p = 2*p + 58, 4*j = -5*p - 41. Let g = j + 94. Let a = 199 - g. Is a composite?
True
Let x(r) be the first derivative of -r**4/2 - r**3/3 + 2*r**2 + r + 7. Is x(-4) prime?
True
Suppose 7*q = 12*q - 1645. Is q composite?
True
Suppose -4*t + 0*d = -3*d - 388, -3*d = t - 97. Is t a prime number?
True
Suppose 0 = l - 2, 5*l + 3 = -o + 12. Is 187 + -2*(o + 2) a prime number?
False
Let t(x) = 26*x**2 - 3*x + 1. Let v be t(-6). Suppose 3*m - 8*m = -v. Is m a prime number?
True
Let r(m) = m**3 + 6*m**2 + 8 + 2*m**2 - m**2 - 8*m + m**2. Is r(-7) a composite number?
False
Let m = 12872 + -5313. Is m composite?
False
Suppose 36*y = 32*y + 644. Is y a composite number?
True
Let y = -61 + 104. Let r = y + 3. Is r composite?
True
Suppose -f + 227 = -0*f - 5*y, 418 = 2*f - y. Let j = 83 - f. Let a = 213 + j. Is a a composite number?
False
Suppose -k + 2*u + 129 = 0, 2*u - 124 = -k - u. Is k composite?
False
Let b = -568 - -1241. Is b a composite number?
False
Let l(q) = -49*q**2 - 3*q - 3. Let z be l(-2). Let t = z - -106. Let h = t - -193. Is h prime?
False
Is (-7092)/(-10) - (-3)/(-15) prime?
True
Let u = -411 + -62. Let o = -324 - u. Is o a prime number?
True
Let s be 3*4/6 + 43. Suppose 0 = -0*p + 5*p - s. Is 1023/p + 6/(-9) a prime number?
True
Let d be 26*-1*3/(-6). Suppose 2*f = -4*c + 26, -d = -4*f - 5*c + 24. Suppose -q + 36 - 2 = o, q = -f*o + 40. Is q a composite number?
False
Let l be -16*-1*1/2. Let o(c) = 2*c + 4*c + l*c - 3. Is o(5) a prime number?
True
Suppose -15 = -3*n - 2*n. Let z = 12 + 53. Suppose 4*p = n*p + z. Is p composite?
True
Let q(i) be the second derivative of -1/6*i**3 + 0 + 17*i**2 - i. Is q(0) prime?
False
Suppose -6*f = -3*f - 9. Is f composite?
False
Let k = 196 - -5. Is k prime?
False
Let o = -1 - 2. Is (o/(-2))/((-3)/(-22)) a prime number?
True
Suppose -1164 = -17*w + 11*w. Is w a prime number?
False
Suppose 0 = -0*t - 2*t - 296. Let x = 43 - t. Is x composite?
False
Let b = -2 + 1. Is -3 - (-26 + 2 + b) composite?
True
Is (4315/20)/(3/12) a composite number?
False
Let w be (-6)/9 + 21/(-9). Is 1 + (w - -3) + 132 prime?
False
Let s(m) = -9 + 16*m - 28*m**2 + 24*m**2 - 11*m**2 + m**3. Is s(14) a prime number?
True
Suppose 5*u = 2*n - 3, 9 = -5*u + n - 5*n. Let o(v) = 36*v**2 - 2*v - 1. Is o(u) a prime number?
True
Suppose -5*n + 340 = m, 0 = 4*m - n - 0*n - 1339. Is m a prime number?
False
Let f(k) = -k**3 + 6*k**2 + 9*k - 9. Let h be f(7). Let j(v) = v + 7. Let o be j(-7). Suppose -439 = -h*g - 2*p, o = 5*g + 4*p - 233 - 200. Is g a prime number?
True
Suppose -652 = -2*o - 3*y, -1607 = -6*o + o + 4*y. Is o composite?
True
Let i = 342 + -220. Suppose 3*o - 762 = -3*l, -3*l - 4*o + i = -640. Is l a prime number?
False
Suppose -26 = 5*z - 2*r, 4*z - 3*r - 9 = -34. Let o(h) = 7*h**2 + 6*h + 3. Is o(z) a prime number?
False
Suppose -r - 1 = -0*r. Let d be -4 + (-3)/(r - 0). Is 1*58 - (d - 0) a composite number?
False
Let v = 0 - 0. Suppose v = 4*z - 0*z - 120. Suppose 0 = -i - 2*i + 2*c + 29, -3*c - z = -3*i. Is i a prime number?
False
Suppose 5*y - 3708 = -553. Is y composite?
False
Let y(p) = -p + 7. Let x(j) = j**3 - 4*j**2 + 2*j. Let k be x(4). Let c be y(k). Let q(r) = -14*r**3 + r**2 + 2*r + 1. Is q(c) a prime number?
False
Suppose -3*a = -8 - 4. Suppose a*z + 0*z - 48 = 0. Is 2*(-33)/z*-2 a composite number?
False
Let t be 17/4 + (-2)/8. Is (-3195)/(-33) + t/22 composite?
False
Let c(w) = -526*w - 9. Is c(-1) prime?
False
Suppose -128 = 4*d - 2*d. Let x = 433 + d. Let g = x + -238. Is g a