 = -4. Is 7 a factor of a?
False
Suppose 3*d - 2*r - 1022 = 0, 4*d - 2*d - 2*r - 680 = 0. Does 19 divide d?
True
Suppose -3*t = q - 240, 3*t - 388 + 148 = q. Is 16 a factor of t?
True
Let i(n) = n**3 + 6*n**2 + 5*n - 4. Let l be i(-4). Suppose 0 = 5*p - l - 97. Is p a multiple of 21?
True
Let i(b) = b**3 + 6*b**2 - 6*b + 9. Let p be i(-7). Suppose 3*r - 10 = -p*r. Suppose 0 = -3*o + 4*a + 114, 5*a = 4*o - r*o - 76. Is 19 a factor of o?
True
Suppose 0 = 6*u - 113 - 805. Is 39 a factor of u?
False
Suppose 38 = -y + 2*y. Does 10 divide y?
False
Let t(p) = -2*p**2 + 10*p. Let j be t(7). Does 13 divide (-2372)/(-28) - 8/j?
False
Suppose 0 = 4*h + b - 15, 2*h - 3*b + 0 = -3. Suppose h*l + l - 96 = 0. Is l a multiple of 12?
True
Let y(r) = -r**2 - 5*r - 3. Let h be y(-3). Suppose -4*i - c = -4*c - 39, 4*c = 4*i - 36. Suppose -h*p - i = -5*n + 33, 0 = -2*n - 3*p + 18. Is 8 a factor of n?
False
Suppose 0*g + 66 = 6*g. Does 5 divide g?
False
Let i = -2 + 11. Suppose 70 = 4*p - i*p. Let d = -7 - p. Does 7 divide d?
True
Suppose -2*j - 5*m + 29 = 0, 2*j - 15 = -3*m + 16. Suppose -5*k = -8 - j, 19 = 4*f - k. Suppose -f = -2*g, -2*g - 15 = -3*p - 4*g. Is 2 a factor of p?
False
Suppose 4*b - 6 = -n + 6, 0 = 4*b - 2*n. Suppose 0 = 4*l, 0 = -w + b*l + 4 + 1. Suppose 5*y + 0*y = w*q + 195, -127 = -3*y + 5*q. Does 20 divide y?
False
Let v be 1 + -1*(-2)/(-2). Suppose v = 4*s - s - 42. Is 7 a factor of s?
True
Let h be (-7)/(-14) - 5/(-2). Let q be ((-2)/5 + 0)*-30. Let s = q - h. Is s a multiple of 9?
True
Let c = -12 - -6. Let r = -6 + 3. Is 15 a factor of (10/r)/(c/27)?
True
Let q be 2/3 + 92/6. Suppose -u - 3*u - q = 0, 5*u = 4*v - 160. Does 12 divide v?
False
Let u be 103/(-7) - 4/14. Is 5 a factor of (-4)/6*(0 + u)?
True
Let u be (0*1/(-2))/1. Suppose -2*h = -u*h - 46. Is h a multiple of 8?
False
Let x be (-2)/(-4)*(-8)/(-2). Suppose 14 = -4*p - x*q + 106, -3*p + q + 64 = 0. Does 11 divide p?
True
Let x(v) = -v**3 + v**2 - 7*v + 7. Let j be x(5). Does 12 divide -3 + (j/(-4) - 2)?
False
Let a(t) = 2*t**2 - 2*t - 2. Let s(m) = -4 + 7*m**2 + 4 - 6*m**2. Let x(p) = a(p) + 3*s(p). Is 7 a factor of x(2)?
True
Let m = 8 - -1. Is 2 a factor of m?
False
Let n = -1 - -5. Suppose -4*g + n*s = -128, -2*g = g - 2*s - 99. Does 9 divide g?
False
Suppose 41 = 2*o - 5*c - 11, 0 = 4*o - 5*c - 94. Is o a multiple of 8?
False
Suppose -8*i + 24 = -4*i. Suppose -c + 0*c = -i. Is c a multiple of 6?
True
Let m(o) = -171*o + 4. Let p be m(-3). Suppose 6*r + 49 = p. Is 20 a factor of r?
False
Suppose -4*x = -7*x. Suppose x = -g - 5 - 3. Does 18 divide g/(-12) + (-158)/(-6)?
False
Let d = 14 - -2. Suppose 3*c = -40 + d. Let y = c - -36. Does 13 divide y?
False
Let g = -1 - -5. Suppose h + 4*l - g = 0, -2*l - 2*l = 2*h - 4. Suppose i + 4*i - 170 = h. Is 15 a factor of i?
False
Suppose 3*p - 125 = -5*i, 5*p + 0*i - 240 = -2*i. Does 25 divide p?
True
Let d(y) be the first derivative of 5*y**3/3 - y**2/2 + 8. Does 4 divide d(1)?
True
Let d = 29 + 2. Suppose -q = -2*f - d, 2*q + 0*f = 3*f + 63. Is 11 a factor of q?
True
Let w(o) = 209*o**3 - o**2 + o. Does 21 divide w(1)?
False
Suppose 7 + 2 = 3*b. Suppose b*v - 33 = -o, -2*o + 4*o - 111 = 3*v. Suppose -3*r - 143 - o = -4*q, 0 = 4*q + 3*r - 161. Is q a multiple of 22?
True
Suppose -22 = 2*o - 8. Let f(s) = -s - 2. Let r be f(o). Suppose -6*z + r*z = -17. Is z a multiple of 5?
False
Let c(r) = -r**2 + 10*r - 4. Let q be c(9). Suppose 3*j - 4*j + q = 5*x, 0 = x + 2*j - 1. Is 2 + (x - -1) + 2 a multiple of 4?
False
Suppose -5*q + 4 = -16. Suppose -q*b + 60 = -2*b. Suppose -3*g + 5*f + 37 = 0, -2*g + 0*g - 2*f + b = 0. Is g a multiple of 9?
False
Suppose 4*r = 2*g - 86, 4*r + 212 = 4*g + 6*r. Is 6 a factor of g?
False
Suppose -6*o + 1050 = o. Does 30 divide o?
True
Is 21 a factor of 38 + -4*(-4 - -3)?
True
Suppose 3*y - 4*p + 3*p = 481, 4*y = 5*p + 656. Does 20 divide y?
False
Let u(h) = h**3 - 7*h**2 + 9*h - 4. Let p be u(7). Suppose 0 = -2*w + 6*t - 3*t + p, -73 = -4*w - 3*t. Is 11 a factor of w?
True
Let x = 36 + -29. Suppose 2*r = -2*p + 412, r - 60 = -5*p + 130. Suppose -x*s + 2*s + r = 0. Is 14 a factor of s?
True
Suppose 40*f - 595 = 35*f. Is 9 a factor of f?
False
Let u(r) = 12*r**2 + 1. Let h(v) = 23*v**2 + v + 2. Let k(c) = -2*h(c) + 5*u(c). Is k(1) a multiple of 6?
False
Let k(m) = m**2 + 3*m - 2. Let g be k(2). Let j = 11 - g. Is 3 a factor of j?
True
Let j = 24 + 33. Suppose 2*h - 74 = -l - l, 0 = h - 4*l - j. Is h a multiple of 17?
False
Let v(h) = 5*h**2 - 5*h - 11. Let x(n) = 3*n**2 - 2*n - 5. Let k(y) = 4*v(y) - 7*x(y). Let g be k(-7). Does 6 divide 0 + -2 + (7 - g)?
False
Does 32 divide 57/4*80/15?
False
Let h be 4/14 + (-27)/21. Let k = h + 49. Is k a multiple of 10?
False
Suppose 0 = 4*t + i - 242 + 70, -3*t - 5*i = -146. Is 9 a factor of t?
False
Suppose -2*s + 3*p + 194 = -68, s + 3*p = 149. Is s a multiple of 29?
False
Suppose -5*c = -4*c - 77. Does 4 divide c?
False
Suppose 10 = 2*k - 7*k. Suppose 19 - 35 = -4*u. Let z = u - k. Is z a multiple of 3?
True
Let f(l) = 0*l + 4*l - 6*l. Is f(-8) a multiple of 5?
False
Let o be (0 - -1)/((-1)/9). Let l(u) be the third derivative of -u**6/120 - u**5/6 - u**4/3 + 13*u**3/6 - u**2. Is 2 a factor of l(o)?
True
Let n(f) = -f**2 - 7*f - 5. Let a(k) = -k**2 - 3*k - 2. Let z(p) = -5*a(p) + 2*n(p). Is z(-2) a multiple of 7?
False
Suppose -s + 2*s = 2. Suppose -260 = -4*b - s*n, -b - 4*n + 72 = -0*b. Let j = -14 + b. Is 19 a factor of j?
False
Suppose -3*c + 0*c + 201 = 4*w, 2*w + 2*c = 100. Is 24 a factor of w?
False
Is 7 a factor of 442/8 - 39/(-52)?
True
Let h = 10 - 1. Does 3 divide h?
True
Let s(u) = u**2 + 3*u - 12. Is s(-9) a multiple of 8?
False
Let g(s) = 37*s - 25. Is g(7) a multiple of 13?
True
Suppose -t = -2*t + 10. Suppose -6 = -u - 5*a, -u + t = -3*a - 28. Is 13 a factor of u?
True
Let l(u) = -u**3 - 8*u**2 + 10*u + 12. Let c be l(-9). Suppose -d + 3*d = x + 24, -c*d + 31 = x. Is 11 a factor of d?
True
Let m = 9 - 22. Let i(l) = -4*l + 5. Let u be i(-4). Let y = m + u. Does 8 divide y?
True
Suppose 0*d - 88 = -2*d. Is 18 a factor of d?
False
Suppose 0 = 2*g - 6 - 0. Let d be (8/(-10))/(g/(-30)). Suppose 5*b - 59 + d = -r, 5*b - 195 = -5*r. Is 12 a factor of r?
True
Let i = 316 - 1. Is 15 a factor of i?
True
Let c be 1*(0 + 0 + 0). Let p be 2 + 1 - (-8 + 8). Suppose c = p*h + 2*y - 43, -3*h + y + 55 - 9 = 0. Is h a multiple of 9?
False
Suppose -4*b = 2*d - 48, 4*b = b - d + 34. Let r = b + 18. Is r a multiple of 7?
True
Suppose -2*s + 60 = 3*s. Is 12 a factor of s?
True
Is (-77 + -2 + -1)/((-6)/9) a multiple of 12?
True
Let q(z) = 31*z - 6. Does 8 divide q(2)?
True
Suppose 9*z = 6*z + 36. Is 4 a factor of z?
True
Suppose -2*u - 4 = -0*u. Is 2 a factor of -3 + 1*(-18)/u?
True
Suppose 3*s + 10 = 2*s + d, -5*d = 2*s + 41. Let b be (-2)/s - 28/13. Is b/5 + (-374)/(-10) a multiple of 14?
False
Let f be (1 - 1)/(2 + -3). Suppose 0 = -3*r - r. Suppose r*c - 78 = -4*v + c, f = -2*c - 4. Is 19 a factor of v?
True
Let w(q) = 2*q - 7. Let m be (-4)/12 + (-16)/(-3). Is w(m) a multiple of 2?
False
Let r = 97 - -58. Does 31 divide r?
True
Suppose 13*q = 18*q. Suppose 5*o + q*o = 150. Is 10 a factor of o?
True
Is 19 a factor of (-3 + 12)*(1 + (-105)/(-9))?
True
Let w(s) = -s**3 + 4*s**2 - 2. Let g be w(4). Let p be (-6)/(g*(-6)/(-8)). Suppose -33 = -p*a + 15. Is a a multiple of 12?
True
Suppose 0*o - 3*o = -99. Does 10 divide o?
False
Suppose -5*p - 861 = -9*p - c, 2*c = p - 204. Is 19 a factor of p?
False
Let v = 3 - 1. Suppose -2*q - 5 - 1 = 0, -11 = 5*t - 3*q. Is 2/t*v + 6 a multiple of 5?
True
Suppose 0*d + d = 4*m - 31, -d + m = 19. Let v = 86 + -48. Let g = d + v. Is g a multiple of 9?
False
Suppose -2*t = -4*m - 8, 2*t + 3*m - 5*m = 4. Suppose t = 3*y - 7*y + 136. Does 11 divide y?
False
Suppose -x - 8 = 2*a, 3*x + 3 = -3*a - 6. Suppose -p = k - 4*k - 43, -3*p + x*k = -122. Suppose 5*h - p = -4*i + 3*h, 0 = -5*i + 5*h + 35. Does 5 divide i?
False
Suppose 2*j + 36 = 6*j. Is 5 a factor of (-3)/j*1*-21?
False
Suppose 0 = 2*a - a - v + 3, -5*a + 3*v - 7 = 0. Suppose 4*f + 5*l = -5 + a, 4*l = -4*f. Suppose -r = f*r + 5*b - 20, 4*r = 2*b + 40. Does 4 divide r?
True
Let f = 22 + -15. Is 7 a factor of f?
True
Let f(a) = -3*a - 3. Suppose 5 = 5*h + 15. Does 3 divide f(h)?
True
Let i