 - 4 = -3*a, -3*h + 49 = a. Is h a multiple of 8?
False
Let f be (-2 - -1*6)*(-36)/8. Let a be (-12)/f + 878/6. Suppose 39 = l - 4*n, -2*l = -5*l - 3*n + a. Is 9 a factor of l?
False
Let l(f) = 2*f - 44. Let k be l(25). Is 13 a factor of (-16)/(-2) - k - -37?
True
Let n = -40 + 46. Let k(s) = -6 + 2 - 35 - 4 + n*s. Is k(11) a multiple of 2?
False
Suppose 2*w + 2*f - 20 = 0, -f - 3 = -w + 7. Let x be w/(-10)*(-1 - (-18)/(-3)). Suppose 0 = -x*a - 3*a + 200. Does 17 divide a?
False
Let k(t) = -t**3 + 9*t**2 + 22*t + 5. Let g = -113 + 124. Let b be k(g). Let z = b - -31. Is 12 a factor of z?
True
Suppose -5*f = 10*f - 3495. Let x = 285 - f. Does 26 divide x?
True
Let x(q) = -q**3 + 61*q**2 - 677*q - 44. Is x(43) a multiple of 41?
False
Let i(n) = 642*n - 1011. Is 34 a factor of i(10)?
False
Suppose -10 = -2*d - 0*d, -2*y - 576 = 4*d. Let c = y + 710. Is 16 a factor of c?
False
Let t(j) = j**2 + j - 4. Let r be t(-2). Let d be (-1 + 2)/(r/(-42)). Does 24 divide 3324/d - (-4)/(-14)?
False
Let a(w) = 241*w**2 + 151*w - 1100. Does 37 divide a(7)?
True
Does 313 divide (-6)/(-21) - 2096729/(-203)?
True
Let j(y) = 2*y - 4*y**2 + 2*y**2 - 7*y + 8*y + 2. Let l be j(-2). Let k = 1 - l. Is 13 a factor of k?
True
Let t(m) = m**3 - m**2 + m + 3. Let z(x) = 7*x + 2. Let c be z(-4). Let h be c*3/(-30) + 4/10. Does 8 divide t(h)?
True
Let w(y) = -y**3 - y**2 + 11*y + 32450. Is 22 a factor of w(0)?
True
Let j(s) = -s**2 - 4*s + 21. Let w be j(-7). Suppose 36*p - 34*p - 76 = w. Is 38 a factor of p?
True
Suppose 29*t - 33*t + 4*k + 18200 = 0, 0 = 3*k + 6. Is 41 a factor of t?
False
Is 69 a factor of (276/14)/(14/11956)?
True
Suppose 4*h = 20, -4*z = -0*z - 4*h - 36808. Is z a multiple of 6?
False
Let y(t) = 34*t**2 + 88*t + 254. Does 37 divide y(-3)?
True
Let w(z) be the third derivative of z**5/20 - z**4/12 - 11*z**3/3 + 69*z**2. Does 15 divide w(-7)?
False
Suppose 0 = 705*i - 707*i + 22. Suppose 17925 = i*r + 14*r. Does 21 divide r?
False
Let q(p) = -97*p - 2122. Is q(-89) a multiple of 14?
False
Suppose 0 = -4*p + 9*b - 11*b + 38448, 3*p = 4*b + 28836. Does 89 divide p?
True
Let w be (-1*(-4)/(-4))/(2/(-8)). Suppose 2*r - 75 = 2*p - 285, -3*p = w*r - 294. Suppose 4*m - 608 = -4*q, 3*q - p = -4*m + 356. Is 10 a factor of q?
True
Let h = 1081 + -770. Is h a multiple of 21?
False
Let y(o) = -o - 8. Suppose -7*a = -a + 30. Let s be y(a). Let h(r) = 16*r**2 - 7*r - 20. Is 29 a factor of h(s)?
True
Suppose -2 = j, -3*j = -4*m - 0*j + 2. Let r be (20*m)/4 + 9. Suppose -r*d - 57 = -245. Is 6 a factor of d?
False
Suppose -511 = 9*v - 1681. Let l = 585 + v. Is l a multiple of 11?
True
Let s be (1/3)/((-2)/(-18)). Let a be ((-90)/(-4))/(s/18). Suppose 0*j + 3*j - f = 125, 5*f = -4*j + a. Is 10 a factor of j?
True
Let o(w) = -w**2 + 16*w + 6. Let l be o(16). Suppose 5*n - 2*u = 14, l*u - u = -5*n + 35. Suppose -4*m = m - 2*z - 398, m - n*z = 76. Is m a multiple of 11?
False
Suppose 1522*x = 1518*x + 1204. Is 2 a factor of x?
False
Let i(k) be the third derivative of -613*k**4/24 + k**3/2 - 3*k**2. Let n be i(-1). Suppose -2*u - 5*u + n = 0. Is 22 a factor of u?
True
Let h = -14379 - -20175. Does 28 divide h?
True
Let l(h) = -4*h - 27. Let x be l(-8). Let a be 1292/20 - (-2)/x. Suppose -3*o + j = -a + 3, 4*o - j - 82 = 0. Is 10 a factor of o?
True
Let c be 15*(15/(-5) + 4). Suppose s = 5*o - 10, -3*o - 2*o = 4*s + c. Suppose 5 - o = h. Is h even?
True
Let h = -71 - -72. Does 4 divide h - 3 - 90/(-9)?
True
Let d = 14419 + -10393. Is 33 a factor of d?
True
Suppose 0 = 90*m + 7*m + 23*m - 474240. Is 38 a factor of m?
True
Suppose -3*n + w = -4*n + 1, -5*n - 2*w + 14 = 0. Let t = -1784 + 1753. Is t/(-2 - -1) + n a multiple of 5?
True
Suppose -460*l = -472*l - 2964. Let r = l + 469. Is r a multiple of 3?
True
Let y(p) = p**3 + 9*p**2 - 6*p - 4. Let b be -10*(-2)/(-3) + (-8)/(-12). Does 14 divide y(b)?
True
Suppose -4*u = -20*j + 23*j - 116, -5*j = -4*u - 204. Suppose 0 = -2*k - v - j + 164, -3*k + 186 = v. Is k a multiple of 2?
True
Suppose -10*x - 5*d - 4745 = -20*x, 0 = -2*x + 5*d + 937. Is 6 a factor of x?
False
Suppose 3*w - 7163 = 2*u + 5799, w + u - 4329 = 0. Is 46 a factor of w?
True
Let v(f) = f**3 - 6*f**2 - 5*f - 5. Let y be v(7). Suppose -5*g + y*g = -5*s + 11, 3*s = g + 10. Suppose s = -2*d + 55. Is 19 a factor of d?
False
Suppose -2*l = -5*l - 345. Let f = l - 5. Is (f/(-32))/((-2)/(-8)) a multiple of 4?
False
Let b(x) = 16*x**2 - 12*x - 3. Suppose -4*u - 3 = -g, -g = 4*u - 7 + 4. Is b(g) a multiple of 21?
True
Let m = -659 + 664. Suppose m*s + 4*u + 230 = 2274, 5*u + 1668 = 4*s. Does 22 divide s?
False
Let j(l) = 85*l - 334. Does 7 divide j(30)?
False
Suppose 3*w - 37598 = 4*a, a - 12979 = -5*w + 49646. Does 5 divide w?
False
Let b(s) = 12*s**2 - 6*s - 24. Is 9 a factor of b(-8)?
True
Let u be (-6 - -5)/((-2)/902). Let k = -199 + u. Is k a multiple of 12?
True
Let r(c) = 126*c**2 + 10*c + 51. Is r(-5) a multiple of 23?
True
Suppose 0 = -5*h, 0*m + 5*h + 2412 = 3*m. Suppose -12*p + 2640 = -m. Is 25 a factor of p?
False
Suppose 0 = o + 40 - 35. Is 1/(2/((297 - o)*3)) a multiple of 34?
False
Let t = -73 + 119. Let l = 186 - t. Is l a multiple of 20?
True
Suppose 0 = 2*q - 682 + 136. Suppose q + 585 = 11*z. Let j = z - -95. Is 20 a factor of j?
False
Is 11 a factor of ((60/140)/(2/(-154)))/(3/(-139))?
True
Suppose -51*u + 606 = -y - 52*u, -5*y - 3042 = -u. Does 8 divide (3/(-6))/(4/y)?
False
Suppose 342*a - 1077048 = 270*a. Is a a multiple of 100?
False
Let o(d) = 2*d + 31. Let s be o(-7). Let j = 24 - s. Is 37 a factor of (-2)/j - (-5109)/21?
False
Let m = 678 - 677. Is 7 a factor of (170 + -19)*((-12)/(-2) + m)?
True
Suppose 5*r - 983 = -2*n, -414 = -4*r - 2*n + 372. Suppose -17*o + 25 = -12*o. Suppose -o*a = -r - 23. Is a a multiple of 30?
False
Suppose -18*v = -15*v + 4*c - 22020, 29416 = 4*v - 4*c. Does 22 divide v?
True
Suppose -5*h - 11214 = -2*r, 180*r - 2*h + 16878 = 183*r. Is r a multiple of 26?
False
Let j be 474*(-8)/32*2/1. Let t = -124 - j. Does 9 divide t?
False
Let y be (16 + (-6 - -3))*-1. Let a be (-13 - y)/(-2*(-1)/2). Suppose -631 = -5*x - a*x + 2*z, -5*x = -3*z - 629. Does 24 divide x?
False
Let c = 2855 + -300. Suppose 14*x - 3*i - 2553 = 9*x, -5*x + c = -5*i. Is 30 a factor of x?
True
Let s = 32 + 100. Let a = -21 + 23. Suppose a*l + s = 6*l. Does 11 divide l?
True
Let a(o) = 29*o**2 + 39*o + 206. Is 200 a factor of a(-17)?
False
Let w(s) = -277*s - 960. Is w(-100) a multiple of 70?
True
Let x be ((-18)/90)/(2/(-40)). Is (-6)/x*(-2)/(-3) + 59 a multiple of 7?
False
Suppose -286*h + 285*h = 2. Let k = 209 - h. Is 13 a factor of k?
False
Suppose -x - 5 = 0, 0 = 5*t - 4*x - 11639 - 10046. Is t a multiple of 17?
False
Suppose 7*l - 9 = 5. Suppose -g - 459 = -2*d, -d + 59 = l*g - 163. Is d a multiple of 8?
False
Let m = 7104 + 7652. Does 7 divide m?
True
Let l(i) = -i + 2*i**2 - i - 6 - i**3 - 7*i**2 + 2*i**2. Let o(h) = h + 8. Let p be o(-14). Does 19 divide l(p)?
True
Let b(u) = 1501*u**2 + u + 4. Is b(1) a multiple of 3?
True
Let f(u) = 88*u + 21708. Is f(0) a multiple of 11?
False
Let v be (-6 - -4)*(-6)/(-4). Is 3258/8 - v/(96/(-40)) a multiple of 14?
True
Let k = 137 + -140. Is 37 a factor of (-223)/k + (-7)/21?
True
Suppose 9*l - 7*l = 8. Let g(d) = d**2 + 5*d + 4. Let t be g(-4). Suppose t = l*m - 3*m - 63. Is 21 a factor of m?
True
Is 27 a factor of 324*(-156)/234*(-678)/16?
True
Suppose -2*a + 86 = 4*y, 2*y + 20 = a - 7. Suppose d - 118 = a. Does 9 divide d?
True
Suppose 0 = 3*k + 4*p - 47122, 2*p - 8 = -18. Does 14 divide k?
False
Let c = 243 + -226. Let q(o) = o**2 - 14*o - 41. Is 2 a factor of q(c)?
True
Let w(f) = 1210*f**2 + 85*f - 227. Does 132 divide w(3)?
False
Let n = 97 + -95. Suppose p - 2*p + n = 0. Let m(x) = 36*x + 8. Is m(p) a multiple of 13?
False
Let c(o) = 9*o**2 - 3*o - 2. Let w = -122 - -121. Let j be c(w). Is ((-28)/j)/((-2)/260*2) a multiple of 13?
True
Let j(u) = u**3 - 5*u**2 + 24*u + 198. Does 126 divide j(24)?
True
Let c(h) = 9*h**3 + 7*h**2 - 2*h + 3. Let d be c(5). Let s = d - 323. Is 35 a factor of s/4 + ((-2)/(-4) - 0)?
False
Suppose 0 = -24*o + 19*o + 615. Suppose x - 5*z + z - o = 0, 3*x - 5*z = 397. Is x even?
False
Let y(p) = -9*p + 85. Let t be y(-9). Let z = -42 + t. Does 62 divide z?
True
Suppose -66*q