 multiple of 12?
False
Let q(k) = -15*k + 255. Suppose 637 = -16*w + 3*w. Is 22 a factor of q(w)?
True
Let t = -3814 - -24123. Does 9 divide t?
False
Suppose -131 = -6*d + 157. Suppose -4*s + 136 + d = 0. Is -2*(2 - s/4) a multiple of 5?
False
Suppose 0 = 15*x + 2*x - 119. Suppose 0 = -3*b + 5 + x. Suppose 0 = m + 5*f - 68, 2*m - b*f - f - 181 = 0. Is m a multiple of 13?
False
Let g(d) = -d - 2. Let p be g(-5). Suppose r - 406 = -5*y, 4*y = p*y. Does 63 divide r?
False
Let j(f) be the third derivative of -f**5/60 - 23*f**4/24 + 23*f**3/3 + 66*f**2. Is j(-22) a multiple of 34?
True
Let n(w) = 2*w + 1. Let a(v) = 39*v + 107. Let r(f) = -a(f) + 3*n(f). Is 35 a factor of r(-18)?
True
Let a = 25235 + -8785. Does 94 divide a?
True
Let r(u) = 8*u**3 + 28*u**2 - 90*u - 5. Let z be r(4). Suppose -20*n = -22*n + 10, k = -3*n + z. Is 29 a factor of k?
True
Let a(b) = -1 - 28 + 35*b + 103 - 28. Is a(9) a multiple of 12?
False
Let j be (-3 - -2) + 3 + (-345)/(-5). Let w = j - 66. Suppose 0*d = -4*d + 4*q + 392, -2*q = w*d - 476. Is 19 a factor of d?
False
Suppose -385 - 651 = 28*i. Let p = -7 + -9. Let m = p - i. Is 2 a factor of m?
False
Suppose -2*d + 2 = -4*j, j = 2*j + 4*d - 4. Suppose -9*f = -5*w - 7*f + 3405, 5*f + 25 = j. Is 33 a factor of w?
False
Suppose 5*j = x + 25858 + 65682, -j = -4*x - 18308. Is 23 a factor of j?
True
Suppose h + 4*t - 6 = 6, 4*t = -5*h + 60. Suppose -3*d + 941 = r, -3*d - h*r + 8*r + 956 = 0. Does 39 divide d?
True
Let t(s) = -47*s + 22. Let m(w) = 94*w - 43. Let f(h) = -3*m(h) - 5*t(h). Is 47 a factor of f(-3)?
False
Suppose 5*s - 78 = 17. Let h(g) = s*g - 15*g - 6 + 8*g. Is h(16) a multiple of 21?
False
Suppose -28104 = -4*j - 2*g, 8*g = -5*j + 6*g + 35132. Is j even?
True
Let a(l) = 4*l**2 - 76 + 76 - 17*l + 11 + 63. Is 62 a factor of a(6)?
False
Suppose 3*r - 2056 = -32*t + 31*t, 10 = -2*r. Is 19 a factor of t?
True
Suppose -9*s = 3*s - 36. Suppose 1511 = 2*f + v, f - 2*v - 761 = s*v. Is 62 a factor of f?
False
Suppose -13*i + 6*i = -105. Suppose 0 = -i*h + 24*h - 1764. Does 59 divide h?
False
Let i(h) = -27*h + 14. Let v(x) = 54*x - 28. Let f(l) = 5*i(l) + 3*v(l). Let o be f(-7). Let z = o - -311. Is z a multiple of 18?
True
Let s(g) = 2*g**2 - 168*g + 1837. Does 16 divide s(98)?
False
Suppose -5*g - 13*x + 7236 = -12*x, x - 4340 = -3*g. Suppose -5*j + 0*j + 7130 = 2*o, j - 4*o - g = 0. Is j a multiple of 68?
True
Let q be 44/198 + (75/(-27))/(-1). Suppose -z = -5*u + 2828, 3*u + q*z - 1707 = 7*z. Is 64 a factor of u?
False
Suppose -587 = 16*i - 441311 + 60900. Is 193 a factor of i?
True
Let d(x) = 11*x + 22. Let z be d(4). Let p = 186 - z. Does 43 divide p?
False
Let n(r) = -515*r + 465. Is n(-23) a multiple of 10?
True
Suppose 0 = 13*l - 18*l + 3505. Suppose -5*o + l = -g, 0*g + 8 = 2*g. Is 14 a factor of o?
False
Let g(m) = m**2 - 4*m + 8. Let a be g(7). Suppose 3*f - 5*y + 21 = 0, -9 - 10 = 2*f - 5*y. Does 5 divide a + (f - 1) + -1?
True
Suppose 494 = 5*h - 2*v, 312 = 3*h + 3*v + v. Suppose -2640 = -3*j - 3*z, -2*j + 5*z + 2112 = 352. Suppose h*l - 95*l - j = 0. Is l a multiple of 57?
False
Let d = -91 - -93. Suppose d*n - 810 = i, 0 = n - 4*i - 11 - 394. Suppose -5*r = -0*r - n. Does 25 divide r?
False
Is 19 a factor of (-12018)/(-11)*1936/132?
False
Let d = 2939 - -595. Suppose 0 = 3*s + 2*y - 2596, 5*y + d - 952 = 3*s. Does 9 divide s?
True
Suppose -214*j + 65*j + 688380 = 0. Does 140 divide j?
True
Suppose 0 = 5*y - y + 204. Let f = y + 73. Suppose r = -7*g + 2*g + 136, -g = -5*r - f. Is g a multiple of 8?
False
Let k(b) = 3*b - 7 - 10*b - 2*b. Let u be k(-1). Suppose u*l + 0*l - 252 = 0. Is 28 a factor of l?
False
Let t(p) = 28*p - 10. Let z be t(3). Let g(x) = z - 4*x**2 - 143 + 68 + x**3 + 18*x - 10*x**2. Is g(14) a multiple of 53?
False
Let s(j) = 219*j**2 + 55*j - 589. Does 10 divide s(9)?
False
Let x = -436 + 203. Let s = -129 - x. Does 28 divide s?
False
Does 4 divide (-62428)/(-8) + -10 - 21/14?
True
Let b = 115 + -112. Suppose b*h + 4*k - 17 = 0, 0 = -7*h + 3*h + k - 9. Is 2/3*-6 - (-282 + h) a multiple of 11?
False
Does 7 divide 24151 - ((-10)/(-14) - -1)/((-309)/(-1442))?
True
Does 231 divide 10 + 22166 - 0/5*(-1)/(-2)?
True
Suppose 0 = -5*l + 25, -2*z - 2*l + 8812 = -4*l. Does 19 divide z?
False
Let r(v) = -2*v**2 - 17*v - 5. Let h be r(-8). Let s be 9 - 8/((-6)/h). Suppose 504 = s*j - 6*j. Is j a multiple of 8?
True
Let d be 5 - (-3 - 576) - 4. Suppose -99*s + 98*s + d = 0. Is s a multiple of 59?
False
Let a(h) be the third derivative of 27*h**5/20 - 7*h**4/24 + h**3 - 532*h**2. Suppose -3*k + 1 = 2*v + 2*v, v = 2*k + 3. Does 40 divide a(v)?
True
Let m be (-5 - (-1 - 2)) + 130. Suppose -13*x = -5*x - m. Let n = -5 + x. Is n a multiple of 11?
True
Let b be 8/28 + 65/(-7). Let j be (4 - 0/(-3))/(10 + b). Suppose 2*k - j*g - 156 = -0*k, 5*k - 376 = -4*g. Is 31 a factor of k?
False
Let g = 12474 + -707. Is g even?
False
Let l(s) = -10*s**3 - 9*s**2 + s + 11. Let v(r) = -9*r**3 - 9*r**2 + r + 10. Let k(z) = -3*l(z) + 4*v(z). Suppose -22*p - 154 = -66. Does 27 divide k(p)?
True
Suppose 0 = -2*q + 3*p + 7510, -5*q + 17585 + 1171 = 2*p. Does 7 divide q?
True
Suppose 43*n - 11459 + 1096 = 0. Is 4 a factor of n?
False
Suppose 1845 = 96*d - 6855 - 1860. Is 2 a factor of d?
True
Let r = 29 - 23. Let s be r/9 + 760/(-15). Let b = s + 89. Is 13 a factor of b?
True
Suppose 1004*l - 232128 = 911*l. Is l a multiple of 64?
True
Let s = 243 + -267. Let n = s - -79. Is 3 a factor of n?
False
Suppose -10*k + 7*k - 4*w + 7565 = 0, 2527 = k + 4*w. Is k a multiple of 8?
False
Is ((-14)/(-2)*-1 + 47908/(-112))*-8 a multiple of 18?
False
Is 72 a factor of ((-92)/(-69))/((-20)/(-75765))?
False
Suppose -5*u + a = -44502, -u + 3*a + 7048 = -1858. Is u a multiple of 40?
False
Let j(v) = 8*v - 25. Let b be j(4). Suppose 5 = b*y - 2. Does 16 divide (2 - 4) + (99 - y)?
True
Let w(h) = 23*h**2 + 2*h + 13. Let d be w(-10). Let l = -1517 + d. Is 91 a factor of l?
False
Is 34 a factor of 13036 - (-32)/12*3?
False
Let p(a) = -a**2 - 37*a - 140. Is 4 a factor of p(-28)?
True
Let z = 25430 + -4052. Is z a multiple of 70?
False
Let u = 136585 + -82756. Is u a multiple of 95?
False
Let b be (2 - 6) + (-131 - (-1 - 0)). Let o = 254 + b. Is 30 a factor of o?
True
Does 72 divide 163392/185*(-105)/(-14)?
True
Suppose -2*a + 2595 = d, 7*d - 10*d = a - 7780. Is 8 a factor of d?
False
Let g be (-33)/27 + -1*(-6)/27. Is 12 a factor of (-30 - 3)/(g + 55/60)?
True
Let v(n) = -2*n**2 + 3*n + 15. Let q(a) = -3*a**2 + 6*a + 29. Let l(z) = -6*q(z) + 11*v(z). Let o be l(6). Let f = 252 + o. Is 16 a factor of f?
False
Suppose -3*u - 53 = 5*o, 37 = -5*u + 3*u - 3*o. Let j = 21 + u. Is 21 a factor of (-842)/(-10) - (144/(-30) - j)?
True
Let t(k) = k**2 + 7*k + 9. Let s be t(-6). Suppose -4*p = -s*x, 0 = 5*p - 2*x - x. Does 11 divide -4 + (p - -3) + 2 + 54?
True
Suppose 30*v - 23097 = 81*v - 294621. Does 11 divide v?
True
Suppose w + 46051 = 3*m + 17000, 0 = -m + 5*w + 9693. Is 93 a factor of m?
False
Suppose -7 - 49 = 4*i. Let c be (-22)/(-4) + 7/i. Suppose -4*d - 7*y + 68 = -3*y, c*y = 25. Is 4 a factor of d?
True
Suppose 4*v - 48 = 5*j + 3, -2*v + 4*j + 18 = 0. Let h = v + 26. Let y = h + -17. Is 6 a factor of y?
False
Let m = 80 + -65. Suppose -15*a - m = -20*a. Suppose -y + c + 16 = -9, -a*c + 87 = 3*y. Is 6 a factor of y?
False
Suppose 11*o = 92 + 73. Suppose 0 = -3*d - o, 3*d = a + 3 - 22. Suppose -6*n + 179 = -3*n + x, -4*x = a*n - 236. Does 6 divide n?
True
Let y = 19673 - 19155. Is 14 a factor of y?
True
Let j = -856 + 754. Let a = 415 - 592. Let o = j - a. Is o a multiple of 15?
True
Let m be 1/3*(-4 - -7) - -133. Suppose -131*g = -m*g + 504. Is 16 a factor of g?
False
Let z(p) = p**3 + 4*p**2 - 29*p + 1836. Is z(0) a multiple of 27?
True
Suppose 20*u - 23*u - 11*u + 28168 = 0. Is 4 a factor of u?
True
Let w = -16120 - -16765. Is 2 a factor of w?
False
Suppose 13*v - 46226 - 6424 = 0. Is 18 a factor of v?
True
Let r be (-27830)/(-80) - (-4)/32. Suppose 340*k - r*k + 1680 = 0. Is k a multiple of 3?
True
Suppose -10*f = -9*f - 3. Suppose -4*s = s + 2*g - 176, -f*g = 3*s - 102. Is 12 a factor of s?
True
Let w = -369 - -371. Is (-1 - w)*(-10)/((-9)/(-9)) a multiple of 4?
False
Let m(u) = 2*u - 42. Let h be m(28). Suppose -3*b + 2*g = -1240, -g - 8