a) = -a - 1. Let w be x(1). Is 3/2*w - -13 a prime number?
False
Let i(x) = 80*x**3 + x**2 + 2*x - 1. Let k be i(2). Let r = -307 + k. Suppose r = 2*n + 2*n. Is n a prime number?
False
Let j be -1 + (-1922)/(-2 - 0). Suppose 4*i + j = 5*t, 2*t + 0*i + i - 384 = 0. Let f = t + -73. Is f a prime number?
False
Suppose -24 = -o + 125. Is o prime?
True
Suppose -3 = -2*w + 1. Let y(r) = 8*r**2 + 2*r + 5. Let c be y(4). Suppose w*f - c = -f. Is f prime?
True
Let h = -69 - -99. Let w = 56 - h. Is w a prime number?
False
Let d = -3 + 1. Let j be 6 + (1 + d - 0). Suppose g = u + 5*g - 27, -j*u - 4*g = -167. Is u a prime number?
False
Suppose 2 + 3 = 5*a, 2*f + a - 819 = 0. Is f composite?
False
Let y = 375 - 220. Suppose -536 + y = -3*m. Is m composite?
False
Suppose 2836 = -7*q + 14435. Is q a composite number?
False
Suppose -582 = -4*h - 166. Suppose -u = -h - 203. Is u composite?
False
Let y(m) = 5*m**3 - 7*m**2 - 8*m - 1. Let l(n) = -n**3 + n**2 + n. Let q(h) = 4*l(h) + y(h). Let z be q(6). Is (z - (0 - 2))/1 a prime number?
False
Let j be (4/5)/(2/10). Suppose -2*i = -6*i - j. Is (-2)/(-1) + (4 - i) composite?
False
Let r(q) = q + 8. Let i(z) be the third derivative of z**4/24 + 2*z**3/3 - 3*z**2. Let c(t) = -5*i(t) + 2*r(t). Is c(-6) prime?
False
Let o(m) = -m**3 - 5*m**2 - 4*m + 2. Let q be o(-4). Let y be (-1*q + 1)*-2. Suppose -114 = -y*l - 4*x, 7*l + 3*x - 218 = 3*l. Is l a prime number?
True
Let k = -63 + 90. Suppose 0 = -b + 10 + k. Is b prime?
True
Is -13*(-2 - (20 + -3)) a prime number?
False
Let u = -7 + 11. Let a = 19 + u. Is a prime?
True
Let s = -177 + 332. Is s prime?
False
Suppose 0 = -4*k - 37 + 369. Is k composite?
False
Suppose u + 102 = -d, -d - 2*u - u - 98 = 0. Let l = d - -187. Is l prime?
True
Let a(f) = 3*f**3 - 7*f**2 - 14*f + 3. Is a(8) a prime number?
False
Let b(h) = -h**3 - 7*h**2 + 7*h - 9. Let a(f) = -f**2 + 2*f. Let m be a(-2). Let n be b(m). Is 0 - (-79 - (-1 - n)) a composite number?
False
Suppose -3*w = -6, -5*n + 4*w + 217 = -0*w. Let s be 10/4*36/n. Is s*1/(-4)*-134 a prime number?
True
Is (-9498)/(-9) + (2 - (-7)/(-3)) prime?
False
Let x(l) be the first derivative of -l**2/2 + 158*l - 9. Is x(0) a prime number?
False
Let g(q) = 3*q**2 + 7*q + 8. Let w(n) = n**2. Let d(b) = g(b) - 4*w(b). Suppose -5*h + 0*h = -30. Is d(h) prime?
False
Let s(n) = -n**2 - 6*n - 2. Let d be s(-3). Suppose 2*i - 34 = -4*f, i - 23 + d = -f. Is i a composite number?
True
Let g = -1485 - -2336. Is g prime?
False
Let k(i) = i**2 - 5*i + 5. Let j be k(5). Is (-2)/j - 228/(-20) prime?
True
Suppose 0 = -b + 88 - 3. Is b a prime number?
False
Let r(g) = -3*g + 4. Let v be r(5). Let o be 2/(-11) + (-2)/v. Let m(d) = d**2 - d + 19. Is m(o) a prime number?
True
Let t(g) = g**3 + 5*g**2 + 3. Is t(-4) a prime number?
True
Let w(b) = 6*b**2 - 5*b + 2. Let v be w(-4). Suppose 2*z - 6 + 2 = 0. Suppose -z*x - v = -4*x. Is x a prime number?
True
Suppose 0*x = -v - 4*x + 2317, 0 = -2*v - 5*x + 4646. Is v a composite number?
False
Let t = -9 - -6. Let y be (-784)/t + (-3)/9. Suppose -2*p = 6*v - v - y, -259 = -5*v - 3*p. Is v composite?
False
Let x = 49 - 22. Suppose 6*l - l = 2*y + 17, 3*y = -3*l + x. Is y a composite number?
True
Let k(f) = 9*f**2 + f**3 + 3*f - 6 + 2 + 1 + 0*f. Is k(-4) prime?
False
Let m be 294/4 - 3/6. Suppose o - m = -5*q, -3*o + 89 - 20 = 5*q. Is q a composite number?
True
Let t = 20 + 38. Is t a composite number?
True
Let g = 40 - -24. Let i be (-10)/(-15)*36 + 3. Let r = g - i. Is r prime?
True
Is (2 - -5426) + (-9 - -7) a composite number?
True
Let w = -55 + 85. Is ((-2715)/w)/((-2)/20) prime?
False
Suppose 141 = 5*d - 2*d. Is d a prime number?
True
Suppose 14*p - 13*p - 818 = 0. Is p a prime number?
False
Let v(q) = -q**3 - q**2 + 2*q + 2. Suppose 0 = 4*h - 7*h + 12. Suppose -4 - h = 4*u. Is v(u) prime?
True
Suppose 0 = 4*x - 900 + 40. Is x a prime number?
False
Let f(w) = 7*w**3 + 3*w**2 + 2*w - 5. Is f(4) a composite number?
False
Let q(r) = -2. Let y(x) = x + 3. Let z(u) = -3*q(u) - 2*y(u). Let p be z(-6). Suppose 41 + p = k. Is k composite?
False
Let s = -7 - -117. Suppose 5 = -l, -4*g - 8*l + 147 = -3*l. Let w = s - g. Is w prime?
True
Let t = 956 + -577. Is t composite?
False
Suppose 4*d = -88 + 4. Let t = d + 40. Is t composite?
False
Suppose 0 = -6*i + 1601 + 2197. Is i a composite number?
True
Suppose 0 = -3*u - 2*u + 295. Is u a prime number?
True
Suppose a = -0*a - 2*b + 16, 4*b + 16 = 4*a. Suppose a + 44 = 3*t - z, -2*t = -2*z - 40. Suppose 3*w + 4*i + t = 45, 2*w + 4*i - 14 = 0. Is w prime?
False
Let s(w) = -3*w**3 - 2*w**2 - 2*w - 7. Let u(i) = 4*i**3 + 3*i**2 + 3*i + 11. Let o(f) = -8*s(f) - 5*u(f). Let y be o(2). Suppose 2*l - 47 = y. Is l prime?
True
Is 9*(-5)/(-15) + (-176)/(-1) a composite number?
False
Let o(i) = 5*i - 2. Let p be o(5). Let g(z) = -z**3 + 3*z**2 - 4*z - 1. Let s be g(3). Let d = s + p. Is d composite?
True
Let z = 381 + -741. Is (z/(-4))/1 - 3 prime?
False
Suppose -23 = -5*v - 3, 2*c - 30 = -5*v. Suppose 0*t + 60 = c*d - 2*t, 3*d = t + 36. Suppose -3*n - n + d = 0. Is n a prime number?
True
Let m(b) = -54*b**2 + 2*b - 1. Let r be m(1). Is (r/3)/(11/(-33)) a prime number?
True
Let w be 4*2/8*3. Suppose w*c - 26 = -5*s, -4*c + 0*s = 4*s - 24. Is 84 + (1 - c) + 0 prime?
True
Suppose -1484 = -5*j + 626. Let u = j + -295. Is u composite?
False
Let l = 353 - 232. Is l a prime number?
False
Let a(c) = c - 7. Let d be a(7). Suppose w = d, f - 160 = -f - 3*w. Suppose n + 2*x = 1, 5*n - 7*x = -2*x + f. Is n prime?
True
Let z(k) = -k**3 + 4*k**2 + 6*k - 3. Let o = 8 - 3. Let a be z(o). Suppose 5 = a*l - 21. Is l composite?
False
Let w be 9/(-12) - (-81)/12. Suppose w*o - 249 = 3*o. Is o a prime number?
True
Let v = 151 + 316. Is v composite?
False
Let v(n) = -n**2 - 7*n + 1. Let z be v(-7). Let b be (220 - -1 - -2)*z. Let t = b - 154. Is t prime?
False
Let m = 8 + 20. Suppose 4*a = -4*q + 628, -q = 3*a - 177 + m. Is q prime?
False
Let s(a) = -40*a - 3. Let q(p) = -3*p**3 - 20*p**2 - p - 2. Let b(x) = -2*x**3 - 13*x**2 - x - 1. Let i(d) = -8*b(d) + 5*q(d). Let l be i(-3). Is s(l) prime?
False
Let d(c) = -c**3 + 12*c**2 - 11*c + 19. Is d(9) a prime number?
True
Suppose 0 = r + 20 - 79. Is r a prime number?
True
Let c(k) = -33*k**3 - 1. Let h be c(-1). Let w(y) = 2*y**2 - 2*y - 1. Let n be w(-1). Suppose 0 = n*v - h - 25. Is v composite?
False
Let v(l) = -l**3 - 9*l**2 + l + 9. Let w be v(-9). Let g = 3 + -3. Suppose -4*a + w*a + 60 = g. Is a composite?
True
Let u = 1084 - 753. Is u composite?
False
Let y(m) = -m**3 - 4*m**2 + 10*m. Let b be (-1530)/(-55) + (-2)/(-11). Suppose 3*j + b = -j. Is y(j) a prime number?
False
Let g = 6 - 2. Suppose -57 = 5*y - g*l - 502, -3*l - 15 = 0. Is y composite?
True
Let x(n) = -n**3 - 5*n**2 + 5*n - 8. Let j(g) = -2*g**3 - 10*g**2 + 11*g - 15. Let l(f) = 3*j(f) - 5*x(f). Is l(-7) prime?
True
Is (-3)/((-2)/(77 - 3)) prime?
False
Let z be 2 - 1 - (-5 + 3). Suppose z*r + 2*w = 93, -2*r - 3*w = -24 - 33. Suppose 5*k - r = 62. Is k prime?
True
Let p = -6 + 44. Let i = p - 19. Is i a composite number?
False
Let c = -680 + 1831. Is c a composite number?
False
Let a = -9 - -9. Suppose -4*n - 26 + 166 = a. Is n a prime number?
False
Let y(w) = -295*w - 19. Is y(-14) prime?
True
Suppose -4*y + 0*b + 6 = -2*b, -3*b + 5 = y. Suppose -3*l - g + 12 = 31, 4*g = y*l - 6. Is (-1)/l + 264/5 a composite number?
False
Let f(g) = g - 2. Let h be f(3). Suppose -2*b + z = 0, b + 19 = 5*z + h. Suppose -4*l + 19 = y, 5*y + b*l = 6*l + 191. Is y prime?
False
Suppose -1516 - 3 = -7*a. Is a a composite number?
True
Let h(c) = c**3 - 3*c**2 - 2*c + 3. Let z be h(3). Is (-19364)/(-16) + z/(-4) composite?
True
Suppose -6*b + 228 = -2*b. Suppose -3*z = -12 - b. Suppose 3*v - 2*v = z. Is v prime?
True
Let d = 6 - 6. Let w be 5/((-3)/(-6) + d). Let n = 41 + w. Is n prime?
False
Let m(z) be the first derivative of 14*z**3/3 + 9*z**2/2 + 2*z + 7. Is m(7) prime?
True
Let i = -14 - -8. Let t be (i/(-2))/((-6)/(-292)). Is 7/21 + t/3 prime?
False
Let m(x) = -4*x**3 + 2*x**2 - 3*x + 1. Let g be m(2). Let l = g + -82. Is 2*(-1 + l/(-6)) a composite number?
True
Suppose 0 - 3 = j - 4*a, a = -3*j + 17. Suppose 186 + 2039 = j*k. Is k a prime number?
False
Let x(k) = -7*k**2 - 21*k - 17. Let i(p) = -6*p**2 -