*x + 62 + 19 = 0. Suppose x*f = 7*f + 1280. Is f a multiple of 80?
True
Let h(j) = -j**3 - j**2. Let z = 72 - 77. Let t(w) = 4*w**3 + 23*w**2 - 2*w - 11. Let x(u) = z*h(u) - t(u). Is 4 a factor of x(18)?
False
Suppose -6*p = 77*p + 6*p - 455680. Is p a multiple of 40?
True
Let g(v) = -50*v + 44. Let o(w) = w**2 + 29*w - 40. Let f be o(-30). Is g(f) a multiple of 34?
True
Suppose 1076 + 194 = 2*v. Let x = -436 + v. Does 6 divide x?
False
Let p be (-9)/27 + 2/(6/367). Let u = 171 - p. Let a = 31 + u. Is a a multiple of 10?
True
Does 18 divide (-4144)/(8 - 12) + -1 + -6 + 3?
False
Suppose -j + 3*x + 846 = 2*x, 5*x - 3375 = -4*j. Let m = 1237 - j. Suppose -2*q + m = 2*q. Is q a multiple of 25?
False
Suppose -15*u + 56565 = -10*u - 4*p, -56565 = -5*u + 5*p. Does 14 divide u?
False
Let m(q) = 3*q**2 - 2*q + 11. Let k be (-255)/35 + (-4)/(-14). Let x be m(k). Suppose -5*l - 47 = -x. Does 3 divide l?
False
Let p(x) = 4*x**2 - 176*x + 30. Does 66 divide p(47)?
True
Let j be -3*6/18*-76. Suppose -j*s - 6384 = -88*s. Is 73 a factor of s?
False
Let i(n) = -17*n**3 - 58*n**2 + 38*n - 56. Let x(q) = -6*q**3 - 19*q**2 + 13*q - 19. Let f(m) = 4*i(m) - 11*x(m). Does 4 divide f(-12)?
False
Let i be 4/(-8)*-6 - (-1 + -4). Let a = 155 - i. Let m = -105 + a. Is 7 a factor of m?
True
Does 4 divide (46/(-3) - -15) + 8786/6?
True
Suppose -5*z + 1494 = 3*t, 0*z - 579 = -2*z + 5*t. Let g = -42 + z. Does 11 divide g?
False
Let j = 286 + -319. Is 8 a factor of j/(-22) + (-149)/(-2)?
False
Let r be (1 - 235 - -3)/(1 + -2). Let i = 481 - r. Is 5 a factor of i?
True
Let x(r) = -r**3 - 8*r**2 + 7*r - 9. Let h be x(-9). Let v = 11 - h. Suppose v*d = w - 3 - 19, -4*d = 5*w - 68. Is w a multiple of 15?
False
Let z(i) = i**3 + 2*i**2 + 2*i + 1. Let o be z(-2). Let k be 98 + (0 - 4) - o. Suppose 98*r - 126 = k*r. Is r a multiple of 14?
True
Let g be -3 + 0 - 1*-1. Let y be (54/g)/(2/(-6)). Suppose 3*o = 5*m + y, -o - 4*m + 21 + 23 = 0. Is 9 a factor of o?
False
Let i(f) = 31*f**3 + 2*f**2 + 6*f - 27. Is i(4) a multiple of 33?
True
Suppose 0 = -222*g + 211*g + 396. Let r = g + 180. Is 4 a factor of r?
True
Let y = 163 - 35. Let z = 266 - y. Suppose n - 7*a + 6*a = z, 3*n + 2*a - 404 = 0. Does 17 divide n?
True
Let i = -348 - -384. Let a(w) = w**2 - 15*w - 311. Is a(i) a multiple of 5?
True
Let n(h) = -h**2 + 7*h - 8. Let i be n(3). Suppose -i*s - 14315 + 5378 = -5*j, -j = 3*s + 6679. Does 28 divide s/(-10) + 2/10?
False
Let y(b) = 2*b**3 + 42*b**2 + 15*b - 45. Is 65 a factor of y(10)?
True
Let u(g) = -14097*g**3 + 8*g**2 + 18*g + 10. Is 127 a factor of u(-1)?
True
Let g be 18/9 + 6 - (-12)/(-3). Suppose 0 = -g*q - 16, -23*q - 2112 = -5*o - 20*q. Is 10 a factor of o?
True
Suppose 6*u + 63 = -u. Is 5 a factor of (-15)/u + 140/6?
True
Let a = -27236 - -39330. Does 7 divide a?
False
Suppose 5*b + 5 = 4*r + 4, 4*b = 2*r + 4. Is 11 a factor of -5 + (-138)/(-24) - (-85)/r?
True
Suppose -4*a = 5*q - 76529, 37179 = 8*a + 2*q - 115839. Is 146 a factor of a?
True
Suppose 4*d = 48*d - 112288. Is 22 a factor of d?
True
Let x(h) = -5*h + 8. Let r be x(7). Suppose 36*a - 7930 = 33*a + 3428. Is 23 a factor of ((-30)/r)/(-5) + a/27?
False
Let i(k) = 119*k**3 - 33*k**2 + 42*k - 54. Is i(7) a multiple of 17?
True
Suppose 24*f + 55224 = 895896. Is f a multiple of 278?
True
Suppose 5*n + 3*y = -y + 1728, -y = n - 345. Is 5 a factor of n?
False
Suppose -650*f = -648*f - 5*i - 45818, 0 = -5*f + 5*i + 114575. Is f a multiple of 100?
False
Let j = 6477 - 3399. Does 19 divide j?
True
Let b(w) = w**3 + 9*w**2 + 9*w + 3. Let c be b(-3). Let y(o) = -15*o + 2. Let z be y(3). Let i = c - z. Does 6 divide i?
False
Let u be (-6)/((-6)/(-13)) - 1. Let m be ((-44)/(-77))/((-4)/u). Suppose w = -5*l + 120, 5*w - 600 = -0*l + m*l. Is 38 a factor of w?
False
Suppose -3965 = 4*b - 277. Let j = 1732 + b. Is j a multiple of 18?
True
Suppose -7363*c + 1138860 = -7333*c. Is 83 a factor of c?
False
Suppose -o + 3*v - 5 = -v, 4*o - 3*v = 6. Suppose -g = 2*m - 702, 623 = g + o*m - 79. Is 27 a factor of g?
True
Suppose -780*c + 722*c + 2088 = 0. Is c a multiple of 9?
True
Let q(t) = 19038*t - 531. Does 116 divide q(1)?
False
Let g be 920/150 - 4/30. Let h be ((-4)/5)/((g - 3)/(-90)). Suppose -4*t = -7*t + h. Is t a multiple of 5?
False
Suppose -v + 56432 + 2515 = 4*r, -3*r = -4*v - 44196. Is r a multiple of 15?
False
Let z be 5*(12/15 + 2 + -4). Let c be 10435/15 + 4/z. Suppose -6*s + c - 257 = 0. Is 29 a factor of s?
False
Let u be (-6)/15 - (-107)/(-10)*-2. Suppose -4*y + u = 3*r, 6*y = 3*y - r + 12. Suppose 0 = -v - y*g + 66, 0*g - g + 157 = 2*v. Is 12 a factor of v?
False
Let t(u) = -498*u - 567. Is 15 a factor of t(-21)?
False
Let z = -239 - -242. Suppose -2*r + 3*f + 162 + 111 = 0, -z*r = -2*f - 412. Is 9 a factor of r?
False
Suppose 0 = 2*v - 6*v - 2*d + 1174, 0 = -5*v + 5*d + 1415. Does 44 divide v?
False
Let m = -352 + 757. Let h = 1496 - m. Is h a multiple of 36?
False
Suppose 296*b - 243*b = 83634. Is b a multiple of 81?
False
Let z(g) = 722*g + 871. Is 40 a factor of z(2)?
False
Let q(h) = 4*h**3 - 41*h**2 + 93*h - 900. Is q(17) a multiple of 12?
True
Let t(f) = -2*f**3 - 9*f**2 - 3*f - 9. Let y(v) = v**3 + 8*v**2 + 2*v + 8. Let k(n) = 2*t(n) + 3*y(n). Let j be k(6). Let p = 29 + j. Does 5 divide p?
True
Let c(l) = 45*l**2 - l + 3. Suppose 3*z - 3 = 5*o - 6*o, -z + 6 = 2*o. Suppose z = -4*y - q - 4*q - 18, 0 = 5*y + 5*q + 20. Does 43 divide c(y)?
False
Suppose -10*m - 250 = -13*m - 4*y, -155 = -2*m - 5*y. Let o = -111 - -334. Let l = o - m. Is l a multiple of 12?
False
Let m be ((-10)/(-25)*1)/(3/15). Suppose 0*q + q = 3*z - 601, 4*z = -m*q + 808. Let h = z - 114. Is 32 a factor of h?
False
Suppose 5*f + m = 5*m + 35, 2*f + 5*m - 14 = 0. Let n be -1*(2 - 1) - f/(-1). Does 17 divide (n + -1)*(-1)/((-3)/51)?
True
Let m = 6038 + -4267. Is 23 a factor of m?
True
Suppose -5503*a - 3*z - 6501 = -5505*a, -9754 = -3*a + 2*z. Does 27 divide a?
False
Suppose a = -5*a - 2730. Let l = a - -1070. Suppose 2*b = 7*b - l. Is b a multiple of 25?
False
Suppose 3*r - 2 = 5*r - 4*i, -2*r - 5*i + 34 = 0. Suppose r*s + 7*s = 6496. Does 58 divide s?
True
Let j(c) = c**2 - 3*c + 11. Let p be j(-11). Suppose 2*x = -3*v + 2*v + p, -2*v + 4*x = -354. Is v a multiple of 19?
True
Is (10 - (430890/(-42) - 2)) + (-6)/21 a multiple of 50?
False
Does 5 divide (-30102)/(-10) + 304/380?
False
Suppose 6*q - 64125 = 5*q - 14*q. Is 95 a factor of q?
True
Let h(a) = -a**3 - 44*a**2 - 82*a + 22. Does 110 divide h(-44)?
True
Let o(n) = 18*n - 8. Let c be o(9). Suppose -43*w = 24*w - 4087. Let x = c - w. Is x a multiple of 16?
False
Suppose 0 = 2*b - b - 30. Suppose w - 4 = u - b, -2*u = 4*w + 86. Let d = w + 55. Does 32 divide d?
True
Let n(r) = -r**2 + r - 42. Let u be n(13). Let d = u + 300. Is d a multiple of 13?
False
Suppose -60 = -6*d + 3*d. Let q = -17 + d. Suppose 0 = 4*a + 3*m - 144, 180 = 5*a - 2*m + q*m. Does 7 divide a?
False
Suppose -5*o = i - 78 - 53, 5*i + 73 = 3*o. Let q = -34 - o. Let w = q + 92. Is 32 a factor of w?
True
Suppose -g - 254 = -2*g - r, -3*g + 5*r = -722. Let y(v) = v. Let o be y(3). Suppose -o - g = -9*b. Is 4 a factor of b?
True
Suppose -t - 4*u - 3 = 0, -t + 5*u = -6*t. Is 22 a factor of (-3)/3 + (t + 1)*188?
False
Let c = 47 + -44. Suppose -21 = -4*i - c*i. Suppose -i*y - 176 = -4*y. Does 17 divide y?
False
Let o = 103 - 151. Suppose 0 = 9*f - 13*f + 340. Let u = f - o. Is 19 a factor of u?
True
Let x = 620 + -416. Suppose 0 = 2*u + 4*l - x, 3*u - 5*l - 96 = 265. Is u a multiple of 14?
True
Suppose 3*m + 2*m + 2*q = -46, 5*q = -m - 23. Suppose 5*u = -29 + 9. Is 17 a factor of 15 - (m/(-1))/u?
True
Does 23 divide ((-20)/(-3))/(10/(-276)*43/(-2795))?
True
Let o(c) = -2*c**3 - 2*c - 217. Let z be o(0). Let m = z - -466. Let y = -167 + m. Is y a multiple of 15?
False
Suppose 823 = 9*t - 1049. Let h = t + 72. Is 70 a factor of h?
True
Does 45 divide (5276 - 21)*7/5?
False
Let r = 11163 + -5835. Is r a multiple of 8?
True
Suppose -48*n = -50*n - 312. Let s = 412 + n. Does 10 divide s?
False
Let g(y) = -2*y**2 + 15*y + 30. Let h be g(9). Suppose -h*w = -570 - 60. Does 10 divide w?
True
Let g(r) = -r + 2182. Does 44 divide g(14)?
False
Suppose x - 6 = -9, 5*r + 2*x - 14 = 0. Suppose 2*f + 6*z - 1226 = 3*z, 3*z = r*f - 2416. 