t w = 34 + a. Is w a prime number?
False
Let z(s) = -291*s + 2. Is z(-1) prime?
True
Let p = 956 - 441. Suppose 0 = 4*f + f - p. Is f a prime number?
True
Suppose -4*c = 2*b - 198, -b = c - 0*c - 50. Suppose 2*g + c + 53 = 0. Is g/(-7) + 2/(-7) composite?
False
Let i(q) = -q**3 + 8*q**2 - 4*q - 8. Suppose 2*a - 7 = a. Is i(a) composite?
False
Let l(u) = u - 5. Let g be l(6). Is (g - 0)*(156 + 7) a composite number?
False
Let w = -37 - -215. Is w a composite number?
True
Suppose 3*r = 47 + 58. Suppose r = -2*m + 3*m. Is 231/m + (-4)/(-10) a composite number?
False
Is (-6 + 1)/(2/(-62)) composite?
True
Is 1 + 522 + -2 + 0 prime?
True
Let j(u) = -u**2 - 3*u. Let r be j(-4). Let v(f) be the second derivative of -f**3 + f**2/2 + f. Is v(r) composite?
True
Let g(j) = 44*j - 11. Let w be g(9). Suppose w + 211 = 4*o. Is o a composite number?
False
Let x = -2 - -2. Let q(f) = -f + 127. Is q(x) prime?
True
Let x be 4/(-18) - 2072/(-9). Let a = x - 85. Is a prime?
False
Let f = 5 + -4. Suppose 0 = -i + f, -y + 3*i + 13 = -15. Is y composite?
False
Let y = -23 + 42. Is y a composite number?
False
Let u = -10 - -15. Suppose 0 = u*o - 474 + 59. Is o a composite number?
False
Suppose -8*c = -4*c - 1756. Is c composite?
False
Suppose -6754 = -20*c + 18*c. Is c composite?
True
Let c(n) = n**2 - n - 1. Let h(a) = -5*a**2 + 6*a + 7. Let b(g) = 6*c(g) + h(g). Let w be b(0). Is 69 + (3 + w)/(-2) prime?
True
Let r be 10/3*(-36)/(-30). Suppose 0 = 3*u - 5*u + 8, r*u = -i + 90. Is i a composite number?
True
Suppose -v = -1, -5*q + 0*q + 3*v + 552 = 0. Is q a composite number?
True
Suppose 1814 = y + y. Is y prime?
True
Is (4740/(-16) - 2)/((-2)/8) a prime number?
True
Suppose 7*p - 3787 = -0*p. Is p prime?
True
Suppose 0 = 2*k + 6. Let o = -5 + k. Let y = o - -30. Is y composite?
True
Let f(l) = -509*l**3 + 3*l**2 - l. Let o(z) = z**3 + z**2. Let y(q) = -f(q) + o(q). Is y(1) prime?
True
Let k(b) = 1416*b**3 - 4*b**2 + 2*b + 1. Is k(1) prime?
False
Let g be ((-3)/9)/(2/(-12)). Suppose 5*y - 8 = 12. Is y/g - 0 - -12 a composite number?
True
Let z = -169 + 376. Suppose z = p + 4. Is p a prime number?
False
Let r = -1 + -1. Let u be ((3 + 1)/1)/r. Is (7/(-14))/(u/820) a composite number?
True
Let q = 1 + 4. Suppose 2*c - 417 = -o + c, 4*c + 2103 = q*o. Is o a prime number?
True
Is -114*((-3)/6 - 0) a prime number?
False
Let z(v) = 287*v**2. Suppose 8*r + 5 = 3*r. Is z(r) composite?
True
Let m(v) = -15*v - 67. Is m(-24) a composite number?
False
Suppose -2*r + 4*r = 1006. Is r a prime number?
True
Let h be 2*(3 - 6)/(-3). Suppose 426 = h*j + 104. Is j composite?
True
Let u = -10 - 0. Let c = u - -4. Let p(b) = b**3 + 7*b**2 + b + 7. Is p(c) prime?
True
Let v = -405 - -590. Is v a prime number?
False
Suppose 4*i = -i + 785. Suppose 0 = -q + i + 6. Is q a prime number?
True
Suppose 54 = 2*y + 8. Let r = 101 - y. Suppose -3*i + 4*k = -73, 5*i = k + 21 + r. Is i a prime number?
True
Let c(t) = 7*t + 3. Let l = 3 - -1. Let x be c(l). Suppose 4*h + 5*i - x = 0, h + 1 + 1 = 2*i. Is h composite?
True
Suppose -v - 2*l - 9 - 4 = 0, 2*v - 9 = 3*l. Let z = 12 + v. Is z a composite number?
True
Suppose -5*w - 63 = -i + 96, 4*i = 5*w + 576. Is i a composite number?
False
Suppose 2*m + 55 = 4*t - 81, 0 = -4*t - 4*m + 136. Is t a prime number?
False
Let o = 54 + 43. Is o composite?
False
Let j = -2973 + 5594. Is j prime?
True
Suppose m = -2 - 6. Let f = -5 - m. Suppose p + 3*p + 42 = 3*h, h = -f*p + 1. Is h prime?
False
Is (-16)/12 + 1 + (-1012)/(-3) a prime number?
True
Suppose 6*h = 3*h + 12. Suppose -5*n = -h*i - 253, -4*n + 224 = -0*i + 4*i. Is n composite?
False
Let w(x) = x**2 - 3*x - 37. Let v(t) = 2*t**2 - 4*t - 38. Let h(r) = 2*v(r) - 3*w(r). Is h(0) a prime number?
False
Let y(w) = -44*w - 9. Is y(-5) a composite number?
False
Let x = 14 + -51. Suppose 3*g - 2*g + 5*d + 31 = 0, -3*g = -d + 45. Let z = g - x. Is z composite?
True
Suppose 4*i + 4*v = 20, 2*v + 0 = 3*i + 10. Suppose i = x - 165 + 32. Is x a composite number?
True
Let m(p) = 39*p**2 - p. Suppose -l - 2 = -4*f, 0 = 4*l + 3*f + f + 8. Let i be m(l). Suppose 4*j = 2*j + i. Is j composite?
False
Suppose 3*y - 32 = 460. Let k = -10 + y. Suppose 29 = -5*r + k. Is r prime?
False
Let p be 7/21 - (-172)/6. Suppose n - p = 18. Is n a prime number?
True
Let d = 222 - 155. Is d a prime number?
True
Suppose -4*m = 4, l - 2*m = 5*l - 154. Is l a composite number?
True
Suppose 0 = 4*h + 2*q - 8, -h - 2 = -2*h - 4*q. Suppose -4*l - h*w - w = -64, -60 = -4*l - 2*w. Is (12/(-4))/((-3)/l) a composite number?
False
Let w(h) = 96*h - 1. Let f(l) = 192*l - 1. Let k(t) = 3*f(t) - 5*w(t). Is k(2) a composite number?
True
Let g(a) = 182*a + 45. Is g(7) a composite number?
False
Let g(z) = z**3 - 3*z**2 + 4. Let y be g(3). Suppose y*l - 6 = 2. Is l - -7*24/3 a composite number?
True
Suppose -m + 62 = c, -3*m = 2*c + 8 - 131. Suppose 2*d = c + 43. Is d prime?
True
Suppose 81 + 89 = 2*q - 5*j, 0 = 3*q - 4*j - 255. Let x(t) = -t**3 + 6*t**2 - 6*t + 6. Let h be x(5). Is (h + -3)*q/(-2) a composite number?
True
Suppose -12847 = -4*i - m - 2529, m + 12893 = 5*i. Is i composite?
False
Let q be -2 + -1 + (-1 - 1). Let i(w) = 2*w**2 + 7*w - 1. Is i(q) a prime number?
False
Let w(h) be the third derivative of -h**6/120 - h**5/15 - h**4/6 - h**3/6 - 4*h**2. Let q be w(-3). Suppose 4*f + 71 = l, -3*f = q*l - f - 112. Is l composite?
False
Let k(g) be the third derivative of 17*g**4/12 + g**3/2 - 2*g**2. Let n be k(5). Let d = n + -118. Is d a prime number?
False
Is 11*(0 + -1)*(-148 + -1) prime?
False
Is 7 + (4/2 - -1) a composite number?
True
Let f = -250 - -750. Suppose 94 = -2*o + f. Is o composite?
True
Suppose 0 = 19*s - 13*s - 2874. Is s prime?
True
Let i = -24 + 96. Suppose 5*c - 141 = -2*v, 0*c + 4*c + 5*v = 123. Suppose 3*j - c = i. Is j composite?
True
Let j(s) = 10 + s - 10 + 53. Let o = 2 + -2. Is j(o) composite?
False
Let w = 5 + -2. Let h = -9 + w. Let s = 17 + h. Is s a composite number?
False
Suppose -v = -1 - 0. Is 0 - -1 - v*-76 a composite number?
True
Suppose -4*r + 6*r = 4. Let m be 51/r - 4/8. Suppose -3*j + 36 = 3*x, 0*x - j + m = 2*x. Is x prime?
True
Let m(l) = -l**3 - 5*l**2 - 6*l + 5. Is m(-5) prime?
False
Let n = 0 - 7. Let i be (-79)/n - (-2)/(-7). Suppose -i = -3*s + 46. Is s a composite number?
False
Suppose 0 = -2*s - 2*w + 18, w = -5*s + 3*w + 59. Let x = 18 - s. Is (-1)/((14/(-92))/x) a composite number?
True
Is (-3858)/(-24) - 2/(-8) a prime number?
False
Suppose 0 = -y + 2 + 1. Let v = -35 - -110. Suppose 2*f + y*f = v. Is f a composite number?
True
Let f be 0/(0 + -1 + 2). Suppose -k + x = -f*x - 1466, -3*k + 4*x + 4399 = 0. Is k a composite number?
True
Let u(m) = -m**2 + m - 6. Let z(n) = n**2 + 6*n + 5. Let i be z(-5). Let f be u(i). Is -1 - -1 - 24/f a composite number?
True
Let d be (0 - 1)/((-1)/259). Let g be (-2)/(-9) + d/9. Let s = -7 + g. Is s composite?
True
Let j be (-3)/9 + (-130)/(-3). Suppose -7 = 5*a + j. Let w = a + 17. Is w a composite number?
False
Let m(r) = -7*r**3 + r**2 + r - 7. Is m(-4) composite?
True
Let i(p) = p**3 + 4*p**2 - 7*p - 6. Let k be i(-5). Let v be k/6*219 - 0. Suppose 5*b - v - 199 = 0. Is b a composite number?
True
Suppose -181 = -j + 226. Is j composite?
True
Let x(r) = 3*r**3 - 7*r**2 - 2*r + 3. Let l(s) = -10*s**3 + 21*s**2 + 6*s - 10. Let b(t) = -t - 4. Let m be b(-2). Let a(w) = m*l(w) - 7*x(w). Is a(5) prime?
True
Let g be -8*(3 + -14 + -2). Suppose -4*z = -2*r - r + 155, -2*z = -2*r + g. Is r a composite number?
False
Suppose -5*z = -w - 84, 0 = 2*z - z + 5*w + 4. Let h = 31 - z. Is h composite?
True
Is 718 - (24/40 + 16/(-10)) prime?
True
Suppose -l = -6 + 1. Let j be (-2)/l - (-6488)/20. Suppose 3*x - a - 196 = -2*a, -5*x + a = -j. Is x prime?
False
Suppose -4*h = -3*h + a - 81, 4*h = -3*a + 320. Let d = h - 20. Suppose 4*f - 17 = -5*u + d, -8 = 4*u. Is f prime?
False
Suppose 2*b - 495 = 323. Is b composite?
False
Let h(y) = 11*y**2 + y + 16. Is h(7) a composite number?
True
Suppose -34 = -4*h + 18. Is h composite?
False
Is 8 + 4/(-1) - -658 composite?
True
Suppose -3*n = 2*p + 2*p + 7, 5*n + 1 = -4*p. Suppose -4*t + o = n*o - 636, 173 = t - 3*o. Is t a composite number?
True
Let w(s) = -10*s**2 - 3*s - 5. Let n be w(-4). Let b = n - -316. Is b a composite number