et h(j) = j**3 + 10*j**2 + j - 10. Let x be h(-9). Suppose 2*r - 3*r = 37. Let f = r + x. Is 12 a factor of f?
False
Let l(k) = -k**3 - 15*k**2 + 36*k + 12. Let a be l(-17). Does 11 divide a/((-10)/4*(-14)/(-140))?
True
Let q = 15 - 11. Suppose a - 482 = -q*a + m, -m = -3. Is 13 a factor of a?
False
Does 31 divide -220*(210/(-56) + -4 + 0)?
True
Let q = 56 + -66. Let i = 58 - 40. Is 25/q*i/(-5) a multiple of 9?
True
Let g be 4/(-2)*(2 + -3). Suppose -28 = -4*p - 2*r, -8 + 2 = 3*r. Suppose -36 = -4*l + x, g*l - 3*l - p = 4*x. Is 8 a factor of l?
True
Suppose 3*s = w + 13, s = -3*w + 4*s - 9. Suppose 0*y = -2*y - 2. Is -2*36*y/w a multiple of 19?
False
Suppose 13*c = -172 - 322. Suppose 0*m = -3*m - 30. Let p = m - c. Is p a multiple of 9?
False
Suppose 4*p - 44 = 5*l, -127 + 39 = -5*p - 2*l. Suppose -2*f + 277 = 3*o, -3*f + o + 3*o + 424 = 0. Suppose -f = -4*c - p. Does 6 divide c?
False
Let r = -2737 - -4837. Is r a multiple of 23?
False
Let j(d) = 7*d**2 - 25*d + 130. Does 32 divide j(14)?
True
Suppose 3*g = 742 + 170. Suppose 2*d - 4*d = -g. Is 38 a factor of d?
True
Suppose -14*g - 198 = -11*g. Let h(i) = i + 1. Let p be h(5). Is 7 a factor of g/(-2) - p/2?
False
Let u(y) = -56*y**2 + 3*y + 3. Let r be u(-3). Let w = r - -744. Does 39 divide w?
True
Suppose -y - 400 = 4*y. Let k = y + 130. Is 10 a factor of k?
True
Suppose 0*f + 4 = 2*f. Suppose -f*l = -3 + 1. Suppose 39 = x - l. Is x a multiple of 20?
True
Suppose 1 = 5*x - 29. Suppose -b - 2*m + 4 = x, 0 = -5*m - 10. Suppose l - 44 = -b*l + 2*a, 2*l - 30 = a. Is 3 a factor of l?
False
Let q(g) = -g**3 - 4*g**2 - 9*g + 14. Let o(w) = w**3 + 5*w**2 + 9*w - 13. Let k(h) = 6*o(h) + 5*q(h). Is k(-8) a multiple of 24?
True
Let j be (-7 + 4 + -4)*1. Let n = 29 + j. Is 11 a factor of n?
True
Let w(m) = 3*m**2 + 2*m - 7. Suppose 3*c - 4*c - 1 = 0, 4*o - 5*c - 17 = 0. Let v be w(o). Suppose 5*s = 2*b - v + 154, 4*b = -16. Is s a multiple of 12?
True
Suppose -k + 2*k = -3, -2*k - 142 = -4*q. Let a = -4 + q. Is a a multiple of 5?
True
Suppose 3*w = k - 519, -7*w = k - 2*w - 503. Does 32 divide k?
False
Let g = -1326 + 1904. Is 12 a factor of g?
False
Is 12 a factor of (-3)/((-10 - -11) + (-1012)/1006)?
False
Let s = 531 + -181. Is s a multiple of 17?
False
Let q(b) = 7*b**2 - 18*b + 6. Let i = -25 + 31. Does 50 divide q(i)?
True
Suppose 2*t - 2096 = -4*p, -t = -4*t + p + 3165. Does 11 divide t?
False
Is 20 a factor of -5*(-1601)/5 - (2 + -1)?
True
Let u be 5*((-28)/10 + 2). Let j(r) = -2*r**3 - 4*r**2 + r - 4. Does 11 divide j(u)?
False
Suppose q + 5*c = 6*q - 1170, 0 = 4*q - 5*c - 935. Is q a multiple of 47?
True
Suppose 1207 = 8*y - 401. Suppose -2*j + y = 5*g, -4*j + 119 + 88 = 5*g. Is 2 a factor of g?
False
Is 11 a factor of (-518)/185*(2 - 12)?
False
Suppose 12*d = 4*d + 672. Does 31 divide d?
False
Suppose -268*z + 266*z = -1238. Does 18 divide z?
False
Suppose -3*w + 1773 = 3*g, 4*w + 2*g - 1538 = 830. Does 13 divide w?
False
Is 11 a factor of (240/(-14))/(((-72)/1386)/2)?
True
Let z(o) = 12*o + 26. Let w be z(-12). Let v = w + 213. Is 19 a factor of v?
True
Let k(q) = 4*q - 7. Let o(s) = -3*s + 7. Let c(h) = 4*k(h) + 3*o(h). Does 6 divide c(7)?
True
Let n = 11 - 10. Suppose -3*f = -2*b + n, 0 = -2*b + 2*f - 7*f + 25. Suppose 5 - 22 = -d - b*o, -4*o = -2*d + 6. Is 7 a factor of d?
True
Let t be -3*(-6*5/(-15))/(-1). Let o be 915/9 + 2/6. Suppose 0*x - t = -3*x, -3*x = -4*f + o. Does 7 divide f?
False
Let y = 19 + 277. Is y a multiple of 10?
False
Let x(q) be the first derivative of q**3/3 + q**2/2 + 50*q + 7. Does 10 divide x(0)?
True
Suppose -7*o = 5*d - 9*o - 7192, 0 = 5*d + 4*o - 7216. Does 45 divide d?
True
Let i(y) = -7*y + 4*y**2 + 6 + 2 - 4 + y**3. Let q be i(-6). Let u = q - -44. Does 8 divide u?
False
Suppose -7623 = -72*f + 61*f. Is 11 a factor of f?
True
Suppose -4*z - l = -12, 2*z = -z - 3*l. Suppose 195 = 5*s + k, s + z*k = -4*s + 180. Let d = s + -6. Is d a multiple of 10?
False
Let z = -37 + 39. Suppose -136 = -3*h + z. Is 7 a factor of h?
False
Does 30 divide (-249 + -6)/(3/(-6))?
True
Is (68/(-306) + (-18632)/(-9))/1 a multiple of 15?
True
Let b = 31 - 31. Let u(g) = g**3 + g**2 + g + 21. Is u(b) a multiple of 21?
True
Let g = 45 + 9. Is 32 a factor of g?
False
Let p be 3/(-15) + (-234)/(-45). Is (-9)/(5/p + 62/(-56)) a multiple of 28?
True
Let v = -25 + 43. Let s = v + 0. Is s a multiple of 4?
False
Is 19 a factor of 4*(0 - 1)/((-15)/165)?
False
Let r(g) = 2*g. Let m be 2 + -3 - (-4 - -1). Let h be r(m). Suppose h*q - 2*c = 168, 2 = 2*c - c. Is 16 a factor of q?
False
Suppose 2*f + 16 = -5*a - 3, a - 2*f - 1 = 0. Let j(w) = -3*w + 4. Does 4 divide j(a)?
False
Let j be (-16)/(-4) - (-10)/(-2). Let b(u) = -29*u**3 - u**2 - u - 1. Does 6 divide b(j)?
False
Let q(l) = l**2 + 11*l - 14. Let h be q(-10). Let u = -27 - h. Let y(m) = -m**3 + 3*m - 2. Does 4 divide y(u)?
True
Suppose -33*m - 167760 = -63*m. Is 37 a factor of m?
False
Suppose -7*q + 5402 = -4*q - 2*s, 0 = -4*s - 4. Is q a multiple of 60?
True
Let g = -99 + 103. Does 14 divide -3 - (-6)/g*142?
True
Let i = -38 + 43. Suppose -2*p = -i - 37. Does 7 divide p?
True
Let u be 40/4 - (-4)/(-2). Let h = -4 + u. Suppose -r + 18 = -h*m, 0*m - m - 42 = -4*r. Is 10 a factor of r?
True
Suppose -2*x + 10 = -0*x. Let t(g) = -g + 25. Is t(x) a multiple of 10?
True
Suppose -162 = -2*s + 110. Let h = s - 63. Is h a multiple of 10?
False
Let l(h) = -2*h**2 - 14*h - 8. Let r be -4 + -3 + (-3)/(-3). Let s be l(r). Suppose -3*b + 4*p = -74, s*b - 4*p - 78 - 18 = 0. Is b a multiple of 17?
False
Let c = -8 + 10. Suppose -3 = c*m - 2*j - 93, -m - 2*j + 60 = 0. Is m a multiple of 21?
False
Suppose -8*j = -11*j + 15. Suppose 5*b - 4*b = -m + 68, 0 = -j*m + 2*b + 333. Is 18 a factor of m?
False
Suppose 0 = -3*r - 2*r + 610. Is r a multiple of 7?
False
Let v(u) = -11*u**2 - 39*u + 11. Let s(t) = 5*t**2 + 20*t - 6. Let b(d) = -7*s(d) - 3*v(d). Does 16 divide b(-10)?
False
Let t(u) = u**2 + 14*u + 23. Suppose b + 84 = -3*b. Does 18 divide t(b)?
False
Let f = 11 + -8. Let h be f*4/4 - 2. Let g(v) = 14*v**2 - 2*v + 1. Does 4 divide g(h)?
False
Let m(c) = 9*c - 12. Suppose -5*x = -6 - 19. Let h be m(x). Suppose -4*q + h = 5. Is q a multiple of 7?
True
Let b(r) = r**2 - 15*r + 13. Let n be b(14). Is 7 a factor of (-18)/(-3)*n*28/(-12)?
True
Let k(d) = 348*d**3 + 5*d - 3. Is 50 a factor of k(1)?
True
Suppose 11*v - 9*v = 8. Suppose -w = -2*g + w + 276, -v*g - 3*w + 566 = 0. Is g a multiple of 28?
True
Suppose 0 = -9*i + 2*i - 77. Is (i - -21)*(-1 - -3) a multiple of 4?
True
Suppose -3*k + x + 203 = 0, -3*k - 6*x + 178 = -2*x. Suppose -k*h - 190 = -68*h. Is h a multiple of 5?
True
Let y = 343 - -232. Does 23 divide y?
True
Let x = 1254 + 975. Is x a multiple of 11?
False
Is 14 a factor of (6/15)/((-4720)/1575 + 3)?
True
Let c(u) = -136*u. Is c(-15) a multiple of 51?
True
Suppose 775 - 70 = 5*u. Let h = -77 + u. Is h a multiple of 16?
True
Let m(x) = 303*x**3 + 2*x**2 - 1. Is 16 a factor of m(1)?
True
Let l be 4 + (-3 + 7 - 3). Let u = l + 0. Suppose -506 = -u*z - 131. Does 21 divide z?
False
Suppose 0 = -3*u - t + 507, 3*u + 185*t - 188*t - 507 = 0. Is u even?
False
Let y be (7 + -3)*(-3)/(-4). Suppose -164 = -y*g + g. Is 14 a factor of g?
False
Does 39 divide 24/40*1195 - 2?
False
Let c(y) = 10*y**2 - 12*y + 30. Is c(10) a multiple of 9?
False
Let t(p) = -582*p + 2. Let q be t(-2). Suppose -q = -10*s + 5*s + k, 0 = -5*s + 2*k + 1162. Is s a multiple of 26?
True
Suppose -5*g - 3*z = -3*g - 165, 0 = -3*z + 9. Is 78 a factor of g?
True
Let k(x) = -42*x + 17. Is 27 a factor of k(-23)?
False
Suppose 0 = 3*p - w - 45 + 10, 5*w + 6 = 2*p. Let j = 13 + p. Does 5 divide j?
False
Suppose 0 = 3*h + 12, -4*l - h = -2*h - 32. Let d(b) = 10*b**2 + 4*b - 11. Let j be d(2). Suppose w - 5*q - 33 = l, -w + j = -4*q. Is 5 a factor of w?
True
Let m = 8 + -5. Let f(r) = -3*r + 45. Let s be f(13). Suppose -m*n - 21 = -s*n. Does 7 divide n?
True
Let f = 960 - 848. Does 16 divide f?
True
Let p = -168 + 328. Does 20 divide p?
True
Let m(d) = d**2 + 11*d + 35. Is m(-16) a multiple of 4?
False
Suppose 0*r + 2*r + 54 = 0. Let k(d) = -d**2 - 21*d + 149. Let n be k(-23). Let w = n - r. Is 26 a factor of w?
True
Suppose 4*z = -0*z + 348. Suppose -5*w + z = -123. Does 8 divide w?
F