r + 16, -q + 4 = 2*r. Is q a multiple of 4?
True
Let q(m) = 84*m**2 + 6*m - 3. Does 9 divide q(-1)?
False
Let c = 46 - 43. Suppose -5*l = -l - c*j - 581, -l + 3*j = -152. Is 7 a factor of l?
False
Let h be (-9 + 4)/(1/(-3)). Is 4 a factor of 2/5 - (-234)/h?
True
Let q(h) = 2*h**2 - 3*h - 17. Let v be q(8). Suppose 2*b - 3 = v. Does 13 divide b?
False
Is 93 a factor of (-4)/(48/(-53214)) - 3/(-6)?
False
Let g(x) = 468*x**2 + 22*x + 44. Does 8 divide g(-2)?
True
Suppose -o + 13 = y, -4*y = -0*o - 3*o + 4. Suppose 0 = -3*n + 5 - o. Does 9 divide 30 + n + (-6 - -4)?
True
Suppose 4*u - k + 4 = 0, -2*k = -4*k. Does 40 divide (-76 + 9/(-3))/u?
False
Suppose -4*c = 2*a - 1242, -3*a - 394 = -c - 101. Is 7 a factor of c?
True
Suppose 1791 = 5*u + 3*g, -1428 = -56*u + 52*u - 4*g. Is u a multiple of 10?
True
Suppose -5*m = -3*t - 15, 0*m = -m + 3. Suppose 196 = 4*d - t. Is 4 a factor of d?
False
Suppose 4*u + 383 = l, -3*u + 0*l - 2*l = 279. Let c = 169 + u. Does 7 divide c?
False
Let r(o) = -o - o**3 + 8*o**2 - 18 + 9*o + o - 5*o. Is r(8) a multiple of 7?
True
Let c = -14 - -54. Suppose -4*y = 6*y - c. Is y even?
True
Let j(o) = -o + 13. Let b be j(11). Let y(r) = r**b + 10 + 0*r + 2 + 5*r. Does 4 divide y(-5)?
True
Let f(k) = -k**2 - 3*k + 36. Let h be f(-11). Let c = 18 - h. Is c a multiple of 35?
True
Let s = -1 + 11. Suppose 5*a + s - 30 = 0. Suppose -a*o + 28 = -12. Is o a multiple of 5?
True
Suppose -4*h + 390 = -7*h. Let l = -69 - h. Is 7 a factor of l?
False
Suppose 2*m - 5*r = 803, 5*r = -0*m + m - 399. Is m a multiple of 101?
True
Suppose 57*p - 84500 = 7*p. Is 130 a factor of p?
True
Suppose 0 = -0*o - 5*o - c + 21, 2*o = 2*c + 18. Suppose f - 10 = 3*w - o, 2*f - w = 5. Is f/(-4) + (-132)/(-8) a multiple of 6?
False
Suppose -4*k = -2*u - 20, 8 + 14 = -3*u + 4*k. Let y(s) = 26*s - 10. Let d(i) = i - 2. Let n(r) = 10*d(r) - 2*y(r). Does 21 divide n(u)?
True
Suppose 39 = a + 2*a. Is a a multiple of 7?
False
Let f(i) = 3*i**2 + 9*i - 5. Let r be f(11). Suppose -2*y - 4*s + 166 = -0*y, 5*y - r = 4*s. Suppose 51 + y = 2*a. Is 12 a factor of a?
False
Let r(m) = m**3 - 7*m**2 - 5. Let i be r(7). Does 7 divide ((-34)/3 - -2)/(i/15)?
True
Suppose 4*a + 5*b + 76 = 0, 3*a - 2*b - 22 = 4*a. Let m = -7 - a. Suppose -v = 3*r - 27, -27 = -3*r - 3*v + m*v. Is 9 a factor of r?
True
Is 16 a factor of (80 + -81)*(-504 + 0)?
False
Suppose -20 = -6*s - 2. Suppose 0 = z + 2*q - 99, 3*z - s*q - 277 = q. Let o = -68 + z. Is o a multiple of 27?
True
Let z = -2 + 508. Is z a multiple of 23?
True
Let o = 38 + -36. Suppose 0 = -4*h + 16, -5*h = -o*d - 3 + 37. Is 9 a factor of d?
True
Let q(g) = g**3 + 14*g**2 - 2*g + 16. Suppose 0 = 5*b - 2*l + 76, 57 = -3*b + 5*l - 0*l. Is q(b) a multiple of 9?
False
Suppose -5*m + 0*a + a = -103, -m + 29 = 4*a. Is m a multiple of 6?
False
Suppose -11 = 2*g - 3*v, 3*v - 6 + 1 = 5*g. Let m be (90/20)/((-3)/(-68)). Suppose 0 = 3*k, -k - m = -g*u + k. Does 17 divide u?
True
Let w be (-99)/6*(-4)/6. Let n = 10 + w. Does 7 divide n?
True
Let m(y) = 20*y. Suppose -r - 2 - 3 = 0. Let p = r - -6. Does 15 divide m(p)?
False
Does 21 divide (-1)/2*(-23)/((-23)/(-1074))?
False
Suppose -d - 2*d = 99. Let p = 56 + d. Let i = p + -12. Is 10 a factor of i?
False
Suppose -4*g + 3 = -9. Suppose -2*b - g = 7. Does 3 divide (b - (-4 + 3)) + 15?
False
Let c be (-12)/(-2) - (-23 - -23). Let z(v) = 10*v - 4. Is 12 a factor of z(c)?
False
Let h(c) = 25*c - 109. Is h(9) a multiple of 8?
False
Suppose -246*b = -239*b - 16212. Does 60 divide b?
False
Let y be (-4 - 1 - -4) + 5. Is 3 a factor of 6/y*(-10)/15 + 10?
True
Let g = 68 + -59. Suppose 4*m = -g + 133. Is m a multiple of 4?
False
Suppose 0 = -4*i + 2*w - 846, -5*i + 0*w = -4*w + 1050. Is (-8)/(-36) - 3/(27/i) a multiple of 8?
True
Let l(t) = -153*t + 6. Let b(d) = -102*d + 4. Let c(j) = 8*b(j) - 5*l(j). Let m be c(-2). Let w = -73 + m. Is 31 a factor of w?
True
Let n = -206 + 391. Let r = -46 + n. Does 27 divide r?
False
Suppose -5*u = -20, -2*u + 4644 = 5*d - 6*u. Does 18 divide d?
False
Suppose 7*g + g = 112. Is g a multiple of 7?
True
Suppose m = 2, -4*x + m - 6*m = -22. Suppose -3*q = 2*h - 315, 2*q - 476 = -x*h + q. Is h a multiple of 37?
False
Suppose 0 = 5*w - 2*p - 13256, -5*w + 10561 = p - 2686. Is 50 a factor of w?
True
Suppose 10*u - 23 = -3. Suppose -u*y + 231 = 5*y. Does 5 divide y?
False
Suppose 0 = -3*u + 5*u - 24. Let p = 17 - u. Suppose -5*s - 200 = -p*w, 0 = 2*w - 3*s - s - 82. Is 16 a factor of w?
False
Suppose 4*w = w + 549. Suppose -5*c - m + w = 0, 3*c + 5*m = -2*c + 195. Is 9 a factor of c?
True
Let g(f) = 12*f**2 - 15*f - 116. Is 84 a factor of g(-10)?
False
Suppose -5*p - 103*b + 11695 = -100*b, p = 3*b + 2357. Is p a multiple of 24?
False
Let g be (-2142)/3 + (-5 - -2). Is 17 a factor of 3/(-7) + g/(-7)?
True
Let d(z) = 12*z**3 + 2*z**2 + 19. Does 37 divide d(4)?
False
Let a be 6/1 + -3 - 0/1. Let r(h) = -3*h + 4*h + 10*h - 1. Does 25 divide r(a)?
False
Let f = -6 - -10. Does 6 divide (-5 - f)/((-1)/4)?
True
Suppose -8*r = -6*r - 4. Suppose 4*s + 84 + 38 = r*k, 3*k - 159 = -2*s. Does 11 divide k?
True
Suppose -12 = -2*i + 4*c - 4, i = -4*c - 8. Suppose i = -j - 3*l + 19, 4*j = 5*l - 2*l + 61. Is j a multiple of 3?
False
Let n = 80 - 112. Suppose -2*t + 7*t - 5*i - 70 = 0, 3*i + 3 = 0. Let a = t - n. Is a a multiple of 15?
True
Suppose 6885 = 10*c + 7*c. Is 11 a factor of c?
False
Suppose -2*i = -5*i. Suppose -4*a + 108 = 4*t, i*a + 4*a + t - 108 = 0. Is 9 a factor of a?
True
Let i = 24 + -24. Let z be -15*(i - 1/3). Suppose 3*x - 2*c - 183 = 3*c, z*x = c + 327. Is x a multiple of 33?
True
Suppose -1644 = -12*n + 204. Is 11 a factor of n?
True
Does 8 divide (-130045)/(-62) - (-9)/(-6)?
True
Suppose -d - 2*d - 169 = -5*l, -144 = -4*l - 2*d. Let x = 54 - l. Is x a multiple of 4?
False
Let i = 37 - 22. Suppose 0 = 5*b - 10 - i. Suppose 0 = 4*o - 8, 4*k - 21 - b = -o. Is k even?
True
Let h = -1980 - -3719. Does 37 divide h?
True
Suppose 4*y - 552 = -0*c - 3*c, -679 = -5*y - c. Suppose -5*n = -3*x - y + 31, -3*x = 3*n - 48. Let z = n - -44. Is 21 a factor of z?
True
Let o be (32/6)/((-6)/99). Let g = o + 108. Is g a multiple of 3?
False
Let y(k) = -78*k. Is y(-16) a multiple of 24?
True
Suppose 8*a - 5*a + 24485 = 5*j, a = 5*j - 24475. Is 19 a factor of j?
False
Let q(t) = -t**2 - 6*t - 5. Let d be q(-5). Suppose -2*v = l - d - 6, 0 = 4*l - 4*v - 60. Is 16 a factor of 285/9 + 4/l?
True
Suppose g + 0*t - 3*t = 28, 5*g - 3*t = 92. Let v = -10 + g. Is 12 a factor of 272/v - 3/9?
False
Let s = 95 + -45. Suppose -c - 29 = -s. Is 7 a factor of c?
True
Let p = -232 - -134. Let q = p - -37. Let y = q + 185. Is y a multiple of 26?
False
Is 12/15 - (-61992)/60 a multiple of 20?
False
Let g = 29 + -27. Suppose 664 = 3*k + 5*d - 10*d, k - 214 = -g*d. Is 56 a factor of k?
False
Suppose 5*j - 475 = 5*w - 9*w, -5*j + 2*w = -505. Is j a multiple of 11?
True
Let q(w) = -w**2 - 30*w + 97. Is 39 a factor of q(-22)?
True
Suppose 3*i = 3*l + 3, 0 = -9*i + 4*i + 4*l + 6. Let t be 10/i + 9/3. Is 2 a factor of (6 - t)*(-5)/2?
False
Suppose j = 5*f - 6*f + 1884, j + 4*f = 1887. Is 9 a factor of j?
False
Let h = -48 - -90. Is 13 a factor of h?
False
Let l(f) = f**2 - 60*f + 346. Does 14 divide l(64)?
True
Suppose -4*p = -9*p + 1285. Suppose p = f + 5*a, 6 = -5*a + 31. Is f a multiple of 18?
False
Let a(h) = h**3 - 14*h**2 + 154*h + 22. Is a(17) a multiple of 22?
False
Let v = -1505 + 1833. Is v even?
True
Let s be 234/45 + 8/10. Is (44/s)/(19/114) a multiple of 33?
False
Let d(i) = i**3 - 10*i**2 - 133*i - 2. Is d(18) a multiple of 3?
False
Does 11 divide 1362/10 + (-164)/(-205)?
False
Suppose -t - 45 = 4*t + 5*v, -5*t + 3*v - 21 = 0. Let l be (t/5)/(16/(-120)). Let x = 27 - l. Is x a multiple of 6?
True
Let l(b) = b**3 + 14*b**2 - 15*b - 2. Let d be l(-15). Is (-3460)/(-18) + (-5)/((-45)/d) a multiple of 12?
True
Let f(i) = -6*i - 14. Let x = 17 + -13. Suppose -x*b = 3*p + 22, 3*b = p - 24 + 1. Does 13 divide f(b)?
False
Let s = -1471 + 2772. Is s a multiple of 52?
False
Suppose 2*u - 5*i = 28, 2*u + 3*u = -5*i. Let l be u/((-4)/(-1 + -1)). Does 12 divide l*28 - -1 - -2?
False
Let i = -28 + 33. Suppose 5*a + u - 31 = 0, -3*a + 0*a - i*u + 23 = 0. Does 3 divide a?
True
Suppose 4*a + 579 = 3*r, -2*r + 146 = -