2)*8/(-6). Let t(l) = -536*l**2 + 1. Let k be t(-1). Let g = k + a. Is g composite?
True
Let z(i) = 227*i + 11. Let j be z(4). Let b = -588 + j. Is b a composite number?
False
Let z = 1 - -5. Suppose z*i - 89 = 1. Let r = i - -98. Is r a composite number?
False
Suppose 0 = -4*d + 4, -3*f + 17360 = 3*d + 4616. Is f prime?
False
Let p(l) = -892*l - 19 + 6 + 345*l + 11. Is p(-3) a prime number?
False
Suppose 3*m - 1980 = -3*z, -2*m + 1785 = -z + 462. Suppose m = 5*p - 1014. Suppose -5*w + p = -0*w. Is w prime?
True
Let q(t) = t - 7. Let o be q(5). Is ((-20)/o)/((-8)/(-92)) prime?
False
Suppose -2*q + 7*q - 4057 = 4*k, k + 4*q + 1009 = 0. Let j = k - -1806. Is j a prime number?
False
Let o be ((-84634)/(-12))/(-11) - (-2)/12. Suppose 115 = -2*z - 329. Let n = z - o. Is n a composite number?
False
Let u = 3283 - 76. Is u a prime number?
False
Let j be (-8524)/(-3) - (-2 - (-7)/3). Suppose 0 = 2*g - g - j. Is g prime?
False
Suppose -5*p - 4*d = -3*d - 4551, d + 1826 = 2*p. Is p composite?
False
Let h(r) = 171*r**2 - 36*r - 8. Is h(-9) a composite number?
True
Suppose t - 16 = -3*t. Suppose -3*s = m + 3, 2*m - 6 = t*s + 4*m. Suppose o - 11 = -s*o. Is o a prime number?
True
Let y(q) = q**2 - 5*q + 6. Let w be y(4). Let u be (-2 - -1)/(3/(-30)). Is (-1)/w*u*-13 prime?
False
Suppose 5*b = 7*b. Suppose b = k - 2*c - 709, 141 = -3*k - 3*c + 2313. Is k prime?
True
Let g = 0 - -4. Suppose 55 = f - g*w - 14, w = 0. Is f composite?
True
Suppose 2*l + 6 = -2*d - l, 0 = 4*l. Is 189 + (2 - (-1 - (-4 - d))) a composite number?
False
Let n(w) be the first derivative of w**3/3 - 3*w**2 + 7*w - 3. Let b be n(-7). Let i = b + 139. Is i a prime number?
False
Suppose -5662 = -24*y + 15674. Is y a prime number?
False
Let a(i) = 861*i - 821. Is a(27) a composite number?
True
Suppose -4*r = -5*r. Suppose r*s + 104 = s. Let k = 27 + s. Is k a prime number?
True
Suppose 6 = 5*g - 3*v - 9, 0 = 4*g - 3*v - 12. Suppose -8607 = -4*h + 5*o - 10*o, g*h + 5*o = 6454. Is h a composite number?
False
Suppose -7*w + 3824 = -845. Is w prime?
False
Let c = -19 + 24. Suppose 880 = c*z - 215. Is z composite?
True
Let r(f) = -9*f**2 - 15 - 189*f + f**3 + 12 + 188*f - 22. Is r(10) a composite number?
True
Let c = 7418 + 27731. Is c a composite number?
False
Let q = -2962 + 4291. Is q composite?
True
Suppose -y - 3*m + 689 + 1275 = 0, 3*m + 7856 = 4*y. Suppose -y = -s - 3*s. Is s a composite number?
False
Suppose -4*k = -2*a - 2280, -3*k + 5*k + 2*a = 1146. Is k prime?
True
Let r(s) = s**3 - 15*s**2 - 3*s - 19. Let z be r(14). Let h = z - -176. Let n = -42 - h. Is n a composite number?
True
Let i = -32 - -35. Let k be i/(-4) - (-276)/48. Suppose -h + 4*f = 2*f - 595, -k*f = -h + 607. Is h a prime number?
True
Let r = 2413 - 384. Is r a composite number?
False
Let h(d) = 9*d**3 + d**3 - 5*d**2 - 13*d**3 + 16*d + 1. Is h(-7) a prime number?
True
Let w(o) = 5*o**2 + o - 11 + 3*o**2 - 4*o + 7*o. Is w(7) composite?
False
Let o(w) be the second derivative of -w**5/20 - w**4/4 + 2*w**3/3 + 3*w**2 + 4*w. Let c be o(-4). Is (c + -4)/(4/7042) composite?
True
Suppose 12*n - 685 = 7*n. Is (n - (2 + 0)) + -1 prime?
False
Let l(i) = -1098*i + 59. Is l(-7) composite?
True
Suppose -2*l - 2*l = -8. Suppose 0*n + 4*n + 26 = 5*d, 2*n = -2*d - 4. Suppose -d*g = l*o, -5*g = 5*o - 3*o + 12. Is o a prime number?
False
Suppose 4*p - 56 - 8 = 0. Suppose -p*d + 12*d = -20652. Is d a prime number?
False
Suppose 0 = d - 3*d + 5*t + 4, -6 = -3*d + 4*t. Suppose -2*r = -d*y + 2108, -5*r + 3169 = 3*y - r. Is y prime?
False
Let x be (5 - -7)*1/2. Let z = x + -4. Suppose 57 = m + z. Is m composite?
True
Suppose -i - 2333 = -2*i. Suppose 0 = 12*r - 4251 + 21195. Let n = r + i. Is n prime?
False
Suppose 11 = -3*h + 26. Suppose -h*u + 3*u = -6. Suppose 2*w + 119 = u*w. Is w a prime number?
False
Suppose 36*n = 51*n - 24615. Is n composite?
True
Suppose 3*f + 5*s + 7 = 2*f, -4 = 4*f - 4*s. Is (-1)/(f + (-207)/(-105)) a composite number?
True
Let x = -28 - -33. Suppose -3*i + 5*g + 214 = 0, 6*i + x*g = 2*i + 297. Let l = 40 + i. Is l a prime number?
True
Let f = 13 + -9. Let s be 117/(-18) - 2/f. Let u = 26 - s. Is u prime?
False
Suppose -498 = 3*g - 3705. Is g a prime number?
True
Let a(q) = 80*q - 79. Let l(v) = -81*v + 79. Let k(w) = -5*a(w) - 6*l(w). Is k(19) composite?
True
Let m = -31297 - -88014. Is m prime?
False
Suppose -4667 = 3*c + 2137. Let x = -1549 - c. Is x prime?
True
Suppose 0 = 5*z - 4*z. Suppose z = 3*r - r. Suppose r = -0*c + 5*c - 295. Is c prime?
True
Suppose -c - 4*t + 9193 = -7*t, -3*c = t - 27539. Is c a prime number?
True
Let m(w) = 179*w**2 - 2*w + 1. Suppose 6 = 5*a - 9. Let h be (9/a - 2) + 1. Is m(h) a composite number?
True
Let m(i) = -5*i - 1. Let j be m(-1). Suppose -j*a + 1661 - 169 = 0. Is a a prime number?
True
Let u = -111 + 121. Let t = u + 247. Is t a prime number?
True
Let d be 2 + (-4 - (-1 + -1)). Suppose d*g = 4*l - 2*g - 636, 0 = -2*l - g + 310. Is l a composite number?
False
Let o be -4*(-12)/80*5. Suppose -3*u = o, 0*p = -2*p - 5*u + 1013. Is p a prime number?
True
Let m = 8095 + -1316. Is m a composite number?
False
Suppose -3*u = 2*d - 2 - 0, u - 14 = 2*d. Suppose -p = -u*x - 2705, 5*p = 2*x + 2*x + 13525. Is p composite?
True
Let j be ((-5)/3 + 0)*-3. Suppose j*n - 2532 = n. Is n a prime number?
False
Let s(c) = -4*c**2 + 5. Let k(x) = x**2 - 1. Let b(l) = 5*k(l) + s(l). Let i be b(1). Is (i/2)/((-1)/(-258)) a composite number?
True
Let q(p) = 4*p**3 - p + 1. Let z be q(1). Suppose 0 = 2*f - 2*v - 389 + 15, -z*v = 2*f - 398. Is f composite?
False
Let i(x) = -19*x**3 + 21*x**2 + 35*x - 4. Is i(-7) prime?
True
Let x(v) = 4*v**2 - 23*v + 38. Let c(a) = -a**3 - 10*a**2 - 12*a - 6. Let w be c(-9). Is x(w) a composite number?
False
Is ((-10)/10)/(3/(-4629)) a composite number?
False
Suppose -151*i = -147*i - 9268. Is i a composite number?
True
Suppose -6*v = 544 - 2302. Is v a prime number?
True
Suppose -2*j - 5*j = -98. Suppose -18*w + j*w = -5524. Is w composite?
False
Suppose -s - 4*s + 10 = 0. Let x(w) = w**3 - 3*w**2 + w + 2. Let z be x(s). Suppose -5*d + 21 = -0*d + k, -d + k + 3 = z. Is d composite?
True
Let v(z) = z**3 - 6*z**2 + 2*z - 7. Let d = -3 + 5. Let c be d/(-12) + (-165)/(-18). Is v(c) a composite number?
True
Suppose -16*k = 12*k - 36148. Is k composite?
False
Let i(g) = 1608*g**2 - 2*g - 21. Is i(-5) prime?
True
Let x be (2/6)/((-4 - -9)/90). Let a(u) = 153*u - 11. Is a(x) a composite number?
False
Suppose 5*t - 140*r - 375857 = -142*r, 150362 = 2*t - 4*r. Is t prime?
False
Let q be 0/1 - (-1 - -1). Suppose -j + 5*s + 45 = 4*j, -4*j + 2*s + 32 = q. Is (-1207)/34*(1 - j) prime?
False
Let p(l) = -2*l + 11. Let k be p(3). Suppose 5*v + m - 4439 = 0, k*m = -7*v + 3*v + 3568. Is v composite?
False
Let c be (4 + -6 + 1)/1. Is ((-5548)/16 + -3)*(c - 3) composite?
False
Let b(a) = 50*a**2 + 23*a + 55. Is b(16) prime?
False
Let a = -67 - -99. Let g = 621 - a. Is g a prime number?
False
Is (1 - -1082) + (-22 - -26) composite?
False
Is -12*(-171858)/(-18)*(-2)/8 a prime number?
True
Let j be 6/21 - (-44)/(-7). Let t be j*((-208)/(-6))/1. Let q = -123 - t. Is q a prime number?
False
Suppose m - 23 = -4*y, y - m - 5 + 3 = 0. Let u = 8 - y. Is 148 - (-4)/(12/u) a prime number?
True
Let w be 1 + 1 + -2 + 5. Suppose 5*q = -4*x + 1985 + 414, w*x = -2*q + 963. Is q prime?
True
Let x(f) = -f**2 + 6. Let d be x(3). Is 0 - 3847/(-6) - d/(-18) prime?
True
Suppose -2*b - 112 = 2*b. Let s be ((-9)/(-6))/(7/b). Is 96 - (-3 - s) - -4 prime?
True
Let m be ((-20)/30)/(2/(-3)). Is (0 + m - -2) + (-4970)/(-5) a composite number?
False
Suppose 0 = -0*i + i + 3. Let u be i - 12/(-3)*-3. Is ((-7)/(-1))/((-3)/u) composite?
True
Suppose -56991 = 3*x - 6*x - 3*r, 4*x = -2*r + 75996. Is x a composite number?
False
Let q(j) be the second derivative of -j**4/12 + 7*j**3/6 - j**2/2 + 4*j. Let i be q(3). Let g(n) = n**3 - 11*n**2 + 7. Is g(i) composite?
False
Suppose 4*s - 1548 = 2*o - 446, 0 = -4*s - 5*o + 1109. Let v = 387 - s. Is v a prime number?
False
Let c be (9 - 32)*-1*1. Let o(w) = w**3 - 15*w**2 + 16*w + 14. Let a be o(14). Let n = a - c. Is n composite?
False
Let o = -4 - -6. Let l(f) = -74*f**2 + 2*f. Let y be l(o). Let u = -107 - y. Is u a prime number?
False
Suppose 5*w + 2*q - 7211 + 636 =