ue
Suppose -70*m + 105028 = -8*m. Is 77 a factor of m?
True
Is (8 + 7)/((-2)/(-42)) a multiple of 35?
True
Does 13 divide (-5)/1*((-323)/5 - 3)?
True
Suppose -9 = 3*k, 2*j + 3*k + 11 = -0*k. Does 21 divide 56/3*j*(0 - 3)?
False
Let i be (64 + 0)*(-2)/(-4). Suppose -7*m + 3*m = -i. Suppose -116 = -4*u + m. Does 15 divide u?
False
Let t(l) be the third derivative of -l**4/8 - l**3/3 - 2*l**2. Let d be t(-2). Suppose 2*i + 4*r - 32 = 0, 0 = 4*i - 2*r + d*r - 82. Does 9 divide i?
False
Let q(y) = -4*y - 29. Let a be q(-20). Suppose -d - a = -172. Is d a multiple of 17?
False
Is ((-4)/(-10))/((15 - 14)/1680) a multiple of 63?
False
Let h(u) be the second derivative of -5*u**3/2 + 27*u**2 + u + 9. Is h(-7) a multiple of 40?
False
Let a = -19 - -107. Is 4 a factor of a?
True
Let w = 721 + -487. Is w a multiple of 39?
True
Suppose -2*c + c = 5*a + 19, 3*c - 3*a = 15. Let d(t) be the first derivative of 34*t**3/3 + t**2/2 - t + 2. Does 10 divide d(c)?
False
Let w(p) = -p**3 + 10*p**2 + 9*p + 9. Let i be w(11). Let s = i + 17. Is (26/(-3))/(s/(-6)) a multiple of 13?
True
Suppose v + 3*a - 38 = 294, 0 = 2*a + 2. Is 9 a factor of v?
False
Is 20 a factor of 6*(1/(-4) + (-57183)/(-252))?
True
Suppose 3*k - s - 118 = 0, 3*k + 5*s - 63 - 49 = 0. Does 19 divide k?
False
Suppose 2*l - k = 1034, 0 = 96*l - 95*l + 2*k - 522. Is 37 a factor of l?
True
Suppose 2*b + 4*d - 1592 = -3*b, 0 = b + 2*d - 322. Suppose v = -3*v + b. Is v a multiple of 15?
False
Let y = -109 + 159. Let g be (2*1/5)/((-1)/45). Let u = y + g. Is 13 a factor of u?
False
Does 12 divide 3 + -6 + 129 - 4?
False
Suppose 2*r + 3*t - 1411 = 0, -42*r - 3539 = -47*r + 4*t. Is 7 a factor of r?
True
Let a(i) = -i**3 - 5*i**2 - 4*i - 1. Let s be a(-2). Let f = s - -17. Is f a multiple of 12?
True
Let n = 130 + -22. Is 1*(-3 + (n/4)/1) a multiple of 8?
True
Suppose -5*b = 20, -8*s - b - 34 = -11*s. Let w = s + 17. Does 5 divide w?
False
Let z(q) = 22*q + 366. Is 6 a factor of z(33)?
True
Let k(m) = -m**2 - 10*m. Let v be k(-9). Let y = -5 + v. Suppose 0 = 5*h + 2*z - 368, y*h + 71 - 363 = -z. Is 13 a factor of h?
False
Suppose 4*b - 2*l - 22 = 0, 2*b + 2*b - 7 = -l. Let r = 0 - -2. Suppose b*q - 56 = -2*q + 3*c, -58 = -4*q - r*c. Is q a multiple of 11?
False
Suppose 0 = 6*k + 192 - 2514. Is k a multiple of 12?
False
Suppose 4*m + v + 0*v - 5300 = 0, -5*m = -v - 6625. Is 25 a factor of m?
True
Let z be ((-6)/(-8))/((-3)/(-12)). Suppose 2*p - z*o = 114, 3*p - o = 3*o + 173. Is 21 a factor of p?
True
Let x(b) = b**2 - 21*b - 310. Is 7 a factor of x(35)?
False
Let t(w) = w + 5. Let r be t(-2). Does 8 divide 65 + -25 - (1 - 1*r)?
False
Suppose 36 = -6*m - 30. Is 4/22 - (-1)/m*-2286 a multiple of 16?
True
Suppose 2*q + 0*d = -2*d + 10, 5 = q + 5*d. Suppose -5*z + s = -s - 260, q*z = -s + 245. Is z a multiple of 19?
False
Let z = 2 + -2. Let k = 642 - 638. Suppose -k*x + 10*x - 330 = z. Does 15 divide x?
False
Is 21 a factor of (-4 - -1) + 18 + 250?
False
Let z be -4 + (0 - (-58)/2). Does 9 divide 36/(-7)*(z - 32)?
True
Let p = 460 - 334. Does 18 divide p?
True
Does 10 divide (264/(-7))/((-14)/98) + 6?
True
Suppose 0*i + 4*i = -3*f - 23, 0 = -4*i - 5*f - 33. Is 12 a factor of (-100)/(-4) + (-3 - i)?
True
Is 8/(-32) + 50705/20 a multiple of 11?
False
Suppose 23 = -2*j - 5*c, 6*j = 3*j - 5*c - 22. Suppose -5*a + 15 = 5*l, l + a + j = 4*a. Suppose -l*v - 4*s + 122 = 0, -4*v = -3*v + s - 56. Does 10 divide v?
False
Let w = -623 + 1286. Does 9 divide w?
False
Suppose -3*q = 5*o - 36, 0*o - 32 = -5*q + o. Suppose 13*x = q*x + 42. Does 5 divide x?
False
Let d = 29 + -31. Is 28 a factor of 40*(-1 + 2 + d + 2)?
False
Let b be (5 - 3 - 1)*-3. Let v be (-2 - b)/(2/6). Suppose v*t - 7*t + 5*u + 108 = 0, 0 = 2*u - 8. Is 10 a factor of t?
False
Let n be -4 + (24 - 5) - 3. Is (((-22)/4)/((-2)/n))/1 a multiple of 3?
True
Suppose -5*f - 5*g + 25 = 0, 4*g = 2*f - 26 - 2. Suppose 0 = -3*z + f*z + 15. Does 9 divide z/4 - (-177)/12?
False
Suppose -20*b + 6084 = -7616. Is b a multiple of 15?
False
Suppose 0 = 4*x - 31 - 9. Let k = x - 6. Suppose 0 = k*i + 43 - 483. Is 28 a factor of i?
False
Let c = -105 - -102. Is 3 a factor of (-2)/c*1*18?
True
Suppose 5*f = -3*f + 1320. Is f a multiple of 52?
False
Suppose 4*l = -m - 5 + 7, 0 = -2*l. Suppose -21 - 13 = -m*f. Does 6 divide f?
False
Suppose 12*l + 2158 - 19714 = 0. Does 77 divide l?
True
Suppose -y - 2*o = -0*o + 6, 0 = 5*y + o + 3. Suppose y = -c + 53 + 20. Suppose 3*b = -2*r + c, -2*r + 2*b = r - 77. Does 20 divide r?
False
Does 23 divide (506/4)/((-65)/(-20) - 3)?
True
Let c = -2 + 4. Let k(w) = 2 - w**2 - 2*w**2 - 4 + 5*w**2. Does 2 divide k(c)?
True
Let i(a) = -a**3 + 4*a**2 + 6*a - 3. Let c be i(5). Suppose c*l = -z + 22, -3*z + 3 = -5*l - 8. Is 3*10/z*4 a multiple of 4?
False
Let g be 407 + (-2 - -5 - 6). Suppose g = 11*r - 7*r. Is 12 a factor of r?
False
Let b(f) = -f**3 + 70*f**2 + 4*f - 153. Does 148 divide b(69)?
True
Let u be 2104/(-28) + (-1)/(-7). Does 9 divide u/6*(-40)/50?
False
Suppose -g - m + 22 = 0, -g - 54 = -4*g + 3*m. Suppose 5*l + g = 5*i, 0*i + 3*l + 10 = 2*i. Suppose -u = -2*k - 24, k = i*u - 15 - 21. Is u a multiple of 8?
True
Suppose -37 - 8 = -5*o. Let v(q) = -10 + 3 + 2*q + 20. Does 23 divide v(o)?
False
Suppose -4*g = 20, -q - 445*g + 450*g + 315 = 0. Is q a multiple of 10?
True
Suppose m - 143 = -7. Does 68 divide m?
True
Let k = -59 + 41. Is 5 a factor of 27/6 - k/12?
False
Suppose -5 = -78*n + 83*n. Let d(q) = 4 - 80*q + 17*q - 1. Is d(n) a multiple of 22?
True
Suppose -5*k + 11 = 4*w, -5*w + 3*k - 14 = -0*w. Let n be (-2 - w) + -1 - -6. Suppose -n*u + 28 = 3*q, 2*u + 0*q = -2*q + 16. Is u a multiple of 3?
False
Suppose 0 = 3*s - 4*n - 320, 5*s + 110 = 2*n + 620. Is s a multiple of 10?
True
Let z be 2/(212/204 + -1). Let b = z + -21. Does 5 divide b?
True
Suppose -3*i + 190 = -2*i. Suppose 2*c + 2*m = -0*c + i, -3*m - 451 = -5*c. Does 46 divide c?
True
Suppose 5*f - 4610 = -8*z + 3*z, -4*f - 912 = -z. Is z a multiple of 23?
True
Let q(u) = 69*u - 222. Is 54 a factor of q(22)?
True
Let q(b) = -b**3 + 7*b**2 + 10. Suppose -5*k + 148 = -32. Suppose 3*v - 4*v = 5*i - k, i + v - 8 = 0. Is 7 a factor of q(i)?
False
Let z = 132 + 22. Does 22 divide z?
True
Is 108 a factor of (432/(-14))/((-35)/(-49))*-40?
True
Let x be (-15)/20 - (-69)/12. Let u = 19 - x. Is 10 a factor of u?
False
Suppose -2*j = -7*j. Suppose j = 5*t - 8*t + 27. Let r(o) = -o**3 + 9*o**2 + 6*o + 9. Does 13 divide r(t)?
False
Let p(q) = -20*q - 42. Is p(-5) a multiple of 3?
False
Let s = 53 - 41. Let k(l) = -l + 35. Is 3 a factor of k(s)?
False
Suppose -26003 = -32*n + 9261. Is n a multiple of 58?
True
Let d(c) = -c - 1. Let m be d(4). Let p = m + 7. Suppose s = -p*s + 39. Is 11 a factor of s?
False
Let i = -20 - -20. Suppose 367 = 5*k + 3*o, i = -3*k - 3*o + 85 + 134. Is k a multiple of 28?
False
Let v be 3*((-104)/(-6) - -4). Suppose 3*b = w - v, 20 = -8*b + 3*b. Is 18 a factor of w?
False
Suppose -3*s - 5*m = -18, -4*s + s + 18 = 4*m. Let a(p) = -p**3 + 8*p**2 - 8*p. Is 6 a factor of a(s)?
True
Let x be 30/(6/27*(-3)/(-10)). Suppose 2*i = -3*i + x. Is 18 a factor of i?
True
Let i = -13 + 15. Suppose -i*w - 22 - 160 = 0. Is 6 a factor of w/(-5) - (-7)/(-35)?
True
Let h be ((-42)/70)/((-1)/(-5)). Let f(u) = 5*u**2 + 3*u + 1. Does 37 divide f(h)?
True
Let t(c) = 5*c**2 - 27*c - 133. Is t(-10) a multiple of 49?
True
Suppose -5*k = 4*l - 1587, -4*k - 3*l = -1235 - 35. Is k a multiple of 29?
True
Let o(d) = 34*d**2 - 9*d + 21. Is 56 a factor of o(3)?
False
Suppose 2*c - w - 28 = w, 3*c + 2*w - 42 = 0. Let l = 15 - c. Is 3 a factor of (-4 - -10) + 0 + l?
False
Let b(s) = 8*s - 13. Let l(o) = o - 4. Let a be l(19). Let j = a - 11. Is 4 a factor of b(j)?
False
Suppose 2 = -7*l + 149. Let a = 53 - l. Is a a multiple of 16?
True
Suppose -5*b - 209 = 16. Let m be -1*(-73 - (-1)/1). Let d = b + m. Is d a multiple of 15?
False
Suppose -398*b - 10370 = -408*b. Does 37 divide b?
False
Suppose 2*x + u - 220 = 0, -5*u = x + 68 - 187. Does 3 divide x?
False
Let m be 161/3 - (-4)/12. Suppose -2*k + 80 + m = 0. Is 33 a factor of k?
False
Let b = -46 + 122. Let x = b + -48. Is 7 a factor of x?
True
Suppose 8*a - 3*a = 3085. Suppose 0 = 5*q + 3*v - a, -q - 46 = -2*v - 172. Is 34 a factor of q?
False
Supp