e -2260629 = -44*c - 458609. Is c composite?
True
Let k = 12 - 8. Let f be (1*3)/((-5)/(-10)*3). Suppose 0*y - 2*y + 1234 = 4*b, -k*b + f*y = -1238. Is b a composite number?
True
Is ((-186384)/(-8))/1 - 7 a prime number?
True
Suppose -14*l = -18*l + 6244. Is l a composite number?
True
Suppose 0 = 11*b - 16 - 28. Suppose -2*p = 3*p - 2*a - 666, 532 = b*p - 2*a. Is p composite?
True
Let m(g) = -g + 8. Let w be m(6). Let s be (-16)/w + -4 + 8. Let x(c) = -37*c + 9. Is x(s) a prime number?
True
Suppose i = -0 + 4. Suppose 8*b - 4*d = 4*b + 8, 4*d + 8 = 2*b. Suppose -l = -2*k - 21, -i*k + 35 = 5*l - b*k. Is l a composite number?
False
Let v(o) = 2*o**2 - 3*o - 4. Let n be v(4). Let z = -24 + n. Is (-1866)/z - 1/4 a composite number?
False
Suppose -u = -2*p + 19143, -u + 20641 = 3*p - 8061. Is p a prime number?
False
Suppose 3*k = 4*s + 56841, -71*s + 66*s = -2*k + 37894. Is k a composite number?
False
Let d(o) = -o**3 - 12*o**2 - 6*o + 5. Suppose 4*g + 8 = 0, 4*m - 5*g = -m + 5. Let i = -13 - m. Is d(i) a composite number?
True
Let o(s) = -2*s**2 + 4*s - 29. Let q(g) = -2*g**2 + 5*g - 28. Let x(p) = 3*o(p) - 4*q(p). Is x(-20) prime?
False
Let g = -109 - -314. Suppose 0 = 5*m - 20, -g + 1980 = 3*l - 4*m. Is l composite?
True
Suppose -23*c - 7568 + 29625 = 0. Is c prime?
False
Suppose -17 = 4*p - 53. Suppose 0 = -p*c + c + 3832. Is c prime?
True
Suppose -2*b = 4*i + 56, 4*i + 87 - 15 = 2*b. Let o(m) = -75*m - 43. Is o(i) composite?
True
Let l(t) = -t**2 + 37*t + 7. Let d be l(37). Let x(w) be the third derivative of 19*w**4/12 - 13*w**3/6 + w**2. Is x(d) a composite number?
True
Suppose -3*g + 3*m = -21006, 2*g - 2*m = -5*m + 14009. Is g composite?
True
Let y(p) = 4*p**2 - 6*p - 2. Let w be y(5). Let h = w + -1. Suppose -3*d + 4*d = h. Is d composite?
False
Suppose -347 + 1850 = 3*c. Is c prime?
False
Suppose -m - 3 = -30. Is 6/m + (-19380)/(-27) a composite number?
True
Let b(c) = -c + 6. Let d be b(0). Suppose 0 = 5*l + 5*k + 15, -2*l + 3*k - d = -0*k. Let o = l - -148. Is o composite?
True
Suppose -9*p + 3 = 93. Let q(a) = -11*a - 4 - 22*a - 8 + 1. Is q(p) a composite number?
True
Suppose p = -x + 2685, -3*p + 4*x = x - 8073. Suppose p = 9*l + 573. Is l composite?
True
Suppose 10 = -4*t + 2*l, 10 = -2*t + 5*l - 3*l. Let r(w) = 3*w - 2. Let k be r(2). Suppose 12 = -t*j + k*j. Is j prime?
True
Let p be 3/(30/3388) - 2/(-10). Suppose 2*s + p = 1277. Is s composite?
True
Let m(s) = 1756*s**2 + 19*s + 124. Is m(-9) composite?
False
Let a(d) = d**3 - 19*d**2 - 25*d - 3. Is a(28) composite?
False
Suppose -6*i + 2*i = -3*j + 175, -5*j = 2*i - 257. Is j a prime number?
True
Let o = 1055 - 180. Suppose p + 0*p - 3*q = o, 5*p = -3*q + 4303. Is p composite?
False
Suppose -5*m - 4 - 6 = 0. Let r be (-1 - m/1)*3. Suppose -4*a - 373 = -r*v, -1 = -3*a + 5. Is v prime?
True
Is 4/6 - (0 - (-1137)/(-9)) a composite number?
False
Let i(l) = -15 + 13 - 155*l - 9 - 9. Is i(-17) composite?
True
Suppose 43*k = 1690100 + 1176581. Is k a prime number?
False
Let g(y) = 104*y**2 - 3*y - 22. Is g(-7) a composite number?
True
Suppose -18098 = -31*a + 72887. Is a a composite number?
True
Let p = 9 + -5. Let g(x) = -7*x**2 - 10*x + 1. Let q(b) = -8*b**2 - 9*b + 1. Let y(m) = 4*g(m) - 5*q(m). Is y(p) prime?
True
Let n(f) = -225*f + 4. Suppose -6*d + 15 = -3*d. Suppose d*c + h + 13 = -1, -c - 6 = -3*h. Is n(c) a prime number?
False
Suppose -854 = -3*w - d, w + 4*w - 5*d - 1450 = 0. Suppose -i = -2*i + w. Let x = i + -131. Is x a composite number?
True
Let q be 0 + (-296)/4 + 1. Let i = q - 374. Is i/(-6) + 3/(-6) a composite number?
True
Is ((-74)/(-4))/(-4 + 633/158) a prime number?
False
Suppose -7*q - 3*j = -3*q - 32, -5*j = -q - 15. Suppose q = -t + 10. Suppose 0 = 2*o - 6, t*x = -5*o + 123 + 637. Is x prime?
True
Let p be 10/(2 + -3 + 0). Let s = p - -7. Is -1 + 333 + (s - -2) a prime number?
True
Suppose 0 = -0*x - 4*x - h + 3219, 5*x - 4028 = 3*h. Suppose -v = -5*t - 0*t + x, -v + 167 = t. Suppose 625 + t = d. Is d composite?
False
Suppose 0 = -5*w + q + 447, 186 = 2*w + 3*q - q. Let k(o) = -o**3 + 2*o**2 - 5*o. Let n be k(6). Is n/(-4)*w/27 prime?
False
Suppose -4243 = -2*z - i + 37331, 41570 = 2*z + 2*i. Is z a composite number?
False
Let q be -2*(0 - 38/4). Suppose -2*i = -a + 10, 0*i - 29 = -5*a + 3*i. Suppose 0 = 5*v + q + 1, v = -a*j + 72. Is j a composite number?
False
Suppose 10*g = 2*g + 2776. Is g a prime number?
True
Let k(j) = 4*j**3 - 47*j**2 + 48*j - 29. Let g(i) = i**3 - 12*i**2 + 12*i - 7. Let r(b) = -9*g(b) + 2*k(b). Is r(12) a composite number?
False
Let y(b) = b**2 + 6*b + 6. Let p be y(-5). Let j(c) = 115*c**3 - c**2 + c. Let i be j(p). Suppose 0 = -4*z + 3*d + 460, -d + 5*d = -z + i. Is z a prime number?
False
Is 24868/8 + (-1)/(-2) composite?
False
Suppose -6*l + 30 = -3*l. Suppose -6*p = -p - l. Suppose 0 = 2*o - 0 - 4, -1169 = -3*i + p*o. Is i a prime number?
False
Let a(t) = 1231*t**2 - 3*t + 2. Let r(d) = 1231*d**2 - 3*d + 3. Let n(v) = 5*a(v) - 4*r(v). Let g be n(-1). Let m = -711 + g. Is m composite?
False
Suppose -3*p - p - 72 = 0. Let a = -9 - -3. Is 6*(-3)/a - p prime?
False
Let i(h) = -48*h - 47. Is i(-18) a composite number?
True
Suppose 0 = -3*k - k + 12. Let t be k + (-40 - 0/(-1)). Is t/(32/(-10) + 3) a composite number?
True
Let a(f) = -3*f**3 + 46*f**2 - 37*f - 32. Let x(p) = -2*p**3 + 31*p**2 - 25*p - 21. Let n(d) = 5*a(d) - 7*x(d). Is n(10) a composite number?
True
Suppose -463 = p + 687. Let o = p - -819. Let u = o + 848. Is u a composite number?
True
Let d(g) = 30*g**2 - 8*g - 2. Let u be d(6). Suppose 0 = -2*i + u + 388. Is i prime?
True
Let u be 15293 - 8/18*(-18)/(-4). Is 4/(12/u) - (-2)/(-1) a prime number?
False
Let s(f) be the third derivative of -f**6/120 - f**5/60 + f**4/24 + 37*f**3/2 + 3*f**2 + 4*f. Let l be (-4)/(-2) - 0 - 2. Is s(l) a prime number?
False
Let p(m) = 9*m - 8. Let l be p(6). Suppose -4*q - 57 - 34 = -3*j, 2*j + q - l = 0. Let h = 6 + j. Is h composite?
False
Let c = 236 + -448. Let z = c - -2545. Is z a composite number?
False
Suppose -2*u = 3*x + 433, 5*x - 2*u + u + 713 = 0. Let l = 306 + x. Is l a prime number?
True
Let q(c) = 5*c + 8. Let n be q(-2). Is ((-1469)/(-26))/((-1)/n) prime?
True
Let i be 165*(52/(-6))/2. Let z be 7 + -427 - (4 - (5 - 3)). Let o = z - i. Is o prime?
True
Let n be (-8)/(-28) + 177/(-7). Let s(h) = -9*h + 26. Is s(n) a composite number?
False
Let g(r) = -8*r + 0*r - 7 + 4*r. Is g(-11) a prime number?
True
Suppose -5*m + 9 = 29. Is 1243*1 + (-1 - -9)/m a prime number?
False
Let u(c) = -c**3 + c**2 + 389. Let q(y) = -y**2 + 2*y. Let p be q(0). Is u(p) a prime number?
True
Let l = -44 + 42. Is (1599/(-6) - l)/((-4)/8) a composite number?
True
Suppose 4*p = -r - 47, -54 = r + 3*p - 12. Is (-66)/4*36/r a composite number?
True
Let w(m) be the second derivative of -19*m**3/6 - 6*m**2 - 6*m. Is w(-9) composite?
True
Let g be 26/(-4)*(-30)/15. Let i(a) = a**3 + 6*a**2 - a - 4. Let y be i(-6). Is y - (g*-18 + 3) a composite number?
False
Let r = -120 + 126. Is (-19060)/(-3) - r/18 composite?
False
Let f be (3 + -3)/((-2)/3*3). Is (178 - f)*25/10 prime?
False
Let s(g) = 1915*g - 367. Is s(8) a composite number?
True
Suppose 0 = -31*t - 5 + 470. Is t prime?
False
Let p(u) = 2767*u - 182. Is p(3) composite?
True
Let h(r) = -158*r + 43. Is h(-6) a composite number?
False
Let u be ((-2)/(-4))/((-18)/(-1476)). Suppose 3*g + 5*d - u = g, 0 = -g - d + 16. Is g a composite number?
False
Let b(s) = 31*s**2 + 2*s - 3. Let j(a) = -47*a**2 - 3*a + 5. Let p(d) = 8*b(d) + 5*j(d). Is p(-2) a prime number?
False
Let w be 432/(-1) - (-2 - 0). Is ((120/(-25))/(-4))/((-4)/w) composite?
True
Suppose 27 = 2*l + 11. Suppose 335 = -l*h + 1759. Is h a composite number?
True
Suppose -7*s + 9702 = -4*s. Suppose -7*l = -s - 4277. Is l composite?
True
Is (-13)/((-507)/65)*24807 a prime number?
False
Suppose 6*o - o + 2*v = 6839, -o - 3*v = -1360. Is o prime?
False
Let u(l) = 1245*l**2 - 14*l + 46. Is u(3) prime?
False
Let f(a) = -5 + 15 - 3 - 358*a. Is f(-7) composite?
True
Let x(t) = t**2 + 4*t - 8. Let m be x(-6). Is ((-1688)/4)/(m/(-14)) a composite number?
True
Let x(z) = 6*z + 1. Let u(q) = -29*q - 5. Let a(y) = -6*u(y) - 33*x(y). Let g be a(-4). Suppose -5*o + g = p, 2*o - 5*o = 12. Is p prime?
True
Let b