omposite number?
True
Suppose -18619 = -9*h - 1627. Suppose 9*z = h + 7499. Is z a composite number?
True
Suppose -2*a + 9291 + 36451 = 0. Is a a composite number?
False
Suppose 82718 = 67*h - 118215. Is h a prime number?
True
Let s = -197 - -277. Let z = 1173 + s. Is z a prime number?
False
Suppose i - 3*o = -24, -55 = 3*i + 2*i - 2*o. Is (-10)/35 + i/(-7) + 613 a prime number?
False
Let b = -3 - 1. Let m be 7578/24 - 1/b. Let z = 443 - m. Is z prime?
True
Suppose 11*i = 6*i. Suppose 5*o - 3*m + 5*m - 3605 = i, 5*m - 1463 = -2*o. Is o prime?
True
Let b be (-2 + 2)/(-3)*1. Let j = 0 - b. Suppose c - 4*c + 231 = j. Is c a prime number?
False
Let i(q) = q**3 + 2*q - 2. Let d be i(4). Suppose 13 = x + 2*g, -2 = -3*x + 3*g - 8. Suppose -215 = -x*a + d. Is a prime?
False
Suppose 2*k - 4*z - 60 = 0, 3*k - 39 = 2*k - z. Suppose 5*v + k = v. Is 86/(-2)*(v - -2) composite?
True
Let b = -8 + 20. Suppose 4*t + b = 8*t. Suppose -3*c = t*p - 279, 1 + 3 = 2*p. Is c prime?
False
Suppose 119867 + 35313 = 20*w. Is w a prime number?
True
Suppose -156*z + 439503 = -27*z. Is z prime?
True
Let c be 2/(-14) + (0 - (-30)/14). Suppose -2*j = -4*t - 532, 0 = -t + 2 + c. Is j a prime number?
False
Let f(n) = 254*n**3 + n**2 - 4*n + 3. Suppose -1 = 4*q - 9. Is f(q) a composite number?
True
Is (-61580)/6*144/(-96) prime?
False
Let o = 261 + -15. Let h = 846 + -843. Suppose o = h*s + 60. Is s prime?
False
Let p(g) = -249*g - 19. Let v(z) = 4*z + 3. Let x be v(-2). Is p(x) a composite number?
True
Let g be ((-2)/5)/((-8)/40). Suppose 4*a + 3*w = g*a + 15, 15 = 5*w. Is (2 - -224)/1 - a a composite number?
False
Suppose q + 5 = -3*i, -i + 14 - 5 = -5*q. Let k be q - (12/(-4) + 2). Is (-3)/(k - 3768/(-3777)) composite?
False
Suppose 4*m + 24 = -2*l, 6*m - 2*l = 3*m - 25. Let w(z) = -26*z - 25. Is w(m) composite?
False
Let d be 1/(-4) + (-34)/(-8). Suppose 13*s - 32*s = 0. Suppose -d*u + 503 + 381 = s. Is u a composite number?
True
Suppose 3*o - 34147 = -2*y + y, -4*y = 3*o - 136588. Is y composite?
False
Suppose -4*k + 1 = -59. Suppose -k = -0*l - 3*l. Suppose -815 = -3*y - 5*w, l*w = 4*y - 0*y - 1040. Is y a prime number?
False
Suppose -23*o + 55576 = -15*o. Is o a composite number?
False
Suppose -5*t + 3*a + 247 = 0, 0 = -5*t + a + 145 + 94. Suppose -v - 840 = -5*v + 5*i, -3*v = 4*i - 661. Suppose -p + v = -t. Is p prime?
False
Let z = -103 - -103. Suppose -n - n + 8538 = z. Is n prime?
False
Is 4 - ((0 - -3) + -20322) a prime number?
True
Suppose -1487 + 4954 = o. Suppose 0 = 5*f - a - 4193 - 5756, -f = -3*a - 1987. Let m = o - f. Is m a prime number?
False
Suppose 5*m + 3*p + p = 32670, -2*m - 3*p + 13068 = 0. Let u = m + -3901. Is u prime?
True
Let s(v) = -31*v**2 - 2*v + 6. Let y(j) = -31*j**2 - j + 5. Let z(w) = -3*s(w) + 2*y(w). Is z(5) prime?
True
Let m be -6*(657/(-6) + 3 - -3). Let w = 1099 - m. Is w a prime number?
False
Suppose 10*d + 4 = 11*d. Suppose 0 = d*x - 5*x + 4, -5*k - 4*x = -41. Suppose k*a = 213 + 1097. Is a a prime number?
False
Let m be 5 + (-2 - -4) + -2. Suppose m*o - 3*o = 94. Is o a composite number?
False
Suppose -2*l + 0*l = -3*k - 9, 1 = 2*l + 5*k. Suppose -2*j + 245 = 4*h - 35, -150 = -j + l*h. Suppose -3*d + 9 = -j. Is d a composite number?
True
Let v = -141 - -210. Let p = v - 49. Suppose 4*a = p, 2*f + 2*f + 3*a - 363 = 0. Is f prime?
False
Suppose 3*w = 75 - 69. Let l(o) = o + 10. Let c be l(-5). Is (-143)/(-55) + w/c a prime number?
True
Let w = 1206 + 12117. Is w a composite number?
True
Suppose 155 = -6*g + 5*g + 2*y, -4*g = 3*y + 675. Suppose -4*j + 6*j = 464. Let i = g + j. Is i a prime number?
True
Is (6 - 7)/(-1)*1163 composite?
False
Let l(g) = -7*g - 2. Let r(n) = -6*n - 1. Let f(p) = 4*l(p) - 5*r(p). Suppose 0 = -s - 0*c + c + 17, 4*c + 32 = s. Is f(s) prime?
False
Let x(m) = 6*m**2 - 11*m + 13. Let u(c) = c**2 + 4*c - 10. Let q be u(-5). Let l be 58/5 - 2/q. Is x(l) a prime number?
False
Let d be 156*((-76)/(-8))/1. Let l = d - 662. Let u = -527 + l. Is u a prime number?
True
Let z = 1533 + -848. Is z composite?
True
Let c(o) = -2*o - 4. Let u(f) = f - 15. Let s be u(11). Let v be c(s). Suppose -2*l + 50 = 5*j, -l = v*l. Is j a prime number?
False
Let a(u) = u**3 + 43*u**2 - 38*u - 19. Is a(-20) a prime number?
True
Let s(t) = 134459*t**2 + 11*t + 1. Is s(-1) a prime number?
False
Let l(n) = -6*n**3 + 2*n - 2. Let w be l(1). Is 2623/6 - (-1)/w a composite number?
True
Is 202695/9 - 164/(-123) a composite number?
True
Suppose 0 = 308*w - 307*w - 47363. Is w a prime number?
True
Suppose -2*m + 9533 = -5*p, 3*p - 23920 = -5*m - 2*p. Is 3 - (2/(-2) - m) a composite number?
False
Let r = -6 + 2. Let t be (-6)/r*(-12)/9. Let g = t + 8. Is g prime?
False
Let q(j) be the first derivative of j - 2 + 140/3*j**3 + 0*j**2. Is q(-1) composite?
True
Let r(y) = y**3 + 8*y**2 - 10*y + 7. Let m(c) = c**3 - 5*c**2 + c. Let s be m(5). Suppose -s*l = -l - 24. Is r(l) composite?
True
Let o = 69 + -63. Suppose 11793 = o*p + 1863. Is p composite?
True
Let m(s) = -51441*s**3 - 2*s**2 - s + 3. Is m(-1) composite?
True
Suppose 5*s + 3087 = 21662. Suppose -s = -5*i - 4*w, -i - 4*i + 5*w = -3715. Is i composite?
False
Let z = 12 + -13. Is (z*1)/(6/(-8406)*3) prime?
True
Let j(u) = 6*u + 3. Let l(h) = -11*h - 1. Let a(f) = -j(f) + 4*l(f). Let z = 3 + -5. Is a(z) a composite number?
True
Suppose 2*s + 2*s + 20 = 0. Let g(a) = -a**2 - 6*a - 6. Let h be g(s). Let n(k) = -121*k. Is n(h) composite?
True
Suppose -h - h = -20. Is ((-1185)/75)/((-2)/h) prime?
True
Let u(d) = 390*d - 133. Is u(21) a prime number?
False
Let w = 100 - 89. Suppose -7*y - w*y + 16326 = 0. Is y a composite number?
False
Suppose 6 = 4*y + 3*k, y + k - 2 = -1. Suppose 5*z = y*z + 8. Suppose 2*w - 3066 = -z*w. Is w a prime number?
False
Let d = -29 + 21. Is (-1564)/d*(-3 + 5) composite?
True
Is (10 + 18/(-3))*1955 + -3 prime?
True
Let l be 2 - (-15)/(-5)*-1. Is (223/l)/((-6)/(-30)) a composite number?
False
Let g be 6/(-14) - (-13113)/21. Let a = 2215 - g. Suppose 5*o + 476 - a = -2*h, -2*o = 2*h - 452. Is o a prime number?
False
Let g = -7802 + 5282. Let v = g - -3577. Is v prime?
False
Suppose 3*o - 1 - 3 = -h, 2 = -h + 3*o. Let n(c) = -110*c - 1. Let y be n(h). Is 2/12*-2*y composite?
False
Is 4 - 62/((-9549)/(-1365) + -7) a prime number?
False
Suppose 31*v = 30*v - 1. Is (2 - 1)/((v/199)/(-1)) a prime number?
True
Let o be 0 + (-3)/((-6)/10). Let w(t) = t**3 - t**2 - 5*t + 5. Let v be w(o). Suppose -2*m + 3*r + v = 5*r, 95 = 3*m - 2*r. Is m a prime number?
False
Let o = 8217 - 5461. Suppose 0 = -j + 4*j - 3*u - 1641, 5*j = -2*u + o. Suppose -j = -5*g + 25. Is g a composite number?
True
Suppose 5*g - d + 223 = 0, 0*d + 94 = -2*g + 2*d. Suppose -5*m = 2*q + 2*q + 77, -5*q - 4*m = 94. Let y = q - g. Is y prime?
False
Suppose -15*s - 1624978 = -133*s. Is s composite?
True
Suppose -4*l = -2*p - 854, 295 = 4*l - 3*p - 554. Let g = l - 25. Is g prime?
True
Let s = 64 - 60. Suppose s*n + 5903 = 5*n. Is n a composite number?
False
Let a(d) = -d**2 + 18*d + 38. Let i be a(22). Let m = 96 + i. Is m composite?
True
Let v(j) be the second derivative of -89*j**3/6 - j**2 + 3*j. Let x(s) = -179*s - 5. Let z(q) = -7*v(q) + 3*x(q). Is z(1) a composite number?
True
Let d(x) = 6 - x**3 - x**2 - x**2 - 5*x - 4*x**2. Let a be d(-5). Is -170*((-15)/a + 2) composite?
True
Suppose 0 = -17*u + 14*u + 2*d + 203653, 271540 = 4*u - 4*d. Is u a composite number?
False
Suppose -3*d - 2*k = -58, 4*k = -4*d + 33 + 51. Let j be (4 + d/(-4))/(-2). Suppose -1075 = -j*u - 5*u. Is u prime?
False
Let u(b) = -b + 7. Let j be u(4). Suppose 0 = -j*q - 0*q + 24. Let t(w) = -w**3 + 7*w**2 + 12*w - 11. Is t(q) prime?
False
Let n(t) = 3572*t + 851. Is n(11) a prime number?
False
Suppose 5*p + 0*p = -2*l + 31, 4*l - 32 = -4*p. Let o = 8 - p. Suppose 3*z = -15, 2*w + o*z = 3*w - 46. Is w a prime number?
True
Let o(y) = -10*y - 5 + 2*y + 0*y + 16*y**2 + 2*y**2. Is o(-5) prime?
False
Is 51466*-1*-1*1/2 a composite number?
False
Suppose -a + 2*s + 6411 = 0, -3*a + s = -3*s - 19243. Is a a prime number?
True
Suppose -6*p - 2 = -8*p, 52967 = 3*k - 4*p. Is k prime?
True
Suppose 2*b - 633 = 7757. Is b a prime number?
False
Let p be 0 + (2 - 1) + 5. Suppose 4*w = p + 22. Suppose 6*f + 205 = w*f. Is f composite?
True
Let v be (-1)/(12/