130*(x + (3 - 4)) a multiple of 26?
True
Let b(g) = 2*g + 23. Let h be b(-12). Let i be ((-4)/14*h)/((-6)/(-42)). Is -90*2/(-8)*i a multiple of 15?
True
Suppose -4*l + 903 = 875. Is 8 + l + -8 - -7 a multiple of 5?
False
Suppose -h = 4*d - 7, 4*d + 4*h + 4 + 4 = 0. Suppose 4*x - d*k - 100 = 0, 3*x + k + 2*k = 75. Suppose r - 3*v + 59 = 5*r, 2*r - 3*v = x. Is 14 a factor of r?
True
Suppose -p + 120 = -3*c - 432, 0 = -5*p. Let i = -161 - c. Is 5 a factor of i?
False
Suppose -8709 = -2*u + 42*b - 37*b, -u + 4*b = -4359. Is u a multiple of 43?
False
Suppose 66 - 14 = 3*i + 2*w, w + 84 = 4*i. Suppose 7*b - 2*b + 52 = 2*q, -i = 5*q. Is 5 a factor of b/(-15)*(-225)/(-6)?
True
Let r = -7223 + 12015. Is r a multiple of 108?
False
Suppose -5*v + 4*b + 320 = 0, -3*v + 125 = -v - b. Let z = -56 + v. Suppose -3*i - 2 = 1, -z*m - 3*i = -149. Does 16 divide m?
False
Let g = 54 - 54. Suppose g = -2*i + 2*k - 2, 0*i + 3*k = -3*i + 27. Suppose z - i*x + 3 = 113, -2*x - 6 = 0. Is z a multiple of 23?
False
Is (-1 + 58/(-3))*(-214 - (-152)/8) a multiple of 13?
True
Is (-2 + 28/12)/(53/1566309) a multiple of 91?
False
Let i(w) = 4*w**3 - 9*w**2 + 10*w + 148. Does 20 divide i(11)?
False
Suppose -o - 7627 = -4*z, -3*z + 4996 + 748 = 4*o. Is 106 a factor of z?
True
Let y(x) = 3*x**3 - 11*x**2 - 6*x - 20. Let j be y(6). Let h = 219 - j. Is h a multiple of 4?
False
Let g = -107 - -104. Let v(o) = 8*o**2 + 10*o - 6. Let z(t) = -7*t**2 - 9*t + 5. Let k(d) = -5*v(d) - 6*z(d). Is k(g) a multiple of 5?
False
Let p(q) = q**2 + 11*q - 14. Let h be p(-11). Let o be (63/6)/(3/6). Let c = o + h. Is 4 a factor of c?
False
Let c = -2742 + 4027. Suppose -3*i + 7*i - 1028 = -2*v, 3*v + c = 5*i. Does 16 divide i?
False
Suppose 79845 - 6722657 = -775*d - 1459612. Is d a multiple of 44?
True
Let u(k) = -k**2 + 60*k + 23. Let c be u(16). Suppose 5*r = 3*l + 1820, 3*l - 702 = -4*r + c. Is 19 a factor of r?
True
Does 18 divide (-40)/(-35) + -1 + 23055/21?
True
Suppose 3*b - 1015 = 2*y - 390, -2*b = -2*y - 414. Let t = 976 - 969. Suppose 652 = t*s + b. Is s a multiple of 21?
True
Let r(z) = -z**3 + 30*z**2 + 12*z + 45. Is 25 a factor of r(12)?
False
Suppose 513756 = -7*n + 78*n. Does 40 divide n?
False
Let w(z) = 2*z**2 + 78*z + 4486. Is 17 a factor of w(0)?
False
Let b = -367 + 389. Is 38 a factor of (-1292)/3*(8 + (-209)/b)?
True
Let c = 40 - 47. Is 39 a factor of (1281/(-14))/(c/42)?
False
Let l(m) = -34*m - 49. Let b(o) = 79 - 10*o + 18*o - 30 + 27*o. Let w(k) = 3*b(k) + 2*l(k). Does 35 divide w(5)?
False
Let o(l) be the third derivative of -17/24*l**4 - 48*l**2 + 7/6*l**3 + 0 + 1/15*l**5 + 0*l. Does 12 divide o(7)?
True
Suppose 2*d = 3*f + 101, -3*f = -7 - 2. Let z = -51 + d. Suppose 0 = -3*u - p + 94, 22 + z = u + 3*p. Is u a multiple of 14?
False
Suppose 2000 = 49*k - 54*k - 5*v, -5*k - 2006 = 3*v. Is 4 - k - 4/(7/7) a multiple of 45?
False
Suppose 21*y - 2*y - 199837 = -41358. Does 12 divide y?
False
Suppose 3*l + 4*x - 32 = -0*x, 3*l = -x + 17. Suppose 0 = -l*g - 501 + 85. Let y = g + 203. Does 33 divide y?
True
Suppose 0 = -4*h - 2*a + 4*a + 28434, 4*h - 3*a = 28439. Let i be (-8)/(-36) - h/(-18). Suppose -2*j = -5*y - i, 0*j - 2*y = -2*j + 410. Is j a multiple of 32?
False
Suppose c + 66 = -21*c. Is 17 a factor of 2*2*(-2873)/156*c?
True
Let l(d) = -21*d - 64. Let h be l(-3). Does 63 divide (-8 + 3)*1 - 120/h?
False
Suppose 146*r = 1654227 + 3485995. Is 121 a factor of r?
False
Let w(b) = 13*b + 44. Let t be w(-2). Suppose -47*q + 45*q + t = 0. Is q a multiple of 9?
True
Suppose 5*x - 38 + 13 = 0. Suppose -x*r + 2*v + 65 = -0*v, 0 = r - 3*v - 26. Let h(b) = b**3 - 11*b**2 + 6*b - 16. Does 7 divide h(r)?
False
Suppose 0 = -391*w + 396*w - 7500. Is w a multiple of 4?
True
Let z = 158 - 162. Is z - -8 - (-509 + 1) a multiple of 16?
True
Suppose 83 = -11*l + 303. Does 5 divide -1*88/l*-75?
True
Suppose 2*j + 3906 = -7*j. Let b = j + 705. Does 34 divide b?
False
Let a = 5231 - 31. Is a a multiple of 65?
True
Let i(s) = -2*s**2 + 3*s - 18. Let c be i(-9). Let a = 363 + c. Is 5 a factor of a?
False
Let y(h) = 2287*h - 321. Does 100 divide y(2)?
False
Suppose 0 = 5*m - 0 + 15, 2*m = 3*r - 15. Suppose -5*x = r + 7, 2*x + 376 = u. Is u a multiple of 6?
True
Let s = -105 + 294. Suppose -14*p - s = 21. Let f(u) = -u**3 - 15*u**2 - 17*u - 35. Is 20 a factor of f(p)?
True
Suppose 5400*d - 5435*d = 105. Let q(f) = -6*f**2 - 9*f - 12. Let h(s) = s**2 - 1. Let i(z) = 2*h(z) - q(z). Does 12 divide i(d)?
False
Suppose -r + k + 4873 = 0, 4*r - 2489 - 16967 = -5*k. Is r a multiple of 16?
False
Let g = -638 - -647. Suppose 0 = -g*x - 7*x + 22464. Does 108 divide x?
True
Suppose -6*u = 2*z - 2*u - 524, 4*z - 1069 = -u. Suppose x = 2*s - 0*x - z, 0 = -3*s + 4*x + 412. Suppose 2*b - 3*p - s = p, 4*p = b - 60. Is 10 a factor of b?
False
Suppose -2 - 11 = -13*w. Is (698 - (-5 - -1)) + w a multiple of 41?
False
Suppose -7*g - 19 = -x - 3*g, 3*g + 27 = 5*x. Suppose -x*q + 654 = -462. Is q a multiple of 35?
False
Suppose m = 148 + 82. Suppose -t + m = -396. Is 14 a factor of t?
False
Let a(d) = -3*d**2 + 5*d - 8. Let x be a(4). Let h = x - -40. Suppose 0 = -h*w + w + 384. Is w a multiple of 16?
True
Let z(o) = o**3 - 6*o**2 + 5*o + 16. Let u(s) = 6*s**3 - 30*s**2 + 24*s + 82. Let d(a) = -2*u(a) + 11*z(a). Is 9 a factor of d(-11)?
True
Suppose -16*h - 366 = -7662. Does 4 divide h?
True
Let t = 32 + 4. Suppose 15 = t*b - 33*b. Suppose 3*v + 170 = 2*o - o, -4*v = -b*o + 839. Is 10 a factor of o?
False
Let b be 3*(2 + (-16)/6). Let k = b + 10. Let o(c) = -2*c + 20. Is o(k) a multiple of 3?
False
Let q be 10 - 10 - (0 - 0). Suppose q*v = 3*v - 414. Is 6 a factor of v?
True
Let i(u) = 165*u + 71. Let h(v) = -331*v - 154. Let x(f) = -6*h(f) - 13*i(f). Let a = 3 + -4. Does 32 divide x(a)?
True
Let c(w) = 5 + 5*w - 5*w + 2*w + 5*w. Does 40 divide c(5)?
True
Is (-213220)/30*(-3)/(-2)*(-270)/63 a multiple of 103?
False
Let v be -1 + ((-2)/(-2) - (-1242)/9). Let y be v/2*(5 - 280/21). Let j = y + 866. Is j a multiple of 48?
False
Suppose 3*t + 2*t = 2*p - 14204, -t + 2 = 0. Is p a multiple of 30?
False
Let m be 1*-5 + -22*27/(-18). Suppose -11*h = -m*h + 9792. Is 16 a factor of h?
True
Let n = 160 + -160. Suppose 4*x - 116 = 3*h, n = -4*x + 4*h + 148 - 36. Is x a multiple of 8?
True
Let f(h) be the first derivative of 17*h**2/2 - 2*h - 27. Let v be f(4). Does 12 divide ((-3)/2*v)/((-12)/24)?
False
Let j(o) = -102*o**3 - o**2 - 3*o - 2. Let t = -86 + 84. Is 40 a factor of j(t)?
False
Let n(h) = 5*h**3 - 6*h - 6 + 0*h**3 - 3*h**3 - 3*h**2 - 3*h**3. Is n(-3) a multiple of 3?
True
Let w = 567 - -1. Suppose w = 5*y - 227. Suppose 2*f = g - 41, 2*g + g + 3*f = y. Is g a multiple of 9?
False
Let l = -5501 + 10079. Is 21 a factor of l?
True
Suppose 103*i = 102*i + 2. Does 27 divide -5 + 1 + i + 95 + 5?
False
Is -9308*72/16*12/(-72) a multiple of 10?
False
Let t(s) = -s**2 - 9*s. Let b be t(-7). Suppose 0 = -y - b - 1. Is 19 a factor of ((-50)/y - 3)*57?
True
Suppose 0 = -3*y + 3*c - 63, 3*c = -y - 0*c - 5. Suppose 0 = -2*s - 3*s - 40. Is 6 a factor of (y/2 - -4)*s?
True
Let i(w) = 11*w**2 + w - 11. Let g be i(-2). Suppose -b - 308 = -s, -g*s + 5*b = -30*s - 304. Does 36 divide s?
False
Suppose -8*j = 7*j - 6045. Let t = -98 + j. Does 66 divide t?
False
Let c(i) = -i - 63 - i**2 - 4*i**2 + 5*i**2 + i**2. Does 2 divide c(-9)?
False
Suppose -u = -10*i + 7*i + 383, 0 = -3*i - u + 379. Let y = -130 + i. Is (y - -1)*(-115)/2 a multiple of 11?
False
Let v = 152 + -479. Let l = -163 - v. Is ((-72)/(-5))/(l/80 + -2) a multiple of 32?
True
Let q(p) = -p**3 - 14*p**2 + 13*p - 2. Let f be q(-15). Suppose 0 = -5*w - f + 1978. Is 30 a factor of w?
True
Suppose 6*s - 2202 = -20*p + 18*p, 2*p = 2*s + 2250. Is p a multiple of 112?
False
Let h(b) be the third derivative of b**4/3 + b**3/2 - 11*b**2. Let q be h(1). Let z(f) = f + 29. Is z(q) a multiple of 3?
False
Let w(r) = r**3 - r**2 + 1. Let h(v) = 2*v**3 - 16*v**2 + 24*v - 31. Let d(n) = h(n) - w(n). Let m be d(13). Let p = -19 - m. Is 6 a factor of p?
False
Let q(p) = 6 - 20 + 5*p - 3. Let x be q(4). Suppose -3*u + 0*u - 40 = -4*h, x*u = -2*h + 2. Is h a multiple of 7?
True
Let j(p) = -72*p + 15942. Does 11 divide j(189)?
False
Suppose 0 = 3*l - 368*k + 366*k - 152376, -2*k - 101578 = -