se -z*h + 88 = -140. Is h a multiple of 7?
False
Suppose -183*b + 858477 = -2834657 - 439372. Is 7 a factor of b?
True
Suppose -14*z = -10*z - 20. Does 36 divide (1386 - -3)/(1 + 2) + z?
True
Let l(s) = 20*s - 157. Let r be l(8). Suppose -w + b + 3*b = -56, -r*w + b = -146. Is w a multiple of 24?
True
Suppose 47*m - 362493 = 420339. Does 24 divide m?
True
Suppose -t - 101*g + 98*g + 687 = 0, 5*t - 3419 = g. Is t a multiple of 36?
True
Let v = -101 - -102. Let i(n) = 231*n**3 + 2*n**2 - 3*n + 1. Is i(v) a multiple of 6?
False
Let r(q) = q**3 + 8*q**2 + 2*q + 27. Suppose 66 = -5*a + 36. Is 3 a factor of r(a)?
True
Let w = 455 - -26696. Is w a multiple of 30?
False
Let r = -48512 + 72527. Does 90 divide r?
False
Let g(n) = -34*n**3 + 2*n**2 - 7*n - 4. Let a be g(-3). Suppose -9*j + a + 1630 = 0. Is 41 a factor of j?
True
Let b(a) be the third derivative of -33*a**4/8 - 10*a**3 - 57*a**2 - 2. Is b(-4) a multiple of 56?
True
Suppose 2*m + 658 = 46. Is 9 a factor of m/(-4)*(-13 - -17) - -3?
False
Let p = -284 + 510. Let v = -76 + -54. Let r = p + v. Does 16 divide r?
True
Let i be 798/(-56) + 14 + 8482/8. Let x = i + -813. Is 34 a factor of x?
False
Suppose -8 = 2*x - 3*r - 18, -3*x = 3*r - 15. Suppose -x*k - 24 = -y, y + 5*k = 6*y - 120. Does 8 divide y?
True
Let x be 1*2/(-2)*(-2 + -5). Is -1 - -52 - (x + (-3 - 0)) a multiple of 7?
False
Suppose 5*l + w = -319, 5*l + 2*w + 401 = 78. Is 11 a factor of (l/(-27))/(3/108)?
False
Let l = 20092 - 11590. Is l a multiple of 26?
True
Suppose 3*l = 109*h - 107*h - 12, 4*h + l - 10 = 0. Let v(o) = o**3 + 6*o**2 - 9*o - 3. Let p be v(-6). Suppose -h = -a + p. Does 9 divide a?
True
Suppose -2*d = 5*a - 150, -3*d + 5*a + 123 + 77 = 0. Suppose -r + 6 = y - 0*y, 5*r - 5*y - d = 0. Is (-36)/r*45/(-27) a multiple of 2?
True
Let c(l) = -61*l**2 - 2*l - 2. Let p be c(-2). Let s = p - -400. Is 5 a factor of s?
False
Suppose -3*s = -197 - 76. Suppose -96 = -k + s. Is 11 a factor of k?
True
Let h(d) = -7756*d - 756. Is h(-2) a multiple of 68?
True
Let o(m) = m**3 - 22*m**2 + 11*m + 2. Let n = 81 - 59. Is o(n) a multiple of 65?
False
Let c(o) = 687*o + 1649. Is c(30) a multiple of 57?
False
Let n(w) = -3*w - 5. Let m be n(8). Let z(v) = v**2 + 29*v - 9. Let o be z(m). Let r(q) = q**3 + 9*q**2 - 3*q - 11. Does 16 divide r(o)?
True
Suppose 613*n - 2862424 = 456*n. Does 106 divide n?
True
Suppose 0 = -5*g + 991 + 464. Let w = g + 652. Does 11 divide w?
False
Let r = 45596 + -17072. Is 33 a factor of r?
False
Suppose -13 = -3*z - 7. Suppose -5*l + 4*t + 1229 = 0, 0 = 5*l - 0*l - z*t - 1237. Suppose l + 376 = 5*a. Is a a multiple of 29?
False
Suppose -3 = -d + 5*o - 10, 10 = 5*o. Suppose 0*j - 4*j = -2*u + 1550, 0 = d*j + 12. Does 9 divide u?
False
Suppose 131 = -6*t + 689. Let y = t - 79. Suppose -y*s = -500 + 52. Is 8 a factor of s?
True
Let y = 10199 - 3769. Is 17 a factor of y?
False
Suppose 2*s = 7*s + 10, -4*b - 50 = -s. Let y(p) = p**2 - 39. Is y(b) a multiple of 13?
True
Let c be 10/(-4)*8/40*926. Let y = c + 521. Does 3 divide y?
False
Suppose -5*l - 7*h + 3*h = 4, -2*h - 2 = 2*l. Suppose d - 3*m = -l*m + 128, d = m + 120. Is d a multiple of 13?
False
Let k(l) = l**3 - 11*l**2 + 202*l - 14. Does 10 divide k(15)?
False
Let k be 6/(-1) - (-24)/((-6)/(-1)). Let r = 0 - k. Suppose 5*n + r*t - 46 = -t, -2*n + 4*t = -8. Does 7 divide n?
False
Let a(c) = 398*c**2 - 322*c - 61. Is a(8) a multiple of 213?
False
Suppose 0 = 611*k - 146*k - 10169550. Does 45 divide k?
True
Suppose 4*t - 2*h = -4, 0*t + t + 1 = -2*h. Is (t/(3/(-2)))/(12/648) a multiple of 4?
True
Let z(k) = 9*k - 6. Let w be ((-24)/28)/(12/(-56)). Let g be z(w). Let v = 2 + g. Is v a multiple of 8?
True
Suppose 0 = 2*h - 4 - 0. Let b(m) = -3*m - 4*m + 9 + m + 6*m**h - 27. Does 41 divide b(-6)?
False
Suppose 5*z - 2*h = 23254, 169*h = -5*z + 174*h + 23260. Does 25 divide z?
True
Let y(a) = 7 - a**2 - 17 - 10*a + 4. Let q be 6*(-1 + 2)*3/(-2). Does 2 divide y(q)?
False
Let p = 54 + -43. Suppose -4*d + 152 = 8*j - p*j, 0 = 5*d + j - 190. Suppose 23*h - d*h = -270. Does 3 divide h?
True
Suppose -x + 15832 = -4*k, -43*k + 41*k = 8. Does 36 divide x?
False
Does 19 divide (-1275 + -5 + 7)/((-16)/160)?
True
Is (-5144 - (-12 + 2))*(3 - 2 - 3) a multiple of 34?
True
Suppose 0 = -15*f + 3*f + 4512. Suppose -5*z + f - 51 = 2*r, 4*z - 257 = -r. Is z a multiple of 18?
False
Let o(j) = 2*j**2 - 23 - 3 + 19*j + 57 - 5. Let g be o(-8). Suppose -41 = -3*u - z, -g*z + 7*z + 50 = 2*u. Does 3 divide u?
True
Suppose 0*q = -5*q. Suppose g - 11*r - 9 = -9*r, -8 = 4*r. Suppose q = -g*z + 2260 - 700. Is z a multiple of 13?
True
Suppose -181*o + 139*o + 157920 = 0. Is 2 a factor of o?
True
Suppose 0 = -29*g + 13*g + 606282 + 55750. Does 7 divide g?
True
Let r(d) = 9*d + 85. Let m(l) = l**3 - 12*l**2 + l - 15. Let z be m(12). Is 3 a factor of r(z)?
False
Let r be (-3 - (-20)/8) + (-34)/4. Let w = r + 74. Is (-2 - 1*-6)*w/4 a multiple of 21?
False
Let o(u) = u**2 + u + 1. Let k be o(5). Let q(z) = -4*z - 90. Let v be q(-26). Let i = k - v. Is 17 a factor of i?
True
Suppose 55*b - 1942 = 10103. Is 36 a factor of b?
False
Let i(k) = -10*k**2 + 2*k - 36. Let v(o) = 16*o**2 - 5*o + 73. Let z(l) = -5*i(l) - 3*v(l). Is 3 a factor of z(6)?
True
Let t = 178 - 164. Suppose -t*n = 686 - 2324. Does 13 divide n?
True
Suppose 2*r + 179*s = 183*s + 36192, 36234 = 2*r + 3*s. Is r a multiple of 8?
False
Let h = -32652 + 49143. Is h a multiple of 12?
False
Let z(x) = 6*x**3 - 2*x**2 - x + 5. Let d(i) = -5*i**3 + 2*i - 6. Let o(g) = 4*d(g) + 3*z(g). Is o(-5) a multiple of 45?
False
Let b = 111 + -109. Suppose -2*t = -b*y + 380, t - 194 = -12*y + 11*y. Is 12 a factor of y?
True
Suppose 12*k + 70 = w + 16*k, 4*w + 2*k - 210 = 0. Let a(f) = 10*f**2 + f + 1. Let b be a(-2). Let m = b + w. Is m a multiple of 36?
False
Does 36 divide (-5 - -4)/4 + (4 - 89310/(-24))?
False
Let a(g) = -2*g**2 + 15*g + 93. Let v be a(11). Suppose v*y = -13*y + 40020. Is 15 a factor of y?
True
Suppose 2*w - 33 = -23. Is 15 a factor of (-519)/(-15)*w - -7?
True
Let o(v) = 2025*v**2 + 32*v + 91. Is 40 a factor of o(-3)?
False
Let l = 13570 + -13355. Is l a multiple of 52?
False
Suppose 452932 = 75*d - 46*d + 4157. Does 11 divide d?
False
Let m = -113 + 120. Suppose 2*l + 30 = m*l. Is 61 a factor of 394*6/8 + (-9)/l?
False
Let v(z) = 21528*z**2 + 60*z + 61. Does 38 divide v(-1)?
False
Let i(t) = -2712*t - 1860. Is i(-5) a multiple of 36?
True
Let x be 69/92 + (-927)/4. Let p = -191 - x. Is p a multiple of 4?
True
Let l = 42 - 49. Let v be (-18)/(-63) - 299/l. Suppose 4*r - 2*r + v = 3*q, 4*q + 4*r = 44. Is q a multiple of 10?
False
Suppose -26 - 4 = -10*l. Let b(x) = 202*x**2 - 2. Let h be b(-2). Suppose 0 = -4*m - l*v + 620, -5*m - 2*v + h = -6*v. Is m a multiple of 27?
False
Let k = 138234 - 96472. Is k a multiple of 266?
True
Suppose 25*w - 111 + 36 = 0. Suppose -3*j - 514 = -6*j + 4*s, -5*j = -w*s - 864. Does 13 divide j?
False
Let y(h) = -2*h**2 + 11*h + 23. Let q be y(7). Let t = 3 + q. Suppose -2*p + 179 = 3*u - 468, 3*u + t*p = 632. Is 18 a factor of u?
False
Suppose -2*i + 51 = 41. Does 15 divide 56 + 1/i*5 + 3?
True
Suppose 70*k - 2755 = 65*k. Suppose -5*q + 0*q + k = b, q - b = 115. Does 5 divide q?
False
Suppose -5*t + 4*t + 577 + 1116 = 0. Is t a multiple of 11?
False
Suppose 3*j - 15*k = -14*k + 3195, -2*j + k + 2130 = 0. Let x = j - 729. Does 48 divide x?
True
Let b(d) = 140*d**2 + d - 1. Suppose 4*x + 6 = 10*x. Let i be b(x). Suppose -2*y = 0, 5*a + y + y - i = 0. Is a a multiple of 14?
True
Suppose -702*v = 5*q - 705*v - 8271, -2*v = -4*q + 6616. Does 46 divide q?
False
Suppose -v = 5*h + 12 - 31, -3*h + 21 = 3*v. Suppose v*d - 104 = 116. Let q = d - 13. Does 7 divide q?
True
Let v be (-176)/(-99) + (-4)/(-18). Let y(x) = -10*x**v - 10 + 3*x + 3*x + x**3 + 5*x. Does 5 divide y(9)?
False
Let c(h) = 103*h**2 + 7*h + 7. Suppose 124 = 6*x + 100. Is c(x) a multiple of 17?
True
Let j(t) = -4*t + 96. Is j(-20) a multiple of 16?
True
Let f(b) = -5*b - 61. Let k be f(-13). Suppose 7*i - 24 = k. Suppose 2*v - 450 = 5*o - 3*o, 5*v - 1130 = i*o. Is v a multiple of 14?
False
Suppose 5*k + 19365 = 138670. Is k a multiple of 67?
False
Let i = 1356 + 1959. Is 17 a factor of i?
True
Suppose 1277 = 5*g + 5*m - m, -5*m + 1280 = 5*g. I