?
False
Suppose -4*h + 12695 = x, 2*x - 47*h = -44*h + 25346. Is x a multiple of 5?
False
Let r be 40/(1 - (7 - 8)). Let l(d) = -22*d + 5. Let z be l(-4). Let y = z - r. Does 10 divide y?
False
Let n(w) = 1646*w - 3505. Does 67 divide n(7)?
False
Suppose v + 3*v - 134 = 5*b, -2*v - 4*b + 54 = 0. Let l be (1593 - 23)/5*(-1)/2. Let d = v - l. Does 25 divide d?
False
Suppose 81*b + 0*b - 1135369 = 8*b. Is b a multiple of 14?
False
Let q(m) = 154*m**3 - 10*m**2 - 11*m - 38. Is q(5) a multiple of 188?
False
Let w = 1495 - -2495. Does 5 divide w?
True
Does 20 divide ((-21)/(-441)*-7)/((-1)/(-20673)*-1)?
False
Let o = 802 + -788. Suppose 32*l - 2916 = o*l. Is l a multiple of 6?
True
Let n = 482 + -473. Suppose 0 = 24*a + n*a - 5379. Is 16 a factor of a?
False
Let b(a) = -a**3 - a**2 + 3. Let z be b(0). Suppose 5*k + 2*g = 896 + 504, 0 = 5*k - z*g - 1400. Let q = k - -72. Is q a multiple of 44?
True
Is 14 + (-20608 - 2)/(-9) a multiple of 96?
True
Suppose 15*p - 75 = 10*p. Suppose 17*x - p*x = 88. Let b = x + -14. Is b a multiple of 30?
True
Suppose 0 = 13*k - 20*k. Suppose -z + 0*z + 446 = k. Suppose 4*t - 2*t = z. Is t a multiple of 14?
False
Suppose -s + 3*y = -7004, 5*s + 18*y - 15*y = 35020. Is 17 a factor of s?
True
Let v(a) = -2*a**3 + 20*a**2 - 9*a - 5. Let i be v(9). Let h = 53 - 90. Let n = h + i. Does 6 divide n?
False
Let x(g) = 0 - 105*g**2 + 30*g**2 - 3*g - 3. Let r be x(-2). Let o = r + 452. Is o a multiple of 31?
True
Suppose -4*v + 2*c = -10526, -8*c + 7*c + 3 = 0. Is v a multiple of 33?
False
Let m be ((-6)/15)/(4/(-24720)*4). Suppose 0*b - b + 3*k = -m, 4*k - 12 = 0. Is 49 a factor of b?
False
Suppose -5*r = 3*f, 4*r + 4*f = 9*f + 37. Suppose -r*x - 3*y = -690, 4*y = 8*y. Is 6 a factor of x?
False
Suppose -4 - 6 = -5*l. Suppose -v = v - 2*i + l, 5*v - 2*i = 10. Suppose v*x - 120 - 48 = 0. Is 14 a factor of x?
True
Is 52 a factor of 3292 - 210/45*9/(-6)?
False
Let t(f) = -f**3 + 10*f**2 - 23*f - 5. Let s be t(6). Let z(o) = 600*o**3 - 2*o**2 + 4*o - 3. Is 28 a factor of z(s)?
False
Suppose -121848 = 12*q - 833244. Does 21 divide q?
True
Suppose 0*r + 27 = 3*r. Let j(n) = 140*n + 1648. Let i be j(-8). Suppose 15*w - i = r*w. Does 11 divide w?
True
Let m be (-5 - -9)*5/4. Suppose 4*h - 4 = -2*d, 0 = m*h + 2*d - 7 - 0. Suppose h*f = -2*q + 5 + 78, 4*f - 4 = 0. Is q a multiple of 20?
True
Let q(b) be the first derivative of -3*b**2 - 37*b + 35. Suppose -33 = 5*h - 4*o + 13, h + 4*o = -14. Is q(h) a multiple of 13?
False
Let r be (3/(-9))/(140/48 - 3). Suppose -r*w - 3*d + 54 = -12, -4*d = -4*w + 80. Does 5 divide w?
False
Let i = 199 - 129. Let g = -51 + i. Does 19 divide g?
True
Suppose -6*f + 98 - 86 = 0. Suppose r + 634 = -4*i + 3215, 4*i + f*r = 2578. Is 26 a factor of i?
False
Suppose 5*o - 15 = 0, 5*a - 18 = -5*o + 12. Suppose a*m = -14*m + 6120. Is m a multiple of 15?
True
Suppose 3*b = 2*p + 1923, -3865 = -5*b - 4*p - 682. Let o = -467 + b. Is 4 a factor of o?
True
Suppose -2*x = 2*x + 2*w - 416, 0 = 2*w. Let h be -3 - (0 - 4 - 3/1). Suppose -5*d + h - x = -5*b, 32 = b + 3*d. Is b a multiple of 16?
False
Does 32 divide (1716/(-33))/(4/(-320))?
True
Suppose 2*u + 2*u - 10 = -2*s, 0 = -5*u + 4*s - 7. Let v be 28130/(-12) - u/(-6). Is v/(-26) + (-8)/52 a multiple of 10?
True
Let k = 1258 - 628. Suppose -2*n = 3*n + 3*t - 34, -5*t = 4*n - 22. Does 14 divide k/n - (-11)/44?
False
Suppose 0 = 4*m - s + 6*s - 8, 4*s - 2 = -m. Let h be m*(-6)/(24/46). Let u = h + 85. Does 18 divide u?
False
Let x(q) be the second derivative of -q**3/3 + 11*q**2/2 - q + 129. Let f = 12 + -26. Is x(f) a multiple of 9?
False
Let w be (2/(140/(-50)))/((-2)/14). Suppose w*j = 5*b + 1220, -3*b = 3*j - 8*b - 722. Is j a multiple of 3?
True
Let c = -158 + 228. Suppose a - c = -57. Suppose 10*x = a*x - 621. Is 21 a factor of x?
False
Suppose 19*j - 2754 - 5321 = 0. Does 5 divide j?
True
Let w(o) = 50*o + 35. Let k be w(5). Suppose -t + 147 = 2*q, 2*q + 2*q = t + k. Is 4 a factor of q?
True
Is (3/6)/((-2 + -13)/(-5730)) a multiple of 5?
False
Suppose -2*c + 94 = 24. Let o be ((-42)/c)/((-4)/90). Suppose -2*l = -u + 1 + 26, 4*l - o = -u. Is u a multiple of 4?
False
Suppose -23040 = -751*w + 735*w. Is 8 a factor of w?
True
Suppose -5 + 23 = 6*m. Suppose 2*o = m*o + 3*l - 19, 4*l + 12 = 4*o. Suppose -o*x = -423 - 284. Is 22 a factor of x?
False
Let h(s) = 7*s - 37. Let r be h(15). Let g(z) = -r*z + 0*z**3 + z**3 + 6*z**2 + 71*z - 4. Does 6 divide g(-5)?
True
Let h = 12101 + -10764. Is 2 a factor of h?
False
Let b(k) = 3*k**2 + 17. Let m = 40 + -45. Let n be b(m). Let x = n - 28. Does 10 divide x?
False
Suppose 4*d + 3*m + 33 = 0, 0*d - 4*m - 5 = d. Let g(k) = -11*k - 73. Is 13 a factor of g(d)?
True
Suppose 0 = 5*v + 5, -q + 3*v + 3922 + 894 = 0. Is q a multiple of 14?
False
Suppose 60*w - 5*r = 57*w + 6761, -4*r + 20 = 0. Does 58 divide w?
True
Suppose -u + 5*u - 4 = 0, 3*u - 2682 = -3*l. Let o = -79 + l. Does 37 divide o?
True
Let i(l) = -259*l + 3. Suppose j - 1 = -4*a, a + 0 = -2*j + 9. Let u be i(a). Let o = u + -166. Is o a multiple of 32?
True
Let k = 19035 - -7509. Is k a multiple of 84?
True
Suppose -56625 - 62686 - 48989 = -12*n. Is n a multiple of 33?
True
Let x be 296/(-10)*(4 - (-165)/(-10)). Let a be 2/2*1 - (x - -6). Let b = 588 + a. Is 33 a factor of b?
False
Does 104 divide (-331 + 23 + -8)*(0 + -234)?
True
Suppose 4*w = 4*r + 2*w + 80, r = -w - 23. Let x(g) = -g**3 - 22*g**2 - 27*g - 15. Let q be x(r). Let c = q + -9. Is 17 a factor of c?
True
Let j(m) = -6*m**2 + 8*m - 4. Let k(i) = -19*i**2 + 23*i - 12. Let z(r) = 8*j(r) - 3*k(r). Is 11 a factor of z(2)?
False
Suppose 23*j = 50636 + 38144. Is 89 a factor of j?
False
Suppose 24 = -148*g + 152*g. Suppose 0 = 3*u - g, o - 3*u = -6*u - 75. Let q = 111 + o. Is 3 a factor of q?
True
Let s = -476 + 1025. Is 29 a factor of ((-2)/(-3))/(1/s)?
False
Let v = -8930 + 17919. Is 101 a factor of v?
True
Suppose 14*m = 4*m - 600. Let t = -84 - m. Is 4 a factor of 113/4 - (-6)/t?
True
Let q be (-91)/(-13) - (0 + 0). Suppose -q*j = 5*j - 864. Is 6 a factor of j?
True
Let f(l) = l**3 + 5*l**2 - 9*l - 38. Let y be f(-6). Let d = y - -84. Suppose 18 = w - d. Is w a multiple of 31?
False
Let d(z) = 1040*z + 5. Let k be d(1). Suppose 5*l = -4*f - 1405, -5*f + 2*f + 5*l = k. Let m = -165 - f. Does 36 divide m?
False
Suppose 17*c - 18761 - 26561 = 0. Suppose 14*x + 174 - c = 0. Does 5 divide x?
False
Let s(n) = -n - 15. Let t be s(-5). Does 60 divide 83*2/(t/(-55))?
False
Suppose 0 = q - p - 20 + 6, 3*q - 37 = 2*p. Suppose y - 2*r - 6 = 0, -3*r + 90 = 5*y - r. Is (-100)/y*-15 - q/12 a multiple of 20?
False
Suppose j - 1708 = 3242. Let k = j + -3524. Does 23 divide k?
True
Let j be 2/(-6) + (-58)/(-3). Let g = 20 + j. Let z = g - 32. Is z a multiple of 4?
False
Suppose -3*m - 4*i + 5600 = 0, 3*m - 3881 = 2*i + 1743. Suppose -74*c - m = -80*c. Is 5 a factor of c?
False
Suppose 0*p - 36 = -9*p. Suppose -p*d + 60 = -4*v, -2*d + 0*v - 2*v + 42 = 0. Does 2 divide d?
True
Suppose 56*q = 54*q + 2*t + 17872, -2*t - 35752 = -4*q. Is q a multiple of 30?
True
Suppose 1932 = 7*n - n. Let r = 56 + n. Suppose 0 = -8*v + v + r. Is v a multiple of 6?
True
Suppose -d + 5*t = -2200, 43*d + 4435 = 45*d - 3*t. Is d a multiple of 44?
False
Let t be (2 + -15)/((-5)/(-5)). Let k = 157 - t. Suppose 4*g + 0*g - k = -2*p, 4*g = 2*p - 202. Does 12 divide p?
False
Let r(x) = x**2 - 6*x - 6. Let i be r(8). Let t(v) = 9*v - 10. Let y be t(i). Suppose 2*w = w + y. Is w a multiple of 16?
True
Suppose -43*a = -30*a - 884. Suppose d + a = 12*t - 10*t, 3*t + 3*d = 93. Is 31 a factor of t?
False
Let r(j) = 5*j**2 + 82*j - 38. Let f(l) = 15*l - 21. Let k be f(0). Does 8 divide r(k)?
False
Suppose -8568 = 24*h - 42*h. Is 2 a factor of h?
True
Suppose 3*f + 32 = 143. Let u = 40 - f. Suppose -4*y + u*y + 15 = 0. Does 5 divide y?
True
Let u = 366 + -368. Is (177/15*u)/((-4)/20) a multiple of 27?
False
Suppose -132*a = -80*a - 567424. Is 124 a factor of a?
True
Let p = -1053 + 2010. Does 4 divide p?
False
Let j(c) = 2*c**2 - 20*c - 9. Suppose 0 = u + 4 - 12. Let q be j(u). Let l = q - -85. Does 4 divide l?
True
Suppose 0 = -3*v + 4*b + 6555, -2*v + 2*b + 4048 = -322. Suppose -v = -24*d + 19*d. Does 19 divide d?
True
Let l = 277 + -258. Is 73 a factor of (-416