4)). Suppose 3*v + 7 = r. Does 20 divide v?
True
Let x be 132 + 2/(-4)*0. Suppose -3*w - x = -6*w. Does 11 divide w?
True
Let v(c) = -36*c + 1. Suppose 0 = 3*g + 4*l + 6 + 2, g + 5*l = 12. Let y be 4 - (-4)/g*10. Does 13 divide v(y)?
False
Suppose -2*y + 5942 = -5*g - 1134, 0 = 5*y + 3*g - 17752. Is y a multiple of 16?
False
Is 12 a factor of 33/(-15) + 3 + 5396/5?
True
Let k be (64/(-20))/(4/50). Let v = 81 + -161. Let i = k - v. Does 9 divide i?
False
Suppose 3*a = -3*j + 612, 0 = -2*j + 2*a + 2*a + 408. Does 22 divide j?
False
Does 20 divide ((-33)/2)/((-23)/28520*3)?
True
Suppose 8 = 3*h - 7*h. Let r = 3 - h. Suppose 2*y - 2 = -5*m, 5*m - 47 = -r*y + 3*m. Does 6 divide y?
False
Let s = -224 - -601. Is 47 a factor of s?
False
Suppose 5*r + i = 16175 + 3803, 11991 = 3*r + 2*i. Is r a multiple of 47?
True
Let m = -4 + 7. Suppose -m*c + 1144 + 306 = -5*o, 2*c - 969 = o. Suppose -4*l = l - c. Does 31 divide l?
False
Let c be 0/((2 + -3)*2). Let g = 6 - c. Let f(b) = 7*b - 13. Is 6 a factor of f(g)?
False
Suppose -8 - 128 = -8*u. Is u even?
False
Suppose 46 - 38 = 2*n. Suppose -10*y + n*y + 162 = 0. Is y a multiple of 27?
True
Is 47 a factor of 163*(7 + -2) + -5?
False
Let n = 1662 + -741. Does 8 divide n?
False
Let q be (-3 + 2)/4 - (-54)/24. Let a = 29 + q. Is a a multiple of 31?
True
Suppose -m + 2 + 1 = 0. Is 36/54 - (-85)/m a multiple of 10?
False
Suppose 4*u - 8 - 4 = 0. Let p = -146 - -276. Suppose -i = -0*i + u*l - 12, -5*i - l + p = 0. Does 15 divide i?
False
Let h be -47 - (1 - -1)*-1. Let r = -7 - h. Is 19 a factor of r?
True
Let a = 383 + -264. Suppose a = 2*g - w - 132, 2*g = 4*w + 236. Is 32 a factor of g?
True
Is 35 a factor of (245/1)/(-15 - -16)?
True
Let i(y) = 7*y + 47. Let v(o) = 3*o + 23. Let g(q) = -4*i(q) + 9*v(q). Does 33 divide g(-14)?
True
Suppose 0 = -2*b + 411 - 3. Is b a multiple of 6?
True
Suppose m - 4*g - 18 = -0, 0 = 5*g. Does 12 divide (1*124)/((m/3)/12)?
False
Let p(m) = m**2 + 10*m - 1. Let b be p(-8). Let z(o) = -o**3 - 15*o**2 + 22*o + 26. Is 19 a factor of z(b)?
False
Let m be (-5)/30 + 25/6. Let c(i) = 4*i + 1. Let s be c(m). Let q = 42 - s. Does 4 divide q?
False
Let r(o) = -27*o + 12. Is 6 a factor of r(-8)?
True
Let u(d) be the first derivative of 17*d + 1/2*d**2 - 1. Does 4 divide u(-13)?
True
Let i(l) be the first derivative of -l**4/4 - 2*l**3 + 5*l**2/2 - 7*l + 1. Suppose 5*s - 25 = -60. Is i(s) a multiple of 2?
False
Is 20 a factor of 8/16 + (-1317)/(-6) + 0?
True
Is ((-417788)/(-688))/(1/8) a multiple of 14?
True
Is 9 a factor of -1*15813/(-18) + (-7)/(-2)?
True
Suppose r = -4*a + 30, 0 = -2*r + 3*r + 5*a - 30. Is 86/30 + -3 + 1354/r a multiple of 15?
True
Suppose -2*j = -2*k + 848, 2*j + 1694 = -0*k + 4*k. Is 47 a factor of k?
True
Suppose 5*g = -b + 555, -2*g + 3*g - 2239 = -4*b. Is 35 a factor of b?
True
Let q(x) = -x**3 + x**2 - x. Let r(v) = -v**3 + 17*v**2 - 13*v + 4. Let i(w) = 2*q(w) - r(w). Is i(-16) a multiple of 9?
False
Suppose -l = -17 + 8. Let m be (-24)/l*45/(-6). Suppose -2 = 2*k - m. Is 3 a factor of k?
True
Suppose -4 + 21 = p - x, x - 73 = -4*p. Is p - 18 - (-1 + -24) a multiple of 4?
False
Does 5 divide ((-200)/6)/(-10)*18?
True
Let q(r) = -r**3 - 6*r**2 - 5*r - 1. Let c = -17 - -12. Let z be q(c). Does 6 divide -4*z/((-8)/(-20))?
False
Let h = 2 + -4. Let g = 2 - h. Suppose -3*v + 2*v = -g*p + 44, 20 = 2*p - v. Is p a multiple of 4?
True
Suppose 0 = d - 119 - 72. Suppose -4*u = -0*u - 5*l - d, -4*l = -u + 45. Is 26 a factor of u?
False
Let r be (-6)/(-9)*3*3. Suppose -s + 117 = -2*d, d - r*d - 5*s - 315 = 0. Let t = -40 - d. Does 10 divide t?
True
Is -5 - 21*(-200)/12 a multiple of 56?
False
Suppose -3*m + 95 = 2*m + 5*l, -5*m + 102 = -2*l. Suppose -4*y = 44 + m. Let r = y - -26. Does 3 divide r?
False
Suppose -2*o - 29 = -295. Suppose p + 3*l - o = 0, 3*l = 4*l. Is 28 a factor of p?
False
Suppose -4*q + 506 = -150. Is 14 a factor of (1 - (-1 + 1))*(q + 5)?
False
Let o = 352 - -35. Is o a multiple of 13?
False
Suppose 10 = -20*x + 22*x. Suppose -4*n - x*w = -2*n - 344, -5*w - 541 = -3*n. Is 14 a factor of n?
False
Let q(l) = -13*l + 36. Does 10 divide q(-6)?
False
Suppose j - 30 = -4*j - m, 5*m - 25 = 0. Suppose -h = -j*h - 120. Let s = 47 + h. Is 17 a factor of s?
True
Let j(k) = 6*k - 16 + 2*k**2 + 3*k**2 - 6*k**2 + 6*k. Suppose 0 = -13*u + 9*u + 28. Does 19 divide j(u)?
True
Is 62 a factor of ((-292)/8 - 1)/((-1)/6)?
False
Let u(a) = 5*a**2 + 14*a + 2. Let t(h) = 6*h**2 + 13*h + 3. Let w(j) = -2*t(j) + 3*u(j). Is 16 a factor of w(-10)?
False
Let g(c) = 6*c**2 + 13*c - 28. Is 17 a factor of g(7)?
True
Suppose 0 = -3*z + 2*z + 3*b - 13, 8 = -4*b. Let o = 79 + z. Is 20 a factor of o?
True
Let b be (-2 - -1*15)*5. Suppose 3*g + 5*n - b = 0, 2*g - 35 = -2*n - 3*n. Is g a multiple of 5?
True
Let v be (3 - (-367)/(-3))/(4/(-6)). Suppose -2*c - 19 + v = 0. Is c a multiple of 30?
False
Let k(g) be the second derivative of g**5/20 + 7*g**4/12 - 5*g**3/6 + 5*g**2/2 + 8*g. Let y be k(-6). Let r = 139 - y. Does 17 divide r?
True
Let c = 938 + -654. Does 5 divide c?
False
Let n(g) = -90*g - 22. Does 8 divide n(-5)?
False
Let b(y) = 7*y**2 - 1. Suppose 2*a + 5 - 1 = 0. Is b(a) a multiple of 23?
False
Suppose 4*k + 3 = n + 4, 4 = 3*n - 5*k. Let r = n - 6. Is (-2)/(r - 15/(-6)) even?
True
Let j = 92 - -18. Suppose -f + j = -5*d - 33, -5*f + 855 = 3*d. Does 24 divide f?
True
Let u = 17 + -88. Let a = u + 83. Is 10 a factor of a?
False
Let k(u) = 81*u + 22. Let c(r) = 54*r + 15. Let s(d) = 7*c(d) - 5*k(d). Is s(-1) a multiple of 17?
False
Is 76 a factor of (308 + 28/(-7))*14/4?
True
Let q = 346 + -278. Let y = -253 + 435. Suppose 0 = -2*d - q + y. Does 19 divide d?
True
Let r(m) = 2*m**3 - m**2 + 16 + m**3 - 4*m**3 + 0*m**3 + m. Let b be r(0). Let j = -11 + b. Does 4 divide j?
False
Let p(m) = -m**3 + 3*m**2 + 3*m. Let d be p(3). Suppose -d = -5*s + 1. Suppose -s*u + 17 = -13. Does 5 divide u?
True
Let y(p) = -2*p. Let k be (7 + 4 + -9)/(4/(-26)). Is 17 a factor of y(k)?
False
Is 5 + -6 + 116 + -7 + 3 even?
False
Let c(h) = -30*h**2 - h**3 + 44 - 4*h**3 - 11*h - 7*h**3 - 2*h**3. Let u(g) = -5*g**3 - 10*g**2 - 4*g + 15. Let t(m) = 4*c(m) - 11*u(m). Does 5 divide t(-10)?
False
Let d(h) = -h**3 + 20*h**2 - 13*h + 57. Is d(18) a multiple of 9?
False
Let y(k) = 9*k**3 - 2*k**2 - 4. Is 15 a factor of y(4)?
True
Let l(i) = -i**3 - 8*i**2 - i - 3. Let z be l(-8). Let c be 2/z*5/1. Suppose 5*p + 10 = 0, -278 = -3*m + c*p - 7*p. Is 24 a factor of m?
True
Let d(l) = -l**3 - 13*l**2 - 13*l - 12. Let x be d(-12). Suppose x = r - 3, r - 95 = -4*p - 0*r. Is 17 a factor of p?
False
Let u(p) = 3*p**3 - 3*p**2 + 1. Let s be u(1). Does 22 divide 3*(90/4 + s/(-2))?
True
Let k(h) = h**3 + 19*h**2 + 16*h + 27. Let a = -11 + -7. Is 29 a factor of k(a)?
False
Suppose 23*p = 5046 + 4453. Is 7 a factor of p?
True
Suppose 5*s + 2*i = 2*s - 4, -4*s - 4 = 2*i. Suppose 107 = 4*b + 5*y - 0*y, -4*b - 2*y + 122 = s. Is b a multiple of 33?
True
Is (924 - 20) + (4 - 0) a multiple of 28?
False
Let n(g) = 3*g**2 + 17*g - 6. Let p be n(-6). Suppose 5*s - 26 = -6. Suppose p*z + 20 = 2*m + 2*z, -65 = -s*m + z. Does 5 divide m?
True
Let h(z) = 253*z - 4. Let v be h(4). Suppose -4*a + 780 = 5*j, -6*j + 4*j - v = -5*a. Is a a multiple of 50?
True
Let u(b) = -5*b - 15. Let y be u(-4). Suppose 9*r - y*r = 492. Is 10 a factor of r?
False
Let j be (4 + 6)*(-2)/(-4). Suppose 0*t - 30 = j*t. Is (-28)/(-8) + (-9)/t a multiple of 5?
True
Let p(m) = 2*m**2 - 2*m - 18. Suppose 12*q = q - 88. Is p(q) a multiple of 18?
True
Does 64 divide ((-28)/(-7) - -2)*(-362)/(-4)?
False
Is 40 a factor of (80*-2)/((-5)/15)?
True
Suppose -2*h - 4*x = -h - 442, -1823 = -4*h - 5*x. Is h a multiple of 11?
True
Suppose -3*r - l = -0*r - 29, -3*r = -4*l - 34. Let v be 1047/15 + 2/r. Suppose 7*o + 31 = y + 2*o, -2*y = -2*o - v. Does 12 divide y?
True
Suppose 4*t + 49 - 145 = 0. Let k be 5/(-25) - t/(-20). Does 11 divide (k + -2)/(3/(-129))?
False
Suppose 0*f + 16 = -4*f. Let p be (-84)/(-35) + f/10. Suppose p*s - 96 = -4*j - s, j = -2*s + 24. Does 24 divide j?
True
Let g(j) = j**3 - 9*j**2 + 7*j + 11. Let b be g(8). Suppose -54 = -h - w - w, 0 = b*w + 12. Is 4 a factor of h?
False
Let k(c) = c**2 + 54*c - 52. Is 12 a factor of k(-58)?
True
Let x be (-8)/20 + 50