 = -4*i + 1281, -3*i + 5*i - 663 = -5*y. Is i a prime number?
False
Let z(t) = 50*t + 7. Is z(5) composite?
False
Let x = -75 + 121. Is x a prime number?
False
Let f = -169 - -614. Is f prime?
False
Let g(o) = -o**3 - o + 142. Is g(0) a composite number?
True
Is (-4)/14 - (-2174)/14 a composite number?
True
Suppose 0 = m + 2*m - 333. Is m composite?
True
Let q = -39 - -72. Is q a prime number?
False
Let r(b) = -b**2 + 3*b + 6. Let h be r(5). Is (6/(-9))/(h/1074) composite?
False
Let z be -72*(-2 - (-1 - 0)). Suppose z = -q - 4*p, -102 - 132 = 4*q - 2*p. Let w = -39 - q. Is w composite?
True
Suppose 0*o - 6 = -o. Let t = o + -7. Is (5/(-15))/(t/69) prime?
True
Let j(c) = c + 1. Let x be j(-5). Let t(o) = o**3 + 5*o**2 + 3*o - 3. Let a be t(x). Let u(n) = 13*n. Is u(a) a composite number?
False
Suppose -4*d = -5790 - 3086. Is d a prime number?
False
Suppose q = -5*z - 185 + 2231, 5*z - 5*q = 2040. Let t = 257 - -21. Let c = z - t. Is c prime?
True
Let h(m) = 1 + 3 + 1 + 2*m. Suppose -2*d - 3*d + 25 = 0. Is h(d) composite?
True
Let y = 422 - -165. Is y prime?
True
Suppose 2*g - 80 = 3*r, -4*r = -6*r + 3*g - 50. Is ((-15)/6)/(2/r) a prime number?
False
Let q(r) = 2*r - 8. Let w be q(7). Suppose -a + 5*f + 68 = 0, w*f - 2*f = 3*a - 237. Is a a composite number?
False
Suppose 5*y = -3*p + 28, -2*y - 2*p + 12 = -0. Suppose -y*c + 12 = 4*f - 28, -67 = -5*f - 2*c. Is f composite?
True
Let s(f) = -f**3 - 2*f**2 - 17*f - 63. Is s(-6) a composite number?
True
Is 14910/(2 - -1) + -3 prime?
True
Suppose 0 = -3*z + 45 - 15. Is 4404/15 - 6/z prime?
True
Let n(o) = -12*o - 1. Let a(k) = k**2 - k - 4. Let i be a(0). Is n(i) a composite number?
False
Suppose v + 5 = -1. Is v/12 - (-95)/2 a composite number?
False
Suppose -4*h + 3637 = -0*v + 3*v, 3*h - 2*v - 2749 = 0. Is h a prime number?
False
Let u(w) be the second derivative of 4*w**4/3 + w**3/3 - w**2/2 - 2*w. Is u(2) composite?
False
Let s(x) = x**2 - 10*x - 7. Let l be s(-6). Suppose -4*b - 13 = -l. Is b composite?
False
Let n = -242 + 535. Is n a composite number?
False
Suppose 4*z = z + 2*x + 13, 5*z + 4*x = 7. Suppose 229 = z*y - 2. Is y prime?
False
Suppose -2*n + 3 = n. Let x(g) = g**2 - g + 1. Let k be x(n). Is ((-1)/k)/(3/(-93)) prime?
True
Suppose 0 = -4*u + 39 + 21. Suppose 2*a - u = -3*a, 3*p + 2*a = 144. Is p a composite number?
True
Let v(b) = 4*b - 7. Let p(m) = 3*m - 5. Let w(g) = -7*p(g) + 5*v(g). Let y be w(-2). Suppose -y*z = -31 - 87. Is z a prime number?
True
Let f(k) = k**3 + 7*k**2 + 7*k + 5. Let g be f(-6). Let i(m) = 86*m**2 - 1. Is i(g) a composite number?
True
Suppose -a - 5*r + 2641 = 2*a, a - 879 = -2*r. Is a a composite number?
False
Is (12 - -8)*(-7)/(-4) prime?
False
Suppose 3*g = 4*l + 271, 4*g - 2*l - 145 = 213. Is g prime?
True
Let u(x) = 11*x**2 + 4*x + 4. Let j be u(4). Suppose 2*n - j = -2*g, 2*g - 189 = -0*g + 5*n. Is g a prime number?
True
Let q = 40 - -6. Is q composite?
True
Let u be 1 + (115 - (0 - 0)). Let z = u - -2. Let r = z - 21. Is r a prime number?
True
Suppose -6*v = 2*m - 2*v - 274, 4*m + 2*v = 566. Is m prime?
False
Let r be (9/2)/(-3)*-2. Suppose -2*q + 4*s = 8, 0*q + s - 2 = -4*q. Let l = q + r. Is l prime?
True
Let t(i) = -46*i**2 - 4*i + 7. Let p(k) = k**2 + k - 1. Let c(f) = -6*p(f) - t(f). Is c(-2) prime?
True
Is (0 - -4) + 1668 + -1 a prime number?
False
Suppose 1 = y + 2. Let l be 1 + 23 + 1/y. Suppose -3*v - l = -2*b, 3*v + 2*v = -5*b + 20. Is b a prime number?
True
Suppose -3*d + 2*d = -89. Is d a prime number?
True
Suppose -5*a = -79 + 4. Is a a prime number?
False
Let n(x) = -x**2 + x + 39. Suppose 0 = -4*y + z - 5, -3*y + 4*z - 3*z - 5 = 0. Is n(y) prime?
False
Let z = 267 + -182. Is z composite?
True
Is 2025/(-6)*(-48)/10 - -1 a composite number?
False
Let r(w) = -3*w + 5. Let x be r(-3). Let h = -29 + -78. Let c = x - h. Is c prime?
False
Suppose -3*w + 10 = -2*w. Let q = 574 - 352. Is w/(-4)*q/(-15) a prime number?
True
Let y(p) = 3*p**2 + 2*p + 7. Let w(d) = 10*d**2 + 5*d + 20. Let a(i) = 3*w(i) - 8*y(i). Let v(u) = -3*u + 4. Let o be v(3). Is a(o) prime?
False
Let f(j) = -j + 2. Let m be f(0). Suppose 0*w + w = -3*y + 1, 2 = m*y. Let r = 53 - w. Is r a prime number?
False
Let t(r) = -5*r**2 - 6*r - 11. Let s(y) = -3*y**2 - 3*y - 6. Let i(v) = 7*s(v) - 4*t(v). Let k be i(3). Suppose 5*w - 93 = k*w. Is w composite?
False
Suppose 0 = -f - 0*f + 8. Let u(v) = -v**2 - 5*v. Let p be u(-5). Suppose -s - f + 61 = p. Is s a composite number?
False
Let t = -5 - -4. Let c be (-1)/(-1) + (-57)/t. Let f = c - 25. Is f composite?
True
Suppose 12 = 5*b - 8, t + 2*b - 361 = 0. Is t prime?
True
Let m(f) = -f - 1. Let y = 5 + -8. Let s be m(y). Suppose 0 = -3*t - 2*v + 103, -s*t = -4*v - 57 + 15. Is t a prime number?
True
Suppose j = -4*b + 36 + 474, -2*b + 4*j = -246. Is b a composite number?
False
Let r = -28 - -96. Let h = 47 + r. Is h prime?
False
Suppose 0 = 2*r - 10, -x + 31 = 2*r + 11. Let l(f) = -4*f + 18. Let o be l(4). Suppose 0 = -a + o*a - x. Is a prime?
False
Let k(a) = -4*a**2 - 3*a + 1 - 4*a**2 + 7*a + 2*a**3 + 7*a. Is k(5) a composite number?
True
Let y(d) = -d - 7. Let a be y(-4). Let s = -2 - a. Let t(m) = 43*m. Is t(s) composite?
False
Suppose 7*f - 436 - 117 = 0. Is f a prime number?
True
Suppose f + 3 - 4 = 0. Is (2 + -76)*f/(-2) a prime number?
True
Let d be 542/4 - 2/4. Let g = -2 + 7. Suppose -f = -0*w + g*w - 117, -f + 4*w = -d. Is f a composite number?
False
Let q(y) = -238*y + 52. Is q(-7) prime?
False
Let q be ((-705)/(-3) - -3) + 2. Suppose 47 = -s + 2*s + 3*n, -q = -4*s + n. Is s a prime number?
True
Is 66/9 + (-1)/3 a composite number?
False
Suppose -k + 4*k = 0. Suppose 2*c + k*c - 8 = 0. Suppose -c*t + 192 = 52. Is t a composite number?
True
Suppose 0 = -2*s - 3*c + 9, 4*c = -4 + 16. Suppose s = -4*r + 447 + 1157. Is r prime?
True
Suppose -2*j = j + 120. Let z(i) = 23*i + 2. Let y be z(4). Let g = y - j. Is g a prime number?
False
Suppose -5*q = 2*l + 11, -3*q + 11 = -5*l - 1. Let s = 34 - l. Is s prime?
True
Suppose 2*y + 6 = c, 0 = -2*c - 3*y + y + 6. Let i be -2 + 12/((-6)/(-3)). Suppose -c*v + i*r + 43 = v, -4*r - 8 = 0. Is v prime?
True
Suppose 0 = -8*g - 707 + 2683. Is g prime?
False
Is (0 - -5)/((-4)/(-8)) composite?
True
Is (-2)/(-3)*(-217644)/(-8) a composite number?
True
Let v(p) = -7*p**2 + 2*p**2 + p + 9*p**2 - 2. Is v(3) prime?
True
Suppose 4*k - 4*j + 25 + 67 = 0, 2*k = -5*j - 81. Let u = k - -13. Let t = 34 + u. Is t prime?
True
Let w(c) = 1 - 2 + 1 - 1 + 88*c. Is w(9) prime?
False
Is ((2/(-2))/(1/(-1511)))/1 prime?
True
Let n(m) = 2*m**3 + 2*m**2 - 11*m + 9. Is n(10) prime?
True
Suppose 14 = 3*z - 4. Suppose 4 = 5*a - z. Suppose 80 = a*f + 18. Is f a composite number?
False
Suppose -2*l = -2*a - 6*l + 28, 25 = 5*a + l. Suppose -2*i = a, -4*i + 9*i + 264 = 2*h. Is h composite?
False
Let u(z) = -z + 11. Let m be u(9). Suppose 4*h = -0*q + 2*q + 450, 0 = -m*h - 2*q + 228. Is h a prime number?
True
Let c(t) = -66*t + 43. Is c(-10) a composite number?
True
Suppose 0 = 6*p - 5*p + 9. Let n be (p/6)/(-3)*264. Suppose -3*u + n = u. Is u composite?
True
Suppose -a - 22 - 8 = 0. Is 7*(a/(-21) + 0) a composite number?
True
Suppose 2*v - 2176 = 264. Let f = -1107 + 398. Let w = f + v. Is w prime?
False
Let a = -1 - -5. Let z = 11 - 6. Suppose 0 = -4*p + z - 1, 79 = a*w - 5*p. Is w a composite number?
True
Let i = 35 + 96. Is i composite?
False
Suppose 4*q + 10 - 2 = 0. Is 1114/((-2 - -6) + q) prime?
True
Suppose 0 = -3*p + 6*p - 2334. Suppose p + 107 = 3*q. Is q prime?
False
Let b(c) be the third derivative of -c**4/24 + 5*c**3/2 + 2*c**2. Suppose m - 3*m = 0. Is b(m) a composite number?
True
Let x(h) be the third derivative of h**4/24 + h**3 + 3*h**2. Let d be x(-8). Is 102 - (-2)/(0 - d) prime?
True
Let u(z) = z**3 - 5*z**2 + 2*z - 7. Let y be u(5). Suppose 3*s = -y, -w = -4*w - 5*s + 28. Let l = w + -5. Is l prime?
False
Let t be -4 - (2 + 2/2). Let y(l) = l**3 + 9*l**2 + 3*l. Is y(t) prime?
False
Let l(n) be the first derivative of n**3/3 - 3*n**2/2 + n + 2. Let s be l(2). Let i = s + 8. Is i composite?
False
Let s(r) = -9*r + 3. Let k be s(2). Is (69/2)/(k/(-70)) prime?
False
Suppose 0*m + m - 5 = 0. Suppose 65 = m*r - 210. Is r a composite number?
True
Let x be (-2 - 4)*9/(-2). Is (0 - -3)*414/x a prime numbe