 composite?
False
Suppose -100 = -2*l - 2*c, -29 = 2*l + 4*c - 121. Let b = 123 - l. Is b composite?
True
Let a(m) = -11*m + 7*m - 7 - 3*m**2 + 4*m**2. Is a(-8) composite?
False
Let g = -14 + 125. Suppose -5*m = 5*d - 765, -g = -2*d + m + 183. Is d prime?
True
Is 397/3 - (-8)/12 a composite number?
True
Suppose -3*g + 554 = -79. Is g a composite number?
False
Suppose 3*b - 2300 = 1189. Is b a prime number?
True
Suppose -2*b + 5*x + 274 = 0, -2*x = -2*b - 0*x + 262. Is b a prime number?
True
Let m(w) = -w**3 + 5*w**2 + 8*w - 9. Suppose -2*r + 1 = -r - 5*z, 5 = 5*z. Let y be m(r). Suppose 2*o = l - y*l + 188, 5*o = 3*l + 446. Is o composite?
True
Is 114/(-27) + 4 + 929/9 a prime number?
True
Suppose b = -2*b + 261. Is b composite?
True
Suppose 2*g - 138 = -2*g + 5*m, 0 = 5*m - 10. Is g a prime number?
True
Suppose 4*x + 19*x = 5911. Is x a prime number?
True
Let d be 7*4 - (2 + -1). Let h be 4*(-4)/(24/d). Is (-850)/h - 12/54 a composite number?
False
Suppose 2*z + 108 - 394 = 0. Is z composite?
True
Let m be ((-2)/(-2))/((-8)/(-24)). Suppose m*i - 53 = 2*i + 5*k, 4*k = 0. Is i composite?
False
Let h(o) = -12*o - 33. Is h(-16) prime?
False
Suppose 28 = i + 3*i. Let t = i + -4. Suppose -59 = -2*s - 3*s - d, -67 = -5*s - t*d. Is s a prime number?
True
Suppose 3*v - 2*p - 801 = 0, -3*v + 0*p + 5*p + 810 = 0. Suppose -3*k - 68 = v. Let c = -76 - k. Is c prime?
False
Suppose 0 = -3*p + p + 22. Suppose -p*d + 14*d - 201 = 0. Is d prime?
True
Let k be ((-5)/4)/(4/(-48)). Suppose -3*t = -k, -2*a = -5*a + 3*t + 18. Is a composite?
False
Let m = 298 - 119. Suppose j - m = -0*j. Is j a prime number?
True
Let u(k) = 2*k**3 - 10*k**2 + k. Suppose -5 = 2*d - 19. Is u(d) composite?
True
Let l(b) = 2*b - 5. Let g be l(7). Let p(m) = 14*m - 7. Is p(g) prime?
False
Suppose 428 + 39 = p. Is p composite?
False
Let n = 446 + -139. Is n a composite number?
False
Let s(i) = -i**3 + 8*i**2 + i + 3. Is s(-9) composite?
True
Let p(t) = t**2 + 10*t + 8. Let i be p(-9). Let w be (1 - i)/((-1)/(-2)). Suppose 3*o = -2*o + 2*x + 181, -w*o = 3*x - 154. Is o prime?
True
Suppose 2*w - 2 = w. Suppose -w*z + 3*z - 191 = 0. Is z a composite number?
False
Let t(y) be the first derivative of y**3/3 + 3*y - 1. Is t(6) composite?
True
Let i(w) = -2*w**3 - 7*w**2 - 2*w + 5. Let q be i(5). Let j = 725 + q. Is j a prime number?
False
Let n(t) = 9*t**2 - 2*t + 4. Let h be n(5). Suppose 4*a - 385 = h. Let w = -54 + a. Is w composite?
False
Is (18109/(-39))/((-2)/6) prime?
False
Suppose -2*k + 5*b = -1313, -5*k + 3330 = -b - 2*b. Is k composite?
True
Suppose 4*s = 4*a + 75 + 433, -4*a + 635 = 5*s. Is s a composite number?
False
Let l(p) = -4*p**2 + 5*p + 4. Suppose 2*f + 2*f = 24. Let u be l(f). Let a = -21 - u. Is a a prime number?
True
Let d = -75 - -155. Suppose -4*h = -0*h - d. Is 6/(-9) - h/(-3) a composite number?
True
Let o be (-14)/(-7) + (-2 - -2). Is -3 + (o + 1 - -502) composite?
True
Suppose -965 = -38*d + 37*d. Is d prime?
False
Suppose 2*f + 2*f = -4. Let j(l) = 3 + 22*l**2 - 2 + 0*l + 0*l. Is j(f) a prime number?
True
Suppose 0 = -w + 434 + 323. Is w composite?
False
Let k = 6 - 4. Suppose -3*l - x = -4*x + 21, 5*l - 4*x + 31 = 0. Is -2 + k + (-159)/l a prime number?
True
Let l = -69 + 80. Is l prime?
True
Let l(m) = -m**3 + 2*m**2 - 4*m + 2. Let s be l(2). Let c(p) = -23*p + 7. Let a be c(s). Let b = a + -98. Is b composite?
False
Let f(t) = -2 + 4*t - 4*t - t. Let i be f(-6). Is (i - (-2)/(-1)) + 159 a prime number?
False
Let j = 1771 - 512. Is j a composite number?
False
Let x(c) = -c**3 + 7*c**2 - 4*c - 8. Let f be x(6). Suppose -530 = -l - f*l. Is l prime?
False
Let b be (-4)/(-6) + (-2)/3. Suppose u + 65 = 2*c, b = 2*c + c - 5*u - 80. Is c a composite number?
True
Let y(o) = o**3 - 12*o**2 - 8*o - 19. Is y(13) a composite number?
True
Suppose -4*a + 282 = -354. Is a a prime number?
False
Let y(c) = -c**3 - 6*c**2 - 6*c - 2. Let m be y(-5). Let q be (4 - m)*(1 - -3). Suppose 65 = q*u - 19. Is u prime?
False
Let g(x) = 101*x - 112. Is g(13) prime?
True
Let n(m) = -m**3 - 10*m**2 + 10*m + 16. Let p be n(-11). Let c = p + -13. Is c prime?
False
Suppose 2 = x, 3*z - 4*x = -3*x + 4. Is (3 - 4)/(z/(-246)) composite?
True
Let j = -8 - -66. Let z = j - 5. Is z prime?
True
Is 212/(0 + 2) + 0 a prime number?
False
Let q be (-477)/(-27) + (-2)/3. Suppose -q = -m + 98. Is m a composite number?
True
Let s = 2 + 2. Suppose s*u - 387 = -5*t, t + 2*u - 85 = 5*u. Is t a composite number?
False
Let s be (-1020)/(-7) + 20/70. Is 1*((-2 - -1) + s) a prime number?
False
Suppose -3*i + 0 = 6. Let u = 6 + i. Is u composite?
True
Let d = 2654 - 1337. Is d a prime number?
False
Let m(g) = -2*g**3 - 10*g**2 - 16*g + 4. Let p be m(-5). Suppose 0 = -2*j - 3*z - 59, 2*j - z - 2*z = -89. Let s = p + j. Is s composite?
False
Is (-62282)/44*-2*1 a composite number?
True
Let n(i) = -i**3 + 4*i**2 - 3*i + 5. Let v be n(5). Suppose -2*j - 147 + 33 = 0. Let c = v - j. Is c a composite number?
True
Suppose 4*b + 4*s - 256 = 0, -3*b = -0*b - 2*s - 197. Let u = 150 - b. Is u a composite number?
True
Let j = -8 - -8. Suppose j = 3*m - 0*m - 12. Is (8/(-12))/(m/(-1086)) composite?
False
Let n = 6 + -127. Let i = -24 - n. Is i prime?
True
Let c(t) = t**2 - 9. Let l be c(-11). Suppose -5*u + b + b = -l, -105 = -5*u - 5*b. Is u composite?
True
Let f = 8372 - 3837. Is f composite?
True
Let g = 595 + -186. Is g a composite number?
False
Let a(u) = 676*u - 33. Is a(5) composite?
False
Let k = 96 + 168. Let n(v) = -8*v**2 + 5*v - 7. Let u be n(5). Let i = k + u. Is i a prime number?
False
Let j(l) = 4*l + 1. Let y be j(6). Suppose -o + 295 = 4*w + w, 0 = 5*o - y. Suppose h = 0, p - w = h + h. Is p prime?
False
Let i = -610 + 1025. Suppose -2*u + i = 3*u. Is u a prime number?
True
Suppose -84 = -4*q + q. Let k = -5 + q. Is k prime?
True
Let d be (-9)/(0 - 3/3). Suppose -4*m - 3 - d = 0. Is m*1/(-9)*159 prime?
True
Let x(q) = 2*q**3 + 39*q**2 + 43*q + 33. Let g(v) = v**3 + 20*v**2 + 22*v + 17. Let s(n) = -7*g(n) + 4*x(n). Is s(-12) prime?
True
Suppose -4039 = 2*d - 11837. Is d a prime number?
False
Let r be (6/(-4))/(2/(-32)). Suppose r = -k + 101. Is k composite?
True
Is 259 - (3 - 19)/4 a composite number?
False
Suppose 4*m - 5*w - 940 = 0, -w - 1175 = -5*m - 4*w. Is m composite?
True
Let j = 655 + -384. Let s = j - 182. Is s composite?
False
Let k(a) = -337*a - 1. Is k(-2) composite?
False
Is -3 - ((-15)/(-40) + 2563/(-8)) a prime number?
True
Suppose 0*s - 1854 = -3*s. Suppose -s = -3*g - 129. Is g prime?
True
Let a(v) = v**2 - 1. Suppose 4*k - 2 = 6. Let q be a(k). Suppose 0 = -5*l + 5*p + 45, -q*l + p + 3 = -18. Is l a composite number?
True
Let v be (-3)/7 - 2530/(-7). Suppose -2*s + v = h, 2*s - 1845 = -5*h - 0*s. Is h composite?
True
Suppose -28 = -3*w - 7. Suppose 0 = 5*p - w + 97. Let l = 3 - p. Is l a composite number?
True
Let v(l) = -1. Let f(j) = 7*j**2 + 8*j + 11. Let o(n) = f(n) + 6*v(n). Let y be 240/(-39) + 4/26. Is o(y) composite?
True
Is ((-6501)/(-6) + -3)/(2/4) a prime number?
True
Suppose 2*u = -u + 6. Suppose d + r = 89, -u*d = -0*d - r - 184. Is d composite?
True
Suppose 414 = 3*y - 114. Let s = y - 87. Is s prime?
True
Let q be 8603/28 - (-1)/(-4). Suppose 0 = 7*i - 6*i - q. Is i composite?
False
Suppose 4*t - 4*b + 0*b + 16 = 0, -3*b + 15 = 0. Suppose 1 = -5*a + 6. Is (-126 - a)*(0 - t) composite?
False
Suppose 2*y = -0 + 20. Let b(q) = -3*q + y*q**2 + 4*q + q - 1. Is b(-2) prime?
False
Let k(x) = 28*x**3 - 3*x + 5. Is k(2) a prime number?
True
Is 14/(-6)*(-708 + -15) composite?
True
Suppose 18 = 27*n - 18*n. Is n prime?
True
Let o(l) be the first derivative of 157*l**2/2 + 2*l + 4. Is o(1) composite?
True
Let y(p) = 13*p**2 + 4. Let i(h) = -40*h**2 - 11. Let g(x) = 6*i(x) + 17*y(x). Let c be g(-2). Let l = c - -241. Is l a prime number?
True
Let u be (-332)/(0 + 4/8). Is (3/(-2))/(6/u) prime?
False
Let f be (4 - -1)*(-240)/(-25). Suppose 0 = 5*z + f - 293. Is z composite?
True
Let c(g) = -g**2 + g + 319. Is c(0) prime?
False
Let p(k) = k**3 + 5*k**2 - 2. Suppose -5*b - x = 3*x + 37, 3*b + 4*x = -27. Let a be p(b). Let d(z) = -46*z - 1. Is d(a) composite?
True
Let p = 3 + 0. Let r(m) = m - 6*m + 2 + m**p + 0. Is r(4) a prime number?
False
Suppose -205 = -2*r + 751. Is r composite?
True
Su