h + 748 - 108 = 0. Is h a multiple of 7?
False
Let g be (-646)/(-16) + 33/(-88). Suppose -4*o + 5*p = -72 - 6, -g = -2*o + 3*p. Is 17 a factor of o?
True
Let h = -185 - -524. Suppose 0 = -12*z + 381 + h. Is z a multiple of 15?
True
Let u(t) = 7*t - 19. Let m(q) be the first derivative of q**2 - q - 1. Let x be m(4). Does 6 divide u(x)?
True
Suppose -4*m - 18 = 14. Let u = -6 - m. Suppose -u*i + 0*i + 90 = 0. Is 17 a factor of i?
False
Let g be 40 - ((-4)/10)/((-10)/25). Does 5 divide g + -6*(-8)/12?
False
Suppose 320 = 38*v - 36*v. Is v a multiple of 18?
False
Let l = 228 + -158. Suppose 5*j = -3*r + 275, 0 = 4*j - 5*r - 290 + l. Does 9 divide j?
False
Let h(n) = -n**3 - 9*n**2 + 6*n + 3. Let o(a) = -a**2 - a. Let l(i) = h(i) - 2*o(i). Let k be l(-8). Is 1*-2 - -4*k a multiple of 10?
True
Is 1535968/672 + (-14)/(-6) a multiple of 11?
True
Let v be -2*(-2)/(-10) + 252/(-70). Let p be (-34)/(-8) + 3/(-12). Does 11 divide 1/v - (-133)/p?
True
Let y(c) = -c**3 - 11*c**2 - 12*c - 8. Let w be ((-20)/(-6))/(2/(-6)). Is 8 a factor of y(w)?
False
Suppose 2*s - 236 = 3*m, 0*m - m - 118 = -s. Suppose 0 = -3*t - 5*r - 624 + s, -r + 174 = -t. Does 12 divide t/(-14) + 6/(-21)?
True
Is 36 a factor of 259 - (2 + -5 - -10)?
True
Let g = 9 + -9. Suppose z + 2*z - 84 = g. Is 28 a factor of z?
True
Suppose 2*f - 3725 = 4*t + f, -2*t + 2*f - 1870 = 0. Let j be (1 - -2) + (-3 - t). Is 6/(-21) + j/21 a multiple of 11?
True
Let h = 4 - 1. Suppose -3*l + 3 = h*i, -8 = -4*l - 3*i - 1. Suppose 3*d + 2*d = -l*p + 190, 4*p + 48 = 2*d. Does 17 divide d?
True
Let j(y) = 2*y**2 + 41*y - 173. Is j(-33) a multiple of 15?
False
Suppose -2*q = -q - 40. Let v = q - 125. Let a = v - -121. Is a a multiple of 11?
False
Let u(i) = -i**2 - 6*i + 12. Let a be u(-7). Suppose 5*k + a = -25. Is (-32)/k*273/52 a multiple of 14?
True
Let o = 125 - -579. Is 88 a factor of o?
True
Suppose 3*h = 5*c - 2298 - 1482, 2*h - 10 = 0. Does 33 divide c?
True
Suppose 0*d - 4*c = 3*d + 31, -47 = 5*d + 2*c. Let z = 11 + d. Suppose z*f = -2*w + 7*w - 35, 2*w - 43 = -5*f. Does 2 divide w?
False
Suppose -2 = 2*q - 64. Suppose z + 7 = q. Is 12 a factor of z?
True
Suppose 0*z - 2 = 2*r - 4*z, 0 = -r - 4*z + 17. Let o = 8 - r. Suppose -o*p - 104 = -5*m, -2*m - 3*m + 2*p = -106. Is 12 a factor of m?
False
Suppose 5*z - 15 = f, 6*z + 4*f + 10 = z. Suppose 2*m - 93 = 3*b, -4*m - m + 280 = z*b. Is m a multiple of 18?
True
Let i(r) be the second derivative of -25*r**3/6 + 7*r**2/2 - 5*r. Let s(m) = 24*m - 6. Let f(d) = 5*i(d) + 6*s(d). Is 18 a factor of f(1)?
True
Let t be (1 - (1 - -12)) + -3. Let z be (-4)/6*(t - 0). Suppose 14 = j - z. Is 8 a factor of j?
True
Let d = -10 + 65. Suppose 12*n = 11*n + d. Is 11 a factor of n?
True
Suppose 3*s - 5*s = 66. Suppose 0 = -5*l - 191 + 461. Let d = l + s. Does 7 divide d?
True
Is 10 a factor of -628*(-4 - (-28)/8)?
False
Suppose -65*b + 228 = -46*b. Is 3 a factor of b?
True
Suppose 4*u - u - 15 = 0. Let n be ((-1)/(-2))/(u/(-180)). Is ((-16)/(-10))/(n/(-45)) a multiple of 3?
False
Let d be 17/(-34)*-2*1. Let p be (-3 + -2)*d/(-5). Is -5 + p - (4 + -49) a multiple of 16?
False
Let m(a) = -a**2 - 7*a + 22. Let o be m(-9). Suppose -9*i + 1450 = -o*i. Is 29 a factor of i?
True
Let z(d) = d - 8. Let a be z(-6). Let c(y) be the first derivative of -y**3/3 - 7*y**2 + 16*y - 32. Is c(a) a multiple of 6?
False
Let v(n) be the third derivative of -n**5/30 + 3*n**4/4 + 2*n**3/3 + 7*n**2. Let f be v(9). Let x = f - -11. Is x a multiple of 15?
True
Suppose 2*b = -3*v - 20, -5*v + 0*v - 3 = -b. Let q be (-4)/(((-3)/b)/(-3)). Is 9 a factor of 508/q - 3/21?
True
Is 23 a factor of 15 + 146/(-10) + (-963)/(-5)?
False
Suppose 3*g - j - 393 = 0, g + 5*j = -3*g + 505. Is g a multiple of 26?
True
Suppose -12 = 96*q - 100*q. Suppose -3*x + 282 = -0*x. Suppose 5*y = 2*j + 308, 3*y + q*j - 74 = x. Does 12 divide y?
True
Let w(v) = v**3 - 8*v**2 + 13*v - 31. Does 13 divide w(10)?
True
Let j be 1/(4/16)*1. Suppose h + h = -v + 22, -j*v + 4*h + 28 = 0. Is v a multiple of 4?
True
Suppose 47 + 53 = 4*o - 2*l, -2 = l. Let y = o + -19. Let p = 14 + y. Is 19 a factor of p?
True
Suppose 5*b - 3 = 3*n + 2, -b = 3*n + 17. Let m(h) = 20*h + 16. Let u(k) = 7*k + 5. Let s(a) = -3*m(a) + 8*u(a). Is 4 a factor of s(n)?
True
Suppose 0 = -2*l, -25 = 6*p - p - 5*l. Let z(s) = -6*s - 1. Does 29 divide z(p)?
True
Suppose 3*p - 6*p - 1 = -t, 4*p - 4 = 0. Suppose -t*w + w = -360. Does 30 divide w?
True
Let v(q) = 4*q - 16. Let w be v(13). Let b = w - -42. Is 44 a factor of b?
False
Let a = -431 + 759. Is 11 a factor of (-3)/((-30)/a) + 2/10?
True
Let i = -77 + 79. Suppose 2*g = -2*j + 58, -g + j + i*j = -21. Does 9 divide g?
True
Let q(d) = -3*d - 14. Let l be q(-17). Let s = 45 - l. Does 4 divide s?
True
Let i(t) = -3*t - 1 + 3*t**2 + t + t. Does 12 divide i(-5)?
False
Let o = -513 + 888. Does 25 divide o?
True
Let f = 3 + -1. Suppose 32*j - 492 = -76. Let i = f + j. Does 2 divide i?
False
Suppose -2*l = 2*q + 2*q - 1936, q = 3*l + 477. Is 15 a factor of q?
False
Suppose -98 = 4*g + 2*t, 5*g - 4*t = 6*g + 42. Suppose -4*l - 16 - 16 = 0. Is 33 a factor of g/3*(l + -1)?
True
Let r(d) = 18*d**3 - d**2 - 5*d + 2. Does 27 divide r(2)?
False
Suppose 3*w = -9, w - 103 = -h + 462. Is 8 a factor of h?
True
Suppose -4*n = -2*n - 5*b + 15, 3*n - 4*b = -12. Suppose -2*p + n = 12. Let w = 8 - p. Is w a multiple of 7?
True
Let v(w) = 109*w + 8 - 119*w - w**2 + 0*w**3 + 3*w**3. Is 36 a factor of v(4)?
True
Suppose -12 = -4*x, 5*b - 6*b - 2*x = -424. Does 13 divide b?
False
Let d be 11 + (8 - (1 + 3)). Let z(b) = -2*b + 6*b - d + b**2 + 21. Is z(-9) a multiple of 17?
True
Is 69 a factor of 14/((-56)/(-540)) - -2?
False
Let h = 1126 - 771. Is h a multiple of 29?
False
Does 22 divide 268938/126 - (-3)/(-7)?
True
Is (48/(-21) - -2)*-1729 a multiple of 8?
False
Suppose -5*h = o - 124, 3*o - 2*h = h + 336. Is 19 a factor of o?
True
Suppose 121*u + 1794 = k + 124*u, -9010 = -5*k - 5*u. Is 8 a factor of k?
False
Suppose -5*t - 3272 = -k - 11779, -2*k = -6. Does 22 divide t?
False
Suppose -5*h = -t + 6*t - 255, 0 = 3*h - 2*t - 153. Let l = h + 18. Is 7 a factor of l?
False
Suppose -q - 2565 = 5*p - 20658, 2*p + 5*q - 7251 = 0. Does 18 divide p?
True
Suppose -16 = -4*q - 8. Let n be (3 - 12)*(-71)/3. Suppose 0 = 4*s + i - 2*i - 423, -q*s - i + n = 0. Is 27 a factor of s?
False
Suppose 4*g = 3*g - 11. Is g/(-22) - (-993)/6 a multiple of 7?
False
Let u = -17 - -10. Let v be 2 + 0 + 19*1. Let g = v + u. Is 11 a factor of g?
False
Suppose 431 + 1039 = 5*d. Does 21 divide d?
True
Let m(z) = 7*z - 11. Let d(p) = p - 1. Let u(r) = -r - 1. Let n(k) = 4*d(k) + u(k). Let g(s) = -4*m(s) + 9*n(s). Is g(-6) even?
False
Suppose -6 = -2*p - 2. Suppose 7 = p*g + 5*g. Is 23 a factor of -10*(g - 2 - 7)?
False
Let g = -128 - -218. Is 18 a factor of g?
True
Let t(k) be the first derivative of -k**3/2 + 5*k - 1. Let y(v) be the first derivative of t(v). Is y(-9) a multiple of 9?
True
Let o(v) = 15*v**2 + 6*v - 15. Is 3 a factor of o(2)?
True
Let c(m) = -7*m - 2. Let g(p) = p**2 + 9*p - 2. Let o be g(-9). Is c(o) even?
True
Let w(b) = -4*b**2 + b**3 + 2 + 8 + b + 11*b**2. Let n be w(-7). Suppose n*j = 9*j - 66. Is j a multiple of 4?
False
Suppose 3*q - 5 - 20 = 5*r, -4*q - r + 18 = 0. Suppose -4*f = -4*j + 444, j = -q*f + f + 131. Is 23 a factor of j?
True
Let c(n) = 671*n**2 + 22*n - 23. Does 13 divide c(1)?
False
Let u(b) be the second derivative of b**4/3 + b**3/6 + 5*b. Is u(-2) even?
True
Suppose -386 = -3*y - 326. Is y a multiple of 4?
True
Let u(y) = -y**3 + 7*y**2 + 8*y + 6. Let z be u(8). Suppose a - 1 = -z. Is (-3 - -3 - a) + -1 a multiple of 2?
True
Let l(d) = 89*d**2 + 9*d - 2. Does 33 divide l(-4)?
True
Suppose -5*t + 5 = 0, -2*l - 2*t + 2 = 2*l. Suppose l*d - 141 = -2*d - 5*i, -d + 2*i = -84. Is 26 a factor of d?
True
Suppose 57*a - 190668 + 68403 = 0. Is 33 a factor of a?
True
Suppose 0 = -32*q + 27*q + 1995. Is q a multiple of 76?
False
Let b(v) be the second derivative of v**4/12 + v**3/2 - 5*v**2/2 + 9*v. Is b(-6) even?
False
Suppose 0 = -5*h + 4*h + 5. Let x(i) = i + 3. Let r be x(h). Let m = r + 48. Is 28 a factor of m?
True
Let s be ((-88)/3)/(12/(-18)). Let g = 71 - s. Let k = g + -8. Is 19 a factor of k?
True
Let d = -45 + 141. Suppose 