-140 - q. Is h a multiple of 15?
False
Suppose -3*j + 8*j + 1080 = -4*m, -12 = 3*j. Does 34 divide -1*6/30*m?
False
Suppose 3*a + 62 = -43. Let q = a + 228. Suppose -23 = -3*f + q. Is f a multiple of 11?
False
Suppose 6951*w + 264320 = 6983*w. Is 20 a factor of w?
True
Let a(p) = -p - 6. Let v be a(-3). Is (-51)/(-18) + v + 2595/18 a multiple of 6?
True
Is 7 a factor of ((-23844)/6)/(9/(-18))?
False
Let u(c) = 6*c + 18. Let a(k) = -k**3 - 4*k**2 + 2*k - 6. Suppose 5*i - i + 20 = 0. Let v be a(i). Is u(v) a multiple of 12?
True
Suppose -60*j + 12 = -56*j. Suppose -4*a - 13 = 5*i - a, 35 = -j*i + 5*a. Is 13 a factor of ((-153)/(-12) + -2)*(-40)/i?
False
Let d = -1784 + 3468. Let s = d + -716. Is s a multiple of 22?
True
Let c be 14/(-35) - (-35634)/(-15). Is c/(-180)*(4 - -1) a multiple of 22?
True
Suppose -5*o + 105 = 2*o. Suppose k - 2*k = -o. Let b = k + 7. Is 13 a factor of b?
False
Let z(u) = -u**3 - 7*u**2 - 8*u. Let s(a) = -a**3 - 6*a**2 + 7*a - 7. Let m be s(-7). Let f be z(m). Let i = 119 - f. Is i a multiple of 33?
False
Let w = 4 + 348. Suppose 149*x + w = 151*x. Does 21 divide x?
False
Let u(p) = 382*p**2 - 5*p + 2. Let g be u(4). Suppose -15*o + g = -2096. Does 39 divide o?
True
Suppose -5*j + 4*d + 134004 = 0, -13926 = -j + 3*d + 12877. Is j a multiple of 16?
True
Suppose 6*q = 14*q - 17*q + 25920. Is 14 a factor of q?
False
Suppose 0 = 6*n - 15*n - 36. Let d = n + 9. Suppose -5*l + 130 = 4*b, -95 = -3*l - l - d*b. Does 9 divide l?
False
Let y = -376 - -3483. Is 13 a factor of y?
True
Let c = -4 + -6. Does 24 divide (-1145)/(-5)*c/(-5)*1?
False
Let x be (-624)/80*7/(21/(-30)). Suppose -x*h - 3900 = -91*h. Is 50 a factor of h?
True
Suppose 9*b - 10084 - 7511 = 0. Does 17 divide b?
True
Let n(l) = -81*l + 81. Let o be n(1). Suppose 0 = -5*c - 15, 5*p + 2*c + 3*c = 285. Suppose -11*g + 9*g + p = o. Is 15 a factor of g?
True
Is 5 a factor of (405/90)/(1/(-862)*-1)?
False
Let c be 2*(3 + 32 + 0). Suppose -74*b = -c*b - 64. Is 5 a factor of b?
False
Let q(u) = -u**3 + 6*u**2 + 2*u - 4. Suppose -4*f = 3*x - 35, -3*f = -2*x + 5*x - 30. Let n be q(f). Suppose -4*r + n = -49. Is 4 a factor of r?
True
Suppose -118737 = 86*c - 289956 - 146293. Is c a multiple of 71?
True
Let g(a) = -159*a - 218. Suppose -98*w + 99*w = -10. Is 35 a factor of g(w)?
False
Let n(d) = -3 + 2 - 32 - 41 + 23*d. Is n(22) a multiple of 16?
True
Suppose 0 = -24*c + 2*c + 61248. Is c a multiple of 87?
True
Let g(u) = -12*u + 53. Let j be g(4). Suppose 3*v = j*r + 557, 274 - 85 = v - r. Is v a multiple of 5?
False
Let l be 0 - 1 - 5 - (-68)/(-17). Let m = l + 62. Suppose 0 = p + 3*n - 1 - 31, 3*n - m = -2*p. Is 16 a factor of p?
False
Suppose 14*o = -8*o + 20306. Let m = o + -407. Does 17 divide m?
False
Let v(r) = 13*r**3 - 6*r**2 + 7*r + 6. Let d = 42 - 39. Does 9 divide v(d)?
True
Let c = 4435 - -713. Is 26 a factor of c?
True
Let z = -13 + 4. Let b be ((-12)/4)/(-9)*z. Does 13 divide 22 + b + 21/3?
True
Let z be -1*(2 - 0)*-7. Let y(k) = -428*k + 1288. Let j be y(3). Let q = z - j. Does 3 divide q?
False
Let f be (-297370)/(-9) - (-25)/(-225). Suppose -f = -27*z - 10*z. Does 19 divide z?
True
Is ((1683/18)/17)/(1/360) a multiple of 9?
True
Let s(d) = 3906*d - 24. Is s(3) a multiple of 9?
False
Let z(n) = 43*n + 14. Let l(d) = -42*d - 14. Let a(m) = -5*l(m) - 4*z(m). Let x be a(-8). Let t = x - -409. Is t a multiple of 13?
False
Let k(v) = -9*v**3 - v**2 - 2*v - 3. Let j = -107 - -105. Let y be k(j). Let c = 109 - y. Is 16 a factor of c?
False
Let h = 11258 + -9818. Is h a multiple of 65?
False
Let s = 39 + -11. Suppose -s + 8 = -5*i. Does 5 divide 138/i - (-5 - 18/(-4))?
True
Suppose -17742 = -2*a - 2*k, -a + 196*k - 194*k + 8859 = 0. Does 108 divide a?
False
Suppose -l + 2*l + 116 = 0. Suppose q - 74 - 183 = -5*i, 5*q + i = 1189. Let u = l + q. Is 33 a factor of u?
False
Let d(a) = -a**3 - 27*a**2 - 24*a + 60. Let m be d(-26). Suppose -m*t + 10*t - 1628 = -5*r, r + t = 328. Is 6 a factor of r?
True
Suppose 0 = -4*u - 3*d + 64, -5*d + 48 = 3*u - 4*d. Suppose -4*k - 10*h + 6544 = -7*h, -u = 4*h. Is k a multiple of 75?
False
Suppose -6 = -135*t + 138*t - 2*i, 9 = 5*t + 3*i. Let a be (-10)/(-3)*(-9)/(-6). Suppose -b + 34 = a*j, t = -2*j - 0 + 4. Is b a multiple of 3?
True
Does 10 divide -5 + (-3736)/(-6)*(-75)/(-20)?
True
Let v(o) = 186*o**2 - 61*o - 30. Is 33 a factor of v(9)?
True
Suppose 5*u + 680 = -5*u. Let c = 10 - u. Is c a multiple of 6?
True
Let f(v) = 14*v**2 - 7*v + 31. Suppose 0*i = -5*n + 5*i + 25, -5*n + 2*i + 28 = 0. Is 40 a factor of f(n)?
False
Suppose 15*w + 273 = 2*w. Let j = 50 + w. Does 4 divide j?
False
Let y = 163 - 172. Let i(n) = 7*n**2 + 20*n - 2. Let p(l) = 6*l**2 + 19*l - 1. Let k(g) = -4*i(g) + 5*p(g). Is 19 a factor of k(y)?
False
Let x be (-28)/(-6) - (-11)/33. Is ((-12)/15 + -2)/(x/(-625)) a multiple of 20?
False
Let y(f) = 1829*f + 1373. Is y(2) a multiple of 13?
True
Let x = 6150 - -292. Does 12 divide x?
False
Let w(n) = n**2. Let f(b) = b**3 - 21*b**2 + 9*b + 6. Let k(a) = -f(a) - 5*w(a). Is k(15) a multiple of 7?
True
Suppose -151*t + 1032549 + 131665 = 86074. Is t a multiple of 17?
True
Let m = 18 - 6. Suppose 2934*x - 210 = -5*g + 2939*x, -g - 8*x + 15 = 0. Suppose -m = -l + g. Is 17 a factor of l?
True
Suppose -9675 = -w + 3*f, 5*w - 185*f - 48222 = -187*f. Does 144 divide w?
True
Let s(h) = -24*h**2 - h - 8. Let m(p) = 23*p**2 + 2*p + 6. Let q(j) = 5*m(j) + 4*s(j). Is q(-6) a multiple of 19?
True
Let f = 4260 + 2452. Is 43 a factor of f?
False
Let p be 16/96 - (-1 - 3777/18). Suppose 0 = 2*r + 5*o - p, -3*o - 461 = 7*r - 11*r. Is 2 a factor of r?
False
Suppose -4*f + 16 = 4*g, 4*f - 7*f + 6 = -3*g. Is 288 - (-6 - -5)*f a multiple of 44?
False
Suppose 0 = 6*q - 11*q + 65. Does 9 divide ((-487)/2)/(q/(-26))?
False
Let r be (196/(-21))/(-4) - (-2960)/30. Let t be (2 - 1) + -3 + -36. Let z = t + r. Does 7 divide z?
True
Let m = -120 - -130. Does 17 divide (-720)/((-55)/m + 4)?
False
Let b(n) = 682*n**2 - 14*n - 77. Is 5 a factor of b(4)?
False
Let b = 421 + -593. Let s = -115 - b. Does 17 divide s?
False
Suppose -6 = 4*n - 2*w, -2*n - 2*w + 5 = -1. Suppose -3*z - 3 = -n*z. Does 32 divide z + 3 + -5 + (2 - -75)?
False
Suppose -22310 + 54002 = 38*v. Suppose -5*k = 2*w - 2120, -9*k + 11*k - 2*w = v. Is 54 a factor of k?
False
Suppose -2*p + 5*l + 60 = 0, 5*p + l = -0*l + 177. Let r = -22 + p. Is (-1 + 125)/(r - 12) a multiple of 13?
False
Let r = -142 + 147. Let l(v) = 84*v - 37. Is l(r) a multiple of 19?
False
Suppose -1913 - 825 = -2*s - 5*r, -1355 = -s + r. Suppose -3380 = -5*c + 21*j - 17*j, 2*c - 3*j - s = 0. Is 42 a factor of c?
True
Let s = -58273 - -82717. Is 97 a factor of s?
True
Let x = 4 + -1. Let v = 667 - 664. Does 3 divide v + (-3 - (x - 43))?
False
Let o(b) = -102*b. Let a be o(-2). Is ((a/18)/1)/((-1)/(-6)) a multiple of 44?
False
Suppose 95*t - 15 = 90*t. Suppose -21*b + t*b = -8604. Does 17 divide b?
False
Let v(u) be the second derivative of -8*u**3/3 + 5*u**2/2 + 976*u. Suppose -17 + 5 = 4*r. Does 6 divide v(r)?
False
Does 10 divide ((-17)/(-102) - (-511)/(-42))*3760/(-6)?
True
Let r(k) = -218*k + 1. Let s be r(-3). Suppose -5*p + s = 5*u, 11*p = 12*p - 3*u - 143. Does 11 divide p?
False
Let k be (-40)/(-1)*(-4)/5. Let m be (-1160)/25*65/(-26). Let r = m - k. Is r a multiple of 27?
False
Let d(a) = a**3 + 2*a**2 + 5*a - 13. Let x(m) = 2*m**2 + 6*m + 5. Let u(i) = -7*i**2 + 5*i - 1. Let z be u(1). Let s be x(z). Is 37 a factor of d(s)?
False
Let g(x) = 11*x - 27. Let a be g(-12). Let i = 279 + a. Is 6 a factor of i?
True
Let m be (6968/(-12))/((-8)/12). Let p = -199 + m. Is p a multiple of 14?
True
Let q = -6338 - -8485. Does 19 divide q?
True
Let p = 1 + -13. Let n be (32/p + 3)*45 - 0. Suppose 0 = 9*m - n*m + 1062. Is m a multiple of 12?
False
Suppose -4*m - 4715 = 5*k - 77611, 87444 = 6*k - 3*m. Does 137 divide k?
False
Suppose 54 = j - 218. Let k = j - 56. Is 36 a factor of k?
True
Suppose 2*b - 3*f = 19423, 5*f + 12563 = b + 2834. Is 4 a factor of b?
True
Suppose 151 + 85 = 2*h. Suppose 0 = -3*l - 6, 2*i + 3*l - h = 2*l. Is 5 a factor of i?
True
Let i be -6 + -2 + -2 + 11. Is (i - 85)/((-321)/45 + 7) a multiple of 30?
True
Suppose 3*k - 6 = -3*y, 2*k + 2*k + y - 14 = 0. Suppose 3*d + 0*d = 15, -k*x = d - 309