-20201 - -24857. Does 4 divide y?
True
Suppose 12*h + 1296 + 876 = 0. Let g = h - -549. Is g a multiple of 16?
True
Let f = 43313 - 30756. Does 8 divide f?
False
Let i(d) = 0*d**3 + d - 8*d - 4*d**3 + 5*d**3 - 9 - d**2. Is 3 a factor of i(4)?
False
Suppose 0 = -286*h + 277*h. Suppose 4*w - 3*w - 81 = 0. Let j = w + h. Is 9 a factor of j?
True
Let h = 13996 + 981. Does 21 divide h?
False
Let p(i) = 2146*i**2 + 29*i - 30. Is p(4) a multiple of 49?
False
Let h(f) = -3*f**2 - 39*f + 13. Suppose 5*w - 5*b - 13 = -93, -b - 6 = w. Is 22 a factor of h(w)?
False
Let u = -95 - -35. Suppose -57*p + 62*p = 760. Let f = u + p. Does 6 divide f?
False
Let c = 53475 + -42885. Is 15 a factor of c?
True
Is 84 a factor of 3960/(-770)*3038/(-3)?
True
Is 48 a factor of 2508/(-270)*-87 + 13/((-585)/6)?
False
Let i = 7482 - 4078. Is 43 a factor of i?
False
Let s = -1978 + 958. Is (-490)/140*s/14 a multiple of 85?
True
Let f = 9519 - 5735. Is f a multiple of 44?
True
Let n be (-6)/(-2) - ((12 - 3) + -19). Suppose r - 349 = -17*a + n*a, 5*r + 4*a - 1761 = 0. Is r a multiple of 13?
False
Let v = -53 - -37. Let t = 19 + v. Suppose 3*n - 70 = -2*b, 8*b + 3*n - 157 = t*b. Does 11 divide b?
False
Is 14 a factor of 413402/33 - (-128)/48?
True
Suppose 54 = -4*b + 230. Suppose 0 = 42*m - b*m. Suppose -l - 2*o + 124 = m, -2 = -0*o - o. Is l a multiple of 12?
True
Suppose 70 = -10*l - 30. Does 10 divide ((80/(-12))/l)/((-10)/(-5715))?
False
Let x = -621 + 621. Suppose -3960 = -11*i - x*i. Is 9 a factor of i?
True
Let n = 53 - 47. Suppose 0 = 2*z + z - n. Let w = 12 - z. Is 2 a factor of w?
True
Let x be (-2128)/(0 + -7) - 2. Suppose 7*w + 608 = 3*w. Let d = w + x. Is 25 a factor of d?
True
Suppose 0 = 2*r - 4*i + 10, -r = -10*i + 6*i + 1. Let o = r + 75. Is o a multiple of 66?
True
Suppose 0 = 5*m - 8*i + 10*i - 6929, -10 = -5*i. Is m a multiple of 3?
False
Let j(z) = z**2 - z - 21. Let n(u) = u**3 + 10*u**2 + 18*u + 4. Let g(c) = 3*c + 46. Let o be g(-18). Let q be n(o). Is 14 a factor of j(q)?
False
Let j be (((-32)/12)/2)/(4/(-6)). Suppose -364 = 5*k - 7*k - j*o, 0 = -4*k + 3*o + 735. Let d = -79 + k. Is d a multiple of 28?
False
Let m(a) = 66*a + 1. Let b be m(2). Suppose -w + 6*w - 291 = -3*l, 0 = 2*l - w - 194. Let h = b - l. Is h a multiple of 6?
True
Let d = 7258 + -4605. Let s = d - 1813. Is 10 a factor of s?
True
Let d(a) be the second derivative of -5/3*a**3 + 0 + 2*a**2 - 15*a. Is 9 a factor of d(-2)?
False
Let u = 2710 - 1810. Is u a multiple of 111?
False
Suppose -4*k + 705 = x, -3*x = -3*k + 512 + 13. Let q = -102 + k. Let l = q - 23. Is l a multiple of 3?
True
Let w = 587 + 34. Suppose 123*h - 126*h = -w. Is h a multiple of 3?
True
Suppose 0 = 3*z - 3*n - 15 + 3, 11 = 2*z - 5*n. Suppose 2*y + z*p = 5*y - 201, 195 = 3*y - 5*p. Does 7 divide y?
True
Let z(i) = i**3 + 4*i**2 - 4*i - 8. Let y(c) = c**3 - 3*c**2 - 4*c - 7. Let v be y(4). Let d be z(v). Let q = 203 + d. Is q a multiple of 17?
False
Suppose -2*p - 3*p = 3*w - 140, 58 = w - 4*p. Let r = w - 56. Let z = r - -61. Is z a multiple of 5?
True
Suppose 0 = -7*l - 12802 + 5228. Let i = -617 - l. Is i a multiple of 31?
True
Let u be 1/(2/1*2/212). Suppose 375 + u = 4*z. Let m = -22 + z. Is 17 a factor of m?
True
Let t = -30 - -18. Let n be (-118)/t + -2 + (-4)/(-24). Suppose -n + 35 = g. Does 10 divide g?
False
Let g = 23845 + -14597. Does 17 divide g?
True
Suppose 5*z + c - 77 = -1, -2*z - 4*c = -16. Let o be 20/16 - 15/12. Suppose o = -4*k - 4*k + z. Is k even?
True
Is 89 a factor of 1/10*-25*-3588?
False
Let f(o) be the first derivative of -o**4/4 - 5*o**3/3 + 8*o**2 + 11. Is f(-8) a multiple of 5?
False
Suppose 0 = 3*z - 198 - 141. Let o = z - 111. Suppose 4*t - 114 = -5*r, -5*r + 40 = o*t - 22. Is t even?
True
Let a be 273 + ((-24)/(-30))/(4/(-10)). Suppose 4*o + 5*c - 183 = 0, 5*o - 14 = 5*c + a. Suppose -162 = -2*i + o. Is 14 a factor of i?
False
Let y(w) = 7*w**2 + 167*w - 2654. Does 64 divide y(49)?
True
Let l = 5185 + -3274. Is l a multiple of 21?
True
Let r(z) = -32*z + 37. Let n be r(0). Let b be 0 + (2*30 - -2). Let f = b - n. Is 21 a factor of f?
False
Let j(t) = -6*t + 4. Let i be j(-5). Suppose -5*w = u - 350, -3*u - 2*w = -1055 - i. Is 11 a factor of u?
False
Let a(o) = -2*o**2 + 17*o - 8. Let h be a(8). Suppose h = 5*g - 8*g + 3*k + 1095, 1135 = 3*g + 5*k. Does 7 divide g?
False
Let q(k) = 14*k**3 - 38*k**2 + 27*k + 21. Is q(7) a multiple of 18?
True
Let i(r) = 3*r**3 + 11*r**2 + 7*r + 7. Let x be i(-3). Suppose 0 = x*t + s - 1192, 7*t - 10*t + 894 = 2*s. Does 23 divide t?
False
Does 210 divide (-3)/7 + (-2580)/(-560)*2188?
True
Let d(s) = s**2 - 4*s - 6. Let f be d(6). Let n be 7/2*(-5 + f + 5). Let r = 59 - n. Does 31 divide r?
False
Suppose -10*j = -16780 - 26060. Suppose -j = -50*m + 16*m. Does 25 divide m?
False
Let k(r) = -312*r + 5. Let v be k(-5). Suppose -645 = 10*h - v. Is (6 - (2 + 1)) + h a multiple of 12?
False
Is ((-800184)/(-176))/((-6)/(-8)) a multiple of 28?
False
Suppose -4*z - 28 = -4*a, 2*a + 9 = 4*z + 27. Suppose -3023 = -a*h + o, -4*h - o + 1457 = -965. Suppose -4*x + 235 = -m - h, m = 2*x - 422. Is 27 a factor of x?
False
Suppose -2*f = -5*s + 376, -s - 2*f + 4*f + 72 = 0. Suppose 4*t = 4*j - 180 + s, 4*j - 92 = t. Is 1214/j + 8/(-44) a multiple of 11?
True
Suppose 4*f + 16*x = 11*x + 9600, 4800 = 2*f + x. Does 15 divide f?
True
Suppose 26*x = 2*x + 4752. Let l = x - -260. Does 9 divide l?
False
Let d(b) = 29*b + 1251. Does 2 divide d(-25)?
True
Suppose 0*y + y + 11 = 0. Let u = y + 17. Let c(p) = -p**2 + 11*p - 9. Is 4 a factor of c(u)?
False
Suppose 64 - 60 = 4*f. Does 16 divide ((-4 - f) + 6/6)*-136?
True
Suppose 2*a - 4*h - 4 = 0, 0*h = 2*h. Suppose -3*l = a*v - 115, 4*l + 198 = -2*v + 5*v. Is 6 a factor of 14/28 - v/(-4)?
False
Suppose 2*d + 853 = -j - 9, -3*d - 1288 = -j. Let c = 178 - d. Is 10 a factor of c?
False
Let g(s) = 2*s**3 - 7*s**2 + 7*s - 27. Let k be g(5). Let b = k - -541. Does 7 divide b?
False
Let p be 49*7 - (-9 + 3). Let s = p + -240. Does 25 divide s?
False
Let k = -41 + 14. Let y = k - 13. Let x = 85 + y. Is x a multiple of 9?
True
Let j(r) = 2515*r - 351. Does 8 divide j(4)?
False
Let n(j) be the first derivative of -17*j**2/2 - 8*j - 26. Let w be n(-4). Suppose -l + 24 = -w. Is 14 a factor of l?
True
Let y(i) = -4*i**3 - 12*i**2 - 12*i - 5. Let b(c) = 15*c + 130. Let n be b(-9). Does 40 divide y(n)?
False
Let u(g) be the second derivative of -g**5/20 + g**4/2 + g**3/6 - 9*g**2/2 - 14*g. Let b be u(5). Does 9 divide (3/((-12)/(-7)))/(b/756)?
True
Suppose 0 = 5*g - 10 - 0, -r + 3*g - 6 = 0. Let v be (75/(-3) + r)*568/10. Is 3/((-42)/v) + 48/84 a multiple of 17?
True
Let q(d) be the first derivative of -d**6/360 + 7*d**5/60 + d**4/2 - 4*d**3 - 5. Let m(h) be the third derivative of q(h). Is m(12) a multiple of 18?
True
Let x(l) be the second derivative of -l**4/12 - 11*l**3/6 - 21*l**2/2 + 14*l. Let j be x(-8). Does 14 divide (-115)/((-1 + j)/(-2))?
False
Let y = -36 + 44. Does 12 divide (1 + 5 - -6)*122/y?
False
Suppose 0 = -89*l + 26*l + 378. Does 36 divide (1 - -1) + (l - (2 + -154))?
False
Let s(q) = 199*q - 3511. Is s(37) a multiple of 36?
True
Let d(v) = 46*v - 96. Suppose 0 = -6*n + 54 - 6. Is d(n) a multiple of 14?
False
Let d = -16670 + 28878. Is d a multiple of 13?
False
Let l = -22 - -106. Let z(a) = 229*a - 984. Let f be z(5). Suppose f*p = 159*p + l. Does 6 divide p?
True
Suppose -8*n + 1086 + 1074 = 28*n. Is 12 a factor of n?
True
Let w = 2336 - -17234. Is 19 a factor of w?
True
Let n(x) = x**3 + 5*x**2 + 2*x + 16. Let o be n(-5). Let i be (-1)/((-1)/(-3)) + o. Suppose -i*g + 5*y = -65, -2*y - 110 = -0*g - 4*g. Is 3 a factor of g?
True
Suppose -183*r = -148*r - 19740. Does 4 divide r?
True
Let v be 3 + 74 + (-3 - 0). Suppose v = -5*a + 924. Is a a multiple of 40?
False
Suppose -185*p - 16652 = -764120 - 1351172. Is p a multiple of 8?
True
Let z(q) = 18*q**3 + 11*q**2 - 40*q + 182. Is 39 a factor of z(7)?
False
Suppose -3*d + 326926 = 38*d + 21*d. Does 2 divide d?
False
Suppose -39 + 12 = -i. Suppose i*f - 8 = 26*f. Is 23 a factor of (-3)/12 - (-402)/f?
False
Let p be (-35)/21 - 2/(-3) - -17. Suppose 11*m - 15*m - p = 0. Is 8 a factor of (58/m*-1)/((-15)/(-30))?
False
Suppose r - 3*r + 728 = 0. Suppose 329 = 7*w - 1043. Suppose -r