 g composite?
True
Let k(v) = v**2 + 14*v - 13. Let m be k(-15). Suppose o - 4*w - 160 = 165, o - m*w - 323 = 0. Is o a composite number?
True
Suppose 0 = 5*w - 16299 + 5284. Is w prime?
True
Let l be (-12)/72 + (-14)/(-12). Let i be 11 + (-3 - l) + 0. Let o(s) = -s**3 + 10*s**2 - 5*s + 9. Is o(i) composite?
True
Let j be 165/10*2/3. Suppose -28 = -4*q - 4*h, 2*q + 2*h = 5*h - j. Suppose 3*d - 1608 = 3*u, 0 = -q*d + 4*u + 1392 - 318. Is d a prime number?
False
Let a(h) = 2*h + 21. Let y be a(-9). Suppose 7*b - y*b + f - 13 = 0, -3*f - 6 = -3*b. Suppose -4*m + 3191 = 4*l + 655, b*l = 2*m + 1887. Is l composite?
False
Let c = 25 + -17. Let z(y) = -7 - c + 2*y**3 - 2*y**3 - 11*y**2 - y**3 + 8*y. Is z(-12) composite?
True
Suppose -4*w - 5601 = -5*k, -3*k + k - 5*w = -2214. Suppose -d - b + k = 0, 1121 = d + 2*b + b. Is d a prime number?
False
Let t(z) = 40*z**2 + 13*z - 112. Is t(-19) a composite number?
False
Suppose -2*l - 10 = 0, 0 = -5*o - 2*l + l + 35. Suppose o = -v + 22. Is (-35)/v*(-52)/5 a composite number?
True
Is (169/169)/(58152/(-58154) + 1) composite?
False
Let o(d) = 2*d**2 - 4*d - 17. Let h be o(5). Suppose h*g - 7082 + 49 = 0. Is g a prime number?
True
Suppose -2*d = -2*g + 1176, -4*d - 25 = -9*d. Suppose u + w - 117 = 0, g = 4*u + 3*w + 128. Is u/19 + (1 - 1) composite?
True
Let q be (-5 - (-2 + -1)) + 4. Suppose 2*j + 3*z = 2*z + 33, 3*j = q*z + 53. Let d = 106 - j. Is d prime?
True
Suppose -3*v + 190925 = 2*s, -136*v = -135*v + 5*s - 63646. Is v a composite number?
True
Let p(v) be the third derivative of 11*v**7/1680 - v**6/360 + v**5/6 - 8*v**2. Let j(i) be the third derivative of p(i). Is j(3) a prime number?
True
Let a = 69 - 70. Let j = -1 - -1. Is 25*(2 + a - j) a prime number?
False
Let z = -7474 + 22901. Is z a composite number?
False
Let f(y) = -10*y**3 + 12*y**2 + 22*y - 1. Is f(-6) composite?
False
Let x = -595 - -589. Let f(l) = -l**3 + 3*l**2 + 7*l - 8. Let s(q) = -3*q**3 + 8*q**2 + 21*q - 24. Let u(t) = -17*f(t) + 6*s(t). Is u(x) a composite number?
True
Let x be (12/24)/(2/20). Let f(r) = 5*r**2 - 3*r**2 - 1 - x*r**2 + r**2 + 15*r. Is f(7) composite?
True
Is (-12*3/(-24) - -3553)*2 composite?
False
Suppose 5*a = j + 2*j - 6, -6 = -3*j + 3*a. Suppose j*v + 2 = 10. Suppose v*g = 5*g - 177. Is g composite?
True
Suppose -1089 - 906 = 21*i. Let n(r) = -5*r**2 - 8*r + 7. Let c be n(7). Let g = i - c. Is g a composite number?
False
Suppose -5*f + 5*n + 10 = 0, 0 = -3*n - n + 4. Suppose f*i + 1949 = 5*j, -2*j + 776 = 4*i - 7*i. Suppose g + j = v, 4*g + 397 = v - 0*g. Is v prime?
True
Suppose -5*d + 371 = 2*i - 164, d + 3*i = 107. Let m be -2*(-237)/2 - 3. Let b = m - d. Is b a prime number?
True
Suppose -6*x = -x. Suppose x = 2*b - b - 509. Suppose -4*a = -519 - b. Is a a composite number?
False
Suppose 5*o = 4*q + 34, 4*q + 5*o + 38 = -16. Let a = -7 - q. Let t(y) = 16*y - 5. Is t(a) a prime number?
True
Let z be (7618/(-39))/(4/(-42)). Suppose r = 8*r - z. Is r prime?
True
Let j(o) = 199*o**2 - 3*o + 45. Is j(13) a composite number?
False
Suppose -10*d + g + 2207 = -6*d, 4*d + 2*g - 2198 = 0. Is d composite?
True
Let v(r) = -8 - r**2 + r + 3*r - 3*r**2 - r**3. Let d be 1175/(-175) - (-4)/(-14). Is v(d) a prime number?
False
Let f = 60641 - 33550. Is f prime?
True
Let f(z) = z**3 + 8*z**2 + 8*z + 10. Let x be f(-7). Suppose c + x = 2*c. Suppose -5*n - 14 = c*l - 51, 80 = 4*l - n. Is l composite?
False
Let m = 80 - 78. Suppose m*c + 155 = 793. Is c composite?
True
Let h(b) = 4*b**2 + 4. Suppose 5*f + c - 9 = -0*f, -2*f = 4*c. Let k(i) = -3*i**2 + i - 3. Let a(d) = f*k(d) + 3*h(d). Is a(5) prime?
False
Suppose -3*x + 10 = -2*p, 5 = 4*x + p - 1. Suppose -2*f - 2*r + 228 = 0, 0 = x*r + r. Is ((-2)/4)/((-3)/f) composite?
False
Suppose 0 = -2*n + 16 - 6. Suppose -n*k = 5*y + 15, 0*k = -5*y + k + 15. Suppose 4*j - y*s = 508, -5*j + 3*s + 181 + 454 = 0. Is j prime?
True
Suppose -4 = 8*t - 9*t. Let g = 239 - t. Suppose 4*d = g + 705. Is d a composite number?
True
Let r(f) = 598*f**2 + 48*f - 239. Is r(5) prime?
True
Suppose 16 = -2*u + 26. Suppose -v - u*o - 1 = 0, -3*o = 5*v - 3*v + 9. Is (70/v)/(1/(-3)) prime?
False
Let k be (-27)/5 - 8/(-20). Let o be k/20 + (-58)/(-8). Let p = o - -70. Is p composite?
True
Let x = -20 + 27. Suppose x*a - 8 = -1. Is (-8 - -4) + (39 - a) prime?
False
Is (5/(40/(-24)))/(2/(-2866)) prime?
False
Suppose 0 = 4*k - 5*s - 704 - 488, -5*k + 3*s + 1503 = 0. Suppose 0 = -4*f + 5*o + 605, 4*f - 308 - k = 3*o. Is f a composite number?
True
Let b = -25 - -31. Suppose 8*p = b*p + 1006. Is p composite?
False
Let o(y) = -y + 17. Let p be o(16). Let t = p - -7. Suppose t*w - 5*w = 471. Is w composite?
False
Suppose 1 = -2*h + 3*h. Suppose -3*u + 8 = -h. Suppose -2 = -i - u*m + 27, 2*i = 3*m + 13. Is i a composite number?
True
Suppose -2 = -x, -4*x = y - 3457 - 8. Is y a prime number?
True
Let f = 5 + -2. Let n(t) = 102*t**2 + t + 7. Let z be n(f). Suppose -5*k + z = 3. Is k prime?
False
Let x(f) = 4*f**2 - f. Let v be x(1). Suppose 23 = -w - 5*m, w - 2*w - 2*m - 8 = 0. Suppose -7*c + 2*c = -5*d + 60, 0 = -v*d + w*c + 37. Is d composite?
False
Is -3 - -871 - (12 + -15) a prime number?
False
Let l(u) = u**3 + u**2 - 3*u - 2. Let m be l(-2). Suppose m + 8 = 4*v. Suppose v*n = -w + 29 + 130, -n + 5 = 0. Is w a composite number?
False
Let b be 60*(-4 - (-4 + 1)). Is b/(-24)*(-134)/(-1) composite?
True
Suppose -5*h - 2*p + 0*p - 1 = 0, 4*h = p + 7. Suppose -4 + h = -3*i. Is (i/(-2))/(4/(-408)) composite?
True
Suppose 101752 = 10*o - 106978. Is o a composite number?
False
Suppose 12*s - 14*s + 10 = 0. Suppose s*q + 367 - 1702 = 0. Is q prime?
False
Let f = 61 + -56. Suppose f*t - t - 4072 = 0. Is t composite?
True
Let a be 0/5 + 2 + 2. Suppose -5*k + 815 = 5*m, a*k - 815 = -5*m + 2*k. Suppose 2*s = s + m. Is s prime?
True
Let j = 43031 - 25140. Is j a composite number?
False
Suppose -s = 4*f + 4*s - 63787, -5*f + 79718 = s. Is f composite?
True
Let x(a) = 9769*a - 688. Is x(3) a composite number?
False
Let v be 1843 - (2 + (-9)/3). Let u = 3237 - v. Is u a composite number?
True
Suppose -2*t + 7876 = 5*x, 3*x - 8*x - 11839 = -3*t. Is t prime?
True
Let m(d) = d**3 - 5*d**2 + 6. Let p be (-1)/((2 + -1)/(-5)). Let n be m(p). Suppose 0 = -n*y + 397 + 2417. Is y a prime number?
False
Let p(r) = r**2 - 5*r - 10. Let q(l) = l**2 + 9*l. Let m be q(-9). Suppose m = -c + 5 + 3. Is p(c) a prime number?
False
Is 49104 - 1/6*6 prime?
True
Suppose 898 = 5*l - 2*m, -4*l + 724 = m + 3. Suppose x + 37 - l = 0. Is x composite?
True
Let j(b) be the first derivative of b**6/60 - b**5/15 - b**4/6 + 5*b**3/6 + 2*b**2 + 10. Let n(u) be the second derivative of j(u). Is n(4) composite?
False
Is 5 + -1 - 96054/(-56)*4 composite?
True
Let c(a) = -2*a + 6. Let k(v) = -v + 6. Let o(x) = 2*c(x) - 3*k(x). Let h be o(-11). Suppose -938 = -h*f + 567. Is f prime?
False
Let x be (-2)/(-4)*73*2. Let t = 1756 - 1754. Suppose 189 = t*p - x. Is p prime?
True
Suppose -2*v = 3*k + 18, 2*k + v - 3 = -15. Let c(x) = -112*x + 1. Is c(k) a composite number?
False
Let d be ((-6)/(-30)*3)/((-2)/(-90)). Suppose d*q - 32*q + 4535 = 0. Is q a composite number?
False
Let i(o) = -9*o - 6. Let d be i(-4). Suppose 0 = 4*h + d - 134. Suppose 0*z - z = -h. Is z prime?
False
Suppose -12530 + 1409 = -11*b. Let m = -382 + b. Is m prime?
False
Let q = -303 + 1166. Is q a prime number?
True
Suppose -5*a - 1868 = 2*v, 4*a + 1898 - 28 = -2*v. Let j = v - -2054. Is j prime?
False
Let d(t) = t**3 + 11*t**2. Let g be d(-11). Suppose -2*c = -8, -5*h - 5*c + 0*c + 2505 = g. Is h a prime number?
False
Let a be (-16190)/(-8) - (-66)/(-88). Let y = a + -1392. Is y composite?
False
Let p = -4089 - -75026. Is p composite?
False
Suppose 0 = 3*o - 20 - 7. Is 1/1 + 6642/o composite?
False
Suppose -8369 + 76235 = 6*u. Is u a composite number?
False
Let p be (-10)/(-5) + (2 - 2). Is (-1 + p)/((-7)/(-4081)) prime?
False
Suppose 28*z - 2189 = 17*z. Is z prime?
True
Let z(s) be the third derivative of s**5/2 - 13*s**4/24 - 31*s**3/3 - 8*s**2. Is z(-7) a composite number?
False
Suppose 0 = -q + 3*q - 514. Let g = q + -54. Let l = -58 + g. Is l a prime number?
False
Is ((-20668)/(-24))/((-6)/(-36)) composite?
False
Let v = 72 - -8851. Is v composite?
False
Suppose 7*m = 4*m + 738. Suppose -2