) = -23*x - 6. Let g(u) = 24*u + 5. Let m(z) = -3*g(z) - 2*y(z). Is m(-7) composite?
False
Suppose 4*d - d - 4*x + 13 = 0, 0 = 5*d + 5*x - 25. Let z(r) = 2*r**2 + 6*r + 4. Let s be z(-6). Is d + (s - 0) + -2 composite?
True
Let h = 533 - -678. Is h a prime number?
False
Suppose 3*o = -4*g + 17, -30 = -5*g - 0*o + 5*o. Suppose -g*h = -h - 24. Is 460/h + 2/6 a composite number?
True
Let q(o) = 7 - 5 - 1 + 3*o. Is q(6) a composite number?
False
Let r be -34*(-3)/6*25. Suppose -3*v + 207 = -3*l - 27, 5*v + 2*l = r. Is v a composite number?
False
Suppose 0 = 3*x + x - p - 90, -5*x + 116 = -3*p. Is x a composite number?
True
Suppose -h + 124 = 2*b, b + 3*b - 248 = -5*h. Suppose 0 = -4*x - 5*q + 441, -2*x + b = -5*q - 151. Is x prime?
True
Is ((-8226)/(-21) - 1) + 6/21 a prime number?
False
Suppose -2*p = -354 - 140. Is p a prime number?
False
Let v(k) = 116*k + 41. Is v(11) a prime number?
False
Suppose 0 = -4*u + 3*p - 17, 5*u = -p - 6 - 1. Is 0 + -1 + u - -74 prime?
True
Let b be (-4)/(8/1193)*-2. Suppose o - 1247 = -i - 59, o - 4*i - b = 0. Suppose 3*r - 385 = -2*s, -5*s + r + o - 235 = 0. Is s composite?
False
Let t(w) = 3*w**3 - 4*w**2 - w + 4. Is t(3) a composite number?
True
Let l(k) = 7*k**2 - 6*k - 2. Is l(-5) prime?
False
Let x(i) = 538*i + 3. Is x(1) prime?
True
Suppose 3*u - 207 = -3*o, -226 = -3*o - 5*u - 23. Is o prime?
True
Is ((-146)/(-4))/((-3)/(-18)) a composite number?
True
Let o = -1 - -3. Suppose 138 = o*s - 116. Is s prime?
True
Let n(b) be the third derivative of 59*b**5/20 - 2*b**2. Is n(1) prime?
False
Let z(h) = h**3 + 13*h**2 + 7*h + 1. Is z(-6) composite?
False
Suppose 4*y = 3*y + 20. Let a be (26/(-4))/((-5)/950). Is 2/8 + a/y a composite number?
True
Suppose 0 = 3*z - 9. Is (-119)/3*(0 - z) a prime number?
False
Let i(m) = -m**3 + 2*m**2 + 3*m - 1. Let y be i(-3). Suppose -12 + y = r. Is r composite?
False
Let u(j) = j**3 - 3*j**2 + j + 2. Let m be 3*4/6*1. Let p be u(m). Suppose 2*x + 5*i - 2*i - 146 = p, -4*x = -2*i - 324. Is x composite?
False
Suppose 0 = y + 4*w - 9, -y + 5 = -2*w + 4*w. Let l be (y/2)/(1/10). Suppose -l*s - 5 = 20, 0 = 2*o + 2*s - 32. Is o prime?
False
Let l(x) = x + 12. Let w be l(0). Let f = -10 + w. Suppose 4*o - 952 = -4*u, 5*u + 1150 = 5*o + f*u. Is o prime?
True
Let m(b) = b**3 - 4*b**2 - 6*b + 5. Let g(r) = r**3 + r + 5. Let l be g(0). Let p be m(l). Suppose f + 5*n = -2*f + 185, p = 5*n - 20. Is f composite?
True
Let o(p) = -p**2 + p - 1. Let q(r) = 3*r**2 - 11*r + 7. Let v(z) = -4*o(z) - q(z). Let b be v(-8). Suppose -b*i + 366 + 164 = 0. Is i a composite number?
True
Let v(w) = w**2 - 3*w + 3. Let z be v(3). Let s = 343 - 24. Suppose -s = -z*j + 116. Is j a composite number?
True
Let i = -4 + 7. Suppose -i*a + a + 586 = -h, 0 = -h. Is a a composite number?
False
Let c be 1*(-1081 + 1)/(-4). Suppose 2*y - 5*h - 54 - 57 = 0, c = 5*y - 5*h. Is y prime?
True
Let p(s) = s**2 + 5*s - 1. Let n be p(-6). Let t = 413 + -28. Suppose t = n*j - 0*j. Is j a composite number?
True
Suppose o + 2*q = -2*o + 351, -464 = -4*o - 4*q. Let r = o + -52. Is r a composite number?
False
Let m(o) = -o + 6*o + 2*o. Suppose 0 - 20 = -4*a. Is m(a) a composite number?
True
Suppose -2*u - 1 = 7, 3*w = 3*u - 57. Let j = 57 - w. Let d = j - 43. Is d prime?
True
Let m(q) = 3*q - 5. Let f be m(3). Suppose 0 = f*a + 2*p - 354, -3*a - p + 268 = -0*a. Is a a prime number?
False
Suppose 2*h - 6803 = -5*u, -h = -9*u + 8*u + 1362. Is u a prime number?
True
Suppose 0 = 5*n - 6*n + 6. Suppose n*u = u + 115. Is u a composite number?
False
Suppose -5*r = 0, -c = -6*r + r + 10. Is 13656/40 - (-4)/c a composite number?
True
Suppose 0 = 3*z, 4*i - 655 = -4*z + 1237. Is i composite?
True
Suppose -b + 144 = 4*l, 2*l = 5*b + 7*l - 705. Suppose 4*x = 1152 - b. Is x a prime number?
False
Suppose -83 = -4*l + 21. Let p(d) = -d**2 + 5*d - 2. Let a be p(2). Suppose 47 = a*t - 3*c, -2*t + 5*c = c - l. Is t composite?
False
Suppose -4*a + 16 = -132. Is a a prime number?
True
Let c = -362 + 646. Suppose -w = -5*m + 741, 4*m - 2*w - 304 = c. Is m composite?
False
Is (-324)/(-14) + (-3)/21 composite?
False
Suppose -2*i = i + 3*x - 378, -4*i = -2*x - 486. Let r = 182 - i. Is r prime?
True
Suppose -4*m - 20 = -2*w, -w - 4*m - 20 = -0*m. Suppose w = -6*o + 3*o + 6. Let i(c) = 4*c**2 - c - 1. Is i(o) prime?
True
Let a be 1/(-4) - (-3976)/32. Suppose a = 4*o - 112. Is o prime?
True
Let l(k) = -4*k**2 + 4*k + 2*k**2 + k**2 + k + 3. Suppose 2*m - 3*g + 0*g + 1 = 0, -7 = 2*m - 5*g. Is l(m) prime?
True
Let l(g) = -1 - 2*g + 4*g - 1 + g**3 - 2*g**2. Is l(3) prime?
True
Let w = -1645 - -3162. Is w prime?
False
Let m(f) = 35*f. Let r be m(1). Is 7/r + (-1148)/(-10) composite?
True
Suppose -a - 7 = -6. Is (a/(-2))/((-5)/(-3890)) composite?
False
Suppose -4*l + 369 - 53 = 0. Is l composite?
False
Let k(g) = g**3 + 6*g**2 - 6*g + 8. Let i be k(-7). Let x = 6 - i. Suppose 3*n = x*u + 14, -3*n + 5 = -u - 5. Is n a prime number?
True
Suppose 28 = 4*q - 0*q + 2*l, 2*l = 8. Let t(i) = i**3 - 3*i**2 - 8*i + 5. Is t(q) prime?
False
Suppose -6*o = -3*o + 18. Is 200/6 + 2/o a composite number?
True
Let s(i) = 33*i + 2. Is s(13) prime?
True
Suppose 2*l = 3*t + 3, 4*l = 2*l - 3*t - 15. Let x(w) = -w. Let k(o) = -21*o - 2. Let c(a) = k(a) - 4*x(a). Is c(l) a composite number?
True
Suppose 2*a = -5*p + 959, -7*p + 4*p = -a + 452. Is a a composite number?
False
Let p be (-1)/(3/(-30)) - 2. Suppose -4*v = h - 18, 4*h + 3*v - p = 64. Let g = h + -5. Is g prime?
True
Suppose -3*f + 7*f + 64 = 0. Let b = -9 - f. Is b prime?
True
Suppose 2*a = -0*a + 1288. Let d = -195 + a. Is d a composite number?
False
Suppose -5*g + 9*g = -20, 2*g + 1052 = 2*k. Is k prime?
True
Let t(k) = -80*k - 1. Let h be t(-1). Suppose -d + 9 = 3. Suppose -5*n = -d*n + h. Is n a composite number?
False
Let a(c) = c**3 - 6*c**2 + 8*c - 14. Is a(9) prime?
False
Let v = -3 + 3. Let k be -26 - (-1)/(-3)*v. Let f = k + 49. Is f a composite number?
False
Let r(g) = -g**3 - 10*g**2 - 9*g - 3. Let p be r(-9). Is (-1 + -216)*(p + 2) a composite number?
True
Let t = 1674 + -317. Is t a prime number?
False
Suppose -858 = n - 4*n. Suppose -2*p + 3*p = n. Suppose 4*x - 6*x - 4*i = -p, 546 = 4*x - 5*i. Is x composite?
False
Let t = -884 - -2343. Is t a composite number?
False
Suppose 3*b - 2*b = -5*w + 12, -2*b + 2*w = 0. Suppose -5*s + 1 = b*z + 49, -3*s - 44 = 5*z. Is 1338/4*s/(-12) composite?
False
Let x(t) = 9*t**2 - 7*t - 7. Is x(-5) a prime number?
False
Suppose 3*k = 2*r - 0*k - 1171, 0 = 4*r - 3*k - 2345. Is r a composite number?
False
Let r(f) = f + 91. Let x(c) = 5 + 4*c - 3*c - c**2 - 3. Let u be x(2). Is r(u) composite?
True
Suppose 3*r - 10 = -2*r, 245 = x - 4*r. Is x a prime number?
False
Let f(n) = -n**3 - 4*n**2 - 2*n - 5. Suppose -h - 3*h = 16. Let q be f(h). Suppose -b + q*b - 28 = 0. Is b a prime number?
False
Let z(x) = -x**3 - 6*x**2 + 7*x + 6. Let s be z(-7). Let g = s + -1. Is (-5)/g + (-1 - -60) prime?
False
Suppose 0*r - 252 = 2*r. Suppose a + 272 = -3*f, 0*f - 10 = 2*f. Let l = r - a. Is l composite?
False
Let c(w) = w**2 + 8*w + 3. Let q be c(-8). Let b = q + 30. Is b a prime number?
False
Let j(n) = n**2 - 4*n + 11. Is j(-12) a prime number?
False
Suppose -j + 69 = -226. Is j composite?
True
Let r(u) = u - 3. Let i be r(3). Let v(q) = 2*q**2 - 3*q + 5. Let x be v(4). Suppose 86 = 2*o - i*o + 4*k, 5*k = -x. Is o a prime number?
True
Let a = -6 - -11. Suppose 36 = -2*i + a*i. Is 4/i - 92/(-3) a prime number?
True
Let w be ((-56)/35)/(1/5). Let h(t) = 2*t**2 + 10*t - 5. Is h(w) a composite number?
False
Let c(t) = -24*t. Let y be c(-1). Let x = -9 + y. Is x prime?
False
Let o = 236 - 73. Is o a prime number?
True
Suppose -5*u = -4*s + 20, -4*u - 6 - 4 = -2*s. Suppose 27 = -2*n - 3*n + 3*f, -4*f + 1 = s*n. Let y = 14 + n. Is y composite?
False
Let g = 1304 + -613. Is g a composite number?
False
Let d = 5 - 1. Is (-1742)/(-18) + d/18 a prime number?
True
Let t(q) = q**2 + 3*q - 9. Is t(-7) composite?
False
Let w = -2018 + 3967. Is w composite?
False
Suppose -3*j - 2513 = -2*w, 0*w + 3*j = 4*w - 5035. Is w a composite number?
True
Suppose -10 - 166 = 4*k. Let y = 75 + k. Is y composite?
False
Let v(i) = 190*i - 5. Is v(3) composite?
True
Let s = 21 + 266. Is s prime?
False
Let a(i) = 2*i - 1. Su