5/20 + 11*v**4/12 - 7*v**3/2 + 9*v**2/2 - 8*v + 2. Is w(6) a multiple of 15?
False
Let i = -29954 + 92257. Is 15 a factor of i?
False
Let x = 96 + 36. Suppose -q + 3*q - x = 0. Suppose 0 = 4*s + q - 542. Does 23 divide s?
False
Suppose 69692 = -22*r - 6*r. Let w = 3966 + r. Is w a multiple of 71?
False
Let w be 3/(-3)*201/(-3). Let g(j) = j**3 + 5*j**2 - 17*j + 16. Let b be g(-8). Let x = w + b. Does 19 divide x?
False
Let a = -10 - -88. Let n = a - -16. Is n a multiple of 17?
False
Is 37 a factor of (-8509 + 0 - 13/13)/(-2)?
True
Let s = 1557 + 5773. Is s a multiple of 41?
False
Is 121 a factor of (-24684)/(-85)*(3 + 0 + 12)*3?
True
Suppose -45*y + 72595 = -253115. Is y a multiple of 7?
True
Let j(c) = 14*c**3 - 3*c**2 - 4*c - 9. Let m be j(-3). Let z = m - -438. Is 33 a factor of z?
False
Let t be 3/(2*(-4)/8) + -1. Let k be 2/12*t*(-522)/12. Suppose -17*s + k*s = 1332. Is s a multiple of 18?
False
Let m be 58/(0 + 1 - -1). Suppose -3705 = 31*z - 88*z. Let k = z - m. Is k a multiple of 7?
False
Let s(g) = 554*g**2 + 86*g + 85. Does 7 divide s(-1)?
True
Suppose 0 = l + 3*l - 744. Suppose 2*h - 46 = -l. Is 10 a factor of (-40)/h - 836/(-7)?
True
Let i(r) = 2*r**2 + r + 226. Let u be 22 + -20 - (-2)/(-2)*1. Let h be (-3 - u) + (-9)/((-9)/4). Is i(h) a multiple of 21?
False
Let a = -1558 - -4079. Suppose 5*k - h = a, 5*k + 5*h - 2577 = -62. Is 63 a factor of k?
True
Let w = -188 + 183. Let h(g) = -3*g**3 - 10*g**2 - 2*g - 15. Is h(w) a multiple of 12?
True
Let m(y) = -4*y**2 + 6*y. Let v be m(2). Is (-4032)/(-33) - v - (-2)/(-11) a multiple of 21?
True
Let g be 1 + -4 - (12 - 18). Suppose 0 = -4*b - g + 51. Is 12 a factor of (8 - (0 - -3))*b?
True
Let b be (((-32)/(-4))/2 + 1)*19. Suppose -y - b = 28. Let k = y + 153. Does 5 divide k?
True
Suppose 5*x + 2*m = 23 - 137, 2*m = 2*x + 54. Let v be x*(4 + (4 - 7)). Let c = v + 48. Does 6 divide c?
True
Suppose -2 = 2*v, 5*v - 100 = 2*z + 3*z. Let j = 9 + z. Let p = 50 + j. Does 6 divide p?
False
Let a(f) = -2*f**2 - 25*f - 23. Let j(n) = -n**2 - 13*n - 12. Let h(u) = 3*a(u) - 5*j(u). Let q = 1350 - 1356. Is 5 a factor of h(q)?
True
Let o(u) = u**3 - 47*u**2 + 46*u + 1. Let v be o(46). Does 7 divide v/(7/(-3724)*-2)?
True
Suppose -53*y = -64*y + 7502. Suppose -v + 160 = -3*a, 0 = -4*v + 3*a - 5*a + y. Does 44 divide v?
False
Suppose -4*c = -0*c - 5*f + 397, -3*f + 101 = -c. Let x be (-56)/c*21/6. Suppose 3*g - 117 = 4*m, g - 25 - 12 = x*m. Is g a multiple of 7?
False
Let p be 163/(-5) - (-8)/((-120)/(-9)). Let y = p - -74. Does 3 divide 1230/y - (-4)/(-14)?
False
Let t = 11895 - 8695. Does 200 divide t?
True
Suppose 5137 + 2078 = 13*t. Let f = 847 - t. Is 15 a factor of f?
False
Let f be (-2)/5*250/(-10). Is 10 a factor of (53 - 5 - 0)*f?
True
Let v(q) = 3*q**3 - 3*q**2 + 27*q + 10. Is 5 a factor of v(8)?
True
Let t be ((-7)/(-14))/(5/(-4370)). Let a = t - -658. Does 13 divide a?
True
Suppose 4133*a - 4106*a - 2196063 = -886428. Is 89 a factor of a?
True
Let b be 0 - (-4)/(16/(-372)). Let o = b + 146. Is o a multiple of 16?
False
Suppose 10*q - 61 = 19. Is 14 a factor of (q/(-7))/(8/(-196))?
True
Let j be (((-10)/2)/(-5) + -1)/1. Let o(v) = 18*v + 36. Is 6 a factor of o(j)?
True
Suppose q = 11 - 5. Suppose -2*h - 1760 = -4*m, -4*h - 450 = -m - q*h. Is 11 a factor of m?
False
Let h = 1 + -1. Suppose h = -4*y - 14 + 26. Suppose 0 = y*f - 3*j - 150, f + 130 = 4*f + j. Does 5 divide f?
True
Suppose 2*f = -0*f + 28. Suppose -3*u = -4*z + 2*u + 38, 3*u = 5*z - 28. Suppose z*b + f*b - 3072 = 0. Is b a multiple of 32?
True
Let r = 3 + -1. Suppose 0*y - 5*y = -r*o + 34, 5*y + 24 = -3*o. Is (-82)/y*4 - 12/18 a multiple of 6?
True
Let p be 7230/165 + (-4)/(-22). Let j = 47 - p. Suppose 0 = -4*n - 8, w = 6*w - j*n - 141. Does 9 divide w?
True
Suppose 0 = 3*z - 3*c - 21, z - 6*c - 13 = -2*c. Suppose z*s - 5*l = 7*s - 673, -663 = -2*s - 3*l. Is s a multiple of 81?
True
Let o(x) = 846*x + 2710. Is o(6) a multiple of 229?
True
Suppose 4*l = 2*g - 4, 2*g + 0*g + 2*l = 4. Suppose -3*n = -n - g. Suppose -4*k - 4 = -w - n, 5*w - 95 = 4*k. Is w a multiple of 8?
False
Suppose -3*l - 2*t + 185 = -6*l, 304 = -5*l - t. Let r = -58 - l. Suppose -u + 361 = 5*f + 7, -209 = -r*f - 4*u. Is f a multiple of 8?
False
Suppose 2*w + 184 = 2*q + 1184, 0 = 2*w + 4*q - 1024. Does 21 divide w?
True
Suppose -11*c + 280 = 71. Suppose -2*v = -2*m - 14 - 2, -3*v = 2*m - c. Does 58 divide -4*4*(v + (-285)/20)?
True
Suppose 2*p = 0, -2*p - 81 = -7*l + 4*l. Suppose 0 = 3*z + 5*k + l - 107, 0 = 5*z + k - 148. Let i = z - -67. Is i a multiple of 16?
False
Suppose 0 = -3*a - o + 247 + 1993, 2*a - 3*o = 1486. Is 19 a factor of a?
False
Is 103 a factor of ((-51)/(-6))/(-17) - (0 + (-10919)/2)?
True
Does 89 divide (1/(44/979))/(3/2748)?
True
Suppose -27*h - 14*h + 188690 + 16802 = 0. Does 14 divide h?
True
Suppose 31*r - 2*r = 3*r + 51246. Is r a multiple of 62?
False
Suppose 42*o = -38*o - 10*o + 608310. Is 9 a factor of o?
True
Suppose -9*a + 8*a = 2*u - 26, -3*u + a + 29 = 0. Suppose u*g - 18*g + 1701 = 0. Does 9 divide g?
True
Let n(g) = 20*g**2 + 2*g - 8. Suppose 0 = 5*x - 24 - 11. Suppose -k = x*k - 16. Is 38 a factor of n(k)?
True
Let i(q) = 51*q**2 + 86*q - 2016. Is 90 a factor of i(19)?
False
Suppose a - 4*a - 2*j + 49 = 0, 3*a = -j + 50. Let o(g) = 3*g**2 + 14*g - 21. Let u(k) = -k**2 - 5*k + 7. Let s(y) = a*u(y) + 6*o(y). Is s(-4) a multiple of 5?
False
Does 24 divide (13/4)/((-31095)/1728 - -18)?
True
Let l be 0 + -7 + 18 + 1. Suppose 2*t + 6*k - 4*k = 84, -5*k + 93 = 2*t. Let p = t - l. Is 3 a factor of p?
True
Let m(v) = 39*v - 8. Let t be m(2). Let x = t + 1. Does 44 divide x?
False
Let u be (-8)/6*18/(-4). Does 4 divide 122*u/((-12)/(-1))?
False
Suppose -69 + 237 = 3*l. Let o be 6/4 + l/16 + -2. Suppose o*z = z - 2*a + 100, 0 = -3*z - 4*a + 148. Does 48 divide z?
False
Suppose 2*g - 5*g + 3*c = -15, -c = 1. Suppose -g*o + l - 482 + 2643 = 0, -2*o + 3*l + 1083 = 0. Is 11 a factor of o?
False
Let r = 1085 + -827. Let q = -239 + r. Is q a multiple of 3?
False
Let r(a) be the first derivative of -a + 39 + 0*a**2 - 14 - a - 50*a**2. Is r(-2) a multiple of 11?
True
Let m = -1212 + 1096. Let j(c) = -2*c**2 + 6*c + 8. Let n be j(7). Let q = n - m. Is q a multiple of 7?
False
Let c(n) = 43811*n - 1416. Is 139 a factor of c(1)?
True
Let g(j) = -6*j + 172. Let z be g(31). Is 176/308 + (-4514)/z a multiple of 22?
False
Let t = 13 + 4. Let a = -59 + 61. Suppose 4*k - a*p - 43 + t = 0, 2*p = -5*k + 19. Does 5 divide k?
True
Does 8 divide (1360/30)/((-4)/(-468))?
True
Let t(l) = 28 - l**2 - 6*l**2 + 8*l - 3*l**2 + l**3 - 28*l. Let b be t(12). Let d = 121 - b. Is 5 a factor of d?
True
Let r be (-94)/(-14) + (-2)/(-7). Suppose 3*u = 20*u + 32 + 19. Is 3 a factor of r - (-9 + 3 - u)?
False
Suppose 0 = -21*w + 161082 - 146664 + 376140. Does 34 divide w?
True
Suppose 2*h + 3*s = -h + 29430, 5*h - s = 49050. Does 90 divide h?
True
Let r = 94 - 264. Is (4/((-8)/(-81)))/((-17)/r) a multiple of 3?
True
Let o(l) = 4*l**2 + 8*l - 54. Let b be o(7). Let f = 474 - b. Does 6 divide f?
True
Suppose z - 19272 = 3*c, 38540 = 2*z - 4*c - c. Is z a multiple of 107?
True
Let b be (-1 + -7 + 11)/(3/5). Let o = -7 - -5. Does 15 divide (29 + o)*(b - 0)?
True
Is 19/(-228) + (-2205153)/(-108) a multiple of 41?
True
Suppose 0 = 143*j - 147*j + 16. Suppose -2*m - g + 808 + 251 = 0, j*m + 3*g - 2113 = 0. Does 38 divide m?
True
Let x(i) = 736*i + 416. Is 21 a factor of x(4)?
True
Let k(p) = -198*p**3 + 4*p**2 + 5*p + 6. Let o be k(-2). Suppose -11*l = -4839 - o. Is l a multiple of 13?
True
Let h = 133 - 275. Let r = h - -154. Does 3 divide r?
True
Let p = -41 + 44. Suppose 2*q = 10, 0*x - p*q = -2*x + 929. Is 4 a factor of x?
True
Let r(l) = -237*l - 1973. Does 9 divide r(-33)?
False
Suppose 5*y = 2*d - 21, 3*d + 0*d + 3 = -4*y. Suppose 0 = -d*n + 7 + 8. Suppose -4*c + b = -52 - 41, 0 = 4*c - n*b - 97. Is c a multiple of 11?
False
Suppose 3505 + 8390 = 5*w. Does 13 divide w?
True
Let v(o) = 2*o + 22. Suppose 27*w - 23*w + 12 = 0. Let n be v(w). Is 40 a factor of n/2*(9 + 4 + 2)?
True
Let q be ((-10)/(-4))/(53/106). Suppose q*t + 365 = x - 793, -2*x + 4*t + 2286 = 0. Is x a multiple of 108?
False
Let t(z) = -4*z - 6. Let q be t(-2). Suppose 0 = 2*v - q*d + 25 - 207, 0 = v + d