0 = 5*d - 15 + 10. Let s be (d - 5) + (1 - -10). Suppose -6172 = 3*l - s*l. Is l a prime number?
True
Let v = -72 + 179. Suppose -604 + v = -a. Suppose 83 = 4*g - a. Is g composite?
True
Let a(f) = 364*f**2 - 18*f - 59. Is a(-7) composite?
False
Suppose -4*t = -2*r - 35212, t + 4*r + 0*r = 8803. Is t a composite number?
False
Let l be (-36)/27 - (-82)/(-6). Is -2 - 36/l - 47663/(-5) prime?
True
Let r(f) = -1385*f - 1719. Is r(-10) a composite number?
True
Let k(o) = 106*o**2 + 3*o - 4. Let d = -165 - -168. Is k(d) composite?
True
Suppose 0 = 144*k - 12337185 - 7458063. Is k prime?
False
Suppose -7*x - 32400 = -8*x - h, 7*x = 5*h + 226860. Is x prime?
False
Let o = 208 + -208. Let f(k) = -2*k + 1831. Is f(o) a composite number?
False
Let l(q) = 80*q - 117. Let w be l(-9). Suppose 0*m + 2*p = -m + 1618, 6 = -3*p. Let t = w + m. Is t a prime number?
False
Let f = 90106 - -94245. Is f a prime number?
True
Suppose 134*l = -133*l + 275*l - 72584. Is l a prime number?
False
Let m be (-5 + -39)*1/8*-2. Suppose -4*v + m*v - 26803 = 0. Suppose -5151 = -4*u + v. Is u prime?
False
Is (9/(-6))/(21/(-686210)) a composite number?
True
Let l(q) = -3767*q**3 - 2*q**2 + 2*q - 5. Let h be l(-2). Suppose s - h + 10938 = 0. Is s prime?
True
Is -10*4372159/(-220)*2 prime?
True
Suppose 14*u + 23224 = 10*u. Is u/(-6) - 44/66 a prime number?
True
Let h(u) be the first derivative of -u**2/2 + 22*u + 9. Let w be h(19). Is (-9376)/(-20) + -3*w/(-45) composite?
True
Suppose -66*i + 48*i = 36. Is (4782/8)/(i + (-171)/(-72)) composite?
True
Let g(f) = f**3 - 35*f**2 + 84*f - 55. Let h = -77 - -112. Is g(h) a composite number?
True
Suppose 0 = 7*d - 11 - 24. Suppose 0 = d*i - 4*q + 7*q - 6073, -2*q = -4*i + 4876. Is i a prime number?
True
Let s(q) = 743*q**2 - 34*q + 264. Is s(7) prime?
True
Let q(a) = 1 + 44 - 2722*a + 9296*a. Is q(1) a composite number?
False
Suppose 3*w - 255*s = -250*s + 340706, 4*s = 2*w - 227142. Is w prime?
True
Let l(i) = 7534*i + 241. Is l(19) composite?
False
Let f(p) = p**3 + 10*p**2 - 29*p - 12. Let g be f(-12). Is (-4)/g*1119*-28 prime?
False
Let j(c) = 1012*c**2 - 97*c + 820. Is j(17) a prime number?
False
Let l(z) = 10461*z**2 - z - 2. Let o be l(-1). Let u = 20251 - o. Is u a prime number?
True
Suppose -1027*l + 997*l = -638070. Is l a prime number?
True
Let o be ((-168)/(-120))/(1/9865). Let d = 25565 - o. Suppose -4*g = 2*j - d, g = -2*j + 2004 + 933. Is g composite?
False
Suppose 0 = -64*o + 613028 + 140700. Is o prime?
True
Let b(m) = 7*m**3 + 9*m**2 + 17*m + 76. Let p be b(-6). Let t = -307 - p. Is t prime?
True
Suppose 9*g + 29 = -25. Let c be g/(-2) - (-24)/(-6). Is 85 + (c + 7)/3 + 2 a composite number?
False
Let x(p) = -8*p - 11. Let l be x(-3). Suppose -2*w - 2*k - 8 = 0, l = -w + 4*w - 2*k. Suppose -3*g - 5 - w = 0, 8451 = 3*c + 3*g. Is c a prime number?
True
Suppose 69 = 4*v + 17. Let x be (-5 + v + 2)/2. Suppose 6*i = 8*i - x*f - 10189, 4*i + 3*f = 20339. Is i composite?
False
Is (3/(-8))/(6/(-4))*-229081*-4 a composite number?
False
Suppose 0 = 88*u - 86*u + 4*b - 84866, -u - 5*b = -42439. Is u prime?
False
Let s(i) = i**3 + 2*i**2 - 4*i + 7. Suppose -17 = 4*n + x, -2*n - 5*x = -x + 26. Let d be s(n). Is (0 - -1) + (d - -200) a composite number?
False
Let s(i) = -65*i + 44995. Is s(0) a composite number?
True
Suppose s - 4 = 20. Let t = s + -19. Suppose a - t*x - 112 = -0*x, 5*x - 396 = -3*a. Is a a composite number?
False
Let b be (32/(-10))/(5/(-25)). Let w(u) = -u**2 + 43*u - 146. Let p be w(39). Is 40/b*4612/p + -2 a prime number?
True
Is (238460 - -42) + (-6 - -3)*1 a composite number?
False
Suppose 4*i = -4*w + 545596, -122*i - 272840 = -2*w - 117*i. Is w a prime number?
False
Suppose 2*t = -j + 25, 2*j - 4*t = 8 + 66. Let s = 55 + j. Let l = s - 43. Is l prime?
True
Suppose 0 = 3*f - 19*f - 23440. Let k = f - -3122. Is k prime?
True
Suppose 2*t - 123 = 5635. Is t a prime number?
True
Suppose 4*o - 62 = u, o + 5*u - 58 = -2*o. Is -3 - -334*(o/4 + -3) composite?
False
Let z(s) = 3073*s - 9. Let t be z(5). Suppose -7*l + 11195 + t = 0. Is l a prime number?
True
Suppose 0 = 2*x - 2*f - 242612, -x - 13*f + 121303 = -15*f. Is x prime?
True
Let j be 2/4 + 1 + (-12)/8. Suppose -2*t = -0*t + m + 61, j = -t + 3*m - 13. Is ((-62)/2)/((-2)/t*-2) a prime number?
False
Let n(r) be the first derivative of r**4/4 - 2*r**3/3 + 30*r**2 - 20*r - 37. Is n(9) composite?
False
Is (121938/10)/(-20 - (-1854)/90) a composite number?
False
Let z(n) = 2*n**2 - n - 1. Let q be z(-1). Let g(k) = -32*k + 2. Let u(r) = 33*r - 1. Let s(t) = 4*g(t) + 5*u(t). Is s(q) a prime number?
False
Let i(k) be the third derivative of 3*k**6/80 + 7*k**5/20 - 17*k**4/12 - 13*k**2. Let a(f) be the second derivative of i(f). Is a(15) composite?
True
Suppose -l + 110 - 62 = 0. Suppose 2*f - f = 2. Is -3*(-104332)/l - f/(-8) a composite number?
False
Suppose -2*o - 3*u = 14, -o + 2*o = -2*u - 8. Let n = o - -14. Suppose -1 = n*b - 1271. Is b a prime number?
True
Is (54258/(-9))/(15/(-45)) - (-15)/5 composite?
False
Let x(c) = c**3 + 9*c**2 - 3*c - 24. Let m be x(-9). Suppose -m*g + 46582 - 321 = 5*n, 61700 = 4*g + 2*n. Is g a prime number?
True
Let a = 777046 + -409463. Is a a prime number?
False
Suppose f = x + 6, -3*f + 4*f - 5*x - 22 = 0. Suppose 3*o = j + 7*o - 5749, -17217 = -3*j - f*o. Is j composite?
False
Let g(f) = -3*f**2 + 96*f + 35. Is g(18) a prime number?
False
Suppose 2*h + 7 + 1 = -3*f, h - 3*f - 14 = 0. Suppose 6 = -2*a, h*n - 6*n = a - 20313. Is n a composite number?
True
Let c be ((-8)/30)/2 - 62/(-15). Suppose -4*l = -m - 2*m + 961, c*m + 5*l = 1333. Suppose j + 83 + m = g, 3*g = -5*j + 1222. Is g prime?
True
Let y = 277559 + -162460. Is y a composite number?
False
Let s(z) = 18*z**2 - 190*z - 3294. Is s(97) a composite number?
True
Let o(u) = u + 9. Let h be o(-6). Is (-1)/3 - 443/h*-8 prime?
True
Suppose 3*y - y = -5*f + 22390, -5*y = 3*f - 13434. Suppose -3*a + f = -5*s - 370, -4 = -4*a. Let c = 1768 + s. Is c a prime number?
False
Let v = -24531 + 41312. Is v prime?
False
Let f(s) = s**2 - 29*s - 91. Let b be f(32). Suppose -b*w + 0*w - 4*k + 111064 = 0, -3*w - k + 66637 = 0. Suppose -w = -14*t + 2974. Is t prime?
False
Let f = -5839 + 9840. Let s = f - -258. Is s prime?
True
Is ((-5969822)/(-568))/(4/16) composite?
True
Let j = -40 - -66. Let v = 2 + j. Is (-17107)/(-11) + v/(-154) a composite number?
True
Let p(v) = 2*v**3 - 23*v**2 - 12*v - 1. Let z be p(12). Let s be (-3)/(-3)*((-1)/z + 1). Suppose -2*y = -x - 1811, 0 = -2*y + 2*x + s*x + 1802. Is y prime?
True
Suppose -i - 34*i = -4122232 - 16141753. Is i a prime number?
True
Suppose 206*z - 669335 - 6582794 = -155*z. Is z composite?
False
Is (-6)/(-3) + -3 - (-1104996 + 78) a prime number?
False
Let y = 9714 - 4525. Is y a composite number?
False
Let u(t) = -46036*t + 3469. Is u(-13) a composite number?
True
Suppose -558*z + 556*z = -g + 37913, z = 5*g - 189556. Is g a composite number?
True
Let m = 419535 - 82580. Is m composite?
True
Let t(l) = 12*l + 109*l + 22 + 42. Is t(5) composite?
True
Is 3958710/14 + ((-4)/(-14) - 60/(-35)) a prime number?
True
Suppose -3*o + 231503 + 254386 = 0. Is o composite?
True
Let r be (-4)/2*((-3)/2)/1. Suppose 3*q - x = 9897, 2094 = q - r*x - 1205. Is q a composite number?
False
Let a(f) be the second derivative of 77*f**3/2 + 23*f**2/2 + f. Let u be 20/3*(-927)/(-618). Is a(u) prime?
True
Suppose 4*a + 217471 + 495636 = 3*d, 2*d - 475404 = 2*a. Is d a prime number?
True
Is 578778/2 + 16 + (-7)/((-21)/18) prime?
False
Let x(h) = h**2 + 5*h + 4. Let m be x(-4). Let b(l) = -2*l**2 + 6799. Is b(m) a prime number?
False
Suppose -12 = 30*f - 33*f. Suppose -i = 4*t - 9743, f*i = 4*t + 6*i - 9738. Is t composite?
False
Let k = 12514 + -1655. Is k a prime number?
True
Let y(h) = -h**3 - 8*h**2 + 11*h + 4. Let p be y(-10). Let u = 107 + -64. Let t = p - u. Is t a composite number?
True
Let t(y) = -336*y**2 - 3*y. Let i be t(1). Let c be 9/((-135)/50)*i. Suppose 7*s + c = 9229. Is s a composite number?
True
Suppose 0 = 13*c - 64 - 40. Suppose 0 = 2*k, 12*m - c*m - 4988 = -4*k. Is m composite?
True
Is -14*(-2 - 1054728/48) a composite number?
True
Is 9/((-108)/(-184))*(-7)/((-42)/333) composite?
True
Let h(p) = 582*p + 2281. Is h(58) a prime number?
True
Let m = 