252) - (-32)/14. Suppose k*h - 24*h + 4796 = 0. Does 31 divide h?
False
Suppose 5*f = 5, 0 = p - 2*f - 1990 - 3456. Is p a multiple of 4?
True
Suppose -2*s = 5*x - 51430, -4*s + 5*x = -34977 - 67763. Does 12 divide s?
False
Let o(p) = 3*p**2 - 18*p - 14. Suppose a = -2*a + 3. Suppose m + 2*z = 14, 2*z - a = -4*m + 37. Does 4 divide o(m)?
False
Suppose -37*w = -137*w + 13200. Is 4 a factor of w?
True
Let l = 115 + -179. Let a = -1 + l. Let y = -61 - a. Does 2 divide y?
True
Suppose 20*y - 2404 = -4*w + 19*y, -5*y + 2990 = 5*w. Is w a multiple of 7?
True
Let v(g) = -g**2 - 12*g + 116. Suppose 3*j + 2*c = -50, -5*j = -2*c + 61 + 33. Is v(j) a multiple of 6?
False
Let f = -238 - -130. Let j = 267 + f. Does 67 divide j?
False
Let k(j) = -j**2 - 6*j - 6. Let r be k(-4). Suppose 0 = -r*c - 2*w + 12, 2*c = 4*w - 0*w. Does 35 divide c/14 + 6/(-21) - -35?
True
Let d(p) = 55 + 39 - 119*p + 114*p. Does 12 divide d(2)?
True
Is 10 a factor of (645/(4 + -1))/(((-266)/28)/(-19))?
True
Let i(l) = l**3 + 15*l**2 - 2*l - 22. Let w be i(-15). Suppose 0 = 2*k + 3*p - 588, -k - p - 4*p + 308 = 0. Suppose -4*a = w*a - k. Is 12 a factor of a?
True
Let r(s) = -64*s + 345. Let w(m) = -133*m + 691. Let u(i) = 7*r(i) - 4*w(i). Does 33 divide u(22)?
False
Suppose -250*v + 256*v + b = 297831, -v - b = -49641. Does 137 divide v?
False
Suppose -3*t = -a - 34, 110 = -5*a - 170*t + 173*t. Let w(m) = m**3 + 26*m**2 + 74*m - 17. Is w(a) a multiple of 54?
False
Let v(w) = -7*w - 13. Let j be v(17). Let z = 186 + j. Is 22 a factor of z?
False
Let r(a) = 3*a**2 + 10*a + 11. Let m be r(-6). Let q = m + 51. Is 9 a factor of q?
False
Suppose -8*b + 1223 + 81 = 0. Let i = 355 + b. Is 7 a factor of i?
True
Let d be 2536/120 - (3 + 43/(-15)). Suppose y = -2*m + m + d, -4*m = 12. Is 12 a factor of y?
True
Let l = -33226 - -52751. Is 6 a factor of l?
False
Let b(g) = 647*g - 1285. Is b(8) a multiple of 25?
False
Let o = 13906 + 1632. Does 28 divide o?
False
Let o be (-29)/((-1)/25*-5). Let q = -139 - o. Is q a multiple of 6?
True
Let p be (-4)/((-1)/(-14)*2). Let k be 1146/15 - 12/(-20). Let j = k + p. Is j a multiple of 24?
False
Let q = 6926 - -1903. Is q a multiple of 27?
True
Let s(h) = -1115*h - 486. Does 33 divide s(-6)?
True
Let p(d) = 391*d**3 - 34*d**2 + 93*d - 9. Is 29 a factor of p(3)?
False
Suppose 5*q = -5*o + 85, -o - 10*q + 5*q + 13 = 0. Is (-16)/3*(-3483)/o a multiple of 60?
False
Let s = 11957 - 6796. Suppose -s = -4*n - 9*n. Is n a multiple of 22?
False
Suppose -36190 = -45*z - 10720 + 25470. Is 90 a factor of z?
False
Let q(y) = 36*y - 66. Let j = 35 + -39. Let t(m) = 7*m - 13. Let x(a) = j*q(a) + 21*t(a). Is 5 a factor of x(9)?
False
Let l be (-5202)/(-5) + (18/15)/(-3). Let h = -464 + l. Is h a multiple of 36?
True
Suppose 55*v + 16 = 59*v. Is 11 a factor of ((-7 - -9)*-2)/(v/(-82))?
False
Let h = -362 - -863. Let q = 1194 - h. Is 12 a factor of q?
False
Suppose -5*d - m = -4285 + 166, 4*m - 3292 = -4*d. Let t = d + -572. Does 42 divide t?
True
Let m(c) = 0 + 12 - 2*c + 22*c - 3 - 2*c**2. Let r be m(10). Suppose -r*j = -10*j + 24. Is 12 a factor of j?
True
Let z(u) = -52*u + 5. Let b be z(-14). Suppose 3*j - 5*x - b = 0, 0 = 3*j + 3*x - 779 + 14. Suppose 11*c + 3*o = 9*c + j, -2*o - 10 = 0. Is c a multiple of 12?
False
Suppose -3*l - 3*m = -62133, 0 = 4*l - m + 3*m - 82834. Suppose -41*y - l = -75*y. Does 27 divide y?
False
Let n(p) = -40*p + 129. Is n(-24) a multiple of 3?
True
Is 116 a factor of 7/21 + 6 + 132/(-18) + 61629?
False
Suppose g + 3934*r - 3937*r = 10170, -4*r + 30458 = 3*g. Is 22 a factor of g?
False
Suppose 5*q = -4*d + 18168, -3*q - 36*d = -34*d - 10904. Is q a multiple of 40?
True
Let n(q) = 16*q**2 - 109*q - 48. Is n(12) a multiple of 4?
True
Let u(r) = -12*r - 10. Let l be u(-4). Let z(i) = -2 + 26*i - l*i - 14*i - 29*i. Is z(-1) a multiple of 6?
False
Let g(k) = k**3 - 17*k**2 - 36*k - 36. Let i be g(19). Does 8 divide (64/(-2))/(i/30*-3)?
True
Let r be 11/33 - 8/(-3). Suppose -12 = 3*y, -r*z + 0*z + 4*y = -937. Does 50 divide z?
False
Let l be (-1*(-4)/7)/(40/140). Suppose -2*z + 4*y = -456, l*z + y + 231 = 3*z. Is 26 a factor of z?
True
Let m = 10189 - 3647. Is m a multiple of 28?
False
Does 33 divide (-3)/1 + (0 - -1218) + -14?
False
Does 76 divide (-8 + (-13 - -18))*-1595?
False
Is 126*68*(-342)/(-108) a multiple of 51?
True
Let f(p) = p**2 - 8*p + 9. Let a be f(7). Suppose 0 = -3*v - 9, -3*k - a*v + 10 + 11 = 0. Suppose 909 = -0*s + k*s. Is s a multiple of 18?
False
Let z(n) = -975*n + 226. Does 98 divide z(-6)?
True
Let q = -525 + 1065. Suppose q = -3*x - 9*x. Is 15 a factor of 358/3 + (-30)/x?
True
Let v(w) = w**3 - 6*w**2 - 2*w + 22. Suppose -2*q - 26 = -3*z - z, 0 = -q - 5*z - 48. Let j be ((-2)/(-4))/(q/(-276)). Is 2 a factor of v(j)?
True
Let h(t) = 10*t - 37. Let v be h(4). Suppose -267 = -5*y + 2*p - v*p, -3*p + 271 = 5*y. Let g = 97 - y. Does 11 divide g?
True
Suppose -9*k + k = -16592. Suppose 0 = -5*i + 4*c + k, -258 = -2*i - 5*c + 565. Does 18 divide i?
True
Suppose 5*k + 115*s = 119*s + 40020, s + 40035 = 5*k. Is k a multiple of 143?
True
Is 20*((-7)/(-119) - 149014/(-136)) a multiple of 15?
True
Is -4*(-3)/(-84) - 10/(140/(-28002)) a multiple of 16?
True
Suppose -142*r + 69*r = -66*r - 6244. Does 10 divide r?
False
Let a be (-30)/15 + (-85)/(-1). Suppose 387*b = 388*b - a. Does 13 divide b?
False
Suppose 7*p - 50 = -3*p. Does 15 divide p + (-24)/(-6) + 21?
True
Suppose -1910 = -y - 4*r + 476, -5*y = -5*r - 11755. Is 131 a factor of y?
True
Let t(d) = 3*d**3 - 60*d**2 + 5*d - 50. Let u(q) = -q**3 + q**2 + 3*q - 1. Let f(g) = t(g) + 5*u(g). Is f(-28) a multiple of 4?
False
Let q = 42895 + -32625. Does 44 divide q?
False
Does 44 divide (201*-8 - -5)*(3 - (13 - 5))?
False
Let t be 6 - (4 - 2) - 2896. Is 18 + -23 + 1/((-3)/t) a multiple of 31?
False
Let u(j) = j**2 + 88*j + 3. Let f(g) = -22*g - 1. Let t(x) = 22*f(x) + 6*u(x). Is t(-15) a multiple of 14?
True
Suppose 7*i - 2698 = 2454. Suppose -i = -3*f - 2*h + 580, 1756 = 4*f + 2*h. Does 10 divide f?
True
Let g = 1035 - -595. Let j = 2800 - g. Is 30 a factor of j?
True
Let g(q) be the second derivative of -86/3*q**3 + 0 - 3/2*q**2 - 5*q. Is g(-1) a multiple of 14?
False
Suppose 13*z - 14*z = 4*a - 7, -3*a - 2*z - 1 = 0. Suppose 61*t - 58*t - 161 = -i, -i = -a*t + 163. Is t a multiple of 2?
True
Suppose -86*h - 124*h + 581700 = 0. Does 27 divide h?
False
Let c(p) = -8616*p + 1555. Does 16 divide c(-4)?
False
Is 13 a factor of (4059/(-18) + (-110)/(-10))*(-26)/3?
True
Suppose -2*g + 0*g - 2 = 0. Let j be 285 + (g + -1)*-2. Suppose -3*x - 4*i = -172, 4*x = -i - 51 + j. Is x a multiple of 10?
True
Suppose -3 = -110*v + 109*v. Suppose l - 92 = -n, -v*l - 35 = -3*n + 235. Is 3 a factor of n?
False
Let v(h) = -1. Let f be (9/24*4)/((-2)/(-4)). Let d(z) = 6*z + 48. Let l(y) = f*d(y) + 126*v(y). Is l(5) a multiple of 12?
True
Suppose -80231 = -30*n + 171366 + 155743. Does 61 divide n?
False
Is (-2592)/(-132) + -20 - (-32814)/33 a multiple of 3?
False
Let z(o) be the second derivative of -o**5/20 - o**4/3 + o**3/2 - 3*o**2 + 280*o. Let v = 5 - 10. Is 3 a factor of z(v)?
False
Let c(o) = 6*o - 45. Let h be c(2). Let f = h + 237. Is 34 a factor of f?
True
Let h = -88 - -93. Let c be 4 + 30 + h + -3. Let u = c - -40. Is u a multiple of 38?
True
Suppose -q - 332 = -4*q + 139. Is 18 a factor of q?
False
Suppose -3*t + z = -6 - 29, -4*t + 36 = -4*z. Let v be -4 + t + 0 + -4. Suppose v*q = 21 + 64. Is q a multiple of 2?
False
Let x = -7562 + 13406. Is x a multiple of 3?
True
Suppose 2*y = -0*y - 6*y. Suppose y = 99*a - 94*a - 1140. Is a a multiple of 27?
False
Suppose 0 = -2*m + 3*q + 5111, 0 = -4*m - 5*q + 7245 + 3010. Suppose -36*n - m = -52*n. Is n a multiple of 8?
True
Let d = 249 - 244. Suppose -d = -a, -24*y + 19*y - 2*a = -3055. Is 21 a factor of y?
True
Let b be 5/(-10) + (-1844)/8. Let k = b - -774. Suppose -o = 4*p - 578 - 149, -3*o = 3*p - k. Does 27 divide p?
False
Let i = 186 + -111. Let h = i + 333. Does 17 divide h?
True
Let j(t) = -57*t**3 - 5*t**2 + 5*t + 72. Does 27 divide j(-5)?
True
Let t = 5 + 10. Suppose 11*o = 6*o - t. Let v = o + 39. Does 9 divide v?
True
Let a(i) = 7*i**2 - 4*i - 6. Let b(s) = 6*s**2 - 4*s - 5. Let k(f) = 5*a(f) - 6*b(f). Let z be k(3). Suppose 0 = -z*m 