Let i = 10 - r. Does 5 divide i?
True
Suppose 1258 = 15*f - 10517. Does 40 divide f?
False
Is 18/36*12*-1 + 738 a multiple of 34?
False
Suppose -12*h = -5*h + 469. Let i = h - -119. Does 26 divide i?
True
Let h(g) = g**3 - 7*g**2 + 3*g + 7. Let s(m) = m. Let b(u) = h(u) + 6*s(u). Let c = 493 - 486. Does 12 divide b(c)?
False
Let o(s) = 4*s + 4. Let q be o(0). Suppose -q*x + 4*m + 500 = 0, -335 = -2*x - x - 5*m. Is 24 a factor of x?
True
Let y(f) = 30*f - 54*f + 31*f + 2*f**2 + 3 - 22. Does 9 divide y(-8)?
False
Suppose 3*s + 3*q - 3 = 0, -3*s + s + 12 = -3*q. Suppose w = s*w. Suppose 3*x - 18 - 18 = w. Is x a multiple of 4?
True
Suppose -5*i = 4*z + 494, -120 = -2*z + 3*z + 3*i. Is 7 a factor of (6/(-9))/(2/z)?
True
Suppose 5*z = 2*z + 18. Let o(l) = l + 14. Let b be o(-6). Suppose b*y = z*y + 56. Is y a multiple of 9?
False
Suppose 0*b - 5*i + 22 = -b, 2*b + 2*i = 16. Suppose -2*y + 2*o = b*o - 51, -2*y = -2*o - 36. Is y a multiple of 7?
False
Suppose c - 219 = -5*l + 203, -4*c + 1763 = -5*l. Is 11 a factor of c?
False
Let l = -14 - -1. Let j = 12 - l. Is j a multiple of 6?
False
Suppose -2*o - 4840 = 3*o. Let l be (o/20)/(1/(-5)). Suppose 5*j + 92 = l. Is 8 a factor of j?
False
Let j(h) = -2*h - 1 + 3 - h - 3. Let i be j(-2). Suppose -3*x - i*b + 154 + 13 = 0, 213 = 4*x - 3*b. Does 10 divide x?
False
Let u be 70/(-20)*(1 - -1). Let a = u + 13. Suppose -a*h + 7 = 2*c - h, -25 = -5*c - 5*h. Is c a multiple of 3?
True
Let a(l) = 7*l**2 - l - 3. Is a(-3) a multiple of 3?
True
Let c(z) be the first derivative of z**4/4 + 4*z**3/3 - 7*z**2 + 5*z - 2. Is c(-6) a multiple of 17?
True
Let c(u) = -u - 6. Suppose -15 = -3*r - 0. Let k be c(r). Let f = -6 - k. Does 3 divide f?
False
Let i = -19 + 12. Is (-2022)/(-21) + 2/i a multiple of 24?
True
Suppose v - 5*b = -25, -6*v + 2*b = -4*v + 18. Let y(q) be the second derivative of q**5/20 + 7*q**4/12 + 4*q**3/3 + 5*q**2/2 - 2*q. Does 5 divide y(v)?
True
Let u = 2 + -4. Let c = u - -10. Suppose 6*i = c*i - 60. Is 21 a factor of i?
False
Suppose 0*s + 2*x - 2324 = -3*s, -3*x + 3098 = 4*s. Is s a multiple of 28?
False
Let o(m) = m**2 - 17*m - 7. Let q be o(16). Let c = q - -29. Is 3 a factor of c?
True
Let x be (-1)/((-3)/12)*-1. Let b be 3/(-6)*x + -87. Is 17 a factor of (4/(-5))/(2/b)?
True
Let y = 52 - 35. Suppose -5*a = -5*o - 255, -172 + y = -3*a + o. Does 20 divide a?
False
Let v = 22 - 15. Suppose -9*k + v*k = -28. Is k a multiple of 7?
True
Let z(k) = -k**3 - 23*k**2 + 11*k + 80. Does 7 divide z(-24)?
True
Suppose 19 = -4*a + 63. Let r = a - 20. Does 12 divide (-3)/r*0 + 54?
False
Suppose 5*b = h - 7 - 9, 4*h - 4*b - 16 = 0. Suppose 2*z + 5 = w - h, -2*w + 16 = -5*z. Does 3 divide ((-6)/w)/(12/60)?
True
Suppose -2006 = -2*c + 5*r - 0*r, 0 = -4*c + 5*r + 4032. Does 10 divide c?
False
Suppose -44*b + 43*b = -1200. Does 24 divide b?
True
Let c be 5*(1 - (-338)/(-10)). Does 26 divide (-1)/(-3)*(-8 - c)?
True
Let z(n) = -n**2 - 10*n + 11. Let s be z(-12). Let l(p) = -p**3 - 13*p**2 - p + 17. Is l(s) a multiple of 5?
True
Let v(o) = o**2 + 10*o - 1. Let y be v(-5). Let j = y - -28. Suppose -j*d + 169 = 5*l - 22, 0 = -3*l - 4*d + 109. Is l a multiple of 13?
True
Suppose 0 = 2*d + 329 - 1535. Is d a multiple of 37?
False
Is 21 a factor of 18641/5 - (-2 + 22/10)?
False
Let j = 354 - 31. Does 34 divide j?
False
Suppose 5*l = 5*p + 10, 4*l - 6*p + 5*p = 8. Suppose 4*i - 84 = -l*t + 72, i = 2*t - 131. Is 3 a factor of t?
False
Let z be (6 + 1)*(0 + 13). Let r = z - 49. Does 14 divide r?
True
Suppose 4694 = -16*d + 16550. Is 39 a factor of d?
True
Suppose -5*h + 1185 = 3*v, 36*h + 505 = 38*h - 5*v. Is h a multiple of 24?
True
Suppose -4*z + 6*z - 2 = 0. Let j be 48 + (z - 2/(-2)). Suppose -3*i + 2*a = -185, i = 2*a + a + j. Does 19 divide i?
False
Let b(i) = -37*i + 73. Is b(-6) a multiple of 59?
True
Suppose -9 = 4*h - 4*s - 1, 4 = h + 2*s. Suppose -d + 0*d + 3 = m, h = -3*m + 2*d + 14. Suppose -2*w + 104 = -5*z + 20, m*z + 80 = 2*w. Does 6 divide w?
False
Suppose -6*q + 40 = 2*q. Suppose -3*m = d + 4*d - 295, -q*m - d + 499 = 0. Does 24 divide m?
False
Let a(q) = q**2 - 1. Let h be a(1). Suppose -3*j = -h*j - 6. Suppose 5*w - 20 = -5*m, 3*w = -m + j*m - 8. Is 3 a factor of m?
False
Suppose -2*n = -5*n - 3*y + 18, 2*n = -3*y + 13. Let o be 25/5 - (-2 + 4). Suppose -o*t + n = -7. Is 2 a factor of t?
True
Suppose -5*j + 15 + 0 = 0. Suppose j*o - 7*o = -64. Is o a multiple of 8?
True
Suppose 2*y = -3*c + 3*y + 430, y + 714 = 5*c. Suppose 0 = -14*n + 2*n + 36. Suppose 0 = n*q - c + 31. Is 25 a factor of q?
False
Suppose -99 = -4*s - 2*p + 39, p = s - 39. Let g = s - 27. Is 8 a factor of g?
False
Let a(j) = 5*j - 5*j + 28 + 4*j + 15*j - j**2. Is 7 a factor of a(19)?
True
Suppose -7820 - 30505 = -21*y. Is 14 a factor of y?
False
Let g(f) = -2*f + 1. Let x be g(1). Let d be (x - -2)*(-13 + 18). Suppose 0 = -5*a + q + 246, -2*a + 4*q = -d*a + 166. Is a a multiple of 25?
True
Suppose 4*a + 8 = -z - 35, 5*z = 5*a - 190. Let l = 68 + z. Is 3 a factor of l?
False
Let l(i) = 2*i**2 - 72*i + 4. Does 17 divide l(-3)?
True
Suppose 0 = -45*m + 44*m - 83. Let p = m - -96. Is 5 a factor of p?
False
Let g = 304 - -419. Is (-2)/(-9) - g/(-27) a multiple of 27?
True
Suppose d = -0*n + 3*n + 718, 0 = d - 2*n - 723. Is 89 a factor of d?
False
Let p be 2920/(-15) + (-4)/12. Let i = -138 - p. Is i a multiple of 7?
False
Let b be 85/(-20) + (-1)/(-4). Is 26 a factor of 32 - -6*b/6?
False
Suppose -2*n + 3*n - 3*z = 78, -3*n + 259 = -4*z. Does 14 divide n?
False
Is (-2)/(10/16*2/(-590)) a multiple of 59?
True
Let n(a) be the second derivative of a**5/10 - 7*a**4/12 + a**3/3 + 3*a**2 - 20*a. Is 7 a factor of n(5)?
True
Suppose -11*o + 5 = -12*o, -4*l + 6622 = -2*o. Does 57 divide l?
True
Suppose -l = -0 - 5. Suppose 2*f - 5*n + 1 - 102 = 0, 5*n = -l*f + 270. Does 13 divide f?
False
Let u(q) = 2*q**3 - 7*q**2 + 3*q + 3. Let t be u(5). Suppose -t = -4*j + 19. Is j a multiple of 7?
True
Let k = -13 - -7. Suppose 5*m + 162 = -4*c, c + 9 = 11. Is (64/k)/(m/153) a multiple of 16?
True
Suppose 0 = -8*k + 12*k. Suppose k = v - 56 - 295. Is 13 a factor of v?
True
Suppose 1469 + 151 = 9*o. Is o a multiple of 18?
True
Suppose 72*i + 36 = 73*i. Let m = 68 - i. Is m a multiple of 4?
True
Suppose 0 = -5*w, -5*w = 2*n - 10*w - 282. Does 3 divide n?
True
Suppose 12352 + 29745 = 11*q. Is q a multiple of 30?
False
Let c(y) = -19*y - 2. Let h be c(-2). Suppose 0 = -4*m - 4 + h. Does 8 divide m?
True
Suppose -34140 = -5*n - 7*n. Does 36 divide n?
False
Let f = 200 - -28. Is 21 a factor of f?
False
Suppose -1500 - 941 = -4*j + 3*s, -j = 3*s - 614. Is j a multiple of 17?
False
Let w = -152 - -274. Let c be w/2 + -5 + 9. Is 376/10 - (-26)/c a multiple of 19?
True
Let w = -950 - -2028. Is 14 a factor of w?
True
Let z = 921 - 348. Suppose -5*i + z = 33. Suppose -c = 2*c - i. Does 23 divide c?
False
Suppose 0 = -4*j - 2*s - 0 + 2, s - 1 = 0. Suppose 5*x - 10 = -j*x. Suppose -3*d - 37 = -b, 4*b - 146 = -b + x*d. Is b a multiple of 13?
False
Suppose -9*i = -10*i + 9. Let l(q) = -q**2 - 3*q + 21. Let u be l(i). Let b = -37 - u. Is 20 a factor of b?
False
Let m = 0 + 2. Let k be (120/14)/(m/21). Let n = k + -41. Is 14 a factor of n?
False
Let b = -19 + 25. Let v(q) = 19*q**3 - 3*q**2 + 2*q + 1. Let j be v(2). Suppose -b*n + j = 31. Is n a multiple of 7?
False
Suppose 20 = 4*c + 4*o, 3*c + 4*o + 0*o - 19 = 0. Let g = 63 - c. Does 17 divide g?
False
Let i = -527 + 992. Is 15 a factor of i?
True
Suppose 0 = 3*z + 13 + 5. Let y(n) = n**2 + 6*n + 5. Let w be y(z). Let r = 20 - w. Does 5 divide r?
True
Let n be (-54)/8 - 15/(-20). Let t = n - -8. Suppose t*w + 17 = 3*w. Does 4 divide w?
False
Let y be (-1)/((((-14)/4)/(-7))/(-1)). Suppose 3*w = 4*o + 187, -o - 4*o - 134 = -y*w. Does 19 divide w?
True
Let p be ((-6)/(-9))/(4/(-54)). Does 32 divide (-212)/(-2) + 5 + p?
False
Let c(b) = b**3 - 8*b**2 + b + 8. Let s be c(8). Suppose s*o = 7*o + 2466. Is o a multiple of 21?
False
Let g(o) be the second derivative of -2*o**3/3 - 21*o**2/2 + 2*o. Let f be (5*(-10)/(-75))/((-8)/108). Is 3 a factor of g(f)?
True
Let b = 1337 + 41. Does 13 divide b?
True
Suppose 17 = 5*v + 3*y, v + 3*v - 4*y = -12. Let x(q) = 58*q + 2. Let h be x(v). Suppose 0*s - h = -5*s. Does 9 divide s?
False
Su