vide u?
True
Suppose -37 = -4*b + 163. Suppose 65*v - 4920 = b*v. Does 50 divide v?
False
Let b(f) = 1757*f - 3339. Is b(27) a multiple of 315?
True
Is 82 a factor of (-9512)/10*((-150)/20 + 5)?
True
Suppose 5*y = m + 16434, -3*m + 6560 = 2*y - 0*m. Is y a multiple of 28?
False
Let j(b) = -b**3 + 17*b**2 - 27*b - 13. Let s be j(13). Suppose 234 = 4*q - 5*g - 66, 4*q - 2*g = s. Does 5 divide q?
True
Let z(v) = -v**3 - 7*v**2 + 2*v + 14. Let y be z(-7). Suppose y = 8*i + 247 - 775. Does 33 divide i?
True
Suppose -142*p = -143*p. Suppose -5*a + 624 + 1720 = -2*v, -4*a - v + 1870 = p. Is 36 a factor of a?
True
Let z(a) = 3*a**3 - 5 + 6*a**2 + 1 - 2*a**3 - 3*a**2. Let r be z(-2). Is 6 a factor of (-12)/30 - (r + 454/(-10))?
False
Suppose -162 = -55*h + 58*h. Let w be 2 - h/(-12)*(-12)/(-27). Suppose w = -10*n + 292 + 388. Is n a multiple of 5?
False
Suppose 12*v = 229 + 83. Suppose 1305 = v*a - 8575. Does 5 divide a?
True
Suppose 107 = -4*a + 95. Is a/(227/57 - 4) + 3 a multiple of 57?
False
Let d = -27492 + 28527. Is 23 a factor of d?
True
Suppose 3*y - 33 = 15. Suppose -3*v - 18720 = -y*v. Suppose -8*c - c = -v. Is 20 a factor of c?
True
Let r be 2 + (-5)/(-9 - -4). Let p(t) = -r*t + 3*t**2 + 4*t - 2*t + 0*t - 7. Is p(-4) a multiple of 45?
True
Suppose -5*z + 2808 = -2*z. Suppose 17*h - 1308 = z. Does 11 divide h?
True
Let r(j) = 2*j**2 - 14*j + 2. Let o be r(7). Suppose -3*z + 232 = -5*n, -4*z + 2*n = -o*z - 160. Is z a multiple of 21?
True
Suppose -465*y - 16 = -457*y. Is 5 a factor of 327 - ((-20)/(-45))/(y/(-18))?
False
Let a(k) = k**3 + 2*k**2 + 3*k + 2. Suppose -1 = 3*b - 2*b. Let q be a(b). Suppose 2*m + 6*x - 130 = x, -5*m + x + 298 = q. Does 11 divide m?
False
Let f(o) = -o**3 + 21*o**2 + 73*o - 21. Let p be f(24). Is 11 a factor of p*(6/6 + 0)*6?
False
Let f(b) = -b**3 + b**2 - b + 32. Let n(j) = -j**2 + 4*j + 5. Let a be 1*5*(6 + -5). Let z be n(a). Is 3 a factor of f(z)?
False
Does 13 divide (231*1/4)/((-732)/(-25376))?
True
Suppose m + 4*c = 2237, 2604 = 4*m + c - 6434. Does 11 divide m?
False
Suppose -5*z - 6 = -8*z. Suppose 0 + 4 = -5*m - z*s, -m - 4*s = 8. Suppose m = 2*b - 3 - 97. Is b a multiple of 25?
True
Let r = 66 - 50. Let x(j) = 18*j - 8. Is x(r) a multiple of 20?
True
Let m be (-8 - -9)/((-2)/(-8)). Suppose -4*q = 4*g - m, -2*q + 6 - 4 = -4*g. Is 24 a factor of 2 + q + -7 + 52?
True
Let x(v) = 16*v + 820. Suppose 6*u - 69 = -69. Is x(u) a multiple of 22?
False
Suppose -4*i - 2*c = -1116, -3*i - 5*c + 850 = -10*c. Does 28 divide i?
True
Let m(o) = -o**3 + 10*o**2 - 6*o + 1. Let j be 24/(-14)*7/(-2). Let n be m(j). Suppose 3*i - 3*w + 0*w = 177, -2*i + 5*w = -n. Is i a multiple of 6?
False
Suppose 13*m - 35*m = 37*m - 40061. Does 2 divide m?
False
Suppose 108*w + 37*w = 2144279 - 233469. Is 22 a factor of w?
True
Suppose 2*w + 19387 = s, 16*s - w + 77521 = 20*s. Does 14 divide s?
False
Let g(q) = -2*q**2 + 48*q - 46. Let i be g(23). Suppose i = -4*k + 3*f + 679, 5*k + f - 820 = -f. Is k a multiple of 10?
False
Let o = -18215 + 27187. Is 9 a factor of o?
False
Let y be 8/20 + 115/25. Let r be ((-8465)/75 - y) + 4/(-30). Let w = -77 - r. Is w a multiple of 22?
False
Suppose -299660 - 10352 = -20*u - 27*u. Does 97 divide u?
True
Let m(a) = 30*a**2 + 7*a - 58*a**2 + 1 + 5 + 48*a**2. Does 6 divide m(-2)?
True
Let b(w) = 10*w - 458. Let v(x) = 13*x - 916. Let j(u) = 5*b(u) - 2*v(u). Is j(21) a multiple of 23?
True
Suppose -17*x = -14*x - 33. Suppose -16*m + x*m = -65. Suppose 33 = -m*z + 2607. Is 24 a factor of z?
False
Suppose -4*f + 47677 = 5*a, -127*a + 132*a + 35 = 0. Is f a multiple of 14?
True
Suppose 0 = 20*i - 16536 + 1596. Let p = -334 + i. Is p a multiple of 14?
False
Let o(v) = -v**3 + 3*v**2 + 6*v - 6. Suppose 48 = -5*q + 33. Let m = 6 + q. Does 12 divide o(m)?
True
Is (-15)/(-50) + 2/((-60)/(-175731)) a multiple of 41?
False
Suppose 11571 = g + 7431. Is 12 a factor of g?
True
Does 8 divide 1/(137724/(-22956) + 6)?
False
Let z(m) = 319*m - 4209. Is z(40) a multiple of 118?
False
Let s(q) = -1776*q - 1673. Is 40 a factor of s(-3)?
False
Let p(x) = 6*x**2 + 47*x - 7. Let f(r) = 18*r**2 + 149*r - 21. Let h(m) = -3*f(m) + 10*p(m). Suppose 5*n + 20 = n. Does 7 divide h(n)?
True
Let h = 776 - 124. Is 10 a factor of h?
False
Let f(i) = i**2 - 4*i - 13. Let d be f(-7). Let p = 66 - d. Suppose 155 = p*b + m, -2*b + 7*b - 2*m = 365. Does 25 divide b?
True
Let m = -4 + 19. Suppose -f - m = -6*f. Suppose -l + 4*l - f*x = 111, 4*x = -3*l + 132. Is 14 a factor of l?
False
Let z(l) = 10*l**2 - 6*l + 3. Let m = 291 - 294. Does 37 divide z(m)?
True
Let m(d) = d + 3. Let i be m(-3). Suppose i = -2*n + 7*n. Suppose 1280 = 5*v - n*v. Is v a multiple of 35?
False
Does 13 divide 12/3 - 6 - -9323?
True
Let u(g) = -102*g + 14. Suppose -60 - 15 = 15*y. Is 47 a factor of u(y)?
False
Let u(k) = -121*k - 3. Let g be u(-3). Let n = g + -176. Suppose m + 2*z = 5*z + 194, m - z = n. Is 12 a factor of m?
False
Suppose -37*r + 48*r - 11384 - 4456 = 0. Is 30 a factor of r?
True
Let g(m) = 120*m**2 - 27*m - 350. Does 37 divide g(-12)?
False
Suppose 14 = -0*y + 2*y + 4*n, -3*y + n = 0. Let x(t) = 130*t - 4. Let a be x(y). Suppose 2*f = -f + a. Is f a multiple of 14?
True
Let q(u) = 48 - 57 - 29*u - 26*u - 90. Is q(-10) a multiple of 39?
False
Let k = 4743 - 1481. Does 4 divide k?
False
Let p(a) = 46*a + 272. Is p(29) a multiple of 73?
True
Let b(y) = -3*y**3 + y**2 + 6*y + 6. Let p be b(-1). Let m(w) = 16*w**2 - 9*w + 20. Does 17 divide m(p)?
False
Let b(c) = -15*c - 26. Let l(z) = -2*z + 2. Let a be l(5). Is b(a) a multiple of 14?
False
Suppose 4*f + 1632 = -5*a + 40028, a - f - 7681 = 0. Is a a multiple of 24?
True
Suppose -24*r = -3*p - 29*r + 2655, p = -3*r + 889. Suppose 7*l = 275 + p. Is l a multiple of 6?
False
Let h(m) = m**3 + 9*m**2 - 11*m - 7. Let w be h(-10). Is 3896/w + 118/(-177) a multiple of 11?
True
Suppose 748*n = 769*n - 725214. Is 181 a factor of n?
False
Let k(m) = -m**2 - 9*m - 7. Let h be k(-8). Let d(r) = r**3 + 2*r**2 - 3*r. Let w be d(h). Suppose 2*n + w*n = 308. Does 27 divide n?
False
Let q(u) = u**3 - 3*u**2 - 35*u + 14664. Does 215 divide q(0)?
False
Let g(r) = -2*r**3 + r**2 + 2*r + 31. Let a(u) = u**3 - 6*u**2 - 5*u - 11. Let o be a(7). Suppose -2 = 5*w - 2*m, 0 = o*w - 3*m + 3. Is 31 a factor of g(w)?
True
Does 40 divide (814350/90 - -3)/(6/27)?
False
Suppose 1346194 = 31*u - 8*u + 4*t, 0 = 5*u + t - 292651. Is 14 a factor of u?
False
Let n(g) = g**2 - 4*g - 38. Let o be n(-11). Let p = o + -92. Is p even?
False
Let k = -3471 - -6195. Suppose k = 5*o - 4251. Does 37 divide o?
False
Let z(j) = 11*j**3 - 7*j**2 + 9*j + 7. Let n be z(6). Suppose -10*d - 445 = -n. Suppose -d = -3*g - 2*g + q, -2*q - 173 = -5*g. Is g a multiple of 5?
True
Let q(o) be the third derivative of -o**4/8 + 11*o**3/3 - 11*o**2. Suppose 5*p + 14 = -16. Is 16 a factor of q(p)?
False
Suppose -30*n + 3516628 - 525283 = 63*n. Is 28 a factor of n?
False
Let z = 135740 - 96055. Does 39 divide z?
False
Let k = 291 - 289. Does 26 divide k/(6/(-36)*2/(-52))?
True
Suppose -10*i + 81 = -29. Suppose i*f + 6228 = 23*f. Is 40 a factor of f?
False
Let x = 178 + -174. Suppose 0 = -x*m + 412 - 52. Does 13 divide m?
False
Let i(g) be the second derivative of -7/2*g**2 + 1/12*g**4 + 0 + 5/6*g**3 + 5*g. Is 16 a factor of i(6)?
False
Suppose 98*r + 5676 = 4*c + 95*r, 0 = -4*c + 2*r + 5680. Is 11 a factor of c?
False
Suppose -12 + 21 = 3*l. Suppose -l*z + 7 = 2*p, -2*z + 10 = -4*z - 5*p. Suppose 4*i + 3*q = 276, z*i - 3*q = q + 376. Is 9 a factor of i?
True
Let j(w) = -18*w + 34. Let g(s) = 36*s - 67. Let x(z) = -2*g(z) - 5*j(z). Is x(6) a multiple of 7?
False
Let p = -18781 - -22984. Is 9 a factor of p?
True
Suppose 986 - 5090 = -2*c. Suppose -31*t + 40*t = c. Is 4 a factor of t?
True
Let h(r) = 2*r**2 - 25*r + 15. Let x be h(14). Let l = -58 + x. Is 13 a factor of 0 + l + 1 + 16?
False
Let y(d) = -25*d**2 - 10*d + 15. Let b be y(5). Does 44 divide (-2)/((-1317)/b - 2)?
True
Let k = -173691 + 250105. Is k a multiple of 13?
True
Suppose j + 12 = 2. Does 13 divide (j/8)/((-2)/760)?
False
Suppose -20*s + 17*s + 2*t + 95 = 0, -4*s - 4*t = -140. Let g = 9 - -48. Let x = g - s. Does 10 divide x?
False
Let l = 1549 - 910. Suppose 5*r - l = 741. Does 8 divide r?
False
Suppo