osite number?
True
Let j(q) = 65624*q**2 + 15*q - 16. Is j(1) composite?
True
Suppose 22*o - 21*o - 8 = 0. Suppose -5*n + o*n = 11547. Is n composite?
True
Is 598950/440 - (-1)/(-16)*4 prime?
True
Suppose -9*z + 10*z - 91220 = -3*a, -a = -3*z + 273590. Is z a composite number?
False
Suppose 57*f = 64*f - 14. Suppose 3321 + 9857 = f*n. Is n prime?
False
Let z be (4/6*-9)/(-1 + 2). Is z/((-8)/4) - 2150/(-1) a composite number?
False
Let x be (2 + 27*4)*4/8. Suppose 0 = -x*t + 42*t + 87646. Is t prime?
False
Suppose 0 = -4*t - 2*w + 4684, 6*w - 3*w = 0. Let h = t + 1438. Is h a composite number?
False
Let b(q) = -52*q + 1103. Let z be b(27). Let s(a) = -3*a**3 - 2*a**2 + 5*a - 6. Let p be s(4). Let t = p - z. Is t composite?
True
Let o(f) = 8*f - 23. Let l(j) = 7*j - 22. Let u(c) = -6*l(c) + 5*o(c). Let s be u(8). Is ((-2874)/24)/(s/(-4)) a prime number?
True
Is 452663 + -2 + 368/16 + -13 a composite number?
False
Let o = -40683 + 69676. Is o a prime number?
False
Let f = 188 + -284. Let b = -19 - f. Is b composite?
True
Let q = -280 - -265. Is 363 + (4/(-6))/((-2)/q) a prime number?
False
Suppose 0 = -3*q - 3117 + 966. Let x be 33/(231/(-66094))*2/(-2). Let k = x - q. Is k a composite number?
False
Let n = 7125 + 2842. Is n prime?
True
Suppose 2 = h - 114. Suppose 3*g = h - 20. Let u = 45 + g. Is u composite?
True
Let o = 32194 - 15381. Suppose 51*n - o - 194072 = 0. Is n prime?
False
Let q be 3 + -3 - (-4)/(-6)*12. Let u = 281 + q. Suppose -157 - u = -2*g. Is g prime?
False
Suppose -4*k + 19 = 3*q - 20, -4*q = 12. Is ((-8455)/6 + 6)*k/(-2) composite?
False
Let i = 12 - 19. Let s = -10 - -7. Is i/21 + (-2002)/s a prime number?
False
Let q(m) = 3659*m + 528. Is q(71) a prime number?
True
Let a = -569 + 61. Let h be ((-452)/16)/(1505/252 + -6). Let p = h + a. Is p prime?
True
Suppose 2*x = 25*x - 44152313 + 2843508. Is x a composite number?
True
Let g(i) = 777*i**2 - i - 16. Let k be g(-6). Suppose 0 = -3*p + k + 5515. Suppose 8*y - p = 33. Is y prime?
True
Let d be 3 - (44/(-33) + 8/6). Is (-18263)/21*(d - 6) a composite number?
False
Let p(v) = 82 - 44 - 46 + 851*v**2 + 4*v. Is p(-3) prime?
True
Let z be (12*1*-40)/((-56)/(-196)). Let u(q) = -1459*q - 4. Let n be u(-2). Let y = n + z. Is y a composite number?
True
Suppose -158431 = -14*p + 195727. Is p a prime number?
False
Let f = 11 + -8. Suppose 0 = 5*u - 2*h - 491 - 452, 0 = -f*u + 4*h + 563. Let a = u + 62. Is a prime?
True
Let f = 25930 - 12813. Is f prime?
False
Suppose m + 35 = 8*m. Let y(t) = -t**3 + 12*t**2 - 9*t + 11. Let g be y(m). Suppose 2*w + g = 3*w. Is w a prime number?
False
Let q(n) = 6*n - 2*n**2 - 7*n**3 - 9 + 2*n**2 - 9*n**2 + 2*n. Is q(-7) a prime number?
False
Suppose 3*v + 2*n - 573489 = 0, -2*v + 4*n + 291570 = -90788. Is v a prime number?
False
Is 555/(-37) + (1668 - 4) a prime number?
False
Let g = 148 + -146. Suppose w - 4 = 0, -m = g*m + w - 3847. Suppose -4*l = 3*y - m, 11*l - 6*l = -4*y + 1601. Is l prime?
False
Let i(y) = 5471*y**2 - 6*y + 6. Suppose 0 = p, 3*h + 4*p + 0 = 3. Is i(h) composite?
False
Suppose 299*z - 298*z = 4202. Suppose z = 4*q - 414. Is q a prime number?
False
Let o(m) = -m**3 - 2*m**2 + 10*m + 16. Let u be o(-4). Suppose 23500 + 4444 = u*y. Is y a prime number?
False
Let z(i) = 3*i**3 - 484*i**2 + 199*i - 171. Is z(179) composite?
False
Suppose 0*h = -4*z - 2*h + 2, -2*z + 3*h = -21. Let o = 3 - z. Suppose 2*l + 3*l + 4*b = 1515, -4*b - 20 = o. Is l prime?
True
Let i = -267 - -274. Is 62242 + -13 + i - 3 a prime number?
True
Let k(o) = 9*o**2 - 6*o + 22*o**2 + 1 + 4 - 12 + 4*o. Is k(-4) a composite number?
True
Let p = 2817 + 1395. Suppose 6676 = 2*i - 2*o, -3*o + p = 2*i - 2489. Is i a prime number?
True
Let g = 231429 + -164632. Is g a composite number?
False
Let s(x) = 1159*x - 264. Let k(i) = -232*i + 53. Let c(y) = -11*k(y) - 2*s(y). Is c(10) composite?
True
Suppose 3*z - 4*u = 3361, 0 = -151*z + 150*z + u + 1119. Is z prime?
False
Suppose -6 = 3*h, 9*y - 11*y + 4*h - 1422 = 0. Let z = y - -2756. Is z composite?
True
Let x(s) be the second derivative of 19*s**5/20 - 7*s**4/12 - s**3/2 + s**2 - 3*s - 14. Is x(3) a composite number?
False
Let b(q) be the first derivative of 11*q - 3 - 14 + 0 - 4*q**2 - 6*q**2. Is b(-6) a prime number?
True
Let d be (35/(-105))/(1/(-9381)). Suppose 9*y - d = 2030. Is y a composite number?
True
Let c = -146200 + 246779. Is c a composite number?
True
Let w(a) = -a**3 + 119*a**2 - 149*a + 127. Is w(84) prime?
True
Let q be (0 + 177/12)*8. Let n = -83 + q. Suppose 4*g - m - 21 - 27 = 0, -5*g - 5*m = -n. Is g a prime number?
True
Suppose -12*a + 40 = -2*a. Suppose -2*z - z + 1151 = -a*s, -3*s - 3*z = 837. Let h = s + 591. Is h prime?
True
Let s be 4/(-14) - (-3740)/7. Let p be 73/(-6 - 67/(-11)). Let w = p - s. Is w composite?
False
Let i be (-7 - -2)*(-2134)/5. Let z be 174/(-48)*(-2 + 6)*-86. Let f = i - z. Is f prime?
True
Let j(c) be the third derivative of 10037*c**5/60 - c**4/3 + 4*c**3/3 + 3*c**2 - 18*c. Is j(1) composite?
False
Let y(g) = 42*g**2 - 21*g + 130. Is y(-25) a composite number?
True
Let o be ((6 - 13)*(-6)/(-7))/1. Let g be (-1339 - 1)*(o/1 - -5). Suppose l = -0*k + 3*k + g, 2*l + 5*k - 2735 = 0. Is l composite?
True
Let b = 27 + -15. Let f = 13 - b. Is 1*-1*(f*-477 + 6) a prime number?
False
Let i(l) = 14*l**2 + 13*l**2 - 49*l**2 + 7 + 13*l**2 - 2*l**3 + 20*l. Is i(-8) a composite number?
True
Let v be ((-4)/(-16))/((-2)/(-8)). Suppose -11 = -3*y + v, r = y + 2367. Is r a composite number?
False
Suppose -16*l + 8 = -12*l. Suppose -l*g + g = 0. Suppose -v - 4*p = -911, g = 5*v - 4*p + 2*p - 4467. Is v composite?
True
Suppose 4*k - 118 = -2*w, 2*w = -5*k - 2*w + 155. Let z = -24 + k. Suppose 4*t - 126 = -z*f - 2, -3*t + 93 = -4*f. Is t composite?
False
Suppose -9025 = -2*p - 3*m, -25*p + 4508 = -24*p + 3*m. Suppose 2*r - 3705 = p. Is r a prime number?
True
Let c = 2352 - -919. Suppose w - 3*d = c, -w = 5*d - 1543 - 1696. Is w prime?
True
Let k = -18905 - -143118. Is k prime?
True
Let k(m) = 2537*m**3 + m + 3. Let s be k(2). Suppose -5024 - s = -5*l. Is l composite?
True
Let r(m) = 5*m**3 + 10*m**2 - 5*m - 17. Let t = -11 - -52. Suppose 3*o - 26 = -d, -3*o + 4*d - 8*d + t = 0. Is r(o) prime?
True
Let w = -452 - 424. Suppose 2*f + 2012 = -2*f. Let k = f - w. Is k a composite number?
False
Suppose 5009889 + 405100 = 199*w. Is w prime?
True
Let t(a) = -2*a**2 - 8*a + 3. Let v be t(-4). Suppose v*s - 5*n - 247 = 0, -5*s - 5*n = -n - 461. Suppose 3*w = -4*u + s, -5*u = -2*w - 6*u + 51. Is w prime?
True
Let y(f) = 11779*f**3 + 8*f**2 - 22*f + 38. Is y(3) a composite number?
False
Is 112/336*1*773679 a prime number?
True
Suppose -8393116 = 23*w - 29367897. Is w a composite number?
False
Let p(d) = 77*d**3 - 2*d**2 + 19*d - 83. Is p(10) composite?
False
Suppose 0 = -13*c + 35*c - 14388. Suppose 0 = -54*l + 56*l - c. Is l composite?
True
Let b = 40 + -38. Suppose 4*g = 2*c - 10, -3*g - 10 + b = -c. Is 314*(1 + g/(-2)) composite?
True
Is (-168)/560 - 530786/(-20) a prime number?
True
Let z = 11862 - -29737. Is z prime?
False
Let d = 101 - 99. Let r be 6634 + (2 - (5 - 4)) + d. Suppose 1404 = u + h - 813, 3*u = 4*h + r. Is u a composite number?
True
Suppose 4*d - 170662 = -h, 2*h - 9718 = d - 52397. Is d a prime number?
True
Suppose 8*a + c - 198811 = 5*a, 2*c = -9*a + 596435. Is a prime?
True
Suppose 350*l - 235101872 - 404072979 - 95930499 = 0. Is l a composite number?
True
Let o be (9/42*4)/((-4)/(-28)). Let b(n) = 2*n - 11. Let j be b(o). Is -3*(44/24)/(j/(-4)) a prime number?
False
Is 4*8/(-112) - (-8 + (-6835992)/56) prime?
False
Suppose -70 + 60 = -5*n. Suppose -v + f + 1 = n, 4*v = -f + 11. Suppose -2*z - 3*j + 2386 = 0, 2*z + 4*j - 4772 = -v*z. Is z prime?
True
Let k(v) be the first derivative of -1/4*v**4 + 7*v - 17/2*v**2 + 5 - 16/3*v**3. Is k(-15) a prime number?
True
Let w = -51 - -51. Suppose w = -2*d - d + 12. Suppose d*i - 239 = 3*i. Is i a prime number?
True
Let s be -1 - 0 - (-744 + (-7 - -10)). Suppose 4*p = h - 18 + 603, -s = -5*p + 3*h. Is p composite?
True
Suppose 5 = -4*h + 5. Suppose 4*w + 2*q + 3 = -1, 3*w - 2*q + 10 = h. Is w/11 + (-1)/(44/(-47836)) prime?
True
Let o(h) = -195*h**2 - h - 1. Let z = -33 + 32. Let g be o(z). Let u = g - -340. Is u a prime number?
False
Let b be