9*f + 1. Is c(8) composite?
True
Suppose 6 = -9*j + 8*j. Let n be (2/4)/(-1)*26. Let k = j - n. Is k composite?
False
Suppose -2*v - 4*y + 372 = 0, 2*v - 369 = -2*y - y. Is ((-9)/(v/(-16)))/((-2)/(-895)) a composite number?
True
Suppose -3*k = -262*b + 261*b + 31636, 0 = -3*b + 2*k + 94929. Is b a prime number?
False
Suppose x - 5404 = 2*x - 4*h, 8 = 2*h. Let u = x - -7582. Is 6/(-9) + u/6 composite?
True
Suppose -8*i + 60 = -3*i. Let f(d) = d**3 - 11*d**2 + 10*d - 13. Is f(i) a composite number?
False
Let l(u) = -3*u - 4. Let x be l(-3). Suppose x*q - 3577 = 6618. Is q a prime number?
True
Let b(f) = -8*f - 3. Let q be b(-1). Suppose q*n - 301 = -5*a - 6, 4*a - 71 = -n. Is n prime?
False
Let u(l) = 11*l**3 + 7*l**2 - 2*l + 17. Let m(n) = 5*n**3 + 3*n**2 - n + 8. Let d(b) = 13*m(b) - 6*u(b). Let p be d(-3). Suppose -s - 148 = -p*s. Is s prime?
True
Let d be 9/(1 - 4) + 6. Suppose -6*m + m = 10, -4*a = -d*m - 22. Suppose 274 = 4*f + 5*t, -4*f + 347 = f + a*t. Is f a prime number?
True
Let l = -269 - -568. Let v = 455 - l. Is (17/(-2))/((-6)/v) prime?
False
Suppose -11*s + 173293 + 32418 = 0. Is s composite?
False
Let i = 20340 - -34517. Is i composite?
True
Let a(n) = -n**3 - 8*n**2 - 10*n + 10. Let l(s) = s**3 + 5*s**2 - 4*s + 3. Let d be l(-6). Is a(d) a prime number?
True
Let a = 23 - 23. Suppose -2*h + 1 - 3 = a. Is (h/(-2))/((-3)/(-42)) a prime number?
True
Let c = 1246 - 255. Is c a composite number?
False
Suppose 4*m = 35 - 11. Let d(p) = p**3 + 6*p**2 - 4*p + 9. Is d(m) a prime number?
False
Let r = -1627 + 2336. Is r prime?
True
Suppose -5*m + 3*l = -0*l - 5444, -3*m + 2*l + 3267 = 0. Is m*4/(-1 + 5) a prime number?
True
Is 6 + 1 - (-900 + 30) composite?
False
Suppose -2*s + 4*h = -6682, -2*s - h = 4*h - 6727. Suppose 0*b - s = -3*b. Is b a prime number?
True
Suppose 5*h - 52 = -2*s, 0 = -2*s + 4*s - 3*h - 36. Is (-4203)/(-2) - (s/(-6))/(-7) composite?
True
Is (-1)/((-2)/(813 - -1)) prime?
False
Let p be 156/10*(-1980)/27. Let x = p - -1835. Is x prime?
True
Let f = 239 + 170. Is f prime?
True
Is ((-840154)/(-18) - -4) + (-12)/54 a composite number?
False
Is (-12184)/(-32) - 4/(-16) composite?
True
Let f = 13 + -13. Suppose 3*g + v - 665 = f, 4*v = 2*g - 59 - 375. Is g a prime number?
False
Suppose -6*d + 23 = 101. Let p be -2 + 0 + (-4 - d). Suppose 0 = -p*h + 8*h - 65. Is h prime?
False
Let g(x) be the third derivative of x**6/60 + x**5/4 - 5*x**4/12 - 11*x**3/6 - 12*x**2. Let i be g(-8). Suppose 0*s + 395 = i*s. Is s a prime number?
True
Let c(r) = 1687*r + 780. Is c(17) prime?
False
Let m = 1 - -9. Let y be (-3)/(-6)*m + 2. Suppose -70 = -y*b + 2*b. Is b prime?
False
Let n be (-10)/(-7) - (-9)/(-21) - 1. Suppose n = -2*o + 3*l - 4*l + 1489, 0 = 2*o - 4*l - 1504. Is o prime?
False
Let q(r) = -6*r**3 + 18*r**2 - 30*r - 2. Is q(-16) a composite number?
True
Is 192/(-48) + 42324 + 1 a prime number?
False
Let d(z) = -z**2 + 8*z - 9. Let s be d(6). Suppose 3*q = 3 + 3, s*q - 18 = -3*n. Is n + -3 - (-2 - 0) a prime number?
True
Let p = 31 + -28. Suppose 434 + 2251 = p*l. Suppose -6*q + l = -q. Is q a composite number?
False
Suppose 0 = 3*u - 5*q - 3, 3*q = u - 5. Is (-8)/(-12)*-1*894/u composite?
False
Suppose 11*m = 2*o + 12*m - 65371, -o - m = -32684. Is o a prime number?
True
Let u = -366 - -497. Let h(g) = -g**3 + 4*g**2 + 2*g - 5. Let d be h(4). Suppose -d*b + 380 = u. Is b a composite number?
False
Let p = 1404 - 1002. Let c = 11 + 2. Suppose c - p = -g. Is g a prime number?
True
Suppose -39*l + 40*l = -2*r + 29057, 2*r = -6*l + 174352. Is l prime?
True
Let x(w) = -4*w**2 - 25*w. Let z be x(-31). Let s = z - -5836. Is s prime?
True
Suppose 57 = 5*w + f, 0 = -5*w + 5*f - f + 72. Let n(z) = 23*z - 9. Let g be n(w). Suppose 5*t - g = 58. Is t a prime number?
False
Let h = 26867 - 15526. Is h a composite number?
True
Is 9929/9 - (-8)/108*-3 composite?
False
Is ((13 - 5) + -41)*934/(-6) a prime number?
False
Let v(p) = 391*p - 7. Let i be v(-2). Is 4/(-14) - 22*i/42 a composite number?
True
Suppose -27*m + 26*m = -17447. Is m a composite number?
True
Let f be (-8)/20 + (-51)/(-15). Suppose -f*g = 3*c - 10 - 5, -3*g + 2*c = -30. Suppose -385 = 3*h - g*h. Is h a prime number?
False
Suppose -n - 3*q - 328 = -2*n, 1301 = 4*n - q. Suppose n = 8*u - 3*u. Is u prime?
False
Let g = 18642 - 11027. Is g a composite number?
True
Let a = -312 + 631. Is a a composite number?
True
Let f(s) = -43*s**2 + 130*s + 1. Let b be f(3). Let i(y) = y + 679. Let u be i(0). Suppose 0 = -b*t + 3*t + u. Is t a composite number?
True
Let v = 11027 + -2608. Is v prime?
True
Suppose 2*q + 5*x = -6, 0*q - 3*x + 4 = 5*q. Is (-5596)/(-8)*(3 + 1)/q a prime number?
True
Suppose 3*i - 4036 = 7*i + 4*y, 0 = 3*y + 6. Let g = -526 - i. Is g prime?
False
Suppose 11*x = 8*x + 42756. Suppose -n = 13*n - x. Is n composite?
True
Suppose 4*t + t = 4*j + 7, 0 = -j + 3*t + 7. Let l(h) = -2*h - 12. Let g be l(j). Suppose g*q + 255 = 699. Is q prime?
False
Suppose -5*b + 2375 = -2070. Is (b/21)/((-2)/(-6)) composite?
False
Let w = 886 + 469. Is w prime?
False
Suppose 5*h - 7504 = -3*p, -3*p = -4*h - 6654 - 859. Is p a prime number?
True
Let b be 11165/21 - 6/9. Let l = 1274 - b. Is l a composite number?
False
Is (-5)/(-10)*(1086 + 2 + -6) a composite number?
False
Suppose 0 = 2*x + 4, 626 = -5*z - 2*x - 33. Let f = 200 + z. Is f a prime number?
False
Let l be ((-4)/5)/((-4)/30). Suppose l*q = 4*q + 428. Is q a prime number?
False
Let z = -9 + -2. Let u = z + 13. Suppose u*a = -3*a + 295. Is a composite?
False
Let l(g) = 2*g**2 - 17*g + 55. Is l(30) composite?
True
Let y = 10 - 11. Is ((-37)/(-3))/(y/(-3)) a prime number?
True
Suppose 50 = 5*t - 35. Suppose 9*n - 4*n - q = -10, -3*n - 4*q = -t. Is (2650/(-20))/(n/2) composite?
True
Is 0 + ((-115932)/(-3))/4 composite?
False
Suppose 5*y + 22 + 412 = -2*c, -431 = 5*y + 3*c. Let z = y + 130. Let s = 515 + z. Is s a composite number?
False
Let c = -60 + 60. Suppose 0 = -4*m - 3*j + 2699, c = 3*m + 5*j - 2502 + 475. Is m a composite number?
True
Suppose 3*u - 11 + 2 = 0. Let t be u - -3 - 3 - -7. Is (-2 - 0)/(t/(-815)) a composite number?
False
Suppose 5*h - 9 = 2*h. Suppose 56 = -4*j + 5*n, -2*n + 6 = -j - 8. Is j*(h/(-6) - 0) a composite number?
False
Let u = 9833 - 832. Is u a composite number?
False
Let u be ((-33)/(-6) + -5)*2. Is (-5581)/(u/(-5 + 4)*1) a composite number?
False
Let h = -50 - -48. Is 3 - (-267 - (-1 - h)) prime?
True
Suppose -7*z = -16285 - 9846. Suppose 5*k - 9004 = -i, -5*k + i = -5273 - z. Is k prime?
True
Let i(u) = -u**3 - 4*u**2 + 2*u - 6. Suppose 4*y + 12 = -2*m - 2*m, -2*y - m - 8 = 0. Let f be i(y). Suppose -4*q - 635 = -f*q. Is q a composite number?
False
Let q = 46703 - 33172. Is q a prime number?
False
Suppose 0 = 24*u - 6612 - 5364. Is u a composite number?
False
Suppose 7*b - 3*b = -4*u + 84, 5*u + 87 = 3*b. Let a = 22 - b. Is (a + 3 - -2) + 100 a prime number?
True
Let s(v) = 23*v**3 - 7*v**2 - 9*v + 20. Let q(y) = 35*y**3 - 11*y**2 - 13*y + 30. Let w(r) = -5*q(r) + 8*s(r). Let b be w(4). Is b + 3/(-1) + -4 composite?
True
Is 549917/38 - (3 - (-5)/(-2)) a prime number?
False
Let q = -27 - -28. Let n(p) = -10*p + 262*p - 1 + 108*p. Is n(q) composite?
False
Let l = 0 + -5. Let q = l - -10. Suppose -q*f - 42 + 837 = 0. Is f a prime number?
False
Suppose -2*w - 3*v + 54323 = 3*w, 4*v + 54351 = 5*w. Is w a prime number?
True
Suppose 2*d - 785 = -d - 5*y, 0 = -3*y - 6. Suppose f - d = 324. Suppose -z + 397 = -4*g, -2*z - 5*g + 244 + f = 0. Is z prime?
True
Let w(r) = -7*r**3 - 10*r**2 - 6*r + 45. Is w(-14) a composite number?
False
Let n(r) = r + 2. Let k be n(0). Let x be 10/4*(-36)/(-45). Suppose 4*s - 20 = 0, -x*s = -k*a + 4*a - 52. Is a a composite number?
True
Let r(g) = 41*g + 25. Suppose -3*f + 48 = 2*u, -u + 0*u = -5*f + 80. Is r(f) a prime number?
False
Let h(f) = f**2 + 7*f + 7. Let p be h(-6). Let j be p/3 - (-28294)/6. Is (-2)/9 + j/81 composite?
True
Let l be (8195/(-11))/(0/(-3) + -1). Let f be 21/3 + 1 - 2. Suppose -f*q + q + l = 0. Is q composite?
False
Let v = -19 - -19. Suppose v = -i + 2*s + 417, -5*s = -5*i - 0*i + 2090. Suppose k = -a - k + i, 4*a + k = 1641. Is a a prime number?
True
Let n be 81/45 - 1/(-5). Suppose -n*u - 115 = -4*r + 273, 3*u + 5*r = -560. Is -1 + -1 - (-3 + u) compo