 - 4 = s*q, -16 = -4*j. Suppose 90 = 2*i + q*i. Does 9 divide i?
True
Let d = -7 + 14. Let i be 8 - (0 + (1 - -1)). Suppose 3*y - x - d = 18, -i = -y - 2*x. Is y a multiple of 3?
False
Let o(c) = -7*c**2 + 2*c + 52. Let v(r) = 3*r**2 - r - 26. Let z(f) = -4*o(f) - 9*v(f). Is z(0) a multiple of 13?
True
Suppose -50 = -4*y + 34. Is 7 a factor of y?
True
Suppose -i = 3 - 41. Suppose 3*a = 4*a, -4*a + 110 = -5*d. Let u = i + d. Does 16 divide u?
True
Suppose -81*l = -77*l - 756. Is 18 a factor of l?
False
Let m(r) = 2*r + 2. Let f(h) = -2*h + 1. Let o be f(3). Let j be m(o). Let g(t) = -t**3 - 8*t**2 - 2*t - 3. Does 5 divide g(j)?
False
Suppose x - 29 = -3*t, -3*x - 39 = -3*t - 2*t. Does 9 divide t?
True
Suppose -r + 5*b + 48 = 12, -3*r + 2*b = -56. Does 4 divide r?
True
Let j be -123*-1*(3 - 2). Suppose -5*m - 3 = -4*m, 3*v + 3*m = j. Suppose -2*y - 4*w + 2*w + 8 = 0, -4*y = -3*w - v. Is 8 a factor of y?
True
Let t(n) = n**3 + 3*n**2 + 8*n + 6. Is t(5) a multiple of 42?
False
Let o = -1 - -5. Is 22 a factor of (-1)/o - 506/(-8)?
False
Suppose 4*l - 7 = 225. Is l a multiple of 9?
False
Let w(s) = -3*s + 14. Let t(x) = -7*x + 27. Let o(r) = -2*t(r) + 5*w(r). Does 2 divide o(10)?
True
Let h be 0/(3/(-12)*-4). Suppose 7*f + 3*s = 3*f + 91, -3*s - 9 = h. Is 25 a factor of f?
True
Let p(v) = v**2 - 2*v + 1. Let w be p(1). Let t(r) = r - 13. Let k be t(w). Let s = -8 - k. Does 2 divide s?
False
Let r = -12 - -39. Suppose r = 4*o - o. Is 4 a factor of o?
False
Let i(h) = -h**2 - 6*h - 5. Let n be i(-5). Let t(f) = f**2 + f + 3. Is t(n) a multiple of 2?
False
Let j = -236 + 336. Is j a multiple of 10?
True
Suppose 0 = -3*i - i + 16, 0 = -4*d - 4*i. Let k = -3 - d. Is (0 + k - -3) + 2 a multiple of 3?
True
Let i be 2 + 1 - (2 - 1). Suppose 84 = 4*w - 4*a, -w - i*a = -0 - 18. Is 6 a factor of w?
False
Suppose -v = 2*u + 165, -2 + 0 = -2*v. Let i = -90 - -49. Let y = i - u. Is 19 a factor of y?
False
Suppose 4*o = -0 + 4. Let i be 6/o*(-2)/2. Is -2*(1 + 21/i) even?
False
Suppose 7 = -o - k, 5*o = -2*k - 4 - 19. Does 11 divide 75/4 - o/12?
False
Let k = 5 - 5. Is (-18)/(-3) - (k - 0) a multiple of 3?
True
Let p(a) = 2*a**2 - 4. Does 4 divide p(-2)?
True
Let j(h) = h + 1. Let d(r) = r + 1. Let v(l) = d(l) + 4*j(l). Suppose 41 = 5*s + 1. Does 15 divide v(s)?
True
Suppose 2*c - 3 = t - 7, 4*t - 6 = -2*c. Let z = -5 - c. Let n = 10 - z. Is 14 a factor of n?
True
Suppose 55 = -3*b + 8*b. Is 5 a factor of b?
False
Does 30 divide (-9)/((-9)/(-3)) - -127?
False
Suppose w - 5*w + 5*a + 7 = 0, 0 = w - 5*a + 2. Suppose 4*x - w*d = 48, -4*d + 26 + 5 = x. Is 15 a factor of x?
True
Suppose -p - 4 = 4*h + 3, 0 = 3*p + 4*h + 5. Does 13 divide 3 + 47 + p/1?
False
Let p(b) = -b**3 - 2*b**2 + 5. Suppose 5*h = -0*h - 25. Let a be p(h). Suppose -2*u + 4*i + a = 0, 0 = 7*u - 2*u + 5*i - 125. Is u a multiple of 15?
True
Let w(o) = 7*o**2 + o - 2. Let t be w(3). Let v be (2 - t)/(1/(-1)). Suppose 116 = 5*n - 3*u, -2*n + 4*u + v = 10. Is 17 a factor of n?
False
Let p be 26/8 - (-3)/(-12). Let j be 298/14 + (-14)/49. Suppose -2*t = 2, p*t - 8 = -2*g + j. Does 6 divide g?
False
Let d be -23 - (-1 + 3/(-3)). Let r(v) = -v**3 + 5*v**2 + 3*v - 2. Let f be r(5). Let z = f - d. Is z a multiple of 17?
True
Suppose 7 = 4*l + l + p, -3*p - 7 = l. Let x(v) = -v**2 - 12*v - 7. Let k be x(-6). Suppose -l*r = 5*h - 52, -3*h + 0*r = -r - k. Does 9 divide h?
False
Let u(r) = r + 1. Let t be u(6). Suppose 0 = c - t - 1. Does 8 divide c?
True
Suppose 2*b + 0*b - 5*w - 18 = 0, -4*b + 12 = 2*w. Suppose -b*a - 3*r = -2*a - 7, -a + 3 = 2*r. Is 3 a factor of a?
False
Suppose 7 + 9 = 4*b. Suppose -v + b = -5. Does 7 divide v?
False
Suppose 0 = -0*v + 2*v. Suppose 0 = 4*d - v*d - 40. Is d a multiple of 10?
True
Let q = 57 - -55. Does 16 divide q?
True
Let u(s) = 10*s - 3*s**2 - 2*s + 5*s**2. Let w be u(-7). Let t = w - 24. Is t a multiple of 6?
True
Let i be 640*((-22)/8 - -2). Let s = -220 - i. Suppose 0*j - s = -5*j. Does 19 divide j?
False
Let v be (-2)/4 + (-9)/6. Is (-19)/v + (-3)/6 a multiple of 5?
False
Suppose -h + 284 = 4*y - 94, 5 = y. Does 21 divide h?
False
Let a = 105 + 3. Is 12 a factor of a?
True
Is 10 a factor of -6*(-1 - (-20)/(-3))?
False
Suppose -5*t = -2856 - 639. Suppose -6*d + 2*d = 4*p - 72, 0 = -p + 2*d + 6. Is 19 a factor of t/21 - 4/p?
False
Suppose 3*u + 2*f - 19 = 0, -5*u - 5*f - 10 = -10*f. Is ((-14)/(-3) + -3)*u a multiple of 3?
False
Suppose 4*g = 479 + 337. Is 17 a factor of g?
True
Suppose 5*a + 5*y + 12 = -3, -2*a - 4*y = 14. Is 12 a factor of 23 - ((-6)/(-3) - a)?
False
Let b be (-270)/(-33) + 4/(-22). Let c = 29 - b. Does 4 divide c?
False
Let j(r) = 8*r**2 + 3*r - 6. Is 22 a factor of j(-4)?
True
Let z(x) = -1 - x**3 + 2*x**3 - 3*x**2 - x**2 - 1 + 5*x. Let g be z(3). Suppose 0 = 4*f, 27 = 5*b - g*f + 2. Is 4 a factor of b?
False
Suppose 4*k = -5*f - k, k + 2 = 0. Suppose f*j + 4 = -l + 4*j, -5*l = 5*j - 10. Suppose -5*c + 3*x + 55 + 15 = l, 4*x = -5*c + 105. Does 6 divide c?
False
Let d be (18/(-3))/3 - -41. Suppose d = 4*l - 133. Is 11 a factor of l?
False
Suppose 4*c = -z, -3*z + 15 = 2*z + 5*c. Let i(l) = l. Let w be i(0). Suppose w = o + z*o - 70. Is 5 a factor of o?
False
Suppose j = -4*d + 217, 21 + 80 = 2*d + 3*j. Is 11 a factor of d?
True
Let b = 3 + -3. Suppose 0 = -b*s + 4*s + 12. Let g = s + 22. Is 8 a factor of g?
False
Let u(h) = 14*h**2 - 4*h + 2. Let a be u(3). Suppose -2*b = -a + 28. Does 13 divide b?
False
Let f(n) = -6*n - 2. Let b be 16/(-3) + 4/(-6). Let x = 2 + b. Does 11 divide f(x)?
True
Let h(a) be the first derivative of -4*a - 1/3*a**3 + 4*a**2 + 1. Is h(6) a multiple of 8?
True
Suppose -30 = -a + 5*c - 3, -4*a + 16 = 3*c. Is a a multiple of 5?
False
Let k be (-2)/(-5) - (-46)/10. Suppose -k*z + 4*z = -7. Does 7 divide z?
True
Let r(p) = 66*p + 12. Is r(2) a multiple of 48?
True
Suppose -7*c = -2*c - 15. Let o = -3 + c. Let i(b) = b + 22. Does 11 divide i(o)?
True
Let o = -2 - -2. Let d = 5 - o. Suppose -37 = -d*c + 63. Is 16 a factor of c?
False
Let n be 0/(0 - -2) + 4. Let x = n - 10. Is 12/x*(1 + -13) a multiple of 12?
True
Suppose -2*j + 6*j = -5*u + 29, -2*u + 11 = j. Does 11 divide 30 - 16/(5 - j)?
False
Suppose -5*s + 81 = -2*s. Does 7 divide 9/s + (-88)/(-6)?
False
Is 3 a factor of 10/30 - (-142)/6?
True
Let q = 35 + 79. Let o = q + -65. Suppose 2*i - o = 3. Is 13 a factor of i?
True
Let r be 2 - ((-600)/4 - -1). Suppose -2*l + 3*n = -r, 2*n - 3*n - 5 = 0. Is l a multiple of 18?
False
Let y(f) = 3*f**2 + 9*f + 8. Let p be y(7). Let n be p + 6/3 + -2. Suppose -n - 12 = -5*x. Is 17 a factor of x?
False
Let i(t) = 2*t**2 + 7*t - t**2 + 2 - 4. Let d be i(-8). Suppose 2*a = 2*u - d - 14, 0 = 2*u - a - 18. Is u a multiple of 4?
True
Let u(h) = 4*h**2 + 8*h + 1. Does 43 divide u(-7)?
False
Let l be (3/9 + 0)*6. Let s be (-2 + l)/(1*3). Suppose -x = -s*x - 10. Is x a multiple of 10?
True
Let q be 0 + 0 - (0 - 11). Suppose -36 = -15*j + q*j. Does 5 divide j?
False
Suppose 0 = 4*l + h + h + 24, 3*l = -3*h - 18. Let v(r) = r**3 + 8*r**2 + 9*r + 2. Is v(l) a multiple of 10?
True
Suppose 0 = -3*r + 4*n + 3, -2*r + 13 = n - 0*n. Suppose r*o + 1 - 86 = 0. Does 5 divide o?
False
Let y be (3/2)/(12/32). Suppose -3*t = -4*u + 24 - y, -3*t = -u + 5. Is 4 a factor of 6 - (t + 0 + 2)?
True
Suppose 3*r = j + 74, -58 - 72 = -5*r + 5*j. Is -2 - (1 - (r - 1)) a multiple of 10?
True
Let b(d) = -2*d - 5. Let s be b(-4). Let w(m) = m**2 + 2 + 0*m**2 + m**2 - 5*m. Is w(s) a multiple of 2?
False
Let m = 8 + -8. Let c = m + 36. Is c a multiple of 18?
True
Suppose -4*i = -74 - 138. Is 9 a factor of i?
False
Suppose 3*u - 4 + 0 = -2*z, 0 = 3*u - 3*z + 21. Let p(r) = -11*r - 2. Is 10 a factor of p(u)?
True
Let g be ((-3)/4)/((-3)/(-144)). Let w = g - -66. Is w a multiple of 11?
False
Suppose 2*l - 6*l = 12. Let a = l - -3. Suppose -s + 5*s - 104 = a. Does 13 divide s?
True
Suppose 5*b = 8*p - 3*p - 1240, 478 = 2*p + 4*b. Is p a multiple of 35?
True
Let x = -13 + 23. Suppose -114 = 8*t - x*t. Is 19 a factor of t?
True
Let v = 319 - 130. Is v a multiple of 27?
True
Suppose -9 - 83 = -4*q. Is 6 a factor of q?
False
Suppose 0 = 4*v - 5*v + 72. Does 18 divide v?
True
Let v(s) = s**3 + 6*s + 0*s**2 - 5*s**2 + 3*s**2 + 4 - 5*s**2. Is v(6) a multiple of 4?
True
Let l = -154 