k(b) - 5*v(b). Suppose -2*h + 1 = 3*f - 0*h, 0 = 2*f - 2*h - 4. Is q(f) prime?
False
Suppose -22647 = -4*v + 5*n, -10*v - 4*n + 28319 = -5*v. Is v a composite number?
True
Let z = 284 - -320. Let y = -215 + z. Is y a composite number?
False
Suppose 8*j - 4*j = 0. Suppose j = 3*l - 3 - 63. Is l a composite number?
True
Let u(f) = -302*f**2 - 6*f + 1. Let q(k) = -k + 145*k**2 + 157*k**2 + 2*k + 4*k. Let r(y) = 3*q(y) + 2*u(y). Is r(-1) prime?
False
Let u = 5444 - 2873. Is u prime?
False
Let h = -4 - -28. Is -489*(-3 + h/9) prime?
True
Let n be (-298)/3*3/(-2). Let s(i) = -6*i + 6. Let g be s(12). Let q = g + n. Is q composite?
False
Let j(p) = -p**3 + 11*p**2 + 18*p + 14. Let b be j(14). Let g = b + 507. Is g a prime number?
False
Let o be -17*(0 + (2 - 6)). Let j(t) = -4 - o*t - 5 + 8. Is j(-3) composite?
True
Suppose 6 + 9 = -3*a, 2*a = n - 12. Suppose n*m = -b - 0*m + 33, -2*m = 5*b - 133. Let w = 102 + b. Is w prime?
True
Let o be 288/60 + (-1)/(-5). Suppose o*u = -k + 4, -29 = -3*k + u + u. Is 0 - -162 - (k - 10) composite?
False
Suppose 4048 = 174*r - 158*r. Is r a prime number?
False
Let f(d) = -59*d**3. Suppose -y - 1 + 5 = 0. Let a(s) = -s**3 + 3*s**2 + 5*s - 5. Let l be a(y). Is f(l) a composite number?
False
Let v(u) = 13*u**3 - 3*u**2 + 10*u - 9. Is v(5) prime?
False
Is 30722 - (4 - (9 + -6)) a prime number?
False
Suppose 166 = 7*j - 6*j. Suppose 2*f = -3*l - j, 0 = f - 0*l + 3*l + 80. Is (7 - f)/((-3)/(-2)) a composite number?
True
Suppose -5 = 3*v - 5*v - h, -3*v + 25 = -2*h. Let y = v - -1. Suppose 0 = y*c - 2*c - 572. Is c prime?
False
Suppose 0 = -h - 2 + 7. Let s(w) = -3*w**3 - h*w + 14*w**2 + 0*w**3 + 1 - 12*w**2. Is s(-5) composite?
True
Suppose 0 = 2*m - 3*x - 10, -4*m - 14 = 3*x - 34. Suppose m*j - 4*l - 172 = 0, 4*j = -l + 52 + 73. Suppose -159 = -f + j. Is f a prime number?
True
Suppose 4*r - r + 3*h = 12, 3*r + 4*h = 12. Suppose 6 - 32 = 3*s + r*k, -6 = -2*s + 2*k. Let j(a) = 47*a**2 + 2*a - 1. Is j(s) a composite number?
True
Let s(x) = -x**2 - 2*x - 1. Let r be s(-1). Suppose -15 = -3*t - 2*t. Suppose -2*j = -0*u - u + 45, t*u + 5*j - 102 = r. Is u a composite number?
True
Let s(h) = -10*h**3 + 27*h**2 - 5*h - 10. Let i(a) = -5*a**3 + 14*a**2 - 2*a - 5. Let o(c) = 5*i(c) - 3*s(c). Is o(4) prime?
False
Suppose 40 = -4*z - 40. Let p be ((-52)/z - 2)*5. Is (p*-18 - -1)*-1 composite?
False
Let n(i) = 259*i**3 + 8*i**2 - 8*i + 4. Is n(5) composite?
True
Let v(q) = 6*q + 7. Let s(b) = 5*b + 8. Let k(f) = 5*s(f) - 4*v(f). Let l be k(-9). Is (1*818)/(l + -1) composite?
False
Is 7 + (-7 + 6 - -4 - -12139) prime?
True
Is (-42)/(-1) - (-10 + (8 - -1)) prime?
True
Suppose -5*d - 15 = 0, -5*k - 4*d = -k + 84. Is (0 - 3542/(-12)) + 3/k a composite number?
True
Suppose -5*v + 2*u = -138053, v - 4*u = 42532 - 14925. Is v a composite number?
False
Suppose -k + c + 5977 + 16634 = 0, 4*c = 3*k - 67831. Is k composite?
False
Suppose -14*s + 265935 = s. Is s a prime number?
True
Suppose 2*j + 15050 = 3*w + 1957, 5*w - 21831 = j. Is w composite?
True
Suppose 5*s - s - 2*o + 134 = 0, 4*s = o - 139. Let r be (-19552)/(-18) - (-8)/s. Let t = r + -639. Is t a composite number?
True
Let m(g) = 4*g - 20. Let s be m(5). Let p(v) = -4*v + 346. Let t(z) = z. Let r(q) = p(q) + 5*t(q). Is r(s) composite?
True
Let g = 25703 + -12268. Is g a composite number?
True
Let l(m) = -22*m - 43. Let x be l(11). Let i = -158 - x. Is i composite?
False
Let g be -3*((-2 - -2) + -102). Suppose 5*x - 10*x + 725 = 0. Let o = g - x. Is o prime?
False
Let g be 1 + 3/(-6)*-1982. Suppose -3*h + 310 = 5*o - g, -h + 4*o = -451. Is h composite?
False
Let z = 15074 - 9093. Is z a prime number?
True
Suppose 44*p + 121142 = 58*p. Is p prime?
False
Suppose -99*z + 110*z = 88627. Is z a composite number?
True
Let f(m) = 2*m**3 + 5*m**2 - 5*m - 13. Let u(o) = -o - 7. Let l be u(-12). Is f(l) a prime number?
True
Suppose 0 = 6*h - 141270 + 2568. Is h prime?
True
Is 7/(35/15930) - -5 composite?
False
Let n(s) = 969*s - 94. Is n(5) composite?
False
Let c = -2 - -15. Let i be (-14)/(-91) + 63/c. Let x(o) = 4*o**2 - 5*o + 4. Is x(i) composite?
False
Let x be -1 + 4 + 2*(-2)/(-4). Suppose -2*m = x*o - 682, 7*o + 3*m = 4*o + 516. Is o composite?
True
Suppose -5*h + 4*d + 10995 = 0, -h - d = -5*h + 8807. Is h a prime number?
True
Suppose 2209 - 6832 = -3*i. Is i composite?
True
Suppose 0 = -4*g + 5113 + 40099. Is g a prime number?
False
Suppose g = 4*g - 27. Suppose g*y - 4*y - 35 = 0. Is y a composite number?
False
Let r(u) = 50*u**2 + 250*u - 13. Is r(9) a composite number?
False
Let h be -2 + -10*(-4)/8. Suppose h*x = -6 - 6. Is 1/x - 89/(-4) composite?
True
Let g(b) = 229*b + 34. Is g(7) composite?
False
Let v = -1 + 6. Is v + -1 + 5 + 2 composite?
False
Let j be (-6)/(-21) - 1782/14. Let g = 220 + j. Is g prime?
False
Let d(l) = -l**3 + 4*l**2 + 2*l - 10. Suppose 15 = 3*b + 36. Let a be d(b). Let v = a + -184. Is v a prime number?
True
Suppose -5*p = 5*y - 20, -3 = p - 2*p - 2*y. Suppose -k - 2 = -p. Suppose o + k = -0, -a + 2*o = -85. Is a a prime number?
True
Let t(h) = h - 314. Let v be t(0). Suppose 4*k + 1772 = -4*s, 969 = -3*s - k - 364. Let d = v - s. Is d a composite number?
False
Suppose -9*m + 14*m = 2*f - 16901, -f + 8449 = -4*m. Is f a prime number?
False
Let l = -3 + 16. Let m(s) = -s + 2 + l - 4. Is m(-8) composite?
False
Let q(d) = 17*d**3 + 5*d**2 - 5*d + 12. Let m be q(4). Is (3/2)/(30/m) a composite number?
True
Let w = -88 - -356. Let a = w - -99. Is a prime?
True
Let q = -4337 - -8448. Is q composite?
False
Let i(p) = p**3 + 6*p**2 - 2*p - 8. Let j be i(-6). Suppose -j*f - 2*z = z, -2*z - 8 = 0. Suppose -3*c - 3 - 47 = -2*a, 53 = f*a + c. Is a composite?
False
Let r = 4199 - 1917. Suppose 5*w - r = -197. Is w composite?
True
Let l(m) = 180*m**2 + 1. Suppose -3*w - 4 = w. Let h = w + 0. Is l(h) a composite number?
False
Suppose -4*z - 23 = -4*w + 5, -5*z = -w + 19. Suppose w*s - 872 = -0*s. Let f = s - 55. Is f prime?
True
Let u(o) = -2*o - 12. Let j(y) = -y - 6. Let f(l) = 10*j(l) - 4*u(l). Let m be f(-8). Suppose -m*t = -2*t - 134. Is t prime?
True
Suppose 29177 = 9*f - 35794. Is f a prime number?
True
Suppose 0 = h - 2*m - 5427, -4*h + 5*m + 713 = -21001. Let c = h + -3794. Is c a composite number?
False
Let f(i) = 1059*i + 39. Is f(2) a composite number?
True
Let a(j) be the second derivative of 7*j**4/12 - j**3 + 7*j**2/2 - 10*j. Suppose 0 = 3*z + 3, 4*y - 3*z = -z + 26. Is a(y) a prime number?
True
Is (-477600)/(-35) + 3 + 14/49 prime?
True
Let m = 1068 - 495. Is m prime?
False
Let j = 12 - 6. Let x be -4*((-3)/j - 2). Is ((-4)/x)/((-1)/205) composite?
True
Suppose -1422 = z - 7*z. Let g(o) = 2*o. Let f be g(1). Suppose -f*r = r - z. Is r composite?
False
Suppose -13*m + 787359 = -291836. Is m a composite number?
True
Let t(h) = 55*h + 2. Let m(r) = -1. Let s(c) = -2*m(c) + t(c). Is s(1) composite?
False
Let u(x) = -x**2 + 4*x - 8. Let k be u(3). Is (((-14430)/12)/k)/((-2)/(-4)) a composite number?
True
Suppose -4*n + 11 = q + 3, -5*n + 10 = -5*q. Let b be ((-4)/4 + 63)*33/22. Suppose q = -4*y - c - 2*c + b, 0 = 5*c - 15. Is y prime?
False
Let h = 2719 - 5078. Let z = -1388 - h. Is z a composite number?
False
Suppose 2*c = -3*g + 294469, 4*g - c = -0*g + 392607. Is g composite?
True
Suppose 0 = -3*g + 2*g. Suppose 482 = t - g*t. Suppose 56 = -2*r + 4*c + t, 5*r = 5*c + 1075. Is r composite?
True
Let r = -16 + 20. Is r + -6 + 735 - 2 a prime number?
False
Suppose -5*w - 3*q = -100, 3*w + 0*q - 60 = 2*q. Suppose -w = 5*r, 48 = -l + 2*r + 145. Is l a prime number?
True
Let o = 31 + -11. Suppose -4*a = -12, 0 = -3*m + 7*m + 4*a - o. Suppose 2*t = 5*b + 954, 1956 = 4*t - m*b + 4*b. Is t prime?
True
Let z = 12894 + -2473. Is z a composite number?
True
Let g(o) = 0 - 55*o**3 + o**2 + 54*o**3 + 350*o**3 - 1. Let v be g(1). Suppose 3*n = -v + 1606. Is n a composite number?
False
Suppose -13 + 105 = 4*w. Suppose -w = j - 114. Is j composite?
True
Suppose 28*r - 2*r = 74854. Is r composite?
False
Let s(d) = 2*d - 6020. Let o be s(0). Let g be -3 + o + (-1 - -3). Is (4/6)/((-18)/g) composite?
False
Let k(l) = 240*l - 9. Is k(2) prime?
False
Let q(c) = 11*c**2 - 25*c - 61. Is q(-18) a composite number?
True
Suppose 0 = -2*r + 502 + 3696. Is r a composite number?
Fals