r)?
True
Suppose -7*r = 1758 + 1595. Let w = r + 557. Is w a multiple of 3?
True
Let r(v) = 274*v + 1070. Is 13 a factor of r(23)?
False
Let r(s) = -s**2 - 13*s + 10. Let u = 61 + -70. Let h be r(u). Is (-207)/h*104/(-6) a multiple of 26?
True
Let t = -511 + 228. Is (1 - t) + 9/(-3)*-1 a multiple of 41?
True
Let d be (-1 + -4 - (-147)/(-9))*-87. Let p = d - 1311. Is p a multiple of 36?
False
Suppose 225*i + 29680 = 231*i - 19724. Does 23 divide i?
True
Suppose q - 4*f = -3*q + 1704, f - 1714 = -4*q. Suppose 3*m = 2*z + z + 333, -4*m = 4*z + q. Let p = z + 155. Does 19 divide p?
False
Suppose 2*x - 4*x = o - 6, 24 = 4*o - 5*x. Suppose o = 2*k + 2. Suppose 2*s + 4 = -k, -5*u - 5*s + 185 = 0. Is 9 a factor of u?
False
Let j(x) = -6*x - 16. Let p be j(6). Let o be (2 - 0) + (-1 - p) + 2. Suppose -5*d + 65 = -o. Does 12 divide d?
True
Suppose 2*s - 30 = -v - 0*s, 0 = 5*v + 3*s - 178. Let y = v - -293. Is 14 a factor of y?
False
Let l(i) = 358*i + 39. Let m = -176 - -179. Is l(m) a multiple of 60?
False
Suppose -2*h = q - 3, -q - 50 = 4*q - 3*h. Let l be 3 - q*3/3. Does 9 divide 2/l - (-649)/55?
False
Let a be (-10 + 4 + -6)*(-1)/6. Suppose 3*j = 6*d + 72, 0 = -3*j + a*j + 3*d + 22. Is j a multiple of 2?
True
Let r(n) = 7*n + 31. Let u be (-4)/10 - (-33)/(-5). Let a be r(u). Is ((-39)/(-4))/(a/(-192)) a multiple of 26?
True
Let u(q) = 305*q - 880. Is u(11) a multiple of 55?
True
Suppose x + x - 14 = 0. Let r(u) be the third derivative of u**5/30 - u**4/3 - 5*u**3/6 - 16*u**2. Is 14 a factor of r(x)?
False
Let p = -280 + 794. Suppose 3*b + 2*d - 1664 = -133, -p = -b + 3*d. Is 12 a factor of b?
False
Let j be (-5)/(-6 - -1) - -3. Suppose j*t = 237 - 165. Is t a multiple of 18?
True
Is (6048/(-40) + 7)/(((-8)/(-10))/(-4)) a multiple of 5?
False
Let m(j) = -12*j - 59. Let v be m(-5). Is (-1)/(v*(1 + 5970/(-5965))) a multiple of 19?
False
Let u be (-1)/(-6)*-2 + 10/3. Suppose 7*q - 2*q = u*r + 397, 4 = -r. Does 7 divide q?
True
Let r be 1 + -1 + -2 - (-5180)/5. Suppose 5*n - s - r = 362, 5*n - 5*s - 1400 = 0. Is 17 a factor of n?
False
Let i(k) = 10*k**2 + 66*k - 337. Is i(25) a multiple of 31?
False
Let c(k) = -k - 16. Let j be c(-18). Suppose t + 5*b = -14, -4*t + j - 1 = b. Is t/(-2 + (-215)/(-105)) a multiple of 7?
True
Let x be ((-20)/15)/(8/(-18)). Suppose 0 = 3*u + u - 5*k - 760, -4*k + 380 = 2*u. Suppose q = 2*t + 40, 4*q - x*t - u = -55. Is 3 a factor of q?
True
Let k be (15 + -1)*((-7 - 2) + 448/49). Let d(g) = 2*g + 4. Let z be d(-4). Is ((-35)/k)/(z/8) a multiple of 3?
False
Let a be (1 - 4)*(-2 + (-2 - -3)). Suppose 4*h = a*h + 3. Is 10 a factor of 1/h - (-2299)/33?
True
Let d(y) = 75*y**2 - y. Let m be d(-1). Let g be ((-57)/m)/(-2*6/80). Suppose -343 = -g*t + 357. Is t a multiple of 7?
True
Suppose -n = -2*q - 3, 0*n - 2*n + 12 = 2*q. Let t be 0/((q - 1) + 4 - 3). Suppose -5*z + 271 + 29 = t. Is z a multiple of 9?
False
Suppose -4*w + 3 = -17. Suppose 14*c - 927 = w*c. Is 30 a factor of c?
False
Suppose -p + 3 = -2*p. Let h be (-156 - 2)*(1 - p/(-2)). Suppose 82*x = h*x + 198. Is x a multiple of 33?
True
Let h(d) be the first derivative of 4*d**4 + d**3/2 + d**2 - 10*d + 43. Let r(k) be the first derivative of h(k). Is r(-1) a multiple of 14?
False
Suppose 0 = 4*s + 4 - 0. Let r be (-14)/4*s*44*-1. Is (2 + r/6)/(2/(-6)) a multiple of 10?
False
Let w(v) = 22*v**2 - 408*v - 67. Does 19 divide w(-10)?
True
Suppose -5*i + 5*j = -750, -266 = -5*i - 4*j + 457. Let s = i - -1140. Is s a multiple of 117?
True
Let s(w) = 2*w**2 + 68*w + 69. Let p be s(-33). Suppose 3*h + 5*a = 190, 126 = 5*h - p*h + 3*a. Is h a multiple of 42?
False
Let o(u) = 146*u + 459. Does 9 divide o(18)?
True
Let i = 15 + -11. Suppose -s + 5*s + 248 = -i*x, s = -2*x - 119. Let t = x + 89. Does 4 divide t?
True
Let r be 36/126 - 3190/(-7). Let z = r - 40. Suppose 5*x - 5*g = -g + z, 331 = 4*x - 5*g. Is 17 a factor of x?
False
Let q(o) = 387*o - 485. Does 11 divide q(12)?
False
Let l(q) = 985*q - 4430. Is l(50) a multiple of 180?
True
Suppose 4*w - 16*t - 109120 = -14*t, w - 3*t - 27275 = 0. Is w a multiple of 8?
False
Let l(x) = 51*x**2 + 2*x - 10. Suppose -d - 3*j = -2, -4*d - d + 10 = 2*j. Does 33 divide l(d)?
True
Suppose 74*s = 33*s + 40921 + 28123. Is s a multiple of 34?
False
Let o(p) = 3*p - 22. Let z be 16*1/(-8)*-4. Let i be o(z). Does 17 divide ((-2 - i)*1)/((-5)/30)?
False
Suppose -4*x = 210 - 1374. Is (x/(-9))/((-456)/90 - -5) a multiple of 5?
True
Let f = 60 - -115. Suppose -f = -g + 2*t + 132, 1523 = 5*g + 2*t. Is 44 a factor of g?
False
Suppose 0 = 3*d + 3*s - 1812, -11*d + s + 2401 = -7*d. Is 3 a factor of d?
False
Suppose -44*s - 34*s + 786720 = -18*s. Does 22 divide s?
True
Let o(p) = -p**3 + 40*p**2 - 39*p + 22. Let s be o(39). Suppose -s*w + 13705 = 2243. Is 15 a factor of w?
False
Suppose 5*n - x - 1724 = 0, 0 = 4*n + 7*x - 9*x - 1384. Is 11 a factor of n?
False
Suppose 2*g = 5*l + 7978, 5*g + 5*l = -9027 + 28902. Does 55 divide g?
False
Let h(p) = p**3 + p**2 - 22*p - 4. Let c be h(-5). Let v(m) = -m**3 + 16*m**2 - 27*m - 6. Is 8 a factor of v(c)?
True
Let b(o) = 5*o**2 + 6*o + 3. Let r be b(-2). Suppose -4*p + 613 = -v, -15*v + r*v = 2*p - 302. Does 17 divide p?
True
Let z(r) = 6*r + 48. Suppose 2*j + 0*j = 6*j. Suppose f - 3*w - 15 = j, 2*w - w + 5 = 2*f. Is z(f) a multiple of 12?
True
Suppose 52532 = 4*b + 4*c, 88*c = 3*b + 85*c - 39381. Is b a multiple of 130?
True
Let f = 186 + -382. Let z = 0 - f. Does 49 divide z?
True
Let f(z) = z + 13*z**2 + 2*z**3 - z**3 + 13 + 5 - 5. Let p be f(-13). Suppose 56 = 4*k + 4*c, 3*k + 0*k + c - 32 = p. Is 9 a factor of k?
True
Suppose 0 = 2*y + 3*a + 30, 5*a + 5 = -y - 17. Does 2 divide (-8)/y + (-26)/(-6)?
False
Does 225 divide 9528650/350 - (76/28 - 3)?
True
Let s be ((-4)/(-10))/(4/20). Suppose -s*r = -7*r + 270. Suppose p - z = -0*p + r, -4*p = 4*z - 224. Is 34 a factor of p?
False
Let g(a) be the third derivative of -a**6/120 - a**5/6 - a**4/24 - 5*a**3/3 - 19*a**2. Let l be g(-10). Suppose 120 = 5*d - l. Does 5 divide d?
False
Suppose -26*a + 264900 = -43*a + 42*a. Does 6 divide a?
True
Let s = -38968 + 57048. Does 226 divide s?
True
Let f(l) = 38*l + 5. Let p be f(1). Suppose -230 + p = -q. Let t = q + -127. Is 4 a factor of t?
True
Let u = -9 - -3. Let k(r) = 3*r**2 + 30*r + 5. Let s(j) = 2*j**2 + 28*j + 7. Let m(g) = 7*k(g) - 6*s(g). Is 3 a factor of m(u)?
False
Let m = 605 + 933. Does 2 divide m?
True
Let t(o) be the second derivative of 11*o - 7/6*o**3 + 13*o**2 + 0. Does 17 divide t(-6)?
True
Let x be 2/((-4)/2) + 457. Suppose -10*f = -x - 1984. Let b = -74 + f. Is b a multiple of 36?
False
Let u(z) = 16*z**2 + 4*z - 4. Let m = -26 + 49. Let k = 26 - m. Does 27 divide u(k)?
False
Suppose i = -0*i - 2*r, 3*i - 5*r = 0. Suppose -23*m + 26*m - 1815 = i. Is 29 a factor of m?
False
Let b(l) = l + 1. Let y be b(-1). Suppose y = -5*q + 107 + 413. Suppose 0 = -5*f - 2*d + 102, 5*f - d = -5*d + q. Is f a multiple of 5?
True
Let w(s) = s**2 + s. Let i(y) = -7*y**2 - 39*y - 40. Let l(z) = -i(z) - 6*w(z). Is l(-37) a multiple of 47?
True
Let s be (-2)/(-6) - (-1160)/(-24). Let j = -7 - s. Let n = j - 1. Does 23 divide n?
False
Is 62 a factor of (-8355)/(-18) + 6/(-36)?
False
Suppose a = 5*i + 66, a = 3*i - 2*i + 58. Let j = -205 + 244. Suppose -4*s + 2*h + a = 0, 3*s = -h + 4*h + j. Is 11 a factor of s?
False
Let o = -967 - -1704. Let g = o + -497. Is 12 a factor of g?
True
Let h be ((-1)/(-1) + -2)*50/(-10). Suppose 4*z = h*t + 63, -4*t - 4*z + 9 = 45. Let s = t - -36. Is s even?
False
Suppose 3*m - 4*r + 3*r - 8 = 0, -m + 2*r + 1 = 0. Suppose g = 5*x + 24 + 24, m*g + 3*x - 198 = 0. Is 7 a factor of g?
True
Let r be (1 + 9/(-6))*(3 - 9). Let g(k) = -7*k - 9*k + 15*k - r*k + 3. Is 15 a factor of g(-18)?
True
Suppose 2*w - 1276 = -4*o, 610 = w - 773*o + 768*o. Does 35 divide w?
True
Let i(f) = f**3 - 49*f**2 + 5*f + 247. Does 2 divide i(49)?
True
Suppose 27*q - 301747 = 18041. Does 94 divide q?
True
Let j be (5/4)/((-2)/(-8)). Let r be (-1152)/(-42) + (1 - 10/7). Suppose -104 = -4*k - j*b - r, k = b + 8. Does 13 divide k?
True
Let a be (-78)/(-9)*36/2. Let p = -153 + a. Is 2 a factor of p?
False
Let v(m) = 690*m**2 - 57*m + 109. Is v(2) a multiple of 8?
False
Let a = 225 - 121. Suppose -2*p + p + a = 0. Does 26 