 a composite number?
True
Let n(r) = -6*r**3 - 2*r**2 - 44*r + 43. Let p(i) = 2*i**3 + i**2 + 15*i - 14. Let u(a) = -3*n(a) - 8*p(a). Is u(6) prime?
False
Let f be (-524)/(-6)*((-90)/4)/(-5). Suppose -40 = -h + 2*b, 2*h - 56 - 27 = 3*b. Let x = h + f. Is x prime?
True
Let h(f) = 46*f + 93. Is h(23) composite?
False
Let h = 9435 - 5266. Is h composite?
True
Let g(w) = 3*w - 48. Let d be g(16). Suppose -5*c = d, -v + 7*c = 3*c - 2483. Is v a composite number?
True
Let i(a) = 5*a**2 - 8*a - 2. Let d(y) = 1. Let j(z) = -z - 4. Let x(p) = -4*d(p) - 2*j(p). Let o be x(2). Is i(o) composite?
True
Let f(k) = 81*k**3 + 2*k**2 - 16*k - 16. Is f(5) a prime number?
True
Let d = -20748 + 49865. Is d composite?
True
Let c(v) = 6 - 2 + 0 - 2 + 305*v. Is c(1) a prime number?
True
Suppose -11*l + 6*l + 12325 = 0. Suppose j - l = -4*j. Is j a composite number?
True
Let q(y) = y**2 - 2*y - 3. Let l(s) = 2*s**2 - 5*s - 7. Let z(n) = 2*l(n) - 5*q(n). Let b be z(1). Suppose -5*u - 25 + 210 = b. Is u a composite number?
False
Suppose -2*b - 8 = -12. Suppose -b*z + 0*z = 6, 0 = 2*p + 4*z - 3766. Is p a prime number?
True
Suppose 0 = 2*a + 2*c - 52614, -a + 3*c - 3129 + 29452 = 0. Is a a composite number?
True
Let l = 27 + -24. Suppose 0 = -l*p - h - 2*h + 93, -3*p + 4*h = -93. Is p composite?
False
Let w = -123 + 83. Let o be (w/15)/(2/(-510)). Suppose -4*r + 84 = -o. Is r composite?
False
Suppose o = -534 + 1349. Suppose -6*f = -11*f + o. Is f a prime number?
True
Let v(t) = -5*t + 153. Let i be v(0). Let w = -98 + i. Is w a prime number?
False
Let a be 0 - 0 - (-1 - -2). Let n be a/(3 + 64/(-20)). Suppose n*p - 49 - 21 = 0. Is p a composite number?
True
Let h = -37165 + 54242. Is h a prime number?
True
Let d be (8/6)/(4/6). Let v be 739/((d/4)/(-1)). Let m = v - -2155. Is m a composite number?
False
Suppose -z = 4*i + 3, -1 = z + 3*i - 0. Suppose -2*f + z*x = -103, -3*f + 4*x + 88 = -63. Is f prime?
False
Let h = 12 - 7. Let o = h - -41. Suppose 0 = -2*c + 28 + o. Is c a composite number?
False
Let j be 11 - 10 - (-1 - -1). Let h(g) = j + 5*g + 2*g - g. Is h(2) a composite number?
False
Let p(o) be the third derivative of 35*o**4/24 + 5*o**3/6 + 6*o**2. Is p(6) a composite number?
True
Suppose 35500 = 2*w + 5294. Is w composite?
True
Is ((-1)/2)/(2/(-24)) - -8455 prime?
True
Let j(o) = 10*o**2. Let y be j(1). Suppose c = 4*u - y, -4*c + 4*u = -5*c + 30. Let g(m) = 2*m + 5. Is g(c) a prime number?
False
Let m be 3 - ((-230268)/14 + (-6)/21). Suppose 3*a = -4*o - 0*a + m, 0 = 2*o - 4*a - 8242. Is o prime?
False
Let w = 50 + -70. Is 175/20 - 5/w a prime number?
False
Suppose -42*j + 429026 = 16*j. Is j composite?
True
Let a(u) = -6*u + 2. Let y(n) = -3*n + 1. Let j(o) = -2*a(o) + 5*y(o). Let z(k) = -k**3 + 17*k**2 + 37*k + 13. Let h be z(19). Is j(h) a prime number?
True
Suppose 0*h + h = -5*t + 5162, 5*h - 25744 = -3*t. Is h prime?
True
Let p(a) = -314*a - 1 + 7 - 2 + 105*a. Is p(-5) prime?
True
Suppose 3*r - 198*j - 48893 = -203*j, -10 = 5*j. Is r composite?
False
Suppose -140860 = -30*w + 10*w. Is w prime?
True
Suppose 11*q - 3 = 10*q. Let r(l) = 12*l**3 + l**2 + 7*l - 13. Is r(q) prime?
False
Let q(r) = -5599*r - 54. Is q(-5) a prime number?
True
Let d = 90901 + -62880. Is d a composite number?
True
Is (-1 - -7 - -15115)*1 prime?
True
Suppose -78979 = -2*l - w + 63967, 16 = 4*w. Is l composite?
False
Let q = 45 - 43. Is q/(-9) - (-6380)/36 composite?
True
Suppose 425 = 141*o - 146*o. Let j = 154 + o. Is j a composite number?
True
Let y be (-3)/(21/2)*-35. Is (-162)/(-30) + -5 + 1486/y prime?
True
Suppose 21752 = 3*q - x, 28986 = 3*q + q + 2*x. Is q prime?
False
Let j = -17 - -20. Suppose -693 = j*m - 5*s, -154 - 73 = m - 3*s. Let q = -45 - m. Is q prime?
True
Suppose 2*d - 7 = 5. Let c(f) = 5*f**3 - 8*f**2 + 5. Is c(d) composite?
False
Suppose -20 = 5*j, 2*s + s + j = 1109. Suppose 5*h = -5*m - s + 2326, -h + 1558 = 4*m. Is m a composite number?
False
Suppose 2*w + z - 13997 = 0, -2*w - 5*z + 7602 = -6407. Is w prime?
True
Suppose -3*y + 4*n = -131, 0 = 2*y + n + 63 - 165. Suppose 5*k + 20 = -4*g, y = -3*k + 3*g + 2*g. Let u(s) = -2*s**3 - 13*s**2 - 10*s - 9. Is u(k) prime?
True
Suppose 5*j - 10234 - 70 = -2*h, 3*j - 6 = 0. Is h composite?
False
Let m(z) = 5*z + 26. Let n be m(-6). Let s(g) = -40*g - 18. Is s(n) prime?
False
Suppose -5*c - d + 24 + 34 = 0, -4*d = 4*c - 56. Suppose 0 = -5*u + 107 + 73. Let t = u - c. Is t a composite number?
True
Suppose w + 3*g - 3065 = g, -2*w + 5*g + 6094 = 0. Is w a prime number?
False
Let d = -1998 - -4237. Suppose 3*b = -d + 7948. Is b composite?
True
Let j = -6985 - -10506. Is j a prime number?
False
Let n(i) = 577*i + 10. Is n(7) a prime number?
True
Suppose 5 = 3*g - 5*b - 2, -3*g = -2*b + 8. Let z = -7 - g. Is 352 - -2 - (-1)/z composite?
False
Suppose -3900 = 3*t + 3*d - 0*d, -15 = -5*d. Let i = t + 2258. Is i composite?
True
Let h be (-6)/9 + (-32)/(-12). Suppose -o + 2*o + 290 = 3*b, h*b - 185 = -o. Is b a prime number?
False
Suppose -10*r + 30 = -4*r. Suppose 2*y = -2*y + r*h + 3699, 5*h = -2*y + 1827. Is y prime?
False
Let o(u) = -u**2 - 11*u + 1. Let r be o(-11). Suppose 3*p = -m + 3*m - 25, 17 = 4*m + 5*p. Is (-73*m)/(-1) - r a prime number?
False
Let o(v) = 290*v**2 + v. Let s be o(-1). Let r = -545 - s. Let x = 1475 + r. Is x prime?
True
Suppose 0 = 6*g - 100 - 272. Suppose -g = m - 253. Is m a composite number?
False
Let a(m) = m**3 - m**2 + m - 8. Let w be a(0). Is (-1)/((-20)/w + -2) - -1081 prime?
False
Suppose -15239 = -10*n + 3*n. Is n composite?
True
Let a be (0/(-1))/((-6 + 3)*-1). Suppose -2*z + 5362 - 1481 = 3*p, a = -3*p - 5*z + 3884. Is p prime?
False
Suppose h = 5*h - 20. Suppose -g - 4*g = 0, h*g = 2*u - 470. Is u composite?
True
Let a = -38019 + 57586. Is a a prime number?
False
Suppose 744 = 2*o + 2*o. Suppose -o - 42 = 2*k. Let w = 199 + k. Is w a composite number?
True
Suppose 0 = -i + 3 - 1. Suppose -4*x + i*x + 56 = 0. Suppose 9 + x = k. Is k a composite number?
False
Let z = 755 + 1022. Is z a composite number?
False
Let z be ((-123)/(-2))/(2/8). Suppose 680 + 293 = 4*i - 5*s, i + 2*s = 240. Suppose -x - 2*j = -z, -j = -x - 4*j + i. Is x a prime number?
False
Suppose 3*c + 9 = 3*g, -4*g - 5*c - 7 = -1. Suppose 4 = -5*o - g, -s + o = -292. Suppose -194 = -2*j - 5*x, 2*x + s = 3*j - 0*x. Is j a prime number?
True
Let p = -14861 + 25671. Suppose -4210 - p = -4*f. Is f a prime number?
False
Suppose 6*c - 14*c + 242472 = 0. Is c a composite number?
True
Suppose 5*v = 3*l - 7291, -5*l + 2425 = -4*l - 3*v. Is l composite?
False
Let y(l) = -2*l + 17. Let o be y(7). Suppose 123 = -3*k + 4*x, 105 = -3*k - o*x + x. Is 3*1*k/(-3) composite?
False
Let x(n) = -43*n - 154. Let o(m) = -11*m - 39. Let h(p) = -9*o(p) + 2*x(p). Is h(20) composite?
True
Let s = -5554 - -8703. Is s a prime number?
False
Let w(h) = h**3 - 13*h**2 - 15*h + 19. Let y be w(14). Suppose 0*b + y = 4*b + 5*q, -5*b + 2*q - 2 = 0. Suppose b = -6*f + 10*f - 2524. Is f composite?
False
Let j = -24425 + 43198. Is j prime?
True
Let r = 73 + -80. Let o = r - -78. Is o composite?
False
Suppose -5*v = 4*a - v + 232, -220 = 4*a - 2*v. Let w be a/21*(-351)/(-12). Let k = 191 + w. Is k prime?
True
Let n(a) = 2*a - 8. Let z be n(5). Suppose 7037 - 918 = 4*f + q, -z*f + 4*q = -3082. Is f a composite number?
False
Suppose 0 = 17*k - 7794 - 48187. Is k composite?
True
Let w(u) be the first derivative of -u**4/4 + 10*u**3/3 + 11*u**2/2 - 11*u + 4. Let f be w(11). Is (-615)/(-55) + 2/f a composite number?
False
Suppose 4*w = -r + 10072 - 2403, 4*w = r - 7669. Is r composite?
False
Suppose 47 + 9 = -4*y. Let m(u) = u**3 + 16*u**2 - 13*u + 17. Is m(y) a composite number?
True
Suppose -10*a + 1367 + 7883 = 0. Let z = 360 + a. Is z composite?
True
Suppose 4*u + 16 = -4*k, 3*k = -0*u - 5*u - 14. Let y(t) = -51*t**3 + 2*t**2 + 4*t + 16. Is y(k) a prime number?
True
Let w(n) = 25*n**2 - 28*n + 40. Let v(d) = -8*d**2 + 9*d - 13. Let m(r) = 17*v(r) + 6*w(r). Let y be m(-13). Is 4/14 + y/35 composite?
True
Suppose -1876686 - 1498833 = -21*q. Is q a composite number?
False
Let n be (-6 - 1) + 4 - -3089. Suppose 0 = -2*d + 5*h + n, d = -0*h - h + 1543. Is d prime?
True
Let j(q) = q**3 + 13*q**2 - q - 8. Let r be j(-13). Suppose -u + 0*d = -r*d + 4, 10 = -u - d.