False
Let h(p) = -40*p + 30. Suppose 0 = 7*d + 35 + 7. Is h(d) a multiple of 45?
True
Suppose 7*c - 2255 + 757 = 0. Let h = c - 1. Is 14 a factor of h?
False
Is 25 a factor of (-40)/(-14)*441/18?
False
Suppose 128 = 5*c - r - 3*r, 2*c = r + 53. Suppose 0 = 23*h - c*h + 1330. Is 19 a factor of h?
True
Suppose -1633 = -3*m - 4*s, 3*s + 0*s - 2740 = -5*m. Does 29 divide m?
True
Let h = 624 + -352. Is h a multiple of 8?
True
Let k be -1 + 2 + (-4)/(-2). Suppose 0 = -k*w - 53 + 728. Suppose 4*v - w = -v. Is 15 a factor of v?
True
Let g(l) = l**3 + 9*l**2 + 9*l + 10. Let j be (-2)/(-5) + (-210)/25. Let x be g(j). Suppose 0 = 3*t + 5*w - 105, -4*w + w - 51 = -x*t. Does 9 divide t?
False
Let f = 176 - -1639. Does 55 divide f?
True
Let w be (0 - -1) + -2 + 69. Let k = w - 3. Is 13 a factor of k?
True
Suppose -2*k = -5773 - 1227. Is 31 a factor of (-4)/(-14) + k/98?
False
Let s(t) = -t**3 - 5*t**2 + t + 5. Let w be s(-6). Suppose -w = x + 4*x. Is 3 a factor of 3/x + (-295)/(-35)?
False
Let x(i) = 0 - 37*i + 0*i**2 + i**2 + 52*i - 6. Is x(-19) a multiple of 7?
True
Is 162/(-4)*(-96)/36 a multiple of 10?
False
Suppose 0 = 3*l - 2*v - 313, v = -2*l + 2*v + 208. Let z = 235 - l. Is z a multiple of 7?
False
Does 59 divide 2/(-3)*885/(-2)?
True
Let x(p) = 2*p**2 + 8*p - 7. Let u be x(-5). Is 5 a factor of u + 1 + 0 + 26?
True
Suppose 2*c = 11*c - 270. Is 15 a factor of c?
True
Let w = 107 + 381. Is w a multiple of 13?
False
Let k = 225 - 207. Is k a multiple of 9?
True
Let i(l) = l**3 + 5*l**2 + l - 6. Let o be i(-4). Is 12 a factor of o/(-8) - 339/(-4)?
True
Let x(k) = -k**3 - 3*k**2 + 4*k + 4. Let r be x(-4). Suppose -5 = -r*t - 5*i, -5*t - 5*i = -3 - 2. Suppose t = 4*m - m - 72. Is 8 a factor of m?
True
Let y be (-1)/(2 + (-266)/132). Suppose -9*q + 536 - 158 = 0. Is (q/(-4))/((-11)/y) a multiple of 30?
False
Suppose -49 - 56 = 3*r. Is 26 a factor of (26/(-5))/(1/r)?
True
Let q(c) = c - 4. Let l be q(17). Suppose l = 4*k - 171. Is 23 a factor of k?
True
Suppose -219 = -35*m + 201. Is 12 a factor of m?
True
Suppose -4*m - m = -685. Is 36 a factor of m?
False
Suppose 11*f = 3*f - 40. Let w(a) = 3*a**2 - 2*a - 9. Is w(f) a multiple of 19?
True
Let a(j) = 0*j**2 + 1 - 9*j**2 + j**3 - 5 - 10*j. Let d be a(10). Is 12 a factor of (62/d)/((-7)/14)?
False
Suppose 5*k - 2215 = 2*f, -5*f - 61 = -36. Is k a multiple of 9?
True
Let d(p) = p**2 + 2*p - 6. Suppose 5*c - 7*c - 12 = 0. Let o be d(c). Let w = o + 15. Does 17 divide w?
False
Suppose 0*s - 3*s - 4*x = 1, 2*s + 2*x - 2 = 0. Suppose -5*k = -s*d + 105, -4*k + 2 - 17 = -d. Does 13 divide d?
False
Let y(b) = b**3 + 9*b**2 + 8*b + 5. Let d be y(-8). Is 19 a factor of 9/(-3) - (-55 - d)?
True
Suppose -3*r = n - 9, 0 = -n - 4*n. Suppose -3*v + r*q + q = -20, 4*v = -3*q - 15. Suppose v = -o + 25 + 27. Is o a multiple of 26?
True
Let w = 795 + -562. Let z = -138 + w. Is z a multiple of 28?
False
Is 10 a factor of -1 - 327/(-12) - (-24)/(-96)?
False
Let y(s) = 5*s - 1. Let v be y(6). Suppose -4*m = -15 - v. Suppose -m*l + 6*l + 65 = 0. Is 3 a factor of l?
False
Let c = 2128 - 1204. Suppose 2*b + 5*j = 462, 4*b = 3*j - 5*j + c. Suppose -5*n + b = 41. Does 11 divide n?
False
Let o = -498 - -898. Is 20 a factor of o?
True
Let c = 1279 + -721. Is c a multiple of 9?
True
Let v(b) = 26*b - 11. Let i be (-8)/(-28) + (-94)/(-14). Let m be v(i). Suppose -3*w + 48 = 5*o - 125, 3*w - m = -3*o. Does 28 divide w?
True
Let v(a) = a + 5. Let z be v(4). Suppose 5*c = -1 - z. Is 11 a factor of ((-4)/(-2))/(c/(-11))?
True
Let h = -80 - 1. Let i = h + 129. Does 16 divide i?
True
Suppose 0 = -3*b + 10*b - 133. Does 7 divide (-3)/1 - (-64 + b)?
True
Is 5*(7/35)/((-1)/(-1779)) a multiple of 19?
False
Suppose 4 + 3 = 4*t - 5*j, 4*j = 5*t - 11. Suppose -t*o = -6*o + 240. Is 11 a factor of o?
False
Let n(z) = -z**3 + z**2 + 3*z - 11. Let s be n(5). Does 18 divide s/18*(-27)/4?
True
Let g(q) = 7*q**3 + 12*q**2 + 14*q + 2. Let t(p) = 3*p**3 + 6*p**2 + 7*p + 1. Let z(o) = -3*g(o) + 5*t(o). Is z(-4) a multiple of 32?
False
Suppose 0 = n - 6*n - v + 37, 5*n - 3*v = 29. Let u be n/((-56)/108)*-2. Suppose -k + 4*w + u = 3*w, -143 = -5*k - 3*w. Is k a multiple of 7?
True
Suppose -2*c = -8 - 12. Suppose -8*f + d = -c*f + 155, f - d = 76. Does 16 divide f?
False
Let r(i) be the third derivative of -i**5/60 - 3*i**4/8 + 8*i**3/3 - 11*i**2. Is 5 a factor of r(-9)?
False
Let b = -784 - -1097. Does 8 divide b?
False
Suppose 987 = p + 807. Is p a multiple of 30?
True
Let t = 222 + -105. Is 13 a factor of t?
True
Let z be (-3 - -3*2) + 2. Suppose -z*i + d - 290 = 5*d, -172 = 3*i + 2*d. Let s = 86 + i. Is s a multiple of 5?
False
Is 18 a factor of (48 - 0)/((-11)/(-33))?
True
Suppose -y + 7*y - 18 = 0. Suppose -130 = -4*c - 2*p, -y*p = 5*c - 66 - 94. Is 4 a factor of c?
False
Let f = -55 + 71. Let o = f - -2. Is 8 a factor of o?
False
Let i = 34 - 17. Suppose -22*z + i*z = -25. Does 2 divide z?
False
Let i(a) = a**2 + 6*a + 1. Let p be i(-6). Let o(r) = r**2. Let v(c) = c**3 + 9*c**2 - 9*c - 12. Let d(g) = p*v(g) - 2*o(g). Does 13 divide d(-6)?
True
Let f(t) be the first derivative of -4*t**2 - 10*t - 3. Is f(-5) a multiple of 15?
True
Suppose 5*t - 878 - 4362 = 5*g, 1066 = t + 5*g. Does 96 divide t?
False
Suppose 5*k - 3 = 87. Suppose 10 = 7*f - 2*f, 5*t = -4*f - 37. Let n = t + k. Does 8 divide n?
False
Suppose 0 = 458*y - 453*y - 150. Is y a multiple of 3?
True
Let b(l) = -613*l + 148. Does 10 divide b(-2)?
False
Let b(r) = -r**3 - 6*r**2 + 11*r + 4. Let k be b(-8). Let f = k + -8. Suppose 2*a + 5 = t, 2*a = -5*t + a + f. Is 5 a factor of t?
False
Suppose -454*v + 1908 = -450*v. Is 53 a factor of v?
True
Let k(i) = i**3 + 4*i**2 - 26*i - 38. Does 9 divide k(10)?
False
Is 10 a factor of 3*((-127)/(-3) - 2) + 4?
False
Suppose 15*n - 3264 = 2016. Does 22 divide n?
True
Suppose -i = 2*g + 161 + 17, -3*i - 533 = 5*g. Let n = i - -251. Is 15 a factor of n?
True
Suppose -2*f = -3*s + 1469 - 362, f - 369 = -s. Suppose -13*x + 16*x = s. Suppose 3*w - x = d - 4*d, 0 = -2*w - 2. Is 14 a factor of d?
True
Suppose -w + 0 + 5 = 0. Suppose -u - w + 16 = 0. Let q = 30 - u. Is q a multiple of 13?
False
Let r = 108 - -60. Is r a multiple of 21?
True
Let l(n) = 2*n**3 - 3*n**2 - 14*n - 40. Does 9 divide l(9)?
False
Suppose -2*h + 4*h + 309 = 3*r, -r - h = -98. Suppose -2*w - 3*w + 2*u = r, 2*u = -3*w - 67. Is (-22)/(-6)*(-3 - w) a multiple of 20?
False
Suppose -2*m = 3*n + 15, 3*m - 2*n + 25 = -7*n. Suppose m = -q - 4*q + 990. Is q/12*2/3 a multiple of 3?
False
Let b = -140 - -131. Does 33 divide b/18 + (-1246)/(-4)?
False
Is 25 a factor of ((-150)/18)/(((-5)/(-162))/(-5))?
True
Suppose 0 = -6*z - z - 35. Let r be 15/z + 27 - -1. Suppose 5*f + 5*d - 360 = 0, -35 = -f + 5*d + r. Does 19 divide f?
False
Let a(x) = -x**3 + 3*x**2 + 11*x + 5. Let d be a(5). Suppose d = -v - 4*v, 2*n - 106 = -v. Does 9 divide n?
True
Suppose 16*j - 12*j + 4344 = 0. Is 27/(-45) - j/10 a multiple of 27?
True
Suppose 2*g - 4*z = 816, 6*z = 4*g + 5*z - 1597. Is 5 a factor of g?
False
Is (-4)/3*(-1038)/8 even?
False
Suppose -l - 4*l = -165. Is l*1*2/6 a multiple of 2?
False
Is 757 + -16 + 4/(-2) a multiple of 11?
False
Suppose 0 = 1301*s - 1309*s + 576. Is 9 a factor of s?
True
Let i(w) = -w**2 - 24*w + 49. Does 8 divide i(-21)?
True
Suppose 12*k = 8*k + 740. Suppose k = 4*r - r + 2*y, -5*y - 73 = -r. Does 9 divide r?
True
Let l(g) be the second derivative of g**4/3 - 11*g**3/6 - 17*g**2/2 + 30*g. Does 29 divide l(-4)?
False
Suppose 14*r - 540 = 12*r. Suppose -5*t = -8*t + r. Does 18 divide t?
True
Suppose 10 = 2*d + y - 2*y, 4*d + 4*y - 20 = 0. Suppose 0 = d*f - 0*f - 630. Suppose l = 3*l - f. Is l a multiple of 22?
False
Let r = 35 - 31. Suppose 0 = -r*c - 0*c + 632. Let g = -86 + c. Is 10 a factor of g?
False
Is (-2)/(-14) + (-13233)/(-77) a multiple of 20?
False
Let j(n) = -9*n + 30. Is 48 a factor of j(-2)?
True
Suppose -28 = 11*r - 347. Is 2 a factor of r?
False
Suppose 0 = 4*y - 9*y + 20. Let g be ((-4)/(-2))/(y/6). Suppose 0 = g*f + 7 - 43. Is f a multiple of 6?
True
Let r(w) = 12*w + 2. Let m(i) = -i - 1. Let v(c) = 28*c + 8. Let s(q) = 5*m(q) + v(q). Let b(f) = 5*r(f) - 3*s(f). Is 25 a factor of b(-7)?
False
Let s(p) = 3*p + 1. Let i be s(1). Suppose 0 = -i*j + 7 + 1. Does 2 divide 17/3 +