))?
True
Let f(d) = -58*d + 132. Let u = -153 + 137. Does 53 divide f(u)?
True
Is (-521125)/(-22) - (5 + 11/(-2)) a multiple of 14?
True
Suppose 20 = 71*h - 66*h. Suppose -3*f = -2*v - 1405, -h*f - 2*v = -36 - 1842. Suppose -47*i - f = -54*i. Is 10 a factor of i?
False
Suppose 3*p + 0 = 12. Suppose 17*z + p = 15*z. Does 20 divide (z/(-4))/(5 + 1278/(-256))?
False
Let q = -133 - -137. Suppose -6 - 10 = q*x. Let f(o) = -25*o - 32. Is 34 a factor of f(x)?
True
Is 40 a factor of 36/27 + -46*688/(-24)?
True
Suppose -13*o - 152320 = 20*o - 47*o. Is 16 a factor of o?
True
Let n(k) = 13*k - 73. Let c be n(6). Suppose -2*b + c*i - 602 = -3*b, -b = 2*i - 587. Does 34 divide b?
False
Let z(j) = 69*j**2 - 99*j - 618. Does 5 divide z(-6)?
True
Let a be (-8)/(-48)*-6*2*-7. Suppose -2*h + 136 = 4*b, 11*b + 2*h = a*b - 102. Does 34 divide b?
True
Is (158418282/(-44))/(-83) + ((-14)/4 - -2) a multiple of 148?
False
Let g = -532 - -554. Let m = -10 + 8. Let b = g + m. Is 5 a factor of b?
True
Suppose 2*o - 8 = -6*o. Let z be (-2*19)/(o/(-6)). Suppose h = -3*h + z. Is h a multiple of 8?
False
Let v be (-240)/36*1416/(-10). Suppose v = 2*b + 14*b. Is b a multiple of 5?
False
Suppose -2*f + 0*f - 8 = 3*v, -12 = 3*f. Suppose -36*m + 39*m - 108 = v. Is 22 a factor of 14/(2/((-80)/m) + 1)?
False
Let t = -28 - -28. Suppose t = -3*m + 2*m + 15. Suppose -m = -l - 4*v + 20, -2*l = 5*v - 61. Is l a multiple of 3?
False
Suppose 0 = 34*a - 31*a - 24. Suppose 3*j + 5*l - 365 = 0, j - 2*l = 126 - a. Does 40 divide j?
True
Let l = -21974 - -31874. Suppose 14*t - l = -t. Is t a multiple of 44?
True
Suppose -12 = 3*r, -551*p + 126264 = -549*p + 4*r. Is p a multiple of 82?
True
Let f(v) = 4*v**2 - 15*v + 29. Let a(x) = x**2 - 4*x + 7. Let y(i) = -9*a(i) + 2*f(i). Let u be y(5). Suppose u = k + 10 - 30. Is 6 a factor of k?
False
Suppose 7*l = -0*l - 728. Is 24 a factor of l/6*(-8)/((-16)/(-54))?
False
Let j(i) = 345*i**3 + 9*i**2 - 138*i - 8. Is j(4) a multiple of 16?
True
Let a(d) = 3*d**3 + 8*d**2 - 5*d + 2. Let c(x) = x**2 - 21*x + 3. Let y be c(21). Is a(y) a multiple of 10?
True
Suppose 34 = 4*d - 3*b - 26, 2 = d - 4*b. Let t(h) = -h**3 - 5*h - 24*h**2 - d*h**2 + 3 + 49*h**2. Is 7 a factor of t(5)?
True
Let t = 827 - -2017. Is 34 a factor of t?
False
Let v = -1444 + -672. Is 23 a factor of v/((-3)/(-3) + -9 + 6)?
True
Let i(n) = 209*n - 835. Is 12 a factor of i(11)?
True
Suppose -2*f - 20954 = -b + 12346, 66656 = 2*b + 3*f. Is b a multiple of 8?
False
Suppose o = 5*a + 51639, 163*o + 3*a = 165*o - 103229. Is 69 a factor of o?
False
Let k = 28 + -24. Let a(l) = l**3 - 4*l**2 - 3. Let t be a(k). Let x(m) = -m**3 - 2*m**2 - 2*m. Is 15 a factor of x(t)?
True
Is 168999/21 - ((-10)/(-3))/(4725/810) a multiple of 18?
False
Suppose -19*m = -16*m + 23*m - 62062. Is m a multiple of 83?
False
Let t = -81196 + 120412. Does 228 divide t?
True
Let q = 10560 + -7280. Does 16 divide q?
True
Suppose -8*h + 176 = 40. Let v be 36/48 - h/(-4). Suppose t + 213 = 4*o - 647, v*o = 4*t + 1064. Is o a multiple of 15?
False
Let u(x) = x - 4. Let s be u(9). Suppose 2*a - 264 = -5*z - 2*a, -s*a = 3*z - 161. Is z a multiple of 26?
True
Let i(u) be the first derivative of u**6/120 - u**5/20 - u**3/2 - 15*u**2/2 - 15. Let c(x) be the second derivative of i(x). Does 10 divide c(5)?
False
Let y = -6 + 98. Suppose y = 2*a - 746. Is a a multiple of 19?
False
Let f(j) = -j - 1. Let d = -23 - -19. Let n be f(d). Suppose -n*r - 61 = -y, 4*r + 269 = 5*y + r. Is 7 a factor of y?
False
Let a(d) = 2*d + 13. Let l(m) = 3*m + 27. Let t(q) = 9*a(q) - 5*l(q). Let f be (160 - 176)*1/((-1)/1). Does 9 divide t(f)?
False
Suppose -4*g = 2*v - 1954, 0 = -2*v - g + 1866 + 79. Let a = 1751 - v. Is a a multiple of 65?
True
Suppose -6*u + 3*u - 12 = 0, 132 = 5*k + 2*u. Let z = 25 - k. Let f(n) = 8*n**2 - 4*n + 1. Does 10 divide f(z)?
False
Let n(c) = c**3 - 5*c**2 + 23*c - 6. Let d be n(9). Is ((-4)/(-8)*8)/(10/d) a multiple of 30?
True
Does 9 divide ((1 + -4)*(-1)/(-9))/(1/(-17499))?
False
Let t = 16 + 61. Suppose -p = -t - 115. Is p a multiple of 32?
True
Suppose -2*a - 17 - 15 = -3*u, -3*u = -a - 34. Suppose -4*i - u = -3*k, -4*k + 3*i = -0*k - 16. Suppose 2 = 2*p + 5*l - 1, -k*l = 5*p - 16. Does 2 divide p?
True
Let b = 12658 + 4138. Is b a multiple of 38?
True
Let z = -379 + 1319. Let v(m) = 20*m**2 - 6*m + 6. Let p be v(7). Suppose 3*u + 4*k - p = -u, -4*u = 5*k - z. Is 12 a factor of u?
True
Let j = -10363 - -17313. Does 5 divide j?
True
Let a(u) = -3*u**3 - 37*u**2 - 215*u - 77. Is 13 a factor of a(-25)?
False
Let z = 6269 - 3744. Is z a multiple of 91?
False
Suppose z - 414 = x, 4*z - 5*x = 3*z + 426. Suppose -z*k = -405*k - 342. Is k a multiple of 5?
False
Let m(l) = 15*l**2 - 84*l - 18. Is 59 a factor of m(-34)?
True
Let o = 12351 - 2874. Is 13 a factor of o?
True
Let x(o) = -3144*o - 22. Is 130 a factor of x(-2)?
False
Let b(i) = i**3 - 9*i**2 + 4*i - 17. Let g be b(8). Let o = g - -83. Suppose 4*c = o + 34. Is c a multiple of 9?
False
Let h(q) = 46*q - 5. Let s(z) = -z + 1. Let f(c) = -22*c + 2. Let i(j) = f(j) + s(j). Let o(t) = -6*h(t) - 13*i(t). Is o(3) a multiple of 20?
True
Suppose 781*r - 2152206 = 723*r. Does 133 divide r?
True
Suppose -74*v + 143*v + 6045 = 72*v. Is v a multiple of 3?
False
Suppose 3*q + 3*p + 60 = -66, 2*p - 126 = 3*q. Is (461220/63)/10 - (-4)/q a multiple of 80?
False
Let b = -71 - -83. Suppose -4*n - b = 0, -w = -4*w - 5*n - 33. Is 11 a factor of (-2152)/(-24) - 2/w?
False
Suppose 775005 = -51*z - 104*z + 2093745. Does 4 divide z?
True
Let b = 541 + -541. Suppose 2*t = -19*j + 24*j + 256, b = -2*t - 5*j + 236. Does 88 divide t?
False
Suppose 28576 = 4*k - 5*c - 21467, 3*k - 2*c - 37534 = 0. Is 68 a factor of k?
True
Let g be 1 + -1 - -5*3. Let a be (34 + -33)/(4/20). Suppose -a*x + g = -4*k, -2*x = k + 5 - 24. Is 7 a factor of x?
True
Is 225075/(-6)*708/(-590) a multiple of 22?
False
Suppose 5*a - 4*m + 1752 = 0, -11*m = -5*a - 9*m - 1756. Let x = a + 640. Is 9 a factor of x?
True
Is 13 a factor of -1 - ((-2)/(-4))/(19/(-246544))?
True
Suppose 26*c - 21*c = 15. Suppose 0 = c*m - 12, m = 5*p - 4*m. Suppose b - 18 = -3*o, -p*b - 29 = -2*o + b. Is o a multiple of 7?
True
Suppose 18 = x + 15. Suppose 5*n - x*n + 3*o = 106, 212 = 4*n + 2*o. Is n even?
False
Suppose 10*u - 14*u = -420. Suppose -7*w + u = 42. Is 12 a factor of ((-3 - w/(-7)) + 0)*-7?
True
Is 2/7 + (320201/49 - -7) a multiple of 47?
False
Suppose -4*h - 2*h - 90 = 0. Let y(z) = -15*z + 40. Let x be y(h). Suppose 4*c - 471 - x = 0. Is c a multiple of 21?
False
Suppose -2*h + 221 = -3*l - 126, 0 = -5*h + 5*l + 875. Let s = 355 - h. Does 7 divide s?
False
Let j(v) = 2*v**3 - 63*v**2 + 20*v + 96. Let q be j(31). Suppose 5*g + 6 = 3*s + 2, -g + 1 = 0. Let y = s - q. Is 42 a factor of y?
False
Let v(u) = 39*u - 1926. Does 9 divide v(72)?
True
Let k(b) = 5*b**3 - 5*b**2 + 5*b - 1. Let l be k(2). Suppose 2*y = 5*c - 2*y + l, -y = -3*c - 16. Is (13/(-3))/(c/60) a multiple of 22?
False
Let k = -27404 + 46720. Does 7 divide k?
False
Is -1*(-2 - 35/(-5) - 2631) a multiple of 101?
True
Let o(j) = -5*j - 12. Suppose 0 = -2*f - 3*r + 1, -4*f - 5*r = -0*r - 3. Suppose -f*n + y = 4 + 8, 2*n = -5*y - 36. Does 7 divide o(n)?
True
Is -33602*((-75)/(-525))/((-4)/14) a multiple of 181?
False
Suppose -46*j + 922168 - 23566 = -947424. Is 21 a factor of j?
True
Suppose 11 = 4*g + 3*t, t + 2 = 2*g - t. Suppose 0 = g*d + 148 - 940. Let q = d - 279. Is q a multiple of 25?
False
Let i = 34872 + 7948. Is i a multiple of 31?
False
Let k(r) = r + 11. Let u be k(-9). Suppose u*l - 3*t + 0*t + 5 = 0, -25 = -5*t. Suppose w + 336 = l*w. Is 21 a factor of w?
True
Let w(q) = 3*q - 21 + 20*q**2 - 11 - 13. Let y(h) = -5*h**2 - h + 11. Let f(n) = -2*w(n) - 9*y(n). Does 19 divide f(5)?
False
Let y be 1 + (-17)/((-68)/(-2184)). Let f = y - -752. Is f a multiple of 69?
True
Suppose -1 = -6*g + 23. Suppose f = 5*n - 1746, g*n - 19*f = -15*f + 1384. Does 7 divide n?
True
Let w(o) = o**2 - o + 77. Let x(z) = -z**2 + 13*z - 22. Let l be x(11). Is w(l) a multiple of 17?
False
Let t(r) = 7*r**2 + 100*r - 1510. Does 9 divide t(18)?
False
Is 12 a factor of ((-23)/92)/(3/(-3804))?
False
Suppose 2*t = s + 60317, 0 = 80*t - 77*t + 2*s - 90493. Is 10 a factor of t?
False
Let k(j) =