ppose 4*r = u + l. Is r prime?
True
Let y(v) = 2*v**2 - 2*v + 2. Let d be y(2). Suppose 3 = -3*f + 24. Suppose -f = -z + d. Is z prime?
True
Let y be (-1)/(-2) + (-9)/(-2). Let o be ((-54)/y)/(6/(-60)). Let r = o - 59. Is r composite?
True
Let i = -51 + 71. Suppose 2*f - i = -4*b + 7*f, -2*b + 10 = 2*f. Suppose 0 = b*p - 5*g - 610, 4*p + p + 5*g = 660. Is p a composite number?
False
Suppose -26*g = -27*g + 127. Is g composite?
False
Let t(z) = -19*z - 15*z - 1 - 48*z. Let g = -1 + -1. Is t(g) prime?
True
Is 1/(2 + (-105)/53) a composite number?
False
Suppose -3*i + 2*t + 2*t + 20 = 0, -5*i = -2*t - 24. Let f(y) = 2*y**3 - 8*y - 3 + 19*y - 5*y. Is f(i) a composite number?
False
Let z be 8/(-16)*(-12)/(-1). Let x(d) = 2*d**2 + 7*d + 7. Is x(z) prime?
True
Let d(z) be the first derivative of 5*z**2/2 + 4*z - 3. Is d(3) a prime number?
True
Suppose -k = -y + 6*y + 5, 0 = -2*y + 3*k - 19. Is ((-1043)/(-28))/(y/(-8)) composite?
False
Let m = 1180 - 41. Is m composite?
True
Suppose -2*t - t = -1842. Is t a composite number?
True
Suppose 0 = 5*z - 2*h - 19, 12 + 13 = 5*z - 5*h. Suppose 1 - 5 = -4*v, 0 = f + z*v - 3. Suppose 1 + 5 = -2*t, f = -y - 5*t - 4. Is y a prime number?
True
Let a(m) = m**2 - 14*m - 22. Let i be a(16). Let g(v) = -v**2 + 16*v - 11. Is g(i) prime?
False
Suppose -r - 5521 = -y, -3 = -2*r - 7. Is y composite?
False
Let p(s) be the first derivative of -7*s**2/2 + 6*s - 9. Is p(-9) a composite number?
True
Let t(f) = 1. Let c(w) = 37*w - 6. Let r(y) = c(y) - 5*t(y). Is r(6) a composite number?
False
Let m(g) = g**3 + g**2 - 2*g. Let y be m(-2). Suppose 2*h + j - 39 = y, 5*h - 38 = 4*j + 66. Let p = h + -7. Is p composite?
False
Let t(n) = 6*n**2 - 3*n. Let c(p) = 6*p**2 + p - 3. Let h(u) = 7*u**2 + 2*u - 4. Let y(d) = 4*c(d) - 3*h(d). Let s(m) = 6*t(m) - 11*y(m). Is s(-5) composite?
True
Suppose -n - 30 = -4*n. Is (382/(-4))/((-5)/n) prime?
True
Let l = -1743 - -4994. Is l prime?
True
Let k(z) = 0*z - 7*z**2 + 17*z**2 + 2*z + 12*z**2 + 1. Let t(i) = -i**2 - 5*i - 5. Let l be t(-4). Is k(l) a prime number?
False
Suppose -2*x = 3*x - 45. Let q be x/4 + (-4)/16. Suppose 0 = q*k - 13 - 39. Is k a composite number?
True
Let k = -29 - -160. Is k prime?
True
Let s(k) = k**2 + 6*k + 19. Is s(8) prime?
True
Let n(r) = -r + 5. Suppose -3*g - g = 3*h - 20, 2*h - g - 6 = 0. Let z be n(h). Is (-148)/(-8)*(z + 1) prime?
True
Let j be (0 - -3 - 6) + 131. Suppose -4*f + 8 = 0, 2*h - 3*f - 2*f = j. Is h a composite number?
True
Suppose -r + 1569 = s, 4 = 3*s - s. Is r a prime number?
True
Let p(z) be the third derivative of 5*z**4/12 + 11*z**3/6 + 5*z**2. Is p(8) a prime number?
False
Let g = 1 + -1. Let k(o) = 126 + g*o**2 + o**2 + 33. Is k(0) a composite number?
True
Let d be (-4)/((-12)/267) + -2. Let r = d - 54. Is r a prime number?
False
Let n(x) = 3*x - 4. Suppose 2*j = -2 - 6. Let i be n(j). Let r = i - -35. Is r a composite number?
False
Let z be ((-10)/5)/(2/7). Is (z/(-4))/((-1)/(-4)) a prime number?
True
Suppose 4*i - 76 = 220. Is i prime?
False
Suppose 0 = 2*i + 75 + 57. Let w = -47 - i. Is w a composite number?
False
Let q(g) = 8*g**2 - 4*g - 2. Suppose -5*s + 20 = -0. Let a be q(s). Suppose -j = j - a. Is j a prime number?
False
Let t(n) = -4*n**3 - 4*n**2 + 2*n + 5. Is t(-5) a prime number?
False
Let f = 43 - -27. Suppose 2*z = 4*z - f. Is z a composite number?
True
Let h be (-2)/(2/4*-1). Is 2/((h/158)/1) composite?
False
Is 2895/30 - 1/(-2) composite?
False
Suppose 0 = c + 136 + 109. Let r = c + 430. Is r a prime number?
False
Let g be (5 - 3)*(2 - 1). Suppose 0 = -5*z - g*s + 389, -5*z + 4*s - 383 = -10*z. Is z composite?
False
Suppose p + 438 = -p. Let a = p + 432. Is a a composite number?
True
Let b be 6/9 - (-412)/3. Suppose -b = 10*z - 12*z. Is z a composite number?
True
Let o = 4 - -18. Let a = o - 11. Is a a prime number?
True
Let q = -3 - -9. Let n be ((-1)/2)/((-1)/q). Suppose -5*y + 265 = -n*c, -169 = -2*y + 2*c - 63. Is y prime?
True
Suppose -z + 6*z - 5635 = 4*r, -z + 3*r = -1138. Is z composite?
False
Let g(h) be the first derivative of -h**2 + 8*h - 2. Is g(-7) prime?
False
Let n be 21/(-15) - (-3)/(-5). Let j be 0 + 1/n*-6. Let w = 6 - j. Is w a composite number?
False
Suppose 0 = 5*y + 15, 362 + 1077 = 4*b + 3*y. Is b composite?
True
Let x be (-8)/52 + 56/26. Is (-1)/x - (-270)/20 prime?
True
Suppose 2*b - 1092 = 2*u, 2*b - 3*u - 254 = 835. Suppose -4*g + 2*g + 5*f + b = 0, -5*g = -5*f - 1335. Let i = g + -175. Is i a prime number?
False
Let o(g) = -g**2 + 41*g - 27. Is o(22) a composite number?
True
Let w(t) = 2*t**2 - 2*t + 3. Is w(3) composite?
True
Suppose -2*x = q - 2*q - 2794, -3*q + 5608 = 4*x. Is x prime?
True
Suppose 3*s + 0*s + 33 = 0. Let t = 8 - s. Is t a composite number?
False
Let i be 1 + -3 + -2 - 0. Is (-8)/i*1246/4 prime?
False
Let v be 1*-1 - (-18 - -5). Let t(k) = -k**3 + 13*k**2 + 5*k - 13. Is t(v) a prime number?
True
Suppose 0 = -4*l + 8, 0*l = y + 3*l - 11. Suppose -k = -y*b - 5, -3*k + 4*b + 25 = 2*k. Suppose 238 = 5*u + k*c - 67, c = -2*u + 120. Is u prime?
True
Let l = 409 - -700. Is l composite?
False
Let g(j) = 12*j**3 - 6*j**2 + 7. Is g(7) prime?
False
Suppose -4*b + 3*b + 6 = 0. Is (20/b)/(4/18) composite?
True
Suppose -4*y + 0*y = 0. Suppose 4*c - 484 = -y*c. Is c a composite number?
True
Let k be ((-4)/8)/((-2)/(-4)). Let w = k - -32. Is w prime?
True
Let g(k) = k**3 - 3*k**2 - 2*k - 7. Let w be g(5). Let a = w - 2. Is a a composite number?
False
Suppose g = -g - 3*a + 26, -5*g + 3*a + 65 = 0. Suppose g = -2*m + 69. Suppose -m - 46 = -2*o. Is o a composite number?
False
Let k(u) = -14*u + 15. Is k(-14) prime?
True
Let j = 5 + 1. Let v(i) = 4*i**2 + i - 7. Is v(j) a prime number?
False
Let v(u) = -u**3 + 7*u**2 - 6*u + 2. Let m be v(6). Suppose -214 = -4*y + i, i - m*i = 2. Is y composite?
False
Let m(u) = -4*u**3 - 8*u**2 + 11*u + 11. Is m(-12) composite?
False
Suppose 0 = -2*p + 4*p + 4. Is 446/((2 - p)/2) composite?
False
Let i(r) = r**3 - r**2 - 5*r + 3. Let d be i(3). Let w be (-18)/(-4) - d/4. Is (-6)/w + (-13)/(-1) prime?
True
Is -131*(0 + (1 - 2)) a prime number?
True
Let f(m) = 2*m**2 + 83. Is f(0) a composite number?
False
Let h(c) = 5*c - 6. Let j(i) = 6*i - 5. Let m(k) = -3*h(k) + 4*j(k). Let l(g) = 44*g - 11. Let d(w) = 2*l(w) - 11*m(w). Is d(-2) prime?
False
Let y(p) = p**3 - 15*p**2 + 3*p - 9. Let a be y(15). Let r = a + 11. Is r a composite number?
False
Suppose 5*x - x = 460. Is x a prime number?
False
Let h be (-4)/(-10) + (-69)/(-15). Suppose 6*b + 2*o - 156 = h*b, b - 2*o - 172 = 0. Suppose -5*l + 51 = -b. Is l a composite number?
False
Suppose 5*a = 3*a + 2*f + 156, 288 = 4*a + 2*f. Is a a composite number?
True
Suppose -t + 6*t = 4445. Is t a composite number?
True
Let x = 244 + 129. Is x a composite number?
False
Suppose -2*h - 5*a - 3 = -h, h - 25 = 2*a. Suppose -h = -3*v - 5. Suppose 3*z = -5*k + 587, 2*k - 62 - 152 = v*z. Is k a prime number?
False
Suppose -2*q = 3*q. Let g(f) = f + 9. Let i be g(q). Let a(o) = 2*o**2 - 14*o + 10. Is a(i) a prime number?
False
Let u be 3/(-3) + (-6)/(-1). Let d = 12 - u. Is d composite?
False
Is (-3 - (-52)/16)/((-2)/(-2648)) a prime number?
True
Let v be (11/(-2) + 3)*408. Let r = -600 - v. Suppose 2*g = -2*c + r, 8*c - 206 = -g + 3*c. Is g a composite number?
False
Suppose 2*a - 131 = -2*o + 367, -2*o + 1000 = 4*a. Is a composite?
False
Let r(w) = 4*w - 5. Let b be r(2). Suppose 2*x = -b*x + 1055. Is x a prime number?
True
Let b = 922 + -485. Is b a composite number?
True
Let v = 189 - -202. Is v a prime number?
False
Suppose -y + 25 + 0 = -3*t, 4*t = 3*y - 30. Let h = t - -9. Suppose 5*b - 30 = -l - h*l, 0 = -5*b - 25. Is l prime?
False
Suppose -2*d = 3*d - 20, -2*d + 53 = 5*b. Is b prime?
False
Let s = 26 - 17. Suppose 0 = 3*j - s - 33. Is j prime?
False
Suppose -2*c + 4*f + 2 = -4*c, -5*f = 5*c + 5. Let i be 0/4 + (c - -131). Suppose -i = -4*k + 138. Is k a prime number?
True
Is 7483/63 + 4/18 a prime number?
False
Suppose 0 = -j + 40 + 525. Is j composite?
True
Let m = -6 + 10. Let g(i) = 7*i**2 - 5*i - 1. Let d(b) = 14*b**2 - 10*b - 2. Let c(f) = 4*d(f) - 7*g(f). Is c(m) composite?
True
Let p(i) = 258*i**2 - 2*i + 1. Is p(1) prime?
True
Let a(x) = -22*x - 3. Let c(i) = -3*i**3 + i**2 - 2*i + 1. Let f be c(1). Let q 