a multiple of 7?
False
Suppose -63*r = -61*r + 2. Is 38 + (1/r - -3) a multiple of 10?
True
Let q be 6/21 + 25258/(-7). Is 1/(-5) + q/(-40) + -9 a multiple of 4?
False
Let x = 24 + -24. Let c(v) = 2*v - 55. Let y be c(x). Is ((-48)/30)/(2/y) a multiple of 18?
False
Let q be -3*(0 - (-4)/(-3)). Suppose 13*f - 54 = q*f. Suppose 5*i + 5*k - 155 = 0, 4*k - f*k - 113 = -3*i. Is 4 a factor of i?
False
Suppose -6*t + 434 = 362. Suppose t*w = 4540 - 1516. Does 63 divide w?
True
Let a(y) = -849*y + 539. Does 15 divide a(-8)?
False
Suppose -715 - 1317 = -8*w. Suppose 7*c = w + 19. Does 12 divide c?
False
Suppose 0 = -4*s + 4*q + 5324, 0 = 4*q + 4 - 0. Suppose -15 = -3*u, -5*x + x = -2*u + s. Does 38 divide (-17)/(85/x) - 1*2?
False
Suppose 10 = -2*p - 4*s, -p + 10 = 2*s - 5*s. Suppose i - p + 28 = -5*c, i + 22 = -4*c. Is (1550/(-75))/(i/3) a multiple of 23?
False
Suppose -8 = 13*i - 14*i. Suppose i*m + 47 = 9*m. Is 27 a factor of m?
False
Let t = 66 - 64. Suppose d = q + 2*q - 386, -q + t*d + 132 = 0. Is 11 a factor of q?
False
Let j(o) = 7*o**3 + 18*o**2 + 20*o + 1. Let z(f) = -5*f**3 - 19*f**2 - 21*f. Let y(r) = -3*j(r) - 4*z(r). Is y(23) a multiple of 4?
True
Let o(u) = 32*u**3 - 17*u**2 - 138*u + 1168. Does 16 divide o(8)?
True
Let o(f) = 59*f - 23*f + f**2 - 55 - 3*f**2 - 19*f + 3*f**2. Does 13 divide o(19)?
False
Let d(u) = 7*u**3 + 3*u**2 - 4*u + 2. Let g be d(1). Suppose g = -4*o - 4*l, -2*l - 6 = -3*o + l. Is 148 - o/(8 + -4) a multiple of 44?
False
Let l(b) = 7*b**2 - 63*b + 16. Let z be l(5). Let c be (-40)/3*63/(-6). Let d = c - z. Is 44 a factor of d?
True
Let f be 1/2 + 10/((-100)/585). Suppose 47 = b - 109. Let v = b + f. Is v a multiple of 14?
True
Let d(i) = -i**2 + 14*i + 18. Let f be d(15). Suppose f*s + 5*l = 7*l + 620, 3*s + 3*l - 645 = 0. Is 21 a factor of s?
True
Let i(j) be the third derivative of j**5/30 - j**4/24 - 11*j**3/2 + 29*j**2. Suppose 4*u = 3 + 25. Does 32 divide i(u)?
False
Suppose 12*g + 21*g - 2706 = 0. Let l = 562 - g. Is 36 a factor of l?
False
Suppose p - 1255 = -4*h - 1257, 0 = 5*p - 5*h - 15. Let i(l) be the third derivative of 11*l**6/120 + l**5/60 - l**4/12 + l**3/6 + l**2. Does 8 divide i(p)?
False
Let b = -108 + 119. Let x be 3*1 + (-90)/(b - 6). Is 9 a factor of 11 - 6*(-5)/x?
True
Does 73 divide (-5)/(-6) - (7 - 74/12) - -35479?
False
Let b = 213 + -213. Suppose b = -33*i + 32*i + 26. Is 4 a factor of i?
False
Let i = 359 + -384. Let w(u) = u**2 + 16*u - 45. Is w(i) a multiple of 15?
True
Let m(a) = -508*a + 640. Does 46 divide m(-2)?
True
Let a(u) = -151*u + 89. Let q be a(6). Let f = 852 + q. Is f a multiple of 3?
False
Suppose -115*g = -24*g - 3963050. Is g a multiple of 7?
False
Does 8 divide 1/((2/(-148752))/(12/(-24) + 0))?
False
Suppose -2*h + 5*g - 8 = 4*g, -h + 7 = 5*g. Let s(t) = -t**3 - t**2 + t + 1. Let z(b) = -3*b**3 - b**2 - 3*b - 2. Let i(n) = -s(n) + z(n). Does 13 divide i(h)?
False
Let o(r) = r**3 + 4*r**2 + 17*r + 7. Let j(k) = -k**2 + k - 1. Let p(b) = 3*j(b) - o(b). Let v be p(-4). Is 21 a factor of (-334)/(-2)*(-1)/2*v?
False
Does 17 divide (-114495)/(-6)*(-76)/(-95)?
True
Let v = -324 - -326. Suppose 6*o + 748 = 8*o + 2*i, 3*o = v*i + 1112. Does 17 divide o?
False
Suppose -11*f = -393 - 1620. Suppose 180*z = f*z - 312. Is 4 a factor of z?
True
Let w(p) = 2*p + 118. Let q(f) = 2*f + 42. Let u be q(-10). Does 54 divide w(u)?
True
Let x = -47 + 46. Let k(f) be the third derivative of -71*f**4/24 - 5*f**3/6 - 27*f**2. Is 8 a factor of k(x)?
False
Let l = 89 + 56. Suppose -3*v = -h + 2*h - l, 587 = 4*h + 5*v. Does 13 divide h?
False
Let w(m) = 218*m**2 - 83*m - 58. Does 32 divide w(-16)?
False
Suppose -3*w = -2*p - 1, -5*p + 4*w = -4*p - 7. Let i(s) = s**3 + 7*s**2 + 8*s - 2. Is i(p) a multiple of 8?
True
Suppose 2 = t - 3. Suppose -5*r + 4*f + 29 = -1, f + 1 = -2*r. Suppose 4*y = y - r*k + 126, t*y = k + 210. Is y a multiple of 31?
False
Suppose 4*i - 2*k = -5*k + 798, 586 = 3*i - 4*k. Let p = i - 97. Let f = -17 + p. Is 28 a factor of f?
True
Let r(l) = l**3 - 12*l**2 - 5*l - 7. Let p be r(12). Let d = p + 207. Is 10 a factor of d?
True
Suppose 0 = 5*u + 4*o - 7*o - 16, -7 = -2*u + o. Suppose 223 + 392 = u*y. Does 41 divide y?
True
Let f = -16452 - -64742. Is f a multiple of 34?
False
Let f be -182*(4 + -3 - 0). Let x = f - 148. Does 8 divide x/20*4/(-3) - -2?
True
Let t(o) = -o - 6. Let j be t(-4). Let q be 0*j/(-8) + 0. Suppose 5*r - 146 - 964 = q. Does 22 divide r?
False
Suppose -94*z = -97*z - 4*c + 50531, 2*z - 33695 = 5*c. Is 127 a factor of z?
False
Let z = 2976 - 1523. Suppose -22*m + 857 = -z. Does 35 divide m?
True
Let l(p) = 235*p - 2578. Does 15 divide l(18)?
False
Let m(u) = u**3 - 9*u**2 - 24*u + 27. Let y be m(11). Suppose 2*h - 2956 = y*d, 2*h - 2944 = 16*d - 14*d. Is h a multiple of 19?
False
Let k be (-31)/(-2) + 0 + 4/8. Suppose -5*g + k = -g. Suppose -g*m + 124 = -188. Is 26 a factor of m?
True
Suppose 0 = 5*m - 3*x - 183, 4 = m - 5*x - 37. Suppose 1410 = 46*g - m*g. Is 37 a factor of g?
False
Let g(j) = 74*j - 56. Let y be g(-7). Let x = 28 - y. Is x a multiple of 5?
False
Let j be ((-8)/(-12))/(8/36). Suppose 2520 = -j*x + 15*x. Is x a multiple of 7?
True
Let j(w) = -w**3 - w**2 - w + 3. Let m be j(1). Suppose m = -v - 89 + 138. Is v a multiple of 6?
False
Suppose 4*z + 3*q = 14490, 7248 = 2*z + 29*q - 27*q. Does 54 divide z?
True
Let h(o) = -o + 3. Let u be h(3). Let s = 4 - u. Suppose -4*p - s*z = -5*z - 82, 2*z = 4. Is p a multiple of 7?
True
Suppose -5*v + 2*f = 733, 5*f + 846 - 253 = -4*v. Let w = -97 - v. Is 5 a factor of w?
True
Suppose -i + 34 = -u - 5, -i - 3*u = -59. Suppose 0 = 3*n - i - 40. Does 3 divide n?
False
Let p be (-16)/4 + 4 + (-6 - 0). Is p/16 - (-30690)/176 a multiple of 11?
False
Let r(x) = x**3 - 4*x**2 + 3*x + 2. Let m be r(2). Let d(v) = -v**2 - 3*v. Let q be d(m). Suppose q*c + 1176 = 7*c. Is c a multiple of 24?
True
Suppose 0 = -7*m + 3*m + 368. Let t = -28 + m. Does 4 divide t?
True
Let m(w) be the second derivative of 3*w**4/4 + 19*w**3/6 - 8*w**2 - 41*w. Does 12 divide m(-8)?
True
Suppose 0 = 84*m - 80*m - 64. Suppose 3*o + m = -p + 911, o - 305 = -2*p. Does 33 divide o?
True
Let v = 5367 - 2574. Is 96 a factor of v?
False
Let h = 31714 + -23319. Is 5 a factor of h?
True
Let t(p) = -12*p. Let z be t(-4). Let m = z + -28. Is 20 a factor of m*2 - (1 + 0)?
False
Suppose -1789 = -4*b + 5*t - 2*t, 0 = -3*b + t + 1338. Suppose 3*v - 94 = -5*m + 183, -b = -5*v - 5*m. Is v a multiple of 13?
False
Is 510/459 - (-95884)/18 a multiple of 148?
True
Let z be (60/15 - (-18)/(-5))*10. Suppose -92 = -2*x - 5*m, z*x - 2*x + 2*m = 80. Is x even?
True
Let g(w) = w + 1. Let y = 45 + -25. Suppose -3*t = x - 6*x + y, 18 = -2*x - 4*t. Does 2 divide g(x)?
True
Let l(u) = 5*u + 41. Suppose 16 = 4*j, 3*c - 3*j + 14 = 77. Does 7 divide l(c)?
False
Is -2 - (-162554)/22 - (-42)/(-231)*-1 a multiple of 83?
True
Let y(c) = 11*c**2 + 459*c - 125. Does 60 divide y(-46)?
False
Let p = -104 - -111. Suppose p*g - 4824 = -337. Suppose 8*w - 1993 = -g. Is w a multiple of 13?
True
Suppose -11*m + 370 = -554. Let r = m + -79. Suppose -h = -5*l + 243, -r*h = 2*l + 30 - 138. Does 4 divide l?
False
Suppose -9*t + 14*t - 30 = 0. Is 3 a factor of ((-340)/50)/(t/(-345))?
False
Is 71 a factor of (24903/11 - (-31)/341) + 8?
True
Let z = -303 - -605. Let c = z + 558. Is 10 a factor of c?
True
Let l = -7 - 63. Let w = 64 + l. Let q(h) = 6*h**2 + 12*h + 35. Is 12 a factor of q(w)?
False
Let x be (6/(-9))/((-13)/624). Suppose 38*t = x*t + 3276. Does 15 divide t?
False
Suppose 4*b + 5*f = 29860, -5*b + 6*f = 4*f - 37391. Is 7 a factor of b?
False
Let y = -103 - -387. Let d = 148 - y. Does 17 divide ((-6)/(-8))/((-2)/d)?
True
Let d be 15 - ((1 - 6) + 1). Suppose 0 = 15*o - d*o + 224. Is 28 a factor of o?
True
Let w = 23618 - 15411. Does 157 divide w?
False
Suppose -613*x - 560 = -612*x. Is 210/(-56)*x/12 a multiple of 33?
False
Let n be 8/52 - (-408)/(-52)*-1. Suppose -n*i + 2618 = -i. Is i a multiple of 17?
True
Let z be 9/(-6)*12/(-9). Suppose x = -0*x + z. Suppose -i - x*u = -51, 0 = -4*i - 2*u + 198 - 12. Is i a multiple of 5?
True
Suppose 5*v - x = 246, x + 96 = 2*v - 0*v. Let i be (-4)/14 + 356/(-28). Let t = i + v. Is t a multiple of 10?
False
Let g = 489 - 490. Does 12 divi