h + 2*h - 885 = -4*t, 0 = -5*h - 5*t + 1480. Is h a prime number?
False
Suppose -4*q = -2*d + q - 6, -2*q + 4 = 0. Suppose d*w + 3*v = 428, 0 = w - 7*v + 2*v - 201. Is w a composite number?
False
Let x(l) = l**2 - 3*l. Let m be x(4). Let w(u) = 4*u**2 - 7*u**2 - u**3 + m + 2*u**2. Is w(-3) prime?
False
Let s(l) = 23*l**3 - l**2. Let r be s(1). Let x = -16 + r. Is 1/(-2) + 87/x composite?
True
Let n be (-1)/(1 - 0) + -4. Let g(h) = h**3 + 7*h**2 + 6*h - 6. Is g(n) a composite number?
True
Let s = -8 - -11. Suppose 0*l - l - 4*v + 189 = 0, 2*v - 547 = -s*l. Is l composite?
False
Let h = -94 + 261. Is h prime?
True
Suppose 0 = 57*x - 58*x + 187. Is x a composite number?
True
Suppose -v - 1 = -50. Is v a composite number?
True
Let r(v) = 9*v**2 + 16*v - 1. Is r(6) a prime number?
True
Suppose -2*h + 0*h - 3*x + 755 = 0, 0 = -5*h - 5*x + 1880. Is h prime?
True
Let l = 13 - -466. Is l a prime number?
True
Suppose 4*p = p + 27. Let l(w) be the third derivative of w**4/8 - 2*w**3 - w**2. Is l(p) composite?
True
Suppose o = 6*o - 670. Is o composite?
True
Let w(i) = i + 11. Let z be w(-7). Suppose -z*m = 2 + 10. Is (-75)/m - (-2 - -4) a prime number?
True
Let i(y) = -y + 10. Is i(-16) prime?
False
Let x be (-1 - 112)*(-3)/1. Let u = x + -227. Suppose -l = 5*i - u + 19, -5*l = -4*i + 86. Is i a prime number?
True
Suppose 5*x - 11 = -1. Let s(z) = z**3 - z**2 - z + 2. Let h be s(x). Suppose -o + 5 = 0, 9*r - h*r + o - 280 = 0. Is r a prime number?
False
Suppose -24 - 44 = 4*h. Let t = h - -43. Is t a composite number?
True
Let u(b) = -b**2 + 6*b + 9. Let y be u(7). Let o be y*3*(-7)/(-6). Let l(k) = k**3 - 6*k**2 - 6*k - 3. Is l(o) composite?
True
Let r(s) be the second derivative of 3*s**5/20 + s**4/6 - s**2 + s. Suppose 5*c - 4*v - 35 = 0, 31 - 6 = -5*v. Is r(c) prime?
True
Let u = -70 - -207. Suppose 0 = -2*y + u + 93. Is y a composite number?
True
Let l(w) = -3*w + 19 + 5*w**2 - 4*w**2 + 0*w**2. Is l(8) a prime number?
True
Let m be (73/3)/((-5)/(-15)). Let l = 162 + m. Is l composite?
True
Let a be (-5)/(-10) + 14/4. Suppose -20 = a*t, 2*d - 4*t - 11 - 1 = 0. Is ((-14)/d)/((-2)/(-8)) prime?
False
Suppose x + 1357 = i, i - 4*i + 4*x = -4067. Is i a prime number?
True
Is (521/2)/((-3)/(-6)) prime?
True
Suppose 0 = -2*l + 4*l - 18. Suppose 0 = -v + 1 + l. Is 214/v + (-2)/5 a composite number?
True
Let y = -119 - -204. Is y composite?
True
Suppose -k = -7 + 3. Suppose -k*n = 3*f + n + 9, 3*f + 6 = -4*n. Suppose 0 = -3*c + 3*g + 66, -88 = -4*c - 0*g - f*g. Is c a composite number?
True
Is -12*(4581/(-12))/3 a composite number?
True
Suppose -n + 6*n - 775 = 0. Is n prime?
False
Let x(a) = -a**3 + 4*a**2 + 7*a - 7. Let o(v) be the second derivative of v**5/20 + v**4/2 + 5*v**3/6 + 5*v**2/2 + v. Let m be o(-5). Is x(m) a prime number?
True
Let y(k) = k - 7. Let w be y(10). Suppose 0 = -w*p - 4*f + 865, 397 + 461 = 3*p - 3*f. Is p prime?
False
Suppose 134 = -a + 3*d + 382, 2*d - 755 = -3*a. Is a a prime number?
True
Is -59*(-1 - -2 - 2) a composite number?
False
Let y(g) = 5*g**2 + 6*g + 1. Is y(-4) a composite number?
True
Let k = -45 - -66. Suppose -28 = -4*m + 2*f, -4*m - f = -7 - k. Suppose -89 = -m*g + 6*g. Is g a prime number?
True
Suppose 0*a + 1 = a. Suppose -3*r - 5*s = -14, -a - 1 = -r + s. Suppose 0 = -4*y - 4*x - x + 135, -5*x = r*y - 100. Is y a composite number?
True
Let s = 17 + -13. Suppose s*o + 3*u = 1530, 2*o - 5*o + 3*u = -1137. Is o prime?
False
Let j(q) be the third derivative of 5*q**4/24 + q**2. Is j(2) composite?
True
Suppose 3*q - 12 = q. Let a = q + -4. Suppose 5*c + a*m - 550 + 71 = 0, 5*c - 2*m - 471 = 0. Is c a composite number?
True
Let s(f) = 4*f**2 - 13*f + 9. Let l(t) = 5*t**2 - 14*t + 10. Let o(i) = -5*l(i) + 6*s(i). Let c(z) = z - 1. Let p be c(-6). Is o(p) a composite number?
False
Let w = -6623 + 9565. Is w a prime number?
False
Let s = -75 - -138. Let j be ((-66)/9)/((-2)/(-12)). Let v = j + s. Is v composite?
False
Suppose 0 = -t + x + 903, t - 2*x = 2*x + 891. Is t prime?
True
Is -4 - (-255)/(2/2) a prime number?
True
Let b = -5 + 5. Suppose -42 = w + 3*h - 104, b = 3*w + 4*h - 186. Is ((-3)/6)/((-1)/w) a prime number?
True
Suppose 0*f - 3*f = -684. Suppose 0 = -4*d - 4*p + f, 2*d - 6*d + 5*p = -192. Is d a composite number?
False
Let f = -6 + 3. Let x be f - -7 - (1 - 1). Is ((-19)/(-4) + 3)*x prime?
True
Suppose -2*x - 15 = -5*x. Let k = 36 - x. Is k a composite number?
False
Let f(b) = 25*b**3 - b**2 + 5*b + 5. Let p be f(-1). Let s = -36 - -121. Let w = p + s. Is w composite?
False
Suppose -3*f + 4 = -5. Let l = -2 - -4. Suppose l*m + 3*m = f*a + 397, -m = -a - 81. Is m a composite number?
True
Let t = 65 + 186. Is t a composite number?
False
Let s(v) = -46*v + 4. Let t be s(6). Let n = -127 - t. Is n composite?
True
Is (-37884)/(-60) - (-2)/(-5) a composite number?
False
Let k(b) = -b**3 - 11*b**2 - 9*b + 10. Let c be k(-10). Suppose 2*x - 31 = -n, c = 3*n - n - 4*x - 86. Is n a composite number?
False
Let o be 1*(0 - -1) + -4. Let n(p) = -p**3 - 3*p**2 - 2. Let b be n(o). Is (259/(-21))/(b/6) composite?
False
Let j(i) be the second derivative of i**4/4 - 2*i**3/3 + 2*i**2 - 2*i. Let x = 5 + -2. Is j(x) a prime number?
True
Suppose 14*r - 19*r = -815. Is r a prime number?
True
Let y = -293 + 492. Is y a prime number?
True
Suppose -6*k + 280 = -4*k. Let z = -202 + k. Let h = z - -97. Is h a prime number?
False
Let w = -1303 - -2370. Is w prime?
False
Let v(d) = -d**3 - 7*d**2 - 1. Let p be v(-7). Let k be p/(-3) + (-7)/3. Is 76 + -1 + k + 4 composite?
True
Let y(r) = -32*r + 3 - 1 + 1 + 4*r. Is y(-4) composite?
True
Let q(y) = -y**2 + y - 338. Let t be q(0). Let a = 523 + t. Is a a composite number?
True
Suppose -2*h + 53 = 5*l, 4*l + 27 = 7. Let t = h - -18. Is t composite?
True
Let u = 931 + 124. Suppose -4*q - q = -u. Is q a composite number?
False
Let l(u) = -u**3 + 4*u**2 + 4*u + 7. Let b be l(5). Suppose 0*p + 194 = b*p. Is p prime?
True
Let d = 11 - 18. Let s = 9 + d. Is 4/s*(-1028)/(-8) composite?
False
Suppose 2*v = -t + 701, -1147 + 431 = -2*v + 4*t. Let u = v + -33. Is u a prime number?
False
Suppose 0 = -8*i + 4*i + 24. Let s be 3 + -5 - (0 + -1). Let p = i - s. Is p prime?
True
Let y(u) = -2*u**3 + 10*u**2 + 3*u - 5. Let s be y(8). Let j = s + 556. Is j composite?
False
Suppose -2*k + k - 2*l = -213, -426 = -2*k - 3*l. Let b = 340 - k. Is b a composite number?
False
Suppose 0 = -3*b - 11 + 29. Suppose b = u + u. Is 2*-1 + (u - -8) a composite number?
True
Is (18585/(-10))/(-9)*2 a composite number?
True
Suppose -64 - 203 = -3*z. Is z a composite number?
False
Suppose 4*v - 30 = v. Suppose -v = -0*o - 2*o. Suppose 3*m - 5*m = -2*f - 64, o*m + 4*f = 205. Is m prime?
True
Suppose 2*m + 10 = 4*j + 2, -3*m + 12 = 2*j. Suppose -4*u + 11 = -t + 28, 11 = j*t - 2*u. Is (2 - (0 + t)) + 24 a prime number?
False
Let o(t) = t**2 + 5*t + 16. Let d be o(-11). Suppose -k + 11 = w - d, 0 = 5*w - k - 489. Is w a composite number?
False
Let y = 712 - -501. Is y composite?
False
Let x = 2962 - 1647. Is x composite?
True
Let p(f) = f**2 - 4*f - 7. Is p(12) a prime number?
True
Let n(v) = v**2 + 7*v + 5. Let z be n(-6). Let g be 5/((-3)/(z - 2)). Let x(o) = 2*o + 1. Is x(g) composite?
False
Let k = 8 - 13. Let f(o) = 4*o**2 + o - 6. Is f(k) prime?
True
Let x = -1636 + 2535. Is x a prime number?
False
Suppose -5*w + 2*r - 3*r + 446 = 0, 2*w = 4*r + 174. Is w composite?
False
Suppose -5*g + 3*q = 16, -4*g = -0*g + 5*q - 2. Is (-3)/(g + -1)*21 a composite number?
True
Let s(n) = n**2 - 6*n + 3. Let w be s(7). Is (-4)/w - (-6628)/20 composite?
False
Let v = -11 - -18. Suppose 2*f - 166 = -v*n + 2*n, -249 = -3*f - 3*n. Is f composite?
False
Let i(a) = -a**2 + 4*a + 7. Let u be i(5). Suppose 0 = y + 3*c - 26, -u*c - 13 = -y + 13. Is y prime?
False
Let o be -2 + 3 + -3 + -2. Is ((-6)/10)/(o/1340) a composite number?
True
Let c be (-4)/(-12) - 10/(-6). Suppose -5 - 3 = -c*r. Is ((-168)/(-20))/(r/10) prime?
False
Suppose -w - 2 = x + 2, -4*w = -2*x - 8. Suppose w = -0*l + l + 8. Let c = 27 + l. Is c composite?
False
Let q(v) be the first derivative of -37*v**2/2 - 5*v - 2. Is q(-4) prime?
False
Suppose 8 = 3*o + 11. Is o + -4 + 1 + 313 a prime number?
False
Suppose -95 + 854 = 3*h. Is h composite?
True
Let w(l) = -15*l**3 - 2*