-3*j - 6. Is 7 - 7 - (-26)/j prime?
True
Let l = -4 + 8. Suppose -x - l*f + 180 = x, -2*x = 3*f - 184. Let p = x + -3. Is p composite?
True
Suppose -4*c = c - 10. Suppose -3*t - 3*a + 115 = -c*t, a + 119 = t. Is t a composite number?
True
Let k(p) = -4*p - 16. Let q(i) = -i - 5. Let v(y) = 4*k(y) - 14*q(y). Let o be v(9). Is 2/(6/(-3)) - o composite?
False
Suppose -3*z = 2*j + 12, 5*z + 20 = 6*j - j. Suppose 4*g = -j*g - 12. Is ((-6)/g)/(-6)*-39 a composite number?
False
Let u = 15 - 5. Let b(z) = -z**2 + 10*z - 1. Let p be b(9). Is 4/(p/u)*7 a composite number?
True
Suppose 0*n = -3*n + 4*m + 6, 5*m - 4 = -2*n. Suppose -n*z - 2*z - 1644 = 4*q, z = -5*q - 431. Let w = z + 699. Is w composite?
False
Let r(a) = -a - 62. Let k be r(0). Suppose 13 = 4*n - 7. Let g = n - k. Is g a prime number?
True
Let i = -139 - -201. Let v = i + -27. Is v prime?
False
Suppose 3*a = -5*m + 102, a = 3*m - 42 - 22. Suppose -36 = -3*k + m. Is k composite?
False
Is -191*(4 - 5) + 0 a prime number?
True
Suppose -23 = -4*u + 17. Is u a composite number?
True
Suppose -4 = -5*s + 6. Let t be s*(-2 + -4)/(-3). Suppose -3*i + 109 = t*q, -3*i + 70 + 64 = -q. Is i composite?
False
Let s be (14/35)/(2/10). Suppose -3*f = s*c - 30 - 13, 5*c - 25 = 0. Is f a prime number?
True
Let b(w) = -43*w + 8. Is b(-1) prime?
False
Suppose 3*u + 5*q - 10147 = 0, -u - 3*u = -3*q - 13568. Is u composite?
False
Let b = -21 + 31. Is 224/10 - 4/b a prime number?
False
Let q = 1 - 3. Let a(s) = -9*s**3 - 3*s**2 - 2*s + 2. Let l be a(q). Let u = -29 + l. Is u a prime number?
True
Is 2*(4 - (-166)/4) composite?
True
Let k be (-1 + (-9)/(-2))*2. Suppose 13 = 5*q - i, 7 = 5*q + 3*i - k*i. Suppose 2*d - 42 = 4*m, d + 5*m = q*d - 46. Is d prime?
True
Let a = 15 + -9. Suppose a*k = k + 415. Is k prime?
True
Let m be (-1)/1 - (-5 + 4). Suppose m*k - k = 5. Is 339/15 - 2/k a prime number?
True
Suppose -i = -2*i. Let d = 4 + i. Suppose -321 - 11 = -d*a. Is a composite?
False
Suppose 10 = m + l - 1, 2*m + l = 17. Let j be m + -4 + 734/(-2). Let n = -64 - j. Is n a composite number?
True
Suppose 5*g + c = -21, -4*c = 2*g - 0*c + 12. Is (g*508/8)/(-2) a composite number?
False
Let v(g) be the second derivative of -g**5/5 + 2*g**3/3 - g**2/2 + 2*g. Is v(-3) prime?
False
Let a(f) = 2*f**2 + 2*f - 3. Let y be ((-2)/6)/((-1)/(-15)). Is a(y) composite?
False
Suppose 5*d - 3*d = -5*h - 376, 3*h + 978 = -5*d. Let s = d - -367. Is s composite?
True
Let k = -8 + 7. Let y be 3 + ((-1)/k - 1). Suppose -4*f + 15 + y = 3*w, w = -f + 5. Is f prime?
True
Suppose 3*m + 0 + 18 = -3*c, 5 = -m. Is 18/2 + -1 + c a composite number?
False
Suppose -l - l + 388 = 0. Is l prime?
False
Let s be 2*1/(-2) - -7. Suppose -s - 6 = -3*t. Suppose -17 + 8 = -3*d - t*g, -5*g - 15 = -5*d. Is d a prime number?
True
Let m = -5 - -9. Suppose 3*j + 4 = 5*f + 255, 0 = m*j + 2*f - 300. Suppose 20 = -3*d + j. Is d composite?
False
Let n(d) = d**3 + 11*d**2 + 11*d + 4. Is n(-9) composite?
False
Let q = -924 + 1718. Suppose -q = -5*l - 159. Is l a prime number?
True
Let h = 209 - -284. Is h a composite number?
True
Let n(r) = -4*r**2 - 4*r + 84. Let m(k) = k**2 + k + 1. Let f(x) = 5*m(x) + n(x). Is f(0) a composite number?
False
Let u = -2903 - -4171. Suppose -4*d + u = -4*c + 384, 3*d = c + 667. Is d a composite number?
False
Let s be -3 + 3 + 2 + 1. Let g(y) = 2 + 3*y + 0 - s + 37*y**2 - 4*y. Is g(-1) a composite number?
False
Let j be (-25)/(-2)*156/65. Suppose 2*c - 142 = 4*y, -3*c + j = 3*y - 165. Is c prime?
True
Suppose 2*v = 3*p + 1094, -7*v + 3*v = -4*p - 2180. Is v composite?
False
Let u(d) = 3*d**2 - 5*d + 7. Is u(6) prime?
False
Let m(y) be the third derivative of 0*y**5 + 1/24*y**4 + 1/30*y**6 + 1/6*y**3 + 2*y**2 + 0 + 0*y. Is m(2) prime?
False
Let q = -10 + 15. Let s be q/(30/4)*150. Let n = -53 + s. Is n composite?
False
Let r(c) = -78*c + 17. Is r(-6) composite?
True
Let h = -335 - -484. Is h a prime number?
True
Let o(n) = -n**3 + 10*n**2 - n + 7. Is o(8) a composite number?
False
Suppose -4*t + 4527 = -0*i + 5*i, -4*i + 3630 = -t. Is i a prime number?
True
Let b(q) = q**2 + q + 8. Let z be b(0). Suppose -4*h = -z*h. Suppose h*a - a = -2. Is a a prime number?
True
Let l(s) = 211*s**2 + 3*s + 1. Is l(-1) a prime number?
False
Suppose 3660 = 4*b + 3*w - 10964, -2*b + w + 7322 = 0. Is b a composite number?
False
Let d(r) = 6*r - 1. Let p be d(2). Is (-2)/p - 3484/(-44) a prime number?
True
Suppose -3*n - 66 = -3*d - 0*n, -101 = -3*d - 4*n. Suppose -4 = 2*h - 6. Let c = d - h. Is c prime?
False
Suppose 3*g - 5 - 4 = -3*t, -4*t - 4 = 0. Suppose 2*b - g = -0*b. Suppose -5*x = -x + 5*o - 20, x + b*o - 2 = 0. Is x composite?
True
Is (21/(-12) + 2)*716 a composite number?
False
Let f = 925 - 518. Is f a prime number?
False
Suppose -w = -4*s - 68, 2*w = -5*s - 27 + 189. Let t = w + -45. Is t prime?
True
Suppose 3*z = -2*a + 4623, 3*z + 3*a = -0*a + 4620. Is z a prime number?
True
Suppose -35 = 4*k + 5. Let x = k - -17. Is x a prime number?
True
Let l = -3 + 3. Suppose -6*w + w = l. Is (49 + 0)/(w + 1) a composite number?
True
Suppose 0 = 4*d + 5*k + 123, 22 + 6 = -d - 4*k. Is (5/4)/((-4)/d) prime?
False
Suppose 3*b + b + 5*x = 861, -5*b - 3*x = -1060. Is b composite?
True
Let o(u) = 0 + u + 37*u**3 - u**2 + 4 - 4. Is o(1) prime?
True
Let p(w) = -w**2 + 6*w - 3. Let x be p(5). Suppose -2*c - x*z = -6, -3*c + 25 = -2*z - 3*z. Suppose c*k - 3*k = 46. Is k a prime number?
True
Let a be 1/(2 + (-10)/6). Let j be 0 - -23 - 1 - -3. Suppose a*c = 44 + j. Is c a composite number?
False
Let y(u) = 2*u**2 + 2*u - 2. Let k be y(-3). Suppose 2*z - z - k = 0. Is z composite?
True
Suppose -3*d = -5*d + 166. Is d a prime number?
True
Let m(q) = -98*q**3 - q**2 - 5*q - 11. Is m(-3) composite?
True
Let o(j) = -45*j**2 - 4*j - 1. Let p be o(3). Let m = p + 680. Is m a composite number?
True
Let a = 10 + 429. Is a a prime number?
True
Suppose 3*i = -2*w + 1957, -i + 234 = 3*w - 416. Suppose -4*n - 15 = -n, 3*m - 4*n - i = 0. Is m prime?
True
Suppose -4*j = -3*j - 861. Suppose -j = -5*h - 171. Is 3/15 + h/10 a prime number?
False
Let r(i) be the second derivative of -i**4/12 - 4*i**3/3 - 7*i**2/2 - 2*i. Let b be r(-7). Suppose u + u - 74 = b. Is u composite?
False
Is -2 + 6 - 4 - -23 composite?
False
Let n(w) = -w**3 - 11*w**2 - w + 2. Let c be n(-11). Suppose 15 + c = u. Let f = 50 - u. Is f prime?
False
Let s(f) = -10*f - 9. Let h be s(-6). Suppose h + 36 = w. Is w prime?
False
Let i(v) = 2*v**3 + 3*v**2 + 4*v - 6. Let z(m) = 6*m**3 + 9*m**2 + 11*m - 17. Let d(n) = 11*i(n) - 4*z(n). Is d(-4) a prime number?
False
Let k = 4 - 2. Suppose 2*m + k - 6 = 0. Suppose 0 = -5*q + 20, 2*b + 5*q = -m*b + 108. Is b a prime number?
False
Let w = 12 + -3. Is w composite?
True
Let k(s) = 2 + 6*s**2 - 1 - 3*s**2 + 2*s + 1. Let c be k(-2). Let x = 20 - c. Is x a composite number?
True
Let h = -8 - -2. Is (h/4)/((-9)/852) composite?
True
Let a = 7 - 0. Suppose a = -4*t + 27. Suppose 2*s - s + 110 = 2*p, p - 33 = -t*s. Is p composite?
False
Let s(c) = 599*c - 5. Is s(2) composite?
False
Suppose 0 = -3*s + 2*q + 1211, -3*s = 2*s + 5*q - 2060. Is s composite?
True
Let z be -2 + -6 + 3 + 50. Is z + -1 + -2 + -3 prime?
False
Let k(a) = 69*a - 16. Is k(7) a prime number?
True
Suppose -m = m + 66. Let o be (112/(-1))/(4 + -5). Let u = m + o. Is u prime?
True
Let x = 18 - 10. Suppose 3*m - x*m = -50. Is m a composite number?
True
Suppose -3*u - 4 = -4*u. Suppose 0 = 5*v - u*v - 69. Let s = -36 + v. Is s prime?
False
Suppose 0 = -w + 3*a - 3 - 7, -4*w = -5*a + 40. Let j be 1/5 - (-2)/w. Suppose -f + 8 + 27 = j. Is f prime?
False
Let h = 5 + 0. Suppose -4*l = -h*k - 160 - 407, 2*k = 3*l - 427. Is l prime?
False
Suppose -4*u - 156 = -5*z + 272, z - 4*u - 92 = 0. Suppose n + z = 5*n. Is n composite?
True
Suppose w = -2*h + 441, 3*w + 1130 = h + 4*h. Is h a composite number?
False
Let y(x) = -x**3 - 7*x**2 + 11*x + 8. Let q be y(-11). Suppose -q = -5*s + 4*s - 2*i, -i + 371 = s. Is s a prime number?
False
Let f(w) = w**2 - 2*w + 1. Let c be f(1). Suppose x = -c + 2. Is x + (-1)/(-1) + 11 prime?
False
Is (-2)/3*(-1788)/4 a prime number?
False
Suppose -2*t - 20 = 4*u, 6*u + 20 = 3*t + 2*u. Suppose -639 = -3*a - t*a - 3*i, i = 2*a - 420. Is a composite?
False
Suppose 3330 = 3*i + 3*k, 2*i + 