omposite number?
True
Suppose -3*u = 2*d - u + 752, 4*d - 4*u = -1488. Let k = -215 - d. Is k a composite number?
True
Suppose -o - r = 76, -4*o - 286 = -7*r + 2*r. Let p = 163 + o. Is p prime?
True
Let p = 156 - -7. Is p composite?
False
Suppose -17 = 3*h + 22. Let g(t) = -5*t - 12. Is g(h) a prime number?
True
Let m(f) = f**2 + 4*f + 5. Let a be m(-4). Suppose 5*s + 109 = -5*q + 609, -2*s = -a*q + 521. Is q prime?
True
Let h = 2129 - 150. Is h composite?
False
Suppose -7*h + 2*h = -25. Suppose 0*m = m - 136. Is 1/h + m/20 a composite number?
False
Suppose 5*u - m + 32 = 0, 15 + 23 = -5*u + 4*m. Is 1/(-3) + (-344)/u a prime number?
False
Suppose -10 = -4*m + 2. Suppose -3*h = -6, -m*z - 2*h = -h - 59. Is z a composite number?
False
Let b be (-4)/(-14) + 5/7. Suppose 0 = 2*j - 13 + b. Suppose 4*p = j*p - 170. Is p a prime number?
False
Suppose 5*l - 1446 = 3*l. Is l composite?
True
Let w(b) = 38*b**2 - 1. Let g(p) = -75*p**2 + p + 2. Let n(j) = -3*g(j) - 5*w(j). Let x = 4 + -1. Is n(x) composite?
True
Let q = -519 + 902. Let w = q + -84. Is w prime?
False
Is 2650/7 - (0 - 18/42) a composite number?
False
Is 4 + -3 - (-72)/2 a prime number?
True
Suppose 1281 + 228 = 3*t. Is t a prime number?
True
Let n(w) = 33*w - 9. Let j be n(4). Suppose -2*h = -j - 71. Is h composite?
False
Suppose -3*m = 2*c - 5494, 0 = -2*c - 2*m + 7*m + 5462. Is c prime?
True
Let c be -5 - -7 - 0/(-1). Suppose c*h - 6*h = -j + 26, 3*j - 2*h = 48. Is j prime?
False
Suppose -56*k + 3354 = -50*k. Is k composite?
True
Suppose -5*p + 4*p = 0. Suppose 712 = 4*l - s + 3*s, p = 5*s. Is l composite?
True
Let r(n) = -n + 2. Let o be r(0). Suppose -f + 0*p - 3*p = -60, 126 = o*f + 4*p. Let q = f + -38. Is q a prime number?
True
Suppose 0 = -3*f + 4*f. Let l be 30/8 - (-1)/4. Suppose -a + l*z = -0*a - 25, -a + z + 25 = f. Is a composite?
True
Suppose 3*a = 5*a. Let v(t) = -t**2 + 15. Is v(a) composite?
True
Suppose 8*y = 4*y. Is 78 - (-1 - y/(-2)) composite?
False
Let x(t) = -7*t**2 + t + 12. Let c(s) = -1. Let n(f) = -5*c(f) - x(f). Let j be n(-5). Suppose 4*z - 7 = -5*w + 324, 2*z + 5*w = j. Is z a prime number?
True
Let r = -16 - -14. Is r*-74*(-2)/(-8) a prime number?
True
Suppose -163 = -2*a + 3*u, 167 = 2*a - 2*u + 3*u. Is a prime?
True
Is -19 + 17 - 5*-27 composite?
True
Let q be (-57)/(-3) + 2 + -1. Suppose -a - 4*a + q = 0. Suppose 165 = a*u + u. Is u a composite number?
True
Suppose -2*q + 22 = 8. Suppose -361 = -3*y - q. Is y a prime number?
False
Let k(r) = 4*r**3 - 10*r**2 - 12*r + 2. Let j(p) = -5*p**3 + 10*p**2 + 13*p - 1. Let b(f) = -5*j(f) - 6*k(f). Is b(-8) prime?
False
Suppose -2545 = -5*s + 2*s + 4*a, a = 4*s - 3389. Suppose n - 843 = -4*h, 4*h = 2*n + n + s. Is h prime?
True
Let j(c) = -2*c - 12. Let k = -1 + -7. Let n be j(k). Suppose -2*s = -0*y - 5*y - 135, n*s - 230 = 2*y. Is s a composite number?
True
Suppose 0*h + 20 = 5*h. Suppose c = 2*f + 321, 0 = h*f - 0*f + 3*c + 617. Let v = -111 - f. Is v composite?
False
Is 16/40 - (-633)/5 a composite number?
False
Let j(w) = 6*w**2 + 4*w + 9. Is j(7) a prime number?
True
Let o = 20354 - 13357. Is o a prime number?
True
Suppose -d + 92 = -2*h, -2*d - 2*h = -5*h - 183. Let f = d - 45. Suppose -f = -2*v - 7. Is v composite?
False
Let y be (-12)/(-10)*(-25)/(-10). Suppose p - a = 6*p + 37, 2*a = y*p + 30. Is 39/12 - (-2)/p a prime number?
True
Let m = -2043 + 3890. Is m a prime number?
True
Suppose -4*g + 45 = -g. Let w = -11 + g. Suppose -3*r + w*r = 39. Is r composite?
True
Suppose 0 = -3*g + 5 + 1. Suppose 0 = g*u + 2 - 52. Is u composite?
True
Suppose 5*k - 1334 = 3*k. Is k a prime number?
False
Suppose 13*a = 10*a + 159. Let v = 16 + a. Is v a prime number?
False
Let q be ((-55)/15)/(2/48). Is (-50264)/q - (-4)/(-22) a composite number?
False
Let r(b) = b**2 + 7*b + 6. Let x be r(-6). Suppose -y - 8 = -a - 6*y, x = y - 1. Suppose 0 = -3*t - a*z + 401 - 41, -3*t + 370 = 5*z. Is t prime?
False
Let u(j) = 79*j. Let p(k) = 2*k**2 + 4*k + 3. Let h be p(-2). Suppose -l + h*l = 2. Is u(l) composite?
False
Is (1*-67)/((-9)/18) a composite number?
True
Suppose -u - 14 = -6*u - 4*v, -2*u + 3*v + 24 = 0. Let o = 8 - u. Suppose o = -2*p + 80. Is p a prime number?
False
Suppose 0*k - 1271 = -2*k + c, 5*c + 1275 = 2*k. Suppose -6*y - 2*v = -2*y - 508, 0 = 5*y - v - k. Is y a prime number?
True
Let o(p) = -144*p + 31. Is o(-7) composite?
False
Let x = 5 - 5. Suppose -4*c - c + 570 = x. Let h = -79 + c. Is h composite?
True
Let c(u) = u + 8. Let w be c(-7). Is 1 - -36 - (w + 1) prime?
False
Let u = 6 + -3. Suppose -q - 2*y + 40 + 239 = 0, -2*q - u*y = -562. Is q composite?
True
Let z(i) = i**3 + 5*i**2 + 4*i + 7. Let j be z(-5). Let m = -3 - j. Is m a prime number?
False
Is 2/3 - 234289/(-57) composite?
False
Suppose -3*z - t = -637, -3*z - t + 641 = t. Is z a prime number?
True
Let n = 119 - -30. Is n a composite number?
False
Suppose 36 = x - 17. Is x composite?
False
Let z be 0 + -1 + (-2)/(-2). Suppose -4*o - 5*q + 20 = -3*q, z = o - 2*q + 5. Is 54 + (0 - 3/o) a composite number?
False
Let b(s) = -4 + 2 - 9*s + 2 - 1. Is b(-4) a prime number?
False
Suppose 0*g - 4*q = -2*g + 1822, q = 2*g - 1834. Is g a composite number?
False
Let r be 2*(-4 + 2)*-1. Let p = r + 0. Suppose -v - 4*m + 27 = 0, -3*v + p*m + 32 = -17. Is v prime?
True
Suppose -10 = -9*y + 4*y. Suppose -y*k + 3*k = 31. Is k a prime number?
True
Let z = -3413 - -4979. Is 2/(-7) + z/42 a composite number?
False
Let q(x) = x**2 - 6*x + 3. Let k be q(5). Let d = k + 2. Is (1 - d - -84) + -2 a prime number?
True
Suppose x - 57 = 61. Suppose -3*m = 2*r - x, 0 = 4*m - 4 - 12. Is r a composite number?
False
Let x = 1 - -3. Suppose x*s - 577 = -p, -3*s + p + 281 = -s. Is s a prime number?
False
Suppose -2*s - 4*l = -270, 5*s - l - 731 = 3*l. Is s a composite number?
True
Let j(z) = -z**3 - 5*z**2 + 2*z - 17. Is j(-7) composite?
False
Let h(q) = -q**3 + q**2 - 1. Let s be h(2). Let j = 8 + s. Suppose j*l = -2*l + 265. Is l prime?
True
Suppose 4*i = 4*x - 1048, 2*i = -2*x + 619 - 107. Is x composite?
True
Let b be (3/(-3))/(-1)*1. Is b/((-60)/21 - -3) prime?
True
Suppose 2*k + 3*m = -m + 1110, 5*k - 3*m - 2788 = 0. Is k composite?
False
Let s = 16 - 14. Suppose -k = -5*w - 74, 233 = -s*k + 6*k + w. Is k a composite number?
False
Suppose -k + 2*k = 0. Suppose 2*t - 6*t + 740 = k. Is t a composite number?
True
Suppose -4 = 2*p + 2*p. Let j be 2/(-2)*(p - -1). Suppose j*l = -2*l + 446. Is l a prime number?
True
Let g(a) = 57*a**2 + 3*a - 11. Is g(-5) composite?
False
Let j = -408 - -699. Is j a composite number?
True
Let n = 99 - 25. Suppose -n = -2*g + 42. Is g composite?
True
Let p be (10/4)/((-2)/100). Let a = -2 - p. Is a a composite number?
True
Suppose 0 = -3*q + 4*m + 11339, 8*m + 3769 = q + 4*m. Is q composite?
True
Suppose 7*c - 331 = 6*c. Is c prime?
True
Let i be -2 - 2/4*-2. Is (-11)/22*(-315 + i) a prime number?
False
Let o(z) = -7*z**2 - 4*z - 4. Let d be o(4). Let u = 289 + d. Is u a composite number?
False
Let u(s) = -s. Let y(h) = -7*h + 254. Let v(x) = -5*u(x) + y(x). Is v(0) a prime number?
False
Suppose b + 35 = -10. Suppose -111 + 33 = 3*o. Let s = o - b. Is s a composite number?
False
Let p be (-365)/(-1) - (3 + -5). Let h = 568 - p. Is h prime?
False
Suppose -3*j + j = -8. Suppose -4*c + 5*v + 2 + j = 0, -22 = -3*c - 5*v. Suppose c*k = 2*k + 22. Is k composite?
False
Let a(f) = -f**2 + 4*f + 7. Let k be a(5). Suppose -3*n - 4*p - p - 48 = 0, -32 = k*n + 5*p. Let m = n + 103. Is m a prime number?
False
Suppose q - 6*q = -95. Is q a composite number?
False
Is (1 + 3 - 4) + 377 a composite number?
True
Let k = -238 + -46. Let j = k - -402. Is j prime?
False
Let x(r) = 59*r**3 - 4*r**2 + r + 3. Let q(f) = -58*f**3 + 3*f**2 - f - 2. Let g(y) = -4*q(y) - 3*x(y). Is g(1) prime?
False
Let i = 175 + -80. Suppose d - i = -4*h, 2*h - 264 = -3*d - 3*h. Is d a prime number?
True
Let k be (-1)/3 - 160/24. Let f = k + 32. Is f composite?
True
Suppose 0*x + 3 = x. Is 1/(x/381)*1 composite?
False
Let f = -5 + 8. Let q = 6 - f. Is 37/q + 4/6 composite?
False
Let o = 1222 + 139. Is o composite?
False
Is -3 - (3 + 1 - 752) a composite number?
True
Let y = -6 + 8. Suppose b - 5*k = 2, -8 = -4*b - y*k + 3*k. Suppose 424 = 3*i - t, -3*t + 444 = b*i + i. Is i a composite n