ose l = 10*g - 4*g - 444. Is g a multiple of 10?
False
Does 12 divide -4*1 + 1581 + 5 + 4?
False
Let j(a) = 5*a**3 - a**2 - a + 1. Let f be 1 + 2*4/4. Is j(f) a multiple of 10?
False
Suppose -68*j + 132 = -72. Suppose 5*k - 4 - 11 = 0. Suppose 3*f = j*i + 18, 0 = -2*f + 3*f - k*i - 2. Does 4 divide f?
True
Let a be (-2)/((-6)/(-3))*-3. Suppose -5*z + z + 192 = -3*h, 5*h - 115 = -a*z. Suppose z + 63 = 3*y. Is y a multiple of 12?
True
Suppose 3*d + 3*x = 2790, -10*d + 3696 = -6*d - 4*x. Is d a multiple of 102?
False
Suppose -4*m - 6*b = -3*b - 4197, -3*m = -5*b - 3155. Is 50 a factor of m?
True
Suppose 3*d - 73 = -1. Does 9 divide d?
False
Is -5 - 0 - ((-1746)/2 + 2) a multiple of 7?
False
Let u = 141 + -84. Let t = u + -26. Is 12 a factor of t?
False
Let i = 28 + -3. Suppose 0 = z + 4*z - i. Suppose -x + 2*x + z*s = 32, 3*x - 196 = 5*s. Is 19 a factor of x?
True
Let m(q) = -q**3 - 2*q**2 - q - 2. Let p be m(-2). Let r(l) = l**3 - l**2 + l + 405. Let u be r(p). Suppose -u = -2*f - 165. Does 30 divide f?
True
Let z(s) = -7*s - 8. Let m(v) = -v + 1. Let t(n) = 6*m(n) - z(n). Suppose 2*o - 6*o - 14 = w, -4*o = 8. Is t(w) a multiple of 3?
False
Let b(l) = -l**2 + 11*l - 8. Let o be b(10). Suppose -3*y = -o*q - 2*q - 82, -2*y = -5*q - 57. Is y a multiple of 8?
False
Suppose -p + 2*p - 3*x = -9, -4*x = -2*p - 10. Is (-3*(-1)/(-2))/(p/(-226)) a multiple of 18?
False
Let p(u) = u**2 - u + 1. Suppose 0 = -d + n - 7, 8*d + 3*n + 14 = 4*d. Let f(y) = 6*y**2. Let v(s) = d*p(s) + f(s). Does 11 divide v(-9)?
False
Suppose -4*o + 7434 = 3*s - 6*o, 4*s = -3*o + 9929. Does 80 divide s?
True
Let d be -2*((-3980)/(-8))/(-5). Suppose -v - 2*v = -r - d, -3*r = -15. Suppose 6 = 2*s - v. Is 10 a factor of s?
False
Suppose -140 = -i + 2*m - 3*m, 4*m = 2*i - 268. Suppose i = 4*w + 3*c, 0 = -w + 5*w - 3*c - 150. Is 10 a factor of w + 5 + -4 + -4?
False
Let n(w) = 3*w**2 - 44*w + 23. Let s(h) = -h**2 + 15*h - 8. Let q(z) = -6*n(z) - 17*s(z). Does 5 divide q(7)?
False
Suppose -41 = -18*s + 553. Does 29 divide s?
False
Let n = -2672 + 3782. Is n a multiple of 10?
True
Let t(m) = 4*m**2 - 46*m - 58. Let g(i) = -3*i - 3. Let z be g(-2). Let d(r) = r**2 - 15*r - 19. Let h(q) = z*t(q) - 10*d(q). Is h(-8) a multiple of 24?
True
Let n be 118/3 - (-15)/(-45). Suppose 11*r - n = 10*r. Does 13 divide r?
True
Let m be 126/15 + (-14)/35. Suppose -s = -28 + m. Is 4 a factor of s?
True
Let f be 2*(-9*(-3)/9)/3. Suppose f*z - 5*w - 345 = 62, w = -3. Does 14 divide z?
True
Suppose -k + 0*y = -y - 5, 0 = 5*y + 5. Suppose m - 6 = -d + k, -4*m = -d - 35. Is 6 a factor of m?
False
Let k(t) be the third derivative of -t**6/40 - t**5/30 - t**4/12 - 6*t**2. Let z be k(-4). Suppose j + 58 = 2*h, -5*j + z = 3*h + 68. Is 10 a factor of h?
True
Let i = 53 - 43. Let z(w) = -w**2 + 12*w - 7. Does 13 divide z(i)?
True
Let y = 38 - 29. Suppose -2*w = 3*a - 26, -3*a + 37 - y = w. Is 7 a factor of 210/a + (-1 - -1)?
True
Let s be 1 - (-1)/(-1) - 12/1. Is 5 a factor of -1*(s/(-10))/((-12)/120)?
False
Let d(p) = 4*p**2 + 2*p + 1. Let k be d(2). Let a be (48/(-28))/((9/(-21))/3). Let n = a + k. Does 11 divide n?
True
Let t be (-21)/(-14)*(-8)/(-6). Suppose -t*n + 0*n + 10 = 0. Suppose -n*d + 4*f = -546, -55 = 5*d + 5*f - 565. Is d a multiple of 29?
False
Suppose 0 = 9*v - 16805 - 4642. Is v a multiple of 33?
False
Suppose 414 + 594 = 6*i. Does 28 divide i?
True
Let j = 1137 + 333. Is j a multiple of 54?
False
Suppose 5*o - 34 = 3*o. Suppose 3*h - 4*w = 118, -o = -h + 4*w + 33. Is h a multiple of 6?
False
Let g(u) = 6*u**2 + 1. Let c be g(1). Let n(i) = i**3 - 6*i**2 + 6*i - 19. Is 12 a factor of n(c)?
True
Let t = -575 + 1245. Suppose 5*l - 170 = t. Is 12 a factor of l?
True
Suppose -7*y + 7 + 4718 = 0. Is y a multiple of 9?
True
Let k = -215 + -4. Let r = k + 314. Is 32 a factor of r?
False
Let y(d) = 2*d + 35 + 38 - 7 - d**2. Let i = -46 - -46. Is y(i) a multiple of 24?
False
Suppose -39*z + 48*z - 1953 = 0. Is z a multiple of 5?
False
Suppose -3*o - l + 10 = 0, -3*l = 2*l + 10. Let z(t) = 5 - o*t + t - 4 + 2*t + 10*t**2. Is z(1) a multiple of 5?
True
Suppose 0 = 6*q - 2*q + 2*q. Suppose -5*v + 116 + 84 = q. Is v a multiple of 30?
False
Let g(q) = -13*q + 43. Let b be g(3). Suppose 2*r + 3*f + 43 = 3*r, 5*f + 25 = 0. Suppose -r = b*m - 160. Is m a multiple of 20?
False
Suppose 2*g = -0*b - 3*b + 205, 5*g - 4*b - 455 = 0. Suppose 11*s = 10*s + g. Is s a multiple of 9?
False
Suppose 0 = 5*g - 5*x - 50, -2*x = g - 0*x + 2. Suppose 2 = 4*h - g. Suppose 27 = 3*a - h*a. Does 9 divide a?
True
Suppose -7*m + 26 = -2. Suppose 2*j + 144 = 5*r, -m*j + 34 + 8 = r. Is r a multiple of 6?
True
Let m = -2157 - -2699. Is m a multiple of 6?
False
Let f = 670 - -1173. Does 34 divide f?
False
Let u(i) = 72*i + 1. Let v = -30 + 29. Let g be u(v). Let j = g - -127. Is 28 a factor of j?
True
Let f = -3 - 18. Let q = f - -33. Is 4 a factor of q?
True
Let g be ((-1878)/(-4))/((-3)/(-4)) - 1. Let c = g + -405. Does 42 divide c?
False
Suppose -c + 11 = 19. Let y be c/(-6) + (-327)/9. Let j = y - -67. Is j a multiple of 9?
False
Let c(b) = 5*b**2 - 7*b + 39. Let k = 40 - 34. Does 18 divide c(k)?
False
Is (-11 + 206)*(-5)/((-50)/4) a multiple of 26?
True
Let r(w) = w - 3*w + w + 7 - w. Does 15 divide r(-4)?
True
Let x(s) = -s**3 - 17*s**2 + s + 20. Let q be x(-17). Suppose -20 - 113 = -5*b - q*d, -b - 4*d = -30. Does 13 divide b?
True
Suppose 10 = -10*c + 210. Is 24 a factor of -2*(-2)/c*2*65?
False
Let q = 282 - 77. Let w = q - 132. Let x = -43 + w. Is 11 a factor of x?
False
Let h = -54 + 63. Does 7 divide (3/h)/(((-2)/(-42))/1)?
True
Let a(o) = o**2 + 3. Let j = 6 - 6. Let v be a(j). Suppose 0 = -v*q + 6*q - 180. Is q a multiple of 14?
False
Suppose -30 + 38 = l. Suppose 4*w + w = 2*t + 13, l = -2*t + 4*w. Is t a multiple of 3?
True
Suppose 27*k + 222 = 33*k. Does 37 divide k?
True
Let q(u) = 172*u**3. Let r be q(-1). Let t = 244 + r. Suppose -12 - t = -3*v. Is v a multiple of 7?
True
Let k = 709 - 635. Does 13 divide k?
False
Suppose -v + 10 = -3*l, 0*l = 3*l - 5*v + 2. Let i be (-1)/(4/20) - l. Does 5 divide (i + 4/2)*5?
True
Let o(c) be the first derivative of -c**4/4 + 13*c**3/3 + 19*c**2/2 - 12*c + 13. Is 10 a factor of o(14)?
False
Suppose 0 = -4*b + 2*b. Suppose b = 5*c - c. Suppose 131 = 2*q - 2*f + 19, c = 3*q - f - 170. Does 19 divide q?
True
Suppose 20 = 4*o, -5*p + 2*o = -5 - 10. Suppose p*d - 228 = -d. Does 16 divide (-4 + 2)*-2 + d?
False
Suppose 4*h - 3*j - 171 = 0, 4*h + 37*j = 34*j + 141. Does 5 divide h?
False
Is (37/((-4403)/(-204)))/((-1)/(-714)) a multiple of 24?
True
Let w = 133 - 100. Suppose -w - 1283 = -14*q. Is 31 a factor of q?
False
Suppose -4*f = -r - 4*r - 59, 3*f - 58 = 5*r. Does 5 divide 11 + r - (0 + -34)?
False
Suppose 251 + 477 = 8*x. Is x a multiple of 11?
False
Let g(i) = 4*i + 15. Let l be g(-6). Let b(w) = 2*w + 18. Let n be b(l). Suppose 5*u - 220 = -n*u. Does 10 divide u?
False
Suppose -t = -4*q - 543, 3*t + 6*q - 2*q - 1565 = 0. Does 31 divide t?
True
Let b be 5 - (-3 + 8/4). Let s be b/(-7)*(-4 + -52). Suppose 10*p - s = 6*p. Is p a multiple of 6?
True
Let i(s) = -s**2 - 13*s - 2. Let l be i(-13). Let n(w) = -13*w**3 + 2*w**2 + w + 2. Is 28 a factor of n(l)?
True
Let z(p) = -1 + 0 - 5 + 8 + p. Let i(l) = l. Let u(w) = 4*i(w) - z(w). Is 15 a factor of u(6)?
False
Suppose 6*r - 3*r = 15. Suppose 0 = j - r*j + 64. Does 2 divide j?
True
Let k be (((-20)/7)/(-2))/(2/14). Suppose 2*h - k = 20. Is h a multiple of 5?
True
Suppose -5*o - 1 = 3*z, -3*o + 8*o = 4*z + 13. Is 6 a factor of 1 + 1 + 43 + 3/o?
True
Suppose 17 = 4*m - 7. Let k(t) = t**3 - t**2 - 9*t + 9. Does 45 divide k(m)?
True
Let s(m) = m + 14. Let b be s(-10). Suppose -4*u + 44 = -2*i - 0, 0 = -b*u - i + 50. Does 14 divide 25 + (-7)/(21/u)?
False
Let x(u) = u**3 - 12*u**2 - 29*u + 56. Is 11 a factor of x(16)?
True
Let h = 42 + -24. Let l(z) = z**2 - 11*z - 6. Does 24 divide l(h)?
True
Let t = -4375 - -6664. Does 7 divide t?
True
Is 3 a factor of (-55)/(-11)*(-1024)/(-20) - 0?
False
Let b(l) = 3*l + 22. Let j be b(-10). Let d(s) = 2*s**2 + 14*s + 5. Does 2 divide d(j)?
False
Let h = 16 + -9. Suppose 2*v + h = f, -4*v - v - 5 = -5*f. Is 3 a factor of 16/20*(-105)/v?
False
Suppose 5*d + 26 - 31 = 0. Let h(y) = y**3 - y**2 + y + 3. L