number?
False
Let a(u) = u**2 + 16*u + 306. Let z be a(-56). Suppose l = z + 4193. Is l composite?
True
Let y(o) = -o**2 + 14*o + 74. Let r be y(19). Is ((-3)/4)/3*(r - 3143) prime?
False
Let p = -306383 - -461324. Suppose 61708 = -19*y + p. Is y a prime number?
False
Let t(i) = -i**3 - 17*i**2 + 95*i + 343. Is t(-46) a prime number?
False
Suppose -7 = -0*a - a. Let v(l) = 69*l**2 - 15*l + 7. Let b be v(a). Suppose 7*g - 672 - b = 0. Is g a composite number?
True
Let s(y) = 5*y - 39. Let z be s(12). Suppose x + z = m, 4 - 9 = x. Let w(u) = u**3 - 15*u**2 - 2*u - 33. Is w(m) a composite number?
False
Let k be 4/1 + 3 + 88/2. Suppose k = -6*x - 129. Let v = x + 95. Is v a composite number?
True
Is 1636550/250 - (-8)/10 prime?
True
Suppose 10717030 = 11*a + 27*a + 3204164. Is a a composite number?
True
Suppose -36 = -2*j - 30, 5*c = -3*j + 177614. Is c a composite number?
False
Suppose 11*y - 12873239 = -2*y - 118*y. Is y composite?
False
Let x(b) be the second derivative of 187*b**5/120 - 23*b**4/12 - 11*b**3/6 - 22*b. Let t(u) be the second derivative of x(u). Is t(9) a prime number?
True
Let s = 26053 - 18602. Is s composite?
False
Let f be ((-2)/3)/((-6)/72). Let z = -1 + f. Let o(h) = 20*h + 3. Is o(z) composite?
True
Let p(x) = 5291*x**3 - 15*x**2 + 23*x - 101. Is p(6) prime?
True
Let a = -92521 - -138264. Is a a prime number?
False
Let k = 2393338 + -1584749. Is k prime?
True
Suppose 16*x - 547702 = 198682. Suppose -62216 = -4*z - 3*i, -z - 2*z = -i - x. Is z a composite number?
False
Let f(y) be the first derivative of -y**6/30 - y**5/6 - 5*y**4/12 - 3*y**3/2 - y**2/2 + 5. Let j(s) be the second derivative of f(s). Is j(-7) composite?
True
Let o(h) = 2 + 2*h**2 + 91*h - 1 - 92*h - 3. Let d = -5 + 1. Is o(d) a composite number?
True
Let s = -4 + 9. Let p(c) = 33 + 17*c**2 - 14 - 9*c + 22*c - 12. Is p(s) a composite number?
True
Suppose -2*t - 34*t = -2988. Suppose 6*n = t + 17299. Is n a composite number?
False
Suppose o + 2 - 51 = 0. Let m be ((-10)/7)/(7/o). Is (-3555)/m - (-2)/(-4) prime?
False
Let k(w) = -w**2 - 10*w + 13. Let l be k(-11). Suppose -15 = -h - l*h. Is (h + -8)/(1*(-1)/137) a composite number?
True
Let q = -100 - -104. Suppose 3*b - 4 = -g + q*b, 4*b + 4 = 0. Suppose -460 = -g*s - 5*r, 0 = 2*s + 3*r - 147 - 160. Is s a composite number?
True
Suppose -2*u = -3*t + 1310, t - 2*t + 444 = 3*u. Let m(n) = -856*n + 2 - 683*n + t*n. Is m(-1) prime?
True
Let d(u) = u**3 + 26*u**2 - 33*u - 166. Let w be d(-27). Let v(k) = -529*k - 143. Is v(w) a composite number?
False
Let q(k) = -2138*k + 360. Is q(-71) a composite number?
True
Suppose -91963 = -4*q + 143989 + 109292. Is q prime?
True
Suppose -8945147 = -3*m + 25*i - 29*i, -5*m + 2*i + 14908561 = 0. Is m a composite number?
True
Let w = 76 - 73. Suppose w*u = -2*k + 1621, -k - 4042 = -6*k - 4*u. Let p = k + -469. Is p a prime number?
True
Let c = -8 + 12. Suppose -g + c = -6. Suppose 2445 = -5*r + g*r. Is r composite?
True
Suppose -4*l + 17 + 7 = 0. Suppose -l*q - 3*q + 87552 = 0. Suppose 7*m + q = 4*n + 3*m, 2*m + 7293 = 3*n. Is n composite?
True
Suppose -y + 2*o - 7*o - 19 = 0, 3*o + 39 = 4*y. Suppose 3*x - y = 0, -7*m + 10*m - 2*x - 2717 = 0. Is m a prime number?
True
Suppose -9127 = -x - 3303. Let y = x + 3787. Is y composite?
True
Suppose 0 = 3*y + 2*q - 23, -3*y + 6*q + 13 = 10*q. Suppose -3*u = 2*h - y, 5*h + 5*u - 30 = -0*u. Suppose -3830 = 5*r - h*r. Is r a prime number?
False
Suppose 439695 = 2*a + m, -a + 291615 - 71795 = -5*m. Is a composite?
True
Let s = -17 - -22. Suppose s*u = -0*u + 10605. Suppose f + j = -2*f + u, -5*f + 5*j + 3535 = 0. Is f composite?
True
Let j(q) = 232*q**3 - 24*q**2 + 178*q + 15. Is j(7) prime?
False
Let w be (-42)/35*(-25)/10. Suppose 0 = w*y - 1912 - 3359. Is y composite?
True
Suppose -4242 - 4316 = -22*u. Is u composite?
False
Suppose 81*t - 93*t - 13452 = 0. Is (-3)/12*0 - t composite?
True
Suppose 0 = 8*y + 7 - 31. Let m be (-3 + -2 - -2) + 5*y. Is 3*(-1)/(m/(-12836)) prime?
True
Let k(c) = -74 - 18 + 9 - 18 - 1542*c. Is k(-4) a composite number?
False
Let n be (-3 - (-5 + 7))/(-1). Let d be 1/(n/10) + 3. Suppose -y = y - d*r - 7611, 3*r + 3808 = y. Is y a composite number?
False
Let u(c) = -c**2 + 6*c - 9. Let p be u(5). Let i be 6 + p - -8*20/8. Suppose i*n + 614 = 24*n. Is n a prime number?
True
Let s(h) = 16*h**2 + 25*h - 12. Is s(37) composite?
False
Suppose 0 = 5*f - 155265 + 12350. Suppose f = 15*w - 67252. Is w a composite number?
False
Let w(k) be the third derivative of 3*k**5/20 - 37*k**4/24 - 17*k**3/2 + 254*k**2. Is w(28) a prime number?
False
Let n(i) be the first derivative of -26*i**5/5 - i**4/4 - i**3/3 - i**2 + 7*i + 11. Let o(c) be the first derivative of n(c). Is o(-3) a composite number?
True
Let i be (10 - 11)*1*-11. Suppose 4*z + 2 = -2*l + 4, -l - i = -4*z. Is (0 - 2)/z + (-11368)/(-14) composite?
False
Let s = 78864 + -44173. Is s a composite number?
True
Let t(o) = o**3 + 14*o**2 + o + 9. Let q be t(-14). Let s(f) be the third derivative of -41*f**4/3 + 3*f**3/2 - 73*f**2. Is s(q) a composite number?
True
Let h be 12/(-8)*(-2 - (-674 + -2)). Let m = -896 - h. Is m prime?
False
Is 9/117*13*8311 a composite number?
False
Suppose -5*n - 2 = -n + b, -b = -3*n - 5. Is 679 + n + (-1)/(7/7) a prime number?
True
Suppose -19017 = -5*g - 4*t, 2*t = -2*g - g + 11411. Let p = -2208 + g. Is p prime?
True
Is (-44295848)/(-516) + (-4)/(-3) composite?
True
Let d(v) be the first derivative of 112*v**3/3 + v - 14. Is d(3) prime?
True
Suppose -6163282 = 41*i - 75*i. Is i a composite number?
False
Let a = 62449 + 260784. Is a composite?
False
Suppose -32*v + 603319 = -64169. Suppose v = 23*i + 3770. Is i composite?
False
Let o(u) = -127*u - 16. Let h(k) = -126*k - 17. Let w(c) = -5*h(c) + 6*o(c). Suppose 3*i = 6*m + 24, 4*i + 7*m + 33 = 2*m. Is w(i) composite?
True
Let i(b) = -2*b**3 + 7*b**2 + 13*b - 9. Let w = 37 - 42. Let j be ((w - -3) + 3)/((-1)/7). Is i(j) a composite number?
False
Let h be 2*1350 + (2 - 1). Let o = 1176 + h. Is o a prime number?
True
Suppose 0 = 2*b + 6, -5*x + b + 4*b - 255 = 0. Let g be 13/(4/x*2/12). Let s = 386 - g. Is s a prime number?
True
Let a(t) = 2150*t**2 - 26*t + 83. Is a(7) a composite number?
False
Is 2 - ((-160)/60)/(4/53706) prime?
False
Let l(z) = -3*z**3 - 31*z**2 + 11*z - 17. Let q be l(22). Let f = -21986 - q. Is f a prime number?
False
Is (21 - 408/17) + 60164 composite?
False
Let m be 4117/(-92)*-8*3. Let f = m - -1429. Is f a prime number?
True
Suppose 2*m + 5 = 5*d - 20, 20 = 4*d. Let v be m - 3*(-1 + 0). Suppose -4*s + v*s - 2*y = -185, -3*s - 5*y = -558. Is s a prime number?
True
Let q be 21 + -26 - (-653 - -1)*1. Suppose -t - q = -4*m, 10*m - 337 = 8*m + 5*t. Is m a prime number?
False
Let m(k) = -150*k + 11. Let y be m(-14). Let z = y - 1416. Suppose -3*c + z = l - 767, -2*l - 3*c + 2933 = 0. Is l prime?
True
Is (9003/3)/(((-45)/(-30))/((-99)/(-6))) composite?
True
Suppose 0 = -4*f - 3*w + 8509, 4272 = -17*f + 19*f - 2*w. Let b = f - 474. Is b prime?
True
Suppose 1702338 = 27*y - 1408359. Is y composite?
False
Let d = -51323 + 104470. Is d a composite number?
False
Let p = -561 + 1268. Suppose -s - 5*l = 389, -1154 = 5*s + 4*l + p. Let v = s - -776. Is v prime?
False
Let y be -120*-1*18294/18 + 0. Suppose 0 = 18*g - 58*g + y. Is g prime?
True
Let w(b) = -b + 2. Let s be w(2). Suppose 0 = 2*x - 0*x - 3*u, -5*u = s. Suppose x = -7*c + 2*c + 595. Is c a composite number?
True
Let m be 9 + -3 + 9626 + -3. Let z = m + -4410. Is z prime?
False
Let i be (-402)/(-10) - 6/30. Is (i/(-5) + -198)/((-4)/14) a prime number?
False
Suppose y + 14*y = 5535. Is (498/9)/(6/y) prime?
False
Let q be (-73)/(-7) + 890/(-623). Suppose -5*i - 3*u + 23617 = 0, i - 4741 = u - 6*u. Suppose q*c = 10*c - i. Is c prime?
True
Suppose 2*x - 1956 = -3*q, 4*x + 5*q - 3892 = 4*q. Let f = 6983 - x. Is f prime?
True
Let q = 8664 + 925. Is q prime?
False
Let t(j) = 130*j**2 + 37*j + 160. Is t(-18) prime?
False
Suppose 2608*m = 2579*m + 2557307. Is m prime?
False
Let v be (-3)/24*4*-6. Suppose -2*r + 4493 = 4*n + r, 0 = -v*r + 9. Is n a composite number?
True
Suppose -5*x = -j + 259947, -88*j + 91*j - 779893 = 2*x. Is j prime?
True
Suppose r + 5*k = 28734, -5*k - 89351 = -3*r - 3049. Is r prime?
True
Let j(h) = h 