. Suppose 0 = 3*a - d*a. Suppose 0 = -3*i - a*i + 138. Is i a multiple of 14?
False
Let t(m) = 43*m + 30. Does 11 divide t(7)?
False
Suppose 0 = -3*k + 5*g + 17, 2*k + 2*k - 3*g - 8 = 0. Let q be (1 - 1)/1 - k. Does 19 divide (-2)/2 - (-58)/q?
True
Let r(v) = -3*v**3 - 4*v**2 + 9. Suppose -d + 11 = -2*c, -5*c + c - 7 = d. Is 11 a factor of r(c)?
False
Let r = 3926 + -2753. Does 69 divide r?
True
Is (5 - -7)*(-4315)/(-15) a multiple of 17?
False
Let q be (-4*1)/(2 - 3). Suppose -4*k + 2*k = -76. Suppose 0 = -2*o + i + k, o - 1 = -q*i - 0. Is o a multiple of 14?
False
Suppose -749 - 1231 = -10*k. Does 22 divide k?
True
Let y(l) = -l**2 + 31*l - 144. Is 3 a factor of y(7)?
True
Suppose 26*m = 77*m - 273972. Is m a multiple of 27?
False
Let p = 746 + -506. Suppose -8*a + 0*a + p = 0. Is a a multiple of 10?
True
Let h be (4/(-12))/(3/(-144)). Let g be 56/h*8/14. Suppose 5*s = 15, j - 68 = -g*s + 58. Is 40 a factor of j?
True
Let c be (-2)/(-13) + (-228)/(-39). Suppose 0 = 7*l - c*l + 31. Let z = l - -46. Is z a multiple of 4?
False
Let y(d) = 4*d**3 - 4*d**2 + 5*d - 3. Let n(q) = 3*q**3 - 5*q**2 + 5*q - 2. Suppose j + 3 = -0. Let l(p) = j*n(p) + 2*y(p). Does 28 divide l(4)?
True
Is (201 - 201) + 9*43 + 0 even?
False
Let g be 40/(-10) - -233*1*-1. Let p = -102 - g. Is p a multiple of 10?
False
Suppose 247*b = 267*b - 24760. Is b a multiple of 72?
False
Suppose -k - 5*s + 515 = 0, -5*k + 3*s = -7*k + 1023. Does 24 divide k?
False
Let x(d) = -d**3 - 9*d**2 - 10*d - 12. Let h be -5*8/15*3. Let s be x(h). Suppose s*o + 23 = 3*g - 8, g = 2*o + 13. Is g a multiple of 5?
True
Suppose -2*m + 23 = -17. Suppose -o + 11 = 3*h, 0*o = -4*o + m. Suppose 129 = h*d - 3*l, -146 = -2*d - d - 5*l. Is d a multiple of 19?
True
Suppose -2*n = -0*n + 5*m + 19, 3*n + 40 = 4*m. Let t be 2/n + (-75)/(-18). Suppose -w - 2 = -4*r - 62, w + t*r = 36. Does 8 divide w?
True
Is 3/((-2013)/(-670) + (-14 - -11)) a multiple of 36?
False
Suppose -5*m = -m - 4312. Is 7 a factor of m?
True
Suppose 0 = -33*g + 1914 + 12342. Does 36 divide g?
True
Suppose 0*a + 5*a = 10. Let r(v) = 5*v**2 + 3 - v**a + 0*v**2. Does 4 divide r(2)?
False
Let s(f) = -f**3 + 6*f**2 + f - 5. Let d be s(6). Let m(y) = -75*y**2 + 2*y - 1. Let q be m(d). Is 4/12 + q/(-3) a multiple of 5?
True
Let g = 232 + -148. Is g a multiple of 12?
True
Let x be 26*-1*7/(-2). Suppose 0 = 3*a - 2*k - 104, a + 0*a + 2*k - 40 = 0. Let p = x - a. Does 21 divide p?
False
Let m(a) = 2*a**2 - 6*a + 7. Suppose 0 = l - 3*z - 7, l - 5*l + 2*z = -28. Does 13 divide m(l)?
False
Let t = 1924 - 202. Is t a multiple of 14?
True
Let q = -257 - -365. Suppose -148 = 4*h - 7*h + 4*d, -2*h - 2*d = -q. Does 13 divide h?
True
Is 22 a factor of -2058*1*6/(-12)?
False
Suppose 2*l + 3*n = -202, -5*l - 539 = 5*n - 6*n. Is 21 a factor of (l/3)/((-14)/6 - -2)?
False
Suppose 41*n - 420 = 39*n. Is n a multiple of 21?
True
Let l = 173 - 189. Let w = -65 + 41. Let t = l - w. Does 8 divide t?
True
Suppose -18*b = -44*b + 13338. Is b a multiple of 27?
True
Suppose 2*a + 3*q - 1750 = 0, -3*a + 33*q + 2625 = 28*q. Is a a multiple of 100?
False
Let t(x) = 17*x - 2. Let o(p) = -69*p + 8. Suppose 0 = 5*q + 70 + 60. Let a(n) = q*t(n) - 6*o(n). Is a(-2) a multiple of 21?
False
Let m(x) = -7*x + 8. Let h(d) = -15*d + 15. Let g(k) = 4*h(k) - 9*m(k). Let f be g(12). Suppose 3*u - f = 42. Is 8 a factor of u?
False
Is 1156/18 + 6*5/(-135) a multiple of 16?
True
Let a(t) = -t**3 - t**2 + 7*t - 1. Suppose -30 = 4*d + d + 2*y, -3*d - 4*y - 18 = 0. Is a(d) a multiple of 36?
False
Let p(k) = 3 - 169*k**2 + 173*k**2 + 2*k - k. Let o(l) = l**3 - 7*l**2 - 3. Let b be o(7). Is 10 a factor of p(b)?
False
Suppose -6*h + 733 = 37. Let z = h + -77. Is 7 a factor of z?
False
Let u be -3 - (9/(-6) + 0)*24. Suppose u*x - 36*x = -324. Is 32 a factor of x?
False
Let g = -2050 + 7939. Is 39 a factor of g?
True
Let k = -12 + 17. Suppose -3*v + f + 12 = -0, k*f = 5*v - 30. Let q(i) = -i + 9. Does 3 divide q(v)?
True
Suppose -105 = -5*g - 5*n + n, 5*n = 0. Suppose 47*x - r + 56 = 43*x, -2*r = 4*x + 56. Let b = g + x. Does 4 divide b?
False
Let v(s) = 5*s - 33. Let t(b) = -9*b + 66. Let r(z) = 2*t(z) + 5*v(z). Is 11 a factor of r(11)?
True
Suppose 5*z - 5*y = 35, 7*z = 3*z + y + 22. Suppose 6 = -3*s + 5*r, 0*s + z*s = -2*r - 10. Is (32/(-4))/(s/20) a multiple of 24?
False
Suppose 5*u - 150 = -2*y - 3*y, 20 = -4*y. Let a = u - 33. Is a even?
True
Suppose 8*u - 4*u = 8. Suppose 15 = u*z + 5*b, -3*z = -z - 2*b + 6. Suppose -v - 4*v - 2*k + 86 = z, -4*v = 4*k - 76. Is 4 a factor of v?
True
Suppose 2*v + 3*z = 473, -18*z + 16*z = -2. Is v a multiple of 18?
False
Let x(n) = -n - 1. Let u(i) = -20*i - 185. Let l(f) = -u(f) + 25*x(f). Does 32 divide l(0)?
True
Let f(b) = -7*b - 4. Suppose 3*q + 10 = -i, q - 2 = 2*i + 4. Is f(q) a multiple of 2?
True
Let r(g) = -2*g**3 + 9*g**2 - 4*g + 4. Let z be r(4). Is 3 a factor of z/(-5)*70/28 - -8?
True
Let y = -51 - -159. Is 18 a factor of y?
True
Let n(o) = -2*o**2 + 59*o + 55. Is n(25) a multiple of 14?
True
Let y be (-20)/(-35) - 46/7. Does 25 divide (25 - 0)*y/(-3)?
True
Let m = 18 + 117. Let j be 387/m - (-2)/15. Suppose -x + 2*v + 115 = 5*v, 0 = -3*x - j*v + 321. Is 18 a factor of x?
False
Suppose 2*x = -2*x - 3*b + 3, 5*x = 2*b + 21. Let f(r) = -r**2 - 16*r + 17. Let l be f(-17). Suppose 137 = 2*q + 6*c - x*c, l = 2*c - 10. Is 20 a factor of q?
False
Does 14 divide 8627/3 + (-18)/(-243)*-9?
False
Suppose 0 = r + 3 - 12. Suppose -i - r = -4*i. Let g = i + 33. Is 12 a factor of g?
True
Suppose -4*a + 1301 = 141. Suppose 4*c + 122 = a. Is c a multiple of 7?
True
Is ((-6822)/(-30))/(10/100) a multiple of 69?
False
Let v = 18 - 28. Is 10 a factor of 22/55 + (-396)/v?
True
Suppose -y + 27 + 7 = 0. Let v = y + -22. Is v a multiple of 2?
True
Suppose -5*v + 10*v - m = 47, -m + 13 = v. Is 9 a factor of v?
False
Suppose p + 1 = -2. Let o(c) = -6*c - 7. Is o(p) a multiple of 2?
False
Let f = 1780 - 847. Does 17 divide f?
False
Let g = 29 - 14. Let n(b) = 2*b - 12. Is n(g) a multiple of 3?
True
Let d(k) = k**3 + 6*k**2 + 7*k + 4. Let a be d(-4). Let y be (10 - 7)/(6/a). Suppose -3*m - 581 = -y*q - 156, -3*q = 5*m - 355. Is q a multiple of 16?
False
Let q(z) = 17*z + 5. Let h be q(2). Suppose -25 - h = -s. Is s a multiple of 15?
False
Suppose 22*m - 4799 = 2461. Does 11 divide m?
True
Suppose -i - 4 = -10. Let x(y) = -i*y + 4*y + y**2 + 15 + 2*y. Does 3 divide x(0)?
True
Suppose -6*f = -3*f + 3*h - 135, 0 = -f + 5*h + 15. Is f a multiple of 5?
True
Suppose 2*h - 2*s = 1692, 0 = -5*h + 2*s - 7*s + 4190. Does 52 divide h?
False
Suppose 0 = -4*g - 2*u - 0 + 2, 3*u - 10 = g. Let s be g - 0 - (-4 + 1). Is (18 + 21)*(s + -1) a multiple of 13?
True
Let s(a) = -a**3 + 30*a**2 + 33*a - 1. Is s(31) even?
False
Is 27 a factor of ((-221)/(-34))/((-2)/(-68))?
False
Let z(y) = y**3 + 2*y**2 - 7*y + 4. Let g be z(-4). Suppose g = -5*l + 791 + 49. Is 24 a factor of l?
True
Let y(j) = -j**3 + j**2 + j + 2. Let n be y(0). Suppose n*i = 74 + 14. Suppose o - 2*o - 2*v + i = 0, 47 = o + 5*v. Is o a multiple of 22?
False
Let s(v) = -v + 8. Suppose -4*y + 0*y = -24. Let o be s(y). Suppose 2*g - 12 = -0*g + 2*h, -3*h = o*g - 12. Does 3 divide g?
True
Let f(p) = -24*p + 162. Does 18 divide f(-45)?
True
Suppose -w = -3*r + 751, -18*r + 15*r - w + 743 = 0. Is 3 a factor of r?
True
Let r(j) = 2*j**3 - 11*j**2 + 3*j - 14. Does 5 divide r(6)?
True
Let j(s) = -s**3 - s - 17. Let f be j(0). Let g = f - -21. Suppose g*p = 24 + 48. Does 8 divide p?
False
Suppose -2*o = 9 + 1. Let h be 138 + -6*o/10. Suppose -5*j + h = -134. Does 10 divide j?
False
Let v = -104 + 332. Is 19 a factor of v?
True
Does 2 divide (-26)/((-8)/6*27/18)?
False
Suppose 3*w - 888 = -3*z, 4*z - 131 = -w + 165. Is w a multiple of 2?
True
Suppose -5*i - 1102 = -3*q, -115 = -q + 5*i + 269. Does 18 divide q?
False
Suppose 0 = 5*q - i - 2*i - 1048, 4*i = -2*q + 440. Let v = q + -107. Suppose -2*o + v = -33. Is o a multiple of 23?
True
Suppose -v + 281 = -594. Is 35 a factor of v?
True
Suppose 0 = -11*y + 12*y - 60. Suppose y + 3 = 7*p. Is 5 a factor of p?
False
Let d(a) = a**3 - 21*a**2 - 2. Let s be d(21). Let p = 46 + s. Does 22 divide p?
True
Let g be 16/8 + 1 + 51. Is (-1 - -25)/(36/g) a multiple of 19?
False
Suppose -4*m - 30*