 composite?
True
Suppose 5*a + 4*z + 38 = 0, -5*a - 5*z - 24 = -8*z. Let y(d) = d - 7. Let u be y(9). Is (u + 0)/(a/(-39)) composite?
False
Let a(z) = -3*z**3 + z**2 + 3*z - 5. Let m be 4/(-18) - 272/72. Is a(m) prime?
True
Suppose -2*g - g + 1878 = 0. Suppose -5*t = 4*i - 1065, -3*t - 2*i - 3*i = -g. Is t a prime number?
False
Let b(n) = 4*n - 9. Let r be b(6). Let g = 6 - r. Let a = g - -46. Is a a composite number?
False
Let c(l) = 25*l + 1. Let n be c(-2). Let u = 154 - n. Is u prime?
False
Suppose -k - k + 1402 = 0. Is k a prime number?
True
Let p be 10/(-4)*(-16)/10. Suppose 4*x + 244 = p*m, -x - 241 = 3*m - 7*m. Let h = m - 7. Is h prime?
True
Suppose -2*a = -7*a - 20. Let o = a + 7. Suppose 0 = 2*v + o*v - 295. Is v composite?
False
Let x(m) = 65*m**3 - m**2 + 1. Is x(1) prime?
False
Let y(a) = 25*a + 9. Is y(6) a prime number?
False
Suppose 5*s - 2 = 23, 0 = -4*x - 2*s + 18. Suppose 3*i = x*i + 62. Is i prime?
False
Suppose -3*j - 1492 = j. Is j/((6/(-3))/2) composite?
False
Let h(k) = -1. Let c(m) = 5*m**3 - 2*m**2 - 6*m + 10. Let q(f) = c(f) + 6*h(f). Let w be q(4). Suppose 0 = 2*j - 6*j + 5*z + 197, 5*j + z = w. Is j composite?
False
Is 133 + 1/(2/(-4)) a prime number?
True
Let s be ((-269)/(-2))/(2/(-20)). Let r(i) = 2*i - 1. Let b be r(2). Is s/(-15) + (-2)/b a composite number?
False
Let i(u) = 7*u - 44. Is i(19) a composite number?
False
Suppose -3*n - 13857 = -6*n - 2*o, 4618 = n + o. Is n composite?
False
Suppose 0 = -0*d - 4*d + 20. Let i(w) = -w**2 + 7*w + 1. Is i(d) composite?
False
Let f(z) = -40*z + 14. Let r be f(8). Let p = -203 - r. Is p a prime number?
True
Let z = -19 + 11. Let r = -5 - z. Suppose -r = -o + 5*j, -4*o - 9 = -3*j - 21. Is o composite?
False
Let o = 17 - 17. Is (-1 - (2 - o)) + 22 composite?
False
Let t be (12/(-10))/(12/(-80)). Is (7*2)/(t/116) prime?
False
Let k(h) = h**2 - 4*h + 6. Let q be k(4). Let p(r) = -q*r + 2*r**3 + 4*r - r**3 + 2. Is p(2) a composite number?
True
Suppose -3*p = -5*p + 4*m + 86, 5*p - 3*m = 250. Is p composite?
False
Suppose 2*d - 4*c = c + 103, 106 = 2*d - 4*c. Is d prime?
True
Let x = 69 - -250. Is x prime?
False
Let r(t) be the third derivative of 7*t**4/24 - t**3/6 - 7*t**2. Is r(5) a composite number?
True
Let s = -34 - -77. Suppose -3*j - 10 = -8*j. Suppose j*q + s = 3*q. Is q a composite number?
False
Suppose 3*x - 4*r + 4 = 0, 3*x + 20 = -2*r + 4. Let g = x - -8. Suppose -3*k - 66 = -g*t - k, -3*t + 2*k = -47. Is t prime?
True
Suppose 5*u + 0 = -20, 2*u + 50 = 2*o. Suppose 0 = 5*d - 5*c + o + 79, 5*c = -d - 44. Is (-3)/(0 - 3) - d prime?
False
Let z(t) = -3*t**3 - 5. Let f be z(4). Let v = -64 - f. Is v a composite number?
True
Let j(b) = -15*b + 8. Let u(c) = -c**2 + 2*c + 3. Let v be u(4). Is j(v) prime?
True
Let f = -8 + 3. Let h = 5 - f. Is h composite?
True
Let z = 12 + 13. Suppose -l = 4*l + z. Let k(u) = -2*u**3 - 2*u**2 + 3*u + 6. Is k(l) a composite number?
False
Suppose b - 1302 = -5*b. Is b a composite number?
True
Let i(f) = -f - 10. Let t = 7 + -21. Is i(t) a composite number?
True
Let w(j) = -3*j**2 + 3*j + 4. Let c be w(-5). Let q = c + 165. Is q composite?
False
Let u = -2 + 144. Let s(r) = 3*r + 21. Let g be s(10). Let b = u - g. Is b a prime number?
False
Is 3266/14 + -2*3/21 prime?
True
Suppose 3*d + d = -j + 14, -1 = -3*d + 4*j. Is (-6455)/(-15) - (-2)/d a composite number?
False
Let h(x) be the second derivative of -1/2*x**3 - 1/6*x**4 + 3/2*x**2 + x + 3/20*x**5 + 0. Is h(3) a prime number?
False
Suppose 5*c + 0*c - 195 = 0. Let w = -26 + c. Let o = -7 + w. Is o a composite number?
True
Let q(r) = r**3 + 3*r**2 + 4. Let y be q(-3). Let p = y - -1. Suppose -31 + 10 = -3*t - 5*b, 19 = 2*t + p*b. Is t composite?
False
Let t = 2 + 1. Suppose -7*d = -2*d - t*v - 3586, -3*d = -3*v - 2148. Is d a composite number?
False
Suppose -r = -2*w + 1350 + 2536, -4*w + 7772 = 5*r. Is w a prime number?
False
Let h = -273 - -382. Is h a composite number?
False
Suppose -5*g - 3*u = -1585, -841 = -4*g - 4*u + 427. Is g a composite number?
False
Let s(b) = b**2 + 7*b - 11. Let r(l) = 2*l**2 + 7*l - 12. Let t(y) = 5*r(y) - 6*s(y). Is t(-7) a composite number?
False
Let i(d) = d**3 + 10*d**2 + 12*d + 3. Let k be (-2)/(2/9)*1. Let r be i(k). Let x = r - -77. Is x composite?
False
Let z = 334 + -201. Is z prime?
False
Suppose -4*l + 133 = -19. Is l prime?
False
Suppose -f + 2*f + 2708 = 4*q, 3*q + 5*f = 2031. Is q a composite number?
False
Let k = 602 + -351. Is k a composite number?
False
Let t be (13/(-4))/(1/(-4)). Let k(v) = 3*v**2 - 20*v + 12. Is k(t) a composite number?
True
Suppose 4*l = 8*l - 20048. Is (1/2)/(14/l) prime?
True
Suppose -1 = 5*d - 6*d. Is (9 - 4)*(12 + d) a composite number?
True
Let x = 534 + -355. Is x prime?
True
Suppose v + 1005 = -4*v. Let z = v + 700. Is z composite?
False
Let q be -3 + (84 - (-1 - 0)). Let h = q - -5. Is h prime?
False
Let h be (328/4)/((-1)/(-2)). Let s = 223 + -117. Let a = h - s. Is a a prime number?
False
Suppose -2*f + 6 = -5*s, -10 = 3*s - s + 3*f. Is 6/2 - 16*s composite?
True
Let u be (-272)/(-28) + 4/14. Is (2 + 211)*u/15 prime?
False
Let q(t) = -14*t**2 - 3*t. Let n be q(-2). Is 2 + (-1 - n) - -2 prime?
True
Let r be (-2 - -17)*(-1)/1. Let n be (-10)/r - 146/(-6). Suppose 5*f = n, 0*f + 358 = 4*a + 2*f. Is a a prime number?
False
Let v = 1293 - 796. Is v composite?
True
Let v = 79 + 27. Is v a prime number?
False
Let s = -1 + 3. Suppose -s = -5*z + 4*z. Suppose -z*q + q = -49. Is q composite?
True
Is 4/26 - 5103/(-39) a composite number?
False
Let s(a) = a**3 + 3*a**2 - 6*a - 5. Let b be s(-4). Let p be 1 + b/(3/4). Suppose 5*f = -p*i + 670, 4 = 3*f + 1. Is i prime?
False
Let p(h) = -h**2 + 5*h - 1. Let s be p(5). Let d(b) be the second derivative of 79*b**4/12 - b**3/6 - b**2/2 - b. Is d(s) composite?
False
Let j = 25 + -15. Suppose j + 0 = c. Let o = 45 + c. Is o a prime number?
False
Is (-8 - -7)/(2/(-1606)) a prime number?
False
Suppose -3*g = -5*h + 596, 7*h - 582 = 2*h - 4*g. Is h a composite number?
True
Let i be (2 - 24/9)*3. Let l be (9/6)/((-1)/i). Is 4/6 - (-289)/l composite?
False
Suppose -4*f = -73 + 21. Is f a composite number?
False
Is 0/1 + (-380)/(-4) prime?
False
Suppose -6*n = -20294 - 3640. Is n composite?
False
Suppose 0 = -7*s + 474 + 415. Is s a composite number?
False
Let h = -826 - -1613. Is h a prime number?
True
Suppose o - 1 = -5. Is (-323 + 1)*o/8 composite?
True
Suppose -3*p + 605 + 325 = 0. Let w = 302 + 166. Suppose 3*c + 5*q = w, 2*c = -0*c - 4*q + p. Is c a prime number?
False
Let j(l) = -4*l - 37. Let u(i) = -5*i - 37. Let s(n) = -6*j(n) + 5*u(n). Is s(0) prime?
True
Let w(t) = t + 3. Let l be w(-3). Suppose 29 = p + 3*h - 67, 3*p - 320 = -h. Suppose l = -3*s - 3 + p. Is s a prime number?
False
Let t(j) = -j**3 + 9*j**2 + 6*j - 1. Suppose d - 32 = -4*f, -4*f + 4*d + 36 + 16 = 0. Is t(f) a prime number?
True
Suppose 0 = 3*f + 19 - 673. Is f a prime number?
False
Suppose b + 0*b = 4*v - 12, 0 = 4*b + v - 3. Suppose b = 10*w - 4*w - 1722. Is w a prime number?
False
Let p(a) = -211*a + 2. Is p(-3) a composite number?
True
Suppose -1255 = -g + s - 9, g - 1240 = 3*s. Is g prime?
True
Let r(i) = i**2 - i + 8. Let y be r(0). Suppose -y*a + 7*a + 113 = 0. Is a a prime number?
True
Suppose 103 + 13 = 4*g. Let w(c) = c**2 - 3*c - 7. Let q be w(-6). Suppose -z + g = -5*f, -5*z + q = -4*f - 35. Is z prime?
False
Suppose 0 = 2*o - 18 + 16. Suppose -3*q - 18 = -4*z - q, o = -2*z + 3*q. Is z a composite number?
False
Suppose 14*q = 3218 - 1020. Is q a composite number?
False
Suppose 62 = 4*q - k - 56, -4*q - k = -122. Suppose 3*u = q + 63. Is u prime?
True
Let u(m) be the third derivative of -11*m**4/24 + m**3/3 - 3*m**2. Is u(-3) prime?
False
Let o(k) = 9*k**3 + 6*k**2 - 6*k - 1. Is o(2) prime?
True
Is 4 - (-492)/(0 + 4) a composite number?
False
Is 3/4 + (-106)/(-8) prime?
False
Let k(w) = -w**3 + 9*w**2 - 6*w - 11. Let f be k(8). Suppose 5 = -f*u + 15. Suppose u*t = t + 67. Is t a prime number?
True
Let x(h) = -h**3 + h**2 + 7. Suppose 4*i + 0*i = 0. Let o be x(i). Let t(u) = 5*u - 9. Is t(o) a composite number?
True
Let l = -69 - -79. Is l a prime number?
False
Suppose -3*u + 4 + 1 = 2*v, -2*u + 18 = 5*v. Let m be u - 1 - (-75 - 1). Suppose 0*y = 2*y - m. Is y prime?
True
Suppose -4*i - 2*