Is (-3410)/(-40) + 1/f prime?
False
Let t = -3186 + 5519. Is t prime?
True
Let c(n) = -87*n + 16. Suppose -2*r = -3*r + 4*v + 3, 0 = -4*v - 16. Is c(r) a composite number?
True
Let l(z) = 26*z**3 + 3*z**2 - 4*z - 11. Let p be l(-4). Is (8/12)/((-6)/p) a composite number?
False
Let a(g) be the first derivative of g**4/4 + 6*g**3 - 7*g**2/2 - 19*g + 17. Is a(-17) a composite number?
False
Let n(t) = 9*t**2 + 7*t + 35. Let g be n(19). Let u = g - 1622. Is u a composite number?
True
Let h(g) = 18632*g**2 - 5*g + 6. Is h(1) prime?
False
Let q = -16532 - -36421. Is q composite?
False
Suppose 4*g + 162 = 486. Suppose 0 = -5*f - 9 - g. Is 0 + -1 - f*25 a prime number?
True
Let b = -13 - -18. Suppose 4*d - 2*d - 2078 = 5*x, -b*x + 2078 = 2*d. Is d prime?
True
Suppose 12*v - 4*v - 144 = 0. Suppose 19*x - v*x = 839. Is x prime?
True
Let q(a) = 124*a**2 - 11*a - 6. Let j(o) = o**2 - o - 1. Let s(w) = -5*j(w) + q(w). Is s(-4) prime?
False
Let m(a) = a**3 - 8*a**2 + 20*a + 27. Let u(q) = -3*q**3 + 18*q**2 - 39*q - 55. Let l(d) = 5*m(d) + 2*u(d). Is l(-12) composite?
True
Let s = -7618 + -3481. Let q = 17272 + s. Is q prime?
True
Let g = -2270 + 3200. Suppose 2*j - 1674 = -h, 2*j - 5*h - g - 720 = 0. Is j composite?
True
Let g(w) = 6*w**3 - 5*w**2 - 2*w - 8. Let i(l) = 7*l**3 - 5*l**2 - 2*l - 9. Let t(j) = 4*g(j) - 3*i(j). Is t(5) a prime number?
False
Let o(h) = -h**2 - 14*h + 2. Let r be o(-14). Suppose -3*t = r*x + 10, x + 2*x + 15 = -4*t. Suppose t = 4*d + s - 0*s - 833, -4*d - 2*s + 830 = 0. Is d prime?
False
Suppose -r - 3*n = -0*n - 13, 25 = 4*r + 3*n. Let z be (r/6)/((-3)/(-9)). Suppose z*u - 123 = -13. Is u a prime number?
False
Let s(q) = -31*q**3 + 4*q**2 - 2*q - 2. Let v = -23 + 20. Is s(v) a composite number?
False
Let q(p) = -p**3 + 6*p**2 - 5*p + 2. Let x be q(5). Suppose x*w = 68 + 240. Is (29/(-2))/((-11)/w) composite?
True
Let z(m) = -5169*m + 10. Is z(-1) prime?
True
Let u = -11 + 5. Let v(c) = c**3 + 5*c**2 - 5*c + 7. Let x be v(u). Suppose -m = x - 56. Is m a composite number?
True
Suppose -98344 = 8*h - 322432. Is h prime?
False
Let f = 6 - 7. Is (1/2)/(f/(-298)) composite?
False
Let w(j) = 856*j + 37. Let u be w(5). Let q = u + -2114. Is q a prime number?
True
Let s be (1 + 2/(-1))*-634. Let o = s + -261. Is o a composite number?
False
Let q = 871 + -2425. Is (7 - 8)*(q + 1) composite?
False
Let v(h) = 7032*h**2 + 27*h - 26. Is v(1) prime?
False
Let l(a) = 28*a**2 + 3*a + 4. Is l(5) a composite number?
False
Let r(o) be the second derivative of -o**4/12 - 11*o**3/6 - 9*o**2/2 + 4*o. Is r(-8) prime?
False
Let p(s) = -s**3 + 8*s**2 - 6*s. Let q be (2/4)/((-2)/(-28)). Let a be p(q). Suppose 3*f = a*f - 188. Is f a composite number?
False
Suppose 35 = -2*i + 27. Suppose 2*g = -2*t - 54, 6*t = 3*t + 2*g - 56. Is 68467/77 - i/t a prime number?
False
Is 2/(-10) - (-7090964)/145 composite?
True
Let y(q) be the third derivative of -2*q**4 + 5*q**3/6 - 12*q**2. Is y(-3) a prime number?
True
Let c be 2/7*1 - 166/(-7). Suppose g - 31 = c. Is g composite?
True
Let h = 15 + -11. Suppose 0 = -f - h*f. Let c(o) = o**2 - o + 685. Is c(f) prime?
False
Let u(a) = -a**2 + 17*a + 5. Let d be u(-18). Let m = -246 - d. Is m a composite number?
False
Let p(k) = 138*k**2 - 126*k**2 - k - 30 - 3*k. Is p(-7) a prime number?
False
Let h = 2 - -2. Suppose -h*v + 9 = -v, 0 = 4*a - 2*v - 1390. Let o = 764 - a. Is o a composite number?
True
Let g = -74 - -198. Let f = g + 753. Is f a prime number?
True
Let r be ((-16)/24)/((-2)/6). Suppose -1906 = -2*y - 0*y - r*b, 4*b = 0. Is y a prime number?
True
Suppose 3*f - 2 = 2*t, -5*t + 3*f + 2*f = 0. Suppose -5*j = -t*a - 1285, 3*j + 0*j - 5*a = 771. Suppose 3*r = 4*r - j. Is r prime?
True
Suppose -t + 0 = 1. Is (-7334)/(-95) - t/(-5) composite?
True
Suppose 0 = 4*s - 9*s + 2*u + 21, 2*u = s - 1. Suppose 11 = 4*q - 1, s*q = 3*m - 2562. Is m prime?
True
Let w(g) = g**3 + 13*g**2 - 1. Is w(-7) composite?
False
Suppose 158*y - 350340 = 146*y. Is y prime?
False
Let i = 118 - -17. Let q = -96 + i. Suppose -5*r - 41 = -10*r - 3*x, -2*x + q = 5*r. Is r a composite number?
False
Let v be 28/(-16) - (-1 + 10/8). Is (v/3)/((-4)/6522) composite?
False
Let c be 72/60*5/(-2). Let r be 3 + (-2 - c) + -1. Suppose 99 = 3*w - r*b + 18, -4*b - 82 = -3*w. Is w composite?
True
Let j = 6337 + 9598. Is j prime?
False
Let z = -7819 + 42404. Is z a prime number?
False
Let s = 90 - -497. Is s composite?
False
Let z(i) = -i - 7. Let d be z(-6). Let o = d - -56. Is o a prime number?
False
Suppose 0 = -v + 5*w + 9507, 10*v - w - 9515 = 9*v. Is v composite?
True
Suppose 48*d = 50*d. Suppose a + 131 - 622 = d. Is a prime?
True
Let n = 24 - 4. Let o(p) = -29*p - 143. Let w be o(-8). Is (n/10)/(2/w) composite?
False
Let h(j) = j + 6. Let u be h(-3). Suppose -4 = -u*t + 5. Suppose 6*y - 633 = t*y. Is y a composite number?
False
Let k(b) = 8*b**2 - 5*b + 4. Suppose -9 = -9*c + 8*c. Let g = c + -4. Is k(g) a composite number?
False
Let g(q) = 15*q**3 - 2. Suppose -d = d - 18. Let x = d + -7. Is g(x) composite?
True
Let r = -10138 - -18453. Is r a prime number?
False
Let z = 261 - 256. Suppose -u = 2*u - 2427. Suppose z*a + 4*d - u = d, 4*a - 3*d - 658 = 0. Is a prime?
True
Suppose 3*w + 14 = 2. Let r(y) be the third derivative of -y**6/120 + y**5/15 + y**4/4 + 3*y**3/2 + y**2. Is r(w) a composite number?
False
Let g(k) = k + 237. Let i be (0/(3 - 2))/2. Let l be g(i). Suppose -5*m + l = 4*o - 0*o, 4*m = -3*o + 179. Is o a composite number?
False
Suppose 239*j + 2773 = 240*j. Is j a prime number?
False
Suppose -281970 = -15*k + 164865. Is k a composite number?
False
Let n(j) = 15*j**3 - 71*j**2 + 13*j - 15. Is n(16) a composite number?
False
Suppose 20*h = 14*h + 84. Let r(j) = 2*j**2 + 10*j - 30. Is r(h) prime?
False
Suppose 4*c - d - 116279 = 0, 5*d + 29046 = c - 0*c. Is c a composite number?
True
Let o be 10910/(-35) + 2/(-7). Let i = o - -605. Is i a composite number?
False
Let z = 14 - 12. Is (-1 - -12)*5 + (2 - z) composite?
True
Let l(k) = k - 72. Suppose -2*a = -8, -6*r + 3 = -r + 2*a. Let t(y) = 1. Let u(b) = r*l(b) - 5*t(b). Is u(0) a composite number?
False
Let p = -4 + 9. Suppose -r - 3*z = 12, 0 = -p*r - 3*z + 5*z + 25. Suppose r*v + 157 = 4*v. Is v a prime number?
True
Let g(w) = 5 - 5 + 0 - 9*w + w**2 + 1. Let y be g(9). Is 0 + 251 + y + 1 a composite number?
True
Let o = -5464 - -13545. Is o composite?
False
Let n(i) = 526*i**3 - 4*i**2 - i + 11. Is n(2) a prime number?
True
Suppose m + 4*m + 4*y = 2107, 0 = 4*m - 2*y - 1670. Is m composite?
False
Let c(v) = 2*v - 9. Let o be c(4). Is o + -1 - (-348 - 1) a composite number?
False
Suppose -1629 = -2*u + 1165. Is u a composite number?
True
Let z = -6 + -6. Is 18/z + (-843)/(-6) composite?
False
Let z = 6 - 2. Suppose 3*c = -4*u + 366, z*u = -c + 3*u + 121. Let g = 173 - c. Is g composite?
True
Let y = -108 - -108. Suppose y = 3*z + 138 - 5931. Is z composite?
False
Let q = 3680 - -6587. Is q prime?
True
Let s be -35 + ((-4)/14 - 161/(-49)). Is s/96 - (-4084)/(-3)*-1 a composite number?
False
Suppose 0 = -3*q - q + 4*b + 6624, b = -2*q + 3321. Suppose 4*f - f = q. Is f a prime number?
False
Let n(z) = 18*z**2 + 5*z - 1. Let b be n(-7). Suppose -5*q + 109 = -b. Is q composite?
False
Let j(z) = 3 - 107*z**3 + 6*z**2 - 15 + 108*z**3. Let w be j(-5). Suppose -2*r - 3 = -w, -2*q - 3*r + 425 = 0. Is q a prime number?
False
Suppose 0 = -4*g + 3*g + 2*m + 2, -4*g = m + 10. Let l be ((-10)/g)/(6/72). Let z = l - -67. Is z prime?
True
Let j(l) = 12*l - 3*l + 3*l + 10*l**2 + 0 + 9. Let b(m) = -29*m**2 - 36*m - 26. Let u(s) = -3*b(s) - 8*j(s). Is u(-11) prime?
False
Suppose 4*i + 8302 = -3*i. Let j = i + 1724. Is j prime?
False
Is (-10)/35 + (-352)/(-56) - -2715 composite?
True
Let o(l) = 16*l**2 - 21*l + 77. Let c be o(19). Let k be 0/(-1 - 3/3). Suppose k = 8*u + 2198 - c. Is u a prime number?
False
Suppose 2*w + 4*y = 4378, 6576 = -0*w + 3*w + 3*y. Is w prime?
False
Let g(q) = -29*q + 14. Let t be g(7). Let i = t + 404. Is i composite?
True
Is (105/(-60))/(40629/20316 - 2) prime?
False
Let i(j) = 2 + 4 + 226*j - 1337*j. Is i(-1) a prime number?
True
Let f(w) = w + 7. Let x be f(-10). Let p be 56*(-3 - (x - 1)). Is (0/2 - -2) + p a composite number?
True
Is 562441/22 - 2/4 a prime number?
False
Suppos