+ 9*x(v). Does 22 divide f(-6)?
False
Suppose -122 = 6*a - 7*a + 2*g, 5*g = -5*a + 535. Let q = a - 112. Suppose -b = -2*o - q*b + 147, o + 5*b - 68 = 0. Is 5 a factor of o?
False
Suppose 0 = -2*p + p + 98. Let s(r) = 205*r**2 - p*r**2 + 3 - 100*r**2 - 2*r. Is 12 a factor of s(2)?
False
Suppose -4*c + 0*c + 251 = -5*d, 5*d = 3*c - 182. Let l be 4 - (6 - -7 - 4). Is 6 a factor of 1 + l/((-15)/c)?
True
Let p(t) = t**3 + 19*t**2 + 14*t - 109. Let q be p(-17). Suppose -11*o + q = -8*o - 4*f, 0 = 5*f. Is o a multiple of 11?
True
Let z = -22491 - -41877. Is 54 a factor of z?
True
Suppose 9*b = -7*b + 6*b. Suppose 34*m - 19060 + 5086 = b. Is 10 a factor of m?
False
Let c(a) = 4*a**2 + 5*a - 6. Let d be c(-3). Does 2 divide ((-23)/3)/(70/d + -5)?
False
Let m(x) = -14*x - 76. Let t be m(0). Is 9 a factor of ((-1764)/(-16))/((-19)/t)?
True
Suppose 0 = 43*j + 158*j - 404665 - 3174140. Does 5 divide j?
True
Let q(l) = -l**3 - 5*l**2 + 11*l + 58. Let w be q(-6). Suppose 4*k + 3*k - w = 0. Is 4 a factor of k?
True
Let l = 119 - -307. Suppose -5*o + 1803 = 3*s, 5*o - 1381 = -2*s + l. Is o a multiple of 20?
False
Suppose -8*c = -4*c + 8, 5*h - 2*c = 54. Is (-1 + 0)*h*-22 a multiple of 10?
True
Suppose 4*d + 5*x = -2, 5*x = 4*d - 17 - 1. Suppose -34*u - d*u = -18612. Does 12 divide u?
False
Let c(n) = 779*n**2 + 352*n - 1053. Is 14 a factor of c(3)?
True
Let y be 225/10*96/18. Is 20 a factor of y/(((-6)/(-4))/((-90)/(-60)))?
True
Suppose 2*x + 2*n = 3*n + 5, 0 = -4*x - 5*n - 25. Suppose x = -3*v + 5*g + 1774, 12*v - 2*g - 2982 = 7*v. Is v a multiple of 13?
True
Let n(p) = -13316*p - 8042. Is n(-7) a multiple of 51?
True
Let u be 2/10 - (-8193)/(-15). Let b = u - -846. Is 14 a factor of b?
False
Let h(v) = -3*v**3 + 3*v**2 - 12*v + 82. Let m(w) = 4*w**3 - 4*w**2 + 11*w - 83. Let y(p) = -3*h(p) - 2*m(p). Is 20 a factor of y(8)?
True
Suppose 70 = 5*d + 9*d. Suppose -2*w = -6*w - 5*n + 3711, 0 = -w + d*n + 909. Does 11 divide w?
True
Suppose -a = 41 - 153. Is 7 a factor of (-6)/(-16) + 3990/a?
False
Suppose 4*l = 97212 - 25320. Does 9 divide l?
True
Suppose -5*o + 83486 = 4*w, -88*o = -89*o - 4*w + 16678. Is 14 a factor of o?
True
Suppose n - 1491 - 6071 = 5*w, 4*w + 22642 = 3*n. Is n a multiple of 45?
False
Suppose -4*t + 4*h = -2*t - 142, -5*h + 284 = 4*t. Suppose 5*g + 2125 = 3*n, -2*n = -2*g + t - 1485. Suppose 9*w = 4*w + n. Does 15 divide w?
False
Let h be (2/(-4))/(26/(-1248)). Let d(p) = p**2 - 19*p - 32. Is 22 a factor of d(h)?
True
Suppose -4*l + 1614 = -f, 1230 = 140*l - 137*l - 4*f. Is 6 a factor of l?
True
Let b(w) = -199*w - 2183. Is 55 a factor of b(-27)?
True
Suppose -402 - 42 = 5*y - 3*u, -u = -3. Does 12 divide (-24998)/y*(3 - 0)?
False
Suppose -15 = -5*q + 15. Let a = -42 - q. Is 7 a factor of (a/(-9) - -3) + 10/15?
False
Let q be (-5)/(-2) + 1089/2. Is 13 a factor of q - ((-6)/(-4) + (-1)/2)?
True
Suppose 6*v - 2*v + 35 = -3*s, s = -2*v - 17. Let q(a) = -3*a - 20. Let j be q(v). Let c(g) = g**3 + 5*g**2 - g + 4. Does 16 divide c(j)?
True
Let x = -10 + 14. Suppose 0*r + 3*r - 11 = -k, -2*k + x*r = -22. Suppose -12*q + k*q + 12 = 0. Is q a multiple of 12?
True
Suppose 51 = 3*v - 3*g, 4*v = v + 4*g + 56. Let b be v/102 + (-219)/(-17). Suppose 264 = -5*a + b*a. Is 23 a factor of a?
False
Let o = 1589 + -3146. Let z = -834 - o. Is z a multiple of 9?
False
Let y be (-4)/10 + 165/(-25). Let z(l) = -l**3 - l**2 + 4*l - 6. Let k be z(y). Suppose 8*c - 4*c = k. Is c a multiple of 13?
True
Let o = 19807 - 5713. Is o a multiple of 14?
False
Let a(k) = -k**3 + 16*k**2 - 15*k + 3. Let i be a(15). Does 50 divide (i/(-7))/(-1) + 10730/35?
False
Let g(i) = 14*i + 37 + 5*i - 27*i. Let r(t) = t + 1. Let j(q) = -g(q) - 2*r(q). Is j(17) a multiple of 9?
True
Let t = 8163 + -5715. Is t a multiple of 66?
False
Suppose 80*n + 105*n + 113*n - 3536068 = 0. Does 34 divide n?
True
Suppose -10*f + 1824 + 1796 = 0. Suppose p = -p + f. Let m = 186 + p. Is m a multiple of 12?
False
Let j(d) = 50*d**2 - 109*d - 1073. Does 29 divide j(-10)?
True
Suppose 4*k = -2*f + 12324, -15*f + 16*f + 8*k - 6186 = 0. Is f a multiple of 34?
True
Suppose 208688 = 52*i - 263142 + 53802. Is 8 a factor of i?
False
Let p = 413 + -191. Let r = -181 + p. Is 4 a factor of r?
False
Let f(s) = -s**2 - 70*s + 4410. Is f(0) a multiple of 5?
True
Let p = 328 - 318. Suppose -9*n = -p*n + 170. Is 10 a factor of n?
True
Let x(u) = 2*u - 6. Let d be x(4). Let t be (-2 + 4)*3/d. Suppose -q = -4*a - 3*q + 88, a - 8 = t*q. Is 6 a factor of a?
False
Let b(u) = 9*u - 85. Let z be b(10). Suppose y = -0*k - 4*k + 15, -z*y + 144 = -3*k. Does 14 divide y?
False
Let v = 8711 - 8594. Is 4 a factor of v?
False
Suppose -20*m - 5730 + 31470 = 0. Does 11 divide m?
True
Let b(t) = 144*t**3 + 16*t**2 - 73*t + 20. Is b(4) a multiple of 184?
True
Let p be 622/10 - (-12)/15. Suppose -p*x + 66*x - 1998 = 0. Is 37 a factor of x?
True
Let c = 50 - 68. Let q = 1 - c. Let f(k) = 3*k - 5. Is 10 a factor of f(q)?
False
Is (-25)/(-2)*(-2244)/(-6) a multiple of 55?
True
Does 25 divide 8/(-4)*7/21*-38925?
True
Let r = -51 - -53. Let c(o) = r*o + 0*o - 9 + 5 - 14. Is 15 a factor of c(18)?
False
Suppose 5*k = 3*v + 11, -3*k - 2 = -4*v - 13. Is (-149)/v*8/4 a multiple of 9?
False
Suppose -1 = 3*h + h - 3*s, 5*s = -4*h + 23. Let b(u) = 78*u**3 + u**2 - 3*u + 0*u**h + 57*u**3 + 2*u**3 + 3. Is 36 a factor of b(1)?
False
Let r(j) = 3*j**3 - j**2 - 7*j + 9. Let m(l) = -4*l**3 + 8*l - 8. Let s(i) = -4*m(i) - 5*r(i). Does 13 divide s(4)?
True
Let v(s) = 23 + 6*s + 0*s - 15*s. Is v(-24) a multiple of 41?
False
Let h be (-3110)/(-4)*(-8)/(-10). Let i = h + -138. Is 11 a factor of i?
True
Suppose 29*s + 8684 + 11674 = 0. Let p = s - -1307. Does 14 divide p?
False
Let b be ((-1 - -5) + -2 + 2678)/1. Suppose 81*x - 76*x - b = 0. Is x a multiple of 25?
False
Suppose 2*o - 5790 = -1542 + 466. Does 9 divide o?
False
Let y(v) = -4*v - 37. Let p be y(-9). Is 24 a factor of 4 + -303*-1*p/(-3)?
False
Is 263 a factor of 2635400/100 - (-7 - -20)?
False
Let x(b) be the third derivative of -7*b**4/3 + 14*b**3 + 18*b**2. Let o(y) = 8*y - 12. Let p(c) = 20*o(c) + 3*x(c). Is p(-24) a multiple of 51?
True
Suppose -254362 = -172*o + 290527 + 228079. Is 107 a factor of o?
True
Suppose 13*g + 68 = 16. Is (1106/35 - 8)/(g/(-10)) a multiple of 52?
False
Let n be 6/21 + (-180)/42. Let c be (-1 + (-19)/n)*208/(-78). Is (-12*(-3)/c)/(2/(-30)) a multiple of 27?
True
Suppose -49280 = -9*g - 8*g + 6*g. Is g a multiple of 80?
True
Let s(o) = 14*o**2 + 7*o + 13. Let v(m) = -m - 2. Let t be v(-16). Let d be 7/(t/(-4))*(-9)/(-6). Is s(d) a multiple of 25?
False
Is 91/((-9828)/89280)*3/2*-2 a multiple of 5?
True
Let j = -2161 + 3490. Let v = j - -154. Is v a multiple of 20?
False
Let v = 308 - 295. Suppose -5*g - 5*z + 90 = 0, 2*g + 17*z - v*z = 26. Is 4 a factor of g?
False
Suppose -a - u + 14456 = 0, 0 = -a - 29*u + 24*u + 14480. Does 9 divide a?
False
Let v = 633 - 753. Does 48 divide (144/(-5))/(v/4000)?
True
Suppose 0 = 20*x - 5*x - 75. Let k(v) = v**2 - v - 2. Let t be k(-6). Suppose -4*c - t = -2*d, d - x*c - 15 = 20. Is d a multiple of 10?
True
Let o(i) = 4*i**2 - 64*i - 48. Let h(n) = -4*n**2 + 68*n + 48. Let j(g) = 6*h(g) + 7*o(g). Does 12 divide j(-7)?
False
Suppose -3*p - 5561 = -4*q, -p - 1369 = -q + 4*p. Suppose 3*r + 2317 = -4*u + 9*u, 2*r = -3*u + q. Is 11 a factor of u?
False
Let f = -209 - -399. Let k = f + 648. Suppose -854 = -12*p + k. Does 13 divide p?
False
Suppose 39*k = -15824 + 3578. Is (-22)/55 + k/(-10) even?
False
Suppose 13 = -4*i + d + 2*d, -i - 4*d + 11 = 0. Let b be ((6 + 2)/4 - i) + 664. Suppose -9*r - 82 + b = 0. Is 13 a factor of r?
True
Suppose -3*r = 3*w - 0*r - 3510, 5*w + 2*r - 5844 = 0. Let d = w + -682. Suppose 16*o = -70 + d. Does 9 divide o?
False
Let n(s) = 7*s**2 - 21*s + 7. Let g be n(6). Suppose -b - 49 = -g. Is b a multiple of 21?
True
Suppose 2*x + 6 = 3*x + 3*k, 3*k + 3 = 0. Let f be (27/2)/x*(-16)/(-3). Is f/(-6) - -4*(-1412)/(-24) a multiple of 39?
True
Let k(h) = 117*h**2 - 103*h - 850. Does 44 divide k(-10)?
True
Let r(f) = 126*f + 23. Let n(z) = 63*z + 12. Let y(w) = -7*n(w) + 4*r(w). Is 17 a factor of y(5)?
True
Let c = -74659 - -106663. Is c a multiple of 127?
True
Suppose 15 = 5*d + 35. Let y be (20/d)/5 + 0. Is 32 a fact