 + 44 = 0, n - 41 = 2*n + 2*s. Let b = n + 94. Is b a composite number?
False
Suppose 0 = -0*f + 4*f. Suppose -4*l = -20, f*r - 4*r = -4*l - 368. Is r composite?
False
Suppose -392 = -5*s + s. Let u be (-6)/4*(-3 - -37). Let i = s + u. Is i a composite number?
False
Let w be 1/2*0 + -3. Let r(p) = -3*p**3 - 3*p**2 + 2. Let q be r(w). Suppose 3*o - 5*m + 4 = q, 4*o - 26 = -2*m. Is o a composite number?
True
Let s(n) = 9*n**2 + 9*n + 19. Let p(d) = -5*d**2 - 5*d - 9. Let w(y) = -7*p(y) - 4*s(y). Let z be w(0). Let r = z + 82. Is r composite?
True
Suppose -7 = -3*h + 2*q + 6, -2*q - 4 = 0. Suppose -h*z = 5*a - 732, -z + 3*a = z - 469. Is z a composite number?
False
Suppose y + 15 = 4*p - 0, -2*p + 5*y = 15. Let t = 71 + 17. Suppose j - p*j + t = 0. Is j composite?
True
Is (-2)/6 + (-7920)/(-27) a composite number?
False
Let v(j) = 41*j + 47. Is v(6) prime?
True
Let z(d) = 6*d - 12. Let o be z(-9). Let k = o - -325. Is k a prime number?
False
Let z(t) = 2073*t**2. Let q be z(-1). Suppose 17*n = 20*n - q. Is n prime?
True
Let d(h) = h - 7. Let r be d(9). Is (-1675)/(-10)*1*r a prime number?
False
Let d(k) = 85*k + 6. Let w(g) = -255*g - 17. Suppose 3*f - 5*t + 26 = 0, -5*f - 7*t - 110 = -2*t. Let z(l) = f*d(l) - 6*w(l). Is z(1) prime?
False
Suppose 66 = n - 11. Is n prime?
False
Let s be (-4)/(-8)*6*1. Suppose 4*l = -s*q - l + 34, 0 = 3*q - 3*l - 42. Is q composite?
False
Let m(u) = 5*u**2 - 2*u + 2. Let h be 1*(-10)/2 - -2. Is m(h) composite?
False
Let i = 3972 + -2821. Is i composite?
False
Let q(a) = 3*a**2 + 2*a - 6. Let n be q(-6). Suppose -n = 2*p - 336. Is p composite?
True
Suppose 4*l - v + 1 = 0, 4*v - 6 + 2 = 4*l. Suppose -3*r + 35 = 5*w, l*r + 4*r = w + 62. Is r composite?
True
Suppose 3*c = -4*m + 8, 3*c + 0*m - 32 = 2*m. Let i = 22 + -18. Suppose -w - 13 = -3*z + c*z, -i*w - 4*z = -12. Is w prime?
True
Let g(j) = -298*j**3 - j**2 - 2*j - 1. Is g(-1) prime?
False
Let h be -1 + (4 - (-1 + 3)). Is (3 + h)*838/8 a prime number?
True
Let s(j) = 4*j**2 + 9*j - 3. Is s(-6) prime?
False
Let h = 214 + -87. Is h composite?
False
Suppose -8*o = -3*o - 485. Is o a prime number?
True
Suppose -5*x = 3808 - 9783. Is x a composite number?
True
Suppose -5*k - y + 19 = 0, 5 = k + y - 2*y. Suppose -2*c = -3*x - 96, 0 = -4*c - k*x + 5*x + 202. Let s = c + -20. Is s prime?
True
Let l(p) = 2*p**2. Let b be l(1). Let a be 39/15 - b/(-5). Let q(r) = r**3 - r**2 + 3. Is q(a) a prime number?
False
Let u(s) be the first derivative of s**2 - 7*s - 1. Let p be u(6). Suppose 0*r - 3*r = -4*h + 466, 3*h = p*r + 355. Is h a prime number?
False
Let h = 12 - -2. Is h a composite number?
True
Let l(o) = -376*o**3 + 2*o**2 - 3*o**2 + 2*o**2. Is l(-1) a composite number?
True
Let b(k) = -k**3 + 3*k**2 + 2. Let p be b(3). Suppose 3*q - 456 = -3*t, -3*q - 289 = -4*t + p*t. Is t a composite number?
False
Let c = -1 - 1. Let z = -3 + c. Let m(r) = -r**3 - 5*r**2 - 3*r + 4. Is m(z) prime?
True
Suppose 5*x = -4*a + 5, 5 = -5*a + 3*x + 2. Suppose a*b = 3*b - 147. Is b prime?
False
Let b be (57/1)/((-3)/(-2)). Let j = b + -12. Suppose -k - k = -j. Is k prime?
True
Let i = -4 - -7. Let q(x) = -4*x**3 + x + 5 - x**3 + x**3 + i*x**3 - x**2. Is q(-4) a composite number?
True
Suppose -396 = -4*j - 2*w, 5*w = -3*j + 3*w + 296. Suppose 0 = 3*t + o - j, -t + o + 13 + 15 = 0. Suppose 22 = -p - 5*v, 0*v + t = 4*p - 4*v. Is p prime?
True
Suppose 5*b + 4*u = -221, -5*b - 227 = -2*u - 0*u. Let y = b - -114. Is y prime?
False
Let k = -4 - -6. Suppose -f - 264 = -k*t + f, -3*t - 5*f = -356. Is t composite?
False
Let n(d) be the third derivative of -1/60*d**5 - 1/2*d**4 + 0*d - d**2 + 0 - 4/3*d**3. Is n(-9) composite?
False
Suppose 3*q = -0*q + 51. Let v = 70 - q. Is v prime?
True
Let a(m) = 145*m + 7. Is a(4) a prime number?
True
Suppose -v + 5*v - 904 = 0. Suppose 709 = 3*d + v. Is d a composite number?
True
Let j = -194 + 341. Suppose 5*d - j = 2*d. Is d a prime number?
False
Let t = -7 - -4. Let o = 6 + t. Suppose -4*m + 4*r = -o - 125, 0 = -3*r - 3. Is m composite?
False
Let h = 161 - -20. Is h composite?
False
Let i(d) be the second derivative of -d**5/20 + 7*d**4/12 + 2*d**3/3 - 3*d**2 + 4*d. Is i(4) a composite number?
True
Suppose 2*q - 4*y - 280 = 0, 3*y + 139 = 4*q - 421. Suppose -4*t = -6*t + 4*k + 764, -3*t - 3*k = -1173. Suppose t = 4*g + q. Is g a prime number?
False
Suppose -2*s = -s. Suppose -5*j - 3*f = -189 - 371, s = 4*f + 20. Is j prime?
False
Suppose 0 = -5*q - 3*r + 83, -2*q + 4*r + 17 = -37. Is q prime?
True
Let c = 0 - -2. Let j be -7 + 6 + 42 + -1. Is ((-21)/(-12))/(c/j) a composite number?
True
Is ((-29595)/(-20))/(-3)*-4 prime?
True
Suppose -4*d = -d - 381. Suppose -3*g + d = -2*g. Is g composite?
False
Let l(d) = 3*d + 3. Let w be l(-7). Let v = -7 - w. Is v composite?
False
Let h(i) = i + 2. Let j be h(-7). Let a(o) = 0*o - 6*o - 4*o + 4*o + 7. Is a(j) a composite number?
False
Suppose 5*i = 5*u - 720, -21 = -5*u - 6. Is (i - 0)*(-2 + 1) a prime number?
False
Let m = 338 - -43. Is m prime?
False
Let h(s) = 91*s**2 - 6*s. Let j(i) = -7372*i**2 + 485*i. Let g(x) = -485*h(x) - 6*j(x). Suppose -1 = -5*o + 4. Is g(o) prime?
True
Is ((-836)/12*-3)/1 a composite number?
True
Let w(c) be the first derivative of -c**3/3 + 4*c**2 + 9*c - 2. Let n be w(7). Is 1364/n + (-2)/8 prime?
False
Let x = -116 + 375. Is x a composite number?
True
Let d be ((-3)/(-6))/(2/(-444)). Suppose 3*s = 3*a - 3 - 3, -a + 4*s = -2. Is d/(-12) + a/(-8) composite?
True
Let x(m) = -129*m + 13. Let r(l) = -86*l + 9. Let n(h) = 7*r(h) - 5*x(h). Let v be ((-4)/12)/((-2)/18). Is n(v) a composite number?
False
Suppose 3*b = 2*b. Let a(q) = -q**2 - 3*q + 4. Let h be a(-3). Suppose -h*t = 3*o - 213, -216 = -3*o - 5*t - b*t. Is o prime?
True
Suppose -t = 2*o + t - 104, 52 = o - 5*t. Suppose 342 = -5*j + 2*g, 3*j - o = -4*g - 252. Let f = 15 - j. Is f prime?
True
Suppose -8*q + 3790 + 9978 = 0. Is q a prime number?
True
Let a be (-5)/(3/15 - 0). Let j = -37 + 22. Let c = j - a. Is c a prime number?
False
Let y = 23 - 38. Let n be (40/y)/((-2)/3). Suppose -n*r + 64 = -140. Is r composite?
True
Suppose t + 5*v + 3 = 0, 5*v + 10 = -0*v. Let n = t - -2. Is 1 + 0 - (-1 - n) composite?
False
Let m(d) = -3*d - d**3 - 3 + 7*d**3 - 4*d. Let p(u) = -u**3 + u + 1. Let g(x) = m(x) + 5*p(x). Is g(2) a composite number?
True
Let g(w) = -w**3 + 6*w**2 + 4*w - 1. Is g(-4) prime?
False
Let i(g) = g**3 - g**2 + 3*g - 4. Let w = -5 + 10. Is i(w) a composite number?
True
Let l(i) = 4*i**2 - i**3 + 0*i**3 + 3 + 0*i**3 + 3*i. Is l(4) prime?
False
Suppose -1 = c - 9. Let k(v) = -v**2 + 7*v + 10. Let z be k(c). Suppose f + s - 22 = -z, 5 = 5*s. Is f a prime number?
True
Let d(l) = 59*l**2 + 3*l. Let j be d(3). Suppose -n - 3*n + 664 = 5*s, 4*s + n = j. Let m = s + -79. Is m a composite number?
True
Let p(j) = j**3 - 3*j**2 + j + 4. Is p(5) prime?
True
Suppose 10*s + 7692 = 22202. Is s a composite number?
False
Suppose 5*j - j - 550 = -2*q, 3*q - 3*j = 789. Suppose -112 = 5*g - q. Is g prime?
True
Let l(u) = 0*u**3 + 3*u**2 + 3*u**3 - 4 - 2*u**3 - 5*u. Let j be l(-4). Suppose j = -5*f + 105 + 80. Is f a composite number?
False
Let h(b) = 71*b - 53. Is h(26) a prime number?
False
Let l(r) be the third derivative of r**5/20 - r**4/24 - r**3/6 + 2*r**2. Is l(-5) composite?
False
Let w = 1080 - 293. Is w a composite number?
False
Suppose 0 = 2*u, -3*k - 3*u = -16 - 8. Suppose -r - k = -5*p - 4, 5*r = -p + 84. Suppose 4*h - r = 124. Is h a prime number?
False
Let g = -13 - -18. Suppose 5*k - 104 = -4*q + q, g*q + 32 = k. Is k prime?
False
Let s(m) be the third derivative of m**5/4 - m**4/6 + m**3/2 + m**2. Let j be s(2). Let a = j - 32. Is a a composite number?
False
Let t = 3508 + -2147. Is t a prime number?
True
Let g(u) = -11*u**2 + 2*u - 2. Let c be g(2). Let b = -119 - c. Let y = -46 - b. Is y a composite number?
False
Let t = 4 - 6. Let q(k) = -2*k**2 - 2*k - 2. Let b be q(t). Let n = b - -19. Is n prime?
True
Let x be (-7)/(14/(-372)) - 3. Let m = -34 + x. Is m composite?
False
Suppose -5*g + 6 = -2*l - 0*g, 16 = 4*g. Let m(c) = l*c + c**3 + 7 - 4*c - 2*c - c**2 + 16. Is m(0) a composite number?
False
Suppose -8*p + 7374 = -9818. Is p composite?
True
Suppose -j - 3 - 2 = 0, 3*n - 3023 = j. Is n composite?
True
Suppose 87 = 3*x 