 u a prime number?
False
Let y be 5 + -1*(-6 + -1). Suppose 5*l = y*l - 7. Is ((-1097)/(-3))/(l/3) a composite number?
False
Suppose 4*h - h + 4*p - 26 = 0, 14 = h + 4*p. Suppose i - 20 = -5*q, h*q - 4*i + 11 = 3*q. Let o(m) = 462*m + 11. Is o(q) composite?
True
Suppose 0 = -2*f - o + 6, 4*f = -5*o - 0*o + 24. Let v be f/((-9)/6)*(-10 + -2630). Suppose 3*y - 391 - v = 0. Is y composite?
True
Suppose -2074487 - 141056 = -23*f + 314434. Is f composite?
True
Suppose 0 = -2*a + 4*y + 149054, 0 = 387*y - 383*y + 12. Is a prime?
True
Suppose 26*d - 23*d = 9. Suppose i + d*i + 616 = 0. Let v = 1223 + i. Is v prime?
True
Suppose -5*v = -30, 5*k - 4*v = 55757 + 67434. Is k a composite number?
True
Let y = 5936 + 51087. Is y a composite number?
True
Is (-46)/10 + (-36)/90 + -13 + 158089 prime?
True
Let i = 524 + -538. Is (26012/(-8))/(7/i) prime?
False
Is 18 - 1357/(-3)*687 a composite number?
False
Let r(u) = 143*u**3 - 5*u**2 - 2*u - 7. Let d = 126 + -122. Is r(d) a composite number?
True
Is ((-458020)/(-40))/((2/9)/(24/18)) a prime number?
False
Let t = -239 + 239. Suppose -2*u - 311 = -o, -3*o - 6*u + 8*u + 945 = t. Is o composite?
False
Let q = 203 + 1. Let l = 1757 + q. Is l a composite number?
True
Let i be (6160/(-25))/(-14) - 4/(-10). Suppose 0 = -4*r + 8, 4*r + 25187 = -13*n + i*n. Is n a prime number?
True
Let w(d) = -7*d**3 + 6*d**2 - 6*d - 5. Let u = 197 - 203. Is w(u) a prime number?
True
Let q = 20145 - 2716. Is q composite?
True
Suppose -12*y = -3*y - 2*y. Suppose -u - g + 327 + 61 = y, -u - 2*g + 385 = 0. Is u prime?
False
Let t = 178339 - -382310. Is t a composite number?
True
Suppose 4*l + 8 = 4*b, -4*b + 6 = -2*l + 2. Suppose b*m + 2*m - 27423 = -5*q, 5*m = -5*q + 68550. Is m composite?
False
Let v(p) = 8226*p + 2395. Is v(104) prime?
False
Let b(z) = -3*z**2 - 2*z + 1. Let o be b(1). Suppose 0 = 4*x - 4, -2*h - 10*x = -7*x + 13. Is (o - 7236/(-8)) + (-4)/h a prime number?
False
Let h(f) = 392*f**2 + 5*f - 26. Let d = 584 + -593. Is h(d) prime?
False
Let n = -2 - -5. Suppose -544 = -h + j + j, n = j. Let t = 996 - h. Is t composite?
True
Suppose -3*j + s = 5, -3*j + 3*s + 0*s - 3 = 0. Let c(t) = -36*t**3 + t - 2. Let q be c(j). Suppose 2*y - q = -2*y. Is y a prime number?
True
Let q(z) = 2*z**2 + z + 3. Let t(g) = -8*g**2 - 10*g - 23. Let k(l) = 6*q(l) + t(l). Let u(r) = -3*r + 6. Let x be u(4). Is k(x) prime?
True
Let l(r) = -13*r**2 - 24*r - 175. Let k(w) = -w**2 - 2. Let z(b) = 5*k(b) - l(b). Is z(-6) a composite number?
True
Let k(w) = -5*w**3 + 20*w**2 + 36*w - 59. Is k(-12) a composite number?
True
Let r(s) = -10*s - 147. Let t be r(-16). Suppose 0 = -t*g - 13*g + 299546. Is g a composite number?
True
Suppose -2839442 = -48*x + 2*x. Is x a prime number?
False
Suppose -12*j = -2208323 - 321097. Is j a prime number?
False
Suppose -14*d = -20*d + 4482. Let y = -556 + d. Is y prime?
True
Suppose -l - 393 = 4*i, i + 1743 = -4*l + 201. Is (-11)/(l/888699) - 6/15 prime?
True
Let p = 55 - 52. Suppose p*a = -5*a + a. Suppose 0 = -3*b - a*b + z + 1456, 4*z = -5*b + 2421. Is b a composite number?
True
Suppose 4*s - 4 = 12. Suppose s*v + 2356 = -4*i, 0*i + 2*v = 5*i + 2952. Let x = -111 - i. Is x a prime number?
True
Let j(r) = -r**3 - 23*r**2 - 40*r + 44. Let l be j(-21). Let g = 2873 + -1081. Suppose -5*u - 5 = 0, -743 = -l*i + u + g. Is i prime?
False
Suppose 0 = 14*p - 3*p - 1723509 + 334396. Is p prime?
False
Let j be (-9 - (-2 + 5/(-5)))/(-6). Is (232 - j*-1)/((-158)/(-3634)) a composite number?
True
Let h(d) = -9*d**3 - 2*d**2 - 20*d - 1. Is h(-10) prime?
True
Let b be (-2)/4 - 1712872/112. Let n = -8825 - b. Is n a prime number?
True
Is ((-38)/(-380))/((-2)/(-941740)) composite?
False
Suppose 0 = -5*v + 12314 + 43967 + 112234. Is v a prime number?
True
Suppose -2166329 - 13996 = -75*s. Is s a prime number?
False
Let q = 39515 - 13296. Is q a prime number?
False
Let s = -36 - -42. Let u be (-20)/15*s/(-2). Is u - -25*50/5 a prime number?
False
Suppose 0 = 16*k - 1890736 - 384990 - 1666466. Is k composite?
True
Let n(o) = -21819*o - 404. Is n(-9) prime?
True
Let g(k) = -247*k**2 - 4*k + 4. Let w be g(2). Let x = 3090 + w. Suppose x - 330 = 8*i. Is i prime?
False
Let h = -1689 - -5092. Is h a prime number?
False
Suppose 11*l + 122436 = 4*c + 16*l - 91672, 0 = 4*l. Is c composite?
False
Suppose -4*m = -11*m - 21. Is m/(-48)*-6 + (-17259)/(-8) a prime number?
False
Suppose 6*h + 31689 = 179146 + 561677. Is h a prime number?
True
Suppose 5*j - c = 668858 + 280851, j - 5*c = 189961. Is j composite?
True
Suppose 0 = -2*l - l. Let t be (-2 + l)*2/(-3)*6. Suppose 5*i - 283 = -2*g, 464 - t = 3*g - 3*i. Is g a prime number?
True
Let d(p) = 205*p**2 + 23*p + 6. Let b be d(9). Suppose -27*v = -24*v - b. Is v a composite number?
True
Let c(a) = 35*a**2 - 11*a. Suppose 78 + 62 = 7*q. Suppose 5*i - q = -5*i. Is c(i) a prime number?
False
Let y(k) = 2*k**3 + 26*k**2 + 23*k + 13. Let x = -377 - -367. Is y(x) composite?
False
Suppose -81*m + 2772349 = 20*m. Is m a prime number?
True
Let c(d) = 802*d**2 - 12*d + 71. Is c(-15) a composite number?
False
Let c = 1081 - 1067. Let q(v) = v - 1. Let g(y) = y**2 - 8*y - 8. Let o(k) = g(k) + 3*q(k). Is o(c) prime?
False
Let x be 17 + -16 + (-1)/1. Suppose 3*s + 2*q - 6*q - 5503 = x, -2*q + 5533 = 3*s. Is s a composite number?
True
Is 384/864 - (-420485)/9 composite?
True
Let r(v) = -v**2 - 11*v - 10. Let a be r(-10). Let t(p) = 42*p + 7543. Is t(a) prime?
False
Suppose 23 = i + 2*b, b = -3*b - 12. Suppose 5*u + 18672 = i*u. Is u a prime number?
False
Suppose i - 4 + 8 = 0. Let z be i/((-1 - -2)/(-1)). Is ((-2036)/4)/(3 - z) prime?
True
Suppose m + 14 = 3*m. Suppose m - 17 = -5*w. Suppose w*g - 6902 = -1956. Is g a composite number?
False
Let w(t) = -4*t + 34. Let r be w(0). Suppose -7 = -3*f + 2*d + 3*d, 0 = 4*f + 2*d + r. Is 2360/3 + f/(-18) a composite number?
False
Let c be (109/3)/((-2)/12). Let q = 128 + c. Let b = -53 - q. Is b a prime number?
True
Let k(u) be the first derivative of -u**4/4 + 35*u**3/3 - 6*u**2 + 79*u + 55. Is k(25) a prime number?
True
Let l be 17/5 + (-14)/35. Let v(y) be the first derivative of 47*y**3/3 - y**2 - 4*y - 209. Is v(l) composite?
True
Let w(d) be the third derivative of -7/6*d**3 - 7/120*d**6 + 0 + 0*d + 5/24*d**4 - 1/10*d**5 - 9*d**2. Is w(-6) a composite number?
False
Let a = -7698 - -5223. Let r = 3836 + a. Is r composite?
False
Suppose -h + 9 = 4*m, -7 = -4*m + 4*h - 3*h. Suppose -4*z + 132 = -4*d, z = m*d - 0*z + 70. Let s = 263 + d. Is s composite?
True
Suppose x - 7635 = 2*s - 5*s, -5*x + 12725 = 5*s. Is s prime?
False
Is (-2)/13 + 9939307/91 a composite number?
True
Let n(b) = -11316*b**3 - 3*b**2 + 1. Let u be n(1). Let r = -6241 - u. Is r composite?
False
Suppose 47527 = 98*n - 12645. Is n a composite number?
True
Let g = -160 + 130. Is (-1720)/g + (16/6 - 2) a composite number?
True
Let u(p) = 2*p**2 + 2234*p - 2233*p - p**2 - 2. Let k be u(-3). Is 1541 - k*(-3)/6 a composite number?
False
Let c = 38 - 232. Let t = 875 + c. Is t prime?
False
Suppose 3*l + 5*p - 2622958 = 0, 2*p = 4*l - 238400 - 3258834. Is l a prime number?
False
Suppose 0 = -2802*d + 2805*d - 272763. Is d prime?
False
Suppose 3*o = -5*p + 39120 + 144931, -o + 2 = 0. Is p a prime number?
True
Suppose 2*s - 11 = -u, 0 = 4*u - 9*u + 2*s + 19. Let p = -8097 - -11808. Suppose 5*z = 4*w + 4*z - p, -2*w + 1883 = u*z. Is w composite?
False
Let q(t) = 245*t**3 - 6*t**2 + 3*t + 4. Let a(z) = -490*z**3 + 10*z**2 - 7*z - 8. Let i(l) = 3*a(l) + 5*q(l). Is i(-3) composite?
True
Let f(q) = -q**3 - 2*q**2 + 2. Let k be f(-3). Suppose 0 = k*g - 9*g + 8. Is ((-771)/g)/(12/32) a prime number?
False
Suppose -3*c + 183561 + 116333 = -p, 2*c - 3*p = 199913. Is c prime?
False
Let t = 48428 - 28627. Is t prime?
True
Suppose 5*a + 4*v - 173312 = 154381, 0 = 5*a - 2*v - 327681. Is a a composite number?
False
Suppose 259970 = 5*q + g, -238*q = -242*q + 4*g + 208000. Is q prime?
False
Suppose 4*o + 4444 = 2*i, -4*o = 2*i + 2786 - 7254. Let c = 6355 - i. Is c prime?
True
Let j(b) = b**3 + 19*b**2 - 32*b - 30. Let f be j(-20). Suppose -215*z + 68065 = -f*z. Is z prime?
True
Suppose -218403 = -3*p + 3*i - i, 2*p + 5*i = 145621. Is p composite?
True
Let k(w) = 4*w**2 - 17*w + 57. Let c be k(11). Let r = c + 101. Suppos