9. Is u(-4) a prime number?
True
Let a = 76563 - 26881. Is a a prime number?
False
Suppose 0 = -0*t + 3*t - 345. Suppose 3*f = -y + 622, 85 - 727 = -3*f + 3*y. Let v = f - t. Is v a composite number?
True
Let u(m) = 1499*m + 606. Is u(8) composite?
True
Let d = -62526 - -106043. Is d composite?
False
Suppose -36*x + 20*x + 64 = 0. Suppose 4*h - 39 - 261 = 0. Suppose x*v = -v + h. Is v a composite number?
True
Let h = -17 - -10. Let w = -25 + 81. Let k = w + h. Is k prime?
False
Let x = 4183 + 31488. Is x a composite number?
False
Let c = 491098 + -141665. Is c a composite number?
True
Suppose -4*c - 5 = 3*t, 0 = -t - 8*c + 11*c + 20. Suppose 0 = p + 2*l - l - 1537, -4*p + 6148 = 5*l. Suppose -t*n + p = 452. Is n a composite number?
True
Is (7 - 8067/6*34)/(-2) composite?
False
Let o = -17271 - -36298. Is o a prime number?
False
Let b be 16/(-12)*(2 + -14). Let p = b - 15. Is 537/6*(p - -1) composite?
False
Let t(a) = 594*a**2 + 42*a + 11. Is t(7) prime?
True
Let o = -4150 + 7092. Suppose 15*f - 17*f + o = 0. Is f prime?
True
Suppose -25 - 7 = -4*o. Suppose 3*d - 2 + o = 0. Let b(s) = 8*s**2 - s - 3. Is b(d) composite?
False
Suppose 0 = -g - 4 + 7. Suppose -g*c + 7 = -l - 6, -l = 3*c - 17. Is (0 - l)*(-111)/2 composite?
True
Suppose l = 3*c - 4069, -3*c + 0*l - 4*l = -4079. Suppose c = 6*o - 2177. Is o a prime number?
False
Let h = -2449 + 1432. Let n = h - -2800. Is n a composite number?
False
Let t be (-1522)/(-6) - (6/(-9))/(-1). Is (1 + (1 - t))/(-1) a composite number?
False
Suppose 0 = -0*i - 9*i + 76761. Is i composite?
True
Let k(y) = 13*y**2 - 74*y + 254. Is k(57) a prime number?
True
Suppose 19*f - 18*f = -22. Let b = f + 27. Let c(l) = 2*l**2 - 6*l + 5. Is c(b) prime?
False
Let q = 2733 + -1292. Let d = q - -6618. Is d composite?
False
Suppose -2*f + 8 + 64 = 0. Let s = 50 - f. Is s prime?
False
Let n(f) = 4*f + 9. Let j be n(-5). Let q be 2/(-4)*(j + 1). Suppose -h + 4*g = -43, -2*g + 5*g + 181 = q*h. Is h a prime number?
False
Let g(i) = 19*i + 3. Let w = 16 + -12. Let l be g(w). Suppose -3*r = -38 - l. Is r a composite number?
True
Let v(d) = -d**2 - 6*d - 5. Let r be v(-4). Let a be -3 - (15/(-3) - r). Suppose 1439 = a*p - 2*i + 3*i, 3*i = -3*p + 873. Is p a prime number?
False
Suppose 4*o + 2*d - 4990 = 42646, 59575 = 5*o - 5*d. Is o composite?
True
Is -860*1111/(-22) + -7 prime?
False
Suppose -2*p + 4*y = -28, 2*y = -3*p - 3*y - 13. Let c be 2/p*(8 - 0). Suppose 4*k - 3*u - 829 = 0, 0 = -k - c*k + 5*u + 1030. Is k a prime number?
True
Let p(m) = -54*m**3 - 4*m**2 + 6*m - 41. Is p(-6) prime?
True
Let w(v) = 3 + 3*v**3 - 11*v**2 - 6 + 9*v - 3. Is w(9) a composite number?
True
Is 1*(-7)/(-14)*54442 prime?
False
Let i be (-3 + 36/8)*3*4. Is (186/i)/(1/3) a prime number?
True
Let r = 419 + 1290. Is r composite?
False
Suppose 0 = 2*l - 3 - 7, 5*l = 3*i + 88. Is 7/(i/(-1860)) + 3 prime?
False
Is 3*(6/(-9))/1 + 1000 a prime number?
False
Let v = 23 + -19. Let i be 57560/180 + v/18. Let a = i + -163. Is a a prime number?
True
Let a(s) = -615*s. Let h be a(1). Let k = -168 - h. Is k prime?
False
Is 8 + -17 + 3 - -523 composite?
True
Let l(d) = 28 - 6*d + 2*d - 2*d + 3*d. Is l(-10) a composite number?
True
Suppose -o = 5, 0 = -h - 2*h + 2*o - 2. Let b be 0*h/(-20) - 3. Is 4/b + 3955/21 prime?
False
Let y(i) = i - 3. Let s be y(5). Let m be (-6)/21 + s/7. Suppose 0 = -3*q + k + 578, 2*q - k - 203 - 184 = m. Is q composite?
False
Suppose -4*i = -5*v + 3489, 5*v = -i - i + 3513. Is v composite?
False
Suppose -11*s + 67252 = -48237. Is s prime?
True
Let y(z) = 8*z**2 + 13*z - 9. Let m(k) = 4*k**2 + 7*k - 4. Let g(j) = 7*m(j) - 3*y(j). Is g(5) a prime number?
True
Let s(n) = -5*n**3 - 2*n**2 - n - 1. Let b be s(-1). Suppose t = -b*t - 4, 5*t - 2910 = -5*q. Is q composite?
True
Let b be (-3)/(6*2/(-8)). Suppose b*c - 1713 + 431 = 0. Is c a composite number?
False
Let n(s) = -s**3 + s**2 + 2*s - 104. Let d be n(0). Let z = d + 169. Suppose 0 = 3*h + 2*h - z. Is h a prime number?
True
Let s = -90 + 284. Is s a prime number?
False
Let f(r) = r**3 + 15*r**2 - 17*r - 9. Let s be f(-16). Suppose 0 = -s*h + 2*h + 8105. Is h a composite number?
False
Suppose -2*p = -3*g - 38, -4*p = -4*g - p - 52. Is (-16)/40 - 10774/g a composite number?
True
Suppose 24 = 2*c + 2*l, 4*l - 33 = -c - 2*c. Let d be ((-6)/(-5))/(6/c). Suppose -2*o - 127 = -d*o. Is o composite?
False
Let m = 188445 + 5090. Is m composite?
True
Suppose -7*w + 9*w - 3702 = 0. Is w composite?
True
Suppose -3*w - t + 6912 = -2*w, 2*w = -4*t + 13834. Is w composite?
False
Let f(c) = -169*c - 1. Let j be f(-3). Suppose 4*b + b = 2*d - j, -2*d = 4*b - 506. Is d a prime number?
False
Suppose 0 = -w - g - 77 - 4, -4*w = -2*g + 342. Let v = 163 + w. Is v a composite number?
False
Is (482859/27 - 4/6) + -2 a prime number?
True
Let c(x) = 2588*x + 662. Is c(24) prime?
False
Let h(x) = 18*x**2 - x. Suppose 0 = -y + 7*y + 12. Is h(y) composite?
True
Let a(d) = 18 - 18*d + 19*d + 2. Let u be a(-20). Suppose u = 2*n + 3*r - 126, 7*n - 357 = 2*n + 3*r. Is n a prime number?
False
Suppose 879242 = 419*k - 393*k. Is k a composite number?
True
Is (-1220324)/(-76) + (-6)/(-57) composite?
False
Suppose -2*x + 9639 = 2921. Suppose 0 = 6*i - 4783 - x. Is i prime?
False
Let i(d) = 17*d**2 + 12*d - 49. Is i(-16) a composite number?
False
Let g be ((-4)/(-2))/(-1 + 2). Suppose -g*d = -3*d + 210. Suppose 4*a - 670 = -d. Is a composite?
True
Let z(h) = h**2 - 3*h. Let t be z(4). Suppose -8 = -t*k - 20. Is (-34)/1*k/2 prime?
False
Let y be 2 - (-4 - (-5 + -3)). Let l be -4 + 2*(1 - y). Suppose l*p + 2553 = -w + 4*w, 2*w - 1702 = -4*p. Is w a composite number?
True
Suppose 0 = 3*f - 23308 - 20072. Suppose -f = -6*q - 4482. Is q a composite number?
False
Let p = 728 + 224. Let l(y) = -25*y**2 - 6*y - 4. Let d be l(5). Let u = p + d. Is u a prime number?
True
Let t be -10*((-2)/(-11) - (-180)/(-264)). Suppose 5*d + 5030 = 4*l, 1245 = -4*l + t*l + 5*d. Is l composite?
True
Let m = 14097 - -24098. Is m composite?
True
Let k = -5044 + 7471. Is k composite?
True
Let a(s) = -5*s**2 - s + 1. Let l be a(2). Let u = l - -21. Is 47 - (-2 + 2 + u) composite?
False
Let d = 62 + -35. Let g be (-69)/3*d*-1. Suppose v - 5*o - g = 0, 2*v - 3*v + o + 629 = 0. Is v a prime number?
True
Let i(g) be the second derivative of g**7/1260 + 119*g**5/120 - 11*g**4/12 + 8*g. Let j(b) be the third derivative of i(b). Is j(0) composite?
True
Suppose 22*t - 14499 + 529 = 0. Is t prime?
False
Suppose -4*d - 8 + 20 = 0. Suppose -d*i = 296 + 127. Let a = i + 590. Is a prime?
True
Let p(v) = 173*v**2 + 28*v + 68. Is p(11) composite?
True
Let o(t) = 33*t**2 - 15*t + 7. Let s be o(6). Let z = 2096 - s. Is z composite?
False
Suppose 3*v = -4*t + 2689, -2*t - v + 520 + 825 = 0. Let y be ((-45)/6)/3*188. Let k = y + t. Is k a composite number?
True
Suppose -4*t + 0*t = -3*g - 89, -41 = -2*t + 5*g. Suppose -20*y - 2436 = -t*y. Let b = y + -381. Is b a prime number?
True
Suppose -22960 = 46*y - 41*y. Let l = y + 6523. Is l a prime number?
True
Let v = 35 - 35. Suppose v*n = 2*n - 1594. Is n a prime number?
True
Let o(d) = -3*d + 23. Let k be o(7). Suppose 5*i - 5*l - 3540 = 0, l - 728 = -i - k*l. Is i a composite number?
True
Suppose 499 = 3*w - 6*l + 2*l, 5*w = -5*l + 890. Let x = w - -216. Is x composite?
False
Suppose 0 = x - 0*d - 4*d - 212, 4*d = -5*x + 1108. Suppose k - n - 163 = 0, 130 = 2*k + 4*n - x. Is k prime?
True
Suppose c = 4*v - 45096, -3*v + 5*c - 4105 = -37944. Is v prime?
True
Let b(l) = l - 5. Let f be b(4). Let h be f - 1 - 0/(-3). Is h/(-7) + 453/7 a composite number?
True
Let t be (4 - 100/7)*-7. Suppose -71*p - 519 = -t*p. Is p a composite number?
True
Let v be ((-40)/50)/(1/(-5)). Let i(d) = 133*d - 5. Is i(v) prime?
False
Suppose -4*q + 2*w - 4 = -0*q, -5*w = -4*q - 10. Suppose q*p + p - 896 = 0. Suppose -880 = -4*z - m, 5*z - z = -5*m + p. Is z a prime number?
False
Let y(k) = k**3 + 34*k**2 + 35*k - 57. Is y(16) a composite number?
True
Suppose -17*p - 2*p = -15941. Is p a prime number?
True
Let h = -10 - -14. Suppose h*z = -199 - 385. Let s = -67 - z. Is s a prime number?
True
Let h(j) = j**3 - 19*j**2 + 17*j - 26. Let a = 9 - -12. Is h(a) a prime number?
True
Let p = -2210 + 3361. Is p a prime number?
True
Let z = -8 + -2. Let h