0) + (-2 - 7)) a multiple of 34?
False
Suppose 5*z + 0*h - h = -2, -5*z - h = -2. Let b(j) = -j**2 + 2*j + 74. Let y be b(z). Suppose -3*v = -10 - y. Does 7 divide v?
True
Let i(r) = -40 + 0*r**2 + 8*r - 20*r + r**2 + 15*r. Is i(20) a multiple of 30?
True
Suppose -4*q - 423*p = -425*p - 24292, 24290 = 4*q - p. Is q a multiple of 22?
True
Let t(s) = -1740*s - 60. Is 120 a factor of t(-1)?
True
Let i(q) = -5*q**2 - 32*q - 12. Let v be i(-6). Suppose 336*r - 332*r - 2688 = v. Does 24 divide r?
True
Let h(m) = 299*m - 925. Does 30 divide h(52)?
False
Let z be 3/((-1)/(-55)*15). Let a = -9 - -24. Suppose a*x - z*x = 968. Is 35 a factor of x?
False
Let m be (-11)/(7/28*-2). Suppose m*w - 31*w + 1170 = 0. Does 62 divide w?
False
Let c(l) = 1365*l + 404. Is c(6) a multiple of 88?
False
Suppose 2*s = 3*a + 2823, -1 = 2*a + 1. Suppose w = 5*p + 6*w - 1770, 2*w + s = 4*p. Suppose 0*h = 4*u - 3*h - 473, -4*h = -3*u + p. Does 17 divide u?
True
Suppose -80*r + 33592 = -12*r. Is 3 a factor of r?
False
Suppose -193*b + 41209 = -164*b. Is 29 a factor of b?
True
Suppose 5*i = f + 48, -4*f + 2*i + 0 = 192. Is (-6)/4 + -1 + (-648)/f even?
False
Let y(h) = 32 + 17 - 63 - 22*h - h**2. Is y(-6) a multiple of 22?
False
Is 146 a factor of (0 - -121)/(17234/1722 - 10)?
False
Is (-22)/8*((-1275)/1 - -3) a multiple of 22?
True
Suppose -51*m + 74137 = 8640 + 6082. Is m a multiple of 5?
True
Suppose -5 = -5*p, 5*y + 3*p = 9*y - 10881. Suppose -y - 634 = -5*r. Is r a multiple of 12?
False
Let r(s) = -132*s**3 - s - 2. Let m(x) = -x**2 + x + 1. Let a be m(-1). Is r(a) a multiple of 12?
False
Suppose -z - 75*m + 70*m + 189 = 0, 3*z = -m + 665. Is 24 a factor of z?
False
Suppose 0*r - 4*r = 2*g - 1832, -4*r - 2748 = -3*g. Suppose -g = -10*n + 404. Is 22 a factor of n?
True
Suppose 38*i = 44*i - 33012. Does 48 divide i?
False
Does 17 divide 123*123*(-57)/(-513)?
False
Let p be 7/(315/10)*9. Let a be 11/33*(20 - p)/1. Let d = a + -3. Is 3 a factor of d?
True
Suppose -15*d - 729 = -s - 11*d, d = 4. Suppose q - 5*h = -2*h + 139, 0 = -5*q + 5*h + s. Does 22 divide q?
True
Suppose 0 = d + 9*z - 104, 182 + 234 = 4*d - 5*z. Is d a multiple of 4?
True
Let m(f) = 13*f - 178. Let g be 1 - -3 - (45/(-5) + -5). Is 8 a factor of m(g)?
True
Suppose -5*s + 0*d + 3*d = 2124, -3*s + 2*d = 1274. Let z = s - -713. Is z a multiple of 41?
True
Let r be -2 - ((-4)/4 - -1). Let d be 23/(r + 19/9). Suppose -5*u = -3*n - 8*u + d, 3*n - 203 = u. Is 17 a factor of n?
True
Let r(y) = 6*y**2 - y + 16. Let b be r(16). Suppose -7*p + 2*p + 2560 = 5*n, 3*n - b = -2*p. Is n a multiple of 64?
True
Suppose 4*x + 165 = -71. Let w = x - -26. Let o = 83 + w. Is o a multiple of 15?
False
Suppose -2*x = 3*u + 470, -9*u + 6 = -12*u. Let j = x - -258. Is 7 a factor of j?
False
Let b = 13867 - 9520. Does 27 divide b?
True
Suppose 543*c - 72 = 540*c. Suppose -29*h = -c*h - 3360. Is 32 a factor of h?
True
Suppose 3320 - 728 = -32*r. Does 4 divide 2/18 - 7443/r?
True
Suppose -u + 17 = 2*r + 4, 3*r = -2*u + 17. Suppose -128 = -r*g + 1339. Does 15 divide g?
False
Suppose -3*p = d + 24 - 13, 0 = d - p + 3. Is 10 a factor of ((-3)/d)/((-45)/(-4425))?
False
Let a(k) = 8*k**2 - 414*k + 128. Does 19 divide a(54)?
False
Let f = -4729 - -9095. Is f a multiple of 59?
True
Let s = 369 - 377. Does 21 divide (-1170)/s + 21/28?
True
Does 88 divide 3*(-24)/9 - ((-10184)/2 - 20)?
True
Let y(z) be the third derivative of z**5/60 + 5*z**4/24 - 4*z**3 + 18*z**2. Is y(-11) a multiple of 11?
False
Let l be 150/250 - (-894)/10. Suppose 3*p - 252 = 3*g, 2*p - 5*g - l - 87 = 0. Does 3 divide p?
True
Suppose -109*x = 52*x + 116*x - 6582905. Does 38 divide x?
False
Suppose -2077 - 317 = 7*o. Is 12 a factor of -15*(-8)/18*o/(-12)?
False
Suppose 0*h + 2*h = 5*o - 160, -151 = -4*o - 3*h. Suppose 2079 = -y + o*y. Is y a multiple of 3?
True
Suppose 0*z + 5*p = -3*z - 2495, p + 4129 = -5*z. Let j = z - -1157. Suppose -5*t = 3*v - 585, 3*t + 4*v = 6*v + j. Is 16 a factor of t?
False
Let n = -182 - -176. Does 37 divide n/(-33) - (-45570)/77?
True
Suppose d + 2*b - 6056 = 0, -30*b + 29*b = 3*d - 18158. Does 6 divide d?
False
Suppose -5*s + 18474 = -2*g, 489*s = 494*s + 4*g - 18432. Is 142 a factor of s?
True
Suppose -5*c + 1360 = 2*y, -2*c - 1101 = -6*c + y. Let l = c - 226. Is 8 a factor of l?
True
Let i = -314 - -593. Suppose 12*r - 11*r - i = 0. Is 15 a factor of 8/3*r/12?
False
Suppose 13*t + 131281 - 551601 = -24*t. Is t a multiple of 95?
False
Is 62158/24 + (-90)/(-1080) a multiple of 70?
True
Suppose -12*z + 14101 = -7*z + 4*m, 0 = -3*m + 12. Is 19 a factor of z?
False
Suppose 0 = 2*g - 5*c - 40, -g = 2*g - c - 34. Let i be g/(-15)*(2 + 34). Is 8 a factor of (-620)/i + 1/6?
False
Let r be -5*(-2)/45 - (-32)/18. Suppose d - 192 = -r*o + 151, -5*d = 5*o - 1735. Is d a multiple of 27?
True
Let z(n) = 22*n - 29. Let p be z(4). Let x = p + 26. Is x a multiple of 5?
True
Let q(s) = -2*s**3 - 4*s**2 + 19*s + 54. Suppose -36*y + 35*y - 5 = 0. Is q(y) a multiple of 10?
False
Let o be 2049/(-2)*(-89 + 81). Suppose 8*r - o = -1716. Does 45 divide r?
True
Let w = 220 - 84. Does 22 divide 17070/16 - (-17)/w?
False
Suppose 0 = -4*k + 28, -80*f = -85*f + k + 1613. Does 2 divide f?
True
Let n = -77 + 81. Suppose 5*p - 150 = n*f, 4*p - 5*p - 33 = f. Does 15 divide (-4102)/f + (-3)/15?
False
Let a(j) = 3*j**2 + 137*j + 604. Does 15 divide a(49)?
True
Let u = 8852 + -1207. Is 5 a factor of u?
True
Let g = 43943 - 16176. Does 8 divide g?
False
Suppose j = 5*b - 96, 2*b - 5*j + 1 = 21. Let v(x) = x**2 + 13*x - 148. Does 53 divide v(b)?
False
Suppose 214*o = 215*o - 2. Suppose -o*q = 5*j - 421, -2*q - 3*j - 106 = -517. Is q a multiple of 3?
True
Suppose -2*z + 13211 = 19*z - 71692. Does 13 divide z?
True
Suppose -4*b = -22*o + 19*o + 18478, -5*o + 2*b + 30806 = 0. Is o a multiple of 39?
True
Suppose -3*h + 15548 = 2*k, 3*h - 5*k - 907 = 14592. Does 4 divide h?
False
Let m(o) = -o**2 + 8*o - 9. Let z be m(6). Suppose -z*v + 74 - 68 = 0. Suppose v*x + 232 = 6*x. Is x a multiple of 19?
False
Suppose -5*x - 2*b = -3295, 0*x + x - 666 = b. Suppose 509 = 15*k - x. Let s = k - 33. Is 19 a factor of s?
False
Let i(y) = 2*y**3 - 3*y**2 + 6*y - 29. Let u(q) = q**3 - 2*q**2 + 3*q - 15. Let n = -18 + 23. Let z(x) = n*u(x) - 2*i(x). Is 10 a factor of z(6)?
False
Let c(a) = 24*a - 80. Let l(k) = 497*k - 7 + 23 - 502*k. Let v(s) = -3*c(s) - 16*l(s). Is 8 a factor of v(6)?
True
Let p be -5 - (34 + -33 + 1574/2). Let n = -226 - p. Is n a multiple of 81?
True
Let j(x) = -45*x - 262. Let m be j(-8). Let g = 340 - m. Is g a multiple of 11?
True
Let p be 4/(-6) + (30/(-9))/(-5). Is (-124)/(-8)*(p + 6) a multiple of 8?
False
Suppose 2*i = -3*m + 16, -4*i = m - 33 + 11. Let y(p) = 4 - 4*p - 10 + 14*p**m + 6. Does 26 divide y(-3)?
False
Let w(h) = 2 + 8 - 1 + h - 2*h**3 - 8*h. Let s be w(3). Let p = s - -110. Is p a multiple of 9?
False
Let d(s) = 403*s**2 + 395*s - 197. Is 23 a factor of d(12)?
False
Suppose -57*l + 126595 = -155897. Does 42 divide l?
True
Is 9 a factor of (1 - 514)/(-13 + (12 - 0))?
True
Let w(z) = -5*z**3 + 8*z**2 - 141*z - 1395. Does 13 divide w(-9)?
False
Let m(j) = -28*j**3 - 2*j**2 + 4*j + 2. Let p be m(3). Let i = 1081 + p. Suppose 2*s - 315 = -3*c + 5*s, -3*c + i = -s. Is 22 a factor of c?
False
Suppose -u - 4*h + 1331 = 0, -2*u - 4*h = -1110 - 1548. Does 12 divide u?
False
Let x(m) = 2*m**2 + 82*m + 181. Does 5 divide x(-44)?
True
Suppose 0 = 81*w - 71*w - 85529 + 30969. Does 31 divide w?
True
Is 44 a factor of (69256/9)/(18/81)?
True
Let t be 81/7 + 132/308. Suppose 0 = -t*n + 34 + 1622. Is n a multiple of 7?
False
Let x = -12331 - -37551. Is x a multiple of 20?
True
Suppose 29*a - 409401 = -29*a - a. Does 7 divide a?
False
Is 74 a factor of (18/(-7))/((-573)/989380)?
True
Let s = -1152 + 5632. Is s a multiple of 74?
False
Let p(r) = 2*r**2 - 5. Let k be p(-3). Suppose k*i - 3*i = 480. Is 6 a factor of i?
True
Suppose -2*h = -5*w, 4*w + w = -4*h. Suppose -3*g = w, -j - g - 4*g = -386. Is j a multiple of 69?
False
Let k = 21301 + -11253. Is 13 a factor of k?
False
Let x = 131 + -127. Suppose 4*v - 4*j = -3*j + 452, x*j + 565 = 5*v. Is v a multiple of 9?
False
Let g = 695 - 692. Suppose -g*h + 3298 = -2*b, -h + 3*b = -b - 1096. Is 35 a factor of h?
False
Let d = -4