-90)/(-5) + (-6)/(-3). Let p = n - 20. Suppose p = 4*d + 358 - 1386. Is d a prime number?
True
Let a = 3483 + -7073. Let z = -2253 - a. Is z composite?
True
Suppose -8*s = -5*s + k - 138354, -230591 = -5*s - 2*k. Suppose -5*t = 0, 5*t = 3*m - 164 - s. Is m a prime number?
True
Suppose 0 = -6*i - 0*i, -2126865 = -4*s + 2*i - 455653. Is s prime?
False
Let a(l) = 33*l**3 - 11*l + 14. Let b be a(7). Suppose -7*k + k = b. Let q = -1313 - k. Is q composite?
False
Let k be (-135)/18 - (-1)/(-2). Let r(u) = 25 + 39 - u**3 + 0*u - 65 + u**2 - 18*u. Is r(k) composite?
False
Let t(g) = g**3 - 7*g**2 + 7*g + 21. Let o be t(6). Is 3 - (-320856)/27 - (-12)/o composite?
False
Let v be -2 - (-12)/12 - (-3)/1. Suppose -v*i + 7*g - 2*g = -59459, -5*i + 4*g + 148605 = 0. Is i prime?
True
Let s = -39 - 3. Let j = -37 - s. Suppose 4*m = -3*h + 913, 0*h - j*m = 3*h - 911. Is h a prime number?
True
Let p(w) = w**3 - 9*w**2 + 12*w - 23. Let t be p(8). Is 16332/(-16)*(-12)/t prime?
True
Suppose o + 8 = 3*o + 4*f, -f - 19 = 4*o. Let l(p) = 74*p - 9. Let g(t) = 37*t - 4. Let h(a) = -7*g(a) + 3*l(a). Is h(o) a composite number?
False
Let r be 46/14 - -6*8/(-168). Suppose -3*u - p + r*p + 12137 = 0, 0 = -u + p + 4046. Is u a prime number?
False
Let z(n) = -3*n + 43. Let i be z(13). Let h(t) = 46*t**2 - 3*t - 1. Is h(i) composite?
True
Let y = 366431 - -815786. Is y composite?
True
Let v = -172 + 87. Suppose 5*m - 156 + 511 = 0. Let g = m - v. Is g composite?
True
Is (6 - (-5)/(130/(-1092767)))*-22 a prime number?
False
Suppose -4*c + 261908 = 4*b, -5*b - 116348 - 80099 = -3*c. Is c prime?
True
Suppose 1680178 + 1372722 = 100*k. Is k a prime number?
True
Let u be ((-2)/5)/(29/10 - 3). Suppose 0 = u*m + l - 18607, -m = 2*l - 1479 - 3171. Suppose -3143 = -5*q + m. Is q a composite number?
False
Suppose -75 = u - 6*u. Suppose -1 = -4*n + u. Suppose 0 = n*r - 3*r - 37. Is r prime?
True
Suppose -4*z - 4*f = -1012, 2*z + 2*f = 6*f + 494. Let s = -118 + z. Let m = s + 262. Is m a composite number?
True
Suppose 4*f + 4*m + 162853 = 7*f, m + 108567 = 2*f. Is f composite?
True
Let u(f) = 1929*f**2 - 51*f - 8. Let g be u(-6). Suppose 32838 + g = 20*c. Is c composite?
True
Let a be 1*-5*-382*12/40. Let k = 2269 - a. Let g = k + -1017. Is g a prime number?
False
Let c be (707/1)/(22/66). Suppose 0 = 3*v - 2*l - c, -11*v + 2828 = -7*v + 2*l. Is v composite?
True
Let z = 357 - 324. Let t(s) = 98*s + 109. Is t(z) composite?
False
Suppose -2112 - 18799 = -11*w. Is w a prime number?
True
Let p = -39 + 41. Suppose 2*i + 6 - p = o, -12 = 3*i - 3*o. Is (2 - i)*1361/2 composite?
False
Suppose -4*p - 20 = 0, -2*j + 2*p - 612 = -6190. Let s = j + -1361. Is s a prime number?
True
Suppose 0 = -4*q - q. Let r be (q + 6)/(-3 + (-11356)/(-3784)). Let d = r + -3391. Is d a composite number?
True
Suppose -2*c = 5*f - 150, -2*f - 3*c = 3*f - 155. Let s(t) = 34*t + 117. Is s(f) a prime number?
True
Let s(t) = t**3 + 11 - 8 - 18*t**2 - 16*t**2 - 6*t + 12*t**2. Let v be s(10). Let f = v - -2006. Is f composite?
True
Let z = -459110 - -704679. Is z prime?
False
Let g = 302 + -299. Suppose 0 = -w + g*j + 471, -81 = -5*w + j + 2274. Is w a composite number?
True
Let x be (0 + -6)/3 + 4 + 4. Let h = -76 + -27. Is 58/(-2)*(h + x) a composite number?
True
Let k = -12223 + 85460. Is k a composite number?
False
Suppose 0 = -3*x - 3*z - z + 2364563, 2*z = -5*x + 3940943. Is x prime?
True
Let n(b) = -b**3 - 13*b**2 - b - 50. Let v be n(-13). Let h(u) = -u**3 - 36*u**2 + 18*u - 30. Is h(v) a composite number?
False
Suppose -5*g + 3*o - 48709 = 0, 4*o = o - 6. Let l = g - -20715. Suppose -10979 = -3*y - 2*k, 2*k - 7*k - l = -3*y. Is y prime?
True
Let l = -17634 - -148591. Is l a prime number?
True
Let m(x) = -21*x**3 + 2*x**2 - 3*x + 3. Let g be m(2). Let t be -2*1*g/2. Suppose -i - k = 2*k - 161, 0 = -i - 4*k + t. Is i composite?
True
Let m(g) be the third derivative of 2*g**5/15 - 3*g**4/8 + 4*g**3/3 + 48*g**2. Is m(5) a prime number?
True
Suppose -53248 = 8*c + 14864. Let n = -3955 - c. Is n a composite number?
True
Suppose -2*c = -6*c - 24. Let d = 3 - c. Let s(f) = 2*f**3 - 6*f**2 + 7*f + 22. Is s(d) a composite number?
True
Suppose -201*m + 209*m = 1392. Let j = m + -123. Is j prime?
False
Let m(l) be the first derivative of 133/3*l**3 + 0*l**2 + 9 + l. Is m(-1) composite?
True
Suppose 67 = 25*m - 33. Suppose 12 = -3*h, n - m*h - 11169 = -1146. Is n prime?
True
Suppose -10*q = 23 - 53. Is q - (-3369 + -1 - 4) a prime number?
False
Let g(c) be the third derivative of -1885*c**4/12 - 23*c**3/6 - 216*c**2. Is g(-1) a composite number?
True
Let g(u) = u**2 + 4*u - 6. Let i be g(12). Suppose -h + i - 33 = 0. Suppose 3*w = 429 + h. Is w composite?
True
Suppose 104*u - 692075 + 133216 = 1613389. Is u a prime number?
True
Suppose 26*g + 15 = 29*g. Suppose 2*z = 3*c + 5*z + 9, -g*z = -2*c - 6. Let l(n) = -706*n - 15. Is l(c) a composite number?
True
Let k be (67236/18)/(2/3). Let x = 7920 - k. Is x a composite number?
True
Suppose 3*o + 2*i - 226 = -63, 0 = -2*o - 4*i + 122. Suppose 54*f - 25371 = o*f. Is f a composite number?
True
Suppose h = 3 + 19. Is -526*(-1)/4*h a prime number?
False
Let v be ((-8)/3)/(10/15) + 5458. Suppose -5*h = -11311 - v. Is h a composite number?
True
Let o = -99 + 95. Is 0/1 - o/4 - -2818 composite?
False
Let b(y) = 10*y + 41. Suppose -15*o = -o - 70. Suppose -2*r + 147 = o*r. Is b(r) a prime number?
True
Suppose 1025144 = 18*j - 5053114. Is j a prime number?
True
Let n = 336 + -347. Is (-11)/n - 3866/(-1) a prime number?
False
Suppose 1413 = 2*j - 3*w, 5*j + 3*w - 3490 = 2*w. Let h = j - -9058. Is h prime?
False
Let v(o) = o**3 - 6*o**2 + o - 7. Suppose 3*f - 5*b = 2*f + 16, f - 2*b - 10 = 0. Let d be v(f). Let p(w) = -520*w**3 - 2*w**2 - w. Is p(d) a composite number?
True
Let r(t) = -2*t**3 + 6*t**2 - 32*t + 7. Let c be r(5). Is (c/(-44))/23 + (-40470)/(-8) prime?
True
Suppose -a + 39738 = 3*s - 24689, 0 = 3*s - 12. Suppose 0*y - 5*y = c - a, 3*y - c - 38649 = 0. Is y composite?
True
Suppose -27*t + 30*t = -2*l + 101477, 4*l = -4*t + 135300. Is t a prime number?
True
Let f be 268/6*294/(-28). Let w = -62 - f. Is w prime?
False
Suppose w - 11*w + 50 = 0. Is -983*(10/w + -3) a prime number?
True
Let l be 5/(15/9)*-1897. Suppose -2*u + 10 = 5*i - 7*u, -i + 3*u = -10. Is i/(-3 - l/1899) prime?
False
Let c(m) = -m**3 + 7*m**2 - 3*m - 16. Let g be c(6). Suppose -2*h + 6 + 0 = g*b, 5*h - 4*b = 15. Is (1012 - (7 + -4)) + 6/h prime?
False
Let l(v) be the second derivative of v**4/12 - 11*v**3/6 + 15*v**2/2 + 128*v. Let d(f) = f**3 + 15*f**2 + 2*f + 17. Let c be d(-15). Is l(c) prime?
False
Suppose n = -2*w - 1002, 3*w - 2*n + 1503 = -n. Let x = w - -121. Let q = 699 + x. Is q a prime number?
False
Is (2 - (-78900)/2) + (0 - 22/(-11)) composite?
True
Let y = 1169 + -778. Let k = y + 486. Is k a prime number?
True
Suppose 12 = -2*w - 6. Let d(l) = -155*l - 16. Is d(w) prime?
False
Let o = 90 - 6. Suppose 6*a - 20 = 2*a - 5*i, -20 = 3*a - 5*i. Suppose a*n + 12*n - o = 0. Is n a prime number?
True
Suppose -16326 - 10290 = -4*o. Suppose 5*s + s + o = 0. Is s/(-2)*(-2 - -4) composite?
False
Let u = -238 + 238. Is (u - 3/(-4)) + (-889517)/(-116) a prime number?
True
Suppose -13*i = -6*i - 21. Suppose 2*a = -d + 8652, -i*a = 10*d - 8*d - 12977. Is a prime?
True
Suppose o = -4*m + 174003, 7*o - 1217901 = -7*m + 9*m. Is o a composite number?
True
Suppose 17*t - 13043336 - 7467657 = 0. Is t composite?
False
Suppose -c - 1392 = 3*w, -3*c = -0*w + 5*w + 2320. Let x = 118 + w. Let r = x + 663. Is r prime?
True
Suppose 521*w = 514*w + 2329859. Is w composite?
False
Is 37/185 + 63954/5 prime?
True
Suppose -2*w = 5*b + 46 + 28, -5*w - 185 = -5*b. Is -14*-1*w/(-2) a composite number?
True
Let z(a) be the first derivative of 2*a**3 + a**2 - a - 2. Let q be z(-3). Let b = 176 + q. Is b prime?
True
Let n(o) = -o**2 + 8*o - 8. Let v be n(7). Let h be 218/9 + 4*v/18. Let b(k) = k**3 - 22*k**2 - 5*k + 35. Is b(h) composite?
True
Let h be (-544)/204*((-27)/(-4))/3. Let x be (6512/(-12))/(-4) + 4/h. Suppose 0 = -q + 1124 + x. Is q composite?
False
Suppose 331 = g - 3*h, -5*g + 4*h + 1625 = -h. Let q(y) = -4*y**3 - y**2 - y + 5. Let x be q(-5). Let m = x - g. Is m a composite number?
False
Let v(y) = -4*y**2 + 32*y - 147