3 - -4) composite?
False
Suppose -a - 193507 = -o - 44303, a - 149190 = -o. Is o composite?
False
Let a(o) = -30*o**3 - 4*o**2 + 5*o - 17. Let j be a(5). Let z = 3875 - j. Is z a prime number?
True
Let n be (-8 - -17)/(2/(-60)). Let o = -495 - n. Let k = 614 + o. Is k composite?
False
Suppose -14666 = 40*g - 83506. Let l be -17*((-2 - -64) + 2). Let f = g + l. Is f prime?
False
Is ((-5)/45*3)/((-31819938)/5303322 - -6) a composite number?
False
Let c(r) be the first derivative of -r**4/4 - 7*r**3/3 + 22*r**2 + 15*r - 400. Suppose 2*v - 57 = 5*v. Is c(v) composite?
False
Let g = 40 - 19. Suppose 8*i + 4303 = g*i. Is i prime?
True
Let y = 3013 - -280. Is y a prime number?
False
Let m = -84 + 96. Suppose -m*s - 20*s = -31*s. Let x(h) = h**3 + h**2 + 3*h + 191. Is x(s) prime?
True
Let v(z) = -z**2 - 5*z - 5. Let h be v(-6). Let c = h - -5. Is c/21 + (-5030)/(-14) a composite number?
False
Let a = 102561 - 40388. Is a composite?
True
Let g(r) = r**3 + 13*r**2 - 49*r - 29. Let c be g(-12). Suppose 4*b = 5*k + 3*b + 2472, 4 = 2*b. Let z = c + k. Is z composite?
True
Let k(g) = 1374*g**2 + 52*g - 277. Is k(6) composite?
False
Suppose -7971 + 1063 = -4*k. Suppose -k = -3*u - 4*y, 5*u + 2*y - 2893 = -y. Is u a prime number?
False
Suppose 9*q = -17 - 10. Is ((-34)/2)/(q/291) prime?
False
Suppose -50*v + 5642072 = -v + 1779010. Is v a prime number?
False
Suppose -4*k + 5*t - 17 = 0, 23 = 4*k + 4*t + 31. Is k/(-6)*(-7640)/(-4) a prime number?
False
Suppose 5*y - 17929 = -2*x, y = -152*x + 156*x - 35913. Is x composite?
True
Let z(l) = 51*l - 30. Let v be z(27). Suppose -2*u + 5993 = v. Is u a composite number?
True
Let g(x) be the third derivative of 0 + 23*x**2 - 1/12*x**5 + 11/6*x**3 + 1/120*x**6 + 0*x - 1/8*x**4. Is g(8) prime?
True
Let c be 126/33 + 7/((-231)/(-6)). Suppose -2*q = 3*y - 41521, -4*y + 0*y = -c*q - 55368. Is y a composite number?
False
Suppose k + 7 = -2*j, 6*j = -k + j - 22. Suppose 4*s + 32656 = 4*w, -k*w + 6*s + 24477 = 8*s. Is w a composite number?
False
Let w(y) = 7*y**2 + y. Let k be w(-1). Let g(m) = -m + 14. Let v be g(k). Suppose v*i + 1597 = 7541. Is i a prime number?
True
Let j(t) = -3*t**3 - 6*t**2 - t + 13. Let u be j(-15). Let c = u - 5119. Suppose 6*s = 10*s - c. Is s a composite number?
True
Let h(y) = 7*y + 31. Let n be h(-4). Suppose 13*w - 108464 = -n*w. Is w a composite number?
False
Suppose 0 = 3*l - d + 8675, l + d + 2895 = 3*d. Let q = 5250 + l. Is q a composite number?
True
Let i = -7409 + 2934. Let x be (-288)/63 + 5 - (38002/14 + 2). Let w = x - i. Is w composite?
False
Let t = -97925 + 173328. Suppose -56543 = -6*s + t. Is s prime?
True
Let u = 42716 - 15037. Is u a composite number?
True
Let l be (-9)/3 + (-1 - -7). Suppose -2 = -2*f + 4*q - 6, 3*q + l = f. Is (9777/f + 2)*(2 + -6) prime?
True
Suppose -10*q = -1344831 - 139719. Suppose j - q = -8*j. Is j a composite number?
True
Let j be ((-4)/12)/((-3)/(-18)). Let t be (0/(j*(-4)/8))/(-2). Suppose 4*b - 2*q - 54562 = t, q - 2*q = b - 13648. Is b a prime number?
False
Is 2/22 + 439146/198 a prime number?
False
Is 20/225*-5 + 842282/18 composite?
True
Let v = 16668 + -7816. Suppose -v = -2*g - 0*g. Suppose 0*b + 2*b - g = 0. Is b prime?
True
Let m(l) = -3681*l + 7607. Is m(-122) a prime number?
False
Let v = -36 - 13. Let x = 50 + v. Is (-67418)/(-65) - x/(-10)*-2 a composite number?
True
Is (16/56 - (-3 - 12271236/(-42)))*-1 prime?
False
Is 11071/(4/12*(1 - -2)) prime?
True
Let x be -4*(-1)/(-5) - (-80)/100. Suppose -38*l + 24*l + 120526 = x. Is l composite?
False
Let j(q) = 10548*q**2 + 242*q - 1263. Is j(5) a composite number?
False
Let b(i) be the second derivative of 67*i**5/120 - 23*i**4/24 + 10*i**3/3 - 11*i. Let a(f) be the second derivative of b(f). Is a(12) prime?
False
Let f(w) = -93*w + 100439. Is f(0) a composite number?
True
Let p(i) = -44*i**2 + 9*i - 13. Let v be p(-17). Let x = -4529 - v. Is x a composite number?
False
Let j be -162*4/(96/(-376)). Suppose 2*n + 2*y + 2*y - j = 0, -5*n - 2*y = -6377. Is n a composite number?
False
Suppose -2*j + 15306 = -3*t, 0*j + 5*t + 38260 = 5*j. Suppose -4*w = -2*y - 0*w + j, 4*y - 15324 = -4*w. Is y composite?
True
Suppose -47*c + 922965 = -32*c. Is c prime?
False
Let w(l) = 6792*l**2 + 39*l + 110. Is w(-3) prime?
True
Let v(d) = 93 - d**2 + 2*d - 56 + 220 - 2*d - 5*d. Suppose 3*y - 4*y = 0. Is v(y) prime?
True
Suppose 0 = 14*q - 970377 - 2510065. Is q composite?
True
Suppose -5*l = 5*d - 155, 5*d + 2*l - 194 = -42. Let w be (-2)/(-10) - (5 - (-20016)/d). Let b = 1331 + w. Is b prime?
True
Suppose -1646 = -4*o - 3*d - 121, 3*o = -5*d + 1152. Let f be -4 + -211 + (12/2)/(-2). Let i = o + f. Is i prime?
False
Let w(n) = -n**2 - n. Let s(o) = 161*o**3 - 11*o**2 + 9*o + 38. Let c(k) = -s(k) + 6*w(k). Is c(-5) a prime number?
True
Suppose -3*b = 3*q - 73512, -5*q + 3*b = -136462 + 13982. Is q a prime number?
True
Let u(p) = -1710*p**3 + 3*p**2 + 3*p + 1. Let g be u(-1). Let s = -457 + g. Is -4*(-1 - s/8) prime?
True
Suppose -12 = 2*i - 2*w, -3*w - 1 = -i - 7. Let h(u) = -54*u**3 - 9*u**2 + 11. Is h(i) a prime number?
True
Suppose y - 3771 = o, 5*y = -o + 438 + 18423. Let m = y - -1785. Is m prime?
True
Is 9/198*22*(-794)/(-2) composite?
False
Let d(u) be the second derivative of 21*u**4/4 + 5*u**3/3 - u**2/2 - 4*u. Let n be d(4). Suppose -n - 234 = -7*w. Is w a composite number?
True
Suppose -2*h - 63 = 327. Suppose 306 - 3490 = 5*w - 2*y, 3*y = 2*w + 1267. Let b = h - w. Is b composite?
False
Let n(b) be the third derivative of 0*b + 21*b**2 - 17/8*b**4 + 0 + 13/6*b**3. Is n(-6) prime?
False
Let a(p) = 109606*p**2 + 15*p. Is a(1) composite?
False
Let k = 591 - 605. Let v(h) = -8*h**3 - 16*h**2 - 16*h + 61. Is v(k) a prime number?
False
Let j(s) = -17*s - 2936. Let g be j(-86). Let v be (0 + (-2)/(-6))*13749. Let k = v + g. Is k a prime number?
True
Suppose 35*c - 56789 = -74*c. Is c a composite number?
False
Suppose 2*z - 5*j = 386516, 59*z - 55*z = -3*j + 772954. Is z a composite number?
False
Suppose 59794*c = 59812*c - 3267414. Is c a composite number?
False
Let w(l) = -3*l - 11. Let k be w(-3). Let s be k/(-5) + (-6172)/5. Let n = s + 2133. Is n prime?
False
Let i(g) = 161*g**2 - 3*g - 33. Let v be (-57)/(-11) - ((-474)/(-66) + -7). Is i(v) composite?
True
Let c(w) = -1185*w + 4. Let s be (-187)/(-85) + 2/(-10). Suppose 3*a = -3*q - 0*q - 12, -3*a + s*q = 2. Is c(a) composite?
True
Suppose 0 = 60*l - 62*l + 5*d + 1693781, 2*l = 4*d + 1693776. Is l a prime number?
False
Is ((-36334)/6)/(58/(-174)) composite?
True
Let i(y) be the second derivative of 175*y**4/12 + y**3/2 + 3*y**2/2 + 6*y - 2. Is i(-2) a prime number?
False
Let c(g) = -147*g - 6. Let r be c(-22). Let b = 11363 + r. Is b a composite number?
False
Suppose -12*d + 15*d = 2*m + 46285, -10 = 5*m. Is d prime?
True
Let s(i) = -5*i - 4. Let c be s(-2). Let p be -1 - 0 - 72/c*45. Let b = p - -1448. Is b a composite number?
False
Let t be (-4)/(8/34)*207. Let f = 6374 + t. Suppose -y + c - 571 = -2*y, 4*c - f = -5*y. Is y prime?
True
Let n be (770/4 - 3)*12. Suppose -13*z + n = -10*z. Suppose -3*d + z = -d. Is d prime?
True
Let s(o) = -2*o**3 + 2*o**2 - 2*o - 4032. Let x be s(0). Let j = 9381 + x. Is j prime?
False
Suppose -q + 2*s = -55797, 40*q + 167394 = 43*q - 3*s. Is q a prime number?
True
Let o(t) = 122344*t**3 - t**2 - 17*t + 19. Is o(1) a prime number?
False
Let o be 2 + 0 - 86/(-4)*-16. Is (-6)/o*6 - 927863/(-19) a composite number?
True
Let f(g) = -5*g**3 + 5*g**2 + 11*g. Is f(-19) a composite number?
True
Let y(j) = -15*j - 6. Let d be y(3). Let t = 33 - 121. Let r = d - t. Is r prime?
True
Let y be (8 - 10)*4/(16/50). Is ((-70)/y)/(-7) - (-22914)/10 composite?
True
Let w(f) = -5644*f - 276. Let n be w(-28). Is (-81)/(-189) + 3/(21/n) a composite number?
True
Suppose 5*n - 564092 = -4*s - 0*n, 0 = -9*n + 6*n. Is s composite?
False
Suppose -4*l + 245779 = 3*o, l - 28493 = 3*o + 32963. Is l composite?
True
Let x be (-3 + 155/15)*3/2. Let i(p) = 21*p**2 - 4*p + 5. Let s be i(x). Suppose -2*j + 5*m = -s, -3*j + m = -2110 - 1669. Is j composite?
True
Let o(f) = 4615*f + 1022. Is o(9) prime?
True
Is 96/((-16)/2) + 10601 a composite number?
False
Suppose 2*i + 2654 = 4*p, 0*p = 3*i + 2*p + 3981. Let n = 956 + -1750. Let w = n - i. Is w a compo