129 - u = -2*b. Suppose -756 + b = -5*f. Is f a prime number?
False
Suppose 5*j = -25, 18407 = -4*b + b - j. Is -1*b/8 - 1/(-4) prime?
False
Suppose d - 35 = -h, -10 = 2*d + h - 78. Let p = d - 15. Let o = p - 11. Is o a prime number?
True
Suppose -x + 16 = -2*g + 93, 0 = 2*x - 3*g + 151. Let k = x - -155. Let r = 1 + k. Is r composite?
True
Let b(c) = -2*c + 1. Let h be b(-1). Suppose 0 = -h*f - n - 18, 2*n + 1 = f - 2*f. Let r(k) = -59*k - 10. Is r(f) composite?
True
Let y(d) = 77*d**3 - 2*d**2 + 6*d - 5. Let t be y(3). Suppose 2*k - 4*g = t, 6*k + 4*g = 2*k + 4160. Is k a prime number?
True
Suppose -3*q = 2*q + 10. Let k(v) be the second derivative of -13*v**3/6 - 5*v**2/2 - 12*v. Is k(q) a prime number?
False
Suppose -2*u = 5 + 3. Let d = u - -4. Is 0 + (51 - d) + 2 a prime number?
True
Let k(h) = 7*h**3 + 10*h - 16. Is k(11) a prime number?
False
Suppose -437*q - 11036 = -441*q. Is q a composite number?
True
Suppose i = -2*b - 3 + 18, 2*b = -3*i + 65. Suppose -i*v + 29*v = 492. Is v a prime number?
False
Suppose 0 = -2*k + 5*l + 17, -2*k + l + 11 = 2*l. Let p(m) be the first derivative of 2*m**3/3 + 9*m**2/2 - 7*m + 14. Is p(k) composite?
True
Let p = -3 + 3. Suppose -4*i - i + 25 = p. Suppose 0 = -i*a + 5*k + 440, -5*a + 3*a + 5*k = -173. Is a composite?
False
Let b = 2266 - -1807. Is b prime?
True
Let p be ((-12)/(-5))/(12/40). Is 2385/p - 2/16 composite?
True
Suppose 0 = -5*g - 4*h + 19701, -5*g - 2*h + 28983 = 9290. Is g a prime number?
False
Suppose -3*c - 14 = 4. Let l(g) = -47*g - 15. Is l(c) prime?
False
Let k(u) be the second derivative of -u**5/10 + 5*u**4/6 + 5*u**3/3 + 11*u**2/2 - 2*u. Suppose -3*b - 21 = 4*z, 5 = -z + 2*b - 3. Is k(z) a prime number?
True
Let d(k) = -149*k**3 + 3*k**2 - k + 4. Let y be d(-3). Let i = 6452 - y. Is i a prime number?
False
Is 2919*(-104)/(-39) - -5 composite?
False
Let i = -121 + 414. Is i a prime number?
True
Let g = 17795 - -8585. Suppose -3*y - y - 4*x + g = 0, -3*y + x = -19801. Is y prime?
True
Let i be 27/18 - (-7)/(-2). Is 5/i*(6 + -56 + 4) prime?
False
Let f(x) = x**3 + 3*x**2 - 10*x + 2. Let g be f(-5). Suppose 3*z - 2730 = -g*p - p, 3630 = 4*z + 2*p. Is z composite?
True
Suppose 0 = -i + 5*w + 5251, 13277 + 7763 = 4*i - 2*w. Is i a prime number?
True
Let i be 4/1 - 6/(-3). Let c = -5 - -23. Is (-6)/c - (-1124)/i a composite number?
True
Let c(l) = -32*l + 35. Is c(-37) a prime number?
False
Let g(d) be the second derivative of d**3/6 + 6*d**2 - 14*d. Let z be g(-8). Suppose 0 = z*w - 480 - 116. Is w prime?
True
Let i = -5266 - -9069. Is i prime?
True
Suppose -5*z = u - 3*z + 77, -181 = 2*u - 5*z. Suppose -l = 9*l - 30. Is (0 + l + -4)*u a composite number?
False
Let m be (4 + -5)/(2/(-38)). Suppose 1534 = 21*c - m*c. Is c prime?
False
Suppose 43*w - 13358 = 7841. Is w composite?
True
Is (1 + (-3)/6)*40396/2 prime?
True
Let l(x) = -9*x**2 + 3*x + 5. Let w be l(8). Let u = 1057 + w. Suppose u = 4*s - b, s + 2*s - 373 = -4*b. Is s a composite number?
False
Let u(f) = 2*f**3 - 6*f**2 - 6*f - 5. Let h be (32/(-3))/(22/(-33)). Suppose 0 = -b - b + h. Is u(b) a composite number?
False
Let d(j) = 2*j**2 + 8*j - 5. Let s be d(-5). Suppose 7 = s*c - 3. Suppose -t - 5*o + 219 = 0, 0*t - c*t - o = -420. Is t composite?
True
Suppose -4*r + 4*v + 6 = -2, -5*r = 2*v - 10. Suppose -2*b - 5 = -f + r, f = 5*b + 19. Is (-582)/2*f/3 prime?
True
Let n(c) = c. Let a be n(3). Suppose 18 = -a*u - 2*o - 283, 4*u + 3*o = -400. Let w = -20 - u. Is w composite?
False
Suppose 3*z = -5*a + 2031, 2*z + 2*a + 34 = 1384. Suppose 0 = -8*c + 752 + z. Suppose c = w - 453. Is w composite?
False
Let h(t) = 0*t**2 + t**2 - 7 - 7 + 0*t**2 + 20*t. Is h(15) composite?
True
Is (1 - -238)/(207/99 + -2) prime?
False
Let x = -1177 - -2514. Is x a prime number?
False
Let t(v) = v**3 - 3*v**2 - 4*v. Let s be t(4). Suppose s = 4*n - 422 - 1614. Is n prime?
True
Let n(z) = 4*z**3 - 7*z**2 - 2*z - 4. Let w be n(7). Let s = w + -518. Is s a composite number?
True
Is (-45444)/24*(-6 - -5 - 1) composite?
True
Let x(j) = -219*j + 16. Is x(-3) a prime number?
True
Is 61067757/629 + 2/(-37) composite?
True
Suppose l + 5*s = 311 + 2521, 5*l + 5*s - 14100 = 0. Suppose -3*z + 4*o + 2536 = 849, -l = -5*z + 4*o. Is z prime?
False
Let l be 2/6*(721 - -2). Let v = 506 - l. Is v prime?
False
Suppose x - 12 = -4*j, x - 30 = -5*j - 4*x. Suppose j*p - 1711 = -341. Is p composite?
True
Suppose 30 = -5*r + 25. Is r/((-6)/2253)*(-6)/(-3) composite?
False
Let k be ((-994)/28)/((-1)/(-46)). Is (k/4)/(1/((-12)/3)) prime?
False
Let a = 34 - 30. Suppose -a*u - d + 0*d = -456, 579 = 5*u - d. Is u a composite number?
True
Suppose 4*w - 6 - 10 = 4*c, 3*w - 2*c = 11. Suppose 4*f - w = 1. Is (-3)/6*f*-22 prime?
True
Suppose 8*l + 41 = 17. Let m(k) be the first derivative of -3*k**4/4 + k**3/3 + k**2/2 + 2*k + 1. Is m(l) composite?
False
Is -3 + 6 - (-2 - 848)/1 composite?
False
Let y = -22 - -22. Let c be (y - -1)/((-1)/9). Let m = c + 28. Is m a prime number?
True
Let w be (1/2)/((-3)/(-30)). Suppose -w*t - 120 = -4*l, -4*l + 144 = -0*l + t. Is l prime?
False
Let j = -8764 - -14339. Let i = 8418 - j. Is i a composite number?
False
Suppose 0*y + 12 = 4*y. Suppose i + 4*u - 2951 = 0, 0 = y*i + i - 4*u - 11724. Suppose t = -4*t + i. Is t prime?
True
Let b be 4 - (1603/6 - (-4)/(-24)). Let r = b + 426. Is r prime?
True
Suppose 4*c = 61127 + 154005. Is c composite?
False
Let i = 1127 - 550. Suppose i = -2*m + 2591. Is m composite?
True
Suppose 936 = 4*c - 328. Suppose 3*p - p - c = 0. Let r = p + -13. Is r prime?
False
Let h(z) = -4034*z + 77. Is h(-3) a composite number?
True
Let a = 1961 - 1122. Is a composite?
False
Let s(c) = 11*c**2 + 1. Let l be s(1). Let v(a) = 14*a - 16. Let q be v(l). Suppose q = f - 5*d, 2*f - 610 = -3*f - 5*d. Is f a composite number?
False
Suppose 0 = -5*c - 5*j + 11425, 6*c - 4*c = 2*j + 4578. Is c composite?
False
Suppose 0 = 7*m - 5*m - 4*a - 5622, 0 = 4*a - 16. Is m a prime number?
True
Let u = 34481 - 21889. Is u/96 - 2/12 composite?
False
Suppose -3*h + 6551 = 4*l - 8*h, 5*l - 8197 = -2*h. Suppose l = 5*d + 6*d. Is d composite?
False
Let x(y) = -y**3 - 3*y**2 + 6*y - 6. Let v be x(-5). Suppose 0 = 2*p - v + 4. Suppose 43 = w + 5*d, 2*w + 105 = p*w + 3*d. Is w a prime number?
False
Let t be (-2)/8 + (-12754)/56. Let l = -9 - t. Is l a prime number?
False
Suppose 2*b + 3189 = 3*k, 5*b = k - 123 - 953. Is k a composite number?
False
Let w(l) = 2636*l - 873. Is w(5) prime?
False
Let o(q) = 8*q - 8 + q**2 - 2*q + 5*q. Let w be o(-12). Suppose -35 = -w*s - 3*d + 226, 202 = 3*s + d. Is s composite?
True
Let f be (-9)/4*224/42. Let a = 6 + f. Let z(d) = 39*d**2 + 7*d + 11. Is z(a) composite?
False
Suppose -m + 0*m = -k + 1239, -3*m = 0. Let i = k - 494. Is i a composite number?
True
Let f be ((-7)/((-21)/12))/((-3)/(-9)). Suppose -15381 = -f*i + 3*i. Is i composite?
False
Suppose 3*u = 18 + 15. Let q = u + -7. Suppose -q*y + h = -55, 2*y + h - 23 = -0*y. Is y a composite number?
False
Let k(i) = 2*i**2 - 4*i - 9. Let f be k(-7). Let n = f + 94. Is n composite?
False
Is (-38)/76*-5674*1 prime?
True
Is (3 + -4)*4 + 136260/4 a composite number?
False
Let f be 4 - 4 - 4*1. Let l be ((-35)/(-14))/(2/f). Let m = 132 + l. Is m a composite number?
False
Let q(l) = -8*l**3 - 24*l**2 - 25*l + 18. Let s(f) = 7*f**3 + 24*f**2 + 25*f - 17. Let r(v) = 6*q(v) + 7*s(v). Is r(-21) composite?
False
Let l = -170 + 383. Let m = l - -39. Suppose b - m = 47. Is b prime?
False
Let a(l) = 2*l**3 + 7*l**2 - 4*l - 9. Let p(s) = -s**3 - 4*s**2 + 2*s + 5. Let u(g) = -4*a(g) - 7*p(g). Let r be u(2). Is r + 1 - (-45 + 4) a composite number?
True
Let r(z) be the third derivative of z**5/60 - z**4/24 - z**3/3 - 4*z**2. Let u be r(-2). Is u*4/16*74 a composite number?
True
Let y(g) = 2 - 7*g - 1 + 16. Suppose -44 = r + 2*r - 2*o, 2*r + 31 = 3*o. Is y(r) composite?
True
Suppose 3 = -a - 3. Let m = a - -46. Let f = 71 - m. Is f a composite number?
False
Suppose n - 14 = -5*u, n - 41 = -4*n + 4*u. Let c be (-4)/(-18) + 3463/n. Suppose 250 = -0*x + 2*x + 4*t, -4*t = -3*x + c. Is x composite?
False
Let u(w) = 4*w**2 - 47*w + 146. Is u(-21) a prime number?
True
Let z = 1943 + -1125. Let k = z - -2261. Is k composite?
False
Let j be 2/9 + 19000/36. Suppose -3*q + 1584 = -6*v +