e
Let w = 18505 - 13209. Suppose 16*b - 19600 = -w. Does 49 divide b?
False
Let m = 43 - -31. Suppose 5*i - 604 + m = 0. Suppose -2*n - 3*q + i = 19, -4*n + 179 = q. Is 9 a factor of n?
True
Let u(b) be the second derivative of -3*b**3 + 9*b**2 + 24*b. Let y = 4 + -9. Does 18 divide u(y)?
True
Let w(h) = 5*h - 30. Let r be w(7). Suppose 4*g = -12, r*g + 1174 = 4*u + 3*g. Is u a multiple of 28?
False
Suppose -d + 0 - 3 = -4*r, 4*d = 20. Does 25 divide 1*(300/24)/(r/52)?
True
Let d(t) = -13*t + 127. Let l be d(10). Let c(z) = -212*z - 6. Does 30 divide c(l)?
True
Let c(s) = 128*s**2 + 25*s + 45. Does 181 divide c(4)?
False
Let w = -57 + 110. Suppose 2*u - u = w. Let y = u - 21. Is 16 a factor of y?
True
Let b = 425 - -712. Suppose 39*d - 42*d + b = 0. Is 16 a factor of d?
False
Suppose -4*l + 38502 = 3*q + 3156, 4*q - 26506 = -3*l. Is 9 a factor of l?
True
Let v be 2 + (-2 - -2) - 186. Let b = -118 - v. Let y = b + 17. Is 36 a factor of y?
False
Let w = -5939 - -9107. Does 11 divide w?
True
Suppose -5*r + 5 = 25, 4*z - 12 = 2*r. Let m(k) = 6*k**3 + k**2 - 2*k + 1. Let a be m(z). Suppose 89 = a*u - 79. Is u a multiple of 28?
True
Let b(n) = -5*n**2 + 2*n + 30. Let p be b(-6). Let z = p + 273. Does 22 divide z?
False
Suppose -45*b = 34028 - 122723. Is 73 a factor of b?
True
Let h be 0/(7 + -4 - 1). Suppose 224*g - 228*g + 768 = h. Is 64 a factor of g?
True
Let t(s) = 95*s**3 + 4*s**2 - 35*s. Is t(4) a multiple of 77?
False
Let i = 25961 + -17371. Is 110 a factor of i?
False
Let l(q) = q + 16. Let p be l(-8). Suppose 0 = -3*r + p - 296. Is ((-30)/24)/(2/r) a multiple of 10?
True
Let x(m) = -m**3 + 34*m**2 + 72*m + 15. Suppose o - 35 = t, 3*t - 270 = -5*o - 87. Is 3 a factor of x(o)?
True
Let n(b) = 2*b**2 - 9*b - 2. Let y be n(5). Let t(w) = -5*w + 29. Is t(y) even?
True
Let k(u) be the second derivative of 263*u**4/12 - 7*u**3/6 + 4*u**2 - 10*u + 3. Is 23 a factor of k(1)?
False
Let z be (-1 + 1)/1 - (0 - 6). Let w be (z/5)/((-30)/75). Is 19 a factor of (36/14)/(w/(-126))?
False
Is 3 a factor of ((-9)/5)/((-371030)/53000 + 7)?
True
Let z(m) = -m**3 - 24*m**2 + 531*m - 130. Does 8 divide z(-41)?
False
Suppose 5*u - 7*u + 8 = -3*v, 2*u = 2*v + 8. Suppose -12*x + 1968 + 5808 = v. Is 72 a factor of x?
True
Let d(g) = -g**3 + 16*g**2 + 2*g - 17. Let o be d(16). Let n be 81/15 + 0 - 6/o. Suppose -5 = -2*u + 5, 0 = 4*s - n*u - 691. Is 33 a factor of s?
False
Suppose 47 = -4*m - z + 4*z, -4*z = m - 12. Let a be ((m/(-2))/(-2))/((-14)/35). Suppose a*q - 475 - 125 = 0. Is 30 a factor of q?
True
Let d(x) = -x**3 - 24*x**2 - 25*x - 42. Let z(u) = 5*u - 3. Let v be z(-4). Let r be d(v). Suppose -r*a + a + 9 = 0. Does 3 divide a?
True
Suppose 4*o - 5 = 7. Suppose a + 2*w - 254 = 0, 5*a + o*w - 557 = 734. Suppose a = 8*c - 3*c. Does 26 divide c?
True
Let z(a) = -2*a**3 + 5*a**2 - a + 6. Let c be z(4). Let d = 52 + c. Suppose 2*f + b + 369 = d*f, -2*b - 465 = -5*f. Is f a multiple of 13?
True
Let f(w) = 4*w + 43. Let z be f(-10). Suppose z*x + 972 = 6*x. Suppose 8*p - x = 5*p. Does 5 divide p?
False
Let w(o) = 278*o**2 - 4*o - 1. Suppose 20 = -16*u + 36. Is w(u) a multiple of 7?
True
Let r(a) = -a**3 + 8*a**2 - 9*a + 17. Let h be r(7). Suppose c = 4*u - h*c + 224, 312 = -5*u - 3*c. Let w = 195 + u. Is 15 a factor of w?
True
Let p(w) = -49*w - w**3 - w**2 + 18 - 5*w**2 + 42*w + 16*w**2. Let r be -4 + 4 - 9/(-1). Is p(r) a multiple of 18?
True
Let o = 778 - 303. Suppose -o = -3*q - 4*x, 3*x = -0*q - 5*q + 810. Does 3 divide q?
True
Let x(v) be the second derivative of 11*v**6/240 - 7*v**5/40 - v**4 - 15*v. Let c(n) be the third derivative of x(n). Is 48 a factor of c(5)?
True
Let b be (-4)/(-8)*8 + 1080. Suppose -6*d + 14 = -b. Does 5 divide d?
False
Let v(r) = 88*r**2 + 4*r - 37. Does 19 divide v(5)?
False
Suppose 0*u + 15 = r - 2*u, -5*r = 5*u - 75. Suppose -r*s = -18*s + 276. Is 21 a factor of s?
False
Suppose -5 = 3*m + 4*b, 13*b = -5*m + 8*b. Let w(y) = 17*y - 3 - 4*y - 12 - 8. Is w(m) a multiple of 6?
True
Suppose -3*x + 4*v = -0*x - 673, -v = -x + 223. Suppose 0 = -11*w + 8*w + x. Does 24 divide w?
False
Let x be (-26)/65*2*15/(-6). Suppose -3*j - x*b + 149 = 0, 223 = 2*j + 3*j - 3*b. Is 47 a factor of j?
True
Suppose -4*m + 15 = -3*f, -3*m - 1 = 4*f - 6. Suppose 0 = 5*b + m*c - 799, 2*c - 430 = -4*b + 210. Is b a multiple of 4?
False
Let u be 65/(((-18)/(-4))/(-9)). Does 5 divide u/(-4) - (-60)/(-24)?
True
Suppose -49*n - 13191 = -56*n + 23153. Does 8 divide n?
True
Suppose 3*l - 881 - 1250 = -4*y, 0 = y + 5. Let o = l - 501. Does 24 divide o?
True
Let n = -788 - -189. Let a = -397 - n. Is a a multiple of 5?
False
Let o be -5*(-3)/(-90)*4*-6. Let x be (o/(-10))/((-7)/210). Suppose 2*b - 178 = -x. Is b a multiple of 17?
False
Suppose -57*w + 68 = -55*w. Suppose -w*s + 1235 = -21*s. Is s a multiple of 5?
True
Let i be 2/((-5)/(47835/(-6))). Suppose -5*t + i = 639. Suppose -6*w + 9*w - t = 0. Is 34 a factor of w?
True
Let g(x) = 47*x**2 + 6 - 6 + 0 - 7. Is 32 a factor of g(3)?
True
Let g(o) = -o**3 + 2*o**2 + 2*o + 533. Let z be g(0). Let l = 653 - z. Does 20 divide l?
True
Suppose 0*c = 4*c - 12, 3*a - 3*c + 90 = 0. Let o be 30 + a + 1/1. Suppose -o*t = -5*j + 7*j - 178, -j - t + 85 = 0. Is 27 a factor of j?
True
Suppose -33 = -3*n + 876. Let w = 173 - n. Let f = 286 + w. Is 26 a factor of f?
True
Let c(v) = 5*v - 45. Let k(g) = g**3 - g**2 + g + 9. Let a be k(0). Let d be c(a). Suppose 4*p = -2*t + 20 + 80, 5*t + p - 223 = d. Is 11 a factor of t?
True
Let n(m) = 13*m**2 - m. Let o(x) = x**3 - 7*x**2 + 11*x - 12. Let v be o(5). Let a be 3 + 20/(3 + v). Does 27 divide n(a)?
True
Suppose -8 = -3*j + 2*x + 4, 5 = -5*j - 5*x. Suppose j*q - 22 = -0. Suppose 13*l = q*l + 168. Is l a multiple of 7?
True
Let w(z) = -28*z - 3. Let t be w(-2). Suppose 6 = 56*h - t*h. Does 4 divide h + 52 + -12 + 11?
False
Let p be 6/(-1 + (-35)/(-25)). Suppose p*q - 6930 = -0*q. Is 41 a factor of q?
False
Suppose h + 4600 = 6*h. Suppose 13*l + 483 = -8*l. Is h/l*(-12)/5 a multiple of 13?
False
Let i = 21 - 20. Let q be i/((3/6 + -1)*2). Does 6 divide (3 + q - 0) + 0 + 6?
False
Let g be 4/28 + (-4523)/7. Let l = -239 - g. Does 53 divide l?
False
Let b(w) = -14 - 42*w - 93*w + 73 + 46 - 2. Is 14 a factor of b(-5)?
False
Let q = -160 - -8. Let g = 90 + -341. Let r = q - g. Is r a multiple of 15?
False
Suppose 2*b + w + 4*w = 13, 3*w = -2*b + 11. Suppose 86 - 402 = -2*l - 4*c, 2*l = b*c + 356. Does 7 divide l?
True
Suppose 3*n + 10 = z - 8, n = -4*z + 7. Suppose 0 = -6*y - z - 9. Does 22 divide y/10 - (501/(-5))/1?
False
Let t(y) = -y**3 - 25*y**2 + 61*y - 51. Is 148 a factor of t(-35)?
True
Suppose 1223812 = 44*q + 450424. Is 217 a factor of q?
True
Suppose q = -3*j + 7310 + 1804, -5*q + 3*j = -45606. Suppose 17*z = 37*z - q. Is 46 a factor of z?
False
Does 101 divide (-277958)/(-8) - 99/132?
True
Is 2 - 1 - -9016 - 69/(49 - -20) a multiple of 212?
False
Let a = -8 - -32. Suppose 0 = -a*o - 11898 + 32058. Is o a multiple of 8?
True
Suppose -2*d + 4 = -232. Is (-104135)/d*(-3)/(30/8) a multiple of 76?
False
Let y be 6/57 - 1985/(-95). Let d be 4/1 - (y + -21). Suppose -d*z + 344 = 5*q, z - 3*z - 3*q = -170. Is 27 a factor of z?
False
Let s = 108 - 59. Suppose -1800 = s*m - 51*m. Does 36 divide m?
True
Let c(u) = -15*u**3 - 14*u**2 + 8*u**3 - 29 + 13*u + 6*u**3. Let z be c(-15). Does 10 divide (-1 + 11)*(2 + z + 1)?
True
Is (-6 + 4)*-3346 - (-1 + 2*2) a multiple of 8?
False
Suppose -4*p = 3*t - 6640, 15*p = 5*t + 12*p - 11115. Is 14 a factor of t?
False
Let f(a) = a**3 - 19*a**2 + 19*a - 15. Let t be f(18). Suppose t*z - 59 = 2*z. Let v = z - 45. Is 2 a factor of v?
True
Suppose 5*g - 8 - 2 = 0. Let r be (-1 + 1)/((-4)/8*g). Suppose 3*y + r*y + 72 = 5*x, -3*x + 52 = -4*y. Does 4 divide x?
True
Let w(b) = 408*b**2 + 20*b + 18. Is 20 a factor of w(7)?
False
Suppose 12 = 4*g + r - 6*r, -4*g + 3*r + 20 = 0. Is 1666/g + (-1)/4 a multiple of 9?
False
Let u(f) = -2*f**2 - 21*f + 3. Let v(s) = s**3 - 9*s**2 - 3*s + 11. Let c be v(9). Let x be u(c). Let k = x - -260. Is 18 a factor of k?
False
Suppose -3*c = -y + 1059, 5*y + 5265 = 10*y - 5*c. Is 42 a factor of y?
True
Suppose -5*w + 35106 = 3*h, 5*w - 20080 = 5*h + 15010. Is 10 a factor of w?
True
Let c be 1/4 - 175/(-4). Let n = 48 - 20. Supp