+ 2*n = 415. Is w composite?
True
Let b = -2397 + 2503. Is b prime?
False
Suppose 43575 = 10*g - 130455. Is g a prime number?
False
Suppose 0 = -x - 2*x - 21. Let t be (9/x - -1)*-7. Suppose -3*r + 155 = -t*r. Is r prime?
False
Suppose -4*l - 87*r + 89*r + 1248 = 0, -l + 319 = 3*r. Let n be (-1 - -26)/(1/(-3)). Is (-10)/n + l/15 a composite number?
True
Let f(g) = 3. Let q(w) = 7. Let d(v) = -9*f(v) + 4*q(v). Let l(n) = -133*n - 7. Let s(y) = 4*d(y) + l(y). Is s(-2) prime?
True
Suppose -12*i + 23605 = 7489. Is i a prime number?
False
Suppose 4*a - 1993 = 447. Suppose -v = -4*l - a + 108, -4*l = 0. Is v a composite number?
True
Suppose -3*p - 495 = r, -r - 2*p + 495 = -2*r. Let x = 24 - r. Is x composite?
True
Suppose -65*m + 980486 = 21*m. Is m prime?
False
Let y = -7443 - -18628. Is y prime?
False
Let i = -22 + 27. Suppose -18 = i*m + m. Is -2*(m - (-735)/(-6)) a prime number?
True
Let t(s) = 3650*s**2 - 3*s - 3. Is t(2) composite?
False
Let d(b) = 36*b**2 - 3*b + 5. Let a be d(4). Suppose -12*u = 2502 - 630. Let y = a + u. Is y prime?
False
Let z = -3361 - -12392. Is z composite?
True
Suppose -3*w + 18 - 3 = 0. Suppose w = 15*z - 14*z. Suppose z*h - 320 = 1755. Is h a prime number?
False
Suppose 0 = z + 3*h + 8 + 1, -3*z - 3*h - 15 = 0. Is (-425 - z)*(-1)/2 a composite number?
False
Suppose 2*t - 2 = 6. Suppose -2*f + t*f - 6 = 0. Suppose -2*c = f*c - 725. Is c prime?
False
Let h(v) = v**3 - v**2 + 9. Let q be h(-5). Let z = 66 - q. Suppose -673 = -2*d - z. Is d prime?
True
Suppose 2*f = 2*w + 1360, 0 = f + 2*f - 4*w - 2036. Is (6 - 3) + f - 2 a prime number?
False
Let t(c) = -c + 1. Let z = 19 - -12. Let q = 21 - z. Is t(q) composite?
False
Let v be (-8 - -4) + (-2 - 123). Let l = 434 - v. Is l a prime number?
True
Let q = 112 + -68. Suppose 0 = -3*m + m + q. Suppose -2*x = -0*x - m. Is x a prime number?
True
Let a = -92 + 133. Suppose 4*c + 95 + a = 0. Is (c/4)/((-3)/66) a prime number?
False
Let q(d) = d**3 - 12*d**2 + 2. Let x be q(12). Suppose f = 4, 0*f - x*f = h + 124. Is -7*(h/(-4))/(-3) composite?
True
Let k(y) = -y**3 - y**2 - y + 4. Let j be k(0). Suppose -2*u = -18 + j. Let v(s) = -s**3 + 7*s**2 + 7*s - 12. Is v(u) composite?
False
Let x = 0 + 6. Suppose 4 = -2*w - x. Let g(i) = -65*i - 8. Is g(w) a prime number?
True
Let k = 6 + -9. Let z(v) = v**3 + 11*v**2 - 2*v - 14. Let y be z(-11). Is (-2)/(k*y/3876) composite?
True
Let x(s) = 1376*s**2 + 25*s - 80. Is x(3) composite?
False
Let v be (-16)/12 - 19/(-3). Suppose v*w = w. Suppose w*i = -i + 745. Is i composite?
True
Let w = -914 + 1310. Suppose -4*t + w = -112. Is t a prime number?
True
Let w be ((-7929)/6)/((6 - 3)/6). Let m = w + 5624. Is m a composite number?
True
Let u(w) = 106*w**2 + 3*w + 9. Let d be (1 - (-4)/12)*-3. Is u(d) a composite number?
False
Let r = 32992 - 23503. Suppose -5*g = -8*g + r. Is g a prime number?
True
Let q be 2/(-4) - (6 + 13/(-2)). Let n be 1 + 2 + (-201)/(-3). Suppose 2*f - 2*p = -q*p + n, 5*p = 0. Is f a prime number?
False
Is 9/(-90) - 637413/(-30) composite?
False
Let z be 8*(2 + 12/(-8)). Let r be (-3)/z*32/(-4). Suppose r*m - 393 = 3*m. Is m a prime number?
True
Let d be 0 - 6*((-2)/6)/(-1). Is 57/(d/(-2))*(-10)/(-10) a prime number?
False
Suppose -c - 4*v - 21 = 0, -3*c + 2*c + 2*v + 9 = 0. Let r be c*36*(-209)/(-22). Let x = 635 + r. Is x a prime number?
True
Is -2 - 0 - ((-3 - 5667) + -3) a prime number?
False
Let a(s) = -3*s + 37. Let w be a(10). Is (w/14)/((-2)/(-20012)) composite?
False
Let v be (-4)/12*(-27 - 3). Suppose -7206 = -v*k + 5384. Is k composite?
False
Is (-2 + (-262053)/6)*(-26)/65 composite?
False
Suppose -3*m + 5*m - 4174 = -v, 3*v = m + 12529. Suppose j + 5*i = v, -5*i = -4*j + 3*j + 4226. Is j composite?
False
Suppose -2*s = -3*s - 235. Suppose -3*h = 1009 + 29. Let i = s - h. Is i a composite number?
True
Suppose 0 = 4*c - 3*f + 35 + 10, -3*f - 36 = 5*c. Let x(m) = 3*m**2 - 5*m + 19. Is x(c) a prime number?
True
Suppose -4*y - 3573 = -9*y - 4*n, 5*y = 4*n + 3597. Is y a composite number?
True
Let q = -158 + 500. Suppose 3*v + 2*x + x - q = 0, -450 = -4*v - x. Suppose d + c + 2*c = 43, -4*d = -3*c - v. Is d a composite number?
False
Let c(r) = 33*r**2 - 11*r - 7. Let v = -76 - -70. Is c(v) a prime number?
False
Let z(u) = u + 13. Let d be z(0). Let o(w) = -w**3 + 13*w**2 + 4*w - 6. Is o(d) a composite number?
True
Suppose -4*m = w + 4, 0 = 2*w - 6*w - m - 1. Let a be (-1 - w)/(1/(-145)). Let p = a + 4. Is p a composite number?
False
Let l(h) = h**3 - 13*h**2 + 12*h + 5. Let t be l(12). Let s(n) = 2*n**2 + 2*n. Let q be s(t). Let o = q - -79. Is o a composite number?
False
Let n(w) = 1081*w**2 + 8*w + 4. Let x(m) = -541*m**2 - 4*m - 2. Let b(d) = -2*n(d) - 5*x(d). Is b(-1) prime?
True
Let w be (-144)/(-40) + (-4)/(-10). Suppose -w*y - 705 = -9*y. Is y a composite number?
True
Let m(w) = 63*w**2 - 19*w + 17. Is m(-8) composite?
False
Let x be 16/10 + (-6)/(-15). Suppose -x*f - 52 = 2*c, 0 = -5*c + c + 20. Let l = 16 - f. Is l a prime number?
True
Suppose 12*p = 7*p + 2*m + 113063, 2*p = -m + 45227. Is p prime?
True
Let u(p) = -p**2 + 6*p + 10. Let l be u(7). Let s(h) = -4 - 2 + 4*h**l - 13*h**2 + 7 - 2*h**3 - 12*h. Is s(11) composite?
True
Let j(k) = -229*k**2 - k + 3. Let g be j(2). Let x = g + 1570. Is x a prime number?
False
Let m(i) = 20*i**2 - 21*i + 65. Is m(-26) prime?
False
Suppose 5*r + 2*o = -3*o + 3185, 5*o = 20. Suppose r = 7*n - 10126. Is n a prime number?
False
Let w be (-8 - (-11)/(77/42)) + 2. Suppose 4*z = -5*j + 29, -4*j + 3*z = -z - 16. Suppose 0*o - 2*o = 2*d - 792, 3*d - j*o - 1196 = w. Is d a prime number?
True
Let b(y) = 125*y**2 - 28*y - 17. Is b(-8) prime?
False
Is 21 + (-1245)/60 + (-64731)/(-4) prime?
True
Let o(l) = -l**3 + 18*l**2 + 2*l - 10. Let c be -3*(4*-2 + 2). Is o(c) a composite number?
True
Let j(b) = 2041*b - 226. Is j(9) prime?
True
Let m(d) be the third derivative of 53*d**5/15 - d**4/24 - 2*d**2. Suppose 0*z + 5*z + 4*h - 21 = 0, h = -2*z + 6. Is m(z) a prime number?
True
Suppose 20 = -3*a + 7*a. Let m(y) be the first derivative of 11*y**3/3 + 4*y**2 - 8*y - 38. Is m(a) a composite number?
False
Let s = -120 + 59. Let n be 898/8 - 7/28. Let i = s + n. Is i prime?
False
Suppose -c = -4*g - 389, g = -3*c - 3*g + 1135. Is c a composite number?
True
Suppose 0 = 3*f + 2*i - 102 + 18, -2*f + 54 = 2*i. Suppose f = 5*g - 0*g. Suppose p + 3205 = g*p. Is p a composite number?
False
Suppose -4*z - 47900 = -4*b + 30368, -5*b - 5*z + 97875 = 0. Is b a prime number?
True
Let z(w) = -w**3 + 11*w**2 - 12*w + 16. Let r be z(10). Let f = -54 - -84. Is r/(-2)*1785/f prime?
False
Let b(v) = v**3 + 3*v**2 - v - 3. Let x be b(-3). Suppose -9 = o - 13. Suppose x = c - o*c + 246. Is c a composite number?
True
Suppose -4*p = -10 - 30. Suppose -f + 544 = 5*r + 56, 5*f + p = 0. Let s = r - 65. Is s prime?
False
Suppose 0 = 65*m - 352654 + 93369. Is m composite?
False
Let g(h) = -4*h - 2. Let x be g(-4). Suppose x*s - 10*s = 852. Is s composite?
True
Suppose -3*q - 4*t + 124 = 0, 3*q - 134 + 9 = -5*t. Suppose -o - 4*o = -q. Suppose -11*u = -o*u - 21. Is u prime?
True
Let w(h) = -h**3 + 20*h**2 + 21*h + 8. Let s be w(21). Let o(l) = 71*l + 15. Is o(s) prime?
False
Let w(y) = 33*y**2 - 20*y - 4. Suppose -m = -2*a - 18, -a + 7 = 5*m - 6. Is w(a) composite?
False
Let v be (11/2)/((-2)/4). Let j(w) = -w**3 + 8*w + 4. Is j(v) a composite number?
True
Suppose -5*g - p + 1561 = 0, 11*g - 10*g + 4*p = 297. Let h be ((-3)/(-2))/(2/(-280)). Let x = g + h. Is x a composite number?
False
Is ((-10)/60 + 2/3)*586 a prime number?
True
Let r = -153 + 108. Let q = r - -75. Let x = 77 - q. Is x composite?
False
Let y = -3 + -5. Let t = -10 - y. Is 4048/24*(-3)/t a composite number?
True
Suppose -5*z + 10*a - 5*a = -164990, 5*z - 2*a - 164975 = 0. Is z prime?
True
Let a = 3306 - -2683. Is a a composite number?
True
Suppose -u = 3*z - 179, -8*u = -9*u + z + 195. Is u a composite number?
False
Is (-11)/((-88)/(-6054))*20/(-3) prime?
False
Let p(k) = -163*k - 13. Let t(v) = -82*v - 6. Let a(j) = 3*p(j) - 5*t(j). Suppose y - 71*x + 4 = -76*x, 4*y - 3*x = -16. Is a(y) prime?
True
Let z = 1 - 6. Let t be z + 2 - 7*-1. Suppose -37 = t*m - 5*m. Is m a prime number?
True
Let w(v) = 3018*v**2 + 3*v - 3. Let m be w(1). Suppose 0 = -