 = -5*i - z + 25711. Is i composite?
True
Let x(v) be the third derivative of -47*v**4/24 + 3*v**3/2 + v**2. Let a be (-4 - (-77)/(-11)) + -3. Is x(a) composite?
True
Let h be (-2104)/(-3)*(-60)/(-40). Suppose -157 = 4*l - 5*f - 974, h = 5*l + 4*f. Suppose -5*u + p + 2*p = -1058, -u - 3*p = -l. Is u a prime number?
True
Is 19/(-35)*-662747 + 334/5845 composite?
True
Let g = -2357 - -1141. Let u = g - -8417. Is u a prime number?
False
Suppose 5*g = -4*a + 20989, -2*g + 5*a + 6557 = -1865. Is (-3 - -8)*(-3)/(-15)*g a composite number?
False
Let q be ((-3)/9)/((-3)/(-9)). Let p be q - 0 - (-3 + -6). Suppose -g + p*g = 7343. Is g a composite number?
False
Suppose 10*b - 9*b - 59592 = -j, 119193 = 2*j - b. Suppose 4*y + 2*s - j = s, 44692 = 3*y + 5*s. Is y prime?
False
Suppose 219*b - 1960 = 211*b. Suppose 248*s = b*s + 213. Is s composite?
False
Let q = -140864 + 243157. Is q a prime number?
True
Let y(c) = c**3 - 11*c**2 - 11*c - 4. Let x be y(12). Let b(p) be the second derivative of 49*p**3/6 - 39*p**2/2 - 2*p. Is b(x) a prime number?
True
Let m(u) = u - 32 + 12 - 3*u**2 + 17*u**3 + 4*u**2 + 15. Suppose 0*v = -4*v - 4*z + 32, -22 = -3*v - 2*z. Is m(v) composite?
False
Suppose -4*h - 22 = -2*m, -3*m - m + 4 = 2*h. Suppose c + m*c = 3624. Suppose 3*w - c = w. Is w a prime number?
False
Suppose -3*q = 3*i - 222, -266 = -3*i + 4*q - 65. Is i a composite number?
False
Let l = -383 - -382. Let q(a) = -582*a + 1 - 1742*a + 70*a - 4. Is q(l) prime?
True
Let c(s) = 1496*s - 315. Is c(11) a prime number?
True
Is ((-195094)/(-5))/((-264)/(-4620)) composite?
True
Let i(y) = -3425 - 326*y - 275*y + 3430. Is i(-6) a prime number?
False
Suppose 0 = -5*d + 6*d - v - 28, -5*d = -v - 136. Let h = d - 21. Suppose 3*j = -2*s + 1151, -h*j + 3*j + 1123 = -5*s. Is j composite?
True
Let y(u) = -u**2 + 20*u - 32. Let m be y(18). Let s be 10/m + 51/34. Suppose -c - 2*a = -22 - 431, -s*a = -3*c + 1339. Is c a composite number?
False
Suppose 50*v - 80*v + 1965522 = -7834188. Is v composite?
False
Let l be (7 - (3 - 2)) + 3. Suppose l*r - 11*r = -6. Suppose -3*s = -a - 232 + 963, 4*a + r*s - 2984 = 0. Is a prime?
True
Is 1/((168925302/(-18769482) + 9)/((-4)/(-6))) a prime number?
False
Let g be (104/(-78))/(1 - 1531/1530). Let u be 131446/22 + 12/66. Suppose 5*m = u - g. Is m a prime number?
True
Suppose 4*s = -5*o + 1156106, -5*o = -0*s - 4*s - 1156154. Is o prime?
False
Is (-6 - (-13 + 3 + 1)) + 19586 a prime number?
False
Suppose -19*z + 12*z + 7 = 0. Suppose -g + 1 = -t, 3*t - 5*g + 10 = z. Is t*((98 - 17) + (-2)/(-4)) a prime number?
True
Suppose -2*n = 3*h - 28, 0 = -2*n - n + 4*h + 8. Let r be (-84)/8*n/(-6). Is (-12)/42 - (-3770)/r a prime number?
True
Suppose 7343483 = 10*x + 95*x - 1610182. Is x a prime number?
False
Is (-190)/30*(1 - 27714/3) prime?
False
Let g be (-33)/55 + (-138)/(-30). Suppose 0 = c, g*s + c + 27 = 2615. Is s prime?
True
Let z(t) = 7*t - 3. Let w be z(1). Suppose 6949 = -w*i - 83. Is ((-35)/15 - 1)*i/4 a prime number?
False
Let b(u) = u**3 + 10*u**2 + 6*u - 20. Let v = 55 - 20. Suppose 0 = 2*w + 5*q + 43, -3*q + q = -5*w - v. Is b(w) a composite number?
False
Suppose -5*a + 0 = -20. Let l(o) = 4*o - 21. Let j be l(a). Let t(b) = -155*b - 14. Is t(j) composite?
False
Let h(x) = -4*x**2 - 60*x - 45. Let n be h(26). Let g = n + 8318. Is g a prime number?
False
Let p = -6192 + 14122. Let c = -4851 + p. Is c a prime number?
True
Let c = -14991 + 27286. Suppose 0 = 12*w + c - 40219. Is w a prime number?
False
Suppose 24*i - 1001995 = -5*p + 26*i, -10 = -2*i. Is p a prime number?
True
Let o(s) be the second derivative of -1/6*s**3 + 0 + 37/4*s**4 + 7/2*s**2 - 25*s. Is o(-3) prime?
True
Suppose -3*j = -5*d + 3 - 30, -3*j = 3*d - 3. Suppose 0 = i - 5, -k + 11364 = -j*i + 2071. Suppose -2*r + k = 1727. Is r composite?
False
Suppose 5*a = -33 + 43. Let v be 1950*((-50)/(-20) - 3/a). Let m = v - 1219. Is m composite?
True
Let c(w) = 1315*w - 7. Let s be c(6). Let x = -2972 + s. Let u = x + -2722. Is u composite?
True
Suppose -47*a + 93518 + 82646 = 65150. Is a prime?
False
Suppose -12 = -11*a + 9*a. Let z(o) = -o**3 + 5*o**2 + 5*o + 10. Let y be z(a). Suppose 888 = y*n - 3220. Is n composite?
True
Suppose -h - 774426 = -5*m, 5*h + 231065 = 2*m - 78710. Is m prime?
False
Suppose 27*x = 10572305 + 1461082. Is x composite?
True
Suppose 21*k = -99278 + 671969. Is k a prime number?
True
Let u be (11/(-3))/((-14)/(-42)). Let g be (0 + -3 - u)/1. Is ((-10)/(-15))/(g/1908) a composite number?
True
Suppose 65*p = -73*p + 688524 - 183582. Is p prime?
True
Suppose -5*l + 4*r = -l + 12, -r = -5*l + 1. Let s be 0/(l/(1*(-1 + 0))). Suppose s = -5*c - 2*c + 1337. Is c a composite number?
False
Suppose -36 + 240 = 6*h. Suppose -h = -c - 31. Is (c + -1570)/(2 - (-2 + 5)) a prime number?
True
Suppose -2*c = 2*c + 5*t + 139605, -c - 34905 = 2*t. Is ((-30)/25)/(14/c) a prime number?
False
Let l(m) = 27 - 344*m + 2*m**2 + 12 + 347*m. Is l(10) composite?
False
Let p = -17 + 17. Suppose -3*u + 3*a + 12 = 3, -3 = 3*a. Suppose i + p*b + 2*b - 361 = 0, 740 = u*i - 5*b. Is i a prime number?
False
Let r = -273411 + 795692. Is r prime?
True
Is (-555618)/(-70) + (704/40)/11 a prime number?
False
Suppose 40 = -3*p + 4*w, 7*p - 11*p - 74 = 5*w. Is (-5757)/(-5) + p/40 a composite number?
False
Let j = 16506 - -39519. Suppose 38047 + j = 8*d. Is d a composite number?
True
Suppose -2*i - 4*a + 415812 = 0, 142997 = -2*i - 3*a + 558814. Suppose -144994 - i = -10*s. Is s prime?
True
Suppose 2 + 4 = 2*h. Suppose 0*z - 4*z - 12 = 2*q, h*z - 5*q + 9 = 0. Is (-9651)/(-1)*(-1)/z a prime number?
True
Let b = 170 + -165. Suppose -5*s + 22*f - 18*f + 3139 = 0, b*s - 3147 = 2*f. Is s prime?
True
Let y = -3 + 7. Suppose -x - x = -r + 1079, -y*r + 536 = -x. Let q = x + 887. Is q a composite number?
False
Let d(l) = 665*l**2 + 31*l + 111. Is d(-10) prime?
True
Let t(y) = y**3 - 5*y**2 + 3. Let r be t(5). Suppose 5*m - 442 = r*m + 5*w, 3*m + w = 629. Is m prime?
True
Let m = -33052 - -68397. Is m prime?
False
Let v(g) = -g**2 + 73*g + 271. Is v(67) composite?
False
Let x = 38321 + 96768. Is x a prime number?
True
Let u be (5*2/(-4))/(14/(-3556)). Let d = u + -330. Is d composite?
True
Let s(a) = -a**2 + 3*a - 8. Let n be s(12). Let t = 98 + n. Is (8 + t)/(2/(-673)) a prime number?
False
Let v(x) = -60*x**3 - 24*x**2 + 22*x - 23. Is v(-15) composite?
True
Suppose 0 = -6*f + 8005 + 15941. Is f a composite number?
True
Is -4*(264756/(-48) + 3) composite?
False
Suppose 4*u + 0*u = x + 16, -2*u + 2*x = -14. Suppose 95 = -u*b + 1136. Is b a composite number?
False
Let a(y) = -4043*y + 1647. Is a(-32) composite?
False
Suppose 0 = -276*c + 271*c - 60. Is (13013/(-28) + 5)*112/c composite?
True
Let t(b) = -74*b**3 + b**2 - 7*b + 7. Let v(y) = -75*y**3 + 2*y**2 - 9*y + 7. Let z(f) = -4*t(f) + 3*v(f). Is z(3) a composite number?
False
Suppose -5*v + 5369 = 3*q - 0*q, 2*q - 3562 = v. Suppose -5*i - q = -r, -4*i - 3*r - 703 = -2*i. Let w = 223 - i. Is w a composite number?
True
Is 4 + -2 + -1 - (126 - 30756) prime?
True
Let y(m) = -6274*m + 1015. Is y(-30) a composite number?
True
Suppose 0*x + 15 = q + 3*x, -4*x - 8 = -q. Suppose 0 = -y + m + 37, 2*m + 2*m = -q. Suppose -s - y = -255. Is s prime?
False
Suppose 2*w + 3*n + 2 = n, 0 = w + 4*n - 2. Let u(f) = -11*f - 20. Let z be u(w). Suppose 7*m - 3*v = z*m + 4602, 0 = 4*m - 4*v - 3680. Is m a prime number?
False
Let l be (15/(-1))/(246/(-33292)). Let j be (-14385)/(-4) - (-33)/44. Let x = j - l. Is x a prime number?
True
Is 73 + 73198 + (-1 + 1 + 0 - -6) composite?
False
Let y = -139920 - -253937. Is y a composite number?
True
Let t = 21805 - 14678. Let s = t - 3856. Is s composite?
False
Suppose 4*o = -5*b + 44, -4*o - 2*b + 44 = -7*b. Suppose o = 12*j + 47. Let c(g) = 156*g**2 + 6*g + 13. Is c(j) a composite number?
False
Let x(o) be the first derivative of -71*o**2 - 213*o - 56. Is x(-20) composite?
True
Let r be ((-12)/(-42))/(-1 - (-460)/455). Suppose 0 = -r*d - 852 + 11746. Is d composite?
False
Let s(n) = -293*n - 32*n**3 - 2 - 21*n**2 + 299*n - 6. Is s(-7) a prime number?
False
Let c be 40/24 - (-18552)/9. Let d = c - 814. Is d composite?
False
Is 2/2 + (-4 - 1) - 2054952/(-72) a prime number?
True
Let m(i) = 4*i**3 - 6*i + 4. Let o be m(1). Suppose 0 =