et o be h(-4). Is 16 a factor of (-4 - 0)*d - o?
False
Let i(g) = -13*g - 5 - g - g**2 + 11 + 9. Is i(-11) a multiple of 24?
True
Suppose 44*n = 48*n + 5*x - 11112, 0 = -n + 5*x + 2753. Does 59 divide n?
True
Let v = 4 - -20. Suppose -2*z + 3*m - v = 32, 4*z + 104 = 2*m. Let o = 35 + z. Is 3 a factor of o?
False
Let j(r) = 5*r - 96. Let b(l) = -l + 19. Let p(n) = 11*b(n) + 2*j(n). Let q be p(6). Let d = 3 + q. Does 7 divide d?
True
Let p = 502 + -51. Does 11 divide p?
True
Let d(s) = s + 2. Let z(t) = -t - 1. Let n(q) = d(q) + 2*z(q). Let w(f) = 45*f - 1. Let v(x) = -6*n(x) - w(x). Does 20 divide v(-1)?
True
Suppose -19*r - 604 = -2238. Is 43 a factor of r?
True
Suppose -3*j - 3*x = -2376, -4*x + 0*x = -8. Does 10 divide j?
True
Let k(d) = 29*d**3 + 3*d + 2. Let g be k(2). Suppose 3*m + 2*m = g. Does 13 divide m?
False
Let g(h) be the first derivative of -2*h**3/3 - 23*h**2/2 + 18*h - 10. Is 6 a factor of g(-12)?
True
Let l(m) = -m**3 - 6*m**2 - 2*m + 1. Suppose 3*o - 3*a = -o - 27, 0 = 2*a - 2. Is l(o) a multiple of 4?
False
Suppose -2343 = -3*v + 4*h, -4*h + 1 + 11 = 0. Does 60 divide v?
False
Let t be 33/44 + 10/8. Suppose j = -h + 34 + 17, 0 = t*j + h - 102. Suppose w - j = 33. Is w a multiple of 29?
False
Let x = -75 + 23. Let w(f) = 16*f**3 - 2*f - 2. Let d be w(-1). Let g = d - x. Is g a multiple of 12?
True
Does 11 divide (54/(-4))/(22/(-88))?
False
Is 16035/30 - 2/4 a multiple of 6?
True
Suppose 0 = -c - 29 + 19. Does 3 divide c/(-6) - 28/(-12)?
False
Suppose -5*g = -3 + 8, -5*x + 4*g + 24 = 0. Let i(p) = -p**2 + 9*p + 1. Let h be i(x). Let y = h + -4. Does 7 divide y?
False
Does 5 divide 7272/66 + 6/(-33)?
True
Let k(b) = -2*b**3 - 5*b**2 + b + 32. Does 13 divide k(-5)?
False
Suppose 0*w + 20 = -2*w. Let f = -6 - w. Let v = f - -22. Is v a multiple of 8?
False
Suppose 6*h = 9*h - 984. Suppose 4*i - 4*z - h = 0, -5*i = 2*z + 2*z - 446. Does 24 divide i?
False
Let x(p) = -728*p - 95. Is 27 a factor of x(-3)?
False
Suppose 2*s = 3*w - 1, -s + 6*w - 3*w = -1. Let r(l) = -15*l**3 - 3*l**2 - 3*l - 1. Is r(s) a multiple of 28?
False
Let w = 4 + -1. Let b = 3 + w. Let l = b + 9. Is 10 a factor of l?
False
Let t be 3*34*34/12. Suppose -t = -3*r + 2. Is r a multiple of 19?
False
Suppose 3 = 2*h - 5, 2*w = -h - 20. Let l(s) = 2*s**2 - 5*s + 2. Let f be l(3). Does 2 divide f/(5/w*-2)?
True
Suppose -1082 = -4*m + 1006. Suppose -2*i + m = 118. Is 17 a factor of i?
False
Let l(g) = 26*g - 7. Let r(n) = -39*n + 10. Let x(q) = -7*l(q) - 5*r(q). Suppose 4*s + s + 4*b - 35 = 0, -2*s - 4*b = -26. Does 10 divide x(s)?
False
Let u = 365 + -126. Is u a multiple of 48?
False
Suppose 0 = 5*i - 18 + 3. Suppose -3*z - i - 15 = 0. Is 84/15*(-45)/z a multiple of 14?
True
Let d be -6*(324/8 - 2). Let m = -101 - d. Let t = m + -79. Is 14 a factor of t?
False
Let z be (-4)/(-3) - 30/(-45). Let o(b) = -b. Let f(k) = -16*k + 2. Let q(p) = -f(p) + 5*o(p). Is q(z) a multiple of 9?
False
Is ((-10)/6)/((275/(-21582))/5) a multiple of 26?
False
Suppose -13*w + 412 + 238 = 0. Is w a multiple of 7?
False
Suppose -6*w + 6 = -5*w. Let t = w - -13. Does 19 divide t?
True
Suppose 0*t + 2 = -2*t. Let y(s) = -46*s - 3. Does 12 divide y(t)?
False
Suppose -5 = o + 5*y, -5*y - 30 = -0*o - 4*o. Suppose -5*n = o*d, 0 = d - 6*d - n - 8. Is 25 a factor of (-3 + 4)/(d/(-166))?
False
Suppose 25 + 27 = -4*o. Let f = -19 - o. Let j(m) = 3*m**2 + m - 18. Does 21 divide j(f)?
True
Suppose -6*j + 206 = -5*j - 5*f, 2*j - 4*f = 430. Is 24 a factor of j?
False
Suppose 2*u - 9*u = -3983. Suppose 0 = -11*w + 861 + u. Is w a multiple of 10?
True
Let g(r) = r**2 + 18*r + 19. Let l be g(-17). Suppose 4*f = f - 111. Is 8 a factor of (3 - -1)/l - f?
False
Suppose -2*b = -24*y + 28*y - 3522, -4*y + 3523 = 3*b. Is 11 a factor of y?
True
Is 19 a factor of (-45)/18*1848/(-10)?
False
Suppose -20*u = 475 - 2615. Is u a multiple of 3?
False
Let j be (-5)/(-2)*((-20)/4 - -7). Suppose 0 = j*o - 452 - 18. Is o a multiple of 21?
False
Let z(y) = 2*y**2 - 6*y - 8. Let t = -25 - -30. Let g be -2 + 5/t + 9. Is 24 a factor of z(g)?
True
Suppose 0 = -4*r - 4 + 12. Let d(a) = 25*a. Let x be d(r). Suppose -2*i + x = -8. Does 12 divide i?
False
Suppose 3*y - 286 = -2*f, -5*f - 5*y + 853 - 133 = 0. Does 56 divide f?
False
Suppose 4*u = u + 21. Let m = u + 27. Does 17 divide m?
True
Let m = 290 + 2901. Does 42 divide m?
False
Suppose 72 = -4*s - 12. Let r = s - -18. Let h(w) = -23*w - 8. Is 15 a factor of h(r)?
False
Let i(f) = 3*f**2 + 2. Let b be i(-3). Let v = 10 - b. Let y = -6 - v. Is y a multiple of 4?
False
Let z(u) = -u**3 - 36*u**2 + 37*u + 30. Is 30 a factor of z(-37)?
True
Suppose 2*i + 2*i - 4*b - 28 = 0, 0 = -5*i - 3*b - 5. Suppose i*s = x + 63, -3*s + 2*x + 42 = -51. Is s a multiple of 11?
True
Let c(l) be the first derivative of 7*l**2 - 14*l - 12. Is 11 a factor of c(8)?
False
Let h = 1082 - -367. Is h a multiple of 37?
False
Suppose 0 = 18*r - 1340 - 5824. Does 18 divide r?
False
Let q = 372 + -369. Let l = -68 - -103. Is 3 + q + -3 + l a multiple of 9?
False
Suppose 5*o - 44 = -339. Let t = o - -117. Is 10 a factor of t?
False
Suppose 11*w = 15*w - 276. Suppose 2*g = 31 + w. Is g a multiple of 10?
True
Let b(p) = -p**2 + 2*p + 7. Let f be b(3). Suppose s - 2*w - 2 = 0, -13 = -f*s + 5*w - 2*w. Is -1 - (s + 27)*-1 a multiple of 19?
False
Let z = -15 + 66. Let t = -35 + z. Is 8 a factor of t?
True
Let k = 30 - 11. Suppose 1109 = 5*t + k. Suppose -5*g - 4*p + t = -5*p, -4*g + 175 = -p. Does 19 divide g?
False
Let h = 2 + 173. Suppose 0 = -30*x + 31*x - h. Does 25 divide x?
True
Let o = 4273 - 1053. Is 70 a factor of o?
True
Suppose -t + 2 = 4*j, j - t = -2*j - 2. Does 22 divide 133 - (3 + -6 + (4 - j))?
True
Let v(w) = -w - 2. Let z be ((-6)/(-18))/((-1)/15). Let b be v(z). Let o = 15 - b. Is 4 a factor of o?
True
Suppose 58*a = 53*a + 10. Suppose 2*q - 469 = -3*q - 2*u, a*q - 196 = 2*u. Does 19 divide q?
True
Let y = -1892 + 3517. Is y a multiple of 13?
True
Let s = -836 + 2289. Does 34 divide s?
False
Suppose 2*p = 6*p - 12. Suppose -2*r + 4*g = -18, p + 16 = -4*r - 3*g. Is (-6 - -39) + (-1 - r) a multiple of 9?
False
Suppose -l + 3 = -4. Let r be 7/(l/(-4)) + 9. Suppose -5*a + n = -91, -2*a + 16 + 15 = r*n. Is 3 a factor of a?
True
Suppose 831 = 13*o - 6020. Is 17 a factor of o?
True
Suppose -3*t - 6 = 0, -b - 3*t + 538 = -1360. Is b a multiple of 34?
True
Suppose -11*m + 6*m = 0. Suppose m = 4*a - a - 519. Suppose -3*q + a = -5*l, 6*l - l = 2*q - 122. Is q a multiple of 16?
False
Suppose -2*m = m - 33. Let c = -45 + 67. Suppose -m = -s + c. Is s a multiple of 20?
False
Let u = -15 - -18. Let k be u/18 + (-23)/(-6). Suppose j = -k*j + 170. Is 34 a factor of j?
True
Suppose -5*t = -117 + 37. Suppose f + 3*q = 5*q + t, 40 = 3*f - 4*q. Does 2 divide -1 + f + 2/1?
False
Suppose 5*j - 5*v = 15, 3*v + 2*v + 22 = -2*j. Is 111/9 + (-5)/(-3) + j a multiple of 4?
False
Does 5 divide 18/(-162) + (-41205)/(-27)?
False
Let s(x) = -2*x**3 - 3*x**2 + 3*x - 6. Let u be 2/(-7) + (-23)/(-7). Suppose -4*c - 1 = -5*m, m - 5*m - 24 = u*c. Does 12 divide s(c)?
False
Suppose 6*c - 2*c = 400. Suppose -4*u = 20 - c. Is 3 a factor of u?
False
Let q = 76 + 212. Does 60 divide q?
False
Let h be (-53)/(-1) + 0 + -2. Let n = h + -17. Let v = n - -22. Does 28 divide v?
True
Suppose 0 = 4*b - 222 - 1226. Is 49 a factor of b?
False
Let t(q) = 8*q**2 + 3*q + 1. Let c be t(-3). Is 32 a factor of 1 - (3 - 2 - c)?
True
Suppose 722 - 18 = 8*z. Does 3 divide z?
False
Let v(m) = -m**3 + m. Let g be v(-1). Suppose g*l = 11*l - 473. Is l a multiple of 4?
False
Suppose 3*j = 5*y - 17, 8 = 3*y - 3*j - 7. Suppose n = y + 2, -4*i + 3*n = -175. Does 11 divide i?
False
Suppose -3*j = 3, 0*j = 2*v + 2*j - 10. Let h be (-6)/((27/v)/3). Is 0 + 8/h + 50 a multiple of 16?
True
Suppose v - 8 - 59 = 0. Is v a multiple of 38?
False
Let q = -26 - -36. Suppose -q = 5*k, 4*r - 2*r = -2*k + 2. Suppose 4*z = r + 153. Does 17 divide z?
False
Let h = -1271 + 1404. Is h a multiple of 2?
False
Let w(o) = o**3 - 4*o**2 + o - 18. Let c be w(6). Suppose -4*u = -5*y + 100, -3*y + c = -0*y - 3*u. Is 10 a factor of y?
True
Let c be (-3 + 2)/1 - 89. Let h = 163 + c. Suppose 2*u = -1 + h. Does 11 divide u?
False
Suppose -5*y + 4*y = -2*m - 21, 57 = -5*m - 2*y. Let k = -7 - 