r of q(33)?
True
Let f = 202 + 9607. Does 30 divide f?
False
Let m be (-2)/(-7) - 175425/(-105). Suppose 0 = 3*l - 2*c - m, 17*l + 2224 = 21*l - 4*c. Does 43 divide l?
True
Let s(d) = 7*d**2 - 3*d + 57. Let z be s(-6). Suppose 453 = 3*l - z. Does 34 divide l?
False
Let b(m) = 2*m**3 - 4*m**2 - 5*m - 2. Let l be b(3). Is 2 + (2 + (-2)/l - -20) a multiple of 11?
True
Let r(b) = -b**2 - 4*b + 113. Let d be r(0). Suppose y = 5*m - 523, -317 - d = -4*m - 5*y. Let v = 157 - m. Is 3 a factor of v?
False
Let m(n) = -397*n - 3362. Is 21 a factor of m(-71)?
False
Let o = -3534 - -5505. Is 24 a factor of o?
False
Let y be (0 + 2)*(-1495)/46. Let w = y + 120. Suppose n + 5*d - w = -12, 0 = 5*d + 5. Is n a multiple of 4?
True
Suppose 2*m - 3294 - 1098 = 0. Does 4 divide m?
True
Let t(v) = -v - 40 + 4 - 8*v. Is 36 a factor of t(-32)?
True
Suppose 2*p + 483 = -445. Let m = p + 749. Does 15 divide m?
True
Suppose 3*i - 2*p - 15 = -3*p, i = -2*p + 10. Suppose -58 = 2*k - 3*k + 3*n, i*k = -3*n + 202. Suppose t + d + d = 48, -t - d = -k. Does 28 divide t?
True
Suppose -5*m = 4*r - 10 - 31, -3*m = 4*r - 31. Suppose -r*k + 3*i - 27 = 0, 3*k + 17 = -7*i + 6*i. Is 3 a factor of (-345)/(-46)*(-8)/k?
False
Let g(k) = 8*k**3 - 3*k**2 + 5*k - 2. Suppose 4*n - 3*f + 16 = -8*f, 2*f = 3*n - 11. Is g(n) even?
True
Let v(k) = k**3 + 2 + k**2 + 8*k - 12*k - 5*k**2 + 0*k**3. Let t be v(5). Suppose d - 5*h = 19, 5*d - t*h = -4*h + 51. Does 9 divide d?
True
Suppose 0*w + 2*w - 30 = 0. Let x be (-2)/3 - w/(-9). Is 6 a factor of (2*39)/(1 + x)?
False
Let z(s) = 30*s**2 - 3*s + 27. Let u be z(4). Suppose 7*k - 79 = u. Is k a multiple of 56?
False
Suppose -24205 - 58655 = -12*l. Does 72 divide l?
False
Let z(m) = -m + 9. Let i be z(10). Let h be i + 1/2 - 1287/(-66). Suppose h*c = 15*c + 512. Is 32 a factor of c?
True
Let b = 18226 - 16573. Is b a multiple of 22?
False
Is 11 a factor of (-300)/(-12)*-10779*(-6)/90?
False
Let f(d) = 46*d**2 + d**3 - 46*d**2 + 5 + 4*d + 0*d**3. Let x be f(-3). Let u = x - -91. Does 15 divide u?
False
Let r(a) = 2*a**2 - 4*a - 99. Let y be r(11). Suppose -2580 = y*j - 119*j. Is 16 a factor of j?
False
Suppose v = -69 + 123. Suppose v*c - 53*c = 150. Does 30 divide c?
True
Let g be 145/45 + -3 + 29152/36. Is ((-85)/(-3))/(15/g) a multiple of 102?
True
Suppose -2*y - 545 - 117 = 0. Let i = y - -625. Does 42 divide i?
True
Let q = 700 - 651. Suppose -51*a + 798 = -q*a. Is a a multiple of 70?
False
Suppose 4*f - 5*k - 941 = 693, k + 2011 = 5*f. Is f a multiple of 3?
False
Let b(v) = 10*v + v - 18 + 29*v + 7*v + 11*v. Let i be 4/10 - 18/(-5). Is 47 a factor of b(i)?
False
Suppose 2*h - 52 = -224. Suppose -127*z + 121*z - 402 = 5*v, -2*v = 4*z + 276. Let g = z - h. Does 3 divide g?
False
Suppose 212*p - 3353400 = -111*p - p. Is 23 a factor of p?
True
Suppose 3*p - 5*i = 34, -4*i = 2*p - 46 - 6. Let d = p + -51. Let m = d - -54. Is m a multiple of 21?
True
Suppose -u + 24329 = 3*a, 2*u - 3 + 11 = 0. Does 26 divide a?
False
Suppose -26 = 13*c - 0*c. Let b = c + -60. Let w = 42 - b. Is w a multiple of 9?
False
Suppose 0 = 261*n - 262*n + 4. Suppose 0 = 2*z + n*s - 256, -11*s = -5*z - 15*s + 634. Is z even?
True
Let a = -41 - -23. Let o(i) = -i**2 - 21*i - 31. Let c be o(a). Let r = 42 - c. Is r a multiple of 5?
False
Let d = 147 - 145. Suppose -f - 6*w + 310 = -d*w, -3*f + 880 = 2*w. Does 39 divide f?
False
Let i(x) = -x**3 - 8*x**2 - x + 10. Let j be i(-8). Let t = 29 - j. Suppose 0 = n - t*n + 240. Is 4 a factor of n?
True
Let q = -13361 - -20669. Is q a multiple of 18?
True
Is 110 a factor of ((-37798)/5)/(-6 - (-504)/90)?
False
Let v(n) = n**3 + 30*n**2 + 83*n - 29. Is 2 a factor of v(-8)?
False
Suppose 0 = -3*d + 2*l + 4456, 0*l + 5930 = 4*d + 3*l. Does 28 divide d?
True
Let k(y) = 92*y**2 - 38*y - 204. Is 27 a factor of k(-12)?
True
Let f(v) = -146*v - 275. Let o be f(-3). Let s be (-2)/(-1 - -1 - 1). Suppose 4*h - 2*u - o = 3*u, 5*u + 79 = s*h. Is h a multiple of 7?
True
Let t = 20847 + -16203. Is t a multiple of 8?
False
Let v = 9323 - -5224. Is v a multiple of 39?
True
Let r = -21 + 23. Suppose -5*v = r*l + 16, 5*l - 24 = l + 4*v. Suppose -l*f = 39 - 263. Does 16 divide f?
True
Let i be 6*(-86)/40 - 6/60. Is 60 a factor of 78/i*(-1 - 112)?
False
Is 221 a factor of 702/1755 - ((-72933)/5 - (1 + -2))?
True
Let n(v) = v - 3. Suppose -4*g + 32 = 3*t, -t - 3 = -g - 3*t. Let o be n(g). Suppose 7*a - o*a + 70 = 0. Does 35 divide a?
True
Let q = -25 - -79. Suppose 67 = 4*z - 5. Suppose -z = -3*y + q. Does 11 divide y?
False
Suppose -7*c + 134 = -48. Let n be (-16)/(-14)*91/c. Suppose n*x - 12*x = -272. Is x a multiple of 7?
False
Suppose 184 = a - 66. Let l be 7 - (-77)/(-7) - (-178 + 0). Let z = a - l. Is 23 a factor of z?
False
Let a be 4/((-4)/1) + -2. Let z be 8 + (-6)/a + -6. Suppose -z*o + 49 - 5 = 0. Is o a multiple of 11?
True
Suppose 5*j = -5*g + 315, 0*j + 2*j + g = 123. Let c = 85 - j. Suppose 2*y + 2*n = y + 25, -y = n - c. Is y a multiple of 18?
False
Let x(p) = 2*p**2 - 12*p - 26. Let i be x(-10). Is 20 a factor of (-200)/6*i/(-35)?
True
Let b = -31 - -33. Suppose 5 - 25 = -b*q. Suppose c - 50 = q. Is c a multiple of 12?
True
Let r be 3/12 + (-2989)/(-28). Let x = r + -104. Is 3 a factor of x?
True
Let q be 2/3*(-906)/(-4). Let r = q - 135. Is r a multiple of 4?
True
Let r(f) = -3*f**3 + 13*f**2 - 4*f. Let g be r(4). Let m be ((-15)/(-20))/((-1)/(-4)). Suppose g = -m*w + p + 286, 3*w = -2*w + 5*p + 470. Does 12 divide w?
True
Suppose 20*o = 13*o + 126. Suppose -91 = -o*s + 17*s. Is 13 a factor of s?
True
Let a(j) = 2*j**3 + 7*j**2 + 4*j - 10. Let y be (-5 + 0/(-9))*3/(-5). Is a(y) a multiple of 7?
True
Suppose -4*k + h + 10599 = -53523, -5*k + 4*h + 80158 = 0. Does 95 divide k?
False
Suppose 0 = o - 3*g - 4, 5*o - 4*g - 31 = 0. Suppose -o = -q + 17. Let x = 63 - q. Does 28 divide x?
False
Let k(u) = 2*u + 11. Let r be k(-7). Is 125 + 10 + r + -7 a multiple of 28?
False
Suppose 67*u = 64*u - w + 75772, 4*u + 5*w - 101033 = 0. Is 11 a factor of u?
False
Let q = 13 - 3. Let s(n) = 5*n**2 + 24*n - 56. Let m(v) = 11*v**2 + 51*v - 120. Let x(g) = 6*m(g) - 13*s(g). Is 16 a factor of x(q)?
True
Let g = -26 - -26. Suppose g = a + i - 1, -2*a = i - 4*i - 12. Suppose 0*z = -5*z + a*x + 759, 0 = -2*z - x + 297. Does 30 divide z?
True
Suppose -5*d = 3*p - 424, -2*d = 7*p - 2*p - 732. Suppose 7*c + p - 463 = 0. Does 3 divide c?
True
Let f(d) = 619*d**2 - 25*d + 27. Does 5 divide f(1)?
False
Suppose -53*t + 395893 = -0*t + 22190. Does 10 divide t?
False
Let o = 333 - 320. Suppose 11*y - o = 669. Is y a multiple of 3?
False
Suppose -52*d - 64096 = -56*d + 4*o, 0 = -2*o + 10. Is 13 a factor of d?
True
Let m(f) = 4*f - 3*f + 62 + 8*f + 3*f. Is 61 a factor of m(27)?
False
Let z = -327 - -3799. Does 16 divide z?
True
Let l(v) = 3*v**3 - 3*v**2 - 2*v + 4. Suppose -5*s + 17 - 2 = 0. Does 13 divide l(s)?
True
Suppose -5*i + 339 = 3*g, 601*i - 355 = 596*i + 5*g. Is 11 a factor of i?
False
Let n(x) = 335*x**3 + x**2 - 6*x + 5. Let i be n(1). Suppose 95 = -5*t + i. Is t a multiple of 42?
False
Suppose -17 - 18 = -w. Let u be 6/(-15) + 784/w. Suppose -5*i + 44 = 2*j, -2*i + 4*i = -3*j + u. Does 4 divide i?
True
Let h(w) = 175 - 3*w + w - 2*w. Is 11 a factor of h(-45)?
False
Let b = 10325 - 9911. Is b even?
True
Let s be (7/(21/(-9)))/(-1). Suppose 4*c - 353 = s*a, a + 0*a = 2*c - 117. Let y = -42 - a. Is y a multiple of 9?
False
Suppose -3*v + 28611 = -4*u, -15*v + 20*v + u - 47708 = 0. Is 29 a factor of v?
True
Suppose -3*g + g = -8. Suppose x = -v + 94, -g*v - 373 = -8*v - x. Is 3 a factor of v?
True
Let y(t) = -3*t**2 - 9*t - 16. Let n(b) = -2*b**2 - 10*b - 17. Let m(l) = -4*n(l) + 5*y(l). Let v be m(-4). Let o = 229 + v. Does 25 divide o?
True
Let w(b) = 210*b - 255. Let v(g) = g**2 - 3*g - 65. Let s be v(10). Does 64 divide w(s)?
False
Is 7 a factor of (-8)/18 - (-1908608)/234?
False
Let u(b) = 3*b - 14. Let w be u(49). Let y = -30 + 44. Suppose -13*k - w = -y*k. Does 38 divide k?
False
Is 65 a factor of 4*254766/24 - -10?
False
Let a be ((-2)/5)/((-95)/(-17575)). Let u = -426 + 276. Let t = a - u. Does 19 divide t?
True
Let i(d) = d**2 + 8*d + 9. Let n be i(-7). Suppose 2573 - 12783 = -10*k. Suppose 0*u - n*u + k = 5*h, 3*h - 2*u = 619. Does 41 divide h?
True
Le