 be r(k). Suppose 5*d + m = 6*d. Is d a composite number?
True
Suppose 0 = -4*c + 3*c + 2*s - 5, 0 = c - s. Suppose c*u = -20, 6*t - 571 = 3*t + 4*u. Is t prime?
False
Let m = -1332 - -10235. Is m prime?
False
Suppose 0 = u + 2*o + 6, 0 = -4*u + o + 9 + 3. Let w(m) be the second derivative of 3*m**5/10 - m**4/12 + m**3/2 - m**2/2 + 5*m. Is w(u) composite?
True
Let c = -17 - -20. Suppose 2175 = c*k - 6252. Is k a prime number?
False
Suppose -2*b + 5*b = 2*d - 247, -3*d + 4*b = -373. Let q(y) = -76*y + 22. Let t be q(1). Let s = t + d. Is s a prime number?
False
Suppose 26 = -3*s + 2. Is -3 + (17*44 - (s - -10)) a prime number?
True
Suppose 35*v - 40696 = 32769. Is v a prime number?
True
Let q = 25889 - 17536. Is q a prime number?
True
Let o = 27278 - 14245. Is o a composite number?
False
Suppose 6789 = 5*b + 4*v, -b = -4*b - v + 4079. Is b prime?
True
Suppose -4*q + 3*d = -38172, -5*q - 14091 + 61806 = 4*d. Is q a composite number?
True
Suppose 4*t - 8*t + y + 37243 = 0, t - 4*y - 9307 = 0. Is t prime?
True
Let z(v) = 488*v + 1. Let f be (42/(-35))/(1/(-5)). Is z(f) prime?
False
Let t = -17664 - -10697. Let n = t + 13388. Is n prime?
True
Let s = 17 - -93. Is 4*(-5)/s + (-937)/(-11) prime?
False
Suppose -2*j = -i + 4695, -2*i = 3*i + 3*j - 23527. Is i a prime number?
True
Let d(l) = l**3 + 11*l**2 - l - 5. Let n be d(-11). Let m be -290*(-1 - (-9)/n). Let v = m - -440. Is v a composite number?
True
Let l(f) = 65*f - 2 + 2 + 1 - 4. Let u be l(6). Suppose -z - 2*z + u = 0. Is z composite?
True
Suppose 4*x - 35 = 5*z, -3*z - 2*z = -3*x + 30. Suppose 11*t - 6*t = -x. Is ((-1055)/(-15))/(t/(-3)) a composite number?
False
Let j(d) = 43*d**3 - d**2 - d - 1. Let a be j(-1). Let w = 34 + a. Let i(x) = 3*x**2 + 12*x + 7. Is i(w) a prime number?
False
Let v = -1492 + 3607. Suppose 0 = -5*t + 4*q + v, 0 = -q - 6 + 1. Is t prime?
True
Let y be 4 - 6*(-250)/15. Let x = y - -129. Is x composite?
False
Let c(z) = -z**3 + 18*z**2 + 14*z - 1. Let r(s) = -3*s**3 + 36*s**2 + 27*s - 1. Let q(o) = 5*c(o) - 2*r(o). Is q(-14) composite?
False
Suppose 0 = -10*r + 15*r - 2*x - 16443, 3*x = -r + 3275. Is r a prime number?
False
Let c = 45817 - 24350. Is c prime?
True
Let g(q) = q**3 + 3*q - 3. Let b be g(1). Let d(z) be the first derivative of 81*z**2/2 - 2*z - 2. Is d(b) a composite number?
False
Is (17 - 19)/((-4)/6298) a composite number?
True
Let n(a) = 50*a - 95. Is n(27) a prime number?
False
Let i be -5*(64/(-110) - (-10)/55). Is -6999*(-2)/12*i prime?
True
Let f(c) = -1210*c + 161. Is f(-27) prime?
True
Let q be (12/(-20))/((-1)/5). Suppose 5*b + q*i = 778, i - 160 = -b - 4*i. Let z = 422 - b. Is z composite?
True
Suppose -170805 = -5*w + 2*i, 0 = -w - 7*i + 4*i + 34178. Is w prime?
False
Let r(c) = 1938*c - 29. Is r(54) a prime number?
True
Let m = 371 - -319. Let c = 29 + m. Is c prime?
True
Suppose -5*g - 12 = -9*g, 4*g = -4*p + 93816. Is p a prime number?
False
Let h be (-1)/(-4) + 62/8. Suppose -11684 = -h*s + 2708. Is s prime?
False
Suppose -10*q - 2*q = -19848. Is q a composite number?
True
Let l = 896 - 217. Is l prime?
False
Suppose 172 - 703 = t - 3*f, -3*f = -2*t - 1053. Let m = t + 903. Is m composite?
True
Suppose w + 53 = -5*a, 4*a + 16 = -3*w - 33. Is (-2)/a + (-2 - (-8908)/10) a prime number?
False
Suppose -4*g + 24 = -g. Let r(j) = 2 + j**3 - 7*j + 7*j**2 + 1 + g. Is r(-8) a composite number?
False
Suppose 40*l - 16908 = 22172. Is l composite?
False
Let n(h) = -622*h + 275. Is n(-8) prime?
False
Suppose 2*n = 2*m - 0*m - 4, n - 23 = -4*m. Suppose -m*s = -0*s - 2*o - 1176, 710 = 3*s + o. Let t = s - 97. Is t a prime number?
True
Suppose -l - 9*l = 0. Is l - 5/(5/(-67)) a prime number?
True
Let q(t) = -t. Let k(m) = -2*m. Let v(j) = 3*k(j) - 5*q(j). Let g be v(6). Is (-352)/(-1) + (-5 - g) composite?
False
Let d(u) = -15*u**3 - 5*u**2 + 5*u - 9. Let o(v) = 15*v**3 + 6*v**2 - 6*v + 8. Let s(y) = 3*d(y) + 2*o(y). Is s(-4) a composite number?
True
Let x(s) be the first derivative of -s**4/4 + 7*s**3/3 + 3*s**2 - 14*s + 57. Let i = -13 + 19. Is x(i) a prime number?
False
Suppose -4*j - d + 23 = 0, -3*j - d - 12 = -6*j. Suppose -2*v - 10 = 0, j*v - 4*v + 227 = 2*o. Is o composite?
True
Let p = -89 + 94. Suppose -5*o = p*a - 820, -2*o = -4*a + 450 + 188. Is a prime?
False
Let h = 3626 - 599. Is h composite?
True
Suppose 13*k - 156272 - 147525 = 0. Is k prime?
True
Suppose -2 = -4*l + 30. Is ((-10554)/(-18))/(l/(-3) - -3) a prime number?
True
Suppose 3*w - 18 = -3. Suppose w*j + 2*y - 1772 = 0, 3*y + 1792 = 5*j - 0*y. Suppose -2*z - 2*z = -j. Is z prime?
True
Let m = 224 - 157. Suppose -m - 3442 = -11*q. Is q prime?
False
Suppose 0 = -h - 4*h + 3*i + 95, -4*h + 76 = i. Suppose -h*n = -18*n - 419. Is n prime?
True
Suppose 4*k - 135 = 13*k. Let d(g) = -g**3 - 13*g**2 + 12*g - 5. Is d(k) composite?
True
Suppose 4*z - 45 + 9 = 0. Let d(v) = -z*v - 2 + 0 - 3*v**2 - 4*v**2 + 6*v**2. Is d(-8) prime?
False
Let g be (-9 - -9) + 1*6. Suppose -y = g + 3. Let a(i) = -17*i - 4. Is a(y) a prime number?
True
Let g = -16694 - -28233. Is g a prime number?
False
Let h(f) = -f**2 - 7*f + 13. Let m be (-8)/(-20)*-16*-5. Let q = 26 - m. Is h(q) a prime number?
True
Suppose 7*g + 3*g - 46530 = 0. Let b = g - 3062. Is b prime?
False
Let o(b) = 0 + 1 + 0 + b. Let g be o(-5). Is (-572)/g + (0 - 2) composite?
True
Let y(t) = -t**3 - 22*t**2 + 51*t - 49. Is y(-26) a composite number?
True
Let n(j) = -j**3 - 9*j**2 - 10*j - 12. Let a be (1 + -11)*(-16)/(-20). Let c be n(a). Suppose -869 = -c*x + 3*x. Is x a composite number?
True
Let t = 530 - 348. Suppose 2*z = 152 + t. Is z a composite number?
False
Suppose 0 = -3*k - 13 - 2, 2*k = -3*r + 623. Is r a prime number?
True
Let n be (1 - -4) + (-2 - 1). Suppose 0 = -0*j + j - n. Suppose 0 = -j*v + 4*w + 858, -4*v + v + 2*w = -1267. Is v a composite number?
False
Suppose d = 4, 4*p + 10131 = d + 72663. Is p a prime number?
False
Let i(l) = 3*l**2 - 12*l - 14. Is i(-8) a prime number?
False
Let q be 2 - 0/((-6)/3). Let l(o) = 16*o**3 + o - 3. Is l(q) composite?
False
Let j be (-187035)/(-18) + (-4)/(-24). Let k = j - 4386. Is k prime?
False
Suppose 0 = 5*x - 188 + 1103. Let b = x - -920. Is b prime?
False
Suppose 51 = -4*w + 251. Is w*12 + 3 + -4 a composite number?
False
Let j(i) = 81*i**2 + 118*i - 3. Is j(-4) composite?
False
Let p be (2/(-4))/(3/6). Let h be 2037/(4 + p) + 3. Suppose -4*o - 102 + h = 0. Is o composite?
True
Is 1/((-185202)/46302 + 4) prime?
True
Let d(c) = 48*c. Let s be d(5). Suppose 5*a - s = 1255. Is a composite?
True
Let i(x) be the second derivative of x**5/10 - x**4/6 - 5*x**3/6 + x**2/2 + x. Suppose n - 4 = -0*d - 2*d, -3*n - 2*d + 12 = 0. Is i(n) a prime number?
False
Let d = 7177 - 686. Is d a composite number?
False
Suppose -2*q - 2*q + 4*p + 40 = 0, 4*q - 2*p = 36. Let y be (-6)/(-8) + (-6)/q. Suppose 4*s - 3*c - 139 = y, -s = -c - 23 - 11. Is s composite?
False
Let f(a) = a**3 + 12*a**2 + 20*a. Let z be f(-10). Suppose -d + k + 2*k + 901 = z, 0 = -3*k + 6. Is d a composite number?
False
Let r be (-4 + 5)/(1/12). Is ((-28)/r)/((-2)/258) prime?
False
Suppose -3*l + 39 = 3*t, 4*t = -5*l + 17 + 45. Suppose 9*b + 4 = l*b. Let k = b - -27. Is k a prime number?
True
Let y(l) = 2352*l - 66. Let i(v) = -470*v + 13. Let a(k) = 11*i(k) + 2*y(k). Is a(-2) a prime number?
False
Let u be 36*(4 - 9/2). Let t = -21 - u. Is t*(286/(-6) - 4) a prime number?
False
Suppose -o + 6711 + 4266 = 0. Is o a composite number?
True
Let c(p) = 197*p**2 + 4*p + 1. Let b be (-4)/3*12/(-8). Is c(b) prime?
True
Suppose i - 5*x + 938 = 6412, -2*i + 10966 = -4*x. Is i composite?
True
Let p = 235 + -929. Let u = -495 - p. Is u composite?
False
Let s = 72 + -67. Suppose 3*p = s*t - 5220, -3 = -5*t - 5*p + 5177. Is t a composite number?
True
Let n be -14*2/(-4) - 4. Suppose -3*f - n*m + 6*m = -9, -4*m = 0. Suppose -f*b + 509 + 262 = 0. Is b composite?
False
Suppose 0 = -5*b - 0*b - 25. Let a(n) = -857*n - 2. Is a(b) prime?
True
Let f(s) = s**2 - 7*s - 3. Let u be f(6). Let o = u + 40. Suppose 3*y + 9 = -d + o, 3*d + 5*y = 62. Is d a composite number?
False
Let y(w) = 15*w. Let b be y(1). Let f(m) = b*m**2 - 1 - 4*m**2 + 0*m**2. Is f(1) a prime number?
False
Let a = 21 - 12. Suppose s = 1, -2*s - 1 + a = 2*n. Suppose 0 = -n*l - 9, -5*y - 