 of o**8/20160 - o**7/560 + 13*o**6/240 - 3*o**5/20 - 10*o**2. Let y(j) be the third derivative of l(j). Is y(9) composite?
True
Let f be (-3)/(-1)*2758/21. Suppose 2*x + 5*t - 753 = 0, -2*x + x + f = -t. Suppose -3*w = w + q - x, 4*q = 5*w - 481. Is w composite?
False
Let f = -194 - -212. Is 2195/1 + (14 - f) a composite number?
True
Let g(t) = 6*t - 57. Let x be g(10). Suppose x*z - 21935 = -2*z - 5*w, -w = -z + 4395. Is z prime?
True
Let y be -1 + -3 - (-260)/13. Suppose -3*x + 25 = -20. Let t = x + y. Is t prime?
True
Suppose -56946 - 20916 = -3*a. Suppose -4*z - 2*k + a = 3*k, 10 = -5*k. Is z composite?
False
Let f(k) = -k**2 - k - 1. Let m(r) = -3*r**3 - 3*r**2 + 21*r - 29. Let a(g) = 2*f(g) - m(g). Let t be a(8). Suppose -3*v + 1584 = -t. Is v prime?
True
Let y(c) = 44*c + 15. Let r = 70 - 77. Let p be y(r). Is (-1 - -1) + p*(-10)/2 prime?
False
Suppose -8*j = -j + 73*j - 800. Let x(b) = b + 993. Let q be x(0). Suppose j*r + q = 9763. Is r a composite number?
False
Suppose -5*d = 3*h - 268, -4*d + 204 = -9*h + 14*h. Is ((-4492)/(-10))/(3 - d/20) composite?
True
Let r be (-2)/((-4)/(-3)*1/(-8)). Suppose 0 = -4*x + r, 4*v = -5*x - 179 + 1086. Is v composite?
False
Suppose -12 = -11*d + 9*d. Suppose d*c - 7*c + 4 = 0. Suppose q + 3*q - 12 = 0, -c*r + 5*q = -1789. Is r prime?
False
Suppose 1138*f + 2*v = 1135*f + 611701, -611711 = -3*f - 4*v. Is f a composite number?
False
Suppose 9*p + 3 = -2*o + 4*p, -24 = -5*o - 2*p. Suppose o*s - s = 7835. Is s composite?
False
Let z = 3415325 - 1800292. Is z a composite number?
True
Let y(f) = 2*f**2 - 7*f - 6. Let g be y(5). Let h = 14 - g. Suppose -u - 3*u = h*b - 385, 0 = -4*b + 5*u + 308. Is b prime?
False
Let a = 201 - 194. Suppose -2*t + 2059 = 5*j, 3*j + 1642 = a*j - t. Is j a prime number?
False
Let t(a) be the third derivative of 25*a**4/12 - 5*a**3/2 + 27*a**2. Let u be t(4). Let g = u - -429. Is g composite?
True
Suppose -5*f = -20, 3*w = -2*w + f + 1358761. Is w a composite number?
False
Let f(x) be the third derivative of x**6/120 - x**5/6 - 2*x**4/3 - 4*x**3/3 - 5*x**2. Is f(15) prime?
True
Suppose -4*n - 5*c = 25, 2*n + 3*c = 3*n - 15. Let q = 34 + -15. Suppose n = 15*p - q*p + 76. Is p composite?
False
Let q = 43 - 41. Suppose -7 = 4*t + 3*l, -5*l - 11 = q*t + 10. Suppose 2*i = j + 901, -t*j - 714 = -2*i + 190. Is i prime?
True
Suppose -5*g + 337 = -358. Suppose -143*f + g*f = -6628. Is f prime?
True
Suppose 4*a + 6 = 3*m, -4*a + 5*m - 1 - 1 = 0. Let w be 1/((-1)/a) + (26 - 28). Is (8 - w)/(1*2/86) composite?
True
Suppose 0 = -3*y - 3882 + 19797. Let d(l) = 46*l - 46. Let k be d(1). Suppose k*p = 5*p - y. Is p composite?
False
Let d = -46 - -42. Let g(s) = 38*s**2 + 2*s - 7. Let k(l) = -37*l**2 - l + 7. Let p(a) = d*g(a) - 5*k(a). Is p(7) a prime number?
False
Let u(n) = 231*n**2 - 77*n + 57. Is u(7) a prime number?
True
Suppose -8*p + 7*p - 2*f = -103349, 2*f = -2*p + 206688. Is p a prime number?
False
Let v be 5/4 - 2/8. Let s be (16/4)/(4/30). Is (-3590)/s*(-3 - (1 - v)) composite?
False
Let y = -33 + 33. Let q be y*(3/27)/(10/45). Suppose 4*n - 2*h - 124 = h, 2*n + 2*h - 62 = q. Is n composite?
False
Let a = -334 - -335. Is (12 - 11)*(a - -322) a composite number?
True
Suppose -q + 56948 = 3*u, 3*q + 37958 = -13*u + 15*u. Suppose 27*c = 25*c + u. Is c a prime number?
True
Let v = 195 - 195. Suppose v = -12*p + 99403 + 41705. Is p prime?
False
Suppose 54*k - k = 318. Suppose k*b + 198 = 516. Is b a prime number?
True
Is (-165110)/(-2) - (165 - 139) composite?
False
Suppose -5*s + 1556 = -869. Let v(g) = 51*g - 19. Let j be v(-5). Let a = j + s. Is a a prime number?
True
Let c be ((-2)/(-2))/(2/77122). Suppose -c = -16*y + 4175. Is y a prime number?
True
Let d(c) = -407*c - 127. Let i = 164 + -174. Is d(i) prime?
True
Let u be (-1 - -1595)*(-3)/2. Let w = u + 4468. Let t = w - 1022. Is t prime?
False
Let w = 487 - 825. Let h = 1533 + w. Is h a prime number?
False
Let i be 6687*10/15 - 2. Suppose 8*w = -0*w + i. Is w a prime number?
True
Suppose 0 = 2*v + 5*o + 10, 7*v - 5*o = 4*v + 35. Suppose 4*t = -v*b + 49283, 4*t + 1322 = 3*b - 28267. Is b composite?
False
Suppose -5*g = -3*c - 17005, -87 = 11*c - 87. Is g composite?
True
Let s(g) = -g**2 + 6*g - 2. Let k be s(5). Suppose 5*v = -k*a + 901, 11*a - 299 = 10*a - 2*v. Is a a composite number?
False
Let d(j) = -j**3 - j**2 + 29*j + 4. Let x be d(-8). Suppose 4*k + x = 14*k. Suppose -k*r = -20*r - 1766. Is r composite?
False
Let y(x) = 1839*x**2 - 348*x + 2773. Is y(8) a composite number?
True
Is (89302340/40 - 21) + 2*2/(-8) composite?
True
Is (-1949739)/(-77) + (0 - (-8)/(-28)) composite?
False
Let a(f) = 350*f - 9. Suppose -3*y + 0*k = 2*k - 35, 0 = 5*y + 2*k - 61. Suppose v + 6 = 3*r - 1, -5*r = -v - y. Is a(v) a composite number?
False
Suppose 2007745 - 41880 = 12*u - 895067. Is u composite?
True
Let n = -31637 - -42940. Is n a composite number?
True
Let i(t) = -11*t + 27. Let q be i(11). Let a = q - -149. Is 2874/10 + (-22)/a prime?
False
Let r(i) = 95338*i - 1611. Is r(25) a composite number?
False
Let z(u) = -u**2 - 9*u. Let i be z(-9). Suppose b - 1 = -2*o, 5*b - 3*o - 18 = -i*b. Is 4/(36/921)*b a composite number?
False
Suppose -2*q = 990 - 12672. Suppose 3*l + 2*g = q, -3895 = -2*l - 3*g + 2*g. Is l a prime number?
True
Let a(u) = u**3 - 6*u**2 - 6*u + 2. Let r(v) = v**2 - 8*v + 16. Let o be ((-35)/(-30))/(3/18). Let j be r(o). Is a(j) a prime number?
True
Let a = 29524 + -16847. Is a a composite number?
True
Let v be (-1)/(-2) + 4/(256/352). Let b(s) = -s + 1. Let c(h) = -253*h + 49. Let j(m) = 3*b(m) - c(m). Is j(v) prime?
False
Suppose 0 = 3*x - j - 249309, 3*j + 2 = -16. Is x composite?
False
Let o be (27/(-3) + -1)*21/5. Let c be 1/(-1) + 1 - o/14. Suppose -c*y + 219 = -5*r + 2*r, -3*r + 166 = 2*y. Is y a prime number?
False
Let t(f) be the first derivative of 50*f**3/3 + 9*f**2/2 - 10*f - 10. Suppose z - 60 = -11*z. Is t(z) composite?
True
Let v = -283 + 170. Let a = v + 311. Is 2/(-11) + (-3)/(a/(-59874)) a composite number?
False
Let d = 29 - -27. Suppose -49*p + d*p - 5579 = 0. Is p prime?
True
Let g be (1 - 2/((-12)/(-9)))*-94. Suppose 55*v - 10040 = g*v. Is v a prime number?
False
Let z(o) = -12*o**2 - 5*o - 3. Let t(b) = -b**2. Let l(p) = 5*t(p) + z(p). Let v be l(-9). Is -1 - v/3 - -1 composite?
True
Suppose 2*q = -3*t - 2*q + 46204, -5*q = -4*t + 61564. Suppose t = 6*x - 77298. Is x prime?
False
Let q(d) = -49*d + 83. Let x(s) = -47*s + 82. Let m(n) = 2*q(n) - 3*x(n). Is m(13) prime?
True
Let l = -8 + 2. Is 7156/2*l/(-4) a composite number?
True
Suppose 26635 = -5*y + 12*y. Let p = y - -11272. Is p a prime number?
True
Let y be (-1)/5 + 7/35. Let l be (-11 - -13) + 1 + y. Suppose 4*v - l*r = 4424, 4*r - 91 = 4*v - 4511. Is v a prime number?
True
Let w be 6*1162/21 - 6. Suppose 988 - w = 2*i. Is i prime?
True
Let x = -18688 - -40199. Suppose 14*p = x + 61411. Is p a composite number?
False
Let p = 32 - 40. Let z = -3 - p. Suppose 3385 = k - 2*b, z*k - 3391 = 4*k - 4*b. Is k a prime number?
False
Let b(y) = -y**3 + 59*y**2 - 63*y + 20. Is b(45) a composite number?
True
Suppose 4*l = -2*u + 120728, -4*u - 5*l + 117214 + 124245 = 0. Is u/(-8)*(-6 + 84/18) prime?
True
Is 281354850/1368 - ((-10)/8 - -1) prime?
False
Let j(q) = -q**2 + 11*q + 30. Let v be j(13). Suppose 0 = l + 2*o + o, 4*o + 16 = v*l. Suppose l*m - 390 - 249 = 0. Is m prime?
False
Let a(c) = 389*c**2 + 13*c + 45. Let n be a(-9). Suppose 52*f - 43*f - n = 0. Is f a prime number?
False
Let m = 3 - 5. Let d = 0 - m. Suppose 4*b + f = d*b + 1936, -f = -5*b + 4833. Is b prime?
True
Suppose 2*h + 17 = 3*z, -3*z + 0*z - 5*h = 11. Suppose -z*b - 4*q + 6135 + 410 = 0, -2*q = b - 2185. Let m = 2096 + b. Is m a composite number?
False
Let d = -57842 - -173833. Is d prime?
False
Suppose -34*y = -35*y + 2. Suppose -q + 3658 = -h + 4*h, -y*q + 2 = 0. Is h a composite number?
True
Suppose -40 = -127*g + 135*g. Is (g/10*-1)/((-5)/(-10420)) a prime number?
False
Let o = -21899 - -45766. Is o prime?
False
Suppose 2*t = 8, 4*j + 5*t = -j + 35. Suppose j*o = 5237 + 8245. Suppose -4*a + o = 2*a. Is a a composite number?
True
Suppose 12*m + 732872 = 18*m + 50*m. Is m a composite number?
True
Suppose -2*b = 3*b + 154377 - 756742. Is b composite?
False
Let i(c) = -c**3 