g + -55. Does 10 divide q?
False
Suppose 0 = 3*c + 34 - 4. Does 36 divide (-300)/c*(-36)/(-5)?
True
Let s = 102 - 56. Is 24 a factor of s?
False
Let k(u) be the first derivative of 65*u**2/2 - 3*u - 31. Is k(2) a multiple of 40?
False
Let v(x) = -x**2 + 6*x + 10. Let b be v(7). Suppose -b*r - 68 = -5*r. Suppose g - 56 - r = 0. Is 37 a factor of g?
False
Suppose 0 = z + 5 - 66. Does 61 divide z?
True
Suppose -17 = -4*h + u, -2*h - 2 + 3 = u. Suppose 3*j + 4*n = 10, -j - 22 = -2*n - h*n. Is 15 a factor of 15*-2*j/4?
True
Let k(c) = -164*c - 22. Is k(-4) a multiple of 27?
False
Suppose -578 = -2*x - 3*g, 2*x - 1128 = -2*x + g. Does 6 divide x?
False
Let j = -354 + 248. Let l = -4 - j. Does 32 divide l?
False
Let l(r) = r**3 - 7*r**2 + 6*r - 4. Let k be l(6). Let h(w) = -28*w - 10. Is 34 a factor of h(k)?
True
Suppose -6*l + 149 = -181. Is (308/l)/((-6)/(-105)) a multiple of 7?
True
Suppose -b - 6*a + 4*a = 21, 2*a - 57 = 5*b. Let m(v) = -4 - 4*v + v - 12 - 4*v. Is m(b) a multiple of 22?
False
Let s = 1511 - 678. Is 25 a factor of s?
False
Let x(y) = 11*y**2 - 8*y + 29. Is x(-6) a multiple of 42?
False
Suppose -g - x + 2*x = 7, 0 = -4*g + x - 13. Is 14 a factor of (-7)/14 - 95/g?
False
Suppose 0 = -3*i + 3, 0 = -5*x - 5*i + 64 - 269. Is (x/(-28))/(6/616) a multiple of 11?
True
Let y = 270 + -171. Suppose -2*s + 5*s - 3*p - 12 = 0, 3*p - 6 = -3*s. Suppose s*d - y = 96. Is 26 a factor of d?
False
Suppose 0 = -98*d + 94*d. Let k(w) = 7*w**2 - 3*w - 3. Let p be k(3). Suppose d = 4*t - p + 19. Is t a multiple of 2?
True
Let l = 2881 - 120. Is 12 a factor of l?
False
Let b(p) = p**2 - 2. Let a = 9 - 12. Let w be b(a). Suppose -6*z + w*z - 9 = 0. Does 4 divide z?
False
Let q(i) = 145*i**2 + 7*i - 6. Does 3 divide q(1)?
False
Let p(r) = 2954*r**3 + 4*r**2 - r + 2. Is p(1) a multiple of 70?
False
Suppose 4*o - 42 = 6. Let s be (-3)/o - 132/(-16). Is ((-14)/4)/((-2)/s) a multiple of 8?
False
Suppose 0 = -4*u + 5*u + 1. Let k be -2 + (4 - 0 - 0). Does 8 divide (-9 - u)*(0 - k)?
True
Let n be (2 - 172)*(-3)/2. Suppose 6*r = 141 + n. Is r a multiple of 11?
True
Suppose 3195 = 15*b - 10*b. Is b a multiple of 50?
False
Let r(n) = -n**3 - 6*n**2 + 4*n - 3. Let g(q) = q + 1. Let c(t) = 3*t + 4. Let u(o) = -2*c(o) + 7*g(o). Let f(p) = -r(p) - 4*u(p). Is 7 a factor of f(-7)?
True
Let u be (-5)/(-20) - 35/(-4). Let c = u + 15. Is 6 a factor of c?
True
Is (-185)/30*708/(-2) a multiple of 11?
False
Let p = 196 - -267. Suppose 4*n + t - p = 0, -5*n - 5*t = 39 - 629. Does 23 divide n?
True
Let f = 181 - 61. Let h be f/28 - (-2)/(-7). Suppose 0 = -8*k + h*k + 256. Is 16 a factor of k?
True
Suppose -2*x + 2 = -x. Is 560/48 + x/6 a multiple of 4?
True
Let v be 16*((-5)/(-2))/5. Suppose 3*x - n = 195, -x + v = -n - 55. Let w = 119 - x. Is 23 a factor of w?
False
Let f(d) = -d**3 + 20*d**2 + 23*d - 30. Let o(g) = g + 10. Let m be o(11). Does 12 divide f(m)?
True
Let m(j) = -j**2 - 8*j + 17. Let c be m(-9). Does 10 divide (177/6)/(4/c)?
False
Suppose 184 = -272*x + 273*x. Is 4 a factor of x?
True
Is (-19195)/(-77) + (-6)/21 a multiple of 3?
True
Suppose -2736 = -98*n + 89*n. Does 14 divide n?
False
Suppose 6*u - 4*u - 4*a = 312, 5*u - 738 = -4*a. Is 10 a factor of u?
True
Let y(s) = -7*s**2 + 7 + 0*s**3 - 2 - 3 + s**3 - 9*s. Let r be y(8). Is r/(-2) + 0 + 65 a multiple of 22?
False
Suppose 1516 - 556 = 12*r. Is r a multiple of 26?
False
Suppose 0 = 4*m - 4*s - 540, 4*m = 43*s - 47*s + 540. Is m a multiple of 45?
True
Suppose 9 = -q + 12. Is -3*(-3)/q + 14 a multiple of 4?
False
Suppose 5*l = 6*l. Suppose p + 23 + 9 = w, 4*w + 2*p - 128 = l. Is 8 a factor of w?
True
Let h = -1337 - -2201. Is 32 a factor of h?
True
Suppose -3*o + 0*l = l - 3, -2*l = -5*o - 6. Suppose o = -10*m + 5*m + 640. Is m a multiple of 32?
True
Let n(b) = 3*b. Let j be n(2). Let c(z) = 2*z**2 - 8*z - 4. Let y be c(j). Is 29 a factor of 416/y*(-10)/(-4)?
False
Let i = 768 - -408. Does 28 divide i?
True
Suppose -i + 15 = 4*i. Suppose 3*j - 5 = -2*j, 11 = i*l + 5*j. Let z(t) = 19*t**2 - 2*t. Does 30 divide z(l)?
False
Suppose 0 = -r + 2*k + 438, 261 = 5*r + 5*k - 1884. Is r a multiple of 74?
False
Let s(c) = -c**2 + 2*c + 201. Let r(g) = g**2 - 3*g + 2. Let p be r(2). Does 11 divide s(p)?
False
Suppose -3*f + 4*f - 5*b - 69 = 0, 66 = f - 2*b. Is f a multiple of 8?
True
Suppose 9*s - 4*s = 2*m + 66, 2*m = -3*s + 30. Does 8 divide s/(-5)*2*-5?
True
Let x = 2011 + -859. Is x a multiple of 24?
True
Let w(x) = 4*x**2 - 10*x. Let c(a) = 7*a**2 - 19*a. Let d(o) = -6*c(o) + 11*w(o). Let v(n) = -n**2 + 8*n - 13. Let b be v(7). Is 13 a factor of d(b)?
False
Suppose -8 - 8 = -4*i. Suppose i*f - r - 11 - 2 = 0, 5*r = 4*f - 33. Suppose 3*v = f*v + 52. Is v a multiple of 13?
True
Is 4 + -2 + 4/1 + 278 a multiple of 45?
False
Suppose 3*b = s - 63, s - 2*b = -2*s + 196. Let m = s + 0. Is 5 a factor of m?
False
Is 12/(-174) + 6272/116 a multiple of 2?
True
Suppose -2*f - t = -560, -4*t - 566 = -2*f - 8*t. Let m = -37 + f. Does 15 divide m?
False
Suppose 8 = 5*z + 5*k - k, 2*z + 4 = 2*k. Suppose z = -3*s + 14*s - 495. Is s a multiple of 45?
True
Let n = 387 - -237. Does 39 divide n?
True
Let z = -320 + 712. Is 56 a factor of z?
True
Let d be ((-741)/52)/(6/(-88)). Suppose -79 - d = -3*c. Is 24 a factor of c?
True
Suppose -4*d = -0*d. Suppose l - 4*l + 6 = d. Suppose -2*p + 4 = c - 2, 5*p + 30 = l*c. Does 10 divide c?
True
Suppose -m + 10 = m. Suppose 3*r + z - 21 = -2*z, -m*r - 4*z = -33. Suppose -r*l + h = 3*h - 68, -l + h = -15. Is l a multiple of 3?
False
Suppose 0 = 4*t - 21 - 15. Is 42 a factor of t/(-6)*1*-140?
True
Suppose 12 = -0*q + 6*q. Let x be q + 13 + 3 - 1. Suppose x*z - 21 = 16*z. Is z a multiple of 8?
False
Let f(h) = 6*h - 6. Let k(j) = 0 - 1 - 4 + 5*j. Let w(z) = -4*f(z) + 5*k(z). Is 3 a factor of w(5)?
False
Suppose -4*o + 7*o - 1032 = -3*g, 5*g = 3*o - 1000. Is o a multiple of 10?
True
Let l(t) be the third derivative of -11*t**4/8 - 3*t**3/2 + 31*t**2. Is l(-3) a multiple of 10?
True
Suppose 2527 = 4*n + 4*m - 765, -n + 815 = 3*m. Is n a multiple of 106?
False
Let k = -2669 + 4338. Suppose -k = -5*m - 124. Is m a multiple of 39?
False
Let g be 1/4 + 90/24. Let i be 0/(3 + -6 + 6). Suppose i = g*w - 22 - 218. Does 14 divide w?
False
Let a(v) = -v**3 - 4*v**2 - 4*v - 1. Let d be a(-3). Let j(o) = 12*o**2 - 12*o**d + o - 28*o**3 + 2 + o. Is j(-1) a multiple of 18?
False
Let o(b) = -136*b**3 + 52*b**2 + 101*b - 1. Is 16 a factor of o(-2)?
False
Suppose 0 = -5*p + 5*k + 5, -7 = -10*p + 5*p + 3*k. Suppose -3*s + p*s = -4. Suppose 0 = -s*u - 4, 2*d + u = 9 + 38. Is 12 a factor of d?
True
Suppose 0 = -s + 2, s - 72 = -4*q + 14. Suppose 5*o - q = 349. Suppose 2*x - o = 18. Is x a multiple of 10?
False
Let i be (-4)/(-4 + 6)*266. Let k = 5 + -10. Does 25 divide (-45)/(-75) + i/k?
False
Let y be 1*(-1)/3 - 50/(-15). Is 31 a factor of ((-18)/(-5))/(-4*y/(-300))?
False
Let p(v) = -2*v + 16. Let f be p(7). Suppose -s + 0*m + 3*m = -67, 0 = -5*s + f*m + 270. Is 16 a factor of s?
False
Let y = -20 + 14. Let b be (2/6)/(1/y). Does 23 divide ((-765)/(-3))/3 - b?
False
Let m = -226 + -37. Let h = 435 + m. Is h a multiple of 24?
False
Let s = 69 + -49. Suppose i - 3*d = s - 5, 5*i + 4*d = 75. Is 15 a factor of i?
True
Let n(s) = 15*s - 34. Let v(w) = -14*w + 33. Let q(o) = -4*n(o) - 5*v(o). Is 20 a factor of q(21)?
False
Let k = 2182 + -1412. Does 14 divide k?
True
Let g = 3603 + -2127. Is g a multiple of 41?
True
Is 39 a factor of ((-316)/16 - -10)*-32?
True
Suppose -v = -5*u + 347, -4*v + 8 + 4 = 0. Let q = u + -48. Is 15 a factor of q?
False
Let h(c) = c**3 + 7*c**2 - 2*c - 10. Let p be ((-4)/8)/(1/14). Let a be h(p). Suppose -2*k - 142 = -a*k. Does 19 divide k?
False
Let g = 11 + -8. Suppose 946 = 5*m - 4*i - 58, 3*m + 2*i = 598. Suppose 0 = q - w - 48, -4*q + m = q + g*w. Is 6 a factor of q?
False
Suppose -59 - 101 = -2*a. Is (84/135 - 8/36)*a a multiple of 16?
True
Let o = 496 + -298. Suppose -5*x - o = -7*x. Does 11 divide x?
True
Let i = 13 + -11. Let w be (-1724)/(-18) - i/(-9). Suppose -3*d = -d - w. Does 22 divide d?
False
Let c be (1 + -1)/3 - 4*-4. Suppose 0 = -2*i + 5*w + 68, c = -0*w - 4*w. Is 9 a factor of i?
False
Is (-9312)/(-264) - 3/11 a multiple of 35?
True
Suppose 116*w = -10*w + 39690. Is 3 a facto