-h. Is 31 a factor of l?
True
Is 67 a factor of 56/(-16) - (-13470)/20?
True
Is (-10)/3*(4 - 149 - -1) a multiple of 20?
True
Suppose -6*j - 12 - 12 = 0. Is 12 a factor of (-280)/(-6) - j/3?
True
Suppose -3*l = n + 4*n - 794, 0 = -3*l - 6. Is 3 a factor of n?
False
Suppose 12 = -2*j + 12. Suppose 5*r - 9 - 441 = j. Does 20 divide r?
False
Suppose -g = 2*g - 48. Suppose -6*h - g = -10*h. Suppose -h = -2*k, -5*k = 2*y + y - 142. Is 8 a factor of y?
False
Let u(r) = -9*r**2 + 7*r + 6. Let v be u(-1). Let d = 40 + v. Does 15 divide d?
True
Let q = 1 - -4. Suppose -q = -2*o + o. Suppose -5*h - 5*a = -115, -6 = -o*a + 14. Is h a multiple of 10?
False
Let l(m) = -31*m + 6. Let r be l(-4). Let z be (28/5)/(1/(-10)). Let u = z + r. Is 21 a factor of u?
False
Is (-14)/21*(2 + -68) a multiple of 2?
True
Let a = 5297 - 2157. Is 90 a factor of a?
False
Suppose -w = w + 3*g - 40, 2*w + 5*g = 44. Let p = w + 9. Suppose 2*y = p - 2. Does 6 divide y?
True
Let o(k) = k + 8*k**2 - 385 + 392 - 7*k. Is 49 a factor of o(-6)?
False
Does 22 divide (-276)/5*(10/(-4) + 0)?
False
Let r = 6 - -26. Let d = -12 + r. Does 10 divide d?
True
Let q(z) = -z**2 + z. Let g be q(0). Suppose 14 + 20 = 17*l. Suppose g = -3*w - l*w + 245. Is 15 a factor of w?
False
Suppose 5*k - 22 = 3*j, -2*k + j + 9 = -0. Let r(i) be the second derivative of i**4/12 + i**3/6 - 3*i**2 - i. Does 12 divide r(k)?
True
Let c(i) = 166*i**3 - i**2 + i - 1. Suppose p - 8 = -3*p, 2*a + 4 = 3*p. Is 11 a factor of c(a)?
True
Suppose y + 25 = -i, -3*y - i - 85 = 4*i. Let m be ((-182)/(-65))/(2/y). Let s = 75 + m. Is s a multiple of 42?
False
Suppose 4*j = -4*i + 2336, 3*j - 2336 = -j - 3*i. Is 89 a factor of j?
False
Let f(m) = 3*m + 1. Let i(p) = 3*p - 6*p - 1 - p. Let b(k) = -6*f(k) - 4*i(k). Does 2 divide b(-2)?
True
Suppose -2*u + 3*x = -x - 600, 4*u + x = 1173. Suppose 29*d = 31*d - u. Does 24 divide d?
False
Let q(b) = -20*b - 45. Is 15 a factor of q(-12)?
True
Suppose -39368 = -54*w + 55888. Is w a multiple of 84?
True
Suppose -4*z - n + 0*n + 126 = 0, -4*n - 8 = 0. Is 12 a factor of z?
False
Suppose 5*y - y + o = -13, 5*y - 4*o + 32 = 0. Let h be 1/((16/(-132))/y). Let w = h + -10. Is 23 a factor of w?
True
Let c = 92 - -11. Suppose 3 = -5*d + c. Is d a multiple of 19?
False
Let x be (-8)/(-4)*(-1)/(-2). Suppose 2*l - 3 = -x, 0 = 4*z - 3*l - 157. Is z a multiple of 10?
True
Let f = -339 - -384. Is 6 a factor of f?
False
Let r(u) = u**2 - 12*u - 22. Let z be r(18). Suppose 138 = 7*d - z. Is d a multiple of 8?
True
Let n be -1*(0 + -2 - 14). Let q = n + -16. Suppose -4*x - x + 275 = q. Is x a multiple of 20?
False
Let d = -631 - -805. Is 29 a factor of d?
True
Let r(g) = 2*g**3 + 5*g**2 - 2*g + 7. Is 9 a factor of r(4)?
True
Let y(t) = t**3 - 3*t**2 - 8*t + 29. Does 15 divide y(8)?
True
Does 6 divide 881 + (-12 + -7 - -8)?
True
Let n be 10*1*(2/(-4))/1. Let f = 2 - 0. Is 4 a factor of (-82)/n - f/5?
True
Suppose 3*a - 4 = 2*a. Suppose -3*r + 7 = -a*k, 15 = 2*r + 3*k - 1. Does 2 divide r?
False
Suppose -2*t = -2*i - 3*i + 280, -2*t + 300 = 5*i. Suppose -i = -4*w + w + 5*l, 5*l - 46 = -w. Is 26 a factor of w?
True
Let v(a) = a**2 + 5*a + 5. Let w be v(-5). Suppose 0 = 8*b - w*b + 36. Is 6 a factor of (16/b)/(2/(-9))?
True
Suppose -3*j + 3*g + 164 = 17, -5*g = -3*j + 147. Does 7 divide j?
True
Suppose r = -r + 7*r. Suppose 16*p - 14*p - 216 = r. Is p a multiple of 8?
False
Let x = -62 + 58. Suppose 3*g - 4*g = -9. Let q = g - x. Is 4 a factor of q?
False
Let a be -11 + 0/(-4) + 5. Let r(g) = -23*g - 23. Does 23 divide r(a)?
True
Suppose -4*d - r - 4 = -3, -2*d = 3*r - 7. Let j = 193 + -199. Is (-25)/(-15)*j/d even?
True
Is 21 a factor of (-27)/6*(-8)/(-16)*-164?
False
Suppose -5*x - 3*h + 160 = 0, -5*x - 5*h + 113 = -47. Does 3 divide x?
False
Let s = -98 - -472. Is 11 a factor of s?
True
Suppose -2*h - 173 = -m, h + 3*m + 76 = -0*h. Suppose 280 = -9*i - 89. Let q = i - h. Does 14 divide q?
False
Is ((-1239)/(-14))/((-9)/(-84)) a multiple of 59?
True
Let v(n) = -37*n**2 + 9*n**2 + 122 - 118 + 10*n - 5*n**3 + 2*n**3. Is v(-10) a multiple of 8?
True
Does 57 divide (-270)/360 + 9102/8?
False
Suppose -710 = -4*m - 3*i, -5*m + 4*i + 115 = -757. Is m a multiple of 11?
True
Let a = 16 - 20. Let h be a*4/(-16) + 1. Suppose h*u + 3*r = -u + 108, 0 = -r + 5. Is 8 a factor of u?
False
Suppose 8*w = 4205 + 1283. Is w a multiple of 7?
True
Suppose v + 2*v + 51 = 0. Let p = -18 - -25. Let b = p - v. Is 6 a factor of b?
True
Suppose -i = -2*c + 31, -2*i = -5*c + 52 + 24. Let d be (c/4)/(15/270). Let k = d - 43. Is 5 a factor of k?
True
Let k be -2*9/6*-1. Suppose -k*h - 2*x = -4 - 4, -2*h = -4*x + 16. Does 4 divide h/(3 - 2) - -8?
True
Let z be (1 - 3) + (0 - 3). Does 21 divide (-251)/(-6) + z/(-30)?
True
Let p(x) = x**3 + 8*x**2 - 10*x + 1. Suppose 5*h - h = -28. Is p(h) a multiple of 14?
False
Let p = 8 + -3. Let z(s) = -s + 7. Let l be z(p). Suppose -l*f + 13 = -29. Does 21 divide f?
True
Suppose 10*s + 228 = 6*s. Let z = s + 120. Does 9 divide z?
True
Let c be -1*(4/4 - 4). Suppose -2*y + 4*v - 12 = -5*y, -c*v + 16 = 4*y. Suppose -3*i + 216 = -2*m, 3*m = -y*i + m + 288. Is i a multiple of 24?
True
Let h = 5 - 1. Suppose v + h*y + 20 = 0, 3*y + 4 = v + v. Is v/(-10) + (-106)/(-10) a multiple of 5?
False
Let v = 11 - 12. Let l(n) = 2*n**2 - 2*n - 1. Let z be l(v). Suppose z*o - 235 = 5*r, 2*r + r = -6. Is o a multiple of 15?
True
Let r = 0 + -6. Is 21 a factor of 2/r + 1143/27?
True
Let c(a) = -2*a**2 + 17. Let z be c(-5). Let h = 46 - z. Is h a multiple of 42?
False
Let n be 876/9 - 16/12. Let u = -76 + n. Does 4 divide u?
True
Let g(m) = -m**3 - 9*m**2 + 2*m + 6. Let s be g(-9). Does 8 divide (-45)/s*60/25?
False
Let m(y) = y**3 + y**2 - 6*y + 55. Is m(5) a multiple of 7?
True
Let l = 353 + -215. Let a be l + 1*(-9)/3. Suppose -3*f = 2*s + 3*s - 135, 0 = 3*f - 3*s - a. Is 13 a factor of f?
False
Suppose -3*d = -4*d - 117. Let x = d + 193. Let a = x - 23. Is a a multiple of 19?
False
Let a(j) = -j**2 + 7*j + 5. Let u be a(7). Let x = 22 + u. Suppose -8*q + 7*q = -x. Does 9 divide q?
True
Suppose -9 + 3 = 3*c. Is 14 a factor of (-35)/c - 75/50?
False
Let z be -2 - -16 - (-5 + 8). Suppose -3*q + 7 + z = 0. Is 3 a factor of q?
True
Let s(o) be the third derivative of 47*o**4/24 + 2*o**2. Let m(v) = v**3 + 11*v**2 - 10*v + 25. Let c be m(-12). Is s(c) a multiple of 8?
False
Let u(m) = 5 - 2*m - 121*m**2 + m**3 + 2 + 10*m + 127*m**2. Does 3 divide u(-3)?
False
Is ((-2)/(-4))/(((-55)/(-3380))/11) a multiple of 13?
True
Let h be 26/39 - (-670)/(-6). Let q = h - -166. Is 17 a factor of q?
False
Suppose 732 = 2*h - 5*o, o + 372 = -0*h + h. Is h a multiple of 46?
False
Let y be (1/2)/(13/52). Suppose -y*q + 60 = -0*q. Is 5 a factor of q?
True
Let m be 1 - (52/(-20) + 2/(-5)). Suppose -f + 74 = m. Is 17 a factor of f?
False
Does 12 divide (24/(-10))/(14/(-70))?
True
Let k = -162 - -174. Is k even?
True
Suppose 0 = -5*j - 3*i - 2*i - 5, 5 = -5*j + 2*i. Let d = j + 3. Suppose 63 = 4*k - 3*a + 2*a, d*k + 4*a - 18 = 0. Does 5 divide k?
True
Let d(l) = l**3 + l**2 + 274. Let a be d(0). Suppose 4*h + 195 + 100 = f, a = f + 3*h. Is f a multiple of 46?
False
Let r(m) = -m**3 - m**2 + 1. Let c be r(-1). Let h = c - -1. Is 4 a factor of 13/2 - 1/h?
False
Suppose 2422 = 4*q + m, 3*q + 10*m = 6*m + 1810. Does 28 divide q?
False
Does 26 divide (-2 - -1)/((-5)/23140*2)?
True
Let h = 1283 - 872. Is h a multiple of 39?
False
Suppose 4*p = 72 - 416. Let b = -49 - p. Does 9 divide b?
False
Suppose -3*w = -2*z - 337 - 1226, 1043 = 2*w - z. Is 9 a factor of w?
False
Let w(z) = -136*z - 1. Does 36 divide w(-2)?
False
Suppose -5*v + 3*v + 92 = 0. Suppose -142 = 5*x - 2*k, 2*k = 5*k - 3. Let r = v + x. Is 15 a factor of r?
False
Let w = -53 - -29. Let v = 67 + w. Let r = v - 24. Is r a multiple of 7?
False
Let u(p) = -80*p - 61. Let r be u(-7). Let b = -311 + r. Is b a multiple of 30?
False
Let s(f) = 9*f**3 + f**2 + 8*f**3 + f - 4 - 18*f**3. Is s(-4) a multiple of 12?
True
Suppose 3*s + 992 = -283. Let j = 227 + s. Is (-1)/((-3)/j*-1) a multiple of 13?
False
Let l = 1196 - 19. Does 17 divide l?
False
Let m be ((-14)/(-4))/(6/60). Suppose h - 7 + 60 = 3*u, -2*u + m = -h. Does 4 divide u?
False
Let l = 0 - 4. Is 13 a factor of 1/(-4)*13*l?
True
Let