102598, -5*s = -2*r + 1038177 - 303070. Is r a prime number?
True
Let b(x) be the first derivative of -x**4/3 + 25*x**3/6 + x**2/2 - 25. Let i(k) be the second derivative of b(k). Is i(-11) composite?
False
Let o be (-2326)/(-1)*2/(-4). Let n = 1759 + o. Suppose 3*c - n - 2857 = 0. Is c composite?
False
Let c(a) = -114*a**3 - 18*a**2 - 6*a + 31. Is c(-7) a composite number?
True
Suppose -9*t - 2*t - 55 = 0. Is 11 + 0 + t + 577 prime?
False
Suppose -12 = 2*y - 0. Let o(s) = 179*s + 13. Let t be o(y). Let r = 2320 + t. Is r composite?
False
Let a(t) = -t**3 + 2*t**2 + t + 212. Let j be a(0). Suppose 2*u - 198 = -4*c, 3*c + j = 2*u - 0*c. Is u a prime number?
True
Let m(j) = -1156*j**3 - 3*j**2 + 6*j + 9. Let p be 4 - -2*(7 - 10). Is m(p) prime?
False
Let s(k) = 12872*k**2 - 4. Let n be s(1). Suppose n = b - 3*a, 3*b + 2*b = 4*a + 64285. Is b composite?
False
Suppose -6*s + 22 = -8*s + 4*x, 4 = x. Is (-18109)/(-42) + s/18 a composite number?
False
Let h(y) = y**3 + 5*y**2 - 8*y + 2. Let n be h(-7). Let c = n + 47. Suppose -c*x + 916 + 2395 = 0. Is x a composite number?
True
Suppose 0 = 11*t - 0*t - 22. Suppose -b = 2*r - 19, -t*r + 5*b = -5*r + 46. Suppose -150 = -r*k + 347. Is k a prime number?
True
Let r = 65 + -64. Let a(x) = -2*x**3 - r + 2822*x - 2829*x - x**3. Is a(-5) a composite number?
False
Let i(r) = 14*r**2 + 18*r + 67. Let p(a) = -13*a**2 - 19*a - 68. Let s(x) = -3*i(x) - 4*p(x). Is s(-11) a composite number?
False
Suppose t - 6 = 2*y, -4*t + 4*y - 4 = -20. Suppose 0*r = -t*u + r + 5, -5*u - 5 = r. Suppose u*o + c = -4*o + 2449, -4*c + 1827 = 3*o. Is o a composite number?
False
Is (1 - 3)*4398051/(-42) a composite number?
False
Let g be -2 + 6 + (1 - 1 - 1). Let y be (-6)/(-12) + ((-122838)/4)/g. Is y/(-21) - 3/7 prime?
True
Let v = -10709 + 15666. Is v composite?
False
Suppose -2*h = 6, 12 + 14 = 2*k - 2*h. Suppose -k*r + 6*r + 638 = 5*b, 308 = 2*r - 3*b. Is r a prime number?
True
Is (0 - 5257431/(-19)) + 912/8664 a prime number?
True
Let n(l) be the third derivative of l**5/60 - 3*l**4/8 + 7*l**3/2 + l**2. Suppose -30*k + 49*k = -23*k + 420. Is n(k) a prime number?
True
Suppose f = -1839 + 85226. Suppose 18200 = -9*c + f. Is c a composite number?
False
Suppose 3039215 = 171*b - 9674806. Is b a composite number?
True
Suppose 0 = 2*x - 0*x + 20. Let k(s) be the third derivative of s**6/120 + s**5/5 + 3*s**4/8 + 17*s**3/6 + 149*s**2. Is k(x) composite?
False
Suppose 2*g - 6*g + 1222961 = 5*r, -2*r + 1528731 = 5*g. Is g composite?
False
Suppose 0 = 3*p + 95 - 377. Let m(a) = -2 - p*a - 154*a + 23. Is m(-7) prime?
False
Is 4 + (3*3)/((-23)/(-7657919)) a prime number?
False
Is (4 - -1) + 1438/(-3)*1152/(-4) prime?
True
Let g be ((-12)/(-3) - 1) + 2. Suppose -g*v = 4*f + 10 - 2, 0 = 4*v + 16. Is (-2 + 202 + f)*1 a composite number?
True
Suppose 66*k - 116*k + 5851850 = 0. Is k a prime number?
True
Let y = -1074 - 203. Let x = 4096 + y. Is x a composite number?
False
Let g(i) = 14*i**2 - 5*i - 6. Let v be g(-1). Let a(c) = 8*c**2 - 23*c - 44. Is a(v) a composite number?
False
Is 2/(-6)*(-280749)/29 a composite number?
True
Suppose 5*n - 42 = -21*d + 24*d, -2*n = -2*d - 24. Let k(z) be the second derivative of -z**5/20 - 5*z**4/12 - 7*z**3/6 + 5*z**2 - z. Is k(d) prime?
True
Let c be 136184/28 - (-6)/21. Suppose -4*u = 4*k - c, -2*k - 3633 = 23*u - 26*u. Is u prime?
True
Let t be (4*-1)/2 - (16 - 13284). Suppose 0 = -17*o - o + t. Is o prime?
False
Let o be 9/(-9) - (-11)/(44/1608). Suppose g + 925 = 5*g - 5*p, -g + p + 231 = 0. Let m = g + o. Is m prime?
True
Suppose -22*g = -280711 - 81079. Suppose 5*i - 16427 = 4*n, -5*i = -n + 6*n - g. Is i a composite number?
True
Is (-2 + 1436270/(-4))*(78 + -16)/(-31) a composite number?
False
Suppose 2354*n - 1141299 = 2345*n. Is n composite?
True
Let s(n) = 3598*n - 2307. Is s(10) prime?
False
Let d = -169161 + 312214. Is d a prime number?
True
Let l(m) = m**3 + 15*m**2 + 22*m + 26. Let j be (10/6)/(4 + 572/(-144)). Let h = j - 72. Is l(h) a composite number?
True
Let m be (-1686)/(-10)*(3 - (-2 - 0)). Suppose 12*n = -13635 + m. Let v = 1737 + n. Is v a prime number?
False
Suppose -468*i + 1753 = -467*i. Suppose 5*b - 20 = 0, -4*b - i = -g - 3*b. Is g a composite number?
True
Let y(d) be the second derivative of d**4/2 + d**3/6 + d**2 - 11*d. Let p be y(-1). Suppose p*l + 32 - 571 = 0. Is l a composite number?
True
Suppose 64 = -33*o + 17*o. Is (11/5)/(o/(-3020)) prime?
False
Suppose -12 = 4*h - 4*b, -17*h + 5*b - 12 = -15*h. Is h + (80/(-3) + 0)*-3 a prime number?
True
Suppose -2*i - 34 + 38 = 0. Suppose -20 = i*r - 6*r. Suppose -r*s = a + a - 3155, -s - 2*a + 631 = 0. Is s a prime number?
True
Let v(h) = -86*h**2 - 29*h - 15. Let l be v(10). Is 1 - (l - (-5 + 1)) - -1 a composite number?
True
Let i(s) = 2*s + 30. Let k be i(-16). Let v(g) = 9*g**2 - 2*g + 3. Let l be v(k). Suppose -p - l = -732. Is p composite?
True
Suppose 0 = -203*x + 2409577 + 473687 + 299573. Is x prime?
True
Suppose -4*p - 5*f + 524029 = 23687, 625477 = 5*p - 2*f. Is p a prime number?
True
Suppose -4*m + 134144 = -2*m. Suppose -2*q - 21727 = -5*p - m, 4*q = -p - 9091. Let d = p + 16048. Is d composite?
False
Let m(i) = -4*i**2 + 404 - i + 1702*i**3 - 814 + 409. Is m(2) a prime number?
True
Suppose -270*a - 343605 = -275*a. Let s = a + -42572. Is s a prime number?
False
Let i(m) = 12*m + 3101. Let n(y) = 5*y + 1551. Let s(o) = -2*i(o) + 5*n(o). Is s(0) prime?
True
Let y(x) = 2*x - 5. Let j be y(4). Let p(u) = 18*u + 7 + 47*u - 42 + 13 + 26. Is p(j) a composite number?
False
Let k = 3278 + -3259. Let j(h) = 9*h - 7. Let i be j(5). Is 942/4 - k/i a composite number?
True
Let x = -10518 + 6858. Let h = x + 9214. Is h a composite number?
True
Let q(o) = -67*o - 57. Let g be (-6)/(24/(-4)) - 36/2. Let i be q(g). Is (-3)/(-9) - i/(-3) composite?
True
Let l be (16/14)/(156/15834). Is (-19955)/26*l/(-10) composite?
True
Let d(r) = -r**2 - 30*r - 19. Let y = 81 - 65. Let v(j) = -3*j + 21. Let l be v(y). Is d(l) a composite number?
True
Let j = -20913 - -92546. Is j composite?
False
Let c(b) = 17*b**2 + 22*b + 9. Let y be c(-5). Let o = 6157 - y. Is o a prime number?
False
Let h = 164198 + -13501. Is h a composite number?
False
Suppose -5*b + 2*b = -2*l + 100660, -4*b = l - 50319. Is l a prime number?
False
Is (-1114308)/(-9) + (-39 - -24) a composite number?
True
Let d be (-6)/((-3)/(-6) - 35860/71696). Suppose 27*y - d = 22985. Is y composite?
False
Suppose 5*u - c = 1095380 + 2243328, 2*u + 2*c - 1335488 = 0. Is u prime?
False
Let w(f) = -f**2 - 11*f - 9. Let t be w(-6). Suppose -d + t = 4*u, -4*d = 2*u - 38 - 18. Let c(r) = 7*r**2 + 9*r - 23. Is c(d) a prime number?
True
Let c(l) = l**2 + 4*l - 31. Let a be c(-10). Suppose 0 = a*f - 38*f + 23346. Is f composite?
True
Suppose 4*t + 2*t = 6. Let f(n) = 209*n - 6. Is f(t) composite?
True
Let o be 4 + 2747 + -1*1. Let r(n) = -n**2 + 38*n - 188. Let y be r(32). Suppose -5*q - 2061 = -3*t - 2*q, -y*t = -5*q - o. Is t composite?
True
Let f(n) = 19*n**2 - 35*n - 219. Is f(40) prime?
False
Suppose -6905 = -l + 5*a, l + a - 2*a = 6897. Suppose -4*o + 14953 = -h, 5*o - 25595 = 3*h - l. Is o prime?
False
Let l(b) = -b - 3. Let g be l(-2). Let c be (g - -1)/(4 - (-6 + 8)). Suppose c = 3*p - 337 - 542. Is p a composite number?
False
Let t(c) = 28*c**3 - 2 - 42*c**3 - c - 43*c**3 + 9. Is t(-4) composite?
False
Suppose -4*u - 4*d + 2 = -6*d, 2*u = -d + 11. Suppose w + 24285 = 2*c, -3*c + 36431 = -w + u*w. Is c composite?
False
Let b = 43062 - -119759. Is b prime?
True
Let d(z) = 86*z**2 + 4*z + 16. Let h be d(-3). Suppose 3*w + h = 5*w. Is w a prime number?
True
Let t be (-1088700)/(-21) - -3 - (-3)/21. Suppose n = t - 19499. Is n a prime number?
False
Let y = -108 - -105. Is 3 + y + (13 - -2148) a composite number?
False
Let i be -2 - 6*((-33)/6 - -1). Suppose 4*q = -q + i. Suppose -1069 = -q*s - 64. Is s composite?
True
Let l be ((-24960)/(-2))/((-36)/(-24)). Suppose -10*z + l = -1020. Suppose 619 = j - z. Is j composite?
False
Let l = -48 - -50. Suppose -5*r + 2370 = 5*v, -3*v + 1417 = l*r - 4*r. Let b = v - 126. Is b composite?
False
Suppose 123617 = 9*s - 169234. Is s prime?
False
Let c = -141 - -255. Let l = c + 761. Let v = 1508 - l. Is v a prime number?
False
Let d(g) = g**3 + 57*g**2