35) a composite number?
True
Suppose -k + 3*n - 748 = -2*k, -5*n = -5. Is k composite?
True
Suppose -4*n - 2574 = 5*m - 9472, -2*m + 2761 = n. Is m composite?
True
Let q(y) = y**2 + 4*y + 7. Is q(-8) composite?
True
Let s(l) = -l - 7*l + 0*l - 4*l - 1. Is s(-1) a composite number?
False
Let b = -19 - -15. Is (b/(-12))/(1/21) composite?
False
Let n(g) = -97*g**3 + g**2 - 1. Is n(-1) composite?
False
Let d = 254 + 80. Is d/10 + 6/(-15) composite?
True
Is (-78)/(-2) - (0 + 0) a composite number?
True
Suppose -12 = -5*l + i + 3, -2*l + 3*i + 6 = 0. Suppose 4*b - h = h + 392, -l*b = h - 289. Is b a prime number?
True
Suppose 12*c = 17*c - 155. Is c a prime number?
True
Suppose r - 6*r = 15. Let j = -9 + r. Is ((-5)/2)/(3/j) composite?
True
Let m(u) = 27*u**2 - 5*u - 7. Let n(l) = -l**3 - l**2 - 3. Let a be n(0). Is m(a) a composite number?
False
Suppose 5*p = -a + 1540, 2*p + 6138 = -a + 5*a. Is a a prime number?
False
Let w = -21 + 48. Suppose 0 = 3*b - 6*b - 5*c + w, -2*c - 62 = -4*b. Is b composite?
True
Suppose 2*m = 5*y - 249, y - 2*m - 34 = 11. Is y a composite number?
True
Suppose 4*b = -0*b + 3156. Is b composite?
True
Let h = 225 - -49. Is h a prime number?
False
Is 43416/14 + (-11)/77 composite?
True
Let y(i) = i**3 + 10*i**2 - 1. Is y(8) composite?
False
Let u = 12 + 73. Is u a composite number?
True
Let s(a) = -122*a + 39. Is s(-10) a composite number?
False
Let g = 18 + -11. Suppose 5*t = 4*n - 49, 2*n + 5*t + g = -6. Is n/(-27) + (-1642)/(-18) composite?
True
Let k = 607 + -342. Is k prime?
False
Suppose -1283 + 5173 = 5*o. Is o a prime number?
False
Let i(l) = -l + 4. Let j be i(-3). Suppose -j + 3 = -4*u. Is 0 + (-1 - u) + 87 prime?
False
Let p(x) = x**3 - 4*x**2 + 3*x. Let m be p(-4). Suppose -32 = -f + 2*f - 5*i, -3*f + 4*i - 85 = 0. Let d = f - m. Is d a prime number?
True
Suppose 3*n - 53 - 22 = 0. Suppose 2*m - n = 21. Suppose -m + 9 = -r. Is r a composite number?
True
Let w(o) = 61*o - 3. Let g(h) = -30*h + 1. Let x(s) = 13*g(s) + 6*w(s). Let p(f) = f + 2. Let u be p(-6). Is x(u) prime?
False
Suppose 2*y - 362 - 11 = -s, 1901 = 5*s - 2*y. Is s prime?
True
Suppose -3326 = -5*p - 811. Is p a composite number?
False
Suppose -5 = -4*c + 3*c. Let m be (3/(-2))/(c/(-10)). Suppose -m*l + 5*l = 50. Is l a prime number?
False
Let o(y) = y**3 + 13*y**2 + 8*y - 5. Is o(-9) a composite number?
True
Let u(x) = -x + 5. Let y be u(5). Suppose -16 = -y*b + 5*b + 2*o, 5*o + 9 = 3*b. Is (-42)/b - (5 + -3) composite?
False
Let l(m) = -16*m - 3. Is l(-5) a prime number?
False
Let r(f) = -6*f + 5*f**2 - 2 + 14*f + 0. Is r(-9) a composite number?
False
Let i(k) be the second derivative of k**4/4 - 2*k**3/3 + k**2/2 - 2*k. Is i(-6) a composite number?
True
Suppose 3*f - 18 = -3*k, 0 = -2*k + 2*f - 4. Is ((-57)/2)/(k/(-4)) prime?
False
Suppose o - 207 = -2*o. Let t = -48 + o. Is t a composite number?
True
Let a(f) = 3*f**2 - 10*f + 3. Is a(-14) composite?
True
Suppose 5 = 5*f, 5*f = -5*m - 0*f + 300. Is m composite?
False
Suppose 0 = -2*x - 5*w + 389, 3*x - 3*w - 570 = -6*w. Is x a composite number?
True
Suppose 4*i = 6 + 14. Suppose i*z = 3*z. Is 5 - (0 + z - -2) composite?
False
Let o(j) = -j**3 + 6*j**2 - j - 151. Let d(a) = -a**2 + 1. Let i(m) = -6*d(m) - o(m). Let h be i(0). Suppose -f + h = -0*f. Is f a composite number?
True
Let y = 11 - 31. Is (24 + -1)/((-4)/y) composite?
True
Let z be (3/6)/(1/10). Suppose -71 = -4*x - 3*y, z*x - x - 46 = 2*y. Is x a composite number?
True
Suppose -3*s = 5*t - 2750, -2*s + 5*s = -2*t + 1091. Is t prime?
False
Let t(q) be the first derivative of q**4/4 - 3*q**2/2 + 3*q - 3. Let z be t(2). Is (-1911)/(-15) - 2/z prime?
True
Let n(p) be the third derivative of 17*p**5/20 - p**4/12 + p**3/6 + 3*p**2. Let l be n(2). Suppose l = t + 2*t. Is t prime?
True
Suppose -w - 3376 = -9*w. Is w prime?
False
Let u(i) = -i**2 + i + 7. Let a = 0 + 0. Is u(a) prime?
True
Let l(r) = -r + 7. Let o be l(5). Is (6 + -4)*23/o prime?
True
Let v = 10 + -9. Is -4 + v + (0 - -16) a composite number?
False
Let b(z) = 4*z + 0 + 2 + 3*z**2 + 0*z. Let o be b(-2). Is (-2)/(-3) + 218/o composite?
False
Let j(l) = -l + 15. Let z be j(19). Let r = -40 - -10. Is -2*(1 - r/z) a composite number?
False
Let g be (-17)/3*(0 + -3). Let f = -27 + g. Is (-15)/f*1028/6 composite?
False
Is (-4)/10 - 23256/(-40) a prime number?
False
Suppose -3 = -4*r + 3*r. Suppose j - 2*o - 34 = 0, 7*o - 95 = -5*j + 2*o. Is j/r*1 + -1 a prime number?
True
Let x = -1316 + 1893. Is x composite?
False
Suppose -4*g + 24 = 4. Suppose 0*x = g*x - 900. Suppose 304 + x = 4*n. Is n composite?
True
Is -3 - (-498)/((-6)/(-2)) composite?
False
Let w be 307 + 0 + (4 - 2). Let d = w + -169. Suppose -3*o + d = o. Is o composite?
True
Is 300 - (-6)/(-4)*-2 a prime number?
False
Let h(j) = -61*j - 9. Is h(-4) a composite number?
True
Let r = 5 + -2. Suppose 28 = q - r. Is q a composite number?
False
Let g = 8 + -5. Let d(y) = 6*y**2 + 3*y - 4. Is d(g) a prime number?
True
Let v = 2603 - 1564. Is v a composite number?
False
Suppose -2*o = -5*w - 4485, 4*o + 0*w - 3*w - 8977 = 0. Is o prime?
False
Let c be -3 + (7397 - (-1 - 0)). Is c/35 - 2/7 prime?
True
Suppose -4*k - 89 = -4*y + 7, 2*y + 3*k - 28 = 0. Suppose 2*d = 6*d + y, -2*n = -2*d + 262. Is (-2)/(-5) + n/(-10) a composite number?
True
Let p(z) = -z**2 - 6*z + 1. Let j be p(-5). Let u(q) = -4*q + 8. Let f(m) = -5*m + 8. Let v(x) = -3*f(x) + 2*u(x). Is v(j) a prime number?
False
Suppose 0 = -7*w + 2*w - 3*x + 40, 0 = 2*x - 10. Let z(q) = -4*q**2 + 4*q - 4. Let r(m) = 5*m**2 - 4*m + 5. Let d(c) = w*r(c) + 6*z(c). Is d(-9) composite?
True
Let v(w) = 3*w - 3. Let l be v(3). Is (-4965)/(-10)*4/l a prime number?
True
Is 1/4*(-34 - -3006) a prime number?
True
Suppose -38 + 12 = -5*m - 2*s, 3*m = -4*s + 24. Suppose -4*f + m = -2*d, 2*f = 5*d - 1 + 27. Let z = 19 - d. Is z composite?
True
Let n be (-3 + 4)*(2 - 0). Let v = 12 + 4. Suppose -z - n = -v. Is z composite?
True
Let f be (-6)/3 - (0 - -1). Let y = f + 3. Suppose s - 18 - 109 = y. Is s a prime number?
True
Suppose 2*h + 30 = 90. Is (-5)/h - 2347/(-6) a composite number?
True
Suppose 0 = 2*w - 5*w - 13653. Is w/(-18) - 4/(-24) a prime number?
False
Suppose 34 = o - 3*y, 2 + 1 = y. Let f = o + 0. Is f composite?
False
Suppose -5*x = 5*r + 60, -3*x = 5*r + x + 57. Let g be -3*(-1 - (-3)/r). Suppose 88 = g*a - 52. Is a a composite number?
True
Let q be (-4 + 18/4)*-10. Let s(u) = -19*u - 1. Is s(q) a composite number?
True
Let l(h) = -2*h - 3. Is l(-5) a composite number?
False
Let x(p) = -3*p**2 - 2*p + 1. Let q be x(1). Let k = q - -6. Suppose 12 = k*z - 58. Is z prime?
False
Let m be 0 + ((-2)/(-2) - 1). Let z be (12*17)/(-3) - m. Let w = -33 - z. Is w composite?
True
Is 12446/21*(-9)/(-6) prime?
False
Suppose 0 = -5*w + w. Suppose w = 3*y - 102 - 9. Is y prime?
True
Let f be 72/45 + (-4)/(-10). Suppose -5 = l - f. Is 33 + 0 + 1 + l prime?
True
Suppose -79 = 9*h - 3013. Is h a prime number?
False
Let l(h) = h**2 - 2*h - 1. Is l(-3) prime?
False
Let s(c) = -79*c - 34. Is s(-15) a prime number?
True
Suppose 23 = 2*f - 5*q, 2*f - 3*q - 7 = 6. Let l be (f + (-1 - -3))*2. Suppose -4*o = 0, 0 = -l*p - 5*o + o + 74. Is p composite?
False
Let a be (-5 - -1) + (-3)/(-3). Let t(h) = -h**2 - 46. Let c be t(0). Is c/(-6) + 2/a a composite number?
False
Let j(b) = -b**2 + b. Let x(v) = -v - 3. Let y be x(-2). Let o(g) = -g**3 + 6*g**2 - 8*g - 10. Let r(s) = y*o(s) + 4*j(s). Is r(9) composite?
False
Let j be 0/((-3)/(3/2)). Suppose -36 = -5*p - j*p - 4*c, 5*p + c - 24 = 0. Suppose -p*w + 20 + 456 = 0. Is w a prime number?
False
Suppose -p = -2*m + 10, 3*m - 7 - 8 = -5*p. Suppose m*g + 4 = v, v + 2*v = -5*g + 12. Suppose -v*q + 388 = -0*q. Is q prime?
True
Let q be (-330)/(-2) + (-15)/(-5). Suppose -p = i - q, -4*p + 3*p - 348 = -2*i. Let z = i + -83. Is z a composite number?
False
Let c be 2*2/(-4) - 11. Is c/(-16) + (-273)/(-4) a prime number?
False
Let o(s) be the second derivative of 65*s**3/6 + s. Is o(1) composite?
True
Let v = -152 + 217. Is 10/v + 334/26 a composite number?
False
Let l(y) = 191*y**2. Let s be l(1). Let g = -132 + s. Is g prime?
True
Let l(g) = -6*g - 13. Let s(z) = 9*z + 20. Suppose 0 = 2*h - 7*h + 40. Let n(k) = h*l(k) + 5*s(k). Is n(-9) a composite number?
False
Su