21/2*3*(-4)/(-6) prime?
True
Suppose -2*x + p - 4 = 0, -2*p + 7 = -5*x - p. Let f(s) = 130*s**2 - 2*s - 1. Is f(x) a composite number?
False
Let d be (-30 - 0)*(-16)/(-3). Suppose -532 = -16*n + 4636. Let l = n + d. Is l a composite number?
False
Is -2 + 4 + (-267)/(-3) a prime number?
False
Let t(m) = 1346*m + 11. Is t(1) composite?
True
Suppose 0 = -y + 4*y + 1164. Let l = 602 + y. Is l a composite number?
True
Let f = 784 - -25. Is f prime?
True
Let q be (-18)/3*1/(-3). Suppose q*x + 1353 = -3*i, 5*i + 1281 = -3*x - 750. Is -2 - (3 - x)/(-3) a composite number?
False
Suppose 0 = -i - 2*i + 948. Suppose 0 = 3*d + 12, 0*u + 4*d - 2 = -3*u. Is 2/u + i/6 prime?
True
Let o = -1 + 9. Suppose -9 = r - o. Let n(f) = -33*f**3 - f**2 - 2*f - 1. Is n(r) prime?
False
Let c be 182/(-6) - (-2)/(-3). Suppose -a + 2*w = -0*a - 42, 3*w = a - 38. Let o = a + c. Is o prime?
True
Let r(b) = 54*b**3 - 8*b**2 + 14*b. Let z(s) = 18*s**3 - 3*s**2 + 5*s. Let m(p) = -4*r(p) + 11*z(p). Let n be m(-1). Let c = -12 + n. Is c a composite number?
True
Suppose 0 = -0*b + 3*b + 30. Let l be (-4)/(-10) - 446/b. Suppose -4*v + l = -v + 5*r, -16 = -v - 2*r. Is v a prime number?
False
Let j be 263/1 + (1 - -1). Suppose -4*b + 106 + 159 = 5*x, 0 = -5*x - b + j. Is x prime?
True
Let x = -2 + 3. Suppose -x - 1 = -2*l. Is (-4 + l)/3 - -320 a composite number?
True
Suppose 0 = -2*n + 2*g + 1900, -7*n + 4771 = -2*n + 2*g. Is n prime?
True
Suppose -3*r - s = -2791, 3*s - 4657 = -4*r - r. Is r prime?
True
Let l = -2 - -7. Suppose -l*u + 195 = 4*n, -5*u - 4*n = -3*u - 78. Is u prime?
False
Let o = -1455 + 624. Let j be o/(-7) - 4/(-14). Let a = 170 - j. Is a composite?
True
Let x(y) = y**2 + 1. Let c(g) = -g**3 + 6*g**2 - g + 58. Let d(f) = c(f) - 5*x(f). Suppose -3*a - a = 4*j + 20, 2*a - 5*j - 25 = 0. Is d(a) composite?
False
Suppose 0*m = 3*m + 24. Let v be (62/(-4))/(1/m). Let n = v + -29. Is n composite?
True
Let i(y) = y**2 - 2*y - 3. Let j be i(3). Let h(k) = k + 33 - 2*k + 98. Is h(j) prime?
True
Let r(a) = -a**3 - a**2 + 3*a - 6. Let i be r(-5). Is i/(3 - (1 + 1)) a composite number?
False
Suppose -v = -6*v - 35. Let z = -5 - v. Is (-3)/(-12)*z*94 prime?
True
Let x = -457 - 206. Let r = x + 1210. Is r a prime number?
True
Suppose -3 = 4*r - 15. Suppose 12 = 3*y + 3*a, 5*y = r*a - 2*a + 38. Suppose 5*s + y = -8, -g - s + 16 = 0. Is g a composite number?
False
Suppose 5*s - 22 = 5*c + 8, -4*s + 24 = -c. Suppose 0 = -5*i - s*q + 2*q + 12, 5*q = -i - 6. Suppose w - 2*w + 2*v = -63, 0 = w - i*v - 61. Is w a prime number?
False
Let y(j) = j + 35. Is y(0) a prime number?
False
Suppose -10*r + 5254 = 464. Is r prime?
True
Let s = 4 + -2. Suppose -2*m = -s*b + 288, -3*b + 2*b - m + 140 = 0. Is b prime?
False
Suppose i + 2*j - 50 = -j, -57 = -i + 4*j. Is i a prime number?
True
Suppose -7*d + 1985 = -2*d. Is d a composite number?
False
Let c(q) = -2*q + 62. Is c(0) prime?
False
Let o be 4 + (-1)/1*-1. Suppose k = -4*i, -o*i + k = -3*k. Suppose i = -3*g + 2*g + 19. Is g composite?
False
Is -1*(4 + (-3510)/4)*2 composite?
False
Suppose -a = 2*t + 2*t + 227, -4*t - 458 = 2*a. Let z = -134 - a. Is z a composite number?
False
Let w(o) = o**2 - 13*o - 9. Let b be w(-8). Let c = b + -47. Is 2/(-2 + c/55) a composite number?
True
Suppose 1791 = 10*p - p. Is p composite?
False
Suppose -3*q - 170 = -5*q. Let c = 142 - q. Is c a prime number?
False
Let k = -146 - 7. Let u be k/(-4) - 6/24. Let v = u - 1. Is v prime?
True
Is (-2122)/(-3)*9*5/30 a composite number?
False
Let l = -90 + 364. Is l a composite number?
True
Suppose -w + 3*w = -4*c + 2660, 3*c - 2*w - 2009 = 0. Is c a prime number?
False
Is 1071/34 + (-6)/(-4) prime?
False
Suppose 5*x = -2*t + 56, x + 2*t + 5 - 13 = 0. Suppose 3*c - x = -c. Suppose -23 = 2*a - c*a. Is a a composite number?
False
Let i(z) = -19*z - 20. Is i(-7) a prime number?
True
Suppose r = 5*r - 12. Suppose r*o = 236 + 1. Is o composite?
False
Let u be 2 + (4/2 - -2). Let c = -4 + u. Suppose -c*y = 2 - 14. Is y a prime number?
False
Let r = 4 + 0. Suppose -r*o = -27 - 1. Suppose -2*w - 3*j + o = -7, -3*j = 12. Is w prime?
True
Is 11368/70 + 6/10 a prime number?
True
Let y = 155 + -88. Is y a composite number?
False
Suppose 2*q + p + p + 6 = 0, -2*p = -5*q + 20. Let j(v) = -25*v**2 - 2*v + 7. Let o(y) = y**2 - 1. Let s(m) = -j(m) - 6*o(m). Is s(q) a composite number?
False
Suppose 0 = 5*g + 2*a - 1373, -a + 1357 = 5*g - 3*a. Suppose -j + 0*j = 164. Let l = j + g. Is l a composite number?
False
Let h(c) = c - 5. Let q be h(8). Suppose -2*y - 19 = -q*y. Is y a composite number?
False
Let l(i) be the second derivative of 5*i**4/12 - i**3/6 + i**2/2 + 3*i. Is l(2) prime?
True
Suppose 0 = -3*r + 2*r - 82. Is (6/2 - r) + 2 a composite number?
True
Let p be (99/(-4))/(3/12). Let g = 166 + p. Is g prime?
True
Suppose 5*r - 2099 = -2*g, -g + 447 = 3*r - 812. Let f = r - 232. Suppose 2*i - 4 = -2*i, 2*i - f = -5*w. Is w a composite number?
False
Suppose 4*a = 12, y + 2681 = 6*y + 2*a. Is y composite?
True
Let t(y) = -46*y - 19. Is t(-5) a prime number?
True
Suppose 5*p = 7*p - 2. Is 6256/6 + p/3 a composite number?
True
Let u(p) = -p**3 + 6*p**2 + 2. Let o be u(6). Let b be -1 + o + 0 + -1. Suppose 0*m - 2*m + 110 = b. Is m a prime number?
False
Let j = -282 + 637. Is j composite?
True
Let p(h) = 105*h + 1. Let b be p(-5). Let g = -250 - b. Is g a prime number?
False
Let t = -233 + 411. Is t prime?
False
Let q be 1*-2 + 268/(-4). Let l be 2 + (-2 + -99 - 1). Let r = q - l. Is r prime?
True
Let g = 1028 + -495. Is g a composite number?
True
Is 2/12*8539 + (-4)/24 prime?
True
Let t(b) = 4*b**2 + 2. Let u be t(-2). Let d be 2/(0 - (-2)/(-5)). Let s = u - d. Is s a prime number?
True
Let k(f) = -f**2 + 4*f - 3. Let y be k(3). Suppose 2*p + y*s = 2*s + 16, 3*s - 24 = -5*p. Is p a prime number?
False
Let i = 7 + 5. Let r(a) = 3*a**2 + 10 - i*a - a**2 - 3*a**2. Is r(-9) composite?
False
Suppose g = 4*g. Is (4 + g)*5 - 1 a composite number?
False
Let o(q) = q**3 + 727 + 335 + q - 79. Is o(0) prime?
True
Let y = -7 - -11. Let j be (y/3)/((-12)/(-18)). Suppose j*o + 2 = 28. Is o a composite number?
False
Let k be 92/9 + (-8)/36. Let a = k + -19. Is -68*(a/4 - -1) composite?
True
Let h = 702 - 499. Is h composite?
True
Suppose 5*o - 3380 = -5*a, 5*o + 3*a = 7*o - 1327. Is o a composite number?
True
Let l be -38 + (-6)/(-3) + -3. Let o = l + 172. Is o prime?
False
Let b(k) = -3*k**3 + 5 - 5*k**2 - k - 3*k**2 - 1 - 3. Let v be b(-7). Suppose -2*s - s = -4*c - v, -c = 0. Is s a prime number?
False
Let a = -60 - -104. Suppose 2*f - a - 42 = 0. Is f a composite number?
False
Suppose -1 = l - 3. Suppose l*r - 330 = -2*j, j - 4*j - r = -487. Is j a prime number?
False
Let f(w) = -4*w - 4. Let q be f(7). Suppose -3*i + 0*i + 207 = 0. Let p = i + q. Is p a prime number?
True
Suppose -11*v = -7*v - 3148. Is v a prime number?
True
Let q be (-1 - 0/3)/1. Is ((-358)/4)/(q/2) a prime number?
True
Let p(a) = 794*a**2 - a - 2. Is p(-1) a prime number?
False
Let d be 0/(3/(-1) + 2). Suppose -2*y + 3*z + 42 = 0, -y = -d*y + z - 11. Is y prime?
False
Let t = -77 - -156. Is t a composite number?
False
Let b(q) = q**2 - 4*q - 6. Let h be b(6). Suppose h*m - 148 = 4*m. Is m a composite number?
True
Let s(f) = -18*f + 31. Is s(-19) composite?
False
Let f be 1/(-3)*-3 + 3. Suppose -w = 4*a - f*w - 220, -55 = -a + 3*w. Is a prime?
False
Let i(j) = j + 4. Let s be i(-6). Let r = 4 + s. Suppose -r*t - o = -17, 2*t + 0*o - 11 = -3*o. Is t a prime number?
False
Suppose 0 = -5*w - 4*h + 3*h - 6, 5*h + 7 = -2*w. Let t be -46 + -1 + (2 - w). Let u = t - -75. Is u prime?
True
Let q = -259 - -552. Is q a composite number?
False
Is 59*51 + (-2 - -4) composite?
False
Suppose 29*z - 1564 = 25*z. Is z a composite number?
True
Suppose -5*j + 457 - 162 = 0. Let u = j - 16. Is u a prime number?
True
Suppose -4*k + 0*k + 5*y = -605, 0 = 4*k + 3*y - 565. Suppose 3*u - 32 = k. Is u prime?
True
Let b(r) = r**2 - 4*r - 8. Let n be b(6). Suppose 10 = y + n*y. Suppose 0 = y*z - 72 - 86. Is z prime?
True
Let j be ((-6)/15)/(4/(-10)). Let b(x) = 59*x + 3 - 22*x - 3. Is b(j) prime?
True
Suppose 0 = 2*p + 2*p + 52. Let j = 7 - p. Suppose 4*a + 38 = 4*v + 6, 0 = 2*v + 2*a - j. Is v a prime number?
False
Is 3 - (2/(-8) - (-1389)/(-12)) com