f) composite?
True
Let i be -3 + (-6)/(-2) - -17. Let c = i - 12. Suppose 4*f - 3*r - 506 = -r, -c*f + 630 = -5*r. Is f prime?
True
Let p be (4 - 6/(-2)) + -2. Suppose -p*t + 128 = -0*d + 4*d, 0 = -t - 4. Is d composite?
False
Let p(q) = 3*q**3 - q**2 - 9*q + 20. Is p(7) a composite number?
False
Suppose 4*u - s = u + 342, 5*u - 560 = 5*s. Is u prime?
False
Suppose 132 = 8*h - 4*h. Let q = 4 + h. Is q a prime number?
True
Let y(n) = -14*n**3 - n**2 - 2*n - 1. Is y(-2) a prime number?
False
Let p(i) = -2*i. Let v be p(-2). Suppose 0 = k - 2*w + 7, 0 = -k + 2*w - w - v. Is -1*(-1 - 121) + k a prime number?
False
Let a(s) = 4*s**3 + 5*s**2 - 2*s + 1. Is a(4) composite?
True
Suppose 9 = 3*g, 0 = -2*i - 4*g + 16 - 2. Is 1255/15*(i + 2) prime?
True
Let m(p) = -p**3 - p**2 + 4*p - 1. Let d be m(-3). Suppose r = d*a - 15 - 0, 2*a + 5*r = -21. Suppose -a*k + 4*k = 38. Is k prime?
True
Let l be ((-26)/3)/(2/6). Let w = 107 - l. Let v = w - 48. Is v a prime number?
False
Suppose y = 2*k + 3*y - 584, -5*y - 556 = -2*k. Suppose 103 - k = -5*u. Is u prime?
True
Let q be ((-60)/9)/(1/75). Let r = q - -721. Is r prime?
False
Let d(g) be the first derivative of -g**4 - 4*g**3/3 - g**2 + 2*g - 2. Is d(-2) prime?
False
Let j be (-3 + -2)/(1 - 2). Let k(y) = 14*y - 3. Is k(j) composite?
False
Let q(u) = 0*u**2 - 3*u**2 + 4*u - 3 + 4*u**2. Let c be q(-5). Suppose -c*m + 125 = 19. Is m composite?
False
Let u = 5 + -2. Suppose 0 = 7*w - u*w - 76. Is w prime?
True
Let h = 5 + -9. Let s(q) = -98*q - 1. Let x(t) = -98*t - 1. Let a(n) = h*x(n) + 5*s(n). Is a(-1) a prime number?
True
Suppose 12*a - 13*a + 481 = 0. Is a a composite number?
True
Suppose 10 = -2*j, f - 238 = 7*j - 2*j. Is f prime?
False
Let t(n) = n**2 + 3 + 10*n - 4*n**2 + 2*n**2. Let r be t(10). Suppose 15 = -r*b + 72. Is b a prime number?
True
Let j = -3 + 6. Is 9/j*(-4)/(-6) a composite number?
False
Let n(u) = 13*u - 6. Is n(9) a prime number?
False
Suppose 0 = 3*s + 3*s - 4854. Is s a prime number?
True
Suppose r + 2*d = -2*d - 5, -4*d - 8 = 0. Suppose -5*j = -3*g - 20, -r*j - 2*g + 2 = -10. Let l = 30 + j. Is l a prime number?
False
Let o = -40 + 79. Is o a composite number?
True
Suppose -3109 = -3*i - m + 6*m, i + 3*m = 1055. Is i a prime number?
False
Let f = -7 - -7. Suppose -38 = -2*v - 4*d, 2*d + f*d = -4. Is v a prime number?
True
Let d(m) = -4*m**2 + 7*m + 2. Let x(c) be the first derivative of -c**3 + 3*c**2 + 2*c + 2. Let l(r) = -4*d(r) + 5*x(r). Is l(-7) composite?
False
Suppose 148 = c - 3*z - 171, 1515 = 5*c + 5*z. Is c a prime number?
True
Suppose 4*n + 50 = 5*x, 0*x = -5*x - 4*n + 10. Is (-6)/4*(-76)/x prime?
True
Let g = -138 + 323. Is g a composite number?
True
Is 2127 - 4/(-10)*-10 a composite number?
True
Let c = 8 - 4. Is 1071/12 + (-1)/c prime?
True
Let c(b) = b**3 - 14*b**2 - 2*b + 23. Is c(16) prime?
True
Suppose 0 = 3*b - 13 - 788. Is b a composite number?
True
Let u(q) = -7*q + 10. Suppose 33 = -3*z - 0. Let k be u(z). Suppose -d + 26 = -k. Is d a prime number?
True
Suppose -5*k + 596 = -k. Is k prime?
True
Let w be 2 - (-7)/(21/(-6)). Let u = -5 + 8. Suppose w = u*c - 845 + 92. Is c prime?
True
Let s = -5 - -10. Suppose 2*g = 2*f + 152, 8*g + s*f - 390 = 3*g. Is g prime?
False
Let f = 289 + -56. Is f composite?
False
Suppose -2*n + 3906 = -0*n. Suppose -n = -4*d - 133. Suppose -7*t + 2*t + d = 0. Is t a prime number?
False
Suppose 0 = -2*i + 3*k - 11, -i + k + 14 = 6*k. Let v be 1/(i/(2 - 83)). Let r = -35 + v. Is r a composite number?
True
Let h(w) = -5*w**3 + 4*w - 5. Let p(r) = -r**3 - r**2 + r - 1. Let b(v) = h(v) - 4*p(v). Let n be b(4). Is n + -1 + 2 - -33 a composite number?
True
Suppose 3 = -2*y + 7*y + 3*c, y - c + 1 = 0. Is y + 0 - -2 - -47 composite?
True
Suppose 3*h = -232 + 61. Let n = 61 - h. Is n composite?
True
Let r(f) = f**3 - 6*f**2 + 3*f - 13. Is r(9) a composite number?
False
Suppose 3*p - 193 - 1010 = 0. Is p a prime number?
True
Let r(n) = -n + 2. Let h be r(0). Suppose 4*y - 249 - 319 = h*q, -y = 2*q - 137. Is y composite?
True
Let r = -2 - -3. Let h(z) = r - 2*z**2 + 0 + 5*z + 3*z**2. Is h(-7) a composite number?
True
Is (35/28)/((-2)/(-104)) a composite number?
True
Let x(d) = -3*d**2 + 5*d - 3. Let g(n) = -n**2. Let w(o) = -4*g(o) + x(o). Let j be -2 + (-6)/(-1) + -1. Is w(j) prime?
False
Let t(s) = -43*s + 4. Is t(-5) composite?
True
Suppose 4*f - 4*v - 5 = v, 4*f + 5*v = 35. Suppose -5*g - u - 37 + 667 = 0, -615 = -f*g - 4*u. Is g a prime number?
True
Suppose 2235 = -2*t + 5*t. Is (t/(-10))/((-2)/4) composite?
False
Let y = 140 - 93. Let g = 74 + -106. Let c = g + y. Is c a composite number?
True
Let t = 669 - 1124. Let n = -198 - t. Is n composite?
False
Suppose -4*r = -0*r - 104. Suppose 0 = -2*j + r - 0. Is j a prime number?
True
Is (((-20)/4)/15)/(1/(-3501)) a prime number?
False
Suppose -2*n = -4*n + 6. Suppose -5*j = -4*b + 31, n*j = j - 6. Let u(o) = o**2 + 5. Is u(b) composite?
True
Suppose -2*g + 12 = g. Suppose t = -3*t + g. Let z = 5 + t. Is z composite?
True
Let g be (-8)/(-12) + (-42)/9. Is (-674)/(4 + (-10 - g)) a composite number?
False
Let g be 5/2*2*1. Let s be 33*1*10/3. Suppose s = g*v - 135. Is v composite?
True
Let l = -220 - -557. Is l a composite number?
False
Suppose 14*t + 1484 = 18*t. Is t composite?
True
Suppose r + 234 = 3*r. Let z = r - 4. Is z a composite number?
False
Let g(l) = 23*l + 7. Let q(j) = -35*j - 11. Let v(b) = -8*g(b) - 5*q(b). Let x = -15 + 12. Is v(x) a composite number?
True
Let h(a) = a + 429. Let n be h(0). Suppose 763 = k + 2*g, 0 = -2*k - 5*g + 1955 - n. Is k a prime number?
False
Is (-2)/(-12) - (-4721)/6 composite?
False
Let b be (-4)/(-2) + -1 - -1. Let h = -2 + b. Suppose 2*x + 2*y - 32 = h, 3*y + y + 27 = 3*x. Is x prime?
True
Let v(o) = -o**3 + 9*o**2 - 3*o + 12. Let b be v(9). Is b/(-2) + (-12)/(-8) composite?
True
Let w(o) = 3*o**2 + 4*o - 6. Is w(-7) a prime number?
True
Is 18/135 - ((-20276)/30 + -3) prime?
False
Let j(b) = -2*b + 6. Let p be j(4). Is (3685/10)/(p/(-4)) a composite number?
True
Let x = 144 - -55. Is x a prime number?
True
Let o be (-5)/1 + -1 + 0. Let x(p) be the third derivative of -p**5/60 - p**4/2 + p**3/6 + 5*p**2. Is x(o) a prime number?
True
Let r be 4/14 - (-74)/(-14). Let a = 4 + r. Is 23 + -1 - (1 + a) prime?
False
Suppose -5*v - 42 + 307 = 0. Is v prime?
True
Let z(c) = 20*c + 7. Is z(16) a composite number?
True
Let w = 8847 + -4864. Is w a composite number?
True
Is (-5)/((-30)/2862) - -5 a composite number?
True
Let z = 290 + -201. Is z a composite number?
False
Let b(q) be the first derivative of 0*q**2 - 1/4*q**4 + 79*q - 1 - 1/3*q**3. Is b(0) a prime number?
True
Let l = -36 - -35. Let p = 1214 - -1240. Is l/(-4) + p/8 a composite number?
False
Suppose 9*r = 5*r + 308. Is r composite?
True
Let q(h) = -h - 2. Let i(z) = -z + 4. Let a be i(6). Let p be q(a). Suppose 4*t + 2*c - 48 = p, 2*c = -0*t + t - 2. Is t a composite number?
True
Let r(b) be the first derivative of -77*b**2/2 + 4. Is r(-1) prime?
False
Suppose -z + 9 = -5*l - 5*z, 3*l + 1 = 2*z. Let g be l + 2*(-1 + 3). Suppose 0 = -g*w + 66 - 9. Is w a prime number?
True
Is (1 - 1274/(-3))/(2/6) composite?
False
Suppose -13*r + 14*r = 1213. Is r composite?
False
Let n = 13 + -8. Suppose n*b - b = 476. Is b composite?
True
Suppose -45 - 367 = -4*m. Suppose 0 = -2*d - 4*a + 206, 4*d + 5*a - m = 3*d. Is d a prime number?
True
Let n = -90 + 530. Let g = -261 + n. Is g a composite number?
False
Suppose 54*s - 59*s = -1075. Is s composite?
True
Suppose -163 - 35 = -6*z. Is z a composite number?
True
Let t be 2 - (3 - 2) - 77. Let m = 3 - t. Is m a composite number?
False
Let b(o) = -37*o + 35. Is b(-18) composite?
False
Is 678/(-4)*4/(-6) a prime number?
True
Let g be (-3)/(((-6)/8)/(-1)). Let k be (2 - -1) + 11 + g. Let j = k + 13. Is j composite?
False
Suppose 4*z + z - 635 = 0. Is z prime?
True
Suppose -1651 = -5*g + q, 0 = -5*q + 22 - 2. Is g composite?
False
Suppose m - 2*y + 0*y = 8, 3*y + 6 = 0. Suppose m*i - 2*r + 6*r - 192 = 0, 5*r = 2*i - 131. Is i prime?
True
Let t(r) = -3*r**3 - 6*r**2 + 6*r. Let q(l) = -2*l**3 - 3*l**2 + 3*l. Suppose 5*f = 3*b - 37, 3*f + 26 - 3 = 2*b. Let u(k) = b*t(k) - 7*q(k). Is u(2) composite?
True
Let z(y) = -y**2 - 6*y + 2. Let i be z(-5). Suppose i*l + 20 = 2*l. Is (