n prime?
False
Let y(s) = 128 + 108*s + 62*s - 79 + 280 + 22. Is y(22) a composite number?
False
Let m = 126 - 133. Let i(w) = 17*w**2 + 2*w - 10. Is i(m) a composite number?
False
Let n(z) = 2*z**2 - 15*z - 3. Let f be n(-12). Suppose 0 = 22*c - 13210 - 12838. Let v = c - f. Is v a composite number?
False
Suppose -9*h - 46 = 134. Let y = -20 - h. Suppose y = 28*i - 31*i + 2031. Is i prime?
True
Let u(i) = 166*i**2 - 334*i - 11. Is u(15) prime?
False
Suppose p + 3*s = 107189, -3*s + 496173 + 361339 = 8*p. Is p prime?
False
Let i = 269 - 269. Suppose 2*q = -4*m + 12910, i = 3*m - 1 - 8. Is q composite?
False
Let z = 215 + -229. Is (5130/(-14) + -2)/(2/z) prime?
True
Is (14 - (10 + -3)) + (-93)/6*-22844 prime?
False
Is 118884 - 16 - (-2)/((-2)/(-3)) composite?
True
Suppose -o = 0, o = -q + 1297 + 1278. Is 25/20*4 + q + -1 a composite number?
False
Suppose 43*b = -32*b + 275325. Is b a composite number?
False
Let t(u) be the first derivative of 5*u**4/12 + 5*u**3/2 - 37*u**2/2 - 18*u + 12. Let d(s) be the first derivative of t(s). Is d(19) prime?
True
Let i(c) = -900*c**3 - 4*c**2 + 7*c + 13. Suppose 76*h = 73*h + 2*w - 14, -14 = -3*h - 5*w. Is i(h) a composite number?
True
Suppose 250*o - 252*o = -2*h + 744648, -o = -4*h + 1489293. Is h a prime number?
False
Suppose 2 = h - 2. Suppose -32*v - 12 = -35*v. Suppose -t - 1950 = -3*g, h*t + 656 + 1952 = v*g. Is g a prime number?
False
Let p = 465 - 448. Suppose -25*o = -p*o - 22216. Is o a prime number?
True
Suppose 516629 = 281*z + 847004 - 13270144. Is z a prime number?
True
Is 490548 - (120/(-12) + 11) a composite number?
True
Let b = -2605 + 1411. Let g = 715 + b. Let q = g + 730. Is q a composite number?
False
Is ((-345)/15 - -22)/((-3)/42429) a composite number?
False
Suppose -2 = -5*l - 3*g + 5, g = 5*l - 11. Suppose z - l*b = -b + 1443, -7213 = -5*z + 4*b. Is z a composite number?
True
Suppose 42 = -u + 7*u. Is 466/8 + u/(-28) a composite number?
True
Let n(w) = -45442*w + 7731. Is n(-16) a composite number?
False
Let q(b) = -b**3 + b + 1. Let x(c) = 4*c**3 + 3*c**2 + 3*c - 10. Let f(a) = -5*q(a) - x(a). Is f(9) prime?
True
Is (2/6)/(119068/714392 - (-9)/(-54)) a prime number?
False
Let f(z) = -21014*z + 17. Let b be f(3). Is ((-2)/10)/(((-15)/b)/(-3)) prime?
True
Suppose -5*x + 28 = a, 0*a - 3*a - 2*x = -19. Suppose -3*y = 3*g - 13632, 3272 = 2*g + a*y - 5813. Is g prime?
True
Suppose 20*f = 297*f - 64975613. Is f composite?
True
Let q(y) = 1801*y - 70. Let h be q(17). Suppose -8*b + h + 27333 = 0. Is b prime?
False
Let d = 2749 - 2751. Suppose 2*a - 29412 = -6*m + 2*m, 0 = 4*a + 2*m - 58824. Is d/(-5) - (a/(-10) - 0) prime?
True
Suppose 6 - 111 = 3*j. Suppose 0 = 5*h - 6110 + 920. Let g = h - j. Is g a prime number?
False
Let p be 2/(-4)*332*-3. Let o be (-2)/(-7) + 105390/(-42). Let f = p - o. Is f a prime number?
False
Suppose 3*b + 0 = 12. Suppose -b*m = -18 + 2. Suppose a + 4*t - 206 = -0*a, 4*a - m*t - 924 = 0. Is a prime?
False
Suppose -739240 = 84*f - 1553717 - 892655. Is f a prime number?
True
Let s be 2262/22 + (60/66)/5. Let j = -98 + s. Suppose y - 6*y = -j*o + 4420, 4*y + 2647 = 3*o. Is o a composite number?
True
Suppose 4*a = 3*d - 693587, 3*d + 5*a - 231221 = 2*d. Suppose 43*o - 16*o - d = 0. Is o a composite number?
False
Let r = -18190 - -37347. Is r prime?
True
Suppose 32001*d + 161653 = 32018*d. Is d a prime number?
False
Suppose 5*a + 5*t = 24 + 6, 3*t = -a + 14. Let r(i) = 424*i**3 + 5*i + 1. Is r(a) prime?
False
Let h = -24 - -30. Suppose -4*m + 7*a = 2*a - 2534, -h = 3*a. Is m prime?
True
Let f(z) = 24*z - 142. Let x be f(6). Is ((-745304)/(-168))/(x/6) a composite number?
False
Suppose -33*h = -234553 - 267806. Is h a composite number?
True
Let k(m) = m**3 - m**2 - m - 769. Let j be k(0). Suppose i + 240 = -72. Let h = i - j. Is h prime?
True
Let s be ((-60)/(-9))/(8/84). Suppose -3*t + 1157 = -s. Suppose -t = -2*g + 3*n, 5*g + n - 3*n - 1017 = 0. Is g composite?
True
Suppose 542265 = -24*l + 2764305. Is l a prime number?
False
Suppose 0 = -3*w - 6, -2*w + 226290 = -5*p + 673679. Is p a composite number?
False
Suppose -31*h + 1264515 + 1101899 = -1702305. Is h prime?
True
Let c(x) = x**3 - 5*x**2 - 28*x + 45. Let j be c(24). Let d = j + -2222. Is d prime?
False
Let d = -47 - -49. Suppose -2*s = -8 + d. Suppose -2*x - s*v + 240 = -21, -4*x = 2*v - 502. Is x composite?
True
Suppose -6*r - 3 = 21. Let j(q) = -1811*q - 22. Let b be j(r). Let u = b - 3429. Is u composite?
False
Let n = 21054 - 8957. Is n prime?
True
Let p(f) = -f**3 + 203*f**2 + 71*f + 182. Is p(75) a composite number?
False
Let i(z) = 7171*z**2 + 12*z + 102. Is i(-5) composite?
False
Let o(k) be the first derivative of 10*k**2 - 13*k - 7. Is o(16) composite?
False
Suppose 7*p + p = 5*p. Suppose p = 8*c - 3*c + 5*m - 10630, -2*m + 10633 = 5*c. Is c prime?
False
Let r(v) = -53*v**2 + 11*v - 50. Let j(d) = 26*d**2 - 6*d + 25. Let p(g) = -5*j(g) - 3*r(g). Is p(-6) composite?
False
Let g = -156449 + 485536. Is g prime?
False
Let j(d) be the third derivative of -d**5/60 + 5*d**4/24 + 3*d**3 + 5*d**2. Let i be j(9). Is (6/i)/((-2)/402) prime?
True
Let a(t) = -9 - 24*t + 32*t + 36*t. Suppose 0 = -4*l + 142*j - 141*j + 19, 4*l + 4*j = 24. Is a(l) prime?
True
Let i(z) = -9*z**3 - 71*z**2 + 48*z + 13. Is i(-21) composite?
False
Let q(i) = 98*i**2 - 4*i - 9. Let o be q(3). Suppose 0 = -54*m + 47*m + o. Is m a composite number?
True
Is 14*(12 - -1)/(-26) + 85896 a prime number?
True
Let c be 3 + (1 - (5 - 4)). Suppose -2*b + 5*i = -263, 2*b + 2*i - 293 = -c*i. Is b prime?
True
Let f be ((-19140)/(-18) - -2)/((-2)/(-6)). Suppose 5*x - 15971 = l, -x - l = -3*l - f. Is x composite?
True
Suppose 68*d = 48*d + 510380. Let g = d - 16938. Is g composite?
False
Let r = 74056 - 37350. Is r a composite number?
True
Let a(f) = f**3 + 4*f**2 - 4*f + 1. Let l be a(2). Suppose -27 = -2*v - l. Suppose v*b = -b + 8202. Is b composite?
False
Let x(q) be the third derivative of 11*q**5/10 + q**4/4 + 7*q**3/6 - 2*q**2. Let n = -337 - -335. Is x(n) a prime number?
False
Let k(h) = -h**2 - 2*h - 4. Let d be k(-13). Let x = 2587 - d. Is x a composite number?
True
Suppose 0*z + 4*x + 8146573 = 5*z, 5*z = x + 8146582. Is z a composite number?
False
Let c(y) = 86*y**3 + 6*y**2 - 2*y - 24. Let s(i) = 29*i**3 + 2*i**2 - i - 8. Let r(m) = 4*c(m) - 11*s(m). Let g be r(3). Let p = g + -111. Is p a prime number?
False
Let c(o) = -823*o + 28. Let m(a) = a. Let f(p) = -c(p) + 6*m(p). Is f(3) composite?
False
Let i(g) = 6025*g - 13. Suppose -4*r + 9*r = 10. Is i(r) a prime number?
True
Is 24779/(-5)*-23 + 16/(-40) a composite number?
False
Suppose 5*s + 4 + 5 = x, -2*s = 3*x - 10. Let c = -11 - -16. Suppose c*t + 922 = u + 3*u, x*u - 3*t = 926. Is u a composite number?
False
Is (0 - 1686571/(-8)) + (-462)/1232 composite?
True
Let x(t) = 4*t**2 + 9*t + 2. Let k be x(-4). Is (-10)/(-12) + 3905/k a composite number?
False
Let i be (-2)/(-8)*4 - 1224. Let y = i + 1729. Suppose 6*k = 688 + y. Is k composite?
False
Let i = 256 + -260. Is 98426/12 - 20/96*i composite?
True
Suppose -641536 - 635939 = -75*n. Is n a composite number?
False
Let b(l) = 7*l**2 - 133*l + 117. Is b(-37) composite?
False
Suppose -7*w + 10 = -2*w - 2*t, -3*w + 32 = 4*t. Is (-132 - -10)/(2/(-21)) - w composite?
False
Let z(v) = 62*v**2 + 8*v + 4. Let o be z(-4). Let k = 465 - o. Is k/(2*(-3)/30) prime?
False
Let z(t) = t**2 + 8*t + 8. Let x be z(-8). Suppose 0 = 5*f + 5*w - 9850, -x*f - 2*w = -3*f - 9859. Is f a prime number?
True
Let w(j) = -12751*j**3 - j**2 - 22*j - 41. Is w(-2) composite?
True
Is ((-51)/34 - -4)*352994/5 a prime number?
True
Let b = -167 + 169. Suppose 7*d = -b*d + 2259. Is d prime?
True
Suppose 0 = 4*c + 3*z + z - 7744, -5*z = -c + 1966. Suppose t - 4*t + c = v, -5*v + 5*t + 9645 = 0. Suppose -2366 = -14*o + v. Is o a prime number?
True
Suppose 27 = -5*g + 67. Is 420/16*133 + (-2)/g prime?
True
Suppose 0*z - 5*z = -15. Suppose z*n + 7248 = -5*n. Let j = -415 - n. Is j composite?
False
Let x = -15981 - -38882. Is x a prime number?
True
Suppose -111119 = -7*v + 4*v + 2*x, 15 = 3*x. Is v composite?
True
Let q = 1174 - -329809. Is q a composite number?
False
Let a be (((-8396)/6)/(-1))/((-2)/(-9)). Suppose -13*u - a = -16*u. Is u a composite number?
False
Suppose