52417. Does 89 divide b?
True
Suppose 4698 = -x + 5*d, 2*x + 0*d - 5*d = -9386. Let a be 8/(-36) + x/(-36). Suppose 4*b - a = 2. Is b a multiple of 33?
True
Let q = 548 + -275. Suppose 6*l = -q + 1569. Does 36 divide l?
True
Is (-2)/11 - (813788/16)/((-660)/240) a multiple of 15?
True
Let n be (-2)/(48/18524) + (-9)/54. Let s = 962 + n. Is 10 a factor of s?
True
Suppose -3983*i + 3973*i + 28200 = 0. Is i a multiple of 30?
True
Let v(u) = u**2 - 7*u - 29. Let m be v(10). Is 56*-3*m/(-4)*17 a multiple of 17?
True
Let p(i) = -2*i + 16. Let r be p(6). Is 3 a factor of (r - (3 - 1))*(-90)/(-4)?
True
Let f(n) = 4*n - 50. Let c be f(13). Suppose -3*g - 4*b + 232 = 0, -8*g + 13*g + c*b - 368 = 0. Is 8 a factor of g?
True
Let l be 5 + -14 + 3 - (-7 - 3). Suppose -a = 2*z - 4*a - 746, 0 = -l*z + 4*a + 1496. Is 28 a factor of z?
False
Let c = 396 - 391. Does 79 divide -2 - (1 + (5 - c) - 1662)?
True
Suppose -2*f - f - 12 = -n, -f + 3*n = 4. Let s be 5*(-1)/5*f. Suppose 3*q = 9, -s*l - 7*q + 275 = -2*q. Does 5 divide l?
True
Suppose 0 = -3*r - 2*m + 9, 6*m = -r + m - 10. Suppose 0 = 4*h - a - 792, -r*h = -2*a - 3*a - 1005. Suppose 0 = 2*z - h - 235. Is z a multiple of 12?
True
Let n(q) = -q**2 + 13*q + 7. Let s be 3*(-1 - (-16)/3). Let j be n(s). Suppose -142 = -j*v + 320. Is v a multiple of 23?
False
Suppose 0 = -7*k + m + 46097, -23*m + 26*m + 19743 = 3*k. Is k a multiple of 37?
True
Let j = 34139 + -15797. Is 187 a factor of j?
False
Let l(i) = 2*i**3 - 9*i**2 + 23*i + 24. Is l(11) a multiple of 6?
False
Suppose 106602 + 24778 = 5*l + 5*u, -3*l + 78856 = -4*u. Does 30 divide l?
True
Suppose 8 - 23 = -5*b + 5*v, -2*v = 3*b - 14. Suppose -5*z + 1717 = b*f, -f + 3*z = -0*f - 408. Suppose 4*i - 73 = f. Is 31 a factor of i?
True
Let v be (-12)/8*24/(-9). Let b be 3359/v - (77/28 - 3). Suppose 0 = -2*r - u + 336, 5*u + b = -r + 6*r. Is 28 a factor of r?
True
Let d = -88 + 91. Suppose d*o = 6*o - 2418. Suppose 0 = 5*s + i - o, 2*i + 794 = 5*s + 6*i. Does 27 divide s?
True
Let x = 724 + -728. Is 2589/6 - x/8 a multiple of 48?
True
Let y(r) = 33*r**3 - 2*r**2 + r + 4. Let g be y(-2). Is (178/3)/((-12)/g) - 3 a multiple of 36?
True
Let k be -13 + 3486/266 + 49075/19. Suppose 10*s - k = 5517. Is s a multiple of 11?
False
Is 63 a factor of 2/29 - 3288450/(-2175)?
True
Let d = -41869 + 61189. Is 7 a factor of d?
True
Let m = 5126 - 3782. Does 84 divide m?
True
Suppose -3*d = 2*d + 20, -7 = b + d. Let u be 16/18*b*3. Let i = u + 16. Does 8 divide i?
True
Let z(h) = -7*h**2 + 35*h + 38. Let c(m) = m**2 - 1. Let r(o) = 5*c(o) + z(o). Is 12 a factor of r(15)?
True
Let j = 5585 - 3177. Does 14 divide j?
True
Suppose 110*q - 14*q - 467346 = -50*q. Does 33 divide q?
True
Suppose 14322 = 4*d + 3*l - 5*l, 3*d - 10741 = l. Does 20 divide d?
True
Let v(i) = 2*i + 3. Let m(y) = 23*y + 51. Let j(t) = m(t) + 6*v(t). Is j(3) a multiple of 29?
True
Let l = 655 + -647. Suppose 0 = v + 2*y - 838, -10*y = -v - l*y + 822. Does 62 divide v?
False
Suppose -130800 = 20*i - 17*i - 33*i. Does 15 divide i?
False
Let f(z) = -4*z - 17. Let u be f(-5). Suppose -u*g + 2*a = -1936, 10*g - a - 1934 = 7*g. Is g a multiple of 23?
True
Suppose 15*o + 6800 = 20*o. Let c = 2040 - o. Suppose 3*a - c = 5*q, 0 = -4*a + a - q + 692. Is 23 a factor of a?
True
Let n be -2*(77/14 - 5)*0. Suppose n = 13*o + 1868 - 11618. Is o a multiple of 33?
False
Let m(n) = n + 16. Let z be m(-7). Let c = 10 - z. Is (97/5)/(c/5) a multiple of 33?
False
Let l(m) = -119*m**3 - 6*m**2 - 105*m - 497. Is 16 a factor of l(-5)?
False
Let m = -600 - -609. Suppose -5*h + 2*h + 3*p = -954, p = 2*h - 634. Suppose -h = -m*l + 1169. Is l a multiple of 35?
False
Suppose b - 4120 = -0*b - n, 0 = -3*b + 5*n + 12352. Suppose -3891 = -10*r + b. Is r a multiple of 9?
True
Let x(c) = c**2 + 14*c - 9. Let t be x(-22). Suppose -1386 = -174*i + t*i. Does 41 divide i?
False
Let a(y) = 22*y + 50. Let l(d) = 33*d + 75. Let n(t) = -8*a(t) + 5*l(t). Let h be n(6). Let f = 286 + h. Is 15 a factor of f?
True
Let j = -57 - -49. Is (-4 + 2108)/j*-3 a multiple of 53?
False
Suppose -103*u + 489600 = 41*u. Is u a multiple of 20?
True
Let z(p) = p**3 + 16*p**2 + 27*p - 10. Let f be z(-14). Suppose 5*v - 585 = -f*v. Is 10 a factor of v?
False
Suppose 40*i - 52326 = 37*i - 4*u, 4*i = u + 69730. Is 17 a factor of i?
False
Let h = -10 - -1. Let n(k) = 41*k**2 + 1 - 18*k**2 + 8 + 8*k - 22*k**2. Does 3 divide n(h)?
True
Suppose -124 - 38 = 2*h. Suppose 3*z - 290 = 109. Let m = z + h. Is m a multiple of 26?
True
Let u = 4375 + -3715. Is 5 a factor of u?
True
Let a = -1893 + 2064. Is 9 a factor of a?
True
Let y(d) be the first derivative of -d**2 + 9*d - 5. Suppose -j + 13*j = j. Does 2 divide y(j)?
False
Let n(k) = -2*k**2 - 18*k + 572. Let g(v) = v - 1. Let u(m) = 2*g(m) + n(m). Is u(0) a multiple of 6?
True
Let x(g) = 13*g**3 - g**2 - g + 2. Let k be x(1). Let d(f) = 183*f**3 + k - 15 + 2*f + 42*f**3. Does 47 divide d(1)?
False
Let w(j) = -12*j. Let x(c) = -c**3 - 5*c**2 - c - 3. Let a be x(-5). Suppose 10 = -2*k, -a*v - 4*k - 13 = 19. Is w(v) a multiple of 32?
False
Let x(r) = 13*r - 33. Let u be x(3). Is (-30)/u + (-42)/7 + 581 a multiple of 114?
True
Let u(y) = 4*y - 10. Let g be u(4). Let x be g/(-14) + (-8856)/(-84). Let a = 150 - x. Is a a multiple of 5?
True
Suppose 296*d - 127628 + 57064 - 133084 = 0. Does 86 divide d?
True
Suppose 241*v + 110 = 236*v. Does 8 divide (407/v)/((-3)/48)?
True
Let f be ((-3)/15*6)/((-10)/25). Suppose f*d - 7*d - 48 = 0. Is -6*(-5 + d/(-9)) a multiple of 5?
False
Let y(c) be the second derivative of 29/2*c**2 + 0 + 2/3*c**3 + 24*c. Is y(0) a multiple of 7?
False
Let y(l) = -10*l + 333. Let x be y(0). Is 1*(x/1 + 1) a multiple of 13?
False
Let l(b) = -3632*b - 326. Does 23 divide l(-3)?
False
Suppose 4*a - 2*m + 1533 - 4041 = 0, -3*a + 2*m + 1880 = 0. Let p be -1 - a/(-2) - -1. Let g = p + -161. Is 55 a factor of g?
False
Let j(u) = -u**3 - 24*u**2 + 264*u - 32. Does 22 divide j(-34)?
True
Let l be ((-459)/(-5))/(3/(47 - 2)). Let a = l + -525. Is a a multiple of 12?
True
Let x = -463 + 870. Suppose -2*j + d + 712 + 66 = 0, -j + 5*d = -x. Is j a multiple of 15?
False
Let i = 81 - 95. Let b be (-2)/7 + (-46)/i. Does 26 divide (-9)/b - (1 + -234)?
False
Let q = -36 + 98. Suppose q*m = 63*m + 4. Is 24 a factor of (m/(-5))/(4317/(-540) + 8)?
True
Let m(k) = -k - 5. Let n be m(-13). Suppose -n*y = -6*y - 902. Is y a multiple of 19?
False
Suppose -4*l + 33 = 1. Suppose 0 = -9*z + l*z + 6*z. Suppose a - 21 - 37 = z. Is a a multiple of 38?
False
Suppose 0 = 15*m - 0*m - 15. Is 15 a factor of (128/40)/(1/40*m)?
False
Let r = 37 + -31. Suppose r*y + 1940 = 10*y. Is y a multiple of 14?
False
Let x = -3446 + 15038. Is 36 a factor of x?
True
Let q be 4/(20370/5097 - 4)*-18. Suppose 5340 = -19*s + q. Is 99 a factor of s?
True
Let z(h) = -4*h + 6. Let q be z(-10). Let l = -50 + q. Is 15 a factor of 2 - 2 - -86 - l?
True
Suppose 5*f = 2*f - 3*v + 84939, 3*f - 2*v = 84899. Is f a multiple of 15?
True
Suppose 3*w - 33858 = -3*s, 45114 = 3454*s - 3450*s - w. Is 16 a factor of s?
True
Suppose 0 = -u + 3*s + 44964, -4*s + 14902 + 30062 = u. Does 12 divide u?
True
Let w(v) = v + 6. Let o be w(-13). Let j(u) = 13*u**2 + 12*u + 32. Is 15 a factor of j(o)?
True
Let v(i) = -3*i**3 - 12*i**2 - 4*i - 14. Let x be v(-4). Suppose 4*s = -6*a + 2*a + 2972, -5*s = x*a - 1495. Does 20 divide a?
True
Suppose -39*j + 170404 = -13*j. Does 8 divide j?
False
Let o = -59 - -64. Suppose d - o*n = 174, 13*d = 14*d + 3*n - 158. Is 41 a factor of d?
True
Suppose 2*p = 3*d - 36, -d - d - 2*p = -14. Suppose -o - 6 = -d. Suppose -75 = -2*x + y, o*x + 5*y - 30 = 85. Does 5 divide x?
True
Suppose 16280 = 6*y + 1406. Suppose y + 22757 = 36*x. Does 27 divide x?
False
Suppose -44 = 4*z + 28. Let o be (14/6)/(511/5256). Let b = o - z. Is b a multiple of 27?
False
Let l(v) = v - 1. Let p(g) = 14*g - 4. Let u(r) = 2*l(r) + p(r). Let k(j) = 2*j**3 - 30*j**2 + 27*j + 18. Let y be k(14). Is u(y) a multiple of 17?
False
Let f(p) = 3*p**3 - 34*p**2 + 427*p - 20. Is 118 a factor of f(13)?
False
Suppose -35*k + 16*k = -76. Suppose k*m = -0*m - 2*p + 312, -4*m = -3*p - 332. Is m a multiple of 8?
True
Let a(t) = -t**3 - 3*t**2 - 5*t - 8. Let h be 2*(8/4 - 1) + 3. Suppose h*g + 24 = x, -