 m. Is t a composite number?
True
Suppose -5*z = -5*c - 8*z, 4*z = 5*c + 35. Let s = -2 - c. Is (22 - s)*(-1)/(-3) a composite number?
False
Let p = -1 - -12. Let n(f) = 19*f - 6. Is n(p) a composite number?
True
Suppose -2*l + 159 = -i, -5*i = -2*l + 126 + 37. Is l composite?
False
Suppose 0 = 2*s + 3*j + 7, 5*s + 3*j - 25 = 4*j. Suppose 2*l = -s*c + 366, 2*c = -2*c + 20. Let a = -120 + l. Is a a composite number?
False
Is 22/(-132) - 139/(-6) a composite number?
False
Suppose -5*i + 1 = -9. Let h(u) be the third derivative of 89*u**4/24 + u**3/6 - 4*u**2. Is h(i) a prime number?
True
Let i(f) = f**2 + 5*f - 2. Let w be i(-6). Let q be (-10)/15 - (-208)/6. Suppose -w*d + 134 = -2*l + q, -3*l - 124 = -5*d. Is d composite?
True
Let i be (-44)/1*5/(-10). Suppose -5*m = 5*k + 50, 2*k + 3*k + 2*m + 53 = 0. Let z = i - k. Is z a composite number?
True
Suppose -2*q + s = 5*s + 112, 5*q + 210 = 4*s. Let l = -21 - q. Is l composite?
True
Suppose 629 = i + k - 257, 3*i - 2660 = -k. Is i a composite number?
False
Suppose 5*z = 2*k - 10, 6 = k + 4*z + 1. Suppose -2*v + 9 = h, -h = 2*h + 4*v - 21. Suppose -k*y + 74 = -h*y. Is y prime?
True
Suppose 0 = 2*y - 81 - 329. Is y composite?
True
Let u be (-4)/((-12)/9) + 1. Suppose -2*j - 5*h = -223 - 11, u*h + 651 = 5*j. Is j a composite number?
False
Let b = 12 + -4. Is 714/b + (-2)/8 prime?
True
Suppose 0 = 5*s - 0*s - 20. Suppose -2*t = -s*t + 4*i + 118, 2*t - 106 = -2*i. Is t a composite number?
True
Let b(j) = 0*j + 4*j**2 + j - 1 + 0*j**2. Is b(4) a prime number?
True
Let y = 1301 + -884. Let u = -206 + y. Is u prime?
True
Is 15/5 - (-1 + -560 + -1) prime?
False
Let u = -191 - -498. Is u a composite number?
False
Let x(t) = -2*t**3 + 5*t + 8*t**2 + t**3 - t**2 + 0*t**2 - 9. Let v be x(7). Suppose -3*q = -q - v. Is q composite?
False
Let k(a) = -a**3 + 7*a**2 + a - 6. Let m be k(6). Is m/2 - (-8)/8 a composite number?
False
Suppose -4*r = -2 - 82. Let g = r - 10. Is g prime?
True
Suppose 0 = -2*i + 4*l + 18, -l = -2*i - 6*l. Suppose i*r + k = 19, -3*r + 3*k = r - 19. Suppose -5*t + 157 = -g, 2*g - 58 = -r*t + 2*t. Is t composite?
False
Suppose 0*p = 4*p + 4. Is (158/6)/(p/(-3)) prime?
True
Suppose 3*x - 2*p + p = 3, 15 = -5*p. Suppose 5*u - 21 - 74 = x. Is u composite?
False
Suppose 3*k = -5*u + 12, u + k = -k + 1. Let g(w) = -5*w - w**3 + 4*w + u + 0*w - 3*w**2. Is g(-3) composite?
True
Suppose 2*p = -p + 9. Let n be 4/(-14) - 7/(98/(-46)). Suppose 0 = -n*m + 2*u + 106, p*m - 104 = 2*u - u. Is m a prime number?
False
Suppose 4*m - 112 = 2*r + 110, 0 = 5*m + 2*r - 273. Suppose -b = m - 243. Let t = 315 - b. Is t composite?
False
Suppose -4*u - 3*o = -935, -2*o + 3 = 1. Is u prime?
True
Let h = -95 - -254. Is h composite?
True
Let s(w) be the third derivative of -4*w**4/3 - 5*w**3/6 + 6*w**2. Is s(-6) a prime number?
False
Let f = 19 - -392. Is f prime?
False
Let n be (-2)/4*(-534 - 4). Is n/(-1 + 3 + -1) composite?
False
Let k = 6 + 74. Let p = 292 + k. Suppose 3*d = -d + p. Is d a composite number?
True
Let d = 639 + -294. Let u be (-1)/(-2)*(-2 - -2). Suppose -3*g = -u*g - d. Is g prime?
False
Suppose 2*z - 6 = -z. Let t(d) = 19*d - 3. Is t(z) a composite number?
True
Suppose 3*b + 0*b + 3 = 0. Let m be -13 - b/(-1)*-1. Let r = m - -27. Is r a prime number?
False
Let v(d) be the second derivative of d**4/4 - 2*d**3/3 + d**2 + d. Is v(2) composite?
True
Suppose 3*t - d = 14, 5*t - 4 = d + 18. Suppose 5 = 3*q - t. Suppose -6*k + 45 = -q*k. Is k composite?
True
Let u(a) = -a**3 + 5*a**2 - 3*a - 4. Let s be u(4). Suppose -5 = -g + 4*n + 12, s = 4*g - 3*n - 133. Is g a prime number?
True
Suppose -v + 578 = -105. Is v prime?
True
Suppose 2*u = 3*z - 473, -6*u + u - 485 = -3*z. Is z prime?
False
Suppose 2*m + 33 - 211 = 0. Is m prime?
True
Suppose -4*l - r - 219 = -4*r, 2*r = 4*l + 214. Let s(w) = -11*w + 14. Let m be s(12). Let d = l - m. Is d a composite number?
False
Suppose 3*b - 2*t + 1 - 5 = 0, -3*t - 6 = -2*b. Suppose b*r = r, -r - 300 = -3*z. Let u = -33 + z. Is u composite?
False
Let l = -51 + 94. Is l prime?
True
Is (-32351)/(-68)*(2 + 2) prime?
False
Let i(f) = 343*f - 6. Is i(5) prime?
True
Let r(q) = -2*q - 3. Let t be r(-4). Let s be (-2)/(-8) + (-223)/(-4). Suppose 2*y - 3*x - s = 0, 6*x + 145 = t*y + x. Is y a composite number?
False
Let t = 30 - -41. Is t a prime number?
True
Suppose g = -g + 4. Suppose d + 4*d = -j + 1081, -j + 430 = g*d. Is d prime?
False
Is ((-15130)/6 + -5 + 7)*-3 prime?
True
Is (-96492)/(-77) - (-3)/(-21) composite?
True
Suppose 0*z = 4*z - 24. Suppose -3*b + 17 = -0*b + f, 2*f = 5*b - 10. Suppose -b*a - 2*t = -z, 4*t - 2 = -2*a - 8. Is a composite?
False
Suppose -4 - 14 = -2*y. Let f = y + 74. Is f prime?
True
Suppose 3*g - 285 = 690. Suppose t + g = 4*t - 2*o, t + 2*o - 119 = 0. Is t prime?
False
Let h(l) = 96*l + 1. Is h(5) a prime number?
False
Suppose -4*o + 322 = -66. Let v be (2/2 + o)*2. Suppose -4*d + v = -40. Is d prime?
True
Let t = -5 - -3. Let z be 2/(t + 4)*105. Suppose 0*a = 5*a - z. Is a composite?
True
Suppose -4*i + 3*x + 461 + 291 = 0, -4*x + 398 = 2*i. Is i a prime number?
True
Suppose 0 = -3*r - 2*r + 20. Suppose 0 = 3*k, y + 0*k + r*k = 31. Is y composite?
False
Let o(x) = -138*x + 25. Is o(-11) a prime number?
True
Suppose -o + 10 + 39 = 0. Is o composite?
True
Let y be (-1)/(((-9)/(-15))/(-3)). Suppose y*d = 5, -2*d - 325 = -2*t - d. Is t composite?
False
Let h = -5 + 5. Suppose c = 4*u + 39, h*c - 5*u = -c + 39. Is c composite?
True
Suppose -5*m + 951 = 5*c - 7*m, -4*c + m + 762 = 0. Is c prime?
True
Suppose -4*m = h - 5286, 7*h - 1329 = -m + 3*h. Suppose -907 = -4*v + m. Is v a prime number?
True
Suppose 0 = -3*u + 9 - 15. Is ((-57)/u)/((-18)/(-24)) a prime number?
False
Suppose 364 = 6*p - 1178. Is p composite?
False
Let i(p) = 63*p**2 - p + 7. Is i(-6) composite?
False
Let i = -96 - -253. Is i a composite number?
False
Suppose -8*w = -4*w - 4*i + 936, i + 4 = 0. Let t = w + 351. Is t prime?
True
Let w(k) = 18*k**2 + 3*k - 2. Let i be w(3). Suppose b = i + 105. Suppose -2*d - 4*f + b = 0, 0 = d - 4*f - 116 - 3. Is d a prime number?
True
Let n = -10 + 3. Let d(g) = -g**3 - 6*g**2 - 5*g + 5. Is d(n) prime?
True
Let b(o) = -67*o**3 + 5*o**2 - o + 3. Let g(n) = -133*n**3 + 11*n**2 - 2*n + 7. Let f(y) = -7*b(y) + 3*g(y). Is f(1) composite?
True
Let q = -50 + 885. Is q prime?
False
Let d(w) = w**3 + 5*w**2 - 5*w + 6. Let j be d(-6). Suppose j = 4*s - 130 - 106. Is s composite?
False
Let f = -1053 + 1594. Is f prime?
True
Let w(h) = h**3 + 5 - 12*h - 11 + 0*h**3 + 7*h**2. Let x be w(-8). Suppose 0*n = n - x. Is n a prime number?
False
Suppose -3*k + 167 = 15980. Let d be k/(-12) - 2/8. Suppose g - u - 95 = 0, 0 = -g - 4*g - 4*u + d. Is g a composite number?
True
Let w(b) = 17*b**2 - 8*b - 7. Is w(-6) composite?
False
Suppose -3*q + 122 = -q. Suppose 4*w - 255 = q. Is w a composite number?
False
Let t = 5 - 4. Is (-1 + (68 - 0))*t prime?
True
Let t(r) = 5*r**3 + 2*r**2 + r - 1. Let p be t(2). Suppose -b + p = f, 10*b - 5*b = 3*f + 229. Is b prime?
True
Let g be 5/((-45)/(-24))*9. Let d = g + -11. Let x = d - -40. Is x composite?
False
Suppose 5*k - 6*k - 2937 = -2*q, -4*q + 3*k + 5869 = 0. Is q a prime number?
True
Let z be 8/(-6)*(0 - 3). Let a = -2 + z. Suppose -3*g + 75 = a*g. Is g prime?
False
Let i = 270 - 450. Let v = i - -325. Is v composite?
True
Let r be (-2)/6 + 1/3. Suppose r = -4*p + 18 + 18. Is p a composite number?
True
Suppose 0 = 4*g - 3*q - 771, -5*g + 3*q - q = -962. Is g - (-1 + 8/4) composite?
False
Let u(f) = -232*f + 3. Is u(-14) a prime number?
True
Let t(g) = 2*g**3 - 12*g**2 - 14*g - 13. Is t(11) a prime number?
False
Let k(x) = 6*x. Let l be k(1). Let w(b) = 16*b + 3. Let j be w(l). Suppose 3*q = 6*q - j. Is q a composite number?
True
Let b(j) = -j**3 - 2*j**2 + 1. Let f be b(-1). Suppose -4*p + 35 = -f*w + w, -55 = -5*p + w. Is p a prime number?
False
Suppose -c = -2*c + 49. Suppose 3*a + 5*b = -c + 399, a = -4*b + 119. Is a a composite number?
True
Suppose -2*d + 4 = 0, -d + 2078 = 4*v + 2*d. Suppose 4*f - 2102 = v. Is f a composite number?
True
Let x(q) = 4*q**2 - 1. Let h be x(-1). Suppose h*i + 174 = 6*i. Is i composite?
True
Suppose 2228 = 3*s + s. Is s a prime number?
True
Let i(w) = 3*w + 19. Let c(n) = n**3 + 5*n**2