ue
Is 3 a factor of (-610)/(-90) + -7 - (-1532)/9?
False
Suppose 745*x - 4280 = 737*x. Is 41 a factor of x?
False
Let c be (-5)/((5 - 3) + -3). Suppose -q - 1 = -c. Suppose 4*r - 12 = 0, 5*w + q*r = -r + 35. Is 4 a factor of w?
True
Suppose 2*h - 19*h + 8211 = 0. Does 7 divide h?
True
Let d(f) = -56*f + 24. Is d(-10) a multiple of 48?
False
Suppose 430*n - 435*n + 360 = 0. Is 18 a factor of n?
True
Suppose 3*m - 3*z = -364 + 4693, -4*m + 5*z = -5769. Is 26 a factor of m?
False
Let j(l) = -4*l - 11. Suppose 3*s - 12 = -30. Is 4 a factor of j(s)?
False
Let a = 1 + -11. Let b = 0 - a. Is 10 a factor of b?
True
Let i = -97 + 45. Let u = i + 220. Does 25 divide u?
False
Suppose 22 = 4*s - 3*y, -5*s - 4*y + 26 = -7*y. Suppose -s*n + 28 + 12 = 0. Does 2 divide n?
True
Let q(z) = -429*z + 123. Is 6 a factor of q(-2)?
False
Let l(p) = 4*p - 18. Let b be l(5). Suppose b*y - 26 = 14. Is y a multiple of 5?
True
Let r(q) = 55*q**2 + 126*q - 16. Does 22 divide r(-10)?
True
Suppose 6*z - 3*z = 2*c - 854, c - 2*z - 426 = 0. Is 43 a factor of c?
True
Let f be 1*-15 + (8 - 5). Let k be 3*4/f + 6. Suppose 5*s + 2*n = 6*n + 239, -k*n = 5. Does 12 divide s?
False
Suppose 0 = -80*y + 67*y + 13585. Does 11 divide y?
True
Suppose 2*g - 3*g - c + 491 = 0, 0 = 2*g - 5*c - 947. Suppose 3*v - 199 = 2*z, 5*z + 4*v = -0*v - g. Does 4 divide ((-6)/7)/(21/z)?
True
Suppose 4*a = 2*a + 34. Suppose -a - 39 = -q. Is 14 a factor of q?
True
Let v(w) = -w**3 + 12*w**2 + w - 13. Let y be v(12). Suppose 0*f = -2*f - 24. Is (1 - 4)/y - f a multiple of 5?
True
Let c(m) = m**3 + 6*m**2 + m + 1. Let v be 10/3*9/2. Suppose v = -3*u - 0*u. Is 21 a factor of c(u)?
True
Suppose 0 = 5*k - 21 - 4. Suppose k*l = 3*q - 0*l - 14, 2*l - 4 = -2*q. Suppose 0 = -q*t + 4*t - 12. Is t a multiple of 12?
True
Let m(o) = 12*o**3 + 5*o**2 - 11*o + 6. Is 57 a factor of m(3)?
True
Suppose 5*t - 75 = -5*v, -10 = 4*v + 5*t - 71. Suppose -q - v + 24 = 0. Does 10 divide q?
True
Suppose 3*v = 3*c + 9, 4*v - 9 = c + 4*c. Does 4 divide (-44)/(-6) + 4/v?
True
Let b be 14/(10 - (10 + -2)). Suppose -53 = 5*k + 4*n, 2*n + 2 = n. Is 10 a factor of (k + -9)/((-2)/b)?
False
Let h = 3071 - 1805. Does 4 divide h?
False
Let s(z) = -z**3 + 17*z**2 + 2*z - 2. Let y = 24 + -7. Does 14 divide s(y)?
False
Is (315/(-4))/(8841/(-420) - -21) a multiple of 25?
True
Let a(k) = -3*k**3 - 34*k**2 - 53*k + 22. Is a(-12) a multiple of 36?
False
Let q(y) = 4*y**3 - y**2 + y - 1. Let i be q(1). Suppose 158 = -i*f + 521. Is f a multiple of 23?
False
Let c(k) = -21*k**2 - 2*k + 2. Let o be c(-3). Let p = -95 - o. Is 34 a factor of p?
False
Suppose 8*t + 8*t = 10000. Does 28 divide t?
False
Suppose 31*n = 20*n + 14355. Is 29 a factor of n?
True
Suppose 51*u + 11120 - 66353 = 0. Is u a multiple of 13?
False
Let k(q) = 6*q - 7. Let u be k(-7). Suppose 2*n = -35 + 25. Let w = n - u. Is 11 a factor of w?
True
Let h be 3 + ((-4)/(-6))/((-6)/18). Is h + (3 - 3) + 70 a multiple of 34?
False
Let a = 45 - 33. Suppose 52 - a = q. Is 20 a factor of q?
True
Let v = -43 + 112. Is v a multiple of 6?
False
Is ((-5)/((-45)/12))/((-2)/(-144)) even?
True
Suppose 0 = -2*c + 4*c - 26. Suppose c = 5*u - 7. Does 14 divide 69*1/12*u?
False
Let x(q) = -q**2 - 3*q + 8. Let z be x(-4). Suppose -3*b + 3*n = -2*n - 272, -68 = -b - z*n. Is b a multiple of 20?
False
Let j(l) = 73*l**2 + 2*l - 5. Is j(-3) a multiple of 19?
True
Let p = 5986 - 1996. Does 15 divide p?
True
Let u = 267 + -262. Is u a multiple of 5?
True
Let h = 8 + -5. Suppose -14 = h*f - 20. Suppose -5*r - 81 = -4*m, -3*m + f*r + 3*r = -67. Does 5 divide m?
False
Suppose 22*i - 9928 = -46*i. Is i a multiple of 73?
True
Let b(d) be the second derivative of d**5/20 + 2*d**4/3 - d**2 + 9*d. Is 12 a factor of b(-7)?
False
Is (-3)/(-4)*(-17)/((-102)/4008) a multiple of 5?
False
Let j = -8 - -20. Is 13 a factor of j/(-9)*(585/6)/(-5)?
True
Let x = 2081 + -776. Does 29 divide x?
True
Suppose -113 + 23 = -5*j. Let d(b) = 6*b + 22. Is 17 a factor of d(j)?
False
Let d(j) = j**2 - 13*j + 3. Let v be d(13). Let t(n) = 3*n**2 - 2*n + 11. Does 8 divide t(v)?
True
Suppose -114*z + 126*z = 16176. Does 72 divide z?
False
Let n(y) = 248*y - 8. Let c be n(2). Suppose 0 = -4*p - 3*g + c, 0 = 2*p + 3*g - 31 - 207. Is p a multiple of 25?
True
Let c = -388 - -709. Is 15 a factor of c?
False
Is 3 a factor of (-2 + (-7)/(-3))/(65/39195)?
True
Is (0 + (-5)/10)/((-1)/2000) a multiple of 30?
False
Let u = 139 - 136. Suppose u*y - 2*b = 100 + 32, y - 2*b - 48 = 0. Is 3 a factor of y?
True
Is -4 - -3 - 2*84/(-6) a multiple of 8?
False
Let o(u) be the first derivative of 11*u - 1/4*u**4 + 7/2*u**2 + 7/3*u**3 - 2. Is o(8) a multiple of 3?
True
Let i be (-8)/(-52) + 15244/(-52). Let c = 497 + i. Is c a multiple of 17?
True
Let a = -80 - -224. Is 4 a factor of a?
True
Let y(k) be the first derivative of k**4/4 - 8*k**3/3 + 9*k**2/2 + 10*k + 10. Does 24 divide y(7)?
True
Let h(a) = 4*a**3 - 4*a**2 + 4*a. Let u be h(4). Suppose -2*r - 28 + u = 0. Suppose -v = 5*f - 5*v - 151, -3*f + 3*v = -r. Is 14 a factor of f?
False
Suppose 6682 - 22642 = -21*t. Is t a multiple of 20?
True
Suppose 0 = -0*s + 4*s - 16. Suppose s*t - 340 = 4*m, -14 = 4*t - 5*m - 353. Does 21 divide t?
False
Suppose -4*c = 2*b - 650, -109 = -c + 4*b + 49. Is c a multiple of 9?
True
Let l(b) = -3*b - 31. Let m be l(-10). Is (4 + m)/(-3) + 157 a multiple of 13?
True
Let b = -7 - -225. Suppose 2*a + 0*u - b = -2*u, -a + 103 = -2*u. Does 28 divide a?
False
Let x = -16 - -17. Let k(n) = 5*n**2 + n - 2. Let f be k(x). Suppose -2*h + f*g + 14 = 0, -4*g - 41 = -2*h - 3*h. Does 2 divide h?
False
Suppose 3*r - 2*f - 4 = 0, -2*r + 0*f - 6 = 3*f. Suppose 4 = o, 4*q - 5*o - 282 - 290 = r. Is 18 a factor of q?
False
Suppose 3*s + 0*s + 4*k = 28, 0 = s - 3*k + 8. Suppose -3*u - 18 = -3*b, s*b + b - 16 = -2*u. Let z = 3 - u. Is z even?
False
Is 17 a factor of 307 - (2 - 4/20*5)?
True
Let m(o) = -429*o + 89. Does 19 divide m(-4)?
True
Suppose w + 1 + 1 = 0, -w - 30 = -4*u. Let i = 7 - u. Suppose 2*g = 4*o - 22, -5*o + i*g + 29 = -g. Does 2 divide o?
True
Let q = 13 + -9. Suppose 2*m - 10 = -4, q*m - 28 = 2*t. Is 0 - (5 + -3 + t) a multiple of 3?
True
Let w be (-111)/(-15) + (-4)/10. Let p(b) = -b + 16. Does 2 divide p(w)?
False
Let w(g) = 2*g**3 + g**2 - 6*g + 22. Is w(3) a multiple of 30?
False
Let r = 176 + 569. Does 3 divide r?
False
Let n = 304 - 152. Is n a multiple of 10?
False
Let o = 875 + -530. Is o a multiple of 18?
False
Is 19 a factor of (-8449)/(-28) + 1 - (-1)/4?
False
Let u(b) = 2*b**2 + 19*b - 1. Does 43 divide u(-25)?
True
Let l(j) = -3*j + 3. Let s be l(-3). Let y be 150/s + (-2)/4. Suppose 4*k + 4*o = 2*k + y, 3*k + o = 18. Does 2 divide k?
True
Let m be (9/(-12))/(-3)*3140/5. Suppose 4*s = d - m + 466, 2*s = -2*d + 142. Is s a multiple of 12?
False
Suppose 4*k - 198 = 3*x - k, 5*k - 137 = 2*x. Let f be (-14)/(-70) + x/5. Let i(j) = j**2 + 11*j + 4. Does 4 divide i(f)?
True
Is 21 a factor of (2 - 1)*2 + 72124/26?
False
Suppose 11*d - 272 = 13*d. Let v = d - -298. Is v a multiple of 49?
False
Is 10 a factor of (-3)/(-3) + 4 + 63 + 4?
False
Suppose -2*u = u. Suppose u = -6*w + 4*w + 6. Is 22 a factor of 1/(w*1/213)?
False
Let a(j) = -5*j**3 - 4*j**2 - 4*j - 6. Let w(h) = -h**2 - 6*h - 3. Let y be w(-6). Does 21 divide a(y)?
True
Let b = 9 + 333. Is b a multiple of 9?
True
Let t = 105 - 15. Let z = -76 + t. Does 3 divide z?
False
Let h(c) = -c**3 - 7*c**2 - 7*c. Let q be h(-6). Let y(u) = -u + 12. Let k(f) = -4. Let b(m) = -7*k(m) - 2*y(m). Is 8 a factor of b(q)?
True
Let i = 20 - 32. Does 19 divide -1 + 3 + 220/i*-3?
True
Let a(w) = w + 1. Let l(n) = 4*n + 1. Let t(j) = 4*a(j) + l(j). Let k be t(3). Suppose -4*g + 58 = 2*z, g - 3 = 3*z + k. Is 10 a factor of g?
False
Let g(v) = v**3 + 10*v**2 + 18*v + 18. Let x be g(-8). Suppose x - 48 = -2*p. Is p a multiple of 7?
False
Does 43 divide (4/6)/((119/903)/17)?
True
Let k = 2 - -3. Suppose 0 = -j + k*a - 10, -4*j + 5*j + 4*a - 26 = 0. Is j a multiple of 5?
True
Let f(d) = 2*d**3 - 4*d**2 - 2*d + 3. Let i be f(4). Suppose -3*v = 4*r - 99 - i, -2*r = -4*v + 218. Let x = v + -33. Is x a multiple of 7?
True
Suppose -2*k + 14 = 2*b, 3*k - 4 = 5. Suppose b*j + 2*y = 24 - 6, -6 = -2*y. Is j a multiple of 3?
True
Let v(d) = -19 + 18*d