Is k(b) a prime number?
True
Suppose 0 = 11*b - 4*b - 602. Is b prime?
False
Suppose -5*y = -12*y + 707. Suppose -y = -3*b + 64. Is b a composite number?
True
Is 2*789*(-2)/(-12) a composite number?
False
Suppose 75 = c - 112. Is c composite?
True
Suppose 5*r = 1572 - 567. Is r a prime number?
False
Is 3/(-14 + -1) + (-10611)/(-5) composite?
True
Let b = 3 + 8. Suppose t - 3*r - b = -t, r - 5 = 0. Is t a prime number?
True
Let p be 2 - 2 - 6/(-2). Suppose 5*i = -p*l - 7, 4*i - 3*i + 15 = -4*l. Is 176/12 - l/(-6) prime?
False
Suppose 4*i - q - 11 = 0, -4*i = 3*q - 7 - 8. Suppose s - 3*s = 5*r - 587, -i*s + 3*r = -912. Is s a prime number?
False
Suppose a - 5*a + f = 3685, -3*f + 15 = 0. Let i = a + 1315. Is i composite?
True
Is (6607/(-2))/(6/(-12)) prime?
True
Let v be (-1)/5 + (-1355)/(-25). Let w = v - -73. Is w composite?
False
Suppose -4*w + 0*k + 9854 = k, 3*w - 7379 = 5*k. Is w a composite number?
True
Suppose 0 = 4*u - u - 2*j + 14, -5*u = -5*j + 15. Let x = u + 121. Is x prime?
True
Let w(o) = 13 + 2*o**2 - 2*o - 16*o + 0*o**2. Is w(12) prime?
False
Suppose 3*i + 28 = 2*l + 5*i, 0 = -3*l + 5*i + 42. Is l a composite number?
True
Suppose 2*g = -g. Suppose -4*a + a = g. Suppose a = 2*b - b - 259. Is b prime?
False
Suppose 0 = 5*c + 90 + 315. Let u = c - -427. Is u/18 + (-2)/9 composite?
False
Let k(s) = -81*s - 2. Let n be k(-5). Let y = n + -166. Is y composite?
True
Let f(c) = 2*c**2 + 3*c. Let r be f(-2). Suppose s - 33 = -r*s. Is s prime?
True
Let a(g) = g**2 + 2*g + 1. Let v be a(-2). Let w be ((v + -1)*-1)/(-2). Suppose w = 2*j - 4*j + 28. Is j composite?
True
Is (-2)/11 - 4074/(-22) composite?
True
Suppose 4*f + 240 = 836. Is f composite?
False
Suppose 3*d - 4 = 8. Suppose -2*j - 2*k = -4*k - 166, -2*k = -d*j + 340. Is j composite?
True
Let g(m) = -m**3 - 5*m**2 - 2*m - 6. Let f be g(-5). Suppose f*n - 2*n - 302 = 0. Suppose 0 = -5*o - b + n, -8 = -b + 3*b. Is o a composite number?
False
Let o(g) = -2*g - 4 - 2*g**3 - 2*g**3 + 8*g**2 + 5*g**3 + 0. Let i be o(-8). Suppose -i = 2*r - 122. Is r composite?
True
Suppose -5*a = 2*c - 1832 - 1325, -1891 = -3*a + 2*c. Is a a composite number?
False
Suppose j - 4*p = 19, 5*j + 16 = -4*p - 9. Let b be j*1*(1 - 0). Is (b/(-2))/(2/212) a prime number?
True
Let g = -16 - -31. Is g a prime number?
False
Let d = 1 + -1. Suppose d*h - 3*h + 57 = 0. Is h a prime number?
True
Suppose -2*d = -3*d - 5*g - 5, 0 = 4*d + 3*g - 31. Let s(r) = r**3 - 9*r**2 - 2*r + 11. Is s(d) composite?
True
Is ((-7)/(-21))/((-2)/(-90)) composite?
True
Let g = 45 - 78. Let l = -18 - g. Is l prime?
False
Suppose 2*v - 7*v = -2705. Is v a prime number?
True
Suppose 3*u - t - 1474 = 0, -u = 2*t - 6*t - 473. Is u a prime number?
False
Suppose 480 = -13*u + 15*u. Suppose -2*q + u = 5*w - 190, 0 = 3*w - 12. Is q prime?
False
Let t(j) = -j**3 + 14*j**2 - 7*j - 2. Is t(12) prime?
False
Let b(m) be the first derivative of -m**2/2 + 4*m - 1. Let o be b(4). Suppose -2*p - 5*n + 64 = o, -2*p = n + 3*n - 66. Is p a composite number?
False
Let d be 5/(-10) + (-5)/(-2). Suppose 2*h = -x - 3*x + 458, -d*x - 3*h + 227 = 0. Is x composite?
True
Let m be (-442)/2 - (-2 - 1). Is 2/(-14) - m/7 a prime number?
True
Suppose 2*j + 2338 = 4*j. Is j a composite number?
True
Is 15613/9 + (-12)/(-54) prime?
False
Suppose -o - 5*w + 1156 = 0, 2*o - o = -2*w + 1147. Is o a composite number?
True
Let a be (-47)/(-7) + (-8)/(-28). Let f = -7 + a. Suppose f = -4*q + q + 66. Is q composite?
True
Let f = 521 + -903. Is f/(-6)*(4 + -1) composite?
False
Let r(p) be the third derivative of p**6/120 - p**5/12 - 7*p**4/24 + p**3 + p**2. Is r(7) a composite number?
True
Let n(k) = 95*k**2 - 14*k + 12. Is n(5) composite?
True
Let z = 7 - 5. Suppose -n + 116 = l, -2*n + z*l + l = -257. Is n composite?
True
Let o = -188 + 275. Is o prime?
False
Let v = 0 - 0. Let d be 3/9*(6 + v). Suppose 26 = d*g - 18. Is g prime?
False
Let w(b) = -235*b - 1. Let f be w(-1). Let k be 3540/140 - 4/14. Let r = f + k. Is r a prime number?
False
Let w(s) = -s. Let g be w(-3). Suppose 0 = -g*r + 27 - 0. Is r a composite number?
True
Suppose -23 - 132 = -5*l. Is l a prime number?
True
Suppose -4*i - 575 = i. Let p = i + 189. Is p prime?
False
Let j = 4 + -1. Is (j/(-6))/(1/(-50)) a prime number?
False
Let o(j) = -j**3 + 4*j**2 + 5*j - 5. Is o(4) a composite number?
True
Let i(t) = 5*t**2 + 2*t - 1. Let c be i(-2). Suppose -l + 3*q = 16, 2*l + 3*l - c = -4*q. Let x = 12 + l. Is x prime?
True
Let z = 7 - 11. Let n be (-16)/z*1/1. Suppose -t = n*t - 435. Is t a composite number?
True
Let o be (8/14)/((-8)/(-28)). Let q(m) = -10*m - 4. Let f be q(-3). Suppose -3*b + 108 = o*y, 5*y - y = -b + f. Is b prime?
False
Suppose 2*y - 2 = 2. Suppose -5*l - 4*p + 391 = 0, -3*l + 2*p + 239 = -0*l. Suppose 0 = -u + y*u - l. Is u composite?
False
Suppose 4 + 6 = 2*i - w, 2*i - 10 = 5*w. Let k be (-2 - (-12)/i)*10. Suppose -22 = -2*g - 2*t, -k*g = 3*t - 18 - 25. Is g composite?
True
Let l = 39 - 21. Suppose -2*d = o - 14, -5*o - 8 = -l. Is d a prime number?
False
Let r(q) = q - 3. Let i be r(3). Suppose i = 5*j - 20, -4*c = -0*c - j - 132. Is c a composite number?
True
Let f(z) = z**2 + z - 2. Let u be f(3). Suppose -5*q - 25 = -u*q. Suppose 0 = -q*r - 2*k + 14 + 38, 4*r + 2*k = 42. Is r a composite number?
True
Let i(c) = -9*c - 4*c + 0 - 1. Let p be i(-6). Is (4/2)/(2/p) a prime number?
False
Suppose -92 = -4*n + c - 3*c, -4*n - 4*c = -92. Suppose 71 - n = -4*g. Is g/(-6)*(-145)/(-2) prime?
False
Let i = -436 - -2367. Is i composite?
False
Suppose 4*b = a + 4*a - 139, -4*b = -a + 31. Is -5 + a + 1 + -1 a prime number?
False
Suppose 8*l - 93 = 5*l. Is l a composite number?
False
Let o(c) = -3*c - 17. Is o(-16) prime?
True
Suppose -p = 4*o - 287, -4*o - 1555 = -8*p + 3*p. Is p composite?
False
Suppose 4 = 4*m + y - 2*y, y = -m - 4. Suppose m = -4*t + 299 + 57. Is t a composite number?
False
Is 758/6 + 6/9 a prime number?
True
Let c be 6 - (-6)/(-9)*3. Suppose -3*w = -c*w - 1. Is 2 + 0 - 33/w prime?
False
Suppose 0 = 5*g - 3 - 2. Let k = 6 + g. Is k a prime number?
True
Let n(f) = f - 3. Let k be n(6). Let z(x) = 4*x**3 - 4*x**2 - 4*x - 13. Let g(y) = -y**3 + y**2 + y + 3. Let h(p) = -9*g(p) - 2*z(p). Is h(k) prime?
False
Let l(p) = 86*p**2 + 3*p. Is l(-1) prime?
True
Suppose -2*x + 35 = -25. Let k = x - -25. Is k a prime number?
False
Suppose -122 - 506 = -4*w + 2*x, 2*x = -2*w + 314. Suppose -165 = -2*l + w. Is l a composite number?
True
Let c(m) = -3 + 0 - 2 - 16*m + 0. Is c(-4) a prime number?
True
Suppose 4*w - 2*u + u - 338 = 0, -3*w - u + 250 = 0. Let k be 2 - (6 + -3 - w). Suppose -2*r + 12 = -5*n + k, 2*n - 24 = 3*r. Is n composite?
True
Let h(b) = -46*b**3 + 2*b**2 + b - 1. Is h(-2) a composite number?
False
Let v = 15 + -25. Let k be (v/(-4) - 3)*6. Is k/2*(-62)/3 prime?
True
Let h = 331 + -174. Suppose -3*w - 187 = 83. Let j = w + h. Is j prime?
True
Let r = 9609 - 6418. Is r composite?
False
Suppose -2*s + s = 0. Let g(a) = a**3 - a**2 - a + 39. Is g(s) a prime number?
False
Let o = 104 - -28. Let i(y) = y**3 - y**2 - y. Let v be i(2). Suppose -6*j + v*j = -o. Is j prime?
False
Let l = -8 + 11. Suppose -l*u + 563 + 190 = 0. Is u a prime number?
True
Let j be ((-2)/(-5))/(3/3585). Let z = j + -96. Is z composite?
True
Suppose 0 = c + t + 21, -3*c + 2*t + 3*t = 63. Let l = 10 - c. Is l a composite number?
False
Is 1/(-2)*(-5 - 1977) a prime number?
True
Suppose 6*h - 566 = 16. Is h prime?
True
Suppose 0 = 7*a - 2*a. Let o be 0 + 1 + -5 - -2. Is o + (a + 7 - -2) a prime number?
True
Let b be 0 - 1/(3/(-69)). Is b - 1*3/3 composite?
True
Let d(t) = -110*t + 72. Is d(-11) a composite number?
True
Let g(d) = 75*d**2 + d + 9. Is g(4) prime?
True
Let i(r) = 3*r**3 - 11*r**2 - 6*r + 4. Is i(5) a composite number?
True
Let h be ((-3)/6)/((-3)/30). Suppose -2*n + 9 + h = 0. Suppose 4*x - n = 3*x. Is x prime?
True
Let s(d) = -800*d**3 + d**2 + 3*d + 1. Is s(-1) a prime number?
False
Let o(y) = y**3 + 2*y**2 - y + 3. Let b be o(-3). Is 0 - (b + 5) - -117 a prime number?
False
Suppose 5*m + 794 = 8*x - 4*x, 2*x - 394 = 4*m. Let r = x + 58. Is r a composite number?
True
Is 82 - (-7 - -3 - -7) a composite number?
False
Let i = 1922 - 1371. Is i a prime number?
False
Let t(h) = 5*h - 7. Let b be t(-6). 