ite?
True
Let n(z) = 3*z**3 - 2*z**2 + z. Let a(t) = -t**2 - t + 1. Let i be a(-1). Let v be n(i). Suppose 0 = 5*d - g - 72, g - v*g = 2*d - 33. Is d composite?
True
Suppose h = -b + 11, 0*h = -4*h - 12. Let p be 1 + 4/3 + 4/(-12). Suppose -c + p*c = b. Is c composite?
True
Let u be (1 - (-3)/(-2))*64. Let k = 15 - u. Is k prime?
True
Let f = 1 + -1. Suppose 2*r = -o + 112, -3*r + 155 = -f*r - 5*o. Is r composite?
True
Let f = -285 - -770. Is f composite?
True
Let m = 1576 + -789. Is m a composite number?
False
Suppose -2*m - 65 + 1979 = 4*q, 2*q = -2*m + 1924. Let c = m + -638. Is c a composite number?
True
Let r = -136 - 922. Let o = r - -1505. Is o a composite number?
True
Suppose 0 = 5*o + o - 366. Let u be (-2 + -3)/(1/(-6)). Let r = o - u. Is r a prime number?
True
Let x be 1/1 + (1 - -90). Suppose -4*y + x = l, 4*y - y - 3*l = 54. Is y composite?
True
Suppose 5*w + 2 = -8. Let y be (1 - (w + 1))*-1. Is 4/2 + 119 + y a composite number?
True
Suppose 4*q = 15*q - 9647. Is q composite?
False
Suppose -27*p + 6215 = -16*p. Is p a composite number?
True
Suppose 5*x = 2*r + 3*r - 45, -3*x = -5*r + 47. Let q be (0/4)/(2 + -1). Suppose 3*d - 257 - r = q. Is d a prime number?
True
Let j(a) = 19*a**2 + a + 11. Is j(-5) a composite number?
True
Suppose 15*m - 13*m - 92 = 0. Is m a composite number?
True
Suppose 2*p - 11 = -5*s - 5, -4*p + 12 = -s. Suppose -106 = -p*m - 40. Is m prime?
False
Let t = 47 + -32. Let b = -4 - t. Let o = -8 - b. Is o prime?
True
Let v = -3 - 3. Let w(g) = -g**3 - 7*g**2 - 6*g + 3. Let u be w(v). Let c = 14 - u. Is c composite?
False
Let z(l) = -9 - 15 + 23 + 9*l. Is z(10) composite?
False
Let n be 39/12 - (-1)/(-4). Suppose 0 = -2*h - 21 + n. Let d = -5 - h. Is d composite?
True
Suppose -5081 = -n + 2*m - 0*m, -4*n = 5*m - 20363. Is n composite?
False
Suppose 4*f = 4*v + 28, 3*v + 0 = 5*f - 21. Let x(t) = t**3 + 7*t**2 + 8*t - 6. Let p be x(v). Let g = p + 108. Is g a prime number?
False
Let q(o) = -o**2 + 2*o + 307. Is q(0) composite?
False
Suppose 0 = 3*t + 3*l - 5838, l = t - 1415 - 537. Is t a composite number?
False
Let x be 4 + 0 + (5 - 6). Suppose a = p - x, 4*a = 5*p + 3 - 19. Suppose -2*h + 10 = p*i, 0 = 4*h - 3*i - 36 - 39. Is h composite?
True
Let c be (-62)/(-1) + 2 + -1. Let a = 116 - c. Is a prime?
True
Let h(w) be the first derivative of -w**7/840 - w**6/90 - w**5/60 + 2*w**3/3 - 2. Let b(m) be the third derivative of h(m). Is b(-5) prime?
False
Suppose 8*r - 10632 + 368 = 0. Is r prime?
True
Let k = 5 + -4. Let y(q) = 3*q**3 - 2*q**2 + 1. Let w be y(k). Is 2/w - (-1 + -45) a prime number?
True
Let v = 83 + -6. Is v composite?
True
Let z = 9 + -1. Suppose g = -g + z. Suppose -o + 81 = 7*f - 3*f, 5*o - g*f = 381. Is o composite?
True
Suppose 0 = -3*k + 7*k + 72. Let w be (-50)/18 + 4/k. Is w/(-18) + 634/12 a composite number?
False
Suppose -6*z = -11*z + 15. Suppose -4*p - 305 = -y + 4*y, z*y + p = -290. Let c = 28 - y. Is c prime?
False
Suppose -14*j + 51186 = -8*j. Is j composite?
True
Is 1518/18 - (-4)/6 a prime number?
False
Suppose -z = 2*z + 33. Let o = -7 - z. Suppose -20 = o*f, -2*v + 10 = -4*f - 158. Is v composite?
True
Let s = -540 + 794. Suppose -13*c + s = -11*c. Is c a prime number?
True
Let z(l) = 7*l + 18. Let d(q) = 2*q + 6. Let a(i) = i + 3. Let y(o) = -5*a(o) + 2*d(o). Let s(m) = 39*y(m) + 6*z(m). Is s(6) a composite number?
True
Suppose -2249 = -16*x + 2055. Is x a prime number?
True
Let z = 17 - 12. Let d(k) = -k**3 + 7*k**2 - 8*k + 5. Is d(z) prime?
False
Suppose 4*z + 8 = 0, 4*f - 111 + 23 = -2*z. Is f a composite number?
False
Let l = -99 - -344. Suppose 5*k = -0 + l. Is k a prime number?
False
Let f(r) = -1 + 9*r**2 + 7*r + 2 - 7*r**2. Is f(-6) composite?
False
Let y be -6*(24/(-9) + 2). Suppose w = a + 3*a - 4, -3*a - y*w + 22 = 0. Is (-21)/(-9)*(a + 1) a composite number?
False
Suppose -10*h + 1142 = -4388. Is h composite?
True
Suppose -14 = 4*h - 198. Suppose -j + 59 = 5*k - h, 4*k + 4*j = 84. Is k composite?
True
Let i(d) = 5*d**2 - 2*d - 7. Let t(k) = 2*k**2 - k - 4. Let h(n) = 3*i(n) - 7*t(n). Let v be h(6). Let c = 71 - v. Is c a composite number?
True
Let g(a) = -4*a**2 + 8 + 2*a**2 + 10*a - a**3 - 4*a**2 - 3. Is g(-8) a prime number?
True
Let y(c) be the third derivative of c**6/120 + c**5/20 - c**4/12 - c**3/6 - 3*c**2. Let x be y(-3). Suppose 5*q - 28 = -g + 92, 0 = -x*q - 25. Is g composite?
True
Is (-6)/4*(-1016)/6 prime?
False
Let x(p) be the second derivative of -p**5/20 - p**4/12 - p**2/2 - 2*p. Let l be 1/(-3) - (-15)/(-9). Is x(l) prime?
True
Let o = 229 + -746. Let k = o - -810. Is k composite?
False
Suppose -541 = -2*f + x + 996, f = -3*x + 772. Is f a composite number?
False
Let j = -11 - -15. Let a = -2 + j. Is a a composite number?
False
Let a(o) be the second derivative of -o**5/20 + o**4/12 + 47*o**2/2 + 7*o. Is a(0) a composite number?
False
Suppose b - 357 = -2*b. Is b prime?
False
Let i(k) = -4*k + 1. Let s be i(-1). Suppose -527 = -s*y + 288. Is y composite?
False
Let d(v) = -3*v - 5. Let j be d(-4). Let r(c) be the second derivative of c**5/20 - 7*c**4/12 + c**3 - 5*c**2/2 + 5*c. Is r(j) a composite number?
False
Let c be (-79)/(-4) - (-2)/8. Suppose -c = -3*h - h. Suppose -h*f + 135 = -40. Is f composite?
True
Suppose -3*m + 3*p + 1347 = 0, -5*p - 907 = -0*m - 2*m. Suppose 2*b - 4*b = -m. Is b a composite number?
False
Suppose -185 = -6*o + o. Is o a composite number?
False
Let a be (-12)/8*(-2)/(-3). Let b be (-1 + (-1 - -2))/a. Suppose -4*i = -12 - b. Is i a composite number?
False
Suppose 300 = 2*b + 14. Is b composite?
True
Is (334 - (-12)/3) + -3 prime?
False
Suppose -6*d = -10*d + 1012. Is d a composite number?
True
Let x(l) = l**2 + l - 1. Let y be x(-1). Is y*(-3)/(-6)*-158 composite?
False
Suppose -3*g - 14 = -5*g. Let o(l) = -l**3 + 9*l**2 + 9*l. Is o(g) prime?
False
Let s = -3 - -2. Let t be 145 + 1*(s + -1). Let z = -60 + t. Is z composite?
False
Let v = -85 + 648. Is v a prime number?
True
Let t(n) = n - 14. Let b be t(8). Is (-38)/b*3*1 a prime number?
True
Let n(k) = k**3 + 4*k**2 - 2*k - 4. Suppose 5*g - 124 = -29. Suppose -2*h = 3*x + g, 0*x - 2*h - 13 = x. Is n(x) a composite number?
False
Let k be (-13 + 1 + -1)/1. Let u = k + 9. Let l(y) = -11*y - 5. Is l(u) composite?
True
Suppose 2*y + 962 = 2*q + 7*y, 4*q + y - 1942 = 0. Suppose 3*i + 3*l = 419 + 577, -5*i - 2*l = -1675. Let r = q - i. Is r composite?
False
Suppose 9*i - 4*i - 1855 = 0. Is i a composite number?
True
Let l = -437 - -1290. Is l prime?
True
Let y be (-44)/(-14) + 1/(-7). Is y - (2 + 0 - 394) a composite number?
True
Suppose -5*c = 28 + 147. Let l = 72 + c. Is l prime?
True
Let l = 1 + -4. Let s = l - -14. Is s prime?
True
Suppose -g = 2 - 6. Suppose -b - 2*b = 12, -g*b = -5*u - 54. Is (1 + 1)/((-4)/u) a prime number?
True
Let j(y) be the third derivative of y**4/8 - 19*y**3/6 - 6*y**2. Is j(18) composite?
True
Let a(m) = 3*m - 7. Let p be a(5). Is 4/p + 362/4 a composite number?
True
Let m = 109 - 55. Suppose 3*i = i + m. Suppose 0 = -4*p + 1 + i. Is p a composite number?
False
Is 66/9*498/4 prime?
False
Suppose -2*k + 73 = -57. Is k a prime number?
False
Suppose -l - j - 7 = 0, 4*l + 19 = -5*j - 6. Let b = -3 - l. Is 93*(-2 + b/3) composite?
False
Let m = -12 - -20. Let q be (-2 + 0)*(-1 - 2). Let g = q + m. Is g a composite number?
True
Let y = 162 - 83. Is y a composite number?
False
Let l(a) = a**2 - 4*a - 6. Is l(11) a composite number?
False
Let m = -64 + 70. Is m a prime number?
False
Let i(v) = 3 + 1 - 1 + 13*v. Suppose 5*x - 3 = 2*l - 1, 0 = 2*l - 4*x. Is i(l) a composite number?
True
Let r(m) = -m**3 - 3*m**2 + m + 5. Let g be r(-5). Suppose -2*i + 372 = g. Is i a composite number?
True
Let l(n) = 7*n**2 + 7*n - 1. Is l(6) a prime number?
True
Let y(t) = t**2 + 0 - 1 - 3 - 12*t. Let s be y(10). Let h = 61 + s. Is h a prime number?
True
Let d be 2/3*(-105)/(-14). Let g = 38 - d. Is g a prime number?
False
Let x(y) = 15*y**2 - 11*y + 1. Let t(p) = 5*p**2 - 4*p. Let m(c) = -8*t(c) + 3*x(c). Let b(r) = r**3 - 3*r**2 - 3*r + 4. Let k be b(3). Is m(k) composite?
True
Suppose 16 = 4*u, -2*a + 4*u - 5*u = -10. Suppose a*n = -s + 82 - 21, 3*s = -n + 167. Is s prime?
False
Let v be (-1 - (-2 + 3)) + -1. Let r = -1 - v. Suppose 0 = r*h - 18 + 4. Is h a prime num