de z?
True
Let i = -423 + 486. Does 63 divide i?
True
Suppose -4*i = -7*i. Suppose -3*y = -4*h + 151, i*y = -4*h - 5*y + 175. Is h a multiple of 20?
True
Suppose 7*r = 648 + 682. Does 22 divide r?
False
Suppose -4*n = -100 + 12. Let y be 16/((-6)/(-165)*5). Suppose -5*k + y = -n. Does 8 divide k?
False
Let j be 1/(1/7) - (-11 - -12). Let y(c) = 10*c - 10. Is 19 a factor of y(j)?
False
Let v(l) = l**2 + 5*l + 2. Let y be v(-5). Let p be (y + -4)*(1 - 3). Suppose 2*q - 10 = 0, p*q + 25 = 5*t - 15. Is t a multiple of 4?
True
Let i(u) = u - 130. Let t(q) = q - 66. Let p(x) = -6*i(x) + 11*t(x). Is p(15) a multiple of 10?
False
Is 51 a factor of ((-612)/(-10))/(92/230)?
True
Suppose 0 = -0*m - 2*m + 296. Suppose 5*d - 4*t = -3*t + 167, -4*d - 4*t + m = 0. Is 17 a factor of d?
True
Let n(f) = -6 - 11*f - 10*f**2 + 10 + 320*f**3 - 319*f**3. Suppose -13 = 5*g - 68. Is 3 a factor of n(g)?
False
Let a(u) = 23*u - 52*u - 97*u + 11*u + 2. Let m be a(-2). Suppose 3*t = -t - 3*g + m, 0 = -t - 2*g + 58. Does 9 divide t?
False
Suppose -2*r + 11193 = 11*r. Is 8 a factor of r?
False
Let d be (8/30)/(18/27)*5. Is 17 a factor of ((45/d)/(-9))/(2/(-68))?
True
Let h be (-22)/(-4) + (-7)/14. Suppose 0*b + 3*j + 129 = 5*b, -2*b - h*j = -64. Does 19 divide b?
False
Let i be 4/(-8)*2*-7. Suppose 39 = 4*x - 5*m, 2*x + 0*m - i = 5*m. Let g = x + -12. Is 4 a factor of g?
True
Let x = -2 - -7. Suppose 5*h - 97 = 5*n - n, x*n = h - 116. Let u = -14 - n. Is 4 a factor of u?
False
Is 6 a factor of (-1 - -254) + -5 + 3?
False
Let n = 18 - 10. Suppose 3*d - n*d = -5*y - 130, -76 = -2*d - 4*y. Let u = d + -6. Is 19 a factor of u?
False
Suppose 0 = -2*q + 69 + 3. Is q a multiple of 12?
True
Suppose 0*b + 5*k = -5*b + 1935, 3*b - 1173 = k. Suppose b = 5*c - 10. Does 10 divide c?
True
Let d = 85 - -175. Is d a multiple of 20?
True
Let w = -57 - 180. Let h = 303 - w. Suppose 4*u - h = -u. Is u a multiple of 36?
True
Let g(f) be the second derivative of f**4/12 + f**3/3 + 15*f**2/2 + 12*f. Does 6 divide g(-5)?
True
Let a = -926 - -1655. Is a a multiple of 27?
True
Let q(w) = 3 - 6*w - 2 + 3*w - 2. Is q(-3) even?
True
Suppose 525 = p + 3*c, 18*p - 2697 = 13*p + 3*c. Is 6 a factor of p?
False
Suppose -4*m = -3*p + 12 - 3, 0 = -p - 3*m + 16. Let c = 23 + p. Is 2 a factor of c?
True
Let k(g) = 3*g**2 + 8*g**2 - 21 + 38 - 29 + 4*g - g**3. Is k(10) a multiple of 32?
True
Let a be (-1)/(-3) - (-20)/(-15). Does 19 divide a/(-6)*-2*-228?
True
Let q = 308 - 273. Is q a multiple of 5?
True
Suppose b + 40 = 140. Suppose 4*n + 0*n = b. Suppose -n = -g + 13. Is 19 a factor of g?
True
Let r be (-2 + -6)/(-4) - 2. Suppose -5*h - 4*a + 19 = -56, r = 2*a. Does 7 divide h?
False
Let r = -44 + 44. Does 7 divide r*4/(-16) + 39?
False
Let p(u) = 50*u**2 + 175*u - 3. Is p(-10) a multiple of 29?
False
Let t(l) = -l**3 + 2*l + 106. Suppose -2*i - h = 1, h = -3*i + 2*i - 1. Is t(i) a multiple of 53?
True
Let i(w) = -w**3 + w**2 - 5. Let a be i(0). Let j(q) = -2*q**3 - 5*q**2 + 13. Is j(a) a multiple of 9?
False
Let s be (9 + -4)/1 + -3. Suppose -r + s*r - 15 = -5*m, 0 = -m + 2*r - 8. Suppose -m*f + 3*x = -27, 4*f = 2*x - x + 69. Does 9 divide f?
True
Let w(a) be the third derivative of a**7/840 + a**6/72 - a**5/30 - a**4/4 + a**3/3 + 4*a**2. Let r(y) be the first derivative of w(y). Does 6 divide r(-5)?
False
Suppose -3*s + 60 = r, r + 7*s - 2*s = 50. Let l = -40 + r. Is 10 a factor of l?
False
Suppose 0 = 1007*z - 1005*z - 4338. Is 34 a factor of z?
False
Suppose -950 = -4*u - 2*r, -4*u = 2*r + 3*r - 935. Suppose a - u = -7*a. Does 15 divide a?
True
Let s(z) = 1 + 4 - 5*z + 6*z**2 - 7*z**2. Let n be s(-5). Suppose 3*y + 374 = n*u, 3*u + 2*y - 226 = 3*y. Is u a multiple of 30?
False
Let r be (-1040)/14 + 6/21. Let l = r - -129. Is l a multiple of 11?
True
Suppose -26 = 2*y - 7*y + n, 0 = 4*y - 4*n - 8. Suppose -330 = y*h - 16*h. Is 13 a factor of h?
False
Suppose -2*n + 9 = -7. Let j = n - 5. Suppose 1 = j*s - 3*y - 5, 4*s = -3*y + 36. Is 6 a factor of s?
True
Suppose -32*l = -29*l - 84. Let m = 56 - l. Is 7 a factor of m?
True
Suppose -1 = 3*g + b, -3*b = -2*g - 1 - 7. Let r be (2/4)/(g/(-10)). Suppose -r*l - 3*a + 7*a = -116, -5*a = 5*l - 80. Is 13 a factor of l?
False
Suppose -99*t + 143657 = -2*t. Is t a multiple of 18?
False
Does 32 divide 44/(-77) - (-5913)/21?
False
Suppose 2*u = 2*f - 1310, -6*u = 5*f - 10*u - 3280. Is 6 a factor of f?
True
Is 15 a factor of 5 + (2 - 5) + (-219)/(-3)?
True
Suppose -4*f + 20 = 8*y - 6*y, y + 15 = 3*f. Suppose f*d = -d + 372. Is 7 a factor of d?
False
Let f be 7 + (-2)/(-8)*4. Suppose f + 0 = -4*n. Let h = 6 - n. Is h a multiple of 8?
True
Let a be 768/56 + 2/7. Let m(i) = 8 + 9*i**2 + a - 6 - 8*i**2. Is 19 a factor of m(9)?
False
Let p(h) = 33*h + 148. Is 13 a factor of p(6)?
False
Let d(q) = -q**3 - 4*q**2 + 5*q - 3. Let j be d(-5). Is 2 a factor of 3 + -2 - (-9 - 1 - j)?
True
Let q = 52 + 378. Is q a multiple of 15?
False
Let d(l) be the third derivative of -l**6/120 + l**4/8 + 17*l**3/6 - 47*l**2. Is 24 a factor of d(-5)?
False
Let j = -3901 + 10481. Is 70 a factor of j?
True
Suppose l = -4 + 7. Suppose l*q - 4 = q. Suppose s + 40 = 2*i - s, 0 = -3*i - q*s + 75. Is 7 a factor of i?
False
Suppose 55*r + 23720 = 75*r. Does 31 divide r?
False
Is -6*14/(-294) - (-6277)/7 a multiple of 90?
False
Suppose 20*r - 18*r = 628. Is 14 a factor of r?
False
Is 14 a factor of (7/84*8)/((-2)/(-834))?
False
Let p = -813 - -1328. Is 40 a factor of p?
False
Let d(u) = -u - 10. Let o be d(-8). Does 4 divide o + 4 + 11 - 3?
False
Let u = -43 - -23. Let c(m) = -2*m - 29. Is c(u) a multiple of 6?
False
Let j(k) = -71*k - 114. Is j(-4) a multiple of 10?
True
Let p = -492 + 592. Does 3 divide p?
False
Is 85 a factor of 4 - 71184/(-60) - 2/5?
True
Let r(l) = -16*l + 8. Let w(y) = 5*y - 3. Let c(a) = 3*r(a) + 10*w(a). Let u be c(5). Suppose -3*g = -2*s + 12, u - 34 = -5*s - 5*g. Is 6 a factor of s?
True
Let g(m) = -m**3 + 38*m**2 + 19*m + 18. Is 21 a factor of g(-9)?
True
Let w(b) = -16*b + 1. Let u be w(-2). Let n be (u/22)/((-6)/(-8)). Suppose -34 = -n*m + 28. Is m a multiple of 8?
False
Suppose 2*j = 3*s + 224, -3*j - 5*s + 448 = j. Let d = j - 47. Let n = d - 25. Is 15 a factor of n?
False
Let l(d) = d**2 + d + 20. Let t be l(-15). Let r = 383 - t. Suppose 3*f + 4*z - r = 0, -f - 3*z = f - 101. Is f a multiple of 11?
True
Let l(d) = 2*d - 20. Let a(x) = -3*x + 41. Let c(s) = 3*a(s) + 5*l(s). Let u be c(-13). Is (4 - u)*110/(-6) a multiple of 35?
False
Let u(s) = 5*s - 2. Let w be u(1). Suppose 0 = 2*t - 3*v - 95, -v = t - 40 - 20. Suppose -2*q + t = w*q. Does 7 divide q?
False
Let o = -1054 - -1189. Does 5 divide o?
True
Let l(j) = j + 4 + 0 + 26*j - 2. Is l(3) a multiple of 39?
False
Suppose -2*f + 0*f = -3*a + 221, -a + 77 = -4*f. Suppose -a = -5*z - w, w + 81 = 5*z - 2*w. Does 7 divide z?
False
Let k(q) = 3*q**2 - 50*q - 41. Is k(20) a multiple of 12?
False
Let o = 7 + -11. Let n be o + ((-12)/(-4) - -4). Suppose 0 = -n*u + 59 + 61. Is u a multiple of 20?
True
Let i(t) = t**3 - 10*t**2 - 10. Let k be i(10). Let j = 2 - k. Is 12 a factor of j?
True
Let c be (-12)/(-3 - (1 + (-45)/12)). Does 4 divide (-5)/1*1/((-5)/c)?
True
Let j = 26 + -24. Let c(w) = 3 + 3*w**2 - 1 - j*w - 1. Is 7 a factor of c(-4)?
False
Let l(v) = v**3 - 14*v**2 + 12*v + 22. Let t be l(13). Suppose -t*c = -11*c + 100. Is 18 a factor of c?
False
Let j(s) = -27*s - 8. Let a be j(6). Let f = 118 + a. Let y = -28 - f. Does 24 divide y?
True
Let j be 1/(-1 - 27/(-26)). Suppose 5*h + 5 = 0, -5*h + 2 - 1 = 3*u. Suppose 0*r - j = -u*r. Is r a multiple of 7?
False
Let z(b) = -1 + b**3 - 16*b**2 + 7 + b - 16. Does 3 divide z(16)?
True
Let n(q) = q**2 - 5*q - 6. Suppose 2*c - 20 = -3*c. Let a = 4 + c. Does 6 divide n(a)?
True
Let q(s) = s**2 + 3*s - 18. Let a be q(13). Let t be -1 + -117 + -1 + -1. Let m = t + a. Is m a multiple of 26?
False
Suppose -17*f - 216 = -w - 20*f, -5*w + 1104 = 3*f. Is w a multiple of 7?
False
Let x = 914 - 344. Does 38 divide x?
True
Suppose 4*u - 1122 - 4474 = -2*p, -4*u + 11176 = 4*p. Is 90 a factor of p?
True
Suppose 2 - 18 = -4*k. Is (-170)/4*k/(-5) a multiple of 17?
True
Suppose -2*y - 7 = -21. Suppose 190 = -5*d + y*d. Suppose 2*h = d + 13. Is h a multiple of 16?
False
Let i = -8 + -55. Let