 of l(4)?
False
Suppose 0*v = 50*v - 52000. Does 130 divide v?
True
Let n(g) be the second derivative of g**4/12 + g**3 - 5*g**2/2 - 7*g. Let o be n(-7). Suppose -5*l + 5*z + 81 = -l, 0 = -o*z + 6. Is 18 a factor of l?
False
Suppose -17*b + 14*b = -123. Is b a multiple of 11?
False
Suppose -6*j + 23 = -1. Suppose -j*g + 3 + 13 = 0. Is 4 a factor of g?
True
Let a be 20259/(-36) - 1/4. Let l = -323 - a. Suppose 8*o - l = 4*o. Does 12 divide o?
True
Let i(j) = -j**3 + 9*j**2 + 32*j + 10. Does 12 divide i(11)?
True
Suppose i + 75 = 3*g - 140, 886 = -4*i - g. Let r = -49 - i. Suppose 4*a - 176 = -5*u, 2*u + r = 4*a + 6*u. Is 16 a factor of a?
False
Let g(w) = -6*w + 44. Let z be g(7). Suppose 3*a - 520 = -z*n + 136, 0 = 4*a - n - 882. Is a a multiple of 50?
False
Suppose -200 = -2*n + 290. Does 7 divide n?
True
Let g = -1061 - -2951. Does 70 divide g?
True
Suppose 2 = 2*v + t - 1, -5*v + 3 = t. Suppose 4*h = -3*j - j - 148, 2*h - j + 71 = v. Is 1736/36 - (-8)/h a multiple of 16?
True
Suppose -4*n = -4*k - 84, 0 = 5*n + 11 + 9. Does 6 divide (-21 - k)/(2/6)?
True
Let n = 222 - -1268. Does 40 divide n?
False
Suppose -c + 14 - 1 = 0. Suppose -1 = 4*o - c. Suppose 0 = -i - o*i + 36. Does 9 divide i?
True
Let i = 44 - 42. Suppose 0 = -i*l - 2*l + 356. Is 14 a factor of l?
False
Let b = 1990 - 845. Does 61 divide b?
False
Is 144/(-56)*9/(135/(-70)) even?
True
Let y(j) = -j**3 - 33*j**2 - 18*j + 84. Does 21 divide y(-36)?
True
Let t be ((-8)/6 - -1)/(3/207). Let v = t + 35. Does 8 divide v?
False
Let c be 1*(3 + 0 - 9). Is ((-2)/c)/(1/192) a multiple of 12?
False
Let x = -2 + 4. Suppose -12 = 4*w, p + w = x*w + 11. Suppose -h - 5*q = -9, 0 = -h - 2*q + p + 1. Is h a multiple of 6?
False
Let x be (1 + 20/15)*-3. Let s(u) = u**2 - 20*u + 9. Is 33 a factor of s(x)?
True
Does 30 divide (3 - 519/15)/((-13)/715)?
False
Suppose 5 = x, 4*j = 4*x + 86 + 294. Is 10 a factor of j?
True
Let j = -6 + 13. Let w = -14 + j. Let p = -1 - w. Is 3 a factor of p?
True
Let n = 0 - 1. Let l(p) = 4*p**3 - p + 2 - 3 - 30*p**3 + p**2. Does 17 divide l(n)?
False
Let f(r) be the third derivative of r**6/120 - 7*r**5/60 + 7*r**4/24 - r**3/6 + 7*r**2. Let k be f(6). Suppose -k*h + 54 = -66. Does 8 divide h?
True
Let v = 82 + -46. Let g = 5 + v. Suppose -3*z + 146 = 4*j, g = 4*j + z - 101. Is 10 a factor of j?
False
Let g(l) = 2*l**3 - 5*l**2 - 6*l - 5. Let m(w) = 3*w + 12. Let s be m(0). Let h = 17 - s. Does 18 divide g(h)?
True
Let a = -5 + 10. Suppose a*q = -1 - 79. Is 9 a factor of ((-31)/4)/(4/q)?
False
Let b(h) = -4*h**2 + 7*h + 12. Let g(p) = -11*p**2 + 21*p + 36. Let o(l) = 8*b(l) - 3*g(l). Let z be (-2 + -12 + 1)*-1. Is 22 a factor of o(z)?
True
Let y(m) = 18*m**2 + 5 + 4*m + 2 - 4. Does 21 divide y(-2)?
False
Does 18 divide (2 - 498/4)/((-165)/2970)?
False
Let a(x) = 5*x - 71. Is a(15) a multiple of 3?
False
Let h(d) = d**2 - 14*d - 5. Let p be h(15). Suppose p*z - 5*z = r - 30, 4*r - 4*z - 72 = 0. Does 8 divide r?
False
Let n(k) = -13*k + 66. Is 2 a factor of n(-5)?
False
Does 18 divide ((-12)/5 + 2)/(46/(-12190))?
False
Let m = 68 + -66. Suppose -m*p + 15 = g - 30, 95 = 2*g + 3*p. Is g a multiple of 39?
False
Let m(i) = 101*i**2 + 26*i - 27. Is 20 a factor of m(1)?
True
Suppose -6*u - 73 = -199. Is 18 a factor of (-240)/(-14) + 1 + (-3)/u?
True
Suppose 0 = -6*h + h - 3*k + 445, 5*k + 25 = 0. Is 23 a factor of h?
True
Let q be -2 - 5/((-15)/18). Suppose q*b - 24 = 736. Does 35 divide b?
False
Suppose -83*f + 12075 = -62*f. Is 23 a factor of f?
True
Is (-511)/(-365) + (-22106)/(-10) a multiple of 21?
False
Suppose 6 = -2*j, 0 = -5*h + 2*h + 4*j + 213. Suppose -h = -2*o + 17. Let r = o - -15. Is r a multiple of 7?
False
Let g(b) = -2*b + 15. Let s be g(-4). Suppose -s*v + 140 = -19*v. Is 35 a factor of v?
True
Let u = -53 + 73. Suppose -4*b - u = -3*h + 172, -5*h = -4*b - 312. Is 12 a factor of h?
True
Let l(a) = 3*a + 1. Let d be l(-2). Let v be (24/d - -2)*5. Is 8 a factor of 4/v - (-116)/14?
True
Suppose i - 2703 = -2*b, 3*b = i + 3953 + 104. Is b a multiple of 8?
True
Let u(g) = -9*g. Let c(a) = -4*a. Let p(j) = -5*c(j) + 2*u(j). Let m be p(-11). Let z = -10 - m. Is z a multiple of 12?
True
Let f(p) = p**2 - 15*p + 1. Suppose l + 11 + 0 = b, 4*l = -2*b + 52. Is 8 a factor of f(b)?
False
Suppose 0 = -21*l - 489 + 6201. Is 62 a factor of l?
False
Let s = -65 - -25. Let b be (s/15)/((-8)/1308). Suppose -11*d = -7*d - b. Is d a multiple of 24?
False
Let a be (-8)/3*1611/(-12). Let s = a - -8. Let n = s - 258. Is 29 a factor of n?
False
Suppose 27 = 5*x - 3. Let b(a) = 3*a**2 - 15*a + 13. Is b(x) a multiple of 31?
True
Suppose -39*z + 27540 = 15*z. Does 15 divide z?
True
Suppose -2*k - 2*u = -0*k + 20, 5*u + 14 = -2*k. Let x = -13 - k. Let d = 5 - x. Is d a multiple of 4?
False
Suppose 0 = -36*q + 31320 - 10296. Is q a multiple of 80?
False
Let c = 10 + -19. Let b be 6/9*c/(-3). Suppose -107 = -4*p + 5*n, b*p - 101 = -2*p + 3*n. Is p a multiple of 9?
False
Let i = -47 - -52. Suppose 3*x + 8 = l - 41, -x = -i*l + 231. Is l a multiple of 23?
True
Suppose 3*l + 2*d = 723 + 2792, 4*l - 4664 = 3*d. Does 17 divide l?
False
Let x = -409 + 616. Is x a multiple of 22?
False
Suppose 5*t - 5*h = 930, 0*t + 576 = 3*t + 3*h. Let y = t - 62. Is 13 a factor of y?
False
Let g(x) = 30*x**2 - 31*x - 17. Is 17 a factor of g(5)?
True
Let x(t) = -t**3 - 6*t**2 - 5*t + 5. Let n be x(-5). Suppose 5*u = -4*l + 13 + 13, -2*l = -n*u - 28. Does 2 divide l?
False
Let n(o) = o**3 + 10*o**2 + 19*o + 2. Let f be n(-8). Let p = f + 29. Is 7 a factor of p?
True
Let f = -16 - -14. Is -1 + 105/3 + f/(-2) a multiple of 11?
False
Suppose -4*n = -3*y + 29, -5*n = -2*y - 2*y + 37. Suppose -w + y = -0*w. Is (92/w)/(4/6) a multiple of 14?
False
Let c(y) = 7*y**3 - 6*y - 5. Let m be c(-3). Does 39 divide ((-18)/(-8))/((-6)/m)?
False
Does 25 divide 199/4 + 13/52?
True
Suppose -3*d + 3 = -48. Let k be 5/(-4)*(d - -19). Does 8 divide -4*4/(80/k)?
False
Let q = 179 + 191. Is q a multiple of 37?
True
Let s be -1*((-7 - -7) + (-1 - -2)). Let b(r) = -84*r**3 - 2*r - 2. Is 14 a factor of b(s)?
True
Let b(h) = 14*h + 26. Let w be b(-16). Let l = 339 + w. Is l a multiple of 22?
False
Suppose -8*c + 6*c + 1042 = 0. Is c a multiple of 11?
False
Let l(d) = -d**3 - 29*d**2 + 59*d - 16. Is l(-31) a multiple of 7?
True
Let w(k) = 4*k**2 - 4 + 14*k - 2*k**2 + 4*k**2 - 3*k**2. Does 10 divide w(-6)?
True
Suppose -6*m + 2*m + 16 = 0. Suppose 26 = m*j - 2*j. Suppose 0*r - 4 = -2*r - 4*f, -f - j = -3*r. Does 4 divide r?
True
Is 35 a factor of (12 + (12 - 22))*(-701)/(-2)?
False
Suppose 0 = 38*a - 33*a - 425. Is 4 a factor of a?
False
Let z = -33 - -35. Suppose 5*c = -g + 38, z*g - 52 = -2*c - 0*c. Does 22 divide g?
False
Does 21 divide (-208080)/(-405) - (-4)/18?
False
Suppose h + 0 - 12 = 0. Let x = h + 61. Is x a multiple of 22?
False
Let o = -26 - -606. Is o a multiple of 57?
False
Suppose -5*a - 170 = -3*n, -5*n + n + 91 = -3*a. Is 45 a factor of (-8 + a)*1*-1?
True
Suppose -29 = -5*b + 11. Let s(p) = 2*p - 12. Let n be s(b). Suppose 2*u - 64 + n = 0. Does 8 divide u?
False
Let z(l) = 10*l**2 + 2*l + 10. Let v be z(-4). Let n = v - 24. Let o = n - 94. Is 22 a factor of o?
True
Is 49 a factor of (-1)/6*((-23443)/7 - -7)?
False
Let v(i) = 2*i**2 - 5*i. Let c be v(-3). Let s be (-3 - -1) + (4 - -3). Suppose -4*r + c = 2*g - 77, -s*g + 35 = 2*r. Is 10 a factor of r?
True
Suppose -1863 = 35*r - 8828. Does 2 divide r?
False
Suppose 3*d + j = 7254, 4*j + 4913 = 2*d + 77. Is 26 a factor of d?
True
Let q be 2/(-6) + 1218/9. Suppose -2*w - q = -7*w. Does 13 divide w?
False
Let d(c) = -6 + 1 - c - 2*c. Let t be d(-4). Does 10 divide 0 + t + (-12)/(-4)?
True
Let f be 14/2 + (-16)/4. Let l(c) = 5*c**3 - 3*c + 2. Is 14 a factor of l(f)?
False
Let j(c) = 4*c + 8. Let m(h) = -3*h - 8. Let u(n) = -4*j(n) - 5*m(n). Suppose -5*y - 27 - 8 = 5*d, 5*d - 31 = y. Does 12 divide u(y)?
False
Suppose -22 = -33*y + 31*y. Suppose 4*j - y - 42 = o, 0 = -4*j + 3*o + 63. Is j a multiple of 4?
True
Is 2 a factor of (-217)/(-62)*2*6?
True
Let l(x) = 27*x - 6*x + 1 + 8*x. Does 28 divide l(3)?
False
Suppose 0*f - 35 = -5*f. Suppose -f*n + 209 + 547 = 0. Is 36 a factor of n?
True
Let q(l) = 8*l + 4 + 4 - 2. Let y be q(6). Suppose 0*c - 2*c = -y. Is 15 a factor of c?
