se
Suppose -2*l = -2*b - 16 + 4, b = -l. Suppose -l*g + 89 - 17 = 0. Is g a multiple of 3?
True
Let w be 3/(3/9 - 0). Suppose 17 = j + 2*m - 0*m, -3*m + 32 = 2*j. Let u = j - w. Does 3 divide u?
False
Does 18 divide 1992/48*(1 - -1)?
False
Let k be (0 - 2) + 1*-1. Let q be 2/4 + k/6. Suppose -2*r + 3*g + 39 = q, 3*r + 2*g - 7*g - 56 = 0. Is 9 a factor of r?
True
Let v be (-54 - 0)*(-11)/22. Let b = v - 23. Suppose b*w = 4*f - 100, 5 = f - 2*w - 20. Is f a multiple of 9?
False
Let s(g) = 113*g + 63. Does 90 divide s(11)?
False
Suppose -8 + 0 = -4*r. Suppose -2*v - r*j + 5*j + 57 = 0, -4*v + 169 = 5*j. Does 18 divide v?
True
Let m(x) = 12 + x - 30 - 21 + x. Let b be m(16). Let d(k) = -k**2 - 10*k + 11. Is 8 a factor of d(b)?
True
Suppose 5*v = -u - 12, 5*u + 0*u = v + 18. Let o(h) = h**3 + 3*h**2 - 3*h. Let a be o(v). Is 7 a factor of (1 - -18) + (a - 9)?
False
Let n be (12/(-18))/(-2 + 0)*-3. Let a(m) = 205*m**2 - m - 2. Does 25 divide a(n)?
False
Is 37 a factor of 24*1177/220*160/6?
False
Let p = -294 + 349. Is 5 a factor of p?
True
Suppose -2*m = 4*j - 18, -m - 2*j = -j - 9. Let s = m + 3. Is s a multiple of 12?
True
Let k = 2326 - 187. Is 30 a factor of k?
False
Let s = 13 - 8. Suppose 0 = -5*u - s + 80. Does 5 divide u?
True
Let c be (1 - 4)*((-30)/18)/5. Let m(x) = 23*x**2 + 5*x - 4. Is 6 a factor of m(c)?
True
Does 30 divide -1 - (-18488)/16*4/2?
True
Let g be 2*(-5)/(-20)*0. Suppose g*h + 2*h = 270. Suppose 2*w - h = -w. Is 17 a factor of w?
False
Suppose -3*n + 3 = -3*o, 5*o + 3 - 30 = -3*n. Suppose 7*y - o*y = 12. Let k(z) = 2*z**2 - 3*z - 3. Does 2 divide k(y)?
True
Suppose -y = -58 + 6. Suppose -4*z = -6*k + 3*k + 8136, -3*z + 3*k - 6102 = 0. Is 13 a factor of z/(-39) + (-8)/y?
True
Let l = -201 + 353. Suppose -8*t + l = -424. Is t a multiple of 17?
False
Suppose -4*y = -5*d - 184, -8*d + 3*d = -2*y + 102. Let t = y - -41. Is t a multiple of 6?
False
Suppose 70 = 5*j - 3*j. Let t = j + -17. Is (-88)/(-6) - 12/t a multiple of 6?
False
Suppose 0 = 2*w - 4*w + 48. Let j be ((-45)/4)/((-9)/w). Is 2 a factor of (10/(-6))/((-10)/j)?
False
Let t = 18 - -150. Is 40 a factor of t?
False
Does 25 divide 2/(12623/(-16900) - 3/(-4))?
True
Let r(z) be the first derivative of 2*z**3/3 - z**2/2 + 2*z + 15. Is r(2) even?
True
Let u(b) = 29*b - 6. Let z(h) = -14*h + 3. Let m(g) = 4*u(g) + 10*z(g). Does 16 divide m(-3)?
False
Let r(v) = -v**3 + 2*v**2 + 6*v - 3. Let h be r(3). Suppose -h*x - 2*x = -768. Is x a multiple of 13?
False
Let y(m) = m**3 - 3*m**2 + 5. Let v be y(3). Suppose 0 = -v*i + c - 79, 4*i - 3*i + 5*c = 5. Is 4 a factor of 10/i*(-24)/1?
True
Suppose -f + 1 = -1, -2*f = -4*v + 12. Suppose 0 = -z - 3*c + 38, 152 = 2*z + 2*z - c. Suppose 0 = v*s - 2 - z. Is s a multiple of 3?
False
Suppose -1331 = -26*y + 99. Does 5 divide y?
True
Is 21/((-3)/1) + 1686 + -1 a multiple of 41?
False
Let o = -203 - -336. Let f = 47 + o. Is f a multiple of 45?
True
Does 60 divide 3/6*(0 + -2) - -2186?
False
Suppose -753*z = -749*z - 1948. Is 10 a factor of z?
False
Suppose u = -3*s + 1668, -2924 = -5*u + 5*s + 5336. Is u a multiple of 46?
True
Suppose 3*o = -i + 11, -5*o = 2*i - i - 17. Suppose -4 - 1 = -5*v, 5*b - 943 = i*v. Is b a multiple of 27?
True
Let t(y) = 7*y - 4. Let s(r) = r + 1. Let o = -2 + 8. Let l(j) = o*s(j) - t(j). Does 14 divide l(-8)?
False
Suppose -2*m - 7 = 5*w, 0 = 3*m - w + 1 + 1. Is 12 a factor of (10/(-25)*m)/(2/60)?
True
Suppose 4*t = -4*b - 152, 5*b + 150 = -4*t - 0*t. Is 33 a factor of 132*((-2)/1 + (-130)/t)?
True
Let n(a) = -a**3 + 10*a**2 + 4*a - 28. Is 14 a factor of n(-10)?
True
Let d = -25 - -67. Let m = -13 + d. Does 17 divide m?
False
Suppose 0 = a + 2*h - 71, -a - 3*h = -2*h - 76. Is 3 a factor of a?
True
Let q(w) = -w**3 - 7*w**2 - 6*w + 4. Let g be q(-6). Let r(k) = 5*k + 9. Does 9 divide r(g)?
False
Let c = 502 - -595. Is 68 a factor of c?
False
Suppose -5*o = 211 - 1. Does 4 divide o/(-12)*(-40)/(-14)?
False
Let j = 144 - 148. Let p be (-34)/(-6) - 6/9. Is -4*((-70)/p - j) a multiple of 10?
True
Let x(g) = g**3 + 7*g**2 - 8*g - 8. Let p be ((-60)/9)/(-4)*3. Is 18 a factor of x(p)?
True
Let c(j) = j + 3. Let w be c(0). Suppose -2*l - y = -63, 5*l = -w*y + 8*y + 135. Does 30 divide l?
True
Suppose -3*m = -j - j - 59, 5*j = 2*m - 120. Let h = j + 26. Suppose h*n + 4*z = 312, 5*n - z - 133 - 245 = 0. Is 38 a factor of n?
True
Suppose 6*y - 1029 = 291. Is y a multiple of 55?
True
Suppose -5*i + 161 = 2*u, 0 = -4*i - 2*u + 4*u + 136. Is i a multiple of 33?
True
Suppose 2729 + 2847 = 5*h + 4*u, -2 = 2*u. Is h a multiple of 93?
True
Suppose 2*w = 3*z + 2050, 0 = 4*w - 2*z - 1428 - 2664. Is w a multiple of 73?
True
Let g = -23 - -23. Suppose g = -2*l - 11 + 33. Does 7 divide l?
False
Let g = -24 - -24. Let d(b) = -3*b + 8. Is 5 a factor of d(g)?
False
Let z(k) = 4*k**2 - 39*k - 18. Is 33 a factor of z(15)?
True
Suppose 3*p - 2*a - 1816 = 0, -p - 5*a + 527 + 101 = 0. Is 16 a factor of p?
True
Is 3*(-4361)/(-21) - -9 a multiple of 79?
True
Let c = 677 + -578. Does 15 divide c?
False
Let q = -145 - -99. Let g = 2 - q. Does 24 divide g?
True
Suppose 4*z - 260 = -z. Suppose 0*r - 2*r = 2*v - z, -3*r = -5*v - 38. Is r a multiple of 15?
False
Suppose -423 = -16*z + 313. Does 2 divide z?
True
Let p = -29 - 47. Let z = p + 135. Does 10 divide z?
False
Let d(u) = u**3 + 22*u**2 + 20*u + 168. Does 9 divide d(-21)?
True
Suppose 3*k - 18 = 3*o, -o + 8 = 2*k - 4. Let f be -6*2/k*-1. Is (7 - 2/f) + -1 even?
False
Let n(k) = 3*k + 9. Let j be n(-12). Let i be (-36)/(-8)*10*1. Let v = j + i. Is 6 a factor of v?
True
Let q(l) be the second derivative of -l**3/3 + 45*l**2/2 - 2*l + 9. Does 5 divide q(20)?
True
Let z be 6*(2 - (-14)/(-6)) + 31. Let f = z + 46. Is 15 a factor of f?
True
Let s = -33 - -14. Let y = s + 16. Is 5 a factor of y + 4/8*58?
False
Let r(y) = -y**2 + 8*y + 13. Let o be r(9). Let q(z) = 0 - 4 + 2*z + o + 1. Does 9 divide q(4)?
True
Is (2 - (8058 - -2))*8/(-16) a multiple of 17?
True
Let x be ((-18)/2)/(14/(-238)). Let a = x + -30. Suppose -a = -3*k - 45. Does 13 divide k?
True
Suppose -3*c + 4*t = 2*c - 580, -107 = -c - t. Suppose -2*q - c = -4*u + 174, -5*u + 390 = 4*q. Does 31 divide u?
False
Let o(c) = c**3 + 6*c**2 - 6*c - 16. Let t be o(-6). Suppose g = 3*u - 4 - 0, 0 = 3*g - 15. Suppose 12 = 3*s - u*d, 4*s - 2*d = -s + t. Is s a multiple of 4?
True
Suppose 11*j - 1462 = -54. Is 32 a factor of j?
True
Suppose 0 = 3*g - 92 + 17. Let q = 45 - g. Does 5 divide q?
True
Suppose 2*p = 0, 7*p + 822 = 2*i + 2*p. Suppose 6*j - 2*o + i = j, -81 = j - o. Let z = 150 + j. Does 12 divide z?
False
Let n(h) = 44*h - 16. Is n(3) a multiple of 16?
False
Let i(l) = -l**3 + l**2 + 315. Let z be i(0). Let g = 485 - z. Is g a multiple of 26?
False
Let m = 25 - 21. Is 6 a factor of 9/((-18)/(-32)) - m?
True
Let n(u) = 114*u**3 + 38*u - 76. Is 48 a factor of n(2)?
True
Suppose 4*w + w + 10 = 0. Let x(p) = -p**3 + p - 1. Let t be x(w). Suppose 0 = t*r + 3*d - 85, 4*r - 65 = -2*d + 3. Does 17 divide r?
True
Does 36 divide 364/(-3822) - 180016/(-42)?
False
Suppose -1 - 2 = -5*c - 3*z, -5*z = 20. Suppose -8*w + 5*m = -c*w, 6 = -2*w + 5*m. Is 15 + w + -2 - 3 a multiple of 6?
True
Let b(d) = -d**3 - 5*d - 8*d**2 + 11*d + 2 + d**2. Is b(-8) a multiple of 6?
True
Let z be 21 + 3 - 0/(-2). Let w be z/11 - (-14)/(-77). Suppose -8 = -w*h, -5*h + 263 - 71 = 4*s. Is 8 a factor of s?
False
Let u(d) = 35*d**2 - 22*d - 84. Is u(-6) a multiple of 12?
True
Suppose -471 = -3*b + 2*j, 5*b + 5*j - 45 = 740. Suppose 3*o - b = 116. Suppose -h = -8*h + o. Is h a multiple of 13?
True
Let j = 698 + -285. Does 16 divide j?
False
Is 8 a factor of (-6003)/115*(-10)/3?
False
Let v(s) = s**2 - s + 1. Let h be v(0). Suppose 0 = -2*u + 5 - h. Suppose -2*w - 5*g + u = -3*w, -4*g = -3*w + 27. Does 5 divide w?
False
Suppose -51 = s - 188. Is 39 a factor of s?
False
Let i(t) = 25*t - 2. Let g be i(-1). Let x = g + 31. Suppose x*q = -3*a + 39, a + a - 19 = -5*q. Is 4 a factor of a?
False
Suppose 4*l - 8 = 2*l. Suppose -4*w = 2*j - 382, -j - w + 185 = l*w. Does 13 divide j?
True
Suppose -4*f + 4 = -2*n, -4*n + 2*f + 25 = 5*f. Suppose 46 = 7*q + n. Suppose -z = -q*z + 335. Is 35 a factor of z?
False
Let a be (-2 - -2)/(8/(-4)). Suppose 5*k = -5*v + 280, 2*v - 4*k - 4 - 132 = a.