-5)/o?
True
Suppose -3*u = -l + 7786 + 7767, -u = -3*l + 46595. Is 3 a factor of l?
False
Suppose -84*k + 50378 = 156*k - 139702. Does 18 divide k?
True
Let c be ((-4 - 1) + 6)*(-2 + 3). Let i(y) = 1588*y**2 + 2*y - 1. Does 36 divide i(c)?
False
Does 6 divide (-1 + 234)/(31 + (-18336)/592)?
False
Is ((-705248)/224 - 12/(-28))*1/(-2) a multiple of 22?
False
Let n(g) = -15*g - 62. Let w be n(-5). Let r(z) = -z**3 + 17*z**2 - 17*z - 21. Is 25 a factor of r(w)?
False
Let h(n) = -15*n - 22. Let a(m) = 17*m + 24. Let o(j) = 5*a(j) + 6*h(j). Let d(t) = 2*t + 2. Let i be d(-5). Does 14 divide o(i)?
True
Suppose 27*n - 207391 = 23*n - 19*n. Is 71 a factor of n?
True
Suppose 20*j - 21*j = -15*j + 250264. Is 26 a factor of j?
False
Let n be (630/1)/((-9)/(-24)). Let y be (3/(-4))/(20/n). Is 13 a factor of 6/27 - 4081/y?
True
Let o be (1 + (-952)/16)*78/(-9). Suppose 3*f + 984 = 5*v - o, -v = -3*f - 291. Is v a multiple of 30?
True
Suppose -1528 - 47366 + 582814 = 32*a. Is 60 a factor of a?
False
Let s(m) = 22*m**2 + 243*m - 28. Does 9 divide s(-15)?
False
Let v = 2178 + -1738. Is v a multiple of 11?
True
Let z = -11889 - -21115. Is 87 a factor of z?
False
Suppose -47*w - 8*w + 165 = 0. Suppose w*u - 1187 - 1675 = 0. Is u a multiple of 9?
True
Let j(f) = -67*f**3 + 3*f**2 - 4*f + 4. Does 67 divide j(-2)?
False
Suppose 388*v - 6 = 390*v. Is 45 a factor of -4*((-515)/10 - v)?
False
Let x(w) = 6*w + 239 + 8*w - 21*w + 4*w. Does 31 divide x(0)?
False
Suppose 9*k + 11 = 10*k. Let p = k + -9. Suppose -q + m + 14 + 25 = 0, -p*m + 78 = 2*q. Does 17 divide q?
False
Let z(j) = 168*j**3 - j**2 + 3*j - 2. Let f be z(1). Suppose 3*g - 7*g = -f. Suppose g + 20 = 3*l + 5*p, 2*l + 5*p - 33 = 0. Is l a multiple of 21?
False
Let b(s) = -s**3 + 4*s**2 + 13*s - 3. Let u be b(6). Suppose -u = -0*z - z. Suppose -36 = z*f - 114. Is 5 a factor of f?
False
Let y = 72 - 58. Suppose 0*i = -y*i + 2520. Does 18 divide i?
True
Is 5 a factor of (-28020)/(-16 + 4) - (-1 - 4)?
True
Suppose 4815321 = 74*d + 490909. Is d a multiple of 13?
False
Let r be (-176)/(-1) - 6/(9/3). Suppose 175*v - 27 = r*v. Is v a multiple of 16?
False
Let w = -593 - -874. Suppose 2*a - 313 - w = 0. Is a a multiple of 15?
False
Let d = -47 + 54. Suppose -d*p = 4*p - 33. Suppose -p*s = r + 3*r - 177, -3*r = -s - 149. Does 4 divide r?
True
Let p be 4/((-24)/(-3458)) - 7/21. Suppose -6 - 20 = -3*a - 4*r, -3*r = -6. Suppose a*i - p = -2*i. Is 36 a factor of i?
True
Suppose -298138 - 416610 = -10*i - 36*i. Is 7 a factor of i?
False
Let o = 494 - 750. Suppose -3*h + 1206 = -6*b + b, 0 = 2*h - 2*b - 804. Let v = h + o. Does 25 divide v?
False
Suppose 0 = -7*j - 723 + 7086. Let n = 1527 - j. Is n a multiple of 37?
False
Let p(r) = 12*r**3 + 3*r**2 - 3*r - 6. Let k be p(2). Is (-8)/((-390)/k - -4) a multiple of 32?
True
Is (-391006)/(-10) + 1314/(-2190) a multiple of 50?
True
Let g(h) be the second derivative of -73*h**3 + 21*h + 25*h - 30*h**2 + 77*h**3. Does 20 divide g(10)?
True
Is (-2554330)/179*(-1 - 0) a multiple of 10?
True
Let b(g) = -g**3 + 13*g**2 - 5*g - 7. Let t = 113 + -212. Let w = -90 - t. Is 38 a factor of b(w)?
False
Suppose u + 153 = 48. Let x = 591 + u. Is x a multiple of 27?
True
Let i be 2 + 5/((-10)/(-4)). Suppose -k = k - 2*w - 450, -i*k - 3*w = -914. Does 12 divide k?
False
Suppose 72 = 3*r + 3*k, 2*r - 61 + 1 = -5*k. Let p(g) = 6*g - 20 + 2*g**2 - r*g - 19*g - 3*g**2. Does 14 divide p(-9)?
True
Let w = 229 + -157. Suppose -w = 7*o - 198. Is (-40)/18 + 2 + 1570/o a multiple of 10?
False
Suppose 2*v + 10 = 0, 0*w = -3*w - 4*v + 11809. Does 23 divide w?
False
Let t = 660 - 1367. Let l = -362 - t. Is l a multiple of 24?
False
Let f = -26312 + 17906. Let j = -3804 - f. Does 10 divide 8/(-14) + j/91?
True
Let z = -184 + 179. Is -5*(-4)/50 - 718/z a multiple of 8?
True
Let a be 4012/(-238)*7/(-2). Suppose a*g + 11875 = 78*g. Is g a multiple of 11?
False
Suppose -3*x + 31 = 2*k, 5*x = 4*k - 5*k + 5. Suppose -5*l + k = 5. Is 9 a factor of l/(-6) + 3 + (-147)/(-6)?
True
Let x be (7/(-21))/((-3)/27). Let p(w) = 33*w - 1. Is 14 a factor of p(x)?
True
Suppose 3*f + 7 = -5*m, 4*f = -4*m + 6 - 2. Is 25 a factor of 1 - -10*(f - -20)?
False
Let m(d) = -5*d**2 - 70*d + 7. Let n be (-46)/10 + 24/40 + -9. Is 8 a factor of m(n)?
True
Suppose -1073 = -4*x + 1503. Let g = -338 + x. Suppose 0 = u - a - 107, -4*a = 5*u - 256 - g. Is u a multiple of 22?
True
Let n(t) be the third derivative of 139*t**4/24 + 17*t**3/6 - 2*t**2 + t. Does 8 divide n(2)?
False
Let x = 2 - 0. Let d(j) be the first derivative of 5*j**4/4 - 2*j**3/3 - 3*j**2/2 + 4*j + 1510. Is d(x) a multiple of 13?
False
Let o(a) = a**3 + 15*a**2 - 22*a - 33. Let z(k) = k**3 - 4*k**2 - 6*k + 8. Let c be z(4). Is o(c) a multiple of 7?
True
Suppose 2*h - 2*y + 2 = 0, 4*h - 2*y = h + 1. Let a(o) = 31 - h*o + 13 + o. Is 6 a factor of a(15)?
False
Let m be 4/(-6) - 2122/(-6). Suppose -4*p - 5*r + 68 = 0, -56 = -5*p - 241*r + 242*r. Suppose -p*t + 415 + m = 0. Does 10 divide t?
False
Let s(i) = -74*i**3 + 5*i**2 + 58*i + 52. Does 166 divide s(-7)?
False
Let l be (-16 - -15)*(-67 - 0 - 0). Let h = l + 23. Let p = h - 68. Is 22 a factor of p?
True
Let u(f) = 17*f + 20. Let n(v) = -35*v - 40. Let h(g) = -6*n(g) - 13*u(g). Let l be h(-4). Suppose l = o + 13. Is 3 a factor of o?
False
Let k(c) = c**2 - 9*c + 33. Suppose 42*o = 43*o - 88. Let f = -85 + o. Is 5 a factor of k(f)?
True
Let i = 38 - -12. Suppose 5*k = y - 34, -3*y - 5*k + i = -92. Let n = 80 - y. Does 4 divide n?
True
Let b = 428 - 286. Let m = 534 - b. Does 49 divide m?
True
Let i(j) = -171*j + 233. Let l(f) = 57*f - 78. Let s(m) = 2*i(m) + 7*l(m). Is 30 a factor of s(25)?
False
Let g = 109 + -112. Let k = 18 + g. Is k a multiple of 4?
False
Suppose -5*m + 4 = -3*m. Suppose -10 + 2 = -4*k - m*w, k - 3*w = 9. Suppose 0 = -5*z + 5*u + 49 + 1, 5*z - 90 = -k*u. Does 10 divide z?
False
Suppose 2228 + 16424 = 5*r - 24293. Is 10 a factor of r?
False
Let b(s) = -433*s - 1231. Is 8 a factor of b(-15)?
True
Suppose 5*f + 25863 = 3*g, -5*g + 24*f + 43142 = 28*f. Is 227 a factor of g?
True
Suppose -3*u - 19 = -22. Suppose -n = -y + u, 3*n - 1 - 4 = -y. Is ((-27)/n)/((-7)/14) a multiple of 18?
True
Let w be (-1)/2 + -1 + 616/112. Suppose 2*d = 0, -215 + 2951 = w*t - 5*d. Does 12 divide t?
True
Let y(t) = t**3 + 25*t**2 - 28*t - 41. Let k be y(-26). Let l(g) = 5*g + 59. Does 13 divide l(k)?
False
Suppose -374*i + 96 = -376*i. Let d(c) = -14*c + 1. Let w be d(1). Let t = w - i. Is t a multiple of 18?
False
Let m = -4612 - -7994. Is m a multiple of 70?
False
Suppose -q = -25 + 15. Let j be 1008/40*q/6. Let r = -34 + j. Is r a multiple of 8?
True
Let g(a) = -33*a - 359. Let y be g(-11). Suppose -2*f = 2*d + f - 2432, y*f = 0. Is 76 a factor of d?
True
Let l(g) = -2*g + 23. Let o be l(11). Let f be (o - (0 + -1))*15/(-30). Is -1 + (2 - 14*f) a multiple of 5?
True
Suppose -45*c = 20*c - 272480. Is c a multiple of 15?
False
Suppose d + 3256 = 6*d - 2*y, 665 = d - 5*y. Suppose -1050 = -10*c + d. Is c a multiple of 37?
False
Suppose 2*b = 2*q + 3434 - 25078, 0 = 2*q + b - 21638. Does 17 divide q?
False
Suppose -28 = -4*a + 4*m, m = 3*a + 9 - 22. Suppose -3*r = -a*u - 4 + 10, 0 = -2*u - 2*r + 24. Let c(k) = 13*k + 30. Is 17 a factor of c(u)?
False
Let d = 26833 - 21967. Does 7 divide d?
False
Suppose 5*r = -2*i + 1481 - 321, -r + 219 = 3*i. Is (-12)/r*-13 + 938/6 a multiple of 14?
False
Suppose 3*n - n = -n. Suppose n = 5*v + 6*v - 33. Suppose -v*p + 7*p - 260 = 0. Is 39 a factor of p?
False
Let x(z) = -69 + 2*z - 5*z + 9*z**2 - 3*z - 7*z**2. Does 13 divide x(-6)?
True
Is 14 a factor of ((-76482)/(-12))/(24/64)?
True
Let n(u) be the first derivative of u**4/4 + 2*u**3/3 + u**2 + 3*u - 16. Let f be n(-3). Let i(q) = q**3 + 12*q**2 - 14*q + 8. Is i(f) a multiple of 18?
False
Let y(h) = -h**3 - 6*h**2 - 8*h + 5. Let o be y(-7). Let l be ((-246)/(-10))/(33/o). Is 10 a factor of l*1 - (-9 + 9)?
False
Suppose 21*g - 16*g - 50 = 0. Suppose -g*y = 10*y - 3200. Is y a multiple of 39?
False
Let f(j) = -5*j**3 - j**2 - 55*j - 198. Is f(-3) a multiple of 93?
True
Suppose 80 = 25*d - 9*d. Suppose -d*q + 9*l = 4*l - 840, -672 = -4*q + 2*l. Is 14 a factor of q?
True
Suppose 86*q - 126060 - 190585 = 641309. Is q a multiple of 47?
True
Let a =