ppose -5*v - 4*q = -155 - 104, 4*v - k = -5*q. Is v a multiple of 20?
False
Let t(g) = -43*g - 5. Is t(-6) a multiple of 11?
True
Let y = 98 + -55. Is 10 a factor of y?
False
Suppose 2*i - 2 = -2*f, -5*i - 15 = -2*f - 41. Does 9 divide f - (3 + -6 + -27)?
True
Suppose 5*x - 11 + 1 = 0. Suppose -5*c + x*c = -30. Suppose -c = 2*d - 3*d. Does 5 divide d?
True
Suppose 0*b + 256 = 4*b. Does 16 divide b?
True
Let a be (-4)/(-6) - 42/(-18). Suppose 4*v + 5*x = 145, 2*x + a*x - 5 = 0. Does 13 divide v?
False
Suppose -2*p + 18 = 5*h, 4*h + 2*p - 12 = p. Let a = h - -3. Suppose 0 = -a*q - k + 151, -2*q + 4*k = -6*q + 124. Is 10 a factor of q?
True
Let y = 44 + 7. Suppose c - 4*c = -y. Does 6 divide c?
False
Let q = -13 - -20. Is q even?
False
Suppose -6*p + 7*p - 48 = 0. Does 8 divide p?
True
Is 16 a factor of (1*31/(-3))/(1/(-3))?
False
Let z = 182 + -99. Let k = -30 + z. Does 9 divide k?
False
Let w(r) = -r**3 - 4*r**2 + 9*r - 6. Is 4 a factor of w(-6)?
True
Let a = -16 - -160. Suppose a = -0*z + 3*z. Does 11 divide z?
False
Let u = -4 - -9. Suppose 2*j + 13 = 5*m, -u - 2 = -2*j + m. Is (-9)/j*(-4 + 0) a multiple of 6?
True
Let l(g) = -4*g + 4 + 2*g + 4*g. Does 12 divide l(4)?
True
Let m(k) = 3*k - 5. Does 11 divide m(6)?
False
Let i = -29 + 66. Let d = i - -2. Is d a multiple of 13?
True
Suppose -27*c + 500 = -22*c. Does 18 divide c?
False
Is (-195)/(-2) + 33/(-22) a multiple of 16?
True
Let u = -71 + 41. Does 4 divide (1 - -9)*u/(-20)?
False
Suppose y = -3*b + 89, -3*b + 54 + 40 = -4*y. Is 10 a factor of b?
True
Suppose 5*h + u = -2*u + 135, -5*h + 3*u + 165 = 0. Does 17 divide h?
False
Suppose 4*m = 3*h - 35, 2*m - 3*m = -h + 10. Let a = m + 6. Is 4 a factor of (-33)/(-6)*(3 - a)?
False
Suppose -u + 2*s + 36 = 0, -4*u + s = -3*s - 144. Is u a multiple of 8?
False
Let i = -59 - -104. Is 9 a factor of i?
True
Suppose x + x = -2*g + 4, 3*x = 2*g - 9. Let y(a) = g - a + a + 2*a + a**2. Does 18 divide y(-5)?
True
Let p = -80 - -140. Is p a multiple of 15?
True
Let w be (-2)/(-10) - (-68)/10. Let l = w - 1. Does 5 divide l?
False
Let y(h) = 8*h**2 - 2*h. Let m = -6 - -8. Suppose u + m*u - 6 = 0. Is 12 a factor of y(u)?
False
Suppose -4*m = 2*m - 54. Is m a multiple of 3?
True
Let r = 6 - 1. Suppose 3*g = r*q + 11, -15 = -3*q - 0*q. Is g/(-8)*(-128)/6 a multiple of 16?
True
Let a = 15 - 6. Let d(r) = r**2 - 10*r + 13. Let k be d(a). Suppose 0 = -0*n + 5*n - 4*y - 80, k*n - 64 = 5*y. Is n a multiple of 11?
False
Let k = 68 - 39. Is k a multiple of 5?
False
Let t(s) = -s**2 + 7*s + 3. Let l be t(7). Suppose 240 = 5*r - 5*v, 5*v = 7*r - l*r - 196. Is 10 a factor of r?
False
Let s be (-2)/((-3)/(-90)*3). Is (s/12)/((-2)/36) a multiple of 10?
True
Suppose -63 - 67 = -5*k. Does 15 divide k?
False
Suppose 0 = -3*u + 3*m - 4*m - 3, -5*u - 4*m - 5 = 0. Let a be u/(-1) + (-4 - -5). Suppose -28 = -3*p + a*p. Does 10 divide p?
False
Let s(b) = b - 7. Let p be s(9). Let k = p - 6. Is ((-6)/(-9))/(k/(-78)) a multiple of 13?
True
Let j(w) = 11*w**2 + 4*w + 3. Suppose o - 4*o = 4*l + 14, -4*o = -3*l + 2. Let r be j(l). Does 4 divide (5 - 3)/(6/r)?
False
Suppose -3*w - 3*x + 33 = 0, -2*x = 4*w - 21 - 19. Let n = w - 6. Suppose 0 = n*h + 3*u - 63, -5*u + 4 = -u. Is h a multiple of 10?
True
Let h(t) be the first derivative of 2*t**3/3 + t**2 + 1. Let c be h(-2). Suppose 4*m - j - 98 = j, -2*j + 94 = c*m. Is 12 a factor of m?
True
Let d(m) = 27*m**2 - m. Let x be d(-1). Suppose -2*t + 24 = 2*q, -3*t + 7*q = 2*q - x. Does 9 divide t?
False
Let g = -163 + 193. Is g a multiple of 10?
True
Suppose 0 = 5*b - 2*z - 16, -4*b + 9 = -b - z. Let i be (0 - b)/(1/(-2)). Suppose 18 = 3*r - 3*p, -3*p + 70 = i*r + r. Is r a multiple of 9?
False
Let w be (-6)/15*30/(-2). Let k(z) = 9*z - 1. Does 21 divide k(w)?
False
Suppose j - 8 = -3*s + 6*j, -43 = -3*s - 2*j. Is 8 a factor of s?
False
Suppose -g - 3 = s - 9, -2*s - 5*g + 21 = 0. Suppose -3*v = -s*k - 75 + 15, -4*k - 100 = -5*v. Is v a multiple of 5?
True
Let d be 4/10 + 432/20. Suppose -4*r = -d - 22. Let n = 26 - r. Does 12 divide n?
False
Is (-14)/(-2)*(1 - -1) a multiple of 7?
True
Let i = 53 + 76. Is 26 a factor of i?
False
Let i be (-10)/(-45) + (-52)/(-9). Is 6 a factor of i/21 + (-124)/(-7)?
True
Suppose 3*v = 3*q + 48, -3*v + 8*q = 4*q - 49. Is 5 a factor of v?
True
Let a(q) = 3*q**2 - 7*q + 6. Let j be a(5). Let t(g) = -g**3 + 2*g**2 + 4*g - 3. Let f be t(4). Let h = j + f. Does 10 divide h?
False
Suppose 2*t + 80 = 3*n - 11, t + 59 = 2*n. Is 13 a factor of n?
False
Let r be -2 - -5 - (-1 - -3). Suppose 5*m - 4*h = m + 32, h = -2*m + r. Is 9 a factor of ((-15)/(-2) - m)*2?
True
Let r(t) = 3*t**2 + 7*t - 9. Let f(i) = -i**2 - i - 1. Let c(x) = 2*f(x) + r(x). Let k(s) = -s**2 + 5*s - 2. Let h be k(6). Is c(h) a multiple of 9?
False
Let a(d) = d**2 + 6*d - 6. Let q be a(-8). Suppose 3*y - k = 40, 5*k = -4*y + q + 56. Is 14 a factor of y?
True
Let h(x) = -3*x**3 + 2*x + 1. Let z be h(-1). Suppose -6 = 4*r + z*l, -3*l = 2*r - l + 6. Suppose r*w + 90 = 5*w. Is w a multiple of 8?
False
Suppose -5*y = -7*l + 2*l - 375, -3*y + 220 = 2*l. Suppose 0 = -4*u - 0*k + 2*k + y, 2*k = 3*u - 54. Is u a multiple of 5?
True
Let w(g) = -6*g - 12. Does 12 divide w(-6)?
True
Let d(k) = -k**3 + 7*k**2 - 4*k - 5. Let q(l) = 2*l + 0*l - 3*l. Let a(p) = d(p) - 4*q(p). Does 24 divide a(5)?
False
Suppose 0*w = -3*w + 48. Suppose -w = -4*z - o, z - 5*o = 4 - 21. Suppose -18 = -4*r + z*r. Does 11 divide r?
False
Let c be 0 + 0 - (-95 - -6). Let u = -59 + c. Does 11 divide u?
False
Let r(f) = -f**3 - 5*f**2 - 2*f + 6. Is 3 a factor of r(-5)?
False
Let a(x) = x + 5. Let o be a(-9). Does 13 divide (-579)/(-15) - o/10?
True
Suppose i = 3*i + 2*h + 4, 4*i + 5*h = -13. Is 2 a factor of (i/4)/(12/32)?
True
Let c be (-5 + 1)*7/(-14). Suppose c*f = -6 + 14. Is f even?
True
Let l(u) = 38*u**2 + u - 2. Let s(w) = -75*w**2 - 2*w + 5. Let o(a) = 5*l(a) + 2*s(a). Is 7 a factor of o(1)?
False
Suppose 0 = 6*j - 2*j - 56. Let d be (-30)/7 + 4/j. Is 8 a factor of (-63)/d + 1/4?
True
Suppose -7 = -s - 0. Does 2 divide s?
False
Suppose -5*p = 3*y - 297, 3*y = -4*p + 3*p + 57. Is 15 a factor of p?
True
Let j(g) = -g**3 - 8*g**2 + 3*g + 10. Let x(o) = o**3 + 8*o**2 - 3*o - 10. Let m(l) = 5*j(l) + 6*x(l). Does 7 divide m(-8)?
True
Let g(v) be the first derivative of v**4/4 - v**3/3 - 2*v**2 + 2*v - 2. Does 12 divide g(4)?
False
Let t(m) = m**2 + 7*m + 13. Is t(-7) a multiple of 6?
False
Suppose -5*c - 4*q + 179 = 0, -2*c - q + 106 = 35. Does 7 divide c?
True
Suppose 0 = a + 15 + 17. Let m be 418/(-8) + (-8)/a. Let x = m - -94. Does 11 divide x?
False
Suppose 3*h - 31 - 201 = 5*q, 4*q - 352 = -4*h. Let s = h + -40. Suppose 0 = -5*k - 4 + s. Does 4 divide k?
True
Suppose 4*b - 616 + 116 = 0. Suppose -2*w = -2*f - 30, 4*w + 3*f + 37 = b. Is 16 a factor of w?
False
Let z(u) = 5*u**3 + 6 + 2*u**2 - 8*u**2 + 4*u - 4*u**3. Let f(c) = 4*c**3 - 24*c**2 + 16*c + 25. Let j(w) = -2*f(w) + 9*z(w). Does 28 divide j(6)?
True
Suppose r - 6 = 3. Let c = r - -23. Is 16 a factor of c?
True
Suppose -4*n - 45 = -5*j + 2*j, -n + 30 = 3*j. Let t(b) = b**3 - 12*b**2 + 15*b + 9. Does 18 divide t(j)?
False
Suppose m - 47 - 29 = n, 2*n = -5*m + 401. Is 27 a factor of m?
False
Let d be 60/25 + (-4)/10. Suppose -4*q + 8 = -6*q + 5*g, 0 = 2*q + g + 8. Is 0 + q/d + 9 a multiple of 4?
False
Let s(y) = -2 + 3*y - 1 + 6 - 1. Is s(3) a multiple of 11?
True
Let g = 4 + -4. Let b = 17 + g. Does 13 divide b?
False
Let r be (-31)/3 + 6/(-9). Let x = r - -34. Let b = -16 + x. Is 7 a factor of b?
True
Does 13 divide -4 + (-12)/20 + (-1146)/(-10)?
False
Suppose 6 + 36 = -2*i. Let k = i - -48. Is k a multiple of 9?
True
Does 17 divide 1*17*(49 - 30)?
True
Let i be (1/2)/(1/(-2)). Let r = -1 - i. Let g = 12 + r. Is g a multiple of 7?
False
Let f = 17 - 14. Suppose -2*c + f*b + 96 = 0, 2*c = -c + 4*b + 145. Is c a multiple of 9?
False
Let t = 4 - 1. Suppose t*i = 2*c + 8, -4*c + c - i = 34. Is 12 a factor of 488/20 + 4/c?
True
Suppose -84 = -0*f + 3*f. Let x = f + 12. Is 20 a factor of (43/4)/((-4)/x)?
False
Let k = -2 - -6. Let g be -1 + 2 + 0 + 2. Suppose 5*o = 4*i + 38, -4*i + 22 = k*o - g*i. Is o a multiple of 2?
True
Let c(r) = -r + 1. Let s be c(-3). Suppose -4*p - 27 = -5*l + 33, -3*p + 48 = s*l. Does 6 divide l?
