/u - 10/(-3). Suppose 5*d = q*y + 161, d + y = 4*d - 95. Is d a prime number?
True
Let z = -72 - -50. Is 4/z - 2330/(-110) composite?
True
Suppose -5*c = -4*h - c + 24, -4*h + 12 = -c. Suppose 4*l - 25 = 4*p - 1, 2*l - 2 = -3*p. Suppose -2*d - l*i + 90 = 0, 0*d + 2*i = -h*d + 80. Is d composite?
True
Suppose 0 = -5*y + 2*h - 6*h - 10, y - h + 2 = 0. Is 128/1 + (-6)/y prime?
True
Suppose s - 95 = 4*y, 2*s + y - 135 = 100. Is s a composite number?
True
Suppose 2449 = 3*d - 2*y, 4*d + 4*y - 821 = 3*d. Is d a prime number?
False
Let n = 2 + 2. Let c(w) = -2*w**2 + n + 4*w + 2*w + 5*w**3 - 4*w. Is c(3) prime?
True
Let t(n) = 25*n - 1. Let w(y) = -24*y. Let r(j) = -5*t(j) - 6*w(j). Is r(6) prime?
False
Suppose 14 = 2*t - 5*g, -5*t + g - 6*g = 0. Let x be 151 + (-6 - (-5 - -2)). Suppose -t*i + x = 2*z, -4*i + 20 + 0 = 0. Is z a prime number?
False
Let t be (-1)/4 + 35/(-20). Is (-2 + 1)/(t/74) composite?
False
Let y(f) = -f**2 + 10*f + 7. Let d = 27 + -19. Is y(d) a prime number?
True
Suppose k - 6*k = 5*j - 8905, 4*j + 2*k - 7128 = 0. Is j composite?
False
Let u be 1/2*-2*-3. Suppose 4*j = u*i + 517, 2*i + 133 = 2*j - j. Is j a composite number?
False
Let d = 588 - 337. Is d a composite number?
False
Let s(a) = -4*a - 5. Let k be 3*(0 - 8/(-3)). Suppose -z = b + 1, k*b - 2*z + 22 = 4*b. Is s(b) a prime number?
True
Let y = 26 - 23. Let s(v) = 71*v - 2. Is s(y) a composite number?
False
Is (-6549)/(-3) + (-6 - -2) composite?
False
Let o(s) = -s + 1. Let c be o(-2). Let l be (-12)/(-20) - 6/10. Suppose l*d - c*d + 93 = 0. Is d composite?
False
Let p = 32 + 35. Is p prime?
True
Let c(v) = -v - 3*v + 82 - 5 + 3*v. Is c(0) prime?
False
Let p be 0*(6/4 + -2). Let y(n) = -n**2 - n + 14. Is y(p) prime?
False
Let o(t) = -15*t - 1. Let i be o(-7). Let k = i - -107. Is k prime?
True
Suppose -3*v - 18 = -6*v. Suppose -g + v = 2. Suppose b + b - 291 = -3*j, 0 = g*j - b - 388. Is j prime?
True
Let p = -2 - -2. Suppose p = -b + 4*b - 423. Is b prime?
False
Suppose 0 = -2*h + 3 - 7, 0 = -2*s - h + 6360. Is s prime?
True
Suppose 0 = 3*r - 0*r - 4*n + 1028, -2*n + 1704 = -5*r. Let i = -129 - r. Is i a composite number?
False
Suppose 0 = 2*c + 4 - 2. Is ((-57)/15)/(c/5) composite?
False
Let l(d) = 2*d**2 + 2*d. Let j be l(-1). Suppose -4*a - 5*r + 1060 = 0, 4*a - 194 = 5*r + 826. Suppose 3*x + x - a = j. Is x composite?
True
Let u(q) = 41*q - 3. Let k = -2 + 4. Is u(k) prime?
True
Suppose 0 = -3*d + 146 + 172. Is d composite?
True
Let q(x) be the second derivative of -x**6/120 + 19*x**3/3 + 3*x**2/2 - x. Let m(j) be the first derivative of q(j). Is m(0) prime?
False
Suppose -v = -p - 328, v + v = 5*p + 647. Is v a composite number?
False
Suppose 0*u + h = u - 684, 20 = -4*h. Is u composite?
True
Let r be 5/3*(-459)/(-9). Let w = r - 48. Is w composite?
False
Let f = -599 - -862. Is f a composite number?
False
Let m = 51 - 117. Let u = m - -5. Let w = -24 - u. Is w a prime number?
True
Let q = 8730 + -4741. Is q prime?
True
Let h(d) be the first derivative of 37*d**2 - 3*d + 3. Is h(4) a composite number?
False
Let k(z) = 72*z**3 - 2*z**2 - 2*z + 3. Is k(1) prime?
True
Let s be ((-164)/10)/(1/(-5)). Let y be (13 - 1)*(-17)/(-51). Suppose 2*d - s = -d + y*o, 4*d - o - 131 = 0. Is d a prime number?
False
Suppose 5*t + 6 = 26. Suppose m = -4*n - 124, m - 132 = 4*n + t*m. Let u = n - -127. Is u a prime number?
True
Let i(n) = n + 4. Let g(l) = -2*l - 9. Let d(u) = -4*g(u) - 9*i(u). Let r(f) = -4*f**2 - f + 5. Let s(b) = -d(b) - r(b). Is s(-4) a composite number?
True
Suppose -m - g = -11 - 28, 0 = -3*m + 2*g + 132. Suppose -i - m = i. Is (4/6)/((-2)/i) a prime number?
True
Let u be 160/12*30/8. Let g(r) = 4*r**2 + 3*r + 5. Let a be g(4). Let b = a - u. Is b a composite number?
False
Let c(x) = 7*x**3 - 2*x**2 + x. Let o be c(1). Suppose 0 = 3*n - 2*l - 113, -3*n = -o*n - 4*l + 107. Is n a prime number?
True
Let h be (-2)/(-20)*-4*-5. Suppose 0 = h*a - z - 47, 4*z = -0 - 4. Is a prime?
True
Let d(k) be the first derivative of 5*k**2/2 - 8*k + 6. Is d(9) a composite number?
False
Let m = -159 + 538. Is m composite?
False
Let i(f) = -892*f**3 + 11*f**2 + 9*f. Let k(r) = -446*r**3 + 5*r**2 + 4*r. Let t(s) = 4*i(s) - 9*k(s). Is t(1) a prime number?
False
Suppose -2*u + 398 = -364. Is u composite?
True
Let f = -495 + 1140. Suppose 5*n - 5*s = f, -2*n = -4*n - 5*s + 258. Suppose 0 = -5*c - 34 + n. Is c a composite number?
False
Suppose 3*q = -q + 5*i + 3, 0 = 5*q - 5*i - 5. Suppose 7 - q = -j, -5*d + 110 = -j. Is d prime?
False
Suppose -2*a - 252 - 987 = -3*v, 3*v + 3*a - 1224 = 0. Suppose -4*k = -401 - v. Is k composite?
True
Suppose 4*f = -7 - 1. Is (2453/(-44))/(f/8) composite?
False
Let v(g) = 3*g**2 + g - 3. Is v(10) prime?
True
Let z be (392/(-6))/((-5)/15). Suppose i = 3*i - z. Is 3/(-5) - i/(-5) a composite number?
False
Suppose -150 = -2*l + 260. Is l prime?
False
Let f(s) = 10*s**2 + s + 2. Let t be f(2). Let n = -64 + t. Let a = n + 73. Is a prime?
True
Let d = -15 + 10. Let z(p) = p**3 + 6*p**2 + 5*p + 4. Let l be z(d). Suppose f - 105 = -l*f. Is f a composite number?
True
Suppose 64 = r + r. Let k = r - 7. Is k composite?
True
Let o(v) be the third derivative of v**5/20 - v**4/6 + 3*v**2. Is o(3) composite?
True
Is 1/(6/381)*2 composite?
False
Let j be 4/(-6) + 28/(-3). Let o = j - -2. Let q(f) = f**2 + 3*f - 3. Is q(o) a composite number?
False
Let r = -4 - -8. Suppose 6*g - r*g = 4*c - 1482, g - 1856 = -5*c. Is c composite?
True
Suppose -3*d = -0*d + 3*g - 15, -2*d = -5*g - 3. Let l(r) = 2*r**2 + 5 + 4*r**2 - d*r + 5*r + r**3. Is l(-5) prime?
False
Suppose 2*d + s - 12 = 3*s, -s + 9 = 2*d. Let g(o) = -o + 10. Let t be g(d). Suppose -t*c + 555 = -2*c. Is c a prime number?
False
Suppose -z + 3 = -2*z. Is 1 - -71 - -2 - z prime?
False
Let w(q) = q**3 - 11*q**2 + 11*q - 7. Let a be w(10). Let o = 24 - a. Is o prime?
False
Let w(t) be the third derivative of t**4/6 + 5*t**3/6 + t**2. Suppose 0 = 4*o - 42 + 14. Is w(o) composite?
True
Let t(a) = -7*a**2 + 7*a + 25. Let l(y) = -4*y**2 + 4*y + 13. Let d(u) = -11*l(u) + 6*t(u). Suppose -2*m - 16 = -4. Is d(m) a prime number?
False
Suppose z = -6*v + 5*v + 183, -12 = -3*z. Is v a prime number?
True
Suppose -1260 = -7*x + 2*x. Suppose 5*r - 3*r = -2*p + 524, -p - x = -r. Is r prime?
True
Let x(r) = 5*r - 6. Let k be x(4). Suppose -n + 2*c = -20, 2*n - k = n + 5*c. Suppose 3*s - 9 = i - s, n = 4*i - s. Is i composite?
False
Let h(n) = -4*n**2 - n + 1. Suppose -4*s = -3 - 1. Let c be h(s). Let a(p) = -p**3 - 3*p**2 + 2*p + 5. Is a(c) composite?
False
Let x(g) = 57*g**3 + 3*g**2 - 4*g - 2. Is x(2) a composite number?
True
Suppose 694 = 8*v - 338. Is v prime?
False
Suppose 0 = -2*d - 2. Let c = 34 - d. Is c composite?
True
Let k = 423 + -685. Let g = k - -513. Is g a composite number?
False
Let q(z) be the second derivative of -3*z**5/10 - z**4/4 + z**2/2 - z. Suppose -5*h + 10 = -5*r, -r - 5*h - 4 = r. Is q(r) a prime number?
True
Let r(p) be the third derivative of -23*p**4/24 - 3*p**3/2 + 3*p**2. Let l be r(7). Let f = l + 463. Is f composite?
False
Suppose 5*p + 5 = -0*p, 4*p = 2*y + 4. Is ((-7)/y)/(8/1504) a composite number?
True
Suppose -2*y + 3*o = -4 - 3, -o + 9 = 5*y. Let a = y + 60. Is a a composite number?
True
Let l(m) = -m**3 - 14*m**2 + 4*m + 19. Is l(-16) a composite number?
False
Let s(q) = -q**3 + q - 2. Let u be s(0). Let b be 4/(-2) + u + 1. Let k(f) = 5*f**2 + f + 1. Is k(b) prime?
True
Let t = -1055 + 2104. Is t a prime number?
True
Suppose -3*a = 2*a. Suppose 5*s = -a*s + 1185. Is s a prime number?
False
Let y = -392 - -655. Is y a prime number?
True
Suppose 2*u + 5*q = 6*u - 25, 0 = -2*u + 5*q + 25. Suppose -3*d + 2*x = 3*x - 29, 2*d + 2*x - 14 = u. Is d a prime number?
True
Let i(n) = n**2 - 3. Suppose 0 = -3*p + 3*w - 12, 5*w - 9 = -5*p + 11. Let g be ((p - 0) + 3)*-2. Is i(g) a composite number?
True
Let d = 6 - 4. Suppose x + 5 = d*x. Suppose 2*t - 5*h - 7 = 3*t, -t + x*h = -33. Is t composite?
False
Is ((-16)/20)/((-4)/710) a composite number?
True
Suppose 0*p + 3*p = -c - 4, 0 = p - 2*c + 6. Let m be p - (-2)/(-2 + 0). Is m/(-5) + (-141)/(-15) a composite number?
True
Suppose 428 = s - 3*f, 5*s - 2*f + 4*f = 2089. Is s a composite number?
False
Let t(b) be the first derivative of 1/3*b**3 + 5*b 