4 = 3*a, c*a - a = -3*m + 132. Is m a multiple of 9?
True
Let c = 6656 - 3979. Is 58 a factor of c?
False
Let r = -317 - -309. Does 13 divide (2/r)/((-29)/61828)?
True
Suppose 2*z + 76 = 5*y + 337, -z + 2*y = -131. Suppose -91 = -v - 14. Let u = z - v. Is u a multiple of 18?
False
Let d = 1017 - -426. Does 37 divide d?
True
Suppose -18 = -4*j - 10. Suppose d - 114 = 5*m, 0 = -2*m - j*m. Is 19 a factor of d?
True
Suppose 100*n + 304*n = 2497124. Is 21 a factor of n?
False
Let f = 7332 - 3132. Is f a multiple of 21?
True
Suppose h - 5*t + 348 = -100, 0 = 4*h + 3*t + 1723. Is 24 a factor of (-17 - h) + -9 + 1?
True
Let a = -7862 - -13985. Suppose -a = 15*b - 28*b. Is 48 a factor of b?
False
Does 6 divide (-133510)/(-91) + (-18)/(-21)?
False
Let x be 16/2 + (-2 - 4). Suppose x*m - 127 - 57 = 0. Is m a multiple of 2?
True
Suppose -24 = -2*h - 2*h. Let d(y) = 2*y - 7. Let z be d(h). Suppose 2*p - p = 3*i - 185, 320 = z*i - 4*p. Is i a multiple of 30?
True
Let h be 243 - (-1)/(3/15)*1. Suppose 2*d = -66 + h. Is d a multiple of 7?
True
Suppose 0*a = -4*a + 9527 - 1979. Does 17 divide a?
True
Suppose 3*n + 15 = -g - 0*n, 0 = 2*g + 3*n + 18. Let b be (-1 - g)/(-2) + 48. Is 18 a factor of 35/(-20)*(-1 - b)?
False
Suppose z - 10*g + 11 = -7*g, -2*z + 3*g - 16 = 0. Does 22 divide 3 + z + 9 + 191?
True
Let v(p) = 1136*p + 5893. Is 114 a factor of v(7)?
False
Let x(w) = -42*w + 15. Let u(j) = j**2 + 9*j + 4. Let n be u(-3). Is x(n) a multiple of 67?
True
Let i(s) = 2*s**2 + 11*s - 3. Let r be i(-7). Let a be r/(12/4 - 1). Suppose 0 = -a*o + 6*o + 270. Is o a multiple of 30?
True
Suppose 3*m - 2*m + 31527 = 5*g, -2*g + 4*m = -12636. Is 16 a factor of g?
True
Suppose -997 = -2*t - 185. Let u = -286 + t. Does 12 divide u?
True
Let r(v) be the first derivative of 7*v**2/2 - 55*v - 6. Let o be r(18). Suppose -6*l + 395 = o. Does 27 divide l?
True
Is ((-359)/(-3))/((-25)/(-225)) + -4 a multiple of 29?
True
Let c = 842 - 844. Is (c + 28)/(96/3216) a multiple of 74?
False
Suppose a + 3645 = 5*s, -3*a = 2*s - 8*a - 1481. Suppose 24*v - s = 20*v. Is 12 a factor of v?
False
Let q(x) be the second derivative of -x**5/20 - 5*x**4/12 + 17*x**2/2 - 12*x. Let m be q(-7). Suppose -2*g + 129 + m = 0. Does 11 divide g?
False
Suppose 3*m = 3*g - 0*m - 2205, 0 = -4*g + 5*m + 2939. Is g a multiple of 92?
True
Let k(l) be the third derivative of l**5/30 + 5*l**4/12 + 2*l**3/3 + 18*l**2. Let m be k(-8). Let z = 2 + m. Is 18 a factor of z?
True
Let b = 534 + -300. Let j = 570 - b. Does 24 divide j?
True
Suppose 6*x + 13 - 31 = 0. Suppose 4*u = u + x*a + 1065, -3*u - 2*a + 1075 = 0. Does 5 divide u?
False
Let n(h) = h**3 - 22*h**2 + 222*h - 231. Is n(34) a multiple of 59?
False
Let q(z) = 604*z - 22. Let d be q(-2). Let m = d + 2230. Is m a multiple of 20?
True
Let r(l) = 53*l**2 + 77*l - 422. Is r(19) a multiple of 14?
True
Suppose 5*o - 32751 = 22*d - 21*d, o - 5*d - 6579 = 0. Is o a multiple of 18?
False
Let j = -1656 - -5214. Does 15 divide j?
False
Let u = 2431 + 1849. Is 20 a factor of u?
True
Does 5 divide 12 - -1 - 9 - -2261?
True
Let u(l) be the second derivative of l**4/12 + 2*l**3/3 + 10*l**2 - l. Let k(y) = -8*y - 257. Let p be k(-31). Does 18 divide u(p)?
False
Let i be (12/(-4))/(5 - 4). Let n be (9 - 9)/((4 - 2) + i). Suppose n*w - 5*w = -t + 23, 3*w + 143 = 4*t. Is 19 a factor of t?
True
Let w(s) = s**2 + 30*s. Let t be w(-30). Suppose 33*a - 34*a + 109 = t. Is a a multiple of 4?
False
Let u(b) = -4*b**3 - b**2 - 2*b + 4. Let t be u(-3). Let s = -786 + 1014. Let f = s - t. Is 14 a factor of f?
False
Let f = 511 - 156. Let x = -211 + f. Is 48 a factor of x?
True
Let w = -25969 - -31705. Is 4 a factor of w?
True
Let k = -125 - 45. Let t = 26 - k. Is t a multiple of 28?
True
Let l be (6 + -1)*(-1)/(-15)*12. Suppose -l*g = k - 22, g + k - 8 = -1. Is 14 + (-32)/(-20) + (-3)/g a multiple of 2?
False
Let h = -3851 + 5855. Does 25 divide h?
False
Let x = 55 + -51. Suppose -x*t = n - 25, 16*n - 61 = 11*n - 4*t. Is n a multiple of 3?
True
Let f(n) = -n - 11. Let w be f(3). Let z be -1 + (-1)/(2/w). Is 6 a factor of (-13)/((-325)/760) - z/(-10)?
False
Let l be (4/5)/(5 - 138/30). Suppose l*u = 5*j + 242, 3*j = 6*u - 5*u - 120. Is u a multiple of 7?
True
Let x(w) = -w**2 - 19*w - 100. Let y(k) = -2*k**2 - 38*k - 200. Let q(r) = 5*x(r) - 3*y(r). Does 13 divide q(-29)?
True
Suppose 769 = 5*u + 269. Suppose -3*j - 185*n + 190*n + 16 = 0, 0 = 5*j + 5*n - 80. Suppose 4*v + u - 7 = 5*d, -3*v - j = -d. Is d a multiple of 7?
True
Suppose -4*d - 2*c + 4 = -8, -3*c = 0. Suppose -3*i + 660 = z + d*z, 0 = -2*z + 6. Does 16 divide i?
False
Let o = -748 + 747. Is 115 - (-1 - (o + 5)) a multiple of 20?
True
Let f = 30 - 27. Let g be 19 - -2*f/3. Does 8 divide ((-20)/14)/((-3)/g)?
False
Suppose -3*f = 3*k - 1087 - 176, 0 = -2*k + 4*f + 860. Is k even?
True
Is 5059 + 272/17 - -3 a multiple of 5?
False
Let c(o) = -o**3 + 29*o**2 + 60*o - 96. Is 97 a factor of c(26)?
True
Let t(l) = -4*l - 87. Let f be t(-25). Suppose f*j = -3*j + 5888. Does 30 divide j?
False
Let y(t) = t - 2. Let d be y(12). Suppose 6*u - 1056 = d*u. Let b = -97 - u. Is 44 a factor of b?
False
Let i be (2 + -4)*(0 + 6 + -8). Suppose 4*h - i*q = 8, 4*h - 2*q = -3*q + 18. Suppose -k = j + 4*j - 34, -4*j + 32 = -h*k. Is j a multiple of 7?
True
Suppose -2*y - 2*h + 8 = 0, h - 5*h + 4 = -2*y. Let r be y/12*-4*-90. Suppose 9*w + r = 12*w. Does 6 divide w?
False
Suppose 2791 = -14*f + 635. Is (-3)/(94/476 - (-44)/f) a multiple of 8?
False
Let u(w) = 2*w**3 - 3*w**2 + 4*w - 2. Let l(c) = -c**2 + 8*c - 9. Let q be l(6). Let y be u(q). Let r = y + 5. Is 7 a factor of r?
True
Let j = 6962 - 1547. Is j a multiple of 15?
True
Suppose -6*z + 104 = -32*z. Let h(o) = -17*o + 28. Is h(z) a multiple of 12?
True
Let n = -17 + 24. Let k = -4346 + 4358. Suppose -k*t = -n*t - 570. Is 22 a factor of t?
False
Let s = -3504 - -10174. Is s a multiple of 46?
True
Suppose 330*u - 101*u - 349912 = 0. Does 3 divide u?
False
Let n = 567 + -553. Does 3 divide (-9)/63*-3 - (-1674)/n?
True
Let u be ((-18)/(-15))/((8/30)/(-4)). Let t = u + 25. Suppose -t*j = y - 5*j - 31, 0 = -y - 5*j + 43. Is 4 a factor of y?
False
Let t be 1 - -2 - (-100)/(-20). Does 11 divide t*(36/8)/9 - -26?
False
Suppose 5*g - 80594 - 14506 = 0. Is 244 a factor of g?
False
Let w(o) = -o - 11. Let y(p) = -p - 22. Let i(l) = -5*w(l) + 3*y(l). Let q be i(7). Suppose q*g = 111 + 33. Does 12 divide g?
True
Let q(n) = -451*n + 1068. Is q(-43) a multiple of 30?
False
Suppose -160 = -g + 2*r + 2402, 3*r + 15 = 0. Is 12 a factor of g?
False
Let v(s) = 15*s + 1. Suppose 4 = -4*g - 32. Let l be v(g). Let z = l + 248. Does 18 divide z?
False
Let j be (-1)/(1/(-1566)*-6). Let d = j + 983. Suppose -15*n - 92 + d = 0. Does 26 divide n?
False
Let u(c) = -158*c - 14. Is u(-30) a multiple of 139?
True
Let l be (-416)/(-56) - 3/7. Suppose 5*s - 2*s - 12 = 2*p, p + l = 2*s. Suppose 0*u - 41 = -u + 5*m, 162 = 3*u - s*m. Is u a multiple of 28?
True
Let x = -45 + 95. Suppose -x*i = -43*i - 42. Suppose -4*v + 197 = 3*q, i*q = q + 15. Is v a multiple of 9?
False
Let l(k) = -k**3 + 9*k**2 - 3*k + 12. Suppose -3*j = -9*j - 84. Let a be -3*(-7)/6 + (-7)/j. Does 20 divide l(a)?
True
Let t(g) = -g**2 + 4*g - 23. Let z be t(4). Is z/2*(-6 - 20) a multiple of 13?
True
Suppose 67*d = 70*d - 15, 3*d = -3*i + 15. Suppose i = -21*w + 4*w + 3400. Is w a multiple of 40?
True
Suppose 0 = -17*q + 21*q + 8. Let s be 109/6 - q/(-12). Suppose -s = 5*h - 218. Is h a multiple of 4?
True
Let a(p) = p**3 + 8*p**2 + 6*p + 16. Let d(f) = f**3 + 8*f**2 + 5*f + 17. Let s(c) = -3*a(c) + 4*d(c). Let g be s(-10). Does 3 divide 6/(-4)*(g/(-6))/(-5)?
False
Suppose 6230 = 5*v + 39*t - 37*t, 4*v - 3*t - 4961 = 0. Is v a multiple of 28?
False
Suppose 8*c - 110830 + 34366 = 0. Suppose -1458 = -36*s + c. Does 33 divide s?
False
Is (-1 + 1562)/((-808)/30 - -27) a multiple of 4?
False
Suppose 0 = 3*p + 5*v - 16329 - 2531, -2*p + v = -12595. Does 28 divide p?
False
Suppose 2*u - 1618 - 1908 = 0. Is u a multiple of 43?
True
Let s = -74 - -41. Let n = 57 + s. Suppose 22*r - n = 19*r. Does 6 divide r?
False
Let r(z) be the third derivative of 4*z**5/15 - 3*z**4/8 - 5*z**3/2 - 108*z**2. Does 52 divide r(-3)?
True
Let a(i) = 2*i**2 + 27*i + 9. Let b be a