osite number?
False
Suppose 0 = 4*z + 5*h - 20, z = -0*h - h + 4. Suppose z = -4*m - 2*s + 5*s + 1216, -2*s + 1543 = 5*m. Is m prime?
True
Suppose 0 = 12*f - 17*f + 88885. Is f composite?
True
Let z(t) = t**2 - 19*t + 27. Let d be z(18). Is (832/14 + d/(-21))/1 composite?
False
Let j be -7 + (-2 + 1 - -2). Let l(f) = -52*f + 5. Is l(j) prime?
True
Let f(h) = -4*h**3 + 10*h**2 + 11*h - 21. Is f(-8) composite?
False
Let c(s) = s + 1. Let b be c(5). Let k(r) = 9*r - r - 5*r + 4 + 1. Is k(b) a composite number?
False
Let g(i) = i**3 + i**2 - i + 5. Let l be g(0). Suppose 2*n - l*n + 555 = 0. Is n composite?
True
Suppose 5*p + 35 - 100 = 0. Let d = -13 + p. Suppose d = -0*c + 2*c - 66. Is c composite?
True
Suppose -5 = -h - 1, -3*h = -4*o - 28. Suppose -3*b + 35 = 2*g, -g - 5*b + 20 = -15. Let m = g - o. Is m a composite number?
True
Let u(r) = 6*r**2 + 11*r - 1. Let j be u(7). Let f = -227 + j. Is f a prime number?
False
Suppose 20*n - 15*n + 40740 = 5*g, -n = -5*g + 40736. Is g prime?
True
Let r = 7644 - 5077. Is r a composite number?
True
Suppose -3*q + 672 + 1023 = 0. Is q prime?
False
Is (-10937349)/27*1/(-3) a prime number?
True
Let v(u) = -11*u - 16. Let l be v(-14). Let s = l - 73. Let b = s - 46. Is b prime?
True
Let f(z) = 2*z + 2. Let b be f(-6). Let x(h) be the third derivative of -h**6/120 - 3*h**5/20 + h**4/6 - 13*h**3/6 + 10*h**2. Is x(b) a prime number?
True
Let o(v) = 17*v**2 + 0*v - 55*v**3 - v - 11*v**2 + 3*v - 2. Is o(-3) a prime number?
True
Suppose 13*k = 8*k. Suppose k = -f + 5*f + 12. Let x = 34 - f. Is x a prime number?
True
Suppose 4*h - 3380 = -0*h. Let r = -54 + h. Is r prime?
False
Let z(a) = 15*a**2 - 3*a + 3. Let y be z(2). Let g = -34 + y. Is g a composite number?
False
Let k be (-2)/((-2)/(-3)) - (-2284)/4. Suppose 2*a - 6 - 4 = 0. Suppose k = a*g - 387. Is g composite?
False
Is (289588/8)/13*(-22)/(-1) a prime number?
False
Let d(s) = 89*s - 13. Let h be d(21). Suppose 0 = 2*l - 230 - h. Is l a composite number?
True
Let r = 1004 + -657. Let w = 606 - r. Is w a prime number?
False
Suppose -j + 4*r + 355 = -1578, -5*j + 9760 = -r. Suppose 0 = -2*o - y + 4*y + 1289, -j = -3*o - 2*y. Is o composite?
True
Let j = 1546 - -2660. Suppose -4*l = -10*l + j. Is l a prime number?
True
Suppose -2*u + 857 = 3*j, -4*j + 1108 = -3*u - 46. Is j a prime number?
False
Let o(j) = -j**3 + 3*j**2 + 2*j + 6. Let d be o(4). Is 1 - d - 5 - -2887 composite?
True
Suppose 4*v - 42146 - 2946 = 0. Is v a composite number?
False
Suppose -5*u - 276515 = -8*u - 2*w, -w = -3*u + 276521. Is u a composite number?
False
Let s(b) = -640*b - 39. Is s(-4) a composite number?
False
Let s be 26/((3 + -2)/((-1)/(-2))). Suppose -u = -s*u + 1428. Is u composite?
True
Suppose 0 = -2*u + 59751 - 5393. Is u composite?
False
Suppose -1 = 2*r - 5*q, 2*r + 3*q + 12 = -r. Is 514*((-14)/(-4) + r) a prime number?
True
Let p = 5 + -11. Let a be p/(-9) - 3530/(-15). Let n = -125 + a. Is n a composite number?
True
Let w(a) = -a + 1. Let z be w(-1). Suppose x + z = 3. Is (753/(-6))/(x/(-2)) composite?
False
Let o(w) = 1 - 4 + 3 - 3 - 2*w. Let z be o(0). Is (-1 + -6)/(z/111) a prime number?
False
Let z(c) = 4*c. Let j be z(3). Let q be (-54)/1*534/j. Is (2/(-6))/(9/q) a prime number?
True
Let h(x) = 31*x**2 - 10*x + 11. Let d(c) = 32*c**2 - 9*c + 11. Let y(r) = 5*d(r) - 4*h(r). Is y(-6) composite?
True
Is 263/((-6)/27 + 1750/7470) prime?
False
Suppose 5*o + 6 = -2*u, -u - o = 4*u - 8. Suppose -817 - 983 = -4*n - u*s, -4*n + s + 1806 = 0. Is n a composite number?
True
Let n(l) = l**3 - 8*l**2 - 8*l - 4. Let f be n(9). Suppose -4*j + y + 2115 = -0*j, 4*j + f*y - 2145 = 0. Suppose 9*m = 4*m + j. Is m composite?
True
Let a(r) = 7779*r. Is a(1) prime?
False
Suppose -15*i = 2*i - 18496. Let k = i - -813. Is k prime?
True
Suppose -5*d = -11 - 14. Suppose q = -d*f + 957, f - 2*q - 201 = -7*q. Is f a prime number?
True
Suppose 0 = g + 4*l - 26 - 391, g - 422 = -5*l. Is g a composite number?
False
Let f(c) = 3*c**2 + 20*c - 9. Let o be f(-7). Is (831/o)/(19/(-38)) prime?
False
Suppose -6*v + 4*v + 6 = 0. Suppose 0 = 6*g - v*g - 753. Is g a prime number?
True
Suppose 5*m + 26 - 6 = 0. Let s be (-4 - m) + 6/2. Suppose 5*v + s*i = 124, -2*i = 4*v - 85 - 15. Is v prime?
False
Let b(f) = 718*f**3 - f**2 + 3*f + 1. Is b(3) prime?
True
Suppose 93040 = 160*c - 156*c - 5*m, 3*m - 46498 = -2*c. Is c prime?
False
Suppose 1 = -z + 3. Suppose 3*i - z = 10. Suppose 3*v = -i*r + 219, 5*v + 3*r = -0*r + 354. Is v prime?
False
Let g(s) = 60*s**2 - 8*s - 29. Is g(13) a prime number?
True
Let y(x) be the first derivative of 73*x**3/3 + 9*x - 18. Is y(4) composite?
True
Suppose 3*f + 5 + 1 = 0. Let v be f/(-12) - (-17125)/30. Let n = v - 282. Is n a prime number?
False
Let n(t) = -8202*t**3 + t**2 + t + 1. Is n(-1) prime?
False
Let s(j) = 2*j**2 - 3*j + 9. Let f be 5*(3 - (-57)/(-15)). Is s(f) a prime number?
True
Suppose -2*k = 14*k - 7184. Is k a prime number?
True
Suppose 0 = -3*s + 15855 - 774. Is s a composite number?
True
Let d(v) = -160*v + 13. Let m(i) = -4*i - 31. Let g be m(-7). Is d(g) prime?
False
Let z(y) = 3*y + 74. Let q be (24/(-2))/(-4)*2. Let d(s) = -4*s - 73. Let l(p) = q*z(p) + 5*d(p). Is l(0) a composite number?
False
Let k(g) = -3*g**3 - 100*g**2 + 27*g + 79. Is k(-42) prime?
True
Let p be (-15)/20*-4 + -3. Suppose p = 11*o - 6127. Is o composite?
False
Suppose 4*a = -4*g + 2*g + 172, 0 = -2*g + 5*a + 145. Let f(m) = -m**2 - 3*m - 5. Let r be f(5). Let d = r + g. Is d composite?
True
Let z = 52964 - -20207. Is z composite?
True
Suppose -9*h + 14*h = 20. Suppose h*u + 0*u + 224 = 4*w, -5*u - 115 = -2*w. Is w composite?
True
Suppose 0 = -2*p - p + 12. Is ((-379)/p)/((-1)/4) a composite number?
False
Suppose 0 = -3*t + 11222 + 8665. Is t a composite number?
True
Suppose -a = -6*a + 175. Is (-1)/(14/(-9816)) + (-5)/a prime?
True
Let s be 1*2*(-567)/(-14). Suppose 0 = 5*b + a + 231, 0 = 5*b + 8*a - 3*a + 235. Let x = s + b. Is x prime?
False
Suppose 2*w - 6*h - 11838 = -5*h, 0 = -4*w + 4*h + 23684. Is w composite?
True
Let l(r) = -11 - 32*r - 16 - 19. Is l(-19) composite?
True
Suppose -21390 - 31187 = -49*u. Is u composite?
True
Let a(g) = -2*g**3 - 2*g**2 - 10*g - 61. Is a(-6) a composite number?
False
Let a = 17427 - 6534. Suppose 1393 = -4*q + 5*o + 10099, -a = -5*q + o. Is q prime?
True
Suppose -38*c - 59917 = -49*c. Is c prime?
False
Suppose 6*s + 2*z + 345 = s, -3*s - 191 = -2*z. Suppose 0 = 4*i + i. Let q = i - s. Is q a composite number?
False
Suppose -4*u = 3*u - 42. Is -877*2*u/(-12) a composite number?
False
Let s(h) = 9*h**3 - 12*h**2 + 79*h + 77. Is s(27) prime?
True
Let n(s) = 131*s - 6 + 3 + 8 + 8. Is n(14) composite?
False
Suppose l = -0 + 2. Suppose 0 = c - l*c + 5*h + 632, 5*c - 5*h - 3220 = 0. Is c composite?
False
Let n = -22 - -26. Is 25749/27 - (n/3)/2 a prime number?
True
Let r(y) = -16*y**3 - 13*y**2 + 3*y + 3. Is r(-6) a composite number?
True
Let k = 2835 + 752. Is k prime?
False
Let m(c) = c**2 - 7*c + 12. Let p be m(5). Suppose p*q = -3*q + 955. Is q a composite number?
False
Let m(k) = -6*k**3 + 10*k**2 + 11*k - 12. Let l be m(-10). Is 16/6 - 2 - l/(-6) a prime number?
False
Let y = 3 - 1. Suppose -a - 3*a - 99 = -k, -y*k - 5*a + 250 = 0. Let g = -60 + k. Is g a composite number?
True
Suppose -20*v + 475770 = 10*v. Is v composite?
False
Suppose 4*w = 4*k + 136, 104 = 3*w - 4*k + 6. Let z(o) = -21*o**3 + o - 1. Let x be z(1). Let j = w - x. Is j a prime number?
True
Suppose 1725 = -y + 6804. Is y composite?
True
Let u = -72 - -79. Let l(q) = 21*q + 16. Is l(u) a composite number?
False
Is ((-7)/2 - -1)/(3/(-3054)) composite?
True
Let l(d) = d**2 - 13*d + 18. Let i be l(12). Let o = i - -5. Suppose 3*z - o = 2*z. Is z a composite number?
False
Let m be -1 + 216/2 - 1. Let u = -155 + 157. Suppose 4*r - m = u*r. Is r a composite number?
False
Suppose 4 = l, -11235 = -5*v + 3*l - 482. Is v prime?
True
Let a(t) = 2*t**2 + 2*t - 2. Let s be a(1). Suppose -h - 4*n = -0*h - 121, -212 = -s*h + 2*n. Is h a composite number?
False
Let s(f) = -5*f**3 + 12*f**2 - 11*f - 5. Let z(l) = -13*l**3 + 0 - 23*l - 11 + 25*l**2 + 2*l**3. Let a(y) = -9*s(y) + 4*z(y). Is a(9) a composite number?
True
Suppose 3*z + 12 = 4*z - 3*p, 0 = -2*z - 5*p + 46. Let r = 21 - z. Is (2 - r)