pose 2*u - 164 = -0*u. Is u prime?
False
Suppose 5*u - 2800 = u. Suppose 5*c = 2*x - x + u, -5*x = 25. Is c prime?
True
Suppose 5*i + 6941 = 16*i. Is i a prime number?
True
Is (1/(-2))/((-9)/15786) a composite number?
False
Let v(z) = -2*z - 3. Let x be v(-3). Let p = -3 - x. Is (14/p)/(3/(-9)) a composite number?
False
Suppose 0 = -9*w + 1681 + 596. Is w prime?
False
Let v(o) = 16*o**2 + 13*o - 30. Is v(4) composite?
True
Let g be (-5)/25 - (-11)/5. Let d(v) = 0*v - g*v + 9*v**2 - 2*v + 9 - v**3. Is d(7) a prime number?
True
Let p be 2*3/(3/26). Let k be (-4)/(-10) + (-10098)/(-55). Suppose -4*z = -k - p. Is z a prime number?
True
Suppose -11*z + 3*z = -4696. Is z prime?
True
Let u = 1817 + -1056. Is u a composite number?
False
Let s(i) = -i**3 + 8*i**2 - 4*i + 2. Let z be s(5). Let t = 184 - z. Is t a composite number?
False
Suppose 0*v - 2*v + 6 = 0. Suppose -a + 17 = -0*a + f, -v*a + 5*f = -67. Is a a composite number?
False
Let c(v) = -6*v - 1. Let w be c(1). Let y(k) = -k + 2. Let r be y(w). Suppose r = 3*a - 0. Is a a composite number?
False
Suppose 4*b = 3*y + 1 + 9, 2*b + 6 = -4*y. Is 3*(282/9 + b) a composite number?
False
Let z = 13 + -8. Let w = 8 - z. Is w composite?
False
Let v be 6/((-1)/13 - 0). Let r = v - -109. Is r prime?
True
Let b = 146 + -57. Is b composite?
False
Let k(a) = 3*a**2 - 8*a + 6. Is k(10) composite?
True
Suppose -6*l - 1040 = 424. Is (-2 - 1) + (-2 - l) a prime number?
True
Suppose 0 = -12*k + 16*k - 3476. Is k a composite number?
True
Suppose -5*u = -761 - 1134. Is u prime?
True
Let x(y) = -6*y**2 + 4*y. Let g be x(-3). Let j = 167 + g. Suppose z - j + 16 = 0. Is z prime?
False
Let g(j) = -5*j**2 + j - 2*j + 30 - 3. Let u(k) = 6*k**2 + k - 28. Let v(f) = 5*g(f) + 4*u(f). Is v(0) prime?
True
Let v = 1 + 477. Is v prime?
False
Let o = 16 + -28. Is (-6)/o - (-109)/2 prime?
False
Suppose u = 5*d + 887 - 277, -2*d = -u + 625. Is u composite?
True
Let n = 11 - 6. Suppose -3*j + 483 = 3*b, 0 = n*b - 4*b + 5*j - 169. Suppose p - 4*p + b = 0. Is p composite?
False
Let s = 68 + -13. Is s composite?
True
Let h = 6481 - 3420. Is h composite?
False
Suppose -4*q - b = -2*q + 4, -q + 20 = -5*b. Suppose -2*i = 5*f - 1154, i - 566 = 3*f - q*f. Is 4/(-6) - i/(-12) composite?
False
Let m(y) = y**3 - 12*y**2 + 5. Let x be m(12). Suppose -x*k - 1645 = -10*k. Is k a composite number?
True
Let q = 1068 - 659. Is q a composite number?
False
Let i = 267 + -170. Let c = i - 12. Is c a composite number?
True
Let x(c) = -55*c. Let l be x(4). Let j = l + 343. Is j prime?
False
Let j(p) = p**3 + 6*p**2 + 5*p. Let u be (1 + 4)*(1 + -2). Let m be j(u). Suppose m*h = -3*h + 78. Is h a prime number?
False
Let n(i) = -3*i**3 - 5*i**2 - 6*i - 3. Suppose 3*h + h = -16. Is n(h) prime?
False
Suppose -d + 29 = -24. Is d a prime number?
True
Let f(l) be the third derivative of -l**7/5040 + l**6/720 + l**5/30 - 2*l**2. Let x(k) be the third derivative of f(k). Is x(-2) prime?
True
Is (51 - 13)*(-13)/(-2) a composite number?
True
Let m = 3 + 0. Suppose o - 785 = -m*t, -5*t + o + 16 = -1303. Is t composite?
False
Let v = 13 - 8. Suppose 18 - 48 = v*j. Is (-51)/2*20/j a composite number?
True
Suppose -312 = -4*q - 2*t, 0*q + 3*t = q - 71. Is q a prime number?
False
Suppose -2*i + 6*i = 8. Suppose -5*o + 2*w = -191, i*o - 110 + 21 = 5*w. Is o prime?
True
Let b = 9 + -6. Suppose -b*v - 455 = -4*a, -2*a + 5*v = -135 - 110. Suppose -4*j - j + a = 0. Is j prime?
False
Let h(n) = -7*n**3 - n**2 + 3*n + 1. Suppose 0 = 4*m + 2 + 6. Is h(m) a composite number?
False
Suppose 20 = -4*j + 4. Is (249/6)/((-2)/j) composite?
False
Suppose 4*q + 70 = 274. Suppose -4*h + q = 5*j, 0 = 5*h + 3*j - 72 - 8. Is h a composite number?
False
Let i(q) = 17*q - 22. Is i(9) a prime number?
True
Let a = 414 - 245. Is a a composite number?
True
Is (-952)/(-5) + (-27)/(-45) prime?
True
Let r(s) = 140*s + 13. Is r(9) a prime number?
False
Let f be (-2)/7 + 372/28. Suppose -f = -l + 5*w - 0*w, 2*w - 5 = -3*l. Suppose 0 = -l*y + 26 + 31. Is y a prime number?
True
Let b(j) = -j - 20. Let m be b(0). Let y = m - -107. Is y prime?
False
Let n(t) = -t**3 - 3*t**2 + 3*t + 1. Let i be n(4). Let m = 238 + i. Is m composite?
False
Let y(u) = 9*u**2 - 8*u + 17. Is y(6) a prime number?
True
Let x be -2 + 3*(-14)/(-6). Suppose -2*p + x*z + 16 = -152, 156 = 2*p + z. Is p a composite number?
False
Suppose -6*i + 2*i = -6844. Is i composite?
True
Let b be 0/(-1) + 4 - 1. Suppose 2*t - 4*t - 2*l = -4, b*l = -t - 8. Is t composite?
False
Suppose -16 = -m - 0*m. Let t = -119 + 188. Let n = t + m. Is n prime?
False
Let f = 1 + 1. Suppose -f*k - 3*b = 10, -k - 3*k + 4*b = 20. Is k/(-15)*3*43 prime?
True
Suppose 5*j = -0*j + 25. Let g = 7 - j. Suppose 4*h = 4*b - 512, -g*h = 3*b + 2*h - 377. Is b a composite number?
False
Suppose 3*w - 973 = -4*w. Is w composite?
False
Let r be (-1)/((1 + 0)/1). Let c be (-3 - r)/((-4)/6). Is (-1)/c + (-44)/(-6) a prime number?
True
Let w(b) = b**2 + 3. Is w(-8) prime?
True
Suppose 0*w = w + 1, 1 = m - 5*w. Let r = 3 - m. Is r a prime number?
True
Suppose 0 = 2*i + 4*j - 966, 0*i - 3*j = 2*i - 964. Is i prime?
True
Let x(p) be the third derivative of 1/6*p**4 + p**2 + 5/3*p**3 + 0*p + 0. Is x(7) prime?
False
Suppose 0 = -3*o - 4*o + 4445. Is o composite?
True
Let g be 9/6*2456/6. Suppose -4*z + 6 + g = 0. Is z a prime number?
False
Let i = -1797 + 3944. Is i a prime number?
False
Suppose 8*m - 6*m - 494 = 0. Is m a composite number?
True
Let y = 13 - 13. Suppose -4*w - 2*i = -566, y = -5*w + 3*w - 3*i + 285. Is w a prime number?
False
Let a be 1 + 1 + -184 - -3. Let y = a - -288. Is y a composite number?
False
Let j(r) = -2*r**2 + 0*r**3 + r**2 - r**3 - 2*r + 3. Let x be j(2). Let g = 106 + x. Is g a prime number?
False
Let l(h) = -h**2 + 12*h - 3. Let j = -45 + 19. Let d be 2/(-4) - j/4. Is l(d) prime?
False
Let x = 77 + 129. Suppose x = 4*v + 2*w, 3*v + 2*v + 2*w = 255. Is v prime?
False
Suppose 2*x + 3*x + 40 = 0. Let u be 6*55 + (-8 - x). Suppose -3*z = -3*v - u, -3*z - v - 3*v + 351 = 0. Is z a composite number?
False
Suppose -2*q + 2 + 2 = 0. Suppose 3484 = 6*r - q*r. Is r a composite number?
True
Let r(u) be the first derivative of -u**4/2 - 8*u**3/3 - 6*u**2 - 11*u + 1. Is r(-9) a composite number?
False
Let b be -2 - -4*40*-1. Let r = b - -227. Suppose 0 = 3*p - r + 2. Is p composite?
True
Let m = -3176 + 4458. Is m prime?
False
Suppose 2 = 2*o - 2. Let z be o/8 + 123/4. Suppose 0*g - z = -g. Is g a composite number?
False
Suppose -t = -3*t + 252. Let s = t + -61. Is s a composite number?
True
Let d(c) = -3*c**3 - 11*c**2 - 13*c - 14. Is d(-9) composite?
False
Let g(p) = p**2 + 4*p - 2. Let k be g(-5). Suppose -k*j - j = -356. Is j a prime number?
True
Let d = -217 + 1172. Is d a prime number?
False
Suppose -p + 1 = -4. Let b(n) = -n**3 + 7*n**2 - 7*n + 6. Is b(p) composite?
True
Let j be 142 + (8 + 0)/2. Let g = j + -87. Is g prime?
True
Suppose 0 = -4*j + 195 + 697. Is j a prime number?
True
Let w(i) = 48*i + 19. Is w(16) a composite number?
False
Let u be (1 + -1)*(4 - 3). Suppose u = r + 5 + 1. Is r/(2 + 1) + 8 a prime number?
False
Suppose 4*f = n - 0*n + 4652, 5*f - 5815 = -4*n. Is f a prime number?
True
Suppose -1128 = -3*i + 3*b, -2*b + 196 = i - 189. Is i composite?
False
Suppose -6*y = -10*y - 64. Is (-2)/(-4) - 936/y a prime number?
True
Let p(h) = -h**3 + 817. Is p(0) a composite number?
True
Is 1*(-4)/1 - -4413 a prime number?
True
Let a(s) = -s**2 + 9*s + 1. Let i be a(9). Let w be i/(2*(-1)/16). Let q = -6 - w. Is q a composite number?
False
Suppose 138 = 2*m - 5*m. Let u = m - -77. Is u a prime number?
True
Suppose -4*k + 0*v + 8 = 4*v, -3*k + 5*v + 14 = 0. Let i = 8 - k. Suppose i*n = 53 + 42. Is n a composite number?
False
Let k = -16 + 0. Let r be k/(-6)*1143/12. Suppose 5*o = -r + 1369. Is o prime?
True
Let v(b) = 3*b**2 - 3*b + 5. Let m be v(9). Suppose 5*u - 1246 = -m. Is u prime?
False
Suppose 0 = 2*w + 2*w - 12. Let x(l) = -2*l**3 - l**2 - l + 4. Let g be x(w). Let u = g - -99. Is u composite?
False
Let r = -2709 - -5018. Is r a composite number?
False
Let o(p) be the second derivative of -p**5/20 + 13*p**4/12 + p**3/2 - 5*p**2 + 2*p. Is o(11) a composite number?
True
Let a = 952 + -649. Is a a composite number?
True
Let f(o) be the th