6 = -4*x + 4*r, -2*x + r + 3*r = -h. Is 10 a factor of x?
False
Suppose -41*t + 37443 = -117045. Is 112 a factor of t?
False
Let b be -1 + 0/(-2) + 6. Suppose b*q - 188 = q. Is 14 a factor of q - 7/(35/(-15))?
False
Let c = 31 + -29. Suppose -5*f - c*f + 84 = 0. Is 4 a factor of f?
True
Suppose -6*r = -4*r - 248. Suppose 4*b + 4*n = 648, -2*b = -2*n - 208 - r. Let u = 246 - b. Is u a multiple of 12?
False
Suppose 12 = -n + 4. Is n/3*(-63)/12 a multiple of 14?
True
Let z = 557 + -543. Is 14 a factor of z?
True
Is (1172/879)/(1150/1146 - 1) a multiple of 8?
False
Suppose -942 = -17*j + 1489. Is 13 a factor of j?
True
Let l(g) = -g**3 + g**2 + g - 1. Let i be l(0). Let x = -109 + 129. Does 11 divide (-1)/i*(x - 3)?
False
Let d(r) = 7*r**3 + 81*r**2 - 3*r + 20. Is d(-10) a multiple of 6?
False
Suppose 6*w - 194 - 274 = 0. Suppose -5*b - w = -258. Is b a multiple of 36?
True
Let d(q) = -13*q + 9. Suppose 29*s - 30*s - 7 = 0. Is 50 a factor of d(s)?
True
Let o = 119 - 31. Suppose -5*i + 4*l = 13, -l - 6 = i - 7. Does 22 divide i/(174/o + -2)?
True
Let k(x) = -65*x**2 + 5*x - 4. Let j(i) = -66*i**2 + 4*i - 3. Let n(c) = -5*j(c) + 4*k(c). Does 23 divide n(-1)?
True
Let a = 109 - 25. Is 8 a factor of a?
False
Suppose 22869 + 37437 = 46*v. Is 19 a factor of v?
True
Let g(v) = -v**3 - 3*v**2 + 14*v - 1. Suppose 3*c = i - 22 + 1, -5*c - 3*i - 21 = 0. Does 7 divide g(c)?
False
Let v(f) = 5*f**2 + 5*f + 3. Let u(c) = -c**3 + 6*c**2 - 7*c + 6. Let n be u(5). Let d be v(n). Let t = d + -24. Is t a multiple of 13?
True
Let t = 2027 + -1030. Is t a multiple of 13?
False
Suppose -4*l - 15 = -l. Let x(m) = m**3 + 4*m**2 - 7*m - 2. Is x(l) a multiple of 2?
True
Let w = -2 + 2. Suppose -3*i - 2*t + 295 = w, -204 = -i - i - 5*t. Does 17 divide i?
False
Suppose -3*c = x + 1, x - c - 12 = -x. Suppose -x*o = -116 - 4. Is o a multiple of 15?
False
Let c(z) = 63*z**2 + 5*z + 3. Is c(4) a multiple of 42?
False
Suppose -p - 3*w - 7 = 0, -2*p - 7*w - 4 = -3*w. Let a(q) = q + 10. Is 6 a factor of a(p)?
True
Is (-25)/2*(-26104)/130 a multiple of 52?
False
Let o = 105 + -95. Suppose -16*l + o*l = -960. Is l a multiple of 16?
True
Let f = -47 + 47. Suppose 4*d - 614 + 134 = f. Does 13 divide d?
False
Let n(o) = 32*o**3 + o. Let v be n(-1). Let r = v + 108. Is 25 a factor of 3 + r - (-3)/(-1)?
True
Let h = -55 + 51. Let b(w) = -8*w - 5 + 10 - w. Is 12 a factor of b(h)?
False
Let r(l) = 5*l**3 - l**2 - l. Let f be r(-1). Let p be (-220)/f + -2 + -1. Suppose c + p = u - c, -4*u = -2*c - 158. Is u a multiple of 14?
False
Let b be 0/(0 + (2 - 0)). Suppose b*l - 30 = -5*l. Does 3 divide l - 6*(-3)/(-6)?
True
Let k be 14/(-77) - 114/(-22). Suppose 3*s - 48 = k*s. Let d = s + 51. Is 9 a factor of d?
True
Let t(c) = -60*c - 1. Let m be t(-2). Let p = 6 + m. Suppose 4*y + p = 9*y. Is y a multiple of 25?
True
Let s(m) = m**3 + 7*m**2 - 3*m - 9. Let j be (3 - 0)/(3/(-34)). Let f be 5/(-25) - j/(-5). Is 5 a factor of s(f)?
False
Suppose 40*r - 14430 = 3*r. Does 20 divide r?
False
Let f(o) = o + 12. Let c be f(-5). Let r(g) = 5*g**2 - 3*g - 12. Let b(x) = 11*x**2 - 5*x - 24. Let a(j) = c*r(j) - 3*b(j). Is a(6) a multiple of 4?
True
Let y(d) = -d**3 + 9*d**2 + 2*d - 12. Let s be y(9). Let p(h) = h**2 - h + 4. Let r be p(s). Does 18 divide 4*(-4)/(-8) + r?
True
Suppose 2*p = 5*m + 826, 8*m = 4*m + 8. Does 38 divide p?
True
Let w be 31/(-11) + ((-340)/55 - -6). Let a be (-7921)/4 + 2/8. Is a/40*2/w a multiple of 11?
True
Suppose 32*g = 31*g - 4. Let f(x) be the second derivative of x**4/4 + x**3/2 - 9*x**2/2 + x. Is f(g) a multiple of 15?
False
Let h(m) = -2*m + 4. Let r(p) = -p**3 - 10*p**2 + p - 4. Let k be r(-10). Is 4 a factor of h(k)?
True
Suppose 16*q - 3316 - 1612 = 0. Does 44 divide q?
True
Suppose -2*c + 0*c - 220 = -o, -440 = -2*o + 2*c. Is 2 a factor of o?
True
Suppose 6*q - 7*q = -87. Suppose o + 54 = q. Is 33 a factor of o?
True
Let j(c) = -12*c**3 - 10*c**2 + 6*c + 15. Does 7 divide j(-3)?
True
Suppose 54 = -l + 5*t + 164, 0 = -2*t - 6. Is 22 a factor of l?
False
Suppose 2*p - k + 7 = 32, 55 = 2*p + 5*k. Suppose p*d - 216 = 12*d. Is d a multiple of 9?
True
Let s = 823 + -9. Is 37 a factor of s?
True
Let h be (-32)/(-5) + 2/(-5). Suppose -2*k - 2 - h = 0. Is (-725)/(-10) + (-2)/k a multiple of 27?
False
Let b(u) be the third derivative of u**6/40 + u**5/15 - 5*u**4/24 - u**3 + 5*u**2 + 3*u. Does 21 divide b(3)?
False
Suppose 2*b - 3079 = -3*z, 0 = -z - 4*b + 6*b + 1037. Is z a multiple of 71?
False
Let a(m) = 14*m - 114. Does 9 divide a(12)?
True
Let o = 381 - 62. Let x = -189 + o. Is x a multiple of 26?
True
Let s be ((-9)/12)/((-1)/4). Suppose s*v = -v + 100. Is v a multiple of 23?
False
Let t = 125 + -199. Let u = 158 + t. Is 14 a factor of u?
True
Let y = 19 + -19. Is (-11 - -98) + (-4)/(y - -2) a multiple of 17?
True
Let a = 745 - -240. Does 17 divide a?
False
Is 52 a factor of 723 + (-1)/(-7) + 12/(-84)?
False
Let h = -446 + 640. Is h a multiple of 3?
False
Let a be (-5 - -7)*(-49)/(-2). Suppose -a = -p + 40. Suppose 0 = -2*b + v + p, 3*b + v - 127 = -4*v. Is b a multiple of 22?
True
Let b be (-5)/10 + 6/(-4). Let n = 2 - b. Is 9 a factor of (n/(-4) - 0)*-11?
False
Suppose 3*o = 8*o + i - 4450, 2*i + 4450 = 5*o. Does 2 divide o?
True
Suppose 0 = -0*q + q. Suppose 224 = 4*s - 0*k + 2*k, -5*s - 5*k + 275 = q. Is s a multiple of 19?
True
Let i = -19 - -18. Does 6 divide (-18)/(-7)*i*-7?
True
Is 78 a factor of 41610/38 + (0 - 3)?
True
Let k(p) = 6*p**3 - 2*p**2 - 8*p + 66. Is k(5) a multiple of 18?
False
Let c be (5/(-1))/(5/(-5)). Let t be (-4)/c*(-8 + 3). Is 7 a factor of (-2 - t/12)*-3?
True
Suppose 7992 = -19*v + 31*v. Does 18 divide v?
True
Let i(n) = n**3 - 42*n**2 + 125*n + 52. Does 13 divide i(39)?
True
Let p = 335 + 1089. Does 16 divide p?
True
Let j be ((-30)/(-6) + -6)/(2/(-44)). Suppose -j - 125 = -7*d. Is d a multiple of 9?
False
Suppose -12*j + 5 = 2*c - 11*j, -5*c - j = -20. Suppose w - t - 39 = 3*t, c*w = -3*t + 149. Is w a multiple of 31?
True
Suppose 4*m + 0*m = 120. Suppose -m = -n + 7. Is n a multiple of 27?
False
Let t(s) = s**2 + 4*s - 7. Let h be t(8). Suppose -5*n = 3*o + h, 3*o + 2*n + 107 = 6*n. Let r = o + 54. Is 7 a factor of r?
True
Suppose a + 12 = 3*l + 1, -3*l = -5*a - 31. Let v be 1/l + (-679)/14. Let u = v - -152. Is u a multiple of 27?
False
Let r(b) = 59*b**2 - 6*b - 7. Does 20 divide r(-1)?
False
Let j = -247 + 443. Is j a multiple of 49?
True
Suppose 3*o = -4*r + 31 + 87, 5*o - 5*r - 220 = 0. Suppose v - 62 = 5*h, -508 + 170 = -4*v + 2*h. Let x = v - o. Is x a multiple of 15?
True
Suppose 170 = 9*z - 4*z. Suppose -z = -q + 50. Is 7 a factor of q?
True
Let u(a) = 2*a - 13. Suppose 6*d - 65 + 5 = 0. Let i be u(d). Let o(s) = -s**3 + 10*s**2 - 5*s - 10. Is o(i) a multiple of 34?
True
Let p(s) = -s**3 - 24*s**2 + 20*s - 29. Is 16 a factor of p(-25)?
True
Let d be 3 + 33*(-1)/(-3). Let r = 14 + d. Does 6 divide r?
False
Suppose 57*c - 12260 = 47*c. Does 24 divide c?
False
Let w(k) = -1 + 1 + 0 - 19 + 3*k. Let b be w(8). Suppose b*u = 383 - 98. Is 20 a factor of u?
False
Suppose 11*b = 9*b. Suppose x + 0*x - 36 = b. Does 9 divide x?
True
Suppose 5*r + 7*k - 8*k = 104, 5*r - 120 = 5*k. Is 5 a factor of r?
True
Let f(j) = 9*j**3 + 4*j + 4. Is 4 a factor of f(4)?
True
Suppose 3*b = -5*v + 3766, -2*v = -3*b - 1605 + 107. Is 8 a factor of v?
True
Let t(c) = c**3 + 26*c**2 + 23*c + 26. Is t(-20) a multiple of 63?
False
Let z(p) = 3 - 1 + 7 + 3 - 2*p. Let s be z(6). Let l = s + 28. Is 14 a factor of l?
True
Suppose 5*d + 5*c - 5165 = 0, -5*c + 1774 = -5*d + 6909. Is d a multiple of 66?
False
Suppose 2*f = 693 + 207. Does 15 divide f?
True
Suppose 2*s = 3*s - 4. Suppose s*a - 10 = 2*r, 7*r - 4*r + 3 = 2*a. Suppose 4*u - 4 = 0, -a*u - 5 = -3*m + u. Is m even?
False
Let p be 14 + -7 + -1 + 3. Let n(j) = -3*j + 13. Let c be n(p). Does 7 divide 68/10 - c/70?
True
Let w be (-2)/(-7) + 38/14 + -1. Suppose 3*c - 241 + 26 = -5*f, w*c - 5*f - 135 = 0. Does 8 divide c?
False
Let z = -748 + 1020. Is z a multiple of 17?
True
Let f(y) = y**3 - 7*y**2 + 3*y. Let w = 6 - -1. Let m be f(w). Suppose -3*g - d - m = -76, -4*d + 68 = 4*g. Is g a multiple of 14?
False
Suppose -3*p - 71 = -5*m, -5*m + 89 = 3*p - 0*p. Let q = m - 14. Suppose 3*x + 6 = z + q*z, -3*x = 5*z - 