21) + (-5227)/(-35)) a prime number?
False
Let t = 187 + -711. Is (-8)/(-16)*t/(-1*2) a composite number?
False
Suppose 0 = -4*l - l - 4*d + 112147, 4*l - d = 89726. Is l composite?
True
Suppose 14136 = 5*a - c, 4 = -7*c + 3*c. Is a a composite number?
True
Let z(x) be the third derivative of x**6/60 + x**5/30 + 7*x**4/24 + x**3/3 + 4*x**2. Let v(w) be the first derivative of z(w). Is v(5) a prime number?
False
Let m = -10847 - -18684. Is m composite?
True
Let y = -106 + 48. Let h(v) = -27*v**3 + v**2 - 2*v + 1. Let a be h(2). Let d = y - a. Is d a composite number?
False
Let k(m) = 98*m + 5. Is k(7) prime?
True
Let o(v) = -610*v + 7. Let j be o(4). Let y = j + 3582. Is y composite?
True
Let l = 5 + -3. Suppose -l*p - 117 = p. Is 13/p + 598/3 prime?
True
Let f = 11 + 31. Is ((-11)/(33/f))/(-1 - 0) composite?
True
Suppose -5*h + 12835 = -5*r, r - 4*r - 12841 = -5*h. Suppose -4*y + 5*n = -4633, -4*n + h + 3211 = 5*y. Is y a prime number?
False
Is (-14855)/10*(1 + -3) prime?
True
Let m(g) = -10*g + 3. Let o be m(-1). Suppose -o = -i + 20. Is i a prime number?
False
Let m be ((-2)/2 - -17) + 0. Let g(x) be the third derivative of x**4/8 + 5*x**3/3 - 32*x**2. Is g(m) a composite number?
True
Let x = 3 + 1. Suppose 45 = -2*k - n, 0*k + x*k + 92 = -4*n. Is (-1478)/k + 2/(-11) composite?
False
Let t(s) = 6*s + 3. Let w be t(-2). Let q = -4 - w. Suppose -5*f = -25, c + 112 = q*c + 4*f. Is c composite?
False
Suppose -5*h - 1298 = -n + 163, 4323 = 3*n + 5*h. Let z = -2132 + n. Let a = -469 - z. Is a prime?
False
Let a(b) = 27*b**2 - 6*b - 32. Is a(17) prime?
True
Let k(g) = -22*g**3 - g**2 + 8*g + 2. Let t be k(-6). Suppose -3*m + 8*m - t = -4*f, 3*m + 2*f - 2804 = 0. Suppose 2*q + 0*q - m = 0. Is q a composite number?
True
Suppose 4*t = -4, -149*t = 5*y - 145*t - 259131. Is y a composite number?
False
Let o(l) = 55*l - 4 + 0 - 6. Suppose 5*u = -2*j + 26, 7 + 15 = 2*j + 4*u. Is o(j) a prime number?
False
Suppose 3*i - 2713 = -2*y - 3*y, -4*y = i - 909. Is i composite?
True
Let l = -16 - -19. Suppose l*t - 2213 = 94. Is t composite?
False
Let h be ((-48)/40)/(((-16)/(-10))/(-4)). Suppose 0 = 4*j + h*d - 1771, -3*j + 2*d + 1899 - 592 = 0. Is j a prime number?
True
Let z(i) = -143*i**3 - 4*i**2 - 4*i + 2. Let y be z(-2). Suppose y - 400 = 9*r. Is r composite?
True
Suppose b = -b - 142. Suppose -25*k = -3*n - 27*k - 152, -2*k = -3*n - 148. Let h = n - b. Is h composite?
True
Let y(q) = -q**3 + q**2 + 12*q - 4. Let n be y(-3). Let r(b) = -32*b**3 + 6*b**2 + 12*b + 2. Is r(n) a composite number?
True
Suppose 0 = 6*s - 17536 - 37502. Is s prime?
True
Let y = 100 + -103. Let o(a) = -16*a**3 + 2*a**2 - 7. Is o(y) prime?
True
Let w = 18 + -16. Suppose -w*q - q + 3411 = 0. Suppose -q = 3*z - 6*z. Is z a prime number?
True
Let t be ((-4)/6)/((-5)/24690). Suppose -4*j + 4*m + t = 0, 2*m = -3*j - j + 3280. Is j a composite number?
False
Suppose -2 = t, -u - 4 = 3*u + 2*t. Suppose u = -2*z - 2*g + 1194, 3*z + 2*g = -2*g + 1791. Is z prime?
False
Suppose -11 = d + 2. Let f = d + 16. Suppose u - 253 = -4*l, 13 = f*l + 1. Is u composite?
True
Suppose -68*v + 50298 = -425770. Is v prime?
True
Let x(w) = 14*w**3 - w**2. Let p be x(-1). Is 3 + (-3 - p)/4 + 675 composite?
True
Let f = -66 + 218. Is f - (8/(-4) + -1) a composite number?
True
Let u = -10 + 15. Suppose 84 = -b + u*b. Suppose -m + b + 40 = -s, -m = -5*s - 73. Is m composite?
True
Suppose 4*n = -c + 44, -3*n = -0*c + 2*c - 88. Let m be ((-2)/2)/(4/c). Let a = m + 64. Is a a composite number?
False
Let n(r) = -41*r**2 - 8*r - 6. Let t be n(-6). Let m = t - -3340. Is m a composite number?
True
Let c = 59 - 56. Suppose -d = c*q - 2612, -5*d - q + 10013 + 3033 = 0. Is d a prime number?
True
Suppose -l + 4*x + 2 = 7, 0 = l + 2*x - 7. Suppose l*d = -d. Suppose 2*v + d = s + 1, 2*s + 5*v - 16 = 0. Is s a composite number?
False
Suppose -1788 + 5804 = -4*q. Is ((-12)/(-3) - q) + 1 a prime number?
True
Let q be 3 - 3/(0 + -1). Suppose -14 = -5*l + q. Suppose v + 3*v + 4*i - 336 = 0, i = l*v - 311. Is v a composite number?
False
Let k(x) = 1587*x + 145. Is k(6) composite?
True
Suppose 5*n + 213 + 172 = 0. Let h be (-11)/n + (-27)/(-7). Suppose 0 = h*c - 12, -2*w - 87 = -5*c - 478. Is w a composite number?
True
Suppose -3*t = 2692 - 18739. Let x be (-1)/(-1) + 4*1. Suppose 1244 = -x*n + t. Is n a composite number?
False
Let t = 122 + -118. Let d(c) = 31*c - 41. Is d(t) prime?
True
Let g(z) = 12*z**2 + 2*z. Let c be g(-4). Let b = c - 5. Is b a composite number?
False
Let r(y) = -176*y - 37. Suppose 5*b + 1 = -19. Is r(b) a prime number?
False
Suppose 4*u = 5*x - 5463, 0 = -3*x + 4*u + 1020 + 2253. Suppose -11*d + 6*d = -x. Suppose -d = -5*a + 46. Is a prime?
True
Is (3/9)/((-4)/(-10524) - 0) prime?
True
Let u be (-27)/18 - (-54)/4. Let m be (-289)/2 + u/(-8). Is (3 + m/(-4))*2 a prime number?
True
Let g = -169 + 268. Let a = g - -240. Is a composite?
True
Suppose n - 2594 - 8247 = 0. Is n prime?
False
Let w(y) = -y - 3. Let a be w(-6). Suppose 4*c + 36 = 6*c. Is a/2*1596/c composite?
True
Let z(a) = 24*a**2 + 4*a. Suppose 0 = 2*l - 12 + 4. Let u be z(l). Is (-2)/(-6) + u/6 prime?
True
Suppose 4*u + 23594 = 40*f - 38*f, 0 = -2*f - 5*u + 23567. Is f composite?
True
Let c(q) = -q**3 + q - 1. Let n(r) = 7*r**3 + 5*r**2 + 6*r + 11. Let d(x) = 2*c(x) + n(x). Is d(8) composite?
False
Let y(r) be the first derivative of 7*r**4/4 - 2*r**3/3 + r**2 + r + 7. Is y(2) a prime number?
True
Let s = 45 + -48. Is (-2356)/(-152)*s/(3/(-74)) composite?
True
Suppose 2610 = 2*p - h - 702, -2*p - 5*h + 3324 = 0. Is p a composite number?
False
Let d be (6 + -3)*1/6*8. Suppose -1868 = -d*x + 696. Is x composite?
False
Suppose -38*f = -33*f - 10. Suppose 0 = -2*l - 5*h + 1112, 0*l + 2*l - f*h = 1098. Is l composite?
True
Let v = 5945 - 3867. Suppose 6*d = 8*d - v. Is d a prime number?
True
Let t = 5 + -11. Is -2 + (-3805)/(-2) + t/(-12) prime?
True
Let k(i) = -2*i**2 - 2*i**3 + 13 + 9*i**3 + 7*i**2. Let n = -259 + 263. Is k(n) composite?
False
Let u = -2 + 8. Suppose -s - 790 = -u*s. Let q = s + 47. Is q a prime number?
False
Suppose 2*y = 3*c + 147517, -15*c - 295029 = -4*y - 10*c. Is y prime?
True
Let v(t) = -t**3 + 13*t**2 + 4*t - 15. Let j(g) = g**2 + 4*g + 3. Let k be j(-4). Suppose a - 16 = -k. Is v(a) a composite number?
False
Let c(a) = 24*a**2 + 2*a + 3. Let d(i) = -i**3 - 7*i**2 + 10*i - 3. Let r be d(-8). Let o = r + 15. Is c(o) a prime number?
True
Let p = 1587 - -1180. Is p a composite number?
False
Suppose -214840 = -42*m + 225614. Is m composite?
False
Suppose -2*t = 8 + 40. Let b = t - -27. Suppose b*f - 1211 = -4*c, 3*f + 0*c - c - 1186 = 0. Is f composite?
False
Suppose -224 = -4*l + 560. Suppose 7*a + 35 = 2*a. Is (-53)/4*l/a a composite number?
True
Let t(m) = 10 + 8 - 21 + 22*m + 12 - 14. Suppose -30 = -4*i - 3*a, 5*i - 8*a - 20 = -3*a. Is t(i) a composite number?
False
Let s be ((-2670)/(0 - -2))/(12/(-8)). Let r be (-2)/(-3) + 2/(-3). Suppose -3*h - t + 895 = r, -3*h + 3*t = -t - s. Is h a composite number?
True
Let g be 4 - (20*4)/4. Let p be (-9)/6*g/6. Suppose p*w - 314 - 138 = 0. Is w a composite number?
False
Suppose -8 - 4 = -6*o. Let j = -2 + 6. Suppose -o*v = 2*v + t - 153, -2*v + j*t = -72. Is v prime?
False
Let h = 2356 + -625. Is h a composite number?
True
Is (0 - -472) + -2*15/6 a prime number?
True
Suppose 2*r - 3*r - 99 = 0. Let x be (-22)/r - 556/(-9). Suppose 0 = d + 3*n - x, -37 = -d - 0*n + 2*n. Is d a prime number?
True
Let h(f) = 2*f - f**2 + 8*f - 8*f + 467 + f**3 + 644. Is h(0) composite?
True
Let l(k) = -k**2 + 13*k + 11. Let v(p) = -55*p - 4. Let y be v(-3). Let c be y/21 - (-2)/(-3). Is l(c) a prime number?
True
Let z = -68 - -64. Is (65 + 2)/(z/(-68)) composite?
True
Let x(y) = y**3 - 6*y**2 + y. Let u be x(6). Let s = u - 3. Suppose -s*b + 0*b = -633. Is b composite?
False
Is (-52)/39*(-456645)/20 a composite number?
True
Let w = -28 - -28. Suppose w = -5*g + 7*g - 6. Suppose -4*p - 4*l + 208 = 0, -161 = -g*p + l + l. Is p a prime number?
True
Let g = 50 + -31. Suppose -g = -4*m + 13. Suppose -m - 16 = -4*x. Is x a composite number?
True
Is (-5)/(-60) + 12128669/84 a composite number?
True
Let p = -25 - -20. Let b(h) = -8*h - h - 3*h - 2 - 5*h. Is b(p) a prime number?
True
Let m(h) = 15*h + 8 - 