lse
Suppose 3*h - 6 = 0, -5*u - 82 + 314 = h. Let k = u + -18. Suppose p - 4*x - k = x, 2*p - 92 = -2*x. Is p prime?
True
Let y(k) = 40*k - 1. Let m be 3 + -2 - (1 + 1). Let s = m - -4. Is y(s) composite?
True
Let t = 23 + -22. Is ((-1317)/(-12))/(t/4) a composite number?
False
Let d = -1038 - -1649. Is d prime?
False
Let y(w) = -w**3 + w**2 - 7*w. Let s(k) = -k**3 + 2*k**2 - 8*k. Let q(o) = -5*s(o) + 6*y(o). Let l be q(-3). Is 2/(l + 1580/524) a composite number?
False
Suppose 0*m - 25 = -4*n - m, 4*n - 37 = 3*m. Let y(j) = 26*j + 9. Is y(n) composite?
False
Let q(b) = 11*b**3 - b**2 - 3*b - 3. Let z be q(-1). Is z/3 - (-2806)/2 a composite number?
False
Suppose -2*i + 0*i = 3*t - 1045, -3*t - 2644 = -5*i. Is i a prime number?
False
Let b be (0/1 - 3) + 202. Suppose l + 2*l - 4*i = b, -3*l + i + 205 = 0. Is l composite?
True
Let u(v) = -v**2 + 4*v + 4. Let l be u(4). Let x be 23*l/((-12)/(-27)). Suppose -2*w + 517 - x = 0. Is w prime?
False
Let a be 42/(-4) + 1/2. Let l be 25/a + 3/2. Let t(z) = 19*z**2 + 2*z + 2. Is t(l) prime?
True
Let q = 465 + -296. Let h = -42 + q. Is h prime?
True
Let r(b) = 7*b - 7 + 26*b**2 - 23*b + 0 - 23*b**2. Is r(12) prime?
True
Let i(t) = -17*t + 6. Let h be i(5). Let o = h - -166. Let z = 496 - o. Is z prime?
True
Let r be (10/6)/(1/3). Suppose -p + 6265 = r*i, 0*p - 2*p = -2*i + 2506. Is i a composite number?
True
Is 3*1/(-7) + 521616/42 prime?
False
Suppose 3*g + 4*u - 116847 = 0, -4*u - 36 + 24 = 0. Is g composite?
False
Let j = 52 + -77. Is ((-1388)/10)/(5/j) a prime number?
False
Let h be (556/5)/((-3)/(-15)). Let c = 935 - h. Is c a composite number?
False
Let v = 19880 + -5626. Is v a composite number?
True
Suppose 0*p + 5*p = 0. Suppose p = 4*s - 6 - 242. Is s composite?
True
Let y be 1/(3/((-6)/(-2)))*3. Suppose 2*d + 3*k + 1517 = 5143, 2*d - 5*k - 3610 = 0. Suppose -2*s - y*g + d = 0, -4*s = -g - 1109 - 2539. Is s prime?
True
Let t be 63/36 + (-3)/(-12). Suppose 4*n = t*n + 3086. Is n a prime number?
True
Let h = 3930 - -187. Is h a composite number?
True
Let i(a) = 23*a**3 - 27*a**2 + 3*a - 12. Is i(5) prime?
True
Suppose 2*f - z = 3*z + 18, 5*f - 4*z = 33. Suppose 0 = f*t - 4*t + 1537. Let n = -324 - t. Is n a composite number?
False
Let q = 1468 - 617. Is q prime?
False
Let x(y) = -745*y**3 + 6*y**2 - y - 5. Let g(r) = -r**2 + 1. Let u(v) = -6*g(v) - x(v). Let m be u(1). Is (-14)/(-63) - m/(-9) a prime number?
True
Suppose 6*k = 7052 + 2800. Is k a composite number?
True
Suppose 5*f - 5070 = -q + 631, -4*q + 1125 = f. Suppose 0 = -9*i + 2*i + f. Is i a composite number?
False
Let w be 2/(-6)*-3 - 1. Suppose w = 4*j + 4*p - 68, 4*p + 37 = 3*j - 0*j. Is j prime?
False
Let b = -21 + 23. Let v(c) = c + 0*c**b + c**3 - 4 + 2*c**2 + 5. Is v(8) composite?
True
Let r(b) = b**2 + 2*b - 4. Let p be r(2). Let l(s) = 2*s**3 + 3*s**2 + s + 5. Is l(p) composite?
True
Suppose 5*b = -3*b + 4*b. Suppose -4*o + l - 4*l + 19048 = b, -14283 = -3*o - 3*l. Is o a composite number?
True
Suppose -73 = -3*f + 2*x, f = 3*f + 3*x - 40. Let i = -26 + f. Is -192*4/i - 3 a prime number?
False
Suppose 57*r - 43674 = 51*r. Is r prime?
False
Suppose 0*b - 3*b - 18 = 0. Let l(n) = -n**3 - 6*n**2 - 2. Let q be l(b). Is (-236)/8*q - 0 prime?
True
Let y(u) = -1 + 3*u - u**3 + 1 - 2 + u**2. Let p be y(2). Is 119 + (p/(-3))/1 composite?
True
Let q(w) be the third derivative of -6*w**2 - 1/3*w**3 + 0*w + 0 - 49/24*w**4. Is q(-3) a composite number?
True
Suppose 37984 = 2*s - 5*a, 9*s + 4*a = 6*s + 56930. Is s composite?
True
Suppose -10*p + 5883 = -7*p. Is p a composite number?
True
Suppose 3*m + 5489 = 97382. Is m prime?
True
Suppose -2 = 2*h, -2*w + 6*h - h = -5847. Is w prime?
False
Let g(t) = 1300*t - 23. Is g(1) a composite number?
False
Suppose y = -2*k + 5255, -2*y - 3*k = -3*y + 5270. Is y a prime number?
True
Let v(x) = -6*x. Let l be v(-1). Suppose -f - l = -3*f. Suppose -199 - 47 = -f*d. Is d prime?
False
Let x = 3128 + -2130. Is x a composite number?
True
Let f be 8/(-32) + 2/8. Let w(a) = 2*a + 37. Let v be w(f). Is (8/2)/(2/v) a composite number?
True
Suppose -7*l + 153157 = -14682. Is l a composite number?
False
Let q = -284 - -1327. Is q prime?
False
Let w be (-17000)/(-4) - 9/(-3). Suppose -w = -4*h + 5391. Is h a composite number?
False
Let b(p) = 146*p + 4. Let s be b(11). Suppose q + 5*v = 1506, 3*v + s = 2*q - 1402. Suppose -2*r + 1090 - 340 = 2*k, k - q = -4*r. Is r prime?
False
Let t(w) = -w - 4. Let f(d) = -2*d**2 - 4*d - 1. Let v be f(-3). Let o be t(v). Suppose 2*l - o*a = 176, -2*a + 161 + 90 = 3*l. Is l composite?
True
Let v(n) = -2*n - 65. Let q(s) = -s - 43. Let y(a) = -8*q(a) + 5*v(a). Let k be y(14). Is 108 + 2 - (k + 6) composite?
False
Suppose 0 = v - 2*l - 375, 3*v = 3*l + 1195 - 64. Is v prime?
True
Let q = 11 + -11. Suppose q = -7*n + 570 + 4. Is n composite?
True
Let c be -4*((-21)/6)/7. Suppose -c*p = -4*p. Is 0 - p/4 - -53 composite?
False
Let f = -253 - -587. Is f prime?
False
Suppose 8*w = 9*w - 35. Is 160 - w/14*(-4)/(-10) a composite number?
True
Suppose -d - d - 41 = -5*v, -3*v + 33 = 3*d. Suppose 4*f = 37 + 15. Suppose f*o - v*o = 380. Is o prime?
False
Let f = -12 + 14. Suppose -l - 3*q + 271 = 0, -f*l + 521 = -q - 0*q. Is l a prime number?
False
Suppose -32933 + 443695 = 22*n. Is n a composite number?
False
Let k(d) = -d**3 + 3*d**2 + 4*d + 2. Let z be k(4). Is 306 + z + 8 + -9 a composite number?
False
Is (-4)/(-2)*(-45054)/(-36) a prime number?
True
Let o(n) be the second derivative of n**5/20 - 7*n**4/4 - 17*n**3/2 + 33*n**2/2 - 51*n. Is o(24) a prime number?
False
Suppose 764 = -2*m - 922. Let i = -517 - m. Is i composite?
True
Let j(w) = w**2 + 15*w + 1. Is j(11) a prime number?
False
Suppose 28*u = 38*u - 17410. Is u a composite number?
False
Is -3*(1908/8)/(-9)*2 prime?
False
Suppose 7*i - 486176 = -25*i. Is i prime?
True
Suppose -3*s = -4*s + 3. Suppose -755 = -4*v - s*x, 0 = -0*v + 2*v + 4*x - 370. Is v prime?
True
Suppose 0 = p - 3*p - 4, 0 = -5*r - p + 1408. Suppose -84*m + 75*m = 639. Let u = m + r. Is u a prime number?
True
Suppose -5*r + 2*w + 20 = 0, -2*w + 12 = 3*r + 2*w. Let n(f) = -4*f**2 - f + 5. Let l(y) = -y**2 + 2. Let h(z) = 8*l(z) - 3*n(z). Is h(r) a prime number?
False
Let k(h) = 19*h**3 + 4*h - 3. Let s be k(2). Let b = 243 - s. Is b composite?
True
Let s be 2/(-5) + (-196)/35. Let a be (-6)/(2 + 21/s). Suppose 5*i + t - 294 = 0, 3*i - a*i = -4*t - 63. Is i a prime number?
True
Let w = -46 - -100. Suppose -11*k = -2*k - w. Is k/(-21) + (-4638)/(-14) composite?
False
Suppose -4*l - 12 - 8 = 0. Let t(b) = -3*b**3 + 2*b**2 - 11*b - 31. Is t(l) composite?
False
Suppose -24*b = -26*b + 29566. Is b prime?
True
Let q be 2/(-3)*18/4. Let v be (1 + q)/((-4)/(-22)). Let u(z) = -6*z - 15. Is u(v) a composite number?
True
Let r = -4 + -17. Suppose -19*p = 5*w - 15*p + 70, -2*p + 70 = -5*w. Is 4/w - 741/r composite?
True
Let p be (-9)/((-118)/(-112) + -1). Let y = 237 - 474. Let v = p - y. Is v a prime number?
False
Suppose -o + 1 = 25. Let v = o + 12. Let n = v - -91. Is n a composite number?
False
Let t(l) = l**2 - 10*l + 2. Let r be t(10). Suppose -8 - r = -2*j. Suppose 2*d + 67 = 3*d + 4*y, 0 = 5*d - j*y - 285. Is d composite?
False
Suppose 3*q + 3*o - o = 10, 5 = -5*o. Is -1*2 - (q + -265 - 3) composite?
True
Suppose -4*q = -4*g - 0*g - 65100, -5*q + 2*g + 81387 = 0. Is q prime?
False
Suppose 25043 - 8311 = 3*w + 5*m, -4*m - 16741 = -3*w. Is w prime?
False
Let k(t) = -2*t - 1. Let s be k(5). Let c(f) = f**2 + 2*f + f - 2 - 11 - 2*f. Is c(s) a prime number?
True
Let g(f) = -f**2 + 7*f + 3. Let b be g(7). Suppose 0 = b*w - 6*w + 1341. Is w composite?
True
Let d be 130 + 0 - (-3)/3. Suppose -d = -b + 450. Is b prime?
False
Let c(q) = 2828*q**2 - 2*q - 19. Is c(-3) a prime number?
True
Let i be (-763)/5*(-6 + 1). Let g = -407 + i. Let l = g + -162. Is l composite?
True
Suppose 0 = -5*t + 5*c + 71950, -t + 14*c - 12*c + 14393 = 0. Is t a prime number?
True
Suppose -3*g - 2*g = -3*u - 1579, -5*u = -2*g + 624. Suppose 0 = -7*i + 6*i - g. Let r = i - -444. Is r composite?
False
Suppose 11*s - 17211 = 30122. Is s a prime number?
False
Let r = 17 + -17. Suppose 4*c = -r*c + 1624. Let i = c - -271. Is i composite?
False
Let o = 102 + -196. Suppose -2*w - w = -627. Let p = w + o. 