mber?
True
Suppose 1740 = -4*g + 2*p + 4532, -2804 = -4*g - 4*p. Suppose -k = 2*k - g. Is k composite?
False
Let p(a) = -10*a + 0*a**2 - 5*a**2 + 3*a**2 + 3 + a**2. Let c be p(-10). Suppose c*d = -2*y + 3*y + 166, 2 = -2*y. Is d composite?
True
Let x(u) = 1701*u - 178. Is x(5) composite?
True
Let m(w) = 4*w + 44. Let h be m(-11). Let q(d) be the first derivative of d**2/2 + 86*d - 1. Is q(h) composite?
True
Suppose -2*z = -4*z + 10. Suppose 2*b - z*y + 464 = 0, 3*b = 2*y - 0*y - 674. Is (-2 - -6 - b) + -3 a composite number?
False
Suppose 9023 = -4*l - 3*x + 38388, 3*l = 2*x + 22028. Is l a prime number?
False
Let d = -51 + 40. Let w(m) = -226*m - 57. Is w(d) a composite number?
True
Let r = -116537 - -172836. Is r a composite number?
False
Suppose 0*f = -3*f + 3927. Suppose 4*g = f + 207. Suppose g = 4*n - y - 181, -n + 3*y = -151. Is n a composite number?
False
Let s be 120/(-75)*5/(-2). Suppose -2 = -s*o + 6. Suppose 0 = -o*f - 0*f + 422. Is f a prime number?
True
Is 3116/28 + 8/(-28) a prime number?
False
Suppose 4*d - 9072 = k, 0 = 5*d - 4*k - 7629 - 3722. Is d a composite number?
False
Let j(p) = -p**3 - 1. Let a(v) = -2*v**3 - 3*v**2 - 6*v - 17. Let w(l) = -a(l) + 4*j(l). Is w(-6) composite?
True
Let d = -41 - -28. Let u be (-63 - -1) + (-26)/d. Is (-1272)/u + (-1)/5 composite?
True
Let v be (-1144)/(-6) + (-11)/(-33). Suppose v = 2*f - 2*b - 231, 2*b - 422 = -2*f. Is f a prime number?
True
Suppose -4*u = -57 - 27. Suppose -5*v = -4*v - u. Is v a prime number?
False
Is (3/18)/((-9)/18)*-22527 a composite number?
True
Suppose -18171 = -10*y + 9919. Is y composite?
True
Suppose 2*s = 4*s + 44. Let u = -908 - -861. Let x = s - u. Is x a prime number?
False
Suppose -5*d = -3*i + 12334, -2*i - 4*d + 4451 + 3735 = 0. Is i composite?
True
Let m(i) = 414*i**3 - 3*i**2 + 5. Is m(2) prime?
False
Let w(u) = u**2 - 5*u + 3. Let k be w(5). Let f be (k + -8)*(0 - 1). Suppose 7 + 51 = 3*q + f*h, 3*h = 4*q - 29. Is q prime?
True
Suppose 0 = 5*i + 2*r - 50, 0 = -i + r + 17 - 0. Is (-221)/((-2 + i/4)*-1) composite?
True
Let b(g) = 25*g**2 - 5*g + 1. Let l(v) = 3*v**2 - 3*v. Let t be l(2). Is b(t) composite?
True
Let m = 3 + 33. Suppose 3*u + 57 = -3*h, 5*h = -u + 5*u + 103. Let f = m + u. Is f a prime number?
False
Let f = -5393 + 29931. Is f a prime number?
False
Let u(c) = -c**3 - 5*c**2 - 8*c + 61. Is u(-18) prime?
False
Let h(p) = 0*p**2 + 62 - p**2 + 137 + p. Let v(d) = -6*d + 30. Let c be v(5). Is h(c) a composite number?
False
Let q = -59 + 60. Is (q/4)/(1/8) - -483 a prime number?
False
Let k(g) = 4*g**2 - 16*g - 4. Suppose -s + 4*d = -6 - 1, 0 = -s - 5*d - 38. Let t be k(s). Suppose 0 = 4*f - 124 - t. Is f a prime number?
True
Let x = 344 + 610. Let b = x - 596. Suppose -d + b = d. Is d a composite number?
False
Let c(z) = 5*z**2 + 4*z + 22. Let x be (34/(-4))/((-9)/2 - -4). Is c(x) composite?
True
Let r = 9426 - -1001. Is r prime?
True
Is (4 - 3)/((-11)/(-159709)) composite?
False
Let x = 82719 + -42846. Is x composite?
True
Let j(l) = 2*l**3 + 96*l**2 + 113*l + 5. Is j(-46) prime?
True
Let r = -423 + 14596. Is r composite?
False
Let c(b) = 134*b + 5. Let j = -4 + 10. Let o(r) = 135*r + 6. Let w(h) = j*c(h) - 5*o(h). Is w(1) a composite number?
True
Let b(x) = -1011*x + 77. Is b(-2) a prime number?
True
Let g = 1801 + -430. Is g prime?
False
Is (-1001282)/(-69)*(-3)/(-2) composite?
False
Let d(n) = -116*n**3 + 11*n**2 - 15*n - 39. Is d(-6) composite?
True
Let g(l) = 3*l**2 + 7*l - 1. Let q(s) = s**2 + s + 1. Let h(c) = g(c) - 2*q(c). Let k be h(10). Let p = -53 + k. Is p a composite number?
True
Suppose -3*p + 12*c = 9*c - 10155, 10175 = 3*p + 2*c. Is p a prime number?
True
Let p = 15 - 10. Suppose k - 24 = -p*k. Suppose 21 = k*o - 175. Is o composite?
True
Suppose 3*s = 5*s - 344. Suppose -185 = 3*u + s. Let l = u + 252. Is l a composite number?
True
Let s(k) = k**3 - 7*k**2 + 2*k - 10. Let y be s(7). Suppose -18 = -4*f - 5*r, -y*f - 1 = r - 11. Suppose -5*c = -f*c - 57. Is c a prime number?
True
Suppose 0 = -3*t + 2*q + 2290, 0 = 7*q - 2*q - 20. Is t composite?
True
Let s = -86 + 90. Let i(t) = 2*t**3 - 5*t**2 + 5*t - 9. Is i(s) composite?
False
Let g(c) be the first derivative of -c**5/60 + 5*c**4/12 - c**3 - 2*c**2 - 5. Let r(t) be the second derivative of g(t). Is r(7) composite?
True
Let s(k) be the third derivative of 7*k**5/60 + k**4/8 - k**3/2 + 19*k**2. Is s(2) composite?
False
Let g be 3*(-3 - (-10002)/9). Let v = 5562 - g. Is v a prime number?
True
Let x(d) = 4 - 6 - 5 - 2*d - 3*d**2 + 6. Let k be x(-1). Is 212 + -3*k/(-6) a composite number?
False
Let h = -150 + 255. Suppose 5*p + 26 + h = d, 3*p = -2*d + 236. Is d a prime number?
False
Let l(s) = -s**3 - s**2 - 2*s + 16993. Is l(0) a composite number?
False
Suppose 4*i = j - 418, -2*j - 3*j + 2200 = 2*i. Suppose 2*d = 4*a + j, 0*d = -d - 3*a + 229. Is d prime?
True
Let f(y) = -549*y**3 - 1. Let g be f(-1). Suppose -1652 = 4*q - g. Is (-1 + 0)*(q + 5) a composite number?
False
Suppose 9*o = 4*o - 40. Let h(c) = 6*c**2 + 10*c - 11. Is h(o) a prime number?
True
Suppose 0 = 5*y - 15, -5*o + 4*o = 2*y - 14339. Is o a prime number?
False
Let x(f) = -39*f**3 - 6*f**2 + 4*f + 7. Is x(-4) composite?
True
Suppose -98*r + 94*r + 644932 = 0. Is r prime?
True
Let d = 2537 - -27126. Is d a composite number?
False
Let a be (-28 + 2)*2/4. Let z = a - -18. Is ((-3)/z)/(3/(-75)) a composite number?
True
Is 38420 - -9 - (4 - 6) a composite number?
False
Suppose 2*q + 4*y - 18 = 0, y + 3 = 2*q - 0*y. Suppose -3*u + 7*r = q*r - 879, 0 = 5*u + 2*r - 1465. Is u a prime number?
True
Let m(v) = 107*v**3 - v**2 + 6*v - 19. Is m(6) a composite number?
True
Let w be (-8919)/(-21) - (-2)/7. Let a = 636 - w. Is a composite?
False
Is -5 + (6498 - (-130)/13) prime?
False
Let q(w) = 82*w**2 - 46*w - 131. Is q(-23) composite?
True
Let d(v) = -v**3 + 11*v**2 - v + 3. Let i be (-7)/(-21)*(0 + 18). Is d(i) composite?
True
Let p be (-2 - -2)/(-1 - -2). Let r be (-6)/(-27) + (-844)/(-9). Suppose p*k - 2*k + r = 0. Is k composite?
False
Suppose 0 = -6*q + 2*q + 48. Let l(w) be the second derivative of -w**5/20 + 13*w**4/12 + w**2/2 - 10*w. Is l(q) a composite number?
True
Suppose -3*t + 8845 = 2*g, -7*g + 3*g = 3*t - 17687. Is g a composite number?
False
Suppose -20*s + 23*s - 82833 = 0. Is s a composite number?
False
Let k(m) = 59*m + 1 - 3*m - 10*m. Let w be (8/5)/((-10)/(-25)). Is k(w) prime?
False
Suppose 2*l + 29 = -2*f - l, -3*l = 3*f + 39. Let j = -8 - f. Suppose -j*r + 4*r = 658. Is r a composite number?
True
Let m = -16 + 19. Suppose 0 = 2*f + r - 4*r - 2026, -m*f + 2*r + 3049 = 0. Suppose -5*b + f = 3*l, -4*l = -4*b + 372 + 456. Is b a composite number?
True
Let f(t) = t - 7. Suppose 2*z - 2 = 0, w + 2 = -5*z + 14. Let x be f(w). Suppose 3*j = -x*j + 114. Is j a prime number?
False
Suppose d + r - 11 = -0*d, 21 = d + 3*r. Suppose -556 = 4*m - d*m. Is m composite?
True
Let r = 107 + -98. Suppose r*a - 3535 = 4*a. Is a a composite number?
True
Let d(f) = 198*f**2 - 2*f - 1. Let o be (-1)/(-4) - 22/(-8). Suppose 1 = 2*l - o*l. Is d(l) a prime number?
True
Suppose -613 + 31 = -3*u. Let i = 234 + u. Suppose i = 5*f + 153. Is f composite?
True
Suppose 0 = -i - i - 12. Let f be (i + 3 - 1) + 17. Let t(q) = 18*q + 1. Is t(f) prime?
False
Let r = -151 - -427. Suppose 0*o - 3*o - u + r = 0, 4*o - 360 = -4*u. Is o prime?
False
Suppose -481 = -2*g + 909. Suppose c = -4*c + g. Is c a composite number?
False
Let p(h) be the third derivative of 1/60*h**5 + 0 + 0*h + 4*h**2 + 1/2*h**3 + 1/8*h**4. Is p(-6) composite?
True
Let n be (-3)/(-2)*50422/51. Let a = 250 + n. Is a prime?
True
Let v = 2 + 0. Suppose k - v*k - 474 = -2*t, t + k = 237. Suppose a + 3*o - 268 = 0, -3*a - 2*o = -1034 + t. Is a a prime number?
False
Suppose m + 4 = 0, 0*m + 104 = 4*z + 2*m. Is z/(-21) - (-986)/6 prime?
True
Let y be (-2)/4*4/(-2). Is 38/(-19) + 227 + (y - 0) a prime number?
False
Let d = 9419 + -892. Is d prime?
True
Let t = 1592 - -282. Is t prime?
False
Is 10 + 124020/63 - (-9)/21 a prime number?
True
Is -1*(-1056 - (3 - -2)) a prime number?
True
Let h(a) = 15*a**2 - 2*a + 3. Let u be h(2). Let j(y) = -u*y + 5 - 6*y - 21. Is j(-11) composite?
True
Let v(d) = d + 8. Let x be v(-7). Let m be 107 + (4 - x/1). Let r = 269 - m. Is r prime?
