 Let r be a(h). Suppose 4*d = 212 - r. Does 14 divide d?
True
Let p(b) = -51*b**3 + b + 1. Let m = -17 + 16. Is 34 a factor of p(m)?
False
Let j(l) = l**2 + 26*l + 41. Let t be j(-25). Is (189/28)/(3/t) a multiple of 4?
True
Let u(x) = -x**2 + x - 2 + 62*x**3 - x - 2*x - 200*x**3. Is u(-1) a multiple of 22?
False
Let s(f) = -36*f + 10. Let c be s(-11). Suppose -o = 3*j - 298, 5*j - 5*o = c + 64. Is 49 a factor of j?
True
Let q = -1142 - -2462. Is 8 a factor of q?
True
Suppose 2*h = -2 + 12. Suppose -4*q - 3*u + 5 = -h, -q - 2 = 3*u. Suppose 3*t - 2*i = i + 144, 4*t - 152 = -q*i. Is 10 a factor of t?
False
Let n(v) = 3*v**2 + 3*v + 2. Let c(f) = -f**2. Let s(m) = -4*c(m) - n(m). Let b be s(6). Let x = 28 - b. Does 4 divide x?
True
Let y = 67 + -67. Is 154/(-7)*(1/(-2) + y) a multiple of 11?
True
Suppose 3*s + 5*m + 198 = 0, 5*s - 3*m = -487 + 123. Let k(g) = 6*g - 16. Let y be k(-5). Let h = y - s. Does 5 divide h?
True
Suppose -n + 0 - 6 = 0. Let z(k) = -k**2 - 6*k + 7. Let r be z(n). Suppose 29 = w + r. Does 11 divide w?
True
Let t(o) = -4*o + 38. Let y be t(9). Suppose 3*c + 4*i = 282, -3*c - y*i + 470 = 2*c. Is c a multiple of 23?
False
Let s = -194 + 357. Suppose 31 - s = -3*l. Is 3 a factor of l?
False
Let d be -1 + 1 + 1 + 6. Let u = d + -2. Suppose -k - 370 = -5*q, -313 = -u*q - 3*k + 77. Is q a multiple of 15?
True
Suppose -999 = 4*d + 1005. Does 28 divide 2 + -4 - (-2 - d/(-3))?
False
Suppose m - 1568 = -m + 3*h, 18*h = -3*m + 2397. Is 3 a factor of m?
False
Let k(o) = 45*o + 772. Is 14 a factor of k(16)?
False
Let p = 1527 + -962. Suppose 0 = 5*w - 5*o - p, -3*w + 5*o + 126 = -219. Is w a multiple of 17?
False
Let l = -2475 - -3465. Is 30 a factor of l?
True
Let j = -1603 + 3681. Is j a multiple of 63?
False
Let n(j) = -287*j + 488. Does 26 divide n(-6)?
True
Suppose -5*b = -10*b - 5. Is 20 a factor of (-2 - b)*(-6 + -55)?
False
Let d = -72 - -76. Is (-153)/((-6)/2 + 6/d) a multiple of 17?
True
Let m = 1 + 4. Suppose 5*i + m*u - 75 = 0, 5*i = 4*u + u + 105. Does 15 divide i?
False
Is 12 a factor of (-20)/(-30)*(-7)/((-7)/1674)?
True
Let g(n) be the second derivative of 0*n**2 + 6*n + 1/2*n**3 + 0 + 19/12*n**4. Does 13 divide g(-2)?
False
Let u(m) = -8*m - 19. Let k = -16 - -7. Does 23 divide u(k)?
False
Let p(w) = 24*w - 8. Let h(c) = -22*c - 2 + 6*c + 7. Let x(y) = -8*h(y) - 5*p(y). Is x(5) a multiple of 10?
True
Let z be 30/9 + (-3)/9. Suppose z*k = 3*x + 204, -5*k - 4*x + 9 + 340 = 0. Is 9 a factor of k?
False
Let m(r) = -13*r - 3. Let q be m(-4). Suppose -2*p = 0, -5*p - q - 140 = -3*s. Is 7 a factor of s?
True
Suppose -18*p + 55825 = 37*p. Is 6 a factor of p?
False
Let y = -32 + 20. Let w = 37 + y. Does 15 divide w?
False
Let r = -4 + 9. Suppose 10*n - 70 = r*n. Does 5 divide n?
False
Let r = 1463 + -983. Is 80 a factor of r?
True
Suppose 4*h - 1077 - 267 = 0. Is h a multiple of 16?
True
Suppose 5*g = -0*g - 3*o + 12, -o = 1. Suppose 4*l + 288 = 1072. Suppose m + l = g*m. Is m a multiple of 24?
False
Suppose 0 = -i - r, 7*i = 2*i + 2*r + 35. Suppose i*o - 28 = -h + 102, 2*h - 250 = -5*o. Is 40 a factor of h?
True
Suppose 0*u + 920 = 5*u. Let h = -121 + u. Suppose h = 2*i + 15. Is 6 a factor of i?
True
Suppose t = 5*o - 126, 0 = -3*o + 8*o - 5*t - 130. Is 4 a factor of o?
False
Suppose 4*m = -4*o + 6 + 10, -5*m + 20 = -o. Suppose o = -6*u + 4*u + 56. Is 7 a factor of u?
True
Is ((-244)/2)/(66/(-99)) a multiple of 2?
False
Let q = 56 + -55. Suppose 2*o - 304 = -4*l, 2*o - 278 = l + q. Does 27 divide o?
False
Let f = -165 - -278. Does 10 divide f?
False
Does 8 divide (354/1)/(-3 - 40/(-8))?
False
Let a(r) = 1512*r**3 - 3*r**2 + 1. Does 10 divide a(1)?
True
Let y(t) = 4*t**2 - 3*t + 5. Let v(q) = 3*q**2 - 2*q + 4. Let g(f) = -3*v(f) + 2*y(f). Let n(b) be the first derivative of g(b). Is n(-6) a multiple of 3?
True
Let t(p) = p - 27. Let d be t(7). Let x = 34 - d. Is 14 a factor of x?
False
Suppose -2891 = -6*y + 1555. Does 15 divide y?
False
Let a = -512 - -736. Is a a multiple of 3?
False
Let i(x) = -9*x - 4. Let h be i(-5). Suppose -2*p = -3*p + h. Does 13 divide p?
False
Let k be (2*41)/(-1 - -3). Let i be (15 + 1)*(2 + 0). Let z = i + k. Is 15 a factor of z?
False
Does 21 divide 4 - (-4)/(28/1323)?
False
Let i be (-2)/(-5) + (-3)/(-5). Let m be (0/(-3 + 1))/i. Suppose 4*v - v - 120 = m. Is 10 a factor of v?
True
Let i = 5 + -3. Suppose 0*q + 4 = i*q. Suppose 0 = q*a - 25 + 5. Is a a multiple of 5?
True
Suppose 0 = -a + q + 24, -a + 39 = -4*q. Suppose 110 = 20*v - a*v. Is v a multiple of 10?
True
Suppose c - 2 + 5 = 0. Let g(a) = -14*a - 2. Is g(c) a multiple of 18?
False
Does 5 divide (-49)/14*600/(-42)?
True
Let p(c) = -c**3 - 10*c**2 - 5*c - 2. Suppose -2*q + 5*q - 3*a + 45 = 0, -q + 3*a - 25 = 0. Is 19 a factor of p(q)?
False
Suppose 33*v - 4113 = -2*t + 34*v, 3*t - 2*v - 6172 = 0. Is 26 a factor of t?
True
Let y be 153/68 + 1/(-4). Does 4 divide 64/10*(6 + y/(-2))?
True
Let j be -1 + 2 + (0 - 5). Does 28 divide 217 + (4 - 0)/j?
False
Let c be (-10)/1*18 + 0. Let z(s) = s**2 - 30*s + 55. Let f be z(28). Is (-1240)/c + f/(-9) a multiple of 2?
False
Suppose -61 + 559 = -6*y. Let z = 122 + y. Is z a multiple of 6?
False
Let v(s) = 3*s**2 - 17*s - 9. Does 19 divide v(7)?
True
Let b = -9 - -12. Let i = b + 46. Is i a multiple of 23?
False
Is 3 a factor of (-5 + 2 - -4)*(-43)/(-1)?
False
Let w(d) = d**2 - 16*d + 41. Let b be w(19). Let x = 69 + b. Does 24 divide x?
False
Let g be (-6)/9*9/(-2). Let y be 69/(4/24*g). Is 8 a factor of y/8 - (-2)/(-8)?
False
Let b be (28/24)/((-2)/(-12)). Does 9 divide 394/b - 38/133?
False
Suppose 0 = b - 5, 2*b - 23 - 5 = 2*i. Let h(p) = -p**2 - 8*p + 3. Let j be h(i). Does 2 divide (-10)/(-4) - j/(-12)?
True
Let v = -640 - -937. Let y = -209 + v. Is 11 a factor of y?
True
Suppose -5*g = f - 14, 0*g = -2*f - 4*g + 40. Let w = f + -12. Is 6 a factor of w?
True
Let v(b) = 8*b**3 - 8*b**2 + 67*b. Is v(6) a multiple of 34?
False
Suppose 96 + 69 = 3*i. Is 4 a factor of i?
False
Suppose -3*h = -5*t - 64, 0 = 5*h + 5 + 5. Let k(b) = -9*b + 14. Does 28 divide k(t)?
True
Suppose -5418 = -31*f + 32185. Is 58 a factor of f?
False
Let v(t) = -16*t**2 - 3*t. Let o be v(-4). Let n = o + 163. Is 11 a factor of (-1)/(1*3/n)?
False
Let l(u) = -5*u**3 - 2*u**2 - 2*u - 2. Let a(t) = t**2 - 6*t + 4. Let o be a(5). Is l(o) a multiple of 2?
False
Suppose -8*f + 85 = -75. Is 4206/27 + f/9 + -2 a multiple of 39?
True
Let u(j) = -4768*j**2. Let v(b) = -187*b**2. Let g(f) = -5*u(f) + 128*v(f). Let h be g(-1). Let o = 147 + h. Does 17 divide o?
True
Let x be ((-3)/(-6) + -1)*(3 - 11). Suppose x*h = -0*h + 200. Is 25 a factor of h?
True
Suppose -14 = -2*i + i. Is (-1)/i*4 - 114/(-7) a multiple of 5?
False
Let k = -909 - -451. Does 33 divide k/(-10) + 4/20?
False
Let w(g) = g**2 - 16*g + 32. Let z be w(14). Suppose -283 + 52 = -z*u + 5*f, 133 = 2*u + f. Is 18 a factor of u?
False
Let k(u) = u**2 + 5*u. Let l be k(-4). Is (l - (4 - 5)) + 33 a multiple of 3?
True
Let b(n) = n. Let g be b(0). Let j = g + 20. Is j a multiple of 13?
False
Is (-6146)/(-8) - (63/(-84) + 1) a multiple of 96?
True
Let n = 2562 + -927. Does 15 divide n?
True
Let y(v) = 150*v**2 - 65*v - 122. Does 32 divide y(-2)?
True
Suppose 22 = a + 6. Let u = 23 - a. Let v(w) = w**3 - 5*w**2 - 2*w + 1. Is v(u) a multiple of 25?
False
Let o(m) = -9*m**3 + 3*m**2 + 8*m + 2. Let w be o(-3). Let h = w + -131. Is 7 a factor of h?
False
Let g(f) = -f + 3. Let y be g(3). Suppose -5*h - c = -2*h - 10, y = 4*h - 5*c - 26. Suppose 66 = h*u - 3*j, 1 = 3*j - 5. Is 18 a factor of u?
True
Let h = -7 - -15. Let d be (h/(-10))/1*5. Let x = d - -10. Does 4 divide x?
False
Suppose 5*a - 80 = 5*f, -a - 18 = -2*a + 3*f. Suppose 0*m - 3*q - 15 = 5*m, 5*m - 3*q - a = 0. Let h = m + 8. Is 8 a factor of h?
True
Let t(x) = 8*x - 30. Let s be t(21). Let g = s - 43. Is 31 a factor of g?
False
Suppose 16*w - 9*w + 322 = 0. Let m = w - -96. Is 14 a factor of m?
False
Let f be ((-19)/(-3) + 1)*3. Suppose -k - 5 = -j, 5*j - 3*k = -k + f. Is j a multiple of 2?
True
Let q(g) = -7*g + 1. Let i be q(16). Let b = -92 - i. Does 8 divide b?
False
Let l = -4 - -16. Let v = 15 - l. Suppose -v*o + 59 = -85. Is 24 a factor of o?
True
Suppose -7*h = -224 - 84. Let f(n) = -2*n - 7. Let b be f(-5). Suppose 