 k be 31/3 + (-46)/(-69). Is f(k) prime?
True
Suppose 0 = 24*t - 2*t - 264. Suppose 0 = 5*a - 4*z - 17998, -2*a + 8*z - t*z + 7216 = 0. Is a composite?
True
Let x(u) be the third derivative of 361*u**4/24 - 34*u**3/3 + 46*u**2. Is x(9) prime?
True
Let x(t) = -572*t - 9. Suppose 22*g + 15 + 29 = 0. Is x(g) composite?
True
Is 4*(163272 - -1)*26/104 composite?
True
Let u(m) = -m**3 + 39*m**2 - 13*m - 1. Let z be u(16). Let r = z - 3920. Is r prime?
True
Is (42/6 - 4)*765620/20 prime?
False
Let u(r) = 40*r**3 + 10*r + 9. Suppose -2*o = -2*l, 0 = -3*l + 2*l + 5. Is u(o) prime?
True
Let z = 134 + 795. Let y = z - 562. Suppose 2*d - 300 = -m + 432, d + m - y = 0. Is d composite?
True
Suppose 29*g - 4*g - 34025 = 0. Let l = 1082 - 214. Let s = g - l. Is s composite?
True
Suppose -17*r + 38*r + 54133 = 22*r. Is r composite?
False
Suppose -7 = -a + 2*a. Let d(v) = v**3 - 13*v**2 + 12*v - 121. Let t be d(13). Is (2*3831/(-30))/(a/t) a prime number?
True
Let p be 50/15*(-5)/(25/(-6)). Suppose 3*t + 2*x - 203 = 0, 9*t = p*t + 2*x + 317. Let o = t + 156. Is o prime?
False
Let q be (-2)/(-3)*45/2. Suppose -4*v - 11693 = -3*h, 13*h - q*h = 3*v - 7801. Is h composite?
True
Suppose 4*t - 7255 + 40816 = k, 4*k - 134144 = -4*t. Is k a prime number?
False
Suppose -2*f + 5*h - 4 = 0, -4*f + 9 - 1 = -2*h. Suppose f*o + 5*m = 10309, -4*m - 22507 = -5*o - 5350. Is o a composite number?
False
Let j(a) = 4*a + 49. Let i be j(-10). Suppose -1471 = -i*w + 4586. Is w a prime number?
True
Suppose 200 = 3*k + 206, 58994 = 2*g + 4*k. Is g a prime number?
True
Suppose -3*u + 6 = 0, -1 = -4*a - 4*u + 19. Is (a/(-12))/(4/(-17392)) composite?
False
Let i(h) = 5588*h**2 - 71*h + 434. Is i(9) a prime number?
False
Let w = -45718 - -27282. Let i = -6470 - w. Suppose 1898 = 8*c - i. Is c composite?
False
Let j = -5355 - -9487. Let r = j + 3151. Is r prime?
True
Let o(y) = 23*y**3 + 26*y**2 - 64*y + 575. Is o(10) composite?
True
Let w = 9944 + -333. Is w a composite number?
True
Let j(u) = 50*u**2 - 1. Let m be j(4). Suppose 7185 = -6*l + 27*l - 2517. Let c = l + m. Is c a prime number?
False
Let f(r) = -144*r**3 - 34*r**2 + 12*r - 1. Is f(-6) a prime number?
False
Suppose -s - 124 = -3*s. Suppose 0 = -4*y - s + 82. Suppose 5*g - 741 = z + 554, y*z + 777 = 3*g. Is g a prime number?
False
Suppose -49*k = 6697146 - 136931453. Is k composite?
False
Let b = -86320 - -131853. Is b composite?
False
Is -29 + 3740438/52 + (3/(-2) - -2) prime?
False
Is (-302)/755 - 657434/(-10) a prime number?
False
Suppose 98 = 23*u + 52. Suppose u*d + 2 + 4 = 0, -5*d = -3*v + 1764. Is v composite?
True
Let s be (-7)/(-35)*(-4 + 2 - -12). Suppose 0 = 2*x - 2, -s*t + x = -25605 - 13456. Is t a prime number?
True
Suppose -3*a + 21 + 5 = 5*g, -2*g + 8 = 0. Suppose 0 = -a*k + 33 - 47. Is (-1165)/(2 + k + 4) composite?
True
Let z = 230 + -80. Is (-118229)/(-8) - z/(-400) prime?
True
Let v = 54232 - -19255. Suppose 47877 = 4*i - v. Is i a composite number?
False
Let u = -354 + 27348. Suppose 12*w - 113382 = -u. Is w a composite number?
True
Let r(a) = 7*a**3 + 8*a**2 - 6*a + 27. Let i be r(6). Let y = 3040 - i. Is y a prime number?
True
Suppose -2*s = -15*a + 16*a - 26, 0 = 3*a + s - 83. Suppose -a*w + 25*w = -5*m - 2935, 0 = -w - m + 989. Is w composite?
True
Let h(b) = -17 - 41*b + 7*b + 18*b. Let s be h(-8). Let o = -58 + s. Is o a composite number?
False
Let c(x) = 4*x**2 - 13*x - 56. Let k be c(-31). Suppose 4*q + r = 5588, -3*q - 7*r + 3*r + k = 0. Is q a prime number?
False
Let c(k) = -188*k**2 + 3*k. Let u(y) = -y**2 + y. Let q(g) = -c(g) + 3*u(g). Let t(l) = l**3 + 9*l**2 + 9*l + 9. Let h be t(-8). Is q(h) a prime number?
False
Let d(v) = 12427*v - 853. Is d(32) a prime number?
False
Suppose 0 = -40*q - 23 + 63. Is 497 - 12/4 - 3/q composite?
False
Let y(f) = 2*f - 11. Let g be y(6). Let h(w) = 1172*w**3 - w**2 + w. Let v be h(g). Suppose 393 = 2*u - 4*r - 193, -2*r + v = 4*u. Is u a prime number?
True
Let o be (3 - -2) + (-144990)/(-5). Suppose 8*g - 5*g - 2*k = o, -4*g + 3*k = -38671. Is g a composite number?
True
Let a = -653 + 655. Suppose -a*o + 2202 = 444. Is o prime?
False
Suppose -4 = -4*i, 2*b - b - 4*i = -10. Let n(o) = o**3 + 8*o**2 + 11*o + 3. Let x be n(b). Suppose 3*f - x*f = -2982. Is f composite?
True
Suppose -83 + 255 = u - i, -4*u = 4*i - 728. Let o = u - -130. Is o prime?
True
Let a(s) = 3*s**2 + 4*s - 1. Let q(k) = 7*k**2 + 9*k - 3. Let y(j) = 5*a(j) - 2*q(j). Let l be y(-1). Suppose -4*b = -l*b - 572. Is b composite?
True
Let o(p) = 169*p - 161. Is o(6) a prime number?
True
Suppose 2*p + 2*d = 256 + 515104, 4*p + 5*d - 1030713 = 0. Is p a prime number?
True
Suppose -x - 4*x + 20 = 0. Suppose -x*h + 6*h = 6. Suppose -h*r + 958 = v, 0*r = r + 4*v - 323. Is r a composite number?
True
Is 23962/(-6)*(-319 - -316) a prime number?
True
Let b = 9 + -25. Let o(t) = -3*t - 18. Let l be o(-8). Is ((-5523)/l)/(8/b) composite?
True
Let y = -366 - -388. Suppose -y*h - 10*h + 10720 = 0. Is h a composite number?
True
Let b = 27690 - 17363. Is b prime?
False
Let j = 767313 - 286030. Is j a prime number?
False
Suppose 3*y = 2*i - 529265, 0 = 5*i - 279*y + 275*y - 1323187. Is i a prime number?
True
Let o(r) = 7*r**2 + 5*r - 1. Let k(f) = f**2 - 13*f + 20. Suppose d - 8*d + 84 = 0. Let z be k(d). Is o(z) prime?
True
Let t = 19295 - 5099. Let s = t + -4727. Is s a prime number?
False
Suppose 0 = k + p - 6, 6 = -3*k + 6*p - 3*p. Let b(r) = 1443*r**2 - 30*r - 1. Is b(k) composite?
False
Suppose -1006349 = -36*v + 801103. Is v composite?
False
Suppose r - 6*r + 25 = 5*c, -5*r = 3*c - 21. Let f be 2/7 - (-1 - 36/21). Is ((-12)/f - -1598)/c prime?
True
Suppose -4*u - 148 = 140. Let h be ((-4)/3)/((128/u)/(-8)). Let g(x) = 132*x**2 - 4*x + 5. Is g(h) composite?
True
Let z(h) = -2*h**2 + 23*h - 30. Let r be z(10). Suppose -23*o - 6*o + 2059 = r. Is o composite?
False
Let b be 5*2 + 12 + -13. Let s(t) = 453*t + 28. Is s(b) a prime number?
False
Let a(k) = 331*k + 5. Suppose 8 = 3*z + 5. Let x be a(z). Let r = 31 + x. Is r a prime number?
True
Suppose -5*m - 9 = -2*m - 5*j, 3*m = j + 3. Suppose -3535 = -9*o + m*o. Is o prime?
False
Is (-289527)/68*24/(-18) a composite number?
True
Suppose 2*f - 7386 = 3*g + 4117, 0 = -4*f - 16. Let u = 2731 + g. Let o = 1651 + u. Is o composite?
True
Let x = -27585 - -48458. Is x composite?
False
Let b(d) = -2 + 3*d - 2*d + 0 - 5. Let y be b(12). Suppose -y*i + 2*h + 1125 = 0, 0 = 2*i - 3*h - 227 - 234. Is i composite?
False
Suppose 0 = -o - 3591 + 24316. Suppose 3*u = -3*w + 11964, -3*w = 5*u + 783 - o. Is u prime?
True
Let g(m) = -3*m**3 + 6*m**2 - 7*m - 11. Let a be 8/(-5)*(325/10)/(-13). Suppose d = 3*w - 4, -a*w = -5*d + w - 30. Is g(d) a composite number?
False
Let n be (-1)/((2 - 1)*8/(-392)). Let p = n + 197. Suppose 2*s - p = 156. Is s a composite number?
True
Let l = 70 - 75. Let s be (-5)/(-15 - l)*10. Is (-620)/(-45) + s - (-4)/18 prime?
True
Suppose -4*y - 29*y + 2658381 = 0. Is y composite?
False
Suppose -2*b = 3*d - 0*b - 12, -3*d + 27 = -3*b. Suppose -3*z + d = -3. Suppose 0 = z*m - 16 - 5. Is m a composite number?
False
Let q(r) = -191*r - 3158. Is q(-77) prime?
True
Is (58787/2)/(0 + (-21)/(-42)) composite?
False
Suppose 1807086 - 240924 = 45*d - 756603. Is d a prime number?
False
Let w be 6/(-72)*-6*30. Is (-2)/w + (3455842/30)/13 prime?
True
Suppose 43 = 3*c + 4*g, 2*c + 40 = 4*c - 3*g. Suppose -21*v = -c*v + 1992. Let a = -181 - v. Is a a composite number?
False
Let o(p) = -p. Let g(x) = -12. Let d(j) = -g(j) + o(j). Let q be d(5). Is 15/((15/q)/5) a composite number?
True
Suppose -h + 6968 = a, h - 2 = -1. Let b = a + -2504. Suppose -8*p + 4*p + v = -b, 4*v - 1137 = -p. Is p a composite number?
False
Let v(y) = 161*y + 5868. Is v(-15) prime?
False
Suppose -4*i + 499025 = t - 1427904, -5*i + 2408659 = 2*t. Is i a prime number?
False
Suppose z - 16 = 4*b - 6*b, -4*z - 35 = -3*b. Suppose 0 = -b*j - 493 + 3256. Is j a composite number?
False
Let m = 88 + -85. Suppose 2*k = 4*h + k - 75, m*h - 2*k - 55 = 0. Is h a composite number?
False
Suppose -2*n = -h - 5, 3*n = -2*n - 25. Is ((-46)/6)/((h/(-477))/(-5)) a prime number?
False
Let h = 412567 + -294450. Is h prime?
False
Suppose -3*u - 193 = j, -j - 96 = 2*u + 33. Let i = u - -66. Suppose 103 = -i*n + 3*n. Is