4*h + h, -44 = -q + 3*h. Is q a multiple of 11?
False
Suppose -3*k + 0 - 18 = 0. Let d = k - -10. Is (-115)/(-10) + 6/d a multiple of 13?
True
Is 105 + (-4 - -2) + 3 + 0 a multiple of 5?
False
Let o(f) = 16*f. Let h be o(-1). Let r be (3 - (-108)/h)*4. Is 4 a factor of 140/r*(-6)/4?
False
Suppose 11*b = 8*b + 2700. Is b a multiple of 49?
False
Does 13 divide (12 + 1)/((-3)/(-45))?
True
Let j = 206 - 104. Suppose -7*d + d + j = 0. Is d a multiple of 3?
False
Suppose 0 = -2*g + 10, -3 = 3*l - 4*g + 29. Let n = l + 14. Suppose -8*d - 108 = -n*d. Is 18 a factor of d?
True
Let y be (0 - -312) + -12*(-7)/28. Let c = -210 + y. Is c a multiple of 20?
False
Suppose -10*m + 6*m + 13 = 3*i, -4*m + 16 = 4*i. Suppose -i*q - 64 = -859. Is 53 a factor of q?
True
Let t be -12*(-6)/9*6/24. Suppose -2*h + 23 = 5*v - 135, -2*h + t*v + 172 = 0. Is h a multiple of 8?
False
Let q(y) = -4*y**2 - 2. Let i(z) = -8*z**2 + z - 4. Let m(b) = -3*i(b) + 5*q(b). Is m(3) a multiple of 19?
False
Let f(w) = 10*w**2 + 15*w - 39. Let r be f(7). Suppose -7*c = -3*c + 3*j - 753, -3*c - 4*j + r = 0. Does 48 divide c?
True
Let a be (76/(-8))/(2/(-24)). Suppose 3*z - 67 = -2*k, -a - 14 = -4*k - 4*z. Is 12 a factor of k?
False
Suppose -575 = -2*i - 5*r, 5*r = 4*r - 1. Is 29 a factor of i?
True
Does 15 divide -668*-2*(-3)/(-8)?
False
Let k(x) = -81*x + 39. Is 18 a factor of k(-15)?
False
Let m = 264 - 222. Is m a multiple of 14?
True
Suppose -3 = -o - 0, n + o = 284. Is 14 a factor of n?
False
Suppose -31 - 261 = -5*z + o, -o = -3. Is z a multiple of 26?
False
Let o(y) = 3*y**2 - 12*y + 19. Does 2 divide o(8)?
False
Suppose -801 = -5*w - t, 138 = w - 5*t - 17. Suppose -28 = 2*o - w. Is 16 a factor of o?
False
Let g(q) = 6*q - 128. Is g(27) a multiple of 34?
True
Suppose -2*z = -b - 7, -5 = 5*z + 4*b + b. Suppose -63 = -3*t - 4*l + 14, -4*l - 78 = -z*t. Is t a multiple of 16?
False
Let q = -26 + 61. Let x(h) = -h - 3. Let m be x(-3). Suppose b + 4*c = 0, m = -b - 0*c + 3*c + q. Does 5 divide b?
True
Let v be (-44)/(-3)*(-18)/12. Suppose 0*i = -3*i - 156. Let j = v - i. Is 10 a factor of j?
True
Let l = 105 - 35. Does 5 divide l?
True
Let p(h) = -h - 1. Suppose 0*y - 3*l + 38 = -2*y, 0 = -5*y + 2*l - 117. Is 24 a factor of p(y)?
True
Suppose -6*r = -2*r - 3*j - 1107, -4*r + 1102 = 2*j. Let h be (-1)/(3/(-6)) - 2. Suppose t + 2 = -3, -4*x - 4*t + r = h. Is 13 a factor of x?
False
Let z = -135 + 246. Suppose -u + 3*c + z = 7*c, c + 91 = u. Suppose -5*p + t + 198 = 0, u = 3*p + 4*t - 33. Does 8 divide p?
True
Suppose 29*l - 2445 = 24*l. Does 10 divide l?
False
Let o(d) = -14 - 1 + 2*d**2 + 8 + 4 - 31*d. Is 24 a factor of o(17)?
True
Let y = 421 + -286. Does 17 divide y?
False
Let w = 5 + 2. Let g(r) = -r**3 + 6*r**2 + 8*r - 5. Let s be g(w). Suppose -s*n - 3*n + 60 = 0. Is 3 a factor of n?
True
Suppose 5*u + 0*u = 2480. Suppose 4*h = c + 33 - 145, -4*h - u = -5*c. Is c a multiple of 16?
True
Suppose 14 = 8*i - 122. Let s = -2 + i. Does 3 divide s?
True
Let b(a) = 793*a**3 + 14*a**2 - 16*a + 1. Does 36 divide b(1)?
True
Is 38 a factor of (-325)/(-13)*5/1?
False
Let r(w) = 6*w - 10. Let x be r(9). Suppose -4*n - x = -204. Is 10 a factor of n?
True
Let h = 512 - 409. Is h a multiple of 2?
False
Let b(r) = -r**3 - 49*r**2 - 106*r + 168. Is 23 a factor of b(-48)?
False
Let t(u) = u**3 + 37*u**2 - 25*u - 148. Is 21 a factor of t(-37)?
True
Does 24 divide -128*3*((-10)/(-4) - 3)?
True
Let p = 141 - -49. Is 11 a factor of p?
False
Let a = -232 - -256. Does 2 divide a?
True
Suppose 0 = p - 3*n - 74, -2*n - 1 - 77 = -p. Suppose 9*a = 310 + p. Does 22 divide a?
True
Is 320*(-13)/(585/(-126)) a multiple of 11?
False
Let s = -3716 - -9216. Is s a multiple of 25?
True
Let d(f) = -62*f - 252. Is d(-17) a multiple of 11?
False
Let w(q) = 835*q**3 + 4*q**2 - 2*q + 1. Is w(1) a multiple of 23?
False
Let o = 880 + -308. Is o a multiple of 11?
True
Let b(r) = r**2 - 8*r + 16. Let q be b(7). Suppose -3*j + q = 0, 192 = 5*z - j - 0*j. Does 4 divide 345/z + (-8)/(-52)?
False
Let p(y) = -y**2 + 10*y - 11. Let k be p(8). Let n be 4/(-10) - (-27)/k. Suppose n*i = 4*z - 161, 3*z - 85 - 37 = 4*i. Is z a multiple of 17?
True
Suppose -3*h - 5*c = 6, 3 = -h - c - c. Suppose 4*b + 69 = 2*o - b, h*b - 157 = -5*o. Is 6 a factor of o?
False
Let z be ((-4)/(-10))/(-6 + (-9755)/(-1625)). Let s = -76 + z. Is 12 a factor of s?
False
Let p(q) = -7 + 9*q**3 + 2*q**2 + 6 + 1. Is 20 a factor of p(2)?
True
Let w(p) = 7*p + 2. Let m be w(-2). Let x = -18 - m. Let t = x + 17. Is t a multiple of 4?
False
Suppose 57*h - 342 = 39*h. Is h a multiple of 19?
True
Let c = -38 - -168. Suppose -14*r + 16*r = c. Is r a multiple of 13?
True
Suppose -b + 0*b = -2. Suppose b*m - 4*l - 10 = m, -l + 6 = 4*m. Suppose 3*r + 2*g - 105 = -m*g, -4*r - 4*g + 144 = 0. Is r a multiple of 13?
True
Let f be (-5)/((-150)/(-12)) - 16/10. Is (2 - 1)/(f/(-282)) + -2 a multiple of 36?
False
Let f(j) = 83*j + 3. Let d be f(2). Let g = -99 + d. Does 14 divide g?
True
Let l = 42 - 41. Is 4*l + (-357)/(-17) a multiple of 10?
False
Let j = 9 + -21. Let q be (-2266)/(-143) + (-2)/(-13). Let a = q + j. Is 3 a factor of a?
False
Let n = 3 - 5. Let s be (-17 - (n + 5)) + 1. Let d = 33 + s. Is d a multiple of 7?
True
Let o(i) = 46*i - 5. Let r be o(2). Let l = r - 58. Does 29 divide l?
True
Suppose -3*s + 4*a = -0*s - 746, -5*a + 236 = s. Is 40 a factor of s?
False
Suppose 5*y = -5*d + 35, 4*y + 0*d = 5*d + 19. Let n(l) be the first derivative of 5*l**2/2 - 8*l - 66. Is n(y) a multiple of 11?
True
Let p(c) = c**2 - c - 6. Let v be -10 + (2 - 2 - -3). Let m be p(v). Is 30 a factor of 4480/m - (-4)/10?
True
Let c = 315 + 487. Is 8 a factor of c?
False
Suppose 29866 = 16*r - 35190. Is r a multiple of 107?
True
Is -297*7*(-15)/15 a multiple of 33?
True
Suppose 11*r + 762 = -1174. Let w = r + 428. Does 12 divide w?
True
Suppose 0 = -6*c + 70 + 266. Does 17 divide c/2 - 14/7?
False
Let j be (-42 - 2)/(-4)*1. Suppose 3*k = -3*b + 162, -3*k + j*b + 162 = 6*b. Does 6 divide k?
True
Suppose 4*h - 400 = -2*x + 2*h, 365 = 2*x - 5*h. Is x a multiple of 24?
False
Suppose -175 = -5*w - 3*g, 2*g = 6*w - 2*w - 140. Does 7 divide w?
True
Is 7 a factor of (4/6)/(4/888)?
False
Suppose 0 = 3*q - 5*i + 52, 2*q + 3*q + 60 = 3*i. Let a be 24/q*(-2 - 10). Let p = -14 + a. Is 9 a factor of p?
True
Let r = 57 - 54. Suppose 0 = 4*i - 0*i - 5*z - 104, r*i + 2*z - 101 = 0. Is i a multiple of 6?
False
Let a(f) = 3*f**2 + 9*f + 2. Suppose -2*r + 0*r - 8 = 0. Is a(r) a multiple of 10?
False
Suppose -3*t - 15 = 2*t, g - 5*t = 138. Suppose 5*y + 6*c - 2*c = g, y = 3*c + 36. Does 11 divide y?
False
Let q(u) be the first derivative of 2*u**3/3 - 7*u**2 - 4*u - 19. Is q(-3) a multiple of 56?
True
Let l = 32 - -52. Is 21 a factor of l?
True
Let i(m) = -4*m - 42. Is i(-25) a multiple of 28?
False
Let f be (-28)/(-6) + 8/(-12). Suppose f*o = 8*o + 136. Let n = 20 - o. Is 27 a factor of n?
True
Suppose b = -4*r + 17, 20 = r - 6*b + b. Let f(d) = 7*d - 4. Let g(c) = -36*c + 19. Let n(t) = 11*f(t) + 2*g(t). Does 12 divide n(r)?
False
Let t = 255 + 973. Is 98 a factor of t?
False
Let u = 196 - -388. Let y = u - 406. Suppose 3*h - y = -5*o, -6*o = h - 2*o - 50. Is h a multiple of 10?
False
Suppose -3*s + 7 = q, -q = s + 4 - 5. Suppose -s*g + 120 = 3*g. Does 10 divide g?
True
Let y(j) = j**3 - 3*j**2 + 4*j + 6. Let d be y(5). Let h = 20 + d. Does 16 divide h?
True
Suppose -d = -2*d + 252. Suppose 2*u - 35 = -3*u. Suppose -d = -10*y + u*y. Is 31 a factor of y?
False
Suppose -140 = -9*h + 2*h. Is 10 a factor of h?
True
Suppose 55*x = 51*x + 292. Does 4 divide x?
False
Let x(n) = 13 - 4*n + n**3 + 8*n**2 + 4*n**2 - 5*n. Let i be x(-12). Suppose -5*w = 3*t - 179, 2*t = -3*w - 3 + i. Is t a multiple of 24?
False
Let u(g) be the third derivative of -g**5/60 + g**4/12 - 2*g**3/3 - 3*g**2. Let a be u(4). Is 13 a factor of 30/a*-5*2?
False
Suppose 0 = -5*a - 0*a + 15. Suppose -a*p - 2*p - 10 = 2*t, -4*t - 2*p = -12. Let g(n) = n**3 - 3*n**2 + n - 2. Is 9 a factor of g(t)?
False
Let w be 10/8 + -2 - (-108)/16. Let b(n) = 3*n**2 - 8*n - 5. Let j be b(-5). Suppose -w*m + j = -m. Is 15 a factor of m?
False
Let b = 294 + -78. Does 36 divide b?
True
Let y(i) = 3*i**2. Suppose 0 = 2*g + 2*f + 2, -g + 7 = 2*g - 2*f. Let j be y(g). I