8 divide l?
False
Let j = 10 - 2. Let x(f) = 2 - 9 - 6*f + 9*f**2 + 2*f**3 - 3*f**3. Is 5 a factor of x(j)?
False
Let m(a) = 3*a + 3. Let k(v) = 1. Let q(j) = k(j) + m(j). Does 13 divide q(7)?
False
Let c(l) = -l**3 - 12*l**2 - 8*l - 13. Let x(o) = -1. Let d(a) = -c(a) + 4*x(a). Suppose 0 = 3*y - 2*y + 11. Is d(y) a multiple of 21?
True
Suppose 154 = 10*v + 444. Let y = 57 + v. Is 14 a factor of y?
True
Suppose -4*p - 2*i + 326 = 0, -p - 4*i + 12 = -80. Is 8 a factor of p?
True
Let w(k) = 2507*k**3 + 2*k**2 - 1. Let t be w(1). Suppose 0 = -7*s + t - 296. Is 39 a factor of s?
False
Is 5 a factor of 4*4/(-64) - (-1546)/8?
False
Suppose -8*x + 10*x = 8. Suppose 8 - 26 = -o - 5*r, -x*r - 3 = -5*o. Suppose 0 = o*g - 0*g + n - 49, 0 = -3*g + 2*n + 46. Is g a multiple of 8?
True
Suppose -5*m - 5*i = -10, 2*i + 13 = 2*m - 3. Suppose 3 = -n, -m*n + 3*n + 3 = 3*p. Is p/2*(-196)/(-14) a multiple of 7?
True
Suppose -y - 171 = -4*y. Suppose -4*l + 0*l + 180 = 0. Does 14 divide 5/(l/y)*9?
False
Suppose 16 = 9*o - 5*o. Suppose 0 = 4*j - 2*j - o. Suppose 5*n - j*a = 235, 0 = 3*n + 3*a - a - 141. Is n a multiple of 21?
False
Let j = 1 + 5. Suppose -10*h = -j*h - 428. Is h a multiple of 12?
False
Let d(k) = -k**2 - 19*k - 8. Let x be d(-16). Let c = -27 + x. Is 4 a factor of c?
False
Suppose 2*j - 4*j = -10. Suppose l = -0*p - 5*p + 776, j*p - 5*l = 770. Does 31 divide p?
True
Does 95 divide (10 - 0)*15/4*38?
True
Does 23 divide ((-1020)/120)/(-1*(-2)/(-68))?
False
Let l be 296/6 + (-6)/(-9). Suppose i - l - 36 = 0. Suppose -4*t + 220 = -4*m, -3*t = 4*m - i - 100. Is 29 a factor of t?
True
Let p = 1804 - 1246. Is p a multiple of 55?
False
Let r(x) = -55*x**3 + 2*x - 1. Let a be r(1). Let m be (-6 - -1)*(-42)/((-42)/7). Let w = m - a. Does 10 divide w?
False
Suppose -2 = -2*k - l + 1, -5*k - 4*l = -6. Suppose 40*f - 1284 - 156 = 0. Let m = f - k. Does 16 divide m?
False
Let o(q) = -33*q + 31. Does 37 divide o(-17)?
True
Suppose -j + j = j. Suppose j = -5*h + 10, -t + 2*h + h = -43. Is t a multiple of 18?
False
Let a(q) = 11*q - 20. Let g = 67 + -63. Is a(g) a multiple of 3?
True
Let m(v) = v + 1. Let g be m(5). Suppose g*l - 49 = 77. Is l a multiple of 3?
True
Suppose -3*p = -3*g - 9 - 3, -5*g + 3*p - 24 = 0. Let s = g + 9. Suppose -s*h + 37 = -224. Is 29 a factor of h?
True
Suppose 2 - 12 = -5*o + q, 0 = q. Suppose s = 3*a + 10, o*s + 2 = -0*s - 5*a. Suppose s*g - 56 = -n, 0 = -4*n - 0*g + g + 241. Is 15 a factor of n?
True
Suppose -5*i - 1679 = -4*o, 4*o - 2*i + i = 1667. Is 32 a factor of o?
True
Suppose 2*j - 4*b + 3*b = 3054, 4*j + 3*b = 6088. Does 11 divide j?
False
Let k(h) = 3*h - 4. Let l be k(5). Let v(f) = 3*f - 3. Let m(s) = -1. Let i(j) = -4*m(j) + v(j). Is i(l) a multiple of 17?
True
Is (-16)/88 - 60/33 - -118 a multiple of 3?
False
Suppose -i = -3*j - 951, 2883 = 7*i - 4*i + j. Is 15 a factor of i?
True
Let i(y) = y - 13*y**2 - 4*y + 2*y + 42*y**2 + 2. Is 29 a factor of i(2)?
True
Let n be ((5 + -5)/(-4))/(2 + 1). Suppose n = -3*b + 7*b - 140. Is 3 a factor of b?
False
Let s = -7 + 9. Suppose -s = -p, -3*o + 3*p = 4 - 25. Let r = 26 + o. Is 15 a factor of r?
False
Let l = -461 - -600. Is 4 a factor of l?
False
Suppose -6 + 10 = 2*o, o = 2*f - 2. Is 0/(-3) + f + 3 a multiple of 4?
False
Suppose 2*t + 398 = y - 408, 5*t = 15. Does 45 divide y?
False
Let i = 59 - 53. Suppose -2*r + 340 = -4*d, -170 = -r + i*d - 7*d. Does 10 divide r?
True
Let h = -7 + 68. Suppose 0 = 4*f - 47 - h. Is f a multiple of 9?
True
Let o(y) = 3*y**2 - 2*y - 1. Let v be o(2). Let x(h) = 9*h + 10 + 5 - 46 + 15 + 8. Is 16 a factor of x(v)?
False
Let u = -95 - -920. Is 33 a factor of u?
True
Let o = -823 + 1285. Is o a multiple of 33?
True
Does 43 divide (387/6)/((-16)/(-1088))?
True
Is (-13461)/(-5) - 7*84/490 a multiple of 50?
False
Let q = 252 - 117. Is 15 a factor of q?
True
Suppose -2*u + 27 = u - 3*z, -4*u + 8 = 3*z. Suppose -3*d = -u*a - 40, -4*d - 3*a + 2*a + 38 = 0. Is 5 a factor of d?
True
Does 25 divide 11/(77/(-938))*14/(-4)?
False
Let y(c) = c**2 - 4*c - 30. Let v be y(8). Suppose -v*p + 2*g = -g - 103, 3*p - 158 = g. Is p a multiple of 20?
False
Suppose -27 = f - 5*i, -4*i + 31 + 28 = -3*f. Let s = 62 + f. Is s a multiple of 15?
True
Suppose -2*m - 8 = -4*m. Suppose -5*a + 10 = -5*i - 10, -2*a - 2*i + m = 0. Is 2 a factor of a?
False
Let t be 2/(-4) + 69/2. Suppose a = 4*p + 77, 0*a - 28 = p - 2*a. Let o = p + t. Is o a multiple of 8?
True
Let q = -17 + 16. Let d be (-12*6)/4*q. Is d + (-1 + 1 - 1) a multiple of 16?
False
Let y be (3 - 18)*4/(-6). Does 9 divide 450/10*2/(y/3)?
True
Let m be 3 + (18/(-4))/((-1)/(-2)). Is (-26)/m + (-2)/18*-6 even?
False
Let w = -2518 - -4165. Does 61 divide w?
True
Let i be 0/5 - -2*1 - -3. Suppose -t + 4*q + 12 = -0*t, i*t - 85 = -5*q. Does 6 divide t?
False
Suppose i + 0*x - 240 = 5*x, 0 = -3*i + 6*x + 702. Is i a multiple of 7?
False
Let c(t) = -t**2 + 12*t - 18. Suppose -3 = 3*n, 11 = 5*l - 3*l + 5*n. Does 10 divide c(l)?
False
Let z be (-8)/56 - (-2325)/7. Suppose q - 5*q = -z. Is q a multiple of 28?
False
Let v(y) = 7*y**2 - 7*y - 11. Let g be v(7). Let i = g + -122. Suppose 3*a - i + 9 = -w, 48 = a + 3*w. Is a a multiple of 26?
False
Let a(x) = x**2 + 7*x - 20. Does 8 divide a(-20)?
True
Suppose -2*l - 2*i = 0, 6*l = l + 2*i + 14. Suppose l*v = 3*v - 10. Let a = 36 - v. Does 10 divide a?
False
Suppose -1342*n + 1327*n + 4890 = 0. Is n a multiple of 3?
False
Let c be 13/(-39) + 688/(-6). Let f = c - -216. Is f a multiple of 10?
False
Let m(v) = v**2 - 6*v - 51. Is 19 a factor of m(-17)?
False
Let m = -241 - -413. Does 13 divide m?
False
Let p(o) = 12*o - 3. Let s be p(5). Suppose 2*i - 3*t - 51 = 0, -5*t - s = 3*i - 5*i. Is 3 a factor of i?
True
Let h = 487 + -25. Is h a multiple of 22?
True
Let f(t) = t**3 - 20*t**2 - 10*t + 25. Let m be f(21). Does 32 divide (-3 - -5)/((-508)/m + 2)?
True
Let a = -20 - -8. Suppose 2*t = 3*t + 4*t. Does 2 divide a/(-3) + t/3?
True
Suppose 217 = -14*w + 1491. Does 2 divide w?
False
Suppose 3*h + 3*h = 24. Suppose 0*a = -h*a. Suppose -2*n + 114 = -a*n. Is 13 a factor of n?
False
Suppose 2*x = -j + 560, -2*x - 9*j + 5*j = -560. Suppose 4*y + x = 6*y. Is y a multiple of 21?
False
Let v(r) = -120*r + 58. Is v(-2) a multiple of 47?
False
Let t(j) = -4*j**3 + 5*j + 3. Let b(y) = y. Let f(i) = -b(i) + t(i). Let p be f(-3). Suppose 2*o = -o + p. Is 7 a factor of o?
False
Suppose -a + 58 + 61 = 0. Is a a multiple of 8?
False
Suppose -6*h + 51 = -141. Let n(b) = 3*b + 15. Let d be n(-10). Let s = d + h. Is 17 a factor of s?
True
Let l = -20 - -30. Suppose -l*b = -4*b + 546. Let q = b - -183. Is 19 a factor of q?
False
Suppose -u = -0*u + 2*r - 666, 0 = -4*u + 2*r + 2694. Does 38 divide u?
False
Let g = 4 - 16. Let y = 28 + g. Is 6 a factor of y?
False
Let w be (-2 - 0) + 0 + 42/6. Suppose w*q - 633 = 2*q. Is 45 a factor of q?
False
Let f be 6 - 6/2 - 0. Suppose 5*c = -f*v - 5, c - 3*v = 2*v + 27. Suppose 12 = -4*y, -c*b + 2*y + 17 = -25. Is b a multiple of 3?
True
Let y(x) = -x - 14. Let z be y(-14). Let v be 14/8*(z + -20). Let s = v - -49. Is 8 a factor of s?
False
Let r(b) = 5*b**3 - 11*b**2 + 9*b - 3. Let x(a) = -6*a**3 + 12*a**2 - 10*a + 4. Let l(q) = -5*r(q) - 4*x(q). Is l(5) a multiple of 24?
True
Let n = 1837 + -1125. Does 8 divide n?
True
Let m(f) = -14*f**3 + 3*f**2 + 3*f + 36. Does 10 divide m(-4)?
False
Let y = 227 - -152. Is y a multiple of 2?
False
Suppose -22 = -2*r + 220. Let u = r - 44. Is 11 a factor of u?
True
Let c(j) be the second derivative of -17*j**3/6 + j**2 + 9*j. Is 27 a factor of c(-6)?
False
Let y be -4 - (-58)/((3/6)/(-1)). Let g = -69 - y. Does 6 divide g?
False
Suppose -3*u + 3 = -180. Is u a multiple of 2?
False
Let k(l) = -l**2 + 8*l - 5. Let c be k(5). Suppose -2*n - 4*a = -146, -c*n + 7*n + 243 = -2*a. Does 3 divide n?
False
Suppose 5*u - 5*c - 138 = 322, -4*u + 356 = -c. Is 11 a factor of u?
True
Suppose -52*o - 3388 = -59*o. Does 44 divide o?
True
Let x be (-42)/(-49)*(-28)/(-6). Suppose 67 = x*u - 2*u + 5*m, 40 = 2*u - 4*m. Let t = 36 - u. Is t a multiple of 3?
False
Let f(r) = 5*r**2 + 11*r + 2. Let i(o) = o**2 + 1. Let x(a) = -f(a) + 6*i(a). Let j be x(11). Suppose -2*g - 10 = -b + 4, 0 = j*g - 4. Does 6 divide b?
False
Suppose 63*r - 55*r = 32. Suppose -2*o