*r. Suppose 3*p - 2445 = 3*g, -3*p + d*g + 2443 = -2*g. Does 34 divide p?
True
Is 10 a factor of (-3)/6*6 + 36 + 9?
False
Suppose 34*d + 495159 = 85*d. Is d a multiple of 73?
True
Let h = 14629 + -5587. Does 137 divide h?
True
Let a be (-3)/(-6) + (-507)/26. Let g(c) = c**2 + 7*c - 116. Is 6 a factor of g(a)?
False
Is 272/3*(-600)/(-80) a multiple of 151?
False
Let i be 7/(-3) - -2 - 31160/(-123). Let k = i + -85. Is 28 a factor of k?
True
Let m = -11577 - -20204. Does 49 divide m?
False
Suppose 0 = 5*x + 3*n + 2*n + 965, 0 = 3*x + 5*n + 579. Let y = 478 + x. Does 15 divide y?
True
Let l(g) = g**3 + 11*g**2 + 9*g - 7. Suppose -4 + 6 = x. Suppose -u - 4 = -5*v + 23, -x*v + 8 = 0. Is l(u) a multiple of 39?
False
Let y = 84 - -736. Suppose -5*q + 10*q + y = 0. Let f = 293 + q. Is f a multiple of 43?
True
Let k be 1/1 + 1 + 2. Is 16 a factor of ((-306)/k)/(22/(-44))?
False
Let u = 188 - -26. Suppose -2*l + 0*r = -4*r - 146, -3*l + u = -5*r. Does 21 divide l?
True
Let h be 4/(-22) + -1356*(-216)/176. Let j = h - 1059. Does 55 divide j?
True
Let t(a) = 4*a**2 - 2*a + 3. Let z be t(2). Let x be (-5)/((-48)/z + 3) + 3. Is 4 + x/(4 - 0) a multiple of 4?
False
Suppose 32 = 5*t + 2*w, t - 2*w - 4 = -0*t. Let l(s) = -s**3 + 18*s**2 - 39*s + 47. Let h be l(14). Suppose -t*b + h = -3*b. Is b a multiple of 19?
True
Suppose 11*f = -10 - 12. Let g = 92 - 45. Let t = f + g. Is t a multiple of 4?
False
Suppose 4*j = -2*w + 6378, 1274*j - 1278*j - 3*w = -6373. Is j a multiple of 4?
False
Suppose 3*u + 3 + 9 = 0. Suppose 0 = -27*h + 2551 - 3037. Does 15 divide u/h - (-5656)/63?
True
Let z = 4909 + 11175. Is z a multiple of 6?
False
Let z(p) = -p**3 + 10*p**2 + 3. Let j be z(10). Suppose -140 = -5*c - 3*v - 2*v, 114 = 4*c + 5*v. Suppose 5*t - c + 6 = 0, -5*t = -j*m + 88. Does 16 divide m?
False
Suppose -22912 = -3*q + 4*f, -3*q + 3561 = -5*f - 19346. Is 9 a factor of q?
False
Let j = 2062 + 11715. Is j a multiple of 37?
False
Let y = -25397 - -84287. Is y a multiple of 26?
True
Let j(z) = -3*z**2 + 142*z + 16. Let q(k) = -12*k**2 + 571*k + 66. Let h(r) = 22*j(r) - 6*q(r). Is 32 a factor of h(51)?
True
Let t(f) = 7*f. Let n be t(1). Suppose 0 = n*i - 8*i + 159. Suppose -g - i = -3*g - j, -g - j + 81 = 0. Is 26 a factor of g?
True
Let k(v) = -10*v**3 - 3*v**2 + 4*v + 11. Let y(b) = 9*b**3 + 2*b**2 - 4*b - 10. Let z(f) = 6*k(f) + 7*y(f). Suppose -5*r + 8 = -12. Is z(r) a multiple of 18?
True
Let y(f) = -f**3 - 11*f**2 - 38*f - 508. Is 18 a factor of y(-17)?
True
Suppose 2*p + 0*w - 2*w = 14, 5*w - 15 = -5*p. Suppose 0 = p*z - 72 - 753. Is 18 a factor of z?
False
Suppose -33*m + 28*m + 166700 = -5*l, -3*m = 5*l - 100084. Does 6 divide m?
True
Let h = 263 - 256. Suppose 3*q + 2099 = 4*y, q = 4*y - h*y + 1558. Is 26 a factor of y?
False
Suppose 39373 = 59*z - 183175. Is 25 a factor of z?
False
Let q(o) = o**3 + 11*o**2 + 3*o + 12. Let x be ((-60)/150)/((-2)/(-40)). Does 33 divide q(x)?
False
Does 72 divide (-11 - ((15 - 4) + -2975)) + -12?
False
Let k = -19102 + 27495. Is 11 a factor of k?
True
Suppose 3*h = j + 156452, 0 = -2*h - 30*j + 25*j + 104290. Does 44 divide h?
False
Let a be 0 - 6/(-12)*142. Let d = 53 + a. Is 22 a factor of d?
False
Suppose 9*l - 3270 = 1869. Let d = -367 + l. Suppose d = 8*w - 4*w. Is w a multiple of 7?
False
Let o = -109 - -117. Suppose 0 = 12*q - o*q - 5*a - 1166, -5*q + a = -1447. Is 11 a factor of q?
False
Let j(x) = -21 + 7 + 223*x + 11. Let v be j(1). Suppose -3*o = 2*o - v. Does 29 divide o?
False
Suppose 0 = -2*n - 3*j + 37, -5*n + 2*j + 121 = -0*n. Let i = 4 + n. Suppose -4*d = -135 + i. Is 10 a factor of d?
False
Let p = -2733 + 5323. Does 70 divide p?
True
Suppose 2*n - 3*h = 6*n - 31116, -3*h = -12. Let j be n/15 - (-6)/(-15). Suppose -42 = -4*d + j. Is d a multiple of 19?
False
Let h(u) = -52*u + 237. Does 43 divide h(-31)?
True
Let h(x) = -x**3 - 14*x**2 - 28*x - 1. Does 11 divide h(-20)?
True
Let h = 30 + -28. Suppose -4*w + 4 = h*t - 0*w, -15 = -3*w. Let k(c) = -c**2 - 20*c - 6. Is 15 a factor of k(t)?
True
Let l(y) = 43*y**2 + 24*y + 3. Is l(-3) a multiple of 106?
True
Let r(b) = 2*b**2 - 18. Let j be r(-3). Suppose j = 5*p - 0*p - 1490. Is 27 a factor of p?
False
Suppose -134*m - 5*m = 8*m - 49833. Is m a multiple of 49?
False
Let a(v) = v**3 - 7*v**2 + 15*v - 46. Let b be a(6). Suppose 5*y - 4*k + 1066 = b*y, 0 = -5*y - 5*k + 1770. Is 11 a factor of y?
False
Let m be 40 + -1 + -1 - -4. Let d = -119 + 234. Suppose w - 4*c - m = 0, 2*w - c - d = -3*w. Is w a multiple of 9?
False
Suppose 0 = t + 3*a + 3, -3*t + 3*a = -0*a + 21. Let p(l) be the first derivative of -l**3/3 - 7*l**2/2 + l + 36. Does 4 divide p(t)?
False
Suppose 0 = 25*u - 66015 + 12690. Is u a multiple of 27?
True
Suppose 7*h - 5*h = 6. Suppose -h*x + v = 5 - 34, -5*x - 5*v + 15 = 0. Suppose 0 = -2*q + x*q - 168. Is q a multiple of 14?
True
Let m(i) be the second derivative of -53*i**6/720 - 3*i**5/20 - 7*i**4/3 - 28*i. Let g(l) be the third derivative of m(l). Does 8 divide g(-2)?
True
Is 2 a factor of (3627 + -2 + 3)/(-74 + 76)?
True
Is 183 a factor of 4941/(-18)*(-4)/6*151?
True
Suppose 0 = 38*z - 34*z + 400. Let v be (z/(-6))/((-4)/(-144)*2). Let b = -156 + v. Is b a multiple of 16?
True
Suppose 101212 = 81*y - 521273. Is 145 a factor of y?
True
Let q(y) = 7*y - 38. Let d be q(6). Let v be 4 + -8 + 7 - 2. Suppose -5*r + 190 = 4*z, 2*z - 99 = -d*r - v. Is z a multiple of 5?
True
Let l(s) = -s**2 + s - 1. Let k(i) = -2*i**2 - 27*i - 18. Let p(j) = -k(j) + 3*l(j). Is p(12) a multiple of 33?
True
Suppose -9*n + 8516 = -1411. Suppose -3*w + n = -328. Does 23 divide w?
False
Let g(m) = 241*m**2 + 3*m - 1. Let w be g(-2). Suppose -7*d + w = -1227. Does 39 divide d?
True
Suppose -u = u + 56. Let i be 2 + (-492)/13 - u/(-182). Let w = 84 + i. Is 3 a factor of w?
True
Let k(g) = -20*g**3 + 36*g**3 + 17*g**2 + 13 + 8*g - 18*g**3. Let u be k(9). Is 22 a factor of ((-72)/(-2))/((-7)/2 + u)?
False
Let y be (((-2464)/3)/(-8))/(2/3). Suppose 226 = 3*x + u - y, u + 620 = 5*x. Is 3 a factor of x?
False
Let s(t) be the second derivative of 61*t**4/12 + t**3/2 + 3*t**2/2 + 15*t. Let x be s(-1). Suppose 2*q = 37 + x. Is 31 a factor of q?
False
Suppose -33037 = -38*g + 30803. Does 84 divide g?
True
Let q(l) = 224*l**2 - l - 1. Let v be q(-1). Suppose 4*n + 2*k - 17 + 3 = 0, 5*k = -4*n + 17. Suppose n*b - v = 4. Is 19 a factor of b?
True
Let f(x) = -3*x**3 + 119*x**2 - 13*x - 675. Does 90 divide f(35)?
True
Suppose -3*b = 12, 4*b - 27 = s + 87. Let z(l) = -7*l - 86. Let w be z(-12). Is 12 a factor of (0 + 3/w)*s?
False
Let r = -118 - -99. Is (-8)/(13/(-4) - (16 + r)) a multiple of 22?
False
Suppose -3*k = 3*q + 2*q - 78, -72 = -4*k + 4*q. Let z be 292/5 - k/(-35). Suppose 3*r = -5*h + z, h + 5*r = -0 + 3. Is 5 a factor of h?
False
Let u(v) = -103*v + 2654. Does 20 divide u(-31)?
False
Suppose 16*k - 11*k - 1120 = -5*u, -20 = 5*u. Suppose k = 83*q - 81*q. Does 10 divide q?
False
Let m be 54 - (0/6 + 0)/(-1). Is 35 a factor of 63238/m + (-12)/162?
False
Let f be 5*(12/(-20))/((-18)/48). Is (-40)/(-1*f/20) a multiple of 28?
False
Suppose -2*y = 6, -11841 = 19*b - 22*b + 5*y. Does 54 divide b?
True
Let u = -624 - -468. Let c be (1 + 0)*(0 + 0). Is 17 a factor of c + (-631)/(-4) - (-117)/u?
False
Let k(u) = 23*u**2 - 188*u - 319. Does 37 divide k(46)?
True
Suppose 0 = 17*t - 12*t - 10*t + 16330. Is t a multiple of 4?
False
Does 15 divide (21322/4)/(-1 - ((-2275)/(-78))/(-25))?
False
Let t(a) = -a**2 + 14*a - 40. Let l be t(4). Suppose 5*g - 3634 - 1871 = l. Is 21 a factor of g?
False
Let m(g) = 69*g + 87. Let j(t) = -137*t - 172. Let r(f) = 4*j(f) + 7*m(f). Is r(-9) a multiple of 11?
True
Suppose -526874 = -426*g + 1416964. Is g a multiple of 3?
True
Does 2 divide 52/(-78)*(-2342 - 4/4)?
True
Suppose 0 = -28*k + 1668 + 800 - 424. Suppose 0 = -0*r - 5*r - 255. Let p = k + r. Is p a multiple of 11?
True
Suppose u + 2*u = 9. Let d(a) = 11*a**2 - 9 - u*a**2 + a**2 + 5*a**2 - a. Is d(3) a multiple of 38?
True
Suppose 73*f - 71*f - 52188 = -4*s, 5*s = -4*f + 104397. Is 107 a factor of f?
True
Let k(r) = -r**3 + 9*r**2 + 7*r + 61. Let t be (5 + -3)/(2/8). Is k(t) a multiple of 4?
False
Let g(c) = c**3 - 2*c**2 + 3*c + 2694. Does 124 divide g(0)?
False
Suppose 23*o = 24*o + 3. Let x(y) = y