of 17*l**4/12 + l**3/3 - 31*l**2/2 + 33*l. Is t(-10) a prime number?
False
Let l = 34995 + -16253. Is l prime?
False
Suppose 5*l = -3*b + 110969, 92*b + 44410 = 2*l + 96*b. Is l a prime number?
True
Let x(t) = 1385 + 3*t - 7*t - 1378 - t**3 + 0*t**2 + 2*t**3 - 2*t**2. Let n be ((1 + -2)*-8)/1. Is x(n) prime?
True
Suppose 3*s = g + 23, -4*g - 22 = -2*s - 2*g. Let q be 52/3 - s/(-9). Is (214/(-8))/(q/(-1368)) a composite number?
True
Let n(h) = -66*h**2 + 6*h + 21. Let x be n(9). Let r = x + 12780. Is r prime?
False
Let d be ((-1340)/(-12) - 0) + 4/(-6). Let z = d - 108. Suppose -z*j + 11408 = 13*j. Is j prime?
False
Let q(i) = 2*i**3 + 35*i**2 - 31*i + 30. Let x be q(-18). Suppose -2*d - 783 = -2269. Let s = x + d. Is s a composite number?
True
Suppose 288*h - 1029612 = 3699601 + 1066211. Is h composite?
False
Let p(q) = -q**3 + 99*q**2 + 299*q - 759. Is p(97) a composite number?
True
Let y(t) = -39*t**2 - 23*t + 15. Let w(q) = 39*q**2 + 23*q - 16. Let l(n) = 5*w(n) + 6*y(n). Let f(g) be the first derivative of l(g). Is f(-14) a prime number?
True
Let g(q) = -q**3 - 17*q**2 - 6*q + 7. Let b(a) = -a**3 + 3*a**2 - 6*a + 7. Let d be b(4). Let u = 12 + d. Is g(u) prime?
False
Let w = 9 + -13. Let t be -1 + 1*(-3 - w). Suppose -x + 1930 = -t*x - 4*o, 7737 = 4*x + o. Is x a prime number?
False
Let u(y) = -2*y - 1. Let p(z) = -2626*z - 27. Let o(i) = -p(i) - 4*u(i). Is o(11) composite?
True
Let j(n) be the second derivative of 11*n**3/3 + 3*n**2/2 + n. Let w = 1810 + -1805. Is j(w) composite?
False
Let v(t) = 14*t + 13949. Is v(-195) composite?
True
Suppose -5*h + 54*o + 35215 = 56*o, 3*h - 4*o = 21103. Is h a prime number?
False
Suppose 4*a - 17 = 5*t, -4*t = -2*a + 6*a - 8. Suppose a*b + 4*m = 5090, -b - 3398 = -3*b - 5*m. Let o = -907 + b. Is o a composite number?
False
Suppose -17 = -o - g, o - 26 = -g - 3*g. Suppose 9409 = o*s - 4129. Is s a prime number?
True
Suppose 2*t + 111687 - 30010 = 5*d, d + 5*t - 16303 = 0. Is d a prime number?
True
Let x be 3159 + (-4 + 7 - 2). Suppose -2*l - 2*z = -x, -8*z + 2 = -6*z. Is l a composite number?
False
Suppose w - 34 = -19. Suppose 12*n = -2*o + w*n + 269, -3*o = -n - 386. Is o prime?
True
Let t(l) = 58*l**2 + 165*l + 2908. Is t(87) a prime number?
False
Suppose 24*d - 5444980 - 12854828 - 160968 = 0. Is d prime?
False
Let j(f) = -5458*f - 2813. Is j(-33) composite?
False
Let x(r) = 2713*r - 23. Let g(a) = 8*a - 22. Let d be g(4). Let z be x(d). Suppose 8*v + z = 4*h + 5*v, v + 13555 = 2*h. Is h a composite number?
False
Suppose -310*k + 59660665 = -17690845. Is k composite?
False
Let r = -595 + 599. Is -6 + -6 + r + 415 prime?
False
Let p(z) = 4*z - 30. Let m be p(24). Let u = m + -61. Is (u/(-10))/(3/(-1842)) a composite number?
False
Let u = -2131 - -1242. Let p = 4932 + u. Is p a prime number?
False
Let z(d) = 24*d**3 - 4*d**2 + 172*d - 2693. Is z(16) composite?
True
Let i = -562738 - -891351. Is i a prime number?
False
Suppose 5 = 25*i + 5. Suppose i = 5*h + 12*h - 52921. Is h composite?
True
Suppose 5*s + 3*g + 23034 = 80452, -3*s - 5*g = -34438. Let z = s + -655. Is z composite?
False
Suppose -10*p - 17*p - 37*p + 30713792 = 0. Is p composite?
False
Suppose o + 0 = -3*r + 4, 2*o - 3*r + 10 = 0. Let z(n) = 2*n**2 + 2*n - 1. Let j be z(o). Suppose 0*m = -i + j*m + 1964, i - 1982 = -3*m. Is i composite?
False
Let x(j) = -8321*j - 40. Let o be x(-2). Is o/66 + 24/(-44) prime?
True
Let n = -55 + 100. Let l = -54 + n. Is (l/6)/(2/(-1532)) prime?
False
Let v(n) be the second derivative of -n**4/12 + 4*n**3/3 - 2*n**2 + 25*n. Let d be v(7). Suppose d*w + 1986 = 9*w. Is w a prime number?
True
Suppose 2*b + n + 1 = 4*b, -5*b - 2 = -4*n. Let l(k) = 3004*k + 5. Is l(b) a composite number?
True
Is (239/(-7))/(138/(-161322)) a composite number?
True
Let y(t) = 15*t**2 - 180*t + 2053. Is y(12) a prime number?
True
Let w(f) = -24*f**2 - 14*f - 67. Let c be w(-24). Let r = c - -20789. Is r a prime number?
False
Suppose -n - 58 + 60 = 0. Suppose 2*m + 467 = 3*m. Suppose -n*w - 85 + m = 0. Is w composite?
False
Let s(f) = 316*f**2 - 775*f - 13. Is s(-18) prime?
False
Suppose -1440 = -5*a - 0*a - 5*c, 2*a + c = 576. Suppose -4093*m + 4077*m = 1232. Let s = m + a. Is s prime?
True
Let w(a) = -3*a - 31. Let h be w(-8). Let d(l) = l**2 + 8*l + 10. Let x be d(h). Suppose x*z - 5736 = -1959. Is z prime?
True
Suppose 0 = -3*i - 87*l + 88*l + 105429, 3*i - 105435 = 2*l. Is i a composite number?
False
Let h(z) = -z**3 - 11*z**2 + 37*z + 409. Let b be h(-11). Let f = 3 + 0. Suppose -u = -f*x - 1121, b*u - 4452 = -2*u + 4*x. Is u prime?
True
Let o = -90 + 90. Suppose o = -2*t + 2 + 4. Suppose -2*c + 2809 = 2*p + c, 0 = t*p + 3*c - 4218. Is p prime?
True
Suppose 109*z + 5*t = 113*z - 40906, 3*z - 30683 = 2*t. Is z prime?
False
Suppose -332*f - 2309049 = -341*f. Is f a prime number?
True
Let n(s) = 6*s**3 + 268*s**2 + 25*s - 38. Is n(-27) prime?
True
Let w(o) = -4997*o**3 - 2*o**2 - 24*o - 39. Is w(-2) prime?
False
Suppose 5*r = -4*t + 843125, 115*r - 9 = 118*r. Is t composite?
True
Suppose 0*l + 3*l + 4*r = 3249, 5392 = 5*l - r. Suppose -2*x + 4*h = 3*x + l, 0 = x + 2*h + 227. Let t = -8 - x. Is t a composite number?
False
Suppose -5*f - 35 = -35. Is (-1358 + 0 + -3)*(f + -1) prime?
True
Let z(q) = 56*q**2 + 89*q - 789. Is z(-62) a prime number?
False
Suppose 2404416 + 10591637 = 17*c - 15245996. Is c composite?
True
Suppose 6*l + 3*l - 189 = 0. Let b = -15 + l. Suppose 123 + 267 = b*c. Is c a composite number?
True
Suppose 0 = 12*i + 7*i - 38. Suppose -b + o + 5 = 0, -i*b + 2*o + 15 = -o. Is b - ((9/3)/3 + -380) a composite number?
False
Let q(g) be the first derivative of -627*g**2/2 + 31*g + 44. Is q(-6) composite?
False
Suppose -3*o - 27*o + 150 = 0. Suppose 818 = o*f + 223. Is f prime?
False
Suppose 2*t - n - 89431 = 0, 25*n - 89425 = -2*t + 28*n. Is t composite?
True
Let h be 24 - 2 - (1 + -1). Suppose 4*r + 3*d = -566, 2*d = 6*d - 8. Is 7286/h + 26/r a composite number?
False
Let f be 212*(1 + -2 - -2). Suppose f*h = 206*h + 51978. Is h composite?
False
Is (-45)/(-225)*(-495970)/2*(-1)/1 a composite number?
False
Let k = 67670 - 13631. Is k composite?
True
Suppose -2*h - 18509 - 7918 = -3*m, -26448 = -3*m - 5*h. Let n be 9/21 - 215340/(-84). Let o = m - n. Is o prime?
True
Let p(h) = -307*h + 15. Let k(n) = -n + 2. Let u(w) = -2*k(w) - 2*p(w). Is u(5) a prime number?
False
Is (42/(-12) - -3)*18254*-1 prime?
True
Suppose -4*w + 7 = -9. Suppose 0 = -2*f - 4*c + 1686, w*c + 1328 = 3*f - 1191. Let y = -462 + f. Is y composite?
False
Let n be ((-64)/(-80))/((-2)/5). Let k be 7644/13 - (-4)/n. Suppose 0 = -2*c + 3*c - k. Is c composite?
True
Let q(a) = -2*a - 1. Let f(n) = 763*n - 14. Let m(w) = -f(w) + q(w). Is m(-2) composite?
False
Let g = 1837 + -6652. Let i = -1256 - g. Is i prime?
True
Suppose -14 = -6*q + 10. Let b(w) = 48*w - 30. Let g be b(q). Let l = g - 47. Is l prime?
False
Let k(u) = 2*u**2 + 9*u + 38. Let l be ((-4)/(-12)*-2)/(6/81). Is k(l) prime?
False
Let t(z) = -2*z**3 - 69*z**2 - 89*z - 3451. Is t(-77) a composite number?
True
Let c(n) = 4333*n**3 - n**2 + 2*n - 1. Suppose -4 = -f, 3*y + 0 = f - 1. Is c(y) a composite number?
True
Is 2 + -5 - 18 - -1239442 a composite number?
False
Suppose 9*j - 408 = 3*j. Let d = j + 34. Let w = d - 28. Is w a composite number?
True
Suppose 0 = 4*d, -70*r + 66*r + 112172 = -4*d. Is r composite?
True
Suppose -335 + 1455 = 10*c. Suppose 0 = -151*z + c*z + 102453. Is z composite?
True
Let n(b) = 2*b**2 + 10*b - 22. Let l be n(-7). Suppose -l*y = -3102 - 6810. Suppose i - y = -j, 2*i - 1684 = -3*j + 1617. Is i composite?
True
Let t = -153903 + 388556. Is t a prime number?
True
Let z(h) = 2500*h - 2. Let m(u) = 2502*u - 1. Let r(i) = -5*m(i) + 6*z(i). Is r(8) a composite number?
False
Let z = 744 - 155. Suppose 2*i + z - 3327 = -2*y, -y + 2 = 0. Is i prime?
True
Let a(c) = 2*c - 4. Let w be a(5). Let z be (72/27)/((-4)/w). Let l(y) = -485*y - 19. Is l(z) a prime number?
False
Suppose -16*z - 206370 = -22*z. Suppose 126158 = 7*w + z. Is w composite?
False
Let h(l) = -5*l**3 - 3*l**2 + 7*l - 9. Let a(w) = -w**3 + 7*w**2 - 5*w - 12. Let k be a(6). Is h(k) prime?
False
Suppose 5*r - 73193 = 16872. Is r a composite number?
False
Suppose s - 57 = 2*s. Let c = s - -65. Let z(a) = a*