= -t - g*s. Is t composite?
True
Let q be 11/(((-6)/(-8))/3). Let m = -7 + 42. Suppose -r + q = -m. Is r a composite number?
False
Let w = -5 - -10. Suppose 0 = -q + 3*v - 9, w*q - v = -6 + 17. Suppose 10 = 2*y + q*m, -5*y + 20 + 31 = m. Is y composite?
False
Suppose 0 = h - 14 + 2. Suppose -2*j - 2*j + h = 0. Suppose -u = j*v + 2*v - 452, 5*v + 5*u - 440 = 0. Is v a composite number?
True
Suppose 2*z - 2 = -2*n, -4*n - 3*z + 2 = -3. Let u(r) = 27*r - 1. Is u(n) a composite number?
False
Let h = -266 + 1275. Is h composite?
False
Let l(j) = 4*j**2 + 5*j + 2. Is l(-7) a prime number?
True
Let o = 4 + 0. Let p be 2/o - (-7)/(-2). Let v(r) = -3*r**3 - 2*r**2 + 4. Is v(p) a composite number?
False
Let g(o) = -183*o**3 + 2*o**2 + 4*o + 5. Is g(-2) a composite number?
True
Let n = -612 - -1165. Is n a composite number?
True
Is (4 - 10)*((-1887)/18 + -2) a prime number?
True
Suppose k - 2*i + 6*i = -35, -4*k - 3*i = 101. Suppose 5*r + 0*r - 15 = 0. Is 2*k*r/(-6) prime?
True
Suppose -2*j - 118 = 4*l - 4*j, -148 = 5*l - 3*j. Is (-8 + 1)*l/1 a prime number?
False
Suppose 2*f = -3*i + 219, 5*f - f = i - 73. Let z(b) = -144*b**2 + 2*b. Let k be z(1). Let l = i - k. Is l a composite number?
True
Let r = 3 - 11. Suppose 0 = b - 4*b + 12. Is ((-10)/r)/(b/80) a prime number?
False
Suppose 0 = -4*p + r + 450, 4*p + 4*r = -0*p + 460. Let h = p + -73. Let t = 75 - h. Is t prime?
False
Is (2 - -7)*(660/9 - -1) a prime number?
False
Suppose -2*a + 1329 = 5*i, a - 407 - 290 = 4*i. Is a a composite number?
False
Let k(a) = -a**3 + 12*a**2 - 3*a + 6. Let d be k(11). Let b = 159 - d. Is b a composite number?
True
Let v = -59 - -105. Suppose 19 = -x + 2*x. Let m = x + v. Is m composite?
True
Suppose -7051 = -3*r + 5*m, -m = -2*r - 0*m + 4710. Is r a composite number?
False
Let q(h) = -344*h + 3. Is q(-2) composite?
False
Let p be (-26)/(-7) + (-2)/(-7). Let m = p + 0. Suppose 0 = -m*b - 4*i + 348, -41 = -b + 4*i + 26. Is b a composite number?
False
Let f(n) = -n**3 + 7*n**2 - 6*n + 3. Let v be f(6). Let b(o) = -3*o - 7. Let y be b(-3). Suppose y*j - 144 = -2*z, -154 = -2*j - v*z - z. Is j prime?
True
Suppose -2*b = -2*h - 2, -3*b = h + 3*h - 17. Suppose 0*q + 705 = b*q. Is q prime?
False
Is 5/2*(-1172)/(-10) a prime number?
True
Suppose 0 = -d - 2*d + 15. Suppose -3*l + 119 + 21 = 2*b, -d*b = -5. Is l composite?
True
Let j(u) = u**3 - 5*u**2 + 5*u + 7. Is j(10) composite?
False
Suppose 0 = -2*d + 2*c + 66, 5*d - c - 193 = -3*c. Is d prime?
True
Let r(n) = -19*n - 1. Let k(m) = m**2 + 5*m + 4. Let h be k(-3). Is r(h) a prime number?
True
Suppose 2*v = -h + 1678, -2*h = 5*v - 5*h - 4195. Is v a composite number?
False
Let u(i) = 60*i**2 - 13*i - 4. Is u(-5) composite?
True
Is ((-2164)/6)/((16/(-3))/8) a composite number?
False
Suppose -4*k + 72 = 5*c + 23, 0 = 4*k + 2*c - 58. Suppose -4*q - 2*s = -5 + 31, 3*q - 2*s = -k. Is ((-148)/q)/(4/6) a prime number?
True
Let b be 1*(-1 + 3 - 0). Let a(j) = 84*j**3 + 2*j**b - 1 - 3*j + 2 + j. Is a(1) a composite number?
True
Let b = -2 - 2. Let f = 2 - b. Is 12/18 + 314/f a prime number?
True
Let h = -457 - -1002. Is h a composite number?
True
Let z be 1 - 1*(1 + -2). Let k be z/3*3 - -20. Is 334/k + 4/(-22) a composite number?
True
Suppose 1828 = 89*o - 87*o. Is o a composite number?
True
Let g(z) = -565*z + 3. Let m be g(-2). Suppose -297 = -5*o - 2*y + 1606, -y = -3*o + m. Is o composite?
False
Let f = -1 - -4. Suppose -f*v + 8 = v. Suppose v*w + 5 - 41 = -2*g, 15 = 5*g. Is w a prime number?
False
Let o(c) be the first derivative of 40*c**3 - c - 1. Let r be o(1). Suppose -5*f = -4*v + 331, -3*v - 4*f + 168 = -r. Is v a prime number?
True
Suppose 0 = 2*f + 4*n - 24, f - 4 = 4*n + 2. Suppose 0 = 3*c - 15, 2*y + 5*c - f = 21. Is (y - 2)*(23 + -2) a composite number?
True
Suppose 2*l - 4*w - 295 = -3*w, l - 4*w - 165 = 0. Is l composite?
True
Let a be (-5 - 1)*-2 + -1. Let f = -2 + a. Let u(i) = i**2 + 3*i + 11. Is u(f) a prime number?
False
Let z = 2875 + -1721. Is z a prime number?
False
Let m be (2 - 4)*45/2. Is m/(-2) - (-1)/2 prime?
True
Suppose -3*f + 2498 = -4*x, -3*x - 1861 = -0*f + 4*f. Let y = x + 1104. Is y a composite number?
True
Let k be ((-1)/2)/((-5)/60). Let h = 0 + k. Let x(t) = t**3 - 4*t**2 - 3*t + 1. Is x(h) a prime number?
False
Let v(k) = 39*k - 4. Suppose -5*n = l + 2*l - 13, -37 = -5*n + 3*l. Is v(n) a composite number?
False
Suppose -17 = 3*i - 95. Suppose -4*l - 4*b + 152 = 0, -i = -4*b - 6. Is l a composite number?
True
Let m(v) = v**3 + 4*v**2 - 9*v - 19. Is m(10) a composite number?
False
Suppose -6*p + 2*p - 2 = -5*h, -h = -3*p + 4. Suppose 3*g = -y + 69, h*y = -2*g - y + 53. Is g a composite number?
True
Suppose 3*l + 436 - 1549 = 0. Is l a composite number?
True
Let d(x) = 13*x**3 - 2*x**2 - 2*x - 1. Let o be d(-1). Let c = o - -157. Is c prime?
False
Let m(f) = -16*f. Let z be m(-4). Let j(y) = -19*y - 5. Let u be j(-9). Suppose 4*v - z = 5*w + u, v - 2*w = 59. Is v a prime number?
False
Suppose v - 25 = -3*x + 2*v, 0 = -4*x - 4*v + 12. Is x a prime number?
True
Let b(l) = -l**3 - 6*l**2 - 4*l + 7. Let x be b(-5). Suppose o = -x*o + 609. Is o prime?
False
Let x(a) = a - 3. Let f(c) = c**3 + 4*c**2. Let z = 4 - 7. Let d be f(z). Is x(d) a composite number?
True
Suppose 952 = 16*j - 8*j. Is j prime?
False
Let k = -425 - -726. Is k a composite number?
True
Let y = 5240 - 2041. Is y a composite number?
True
Suppose 0 = -v + 5*v. Suppose -45 = -v*a - 3*a. Is a composite?
True
Let x be ((-4)/(-6))/((-2)/(-345)). Is 1*(x - (-1 - -3)) composite?
False
Let w = -2 - -4. Suppose -w*x - 10 = 0, 3*h = h - x + 71. Is h a prime number?
False
Is ((-3)/(-12)*1187)/((-4)/(-16)) prime?
True
Let r(p) = 134*p + 7. Is r(5) a composite number?
False
Is (-154156)/(-24) - (-3)/(-18) prime?
False
Let v = -143 - -223. Suppose -5*n + 25 = -v. Is n a prime number?
False
Let a = 39 - -220. Is a a composite number?
True
Suppose -5 - 3 = -4*s. Suppose -83 = -s*x + 23. Is x composite?
False
Let y be (-3)/(1 - (-14)/(-8)). Suppose 0 = -y*p - 0*p + 16, z - 141 = p. Is z composite?
True
Let h(f) = -f**3 + 8*f**2 - 7*f. Let q be h(7). Suppose -4*t = 2*m - q*t - 178, -4*m + 5*t = -317. Is m composite?
False
Is 26/((6 + -7)*1*-2) a prime number?
True
Let n(z) = 4*z - 22. Suppose -9*w - 36 = -13*w. Is n(w) a prime number?
False
Let r = 551 - 18. Is r prime?
False
Let t(s) = -2*s**3 + 6*s**2 + s - 7. Let w be t(5). Is w/(-8) - 2/(-8) prime?
True
Suppose 5*h - 5*c - 35 = -10, 0 = 4*h + 4*c + 12. Let g be h - 0 - (-1 - 0). Suppose z + 5*x = g*z - 23, -2*x + 4 = 0. Is z a prime number?
False
Suppose -h + 2*h - 1651 = 0. Is h a composite number?
True
Let d(l) = -20*l - 5. Let p = -3 + 5. Suppose 0 = p*z - z + 6. Is d(z) prime?
False
Suppose -5*l - 1 - 9 = 0. Is (151 + l)/(2/2) a prime number?
True
Suppose -8*b + 140 = -3*b. Suppose 4*o - b = -12. Suppose 3*n + 56 = 2*r, 5*r - 72 - 54 = o*n. Is r composite?
True
Suppose 555 + 246 = p. Suppose -5*n + 1095 = 4*f, -5*n + p = -3*f - 329. Is n a prime number?
True
Suppose 2*r + 70 + 261 = v, 0 = -3*v - 5*r + 1015. Is v prime?
False
Let m be ((-20)/(-50))/((-1)/(-60)). Suppose 0 = t - 13 - m. Is t a prime number?
True
Suppose 8*i - 228 = 5*i. Let x = i + 241. Is x composite?
False
Let o = 6 + -15. Let j = -7 - o. Suppose 2*a = -2*d + 318, -j*a - 3*a = 2*d - 330. Is d composite?
True
Let a be (-10)/3 - 6/9. Let l = -6 - a. Is (153/(-3) - l)/(-1) composite?
True
Let o(p) = -45*p - 2. Let w(r) = 90*r + 4. Let h(i) = -5*o(i) - 2*w(i). Is h(9) a prime number?
False
Suppose -z - 2*n + 1846 = -3*n, 4*z - 7385 = 3*n. Is z composite?
False
Suppose 6*w - 4*w - 26 = 0. Is w prime?
True
Let g be (0 - -2) + (7 - 0). Let i be (16/6)/(6/g). Is 506/i - (-4)/8 prime?
True
Let b(w) = 2 + 63*w + 48*w - 20*w. Let q be b(3). Suppose 0*s - q = -5*s. Is s a prime number?
False
Let m be 47/(-7) + 2/(-7). Let n = 5 + m. Is (n - (-21)/9)*69 composite?
False
Let o(f) = -466*f - 3. Is o(-4) prime?
True
Suppose 4*s = -4*r + r + 15, -4*r + 20 = 5*s. Suppose 5*d = -3*c - 15, 2*d = 5*c - s*c - 6. Suppose 7 = z - c*z. Is z a composite number?
False
Let t be 4425/9 - 2/3. Suppose 0 = 2*c - 411 - t. Is c a prime number?
False
Let f(m) = -m**3 + 10. Let p be f(0). Suppose 0 = 5*r - p, -5*i + 6*i + 5*r = 52. Let a = i - 21. Is a a