= -3*z - 40 + 142. Is v a multiple of 13?
True
Suppose t + 0*v = 2*v + 8, v + 40 = 5*t. Suppose t*u + u - 1908 = 0. Is 53 a factor of u?
True
Is ((-28158)/(-21))/2 + (-144)/(-252) a multiple of 13?
False
Is (-143)/2*14/(-7) a multiple of 36?
False
Suppose 4*i + 3765 + 2059 = 2*m, -3*i = 0. Is m a multiple of 104?
True
Suppose -4*j + 1646 = 286. Suppose n = 6*n - j. Is 6 a factor of n/(6 - 2) - -1?
True
Suppose 0*j - 47 = -j. Let r = 59 - j. Is 12 a factor of r?
True
Suppose 2*u - x - 348 = 0, -u - 4*x + 32 = -124. Let b = 334 - u. Is b a multiple of 18?
True
Suppose -103*v + 40977 = -94*v. Is v a multiple of 157?
True
Let z = -112 - -150. Is 38 a factor of z?
True
Let d(l) = -l**2. Let r(v) = -v**3 - 5*v**2 - 4*v - 1. Let h(z) = -d(z) + r(z). Let f be h(-5). Is 1 - 11/(f/(-24)) a multiple of 7?
True
Let r be (15*36/315)/(4/70). Suppose -v + x = 19, v - 1 = 3*x - 18. Let n = v + r. Is 9 a factor of n?
False
Let j(h) = -h**2 + 23*h + 12. Let i be (162/(-135))/((-2)/20). Does 9 divide j(i)?
True
Suppose 0 = -15*y + 811 + 554. Is y a multiple of 12?
False
Let f be 5 - 5 - (-3 - -3). Suppose 8*v - 12*v + 496 = f. Is v a multiple of 31?
True
Let z(d) = 2*d**3 - 10*d**2 + d - 7. Let x be z(8). Let q = x + -133. Is q a multiple of 15?
False
Let o = 37 + -33. Is 24 a factor of (o + 0)*2*14?
False
Let p(r) = -3*r**3 + 5*r + 6. Is 24 a factor of p(-3)?
True
Let n(p) = p**2 + 6*p - 15. Let l be n(-14). Let v = l + -44. Is v a multiple of 10?
False
Suppose 10*c - 1720 = 2610. Does 7 divide c?
False
Is 35*192/102 + 14/119 a multiple of 22?
True
Let t(v) be the second derivative of -1/2*v**2 + 0 + 5/12*v**4 + 0*v**3 - v. Is t(2) a multiple of 5?
False
Let h be 54 + (-2)/4*0. Let k = h - -29. Is k*1/(-2 + 3) a multiple of 25?
False
Suppose -k + 59 = -3*f, -3*k + 162 = -f - 39. Does 3 divide k?
False
Is 133 - ((-5 + 7)*-2 + -1) a multiple of 46?
True
Let z(l) = l**2 + 4*l + 6. Let m be z(-4). Suppose 5*r + m = -0*o + 3*o, 4*o + 2*r = -18. Let p = o - -11. Does 2 divide p?
True
Is 3 a factor of ((-14245)/15)/(-11) - (-2)/3?
True
Suppose -5 + 7 = c. Let s be (-38)/(-6) - c/(-3). Suppose -s*a + 35 = -2*a. Does 7 divide a?
True
Let g(l) = 3*l + 1. Let a be g(-6). Let o be a*(6*-3 - 2). Suppose -5*m = -0*m - o. Is 13 a factor of m?
False
Let q(y) = 2*y**3 - 8*y**2 + 3*y + 10. Let k be q(7). Let z = -217 + k. Let n = z - 47. Is 21 a factor of n?
False
Let f(q) = -q**3 - 20*q**2 - 23*q + 19. Does 6 divide f(-19)?
False
Suppose 3*z = c + 34, z - 8 = -0*z + c. Suppose l = 51 - z. Suppose -l - 67 = -5*g. Does 7 divide g?
True
Let u(k) = -13*k - 4 - 6*k + 2*k**2 + 17*k. Is u(8) a multiple of 32?
False
Let y(f) = 495*f - 49. Is 55 a factor of y(3)?
False
Let d = 1705 - 708. Is d a multiple of 53?
False
Let q = -792 - -1267. Is q a multiple of 50?
False
Suppose 3*n - 2*v = 951 + 7323, -4*v - 2748 = -n. Does 13 divide n?
False
Let d(v) = -2*v**2 - 4*v + 6. Let f be d(7). Let t = -62 - f. Is 29 a factor of t?
True
Suppose 107 = 2*c + 3*r, 401*r = 3*c + 403*r - 163. Does 5 divide c?
True
Suppose -4*u + 3 + 17 = 0. Suppose 3*z + 3*a + 12 = 267, z = -u*a + 65. Suppose -q + z = -0*q. Does 30 divide q?
True
Suppose 0 = 4*j - 1121 + 769. Is 11 a factor of j?
True
Let h(o) = o**2 - 22*o - 29. Let r(k) = -k**2 + 13*k + 24. Let c be r(13). Is h(c) a multiple of 4?
False
Suppose 0 = -16*q + 8*q + 24. Suppose q*a - 260 - 379 = 0. Does 24 divide a?
False
Let w(b) = b**2 + b - 1. Let k(a) = -10*a**3 + 4*a - 3. Let c(z) = -k(z) + 2*w(z). Let y be c(1). Suppose 3*h + y = 4*h. Does 6 divide h?
False
Suppose 0 = 2*a + 6 + 22. Let y = -53 + 30. Let c = a - y. Is 3 a factor of c?
True
Let q = 6 - 179. Let h = 40 - q. Does 44 divide h?
False
Let a be 12 - -2*(2 - 1). Suppose -4*f - 20 = 5*h, 5*f + 6 = -5*h - a. Is 17 + (4 + 12)/h a multiple of 3?
False
Let g = -79 + 80. Suppose -4*c + 2*c = -12. Does 13 divide 3 + 14*(c - g)?
False
Let m = 20 - -17. Let g = m + -27. Is 3 a factor of g?
False
Let w be 10/40 + (-65)/4. Let z = -6 + w. Let g = z + 40. Is 11 a factor of g?
False
Let b be 236/3 - (-8)/(-12). Suppose n + 24 = b. Suppose 2*t + o + 19 - n = 0, -32 = -2*t - 4*o. Is t a multiple of 18?
True
Let u = -2570 - -4735. Is u a multiple of 11?
False
Suppose -k + 596 = -4*s, 5*k - 4*s - 1571 = 1473. Does 18 divide k?
True
Let r = -212 + 779. Is 16 a factor of r?
False
Suppose 5*z + 3*z + 8 = 0. Is 14 a factor of 3 + 148 + z + 4?
True
Suppose 0 = -r - 2*r + 9. Let y = -5 - -47. Suppose -r*q + 0*q + y = 0. Is 12 a factor of q?
False
Let m be 88/28 + (-2)/14. Suppose -m*i + 16 = 2*q, -5*i + 0*q = q - 15. Is 12 a factor of (2 + -1)*48/i?
True
Suppose b + 80 = 3*b. Suppose 5*o - b = 300. Does 8 divide o?
False
Let q(y) be the first derivative of y**4/4 - 17*y**3/3 + y**2/2 - 13*y - 2. Let h be q(17). Suppose h*a - 5*a = -38. Does 19 divide a?
True
Suppose 0 = 2*t + c - 0*c, -5*t - 2*c = -2. Let j = -7 - -114. Suppose -t*m + j - 35 = 0. Does 10 divide m?
False
Let h(g) = -g**3 + 9*g**2 - 5*g + 3. Let q(u) = u + 14. Let s be q(-6). Is h(s) a multiple of 14?
False
Let b = 124 - 73. Suppose 2*f - b = 113. Does 20 divide f?
False
Let g(f) = -f**3 + 7*f**2 + 7*f + 10. Let h be g(8). Suppose 3*d + 4*c - 19 = 0, 0 = h*d + 3*d - 3*c + 7. Is 23 a factor of 9 + -8 + 68/d?
True
Let f = -103 + 104. Is 9 a factor of 4 + 3 + (111 - f) - 0?
True
Let d(l) = 3*l + 9. Let t(r) = 7*r + 17. Let x(v) = 5*d(v) - 2*t(v). Is 6 a factor of x(7)?
True
Suppose -4*q + 132 = -2*q. Suppose 4*b + q = 3*k, 0 = -b - b. Let o = 31 - k. Is 3 a factor of o?
True
Let d(r) = 3*r**2 + 9*r - 5. Let g be d(-8). Suppose -19 = -i + 4*k - 0*k, 4*i - 3*k = g. Suppose i - 5 = 2*y. Is y a multiple of 13?
True
Suppose -g = -5*g + 388. Suppose 658 - 53 = 2*a + 3*m, 4*a - 1220 = -4*m. Suppose -3*o - g = -a. Is 11 a factor of o?
False
Is (2 + 14/(-6))*(-2826 + 24) a multiple of 77?
False
Is 14 a factor of ((-114)/(-8))/((-3)/(-56))?
True
Let v = 1550 - 1055. Is 20 a factor of v?
False
Let g be -3 + (-3)/(-1) + 7. Suppose 53 = -g*u + 382. Is 8 a factor of u?
False
Suppose -20*b = -18*b + 4. Let k be 5*b/(-2 + 0). Suppose 5*j + k = 35. Is j a multiple of 3?
True
Let u(a) be the second derivative of 17*a**3/3 - 53*a**2/2 - 18*a. Does 14 divide u(10)?
False
Is 39 a factor of 197 - -1 - (-24)/4?
False
Does 20 divide (-12)/(-42) + (-29390)/(-35)?
True
Let n = 31 - 43. Let r(h) = h**2 + 7*h - 41. Does 2 divide r(n)?
False
Let v(m) be the second derivative of m**5/20 + 5*m**4/6 - 8*m**3/3 - 20*m**2 + 6*m. Is 15 a factor of v(-10)?
True
Suppose 2*z + 2*v = z + 191, z - 3*v - 216 = 0. Does 16 divide z?
False
Suppose -x = 3*x - 496. Let w = 179 - x. Does 11 divide w?
True
Let x(k) = 104*k**3 + 2*k - 1. Let z(b) = -b**3 + 4*b**2 - 5*b + 7. Let h be z(3). Is x(h) a multiple of 7?
True
Let f = 5 - 2. Let a(t) = t**2 - f + 0 - 4*t**3 + 3*t**3 - t + 2. Is a(-2) a multiple of 10?
False
Let n = -98 - -222. Is n a multiple of 20?
False
Suppose 608 = -b - 4*q + 1823, -5*b = -3*q - 5960. Is 22 a factor of b?
False
Let c be -3 + 6 - 0/2. Suppose -37 = -2*u - 5*g + 14, 0 = -4*u + c*g + 63. Suppose 2*a - u = 2*w, -2*a + w + 6 = 2*w. Is a a multiple of 2?
False
Suppose 28845 = 108*w - 63*w. Is 11 a factor of w?
False
Suppose 7*a + 16 = 3*a. Let f be (-5)/(-2) + (-2)/a. Does 6 divide -2*f*20/(-15)?
False
Let l be (-10)/(-3) - (-6)/9. Suppose l*y + 74 = -3*x + 284, 2*x = -3*y + 140. Is x a multiple of 35?
True
Let j = 83 + -35. Suppose -j = 3*m - 336. Is m a multiple of 19?
False
Let z = -28 + 31. Suppose -5*s = -20, z*q - 83 = -5*s - 0*s. Is 5 a factor of q?
False
Suppose -2*c - 513 = -5*c + 3*i, 0 = -4*c + 3*i + 681. Suppose 94*o - 90*o - c = 0. Does 3 divide o?
True
Let a(n) = 4*n**2 + 13*n - 6. Let b be a(5). Let k(c) = c + 9. Let v be k(-7). Suppose 0 = -f - v*f + b. Is f a multiple of 22?
False
Let n = 2 - 13. Let j(u) = u**2 + 8*u - 13. Let l be j(n). Suppose -16*q = -l*q + 136. Is 12 a factor of q?
False
Let u = -16 + 16. Let x be (-22)/33*(u + -21). Let o = x - 5. Does 7 divide o?
False
Let i be (1 - 2 - 0) + -22. Let c = i - -37. Suppose c = o + o. Does 7 divide o?
True
Let h(x) = 4*x**2 - 6. Let o be h(0). Is (8 - 0)/(4/o*-3) even?
True
Suppose -102 = -385*u + 382*u. Is 13 a factor of u?
False
Suppose -n - 14*n + 19500 = 0. Does 50 divide n?
True
Let i(l) = 33*l 