t l = -889 + g. Is l a multiple of 20?
False
Let h(j) = -2*j + 4*j + 26 - 3*j - 39. Let z be h(-17). Suppose -2*x = -3*d + 152, d - 5*d - z*x + 196 = 0. Is d a multiple of 10?
True
Let l = 178 + -175. Suppose 7*v - 2*v + 4*y = 1343, -793 = -l*v + 4*y. Is 35 a factor of v?
False
Suppose 0 = b - 28*z + 25*z - 874, 2*z = 5*b - 4344. Is 28 a factor of b?
True
Suppose -14*j - 147230 = -215592. Is j a multiple of 15?
False
Let w(f) = -2*f**3 + 45*f**2 + 129*f - 26. Is w(22) a multiple of 206?
True
Suppose -21*y + 27440 = 7*y. Is y a multiple of 10?
True
Let l = -14320 - -21738. Is 75 a factor of l?
False
Let z = 156 - 154. Suppose 2*v - 2*c = 1392, -5*v - z*c + 2635 = -873. Is 20 a factor of v?
True
Suppose q - 728 = -35. Suppose -4*o - 20 = 0, m - 5*m - 3*o + q = 0. Suppose a + 135 = 3*l - m, -2*a = 0. Is 14 a factor of l?
False
Suppose 2*j = -6 + 4. Let b be (-75)/10*j*12/(-5). Let h(q) = -3*q + 9. Is 21 a factor of h(b)?
True
Suppose -18*f + 10*f + 62400 = 0. Is 13 a factor of f?
True
Is 12 a factor of 14559/2*(-52)/(-78)?
False
Let t = -9504 - -12076. Does 4 divide t?
True
Is (-10 - (2 - 8195)) + (-42)/(-6) a multiple of 30?
True
Let r = -13 - -19. Suppose -11*i = -r*i. Suppose -3*b = 5*h - i*b - 504, -b = h - 100. Is 21 a factor of h?
False
Let x(u) = 53 - 98*u**2 - 5 + u**3 + 97*u**2. Let o(g) = g**2 + 5*g. Let p be o(-5). Does 16 divide x(p)?
True
Let n(w) be the first derivative of -w**4 + 8*w**3/3 - 3*w**2/2 - 12*w - 50. Let d be n(4). Let r = d + 326. Does 35 divide r?
False
Suppose -2*q = q + 3*c + 15, -4*c - 14 = 2*q. Does 12 divide (-12 + (-651)/(-28))/(q/(-16))?
True
Let n be (-2 - 3/(-3))/(2/290). Is 55 a factor of (-25578)/n - (-2)/(-5)?
False
Suppose -5*j - b + 53598 - 15212 = 0, -24 = -4*b. Is j a multiple of 21?
False
Let o be (141/(-4))/(2/8). Let j be ((-6)/15)/((-15)/(225/(-2))). Is (j - o) + 8/(-4) a multiple of 45?
False
Let w(g) be the first derivative of 4*g**2 - 15*g + 1. Let z be 3/((5*3/(-36))/((-435)/261)). Does 25 divide w(z)?
False
Let d = -81 + -8. Let f = 279 + d. Does 19 divide f?
True
Let b = 21898 - 10804. Is 43 a factor of b?
True
Suppose -43707 = 18*o - o. Does 33 divide (-3)/(-5 + -1) - o/6?
True
Let y = 278 + -106. Suppose -h + y = b - 6*h, 5*b - 2*h = 883. Does 13 divide b?
False
Suppose -j + 1 = -4*v - 4*j, 4*v + 7 = -5*j. Suppose -v*k - 12 = -2*t, -t - 3*k = -6*k - 4. Suppose 2*w - n = 23, -4*n + t = -w + 1. Is 12 a factor of w?
False
Let c be (-114 - -2)*((-4)/(-2) + -3). Let b = c - 46. Is 6 a factor of b?
True
Suppose -h + 3*m + 344 = 0, 5*h - 3*m = 1978 - 330. Is h a multiple of 6?
False
Let b(y) be the first derivative of y**4/4 - 8*y**3/3 + 19*y**2 - 13*y + 11. Is b(11) a multiple of 16?
True
Suppose -6*z + 0*z = -270. Let m = z + 11. Suppose m = b - 4. Does 13 divide b?
False
Let m = 34 + -32. Suppose 68 = -6*p - 16. Does 5 divide ((-32)/16)/(m/p)?
False
Let g = 838 - 830. Let p(i) = 60*i + 46. Does 16 divide p(g)?
False
Let l be 9/(162/(-12)) + 9735/9. Let i = l + -907. Does 8 divide i?
False
Let q = 96765 + -58020. Does 287 divide q?
True
Let a(o) = -2*o**3 - 4*o**2 + 5*o - 6. Let n = 55 - 58. Let b be a(n). Let w(x) = -7*x**3 + x**2 + 5*x + 7. Does 10 divide w(b)?
True
Let d(g) = -3*g**2 - 19*g + 13. Let u be d(-7). Is (-21 + 22)/(u/(-18)) a multiple of 3?
True
Let f(m) = 11*m - 46. Let r be f(5). Suppose -r*t + 20761 = 6721. Is t a multiple of 65?
True
Suppose 3*n = 2*z - 743, 382 = 4*z - 3*z - 5*n. Is z a multiple of 5?
False
Let u be (15 - (1 - -1))/1. Let r = 435 + -395. Let x = r - u. Is x a multiple of 6?
False
Let w be (-22)/1*152/(-836). Let v(g) = -4*g + 0 + 0 + 4*g**2 - 1. Is 20 a factor of v(w)?
False
Let f be (-8 + 184)*-2*4. Let m = -984 - f. Is 31 a factor of m?
False
Suppose -4*b = -4*w - 8, 4*b + b + 10 = -5*w. Suppose b = 2*l + 5*v + 20, -v - 8 = 3*l + v. Suppose l = 3*g - g - 36. Is 18 a factor of g?
True
Let m(g) = 23*g**2 + 2*g - 4. Let j(d) = 4*d - 34. Let u be j(9). Does 46 divide m(u)?
True
Let c(v) = -1397*v + 5889. Is 9 a factor of c(-12)?
True
Let v(j) = j**2 - 22*j - 72. Let b be v(24). Is 5 a factor of (-630)/b + (-6)/(-8)?
False
Suppose -66*x = -24935 - 120793. Is 4 a factor of x?
True
Let q be 2852 + 1 + -12*(-11)/(-44). Suppose -8*u = 2*u - q. Is u a multiple of 13?
False
Suppose -s - 4*m + 30 = s, s + 3*m - 18 = 0. Does 32 divide (-2)/9 + 3889/s*2?
True
Let f = 433 - 193. Let z(m) = -m**2 - 21*m - 85. Let t be z(-6). Suppose 910 = t*d + f. Is 20 a factor of d?
False
Let o = 2822 - -1598. Does 52 divide o?
True
Let v(h) = -11*h - 15. Let a be v(-2). Let x be -1 - -5 - (-4 - a). Let i = x + 8. Is i a multiple of 23?
True
Suppose -3*r - 3*u = -17484, -81*r - 5*u + 11662 = -79*r. Is r a multiple of 3?
True
Let x(r) = r**3 - 34*r**2 + 68*r - 40. Suppose 5*u - 2*s - 166 = 0, -5*u - 7*s + 6*s + 157 = 0. Is 5 a factor of x(u)?
False
Does 11 divide ((-5709)/(-9))/((-54)/(-81)*(-2)/(-20))?
True
Does 6 divide 3838 - (28/(-8))/(14/28)?
False
Let o(i) = 39*i**2 - 115*i + 44. Is o(7) a multiple of 2?
True
Suppose -x + 14 = 6*x. Is (1/(x/(-10)) - -4)*-73 even?
False
Let l = -11 - -16. Suppose 5*o + 3 = -2*r + 4*o, o + l = -4*r. Does 8 divide 27 + r + 6/(-3)?
True
Let q be 1 + 0 + (-22)/(-11). Suppose q*x + 230 = 941. Is 15 a factor of x?
False
Let g be -1 + -2 + (4 - 3). Let n(k) = -2*k**3 - 4*k**2 - 2*k + 1. Let d be n(g). Suppose 4*y = d*y - 135. Does 27 divide y?
True
Suppose -165*v - 2377 + 1980397 = 0. Is v a multiple of 18?
True
Let g = -43 - -51. Let c(p) = -46*p + 2 + 50*p - p**3 + g*p**2 + 6. Is 15 a factor of c(6)?
False
Let x = -225 + 226. Is 62 a factor of (0/x)/(-5) + 214?
False
Suppose -33 = -37*a + 40*a. Let j(p) = p**2 - 5*p + 20. Does 4 divide j(a)?
True
Let h be (-48 - -1)*10/10. Let v = h + 113. Suppose -729 = v*a - 69*a. Is a a multiple of 48?
False
Let w = 18279 + -17907. Is w a multiple of 37?
False
Let x(a) = 2*a + 1. Let r(f) = -2*f**3 - 36*f**2 + 6*f - 19. Let u(d) = -r(d) + x(d). Is u(-17) a multiple of 18?
True
Let g be 1/3 + (-16)/(-6). Suppose 39*h - 46*h = -21. Suppose 0 = -b - 0*b + h*d + 27, -51 = -b - g*d. Does 6 divide b?
False
Is 1386756/(144/(-8))*4/(-14) a multiple of 18?
False
Let b be 2 + (6/10)/((-1)/(-5)). Suppose 0*h - 4 = -h + j, 20 = 5*h + b*j. Suppose -5*s + 645 = -3*p, s - h*p - 650 = -4*s. Is s a multiple of 9?
True
Let x = -98 - -110. Suppose 0 = -63*h + 67*h - x. Suppose -2*p + 3*p - 2*r = 20, h*p - 63 = 3*r. Does 11 divide p?
True
Suppose 2*x - 38 = -4*j, -6*j + 44 = -2*j + 4*x. Suppose j*n = 4*n - 24. Is -3*(-304)/20 + n/(-15) a multiple of 3?
False
Suppose 4*a + 30 = 3054. Let o = -666 + a. Is o even?
True
Let n = -264 + 268. Suppose 0 = 2*g - 2*a - 234, 5*g + n*a + 129 = 6*g. Does 8 divide g?
False
Let u = -4083 + 2403. Is (510/(-8))/(70/u) a multiple of 90?
True
Let a(h) = h**3 - 47*h**2 - 92*h - 766. Does 9 divide a(52)?
False
Let d(k) = -174*k + 122. Let z be d(-17). Let i = z - 1997. Does 57 divide i?
True
Suppose -3*u - 2481 = 1461. Is 12 a factor of 2/((-6)/u*2)?
False
Suppose 170 = -5*p + 200, 2*k - 6490 = -5*p. Is k a multiple of 19?
True
Suppose 5*o = 3*n + 30898, 87*o + n + 30906 = 92*o. Does 11 divide o?
True
Let x(t) = -865*t + 9846. Is 9 a factor of x(0)?
True
Let r = 921 - 585. Is r a multiple of 26?
False
Let b be 26 + -23 + 0*(-1)/(-2). Is 3 a factor of (-2 + 3)/(104/(-36) + b)?
True
Is ((-2)/26)/((-108)/702) + (-1759)/(-2) a multiple of 220?
True
Suppose -3*r = z - 3665, 0 = -2*r - 3*r + 4*z + 6097. Let j = r + -555. Is 52 a factor of j?
False
Let t = 31 - 85. Let a = t - 39. Let y = a + 158. Is 13 a factor of y?
True
Does 66 divide (-3 - (-10331)/(-3))/((-2400)/(-135) + -18)?
True
Suppose -1405 = 5*f - 3955. Let d = 721 - f. Is d a multiple of 28?
False
Let v = 150 - 147. Suppose 5*i = -2*c + 2*i + 2375, 4*c + v*i - 4747 = 0. Does 27 divide c?
False
Suppose 4*v = -b + 57 - 204, 5*v = -b - 185. Let x = 33 - v. Is 11 a factor of (-5 + x)*(-1)/(-2)?
True
Suppose -4*l = -4*z - 4, 0*z - 5*l = z - 17. Let i(m) = 5 - m**z + 12*m + 11 - 11*m + 17*m. Does 8 divide i(14)?
True
Let c be 11/(-5) - 1/(-5). Let n(j) = 2*j - 5*j**3 - 1 + 0*j**3 - 3*j**2 - 5*j. Is n(c) a multiple of 16?
False
Let z(f) = -31*f - 5. Let n be z(-2). Suppose -n - 23 = -5*c. Is c a multiple of 15?
False
Let c(n) = -n**2 + n - 2. Let o be c(0)