 5*l - 5*r - 55. Suppose -5*h + l*h - 180 = 0. Does 20 divide h?
False
Let u be 1/(2 - 1) + -1. Suppose 0 = -5*s + 4*b + 360, u = -7*s + 2*s + 3*b + 355. Is 4 a factor of (6/12)/(2/s)?
False
Suppose 0 = 3*n + 6. Let w be n/3*18/(-4). Let v(m) = m**3 - 4*m - 1. Is 6 a factor of v(w)?
False
Suppose -4*f - 3*u + 0*u + 1617 = 0, -4*u - 836 = -2*f. Is f a multiple of 8?
True
Suppose -4*q = -5*z + 5, q - 2*q + 5*z - 5 = 0. Suppose q = 2*a - 10. Suppose v = a*u + 3, -3*v = -8*v + 4*u + 57. Does 5 divide v?
False
Let o(i) = 25*i - 4. Let t(z) = 17*z - 3. Let f be (5/2)/(2/(-4)). Let w(g) = f*o(g) + 7*t(g). Does 9 divide w(-2)?
False
Let h = 135 + 93. Does 38 divide h?
True
Let k = 96 - 15. Suppose 0 = -9*t - 27 + k. Is t a multiple of 6?
True
Let v(z) = z**2 - 13*z + 15. Suppose -b - b + 24 = 0. Let a be v(b). Suppose 5*h = -u + 28 + 116, 0 = -h - a*u + 40. Is h a multiple of 20?
False
Suppose 18*d - 18482 - 22162 = 0. Is 11 a factor of d?
False
Let t(g) = -674*g**3 - g**2 - 1. Let r be t(-1). Does 7 divide (r/(-60))/((-2)/5)?
True
Let r = -439 - -661. Is 50 a factor of r?
False
Let f(g) be the first derivative of 17*g**6/360 - 7*g**3/3 - 2. Let w(k) be the third derivative of f(k). Is w(1) a multiple of 12?
False
Let a(k) = -3*k**2 + 8*k + 8. Let m be a(-1). Suppose 6*f = 3*f + 21. Does 20 divide (m*f*-4)/1?
False
Let j = 144 - -53. Is j a multiple of 24?
False
Let n = 1380 - 1065. Is 15 a factor of n?
True
Let c(h) = 37*h**2 - h + 1. Let t be (0 - -1)*(-4)/4. Is c(t) a multiple of 15?
False
Let m(f) = f**3 - 17*f**2 - 48*f - 40. Is m(21) a multiple of 22?
False
Suppose -11*r + 1231 + 848 = 0. Is r a multiple of 27?
True
Let d = -165 + 280. Let k = 185 - d. Does 7 divide k?
True
Suppose 0 = -3*h + 15. Suppose h - 74 = -3*l. Is 3 a factor of l?
False
Suppose 4680 = 4*z + 4*z. Does 13 divide z?
True
Let h(n) = n**3 - 7*n**2 + 8*n - 9. Let p be h(6). Let w(d) = -71*d - 142. Let c be w(-5). Suppose -3*u - c = -5*t, -4*t + u + 166 = p*u. Is 9 a factor of t?
False
Let k = -840 - -1155. Is k a multiple of 7?
True
Suppose 0 = -2*c - 624 + 2120. Does 34 divide c?
True
Let z = 338 - 240. Let r = 278 - z. Does 18 divide r?
True
Suppose -630 - 56 = -2*j - 4*f, j - 4*f = 319. Let n(r) = 4*r - 39. Let m be n(11). Suppose m*v + 110 - j = 0. Is v a multiple of 15?
True
Let u(p) = 5*p**3 - p**2 - 10*p + 44. Does 54 divide u(5)?
True
Let w(g) = 13*g + 14. Let k be w(-2). Let b(n) = n**3 + 12*n**2 - 5*n + 23. Does 5 divide b(k)?
False
Let k = 91 - 46. Let b = 76 - k. Suppose b = l - 71. Does 17 divide l?
True
Let d(m) = -4*m + 34. Let p be d(8). Suppose p*a - 413 = 75. Is 21 a factor of a?
False
Let v = -295 - 181. Let o = 704 + v. Is o a multiple of 12?
True
Let k be (-2)/2*(-5)/(35/(-147)). Is 10 a factor of (-31)/(-3) - (-1 - 28/k)?
True
Let z(a) = -a**2 + 2*a + 49. Let g be z(0). Let m = g + 41. Does 18 divide m?
True
Does 2 divide (177/6 - 5)/(2/4)?
False
Let c = -84 - -260. Suppose 1 = 3*f - c. Is 7 a factor of f?
False
Suppose -3*z + 2*z - 4*f = 30, 5*f = -2*z - 45. Is 354/15 + (-4)/z a multiple of 10?
False
Suppose -847 = -5*q + t, q - 137 = 5*t + 42. Does 72 divide q?
False
Let m(v) = -v**3 + 11*v**2 - 6*v + 16. Let c = 23 + -13. Does 14 divide m(c)?
True
Suppose 28*q + 594 = 10*q. Suppose -180 = -4*n + 84. Let d = n + q. Does 11 divide d?
True
Suppose -5*h = -10*h - 80. Let t = h + 19. Is 18 a factor of -1 + 26 - (-3)/t?
False
Let w = -15 + 17. Is 22 a factor of (-376)/6*(-3)/w?
False
Let q(w) = 6*w**2 - 6*w + 14. Let u(t) = 7*t**2 - 5*t + 14. Let g(r) = -6*q(r) + 5*u(r). Let f(a) = -a**2 + a + 8. Let o be f(0). Does 5 divide g(o)?
True
Let o(c) = 14*c - 19. Suppose -3*a + 70 = 2*a - 5*w, 4*a = -w + 36. Is 46 a factor of o(a)?
False
Let u be 2/((7 - 3)*2/28). Suppose 3*h = u*h - 140. Is 11 a factor of h?
False
Suppose 0 = 2*s - 0 - 4. Let q be (-39)/45 - s/15. Let h(u) = -98*u. Is h(q) a multiple of 25?
False
Let m be 1/2*(2 - 2). Suppose 10 = -n - 2*r + 43, 5*r + 93 = 2*n. Suppose m = -t - 18 + n. Is 7 a factor of t?
True
Suppose 0 = -21*v + 14*v - 315. Suppose 6 = -5*z - 3*a, -z = 2*z - 5*a + 24. Is (1/z)/(1/v) a multiple of 14?
False
Let u(t) = -t**3 + 6*t**2 - t - 20. Let k be u(-6). Let o be 44/(-33) + k/(-6). Let l = -7 - o. Is l a multiple of 16?
True
Suppose 4*c - 7*c - 4*a = -2423, -5*c = 3*a - 4020. Does 24 divide c?
False
Let r(f) = -3*f + 7*f - 3 + 0*f + 2*f + f**2. Let w be r(-7). Is 11 a factor of w/22 + 361/11?
True
Let o = -566 - -1269. Is 34 a factor of o?
False
Let p(y) = 5*y**2 + y - 1. Let q be p(1). Suppose q*g - x = 160, 19 = -4*x - 1. Let a = -26 + g. Is 5 a factor of a?
True
Let c be ((-12)/(-18))/(3/36). Suppose -2*h = q - 28, -5*h = -q - 2*h + c. Suppose 0*l - q = -5*l. Is 4 a factor of l?
True
Let y = 50 - -93. Suppose -4*w - y = -4*n - 411, 64 = w - 2*n. Is 35 a factor of w?
True
Let w be 14/6 + (-3)/9. Suppose -w*l - t = l - 85, 5*t = l - 23. Is 26 a factor of l?
False
Let x = 105 + -103. Suppose 244 = 2*u - x*m + 6*m, 5*m = -u + 137. Is 16 a factor of u?
True
Let s(l) = -4*l**2 - l**2 - 4 + 3*l**2 + 29*l - 7. Is s(14) even?
False
Let i = 1 + 0. Let n be (0 + i)*(2 - 2). Suppose 5*f = 2*z - n*z - 46, -5*f - 72 = -4*z. Does 6 divide z?
False
Let h(l) = l**3 + 2*l**2 - 5*l - 1. Let q be h(4). Let m be 12910/q - (-4)/(-30). Suppose -m = -5*u + u. Does 9 divide u?
False
Let i(g) = 24*g - 16. Let h(n) = 3*n - 16. Let x be h(7). Is i(x) a multiple of 26?
True
Let n = 23 + -20. Suppose 3*h + 5*o = 2 + n, 0 = 2*o + 4. Suppose -h*p - 48 = -4*f, 4*f - 5*p = -f + 55. Is f a multiple of 3?
False
Suppose -16*a + 6896 = 2176. Does 59 divide a?
True
Let k(g) = 11*g**3 - 2*g + 6. Let c(t) = 23*t**3 - t**2 - 4*t + 13. Let b(u) = -3*c(u) + 7*k(u). Is b(2) a multiple of 25?
True
Is 6 a factor of 5652/30 - 4/10?
False
Suppose 10*b - 3826 = 13104. Is 27 a factor of b?
False
Suppose 4*i - 8 = 0, -3*l = 3*i + 384 - 2322. Is 23 a factor of 4/18 - l/(-18)?
False
Suppose 0 = 2*u + 4*p - 201 + 75, -3*p + 3 = 0. Is 9 a factor of u?
False
Suppose 0 = 5*p, 4*x - p = 45 - 1. Let o(h) = h**3 - 5*h**2 + 6*h - 3. Let c be o(4). Suppose -c*v = -x - 149. Is 13 a factor of v?
False
Let j(c) = 121*c**3 - 3*c**2 + c + 1. Is 14 a factor of j(1)?
False
Suppose 1546 - 368 = 4*g + 2*i, 2*g - 559 = 5*i. Suppose 0*j + g = 4*j + 2*m, -5*j = -2*m - 347. Is 4 a factor of j?
False
Let y be 2/3 - (-28)/12. Suppose -x = y*x - 152. Let f = x + -25. Does 2 divide f?
False
Suppose -3*m - 4*n = -5*m + 932, 914 = 2*m + 2*n. Does 17 divide m?
False
Suppose 0 = -95*x + 16*x + 136670. Is 21 a factor of x?
False
Let z be -3 + (5 - (1 - 4)). Suppose 2*i - 858 = -b + 85, -25 = -z*b. Suppose i = 5*v + 119. Is v a multiple of 22?
False
Let f(s) = s**3 + 8*s**2 + 8*s + 9. Let i be -2 - 2*10/4. Let r be f(i). Suppose -k - y = -90 + 11, 3*y = r*k - 148. Is k a multiple of 31?
False
Let w(h) = 3*h - 16. Let o be w(9). Suppose -15*m + 120 = -o*m. Is 5 a factor of m?
True
Let b = -3 + -20. Let h be 16/(-152) + 85/(-95). Let v = h - b. Is v a multiple of 18?
False
Let v be 2*35/22 - 40/220. Suppose -v*z + 39 = -0*z. Is 3 a factor of z?
False
Does 7 divide (-17)/((-17)/3) + 207?
True
Let w(o) = -o + 92. Is w(-12) a multiple of 19?
False
Suppose -3*y + 30 = -15. Suppose -24 = 4*b - 4, -2*m + y = 3*b. Is 2 a factor of m?
False
Let i = -13 + 15. Suppose -2*l + 170 = y, 4*y = -i*l - l + 250. Suppose 0 = -5*b + l + 34. Does 14 divide b?
False
Let m(i) = -i**2 + 4*i - 2. Let j be m(9). Let g = j + 92. Is 9 a factor of g?
True
Suppose 133*a - 135*a + 1014 = 0. Does 39 divide a?
True
Let l = 111 + 57. Does 46 divide l?
False
Suppose r + 3*x = 1170 + 692, 4*r - x - 7383 = 0. Is r a multiple of 101?
False
Suppose 6*n + 71 - 11 = 0. Let r = -6 + 21. Let t = r + n. Is t even?
False
Let c(b) = 15*b**2 - b + 2. Let w = -26 - -28. Is 34 a factor of c(w)?
False
Let t(b) = -b**3 - 10*b**2 + 4*b + 39. Let a be t(-10). Does 58 divide a*(-122 - (-12)/(-3))?
False
Suppose -113 = 5*n - 523. Let v = -47 + n. Is 2 a factor of v?
False
Suppose -2*m + m = -19. Let j = 22 + m. Is 5 a factor of j?
False
Let l = 1348 + -1008. Is l a multiple of 18?
False
Let r = 43 + -34. Is 16 a factor of r/4*-2*(-244)/3?
False
Suppose 0 = -3*v - 2*p + 578, -2*v = -v + 2*p - 186. Does 25 divide v?
False
Let w be 0/((-3)/((-12)/8)). Let b(g)