et x = 54 + 2917. Is x a prime number?
True
Suppose -3*d + 2*d = g - 1053, 2*g = -3*d + 3161. Is d a prime number?
False
Let a(h) = -3*h - 1. Let l be a(-3). Let n = 8 - l. Suppose 0 = 2*s + 2*v - 158, n*s - 2*s = -4*v - 146. Is s a composite number?
True
Let r be (-5)/(-10) + (-187)/(-2). Let q = 153 - r. Is q a composite number?
False
Let s = -1 - -4. Suppose -s*i + p = -9, 3*i - 4*i - 2*p = -10. Is 218/i + 4/8 prime?
False
Suppose -3*l = -r - 14, 3*l - 4*r - 49 + 20 = 0. Suppose 3 = w - d - 0, w = -3*d + l. Suppose 0 = -3*t + 3*b + 12, 0*b + w*b = 15. Is t prime?
False
Suppose -236 = -y - y. Is y composite?
True
Let z be (-3492)/(-8)*(-12)/(-9). Is (2/4)/(3/z) composite?
False
Suppose -4*v = -3*v - 1. Let p = v + 1. Is p a composite number?
False
Let d = 91 - -72. Is d composite?
False
Suppose 5*h = 2483 + 1842. Is h prime?
False
Let d = -26 - -29. Suppose 3*h = 12, -3*o + 5*h = -4 + 9. Suppose 0 = -p - 3*s + 221 - 67, -o*p = -d*s - 716. Is p prime?
False
Let q = 172 - 113. Suppose 0 = h - 2*h + q. Is h a composite number?
False
Let h = 9971 + -5188. Is h a prime number?
True
Let d(h) = -h + 8. Let k(j) = -j**3 + 8*j**2 + 2*j - 12. Let u be k(8). Let b be d(u). Suppose -l + 7 = 3*v - 1, b*v = -2*l + 10. Is v composite?
False
Let c = 4196 + -2229. Is c prime?
False
Suppose k + 5*r - 5 = 87, -r + 157 = 2*k. Is k composite?
True
Let y(f) = f + 8. Let h be y(-4). Suppose 0 = 3*r - h*r + 580. Suppose r = 2*w - 274. Is w a composite number?
True
Suppose 4*m = -5*t + 33, m - 5*m - t = -13. Let u = -1 + m. Suppose -13 = -a + u. Is a composite?
True
Let p = 6 + -5. Let z(c) = -78*c - 186*c + p + 0 + 0. Is z(-1) a prime number?
False
Suppose -2*l - 9 = 3*m, 3 = -4*m + 4*l + 11. Is (7/2)/(m/(-22)) a prime number?
False
Let d be (2 + -16)*39/2. Let a = 118 + d. Let n = -34 - a. Is n a composite number?
True
Suppose 5*a = 939 + 376. Is a prime?
True
Suppose 4*i = -5*v - 27, -3*i - 2*v - v - 21 = 0. Is 0/(-1) - (-45 + i) a prime number?
True
Suppose -9*x = -4*x + 2*i - 5823, 4*x = -4*i + 4668. Is x a prime number?
True
Suppose -3*c + 332 = -115. Let u = -84 + c. Is u composite?
True
Let s(o) = o**3 - 18*o**2 - 10*o - 53. Is s(19) a composite number?
True
Suppose 0 = -4*l + 2*j - 34, 4*l + 4*j + 55 = -j. Let a be (3/4)/(10/40). Is (a/2)/((-5)/l) a composite number?
False
Suppose 5*q = -3*z + 161, q + 1 = -1. Suppose z = 2*l + l. Is l composite?
False
Suppose d = -1, t = 2*t + 4*d - 247. Is t a composite number?
False
Let q(l) = -9*l**3 + 2*l**2 + 7*l + 11. Is q(-5) a prime number?
True
Let l(w) = w - 13. Let g be l(11). Is (223/g)/(2/(-4)) prime?
True
Is (-3172)/(-10) - (-7)/(-35) a composite number?
False
Let l(h) = -h - 8. Let f be l(-8). Suppose f = 3*q + q - 76. Is q composite?
False
Suppose 10*i - 5385 = 5*i. Is i prime?
False
Let z(h) be the first derivative of -3 + h**2 - 1/4*h**4 + h**3 + h. Is z(3) prime?
True
Suppose 3*h - 25 = -2*h. Let c(r) = -r**2 + 10*r - 3. Is c(h) a composite number?
True
Let j be 5/10*(12 + 0). Let b(i) = 22*i - 9. Is b(j) a prime number?
False
Suppose -5003 = -3*p + v, 5*p - 5981 = -v + 2360. Let m = p - 1117. Is m prime?
False
Suppose -2*r = -255 - 831. Is r a prime number?
False
Let o(t) = -t + 6. Let s be o(6). Let z = s + 2. Is 1/2 + 13/z prime?
True
Suppose -32*d + 33*d - 289 = 0. Is d a composite number?
True
Let s(a) = a**3 - 5*a**2 + a + 1. Suppose -11 - 4 = -3*x. Let b be s(x). Is (-886)/(-18) + b/(-27) a composite number?
True
Let n(w) = w**2 - 4*w - 1. Let c(m) = -3*m**3 - 1. Let i be c(1). Is n(i) a composite number?
False
Let l(n) = 36*n + 1. Let p(r) = 37*r + 1. Let f(q) = -2*l(q) + 3*p(q). Let b be 12/7 + (-2)/(-7). Is f(b) a prime number?
True
Let j = -4 - 0. Let p = j - -6. Suppose -r = 0, 4*d + d - p*r = 95. Is d prime?
True
Suppose 0 = 3*s - s - 6. Suppose -4*j + 591 = -s*v - 17, 145 = j + v. Is j prime?
True
Let p(i) = -i**3 - 2*i**2 + i + 1. Is p(-6) prime?
True
Let i(a) = -3*a**2 + 5*a + 2. Let n be i(4). Is (-3870)/n - 4/(-26) composite?
False
Suppose 0 = -c - 3*c + 3272. Suppose -5*b - c = -243. Let r = b + 318. Is r a prime number?
False
Let v = 146 + -61. Is v a composite number?
True
Suppose 2*n = -2*n + 264. Suppose -14 = 4*g - n. Suppose 3*y - g = 8. Is y a composite number?
False
Let t(i) = -3 - 2*i - 7*i**2 - 2 + 2. Let n(q) = 7*q**2 + 2*q + 2. Let m(f) = 4*n(f) + 3*t(f). Is m(-2) composite?
False
Let h(n) = -n**3 + 5*n**2 - 5*n - 7. Let v be h(5). Let o be 40/v*(-3 - 1). Suppose 239 = o*q - 186. Is q a composite number?
True
Suppose -4 = 4*f, 4*x - 358 = -3*f + 5*f. Is x prime?
True
Let v = 47 + -31. Is (2 - -26)*28/v composite?
True
Let m be -1*(32 + -1 + -1). Let f = m - -2. Is f*(15/(-6))/5 composite?
True
Is 4/6*(-7590)/(-20) a prime number?
False
Is (3/6)/((-2)/(-84)) a composite number?
True
Let h = 17 + -12. Suppose -56 = -h*r + 129. Is r prime?
True
Let q(i) = i**2 + 8*i + 1. Is q(-11) prime?
False
Let d = 4 + -4. Suppose 2*o = c + 259, -4*o + 509 = -d*o - 5*c. Is o prime?
True
Is (7*-1)/(5/(-85)) prime?
False
Suppose -7*t + 16 = -3*t. Suppose -2*y + 24 = -5*p - y, -t*y = p + 9. Is 10/25 - 233/p composite?
False
Let f(l) = -l**2 - 2*l + 14. Let d be f(-4). Suppose 3*m + 4*o - 222 = 0, -m + 4*m - 2*o - 204 = 0. Is m/15*d/4 prime?
True
Let z be (-2 - -1)/((-2)/4). Let o be z/(-5) + 162/5. Let p = o - 19. Is p prime?
True
Suppose z - 5*g - 1707 = 272, -5*z - 5*g = -9745. Is z prime?
False
Let b = 80 + -38. Let z be (15/(-6))/((-1)/2). Suppose r + z - b = -3*h, -5*r - 62 = -4*h. Is h composite?
False
Let i(z) = 45*z + 8. Is i(7) prime?
False
Let v = 105 - 52. Is v a composite number?
False
Let i = 14 - 21. Let u(r) = r**2 + 6*r - 9. Let g be u(i). Is 8 - g*(-1)/2 composite?
False
Suppose 2*r - 5184 = 438. Is r prime?
False
Let z(t) = -15*t - 7. Is z(-10) a prime number?
False
Let z be 3/(-2 + (-6)/(-4)). Let q = -57 - z. Let f = q + 118. Is f composite?
False
Let i(v) = -v**3 - 3*v**2 + 5*v - 2. Let n be i(-4). Is (2/n)/((-14)/6258) composite?
False
Suppose j - 176 = 143. Is j composite?
True
Let k(a) = -a**3 + 6*a**2 + 7*a + 1. Let d be k(7). Let z(c) = 78*c - 1. Let y be z(d). Suppose y = 2*h - h. Is h a composite number?
True
Let p(o) = 3*o**2 + 13*o - 3. Let k be p(-4). Suppose 3*h - 2*h + 29 = 0. Let q = k - h. Is q prime?
False
Let u = 400 - 223. Is u composite?
True
Is 1 - (-1 - -3) - -252 prime?
True
Let p(z) = z**2 + 4*z - 6. Let i = -13 + 6. Let b be p(i). Suppose q - 31 = -k + 63, 5*k + b = 0. Is q composite?
False
Let q(l) = 2*l**2 - 2*l + 1. Let d(t) = -t**2 - 5*t - 2. Let x be d(-4). Let u be q(x). Suppose 4*w + 0*w = 3*h + 188, -4*w = -u*h - 188. Is w composite?
False
Let g(t) = t - 4. Let u(s) = s**2 + 5. Let z be u(0). Let q be g(z). Is 6*q*6/4 composite?
True
Let y(v) = -v**2 + 10*v - 10. Let j = 10 + -1. Suppose -u - 2 = -j. Is y(u) a prime number?
True
Suppose 9*i - 20 = 3*t + 4*i, 2*t = 4*i - 16. Suppose -r + t*q = -3*q - 58, -2*q = -3*r + 146. Is r a composite number?
True
Suppose -4*v - 2*s = -8, -s - 5 = -v - 0*s. Suppose -25 = v*t - 88. Is t a composite number?
True
Let j = -131 - -258. Is j a prime number?
True
Is 7379/11 + (6/11)/3 prime?
False
Suppose i - 488 = 5*i. Let h = i - -227. Suppose 26 = y - h. Is y a prime number?
True
Let s(x) = -38*x + 1. Let w be s(2). Let b = w + 142. Is b a composite number?
False
Let u(l) = 12*l + 2. Is u(7) a composite number?
True
Let q = -7 - -5. Let l(x) = -43*x - 1. Let f be l(-3). Is 0 + f - q/(-2) composite?
False
Suppose -2*h + 19 = -3*k, -4*h + 3*h + 12 = -k. Suppose -2*o - 79 = -3*s, 4*o = -3*s + 32 + h. Is s prime?
True
Suppose 32 = -2*n - 2*n. Let j = n + 9. Let g = j + 2. Is g a composite number?
False
Suppose 5*a + 36 = g, 0*a - g = -2*a - 12. Is (1172/16)/((-2)/a) composite?
False
Let a(u) = -4*u + 9. Let r be a(-9). Suppose -5*g = -210 + r. Is g prime?
False
Suppose 3*p = 148 - 43. Let o(v) = 90*v - 3. Let k be o(2). Is k/7 - 10/p a composite number?
True
Suppose 2*s - 37 = -2*p + 13, 2*p = 4*s - 82. Suppose 8*z = 5*z - 24. Let m = s + z. Is m a prime number?
False
Suppose 3*n = 3*s + 5*n - 1705, 2810 = 5*s - 3*n. Is s prime?
False
Let m(l) be the second derivative of -l**3 - 3*l**2/2 + 4*l. Let a be (4/5)/((-2)/10). Is m(a) a composite number?
True
Let k = -55 + 143. Let a = -49 + k. Is a a composite num