= 0, -5*i - l*v = -4721. Is i a composite number?
True
Let r(t) = -705*t**2 - 39*t + 1. Let p be r(2). Let a = p + 5832. Is a a prime number?
False
Let o = 16 - 16. Suppose -5*b - 32 = n, o = -b - 3*n + 2*n - 8. Let k = 103 - b. Is k composite?
False
Suppose 3*r = -4*b + 87, 2*r = -b - 0*b + 53. Suppose -r*t = -30*t + 3010. Let f = 1243 - t. Is f composite?
False
Suppose -2*r - 9 = -3*c, -5*r - c + 9 = 2*c. Suppose 5*k - 2*k + 5*g + 3767 = r, -4*k - 3*g = 5019. Let v = k - -4549. Is v prime?
False
Suppose -8*x + 1 = -15. Suppose 3*a + 7 + x = -i, -3*i - 2*a - 6 = 0. Suppose i = -o - s - s + 49, -5*s = o - 43. Is o prime?
True
Let o(l) = l**2 - 21*l + 42. Let q be o(19). Suppose -3*z - 10816 = -4*k, -z - 2996 - 7828 = -q*k. Is k a prime number?
True
Let g = -90221 + 162000. Is g a composite number?
True
Suppose 541500 = 6*w + 2*g + 15168, -w + 87701 = -2*g. Is w prime?
True
Let o be (-54042)/(-9) + (-16)/6 + 3. Suppose 2197 + 3808 = 5*r + l, 0 = 5*r + 3*l - o. Is r a prime number?
True
Let p = -114 - -109. Let j(w) = 573*w**2 - 56*w + 8. Is j(p) a composite number?
True
Let f(i) = 2*i + 12. Let g be f(-5). Suppose g*w = -7 - 49. Is (-175)/w - 6 - (-15206)/8 prime?
True
Let i(z) = -z**3 + 15*z**2 + 15*z + 24. Let a be i(16). Let c(o) = 4*o**3 - 8*o**2 - o - 5. Is c(a) a prime number?
True
Suppose -41*m + 570638 = 41*m. Is m a prime number?
True
Let i = 47205 - -63272. Is i a prime number?
True
Suppose -9*h - 16 = -13*h. Suppose j + h*j - w = 118, -2*j = w - 50. Let z(y) = y**2 + 6*y - 33. Is z(j) a composite number?
True
Let h(o) = -3849*o + 357. Is h(-6) a composite number?
True
Let x(z) = 100*z - 15. Let f be x(-6). Let w = f - -918. Is w prime?
False
Let m(h) = 611*h**2 + 7*h - 29. Is m(6) a composite number?
True
Suppose -26622 = 5*x + d, 7*x + 5*d = 2*x - 26630. Let f = x + 10627. Is f a composite number?
False
Let t(h) = -3*h**3 - 2*h**2 - 7*h - 6. Let n be t(-6). Suppose -5*k + r = -0*r - 6129, 2*k = -2*r + 2442. Let c = k - n. Is c a composite number?
False
Is ((-5)/4)/((-1420)/683009776) a prime number?
True
Let s(h) = 2805*h**2 - 1192*h + 10. Is s(-7) a prime number?
True
Let i(c) = -c - 22 + 11 + 14 - c**2 - 3*c**2 + 2*c**3. Let n be i(3). Suppose 17*d - n*d = -1361. Is d a prime number?
True
Suppose -20 = 79*c - 84*c. Suppose -6 = 4*i + 5*f - 23, -i = 5*f - 8. Suppose -2*g = -i*k - 2843, 0 = -c*g - 5*k + 1183 + 4514. Is g a prime number?
True
Let n = 941125 + -471216. Is n composite?
True
Let q(i) = -37*i**3 - i**2 - 4*i + 2. Let z be q(3). Let a = 77 + -772. Let w = a - z. Is w composite?
True
Let f = 9 + -8. Is 4979 + 1 - f/(-1) a composite number?
True
Let f = 107 - 104. Suppose -3*c = -9, f*o - 5*c = 83 - 8. Suppose 4038 = o*r - 27*r. Is r prime?
False
Let t(m) be the third derivative of 959*m**6/60 + m**5/60 + 7*m**4/12 - 23*m**3/6 + 223*m**2. Is t(2) prime?
False
Suppose -2*g + 364911 = 3*t, -4*t + 0*g - g + 486548 = 0. Is t a prime number?
True
Suppose -49*w = -20*w - 975212. Suppose -16*v - w = -20*v. Is v a composite number?
True
Let y(v) = -3*v + 3. Let k be y(-6). Let h be 20/70 + -1 + 204/k. Let p(a) = 3*a**3 - 4*a**2 + 2*a + 20. Is p(h) a prime number?
True
Let i be (2 + -1262 - 2)*5/5. Let f = -631 - i. Is f a prime number?
True
Suppose -5*b + 42288 = -47152. Suppose 4*h = 2*n + b, n + 1848 = h - 2625. Is h a composite number?
True
Let a = -14247 + 94898. Is a a prime number?
True
Suppose -q = 5*f - 1082737, 49*f + 649633 = 52*f - 4*q. Is f prime?
False
Suppose 0 = -f + 4*p + 6931, 0 = 4*f - 3*p + 4*p - 27639. Is f a prime number?
True
Let i(j) = j**3 + 4*j**2 - 2*j - 10. Let l be i(-3). Suppose -2*n = -3*t + 15221, -17*t = -21*t - l*n + 20333. Is t prime?
True
Let u be (-558)/(-54) + 7/(-3). Suppose 4*z = -5*h + 7047, -u = -z + 5*z. Is h composite?
True
Let l(h) = -h**3 + 25*h**2 + 26*h + 3. Let g be l(26). Let t be 2/g + 201954/9. Is 3/(45/3) + t/50 a composite number?
False
Let p = 20752 - -18289. Is p a composite number?
False
Let x = -20403 - -73142. Is x a composite number?
True
Let y(a) = 147*a**3 + 41*a**2 - 18*a - 97. Is y(15) a composite number?
False
Let w = -1446 - -2150. Suppose -3*c + c - 10 = 0, 3*p + 2*c + 4 = 0. Suppose 404 = p*s - w. Is s composite?
True
Suppose i = 16 + 23. Let t = i + -34. Is (t - (0 + 2)) + (-3504)/(-4) composite?
True
Suppose -73 + 7 = 11*j. Is j + (-1 - -2) + 0 + 24628 prime?
True
Let i(f) be the first derivative of -52*f**2 - 32*f - 17. Let c be i(-8). Let r = 1141 - c. Is r a composite number?
True
Suppose k - 1403 = -0*k. Suppose -3*u = -7*u + 3*p + k, u - 367 = 4*p. Is u prime?
True
Let p(s) = 8870*s - 3337. Is p(9) a composite number?
False
Suppose 71*l + 799885 = 38*l + 38*l. Is l composite?
False
Let x(y) = -3*y + 28. Let v be x(8). Is (-22)/v*((-15 - 2) + 3) a composite number?
True
Let c(k) = k**3 - 11*k**2 - 13*k + 4. Let b be c(12). Let n(p) be the first derivative of -p**4/2 + 14*p**3/3 + 3*p**2 + 17*p - 150. Is n(b) a composite number?
False
Let z(s) = 5*s + 12. Let h be z(-3). Let f(k) = -8*k**3 + 3*k**2 + 2*k - 4. Is f(h) prime?
True
Suppose -75 = -4*x + 3*g - 0*g, g = 5*x - 91. Suppose 0*c - c = -x. Suppose -1405 = c*i - 19*i. Is i composite?
True
Suppose -2*a - 5*x = -79033, 197460 = 5*a - 7*x + 2*x. Is a prime?
True
Let z be -4 + 354 + 0 + 4. Suppose -3*h - 65 + z = 5*r, 3*h - r - 277 = 0. Is h prime?
False
Let k(o) = 137*o**2 + 19*o - 45. Is k(11) a composite number?
False
Let m = 33 + -117. Let c = m - -295. Is c a composite number?
False
Let z be (21/(-14))/((-9)/6). Is z - (-702 + -2 + 4) composite?
False
Is 198007/10 - (876/(-120) - -7) a composite number?
False
Let u(w) = w**3 + 19*w**2 - 30*w + 26. Let z be u(-21). Is z/(2 + -5 + 1) a composite number?
False
Suppose -30348 = -21*i + 15*i. Let b be (i/(-4) + 1)*4. Let w = -3367 - b. Is w a prime number?
False
Let y(d) = -2626*d - 19. Let r be y(-4). Suppose 16*h - 31931 = r. Is h prime?
False
Suppose -4*n = l - 522649, -11*l + 7*l - 3*n + 2090635 = 0. Is l a prime number?
True
Let w = -6 - -9. Suppose -t - 2*t + 3*h = 1461, -w*t = 4*h + 1475. Let r = -348 - t. Is r composite?
True
Suppose 2*k + 10184 = -2*k. Suppose 0 = 4*p - n - 19943, 5*p - 10*n - 24945 = -12*n. Let i = k + p. Is i a prime number?
True
Is 226906/4*((-242)/(-22) - 9) a composite number?
False
Let i(r) = r**2 + 15*r + 30. Let n be i(-13). Let d be n - (-1 + -1 + 2). Suppose 0 = -d*c + c + 1137. Is c a prime number?
True
Let z(i) = 5*i**3 - 1. Let a be z(1). Suppose 2*m - 4*p = -0*m + 2608, 2*m = -a*p + 2648. Suppose 4*r - m = 914. Is r a composite number?
False
Let z = 3934 - 3927. Let h(n) be the second derivative of 9*n**5/20 - 2*n**4/3 + 5*n**3/6 + 5*n**2/2 - 2*n. Is h(z) composite?
True
Let f(m) = 7*m + 3*m + 3*m**2 + 10 - 4*m**2 - 27. Let x be f(7). Suppose x*b - 4*a + a - 5450 = 0, -4*b - 3*a = -5438. Is b a prime number?
True
Let i = -43 - -63. Let f = i - 50. Is (310/f)/(1/(-3)) composite?
False
Let j be (1 - 3)*(-810)/36. Suppose 5*o = -4*d, 4*d - j = 3*o - 13. Suppose 6*p - d*p - 309 = 0. Is p a prime number?
False
Let c(v) = -4890*v**2 + 18*v + 5. Let x be c(-3). Let j = x + 107844. Is j prime?
False
Let d = 362300 - -71893. Is d composite?
True
Let a be (-196)/(-3)*(-6)/2. Is 7/(a/(-8)) + (-8924)/(-28) a prime number?
False
Suppose 49*c = -10*c - 333586. Let o = 8928 + c. Is o a composite number?
True
Let o be (-12)/(((-4)/83)/(2/1)). Suppose -2*i + 4*v + 2216 = -o, v + 3 = 0. Is i a prime number?
False
Is (-2119776591)/(-4175) + (-6)/(-75) composite?
True
Let f(l) = -2*l**2 - 8*l - 37. Let s(i) = 4*i**2 + 15*i + 74. Let u(v) = -7*f(v) - 3*s(v). Let k be ((-4)/1 - 4)/1. Is u(k) a composite number?
True
Let g(z) = -z**2 + 7*z + 38. Let u be g(-3). Suppose 0 = -4*a - 4, -5*l = -4*a + 58 - 197. Let d = u + l. Is d composite?
True
Let r(i) = -12*i - 4 - 34 + 117*i. Is r(9) a prime number?
True
Let b(r) = 70*r**2 - 15*r + 136. Is b(21) composite?
True
Let w(f) = 83 + 85 + 169 - 165*f. Is w(-10) a prime number?
True
Suppose 5*z - 259228 = 36*g - 40*g, -5*z + 129614 = 2*g. Is g composite?
True
Suppose 0 = 3*z + 2*y + 2*y - 24, 2*z = -3*y + 16. Suppose -2*i - 2*i + z = 0. Is (991 - -1) + i + -3 composite?
False
Is (4 - (0 - -2823))/(52/(-156)) composite?
True
Suppose -4*i + 0*u - 2*u + 12 = 0, 2*u - 8 = -2*i. Suppose 6*h - i*v - 18