 1241 = 0, -3*d = -5*y + 1549. Suppose 25*x = 18*x + y. Let t = 1 + x. Is t a multiple of 15?
True
Let s(z) = 2*z + 18. Let l be s(-3). Suppose -l*v + 3891 = -4797. Is v a multiple of 41?
False
Suppose 0 = -3*j - 5*u + 17, -2*j = 2*u - 3*u - 7. Suppose j*c = 5*h + 78, -h - 19 - 1 = -c. Is c + (1 - (3 + -1)*1) a multiple of 21?
True
Is ((-3741)/12)/((-179)/2148) a multiple of 43?
True
Let j(g) = -11*g - 142. Let p(v) = -20*v - 282. Let a(s) = -13*j(s) + 6*p(s). Is a(11) a multiple of 24?
False
Let a(r) = 6*r**2 - 16*r + 4. Let k be a(2). Let b(j) = 13*j**2 - 6*j - 18. Is 8 a factor of b(k)?
False
Let y(n) = 2*n**3 - 7*n**2 - 30*n + 14. Let w be 1/(-4) - 296/(-32). Is 25 a factor of y(w)?
False
Is 118 a factor of (-3)/6*(-42717 - (2 + 2 + -5))?
True
Let n = 59 - 60. Does 3 divide n/(-3)*237 - 5?
False
Let y = 56 + 7. Let n = y + -25. Is 23 a factor of (n/(-3))/(2*(-2)/48)?
False
Suppose 4*j + 21 = 1, 2*j = 5*h - 210. Is h a multiple of 40?
True
Suppose 0*m - 20608 = 7*m. Let q = m - -1529. Does 14 divide (-6)/10 - q/25?
True
Let f = -370 + 379. Suppose -2*r = -f*r + 1379. Is 5 a factor of r?
False
Let m(b) = 11 - 19*b**2 + b + b**3 - 2*b + 10. Let j be m(19). Suppose 6*d + j*d = 408. Is 17 a factor of d?
True
Let v be (96 - 10)/((-2)/3). Let u = v - -209. Does 8 divide u?
True
Let f(c) = 129*c**3 + 8*c - 8. Let h(q) = q - 17. Let u be h(-7). Let m(d) = -645*d**3 - 39*d + 39. Let i(z) = u*f(z) - 5*m(z). Is 10 a factor of i(1)?
False
Let z = 43117 + -13789. Is z a multiple of 8?
True
Let m = -7747 - -11924. Is m a multiple of 49?
False
Is 26 a factor of ((-40)/(-12))/(45/19845)?
False
Does 99 divide (-871 - -1333)*((-4)/10 - (-2428)/70)?
True
Let t(j) = -j**3 + 11*j**2 + 15*j + 29. Let a be t(12). Let w = 226 - a. Is 7 a factor of w?
True
Let b = 19072 + -10944. Is 254 a factor of b?
True
Let k = 324 + -316. Let x(m) = m**3 + 2*m**2 + 12*m + 32. Is 51 a factor of x(k)?
False
Suppose -1 - 3 = 2*d - 3*m, 0 = d - 4*m + 12. Suppose 5*u - z = 5393, 3*u - 8*z + d*z - 3229 = 0. Is u a multiple of 27?
False
Let c = 76 + -55. Suppose 10*x - 9 = c. Is 2 a factor of -38*(6/(-4))/x?
False
Let m be 22 - 15/((-45)/24). Suppose -m*x + 28*x + 5*z = -1551, -5*x = -4*z - 3903. Is x a multiple of 9?
True
Is 16 a factor of (-2787)/5*(-18 + -62)?
True
Suppose 2*n - 3*h + 101 = 0, 5*h - 149 = -0*n + 3*n. Let d = 55 + n. Is 20/12*d + 215 a multiple of 15?
True
Suppose 2*v = -4 - 62. Let k = v - -67. Suppose -12*s = -k - 62. Is 2 a factor of s?
True
Let x = 34 + 34. Let c = x - 52. Suppose -18*i + c*i + 176 = 0. Is 22 a factor of i?
True
Let u be (12/(-18))/(2/(-129)). Suppose u - 52 = -3*s. Suppose -2*m = -3*i + 54, 0 = i + 4*i + s*m - 71. Is 8 a factor of i?
True
Is 184 a factor of (((-85)/(-51))/(4/(-49746)))/(3/(-6))?
False
Let c(l) = 54*l + 3567. Is 3 a factor of c(50)?
True
Let m(f) = -28*f**2 + 32*f - 24. Let i be m(4). Is 3 a factor of -1*9/(-27) + i/(-3)?
False
Let g(v) = 2455*v**3 - 7*v**2 - 16*v + 18. Does 35 divide g(1)?
True
Suppose -111690 = -1010*a + 992*a. Is 158 a factor of a?
False
Is (-20)/(-70) + 572280/42 a multiple of 24?
False
Suppose 0 = -3*f - 2*k + 1203, 3*k = 3*f + 4*k - 1200. Let o = 570 - f. Is o a multiple of 19?
True
Let v(k) = -k**3 - 28*k**2 + 58*k - 60. Let f be v(-30). Suppose f = -5*h + 297 + 438. Is 12 a factor of h?
False
Suppose 0 = 55*g - 1495 + 670. Is 3 a factor of g?
True
Suppose 8*b = b + 84. Suppose -3*z = 3*a - b, 5*z - 4*a - a = -20. Suppose -5*i + 2*j + 650 = -0*j, -3*j = z. Does 13 divide i?
True
Let w(t) = -34*t - 4. Let g(a) = 32*a + 6. Let r(k) = 6*g(k) + 5*w(k). Does 4 divide r(11)?
False
Let n(d) = 2*d**2 - 18*d + 10. Let k be 26*(3 + 35/(-14)). Is 57 a factor of n(k)?
True
Let b be (72/(-20))/6 - (-66)/(-15). Let z(k) = k + 0*k + 4*k + 12 + 2*k**2. Does 8 divide z(b)?
False
Suppose -3*a = -m + 2763, -10473 = -5*m - 2*a + 3291. Does 54 divide m?
True
Let n(f) be the first derivative of f**4/2 - 8*f**3/3 - 11*f**2/2 - 9*f + 20. Does 13 divide n(7)?
True
Is 234 a factor of (6 + (-1275)/(-20))*8*26?
True
Suppose -18*x + 15047 = 23*x. Let c = -668 - -415. Let w = x + c. Does 9 divide w?
False
Suppose -14*i = -770 - 588. Let u(d) = -d**3 - 8*d**2 + 3. Let n be u(-6). Let y = i + n. Is 7 a factor of y?
True
Suppose -1357 = -4*f + 99. Let k = 489 - f. Is k a multiple of 29?
False
Suppose 5*u = 4*o - 2238, 0*u - 2*u = 3*o - 1713. Is 3 a factor of o?
True
Suppose -13 = -a + l + 165, -3*a + l = -544. Suppose -174 = -2*x - d - d, -a = -2*x + d. Suppose 2*y + x = 2*b, -b + 3*y = 4*b - 233. Does 3 divide b?
False
Suppose -4*o = 2*l - 22, -5*l + 6 = 3*o - 7. Suppose 2*n = 3*n - o. Suppose -9*r + n*r = -378. Is 21 a factor of r?
True
Let a = -9 - -27. Let z = -14 + a. Suppose z*y = 3*j - 6*j + 410, -10 = -2*y. Is j a multiple of 10?
True
Let t(b) = 3*b**2 + 5*b - 5. Suppose 3*g - 10*g = -14. Suppose 0 = -w + 2*f - 2 - 1, 3*f - g = 2*w. Is t(w) a multiple of 18?
False
Let a be 30/(30/5) - 73. Let i = 534 + a. Is i a multiple of 51?
False
Suppose -3*d + 320 - 1973 = -5*p, 2*p + 3*d - 657 = 0. Let z be (-1 - 4/(-3)) + p/90. Suppose z*r = 2*t - 7*t + 206, 3*t + 4*r - 122 = 0. Does 21 divide t?
True
Suppose -47*n = 35*n - 81*n - 2684. Is 135 a factor of n?
False
Suppose -2*d + 770 = 2*m - 6*m, 2*d = -4*m - 774. Suppose 5*i + 4*u = 986 + 421, -i = -2*u - 287. Let a = m + i. Does 30 divide a?
True
Let v be (-2 - (-52)/(-8))/(1/(-14)). Let s = v - 51. Is s a multiple of 2?
True
Suppose -m = 4*h + 18469, 8*h + 18444 = 4*h + 4*m. Is 27 a factor of -3 + h/(-24) + 1/(-3)?
True
Let s be (-84)/10*(-1 + 6). Let v = 43 + s. Suppose -f = 2*h - 7, 3*f - v = -3*h + 2. Is 2 a factor of h?
True
Suppose 0 = -40*h + 48*h - 56. Suppose -5*t + 5*j = -1110, 10*j = h*j - 3. Is t a multiple of 67?
False
Suppose 5*l + 16209 = 3*r - 62069, 130418 = 5*r + 3*l. Is 18 a factor of r?
False
Let l = -1979 - -2742. Is l a multiple of 8?
False
Let f(i) = 30*i - 55 + 113 + 141 - 15 + 76. Does 25 divide f(8)?
True
Is 66 a factor of -214 - -14361 - 10/6*(2 - -1)?
False
Suppose 2*o = -k + 14680, -58*o + 62*o = 0. Is 99 a factor of k?
False
Let f(o) = 19*o + 38 + o**3 - 22*o**2 + 5*o**2 - 18*o**2. Is 27 a factor of f(35)?
False
Is 50 a factor of (6 - 2)/(86/52675)?
True
Let r(s) = -2*s**2 - 4*s. Let g be r(-3). Does 21 divide (-1533)/(-7) - -2 - g?
False
Let t(g) = -37*g - 38. Suppose 0 = -11*b - 30 - 3. Is 5 a factor of t(b)?
False
Let q(c) = 268*c**2 + 141*c + 574. Is q(-8) a multiple of 14?
False
Suppose -5*r - 2*w = 25, 5*r - 5 = 6*r - 2*w. Is (-1602)/r + (-14)/35 a multiple of 5?
True
Let q(o) = o**2 + 5 - 5 - 12*o - 21. Let p be q(15). Does 3 divide (-8)/p + (-57)/(-9)?
True
Let m = 348 - 242. Suppose 0 = -0*a - 4*a, 5*a - m = -2*g. Does 53 divide g?
True
Let i = 218 - 216. Suppose -7*t + u + 413 = -4*t, -i*u + 670 = 5*t. Does 28 divide t?
False
Let l(d) = -d**2 - 15*d - 45. Let w be l(-10). Suppose v = -w*p + 734, -277 = -3*p - 2*v + 169. Does 18 divide p?
False
Suppose 0 = 3*p + 97 - 103. Let m be 0/(-2 - p/(8/(-4))). Suppose -l - 5*a + 40 = 0, -a + m - 3 = 0. Is l a multiple of 7?
False
Suppose 0 = -9*a - 18 + 2169. Suppose s - 245 = -2*v, -8*s + a = -7*s + 5*v. Does 16 divide s?
False
Let o = -279 - -147. Does 3 divide (62/3)/((-88)/o)?
False
Let j be (-112)/(-42)*-302*3/8. Let u = -232 - j. Does 15 divide u?
False
Suppose 3*f - 1390 - 860 = 0. Suppose -f = -5*o - 135. Is 11 a factor of o?
False
Let m = -11 + 18. Let t(c) = 13*c**3 - 50*c**2 + 39*c - 73. Let x(w) = 3*w**3 - 12*w**2 + 10*w - 18. Let l(a) = -2*t(a) + 9*x(a). Does 3 divide l(m)?
False
Suppose -2*c = -3*k + 1748, -4*k = k - 2*c - 2916. Let n be -6 + ((-90)/(-63))/(12/(-14) + 1). Suppose n*b = -5*t + 1123, 2*b + 0*t = 2*t + k. Does 48 divide b?
False
Let w(b) = -411*b - 8126. Does 8 divide w(-34)?
True
Suppose 0 = 2*i - 134 - 4. Let s = i - 65. Suppose -5*q = s*l - 266, q - l - 55 = -0*q. Is q a multiple of 18?
True
Let z(y) = -7 - y**2 + 10 - y**2 - 2*y + 8*y + y**3. Let p be z(7). Suppose 449 = -0*h + 3*h - 4*r, 2*r = -2*h + p. Does 8 divide h?
False
Suppose -365211 = 1647*s - 1698*s. Is s a multiple of 93?
True
Let s = 470 - 488. Let k(u) = u**3 + 28*u**2 + 92*u + 3. Is 70 a factor of k(s)?
False
Is -3 + 2/(-2) + (-58 - -9374) a multiple of 17?
False
Suppose 0 = 5*i + 10 - 40. Suppose -26*q - i 