r of w?
True
Suppose -b = -5, -4*t = 5*b - 13 - 28. Let y = t + 1. Suppose -h + 60 = y*q, -3*h - 31 = -q - 131. Is 8 a factor of h?
False
Let w(z) = -z**3 + 8*z**2 + 5*z - 12. Let n be w(9). Let a = 216 - n. Is 44 a factor of a?
True
Let j be (-655)/(-35) - (-4)/14. Let i = j + 2. Let g = 47 - i. Is 21 a factor of g?
False
Suppose -j + 32 = 28. Does 34 divide 2694/10 - j/10?
False
Let s(w) = -4*w**2 - 4*w - 1. Let d(c) = 5*c**2 + 5*c. Let l(t) = 5*d(t) + 6*s(t). Let g be l(-3). Is (-3 - g)/(-3) - -16 a multiple of 17?
True
Let y(s) = s**2 - 4*s - 6. Let m be y(6). Let t(r) = m*r - 11 - 6*r + 0*r + 3*r. Is 4 a factor of t(5)?
True
Let w = 6 + -3. Suppose 4*g - 15 = 5*c, 9 = 4*g + g - w*c. Suppose g = j - 6. Does 3 divide j?
True
Let g(w) = 6*w + 52. Is 20 a factor of g(18)?
True
Let x be (0 - 4)/(-1) + 3. Suppose -x*c = -4*c - 12. Is c a multiple of 3?
False
Suppose 10*l - 5*l = -2*u + 2321, -4633 = -4*u - l. Does 13 divide u?
False
Let b be (-1)/(-2)*-2*-14. Let y be (b/(-4))/((-2)/(-20)). Let x = y - -51. Does 8 divide x?
True
Let f(u) = 166*u**2 - 10*u - 13. Is f(-3) a multiple of 23?
False
Suppose -4*t - 17 = 23. Let r = 14 - t. Is 2 a factor of r?
True
Suppose -m - 572 = -5*m. Suppose -5*j = 3*i - m, -3*i = -i - 2. Let y = j - 19. Is y a multiple of 3?
True
Suppose -3*t - 5 = -w + 49, w + t - 58 = 0. Suppose -f + 3*f - 3*h = w, 0 = -4*h - 4. Suppose -x - f = -5*l, 0*l + x = 3*l - 15. Is 6 a factor of l?
True
Let i = 814 + -502. Is 52 a factor of i?
True
Suppose 0 = 3*f - 187 + 22. Does 11 divide f?
True
Let w be 21/3 - (6 - 3). Suppose -3 = -3*s - 3*o, 3*s = 7*s + 5*o. Is (s + -3)*54/w a multiple of 15?
False
Let p = -376 + 567. Is 7 a factor of p?
False
Let q(h) = 13*h - 3. Let a be q(4). Suppose -a = -2*i + 4*x - 7, -5*x - 30 = -i. Does 23 divide 2/(-10) - (-1383)/i?
True
Let l(q) = -43*q**3 + q**2 + 20*q + 33. Does 31 divide l(-2)?
True
Suppose 0 = -3*b + 19 - 7. Suppose -b*z + 99 = -13. Is 7 a factor of z?
True
Suppose 0 = 3*y - g - 10, 0 = 4*y - 0*g + 3*g - 9. Does 4 divide (-1)/((-7)/(-567)*y/(-2))?
False
Suppose -15 = 5*q + 3*c, 0 = 3*q + 5*c + 33 - 8. Suppose -51 - 392 = 5*d + 2*y, q = -4*y - 16. Let g = 155 + d. Does 17 divide g?
True
Let p(o) = -6*o + 8*o + 4 - 3. Let h be p(1). Suppose h*l = l + 40. Is 10 a factor of l?
True
Does 21 divide ((-42)/(-9))/((88/7368)/11)?
False
Suppose -8 = -4*o + 4. Let f be (0/(1 + o))/1. Suppose -2*k = -4*d - 42, -4*k + 7*k - 5*d - 64 = f. Does 8 divide k?
False
Suppose -552 = -12*c + 1656. Is c a multiple of 13?
False
Suppose -6 = -2*o, 3*o = 4*g - 1011 - 476. Is g a multiple of 11?
True
Suppose -t - 877 = v - 4*v, -5*v - 5*t = -1475. Does 55 divide v?
False
Let n(a) = -a - 1. Let y be n(-6). Suppose -2*h + 217 = 5*j, 4*h - y*h = -5*j - 116. Is (-1)/(-2 + h/57) a multiple of 19?
True
Is (-92956)/(-119) - (-1)/(-7) a multiple of 12?
False
Is 61 + (18/12 - 9/6) a multiple of 6?
False
Suppose 5*i - 91 = 3*i + x, -x = 5*i - 238. Suppose -43 = -5*a + i. Is a a multiple of 6?
True
Suppose -6 = 46*x - 43*x. Does 14 divide x - 5/((-20)/244)?
False
Suppose 2*o - 13 - 5 = -3*l, -4*o + 5*l = -14. Suppose -o*a = -2*a - 52. Is 12 a factor of a?
False
Let z(j) = -j - 15. Suppose 5*w - 33 + 107 = -y, -12 = w + 3*y. Let q be z(w). Suppose 2*u = o - 2*u - 98, -4*o - 3*u + 297 = q. Is 16 a factor of o?
False
Suppose -6008 = 227*n - 229*n. Is n a multiple of 23?
False
Suppose -1 = -5*q + 14. Let v = q + -11. Is 9 a factor of (-245)/(-9) - v/(-36)?
True
Let k(g) = g - 6. Let f be k(5). Let w(j) = j + 3. Is 2 a factor of w(f)?
True
Suppose -159 = -15*b + 14*b + 3*r, 0 = 3*b - 5*r - 457. Does 36 divide b?
True
Suppose p - 2*p = 2. Let z be (0 - 3)/((-12)/8). Does 12 divide 42 + p/1 + z?
False
Suppose -51 = 4*j + 3*k, 7*j - 4*k = 2*j - 56. Is (-294)/(-10) + j/(-20) a multiple of 6?
True
Let g(j) = -j**3 - 8*j**2 + 17*j + 29. Let h(x) = 5*x**2 + 2*x - 11. Let p be h(0). Is 11 a factor of g(p)?
False
Let u(o) = -o**3 - 7*o**2 + 2*o - 26. Let n be u(-13). Suppose 5*k = n - 222. Does 14 divide k?
False
Suppose 1 + 4 = -s. Let l(b) = -b**3 - b**2 + 3*b - 5. Does 17 divide l(s)?
False
Is (16*(-3)/(-6))/((-14)/(-3325)) a multiple of 20?
True
Let m(p) = -2*p**2 - 12*p + 8. Let n be m(-6). Is 1 + 1 + 145 + n/(-4) a multiple of 10?
False
Suppose -4*t + 22 = 6. Suppose 0 = 2*y + 3*y + t*v - 180, 180 = 5*y - 4*v. Does 10 divide y?
False
Let b = 512 - 243. Is b a multiple of 36?
False
Suppose -4*z + 5768 = 4*l, 3*z + 50*l - 49*l - 4316 = 0. Is 45 a factor of z?
False
Suppose 2*v + 3*r - 72 = v, 0 = v - 5*r - 56. Suppose 0 = -5*w + 3*w + v. Is w a multiple of 11?
True
Let j(b) be the first derivative of b**5/20 + 7*b**4/12 + b**3 + 7*b**2/2 - 2*b - 10. Let q(x) be the first derivative of j(x). Is 9 a factor of q(-5)?
True
Let p(i) = -i + 21. Let l = 61 - 46. Does 6 divide p(l)?
True
Suppose -13*w = -38*w + 18200. Is 25 a factor of w?
False
Suppose -8*b + 318 + 146 = 0. Let p = b + -39. Does 2 divide p?
False
Suppose 3*z - 443 = 4*s, -3*z - 5*s + 324 + 101 = 0. Is z a multiple of 8?
False
Suppose -x + 5 = -0. Suppose u - 11 = -4*t, -x*u - 50 = -0*u - t. Let m(h) = -3*h - 4. Is m(u) a multiple of 23?
True
Let a = 88 - -458. Is a a multiple of 42?
True
Let o(g) = -2*g**3 - 19*g**2 - 7*g + 132. Does 78 divide o(-12)?
True
Suppose g + 4*v - 116 = -4*g, -2*v = -4*g + 72. Suppose 15*r = 10*r + g. Suppose 25 + 27 = r*x. Does 3 divide x?
False
Let t = -8 + 9. Suppose -5*i - 2*o - 4447 = -0*i, -5*i + 5*o = 4440. Is i/(-14) - t/(-2) a multiple of 32?
True
Suppose -144 + 847 = 2*v + p, 3*v - 2*p = 1051. Is 6 a factor of v?
False
Let o = -55 - -37. Let r = 14 + o. Is 17 a factor of 68 + r + 6/2?
False
Suppose -w + 15 = -9. Suppose 5*t - w = 4*t. Does 19 divide -5*(t/(-5) + -2)?
False
Suppose 91*p - 79*p = 864. Is 18 a factor of p?
True
Suppose 0 = -10*d - 7459 + 26979. Is d a multiple of 16?
True
Let w(j) be the third derivative of -j**6/120 + 19*j**5/60 + 5*j**4/6 + 8*j**3/3 + 12*j**2. Does 4 divide w(20)?
True
Suppose 2*r + 0*r - b = 159, -2*b = r - 87. Suppose -2*s = -r + 5. Suppose -2*y + s = -20. Is 14 a factor of y?
False
Suppose -3*f + 164 = 2*j - 135, j = -3*f + 145. Is j a multiple of 12?
False
Suppose 8*z - 7737 - 10319 = 0. Does 26 divide z?
False
Suppose -3*o = -4*o + 3. Is 9 a factor of (o - 1)*(-98)/(-14)?
False
Suppose 2*l = -0*l + 6. Suppose -l*z - 5 = 7. Is (0 - -2)*(-26)/z a multiple of 3?
False
Suppose -4*h + 2*z = 0, -3*h - z + 5 = -5*z. Let j(u) = -6*u - 1. Let t be j(h). Let w(r) = -r**2 + 10*r + 11. Does 18 divide w(t)?
True
Suppose -5*c - 4*z - 252 = -2533, 4*c + 6*z = 1822. Does 3 divide c?
False
Let i(s) = 4*s**3 - 3*s**3 - 97*s**2 - 3*s + 99*s**2. Let y be i(-3). Suppose 2*c + c - 4*t - 105 = 0, -t - 3 = y. Is c a multiple of 6?
False
Let v(c) = -3*c**3 - 6*c**2 + 2*c + 10. Let x be v(-4). Let a = x + -72. Is 13 a factor of a?
True
Suppose 2*w = -0*y - y - 4, -2*w = -5*y + 28. Suppose -8 = 3*o + y. Does 8 divide o + 4 + 2*18?
False
Is 26 a factor of -21*((-504)/27 + -2)?
False
Let c be 54/4*(469/21 + -5). Suppose 221 = 13*h - c. Is h a multiple of 10?
False
Let p be 165/40 + 1/(-8). Suppose -p*f - j - 2 = 0, -f - j + 3 = 5. Suppose -2*q + 80 = g - f*g, 5*g - 80 = -2*q. Is q a multiple of 8?
True
Is 70 a factor of (-8 - -7)*716*-1?
False
Let q(n) = 19*n - 1. Let l be ((-80)/15)/(-2*1/3). Does 9 divide q(l)?
False
Let f = 1115 + -317. Is f a multiple of 7?
True
Suppose -g + 138 = -2*q, 0*g + 4*q + 532 = 4*g. Let m = g + -48. Is 10 a factor of m?
True
Suppose -a - 18 = -5*h, -h - 6 + 20 = 5*a. Does 4 divide (-423)/(-27) + a + (-10)/6?
True
Let s = -56 + 158. Does 9 divide s?
False
Let h(i) = i**3 + 18*i**2 - i - 14. Let p be h(-18). Suppose -8*b = -p*b - 144. Is b a multiple of 14?
False
Suppose 7*z = 5414 + 6780. Is z a multiple of 16?
False
Does 15 divide (1718/1 - 1)*4/4?
False
Let r(l) = l**3 + 13*l**2 - 11*l - 9. Let a be r(-13). Suppose 5*o - v = 3*v + 309, -v + a = 2*o. Does 26 divide o?
False
Suppose -2*k - 552 = -2*w, 3*w - 4*w - k + 276 = 0. Does 6 divide w?
True
Let r(j) = -3*j - 15. Let o be r(-6). Is ((-234)/6)/(o/(-3)) a multiple of 7?
False
Is (-2)/((-14)/(-21)) - -54 a multiple of 3?
True
Let w = -84 - -199. Suppose 4*s + 5*k = 9*s - 215, 3*s - w = -4*k. Is s a multiple of 6?
False
Let r(w) = 2 - 14 