-8*a = -3*a - 785. Is a a prime number?
True
Suppose -3*i - 95 = -359. Let q be (2 - i/10)*5. Let k = q + 71. Is k prime?
True
Let c = -16 + 47. Is c prime?
True
Let s = -90 - -210. Suppose -5*o - 3*l = s, 3*l + l = -4*o - 104. Let k = o - -58. Is k composite?
False
Let o be 8/((-3 + 5)*1). Suppose -o*g + 981 = 49. Is g a prime number?
True
Let x = -642 + 1711. Is x a composite number?
False
Suppose 4*c + 136 = 3*v - 135, c + 179 = 2*v. Is v prime?
True
Suppose m = -0*z + 3*z + 341, 3*m + z = 983. Is m prime?
False
Suppose u - 2*r - 80 = 0, -4*u - 2*r + 210 + 80 = 0. Suppose a - 3*a = -u. Is a prime?
True
Let y be (-3)/(-5) + 683/(-5). Is 6/51 + (-212008)/y composite?
False
Let y(r) = -60*r**3 - 3*r + 2*r + 14*r**3. Let s(p) = p**3 - 3*p**2 - 5*p + 3. Let h be s(4). Is y(h) prime?
True
Let c(a) = 35*a**2 + 2*a - 1. Let p = -14 - -16. Is c(p) a composite number?
True
Let z = -75 + 288. Is z a composite number?
True
Let r = -26 - -56. Let a = 77 - r. Is a composite?
False
Let k be (26/(-2))/(4/(-56)). Suppose 5*b - 3*h - k = 0, -77 = -4*b + 2*b - 3*h. Is b a prime number?
True
Let y(r) = r**3 - 3*r**2 - 4*r + 4. Let v be y(4). Suppose 0 = -5*i - 2*c + 953, -5*i - 5*c + 186 = -v*i. Is i prime?
True
Let j = 2 + 0. Let z(s) = -2 + s**j + 0*s**2 + 5 + 0*s**2 - s. Is z(-3) prime?
False
Let n(c) = -157*c - 6. Is n(-5) prime?
False
Suppose 3*z - 2*s - 4334 = -3*s, -2888 = -2*z - 2*s. Suppose 5*m - 230 = z. Is m a composite number?
True
Let w(l) = 4*l**3 + 17*l**2 + 4*l - 12. Let v be 2 - 8*2/4. Let r(y) = y**3 + 6*y**2 + y - 4. Let h(b) = v*w(b) + 7*r(b). Is h(7) composite?
True
Suppose -3*a - 6 = -15. Suppose a*l - 7 = 86. Is l prime?
True
Let p be 705/(-6) - 1/(-2). Let s = p + 164. Is s a composite number?
False
Let r(l) = 2*l**2 - 7*l - 21. Is r(-10) a composite number?
True
Let a(t) = 251*t. Let q be a(2). Suppose -i = i - q. Suppose 5*l - i = -4*m, -5*l + m = -59 - 197. Is l composite?
True
Is (-4)/42*-3 + (-135177)/(-49) a prime number?
False
Let c(s) = -s**2. Let g be c(-1). Let r = 14 + -13. Is (20*1 + g)*r a prime number?
True
Let q = -10 - -15. Let d = 36 - q. Is d a composite number?
False
Let x(w) = w. Let k be x(3). Suppose 3*h = -3*d + k, -7 + 4 = d. Suppose -l - 141 = -h*l. Is l a prime number?
True
Suppose -3*p - 5*q + 693 = 0, 4*q + 1155 = 5*p + q. Is p/2 - (-2)/(-4) a composite number?
True
Suppose 0 = b - 0*b - 2*d + 8, -b - 23 = -5*d. Let y = -6 - -8. Is b*(-1)/y*-11 composite?
False
Suppose -4*h + 3*h = 12. Is ((-8)/h)/(4/318) prime?
True
Let o(g) = -2*g**3 - 6*g**2 - g + 1. Is o(-5) a prime number?
False
Suppose -3*u + 2*u = 0. Suppose u = 5*b - 127 - 43. Is b a composite number?
True
Let p(o) = -4*o**2 + 3*o**2 - 1 + 6 - 3 + 14*o. Suppose -2*j = g - 27, 2*j - g - g - 12 = 0. Is p(j) composite?
True
Is (338 - 6)*1 - (0 - -1) prime?
True
Let q(j) = -j**3 + j**2 - 8*j + 7. Is q(-6) prime?
True
Suppose 59 = -f + 3*g + 384, 0 = -f - 5*g + 341. Is f a prime number?
True
Suppose 4*x - 6 = 2*m, -1 = x - 4. Suppose -4*n - 4*b = -1004, -4*n + 2*b + 1022 = -m*b. Is n a prime number?
False
Let l = 35 + 12. Suppose 2*y = 103 + l. Is 2 + -2 + y - -2 a composite number?
True
Is 573/6*(1 - -1) prime?
True
Let q be ((0 - 0) + 100)*2. Let c = q - -14. Is c a composite number?
True
Let u(l) = -l + 69. Let v(n) = -n**3 - n**2. Let r be v(-1). Is u(r) a composite number?
True
Let z be (13 - 1)/2 + -1. Let h be z - 0 - (4 + -2). Suppose h*f + 0*f - 5*p - 166 = 0, -5*p + 22 = f. Is f prime?
True
Suppose 4*o = -3*c + 5, -o + 4*c + 6 = -0*c. Let w = o + 1. Suppose -w*x + 103 = 2*b, 0 = 2*b + 2*b - 4*x - 216. Is b a prime number?
True
Let j(p) = 3*p + 1. Let h(w) = w**2 + 6*w. Let n be h(-6). Suppose 0*o - 4 = o, 5*a - o - 34 = n. Is j(a) prime?
True
Is 4/10 + 34330/50 a composite number?
True
Let j(a) = 3*a**3 - 3*a**2 + 14*a + 680. Let c(b) = -b**3 + b**2 - 5*b - 227. Let m(p) = 17*c(p) + 6*j(p). Is m(0) prime?
False
Let i = 3 - 3. Suppose i = -0*w + 2*w - 26. Is w prime?
True
Suppose -11955 = -17*m + 2*m. Is m a prime number?
True
Suppose 3*b = -0*b + 318. Suppose 0 = v - 3*v + b. Is v composite?
False
Let y(l) = -l**2 + 21*l - 10. Is y(8) composite?
True
Let d = -8 + 11. Suppose -1 = d*k - 4. Let a(m) = 81*m**2 + m. Is a(k) a composite number?
True
Let z(a) = a**2 + 2*a. Let q be z(-6). Let t = q + 10. Suppose -t = 2*i - 348. Is i composite?
False
Suppose -3*f - 2*f = -325. Suppose -5*g + f = -0. Suppose 2*h - g = 1. Is h prime?
True
Is ((-4)/3)/((-30)/4365) composite?
True
Suppose 0 = 2*z - 5*j - 1949, -5*z = -0*z - 3*j - 4882. Is z a composite number?
False
Let y(l) = l. Let w be y(0). Suppose -3*v - 2*v + 1555 = w. Is v a prime number?
True
Suppose 0 = -5*i + 5*w, 0*i - 5 = -4*i + 3*w. Suppose h - 5 - i = 0. Suppose -2*k = -28 - h. Is k a composite number?
False
Is ((-7692)/24)/(1/(-2)) composite?
False
Let a(g) = -g**3 - 8*g**2 - 5*g + 10. Let d be a(-7). Let o(m) = m + 3*m + 4*m**2 - m + 3. Is o(d) a composite number?
True
Let c = 620 + -301. Is c composite?
True
Let b be 1 + -2*10/(-4). Suppose -2*a = 2*g - 4, 0 = -2*a - a. Suppose 0 = -z - 5, -g*u - 4*z + 52 = -b*z. Is u a composite number?
True
Suppose 89 = 3*r - 358. Let l = r - 60. Is l composite?
False
Suppose -4*u + 93 = -5*m, 5*m + 0*u + 111 = -2*u. Let t = 216 - m. Is t a prime number?
False
Let v = -15 - -30. Let s = 34 - v. Let i = s - -18. Is i composite?
False
Let d be 2*((-15)/2)/(-5). Suppose d*s - s = 0. Suppose s = u + 2*u - 153. Is u a prime number?
False
Let m be (-3)/(((-2)/39)/2). Let w = m + -52. Is w prime?
False
Let d = -3 - 0. Let w be d/1 + 11 - 3. Suppose 132 + 36 = 4*n + 4*u, w*n + 4*u - 214 = 0. Is n a prime number?
False
Suppose 3*s - 3 = 612. Is s prime?
False
Let y(o) = 65*o**2 - 7*o - 19. Is y(6) composite?
True
Is 1/((18/(-9051))/(-6)) prime?
False
Let s = -360 - -1129. Is s a composite number?
False
Suppose 2*r - 4*l = -4, -3*r + 2*l - 6*l - 6 = 0. Is (33/r)/(18/(-24)) a composite number?
True
Let r be 326 - (-2 + 1 - 1). Suppose -2*a + r = -2. Suppose 0 = -0*b - 3*b + a. Is b prime?
False
Is (-54)/36*(-1 - 9) prime?
False
Let y(x) = -x - 3. Let l be y(-9). Is ((-158)/(-6))/(2/l) prime?
True
Let k be -1 + 2 + -1 + 5. Suppose -1115 = -k*a - 425. Suppose 4*u + 2*w = a, -5*w + 30 = -2*u + 3*u. Is u composite?
True
Let n be (-8)/20 - (-1844)/10. Suppose -k + 26 = 3*z, -2*z = -5*k + z + n. Suppose -4*r + k = -3*r. Is r a composite number?
True
Let o = 21 - 17. Suppose 4*v + 5*w - 293 = 0, -o*v - 3*w + 296 = w. Is v a composite number?
True
Suppose r + 0*r = -4. Let g(f) = 2*f - 5 - f - 9*f - f. Is g(r) a composite number?
False
Let f be (2/2)/((-1)/13). Is -3 + 1 - f*7 a composite number?
False
Let m(g) = 16*g**3 + g**2 - 1. Let b be m(1). Is (211/(-4))/((-4)/b) a composite number?
False
Let r = 8218 - 14530. Let z be ((-12)/(-8))/((-6)/(-4)). Is z/(-5) - r/10 composite?
False
Is ((-18)/(-27))/((-4)/(-66)) a prime number?
True
Let p(k) = k**3 + 12*k**2 - 7*k - 5. Is p(-9) composite?
True
Let v(f) = 2*f**2 + 2*f - 5. Is v(5) prime?
False
Suppose 4*o + 3 + 13 = -4*t, t = 2*o - 4. Suppose o = 2*s - 74. Is s a prime number?
True
Let p(q) = q**2 + q - 1. Let t(a) = -a**2 + 11*a + 3. Let f be t(11). Is p(f) composite?
False
Let v(n) be the third derivative of 11*n**5/30 + n**4/12 - n**3/6 + 3*n**2. Is v(1) prime?
True
Suppose 2*f = 4*c - 10, 3*f + 4*c - 20 = 3*c. Suppose -f*v - 3*m = -236, -2*v + 84 = 2*m - 6*m. Is v composite?
True
Let t(g) = -5*g**3 - 10*g**2 + 2*g + 3. Let v(s) = 11*s**3 + 21*s**2 - 5*s - 5. Let d(i) = 9*t(i) + 4*v(i). Is d(-6) composite?
False
Suppose 0 = -4*f - 12 - 12. Let i = f + 5. Is i/3 + 67/3 a prime number?
False
Suppose 0 = -r - 2 + 1, -12 = d - 2*r. Is (-1)/(2/d + 0) composite?
False
Let g = 11 + -8. Suppose g*k = 8 + 7. Suppose -k*f - 138 = -3*b, b = -4*b + f + 252. Is b composite?
True
Suppose -2*l = 3*l - 410. Is l a composite number?
True
Suppose -3*b - 59 = -4*b. Is b composite?
False
Suppose -65 = 2*w - 583. Is w prime?
False
Let d(k) = k + 5. Let s be d(0). Suppose -3*n - 4 = 3*a + s, 5*a + 15 = -4*n. Is 191 - 2 - (-6)/a prime?
False
Suppose -2*s = -1686 - 2356. Is s prime?
False
Let h(b) be the first derivative of b**3/3 + 3*b**2/2 + 2*b - 3. Is h(-4) composite?
True
Let z(t) be the first derivative of 4*t**3/3 + 3*t**2/2 + 6*t 