e
Suppose -4*s = -2*t - 5 - 9, -5*s = -t - 13. Let k(l) = 25*l**2 + 15*l + 2. Is 11 a factor of k(t)?
False
Let j = -234 + 390. Let t = j + -151. Does 4 divide t?
False
Let w(i) = i**3 + 23*i**2 - 37*i - 47. Let n be w(-24). Suppose 0 = 3*u + 12, -3*u - 117 = -r + n. Is 33 a factor of r?
False
Suppose -45*m - 336332 = 30*m - 3404132. Is 109 a factor of m?
False
Let m be (6 - (2 + -2 + 2))*1. Let d(f) = 57*f - 1. Let w be d(m). Let s = w - 136. Is 8 a factor of s?
False
Suppose -1078*g + 490*g = -536*g - 1381692. Is 225 a factor of g?
False
Let j = -207 - -373. Let z = j + -135. Is z a multiple of 24?
False
Is -143*(555/(-45))/(2/6) a multiple of 143?
True
Suppose 4*j = 385*l - 386*l + 852, -5*l - 3*j + 4158 = 0. Does 12 divide l?
True
Let v(k) = 6*k**2 - 3*k. Let o(s) = -s**2 + 5. Let b be o(-3). Is 18 a factor of v(b)?
True
Let z(h) = -401*h + 331. Is 64 a factor of z(-7)?
False
Let c be 310/6 - 304/114. Let y(j) = -j**2 + 77*j - 106. Does 79 divide y(c)?
False
Let p(f) = -10*f**3 - 2*f**2 - 2*f - 1. Let c(t) = 2*t - 38. Let k be c(17). Let l be p(k). Suppose -l = w - 6*w. Does 20 divide w?
False
Does 13 divide 2/(-9 + (-19)/(-2)) + 34914?
True
Let l(f) = -122*f**2 - 1. Let n be l(1). Let d = -4082 - -4336. Let t = d + n. Does 22 divide t?
False
Suppose -32*l - 190 = -33*l + 5*g, 0 = 5*l - 3*g - 1082. Is 12 a factor of l?
False
Suppose 5*a = -3*t - 417, 10*a + 3*t + 249 = 7*a. Is a/105 - (-8952)/15 a multiple of 41?
False
Let l = -321 + 320. Does 26 divide (876/(-28) - l)/((-8)/28)?
False
Let h(z) = 17*z - 1. Let l(m) be the second derivative of m**5/20 - 7*m**4/12 + m**3 + 5*m**2/2 - 2*m. Let a be l(6). Does 10 divide h(a)?
False
Suppose 5*y - 2*j + 2037 - 5603 = 0, -4*y + 2854 = -2*j. Is y a multiple of 2?
True
Let s(d) = 9994*d**2 + 99*d + 1. Does 9 divide s(1)?
False
Suppose -7901 - 66655 = -18*h. Does 19 divide h?
True
Let a(l) = l - 6. Let r be a(11). Suppose -t = 3*n, 2*n + 4 = r*t + 21. Let v = 13 + n. Does 11 divide v?
False
Suppose -4*r + u - 344 = -35, 0 = -4*r + 2*u - 306. Does 10 divide -1 - 2684/(-9) - r/(-351)?
False
Let u be (2/(-4))/((-3)/42) - 1. Suppose -2 = 2*x, b + x - u*x = -41. Let k = 86 + b. Is k a multiple of 20?
True
Let s = -10 + 13. Suppose 48 = 5*p - 42. Suppose 0*y - 106 = -s*j + y, -4*y + p = j. Does 17 divide j?
True
Let z = -38 + -3. Let c = z - -148. Is c a multiple of 7?
False
Let y be 2/((-2)/(-100)*2). Suppose 43*l - y*l = -3850. Does 55 divide l?
True
Let k(w) = -642*w + 1. Suppose 0 = -5*i - 4*p + 7, -3*p - 15 = -8*p. Does 34 divide k(i)?
False
Let n(b) = 17*b - 10. Let r(c) = 34*c - 21. Let w(l) = 9*n(l) - 4*r(l). Let x be w(4). Suppose -3*f + 91 + x = -2*j, -5*f - 2*j + 255 = 0. Is f a multiple of 6?
False
Let s be (2372/4)/((-4)/(4 + 0)). Let b = -437 - s. Does 13 divide b?
True
Suppose 4*v - 5*c - 138 = 0, 4*v - 158 = c - 6*c. Suppose -v*j + 626 = -35*j. Is j a multiple of 5?
False
Let m(h) = -h**3 - 49*h**2 - 103*h + 233. Does 32 divide m(-49)?
True
Does 104 divide -11 - (-3434 - (14 + -5))?
True
Let v(u) = -6*u + 22 + 20*u - 13*u - 5*u. Let q be v(6). Is 19 a factor of q*(-3 - 102/4)?
True
Let p(g) be the first derivative of 2*g**3/3 + 5*g**2/2 + 45*g - 14. Is p(-5) a multiple of 10?
True
Is (11172/(-490))/(1/(-130)) a multiple of 38?
True
Suppose 3*f - 124 = 2*u, -f - 36 = -2*f - 2*u. Let y = f - 35. Suppose -2*x + 2*k + 262 = y*k, 0 = 2*x - 2*k - 242. Does 29 divide x?
False
Let p(x) = 694*x - 2. Let r be p(1). Suppose -r = -2*d + 5*w, -d - 2*w = 4*d - 1730. Is d a multiple of 39?
False
Let a(m) be the first derivative of 2*m**4 - 10*m**3/3 + 5*m**2/2 + 6*m - 261. Is 7 a factor of a(3)?
True
Suppose 0 = p - v - 15342, -17*p + 16*p + 15367 = 4*v. Is p a multiple of 162?
False
Let t = 4297 - -1035. Does 9 divide t?
False
Let z(r) = -4*r**2 + 2*r + 8. Let u = -1 + -2. Let w be z(u). Does 25 divide (-746)/(-6) - w/51?
True
Suppose 4*i + 5*m - 10584 = 0, -7*m = -2*i - 5*m + 5292. Is i a multiple of 63?
True
Suppose -345 = -18*n - 5*n. Let r(u) = u**2 - 13*u - 17. Is r(n) a multiple of 2?
False
Suppose 225*c - 1944 = -5*i + 228*c, -4*i = -5*c - 1563. Is i a multiple of 19?
False
Let g = 4545 + -4616. Let j = 31 - -54. Let c = j + g. Is 12 a factor of c?
False
Suppose -28*a = 21*a - 64*a + 501855. Does 14 divide a?
False
Suppose 25*j - 56*j + 8336 = -27*j. Does 13 divide j?
False
Let f(r) = 7146*r + 669. Does 96 divide f(5)?
False
Suppose 24*i + 66397 = 5*j, 0 = 2*j - i - i - 26498. Is 16 a factor of j?
False
Let c(g) = -4*g - 46. Let r be ((-4)/(-3))/(282/54 + -5). Suppose 2*w - r*w = 104. Is 17 a factor of c(w)?
False
Suppose -2*x = -43 - 105. Is x even?
True
Is 21243 + (1/1)/(4/(-32)*4) a multiple of 18?
False
Let h = -253 + 222. Is 5 a factor of (1 + 24)/(5/(4 - h))?
True
Let n = -51 + 17. Let f be n/(-6) + (-6)/9. Suppose 39 - 14 = -f*b, j = -5*b - 10. Is 13 a factor of j?
False
Suppose -132454 = -5*r + 3*y - 46486, 5*y + 17176 = r. Is r a multiple of 37?
False
Suppose 6*o - 3*o = 5*t + 16, o - 3*t = 12. Let a = 6 + o. Suppose 2*u - 2*r - 70 = 0, -4*r - a = 9. Does 10 divide u?
False
Is (-116158)/(-33) - 306/(-5049) a multiple of 8?
True
Let z(l) = 307*l + 3. Let u be z(1). Suppose 0 = -4*q + 2*o - u, q - o = -0*o - 77. Let m = 34 - q. Is 28 a factor of m?
True
Suppose -3*r + 23528 = -s, -r - 8*s + 5071 = -2730. Does 3 divide r?
False
Let v(w) = 16 - 3*w + 21 + 2*w + 13. Let b(i) = -18*i - 144. Let q be b(-9). Is v(q) a multiple of 8?
True
Is 20796 + 4*(110/(-40) + 5) a multiple of 19?
True
Is 8154/5 + (-18)/(-54)*(-6)/(-10) a multiple of 21?
False
Suppose -j - 5*o + 22 = 0, 0*o + 28 = j + 2*o. Suppose h - 55 - j = 0. Suppose 0*k = -3*k + h. Is 5 a factor of k?
False
Is 7 a factor of 1/2 + (-762155)/(-626)?
True
Suppose 0 = i - 5*b - 47011, 4*i + 4*b = 8*i - 187948. Is 94 a factor of i?
False
Suppose 9*s - 18 = -0. Suppose 3*p = -15, 4*p + 16 + 14 = s*g. Suppose g*u = -3*v + 329, 3*u - 4*u = 2*v - 70. Is 18 a factor of u?
False
Let c = -5317 - -5339. Is c a multiple of 11?
True
Suppose 4 = -3*o - 2. Let q = 64 - o. Suppose -2 = -r - 4, 2*d + 3*r = q. Does 18 divide d?
True
Suppose 0 = -50488*p + 50490*p. Let c = 93 + -20. Suppose 0 = 3*d + 3*s - 96, 3*d - 2*s - c - 3 = p. Is 28 a factor of d?
True
Suppose -4*v + 6 = 4*k + 18, 3*k + 5*v - 1 = 0. Let f(y) = -16*y + 27. Let l(h) = 11*h - 18. Let z(d) = k*l(d) - 5*f(d). Does 29 divide z(-15)?
False
Let a(n) = 84*n - 1446. Is a(23) a multiple of 3?
True
Let y = 10563 - 7551. Does 96 divide y?
False
Suppose 4228 = 24*w - 4988. Is 192 a factor of w?
True
Let t be 38/(-57)*18/(-4). Suppose -t*x - 4*y + 9*y = 4, -3*y = -3*x. Let j = x - -68. Does 8 divide j?
False
Suppose -152*j + 1205 = -157*j. Let v = j - -493. Is 7 a factor of v?
True
Let l(w) = -12*w**2 + 28*w - 43. Let s(y) = -5*y**2 + 14*y - 20. Let h(m) = 2*l(m) - 5*s(m). Is 29 a factor of h(15)?
True
Suppose 38*o - 521730 = -57*o + 2*o. Is 11 a factor of o?
True
Let z(i) = -2*i**2 + 31*i + 7. Let h be z(12). Suppose -h*x + 260 = -86*x. Is 13 a factor of x?
True
Let i = 1096 - 1058. Suppose -5*z + 3*x = -5398, -5*z = i*x - 35*x - 5392. Does 83 divide z?
True
Suppose 0 = 6*r - 7*r + 4*u + 1, -4 = r - 3*u. Let a = 106 - r. Is 13 a factor of a?
False
Let g be (-320)/(-12)*(-15)/(-125)*10. Suppose 4*f - 50 = 3*f. Let o = f - g. Is o a multiple of 3?
True
Let w(u) = -u**2 - 17*u - 13. Let o be w(8). Let c be 1 + 2 - 2*o/(-2). Let j = 324 + c. Does 15 divide j?
False
Let p(f) = 485*f - 126. Is p(7) a multiple of 53?
False
Suppose d + 2*p = 3 + 2, -3*d + 3*p - 3 = 0. Let c(r) = 351*r**2 - 337*r**2 - 6 - 4*r + d. Does 15 divide c(-2)?
False
Suppose -z = 2*o - 13807 - 821, -z - o = -14622. Is 42 a factor of z?
True
Suppose 47*d - 96 = 23*d. Does 17 divide 1/(((-16)/d)/(-276))?
False
Let r(u) = u**2 + 3*u - 20. Let w be r(10). Let v = w - -189. Does 22 divide v?
False
Let z(x) = 51*x**2 + 196*x - 2670. Is 3 a factor of z(14)?
False
Suppose 0 = 3*b + 4*p - 125, b - 5*p = -10 + 20. Is b a multiple of 35?
True
Suppose 2*b + 280 = -2*h, 2*h + 5*b = 7*h + 690. Let c = h - -210. Is c a multiple of 29?
False
Suppose 28*y + 16*y = 54*y - 64130. Does 110 divide y?
False
Let g(w) = 777*w - 1007. Is 10 a factor of g(24)?
False
Let j be 4 - (-2 + 6) - -4. Suppose -2*k + j*s = k + 10, 2*k + 5*s - 24 = 0. Suppose -3*a