umber?
False
Let v = 30703 - 10110. Is v a composite number?
False
Let y(m) be the first derivative of -13*m**2/2 - 4*m - 8. Let i be y(-11). Is (i/4)/((-3)/(-12)) composite?
False
Suppose -11*p - 25374 = -11*y - 6*p, 20 = 4*p. Is y composite?
False
Suppose 2419 = -2*s + 795. Suppose 29*z - 38*z = -13770. Let h = s + z. Is h a prime number?
False
Let u(s) = s**2 - s + 36. Let y be u(0). Let w = y - 34. Suppose -2*t - 10 = 0, p + w*p - 16 = 2*t. Is p prime?
True
Let a = 23953 + -5210. Is a composite?
False
Suppose -220 - 228 = 4*u. Let f = 671 + u. Is f a prime number?
False
Suppose 170 = -2*s + 14. Let b = s + 113. Is b composite?
True
Let d = 57 - 8. Let v(m) = m**2 - 2*m - 3. Let k be v(4). Suppose k*b = d + 106. Is b prime?
True
Is (5758/(-14))/(4/28*-1) a composite number?
False
Let d(z) = -15 - 1 + 1 - 13*z. Suppose 82 = -7*o + 12. Is d(o) composite?
True
Let v(c) = -3*c + 6. Let g be v(1). Suppose -5025 = -g*p + 4122. Is p a prime number?
True
Suppose -18*i = 3*h - 14*i - 561, 5*h = -3*i + 946. Is h a prime number?
True
Let w(t) be the first derivative of -245*t**2/2 - 9*t + 6. Let x be w(-4). Suppose 4*j = x - 79. Is j a prime number?
True
Let p(i) = -234*i + 29. Let f be p(-15). Let t = 5036 - f. Is t a composite number?
True
Suppose -24109 = -3*o - 5*q, -q + 6340 = o - 1695. Is o a prime number?
False
Suppose -m = 2*u - 6*m + 851, -3*m + 428 = -u. Let n = u - -774. Suppose 3*q - 793 = -z, -5*q + 2*z + n = -968. Is q a prime number?
False
Let l = 4861 - 850. Suppose 0 = 5*o - 12*o + l. Is o prime?
False
Let t be 3 + -1*(5 + -3). Suppose y - t = -0*y. Is 279/6*(y - -1) a prime number?
False
Let h = 446 + -690. Let f = -87 - h. Is f a composite number?
False
Suppose -83*c - 687320 = -123*c. Is c prime?
True
Suppose 0 = -5*v + 5*j + 9540, 4740 + 4802 = 5*v - 3*j. Is v composite?
True
Let s(g) = -87*g - 4*g**2 - 91*g + 177*g - 9*g**3 - 7. Is s(-3) a prime number?
False
Let b(w) = w**3 + 41*w**2 + 17*w - 44. Let n be b(-20). Suppose n = -2*c + 5*c - 3*d, -3*c - 4*d + 7995 = 0. Is c prime?
False
Let i be 5/20 + 267/4. Let j be (-902)/(-10) - 2/10. Suppose j = q - i. Is q prime?
True
Suppose s - 573 = 5*v, -4*s + v + 1719 = -s. Suppose -s = -g + 1264. Is g composite?
True
Let c(u) = u**2 - 11*u. Let x be c(11). Suppose x = 3*k + 31 - 136. Is 3423/k + 4/(-5) a prime number?
True
Let n be (-141)/(-15) + 4/(-10). Suppose d + 4223 = 4*t, -d = -4*d - n. Is t a composite number?
True
Suppose 0 = 25*u - 24*u - 1702. Let w = u - 945. Is w a prime number?
True
Is (-83)/(4 + 285/(-71)) prime?
False
Suppose -5*o + 0*o = 0. Suppose -2*f - 53 = 5*z - 183, o = -5*z - 3*f + 135. Is (-4)/z - 2073/(-18) prime?
False
Let d(f) = f**3 + 3*f**2 + f + 3. Let q be 26/(-8) - 2/(-8). Let y be d(q). Suppose -5*a - 164 = 3*i - 688, 2*i + 2*a - 356 = y. Is i prime?
False
Let p(h) = -2122*h - 7. Let i(q) = -1061*q - 3. Let t(c) = -7*i(c) + 3*p(c). Is t(1) prime?
True
Let g(q) = 12*q**2 - 11*q**2 - 3*q + 2 + 4*q - q**3. Let p be g(0). Suppose -1038 = -3*f - 3*z, p*z + 1374 = 4*f + 4*z. Is f prime?
False
Let s(z) = 461*z - 4. Let a be s(1). Suppose -22 = 5*p - 2*o + 258, 168 = -3*p + 3*o. Let q = p + a. Is q prime?
True
Is -15362*(4*15/(-40))/3 a composite number?
False
Suppose 0*g = -2*i + 3*g + 4, 0 = -i + 2*g + 1. Suppose 336 = -i*p - 909. Is (p/12)/((-1)/4) prime?
True
Let d = 19733 - 12370. Is d a prime number?
False
Let x be (48/(-15))/((-1)/5). Let i be (x/(-12))/((-2)/(-6)). Is i/(-6) - 1590/(-18) a composite number?
False
Suppose -1890 = -m - 0*m + 3*d, -5*d = -m + 1880. Let w(c) = -c**2 - 4*c + 8. Let x be w(-5). Suppose -m = -6*i + x*i. Is i composite?
True
Let n be 25/(-10)*16 - 5. Is (1460/(-15) - 5)/(3/n) composite?
True
Let v be (280/(-16))/(1/(-2)). Suppose -r + 1 = 4, 0 = -5*g + 5*r + v. Suppose g*h - 743 = 269. Is h a prime number?
False
Is 1801/((-3 + 6)*(-1)/(-21)) composite?
True
Suppose -4*x = -0*x + 4. Let d be x/((-6)/8)*3. Suppose 5*z + 242 = 4*r - r, d*z = -3*r + 233. Is r composite?
False
Let a be 66/(-55)*1/(-3)*5. Suppose -3*p + a*v + 1481 = 0, 5*v + 354 + 615 = 2*p. Is p a composite number?
True
Let f be (4/(-8)*-25)/(3/6). Suppose -30*c + 2290 = -f*c. Is c composite?
True
Let h(a) be the first derivative of a**3/3 + 3*a**2 + 2*a + 1. Let x be h(-6). Suppose -4*w + 66 = -x*w. Is w a composite number?
True
Let x be 1/(((-2)/8)/(-1)). Suppose -2936 = 2*u - 2*b, 2*u + 0*b = -2*b - 2944. Is x/22 - u/22 a composite number?
False
Let g = -534 + 1117. Is g a prime number?
False
Suppose -5*f + 95387 = 20542. Is f composite?
False
Let n(y) = -y**2 - 6*y - 2. Let z be n(-5). Suppose -x + 0*x = -5*i - 628, x - 604 = -z*i. Is x a prime number?
True
Suppose 6186 = 2*l - 2*h - 11834, -5*l + 45045 = -4*h. Is l prime?
False
Let z(w) = 39*w**2 - w - 16. Let u be z(-10). Is 6/(-10) + u/15 a composite number?
True
Let f be 6/10 + (-2270)/(-50). Let w = 21 + f. Is w a composite number?
False
Suppose -2*f - 5*z + 1 - 5 = 0, -2*z = 4*f - 8. Is (-1633)/(-46) - (0 - f/2) composite?
False
Suppose r + 2*g = 17453, 14277 = r - 3*g - 3196. Is r a prime number?
False
Let i be (-18)/(-81) - (-34)/9. Let t be (-2)/(-4)*i + 36. Let s = -12 + t. Is s a composite number?
True
Let s be 1 - ((-3)/1 - -2). Suppose -4*l - 1 + 2 = z, 4*z - 22 = s*l. Suppose -218 + 986 = 3*c - z*r, 5*r = 5*c - 1270. Is c composite?
False
Suppose -5*o = -5*r - 170, -48 - 24 = -2*o + 4*r. Let a be 42*o/4 - -4. Let c = -213 + a. Is c composite?
False
Suppose -u - 65 = -6*u. Let l(m) = -47*m - 24. Let r(g) = 141*g + 71. Let o(q) = 17*l(q) + 6*r(q). Is o(u) prime?
False
Suppose f + 206 = 3*h + 2530, -3*f + 7005 = 2*h. Is f a composite number?
False
Suppose 0 = 1012*o - 1014*o + 25214. Is o a prime number?
False
Let k = -5563 + 24564. Is k prime?
True
Let r(l) = -688*l + 5. Let h(q) = 5*q + 8. Let b be h(-2). Is r(b) a composite number?
False
Let t be 1/(24/21 - 1). Let m(k) = 2*k**2 + 17. Is m(t) composite?
True
Let k be 44/(-66)*(-6 - 0). Is (-364)/(-8) - k/(-8) a composite number?
True
Let y = 24 - -653. Is y a composite number?
False
Suppose 3*l = -4 + 16, -4*i - 2*l = -60. Suppose -i*c = -17*c + 3836. Is c composite?
True
Let f be 4/8*-2 - -7. Suppose f*j - 4 = 4*j. Suppose 2*t + j*t = 740. Is t composite?
True
Suppose -1052 = 11*y - 12*y. Suppose 3*a - 7*a + y = 0. Is a a composite number?
False
Is -4 + 583842/56 + (-3)/4 composite?
True
Let m(s) = 1261*s + 23. Is m(2) composite?
True
Let l(c) = 4*c**3 + 11*c**2 - 11*c + 27. Is l(7) a prime number?
True
Let u(b) = 285*b - 131. Is u(8) a composite number?
True
Suppose 17*q = 23*q - 124962. Is q composite?
True
Let p(y) = -6*y + 7. Let o be p(-20). Let w = 474 - o. Is w a composite number?
False
Suppose -12*r = -11*r - 10. Suppose -5*n + 4983 = -3*k + 2*k, -5*k + r = 0. Is n composite?
False
Let o be (10 + -4)*(1 - 2). Let s(g) = g**2 + 5*g - 2. Let y be s(o). Suppose w = -y*w + 465. Is w composite?
True
Suppose 0 = -5*z - 4*r + 2*r + 1434, z - r - 284 = 0. Suppose z = 2*u - 484. Suppose u = 5*l + 2*l. Is l prime?
False
Suppose 0 = 34*l - 30*l. Suppose l = -5*p - 58 - 22. Is p/4 + (-2057)/(-1) prime?
True
Suppose -6*y + 8 = -4. Suppose -3*t = -0*x - 2*x + 1079, y*t - 1625 = -3*x. Is x composite?
False
Suppose 42*y - 41*y = 3236. Let a = y - 1875. Is a composite?
False
Let l be 4/18*3 + (-3055)/(-3). Suppose -3*r + 2456 - l = 0. Is r prime?
True
Suppose -m = 3*m - 60. Let l be 3/5 + 6081/m. Suppose -4*i + 2*i = -l. Is i a composite number?
True
Suppose -8*t = -6*t - 21972. Let y = 15775 - t. Is y a prime number?
True
Let r(p) = -281*p - 61. Is r(-7) a prime number?
False
Let h be 25/(-10)*(-2)/5. Let t be 3/(-3)*3*h. Is 50/((-9)/t + -1) a composite number?
True
Let z(u) = -7 - u + 7 + 239*u**2 + 3 - 4. Is z(-3) a composite number?
False
Let y = 9 + 5. Is (127*1)/(2/y) prime?
False
Let c(b) = -b**3 - 19*b**2 + 21*b + 17. Let q be c(-20). Is (-13)/((-13)/1330) - (4 + q) prime?
False
Suppose -2*i + 2 = -4. Suppose 0 = -i*k + 5*g + 1138, 0 = 3*k - 0*g - 2*g - 1141. Is k a prime number?
False
Let q(x) = -x**2 - 6*x + 2. Let w be q(-5). Let y(a) be the first derivative of 19*a**2 + 3*a - 52. Is y(w) composite?
False
Suppose 18*n - 19*n + 4*i + 3421 = 0, n = 2*i + 3421. Is n a composite number?
True
Is (-156)/26*-8287*(-1)/(-6) a prime number?
True
Let s