407, -4*m - 4*j = -1992500. Is m composite?
True
Let t = 16972 + -3825. Is t a composite number?
False
Let d(c) = -5*c**2 - 20*c + 28. Let k(o) = -4*o**2 - 19*o + 28. Let g(m) = -6*d(m) + 5*k(m). Is g(-30) composite?
True
Suppose 2 = 5*f - 4*w - 3, 0 = -3*f - 2*w + 25. Suppose 7*h = 5*h + 4*r + 14, 4*r = f*h - 23. Is (-2710)/(-4) + h/2 prime?
False
Let r be -3 + -1108 + 16/(-4). Let c = -651 - r. Is (-2)/(-6) - c/(-12) prime?
False
Suppose -90*n - 298*n + 30993484 = -25709224. Is n a composite number?
False
Suppose 12731910 = 3*b + 17*b + 10*b. Is b a composite number?
False
Let x = 48724 + -80. Suppose 6*b - x = 7972. Is 1/(4/b) - 2 a composite number?
False
Suppose 0 = 19*o - 11*o + 72. Is 6/o + (-478)/(-6) a prime number?
True
Suppose 5*z + 2*q - 6 = -0, 3*q = -z + 9. Suppose -5*v - 5*l - 130 = z, -8*l + 4*l - 17 = v. Let b = v - -32. Is b a prime number?
True
Let b(j) = 2*j**2 + 30*j - 29. Let h be b(-16). Suppose f - 2614 = -m, 4*f + 4361 = h*m - 3446. Is m composite?
False
Let p be 14/35 - 36/(-10). Suppose 2*n - p*s = -976, -3*n - 5*s - 967 = -n. Let v = 55 - n. Is v composite?
False
Suppose -268*r - 934653 = -271*r. Is r a prime number?
True
Suppose 2590 = 77*o - 72*o. Let i = 741 - o. Is i composite?
False
Let p(d) = -34*d**2 - 4*d - 5. Let c(l) = 51*l**2 + 1 - 13*l**2 - 19*l**2 - 18*l**2. Let r(x) = -6*c(x) - p(x). Is r(-3) prime?
True
Suppose 3*n - 635 = -620. Suppose -2*b = -n*g + 3663, -68*g - 4*b - 1462 = -70*g. Is g a prime number?
True
Suppose 9*f + 7*f + 16*f - 13191136 = 0. Is f a composite number?
True
Let p = 406 - 387. Suppose -2*l + 4*w = -30698, -22*w + p*w - 9 = 0. Is l composite?
True
Let s(o) = 118503*o**2 - 3*o + 5. Is s(-1) a composite number?
True
Let r(p) = -15*p - 3. Let u be r(-2). Suppose 5*d + 40 = 4*o + 12, 0 = -2*o - d. Suppose o*l - 1235 - u = 0. Is l prime?
True
Suppose -23085 - 106797 = -3*m. Is m a prime number?
False
Let f(g) = 1114*g. Let w be f(-3). Let u = w - -940. Is (u/(-5))/((-2)/(-5)) composite?
False
Let g be -66 + 71 + 1/(-2 + 1). Suppose 0 = 4*u + 2*p + p - 24646, g*u = p + 24654. Is u a composite number?
False
Suppose 0 = -141*r + 14*r + 13334881 + 8919202. Is r a composite number?
False
Is -3 - (30/(-5) - 57554) composite?
False
Let o(l) = 1832*l - 123. Let c(x) = -610*x + 41. Let b(r) = 7*c(r) + 2*o(r). Is b(-7) prime?
True
Suppose 7650820 = -7*c + 27*c. Is c a prime number?
True
Let g = -20 + 41. Let y be g/(-6)*-139*(3 + 3). Suppose -3*d = -3*i - y, d = -d - i + 1940. Is d a composite number?
False
Let d(c) = -c**3 - 4*c**2 - 4*c. Let q be d(-3). Let u(s) = 7*s - 2. Let t be u(1). Suppose t*p = 2*a - 763, 0 = -0*p - q*p - 3. Is a a composite number?
False
Let t be 3*1/(-4) - 247/(-52). Suppose 5*w - t*w - 14 = -3*v, 5*v + 2*w = 23. Is v/((-50)/(-16398)) + 4/(-5) prime?
False
Let w(k) = 28047*k**2 - 108*k + 211. Is w(2) a composite number?
True
Suppose 91*v - 2255 = 90*v - 3*k, v + 5*k - 2247 = 0. Is v composite?
False
Let n = -67 + 113. Suppose 279 = k + n. Is k prime?
True
Let o be ((-32)/8 - -5) + 194 + 1. Suppose 0 = 191*v - o*v + 925. Is v prime?
False
Suppose -4*i + 258526 = 2*x - 0*x, 2*x - 258526 = 5*i. Is x a composite number?
False
Is ((-1)/4)/(8 + -4 - (-5946753)/(-1486684)) a composite number?
False
Let s be (-1 + (-3283)/(-14))/((-1)/(-28)). Suppose -15*v + 11657 = -s. Is v composite?
False
Let k(u) = 7544*u**2 - 294*u + 13. Is k(6) prime?
False
Let h(j) = 212*j + 75 - 392*j + 198*j. Is h(12) a composite number?
True
Let d be 5 - 2 - (-6)/3 - -15. Suppose d*t - 25*t = -5215. Is t a prime number?
False
Suppose 5*w - 4*r - 2329109 = 0, 1863282 = 4*w - 5*r + 7*r. Is w composite?
False
Let q(k) = k**3 - 7*k**2 - 17*k - 7. Let p be q(9). Is 2379211/222 - p/12 prime?
False
Let m = -3385 - -7037. Suppose 927 = -2*u + 4921. Let z = m - u. Is z a prime number?
False
Is ((-135)/540)/(1/(-341188)) a prime number?
True
Suppose 4*l + 5*k = 3*k - 16, -k + 16 = -2*l. Let d = l - -7. Is 1097*(d + (-2)/2 + 1) a composite number?
False
Is (29 - 22) + 74709 + 2 + 3 a prime number?
False
Suppose 13577*x = 13564*x + 1951001. Is x prime?
True
Suppose 3*x + 244 = 253. Is x/(18/4) - (-2490)/18 a composite number?
False
Is ((-320)/96)/(4/3)*-2*51631 composite?
True
Let d(x) = x**3 - 18*x**2 - 28*x + 461. Is d(38) a prime number?
True
Let s = 645 - -181. Suppose 4*b - 186 = s. Is b a composite number?
True
Let g = 4604 + 757. Suppose 0 = -5*k + g + 3184. Suppose 2*q - 3*a - k = 0, -5*a - 1711 = -2*q - 0*a. Is q prime?
True
Suppose -63*c - 6677345 = -148*c. Is c composite?
True
Let x = 616 - 235. Suppose 0 = -u - g + x, -u + 2*g - 193 = -577. Is u composite?
True
Let x = 9 - 3. Suppose -3*p + 4*z + x = 2*z, 5*z - 11 = p. Suppose 3*v = -2*a + 3467, p*v + 5*a - 2747 - 1871 = 0. Is v prime?
False
Let a(k) = 8*k**3 - 1 + 30*k + 6*k**2 - 5 - 25*k. Let l = -5 - -10. Is a(l) a prime number?
False
Let d(f) = 31090*f - 1277. Is d(6) composite?
True
Suppose 10*i - 12 = -42. Is ((-13143)/i - -2) + -6 prime?
False
Let w = -19 + 23. Suppose 17 = 3*f + 2*q, -w*f - q = q - 22. Is 386/f + (-10)/50 a prime number?
False
Suppose -13*f - 166234 = -444785. Is f a prime number?
False
Let w = 1269859 + 1468534. Is w composite?
True
Is -5*3/3 + 6529 + (-4 - -1) a composite number?
False
Let s(o) = 3980*o**2 - 192*o + 3685. Is s(24) composite?
False
Is ((-6 - -3) + -3147654)*4/(-12) a composite number?
False
Is 93363072/880 + -2 + (-24)/(-15) composite?
True
Suppose -25*b - 912 = -41*b. Let k be -6*(2 - 100/6). Let u = k - b. Is u a prime number?
True
Is 1 + -7 + 2 - (-531187 - -242) prime?
False
Suppose 13*i - 30 = 3*i. Suppose m + 4*m = -20, -i*u + 1577 = m. Is u a prime number?
False
Suppose -4*f - 25867 = -9*j + 6*j, -8622 = -j + f. Is j composite?
True
Let k(f) = -f - 4. Let y(r) = 3550*r + 36. Let b(g) = 5*k(g) + y(g). Is b(1) a prime number?
False
Let s(c) = -c**2 - 10*c - 24. Let y be s(-6). Let m(n) = n**3 + n**2 - 3*n + 554. Is m(y) prime?
False
Let y(f) = f**3 + 8*f**2 + 3*f - 15. Let n(x) = x**3 - 14*x**2 - 16*x + 8. Let o be n(15). Let q be y(o). Suppose -2005 = q*g - 18*g. Is g a composite number?
False
Let o be (-4)/22 - (175/(-55) - -1). Let t(u) = 7695*u + 29. Is t(o) prime?
False
Let q be 221/17 + 8*-1. Is -4 + (390425/q)/5 a composite number?
True
Let y(h) = -1028*h**2 + 377911. Is y(0) composite?
False
Let z = -3961 - -5985. Suppose -11*t + z = -1221. Is t prime?
False
Let l = -38 + 48. Is ((-10)/l)/(((-6)/20258)/3) prime?
False
Let d(y) = y - 3. Let u be d(5). Let f(a) = 11*a**2 + 15*a**2 - 10*a**2 + 5*a + 5*a**u + 3. Is f(-4) composite?
True
Let k = 302 - 303. Let c(x) = 209*x**2 - 4*x - 2. Is c(k) composite?
False
Let v = 3586 + -5711. Let n = -764 - v. Is n a prime number?
True
Let l be 5/25 - (-2 - (-1064)/20). Let q = l + 56. Suppose -2*z - 2*v + 61 = 5, 5*z - 170 = q*v. Is z a prime number?
True
Suppose 5*z - 2*z = -168. Let o = z - -56. Suppose 8*p - 1028 - 4196 = o. Is p prime?
True
Let t be -5630 + -2*-3*2/(-6). Let x = 8091 + t. Is x a composite number?
False
Let n(h) = 5280*h**2 + 176*h + 1. Is n(-7) a composite number?
False
Let x(a) = -a**2 + 6*a - 10. Let s be x(-25). Let y = 2904 + s. Is y a composite number?
True
Suppose 11*g = 12*g - 3. Suppose -w = -n - 3*w, -n + g*w + 15 = 0. Is (-1)/(-1) + (26460/7)/n a prime number?
True
Let w(n) = -6*n**3 - 2*n**2 - 6*n - 30. Let t be w(13). Is (7/20 - 24/40)*t a prime number?
True
Let b(r) = r**3 + 13*r**2 - r - 10. Let v be b(-13). Suppose -h = c + 426 - 3700, v*c + 16346 = 5*h. Is h prime?
True
Let p(y) = y**3 + 32*y**2 - 14*y + 73. Let u be p(-33). Let l = u + 801. Is l composite?
True
Let l be (-10024)/(-504) + 1/9. Suppose 4*q = 8*q - l, -9957 = -s + 4*q. Is s a composite number?
True
Let w(t) be the third derivative of 7*t**4/12 + 63*t**3/2 - 58*t**2. Is w(23) composite?
True
Let k(u) = 3*u**3 + 6*u**2 + 4*u. Let a be k(-9). Let l = 6652 - a. Is l composite?
False
Suppose 5*u + 29119 = 8529. Let o = 6113 + u. Let b = o - 898. Is b a composite number?
False
Let x = -79169 - -163528. Is x a prime number?
False
Let r(n) be the third derivative of 71*n**4/12 + 5*n**3/6 - 5*n**2. Let w be 102/(-136)*32/(-6). Is r(w) a composite number?
True
Let l be 6/24 + 9/12. Let i be (5 - 13)*l/(-4). Suppose -i*q + g = -74, 6*q - q - 185 = 4*g. Is q a prim