 = 9566 - 3811. Does 10 divide g?
False
Let b(z) = -3520*z - 2730. Is b(-7) a multiple of 91?
False
Suppose 2*o - 16924 + 3855 = -3*k, 0 = -4*o + 8. Is k a multiple of 65?
True
Is 21 a factor of 1*-54*1/(20/(-210))?
True
Let v(f) = 1195*f - 1380. Is 50 a factor of v(4)?
True
Let q(l) = -l**3 + 8*l**2 + 26*l - 4. Let i be q(11). Let g = i + -28. Let t = -63 - g. Does 23 divide t?
True
Let z = 1898 - 1083. Is z a multiple of 155?
False
Suppose 2*l - 41 = -37. Let u be 7/l - 4/(-8). Suppose -2*j + 0 = -k + u, -2*k + j + 17 = 0. Does 9 divide k?
False
Suppose 0 = f - l - 4204, 0 = -5*f + 598*l - 597*l + 21036. Is f a multiple of 8?
True
Suppose 16 = r + p + 3*p, -p = -4*r + 47. Suppose -2*t - 3*t + 5*x = 0, 5*t + 5*x = 40. Suppose 49 = m + t*n + 4, -4*n - r = 0. Is m a multiple of 19?
True
Suppose -600*u + 4900872 = -489*u. Is u a multiple of 7?
False
Suppose 4*p = 9 - 1, -3*p + 18994 = 4*c. Is 17 a factor of c?
False
Suppose -4*u + 33458 = -3*v, -u = 2*v - 8600 + 219. Does 20 divide u?
False
Suppose 4*j = -2*b + 30, 3*b - 2*j - 1 - 4 = 0. Suppose -5*m - 45 = -b*n, 3*m = -3*n + 26 - 5. Let p(o) = o**2 - 7*o - 2. Is 2 a factor of p(n)?
True
Let y(h) = -5*h - 223. Let p be y(0). Let v = 400 + p. Is 3 a factor of v?
True
Suppose 29 + 1 = 10*a. Suppose -a*g + 14 = -2*d, d - 6 = 2*g - 7*g. Suppose 11 - 62 = -c + 3*q, 0 = 4*c + g*q - 246. Is c a multiple of 20?
True
Suppose 5*o - 25*o - 3940 = 0. Let w = 613 + o. Is w a multiple of 26?
True
Suppose 3*o - 4*v + 7429 = 22552, 0 = 2*o + 2*v - 10082. Is 13 a factor of o?
False
Let j(o) = o - 27. Let m be j(17). Let v(y) = -y**2 - 10*y + 4. Let n be v(m). Suppose n*h - 111 = 69. Does 15 divide h?
True
Suppose -6 - 6 = -3*p. Suppose -1120 = -p*c - c. Suppose 0 = 4*m + 2*k - c, 4*m - k - 158 = m. Does 9 divide m?
True
Let h = -1495 - 353. Is 23 a factor of (-112)/140 + h/(-10)?
True
Let u be -2562*(-6)/48 - (-1)/(-4). Suppose 0 = x - 5*m - 1135 + u, -3*m = 3*x - 2535. Is 28 a factor of x?
True
Suppose -9*i + 265645 = 20*i + 35327. Is i a multiple of 38?
True
Suppose 33 + 15 = 16*b. Suppose 4*z - b*h - 1055 = 0, 5*z = 7*z - h - 525. Does 13 divide z?
True
Let h(j) be the third derivative of 11*j**4/12 + 31*j**3/6 - 4*j**2 + 1. Let z = 9 - 4. Does 10 divide h(z)?
False
Suppose -4*y = 12, -4*z + 3*y + 1040 = 347. Suppose 13*u - 570 = z. Does 7 divide u?
False
Suppose -75*u + 21*u = -11232. Is u a multiple of 4?
True
Let d(v) = v + 8 + 4 + 4*v. Let y be 1560/(-7020) - -55*(-4)/(-18). Does 36 divide d(y)?
True
Suppose 3*b + 3*p - 38 = 70, -5*p - 86 = -2*b. Suppose 3*c + 0*c = n - 38, -n = 5*c - b. Is n a multiple of 17?
False
Is 53 a factor of (-1)/(25/(-136477)) - 6/75?
True
Let j(n) = 3*n + 2*n + 2*n + 2 - 6*n. Let v be j(-8). Does 22 divide v/(-27) - 7450/(-90)?
False
Suppose -2 + 58 = -14*n. Is 17 a factor of 90*((-2)/(-8) + (-5)/n)?
False
Let f be 12/(-10)*(28/12 - 4). Suppose 0 = -f*b + 4, 7*u + b = 4*u + 41. Suppose 0 = u*a - 15*a + 200. Does 19 divide a?
False
Let l = 2175 - 1359. Is 12 a factor of l?
True
Let j(i) = -2*i**2 - 84*i - 1. Is 114 a factor of j(-16)?
False
Let s be (451/(-22) - -9)/(2/44). Let j = s + 428. Is 25 a factor of j?
True
Suppose -10*h = -0*h - 70200. Does 45 divide h?
True
Suppose -43*q - 51*q + 1059048 = -67*q. Does 113 divide q?
False
Let s(l) = -8*l - 10 - 29 - 3*l. Let f be s(-11). Let o = f + -74. Does 2 divide o?
True
Let p = 312 - -1127. Is 65 a factor of p?
False
Suppose 5*w - 640 = -2*m, 153 = -m + 5*w + 503. Suppose 5*y + m = 4*c - 9*c, 2*y + 132 = c. Let r = -30 - y. Is 11 a factor of r?
False
Suppose -2502640 = -140*a + 67*a - 145*a. Does 56 divide a?
True
Let h = -261 - -287. Let d(r) = r**3 - 24*r**2 - 47*r - 22. Is d(h) a multiple of 31?
False
Let x(v) = -v**2 + 35*v + 39. Let j be x(31). Let w = j + 7. Is 5 a factor of w?
True
Let l be ((-6)/8)/((-1)/(-8)). Let t = l - -6. Suppose -m + 3*m + 10 = t, q = -m + 54. Is q a multiple of 14?
False
Let f = 302 + 200. Let l = 895 - f. Is 34 a factor of l?
False
Let d be 56/(-2 - -6) - (-2 - -2). Does 16 divide ((-2212)/(-49) - 4)/(2/d)?
True
Let i(z) = 291*z**2 - 62*z - 190. Does 60 divide i(-3)?
False
Let x(y) = -18*y - 214. Let t be (-42)/(-15)*6/(6/(-5)). Is x(t) a multiple of 19?
True
Let v(k) be the second derivative of 12*k**3 - 8*k**2 + 35*k. Is 43 a factor of v(5)?
True
Let f(d) = -2*d + 126. Let p be f(31). Let h = -10 + p. Does 3 divide h?
True
Is 13 a factor of 4698 - (-30 - (19 - 24))?
False
Let j(b) = 5*b + 4. Let y(f) = 4*f + 3. Let a(g) = -2*j(g) + 3*y(g). Let v be a(2). Suppose 0 = -2*h + v*h - 42. Does 4 divide h?
False
Let x(p) = p**2 - 2*p - 166. Let r be x(0). Let s = 203 + r. Is s a multiple of 8?
False
Let f(v) = v**3 + 12*v**2 + 11*v + 16. Let b = 86 + -97. Let c be f(b). Let m(g) = -g**3 + 18*g**2 - 28*g - 13. Is 9 a factor of m(c)?
False
Suppose 14*c - 13*c = 6. Suppose -2*q - 450 = -2*w, 4*w - 4*q = -c*q + 900. Is w a multiple of 9?
True
Suppose -4*j - 40 = 2*t, 3*t - 4*j = -20 - 60. Is 36*-5*t/9 a multiple of 60?
True
Let h = -686 - -926. Does 4 divide h?
True
Suppose 3 = -d + 5. Suppose 2*h - 4*q = 16, 0 = d*h + 3*q - 0*q + 12. Suppose h = -3*c + 4*f - 0*f + 205, -2*c = 2*f - 160. Is c a multiple of 5?
True
Let l be -2*782/4 - 0/4. Let b = -275 - l. Let p = b - 20. Is p a multiple of 12?
True
Suppose -14*h + 55090 = -3*h + 12388. Is h a multiple of 73?
False
Let a(f) = 57*f + 31. Let q be a(7). Suppose -28*i = -q + 10. Is 3 a factor of i?
True
Suppose z = -7*k + 6073, -14*z + 30173 = -9*z + 3*k. Does 5 divide z?
False
Let g = -524 - -545. Let d(v) = -v**2 + 26*v - 81. Is d(g) a multiple of 24?
True
Let v = 239 - 234. Suppose v*f - 4*d - 5286 = 0, -51*f + 54*f = -2*d + 3154. Is 44 a factor of f?
False
Let c(k) = 37*k**2 - 11*k - 168. Is c(12) a multiple of 9?
False
Let z(j) = -705*j - 1378. Is 4 a factor of z(-7)?
False
Is (-80)/(-100) - 370812/(-60) a multiple of 119?
False
Let x(z) = 4*z**2 + 3*z + 19. Suppose 228*q = 229*q + 3. Does 4 divide x(q)?
False
Suppose -11*x - 24 = -17*x. Suppose -x*f = 148 - 520. Is 31 a factor of f?
True
Let z(i) = -i**3 - 4*i - 13. Let f be z(-2). Let q be 63/f - 0/(-5). Let w = 113 - q. Does 46 divide w?
True
Let v be 11/3*57 - -1. Suppose 4*p - 514 + v = 0. Let y = p + -52. Does 12 divide y?
True
Let r(q) = q**3 - q**2 + 2*q - 2. Let o be 128/40 - 8/(-10). Is 15 a factor of r(o)?
False
Let w(v) = 2*v**2 + 8 + 6 + 6*v - 1. Let q be 520/(-72) + (-6)/(-27). Does 23 divide w(q)?
True
Let d(y) = 4*y + 16. Let s(t) = t**2 + 4*t - 10. Let n be s(3). Suppose n*l = 10*l + 6. Does 10 divide d(l)?
True
Suppose d - 8*v = -4820 + 18808, 4*d = -7*v + 56030. Is 10 a factor of d?
False
Suppose 7*j - 4*j + 72 = -2*i, i = 3. Let x = -35 + 34. Is ((-8)/(-16))/(x/j) a multiple of 13?
True
Suppose -2281 = -4*n + 5*z, -1716 = -3*n + 15*z - 13*z. Suppose -5*m + 266 = -n. Is 56 a factor of m?
True
Is (-4*4/(-10) - (-3036425)/125) + -5 a multiple of 40?
False
Let i(t) = -7*t - 7. Let h be i(-1). Suppose z + a - 34 = 35, h = -5*z + 3*a + 369. Is 3 a factor of z?
True
Let c be 2868/18*6/4. Suppose -3*i - 4*m + c = 0, -429 = -5*i + 5*m - 4*m. Does 8 divide i?
False
Suppose 5*p + y - 25 = -4*y, 2*p - 5 = 3*y. Suppose 4*m - 327 = -10*o + 5*o, -p*m + 357 = -o. Does 4 divide m?
True
Suppose -3*z - 13*z + 43920 = -7*z. Is z a multiple of 10?
True
Suppose -2*q = l - 6 - 1, 2*l - 20 = 2*q. Let z(a) = 8 - 14*a**2 + l*a**3 - 8*a**3 + 23*a - 6*a**2. Does 12 divide z(19)?
True
Let h(g) = -6*g**2 - 6*g - 6. Let m be h(9). Let z = 802 + m. Let l = z - 132. Does 31 divide l?
True
Let u(c) = -46*c + 77 - 38 + 6*c**2 - 33 + 30*c. Let n = 19 + -12. Is 22 a factor of u(n)?
False
Let v(t) = -297*t - 4. Let q be v(-1). Let o = q - 98. Does 28 divide o?
False
Let x(g) = -g**2 - 5*g - 5. Let n be x(-3). Let d be n - (0 + 80)/(-2). Let h = d + 7. Is h a multiple of 12?
True
Let h be 84/15 - 18/30. Suppose -f - 2*x + 226 = 0, 9*f - 7*f + h*x = 452. Is f a multiple of 13?
False
Is 4 a factor of 1874570/775 + 1/5?
False
Let s(p) = 10*p - 28*p + 17*p**2 - 5 - p**3 + 0*p**3. Let z = -884 - -899. Does 25 divide s(z)?
True
Suppose 73702 = 3*c - 3*t + 2*t, -73688 = -3*c - t. Is c a multiple of 109?
False
Let r(y) = -10*y + 133. Let a be r(8). Suppose -55*u = -a*u - 648. Does 36 divide u?
True
Let j(g) = 4*g + 82. Let m 