te number?
False
Is 5560/14 - (-2)/(-14) a prime number?
True
Is (-2)/(-3)*(-3228)/(-8) a prime number?
True
Suppose -3*h - 3196 = -2*j - 962, 3*j - 3341 = 2*h. Is j a composite number?
True
Let d = 5 + -2. Suppose -3*q = -2*h + 12, -d*q = -5*h + 24 + 6. Suppose -h + 17 = t. Is t composite?
False
Let d(r) = -r + r**3 - r - 7*r**2 - 6 - 5*r. Let u be d(8). Suppose -u*b = -z + 81, -2*z - 2*b + 465 = 3*z. Is z a prime number?
False
Suppose -p = -6*p + 2*m + 35, 0 = 3*p + 5*m + 10. Suppose -4*v + 20 = q - 7, -5*q - p*v + 90 = 0. Suppose 3*t = q, -2*k + 0*t - 2*t = -30. Is k composite?
True
Let a(z) be the second derivative of -z**4/12 - z**3 + 2*z**2 - z. Is a(-6) a composite number?
True
Let i(f) = -8*f**3 + 6*f + 7. Is i(-5) prime?
True
Suppose 50 - 19 = 3*w + 5*h, 10 = 2*h. Suppose -w*c + 500 = 118. Is c prime?
True
Let q = 44 - -89. Is q prime?
False
Let s(v) = -v**2 - 8*v - 3. Let d be s(-7). Suppose -8 = 3*p - d*p. Suppose 5*b - 3*k - 164 = 107, p = -4*k. Is b prime?
True
Is (-1170 - (-4)/1)/(-2) prime?
False
Let o(g) = 8*g + 6. Let u be ((-1)/1)/(3/30). Let f = u - -15. Is o(f) prime?
False
Let x(k) = k**3 + 8*k**2 - 8*k + 13. Let l be x(-9). Suppose -5*z + 6*g + 640 = 5*g, 5*g - 483 = -l*z. Is z composite?
False
Let s(j) = -4*j**3 - j**2 + 5*j - 5. Is s(-5) composite?
True
Suppose 0*p - 6 = 3*p, 5*h - 592 = p. Is h a prime number?
False
Is 291/((3 - 0) + -2) a composite number?
True
Let s be (4/(-4))/(2/764). Is s/8*(6 - 10) a prime number?
True
Let h(l) = 65*l**3 - 4*l**2 + 3*l. Let n be h(2). Suppose -n = -2*m - f - 3*f, -1284 = -5*m - f. Is m a prime number?
True
Suppose -787 = -4*s + 1833. Suppose 5*t - s = -3*i + 160, 0 = -4*t - i + 652. Is t a prime number?
True
Let d(k) = 2*k**3 + 3*k**2 - k. Let b be d(-3). Let r be (16 + -9)*(-20)/(-14). Let i = r - b. Is i composite?
True
Suppose 4 = 4*k - 76. Suppose 0 = 5*q - k - 30. Suppose 0 = 2*m - 68 - q. Is m prime?
False
Suppose -4*w + 4 = 0, 5*v - 3932 = -2*w + 5*w. Is v prime?
True
Suppose 0 = -7*h - 722 + 5517. Is h composite?
True
Suppose 3*g + 9 + 5 = 2*b, 5*b - 3*g = 26. Let s(m) = 23*m + 5. Is s(b) composite?
False
Let b(u) = u**2 - 4*u + 3*u**2 + 2 - 3*u**2. Let i be b(3). Is (-183)/(-2) - i/(-2) composite?
True
Is (-262)/(-6)*(-9 + 12) a composite number?
False
Let w(p) = -9*p**2 + 4*p + 2. Let c(m) = 37*m**2 - 17*m - 8. Let h(b) = 2*c(b) + 9*w(b). Let g be h(2). Let u = 35 + g. Is u a prime number?
True
Let n(s) = -2*s**3 - 3*s**2 - 4*s - 3. Let h(r) = 2*r**3 + 2*r**2 + 3*r + 3. Let t(j) = -3*h(j) - 2*n(j). Is t(-4) prime?
False
Let o(f) = 2*f + 3. Let a be o(-3). Let w = a + 8. Suppose 5*u + 5 = 5*z, -z + w*u = -1 + 20. Is z prime?
False
Suppose d - 1 - 2 = 0. Suppose 0 = 3*s - 8*k + 4*k - 95, d*k + 40 = s. Is s a prime number?
False
Let i(z) = 3*z**3 - 5*z**2 + 5*z - 5. Let t = -1 - -5. Is i(t) a composite number?
False
Let x(d) = -2*d + 7. Let g(r) = -4*r**3 + r + 1. Let j be g(-1). Suppose 4*h - j*z = -0*h - 20, 3*z + 34 = -4*h. Is x(h) prime?
False
Suppose 0 = -4*d - 22 + 2, 5*a - 5*d = 25. Suppose a = 2*o - 13 - 15. Is o prime?
False
Let c = 140 - 55. Is c prime?
False
Let j = 52 + -18. Is j a composite number?
True
Suppose -q - 1 = -f - 0*f, -2 = -4*q + 2*f. Suppose a - q = 3. Suppose 2*m = 3*g + 673, -3*g + 701 + 929 = a*m. Is m a composite number?
True
Suppose -10*r = -11*r + 457. Is r prime?
True
Let l be 2/(-3*(-4)/390). Suppose -v - 2*o = -0*o - l, 195 = 3*v + 2*o. Is v composite?
True
Let u = -53 - -117. Suppose f - u = -d + 2, -5*f + 5*d = -340. Is f a composite number?
False
Let h be -1*(1 - 0/(-1)). Let j be ((-28)/7)/(1*-1). Is (-1 + h)/(j/(-62)) a composite number?
False
Let h = 351 + -94. Is h prime?
True
Suppose 61*r - 2228 = 57*r. Is r prime?
True
Let p(t) = 2*t**3 - 6*t**2 + 2*t - 4. Let d be p(6). Suppose -5*v + y = -1102, v + 2*y - d = y. Is v prime?
False
Let a = 86 - 8. Let y = -98 - -53. Let s = y + a. Is s composite?
True
Suppose 2*i = -4*y + 20, i + y = -3*i + 12. Suppose -335 = -7*d + i*d. Is d composite?
False
Let o(l) be the third derivative of 5/3*l**3 + 0 - l**2 - 1/24*l**4 + 0*l. Is o(-9) a composite number?
False
Let h = -121 - -174. Let r = 36 + h. Is r a prime number?
True
Let t(d) = -d**2 + 9*d - 8. Let w be t(8). Suppose w*j = -3*j + 177. Is j prime?
True
Let n = 497 + 138. Is n prime?
False
Suppose -2*b - 976 = -5*h, -788 = -3*h - h + 4*b. Is h composite?
True
Let x = 8 + -4. Let k(z) be the second derivative of 3*z**3/2 + z**2/2 + z. Is k(x) prime?
True
Let r be 2/8 - 286/(-8). Let s = -24 + r. Let t = s - 2. Is t a composite number?
True
Suppose -305 = -4*j + 303. Is j/36 - (-4)/(-18) a composite number?
True
Let m be (-2)/7 - (-32)/14. Suppose 2*p = m - 0. Suppose -t + p + 30 = 0. Is t a composite number?
False
Suppose 4*m - 1105 = 679. Suppose -1115 = -5*r + 5*f, 3*f + m = 3*r - r. Is r a composite number?
False
Let y = 6354 - 4205. Is y a composite number?
True
Let z(c) = -2 + 0 - 2 - 3*c + 0. Let i be (1*-1 + 6)/(-1). Is z(i) a composite number?
False
Suppose -5*t = 5*i + 95, 3*t = -3*i - 2*i - 85. Is (-186)/i + (-6)/21 composite?
False
Let q(m) = m**3 + 20*m**2 - 24*m - 21. Is q(-18) a composite number?
True
Suppose -4*y + y = 0. Suppose y*g + 235 = g. Is g a prime number?
False
Let c = -4 - -4. Is 1/(c - 1)*-37 a prime number?
True
Let b(n) = -n**3 - 6*n**2 - 10*n - 6. Let z be b(-6). Let x = 91 - z. Is x*5*(-7 - -8) composite?
True
Let m = -1 - 2. Let p be m/4 - 633/4. Is 2/(475/p - -3) a composite number?
True
Suppose 3*t - 335 - 154 = 0. Is t composite?
False
Let v = 37800 - 52995. Is 6/27 + v/(-27) prime?
True
Suppose 5*u = -20, 0*k = 2*k - 4*u - 822. Is k a composite number?
True
Let q(b) = -b + 8. Let t be q(6). Let d be 19*t*(-2)/4. Is 3 - (d - (-1 + -2)) prime?
True
Let w be 1/2*-2 - -271. Suppose w = -0*v + 2*v. Suppose 2*q + 4*r - 282 = 0, 3*r - v - 7 = -q. Is q prime?
True
Suppose 3*z + 60 = 2*z. Let o = 31 + z. Let y = 52 + o. Is y prime?
True
Let y be 3/(-1) - (-9 + 2). Suppose -l + y*z + 32 - 14 = 0, -3*z = 4*l - 53. Is l prime?
False
Let a be 1 + 21 + 3 + -1. Suppose 5*j - a = j. Suppose 5*o - 2*l - 63 = 0, l - 2 + j = 0. Is o a composite number?
False
Let j be (-3 - (1 - 2))*46. Let l(q) = 3*q**2 - 7*q - 4. Let v be l(3). Is (-6)/v - j/1 composite?
False
Let r(j) = 229*j**2 + j. Let b be r(-1). Let o = b + -139. Is o composite?
False
Let g(l) = -53*l - 3. Let n(b) = -35*b - 2. Let z(u) = -5*g(u) + 7*n(u). Suppose 6 = -4*x - 2*k, -3*k - 2*k - 25 = 0. Is z(x) composite?
True
Suppose 3 + 1 = -2*x, -2056 = -2*v - 2*x. Let j = v - 723. Is j a composite number?
False
Let i(q) = -q + 9. Let h = 1 - -4. Let m be i(h). Suppose 5*n - 106 = -f - 0*f, n + m*f = 25. Is n a prime number?
False
Suppose 6*j - 2*j + 5*g + 23 = 0, -5*j + 2 = -4*g. Is -4*1/j - -7 a composite number?
True
Let a = 5 - 3. Suppose 195 = 3*j + a*j. Is j a composite number?
True
Let b be (-6)/(-27) + 7/9 - 21. Suppose 4*w + 4*j - 8*j = 212, -3*w + 2*j = -159. Let d = b + w. Is d composite?
True
Let h(n) = 8*n + 10. Let g(w) = w + 1. Let i(s) = -3*g(s) + h(s). Is i(8) composite?
False
Let m = -19 - -13. Let j(z) = -22*z - 5. Is j(m) a prime number?
True
Let n = 7 + -4. Suppose 12 = -4*l, -8*f + 5*l + 35 = -n*f. Suppose -f*t - j + 642 = -3*j, -5*j + 25 = 0. Is t prime?
True
Let i = -11 - -138. Is i a composite number?
False
Let b(w) = -w + 3. Let j be b(0). Let k(x) = x + 3*x**3 + x**3 + 0*x**3 + 89 - x**2 - 5*x**j. Is k(0) prime?
True
Is 2*967*9/18 a composite number?
False
Let g(r) = 78*r**3 + r**2. Suppose u = j + 4, -u = -4*j - 5*u + 24. Is g(j) a prime number?
True
Let h = 531 + -357. Suppose 3*l - 502 = l. Let f = l - h. Is f a prime number?
False
Suppose d - b - 1655 = -4*d, 5*d - 4*b = 1655. Is d a composite number?
False
Let d = -2 - -1. Is 0 - d - (-16 + -2) a composite number?
False
Suppose 3*j - 6 = -3*g - 3, -3 = g + 5*j. Suppose -2*d - g = 0, d - 6*d - 960 = -5*h. Is h prime?
True
Is 985/(-4)*(10 - 14) composite?
True
Is (-28)/(-126) - 619/(-9) prime?
False
Let q = -57 + 93. Suppose -3*z - 2*f = 2*z - q, f + 15 = 3*z. Is z prime?
False
Suppose i + 2890 = 5*m, 0 = -m - i + 372 + 200. Is m composite?
False
Suppose -46*d + 41*d + 3805 = 0. Is d a prime number?
True
Let r(w) = w**2 - 14*w + 8. Let j be r(13). Let h(t) = 12*t**2 - t + 2. Is h(j