 h(i) = -i + 129. Suppose 33*m = 340 + 485. Is h(m) a multiple of 13?
True
Let b(l) = l**3 + 6*l**2 - 13*l + 21. Let s = 157 + -150. Does 42 divide b(s)?
False
Does 20 divide (-10)/(60/(-128)*15 + 7)?
True
Let z(t) = 1859*t + 722. Is z(2) a multiple of 60?
True
Let w(x) = -x**3 + 6*x**2 + 22*x + 8. Let y be w(-4). Let i = y - 34. Is 4 a factor of i?
False
Suppose -2287*r - p - 15199 = -2292*r, -5*p - 20 = 0. Is 3 a factor of r?
True
Let i(j) = 2*j - 333. Let s(p) = -p + 167. Let v(d) = -4*i(d) - 7*s(d). Is 6 a factor of v(13)?
True
Is (99/(-2) + -1)/(-17 - 72225/(-4250)) a multiple of 14?
False
Is (-2)/((-8)/(-13956)*-3) a multiple of 116?
False
Let m(w) = -17*w - 14. Let d be m(-2). Does 25 divide 143*(d/(-5) + 5)?
False
Let r(o) = o**2 - 3*o - 7. Let y(z) = -2*z**2 + z + 5. Let w be y(0). Let d be r(w). Suppose 3*q = 7*x - d*x - 85, 0 = x - 5*q - 17. Does 17 divide x?
False
Let c = -11346 + 11554. Is 4 a factor of c?
True
Suppose -205053 - 20571 = -158*r. Is r a multiple of 17?
True
Let o be (-275)/2*(-1)/((-3)/6). Let d = o + 555. Is 40 a factor of d?
True
Let d(f) = f**2 + 13*f + 38. Let z be d(-4). Suppose -377 = -2*b - q, -z*b + 2*q + 296 = -90. Is 24 a factor of ((-85)/(-15) - 5) + b/3?
False
Suppose 14*z - 16 = 16*z. Let d(i) = 5*i**2 + 2*i + 11. Is 21 a factor of d(z)?
True
Suppose -2*k - 60*k = -84506. Is 73 a factor of k?
False
Let y = -109 - -71. Let i be 2/8 - 3/24*y. Suppose 0 = -0*c - c + i*o + 131, o = c - 147. Does 29 divide c?
False
Let m(r) = 2*r**2 - 136*r + 98. Is 13 a factor of m(70)?
False
Let m(o) = 6*o**2 + 43*o + 20. Is 21 a factor of m(-33)?
False
Let m(n) = -5*n**3 + 9*n**2 - 6*n + 8. Let g(f) = -f**3 - f + 1. Let y(q) = 4*g(q) - m(q). Let z = 63 + -54. Is y(z) a multiple of 6?
False
Let k(t) = 3*t**2 + 145*t + 650. Is 44 a factor of k(-62)?
False
Let m(t) = 4 - 8*t - t**3 - 2*t**2 - 8*t**2 - 3. Let d be m(-10). Suppose 19 + d = 2*b. Does 6 divide b?
False
Is 106 a factor of ((-686)/(-28) - (0 + -2))*(304 + 0)?
True
Let r = 65 + -62. Let y(f) = -f**3 + 3*f**2 - 2*f + 3. Let a be y(r). Is 14 a factor of (44/16)/(a/(-144))?
False
Suppose -3*q - c = 2 - 16, -5*q = c - 26. Let x(k) = 8*k**2 + 33*k - 185. Is x(q) a multiple of 29?
False
Is 79 a factor of 40/(-90) - (-6168535)/279?
False
Suppose 3 = -3*l, -4*g = 5*l - 2312 + 213. Is 3 a factor of 6/144*6 + g/8?
True
Suppose -145*p + 23*p + 6288900 = 28*p. Does 53 divide p?
False
Suppose 208*i + 48 = 214*i. Suppose 100 + 420 = i*x. Is 5 a factor of x?
True
Suppose -3*a - 3*x = 3, x = -5*a + 19 - 8. Suppose q - a*v + 37 = 140, -2*v = 4*q - 356. Suppose 0 = 4*s - 65 - q. Is s a multiple of 10?
False
Let s = -85 - -87. Suppose -13*f + s*f = -4455. Does 27 divide f?
True
Suppose 5*u = i + 2 + 25, 2*u - 9 = i. Let c(l) = -50 + 722*l - 704*l - 31. Does 4 divide c(u)?
False
Let j be 7/(84/40)*126/(-15). Let d(w) = w**2 + 8*w - 85. Is 19 a factor of d(j)?
True
Let a = 1747 + 77. Suppose -8*k = -0*k - a. Is 3 a factor of k?
True
Suppose -3*z + 16552 = 1180. Suppose -4*q + v + 2*v = z, 5*v = 20. Does 16 divide q/(-26) + 18/(-117)?
False
Let j(c) = 4*c. Let u = -40 - -42. Let q be j(u). Is 6 a factor of ((-2)/(q/6))/((-3)/38)?
False
Suppose 729 = -5*m - f, 5*m - 4*f = -0*f - 709. Let w = m - -357. Is (w - 7) + (2 - -2 - 2) a multiple of 24?
False
Let i(x) = x**3 + x**2 - 2*x + 3. Let s be i(0). Suppose -3*l + 5*k = -1175, 3*k + 289 + 890 = s*l. Does 21 divide l?
False
Let k(f) = 7*f**2 - 352*f - 144. Does 126 divide k(54)?
True
Suppose -154 = -5*s + 461. Let k = s - 81. Is k a multiple of 14?
True
Suppose -3*m = 2*a - 717 - 610, 2*m + 6 = 0. Is a a multiple of 59?
False
Suppose -20 - 11180 = -a. Does 80 divide a?
True
Let o(c) = -c**2 + 14*c - 14. Let b(l) = -l**3 - l**2 + 2*l + 10. Let k be b(0). Is 13 a factor of o(k)?
True
Suppose l + 48 = -2*l. Does 3 divide l/32*1*-26?
False
Let l(k) be the second derivative of k**3/3 + 25*k**2/2 + 378*k - 2. Suppose 0 = o + 2 + 3. Is 5 a factor of l(o)?
True
Let x(r) = 46*r**2 + 49*r - 524. Is x(10) a multiple of 32?
False
Let b(w) = 77*w + 3207. Is b(77) a multiple of 121?
False
Let s = 269 - 99. Suppose -s = -22*g + 17*g. Is g a multiple of 17?
True
Is 7 a factor of 6 + -13 + 2 - 79230/(-5)?
True
Suppose -19488 = -67*d + 51*d. Is d a multiple of 91?
False
Let l(y) = -3*y**3 + 13*y**2 - 18*y + 36. Let m be l(8). Let h = 1496 + m. Does 57 divide h?
True
Suppose -55 = 7*w + 22. Is (-4 - 42/w) + (-14458)/(-22) a multiple of 40?
False
Does 70 divide 2900058/441 + (-2)/21 + -8 + 12?
True
Let o = 102 + -69. Let z = o - -447. Is z a multiple of 22?
False
Suppose 674 = -7*l + 7779. Let p = l + -664. Is 13 a factor of p?
True
Let z be 4 + (2 - (-1 - -3)). Suppose -z*x + 35 = 127. Let m = x - -39. Is 16 a factor of m?
True
Suppose 35*g + 25*g = 13140. Suppose 3987 - g = 12*u. Does 13 divide u?
False
Suppose -2*c + 48641 = -5*h, c - 19946 = -3*h + 4413. Is 86 a factor of c?
True
Let f(p) = -p**3 + p**2 - 28*p + 115. Let u be f(4). Suppose 1 = z + 19. Is 14 a factor of 266/10 + z/u?
False
Suppose -2*g = f, -2*f = 2*g - 3*f - 8. Suppose o = -g - 1. Let v(q) = 6*q**2 + 2*q + 7. Does 6 divide v(o)?
False
Let z be (24 - -2)/(2/(-4)). Suppose -36*j = -39*j + o + 249, -j + 91 = -3*o. Let r = j + z. Does 5 divide r?
True
Does 3 divide (-781 + -5)/(-3) - ((-36)/(-6) - 3)?
False
Suppose 2*n - 4*n = -3*v - 550, v - n = -185. Let l be ((-8)/(-6) - 0)/((-80)/v). Is 1 + (-294)/(-3) - l a multiple of 16?
True
Suppose 4280*z - 3060 = 4277*z. Is z a multiple of 30?
True
Let l = 8666 + -5717. Is 100 a factor of l?
False
Suppose 0 = 13*z - 10*z + 16326. Does 40 divide z/(-8) - (-5)/(-20)?
True
Suppose a - 3*r = -253, 991 = -4*a - 12*r + 17*r. Let c = 257 + a. Does 5 divide c?
False
Let p(q) = 18601*q**2 - 9*q + 6. Does 27 divide p(1)?
False
Let m be 2 + (-428 - 24/(-3)). Let u = m - -468. Is 10 a factor of u?
True
Suppose -5*q + 2*z + 26 = 0, -5*q + 10 = -3*z - 14. Let a = 8 - q. Suppose k = -a*k + 123. Is k a multiple of 5?
False
Suppose -5*w + 1049 - 1024 = 0. Let a be (16/3)/(1/15). Suppose 0 = -w*o + o + a. Does 17 divide o?
False
Let h = 43086 + -33521. Does 14 divide h?
False
Let d = 2 + 2. Suppose 0 = -d*o - 25 - 227. Does 12 divide (-3486)/o + (-2)/6?
False
Suppose 2*p = 2*n + 750, 2*p - 1509 = -2*p + n. Let i = 642 - p. Is 66 a factor of i?
True
Let w(l) = -6*l**2 + 10*l. Let b be w(2). Let t be 24 + 4/(-1)*3/b. Suppose -h + 14 = -4*j - 13, h + 3*j - t = 0. Is 13 a factor of h?
False
Suppose -20 = -6*b + 2*b. Suppose -4*f = f - 4*n + 223, 5*f - b*n = -225. Let k = 91 + f. Does 16 divide k?
True
Does 31 divide (((-4)/28)/((-118)/17759))/(2/7948)?
False
Let k = 1294 + -820. Let n = k - 111. Does 33 divide n?
True
Suppose -90 = 2*c - c. Let o = c + 164. Is o a multiple of 37?
True
Let q(f) = -34*f + 283. Is q(-2) a multiple of 117?
True
Suppose 0 = 2*y - 21*l + 20*l - 15, -25 = -3*y + 2*l. Suppose -j - y*d = -327, 6*d - 8*d - 10 = 0. Is j a multiple of 22?
True
Let j(s) = 46 - 31*s - 11 - 38*s. Let r be j(-9). Suppose 11*o + r = 15*o. Is 25 a factor of o?
False
Let w be (4 + -3)*-3*(-1)/1. Suppose 5*i + 1 = -o, 15 = -2*o + w*o + i. Is o a multiple of 19?
True
Let t = 89 - 87. Suppose 5*n = -2*v + 205, t*n - 2*v + 5*v = 71. Suppose 5*m - n - 110 = -3*d, 144 = 4*m - 3*d. Does 10 divide m?
False
Let d(i) = i**2 - 11*i - 1048. Is 9 a factor of d(96)?
False
Let y be (-96)/9*585/(-60). Does 104 divide (-1116)/(-24)*y/6?
False
Let n = 23 - 19. Let m(v) = 21*v**3 - v**2 + 7*v - 9. Let k be m(n). Suppose 339 = -7*b + k. Does 24 divide b?
True
Suppose -m = 2*a - 8, 2*m - 4*a = 3*m - 4. Is 20 a factor of (66/(-8))/(-11) + 4311/m?
True
Suppose 7*w = 24 + 172. Suppose -3*u - 4*y + w = u, 34 = 2*u - 2*y. Does 3 divide u?
True
Let m(j) = 4*j**2 + 11*j + 10. Let k = -63 - -73. Suppose 0*q + 2*q = -k, 3*h + 6 = 3*q. Is m(h) a multiple of 12?
False
Let p = -102 - -105. Suppose p*n - 5*n = -4*o + 1306, -967 = -3*o + 4*n. Let h = o - 219. Does 10 divide h?
True
Let j be (5/((-30)/(-9)))/(1/314). Suppose r - 4*c = -2*r + j, 3*r - 471 = -2*c. Does 16 divide r?
False
Suppose 2720 = p + 4*v, -170*p + 5452 = -168*p + 5*v. Is p a multiple of 41?
False
Suppose 6*m = 18 + 30. Is 4 a factor of -7 + 3411/12 - (-6)/m?
False
Let v(p) be the first derivative of -10 + p + 115/4*p**4 + 0*p**3 - 1