 a composite number?
True
Let f(b) = -b**2 - 20*b - 15. Let q be f(-19). Suppose 3546 = 3*w + 2*w + q*m, m = 3*w - 2131. Suppose -3*c + 4163 - w = 0. Is c a composite number?
False
Suppose -87*i - 5*d - 189621 = -89*i, -3*i + d + 284438 = 0. Is i composite?
True
Suppose 35532 = -7*a + 123515. Is a a prime number?
True
Suppose -190114 = -9*z - 45727. Is z a composite number?
True
Let b = 4299 + -1481. Suppose 5*x = 2*t - 10939 + b, 0 = -4*t - 2*x + 16302. Let d = t - 2712. Is d prime?
True
Let o(c) = -c - 82*c**2 + 206*c**2 - 35 + 36. Let i be o(-1). Is (i/4 - 2)*(2 - -12) a composite number?
True
Let l be 16 - (-5)/((-5)/(-6)). Suppose 112745 = l*y - 12281. Is y a composite number?
False
Let f be ((-18)/(-12) + -1)*6. Let g = f - -28. Suppose 39 + g = 2*s. Is s composite?
True
Suppose 8*a - 25 = -5*h + 3*a, 15 = 3*h + 4*a. Suppose -22995 = -h*w + 37490. Is w prime?
True
Let y(p) be the third derivative of -p**6/15 - p**5/20 - 5*p**4/24 - 7*p**3/6 + p**2. Let f be (-4)/26 - (-126)/(-26). Is y(f) prime?
False
Suppose 125179 = 5*l + 7*l - 397697. Is l a composite number?
False
Let g(f) = -2*f + 6. Let m be g(5). Let j(i) = i**2 - 61*i + 338. Let q be j(55). Is -2*(955/4)/(m/q) a prime number?
False
Suppose 12*p = -2077 - 1427. Is (885/(-20))/3*p prime?
False
Let w be 18577/(-6) - (-280)/(-336). Is (-1)/(-2) - (w/2 + 6) a prime number?
True
Let n(t) = 2*t**2 - 10*t - 2545. Let i(y) = -4*y**2 + 21*y + 5092. Let h(x) = -4*i(x) - 9*n(x). Is h(0) a prime number?
False
Is ((-15)/(1530/1418327))/((-11)/(-6) + -2) prime?
True
Let w = -570330 + 2675629. Is w composite?
True
Let g be ((7200/27)/10)/(2/6). Suppose g*w - 81*w = -9533. Is w composite?
False
Suppose -3*t + 3*o + 24 = 0, 4*t - 2*t + 4*o = 4. Suppose 4*s = h + 16, t*s - s - h - 19 = 0. Let b = s - -16. Is b composite?
False
Let k(z) = z**2 - 10*z + 17. Let p be k(7). Let x = 2 - p. Suppose -x*r + 0*r = -1164. Is r a prime number?
False
Let c(d) = 4099*d**3 + 194*d**2 - 581*d + 5. Is c(3) composite?
False
Suppose 0 = -97*n + 94900940 + 57375606 + 2391603. Is n prime?
True
Suppose -4*l - 93 = -2*h + 417, 2*h - 494 = -4*l. Suppose 9*o - 1178 = -h. Let x = 350 - o. Is x composite?
True
Let l be (-4026)/10 - ((-18)/30 - -1). Let u = l - -679. Let s = u - 65. Is s prime?
True
Suppose -13033 = -5*q + 5*z + 4832, 4*z - 3563 = -q. Let f = q - 1053. Is f composite?
True
Let v(y) = -2*y**3 - 16*y**2 - 30*y + 12. Let a be v(-5). Let h(x) = 3*x**3 - 9*x**2 - 31*x + 25. Is h(a) a composite number?
False
Let h = 176 + -174. Suppose 26*x + 2*p = 21*x + 26085, 10413 = h*x + 5*p. Is x prime?
False
Suppose -59*q - 30 = -69*q. Is 3132 + q*5/(-3)*-1 composite?
False
Let j = -658871 + 1031742. Is j a prime number?
True
Let l(u) = 2*u**2 + 44*u + 47. Let b be l(-21). Suppose f = -3*a + 53, -18*a + 265 = b*f - 20*a. Is f prime?
True
Suppose 0 = 2*y + 21 + 11. Let z be 1 + (11/4 - (-12)/y). Suppose 0 = -4*c - w + 2365, -z*c - w = 2*c - 2956. Is c a prime number?
False
Let c = -13533 + 7956. Let k be ((-6)/10)/(-4 + c/(-1395)). Is (-49)/(-49) - -22*(k + 0) prime?
False
Suppose 0 = -4*t + 12*t + 25064. Is (4 + 0)*(-1 + 2) - t composite?
False
Let g(t) = -45*t**3 - 14*t**2 - 20*t - 6. Let v(n) = 15*n**3 + 5*n**2 + 7*n + 2. Let a(f) = -6*g(f) - 17*v(f). Let q be a(-1). Is (-2443)/q + 20/150 prime?
True
Suppose 60*k = 40*k + 516580. Is k a prime number?
False
Let o(i) = -i**3 + 10*i**2 - 5*i - 29. Let b be o(10). Let r = -64 - b. Is 1111/2 - r/(-10) prime?
True
Let s be 2266/6 + 1*(-2)/(-6). Let u be (-1 + (-3149)/(-1))*s/108. Suppose 5*a - 27590 = o, 4*o = a + a - u. Is a composite?
False
Let w(p) = -59*p**2 - 2*p - 1. Let d be w(-1). Let f = -51 - d. Let i(l) = 2*l**2 - 4*l - 5. Is i(f) a prime number?
False
Let y be -165988*(((-27)/(-4))/3 + -3). Suppose 3*b - y = -3*o - 10347, 38028 = b + 5*o. Is b a composite number?
False
Is 10 + -12 + (-14598)/(-2) composite?
False
Is -6*(-9)/(-135) - (-168794)/10 prime?
True
Let u be -5 + -7*5116/(-28). Suppose i + 585 = 2*i - 5*z, 1 = -z. Let c = u - i. Is c prime?
False
Suppose 16 = -6*t + 10*t. Suppose -t*h + 567 = -3*q - 536, -3*h - 1110 = 3*q. Let l = -148 - q. Is l prime?
False
Suppose w - 140330 = -g + 33069, -5*g = -3*w + 520165. Is w a composite number?
True
Let o(h) = -185*h - 344. Let i be o(-2). Suppose 6*g = 2*g + 2160. Suppose -i = -z + g. Is z prime?
False
Suppose 84*d = 115*d + 120*d - 13722427. Is d prime?
False
Let g(i) = i**2 - 50*i - 464. Let a be g(58). Suppose -5*c - 3*d + 2*d = -21, -2*c - 5*d + 13 = 0. Suppose c*b + 6*b - 770 = a. Is b composite?
True
Suppose 2 = -t + 4*g - 8, 10 = 2*t + 2*g. Suppose -t*m = 1 - 5. Suppose -p + 106 = m*u, 3*p - p - 59 = -u. Is u composite?
True
Suppose 3*g - 2*g + 20 = -4*l, -2*g - 8 = 0. Let r be (8/6)/l*23442. Is (3*4/(-6))/(4/r) a composite number?
False
Suppose 0 = -2*i + 473 - 165. Suppose 18*v - i = 16*v. Is v a composite number?
True
Suppose -4*p - 19424 = -2*k, -5 = -p - 1. Suppose s = -4*o + 3224, -k = -3*s + 4*o - 0*o. Suppose 0*t + 4*t = s. Is t a composite number?
False
Suppose -43380519 - 19102916 = -35*t. Is t prime?
True
Let j be (-8)/40 - 1/(10/8268). Let k be (-1 - 10/2) + -1714. Let a = j - k. Is a prime?
False
Let r(i) be the first derivative of 2*i**3 + 17*i**2 - 13*i - 121. Is r(-24) a composite number?
True
Let g = 13146 + -6532. Suppose 12083 + g = 7*m. Is m a prime number?
True
Let f = 102 + 203. Let o = 1417 + -1561. Let r = o + f. Is r a composite number?
True
Let t(u) = u**2 - 2*u - 15. Let x(w) = -w**3 + 2*w**2 + w - 2. Let r be x(1). Let q be t(r). Let c(b) = 2*b**2 + 4. Is c(q) prime?
False
Let j = 4666 - 6816. Let s = j + 3667. Is s prime?
False
Suppose 5*i + 168219 = 4*x, -7*x = -5*x - 3*i - 84107. Is x a prime number?
True
Suppose -12*k - q + 37666 = -11*k, 5*k + q - 188310 = 0. Is k a prime number?
False
Let r(q) be the third derivative of 439*q**4 - 13*q**3/6 + 3*q**2 - 1. Is r(2) a composite number?
False
Let a = 933 + 23230. Is a prime?
False
Suppose 0 = -0*a - 3*a. Suppose a = 20*y - 27*y + 19040. Suppose -3*d = 4*v - y, 4287 - 856 = 5*v - 4*d. Is v a composite number?
False
Let l be -147*(-10)/60*(-4)/(-7). Suppose -p + 2*q = -1639, -15*q + l*q - 1 = 0. Is p composite?
False
Suppose -15*x - 38*x = -14*x - 1773759. Is x composite?
False
Suppose 11677 = -2*b + 2267. Suppose -4*n - 10*a - 28260 = -6*a, 0 = -4*n + 5*a - 28233. Let g = b - n. Is g a composite number?
False
Let d(i) = -5*i**3 - 3*i**2 + 1. Let z be d(-1). Let f(l) = 46*l - 5. Let h(n) = 45*n - 6. Let c(w) = z*h(w) - 2*f(w). Is c(9) a composite number?
False
Let z(i) = -157*i**3 - i**2 + 3*i + 9. Let q be 2/4*(-8 - (4 - 4)). Let x be z(q). Suppose -x = -4*r + 3383. Is r a composite number?
True
Is (-8 - 1) + (-28 - -36) + 17724 a prime number?
False
Is (4 - -3 - 14) + 197114 + -10 composite?
True
Let d = 15537 - -10207. Let k = -37396 + d. Let s = -5983 - k. Is s prime?
True
Suppose 2*l - 8 = 0, 2*m - 2*l + 1722990 = 9090864. Is m a prime number?
True
Let g = 406236 - 139153. Is g a composite number?
True
Let s(k) = 3754*k - 6713. Is s(15) a prime number?
True
Suppose 43*n + 269848 = 51*n. Suppose -3*r = -10*x + 8*x - n, 22491 = 2*r - 5*x. Is r a prime number?
True
Is (-18 - (-2192476)/39)*1/(2/3) a prime number?
True
Suppose u + 3*z - 7472 = 0, 3*u - 6*z - 27898 = -5587. Is u composite?
False
Let a = 0 + 0. Suppose -5*g = 13*g - 10026. Suppose a*h - g = -h. Is h prime?
True
Suppose -19*a + 80 = -15*a. Suppose 3*h + a = 8*h. Is h/(-16) + ((-8082)/(-8) - 1) prime?
True
Suppose -4*v = 5*g - 71, 27*g - 24*g = -v + 16. Let r(t) = -1 - 4 + 18 + 29 + 3*t**2 - 8*t. Is r(v) a composite number?
True
Suppose -y + 191315 = 3*q, -14*q + 765204 = 4*y - 16*q. Is y composite?
True
Suppose 94*d + 66*d = 53*d + 102421577. Is d prime?
True
Let j be ((-9)/15)/((-138)/45 - -3). Let x = 12 - j. Suppose 0 = x*a - 7*a + 884. Is a a prime number?
False
Let n be ((-304)/12)/(1/(-6)*4). Let k(r) = -n*r + 49*r + 51*r - 1. Is k(18) a prime number?
False
Let d(v) = 158*v**2 - 6*v + 4. Let w be d(5). Suppose 12*o + w = 18*o. Suppose -o = -4*k - 0*h + h, -5*h = -k + 173. Is k prime?
True
Suppose 0 = -102*g + 93*g + 18. Is (-3562 - 1)*(g - 3)*1 composite?
True
Let v be -2 - (4359 - 1) - 2*1. Let h be (1 - 16/28) + v/(-14). Suppose -h = -y - i, 5*y - 1035 =