e o(-16). Suppose 2*g + 3*l = 163, 0*l = x*g + 3*l - 394. Is g a composite number?
True
Suppose -2*r + 142 = -4*q - 0*r, 0 = -4*q - 2*r - 138. Let u = 35 + q. Is 131*(3 + u + 0) a prime number?
False
Suppose 4*m - 18889 = -f, 0*m + 4*m + 3*f = 18891. Suppose 0 = 4*u + 2*t - m, -u - 2*t - 3524 = -4*u. Suppose n = -u + 3497. Is n a prime number?
False
Let y be 2*(-225)/12*-366. Let x = y - 8146. Is x a prime number?
False
Let g = -6616 - -37113. Is g a composite number?
False
Let c = -3 - -6. Suppose -5*p + 29 = -3*s, 4*p - 5*s = 5*p + 11. Suppose c*d + 3*h - 153 = 5*h, 4*h = p*d - 204. Is d composite?
True
Is 9406661/119 + -17 - 3/(-7) a composite number?
False
Let i(n) = -n - 6. Let y be i(-26). Let z(a) = 71*a + 58. Let l be z(y). Suppose -l = -3*d + d + 4*m, 0 = 2*d + m - 1493. Is d a composite number?
True
Let n be (-24)/(-180) - (-9422)/(-15). Let u = 1191 - n. Is u composite?
True
Let y(l) = l**2 - 7*l - 15. Let f be 425/51 + (-2)/6. Let t be y(f). Is 534/15 - t - (-2)/5 a composite number?
False
Let x(d) = d**3 + d**2 + 9. Suppose -3*i = -5*i. Suppose i = 4*t + 31 - 59. Is x(t) composite?
False
Suppose 53 = -3*s + 41. Is (-68201)/(-35) - s/10 prime?
True
Suppose -61*v + 32*v = -32*v + 421419. Is v prime?
True
Is (8/(48/9))/(57/44254078) composite?
True
Let l(s) = 78*s**2 - 60*s - 61. Is l(-51) a composite number?
True
Is (-79765 - 4*(6 - 8))/(-1) a prime number?
True
Let a(b) = 82*b + 9. Let g be a(7). Let f = 1475 - g. Is f - (247/91 + 4/14) a composite number?
True
Let m(z) = -z - 16. Let q be m(-8). Let x(s) = -2*s - 16. Let r be x(q). Suppose 4*h - g = 483, -5*h + 5*g - g + 601 = r. Is h a prime number?
False
Suppose 6 = -3*s, -3 = f - 4*f + 3*s. Let g(i) = -9*i**3 + 3*i**2 + 3*i + 1. Let o be g(f). Is 10546/o - 32/(-80) a prime number?
False
Let g(a) = -2*a**2 + 32*a + 4. Let y be g(16). Suppose -i + y*b = 4*i + 15, -4*b = i + 3. Is (-1)/((-1)/(i - (2 - 3664))) composite?
False
Let q = 31238 + -1149. Is q prime?
True
Suppose 0 = 72*m - 50*m - 132. Let o = -3 + 6. Suppose 0 = -4*k - m*a + o*a + 1776, 5*a = -4*k + 1768. Is k composite?
True
Suppose -1056104 = -4*r + 2*x, r + 4*x = -2*x + 264065. Is r prime?
True
Let y = 82 - 85. Let o be 35 + 6 + 0/y + -3. Let v = -17 + o. Is v a composite number?
True
Let l(u) be the third derivative of 0*u + 19/60*u**5 + 0 + 7/8*u**4 - 1/6*u**3 - 5*u**2. Is l(-6) a prime number?
True
Let d(t) be the first derivative of -t**5/5 - 5*t**4/12 - 5*t**3/3 + t**2/2 - 42*t + 37. Let a(r) be the first derivative of d(r). Is a(-7) a composite number?
True
Let w(g) = -36*g**2 + 15*g + 14. Let j be w(11). Is (1 - (2 + 0))*j a prime number?
True
Let j(x) = 7*x**2 + 8*x + 4. Suppose 0*h - 3*h + 9 = 0. Let y be j(h). Let a = y - -108. Is a a composite number?
False
Suppose -60*d + 83352729 = 99*d. Is d composite?
False
Let j(z) = -z**3 + 8*z**2 + 6*z - 6. Let s be j(9). Let w = -31 - s. Suppose 2*n + 3*o + 119 = 1456, -1349 = -w*n + o. Is n a prime number?
True
Let r(c) = -3*c**3 - 4*c - 4. Let j be r(-2). Suppose -10*o + 15922 = j*o. Is o a composite number?
False
Let c be -107*(1 - 9)/(-8). Suppose -2*m = -0*m - 288. Let y = m - c. Is y a composite number?
False
Is 63/(-42) - 1/((-4)/119090) a composite number?
True
Let t(h) = -7*h**3 + h**2 + 24*h + 5. Let m(z) = 13*z**3 - z**2 - 50*z - 9. Let c(p) = 6*m(p) + 13*t(p). Is c(-4) a composite number?
False
Suppose -36*i - 42*i + 65901030 = 0. Is i a composite number?
True
Let h = -3 - 0. Let t be h/(-9) + (-316)/(-6). Suppose -7*q + 1614 = t. Is q a composite number?
False
Let z(w) = -w**2 + 24*w - 24. Let h be z(18). Let s = h - 82. Suppose -6 = s*k, -4*u + 0*u + k = -439. Is u composite?
False
Is 80861 + -20*(-36)/60 a prime number?
False
Suppose -5*r = 3*g + 33921 - 223211, -r = 2*g - 126191. Is g a composite number?
True
Let k be (-3 - (-141232)/12) + (-10)/30. Suppose 47463 = 9*m - k. Is m prime?
True
Suppose k + 0*u = -2*u + 95, 2*k = 2*u + 202. Let m be 1 + (-2 - (2 - 5)). Suppose -5*z = m*d - 15 - k, z - 16 = 3*d. Is z prime?
False
Let v(g) = 36*g**3 - 8*g**2 - 15*g + 50. Suppose -166 = -7*x - 117. Is v(x) prime?
False
Let r(d) = -10*d**3 - 5*d**2 + 68*d - 8. Let u be r(-11). Let w = u - -7000. Is w a prime number?
False
Let z be 3 + -3 + (-55)/(-5). Suppose -134 = 9*p - z*p. Is p composite?
False
Suppose 0 = -4*z + 9*f - 6*f + 1370108, -685074 = -2*z + 4*f. Is z a composite number?
False
Let m(o) = -11*o - 203. Let t be m(-19). Suppose -t*s - 11*s = -206431. Is s a composite number?
False
Let w = -273 + 298. Suppose 22*r - w*r + 4722 = c, 0 = -4*r + 4*c + 6296. Is r prime?
False
Suppose 8976536 - 2821716 = 70*k. Is k a composite number?
True
Suppose -q - 9 = -4*p, -6 = -p - 4*q + 3*q. Suppose 5962 = u + p*a, -42*u - 23863 = -46*u + 3*a. Is u a composite number?
True
Let m(h) = 33966*h - 5498. Is m(20) composite?
True
Suppose -4*c + 65 = 53. Suppose -4*i + 9 - 1444 = -3*r, c*r + 2*i - 1465 = 0. Suppose w = -0*w + r. Is w composite?
True
Let c(b) = -15611*b + 51. Let m(z) = -7805*z + 26. Let h(x) = -2*c(x) + 5*m(x). Is h(-2) prime?
False
Let y be 4/(-8)*-6 + -6 + 7. Suppose -c - 2*j = -3811, -c = -j + y*j - 3815. Is c prime?
True
Let f = -14940 - -23441. Is f a composite number?
False
Let p(u) = u**3 + 3*u**2 + 3*u - 2. Let n(y) be the second derivative of y**3/3 + 19*y**2/2 - 4*y. Let a be n(-7). Is p(a) prime?
False
Let g(k) = k - 1. Let t(s) = 2*s - 3. Let v(h) = 3*g(h) - t(h). Let u be v(2). Suppose -5*i - 4*j + 1551 = 0, -4*i - i + u*j = -1527. Is i prime?
True
Suppose -5 = 2*g + 3*c + 36, -g - c - 18 = 0. Let a(p) be the first derivative of -3*p**2 + 15*p + 4. Is a(g) prime?
False
Suppose o + 5*g = -0*g + 20, 0 = 4*o - 5*g - 5. Suppose 2*y + 4*k = 5318, -o*y + 10*y - k = 13284. Is y composite?
False
Is 2/14*-528091*(-18 + 11) a composite number?
False
Let m(s) = 532*s + 2569. Is m(90) prime?
False
Suppose -4*q + 133051 = 3*y, -5*y + 3*q = -159320 - 62451. Is y a composite number?
True
Suppose -2*g + 4*z - 4 = 0, -5*z = 3*g - 0*z + 17. Let d be (-3)/(0 + 3 + g). Suppose 0 = -d*v + 10*v - 6209. Is v prime?
True
Suppose 0 = -4*m + 2*r + 458852, 2*m - 4*r = -70260 + 299686. Is m composite?
False
Suppose 153 = -18*h + h. Is (10386/(-12))/(h/30) a prime number?
False
Let o(q) = -3*q**3 + 4*q**2 + 3*q. Let y be o(-1). Suppose y*h - 14 = -6. Is (h + 477)*(-4 + 5) prime?
True
Let b(y) be the first derivative of 5*y**2/2 + 25*y - 17. Let x be b(-23). Is (-7130)/x - (-4)/(-18) composite?
False
Suppose 20 = -3*t - 2*t, -8 = -q + t. Suppose -18 = 5*d + w, q*w - 12 = d - 0*w. Is 26513/7 - d/(-7) a composite number?
True
Let u(c) be the first derivative of -c**4/4 + 11*c**3/3 + 22*c**2 + 35*c + 286. Is u(-16) a composite number?
True
Suppose 28*d - 10820125 = -59*d + 4866932. Is d composite?
False
Suppose -4*b = -l, 8*l + 4*b = 5*l - 32. Is -2049*(l + 22/6) a prime number?
False
Let o(j) = 474*j**3 + 15*j**2 + 15*j + 7. Is o(9) composite?
False
Suppose 0 = -2*s - 3*s - 100. Let d(h) = 4*h**2 + 9*h + 8. Let b be d(-1). Is ((-1715)/s - b)*8 a prime number?
False
Suppose y - 4*p + 4 = -2, -5*p = -5. Is y/(-11) + (42716/44)/1 composite?
False
Suppose -70*q = -67*q - 33. Let i(w) = 113*w - 92. Is i(q) composite?
False
Let j(x) = -7318*x - 4101. Is j(-17) a composite number?
True
Let a(n) = 9*n**3 - 3*n + 1 - 7*n**3 + 5*n**2 + 25*n**3 - 16*n**3. Suppose -l - 3*l + 20 = 0, 0 = 3*m + 3*l - 30. Is a(m) composite?
True
Let h = 2110 + 1400. Let q = 7861 - h. Is q a composite number?
True
Suppose -2*t - 4 = -2*i, 0 = -t - 3*t + 4. Let a be (6 - -2)*i/((-12)/(-17)). Let l = a - -853. Is l prime?
True
Suppose -76 = -3*o + z - 3*z, 3*o + z - 71 = 0. Let i be (-2)/11 - (-92)/o. Suppose s - 1050 = -i*d, 3*d + 0*s - 799 = 5*s. Is d prime?
True
Let u(c) = -16*c**3 + 7*c**2 + 11*c - 1. Suppose -3*s = -3*j, 4*j - 6*j = -3*s - 4. Is u(s) a composite number?
False
Suppose -q = 2*q + 15*q. Suppose -3*z + 33864 = 3*t, q = 3*t + t + 5*z - 45157. Is t a prime number?
False
Suppose 174 = -3*v + 5*h + 1047, -4*h - 582 = -2*v. Let y be 2 - v/3*-1. Suppose -101*p + 2510 = -y*p. Is p prime?
False
Let m be ((-8121)/6)/(245/42 - 6). Suppose 2*u = 3*j + 125 + 5279, -3*u - 3*j = -m. Is u a composite number?
True
Let n(z) = -17594*z**3 + 8*z**2 + 21*z - 29. Is n(-4) a composite number?
False
Let z(