t k = -22 + f. Is 2 a factor of k/(-66) - 202/(-22)?
False
Let n = -1196 - -9446. Does 30 divide n?
True
Let d be (17/(-3) - -3)*9/(-12). Let f(o) = 15*o**2 + 5*o - 12. Does 58 divide f(d)?
True
Suppose -20*v + 43385 = -9235. Is 2 a factor of v?
False
Let o = -175 - -87. Let k = o - -106. Is 8 a factor of k?
False
Let s = -271 - -473. Let k = s - 171. Is k a multiple of 26?
False
Suppose -z + 4*g - 10 = 0, 4*g + 19 = 5*z + 5. Suppose -h - 2*j + 19 = 0, -5*j + 67 = 5*h - 2*j. Suppose -z*s + h*s = 755. Is s a multiple of 40?
False
Suppose 2*z = 115 + 585 + 934. Is 3 a factor of z?
False
Let n be (-11)/(-44) - (1 + (-55)/4). Let u(z) = z**3 - 11*z**2 - 15*z + 1. Is u(n) a multiple of 36?
True
Let g be 1*2/9 + 1032/216. Suppose 0*o - 3*o - g*t = -34, 0 = -3*o + 2*t + 20. Let x(q) = 2*q**2 + 2*q - 17. Does 13 divide x(o)?
False
Let q be (20/6)/(-6 - 140/(-21)). Suppose h - q*u + 4 = -3, -3*h = 5*u + 61. Is h/(-1 - -5 - (-116)/(-28)) a multiple of 17?
True
Let c(i) = i**2 + 34*i + 8. Let x be c(-18). Let q = -511 - x. Let m = q + 544. Is m a multiple of 51?
False
Let c = 8 - 12. Let a be (4 + 30/c)*-16. Let y = a + -10. Is 23 a factor of y?
True
Is (-2565)/54*2/10*1958*-1 a multiple of 13?
False
Suppose -3*a + 1553 = -15*a + 12197. Is 5 a factor of a?
False
Let o(a) = 2*a + 14. Let m be o(-6). Let l be -1 + -1 - (m - 2). Is 3 a factor of (15/(315/(-98)))/(l/9)?
True
Suppose -3*p = -8*p - 11*p + 156128. Does 41 divide p?
True
Let w be 1 - (-20)/(-24) - 15782/12. Let r = w + 2430. Suppose 7*n - r = 2*n. Is 42 a factor of n?
False
Let x = -7 - -13. Let z = x + -5. Is -3*(-515)/(-15)*(z + -2) a multiple of 25?
False
Let v be (12732/16)/(-3) + (-4)/(-16). Let j = 515 + v. Does 25 divide j?
True
Suppose -d + 8 = 5*l, -6 = 2*l - 5*l. Let k(i) = -4*i**3 - 2*i - 8. Is k(d) a multiple of 14?
True
Suppose -104*r + 102*r = -80. Let f be r*2 - (-8)/2*-1. Let y = f - 54. Is y a multiple of 4?
False
Suppose -18234 = -2*v + 3*q, 0 = 21*v - 25*v - 4*q + 36448. Does 31 divide v?
True
Suppose -16*v + 13*v = -6. Suppose 5*r = 2*f - 470, 891 = 4*f - v*r - 81. Is f a multiple of 49?
True
Let g(s) = -6*s + 40. Let y be g(6). Suppose 3*a - 5 - 10 = 0, 0 = y*l + a - 1829. Suppose -5*f + k + 784 = -0*k, 3*f - l = -3*k. Does 13 divide f?
True
Let k be (6/2)/(24/15 - 1). Suppose -84 = -k*l + 736. Suppose 0 = 3*o + 12, 193 = 3*w + 3*o - l. Is 36 a factor of w?
False
Let h(w) = w**3 - 55*w**2 - 21*w - 138. Does 34 divide h(63)?
False
Suppose -3*o - 2*f = -2 - 15, 4*o + f = 16. Let l(q) = -q**3 + 4*q**2 - 3*q + 3. Let z be l(o). Suppose -z = -s + 7. Is 10 a factor of s?
True
Suppose 5*n - 46 = 3*d, d = 3*d - 6. Suppose 3108 = -n*s + 17*s. Is s a multiple of 22?
False
Suppose 9*c - 99 = -2*c. Is 142 + (c + -6 - (-2)/(-2)) a multiple of 9?
True
Suppose 6*g - 5*q = 2*g + 153, 3*g + 4*q - 76 = 0. Suppose -4*y - 26 = -4*f - 6, 2*y + f - 2 = 0. Let r = g - y. Is 3 a factor of r?
True
Let w = 3 + -1. Let l be 15 - (-9 - -7)*-5. Suppose -l*b + 228 = 4*c, 261 = 4*b - w*c + 89. Does 22 divide b?
True
Let h be (1300/(-50))/((-1)/37*2). Let s = h + -278. Does 2 divide s?
False
Let b = 11034 - 10814. Does 6 divide b?
False
Let p(g) = 11*g**2 - 124*g - 807. Does 113 divide p(-7)?
False
Let b be 46/10 + 84/(-140) - 7. Is 12 a factor of (b - 49*-11)/1?
False
Let m = -58924 + 84862. Is 7 a factor of m?
False
Let u(w) = 93*w**2 + 14*w + 51. Is u(-6) a multiple of 17?
True
Let f = -987 + 12795. Does 123 divide f?
True
Let d(a) = 9*a - 102. Let k be d(9). Does 10 divide ((-24)/20)/(k/1540)?
False
Suppose 3269*r - 6313944 = 3087*r. Does 59 divide r?
True
Suppose 5*z + 2*j - 33723 = 0, -39*z + 35*z + 2*j + 27000 = 0. Is z a multiple of 13?
True
Let u(w) = 32*w**3 - 5*w**2 - 8*w. Let v be u(-4). Is 10 a factor of -8*1/(-28) + v/(-14)?
True
Suppose 0 = -3*l - 2 + 8. Suppose k - l*m + 80 = -k, 3*m + 138 = -3*k. Let o = -21 - k. Is o a multiple of 11?
True
Let a(j) be the third derivative of j**6/120 + j**4/24 - j**3/6 + 6*j**2. Let g = 41 + -38. Does 2 divide a(g)?
False
Suppose 346*j - 20031979 = -7532729. Does 125 divide j?
True
Let c(w) = 45*w**2 + 11*w + 1. Let y be (-1 + -1)*(-105)/(-42). Let i be c(y). Suppose 11*n + 257 = i. Is n a multiple of 9?
False
Suppose 5*b = -m + 11, -m - m - 8 = 0. Suppose -3*y + 5*u + 1750 = 0, -b*u - 2 = 4. Is 10 a factor of y?
True
Let a = -68 + 73. Suppose 2*m + 2256 = a*p, -11*p = -12*p + 3*m + 446. Is 48 a factor of p?
False
Let b = -81 + 79. Let h be (3 + -7)/(b/(-43)). Does 4 divide h*9/(-24) - 3/12?
True
Suppose 4*t + 5*g - 87609 = 0, -109455 = -5*t + 284*g - 279*g. Is t a multiple of 167?
False
Suppose 3*s + 3667 = 3*p - 4673, -3*p - 4*s = -8361. Is p a multiple of 15?
False
Let i be 180/8*9/(81/264). Let p = i + -327. Is 9 a factor of p?
True
Let w = -269 + 594. Does 29 divide (1 - 1)/(-3) + w?
False
Let w(h) = -2*h + 25. Let t be w(5). Let x be (2 - 6) + t + -3 + -1. Suppose 0 = x*a - 90 - 106. Is 4 a factor of a?
True
Suppose 0 = 5*c - 11*c - 60. Let y be (-2)/c - -59*(-4)/(-20). Is (y - 12) + 1*6 a multiple of 3?
True
Suppose 2 = -5*v + 4*u, 3*v = 6*v - 3*u + 3. Suppose 3*h + 4*c = 920, -c - v + 1 = 0. Is h a multiple of 28?
True
Suppose 40*s = 39*s - 5*m + 5319, -m = 3*s - 15887. Is 76 a factor of s?
False
Let z(x) be the third derivative of x**5/5 + x**4/8 - 10*x**3/3 - 153*x**2. Does 9 divide z(4)?
False
Suppose 0 = 4*b - 7*b + 45. Suppose 26*z = 29*z + b. Does 10 divide (5/z - -1) + 66?
False
Let z(s) = 24*s + 22. Let i be z(3). Let l = -97 + i. Does 41 divide (200/(-6) + 0)/(l/9)?
False
Suppose 6336 = -259*q + 263*q. Is q a multiple of 5?
False
Let z(m) = -m**3 - 25*m**2 - 75*m - 426. Is z(-39) a multiple of 103?
True
Suppose -4*n = -6*n + 870. Suppose n = -17*k + 22*k. Does 7 divide k/((-9)/(-2) - 3)?
False
Suppose -4*a + 12 = -2*o, -2*a + 0 = o - 2. Suppose -3*z - z = 4*n + 36, -5*z - a*n - 36 = 0. Is 11 a factor of (20/15 - z)/(2/15)?
True
Let r(u) = -38 - 4*u + 11 - 14 - 7 + 90*u. Is r(8) a multiple of 40?
True
Let x = 968 - -1271. Is x a multiple of 2?
False
Suppose 274*s + 319200 = 295*s. Is s a multiple of 25?
True
Let p(c) be the first derivative of -c**4/4 - 4*c**3 + 10*c**2 - c + 9. Let b = 138 + -152. Is p(b) a multiple of 13?
False
Let n be (-3 + 5 - 1) + 2. Let l = n + 14. Suppose 0 = h - l - 20. Is 3 a factor of h?
False
Let a = 1 - -9. Suppose -6*u = 5*i - 140, -4*i = 40*u - 39*u - 93. Suppose i = t + a. Is t a multiple of 3?
True
Suppose -260443 = -7*l - 73459. Is l a multiple of 168?
True
Suppose -348*a = -692*a + 398*a - 1582632. Is 231 a factor of a?
False
Let p be (-290)/(-3)*33/22. Suppose 3*d = 24 - 15. Suppose -b - 8*w + d*w = -p, -4*w - 511 = -3*b. Is b a multiple of 15?
True
Suppose 4*d = -3*l + 3545, 4*d + 388 = l - 783. Is l a multiple of 3?
True
Does 2 divide (-3 - 3)/(9/(-1560)) + (7 - 8)?
False
Let u(j) = -j + 1. Let i(d) = -12*d + 3. Let q(o) = i(o) - 5*u(o). Let s(f) = f**2 + 13*f + 17. Let r be s(-2). Is 23 a factor of q(r)?
False
Let i(m) = -4*m**2 + 18*m + 5. Let n = -47 - -41. Let o(h) = 5*h**2 - 19*h - 5. Let z(c) = n*i(c) - 5*o(c). Is z(-6) a multiple of 17?
False
Let p(g) = -11*g + 2. Let v be p(1). Let a be (6/5)/(v/30). Let o = a + 8. Does 4 divide o?
True
Let l = 39 - 40. Let m(a) = -a. Let q(k) = -20*k. Let f(o) = l*q(o) - 2*m(o). Does 26 divide f(6)?
False
Suppose 13*k = 14*k - 5*o + 7, 2*o + 8 = 4*k. Suppose -3*y + 999 = k*c, c + 34*y - 321 = 37*y. Does 22 divide c?
True
Suppose -1726 = -2*r + 2*j, -4*r - 5*j + 2565 = -r. Let z = r - 314. Does 21 divide z?
True
Let c = 14874 - 2610. Is c a multiple of 8?
True
Let t = 2921 + 4131. Is t a multiple of 26?
False
Suppose 14580 = -99*k + 103*k. Suppose -5*z - 10*z + k = 0. Is z a multiple of 9?
True
Let v(c) = 2776*c**2 - 30*c - 67. Is v(-2) a multiple of 137?
True
Let k = -31 - -42. Let c = k - 35. Is 2 a factor of c/(-4)*(-2)/(-6)?
True
Let m(p) = -135*p + 179. Suppose 2*r + 94 = 72. Is m(r) a multiple of 13?
True
Suppose -5*l = 4*s - 24486, -4*l - 15*s + 19584 = -13*s. Does 44 divide l?
False
Let a = -52 + 107. Suppose 0 = -59*p + a*p + 740. Is p a multiple of 14?
False
Suppose -5*g - 2 + 27 = 0. Suppose 5*n - 95 = -4*m, -7*n + 2*n - g = 0. Is ((-20)/m)/(2/(-185)) a multiple of 10?
False
Let v be ((-32)/56)/((-2)/7). Suppose v*k + 0 = -2*u + 4, 2*u = k - 2.