= 24*b - 44*b - 140. Is f(b) a prime number?
True
Suppose 8111 = -24*g + 42623. Is g a composite number?
True
Suppose 2*c + 0*l + l = 629, -4*c = -4*l - 1276. Let i(o) = -2*o**3 - 5*o**2 - 17*o + 13. Let k be i(-7). Let j = k - c. Is j a prime number?
True
Suppose -11 = 4*f - 35. Suppose 2 = -f*m + 14. Let l(a) = 34*a**2 - a - 1. Is l(m) prime?
False
Suppose -5*o + 5614 = f, 4*o = -2*f - 2*f + 22440. Is f a prime number?
False
Suppose -4*k - 2*d + 2914 = -2*k, 3*d = -12. Is k a composite number?
True
Let r(x) be the second derivative of 631*x**5/10 - x**3/3 + x**2/2 - 2*x - 4. Is r(1) a prime number?
False
Let y(n) = -154*n**2 - 3*n + 1. Let q(x) = 155*x**2 + 4*x - 2. Let a(g) = -3*q(g) - 4*y(g). Is a(-3) a composite number?
False
Let f(g) = 4*g**2 + 2*g - 11*g - 3*g**2. Is f(10) composite?
True
Let j(v) be the second derivative of v**5/10 - v**3/6 + v**2 + 9*v. Let c be j(2). Suppose 12*p - c*p = -2212. Is p a prime number?
False
Suppose -796831 = -19*d - 28148. Is d a composite number?
True
Let k = 71 - -182. Is k a prime number?
False
Let l be 4 - 0 - (-2 - 0). Suppose a + 19 = l*a - 4*o, 5*a = -2*o + 13. Is (a/1)/(6/28) prime?
False
Suppose 0 = 5*d + n + 1505, -4*d + 5*n = 994 + 181. Let i = 179 - d. Is i a composite number?
False
Let h(p) be the second derivative of p**4/3 + 4*p**3/3 + 5*p**2/2 + 4*p. Let a be h(7). Suppose -s + 4*v = -a, -v = -2*s - 2*s + 1028. Is s a prime number?
True
Suppose 2*w + 21 = 4*h + 3*w, 0 = -3*h + 5*w + 10. Let p = -2 + h. Suppose -2*o + 357 = 3*r, 0*r - p*o = -3*r + 357. Is r composite?
True
Let w(l) = -42*l**3 + 2*l**2 - l - 5. Let z be w(-4). Suppose -4*o + 1101 = -z. Is o composite?
True
Suppose -4*a + 2*a - 5*u = -22, -4*a + 3*u = -70. Suppose 2*j + 2*t = a + 22, 4*t - 53 = -3*j. Let m = -16 + j. Is m composite?
False
Let m be (-2)/3 + 2/6*1460. Suppose 5*l = 569 + m. Is l a prime number?
True
Let u = 287 - 484. Let a = 342 + u. Suppose t - a = 42. Is t prime?
False
Let g = 12277 - 2342. Is g a prime number?
False
Let k(l) = 0*l**3 + 0*l**3 - 1 - 10*l**2 - l**3 + 3 - 1. Suppose 2*s = -2*s - 44. Is k(s) composite?
True
Let p(u) = 51*u**2 - 5*u + 23. Is p(8) a composite number?
True
Suppose -4*n = -5*n + 1. Let q be n/(-2) + (-930)/(-12). Suppose 9 = 2*m - q. Is m prime?
True
Let f(w) = w + 1. Let x(g) = 377*g + 11. Let c(r) = -2*f(r) - x(r). Is c(-8) a composite number?
False
Suppose 10 - 6 = -4*o. Let c be 5 + 2/o + 0. Suppose -c*w + 232 - 37 = 0. Is w prime?
False
Let j(f) = 7*f - 9*f + 4 + 0*f**2 + f**2. Let y be j(4). Is y - (-2)/4*-4 a prime number?
False
Let w(h) = -h + 7. Let a be w(4). Let i be a - -1 - (-2 - 1850). Suppose -3*y = l - 1242, 5*y + 4*l - 221 = i. Is y a composite number?
True
Is (-421520)/(-144) - (20/9 - 2) a composite number?
False
Suppose 4*c = -i + 6, -5*c + 18 = 4*i - 6. Suppose -741 = -3*o + i. Let f = o + -172. Is f composite?
True
Let o = -79 - -79. Suppose 0 = g + 3*g + 20, o = -3*y - g + 7078. Is y prime?
False
Let o(z) = -296*z**3 + 2*z**2 + 6*z + 7. Is o(-2) a composite number?
False
Let k = -725 + 1149. Let o = -758 + k. Let d = 45 - o. Is d composite?
False
Let p = 27 + 53. Suppose 4*x = 2*f - 2048, 2*f - 1975 - p = -3*x. Suppose -3*y + 4*a = -1019, 0*y - 3*a + f = 3*y. Is y composite?
True
Suppose -2*z = -3*w - 10, 0 = -2*z - 0*z - 2*w + 20. Let l be 4/z + 15/6. Suppose 4*k + 5*d = -0*d + 89, -43 = -2*k - l*d. Is k a composite number?
True
Let n = 11 + -11. Is (737/22)/(n - 1/(-14)) a composite number?
True
Suppose -3318 - 1202 = -4*p. Suppose -3*h = 2*h + p. Let b = h - -317. Is b composite?
True
Suppose 100 = 5*b + 2*g, -4*b = -0*b - 5*g - 80. Let c = -33 + b. Is (-2)/c - 356/(-52) a composite number?
False
Suppose -5 = -5*f, -q = -2*f - 6 - 4. Suppose -3*m = -m - 4*t + 4, 3*m + 3*t - q = 0. Suppose 0 = 4*o - 20, -6*a + 3*a = -m*o - 101. Is a prime?
True
Let o be 4 - (5 - -1) - 1448/(-1). Let a = o + -919. Is a prime?
False
Let l = 7 + -5. Suppose 0 = -3*h + 4*t + 1 + 17, 3*h + l*t = 0. Suppose -3*c + 2*d + 415 = 0, -363 + 89 = -h*c + 4*d. Is c a prime number?
True
Let x be 4/(-2) + (9 - 4). Suppose -x*b - 3*o + 1242 = 0, 0 = -o + 4*o - 3. Is b a prime number?
False
Let j(z) = -2*z**2 - 6*z - 6. Let t be j(-3). Let m be (-2)/t - 72/(-27). Suppose -3*x + 102 = m*y - 0*y, -2*x = 3*y - 71. Is x a prime number?
True
Let t(h) be the second derivative of h**5/10 + h**4/3 + 5*h**3/6 + 5*h**2/2 - 3*h. Is t(6) prime?
False
Let j(c) = -1186*c + 8. Let n be j(-4). Let q = n + -2769. Is q a composite number?
True
Let j(r) = -433*r - 74. Is j(-9) a prime number?
True
Suppose 0*x - 95154 = -3*i + 5*x, 0 = 2*i - 3*x - 63436. Is i a composite number?
True
Suppose 2*p - 4*p = -14. Suppose -3224 = -p*h - h. Let a = h - -492. Is a prime?
False
Let a be 1/(-2)*(9 + 1 + -4). Is 0*a/9 - (-22668)/12 a prime number?
True
Suppose 3*d = 5*d. Suppose 0 = -2*u + 5*h - 1, d*u + 3*h = 3*u - 21. Let i(w) = 40*w + 13. Is i(u) composite?
True
Suppose -i + 6*d + 9 = d, -9 = -i - 2*d. Let n = i + -5. Suppose 3*u - 445 = -5*y, -3*u + 733 = 2*u + n*y. Is u a composite number?
True
Let c(n) = -n - 4. Let d be c(-6). Suppose 4 - 50 = -d*u. Suppose -3*q = -2*q - u. Is q prime?
True
Suppose 0 = 358*x - 356*x - 17462. Is x prime?
True
Let n(o) = -3*o + 2*o + 4*o**3 + 127 - 5*o**3. Let g be 1/3*(-2 + 2). Is n(g) a prime number?
True
Is (-27 - -32)*((-21737)/(-5))/1 a prime number?
True
Let x(r) = r**3 - 7*r**2 + 7*r - 3. Let b(l) = l**3 - 5*l**2 - 6*l + 6. Let y be b(6). Let k be x(y). Let v(z) = 37*z + 8. Is v(k) composite?
True
Suppose m - 3*t = 7148, 6*m - 7*m + 7156 = 5*t. Is m prime?
True
Let w = 1962 - -3419. Is w prime?
True
Let k(x) = 225*x - 10 - 3 + 0. Is k(4) prime?
True
Is 6 - (2/(-16) - 6294240/256) a composite number?
False
Let n = -306 + 606. Suppose -5*l - 15 = -j + 84, 4*j + 4*l - n = 0. Is j a prime number?
True
Let f = 49102 + -17259. Is f composite?
True
Let i be 3/1 - (-13 - 220). Let l = i + -46. Suppose -5*w + 0*w = -l. Is w a prime number?
False
Suppose -5*f = -11 + 1. Suppose 10 = -q + 4*y, 2*q = -f*q - 4*y + 20. Suppose q*u + o + 1838 = 4*u, 5*u - 4595 = 5*o. Is u a prime number?
True
Let g(c) = 7*c**2 - 72*c - 52. Is g(-21) a prime number?
True
Let o be 119/34*6/7. Suppose -88 = 4*s + o*l - 318, -5*s + 301 = -3*l. Is s prime?
True
Suppose -j = 3*p + 28, 3*p + p = -20. Let d = 13 + j. Suppose d*n - 127 = -n. Is n prime?
True
Let x(n) = -n**3 - 8*n**2 + 3*n + 18. Let f be x(-8). Is (-10 - f) + 33*2 composite?
True
Let h(j) be the first derivative of j**4/4 + j**3 - 2*j**2 - j - 2. Let q = -1 + 5. Is h(q) composite?
True
Let n = -93 - -92. Is (-315497)/(-78) + n/(-6) prime?
False
Suppose -27162 = -40*v + 36158. Is v a composite number?
False
Suppose 0 = -8*s + 2849 + 8087. Is s composite?
False
Let y(g) = -404*g - 5. Is y(-8) composite?
True
Suppose -5*k = -3*j + 439, 4*k = 3*j - j - 296. Let d be j/(0 + 4/6). Suppose -2*o - o + d = 0. Is o a composite number?
True
Let c = 1133 - -58. Let z = c + -90. Is z prime?
False
Let d be (1 + -1)/(-1 + 0). Let i(k) = k**2 - 3*k + 287. Is i(d) a prime number?
False
Let j(a) be the first derivative of a**4/4 - 4*a**3/3 - 2*a**2 - 13*a - 29. Is j(8) a composite number?
False
Suppose 5*b = -4*d + 19, 0 = 5*b - 3*d + 8 - 20. Suppose -b*c - 3972 = -15*c. Is c prime?
True
Let q be (-3)/(-2)*24/18. Is (3 - (-1466 - q)) + (1 - 1) prime?
True
Let y(k) = -24 + 16*k**2 + 12 + 9 - 4*k. Let z = -9 + 5. Is y(z) a prime number?
True
Let u(i) = 2*i**2 + 4*i - 2. Let k be u(2). Let s(c) = c**3 - 13*c**2 - 15*c + 2. Let j be s(k). Is j/9*(-1212)/8 a prime number?
False
Let x(v) = 23*v**2 + 10*v + 5. Suppose n + 2*p - 6 = 0, -54 = -4*n - 3*p + p. Is x(n) a prime number?
True
Suppose 0*l + 96 = 4*v + 2*l, -4*l + 31 = v. Let g = 29 - v. Is (68/g + 3)*3 prime?
True
Let o(k) = -k**2 - 4*k - 248. Let d(f) = 2*f**2 + 7*f + 497. Let p(r) = 3*d(r) + 5*o(r). Is p(0) a prime number?
True
Let l(k) = -3*k**3 + 6*k**2 - 9*k - 4. Let r be l(5). Let p = -65 - r. Is p composite?
True
Suppose 5*b - o - 727 = 267, 3*b = -3*o + 582. Let i be b + 1/(-1) + -1. Suppose 3*m = 4*h - 0*m - i, 0 = h + 2*m - 49. Is h a prime number?
False
Suppose -15 = -3*g + 3. Suppose 0 = 6*k - 8*k - g. Is k/(-12) - (-153)/12 composite?
False
Let z = -18131 - -30054. Is z prime?
True
Suppose 0 = 19*