)/(b/k) a prime number?
False
Suppose -2*l - l = 12. Let w be (-39)/(-12) + 1/l. Suppose 4*p = -5*j + 69, 5*p - 18 - 78 = -w*j. Is p a composite number?
True
Is -4*((-1575)/12 + -2) composite?
True
Let o(k) = 9*k - 5. Let t(x) = 1. Let q(s) = o(s) - 2*t(s). Let a be q(6). Let i = a + -25. Is i a prime number?
False
Let y(d) = 3*d - 27. Let b be y(11). Let h(g) = -g**3 + 6*g**2 + 2*g + 4. Let p(i) = 1. Let o(k) = h(k) - 2*p(k). Is o(b) a composite number?
True
Let x = 15 - 5. Let h = x + 109. Is h a composite number?
True
Suppose 2*o + 2*k - 60 = 0, 18 = 3*k + 3. Let q be 30/o*(-10)/(-4). Suppose -567 = -3*r - q*a, -4*a = -r - 0*r + 169. Is r a composite number?
True
Suppose 0 = -6*i + 2*i - 276. Let a = 107 - 223. Let h = i - a. Is h prime?
True
Let r = -37 - -65. Let a = 143 - r. Is a a prime number?
False
Let r(a) = -17*a**3 + 2*a**2 - a - 1. Is r(-2) composite?
True
Let u(v) = 17*v**3 + 3*v**2 + 5*v + 4. Let d be u(-3). Let k = d - -736. Is k a composite number?
False
Let y = -9 + 5. Let j(r) = 4*r**2 - 5*r - 1. Is j(y) a composite number?
False
Let i be 2/(-6) + (-35)/3. Let f be (-2 + 0/4)/(5/(-20)). Is (326/(-3))/(f/i) a composite number?
False
Suppose -2*z + 933 + 374 = w, -5*z - 6595 = -5*w. Is w composite?
True
Let x = -13 + 19. Let q be x + -5 + (1 - 0). Let m(o) = 9*o**2 - 2*o - 1. Is m(q) prime?
True
Let a(l) = 13*l + 3. Is a(12) prime?
False
Let h be (-2 + 0)*(-4 + 3). Suppose 0 = -h*f - 3*b + 60, -5*f - 7*b + 2*b + 155 = 0. Is f composite?
True
Let d(m) be the third derivative of 0*m**4 - 5/6*m**3 + 1/15*m**5 + 0 + 0*m - m**2. Is d(-4) a composite number?
False
Let a = 733 - -334. Is a a composite number?
True
Suppose 3*v + 17 = -5*c, 2*c + 3*c - v + 1 = 0. Let d(m) = -260*m**2 - m + 2. Let a(p) = 130*p**2 + p - 1. Let z(h) = -5*a(h) - 3*d(h). Is z(c) prime?
True
Suppose o = -2, -5*l - 3*o - 26 = -10*l. Let s = 0 + l. Suppose -5*r = 4*j - 327, -r + s*j + 75 = -0*j. Is r prime?
True
Is ((-1004)/16)/((-3)/12) a composite number?
False
Is (2/4)/(5/6290) a prime number?
False
Suppose -65 = v + 22. Let o = v + 184. Is o prime?
True
Let d(q) = 7*q**2. Suppose -3*p + 3*i = -0*i, 4*p + 4*i - 40 = 0. Suppose -p*v + 4*t + 3 + 2 = 0, -2*v = 3*t - 2. Is d(v) a composite number?
False
Suppose 2*f - 620 = -2*f. Is f composite?
True
Let n(k) = -k**3 - k**2 + k + 1. Let a(b) = -3*b**3 - 11*b**2 - 2*b + 9. Let d(o) = -a(o) + 4*n(o). Let y be (-1)/2 + (-30)/(-4). Is d(y) a composite number?
False
Suppose -3*t = 2*s + 4, 5*t + 4*s - 2*s = -8. Is 4/((-8)/(-322)) - t prime?
True
Let f = -9 - -11. Is 225 - 0/2 - f a prime number?
True
Let r(t) = -20*t - 17. Let y(w) = 7*w + 6. Let o(v) = 6*r(v) + 17*y(v). Let m be o(-4). Is (2/m)/((-1)/(-170)) a composite number?
True
Let r(z) = -2*z**3 - 7*z**2 + 10*z - 3. Let d be r(-7). Let k = -173 + d. Suppose o - k = -0*o. Is o composite?
False
Let v = 3 + -5. Let c be 14*(-1)/(v/35). Let k = 390 - c. Is k a prime number?
False
Let t = 3 + -3. Suppose 3 = -3*q - t. Is 16 + -6 - q/1 prime?
True
Let f(j) = -j**2 + 4. Let s be f(0). Suppose -s*o = o. Suppose -3*y + 130 + 35 = o. Is y a composite number?
True
Let m(s) be the second derivative of s**4/2 - 2*s**3/3 - s**2/2 - 3*s. Is m(7) prime?
False
Let j = 97 + -57. Suppose 0 = -5*g + 4*r + 50, 4*g - 5*r = -4*r + j. Is (605/g)/((-1)/(-2)) composite?
True
Suppose -3*x = x - 36. Suppose s + 58 = -v, x*v - 4*v = s + 40. Let q = -34 - s. Is q composite?
True
Let f = 5 - 9. Let y be f/(-7)*7/2. Suppose -y*n = -0*n - 178. Is n composite?
False
Let j be 2 - -1*(-3 + 2). Let v be (1 - -2 - 6) + 1. Is ((j + v)*3)/(-1) a prime number?
True
Let w = 2358 - 155. Is w a prime number?
True
Suppose -r + 2*f = -8, -3*r + 2*r + f = -6. Let j be 2/r - (-33)/2. Let p = j + -10. Is p a prime number?
True
Let q(y) = -267*y. Let l be q(-1). Let p be (-4)/10 - (-1784)/10. Let u = l - p. Is u composite?
False
Suppose -3*b + 1 = -2*b. Let k(a) = -8*a**3 - a**2. Let r be k(b). Is 6/r + 272/12 a composite number?
True
Suppose -w = 2*r - 129, -w + r + 133 = 2*r. Suppose -2*a - p = -w, -p - 77 - 121 = -3*a. Is a composite?
False
Let s(f) = 5*f - 9*f + 3*f**2 + 3 + 3*f**2. Let q(h) = -9*h**2 + 6*h - 4. Let a(x) = 5*q(x) + 8*s(x). Is a(3) a composite number?
True
Is -178*(-3)/6*7 a composite number?
True
Let x(h) = 320*h + 1. Let n be x(6). Suppose 5*b = 2*a + n, b - 391 = -4*a + a. Suppose -5*c + b = -0*c. Is c prime?
False
Let q = -30 + 50. Suppose 3*n + q = 7*n. Suppose 3*c = -4*l + 525, -n*c + 3*l + 2*l = -910. Is c prime?
True
Let m(r) be the third derivative of -3*r**5/40 - r**4/8 + r**3/3 + r**2. Let s(l) be the first derivative of m(l). Is s(-4) a prime number?
False
Let p be (4 + -3 - 20)*-4. Suppose -4*y = -5*r - 59 - p, -r = -2*y + 69. Is y composite?
True
Let b = -86 - -86. Let s(j) be the third derivative of j**4/24 + 53*j**3/6 - j**2. Is s(b) composite?
False
Let b = 0 - -11. Let q be 2/b - (-140)/(-44). Is 2*-1 - q - -22 composite?
False
Suppose -491 - 6324 = -5*b. Is b composite?
True
Suppose -8*k = -11*k + 105. Is k prime?
False
Is 8/(-44) - 10863/(-33) a prime number?
False
Let w(r) = -r**3 + 6*r**2 + 2*r - 13. Let n = -9 + 3. Is w(n) prime?
False
Suppose 2*w = 4*j + 18, 0 + 3 = -2*w - 3*j. Is -1*(-2 + w) - -782 composite?
True
Suppose -4*z + 141 = -5*g, z + z - 63 = 5*g. Is z a composite number?
True
Let d = 4 - 0. Suppose d*g + 12 - 2 = u, -5*u + 34 = -4*g. Suppose -3*q + u*q - 9 = 0, -4*q = 5*s - 267. Is s composite?
True
Let u(h) be the first derivative of 2*h**3/3 - h**2 - 3*h - 1. Let k be u(-2). Suppose -3*x + 14 = l, -3*x + 13 = 5*l - k. Is x a prime number?
False
Let v = 5 - -19. Is (2152/(-32))/((-2)/v) a prime number?
False
Is 17*(9 + (3 - 5)) a prime number?
False
Let s be 4/(-3)*12/4. Let r be s/(-10) - (-83)/5. Let b = r - 3. Is b composite?
True
Let p(r) = -r**3 + 7*r**2 - 7*r. Let k be p(6). Let b = k + 13. Is b a composite number?
False
Let c = -243 - -448. Is c a composite number?
True
Let c(h) = -h**2 + 3*h + 12. Let w be c(0). Suppose 16 = 4*u - 2*u. Is w/u*(-170)/(-3) prime?
False
Suppose -5*q - 99 = -1054. Is q composite?
False
Let r = -5 - -5. Suppose r = -3*g + 24 + 105. Is g composite?
False
Let n be (-2)/9 - (-3032)/36. Is 2 + (n/(-2))/(-2) composite?
False
Let f(j) = 2*j**2. Let x(u) = -u**3 + 3*u**2 - u + 2. Let g be x(3). Let l be f(g). Suppose -41 = -4*p - 5*m, -3*m + 16 = l*p + m. Is p prime?
False
Let x = -1677 - -3260. Is x a composite number?
False
Suppose -395 = -5*y - 4*c, -3*y - 2*c - 34 + 271 = 0. Is y prime?
True
Let c = -4 - -8. Let f be 355 + (c/2 - 1). Let u = -229 + f. Is u a composite number?
False
Let c(v) = -66*v + 11. Is c(-5) prime?
False
Suppose 4*o + 7 = -1. Let i(y) = -26*y**2 - 3*y + 9. Let v(c) = 77*c**2 + 8*c - 26. Let w(d) = 17*i(d) + 6*v(d). Is w(o) a composite number?
False
Let v = -192 + 876. Suppose 0 = 5*g + 5*n - 594 - 506, 3*g - v = 3*n. Suppose 4 = -d, d = -4*k - 0*d + g. Is k prime?
False
Let j(x) = 4*x**2 - x**2 + 6*x + 0*x + 2*x**2 + 3. Is j(8) prime?
False
Suppose 10 = -5*x - 5*p, -17 = -4*x - p + 2*p. Suppose 2*h = -0*h - x*d + 385, -3*h = -3*d - 540. Is h composite?
True
Let d(l) = l**2 - 6*l + 3. Let x be d(5). Let o be 79/(-2)*4/x. Suppose -69 = -4*k + o. Is k prime?
True
Is (1252/8)/((-4)/(-40)) composite?
True
Let t be (-143 + 2)*(-246)/9. Suppose -5*a = -t + 1089. Is a a prime number?
False
Is 969 + -4 + 0/((-1)/1) a composite number?
True
Suppose 14 = i - 4*x, 3*i + x - 51 = 4*x. Let s = 8 + -4. Is i/(s - 0 - 2) composite?
True
Let x be 12/(-9)*6/(-4). Let s(v) = 5*v**3 - 3*v + 3. Is s(x) a prime number?
True
Suppose 0*z + 125 = 5*z. Is (-304 + -1)*(-15)/z prime?
False
Let n(l) = l**3 + 19*l**2 + 12*l - 37. Is n(-17) a prime number?
True
Let k = -362 + 175. Let b = 300 + k. Is b a composite number?
False
Let u = 5 - -24. Let m = 5 + u. Suppose -25 = -l + m. Is l a prime number?
True
Suppose 5*f - 6*f + 447 = 0. Is f a prime number?
False
Let b(y) = -y**2. Let k be b(-1). Is (953/4)/(k/(-4)) prime?
True
Let v = 2152 - 899. Is v prime?
False
Suppose -2*p + 2*y = 0, 2*p + 2*p = -3*y + 14. Is (523 - 1)/p + 2 composite?
False
Suppose -5*g = -6*g + 3. Suppose 0 = 2*u + g*u - 245. Is u a composite number?
True
Let u(f) = -f**3 + 10*f**2 - 5*f - 3. Is u(9) a prime number?
False
Let s(p) = -4*p**3 - 5*p**2 - 