0 = -3*t + 9 - u. Is (t/(-15))/(2/201) prime?
True
Suppose 0 = 3*d - 6, -3*s + 3*d - 2*d = -967. Is s prime?
False
Let d(h) = 4*h - 8. Let r(m) = 4*m - 7. Let p(y) = 4*d(y) - 5*r(y). Suppose 0*b - 5 = b. Is p(b) composite?
False
Let w(p) = 3*p**2 - 10*p - 11. Is w(-10) composite?
False
Is (-7 + 3)/(4/(-34)) prime?
False
Suppose -s = -0 + 3. Is (s/1)/1 + 70 composite?
False
Let q = 17 + 7. Let r = q - -167. Is r prime?
True
Let o = -4 - -8. Suppose -o*l - l = 0. Is ((-33)/3)/(-1 + l) composite?
False
Let o be 5/20 - (-17)/(-4). Let d be 0/(2 - 4 - o). Suppose -2*i = -5*n - d*n - 48, -87 = -5*i - 4*n. Is i prime?
True
Suppose -n = -4*r + 1974, -n = n + 4. Is r a composite number?
True
Let p be (-12*(-3)/6)/(-1). Let j(s) be the third derivative of -s**6/120 - 7*s**5/60 - 7*s**4/24 + 7*s**3/6 - 3*s**2. Is j(p) composite?
False
Suppose -4*x + x = -9. Suppose x*i - 202 - 179 = 0. Is i a composite number?
False
Let g(k) = -k + 10. Suppose 4*t = t. Suppose t = -5*m + 14 + 21. Is g(m) prime?
True
Suppose -n - 30 = -4*n. Let g be 2/4 + 95/n. Let f = g - 1. Is f a composite number?
True
Suppose 0 = -3*x + x + 10. Suppose 282 = f + x*r - r, -2*f + 4*r + 540 = 0. Is f a prime number?
False
Let x = -8 - -7. Let h(u) = 207*u**2 - u - 1. Let w be h(x). Let f = -96 + w. Is f composite?
True
Let l be (-4 - -1)*(3 + -1). Let u = -3 - l. Suppose f + 4*w = 29, 2*f + 0*f - 38 = -u*w. Is f prime?
True
Is ((-4)/(-7))/(12/42) a prime number?
True
Suppose -539 = 5*q - 4*y - 2904, 2*q = -2*y + 928. Is q composite?
True
Let u(t) = 276*t + 1. Is u(2) a prime number?
False
Suppose -2*p = 2*p. Let j = 0 - p. Suppose 0 = -k + 4*d + 15, j = -5*d + 15 + 5. Is k prime?
True
Suppose -3*b - 7*n + 201 = -2*n, 4*b = 2*n + 268. Is b a composite number?
False
Suppose -3*u - 2 = -5*x + 74, x + 4*u - 29 = 0. Let p(h) = 2*h - 3. Let i be p(5). Let l = x - i. Is l a prime number?
False
Let j = 1019 + -232. Is j a composite number?
False
Suppose 22*m = 20*m + 4874. Is m a prime number?
True
Let j be 1 - 1 - (0 - 11). Suppose 3*z - 5*w + j = -0, -5*z + 2*w = -7. Suppose 0 = -t - 1, -l + t = z*l - 9. Is l a composite number?
False
Let m = -31 - -54. Suppose -3*f - m = -236. Is f a composite number?
False
Suppose 5*q + 4*s = 263, 5*s - 238 = -5*q + 22. Is 10/q + (-9082)/(-22) a composite number?
True
Let i(m) = -m**2 + 17*m - 11. Is i(11) composite?
True
Suppose -4*b + 3680 - 1494 = -2*j, -557 = -b + 4*j. Suppose -2*l - 3*l + b = 0. Suppose -1 = -2*y + l. Is y composite?
True
Suppose -10 = 3*b - 8*b. Suppose 0*c + 3*k = -5*c + 26, 3*c - b*k = 8. Let i = 10 - c. Is i prime?
False
Suppose 0 = -5*x + h - 4*h + 3385, 0 = -2*x + 4*h + 1354. Is x a prime number?
True
Suppose 0 = -5*a + 16 + 14. Is 49 + a - 4/2 composite?
False
Let z(h) = -139*h**3 - h**2. Let p be z(-1). Suppose p = -r + 4*r. Is r prime?
False
Suppose -5*o + 28 = 3. Suppose 3*t + o*g - 42 = 77, -2*g - 90 = -2*t. Is t composite?
False
Suppose 4*j - 3*j - 5 = 0. Suppose 77 = l - j*w, l - 28 = -2*w + 77. Is l a prime number?
True
Let h = 705 - 334. Is h a prime number?
False
Let t(s) = -s**2 + s - 2. Let y be t(0). Let f(b) = 6*b - 1. Let j(o) = 12*o - 2. Let n(d) = 7*f(d) - 4*j(d). Is n(y) a composite number?
False
Let k = 2845 - 1458. Is k composite?
True
Suppose 2*l - 2*g + 100 = 6*l, -3*l + 70 = 4*g. Let o = 11 + l. Is o a composite number?
False
Suppose -4*c = -4*z + 2240, -z - 1656 = -4*z - 5*c. Is z composite?
False
Let p(g) be the third derivative of g**8/6720 - g**7/360 + g**6/72 - 3*g**5/40 - g**4/12 + 2*g**2. Let z(f) be the second derivative of p(f). Is z(6) composite?
True
Suppose 0 = -t - 0 + 2. Suppose t*z = 4*z. Suppose z = -3*y + 4*y - 13. Is y a prime number?
True
Let h(p) = 3*p**3 + p**2 + 3*p - 1. Let a = 8 + -6. Is h(a) a composite number?
True
Suppose 3 = -f, 0*o + 5*f = -3*o + 3675. Let q = o + -725. Is q composite?
True
Let r = -934 + 1491. Is r composite?
False
Let b(j) be the third derivative of 13*j**7/840 - j**6/240 - j**5/120 - j**4/12 - 2*j**2. Let i(w) be the second derivative of b(w). Is i(-2) prime?
False
Let y(g) = g**2 - g + 1399. Is y(0) composite?
False
Suppose 0 = 3*h + 2*o - 263, 0*o - 3*o = 5*h - 437. Is h a prime number?
False
Let w(o) = 3*o - 1. Let c(v) = v**3 - 9*v**2 + 8*v + 1. Let z be c(8). Let x be w(z). Suppose -b + x = -23. Is b a prime number?
False
Let q = 182 + -123. Is q composite?
False
Let r = 107 - 14. Suppose -2*n + 10 = -4*u, -4*n - 5 = -5*n. Suppose -3*c + r = -u*c. Is c composite?
False
Let p = -7 - -10. Suppose j = -p + 5. Suppose -j*o + 115 + 233 = 4*w, -w = -o - 93. Is w prime?
True
Suppose -29 = 4*n - r, 4*n - 2*r + 44 = 2*r. Is 2/(12/(-69))*n a prime number?
False
Suppose 5*m - 8425 = -0*m. Is m composite?
True
Suppose -163 = -5*i + 72. Suppose b = -0*o - 4*o + i, -2*o - 84 = -2*b. Is b a composite number?
False
Let a = -440 + 688. Suppose p - 15 = a. Is p a prime number?
True
Suppose -4*q = 4*f - f - 8, -4*f = 0. Suppose -3*y + 20 = 2*y. Suppose 153 = 5*m + q*n, -n - y*n = 3*m - 88. Is m composite?
False
Let l(a) = 82*a - 37. Is l(24) a composite number?
False
Is (-885)/(-2) - (1 - (-3)/(-2)) a prime number?
True
Let v be 1 + 3/((-6)/(-4)). Suppose -v*q = -0*q - 63. Is q a prime number?
False
Let d(l) = 263*l - 1. Let t be d(1). Suppose b = 5*q - t, 147 = 5*q - 2*q - 4*b. Is q prime?
True
Is 6/(-2) - -52*1 composite?
True
Suppose 0 = 2*q - 4*r, 4*q + 3*r + r - 12 = 0. Is 75/q + 1/(-2) composite?
False
Let f be (-1)/((-2)/(-4)) + -1. Let z(b) = b**3 + 3*b**2 - 4*b - 3. Is z(f) a composite number?
True
Let f be (-8)/(-6)*(-72)/16. Is (-873)/f + 4/(-8) a prime number?
False
Suppose -133 = -4*v - 1. Let k = -2 + 4. Let o = v - k. Is o a prime number?
True
Let r be (-4)/(4 + (2 - 4)). Is (r/3)/(14/(-8337)) a prime number?
True
Let d(z) = z**3 - 3*z**2 - 5*z + 5. Is d(6) composite?
False
Let t = 6 - 4. Let h = 505 - -41. Suppose j = 5*l + 202, -t*j + 5*l = -5*j + h. Is j a prime number?
False
Let j = 13 + -5. Suppose -j*l + 3*l = -545. Is l prime?
True
Let y = 17 - 33. Let t = 6 + y. Let z = 131 + t. Is z a composite number?
True
Suppose -2*h + 40 = 3*h. Is (-6)/h*(-156)/3 a prime number?
False
Let g = -9 + 7. Is (-29)/(g/14 - 0) composite?
True
Let h be 1 - 2*14/(-4). Suppose 2*r = -2 + h. Is r a prime number?
True
Let c be -1 + 1 - (1 + -8). Let p be (2/(-5))/((-1)/30). Let f = c + p. Is f prime?
True
Let j(q) be the second derivative of q**5/20 - 2*q**4/3 + 4*q**3/3 + 5*q**2 + 2*q. Let i be j(7). Suppose -8*r = c - 3*r - 29, 2*c = 5*r - i. Is c prime?
False
Let x(m) be the third derivative of -m**6/120 + 7*m**5/60 + 5*m**4/12 - 7*m**3/6 - 2*m**2. Is x(6) composite?
False
Let h(y) = 6*y**2 + y + 1. Let k be 4/(4/2)*1. Let v be h(k). Suppose -2*w = s - v, w + 15 = -s + 2*s. Is s a prime number?
True
Let j(c) = -c**2 + 4*c + 1. Let d be j(4). Is d/(-1*(-1)/19) composite?
False
Let f = 279 - 30. Is f prime?
False
Let k(a) = 559*a**2 + 2*a. Is k(-1) a composite number?
False
Let a be -2*(38 - 1)*-1. Suppose -2*z + a = -0*z. Is z composite?
False
Let x(h) = 7*h**2 + 10*h + 13. Is x(8) prime?
True
Let u(b) = -11*b + 1. Let m be u(1). Let s(t) = -t**3 - 5*t**2 - 4*t + 7. Let y be s(-6). Let v = y + m. Is v a composite number?
True
Let t = 477 + -266. Is t composite?
False
Let y(v) = 3*v**2 + 5*v - 7*v**2 + v**3 + 4*v - 6. Let m be y(6). Suppose -5*u - 15 = -m. Is u a composite number?
True
Let t(v) = -11*v**3 + 2*v - 3. Let m be t(-3). Let b = m - 161. Is b prime?
True
Let s(b) = 8*b - 17. Is s(13) a prime number?
False
Let s = 14 - 7. Let k(x) = 0 + 4*x + s*x + 3. Is k(6) a composite number?
True
Let r be (-153)/(-45) + (-4)/10. Let b be (2 + (-13)/2)*-2. Suppose -l - r = -b. Is l a composite number?
True
Let t(d) = d**3 - 5*d**2 - 10*d + 7. Let m be t(6). Let f be 3*((-1)/3 - -1). Is -2 - f/(2/m) composite?
True
Suppose 6*g = g + 7075. Is g a prime number?
False
Suppose -2*s = s. Is 2 - (s + 49*-1) a composite number?
True
Suppose -38 = -3*o - 14. Let p = o - 6. Suppose -46 = -p*c - 0*c. Is c a prime number?
True
Suppose 4*m - 5*i + 610 + 386 = 0, -5*i - 996 = 4*m. Let v = m - -368. Is v a composite number?
True
Let m(v) = 9*v**2 + 5*v + 21. Is m(-8) a prime number?
True
Let t = 57 + 135. Suppose t = 3*i - 66. Is i composite?
True
Let f = -9 + 19. Is 4/f + (-309)/(-15) a