 of 10?
False
Suppose 5*w + 1115 = x, -8*w + 1 = -7*w. Does 20 divide x?
True
Suppose -1733 - 373 = -5*p + 3*i, 15 = 5*i. Suppose 3*b - p = 3*w, -359 = -3*b + 2*w + 61. Does 23 divide b?
True
Suppose 122 = 5*z + 22. Suppose 3*l - 16 = -2*m + m, -2*m + z = 4*l. Is 2*(57/l + -1) a multiple of 3?
False
Let q(y) = 2*y**2 + 4*y - 6. Let r be q(4). Suppose -4*u + 2*u = -r. Is 21 a factor of u?
True
Let h(r) = 42*r**2 - 9*r - 58. Is 31 a factor of h(-5)?
False
Suppose -5*q = -4*m - 18, q = 4*m + 2 + 8. Let t be (7/m + 2)*-26. Let i = t + -18. Is 14 a factor of i?
False
Let a(k) = -k**3 - 9*k**2 + k + 9. Let u(z) = -10*z**3 + 2*z - 1. Let c be u(1). Let w be a(c). Suppose 120 = 3*o - w*o. Is 12 a factor of o?
False
Let v(r) = -r**2 - 6*r + 10. Let d be v(-6). Is 11 a factor of (d + -16)*(-22)/4?
True
Let b be ((-2)/5)/(14/(-560)). Let r = 73 - b. Is 29 a factor of r?
False
Suppose -2*m - 4*k - 16 = 34, -3*m - 75 = 5*k. Is m/(-4) + (-2)/8 a multiple of 4?
False
Let n be -385*(8/(-5))/4. Suppose 198 = 4*v - n. Does 11 divide v?
True
Suppose 5*c = 5*a - 6*a + 1445, -4*c = 4*a - 1140. Suppose c = 3*z - 13. Let n = -14 + z. Is 29 a factor of n?
True
Let k be (-21)/(-3 - (-8)/4). Suppose -2*h = -8, 4*i - k = -h + 795. Is i a multiple of 20?
False
Suppose n - 4*x - 5 = 0, -n + 5*n + 75 = -3*x. Let m(u) = u**2 + 11*u + 11. Let h be m(-10). Is (h - 4) + 1 - n a multiple of 13?
True
Does 14 divide (-84)/(-60) - (-3843)/5?
True
Let y(c) be the first derivative of -2*c**3/3 - c**2/2 + 6*c - 4. Let w be y(0). Suppose -b = -w - 28. Does 8 divide b?
False
Suppose 29 = 5*f + 69. Suppose -4*w = -3 + 11. Does 9 divide 2*90/f*w?
True
Let i(l) = 89*l**2 + 15*l + 4. Is 59 a factor of i(-3)?
False
Let m = -2105 + 3080. Does 75 divide m?
True
Suppose 22 = 6*d + 10. Let c(b) = 7*b**3 - 2*b**2 - b. Let o be c(-1). Does 13 divide (95/(-10))/(d/o)?
False
Let j = 26 - 28. Is -3 + 6 + (-474)/j a multiple of 43?
False
Let l = 230 - 182. Does 6 divide l?
True
Is 17 a factor of 127176/40 + 10/(-25)?
True
Suppose 11*t - 4842 = 1208. Does 88 divide t?
False
Let x(a) = -11*a + 38. Does 13 divide x(-11)?
False
Suppose 10*q - 206 = 9*q. Suppose -2*m = -5*f - 120, -5*m - 3*f + 94 + q = 0. Is 10 a factor of m?
True
Let k = -12 + 18. Suppose 0 = 2*x + k, -3*b + 4*x - 65 = -194. Is 20 a factor of b?
False
Suppose -6*b + 415 = 2*s - 5*b, -655 = -3*s + 5*b. Does 14 divide s?
True
Let c = -15 - -20. Let w = c + 10. Is 15 a factor of w?
True
Let s(t) = 22*t**2 + 1. Let n be s(1). Let h = -15 + n. Suppose 3*o - 4*o + h = 0. Does 8 divide o?
True
Suppose 0 = -r + 37 - 0. Does 7 divide r?
False
Suppose -20*u + 1690 = -7*u. Is u a multiple of 26?
True
Let g = -10 + 12. Let d(l) = -23*l - 2. Let f be d(g). Does 4 divide ((-7)/2)/(12/f)?
False
Suppose 7807 = 13*z + 1567. Does 24 divide z?
True
Suppose -8*j - 25*j = -10395. Is j a multiple of 21?
True
Let m be ((-9)/4 - -2) + (-426)/(-8). Let l = -18 + m. Is 5 a factor of l?
True
Suppose 2*h + 1 = 3*h + 4*p, -2*p = 2. Does 3 divide 2/h - -46*1/10?
False
Suppose x = -2, 5*z = -0*z + x - 8. Let d be (3 + -1 + -3)*z. Suppose -2*p + d = -p. Does 2 divide p?
True
Let g be (-10)/(-35) + (-2958)/14. Let t = g - -107. Let n = -15 - t. Is 13 a factor of n?
False
Let z(i) = -4*i**3 - 2*i**2 + 3*i + 4. Let a be z(-2). Suppose 37 = w + a. Is w a multiple of 3?
True
Let f(n) = n**2 + 3*n + 5*n**2 + 18 + 9*n - n**2. Does 42 divide f(-6)?
True
Let k(m) = 5*m**3 - 4*m**2 + 2*m + 4. Let q be k(2). Suppose 2*t - 62 = q. Does 30 divide t?
False
Is 27 a factor of -5*-1*4*(-351)/(-26)?
True
Let u = -646 + 788. Does 5 divide u?
False
Let f(k) = 64*k**2 + 18*k - 39. Is f(3) a multiple of 26?
False
Suppose 0 = -5*x + 2*t + 930, 0 = -4*x + 9*t - 4*t + 727. Does 7 divide x?
False
Suppose 0 = -k - 74 + 25. Let g = k - -154. Does 25 divide g?
False
Let t be (-2)/7 - 124/7. Let r be (12/t)/(4/138). Let l = 29 - r. Is l a multiple of 16?
False
Let q = 232 - -209. Is q a multiple of 44?
False
Suppose -14*s + 27109 + 6155 = 0. Is 5 a factor of s?
False
Suppose -5*b + 0*i - 5*i - 160 = 0, -3*i - 65 = 2*b. Let r = b - -67. Does 23 divide r?
False
Suppose -2*p = 2*p + 2*c - 1064, -4*p = 4*c - 1060. Suppose -3*h + p = 3*m, -m = h + 2*h - 269. Is 14 a factor of h?
False
Let q(u) = 4*u**2 - 8*u - 35. Is 24 a factor of q(9)?
False
Let k be 6 + (-2 - -4) + -4. Is 51 + k + -4 + -1 a multiple of 9?
False
Suppose -6 = f - 5*i, 2 = 2*f - 3*f + 4*i. Let q = f + -8. Let b(l) = -l**3 + 8*l**2 - 8*l - 6. Does 5 divide b(q)?
False
Let y be (-1)/(-5) + 36/20. Is 10 a factor of (-9)/3 + 88/y?
False
Let v = 69 + -60. Does 18 divide (0 - 39)/((v/(-6))/1)?
False
Let c(a) be the third derivative of a**5/30 + 7*a**4/8 - 5*a**3/6 + 19*a**2. Does 20 divide c(-13)?
True
Let y(w) = -39*w + 196. Is 5 a factor of y(-5)?
False
Let y(h) be the first derivative of -h**4/4 - 8*h**3/3 - 2*h**2 - 2*h - 7. Let k be y(-6). Let o = 26 - k. Is 17 a factor of o?
False
Suppose z + 2*h + 10 = -3*h, 0 = -4*h - 12. Suppose z*f = 10*f. Suppose f*l + 38 = 2*l. Is 4 a factor of l?
False
Let l(r) = -66*r + 174. Does 48 divide l(-9)?
True
Let y(u) = 9*u**2 - u + 6. Is y(-4) a multiple of 41?
False
Suppose -4152 = -5*q + 4*z - 1572, -4*q + 2058 = -2*z. Is 8 a factor of q?
True
Suppose -57*r = -53*r - 4. Is 1/7 + (-82)/(-14) + r a multiple of 7?
True
Let n(i) be the third derivative of 2*i**5/15 - i**4/12 + i**3/6 - 8*i**2. Is n(-2) a multiple of 32?
False
Let x(m) = -m**3 + 10*m**2 + m - 19. Let n be x(10). Let f(w) = w**2 + 10*w + 14. Is f(n) a multiple of 5?
True
Let r(u) be the third derivative of 5*u**4/12 - 7*u**3/6 - 8*u**2. Let j be r(2). Suppose -8*b - 320 = -j*b. Is b a multiple of 16?
True
Let u(v) = -v**3 - v**2 + 5. Let c be u(0). Suppose 248 - 32 = 3*s - c*z, -2*z + 6 = 0. Is 11 a factor of s?
True
Suppose b + 54 = 4*b. Let z = b + -38. Let h = -13 - z. Is h a multiple of 4?
False
Let b(p) = 3*p**2 - p. Let u be b(-1). Let v(g) = 7*g + 10. Is v(u) a multiple of 19?
True
Suppose 0 = -y - y + 420. Is y a multiple of 15?
True
Suppose 0 = -4*r + 5*w - 5, -4*r - 3 = -3*w - 0*w. Suppose 2*a - 15 = p - 88, 2*p - 2*a - 152 = r. Is p a multiple of 26?
False
Let d(v) = v**2 - v + 2. Suppose 0*o + 5*o = -75. Let x = o - -21. Does 14 divide d(x)?
False
Suppose 3*j = -6*j. Suppose -2*f + j + 8 = 0. Suppose f*v - 66 - 46 = 0. Does 9 divide v?
False
Is 10 a factor of 843 - ((-117)/78 + 22/(-4))?
True
Suppose -3*p + 21 = -9. Suppose -p = t - 219. Is 60 a factor of t?
False
Suppose 9*o + 3700 = 19*o. Does 26 divide o?
False
Let h be (-48)/40*((-12)/9 - 2). Let q be (3 + -1)*(-3)/(-2). Suppose -h*f + q = -89. Is 4 a factor of f?
False
Suppose 61*o - 65*o + 440 = 0. Let n = 205 - o. Is n a multiple of 27?
False
Suppose -3*i - 2*i + 720 = 0. Suppose -3*l = l - i. Suppose a - 2*s = -s + 14, -3*a + s + l = 0. Is 5 a factor of a?
False
Suppose -5*m - 3*v = 2*v - 2300, -5*v + 448 = m. Is m a multiple of 3?
False
Suppose 3*j + 152*q - 151*q - 2251 = 0, -5*q - 2281 = -3*j. Does 12 divide j?
False
Let a(f) be the second derivative of f**3 + 33*f**2 - 3*f + 9. Does 8 divide a(-7)?
True
Suppose -5*u + l + 155 = -4*u, 0 = -2*u + 5*l + 319. Is 21 a factor of u?
False
Let d = -1241 + 2357. Is 12 a factor of d?
True
Let u = -917 - -1697. Is u a multiple of 10?
True
Suppose -p + 30888 = 25*p. Does 33 divide p?
True
Let w(z) = 2*z + 1. Let u be w(1). Suppose 4*i - u*i = 71. Let r = -39 + i. Is r a multiple of 8?
True
Suppose -6*v = -31*v + 39200. Does 28 divide v?
True
Suppose -4*j + 6*j = -20. Is 10 a factor of (-5)/j*-43*-2?
False
Let u = -11 - -20. Suppose 21 = 5*w + n, -2*w + 5*n - u = -3*w. Is (w/(-10))/((-5)/225) a multiple of 6?
True
Let u(v) = 19*v + 793. Does 34 divide u(-31)?
True
Is ((-7794)/(-24))/(9/12) a multiple of 19?
False
Suppose 16 = -26*k + 22*k. Let m be 51 - 0 - (k - -1). Suppose -q = q - m. Does 10 divide q?
False
Suppose 0 = 10*a - 14*a - 368. Let n = 164 + a. Does 12 divide n?
True
Suppose -22*o + 50892 = 3328. Is o a multiple of 94?
True
Let v(w) = -17*w**2 + 2*w + 4. Let m be v(-4). Let n be 1*((-13)/5 + 3)*5. Is (m/(-9))/(n/3) a multiple of 23?
True
Suppose 0 = -14*u + 855 - 169. Does 5 divide u?
False
Suppose 4*p + 24 = -5*v - 32, -52 = 5*v + 3*p. Let a(n) = n**2 - 4*n + 3. Is a(v) a multiple of 32?
False
Let y(i) = 4*i -