 - 223797 = 0. Does 7 divide f?
False
Suppose -3*b = -2*w + 74, -75*b + 74*b - 4*w = 20. Let y be (0 + -3)*2/(-6). Is y/(-2)*2928/b a multiple of 11?
False
Let s be -12 + 7 - -6 - (0 - 4). Suppose -s*w + 3*t + 1256 = 0, 0*w - t = -w + 252. Does 10 divide w?
True
Let u = -302 - -305. Suppose o - 19 - 23 = 0. Suppose -5*z + 25 = 2*t, -t + u*z = -4*t + o. Is t a multiple of 3?
True
Suppose 6*f - 157 = 65. Suppose 3*p = 4*v + f - 5, -4*v = -4*p + 36. Suppose 409 = 4*i + 5*q, p*i + 0*i = 2*q + 374. Is i a multiple of 8?
True
Suppose 3*h - 3*l + 8*l - 172 = 0, 0 = 4*h + 5*l - 236. Let r(q) = 53 - 3*q - 9*q - h - 3*q. Is r(-3) a multiple of 17?
True
Suppose 0 = 18*i - 2558 + 110. Suppose -57 = r + g, 0 = -g + 4*g. Let h = i + r. Is h a multiple of 32?
False
Suppose c - 6214 = -2*q - c, -5*c - 9305 = -3*q. Is 45 a factor of q?
True
Let w(y) = -y**2 - 18*y + 42. Let v be w(-20). Let j(l) = 49*l**3 - 46*l**3 - 4*l**2 - 10*l + 2*l**v + 10. Is j(3) a multiple of 14?
False
Suppose 2*o - 17*p - 26322 = -16*p, 3*o - 39465 = -3*p. Is 114 a factor of o?
False
Let y = -320 - -410. Suppose 0 = 101*b - y*b - 176. Does 4 divide b?
True
Suppose 44*t - 39*t - 5120 = 0. Let m = t - 247. Does 24 divide m?
False
Suppose -15928 = -8567*m + 8559*m. Is m a multiple of 11?
True
Suppose 0 = 5*m + l - 38415, 5*m - 14054 = 5*l + 24391. Does 9 divide m?
False
Let t(r) = 613*r**3 + 2*r**2 - 3. Is t(1) a multiple of 109?
False
Does 11 divide (-8178)/(-4) - 144/(-96)?
True
Let q(y) = 6*y**2 - 12*y - 2. Let d be q(2). Does 5 divide ((-18)/2)/(d - 28/(-16))?
False
Let s be (0 - -6)/(7/((-525)/(-6))). Let b = 181 + s. Is b a multiple of 32?
True
Let n = 37 - -18. Let i = n + -43. Let m = i + 3. Is m a multiple of 15?
True
Suppose -2157 - 587 = -7*y. Is 4 a factor of y?
True
Suppose 0 = -50*b - 116*b + 656527 + 18927. Is b a multiple of 4?
False
Let h = 20 + -14. Is ((-14)/h + 1)*(-3402)/84 a multiple of 9?
True
Let j = -369 + 374. Suppose j*t + 12672 = 38*t. Is 68 a factor of t?
False
Let y(z) = 14*z**2 - 17*z + 48. Let f be y(3). Suppose 7*u - 2482 = -f. Is u a multiple of 7?
False
Suppose l + 4*y + 24 = 3*l, 20 = 5*l - 2*y. Suppose 2*o - o = 5*s + 18, 20 = 3*o + l*s. Suppose 315 = o*i - i. Does 15 divide i?
True
Suppose 30679 = 40*v + 9399. Does 76 divide v?
True
Let c = 3102 - 2965. Let q be (0 + 1/(-2))*-494. Let t = q - c. Is t a multiple of 33?
False
Let d = -73452 - -105012. Is d a multiple of 10?
True
Let p(v) = 65*v**2 + 7*v + 8. Let x be p(4). Suppose -4*a + x = -4*c - c, 0 = -2*a + c + 532. Is 6 a factor of a?
True
Let a(g) be the first derivative of g**4/12 - g**3/6 - 2*g**2 - 16*g - 8. Let n(k) be the first derivative of a(k). Is 8 a factor of n(5)?
True
Suppose 0 = 29*q - 80052 - 790101 - 218739. Does 126 divide q?
True
Let r be (-2)/6 - 2/9*-87. Let a(w) = 8*w - 51 - 11*w + 66*w - r. Does 28 divide a(6)?
True
Let t be -1*(48/18)/4*-3. Suppose -5*w - 538 = -2*f, -t*w = 4*f - 0*w - 1124. Is 9 a factor of f?
True
Let y(x) = 1665*x**3 - 7*x**2 + 7*x - 1. Is 8 a factor of y(1)?
True
Let c be (-13 - 30/10)*-71. Suppose -23*p + c = -1923. Is p a multiple of 14?
False
Let t be 5 + -4 - (-12)/3. Suppose v - 165 = a, 132 + 673 = 5*v + t*a. Suppose 5*q - v = -23. Is q a multiple of 4?
True
Let k(f) = 3630*f**2 + 2. Let s be k(1). Suppose 46*i - 62*i = -s. Does 5 divide i?
False
Suppose 0 = -5*a + 18*h - 20*h + 53633, -3*h = 3. Is a a multiple of 111?
False
Suppose -2*b - 3*u = -35555, -301*b + 3*u = -296*b - 88898. Is b a multiple of 107?
False
Let t = 9764 - 6839. Is 41 a factor of t?
False
Let n(r) = 192*r - 410. Is n(3) a multiple of 52?
False
Let a(m) = 6*m**2 + 46*m - 17. Let p be a(-12). Suppose 0*f + 4*f - 5*r - 1095 = 0, -3*r + p = f. Is 40 a factor of f?
True
Let m = -12822 + 21079. Is 23 a factor of m?
True
Let d(n) = -16*n**3 - 3*n**2 - 6*n - 6. Let t be d(-3). Suppose 4*c = 4*w + 1164, 2*w + 455 + t = 3*c. Suppose -4*q + c = q. Is q a multiple of 5?
False
Let o be 791/7 - (-1 + -1). Suppose -2*u + 789 = 5*v, -4*v - u = -2*u - 626. Suppose 3*i + 2*l = 262, -3*i - 4*l + o = -v. Is i a multiple of 21?
True
Let c be (-7 - (-16)/4)/(5/(-5)). Suppose 0 = -6*w + 2*w + 448. Let t = c + w. Is t a multiple of 10?
False
Suppose 10*q - 13251 = -1001. Is 18 a factor of q?
False
Is ((-24)/(-10))/((-81)/(-8775)) a multiple of 13?
True
Suppose 7*j - 36 = 3*j. Suppose -2*a = -5*g + 40, -j = g - 3*a + 6*a. Does 5 divide g/10 - (-496)/40?
False
Suppose 19*z + 4814 = 38729. Suppose 1374*n = 1371*n + z. Is 35 a factor of n?
True
Let s = -98 + 47. Suppose -5*x - z = 23, 4*z - 7 - 1 = 0. Let t = x - s. Is t a multiple of 16?
False
Let c(x) = 5*x + 17. Let v be 18/(-5) + 4/(-10). Let i be c(v). Does 20 divide 19/i*9/(-1) - -1?
False
Is 7 a factor of (-3 - 5 - -7)*217*-19?
True
Suppose -7*v - 4*v + 132 = 0. Let t(m) = -m**3 + 13*m**2 - 7*m - 12. Let n be t(v). Suppose n = 5*j - 4*j. Does 24 divide j?
True
Let a = -81 - -79. Is (258762/(-49))/(-6) + a/14 a multiple of 16?
True
Let z(a) = 57*a**2 - 3*a - 7. Let o be z(-3). Let g = o - 342. Suppose 4*j - 5*i = g, j + j = i + 85. Is j a multiple of 14?
True
Suppose -5*x = 4*x + 2516 - 46625. Is x a multiple of 31?
False
Let u = -63 - -85. Suppose 240 = -17*i + u*i. Does 4 divide (i/(-9))/(2/(-21))?
True
Suppose -d = -23 + 54. Let f(j) = 7*j**2 + 211*j + 34. Is f(d) a multiple of 5?
True
Let u = -117 + 116. Is 8 a factor of ((-57)/15 + u)*(-300)/18?
True
Suppose -5*k = -5, -3*l + 744 = -2*l + 5*k. Suppose 0 = -w - b + 372, -9*w - 3*b = -7*w - l. Does 13 divide w?
True
Let z = -78 - -140. Suppose 0 = -2*j - z - 296. Let x = -99 - j. Is x a multiple of 21?
False
Suppose 2 = 5*m + h, -4*m - 1 = 2*h + 1. Let r(u) = 320*u**3 - 3*u + 2. Let y be r(m). Suppose -y = -4*w - 43. Does 23 divide w?
True
Let z(g) = g**3 - 26*g**2 + 61*g - 37. Is 28 a factor of z(24)?
False
Let k(l) = -38*l + 8. Suppose -20*n = -18*n + 8. Is k(n) a multiple of 5?
True
Is (332*7)/((-88)/(-968)) a multiple of 69?
False
Let n be ((-10)/(-35)*7)/(6/57). Suppose -9*i + 3640 = n*i. Is i a multiple of 26?
True
Suppose 10*t - 3*t - 196 = 0. Suppose 11 = 3*j + 2*v, -2*j - 2*j + t = -4*v. Suppose -j*s + 366 = -14. Is 19 a factor of s?
True
Suppose 0*j + 15880 = -2*j + 7*j. Is 29 a factor of j?
False
Let j(r) = 2*r - 36. Let z be j(19). Suppose z*l = 5*l - 3, 0 = -2*t + 3*l + 297. Suppose n = 3*c + t, 2*n = -n + c + 426. Is 31 a factor of n?
False
Let v(b) be the third derivative of -b**5/60 - 19*b**4/24 - 2*b**3/3 - 92*b**2. Is 70 a factor of v(-10)?
False
Let r be (9/2)/(1*5/10). Suppose 2304 = r*g + 171. Does 16 divide g?
False
Suppose -9*b = -18911 - 83877 - 28099. Is 42 a factor of b?
False
Let t = -91 + -36. Let q = 1416 + t. Is q a multiple of 11?
False
Let k = -83 + 1157. Suppose -4*s - 5*h + 4330 = 0, 3*s - 2*s = 3*h + k. Is 20 a factor of s?
True
Suppose -4*q + 13*w = 15*w - 5144, 3*q - 3865 = -5*w. Let t = q + -725. Is 7 a factor of t?
True
Suppose 2*u = -2 + 74. Let r = -32 + u. Suppose 0 = -g - 4*w + 47, -4*g = -r*w - 98 + 10. Is g a multiple of 7?
False
Is 13 - (-27)/(297/23518) a multiple of 6?
False
Let b(u) = 15*u - 256. Let w be b(18). Suppose j - 3*j = -2*t + 18, 4*j = -2*t + 42. Suppose -w*c + t*c + 76 = 0. Is c a multiple of 19?
True
Suppose 2*m + 27 = 2*i + 107, -2*i = 2*m - 92. Suppose 0 = 4*j + 7 + 1. Let r = m - j. Does 22 divide r?
False
Let q(n) = 20*n - 10 - 14*n + 20*n - 10. Let y be -3*1/(-3)*6. Does 35 divide q(y)?
False
Suppose 55 = 5*m - 0*m. Let j(n) = n**3 - 11*n**2 + 14*n + 21. Let y be j(m). Suppose 15*x = 10*x + y. Is 7 a factor of x?
True
Suppose -4*i - k = -26, 5*i - 3*i - 5*k - 24 = 0. Suppose 81*c - i*c = 8658. Is 15 a factor of c?
False
Suppose 0 = -30*a + 37*a - 18592. Let j = -1872 + a. Is j a multiple of 53?
False
Let q(t) = -14*t + 50. Let z be q(4). Does 30 divide 283 + z/(-6) + 2?
False
Suppose -5*s - 94 = -3*s. Suppose 2*y + 4 = 0, 5*y = 5*b - 0*b + 350. Let k = s - b. Is 25 a factor of k?
True
Suppose -4*a + 11 = -22*o + 23*o, 0 = -4*o - 2*a + 44. Suppose -44 = -o*z + 4609. Is 95 a factor of z?
False
Suppose -86*m + 209539 = 15437. Is 13 a factor of m?
False
Let w(n) = 60*n - 11. Let o be w(2). Let h = o + -97. Is (4/h*-14)/((-2)/12) a multiple of 7?
True
Suppose -11*w + 16*w = 30. Is 2 a factor of ((-312)/(-10))/(w/15) + 5?
False
L