uppose 48488 = 4*g + 15*g. Is g a multiple of 29?
True
Let y be (4 - 4) + 8 - 2. Let o be (4/y)/((-2)/3). Is (-165)/(-20) - o/(-4) a multiple of 4?
True
Suppose 0 = -2*x + 6*x - 47360. Let r(t) = t**2 - 24*t + 33. Let j be r(23). Is 23 a factor of (-4)/j + x/100?
False
Suppose o - 60 = 23. Suppose -2 = -5*j + o. Is 3 a factor of j?
False
Let f = 48 - 38. Is 11 a factor of ((-33)/(-15))/((0 + 2)/f)?
True
Let t(j) = 20*j. Let p be t(1). Let s be 1*-20*((-12)/(-10))/3. Let w = p + s. Does 3 divide w?
True
Suppose 3*i + 3066 = 3*s, 2*s + 12*i - 2047 = 11*i. Does 93 divide s?
True
Let t be (-8)/4 - (-1 - 9). Suppose k - t = 6. Is k a multiple of 7?
True
Let g(f) = 35*f**2 + 16*f - 12. Let u(o) = -9*o**2 - 4*o + 3. Let a(n) = -2*g(n) - 9*u(n). Is a(2) a multiple of 8?
False
Suppose -3*r + 5 + 7 = 0. Suppose r*q - 5*q = -177. Suppose -q = -4*j + 67. Is 18 a factor of j?
False
Let s(z) = 15*z**2 + 3*z + 26. Is 26 a factor of s(-13)?
True
Suppose -2*s + 32 = -5*q, s + 9*q - 4*q + 14 = 0. Let j(a) = -5 - 2 + 3 + 3*a. Is 7 a factor of j(s)?
True
Suppose 0 = 5*y - 3*h - 94, y + 2*h + 23 = 2*y. Let d = y - -42. Is d a multiple of 8?
False
Let s(g) = -g**2 - 28*g - 24. Does 20 divide s(-21)?
False
Suppose -4*p - 4*j = j + 4, 0 = p + 5*j + 16. Suppose -4*o + 32 = 4*a + 4, -p*o - 2*a + 38 = 0. Does 5 divide o?
False
Suppose 2*n = 4*p - 16, -5*p - 5*n = -2*p - 25. Suppose p*j = 2*j + 567. Does 27 divide j?
True
Suppose 3*w - 4 = 6*w - 4*l, 0 = 5*w - l - 16. Suppose 2*s + 15 = 3*h, -4*h + w - 1 = 3*s. Suppose h*o + 3 = 0, 0 = -5*f - 4*o + 91 + 30. Is 6 a factor of f?
False
Suppose -18*i + 3274 = -488. Is i a multiple of 2?
False
Let t be (-13)/((-78)/12) - (-2)/1. Suppose -39 + 15 = -t*x. Is 6 a factor of x?
True
Let o = 3 - -20. Let g(l) = -l**3 + 22*l**2 + 23*l + 20. Is 10 a factor of g(o)?
True
Suppose 6*k = 7*k - 6. Let s = k - 5. Let a(t) = 64*t**2 - 2*t + 2. Is 16 a factor of a(s)?
True
Does 58 divide (-14)/(-6) - 92372/(-84)?
True
Suppose 5*b = 10*b - 60. Let q = -22 - b. Let g = q - -38. Is g a multiple of 4?
True
Let j be ((-50)/(-20))/((-1)/2). Let z(f) = f**3 + 5*f**2 - f - 5. Let c be z(j). Suppose c = 3*g + 6, -4*i - g + 146 = -4*g. Does 7 divide i?
True
Let t = -544 + 2194. Is 50 a factor of t?
True
Let z be 294 - ((-15)/(-1))/3. Suppose -309 = -d - 5*b + 7*b, -2*b + z = d. Does 23 divide d?
True
Let f = -68 + -399. Let t = f + 698. Is t a multiple of 21?
True
Let i(r) = 3*r**3 + 3*r**2 - r - 2. Let x be 5/2 + 2/(-4). Is i(x) a multiple of 15?
False
Let i be (6 + 244)*(3 - 1). Suppose -6*u = -10*u + i. Is u a multiple of 25?
True
Let v(b) = 62*b**2 - 5*b + 4. Let l be v(1). Let f = l + -49. Is f a multiple of 5?
False
Let b(u) be the third derivative of -u**4/24 + 17*u**3/6 - 27*u**2. Is 11 a factor of b(4)?
False
Suppose 0 + 6 = -2*g. Let x = g - -8. Suppose 24 = x*q - q. Does 3 divide q?
True
Let w be 4*((-69)/12 - -2). Let s = w + 18. Suppose 3*o + 52 = 4*k, 2 = k - s*o - 20. Is k a multiple of 3?
False
Suppose 0 = 2*b - 8, 4*j = -b + 1133 - 313. Suppose -4*t + 0*t + j = 0. Suppose -r + 4*i = 7*i - t, 4*i = 4*r - 172. Is 15 a factor of r?
True
Suppose -17*x = -19*x + 12. Let v = x + -4. Let z(l) = 21*l**2 - 5*l + 4. Does 39 divide z(v)?
True
Let f = -1662 - -3068. Does 37 divide f?
True
Suppose 5*b + 3*n = 16, 3*n + 8 = 5*b + 4. Suppose 5*k - 2*l = 62, 0 = -b*k + k - 2*l + 22. Let y = k + -6. Is y a multiple of 6?
False
Let m(w) = -13*w + 9. Let y be m(-20). Suppose -6*i + y = 77. Does 19 divide i?
False
Let o = 671 - -250. Does 77 divide o?
False
Suppose 6*d - d - 810 = 0. Is 9 a factor of d?
True
Is (3/(-2))/(48/(-8704)) a multiple of 16?
True
Let o(v) = 59*v + 53. Does 18 divide o(11)?
True
Let t(n) = 4*n - 2. Let s be t(1). Let r be 66*(6/9)/s. Is (r/(-6))/((-7)/189) a multiple of 33?
True
Let t(l) = l + 5. Let m be t(4). Let h = -5 + m. Suppose -12 = -h*c + 68. Is c a multiple of 8?
False
Is 19 a factor of (-6119)/(-7) - 7/490*10?
True
Let s(u) = u**2 - 5*u. Let o(v) = v**3 - 14*v**2 - 14*v - 11. Let b be o(15). Suppose -10 = -j - b. Is s(j) a multiple of 3?
True
Let t = -46 - -47. Is 14 a factor of 1/(-8)*26*(t - 57)?
True
Suppose 4*r - r = -2*a + 19, 2*r = -2*a + 14. Suppose p = -0*p + 22. Suppose -13 = -r*i + p. Is 3 a factor of i?
False
Let a(o) be the second derivative of o**6/720 + 7*o**5/60 - 5*o**4/12 - 3*o. Let j(d) be the third derivative of a(d). Is 2 a factor of j(-7)?
False
Let h(r) = -3*r**3 - 6*r**2 - 3*r - 9. Does 43 divide h(-7)?
False
Does 14 divide -225 + 222 + (707 - 1)?
False
Let l(m) = m - 5. Let v be l(7). Let c(h) = -6*h + 5 - 3*h + v*h. Is 21 a factor of c(-4)?
False
Is (-24)/(-5 - 3) - (-140 - 2) a multiple of 19?
False
Suppose 58 = 7*m - 2*m + 2*r, -2*m = -5*r - 29. Suppose m*p = 17*p - 100. Does 3 divide p?
False
Let m(r) be the first derivative of -r**3/3 - 5*r**2/2 + 5. Let d be m(-4). Suppose -14 = -d*z + 190. Does 17 divide z?
True
Let h = 108 + -103. Let l(s) be the second derivative of -s**5/20 + 7*s**4/12 - 3*s**2 - s. Does 14 divide l(h)?
False
Is 889 - (-1)/((-4)/(-44)) a multiple of 50?
True
Suppose -56 = -2*j - 0*j. Suppose 3*v + 4*w + j = 5*v, 0 = -4*v + 2*w + 50. Let z = 3 + v. Is 15 a factor of z?
True
Is 5/(-2)*(-72)/30 + 936 a multiple of 67?
False
Let s(z) = 7*z + 2. Let i be s(2). Let x be 6*2/4 - 6. Let k = i + x. Is 6 a factor of k?
False
Let p = 218 - 423. Is 3 a factor of -5*(-1 - 0)*(-123)/p?
True
Let u(p) = p**2 + 5*p - 2. Let a be u(-6). Let c(l) = -56*l. Let s(v) = 11*v. Let q(f) = 4*c(f) + 21*s(f). Is q(a) a multiple of 11?
False
Let n(x) = -2*x**2 + 2*x - 8. Let t be n(5). Let u = 94 + t. Is 7 a factor of u?
False
Let w(h) = h - 8. Let n be w(5). Let d(l) = -l + 15. Does 6 divide d(n)?
True
Suppose 0 = -k + 6*k + 2*a + 8, -3*a = -4*k + 12. Suppose 0*c + c - 1 = k. Suppose -5*q + 24 = -c, -3*v + 175 = -q. Is v a multiple of 20?
True
Suppose -2 - 2 = -4*c. Let b(v) = -3*v + 2. Let y be b(c). Does 5 divide 0/(-2) - y - -4?
True
Let g(x) = x**3 - 6*x**3 - 8*x + 10*x**2 - 14 + 6*x**3. Does 17 divide g(-10)?
False
Let w(t) = -64*t + 6. Suppose -3*q + 4 = 7. Is w(q) a multiple of 35?
True
Is 1035/6 + (-5)/10 a multiple of 3?
False
Let t(b) be the third derivative of -11*b**7/420 + b**5/120 + b**3 + 2*b**2. Let c(g) be the first derivative of t(g). Is 7 a factor of c(-1)?
True
Suppose -3*v + 2*v + 23 = 0. Suppose 5*g - v = 7. Suppose 0 = -g*m + 4*m + 16. Is m a multiple of 3?
False
Suppose 0*k + 6*k = 0. Suppose 0*q + q - 2 = k. Does 9 divide 9/((0 - -2)/q)?
True
Let z = 498 - 312. Is z a multiple of 6?
True
Let k be -3*(2 - 3 - 0). Suppose 64 = -3*f - 0*m - m, 3*f + 48 = k*m. Is 10 a factor of ((-8)/f)/((-1)/(-25))?
True
Let r be (-4)/((-10)/3 - -2) + 2. Suppose 3*m = 4*l + 214, 2*m - 3*l - 144 = -l. Suppose r*t - 76 = m. Is 15 a factor of t?
True
Let h(r) be the first derivative of 5 + 1/2*r**2 + 11*r. Is 6 a factor of h(-5)?
True
Let h(g) = -g**3 - 4*g**2 - 2*g - 1. Let k be h(-5). Let j = k - 12. Suppose -5*v + 93 = -j. Is 10 a factor of v?
False
Let q = -200 - -306. Is 12 a factor of q?
False
Suppose -n + 3*u - 2*u + 297 = 0, 5*n - 1479 = 3*u. Does 4 divide n?
False
Let q(y) = 27*y + 18. Let j be q(8). Suppose -h + 0*i = -2*i - j, -3*h + 732 = 4*i. Does 12 divide h?
True
Suppose -3*t - t = -224. Is 32 a factor of t/21*(-1 - (-185)/2)?
False
Suppose 0 = 4*d + 2*p - 8402, 9*d - 20709 + 1842 = 3*p. Does 23 divide d?
False
Suppose -5*j = 4*q - q - 17, 4*j - 18 = 2*q. Let a(w) = -16*w - 6. Let m be a(-7). Does 9 divide m/4 + 2/j?
True
Suppose 0 = 3*n - 0*n + h - 25, -4*h + 16 = 0. Let d(c) = c**3 - 9*c**2 + 18*c - 17. Let a be d(7). Suppose n = q - a. Is q a multiple of 14?
False
Suppose 0 = 3*d - 4*d - 1. Is 4 a factor of 51 + 1 + 4 + (d - -1)?
True
Is 10 a factor of (-3 - 2)*(-12728)/43?
True
Let q(j) = 2*j**2 - 4*j - 159. Is 34 a factor of q(12)?
False
Suppose -7*g - 60408 = -31*g. Does 63 divide g?
False
Let p = 901 + 1307. Is 108 a factor of p?
False
Let v be (6/4)/((-3)/6). Let z be 4 + v + 0 + 14. Does 4 divide 13 + 5/z*0?
False
Suppose u = 2*n - 4259, 5*u - 7057 = -4*n + 1482. Is 19 a factor of n?
False
Is 4 a factor of 7056/324 + (-4)/(-18)?
False
Let z(n) = -6*n**3 - 2*n**2 + n - 2. Let d(t) = 3*t - 5. Let l be d(4). Suppose a + 0*a - 5*w + 17 = 0, 0 = 5*a + w + l. Is z(a) a mu