0 divide z?
True
Suppose 4*a = 35 - 27. Suppose f - 99 = -0*f + 5*u, u = -a. Is f a multiple of 15?
False
Suppose -100 = 2*k + 3*x - 5*x, 0 = -5*x - 20. Let w = -26 - k. Is 28 a factor of w?
True
Suppose -3*s + 130 - 43 = 0. Let i = 1078 + -761. Suppose -i + s = -4*q. Is q a multiple of 24?
True
Suppose -u + 9 = -1. Let t = u + -7. Suppose -2*y = 3 - 13, t*y = -5*g + 180. Is g a multiple of 14?
False
Is 15 a factor of -4*(5 - 4) - (-6 + -403)?
True
Suppose 0 = v - 5, 0 = -3*w + 2*v + v - 6. Suppose -5*c - 4 = i - w*c, -i - 3 = c. Is 3/(-6) - 81/i a multiple of 20?
True
Suppose -b - 4*b + 100 = 0. Suppose 16*m - b*m + 8 = 0. Suppose -3*f + 8*f = 2*y - 124, m*y - 106 = -4*f. Does 19 divide y?
True
Suppose 14*p - 14094 - 5506 = 0. Is 25 a factor of p?
True
Let v be (2/((-12)/9))/((-1)/(-2)). Does 32 divide v - ((-2 - 116) + -2)?
False
Let w(n) = n**3 + 7*n**2 + 3*n + 4. Let j be w(-6). Let f = j + -13. Suppose 3*h = f + 12. Is 2 a factor of h?
False
Suppose -n - 3*n + 682 = 2*o, -5*o + 5*n = -1675. Is o a multiple of 12?
False
Is 0 + 414 + 10 + -4 a multiple of 21?
True
Let o = -358 + 397. Is o a multiple of 13?
True
Let d(f) = -f**3 + 11*f**2 - 3*f - 46. Let p be d(12). Let z = p + 530. Is 16 a factor of z?
True
Suppose 3*j - 1 = 4*y - 2, 2*j = -y + 14. Suppose 0 = 2*l - 5*a - 25 - y, 0 = l + 3*a + 2. Is l a multiple of 5?
False
Let v be 226 + (0 - 0/2). Suppose 2*t - 3*n = 93 + 40, -4*t - 2*n = -v. Is t a multiple of 19?
False
Let v = -38 + 40. Suppose 4*c = 2*o + 794, 3*c - 985 = -v*c + 5*o. Is 41 a factor of c?
False
Suppose -3*z = -6, l = z + 419 + 8. Is l a multiple of 13?
True
Let c = 2993 - 1711. Is 42 a factor of c?
False
Suppose -65 = -11*i + 6*i. Is (-2)/i + 1098/39*1 a multiple of 13?
False
Suppose 4*i + 16 = 0, 2*i + 2*i - 259 = b. Does 5 divide (-2)/(((-80)/b)/(-8))?
True
Suppose -3*b = -20 - 52. Suppose -12*w = -b*w + 528. Is w a multiple of 11?
True
Let p = 306 - 116. Is 19 a factor of p?
True
Suppose 5*t + 1580 = 4*o, 3*o - 1162 = -0*o - 2*t. Suppose -5*a + 56 = m - 51, 5*m = 4*a + o. Let q = m - 42. Is q a multiple of 20?
True
Let r(n) = 236*n - 434. Is 18 a factor of r(4)?
False
Let q(z) = -z**2 - 32*z + 7. Does 15 divide q(-7)?
False
Let h(t) = t**3 + 10*t**2 + 6*t - 6. Let l be h(-9). Let o = -17 + l. Is o a multiple of 2?
True
Is (-13)/((28/(-132))/7) a multiple of 39?
True
Let t = -300 - -189. Is (-1)/3 + t/(-9) a multiple of 12?
True
Let a be (8/(-7))/((-4)/14). Suppose 42 = 2*q - b, -b + 71 = a*q - 7. Suppose 4*x - 2*x - 3*w - q = 0, -3 = -x + 5*w. Is 6 a factor of x?
False
Suppose 6*d - d - 3*a - 37 = 0, -2*d + 5*a + 30 = 0. Let m = d + -11. Let p(o) = o**3 + 8*o**2 + 6*o + 8. Is 10 a factor of p(m)?
False
Does 28 divide ((-90)/(-4))/(60/3240)?
False
Suppose m - 2*a = 445, -198 = -3*m + 2*a + 1117. Let s = m + -300. Is 23 a factor of s?
False
Let q = 336 - 555. Suppose -898 - 1622 = -8*k. Let s = q + k. Is s a multiple of 32?
True
Let k = -26 - -28. Suppose -3*t = h - 238, h + k*h = 12. Is t a multiple of 18?
False
Is 16 a factor of 72/(-7)*(-434)/93?
True
Suppose 3*j - 2*s = 2102, 2*j - 1402 = 11*s - 9*s. Is j a multiple of 33?
False
Suppose 0 = 3*c + j - 2*j - 1916, -j + 1274 = 2*c. Is c a multiple of 29?
True
Let g = 191 + -100. Is g a multiple of 10?
False
Let o(n) = -10*n**3 - n**2 + 7*n + 28. Is o(-4) a multiple of 48?
True
Let b(x) = 534*x + 156. Is 12 a factor of b(2)?
True
Let h be ((-12)/(-10))/((-63)/(-9870)). Let a = 320 - h. Is 31 a factor of a?
False
Let l = -10 + 66. Suppose l = 4*m + 3*m. Suppose 0 = -4*b - m, 4*w - 4*b = -b + 62. Is 4 a factor of w?
False
Suppose 10*z = 15*z - 20. Suppose z*d = -2*o + 138, 3*d - 131 = 3*o + o. Is 19 a factor of d?
False
Let r = -34 - -66. Let c = r + -8. Is 6 a factor of c?
True
Let y(z) = -33*z + 1. Suppose -4*v + 4 + 34 = -2*g, -5*v = 3*g - 53. Let l = v + -11. Is 11 a factor of y(l)?
False
Suppose -30*b - 12 = -33*b. Suppose 360 = 5*q - 5*t, -2*q - b*t = -0*q - 144. Does 9 divide q?
True
Suppose 14*g = -3091 + 12849. Does 45 divide g?
False
Is 6/21 + 3984/168 a multiple of 6?
True
Let y = 42 - 42. Let l(f) = -f + 34. Is 10 a factor of l(y)?
False
Let j(x) = 7*x**2 + 18*x + 18. Let g(i) = 20*i**2 + 54*i + 54. Let m(z) = -6*g(z) + 17*j(z). Let q be m(-17). Let t = 11 - q. Does 3 divide t?
True
Let t be 64/(-10)*4/(16/(-140)). Suppose 59*j - t = 55*j. Is j a multiple of 37?
False
Suppose -6*w = -253 - 209. Let r = 114 - w. Does 4 divide r?
False
Let j = 492 + 3486. Does 153 divide j?
True
Suppose 0 = n - 1312 - 3231. Does 10 divide n?
False
Suppose -4*n = -g + n - 9, 0 = -5*g - 4*n + 42. Let s = 8 + g. Is 4 a factor of s?
False
Let c(v) = 2*v + 44. Let y be c(-20). Suppose y*s - 107 = 69. Is s a multiple of 22?
True
Let l = 39 + -19. Suppose 0 = -l*k + 15*k + 75. Does 5 divide k?
True
Let m(k) = 21*k - 1. Let q be m(-1). Let o = -14 + -2. Let t = o - q. Is 3 a factor of t?
True
Let b = 95 - 92. Suppose -3*v - v = -16, -2*l - b*v + 300 = 0. Is l a multiple of 12?
True
Suppose -m = -109 - 25. Let c = 230 - m. Does 32 divide c?
True
Let l(d) = -10*d**3 + 13*d**2 + 8*d + 10. Does 103 divide l(-5)?
True
Suppose 0 - 7 = -4*m + b, 4*m + 2*b - 10 = 0. Let p be (m + 18/(-4))*-2. Suppose -3*i = -3*k - 24, i + 2*k - 14 = p*k. Is i even?
False
Let v = 147 - 105. Suppose 5*p - 3*p - 29 = f, -3*f - v = -3*p. Suppose 0 = -p*h + 17*h - 156. Does 13 divide h?
True
Let g(x) = 1284*x**2 + 12. Is g(-2) a multiple of 13?
True
Let l be (-1 - 1)*(-150)/(-3). Let i = -49 - l. Does 3 divide i?
True
Let a be (4/(-10))/((-11)/330). Suppose 9*s - a*s + 348 = 0. Is 21 a factor of s?
False
Suppose 2*f - 442 = -2*w - 3*f, -2*w + 458 = -3*f. Suppose 21*k - 20*k = w. Is 28 a factor of k?
False
Let p(v) = -2*v + 8. Let n be p(-7). Let d = n - 1. Is d a multiple of 7?
True
Suppose 13795 + 7101 = 8*l. Does 64 divide l?
False
Suppose h - 58 = 153. Let q = -113 + h. Does 15 divide q?
False
Suppose 3*y = 4*f - 4929, 2*f + 2*y = -2*y + 2448. Suppose -5*h - f = -2*h. Does 19 divide h/(-8) + (-7)/28?
False
Does 35 divide 22/(-165) + (-30484)/(-30)?
False
Does 99 divide (7 - 2) + (7 - 3) + 585?
True
Suppose 224*i = 223*i + 328. Does 5 divide i?
False
Suppose 14 = f - 5*p, f + p = -p. Suppose f - 2 = o, -2*u = -4*o - 168. Is 12 a factor of u?
False
Let b be 1*1/3*-12. Is 14 a factor of ((8/3)/4)/(b/(-672))?
True
Suppose 4*b - 1 = -m, -18*m = -14*m + 5*b - 15. Suppose 3*l = 5*y + 32, m*l - 48 = 2*l - 3*y. Is 2 a factor of l?
True
Suppose 36*v - 19863 - 6057 = 0. Is 6 a factor of v?
True
Let m be 1*4 + 14 + -12. Suppose -o - m = -11. Suppose -r + 3*r = 3*s + 61, 0 = 5*s + o. Does 5 divide r?
False
Let r(h) = -h**2 + 11*h + 1. Let k(i) = i**3 - 5*i**2 + 5*i + 1. Let j be k(4). Let u be r(j). Let o = u - -72. Is o a multiple of 15?
False
Let k(c) = 546*c**2 - 3*c + 7. Does 116 divide k(-2)?
False
Suppose 5*g = 5*s - 510, -3*g + 396 = 4*s - 4*g. Suppose -12*x + 83 = 23. Suppose x*v - v = 2*r + s, -v + 17 = r. Is v a multiple of 8?
False
Suppose 39 + 159 = -3*w. Is 30 a factor of 1910/22 + (-12)/w?
False
Let o = 309 - 100. Suppose -5*y = -3*s - 331, o = -5*y - s + 552. Does 20 divide y?
False
Let n(v) = -3*v + 4. Let j be n(-5). Suppose j + 2 = 3*r. Suppose 0 = 2*f - r - 29. Is f a multiple of 6?
True
Let z(h) be the third derivative of h**5/60 - h**4/12 - 4*h**2. Is z(-6) a multiple of 21?
False
Let s(v) = v**3 - 2*v**2 + v + 69. Let f(x) = -x**2 - 7*x + 4. Let g be f(-7). Suppose 7*r = g*r. Is s(r) a multiple of 23?
True
Let t(a) be the second derivative of 13*a**4/6 + a**3/6 + 3*a. Does 9 divide t(1)?
True
Suppose 36*i = 37*i + o - 424, i - 412 = 2*o. Does 40 divide i?
False
Let g(h) = -3*h**3 - 3*h**2 - 2*h - 1. Let p be g(3). Let j = 210 + p. Is 19 a factor of j?
True
Let r(i) = -i + 15. Let m be r(14). Is (-3114)/(-36) + m/2 a multiple of 29?
True
Suppose -4*b - 5*w = -0*b - 47, -b = 4*w - 9. Suppose 2*k = 5*n + 5*k - 156, -3*k - 174 = -5*n. Suppose b*g = 10*g + n. Does 11 divide g?
True
Let j be (-34)/(-6) + (-14)/21. Suppose -4*o - 21 = -j*o. Suppose 0 = 3*i + 9, 3*m - 2*i = 252 - o. Is 21 a factor of m?
False
Suppose -4*v = 4, 5*p = -5*v + 100 - 40. Suppose -3*g = p*g - 384. Is g a multiple of 12?
True
Let z = 20 - 12. Suppose -4*g - o - 13 = -56, -2*g = -4*o - z. Is g a multiple of 5?
True
Suppose 16*p - 