/1) + r?
True
Suppose -52*d - 503 = -80895. Is 46 a factor of d?
False
Suppose -855 = 6*m - 9*m. Suppose -6*z = -z - m. Is z a multiple of 8?
False
Let j(q) = -2*q**3 - 23*q**2 - 10*q - 3. Does 11 divide j(-13)?
False
Suppose c - 16 = 28. Let t = c - 26. Is 9 a factor of t?
True
Suppose f - 10 = -3*r - 2, -2*r + 2*f + 16 = 0. Suppose -5*o + 6 = 3*l, -r*o - l + 2 + 0 = 0. Suppose 0 = i + 2, 4*q - 3*q - 4*i - 15 = o. Is 2 a factor of q?
False
Let s = 9 - 13. Let z be 38/14 - s/14. Suppose -5*k = -z*u + 145, -5*u = 4*k - 187 - 30. Does 20 divide u?
False
Is (222/(-4))/(27/(-216)) a multiple of 74?
True
Suppose 4*n + 37 = -23. Let s(i) = -2*i - 22. Is s(n) a multiple of 2?
True
Suppose 3*z = -4 + 16. Suppose -x - 5*n = -17, z*n = -x + n + 11. Suppose -2*b + 102 = 5*g, g = -x*b - 2*b + 168. Is b a multiple of 17?
False
Let w = -48 - -69. Suppose 0 = -3*n - 33 - w. Let z = 49 + n. Does 15 divide z?
False
Let z be ((-1)/(-1) + -18)/(-1 - 0). Suppose z*m - 200 = 15*m. Does 35 divide m?
False
Let p be ((-12)/(-10))/((-8)/(-40)). Suppose p = -5*m - 4. Let r(i) = -10*i - 5. Is 5 a factor of r(m)?
True
Suppose 4*y = -y - 3*d + 10, -y = -3*d - 2. Is 2 a factor of y*(2 + 0) + 3?
False
Let b = -56 - -61. Suppose n - 388 = x - b*x, 80 = x - 4*n. Is x a multiple of 7?
False
Let y = -3326 + 3821. Does 20 divide y?
False
Is 4 + 3066/18 - 6/18 a multiple of 9?
False
Let b(g) = -g + 10. Let l = 17 - 33. Is 13 a factor of b(l)?
True
Suppose 0 = -3*l + 59 - 20. Suppose c + 3 + 1 = -w, -l = 2*c + w. Is -5 + 3 - (c + 3) a multiple of 4?
True
Let n = 1008 - 1524. Does 4 divide (-2)/(-13) + n/(-26)?
True
Suppose 8*o - 4*h - 578 = 3*o, -2*h = -6. Suppose -4*y = -9*y + 20. Suppose i + y - o = 0. Does 32 divide i?
False
Let d(l) = 13*l + 9. Let y(x) = 12*x + 8. Let j(i) = 3*d(i) - 4*y(i). Is 4 a factor of j(-3)?
False
Let x be 38/6 + 12/(-9). Suppose -x*v + v = -z + 48, 177 = 5*z + v. Is 18 a factor of z?
True
Let s = -949 - -951. Let f(g) be the third derivative of 13*g**4/24 - 2*g**3/3 + g**2. Does 11 divide f(s)?
True
Suppose -2*o - p + 23 = 0, 6*p + 8 = 2*o + 2*p. Suppose 5*k - o*k + 480 = 0. Is 12 a factor of k?
True
Suppose -134 = -2*q + 3*y, y - 46 = -3*q + 133. Let v = q - 40. Is 7 a factor of v?
True
Let m = 168 - 166. Let h(a) = 12*a**2 - 3*a + 2. Does 5 divide h(m)?
False
Suppose 0*w + 4*w = 0. Suppose -7 = 4*i + 5*a, i - 3*a + 6*a + 7 = w. Let l = i - -16. Is l a multiple of 17?
False
Let a = -77 - -126. Is a a multiple of 14?
False
Let m(g) = -2*g**2 - 17*g + 10. Let a be m(-7). Suppose 0 = 5*w - 25, -5*y - w + a = -9. Does 4 divide y?
False
Let l be (13 + -6)*(-4)/(-7). Let k = l - -61. Let n = 117 - k. Is 7 a factor of n?
False
Let f be -5 + 8 + 15/5. Let p(m) = 3*m**3 + 2*m**2 + 2*m - 5. Let b(u) = -4*u**3 - u**2 - 2*u + 6. Let t(q) = 4*b(q) + 5*p(q). Does 5 divide t(f)?
False
Let p = 320 - 173. Let x = p + -54. Is x a multiple of 34?
False
Suppose -1140 = -11*u + u. Suppose -x - 3*a + u = 0, -10*a + 7*a + 342 = 3*x. Is 30 a factor of x?
False
Let i = -293 + 813. Does 15 divide i?
False
Suppose 0*z - z + 71 = -5*x, -5*x - 127 = -2*z. Let h = z - 35. Is h a multiple of 10?
False
Let x(h) = h + 11. Let v be x(-7). Let i(l) = 3*l**2 + 4*l - 7. Let m be i(v). Suppose -3*o + 3*p + m = -p, -o = -p - 18. Does 8 divide o?
False
Suppose -4*w - 248 = -4*a, -167 = -3*a + 2*w + 15. Let b = a - -26. Is b a multiple of 15?
False
Let b = -13 - -56. Suppose -217 = -4*l - 5*f, 0 = 2*l - 4*f - b - 59. Does 12 divide l?
False
Let q = -13 + 14. Let n be (q - -1) + (1 - -1). Suppose 5*f - 38 = n*f. Is f a multiple of 7?
False
Suppose -3*q + 843 - 117 = 4*s, -2*s + 356 = -2*q. Let r be ((-30)/(-9))/((-8)/s). Let a = -8 - r. Does 18 divide a?
False
Let v be 15/1*20/15. Does 7 divide (v - 24)*3*-2?
False
Is ((-30)/5)/2 - (-5 - 331) a multiple of 9?
True
Let i = -902 - -2455. Does 17 divide i?
False
Suppose 15 = -11*p + 37. Let a(n) = 32*n - 4. Is a(p) a multiple of 4?
True
Suppose -4*l = 0, 0*m = 2*m - 3*l - 644. Does 14 divide m?
True
Let p be (1 + -1)/(4 - 5). Suppose -3*y + 46 + 284 = p. Does 11 divide y?
True
Let b = 42 + 1578. Is 60 a factor of b?
True
Let w(n) = n**2 + n - 2. Let k be w(1). Suppose 0 = -4*t - 2*d + 556, k = 5*t + 4*d - 3*d - 698. Does 20 divide t?
True
Suppose 4*s + 132 = 10*s. Suppose 225 = 5*o + 5*c, -4*c = -2*o + s + 86. Is o a multiple of 4?
True
Suppose r - 515 = -i + 6*i, 1610 = 3*r - 2*i. Is 30 a factor of r?
True
Suppose -d = i - 187, -7*d + 5*i + 217 = -6*d. Is 12 a factor of d?
True
Let y(k) = -121*k + 36. Let u(x) = 303*x - 87. Let z(l) = 5*u(l) + 12*y(l). Let o(s) = s**3 - s**2 + s. Let g be o(1). Is z(g) a multiple of 30?
True
Let u(n) = -4*n + 9. Let d(b) = -7*b + 18. Let t(z) = -3*d(z) + 5*u(z). Let r be t(11). Is 15 a factor of -3 - (0 + (r - 60))?
False
Suppose -2*y = -4*c - 4822, y + 16*c - 11*c - 2383 = 0. Does 27 divide y?
True
Suppose -2*a - 371 = -3*a. Does 7 divide a?
True
Suppose a + 6 = -a, -3*z + 2*a + 9 = 0. Let d(c) = 160*c**3 + 1. Let i be d(z). Suppose -3*t + 153 = 3*w, -3*w + i = -0*w - 5*t. Is w a multiple of 24?
False
Suppose 13*q = 36*q - 5658. Does 3 divide q?
True
Suppose 12*o - 232 = 32. Is 20*(-3 - o/(-4)) a multiple of 5?
True
Suppose 0 = -a - 4*a - 2*z + 4618, -4*a + 3684 = -z. Is a a multiple of 12?
False
Suppose f - 641 = -3*h, 8*f = -5*h + 3*f + 1085. Does 53 divide h?
True
Suppose -6*q = -2*q + 36. Let v = q + 8. Is 55 - -2 - (-3)/v a multiple of 18?
True
Let m(l) = l - 7. Let z be m(5). Let k be 40/30*21/z. Let c = k - -22. Does 8 divide c?
True
Let q = -1 + 45. Suppose q*v = 42*v + 166. Is v a multiple of 24?
False
Let h = -270 + 474. Does 8 divide (-1)/((-1 - h/(-201))/(-1))?
False
Suppose 0 = 2*b - 3*j - 1160, -7*b + 5*j = -10*b + 1740. Is b a multiple of 20?
True
Suppose 4*n - r = 31, 0*n + r + 13 = 2*n. Let a(v) = -v**2 + v + 4. Let w be a(6). Let j = n - w. Is 24 a factor of j?
False
Let a be (2*(-1)/8)/((-3)/564). Let v = 1 - 3. Let r = v + a. Is 12 a factor of r?
False
Suppose 58*s - 70*s = -1080. Does 10 divide s?
True
Suppose 305 = -2*v + 3*v. Let i = v - 218. Is i a multiple of 19?
False
Let u = -239 - -631. Is 7 a factor of u?
True
Let w = 8 - 1. Let g = w + -5. Suppose g*i - 111 = -i. Does 12 divide i?
False
Let x(k) = -1103*k - 6. Let n be x(-2). Suppose 29*d - n = 18*d. Is d a multiple of 26?
False
Suppose -3*g + 7*g = 20, 0 = p + 2*g - 253. Let z = -90 + p. Is 12 a factor of z?
False
Let h be -1 + (-1 - 0 - -7). Let q(v) = -7*v - 262. Let j be q(-38). Suppose h*r - j*r - 24 = 0. Is 8 a factor of r?
True
Let o(u) = -1. Let v(m) = 9*m**2 - 11*m + 15. Let z(n) = 3*n**2 - 4*n + 5. Let r(a) = -6*v(a) + 17*z(a). Let f(p) = 4*o(p) - r(p). Is 17 a factor of f(2)?
True
Let s(j) = j**3 - 10*j**2 - 50*j + 51. Is 72 a factor of s(17)?
True
Suppose -40 = -13*g + 23*g. Let m(s) = s + 28. Does 24 divide m(g)?
True
Does 49 divide 781/4 - 33/(-176)*4?
True
Let o be 267 - 2 - (-2 - -6) - 1. Suppose -7*u + 2*u + o = 0. Does 13 divide u?
True
Let y = 30 - 28. Suppose -61 = -y*h - 5*j, 0 = 4*j + 12. Is h a multiple of 9?
False
Let j(t) = t + 18. Let u = 28 + -28. Is j(u) a multiple of 5?
False
Let c(d) = 216*d**2 - 9*d + 9. Is c(3) a multiple of 107?
True
Let b be (-1)/(-4) + (-140)/(-80). Suppose 5*k - 150 = -5*n + 90, 3*k = b*n + 149. Does 17 divide k?
False
Is 46 a factor of ((-12530)/(-12))/7 + (-27)/162?
False
Suppose -37*d = -51*d + 60270. Does 123 divide d?
True
Let w(r) = -440*r + 390. Is w(-7) a multiple of 10?
True
Suppose -2*k - 189 = -v + 332, -5*k = 4*v - 2123. Is 12 a factor of v?
False
Let d be (-5592)/(-28) + 6/21. Suppose 0*i - 8*i = -d. Does 12 divide i?
False
Suppose 5*w + 4*o - 14478 = 0, 12*w - 2892 = 11*w - 2*o. Is 134 a factor of w?
False
Does 10 divide 92/8 + (-3)/2?
True
Let z be (5/5)/(3/(-228)). Suppose 1 - 49 = 3*c. Let o = c - z. Is o a multiple of 30?
True
Does 9 divide (44 - -41)*(-68)/(-10)?
False
Suppose 5*s - 73 = 12. Is 0/3 + s + 2 a multiple of 3?
False
Let k = 25 + -12. Let j(n) = -9*n + 11*n**2 + 3*n**2 - 16 - 2*n**3 + n**3. Is j(k) a multiple of 12?
True
Suppose -5*d = -7066 + 2201. Is d a multiple of 49?
False
Suppose 8*b + 1480 = 10*b. Is 37 a factor of b?
True
Let z = 56 - 40. Let u be (62/3)/(z/(-24)). Let v = 79 + u. Is 12 a factor of v?
True
Let s(d) = 8*d**3 - 12*d**2 