47). Suppose -3*y = w - 1158. Is y prime?
False
Suppose 5*z + 17 - 57 = 0. Let j(y) be the first derivative of -y**3/3 + 19*y**2/2 - y + 2. Is j(z) prime?
False
Let x be 0 + -1 - 9/(-3). Let s = x + 3. Suppose -s*r - 4*d = -10*r + 87, 4*d - 63 = -5*r. Is r prime?
False
Let k = 1 + -1. Suppose -j + 2 = k, s - 3*j = -2*j + 47. Is s a prime number?
False
Let d(h) = 47*h**2 + 5*h + 5. Let s be d(-3). Suppose 5*b + 16 = -9, 3*j = 4*b + s. Is j a prime number?
True
Let g(p) = p**2 - 10*p - 7. Is g(14) a composite number?
True
Suppose -6*t + 16985 = -13477. Is t prime?
True
Suppose -2*v + 6*q = q - 103, 2*v = 3*q + 109. Is v a composite number?
False
Suppose -2*q + y - 3*y = -14, -3*q = -y - 1. Suppose -2*m - 2*t + 8 = 0, m + 0*t - q*t + 2 = 0. Is 39 - 3/3*m composite?
False
Let w(k) = -4*k - 1. Let d(m) = m**3 + 6*m**2 + m + 8. Let b be d(-6). Let t be -3 + (0 - 2) + b. Is w(t) prime?
True
Let d(x) = x**2 + 7*x + 4. Let b be d(-6). Let z = 2 + b. Let g = 3 + z. Is g a composite number?
False
Suppose 3*x - 5*x + 1 = -3*s, s + 22 = 5*x. Suppose 0 + 6 = w - x*m, -5*m = -25. Is w prime?
True
Let l(s) be the first derivative of -7*s - 4 + 5/2*s**2 + 1/3*s**3. Is l(8) a composite number?
False
Suppose -3*a = a - 156. Is a prime?
False
Is (-11 - -8) + -2*(-17)/2 a composite number?
True
Let d(k) = -6*k**3 - 16*k**2 + 6*k + 136. Let q(g) = -g**3 - 3*g**2 + g + 27. Let l(r) = -2*d(r) + 11*q(r). Is l(0) a prime number?
False
Let o(z) = z**3 - z**2 + 2*z - 1. Let l be o(1). Is (-6 + (l - -1))/(-1) composite?
True
Let n be (-1)/(-4) + 190/8. Let q be 10/8*n/1. Suppose q + 46 = 4*w. Is w a composite number?
False
Let p be (-2)/(-3)*(8 - 5). Suppose p*o = 3*z - 9, 3*z + 2*o = -3*o + 30. Suppose -2*d - 78 = -4*h, -7*h - z*d = -2*h - 90. Is h prime?
True
Suppose -2*c + 4*c - 149 = -5*y, -y = 5*c - 315. Let a(k) = 42*k**3 + k**2 + k - 1. Let l be a(1). Let p = c - l. Is p prime?
True
Let r be 359 - 2*1/2. Let z(x) = x**2 - 3*x - 3. Let b be z(6). Is r/3 + (-5)/b a composite number?
True
Let t(w) = -w**3 - 4*w**2 + 7*w - 25. Is t(-11) prime?
False
Suppose 96 = 5*x + 4*q - 374, 5*x = 5*q + 515. Is 1*(x + -1 + 0) composite?
False
Let s(z) = z**3 + 8*z**2 - 4*z + 11. Let b be s(-8). Let q = 302 - b. Is q composite?
True
Suppose -10*y = -18*y + 424. Is y composite?
False
Suppose -5*h + 4*y = 5362, -3*h - 2*y = -2*h + 1064. Let d = -699 - h. Is d composite?
True
Let g = -244 + 3033. Is g a prime number?
True
Let w(u) = 9*u**3 - 14*u**2 + 12*u + 12. Is w(7) a prime number?
False
Suppose -6*d = d - 14371. Is d prime?
True
Suppose -2*m + 8345 = 3*m. Is m composite?
False
Let t = 1551 + -964. Is t a composite number?
False
Is 1*879/(-3)*-1 prime?
True
Suppose 33 = -4*o + 321. Let m = 444 - o. Let v = m + -173. Is v prime?
True
Suppose -2*t - 38 = -3*t. Is t a prime number?
False
Let u(h) = 10*h + 7. Let i(o) = -o - 2. Let j(q) = q**3 + 7*q**2 + 8*q + 5. Let s be j(-6). Let d be i(s). Is u(d) prime?
False
Let b(h) = h**3 + 5*h**2 + 3*h + 4. Let s be b(-4). Let k(m) = m**2 - 6*m. Let z be k(6). Suppose 3*c + s - 65 = z. Is c prime?
True
Suppose -5*w = 5*h - 810, 6*w = h + 2*w - 152. Suppose -3 = 3*x - 0*x, h = 3*v + 5*x. Is v a prime number?
False
Let n = 6 + -17. Suppose -12 = o + 2*o. Let i = o - n. Is i a composite number?
False
Suppose h - 27 = -9*q + 4*q, -20 = -2*q - 5*h. Suppose 314 = q*a - 81. Is a a composite number?
False
Let j be (-6)/(-10) - (-310)/25. Is 54/j - (-4)/(-26) composite?
True
Let t = 371 + -229. Is t a composite number?
True
Is 514/3*18/12 prime?
True
Let d(l) = l**3 + l**2 - l - 2. Let q = 3 + 1. Suppose -w + 3*j - 6 = 0, -3*w + 2*j + 15 = q*j. Is d(w) prime?
True
Let i(p) = 52*p**2 + 1. Let l be i(1). Suppose x = 14 + l. Is x prime?
True
Suppose -48 = -2*j + 120. Suppose 2*g = -2*g + j. Is g a composite number?
True
Suppose 3*s + 3*a + 2 = 68, 0 = s - a - 16. Let i = 13 - s. Is (-9)/i*(-4)/(-2) a prime number?
True
Is 5*(-7)/(-140) - 16435/(-4) a prime number?
False
Suppose 2*d = d + 3. Is d*19 - (-20)/(-5) composite?
False
Let i(b) be the second derivative of b**4/12 - b**3/2 - 7*b**2/2 - 2*b. Let u be i(5). Suppose -42 = -u*v + 15. Is v a prime number?
True
Suppose -4*x - 140 = -4*c, 41 = c - 0*c - 4*x. Suppose -b + 0 + c = 0. Is b a prime number?
False
Let d = -115 - -1108. Is d composite?
True
Suppose -20 = -3*j - j. Let a(i) = -2*i**2 - 11*i + 10. Let v be a(-6). Suppose 0 = 2*x + j*m - 30, -v*m = 4*x - 28 - 32. Is x composite?
True
Suppose f - 2 = -3. Is -2 + 1 + (-918)/f a composite number?
True
Let m(k) = 6*k**3 - 2*k**2 - 2*k + 2. Let c be m(2). Let s = -13 + c. Is s composite?
True
Let z(s) be the first derivative of 5*s**3/3 - 3*s**2/2 - 3*s + 2. Is z(-3) a prime number?
False
Let m be 3 + (3 - (3 - 2)). Suppose -4*i - 15 = m*y, -5*y + 0*y - 2*i = 5. Is 2/y + (23 - 2) a composite number?
False
Let w = 379 + -113. Let p = 412 - w. Is p a prime number?
False
Let s(j) = j**2 + 1. Let b(m) = -14*m**2 - 3*m - 9. Let z(q) = -b(q) - 2*s(q). Is z(-4) a prime number?
False
Let v(c) = 25*c**2 - 9*c - 9. Is v(-8) a composite number?
False
Suppose 3*t - 5*t = -86. Let l = 76 + t. Is l a composite number?
True
Suppose 22*m - 20*m = 1538. Is m composite?
False
Let x(k) = 19*k**2 - k - 31. Is x(-5) composite?
False
Let c = -124 + 186. Let o = c - -68. Suppose 4*k = -k + o. Is k a prime number?
False
Let z = 4 + -2. Suppose z*t = 2*r - 104, 0*r + r + 4*t = 52. Is (-2)/(-2*1) + r prime?
True
Let q be (-3)/(-18)*3*8. Let c = 6 - q. Suppose -2 = i - 2*r - 2*r, c*i + 5*r - 22 = 0. Is i composite?
True
Let u be (10 + 1)/((-9)/45). Let a be (-25)/3 - (-2)/6. Is (-2)/a + u/(-4) composite?
True
Suppose -2*j + 5*r = -692, 438 - 1457 = -3*j - 2*r. Is j prime?
False
Suppose 7 + 2 = -3*d. Is (0 - 1)/(d/447) composite?
False
Suppose 15 = -5*s + 5*t, 0*s + 4*t = s + 18. Suppose 0 = s*z + 3*n - 59, 31 = 2*z + n - 38. Is z composite?
False
Let g be (1*-1)/((-8)/(-16)). Is (7 + -4)*(-2)/g composite?
False
Is (-6)/(-4)*3522/9 a prime number?
True
Suppose -4*i - 5*p = 345, 0*i = -5*i + 4*p - 380. Let o = i - -155. Suppose -2*m - m = -o. Is m prime?
False
Is 553*(-4 + (-20)/(-4)) a composite number?
True
Let a(o) = 3*o**2 - 9*o + 7. Is a(5) a composite number?
False
Let c = 2 - -6. Let v = -5 + c. Suppose 2*t - 3*o = 203, -v*o = -t + 3*t - 209. Is t a composite number?
False
Suppose 4*r + 206 = -150. Is r*(-3)/6*2 prime?
True
Suppose 4*h = 3*i + 117, 195 = -5*i - h + 3*h. Let t = i - -66. Suppose t + 121 = 4*x. Is x a composite number?
False
Suppose 14*j = 12*j + 8. Is 153*(j/6)/2 prime?
False
Let w be 40/22 + 6/33. Suppose -3*f = -f - w. Let q(o) = 24*o**3 - o**2 - o + 1. Is q(f) a composite number?
False
Let s = 1781 + -1218. Is s a prime number?
True
Suppose g - 5 = 4*b + 21, 2*b + 40 = 5*g. Let p = g + 9. Is 126/10 - (-6)/p a composite number?
False
Suppose 3*l + 0*l = 5*s - 40609, 0 = -3*s - l + 24371. Is s composite?
False
Suppose 2*v + 5*s - 19 = 0, -v - 3*s + 0 = -11. Suppose v*u + m = 246, -3*u + 438 = -4*m + 69. Is u composite?
True
Let v(i) = i**3 - 7*i**2 - 6*i + 25. Is v(14) a prime number?
False
Let p = 23 + 15. Let w = p - 1. Is w prime?
True
Let n(b) be the first derivative of -b**3/3 - 13*b**2/2 + 9*b - 7. Is n(-11) a prime number?
True
Let g be (-531)/(-15) + 4/(-10). Suppose -3*n - n + 47 = -5*o, 3*n - 4*o = g. Is n composite?
False
Suppose 5*q = 223 - 8. Is q composite?
False
Suppose 0 = -2*n + 2*d - 22, 3*n + n = -d - 19. Let o(c) = -13*c - 1. Is o(n) a composite number?
True
Let i = 15 + 8. Suppose 0*j = -j + i. Is j prime?
True
Let f = -16 + 11. Let z = 0 - f. Suppose -5*j = -3*b - 20, -z*b + b = -j - 13. Is j prime?
True
Suppose 0 = -2*d - 2*d. Is -103*(d + 0 - 1) prime?
True
Let w = 301 - -540. Is w a composite number?
True
Is ((-174)/8)/(2/(-8)) composite?
True
Let p = -20 - -14. Let z(q) = 2*q**2 + 10*q + 7. Is z(p) a prime number?
True
Suppose 73 = -2*c + 357. Is c composite?
True
Suppose -4*v = -6 - 10. Suppose 3*f = v*f + z - 9, f + 4*z - 15 = 0. Suppose -m + 5*g + f = -45, 4*g - 25 = -m. Is m prime?
True
Suppose -6 - 2 = f. Is f/(-12) - 175/(-3) prime?
True
Suppose 3*o - 82 = -l, 14 + 48 = l - 2*o. Suppose -3*n + l = -q, -4*n - q = 4*q - 125. Is n composite?
True
Let k = 20 + 1791. Is k composite?
False
Let l(s) = -s**3 + s**2 + s. Let t be