 = 4*b - 0*b. Let i = b - 0. Is 38*-2*(-1)/i a prime number?
True
Suppose 73 = -5*n - 37. Let o = n + 105. Is o prime?
True
Is (3/2 - 0)/((-18)/(-2556)) a prime number?
False
Let q = -1798 + 3416. Is q a composite number?
True
Let d(h) = -h**3 - 8*h**2 - h - 9. Let f be d(-8). Let s(i) = -95*i + 2. Is s(f) composite?
False
Let y = 798 - -745. Is y prime?
True
Suppose -d + 6 = -2*d + q, -5*d = -3*q + 26. Let k(n) = 4*n**2 - 4*n - 1. Is k(d) prime?
True
Suppose 2*f + n = f + 412, -4*f = 3*n - 1643. Is f a composite number?
True
Let a(j) = 2*j**2 + 7*j - 7. Let i(q) = q - 4. Let s(h) = 1. Let g(c) = i(c) + 5*s(c). Let d be g(-7). Is a(d) composite?
False
Let w = 30 + 59. Is w a composite number?
False
Suppose 2 - 4 = s + 2*b, 2*b = -4. Is (-341 + 4)/((-2)/s) prime?
True
Let k(l) = 4*l**3 + 2*l**2 - l. Let t be k(1). Suppose 0 = c + 5*a - 46 - 96, t*c + 2*a = 641. Is c a composite number?
False
Suppose 4 = 4*z + 2*t, 3*z = -t + 1 - 0. Suppose -5*r + 41 = -2*u - 56, -5*r + 265 = -5*u. Let j = z - u. Is j composite?
True
Let l be (-270 - 1 - -2) + 2. Let r = l - -416. Is r composite?
False
Let a = 0 + 13. Is a composite?
False
Let m(f) = 5*f - 2. Let y be m(2). Let n be y + -1 + 0 + 1. Let g = 22 - n. Is g a prime number?
False
Let r(b) = -b - 56. Let z(n) = -2*n - 113. Let l(c) = 5*r(c) - 3*z(c). Is l(0) a composite number?
False
Let q(u) = -u**3 - 12*u**2 + u + 15. Let v be q(-12). Suppose 38 = v*w - 4. Is w composite?
True
Suppose 2*c + 2*r - 8 = -2, 3*c - 3*r = 3. Suppose c*l - 68 = -6. Is l composite?
False
Let u(l) = 5 - 6*l - l - 2*l - 3*l. Is u(-4) a prime number?
True
Let d(z) = z**2 + 2*z - 2. Let k be d(8). Suppose k - 329 = -w. Is w composite?
False
Let p(g) = 4*g**2 - 30*g + 27. Is p(19) composite?
True
Suppose -5*f + 189 = 2*x, -2*x = 2*f - 25 - 53. Is f a prime number?
True
Let c(p) = 13*p - 3. Let d(b) = -52*b + 13. Let w(s) = -26*c(s) - 6*d(s). Is w(-1) prime?
False
Suppose -u = u - 4, 3*x + 2*u = 1657. Is x composite?
True
Let v be (-3801)/(-27) - (-4)/18. Suppose -3*r = -5*a + v, -r = 3*r + a + 188. Let j = -28 - r. Is j a prime number?
True
Let w be (-1)/3 + (-7)/(-3). Suppose 378 = f + w*f. Suppose -48 = 3*q - f. Is q a composite number?
True
Suppose 2*g - 10 = -0. Suppose 2*b = -m + b + 2, 0 = g*m + b - 30. Is m composite?
False
Let y(k) = 0 + 4*k - 5*k - 4 + 8*k. Is y(5) composite?
False
Let m be (1 + 1 - 2)*1. Suppose 3*g + 3 = -m. Is 1 - (80/g + 2) a composite number?
False
Let s be -1 + 1 + 2 + 0. Suppose t - s*t = -3*w - 86, 50 = -2*w - 3*t. Is (w/16)/(1/(-4)) prime?
True
Is (-1)/(-7) - (-636)/7 composite?
True
Suppose d = -d. Suppose d*a = 4*a - 380. Let m = -58 + a. Is m prime?
True
Let n = -1628 + 2355. Let x = n + -354. Is x a prime number?
True
Suppose -h - 1 = -5. Suppose 52 = h*d - 80. Is d composite?
True
Suppose 0*a = -5*r - 3*a, 4*r = -5*a. Let w(n) = 23 - n**2 + n - 2*n + 0*n. Is w(r) a composite number?
False
Suppose 5*r = 0, 564 = 5*o - r - 1931. Is o a prime number?
True
Let s(w) = -w**2 - w - 1. Let a(r) be the first derivative of 7*r**3/3 + 7*r**2/2 + 4*r + 1. Let j(h) = a(h) + 6*s(h). Is j(-4) composite?
True
Let o = -54 - -102. Let f = 1 + -4. Let s = o - f. Is s prime?
False
Suppose 4*h = 4 - 12. Let x be (-7)/h*8*1. Is -3*(-3)/(18/x) prime?
False
Suppose -204 = -l + 19. Is l composite?
False
Let n(p) = p**2 + 4*p - 1. Let s be n(-5). Suppose -j = -c - 199, -390 = 5*c - s*j + 608. Let o = -125 - c. Is o a composite number?
True
Suppose 5*c - 3*z = -0 + 22, 5*c = -2*z + 2. Let f be 5*(-213)/(-15)*c. Suppose 2*o - 36 = f. Is o a composite number?
False
Let b(i) = 6*i**3 - 50*i**2 - 18*i + 1. Let y(s) = 2*s**3 - 17*s**2 - 6*s. Let d(a) = -6*b(a) + 17*y(a). Let c be d(9). Let v = -332 - c. Is v prime?
False
Let o(c) = -1 + 2 + 7*c**2 - 31*c**3 - 6*c + 32*c**3. Let h be o(-6). Suppose 3*f - 194 = h. Is f prime?
True
Let g(u) = 7*u**3 - u**2 + 12*u - 1. Let s(f) = f**3 - f**2 + f - 1. Let k(z) = -g(z) + 6*s(z). Let a be k(-4). Suppose a*b - b - 62 = 0. Is b composite?
False
Suppose -3*z + 53 + 16 = 0. Suppose 0 = -5*a + z + 2. Suppose 0*j = -j + 5*t + 87, -2*j + 114 = a*t. Is j prime?
True
Suppose -3*q = -q. Let k be -3*(-3 - (-2 - q)). Is (168/9 - 1)*k prime?
True
Let z(d) = -8*d + 4 - 4*d + d + 0*d. Let v be z(3). Is 1*2 + (-5 - v) prime?
False
Let p(f) = -3*f**2 - 5*f + 0*f + 7 + 4*f**2. Let i(s) = 2*s**2 + 6*s. Let j be i(-4). Is p(j) a prime number?
True
Let j(l) = -8*l - 5. Let d(y) = y**3 + 4*y**2 - 5*y - 5. Suppose 4*c + 20 = -0. Let x be d(c). Is j(x) a composite number?
True
Suppose 5*q - 3155 = 3*m, -3*q + 644 = -2*q + 2*m. Suppose -3*v = -5*v + q. Is v a composite number?
False
Let t(q) = q**2 + 5*q - 2. Let b be t(-4). Let s(u) be the first derivative of u**3/3 - u**2 + 3*u - 2. Is s(b) composite?
True
Suppose 0 = 2*a - z - 3, 4*a = -3*z + 16 + 5. Is (-2)/a - 1582/(-6) prime?
True
Suppose 2*z = -2*z + 1340. Is z prime?
False
Is 397 + (2 - 0)*-1 a prime number?
False
Suppose -b - 3*f = -90 - 77, 0 = -b + 3*f + 149. Is b a prime number?
False
Let y(z) = z**2 - 3*z - 7. Suppose 3*t + 35 = -2*h - 0*t, 10 = -2*h + 2*t. Is y(h) prime?
False
Suppose 5*c + 1 = 11. Suppose -c*q + 5*w = -114, 4*w - 46 = -2*q + 32. Suppose 0*n + q = n. Is n a prime number?
True
Is (-22 - -20) + (-507)/(-1) a prime number?
False
Is (1345 - -16) + (1 - 3) - -2 prime?
True
Suppose -4*n = -3*n + 10. Is 4/n - 2709/(-35) a composite number?
True
Let g(m) = m**3 + 5*m**2 - m + 1. Let i be g(-5). Let l = i + -3. Is 2/l + (-525)/(-9) composite?
False
Suppose 0*p - 4*q = -3*p + 20, -5*p - q + 41 = 0. Suppose -3*i + p = -0*d - d, -i = -5*d - 12. Suppose 0 = -i*l - l + 30. Is l a prime number?
False
Suppose 0*q - 1227 = -3*q. Is q a composite number?
False
Let t = -1029 + 1730. Is t a prime number?
True
Let s be (1*-1)/(3/9). Let c(i) be the third derivative of -i**6/120 - i**5/60 - i**4/12 - i**3/3 - 4*i**2. Is c(s) prime?
False
Let k(w) = 58*w - 11. Is k(6) a composite number?
False
Let k = 267 + 364. Is k a prime number?
True
Let i(l) = 4*l**2 + 3*l - 3. Is i(-6) prime?
False
Let y = 90 + 2. Suppose -5*h - 4*f = -402, h - y = -0*h + 5*f. Is h prime?
False
Suppose -57 = -5*m + 2*m. Let r be (-2)/(-11) - 2104/(-44). Let a = m + r. Is a a composite number?
False
Let w be (-2 + -2)*15 - -3. Let b = 10 - w. Is b prime?
True
Suppose -2124 + 565 = -4*a - v, -a = 3*v - 376. Is a a composite number?
True
Suppose 0 = 5*b - 4*b - 5. Suppose -339 - 131 = -b*x. Is x prime?
False
Let c(o) = -o**3 - 3*o**2 + 2*o - 5. Let t be c(-4). Let k(q) = 11*q + 7*q - q. Is k(t) a prime number?
False
Let h(g) = 41*g**2 - g - 5. Is h(6) prime?
False
Let m be (-2 - 0) + -235 + -1. Let c = -161 - m. Is c a composite number?
True
Suppose -3*t + 2163 = 207. Let r = t - 461. Is r a composite number?
False
Suppose -5*h = 2*j + 2*j + 439, -5*j = -3*h - 256. Let q = 32 - h. Is q a prime number?
False
Let x(l) = -l**3 + 3*l**2 + 2. Let v(q) = 3*q. Let c be v(1). Let n be x(c). Suppose 335 = n*z + 3*z. Is z prime?
True
Let c(q) = -q**2 - 9*q. Let j be -14 - -4 - (-1 - 2). Is c(j) a prime number?
False
Let n = -4 - -3. Let s = n - -22. Is s prime?
False
Let r(d) = 7*d**2 + 3*d + 5. Is r(-3) a composite number?
False
Let t(r) = r**3 + 12*r**2 + 9*r - 2. Let u be t(-10). Suppose -3*c + 165 = -u. Is c prime?
False
Let q = 1052 + 35. Is q prime?
True
Is (98/(-28))/(1/(-134)) a prime number?
False
Let v = 1058 - 591. Is v prime?
True
Suppose 3*m - 6 = 0, -234 = 3*r - 5*r - 2*m. Is r prime?
False
Let q = 1139 + -749. Suppose -3*m = 2*m - q. Let k = m + -41. Is k a prime number?
True
Is (1335/(-10) + 2)/(1/(-2)) a composite number?
False
Let u(o) = -o**3 + 7*o**2 + o - 2. Let h be u(7). Suppose -h*x + 0*x + 425 = 0. Is x a composite number?
True
Let x = 3232 - -1159. Is x composite?
False
Let l = 113 - -9. Suppose 0 = -5*v + 323 + l. Is v a composite number?
False
Is 9/54 + (-1121)/(-6) prime?
False
Let l(v) = -6*v**3 + v**2 - v - 1. Let y be l(-1). Suppose -y*x + 3*x = 0. Suppose -5*d + 0*d + 115 = x. Is d composite?
False
Let x = 72 + 17. Is x prime?
True
Let g(w) = 1 - 5 + 5 + 3*w - 4 + 7*w**2. Is g(-4) a prime number?
True
Let q(u) = u - u + 3*u - 4. Let h be q(4). Let c = h - 4. Is c a prime number?
False
Let b(v) = v**3 + 7*v**2 + v - 2. Is b(-3) composite?
False
Let 