Is u a multiple of 7?
False
Let h(s) = 2*s**2 + 132. Let l be h(0). Suppose a + l = 4*b - a, 5*a - 55 = -b. Is 35 a factor of b?
True
Let l = -15 - -17. Suppose l*w + 3*w = 350. Does 14 divide w?
True
Suppose 2006 = 6*g - 34. Suppose 3*x - 273 = -2*z, -5*z + g = -5*x - 405. Does 12 divide z?
True
Let w = -2 - -30. Suppose 3*g = -3*i - 19 + 49, w = 3*i + 2*g. Suppose -6*d - 72 = -i*d. Is 6 a factor of d?
True
Suppose -2*g - 4*z = -7 - 3, -5*z = -5*g + 100. Let x = g - 13. Suppose 4*a - o - 11 = 0, -x*a - 5*o + 37 = a. Is a a multiple of 2?
True
Suppose 2*h = -7*q + 5*q + 382, -5*h = 3*q - 953. Is h a multiple of 19?
True
Suppose 4 = -0*k - 2*k. Let l(n) = 5*n + 2. Let v be l(k). Let t = v + 12. Is t even?
True
Suppose 0*d + 4*o + 4460 = 4*d, 0 = -5*o + 25. Is d a multiple of 10?
True
Let r(z) = 11*z**2 - 4*z + 1. Let m be r(-3). Suppose -3*b + 2*h = -m, 0 = 3*b - 2*b + 3*h - 19. Is 3 a factor of b?
False
Suppose 2*q = 4*j + 968, -32*j + 2420 = 5*q - 27*j. Is q a multiple of 7?
False
Suppose -12*t = -9*t - 21. Is 2/t + (-2094)/(-21) a multiple of 50?
True
Let t(r) = 2*r + 3 + 16*r**2 - r + 2*r + 34*r**2. Is t(-1) a multiple of 10?
True
Let w = -34 - -59. Let o = w - -23. Is 8 a factor of o?
True
Let w(z) = 203*z. Let u be w(1). Suppose 5*x - 13 = -3*p + u, 6 = -2*p. Does 9 divide x?
True
Let z = 1337 + -509. Suppose 4*f = z - 188. Suppose 10*v - 5*v - f = 0. Is v a multiple of 7?
False
Suppose 0 = -i - 3*g - 76, -i - 4*g + 361 = -6*i. Let o = 167 + -189. Let n = o - i. Is n a multiple of 16?
False
Let y = -8 - -12. Let v(d) = 6*d - 1. Let m be v(1). Suppose -109 = -y*o - m. Is 13 a factor of o?
True
Let w be (-5)/(-35) - (-2)/(-14). Suppose 50 = -5*r - w. Is 7 a factor of 392/40 - 2/r?
False
Suppose 13 + 11 = -3*q. Suppose -9*s - 724 + 760 = 0. Is s/(-6)*(q - 4) a multiple of 2?
True
Suppose 99*v - 97*v - 3893 = 5*s, 3*v - 4*s - 5836 = 0. Does 36 divide v?
True
Let a(o) = -o - 3. Let h be a(-3). Is (5 + 39)/(2 + h) a multiple of 10?
False
Suppose 0 = -5*s + n + 1733, 5*s + 0*s + 2*n - 1724 = 0. Does 10 divide s?
False
Let j(u) = u**2 - 32*u - 343. Is j(49) a multiple of 10?
True
Let r = 877 + -848. Is 4 a factor of r?
False
Suppose -10*k + 111 = 21. Is 3/9 + ((-930)/k)/(-5) a multiple of 6?
False
Is 40 a factor of (1 - 17*-1)*(-51520)/(-336)?
True
Suppose 8030 = -100*n + 110*n. Is n a multiple of 73?
True
Let v(p) be the first derivative of -p**3/6 + 15*p**2/2 + 4*p - 7. Let d(k) be the first derivative of v(k). Is d(-14) a multiple of 13?
False
Is 53 a factor of (-18)/(-15)*-53*(-45)/18?
True
Let k(n) = n**3 + 8*n**2 - 4*n + 1. Suppose -a = 8*a + 63. Does 26 divide k(a)?
True
Suppose -92 = 4*v - 5*y - 976, 0 = -5*v - 5*y + 1150. Does 113 divide v?
True
Let d = 24 + -15. Let i(a) = 9*a - a**2 - d*a + 10*a + 24. Is i(10) a multiple of 7?
False
Let i(p) = -365*p + 9. Let h(k) = 182*k - 5. Let m(s) = 5*h(s) + 3*i(s). Is 14 a factor of m(-1)?
False
Let f(u) = 2*u**2 - 17*u - 6. Let i be f(-7). Let b = i + -66. Is b a multiple of 39?
False
Suppose i = -3*s - 0*s, -5*i - 28 = s. Let d = i + -24. Does 5 divide (d/(-8))/(2/8)?
True
Let i be (-112)/(-24) + (-4)/6. Let p = i + -4. Suppose p = -0*n + 3*n - 5*u - 112, -5*u - 10 = 0. Is n a multiple of 17?
True
Let o be (-224 - (-4 - -3))*-1. Let s = -150 + o. Does 22 divide s?
False
Let j(s) = 2*s**2 + 2*s + 2. Suppose -k + 4*k = -r + 9, 17 = 5*k + r. Let p = 0 - k. Does 13 divide j(p)?
True
Suppose -5*r = 16 - 6, 256 = 4*y - 4*r. Let w = y - -7. Does 35 divide w - (4 + -8)/4?
True
Let a(k) be the second derivative of -k**4/12 + k**3/2 + 4*k**2 - k. Let b be a(8). Let t = b + 76. Does 11 divide t?
True
Let q(f) = 67*f - 74. Is q(2) a multiple of 10?
True
Suppose 54*d - 47*d = 301. Is d even?
False
Let t = -29 - -47. Suppose x + 2*x = 2*o + t, 5*o + 17 = 4*x. Is x a multiple of 8?
True
Suppose 2*b = 8, -9*b = 2*z - 5*b - 198. Let g = -62 + z. Does 3 divide g?
False
Suppose 0*d = -d + 5. Let n be 5/d - 4*1. Let z(w) = -20*w. Is 15 a factor of z(n)?
True
Let z(c) = -22*c + 12*c - c + 1 - 10. Is 24 a factor of z(-3)?
True
Let v(z) = 2*z**3 - 3*z**2 - 3*z + 9. Suppose 4*u - 8*u + 16 = 0. Does 18 divide v(u)?
False
Suppose 730 = 5*i + 3*n, -5*i + 730 = 3*n - 4*n. Suppose 4*o - 3*d - 281 = 0, -4*d = -4*o - i + 430. Is o a multiple of 11?
False
Let i(o) = -o**3 - 7*o**2 + 9*o + 10. Let w be i(-8). Suppose 0 = 5*t - 42 + w. Is ((3 - 3) + t)*1 a multiple of 4?
True
Let h(y) = 583*y + 107. Does 24 divide h(4)?
False
Let g(i) be the first derivative of -i**6/60 - i**5/60 + i**4/24 - 3*i**2/2 + 8. Let a(k) be the second derivative of g(k). Is 10 a factor of a(-2)?
True
Let p = -92 + 182. Is 9 a factor of p?
True
Suppose -j - 3*j - 1424 = -5*r, -5*j + 563 = 2*r. Is r a multiple of 13?
False
Let w = 197 + -88. Let s = 113 - w. Is s a multiple of 3?
False
Suppose -m = -1, -q - 4*m + 0 = -4. Suppose q = 14*w - 3*w - 3003. Is 21 a factor of w?
True
Is 10 a factor of ((-99)/(-55))/((-3)/10) - -1003?
False
Suppose t - 2339 = -5*i, 0 = -4*i - 0*i + 3*t + 1875. Suppose -46*a + i = -42*a. Is 15 a factor of a?
False
Let a be ((-26)/6 + -2)*-3. Suppose z - a = 15. Does 34 divide z?
True
Let l be ((-41)/13 - -3) + (-5622)/(-39). Suppose -8*x + l = -7*x. Does 36 divide x?
True
Let m(y) be the third derivative of -y**6/120 + 7*y**5/60 + 2*y**3/3 - 3*y**2. Let q be m(7). Let j = q - -15. Is j a multiple of 12?
False
Let a(w) = w**3 - 26*w**2 - 70*w + 87. Is 16 a factor of a(29)?
False
Let l = -352 + 460. Is l a multiple of 7?
False
Suppose 0 = -0*w + 4*w - 20. Suppose -91 = -w*i + 59. Is 6 a factor of i?
True
Suppose -4*c + 3 = -17. Let k(n) = 6*n**2 + 3*n + n**3 + 2*n + 4*n**3 - 4 - 6*n**3. Is 23 a factor of k(c)?
True
Let p be (-1)/(-5) + 847/(-35). Let q = p - -29. Is 3 a factor of q?
False
Let g = 244 + -138. Let d be 156 + ((-3)/(-1) - 6). Let n = d - g. Is n a multiple of 10?
False
Let m = -1299 + 2198. Is 15 a factor of m?
False
Let u(s) = -6*s - 31. Let w be u(-6). Suppose -w*g - 70 = -5*i, 3*i + 2*i = 3*g + 60. Is 3 a factor of i?
True
Suppose 69*a = 64*a + 2060. Is a a multiple of 40?
False
Let p(d) = 3*d + 9. Let q be p(-5). Let a be (-50)/(-30) - 8/q. Suppose -4*u = -3*y - 209, 8*y = -u + a*y + 81. Is 21 a factor of u?
False
Let a be (-2)/(-10) - 39/(-5). Suppose 7 = a*v - 25. Does 4 divide v?
True
Let j(t) = -t + 4. Let g = 13 + -9. Let f be j(g). Suppose 0 = -3*s - f*s + 54. Is 4 a factor of s?
False
Let l be (-1)/(6/(-52))*6. Suppose c = -4*h - 137, -h - 2*c + 8 = 44. Let s = h + l. Is s a multiple of 7?
False
Let m = 2634 - 1651. Is 11 a factor of m?
False
Let u(k) = k**2 + 3*k + 5. Let a be u(-4). Let z be (-5)/15*-1*a. Suppose -d - z*c + 16 = 2*c, 5*d - c - 80 = 0. Is d a multiple of 12?
False
Suppose -5*q - 2*c = -6 - 31, -3*q - 2*c = -23. Suppose 3 = -2*v + q. Suppose v*n - 222 = -n. Is n a multiple of 19?
False
Let u be -1*0/(-1 + 0) - -14. Let h = u + 10. Does 4 divide h?
True
Suppose 2*x - 3*x = 5*c - 10, -4*c - 3*x = -8. Suppose 2*z + 5*a - c*a = 197, 5*a - 5 = 0. Does 17 divide z?
False
Let k(t) = t**3 - 2*t**2 + 2*t. Let n be k(4). Suppose -17*z = -16*z - n. Is z a multiple of 10?
True
Suppose -3*v = -2*v - 59. Let d = v - 29. Is 6 a factor of d?
True
Let u(f) = 56*f - 16. Is u(2) a multiple of 24?
True
Suppose 0 = a - 2*h - 95, a + 2*h = -h + 115. Suppose -304 = -4*y - 4*u, 0 = -3*y + 5*u + a + 157. Is y a multiple of 20?
True
Let g = 53 - 53. Suppose g*x = -8*x + 192. Does 8 divide x?
True
Let x = -324 + 226. Let a be -3*(x/(-6))/(-7). Let z = a - -13. Is 9 a factor of z?
False
Let h(v) = -v**2 - 6*v + 1. Let c be h(-5). Suppose 2*o + 160 = c*o. Suppose -o = -4*k - 0*k. Does 10 divide k?
True
Let m be (264/(-9))/(22/(-18) - -1). Let z = -79 + m. Does 19 divide z?
False
Let x = 3285 - 2967. Is x a multiple of 8?
False
Let x = -187 + 372. Suppose 8*u - 1759 = x. Is u a multiple of 27?
True
Let s(c) be the first derivative of -1/4*c**4 + 7*c + 2*c**3 - 5 + 0*c**2. Is s(6) a multiple of 7?
True
Does 61 divide (80/32)/(4/(-2 - -3306))?
False
Let n = 47 + -43. Suppose 168 = 4*u - 2*r, -r - 51 = -u + n*r. Does 2 divide u?
False
Let r be (-27)/(-45) - (-6)/(-10). Suppose -o - 3 = 5*x, -3*x = -2*o - r*x + 59. Let s = o - 2. Is s a multiple of 20?
True
Suppose 24*i - 26219 = 325. Does 79 divide i?
True
Suppose -d