et g(o) = 157*o + 40. Let d(x) = -238*x - 60. Let v(z) = 5*d(z) + 8*g(z). Is 5 a factor of v(5)?
True
Let f(o) = 7*o - 17. Let b = -100 - -102. Suppose -8*a + 58 = 3*u - 4*a, -b*a - 114 = -4*u. Is f(u) a multiple of 33?
True
Does 68 divide (((-113204)/39)/(-7))/((-1)/(-75))?
False
Let j(d) = -25*d + 23*d - 29 + d**2 + 15*d. Let b be j(-14). Let k(i) = -i**3 - 15*i**2 - 7*i + 11. Does 29 divide k(b)?
True
Suppose 3*u = 4*u - 4*q + 5, -3*q - 6 = -4*u. Suppose 4*v - 6*v - 564 = -4*g, -5*g + 694 = u*v. Is 28 a factor of g?
True
Let q be 5/(-10) - (-2)/(-4). Let s(m) = -144*m - 3. Does 15 divide s(q)?
False
Suppose p - 64*p = -1008. Is 75 a factor of (2/p*-6)/((-1)/1748)?
False
Let q(d) = -17*d**3 - 121*d**2 - 11*d + 133. Is q(-11) a multiple of 8?
True
Suppose -14*q = -19*q + 4750. Suppose 3*o + n - q = -n, 0 = 5*o + 2*n - 1590. Is 40 a factor of o?
True
Let a be 8 + -1 - (6 + (-2 - 0)). Suppose a*f - 40 = -5*o - 7, 5*f = o + 27. Suppose -f*d = 2*g - 7*d - 115, -3*g + d = -171. Does 28 divide g?
True
Let q(d) = d**2 + 25*d - 28. Let h be q(-26). Let p be 5/(-35) + h/(-7)*-311. Let x = 198 + p. Is 22 a factor of x?
False
Let t be -12*(((-81)/2)/3 - 2). Suppose -m - 4*k = -184, t = m + k + 2*k. Does 32 divide m?
True
Let k be -1*(1 - 0)*27/(-9). Let t be 244/2 - (k + 4/(-4)). Is 30 a factor of ((-4)/6*-6)/(16/t)?
True
Let z = 200 + -116. Suppose -7*x - 14 = -z. Suppose -x*a + 430 = -5*a. Is 15 a factor of a?
False
Let o(z) = z**2 - 5*z - 51. Let r be (-75 + 12)*(-3)/9. Suppose 24*a - 39 = r*a. Is o(a) a multiple of 3?
False
Let u be 5 - 4/2 - -245. Let g = 144 - u. Is 762*(-24)/g + (-2)/(-13) a multiple of 11?
True
Let g be (-40)/(5*(-12)/3630). Suppose 7*b + g = 12*b. Is 33 a factor of b?
False
Let n = 10738 + -4147. Does 13 divide n?
True
Let j(t) = -33*t**2 - t - 5. Let h be j(-4). Is 48 a factor of (h - -25)*2/(-3)?
True
Let q = 5925 - 3740. Is 3 a factor of q?
False
Let l = 3800 + -2990. Is l a multiple of 27?
True
Let n(w) = -23 - 2*w + 11 + 13. Let l be n(-1). Suppose -l*j + 165 = g, -j + 2*g + 118 = j. Does 24 divide j?
False
Let l be (-8)/(-6) - (-1195)/15. Let m = -35 - l. Is 29 a factor of m/(0 + (-1 - 0))?
True
Let o be (-115)/23*(1 + (-3718)/(-10)). Is 13/(o/(-372) + -5) a multiple of 31?
True
Suppose 0 = 3*h + 7 - 28. Let u(b) be the first derivative of 3*b**2/2 + 25. Does 3 divide u(h)?
True
Suppose -2*h = -s + 402, 2*s - 839 = -h - 2*h. Suppose -30*p - s = -34*p. Does 4 divide p?
False
Let c(z) = 5*z - 12. Let v be c(6). Suppose -v*h + 17*h = -4. Suppose 263 = h*p - 9. Does 19 divide p?
False
Let m(y) = 17*y - 8. Let h(f) be the second derivative of f**3/6 - 5*f. Let x(r) = -3*h(r) + m(r). Is x(11) a multiple of 43?
False
Suppose 3*n = -4*v - 487, n - 502 = 4*v - n. Let f = -77 - v. Does 7 divide f?
False
Let h(t) = 4*t**2 + 3*t - 13. Let b be h(8). Suppose 274*r - b*r = 315. Does 3 divide r?
True
Suppose 179*d = 203*d - 378000. Is 30 a factor of d?
True
Suppose -4 = -4*c + 4*k, 0 = -c + 5*k - 7. Suppose 0 = 5*v + c*t - 304, 0 = -4*v + v + 5*t + 196. Suppose -v - 6 = -l. Does 9 divide l?
False
Does 12 divide 2 - -33903 - (8 + -29 - -14)?
True
Suppose 23*o - 58*o + 1383970 = 0. Is o a multiple of 34?
True
Let l = -143 + 50. Let j = -48 - l. Is 5 a factor of j?
True
Let b(p) = -p**3 - 9*p**2 - 3*p + 42. Let o be b(-8). Suppose 3*c + 2533 = o*j, -2*c - 158 = j - 1421. Does 11 divide j?
True
Let u(m) = -39*m + 2579. Is u(-52) a multiple of 17?
True
Does 12 divide ((-25)/(-125))/(2/112130) - (0 + -6)?
False
Let u(w) = w**3 - 53*w**2 + 105*w - 437. Is 62 a factor of u(55)?
False
Let z(f) = -2*f + 14*f**2 - 20 - f**3 + 0 + 5*f - 14*f. Is 30 a factor of z(10)?
True
Suppose -10*w - 530 = -1930. Is w/(-20) - (0 - 88) a multiple of 55?
False
Let p be (-6)/(4 + -6) - (-279)/3. Let h = p - -283. Is 9 a factor of h?
False
Let b(v) = 2*v**2 + 14*v - 125. Let n be b(-12). Is 15 a factor of 509 - n/((-5)/3)?
False
Suppose -5*m + 2*d + 5712 + 4552 = 0, 3*m - 6162 = 3*d. Is m a multiple of 6?
True
Let v = 249 - 126. Let w = -60 + v. Is 7 a factor of (w/(-2))/(-1 + 1/2)?
True
Let l(m) = 122*m + 369. Does 122 divide l(20)?
False
Let z be -1 + -223 + (6/(-1))/2. Let l = 61 - z. Suppose l = 3*q - 2*q. Is 36 a factor of q?
True
Suppose 0 = 3*x - 3*v - 18, 2 + 1 = -3*x - 4*v. Suppose -d + 2 = 3*k - 11, 0 = 3*d - x. Suppose 0*p = 5*o - 4*p - 740, k*o = -5*p + 551. Does 18 divide o?
True
Let s = 150 + -151. Is 5 a factor of 126 + (s - 0) + 0?
True
Let c(l) = 127*l**2 + 7*l - 11. Suppose 4*g = -5*j - 7, -10*g + 8*g + 7 = -j. Is c(g) a multiple of 73?
True
Let c = -32 + 85. Suppose 2*y - 197 = -4*k + 7*y, -5*k + 241 = -y. Suppose -105 = k*i - c*i. Does 5 divide i?
False
Let p = 181 + -170. Suppose -p*a = 9*a - 8200. Is a a multiple of 82?
True
Let h(l) = -3*l**2 - 38*l - 36. Let p be h(-17). Let u = 325 + p. Is 17 a factor of u?
True
Suppose -11960 = -5*j - 2*a, -77*j + 5*a - 11945 = -82*j. Is j a multiple of 7?
True
Let l(h) be the first derivative of -4*h**2 + 5/3*h**3 + 38 + 12*h. Is l(4) a multiple of 12?
True
Suppose -2*i = 10, 8*v = 3*v + i + 130840. Is v a multiple of 40?
False
Suppose -5*y = -5*d - 95, 9*d = 2*y + 4*d - 53. Suppose 0*o - 5*o - y = c, -o = 2*c + 19. Is 32 a factor of (-3)/c*93 - -1?
True
Suppose -12*y + 92923 + 182153 = 0. Is y a multiple of 17?
False
Let a be (-8 - (-4)/(-4))*6/(-3). Suppose 2 = -4*p + 22, c - a = -2*p. Is 8 a factor of c?
True
Let v(m) = 2*m**2 - 3*m - 5*m**2 - 4*m + 16*m**2 - 35. Is v(6) a multiple of 39?
False
Is (-148)/2*(-400921)/1366 a multiple of 37?
True
Let j(p) = -77*p + 37. Does 22 divide j(-9)?
False
Suppose -54 + 14 = -4*j. Suppose -5*m + j = -30. Suppose b = -0*a - 2*a + 136, -4*a = -m. Does 12 divide b?
True
Let i(u) = u**2 + 8*u + 71. Suppose -4*c + 5*t = -68, 3*c + 1 = 5*t + 52. Does 31 divide i(c)?
True
Let g be -3*-5*(-3)/(-9). Suppose -c + g*m + 67 = 3*m, c - 72 = m. Suppose 0 = -t + 90 - c. Is t even?
False
Suppose 4*p = 5*z + 85, 5*z + 1 + 4 = 0. Let a be (p/(-3) - 0)/(4/(-234)). Suppose 4*o + 78 = l, -a = -5*l - 3*o - 2*o. Is 26 a factor of l?
True
Suppose -5*i = -872 + 2512. Let b = 468 + i. Does 7 divide b?
True
Let h(k) = 124*k + 4548. Does 104 divide h(17)?
True
Let v = -6 - 379. Let u = 691 + v. Is u a multiple of 34?
True
Suppose -28*t + 27*t + 1815 = 0. Suppose -49*m + 1125 + t = 0. Is 2 a factor of m?
True
Let i(c) = 2*c**2 - 18*c + 36. Let y be i(9). Is 10 a factor of (-2*1)/(y/(-1026))?
False
Does 76 divide (41*(-22)/6)/(74/(-18) + 4)?
False
Is 30 a factor of (2/(-12) + (-155574)/(-324))/(-1 - -2)?
True
Let h = 80 + -82. Does 3 divide -3*(1 + 5)/(h/6)?
True
Suppose -151*p - 9719 = -156*p - 4*r, -5*p + 9665 = -5*r. Does 12 divide p?
False
Suppose -2*m + m = -q - 79, -5*m = 20. Let t = q - -194. Is t a multiple of 37?
True
Is 4 a factor of (-30833)/(-22) - 2/(-4)?
False
Suppose 69*h - 70*h = -2084. Is 4 a factor of h?
True
Let v = 45383 - 20280. Does 13 divide v?
True
Suppose 365735 = 53*i + 70295 - 167568. Is 26 a factor of i?
True
Suppose -68*y - 50*y = -82*y - 221364. Is y a multiple of 26?
False
Let f = 5105 - -1325. Is f a multiple of 24?
False
Let l = 10418 + -9384. Is 140 a factor of l?
False
Suppose -377*b - 85100 = -414*b. Is b a multiple of 50?
True
Suppose 2*g - b + 37 = -2*g, -2*b + 44 = -5*g. Let v(h) = -h**2 - 10*h + 14. Let c be v(g). Let p = c - -50. Is 10 a factor of p?
False
Suppose -161574 = 1179*k - 1200*k. Is k a multiple of 4?
False
Is 34 a factor of 11283 - (-3 - ((-5 - -9) + -12))?
False
Let v = 5396 + 1942. Is v a multiple of 18?
False
Suppose w - 4 = -3*w - 4*g, 0 = -3*g. Let k be w + 5/(15/12). Let y = k - -80. Is 19 a factor of y?
False
Let k(a) = 12*a - 157. Let j be k(14). Does 9 divide ((j - -4)/45)/(1/54)?
True
Let w = -42 + 51. Suppose -4*d = -w*d - 65. Let n(v) = v**3 + 14*v**2 + 9*v - 23. Is n(d) a multiple of 6?
False
Let g(f) = 31*f + 19. Let z(a) = 4*a. Let t(u) = g(u) - 2*z(u). Is t(7) a multiple of 18?
True
Let v = -4255 + 4984. Is v a multiple of 7?
False
Suppose 2846 = -h + 8915. Is 29 a factor of h?
False
Suppose -12*d + 15*d - 33 = 0. Suppose -21 = -d*r + 8*r. Let y(p) = 19*p - 12. Is 9 a factor of y(r)?
False
Let z(k) = k**3 + 8*k**2 + 5*k + 43. Let o be z(-8). Suppose o*y + 5*j = 2756, 6*j = -4*y + 2*j + 3664. Does 55 divide y?
False
Suppos