a composite number?
True
Let j(v) = -2*v + 11. Let b(f) = 3*f - 10. Let m(p) = 3*b(p) + 4*j(p). Let w be m(-5). Suppose -w*a + 2*a = -2737. Is a composite?
True
Suppose -4*p - 2*k = -4, k + 5 = -0*p + 5*p. Let j be p*-496 - 3*5/(-5). Let x = 1056 + j. Is x a prime number?
True
Suppose 30*y - 1020 = 13*y. Suppose y = -i - 4*i. Let g = 203 + i. Is g a composite number?
False
Suppose -4747*x = -4716*x - 2986013. Is x prime?
True
Let l(c) = -10881*c**3 + c**2. Let m be l(1). Let x be 4/18 - (-13)/(468/m). Is x/(-12) - (-4)/(-24) a composite number?
True
Is -22 + (-2017422)/(-3) + -9 a composite number?
False
Let n(i) = 3*i - 31. Let c be n(11). Suppose c*v - 369 - 867 = 0. Suppose 2*o - 2812 = -v. Is o composite?
False
Suppose 43156*f - 43139*f = 1895857. Is f prime?
True
Let t(d) = 20*d**2 + 59*d - 274. Let r be t(34). Let v = 36551 - r. Is v composite?
False
Is 140/45 - 3 - (-869560)/180 composite?
False
Suppose -5*h = 5*l - 6*l - 22, 3*l + 4*h = 29. Suppose 0 = -3*s + l*y - 444, 0 = 3*s + y + 378 + 46. Is (-81961)/s + (-2)/13 composite?
True
Let p = 38454 + -23386. Suppose 0 = -5*d + 7487 + p. Is d a composite number?
True
Let g = 14220 - -15445. Let b = -19586 + g. Is b composite?
False
Let t = -48 + -25. Let q = t + 78. Suppose 2*f - 2734 = q*s, -2601 = -4*f - 4*s + 2811. Is f a composite number?
True
Suppose -3*u + 12 = 0, 2*u + 0*u = -n + 10. Suppose z - 9 = -n*c, -2*z - 17 - 10 = -5*c. Suppose -2*h - 3453 = -c*h. Is h a prime number?
True
Let t be (-3)/45*-3 - 6686/5. Let l = t + 13807. Suppose 16*a = 28058 + l. Is a composite?
True
Let o(b) = 216*b**2 - 107*b - 2195. Is o(-50) prime?
False
Suppose 285481 = 12*p + 87469. Is p a prime number?
False
Suppose 6*q - 15134 = -3*h + q, -5033 = -h - 4*q. Suppose 2*d = -1765 + h. Is 1/(d/(-412) - -4) a prime number?
True
Let a(w) be the second derivative of -w**7/2520 - w**6/240 + 353*w**5/120 + w**4/12 - 11*w. Let f(k) be the third derivative of a(k). Is f(0) composite?
False
Let u(b) = -b**2 + 22*b - 31. Let c(m) = 7*m + 41. Let d be c(-12). Let w = 56 + d. Is u(w) prime?
False
Let z = 116 + -124. Let x be (-5 + (-188)/z)/((-1)/(-26)). Suppose -a - a - 5*r = -x, -a = r - 248. Is a prime?
False
Let q(a) = 151*a**2 + 12*a + 99. Is q(-10) composite?
True
Let k = -65 + 77. Let h = k - -1. Suppose -5*m - 9752 = -h*m. Is m composite?
True
Is (117 - -6)*(-7495)/(-15) composite?
True
Let k(p) = -4*p + 26. Let d be k(6). Suppose -3*c + 4*s + 20329 = 0, 0 = 2*s - d - 2. Is c a composite number?
False
Let q(d) = 7*d - 66. Let t be q(12). Suppose 0 = -17*f + t*f - 971. Is f a prime number?
True
Suppose -6 = 2*u + 4, -2*k - 2*u = 24. Let j(f) = -46*f - 35. Let t(g) = 46*g + 33. Let r(h) = -2*j(h) - 3*t(h). Is r(k) prime?
True
Let i(d) = 9644*d + 169. Is i(9) a composite number?
True
Let t = -30 - -28. Let p be (12/16)/(t/(-8)). Is 1069/4 + p/(-12) prime?
False
Let l(a) = -593*a + 554077. Is l(0) a prime number?
True
Suppose 13*g - 242 = 2*g. Suppose g*s = -22*s + 406648. Is s a prime number?
False
Let z(a) = -26817*a**3 + 48*a**2 - 22*a - 2. Is z(-5) prime?
False
Let c be (-5)/15 - 27759/(-9). Suppose -20353 = -7*m - c. Is m a composite number?
False
Let g(f) = 10026*f**2 - 23*f + 28. Let q be g(14). Is q/112 + (2 - 30/16) a prime number?
False
Let k(z) = 34*z - 1. Let a(g) = -1 - 2 - 3*g + 2 + 4*g. Let x(q) = 4*a(q) + k(q). Is x(9) composite?
False
Let b = -418 - -446. Is 6 + (-7)/b + 64095/12 prime?
True
Suppose 7*w - 204482 - 316829 = 0. Is w a prime number?
False
Let f be 1*6/(-3) + (-719 - 0). Let h = 1587 + f. Is h a composite number?
True
Let f(x) = -2915*x - 38. Let r be f(-6). Suppose -r = -5*k + y, -13973 = -4*k - 2*y - y. Is k prime?
True
Suppose -2*a + 5*m = -4308, 3*a - 9*a + 12888 = 3*m. Is a a composite number?
True
Let n = -66 - -86. Suppose -1 = 2*u - 2*o - 9, n = 3*u + o. Suppose -15*h = -u*h - 531. Is h prime?
True
Let n = 1760 + -998. Let h = n - -640. Is h a prime number?
False
Let t(w) = 108*w**2 - 22*w + 211. Let s = -259 - -267. Is t(s) prime?
True
Suppose 6*l = 3*l + 7410. Suppose 0 = 4*p + 3*q - 1949, 9*p = 4*p + 3*q + l. Is p composite?
False
Suppose -5*o + 373 = -m, o + 369 = -m + 2*o. Let f be -580 + (2 - 1) + 0. Let c = m - f. Is c composite?
False
Let m(k) = 6*k**3 + 24*k**2 + 2*k - 4. Let r be m(-4). Is 42/r*-2 + 2604 a composite number?
True
Suppose 0 = -43*l + 689870 + 8541327. Is l a composite number?
True
Suppose 10*k = -4*k + 17076439 - 2888433. Is k a prime number?
True
Suppose 5*a - a - 20 = 3*s, -4*a + 2*s + 16 = 0. Let z(c) = 2*c - 1409. Let u(o) = -o + 705. Let y(p) = a*z(p) + 5*u(p). Is y(0) prime?
False
Suppose 3*n - 2*m = 3143, -5*n - 22*m = -23*m - 5229. Let y = n + -344. Is y composite?
False
Let b be 8/(-2) - (-1 + 1012)*-5. Let d = b + 9162. Is d composite?
True
Suppose 49*h + 1066750 = 9441585. Is h a prime number?
False
Suppose -48*y - 167*y = -4303010. Is y composite?
True
Suppose 13*d + 5*o = 8*d + 681170, 4*d - 5*o - 544891 = 0. Is d a prime number?
False
Suppose 0*i + 6 = -2*i - o, 0 = 3*o + 12. Let j be (6806 - -2) + 5 + i/1. Is 3/(-1) - j/(-13) a prime number?
True
Let y = 187107 + 192670. Is y prime?
True
Let l = -514 - 7. Let z be -2770*5/(100/(-8)). Let w = l + z. Is w a composite number?
False
Suppose -a - l = -45383 - 14831, 0 = a - 4*l - 60189. Is a composite?
False
Let m = 155 - 154. Is (-1*(3 - -2480))/(m - 2) prime?
False
Let z(q) be the first derivative of q**4/4 + q**3/3 + q**2 + 1361*q - 37. Is z(0) a composite number?
False
Suppose -6*z + 19 - 1 = 0. Let d be ((-12)/18)/((-1)/z). Suppose 0 = 4*o - d*c - 196, 6*o - 2*o - 208 = -c. Is o a prime number?
False
Suppose 5*p = 3*c - 30730, 0*c + 3*c = 4*p + 30728. Suppose 0 = 18*q - 18614 - c. Is q a prime number?
False
Let i(c) = 182*c**2 + 31*c - 590. Is i(23) composite?
False
Suppose -3*b - k = -296322, -29*b + 30*b = 2*k + 98767. Is b a composite number?
False
Let n(y) be the first derivative of -383*y**4/4 + y**3/3 + y**2 + y + 6. Suppose 6 = 3*l - 3*w, l + 5*w = w - 18. Is n(l) a prime number?
False
Let u = 22572 - -2029. Is u a composite number?
True
Let t(k) = 859*k + 1173. Is t(14) composite?
True
Suppose 4*p = -1478 - 6. Let m = 5 - p. Let x = m + 3. Is x prime?
True
Let q be -2 + (5 - (8 + -3))*-1. Is 356*(6/8 + q/4) prime?
True
Let n(u) = 10*u**2 - 10*u - 17. Suppose 10*t + 904 = -666. Let w = t + 145. Is n(w) composite?
False
Let l = 151326 + -83075. Is l composite?
True
Let c(b) be the second derivative of -b**5/20 + 17*b**4/12 - 7*b**3/6 + b**2 - 31*b. Let o be c(11). Let q = 2042 - o. Is q a composite number?
True
Is 22234 - (-27 + 28 + -14) prime?
True
Suppose -5*s + 1014 = -f, 4*f - 5*s = -4002 - 54. Let n = f - -14873. Is n a composite number?
False
Let c(l) = 19*l + 9193. Let t be ((-7 + 7)/(-8))/(-1). Is c(t) composite?
True
Let t(l) = 9*l**3 - l**2 - 9*l. Let k be t(-4). Let w = k + 1707. Is w a prime number?
True
Let w(m) = m**2 - m - 2. Let r be w(-3). Suppose -f = j - 1146, -3*f - r = -f. Suppose o + j = 2910. Is o prime?
True
Let z(o) = -o**2 + o. Let s(t) = -194*t**2 + 5*t + 41. Let i(h) = -s(h) + 3*z(h). Is i(6) a composite number?
False
Suppose -2*a - 12197 = 36571. Let u = a + 44593. Is u a prime number?
False
Suppose -4*b - 153*z = -158*z - 703809, 879751 = 5*b + 4*z. Is b composite?
True
Suppose 0 = -3*v - 5*m + 131667, v - 26030 = -3*m + 17851. Is v a composite number?
True
Let y(g) = g**2 + 3*g + 2. Let l be y(-4). Suppose 0 = l*p - 4*p. Suppose 5*f = -2*h + 4*h + 815, p = 4*f + 5*h - 619. Is f prime?
False
Let v = 1719 - 11146. Let j = v + 14454. Is j prime?
False
Let r be 4*9/12 + 5 + -3. Suppose r = -2*w + 9. Suppose w*u - 198 = 520. Is u a composite number?
False
Suppose 5*i + 2*q = 19205, -6*i + 3*q + 11523 = -3*i. Suppose 0 = 5*h + 2*y - i, 8*y + 3855 = 5*h + 3*y. Is h a prime number?
True
Is 39414 - (3*(-5)/3 + -2) a composite number?
True
Suppose 0 = -q - 4*a + 28, 4*a - 42 - 10 = -4*q. Let n be (-8)/(4 - q) - 393. Let g = -60 - n. Is g composite?
False
Suppose 2*b - 168 = 1796. Let f = b - 639. Suppose 198 = z - f. Is z prime?
True
Let n = 687 - -204. Suppose n - 8581 = -10*m. Is m - (-2 + -1 - (1 + -4)) prime?
True
Let h(f) = -f**3 - 6*f**2 - 4*f - 5. Let s be h(-4). Let u(i) = -i**3 - 21*i**2 + i - 3. Let q be u(s). Is (-10074)/(-8) + (-5 - 114/q) 