m**2 - m + 4. Let g be b(-2). Let w be (-2 + 2)*(-3)/g. Suppose w = 2*s - 16*s + 9814. Is s a composite number?
False
Let r(i) = 6*i - 41. Let k be r(6). Let v(j) = 4*j + 24. Let m be v(k). Suppose 5*g = -m*b + b + 1446, b - 502 = 5*g. Is b a composite number?
False
Let u(a) = 110432*a - 7445. Is u(8) a prime number?
True
Let u be (6 + -20 - -3)*-1609. Let v = -10990 + u. Is v a composite number?
False
Let r(v) = -3*v - 10. Let o be r(-10). Let z = o - 110. Is (-9065)/(-9) + 20/z composite?
True
Let a = 31178 + 6513. Is a a composite number?
False
Let t be -6*15/2 - -3. Let d = -40 - t. Suppose -c = 4*x - 79, -d*c = -3*c - 5. Is x prime?
False
Let t(g) = 87*g + 734. Let q be t(-16). Suppose -c - 5708 = -5*c. Let s = c + q. Is s a composite number?
False
Suppose -23*f + 1 + 68 = 0. Suppose -5992 = -2*b - f*m, 6*b + 5*m = 5*b + 2989. Is b a prime number?
True
Is 23158/((312/(-12))/(-13)) a composite number?
False
Suppose -2*c + 41 = -11. Is 21/(-182)*-7088 - (-4)/c composite?
True
Let s be (36/(-45))/((-2)/10). Suppose 2*w - 5*q = 35123, -3*q - 40530 - 29737 = -s*w. Is w prime?
True
Suppose -17831 - 52059 = -5*a - 5*h, a - 2*h = 13993. Is a - (4 - 0/(-3)) composite?
True
Suppose 0 = 2*y + a - 15, 17*y + 5*a - 33 = 14*y. Suppose y*u = 3705 + 33. Is u composite?
True
Suppose 0 = 3*m - 4*x - 57, -m + 3*x + 11 = -13. Let u(g) = g**3 - 12*g**2 - 14*g + 28. Is u(m) a composite number?
True
Suppose -10*c + 13832 = 2*b - 12*c, 6920 = b + c. Suppose z - 5*x - 6908 = -2*x, -z + b = -5*x. Is z a composite number?
True
Suppose 0 = 21*r + 11*r - 5116768. Is r composite?
False
Let o(i) = i**2 - 4*i - 10. Let v be (-1 + -2)*(0 - 2). Let f be o(v). Suppose 0 = -2*l + 10, f*z + 10 = l + 49. Is z composite?
True
Suppose 0 = 11*s - 4480 - 7642. Let d = 1195 + s. Suppose -1542 = -2*j + 2*u, -u = 3*j - 0*u - d. Is j prime?
False
Suppose 19*k + 176471 + 397614 = 0. Is (-1*3)/(5/k*3) composite?
False
Let a = 2988643 - 1918800. Is a a prime number?
False
Suppose 3*w - 2*l - 4 = 0, -2*w - 4*l = -11 + 3. Let u(o) = 2 - w*o**2 - 16*o + 17*o + 0 - 4*o**3. Is u(-3) a composite number?
False
Let x be (-2)/(-17) - ((-7458)/(-17))/(-11). Let o(m) = m**3 - 39*m**2 + 69*m - 33. Is o(x) composite?
False
Suppose -83040 = -p - 8*h + 6*h, -3*h = -2*p + 166073. Let s = -51371 + p. Is s a composite number?
False
Let k be 0 + -2 - (-6)/(54/(-45)). Is 13/(k/3318*-6) a composite number?
True
Suppose 0*r - r + 2 = -2*z, 0 = z - r - 1. Let o be 5/2*(-45 - -43 - (-22)/5). Is o*((-88)/z + 3) composite?
True
Suppose 0*w = -3*w - 2*q + 9, 5*w + 2*q = 15. Suppose 0 = 4*r + 4, 3*m + 0*r + 75 = w*r. Is 5532/39 - 4/m a composite number?
True
Let c be 15*(4/4)/(-3). Let j be ((-2)/(-4))/(c/19670). Let n = 3552 + j. Is n prime?
False
Let g = 1769 - 512. Let n(i) = -20*i**2 - 4*i + 4. Let b be n(-6). Let x = b + g. Is x a composite number?
True
Let u be (3/3)/(5/35) - 2. Suppose 2*y + 5251 = u*n, 0 = -3*n + y + 1085 + 2065. Is n prime?
True
Suppose w + 323705 = 2*v, 0 = v - 0*v + 3*w - 161856. Is v a composite number?
True
Suppose -5*s + y + 3 - 16 = 0, y + 1 = -2*s. Let i be (1 - -34119) + (-5 - s) + 3. Suppose 0*t = 8*t - i. Is t a prime number?
False
Suppose -196 = 2*h - 200. Suppose -2*i = -n + 8903, -n - 3*n - h*i + 35592 = 0. Is n prime?
False
Let z = -1713425 - -3197988. Is z a prime number?
True
Suppose -20*n = 17 - 97. Suppose d - 16042 = -n*x, -11*d + 12*d - x = 16032. Is d a prime number?
False
Let p = -103542 - -1160545. Is p a composite number?
False
Let v = 1087407 + -329774. Is v prime?
True
Let w(h) = -h**3 + 16*h**2 + 18*h - 19. Let a be w(17). Is 2/(-2)*4615/(10/a) composite?
True
Let q = -24230 + 126873. Is q composite?
False
Let d(n) = 11296*n - 12. Let o be d(1). Let x = o + -7863. Is x a composite number?
True
Let p be ((-289)/(-1) - -3)*(-22)/(-8). Suppose -5*h = r - 4088, h = 4*r + p + 23. Suppose 0*j + h = 2*j. Is j a composite number?
False
Let g(j) = 6*j - 241. Let n be g(8). Let u(k) = -14*k**3 - k - 1. Let i be u(-3). Let l = n + i. Is l prime?
False
Let h(u) = 37*u**3 + 29*u**2 - u - 3. Is h(20) a prime number?
True
Let t(v) = v**3 - 7*v**2 + 6*v - 7. Let x be t(7). Suppose -4*b + x = -z, 3*b + z + 5 = 4*b. Suppose 0 = 5*y + b, 2887 = 4*p + 2*y - 1457. Is p prime?
True
Suppose 0 = -5*a, -3*i + a + 25 = -2*i. Let j = i - 37. Is (-6)/j*2740/2 a composite number?
True
Suppose -4*g + 43616 = -5*v, 12*v = -2*g + 9*v + 21830. Is g prime?
True
Suppose -18*o + 13162047 = -19398387. Is o a composite number?
True
Suppose 0 = 5*n - 2*n - 33. Let v be (n/3 + -4)*-18. Suppose i - v*i = -3425. Is i a composite number?
True
Let a = -274800 + 568417. Is a a prime number?
True
Suppose 13*y - 5*o = 15*y - 445252, 7*y - 5*o = 1558427. Is y a composite number?
True
Let s(o) = o**3 - 76*o**2 - 292*o - 349. Is s(98) a prime number?
False
Let x(k) = -13*k**3 + 3*k**2 + 5*k + 1. Let r(a) = -a + 2. Let j be r(-2). Let g be x(j). Let b = -510 - g. Is b prime?
False
Is (-8 - 102806)*(1012/352)/((-1)/4) composite?
True
Suppose -50*f + 125*f - 2655060 = 10766265. Is f prime?
True
Let q(j) = -3*j**3 - 54*j**2 - 57*j - 53. Is q(-27) composite?
False
Let j(t) = -8*t + 5. Let b be j(2). Let m(p) = -2*p - 18. Let o be m(b). Suppose 0 = 2*s + 8, 0 = -3*n - s + o*s + 9675. Is n composite?
False
Suppose 8*c + 8 - 16 = 0. Let l be (5 + c)*(-6)/(-12). Suppose -g - l*z + z = -897, -4*z = -4. Is g a prime number?
False
Let o be (2/4)/((2 - 4)/1028). Suppose 4*u + 2*g + 3330 = 0, 3*u + g + 2475 = 4*g. Let r = o - u. Is r a composite number?
True
Let x(p) = 6260*p**2 + 129*p + 1332. Is x(-11) composite?
True
Let u(o) = -11504*o - 7583. Is u(-6) prime?
True
Let p = -4184 + 4186. Suppose -5*c + 0 = -15. Suppose -b = -2*q + 1578 - 81, -p*q = c*b - 1517. Is q a prime number?
True
Let y(q) = 116*q**3 - 30*q**2 + 105. Is y(13) composite?
True
Let y be 2636/2 - 17/((-119)/(-14)). Let c = y + 555. Is c prime?
True
Let a(b) = b + 1. Let u(h) = 583*h + 4. Let y(i) = 6*a(i) - u(i). Let m be y(-1). Suppose 2219 = 2*z - m. Is z composite?
False
Let k be (-1)/4 - (-2)/(2 + 6). Suppose -10*m + 2620 = -k*m. Is m composite?
True
Let t(x) be the third derivative of x**4/8 + 3*x**3 + 13*x**2. Let b be t(-6). Suppose b = -11*v + 663 + 250. Is v prime?
True
Let d = -3 - -9. Suppose -d*v + 364 = -4*z - v, -4*z - 4*v = 364. Let h = 166 - z. Is h composite?
False
Suppose -17*d = d + 7*d - 1301275. Is d prime?
True
Is (-32)/(-48) - (-3 - 479046/9) a composite number?
False
Let w = -4983 - -2084. Let o = 478 - w. Is o composite?
True
Suppose 37*l - 42*l + 334246 = v, -4*v + 3*l + 1336823 = 0. Is v prime?
False
Suppose -173*d + 4274969 = 5*p - 175*d, -4*p + 3419982 = -5*d. Is p composite?
False
Let a be (-25)/(55/(-10) - -6). Is ((-32036)/(-10))/(a/(-125)) prime?
True
Let h = 11644 - -6979. Is h a composite number?
True
Let q = -16 + 20. Suppose s = -2*p - 6 - 8, 0 = q*p + 5*s + 40. Is p/(10/37)*-134 composite?
True
Let o(n) = -13*n. Suppose 3*b - 17 = 5*y, b - y + 4*y = 1. Suppose b*c = 2*w - 38, 0*c - 4*w - 23 = c. Is o(c) a prime number?
False
Suppose 12 = 4*k, z - k + 115 = 5*z. Suppose h + z = 5*a, 2*a = -5*h + 1 - 6. Suppose -389 = -a*l - i, 93 = -3*l - 2*i + 332. Is l composite?
True
Suppose -5*r + 1430767 + 106228 = 0. Is r prime?
True
Suppose 15*a - 105 = -15. Suppose 0 = -9*y - a*y + 488535. Is y a prime number?
True
Let m = 353688 + -59377. Is m a prime number?
True
Is -4 - 196569/(-4) - (-108)/144 composite?
False
Let y(q) = 6*q**3 - 3*q**2 + 10*q - 5. Let a = 7 - 7. Let g be a - 2/6 - (-182)/42. Is y(g) prime?
False
Let q(y) be the first derivative of -26*y**2 + y - 53. Let u = -24 - -20. Is q(u) a composite number?
True
Let g = -12 - -5. Let i be -2*g/2 - 2. Suppose -21450 - 145 = -i*n. Is n composite?
True
Suppose 9*u + 125*m - 126*m - 3520313 = 0, -u + 3*m = -391169. Is u prime?
False
Suppose 2*t - 5*h = -0*t + 9589, 0 = -2*t - 5*h + 9539. Suppose 4*r - t = -914. Suppose 2*c = r + 123. Is c prime?
False
Suppose -7*h + 24 = 5*h. Suppose 27 = h*i - 2*v - 131, 5*i + 3*v = 427. Is i composite?
False
Let u(s) = -s**3 + 1. Let i(w) = 4*w**3 - 14*w**2 - 4*w + 19. Let o(p) = 2*p + 19. Let m be o(-10). Let l(j) = m*i(j) - 5*u(j). Is l(-11) composite?
True
Let m = 6906 + -3565. Suppose 0 = 2*s - m - 3401. Is s composite?
False
S