 = 71 + -51. Let c be (-8)/q - 1072/(-5). Suppose 0 = 2*s - 4*x + 6*x - c, 4*x - 95 = -s. Is s a composite number?
True
Suppose d = 5, 2*r = -0*r + 4*d + 958. Is r prime?
False
Let m be (-2)/(2/(-3)) + 2. Is m/((-20)/(-8)) - -125 prime?
True
Let q(j) = 7*j + 6. Let k be q(-4). Let o = k + 44. Is o a composite number?
True
Suppose -c + 432 = c. Suppose 5*s - 273 = -2*f + 4*f, -4*s = -4*f - c. Is s composite?
True
Let p be (-74)/(-3)*18/4. Let r = p - 65. Is r a composite number?
True
Suppose -2*y + 189 = -217. Is y prime?
False
Let v = 12 + -6. Suppose k + v = -k, 2*o = k + 9. Suppose 14 = o*b - 19. Is b a prime number?
True
Let j(n) = n. Let h be j(3). Suppose 74 = h*l + 8. Is l a prime number?
False
Let k = 1845 + -617. Is (7/(-14))/((-2)/k) a prime number?
True
Let l(o) = -56*o - 3. Is l(-10) a prime number?
True
Let q = 128 + -50. Suppose 162 = 2*z - 4*b - 90, -5*b - 257 = -2*z. Let a = z - q. Is a a composite number?
True
Suppose -a + 117 + 39 = -5*p, -2*p - 141 = -a. Is a a prime number?
True
Let m(q) = 2*q**2 + 5*q - 6. Let o = -1 + 4. Suppose -1 = o*j + 14. Is m(j) prime?
True
Let n(t) = 4*t**3 + 2*t**2 + 7*t + 2. Let z(g) = -3*g**3 - g**2 - 6*g - 2. Let b(h) = 5*n(h) + 6*z(h). Is b(3) prime?
False
Suppose -5*o = 5*m - 10, 4*o + 5*m = 8 + 1. Is (o + -3)*-213 + 1 a composite number?
True
Let j(p) = -5*p**2 - 3*p**2 - 1 - p**3 + 5*p**2 - 2*p**2 + p. Let w be j(-5). Is (-9)/w*1398/9 prime?
True
Suppose -6*b + 2*b = -1500. Is b/20 - (-2)/8 composite?
False
Is (((-12)/4)/(-9))/(1/5709) a composite number?
True
Let v(s) be the first derivative of -s**4/4 + 4*s**3/3 + 9*s**2/2 - 2*s + 1. Let n be v(6). Let l = 1 - n. Is l a composite number?
True
Let j = 2 + -3. Let y be ((-57)/9)/(j/21). Suppose 5*p - y = -2*m, -29 + 100 = 3*p - m. Is p composite?
True
Let t(i) = -i**3 + 3*i**2 + 2*i + 2. Let o be t(4). Let z be (-3)/(-4) + o/(-24). Let n(f) = 11*f**3 - 2*f**2 + 2*f - 1. Is n(z) a prime number?
False
Let k be (3/(-2))/((-3)/(-20)). Suppose 0 = -2*z - z - 315. Is (k/(-6))/((-5)/z) a prime number?
False
Let z be -2 + 1*(6 + 1). Suppose -5*u = 3*h + 18, -z*h - 3*u = -10*h + 4. Is (-23)/((h + 0)/1) a composite number?
False
Suppose i + 3*i + 8 = 0. Let w = -27 + 25. Is (i - 47/w)*2 a prime number?
True
Suppose 0*d - d = 0. Suppose d = -x + 19. Is x a composite number?
False
Let q be (-2 - -3)*3 - 3. Suppose q = 4*w - 551 - 353. Is w a prime number?
False
Suppose u - 1 = -0*u. Let x(g) = 7*g**2 + 11*g + 6. Let a(i) = i. Let t(l) = u*x(l) - 3*a(l). Is t(-7) a composite number?
False
Suppose -2*v + 2 = -4. Suppose -v*t + 68 = 2*u - 53, u + 180 = 5*t. Is t a prime number?
True
Let q = 1018 + -177. Is q a prime number?
False
Is 46/(-23) - (-678)/2 a prime number?
True
Let b(d) = -d**2 + 8*d - 2. Suppose -2 = 5*a - 42. Let h be b(a). Is (h + 1 - 1) + 69 a composite number?
False
Suppose 2*y + 157 = -237. Is -2*(3 + y/2) prime?
True
Let s be 2*(-2)/(2 - 4). Suppose 3*m + x - 18 = -0*x, 0 = -s*m + 5*x - 5. Let f(b) = 25*b + 4. Is f(m) composite?
True
Let l be -79 + (0/2)/(-3). Is (7 - 4)*l/(-3) prime?
True
Let u(v) = -16*v - 1. Let d(x) = -33*x - 3. Let q(m) = -6*d(m) + 11*u(m). Is q(7) prime?
False
Let m = 93 - 74. Is m prime?
True
Let k = -27 - -69. Let x = k + -11. Is x a composite number?
False
Let k = 6 + 1. Let d = k + -5. Suppose -n = d*n + 4*r - 58, 48 = 2*n - 2*r. Is n composite?
True
Let k be (-2)/(-6) + (-4)/(-6). Suppose 5*a = a - 3*u - 2, 3 = a - u. Is 1 + 1*k/a a composite number?
False
Is -6 + 7 - (1 - 127) composite?
False
Let b(r) = -5*r**2 + 8*r - 3. Let y be b(8). Let s = y - -368. Is s a composite number?
False
Let m = 482 + -228. Suppose 0 = 2*a - 4*a + m. Is a a prime number?
True
Suppose -5*y = -1915 - 2520. Is y composite?
False
Let w(d) = 84*d - 2. Is w(6) a composite number?
True
Let b = -9 + 9. Suppose b = -3*d + 5*q + 67, -3*d - 4*q + 18 + 31 = 0. Is d prime?
True
Suppose -4*c - 2*m = -3*c - 3, -4*m = 3*c - 9. Let h be (-706)/(-4) + c/6. Suppose 0 = -0*u + 3*u - h. Is u composite?
False
Let q = -141 - -219. Suppose -5*m = -27 - q. Is m a prime number?
False
Let x = -87 + 854. Is x a composite number?
True
Is 2225/15 + 2/(-9)*-3 a prime number?
True
Let q = 11 - 6. Suppose 3*p = 4*p - q. Suppose -i - p*c = -35, -3*i + c - 140 = -7*i. Is i a prime number?
False
Is (-1176)/(-15) + 9/15 prime?
True
Suppose -4*u + 1413 = m, 4*u + 3*m = 4*m + 1419. Suppose -3*p = -p - u. Is p composite?
True
Let w(x) = -x**3 + x**2 - x + 127. Let a = 9 + -9. Is w(a) composite?
False
Suppose 0 = -3*g - g + 172. Let k(z) = z - 1. Let c be k(6). Let w = g - c. Is w a prime number?
False
Let k = -28 - -267. Let n = 726 - k. Is n prime?
True
Suppose -12 = -6*c + 3*c. Is (c + (-13)/3)*-174 a composite number?
True
Suppose 3*i + 5*b + 235 = 1921, 0 = -4*b + 12. Is i composite?
False
Suppose 0 = -4*m + m + 1167. Is m prime?
True
Let i(x) = -x**3 + 17*x**2 + 24*x - 13. Is i(17) a prime number?
False
Suppose -5*y + 0*y = 0, 0 = 2*i - 4*y. Suppose -3*p = -2*s - i*p + 6, -3 = -s - 3*p. Suppose 0*f + 255 = 3*f + 3*v, -s*f + 3*v = -267. Is f a composite number?
True
Let g(h) = -h**3 + 14*h**2 + 17*h - 20. Let r be g(15). Is (246/5)/(4/r) composite?
True
Let f = -1 + 1. Let i = 4 - f. Suppose 3*w - i*g - 57 = 0, -38 = -2*w - 0*g - 3*g. Is w a prime number?
True
Suppose 0 = 3*a - 5 - 7, 2*a = -5*i + 5553. Is i composite?
False
Suppose a = 2*i + 589, 0 = -0*a - a - 2*i + 597. Is a prime?
True
Let y = -5 - 1. Let r = y - -12. Is r/(-10) + (-433)/(-5) composite?
True
Suppose -1458 - 1100 = -2*q. Is q a prime number?
True
Suppose -u - 5*h + 864 = 0, -3*h + h = -4*u + 3566. Is u prime?
False
Let y = -4 + 6. Suppose -y*p + 3 = -3. Suppose 0 = r - p*r + 20. Is r composite?
True
Suppose 3*u = -z + 4051, 0 = u + 3*z - 693 - 652. Is u a prime number?
False
Suppose l + 0*n + 4*n = 446, -2*l = 3*n - 892. Is l a prime number?
False
Suppose z - 1366 = 3*z. Let o = z + 970. Is o prime?
False
Suppose 1303 = 4*c - 1205. Is c/27 + (-4)/18 a composite number?
False
Let w be (-8)/28 - (-1234)/7. Suppose 0 = 5*y - w + 1. Is y a prime number?
False
Suppose -i - 18 = -4*i. Let d = -8 + i. Is -3 - -154 - d/(-1) prime?
True
Suppose 0 = -3*o + 605 - 131. Is o a composite number?
True
Suppose -z + 2*o + 65 = 0, -5*z + 211 + 128 = -3*o. Is z composite?
True
Is ((-174)/(-9))/(10/165) composite?
True
Let l be (0 - (-3)/(-5))*-5. Suppose d + l*d = 20. Let z(c) = 2*c**2 + 5*c + 2. Is z(d) a prime number?
False
Suppose 0 = -3*q - 0*q + 9. Is (0 - q)/(-1)*71 a composite number?
True
Suppose a = -0*a. Suppose 0 = -a*l + 5*l - 20. Suppose l*g = -v + 127, -4*v = 6*g - g - 508. Is v a prime number?
True
Let h be ((-4)/(-6))/((-3)/9). Let w(t) = -17*t**3 + 3*t**2 + 8*t + 5. Let y(q) = 18*q**3 - 3*q**2 - 9*q - 6. Let c(f) = 7*w(f) + 6*y(f). Is c(h) composite?
True
Suppose 5*r - l = -5*l + 135, -3*r + 5*l + 118 = 0. Is r a composite number?
False
Let w(u) be the first derivative of -6*u**2 - u + 4. Is w(-2) a prime number?
True
Suppose -5*m = 5*v - 20, -v + 0 + 1 = -2*m. Is 146/v - 3/(-9) composite?
True
Let r = 13 + -10. Suppose -4*f + 326 = -2*x - 0*x, -r*x = -2*f + 173. Is f a composite number?
False
Suppose -2*z + 649 = 5*b, 619 = 2*z - 0*b - 5*b. Is z composite?
False
Suppose -4*z = -5*a + 6*a - 693, -5*z = -2*a + 1412. Is a prime?
True
Is 2582 + 0 - (8/1 - 7) a prime number?
False
Suppose -2*n - 47 = -5*x + 25, -2*x + 36 = -n. Let y = n - -238. Suppose -174 = -2*k + 5*h, 2*k - 3*h - y = -36. Is k a prime number?
False
Let r(j) = 5*j**2 - 3*j + 3. Let b be r(3). Let w be (-1)/(-4) - (-47)/4. Let o = b + w. Is o a prime number?
False
Let o be 1792/20 - (-4)/10. Suppose -d + o = a, 3*a = -3*d + d + 265. Let b = -54 + a. Is b a prime number?
True
Suppose 0 = 3*n - 16 + 1. Let f(v) = 25*v - 4. Let d be f(n). Let q = -62 + d. Is q prime?
True
Let a = 197 - -823. Suppose -3585 = -5*x + 2*l, x - 2*l + 3*l = 710. Let b = a - x. Is b prime?
False
Let m = -67 + 39. Let g = m - -147. Is g a prime number?
False
Let x = 11 - 6. Suppose 4*d + 8 = 5*y - 0, 2*d + 14 = x*y. Is -14*2/y*-1 prime?
True
Let j(i) = i - 3. Let t be j(3). Let d be 0/3 - (6 + t). Is 1/(d/(-69))*6 a composite number?
True
Is ((-639)/12)/((-18)/312) composite?
True
Let r be 30/(-4)*(-8)/12. Suppose r*c = 3*o + 142, -3*o + o - 112 = -4*c. 