. Is 20 a factor of a?
True
Suppose 0 = -52*r + 58*r - 12. Suppose 5*l + r*o - 212 = -7, -4*l = 5*o - 164. Is l a multiple of 6?
False
Let s be (-277)/7 - 9/21. Is 16 a factor of 10/(s/3) - (-1398)/8?
False
Suppose -h - 1016 = -3*q, q - 328 = 3*h - 0*h. Does 34 divide q?
True
Suppose 10 = -18*z + 13*z. Is 8 a factor of (-12)/((-13)/10 - (z + 1))?
True
Let y = 1639 + -792. Does 4 divide y?
False
Suppose 778 = 3*z + 5*w, -521 = -2*z + 3*w - 4*w. Suppose -13*f + z = -10*f. Is 29 a factor of f?
True
Let d = 36 + -34. Suppose -2*h - d*h + 436 = 0. Is 18 a factor of h?
False
Suppose 0 = -4*g - 3*m - 81, 5*m - 38 = 3*g + 1. Suppose 5*p = -5*a + 3*a - 23, 4*p + 40 = -4*a. Does 3 divide 2*3 - g/a?
False
Suppose -5*l + 4*p = 21, 0 = 2*l - 3*l - 3*p + 11. Let z be -3 + (4 - 2) - l. Is 25 + -3 + 2 + z a multiple of 8?
True
Suppose -2167 - 6214 = -29*z. Does 38 divide z?
False
Let s(y) = y**2 + 18*y - 11. Let g be s(-19). Suppose -g*l = -12*l + 204. Is 7 a factor of l?
False
Let v = -3114 + 5051. Is v a multiple of 14?
False
Suppose 2*z - 120 = 5*x, 2*z - 120 = -0*x - 5*x. Suppose -84 = -4*f + z. Is f a multiple of 12?
True
Suppose l = 4*g - 13, 3 = -l - 2. Let h = g - 0. Suppose 3*u - 5*u = -5*k + 137, -3*k + h*u = -83. Is k a multiple of 9?
True
Let c be 9/(-15) + (-561)/15. Let u = 129 + c. Is u a multiple of 36?
False
Suppose -i + 349 = 3*b - 5*b, -2*b - 353 = -5*i. Let x = b - -283. Suppose -p = 45 - x. Does 13 divide p?
False
Suppose -5*p = 3*x - 36, -4*x + 2*p + 1 = -3*x. Let y = x + -13. Let z = -4 - y. Does 2 divide z?
True
Let u = -2919 - -4819. Does 25 divide u?
True
Let o = -793 + 977. Does 8 divide o?
True
Let l(m) = -m**2 - 2*m + 5. Let r be l(-3). Suppose 0 = r*t + n - 163, t + 3*n = 4*t - 231. Is 16 a factor of t?
True
Let c = -10 - 7. Suppose 213 = -5*i + 2*i. Let l = c - i. Is l a multiple of 18?
True
Let x(u) be the first derivative of -u**3/3 - 2*u**2 + 6*u + 5. Let r be x(-4). Suppose z - 5*y = 0, 2*z + 2*y - 54 = -r. Does 10 divide z?
True
Let a = 2967 - 1304. Does 46 divide a?
False
Suppose -5*i + 8*i - 9 = 0. Suppose -4*w = i*h - h - 42, -2*h - 5*w + 47 = 0. Does 9 divide h?
False
Suppose 0 = 10*b - 1715 - 55. Is 13 a factor of b?
False
Let h(j) = -j**2 - 91*j - 302. Does 34 divide h(-46)?
True
Is 15*1745/15 + -2 a multiple of 53?
False
Let j be (-7)/(-14) + 182/(-4). Let i = -3 - j. Is 7/i - 227/(-6) a multiple of 23?
False
Let q be 1/((-9)/(-24))*(-4 + 1). Is 34 a factor of (-3280)/(-64) - 6/q?
False
Suppose 5*h = -4*f - 155, 0 = -3*f + h - 3*h - 125. Let v be 3/((-27)/(-12))*-3. Is 12 a factor of (f/(-12))/((-1)/v)?
False
Let f(p) = p**3 + 23*p**2 - 33*p + 64. Is 4 a factor of f(-24)?
True
Suppose n - 87 = -o, -3*o + 92 = n - 5. Suppose 3*x - n = 134. Is x a multiple of 6?
True
Let q be 60/(-9)*(-846)/(-12). Let n = -330 - q. Does 20 divide n?
True
Suppose 2*w = -4*m + 1008, 5*m - 1197 = -5*w + 1338. Is 46 a factor of w?
False
Let r(i) = -6*i**3 + i**2 + 6*i - 6. Does 13 divide r(-4)?
False
Let w = 268 + 44. Is 24 a factor of w?
True
Let p = 2220 + -1688. Does 7 divide p?
True
Is 1580 - 2*((-420)/(-8))/15 a multiple of 11?
True
Let b(p) = 4*p + 124. Does 4 divide b(-8)?
True
Let x(u) = -4*u**3 + 2*u - 10. Does 12 divide x(-3)?
False
Suppose 0*w + 4*s - 514 = 3*w, -w - 3*s = 167. Let d = -73 - w. Is 42 a factor of d?
False
Is ((-213522)/24)/(-19) - 2/8 a multiple of 12?
True
Suppose 131 = 116*m - 115*m. Is m a multiple of 28?
False
Suppose p + 1642 = 3*s, -3*s + 3*p = -7*s + 2172. Is 21 a factor of s?
True
Suppose 3*b + 52 = -b. Let s = 18 + b. Let x = s + 0. Does 4 divide x?
False
Let w = -61 + 145. Let r = w - 43. Let l = r - 11. Is l a multiple of 6?
True
Let f(j) = 0*j - 1 - j - 13. Let s be f(-8). Is 11 a factor of (33/s)/(1/(-4))?
True
Let z(o) = -18*o**3 + 8*o**2 + 10*o + 12. Is z(-5) a multiple of 18?
True
Let j = -21 - -41. Let v = j - 16. Suppose -276 = -v*q - 36. Does 15 divide q?
True
Suppose 7 = o - 3*b - 100, 373 = 4*o - b. Let z = o - 83. Is z a multiple of 9?
True
Is 81 a factor of (-40)/(-60) + (-1942)/(-3)?
True
Is 54 a factor of 4/(-14) - ((-45750)/42 - -12)?
False
Suppose 0 = -3*r + 10 + 35. Let l be 214/2 - (r - 16). Suppose 2*i - l = -0*i. Is i a multiple of 27?
True
Suppose -19*d + 23*d = 12. Is 5 - (-3 + d/1) a multiple of 3?
False
Suppose 4045 = 8*o - 3507. Is o a multiple of 16?
True
Let w = -94 + 67. Let v = -40 + 103. Let m = w + v. Does 36 divide m?
True
Let i = 411 - 15. Is i a multiple of 20?
False
Let c = 554 - 480. Does 2 divide c?
True
Let k = 15 + -12. Suppose -5*n - 282 = -k*j, -j + 0*n + 83 = 2*n. Is j a multiple of 30?
False
Suppose 0 = 4*p + 8 - 32. Is 3 a factor of (p/8)/(1/24)?
True
Let g(m) = m**3 - m**2 + m + 6. Let z(y) = y**3 - y. Let l be z(2). Suppose 0 = 9*u - l*u. Is g(u) a multiple of 3?
True
Let m(s) = 123*s**3 + 2*s**2 - 4*s + 4. Does 15 divide m(2)?
False
Let x = 422 + 103. Is x a multiple of 21?
True
Let d = 146 + 306. Is 76 a factor of d?
False
Suppose -h = -4*n + 96, -3*h + 0*h - 5*n - 237 = 0. Let w be (-3)/(3*(-2)/h). Is 11 a factor of (-2 - -4)/(-4)*w?
False
Let c = -143 + 145. Suppose 5*n + 4*f = 1050, c*f = -n - 28 + 238. Is 30 a factor of n?
True
Suppose 8 = a - 0*a. Suppose 0 = a*d - 4*d - 76. Does 5 divide d?
False
Let y(d) = -d**3 - 3*d**2 + 11*d - 12. Is y(-6) a multiple of 19?
False
Let l be -17 + 55 - 4*(-2)/(-4). Is 20 a factor of (150/4)/(l/96)?
True
Let g = -38 - -93. Does 11 divide g?
True
Does 28 divide 177/48*12 + 5/(-4)?
False
Let o(d) = -d**3 - d**2 + 2*d - 6. Let q be o(0). Let u(p) = -6*p - 8*p + 4 - 2*p + 0. Is 25 a factor of u(q)?
True
Let f = -3247 - -4716. Does 22 divide f?
False
Suppose 0 = -5*t - 87 - 268. Suppose 135 = -8*p - 65. Let i = p - t. Is i a multiple of 22?
False
Suppose -4*v = -26 + 6, 5*y = 3*v - 10. Let s(o) = 11*o**2 - 2*o + 8*o**2 - 3*o**2 + 1. Does 8 divide s(y)?
False
Is (-459)/(-5) - 34/(-170) a multiple of 4?
True
Suppose 2*f = 0, -3*s - 2*s = 3*f - 1465. Is s a multiple of 29?
False
Suppose -71 = -5*o - 3*v, 0 = 4*o + v - 0*v - 54. Suppose -2*c - o = 2*a - 3*a, 2*a - c = 26. Is 5 a factor of a?
False
Let t = 54 + -48. Suppose 107 + 145 = t*h. Does 14 divide h?
True
Let r(a) be the first derivative of -3 - 4*a - 3/2*a**2 + 1/3*a**3. Is r(6) a multiple of 14?
True
Suppose 2*n + 3*i = -2 + 12, 2*i - 10 = -2*n. Let d = n + 12. Is d a multiple of 10?
False
Let v = 387 - -21. Does 8 divide v?
True
Let h = 58 + -2. Suppose 5*n - 68 = -2*j, -6*n + n + j = -h. Is n a multiple of 8?
False
Suppose -4*i - 10 = -4*k + 6, -4 = 5*i - k. Suppose -3*j + 6*j - 351 = i. Is 26 a factor of j?
False
Let b = -29 - 42. Let a = 138 + b. Suppose 2*f - a = 1. Is f a multiple of 12?
False
Let q(y) be the second derivative of 0 - 5/3*y**3 - 7/2*y**2 - y. Is 23 a factor of q(-4)?
False
Does 13 divide -30*-1*((-3735)/(-6))/15?
False
Is 26 a factor of 34452/270 - (-6)/(-10)?
False
Let f = 5 - 25. Let c = 52 + f. Does 5 divide c?
False
Let w = 1638 + -1260. Is w a multiple of 9?
True
Let p be (-3)/(-6) - 7/(-2). Let z be (-168)/(-32)*1*p. Let w = 56 - z. Is w a multiple of 17?
False
Let c = -35 + 35. Suppose c = -7*r + r + 2430. Suppose 8*v - r = 3*v. Is 27 a factor of v?
True
Let z(r) = 15*r - 37. Is 6 a factor of z(5)?
False
Let w = -100 - -102. Suppose -3*f + 97 = 2*r, 184 = 5*f + w*r + 17. Does 7 divide f?
True
Let a(m) = 32*m + 464. Is a(20) a multiple of 69?
True
Suppose 5*l = 17*l - 6084. Is l a multiple of 28?
False
Let q = 1321 - 826. Is q a multiple of 11?
True
Suppose -w + 24 = 4*w - 4*d, -2*w + 5*d + 13 = 0. Suppose y - 21 = -5*p + 480, w*p + 5*y - 384 = 0. Does 18 divide p?
False
Let q be (10/15)/((-1)/((-927)/2)). Suppose q = 2*k + 57. Is k a multiple of 15?
False
Let t be ((-1)/(-2))/(19/152). Suppose -145 = -t*j + 3*j. Is 30 a factor of j?
False
Let y be ((-36)/(-10))/((-5)/(-225)). Suppose -4*z = -z - y. Is 11 a factor of z?
False
Let u = -529 - -1202. Does 9 divide u?
False
Let z(x) = 13*x**2 + 3*x - 3. Suppose -5*f = -2 - 3. Does 13 divide z(f)?
True
Suppose 6*b - 575 - 1 = 0. Is b - 0/(0 + 4) a multiple of 10?
False
Suppose 10*a - 807 - 713 = 0. Does 38 divide a?
True
Suppose 29*j - 24*j = -5, j = l - 193. Does 16 divide l?
True
Let v = -70 + 97. Let g = 6 - -16. Let i = v + g. Does 31 divide i?
False
Suppose 3*o - 106 - 14 = 0. Suppos