e
Suppose 6*s - 2*s = 212. Suppose 2*w + w - 33 = 3*y, -s = -4*w + y. Is 14 a factor of w?
True
Suppose -25657 = -4*f - 3*a, -3*f + 4*a + 9016 + 10208 = 0. Does 28 divide f?
True
Let y = -500 - -746. Does 42 divide y?
False
Let o = 762 + -516. Let d = o + -166. Does 5 divide d?
True
Let h(d) = 2*d**3 + 11*d**2 - 21*d + 18. Does 88 divide h(10)?
False
Let j = -46 + 76. Suppose 2*y + 3*y = -3*i + 40, 0 = -2*y - 4*i + j. Suppose 3*u - 3*b = 21 + 69, -y*b = 2*u - 39. Is 5 a factor of u?
False
Let j = -187 - -55. Does 26 divide (-2 - j)/(2 + (-1)/1)?
True
Let t(c) = -c**3 - c**2. Let b(i) = -5*i**3 - 6*i**2 + i - 24. Let g(k) = -b(k) + 6*t(k). Suppose 3*o - 2 = 5*q - 7, o + 5*q = 5. Is 8 a factor of g(o)?
True
Suppose -15 = -15*b + 12*b. Suppose -t + b*v + 0 = -42, 8 = -t - 5*v. Is t a multiple of 17?
True
Let m = -12 + 21. Suppose -13*q + 16 = -m*q. Is 5 a factor of 50/q*66/55?
True
Suppose 0*g - 2*g + 1048 = 0. Suppose -5*x = -x - g. Suppose -4*a + 0*u + 110 = u, -5*a + 2*u + x = 0. Is 9 a factor of a?
True
Suppose 30*s - 22889 - 35251 = 0. Is s a multiple of 30?
False
Let v be 2 - ((-3)/1 - 0). Suppose 5 = 5*j - 4*j - k, -3*j + 25 = -v*k. Suppose j = -p + 4*p - 189. Is p a multiple of 21?
True
Let r(k) = 31*k + 24. Let j be r(14). Let f = j + -326. Is f a multiple of 37?
False
Let k be 4 - (4/(-4) + 4). Suppose -3*t + 117 = 5*q, 0 = 3*t - 11 - k. Does 7 divide q?
True
Suppose -4*a + 356 = -0*a. Suppose -3 = 3*q, -4*q - 15 - a = -5*y. Is y a multiple of 5?
True
Suppose a - 252 - 1148 = 0. Is 25 a factor of a?
True
Let y be ((-39)/(-9) - 3)*(3 + 0). Suppose 1105 = z + 4*z - 5*f, -3*z = -y*f - 662. Does 37 divide z?
True
Let h(l) = -2*l**2 - 6*l + 5. Let d be h(-4). Let o be (-9)/((-4)/108*d). Let t = 137 + o. Does 23 divide t?
False
Let y = 671 + 469. Is 30 a factor of y?
True
Is 14084/36 - ((-6)/(-27) - 0) a multiple of 17?
True
Let u(q) = -36*q - 8. Let c be u(-6). Let z(v) = -v**2 - 26*v - 17. Let r be z(-16). Let w = c - r. Is w a multiple of 13?
True
Let r = -30 + 35. Suppose -190 = -r*j - 50. Is j a multiple of 15?
False
Suppose s = -3*t + 97, -2*t + s + 48 = 5*s. Suppose 4*c - 26 = t. Is 3 a factor of c?
True
Let h(l) = 4*l**3 - l**2 - l + 1. Let i be h(1). Let y(c) = c**i - 2*c**2 + 2*c - 2 + c - c. Does 13 divide y(3)?
True
Let q = -125 + 385. Suppose -m + q = 98. Does 21 divide m?
False
Let o be 2/(-9) + (-1883)/(-9). Let d = -126 + o. Suppose -2 = 2*n, -10 = -5*b - 2*n + d. Is 19 a factor of b?
True
Let b be 268*1 - (-2 + -2). Let o = b + -418. Let g = -30 - o. Is 30 a factor of g?
False
Let y(d) = -75*d + 91. Does 22 divide y(-7)?
True
Suppose -25 = -5*l + h, l = 6*l + 4*h. Let v(j) = j. Let c be v(l). Suppose -y + 5*y = 0, 16 = a - c*y. Is 14 a factor of a?
False
Let h be ((-21)/(-3))/((-2)/22). Let u be (-4)/(-14) - (-3564)/h. Is 22 a factor of u*(1 - (-9)/(-6))?
False
Is ((-2)/(-5))/((-17015)/5675 - -3) a multiple of 21?
False
Suppose 0 = t + 4*a - 13, -5*t + a - 7 = -30. Is (-2)/(-5) + 63/t even?
False
Suppose -2*t - t = -12. Suppose -68 = -3*s - 2*z - 3*z, -3*z = 2*s - 45. Suppose 5 - s = -t*q. Is q a multiple of 2?
True
Let r(d) = -d**3 + 5*d**2 + d - 5. Let o be r(5). Suppose o = s - 6*s + 25. Suppose 7 = s*n - 23. Is 5 a factor of n?
False
Let t(l) = -7*l**3 - 10*l**2 + 3*l + 84. Is 14 a factor of t(-6)?
True
Suppose 244 = 3*c + 61. Suppose -i - 1 + c = 0. Is 7 a factor of i?
False
Let h = -10 - -14. Suppose 5*t + 0*s = -h*s + 384, 3*s = 4*t - 332. Is 16 a factor of t?
True
Is 4884/(-55)*175/(-10) a multiple of 74?
True
Suppose 3*t - 476 = 4*m, 5*m = t + 89 - 233. Is 4 a factor of t?
True
Suppose 0 = 3*z - 5*a - 473, -799 = -5*z + 3*a - 16. Suppose 2*c + z = 6*c. Does 9 divide c?
False
Let k(y) = 27*y**2 + 6*y + 20. Is k(-2) a multiple of 2?
True
Suppose 10 = 2*l + 2*c - 8, -2*c + 42 = 5*l. Suppose -l*j + 73 = -119. Does 6 divide j?
True
Does 12 divide (-30)/(-6) + -5 + 123*1?
False
Let f be (-15 + 1)*(-11)/2. Let t = f - -7. Is t a multiple of 21?
True
Let f be 172/12 - (-4)/6. Let a(t) = -3*t**3 + 12*t**2 + 12*t + 4. Let m(r) = -r**3 - r**2 - r + 1. Let c(y) = -a(y) + 2*m(y). Is c(f) a multiple of 13?
True
Suppose 0 = -0*v + 4*v - 40. Suppose -v = -3*o - 1. Is 69*(o + (-16)/6) a multiple of 9?
False
Let z = -152 - -155. Suppose 5*t - z*q = 132 + 135, -58 = -t - 4*q. Does 27 divide t?
True
Suppose 0 = 3*d + 2*a + 2*a + 144, -4*a = 12. Is 3/(-2)*d/2 a multiple of 11?
True
Let z(w) = 3 - 84*w**2 - 2*w**3 + 98*w**2 + 7. Does 3 divide z(7)?
False
Suppose w + 855 = -4*w. Let z = w + 251. Is 12 a factor of z?
False
Let s = -246 + 577. Is 32 a factor of s?
False
Suppose -7 = 4*y - 19. Suppose 66 = 5*v - y*v. Let t = 61 - v. Is 14 a factor of t?
True
Does 26 divide (-12 - 1)*-45 + 2?
False
Let v = 145 - -41. Does 18 divide v?
False
Suppose 0 = -3*s + 3 + 9. Does 36 divide (2 - s)*(0 - 72)?
True
Let p(c) = -13*c + 5. Suppose 7*i = 3*i - 12. Does 31 divide p(i)?
False
Suppose 5*w = -2*b + 2112, -3*b - 41*w + 37*w + 3168 = 0. Does 8 divide b?
True
Suppose -3*m + 2511 = 2*f, 9*f = 10*f. Is 9 a factor of m?
True
Suppose -2*b = -6 - 0. Suppose -g = 2*w - 0*w + 8, -b*g - 5*w = 19. Is (7/g + -2)*2 a multiple of 3?
True
Let x(y) = 4*y + 106. Does 3 divide x(-12)?
False
Let q be (-4 + (-16)/(-4))/3. Suppose -k - 3 - 12 = q. Is (32/(-20))/(2/k) a multiple of 11?
False
Suppose 0*l = 4*l + 8, 0 = -p - 2*l + 2400. Is p/12 + 3/(-1 - 8) a multiple of 50?
True
Let a(m) = m**3 + 10*m**2 - 3*m. Suppose 10 = 20*n - 21*n. Is 7 a factor of a(n)?
False
Let v(y) = 227*y + 2. Is v(6) a multiple of 11?
True
Is 14 a factor of (-22)/(-5) + (-2)/5 + 262?
True
Suppose 7*m - 7 = 14. Suppose 0 = 5*v - 3*h + 2*h - 347, m*v = 2*h + 211. Is 8 a factor of v?
False
Suppose -2*c + 654 = w - 1122, 3*w = -5*c + 5328. Let b be 6/27 + 148/(-18). Is 15 a factor of ((-2)/b)/(12/w)?
False
Suppose -2*y + 1080 = 4*d + 292, d - 1562 = -4*y. Is y a multiple of 65?
True
Let r = -68 - -83. Is r a multiple of 4?
False
Let j(l) = -16*l - 190. Is 41 a factor of j(-17)?
True
Let x(d) = -d**3 + 6*d**2 + 52*d. Is x(10) a multiple of 7?
False
Suppose b + 0*r = -5*r - 1, -3*b - 4*r = 3. Let c(o) = -14*o**3 + o**2 - 1. Let l be c(b). Does 7 divide (6 - 2)/(4/l)?
True
Let a(p) = -12*p**2 - 576*p + 53. Is a(-46) a multiple of 27?
False
Let v = 15 + -8. Suppose 255 = -2*g + v*g. Is 16 a factor of g?
False
Let u(y) = 3*y**2 - 157. Is 13 a factor of u(-16)?
True
Let a be (-4)/(-22) + 4053/33. Let i = a - -20. Suppose i = -0*x + 3*x - 2*m, 44 = x + 3*m. Is x a multiple of 11?
False
Let r be 3 + (-5)/((-5)/23). Let f = r + -34. Does 14 divide f/(-36) - (-1182)/27?
False
Suppose -i + 2004 = w + 3*i, -i - 4035 = -2*w. Is 96 a factor of w?
True
Let x = -83 + 168. Let f = 144 - x. Does 7 divide 1/4 - f/(-4)?
False
Suppose 3*n - 5*n = -5*c + 11, 3*n = 4*c - 6. Does 28 divide 316*1/c*(-15)/(-10)?
False
Let s be 6*((-6)/9 + 0). Let b(h) = 18*h + 11. Let m(f) = -6*f - 4. Let j(x) = s*b(x) - 11*m(x). Is 8 a factor of j(-2)?
False
Let u(a) = -a**3 - 8*a**2 - 9*a - 12. Let l be u(-7). Suppose b - l*b - h = -80, 0 = -5*h - 10. Is 16 a factor of b?
False
Let m = 137 - 126. Let g = 66 - 38. Suppose -4*x + m = j, -4*j + 16 = 5*x - g. Is 11 a factor of j?
True
Let s be (5 + 18/(-4))*6. Suppose -4*r - s*r = -364. Is r a multiple of 13?
True
Let y be 9/(-6)*(-149 + -1). Let p = y - 95. Does 26 divide p?
True
Does 45 divide (-5*(-14)/(-21))/(1/(-27))?
True
Let k = -35 + 37. Suppose -o + k*r = -112, -r + 0*r = -3*o + 356. Suppose -2*f = 4*n - o, -240 = -4*f - 0*n + n. Is 20 a factor of f?
True
Let w(g) = 7*g**2 + 16*g + 48. Does 12 divide w(-12)?
True
Let z = -20 - -35. Suppose -2*v + z = 3*v. Suppose -v*c - 41 = -o, -1 = 5*c - 6*c. Is 14 a factor of o?
False
Let b be 18/(-12)*24/9. Does 7 divide 70 - (b + (6 - 2))?
True
Suppose -4*q = 4*r - 4, q + 7 = -0*q - 3*r. Suppose 0 = -4*w + 11 + q. Suppose -2*v + d + 97 = 0, 2*v + 115 = w*v + 5*d. Does 19 divide v?
False
Suppose -3*c + 2*v + 883 = 0, -5*c + 58*v + 1440 = 61*v. Does 16 divide c?
False
Let u(t) = -t**3 - 6*t**2 - 10*t - 33. Does 61 divide u(-14)?
False
Suppose -485 - 90 = -5*w. Suppose -5*z + 2*s = -s - w, -5*z = -5*s - 125. Is z a multiple of 4?
True
Let d(r) = -r**3 - 4*r**2 - 6*r - 5. Let q be d(-7). Suppose 36 = -f - 3*o, 2*f + 2*o + q = -2*f. Let x = -2