Is s(r) prime?
False
Let r(l) = -15*l**2 - 2*l + 33691. Is r(0) prime?
False
Is 6/(-9) - -1286*34/12 a prime number?
True
Is 43198*(-10 + 189/14) a prime number?
False
Suppose -58 = -2*l - 10. Is (-9)/12 - (-36762)/l composite?
False
Let b = -5679 + 9718. Is b a composite number?
True
Suppose 71*p - 109153 = 60*p. Is p a composite number?
False
Let j(s) = 67*s + 50. Let f be 18*(6/(-6))/(-2). Is j(f) composite?
False
Let a(n) be the third derivative of 299*n**6/360 + n**5/120 + n**4/24 + 5*n**3/6 - 9*n**2. Let m(l) be the first derivative of a(l). Is m(-1) composite?
True
Let a = 3056 + -1617. Is a composite?
False
Let y = 9 + -5. Suppose 45 = -8*n + 23*n. Suppose -3*v + y*l + 72 = -21, -n*v + 93 = 4*l. Is v prime?
True
Let m(f) = -42*f - 7. Suppose -3*w + 57 = -3*v, -3*v = 4*w - 0*v - 48. Suppose 4*t = t - w. Is m(t) a composite number?
True
Suppose 7*x - 7634 = 10097. Is x composite?
True
Suppose -18*b + 795 = -13*b. Let d = -731 + 1292. Suppose -3*q + d = b. Is q composite?
True
Suppose -a = 2*m - 8, 5*a + 3 = 2*a + 3*m. Is (-1 - -4) + (33 - a) a composite number?
True
Suppose x - 20 = 6*x. Let b(z) = z**3 - 9*z**2 - 9*z - 11. Let h be b(10). Is h + x/(16/(-1436)) a prime number?
False
Let r = 3635 - -1704. Is r prime?
False
Let f(t) = -t - 1. Let y(q) = 75*q - 6. Let v(d) = 2*f(d) - y(d). Let w(m) = -3*m**2 + 14*m - 11. Let k be w(4). Is v(k) a prime number?
False
Suppose -5*h + 4 = -3*h + 3*u, 40 = -5*h + 5*u. Let b be (-1 - -3)/((-2)/h). Is 6/b*(-8416)/(-24) prime?
False
Suppose -2*c + 5*y + 353 = 0, -2*c - 3*y + 350 = -5*y. Let h = 503 - c. Is h prime?
False
Let i = -10 - -17. Let x(q) = q**2 - 8*q + 7. Let n be x(i). Suppose -5*j + 84 + 191 = n. Is j a prime number?
False
Let p = -9369 - -16300. Is p composite?
True
Let r(k) = k - 10. Let n be r(10). Suppose -z + 85 = m - 37, 2*m - 2*z - 236 = n. Suppose 4*f = 4*w - m, -f = 4*w - 25 - 115. Is w prime?
False
Let d = 1326 + 4375. Is d a composite number?
False
Suppose -2*z - o = -1259, 4*o = 3*z - 0*z - 1916. Suppose 5*c + 3*l = z, 4*c - c - 5*l = 386. Is c a composite number?
False
Let v = -5172 - -12591. Is v composite?
True
Let q be (-570)/(-60)*(6/3)/1. Let o be ((-18)/(-5))/((-1)/(-5)). Suppose 0 = -q*l + o*l + 77. Is l a composite number?
True
Let d(a) = -a**2 - a + 1. Let h(t) = 3*t**2 + 9*t - 5. Let g(k) = -4*d(k) - h(k). Let b(l) = 6*l - 1. Let n(m) = 4*b(m) + 5*g(m). Is n(4) composite?
True
Let i be (-6)/(-5)*(-130)/(-39). Suppose 0 = i*d - 9*d + 4445. Is d a composite number?
True
Let o(h) = -58*h - 17. Suppose -5*j = -5, r = -0*r - 5*j - 2. Is o(r) prime?
True
Let a(p) = -2*p + 1. Let t be a(0). Let f(c) = 282*c**2 - 7*c + 10. Let n(q) = -94*q**2 + 2*q - 3. Let m(b) = -2*f(b) - 7*n(b). Is m(t) a composite number?
True
Let f(j) = 4*j + 1. Let q be f(1). Suppose -q*r + 3165 = 1150. Is r composite?
True
Let r be -3*(2/6)/((-7)/(-21)). Is r - ((-94)/4 - (-9)/6) prime?
True
Is (-15)/(-25) - 46/10 - -58275 a composite number?
False
Suppose 12 = -6*a, 2*t + 5*a - 26276 = 2*a. Is t prime?
False
Let k be (-1)/2*(1 - -1). Let b be (12/9)/(2/3). Is (-447 - b)*(-2 - k) a prime number?
True
Suppose 4*k = 7*k + 3*z - 711, 3*z = -4*k + 944. Let i be 3 + -3 + (-5)/(-1). Suppose -3*b - k = u - i*u, 0 = b - 1. Is u a prime number?
True
Let q = 76633 + -51042. Is q composite?
True
Suppose 0 = 2*k - 4*k - 1562. Let r = -508 - k. Suppose r + 84 = 3*h. Is h a composite number?
True
Let n(y) = 10*y**2 - 14*y + 9. Let f be n(6). Suppose -3*s - 15 = 0, 5*w - 2*s - f = -3*s. Is w composite?
True
Suppose 4*b - 25 = 3*v, 0*v - b - 20 = 3*v. Let l(n) = -n**3 - 8*n**2 - 6*n + 7. Let x be l(v). Is x/(-3) + (160 - 1) composite?
True
Let z(p) = p + 11. Let m be z(-6). Suppose -2*n - 5 = -2*t + m, 5*t = 15. Is (-4)/(2*n/74) a prime number?
False
Let j(g) be the third derivative of -g**6/120 - 7*g**5/60 - g**4/24 - 5*g**3/6 - 11*g**2. Is j(-8) prime?
True
Let u(i) = 192*i + 23. Is u(5) composite?
False
Suppose 5*o = 320 + 85. Let y = -67 - -95. Suppose i - y = -i + 2*z, 4*i + z = o. Is i a composite number?
False
Suppose -5*m = -75315 + 17590. Is m composite?
True
Suppose 9 = -3*m - v, 5*m + 0*m = -2*v - 16. Is 1101 - 6 - (m + 0) a composite number?
False
Let j = -303 + 916. Is j prime?
True
Let p = -2 - -6. Let k be (2/6)/((-9)/(-54)). Suppose k*i + 3*r = 446, i = -p*i + 4*r + 1115. Is i a composite number?
False
Let r(s) = s**2 - 8*s - 9. Let p be r(9). Suppose p = -5*m + 187 + 2413. Suppose -4*d = -4*z + 648, 4*z - 123 - m = 3*d. Is z composite?
False
Let v be (2/2 - 1)/2. Suppose v = 2*o + 2*o + 12. Is 1/(o*1/(-99)) prime?
False
Let n(k) = 50*k - 61. Suppose 20*j = 23*j - 27. Is n(j) a composite number?
False
Let t(d) = -2*d**3 - 7*d**2 + 2*d + 2. Suppose -i - 4*x = 22, i - x - 10 = 3*x. Let j be t(i). Let v = 207 + j. Is v prime?
False
Suppose 0 = -2*d + f + 2*f + 2, -3*f = 6. Is 216/4 - (1 + d) prime?
False
Let b = -9 - -18. Let n(h) = h**2 - 10*h + 13. Let k be n(b). Suppose 2*u = -k*a + 36, -3*u - 38 = -5*u - 3*a. Is u composite?
True
Let j(g) = 1051*g**2 - 5*g - 25. Is j(-4) a prime number?
True
Suppose -2*b - 3*b + 239 = 3*a, -b + 55 = 3*a. Let d be 3/(-1) - 24/4. Let w = b + d. Is w a composite number?
False
Let w = 5055 - -2786. Is w composite?
False
Let p(f) = 7*f**2 - 3*f - 10. Let j be p(3). Let c = 38 - -37. Let d = c - j. Is d a composite number?
False
Let z = 8009 + -1298. Is z a prime number?
False
Let r be (-1)/(-2) - 135/(-10). Let b be (-6)/(-21) + (-4596)/r. Is 4/4 - (-2 + b) prime?
True
Let h = -27475 + 55398. Is h prime?
False
Suppose 0 = -3*n - 30 + 36. Suppose 4*j - n*y - y = 890, 874 = 4*j + 5*y. Is j a composite number?
True
Let p(l) be the second derivative of l**5/20 + l**4/12 - l**3/6 + 373*l**2/2 - 7*l. Is p(0) a prime number?
True
Suppose 0 = o + 4*c - 5286, -o - c + 4753 = -548. Suppose 11*l = 9*l + o. Is l composite?
True
Suppose 4*l = -20, l + 1442 = h - 0*l. Suppose 13695 = 5*i + 2*v, 5*v = -i + 4153 - h. Is i composite?
False
Suppose 7*n = 12*n - 25. Suppose 0 = -3*h - 3*q - 21 + 777, -4*h + 1003 = n*q. Is h prime?
True
Let m(p) = -13*p - 62. Let s be m(-5). Suppose 4*n - 3*a + 1051 = 5694, -s*a - 2329 = -2*n. Is n a prime number?
False
Let w(y) = 55*y**2 - 3*y + 4. Let s be w(5). Let z = s - 397. Is z composite?
False
Let k(s) = -s**2 + 5*s - 2. Suppose -3*r = -2*q + 3 + 6, 0 = 2*r + 2. Let t be k(q). Suppose 3*l = -t*j + 85, -3*j - 35 = -5*j + l. Is j a prime number?
True
Let a(y) = y + 2. Let k be a(9). Suppose 3 = -3*w, k*c - 5*w = 8*c + 866. Is c prime?
False
Suppose 0 = l + 5*d - 18382, -l = -3*l + 2*d + 36800. Is l a prime number?
True
Is (1257 + 0)/(-7 + 6 + 2) a prime number?
False
Suppose -7 - 2 = -3*u. Suppose u*i + i = 4*g - 20, 37 = -5*i + 2*g. Let c(d) = 2*d**2 + 6*d + 7. Is c(i) composite?
True
Let s(f) be the first derivative of 3/2*f**2 - 23*f + 11 + 4*f**3. Is s(-10) a composite number?
True
Let v be 10 + -1 + -4 + 4. Let g = 5 - v. Is (-337)/(-5) - g/(-10) a composite number?
False
Suppose u = 6*f - 2*f - 939, -3*u = -3. Is f prime?
False
Suppose 0 = -5*q + 1 - 6, -c + q = -684. Is c a composite number?
False
Let f(x) = -41*x**3 + 16*x**2 + 42*x + 13. Is f(-10) a composite number?
False
Suppose -2*i + 18 = -5*u, 7*u = 4*u - 2*i + 2. Let f be -1 - (u - -125)/(-3). Is 72/5 + (-16)/f composite?
True
Let y = -336 + -455. Let a = y + 2018. Is a a prime number?
False
Suppose 3*r = -15, -2*t + 0*t + 5*r + 29 = 0. Suppose 0 = t*g - 1 - 15. Suppose -g = -2*k + 6. Is k a composite number?
False
Suppose 0 = -3*j - 4*k + 5, -2*k + 1 = 4*j - j. Let l(z) = -2*z**3 + z**2 + z + 1. Let y be l(j). Suppose -2*i + 806 = 4*m - 0*i, y*m - 621 = 4*i. Is m prime?
False
Suppose 26*t = -25*t + 534633. Is t prime?
False
Suppose 3 = -p + 4*p + 2*w, -5*p - 3*w = -5. Let l be p/(-1)*(-46 - 3). Suppose 3*v + 9 + l = 2*u, u = -v + 19. Is u composite?
False
Suppose 6*c - 438 = -0*c. Suppose c = 2*b - 545. Is b a composite number?
True
Let q = -5 + 7. Suppose k - 4*f = 17, -32 = 2*k + q*k + 4*f. Is k*((-220)/12 - 4) composite?
False
Let y be (2 + 1)/(-3) + -19. Let g = y + -43. Let w = g + 398. Is w prime?
False
Suppose w + 5*q = q - 252, 4*w + 918 = 2*q. Let g = 354 + w. Is g a composite number?
True
Let r(t) = t**2 + t + 4. Let w be r(0). Suppose g - 154 = w*d, -2*g - 3*g + 4*d 