3*y - 2*y - 56, -i*y + 10 = 0. Is t a multiple of 11?
True
Suppose 2*h + 0*c = 2*c + 68, 4*c = -2*h + 68. Is h a multiple of 2?
True
Is ((60/(-8))/5)/((-9)/2382) a multiple of 26?
False
Let v be -1*0/4 + 115. Let g = v - 16. Does 11 divide g?
True
Suppose j - 1919 = -5*o, 9*j - 2*o + 7730 = 13*j. Is j a multiple of 24?
False
Let r = -397 - -628. Is r a multiple of 11?
True
Suppose 4*t + 2 = -4*b - 18, 4*b - 4*t - 20 = 0. Suppose b = -5*l + 4*i - 250, -i = -l + 2*i - 50. Let g = 90 + l. Is 10 a factor of g?
True
Suppose 77 = 3*o + 5*u, 0*u + 111 = 4*o + 5*u. Let r = o + -23. Does 4 divide r?
False
Let b = 73 - -1043. Does 9 divide b?
True
Suppose -2*t + 3750 = -2*q, 5*t + 2*q = 5*q + 9379. Is t a multiple of 19?
False
Let g(u) = -u**3 + 24*u**2 + 8*u + 76. Is 27 a factor of g(20)?
True
Let v = -397 - -452. Is 3 a factor of v?
False
Suppose 3*w - 700 = -4*f + 750, 3*w + f = 1465. Does 52 divide w?
False
Suppose 3*f = -12, 0 = 5*p - 3*p + 4*f + 6. Suppose 0 = p*q - 2*q + 6. Is 3 a factor of 2/(q + 1) + 8?
True
Let z(o) = -o**3 - 7*o**2 - 8*o - 7. Let x be ((-9)/(-3) - 0) + -9. Let m be z(x). Does 17 divide m/(-30) - 319/(-6)?
False
Suppose 4095 = -6*f + 13*f. Suppose -8*m + f = 33. Does 5 divide m?
False
Let y(f) be the first derivative of -f**4/4 + 4*f**3 - 11*f**2/2 + 10*f - 20. Is 25 a factor of y(10)?
True
Let j(u) = u**3 - 10*u**2 + 32*u + 12. Is j(6) a multiple of 12?
True
Let u be 256/(2/(-3 + 5)). Let o = u - 118. Does 26 divide o?
False
Let h = -17 - -56. Suppose 7*m - 277 + h = 0. Is 26 a factor of m?
False
Suppose -35 = -3*k + 10. Let f = 145 + k. Suppose -u - 342 = -5*q, 2*u + f = 5*q - 179. Is 23 a factor of q?
True
Let h(z) = 727*z + 192. Is h(2) a multiple of 11?
False
Suppose 35 = 4*u - 4*f + f, 3*f = -2*u + 13. Let s be ((-2)/(-6) - 1)/((-4)/6). Let k = u - s. Is k a multiple of 7?
True
Suppose 831 = k - 5*r + 238, 2336 = 4*k - 2*r. Does 11 divide k?
True
Let i be 65/15 - (-2)/(-6). Suppose 0*o - 64 = -i*o. Let q = o - 14. Is 2 a factor of q?
True
Let i = 311 + 296. Does 17 divide i?
False
Suppose -5*b - 161*o + 14627 = -162*o, 5*o = -4*b + 11719. Does 19 divide b?
True
Is 17 a factor of (-8666)/(-30) + 8/60?
True
Let b(w) = -w**3 + 17*w**2 + 46*w - 3. Is 9 a factor of b(19)?
False
Suppose -l = -68 - 190. Suppose 0*m + 2*m = l. Suppose -62 - 152 = -5*x - 4*y, -m = -3*x - 3*y. Does 14 divide x?
True
Let b = 238 - 38. Suppose -15 = -2*z - 5*d, 4*d = 4*z - 3 + 15. Suppose -2*k - 2*k + b = z. Does 25 divide k?
True
Suppose -5*l = -l. Let a be 2 + (-1)/4*l. Suppose -a*y + 3*y = 73. Is y a multiple of 22?
False
Suppose -5*p - 24 = -4. Let n = p - 0. Does 12 divide 0/n + -1 - -33?
False
Let m(t) = 59*t - 8. Let c(i) = -60*i + 9. Let a(h) = 3*c(h) + 4*m(h). Is 22 a factor of a(3)?
False
Let p be (3 - 0)*5/5. Suppose -5*k - 2*y + 83 = 0, 2*k - y + 67 = 6*k. Is 4 a factor of k - (1 - (-1 + p))?
False
Let v = -546 + 663. Does 11 divide v?
False
Let p(i) = -19*i**3 - i**2 - 2*i + 16. Does 54 divide p(-5)?
True
Let y(x) = -2*x**3 + x**2 - 4*x + 2. Is y(-3) a multiple of 21?
False
Let c(h) = -h**2 + 7*h + 7. Suppose 3*j - 5 = 2*j. Suppose x + 28 = j*x. Is c(x) a multiple of 7?
True
Is (-804)/(-57) - (-6)/(-57) a multiple of 7?
True
Suppose -8*s + 3*s + 10 = 0. Let c(x) be the third derivative of 5*x**4/6 - x**3/6 + 4*x**2. Is c(s) a multiple of 13?
True
Let y(b) = -b**3 + 17*b**2 + 17*b + 22. Let g be y(18). Suppose 855 = 3*l + 2*x, -2*x + g*x = 0. Is l a multiple of 57?
True
Is 8 a factor of (-285032)/(-660) - (-2)/15?
True
Let h(j) = -12 + 83*j**3 + 2*j + 14*j**2 + 1 - 84*j**3. Is 17 a factor of h(5)?
False
Let a(b) = b**3 + 17*b**2 + 18*b + 21. Let u be a(-16). Let r = 90 + u. Is r a multiple of 13?
False
Let a be -3 - (-5)/(10/(-12)). Let g = 6 - a. Is 2 a factor of g?
False
Is 27 a factor of (16/(-8) - 889)*-1?
True
Suppose 1 = -3*o + 2*u, -4 = 4*o - o + u. Is 7 a factor of (o/4)/(14/(-392))?
True
Suppose -3*v = -5*v. Suppose 5*t - 3*t - 260 = v. Suppose -5*y = -0*q + 2*q - t, -y = -2*q + 118. Is q a multiple of 16?
False
Let k(w) = -3*w - 16. Let b be k(-5). Does 18 divide (324/8)/(b*3/(-4))?
True
Let a be (-13 - (-230)/20)/((-3)/32). Suppose 4*o - 2*o - 18 = 3*g, o - 5*g = 16. Let s = a - o. Does 3 divide s?
False
Let u(p) be the second derivative of 9*p + 1/6*p**3 + 7/12*p**4 - 6*p**2 - 1/20*p**5 + 0. Does 10 divide u(6)?
True
Let a(l) be the second derivative of l**4/4 + l**3/3 - l**2 - l. Let c be a(-2). Suppose c*j - 70 = j. Is 4 a factor of j?
False
Let x(u) = 31*u + 371. Does 86 divide x(13)?
True
Let g(o) = -2*o + 132*o**2 - 130*o**2 - 8*o**3 - o - 3. Is 15 a factor of g(-2)?
True
Let x be 4/6*-3 + -57. Suppose -y = -3*r + 144, 3*y - 4*r = y - 278. Let f = x - y. Is f a multiple of 30?
False
Let c be ((-12)/(-10))/((-10)/(-25)). Suppose 15 = -0*r - c*r, 4*d - 5*r = 485. Is 23 a factor of d?
True
Let h be ((-12)/(-10))/((-27)/2295). Let z = -91 - h. Is z even?
False
Let i be 11/2 - (-7)/14. Suppose 0 = -3*a + i*a - 81. Let x = a - 11. Is 8 a factor of x?
True
Let w be (3 + -2)*-9*(-4)/4. Suppose -j - l + 0*l = -20, -3*l - w = 0. Is 2 a factor of j?
False
Let k(x) = 0*x**2 + 2*x**2 - 4 + 16*x + 5 + 25. Is k(-7) a multiple of 3?
True
Let l = 370 + 974. Does 21 divide l?
True
Let l(b) = 28*b. Let v be l(1). Let s be 1*7/(v/(-24)). Let g = 10 + s. Is g a multiple of 4?
True
Let w(f) = 2*f - 14. Let d be w(9). Suppose -4*z - d*n + 116 = 0, -8*n + 6*n = z - 24. Is 34 a factor of z?
True
Let r be (-7 - 12/(-4)) + 100. Let n = 58 + r. Is n a multiple of 22?
True
Does 42 divide 1049 + 2/(-1 + 3)?
True
Suppose -29*p = -39*p + 27010. Does 73 divide p?
True
Is 35 a factor of (-420)/(-2)*20/30?
True
Does 12 divide (-1417)/(-3) - (-74)/111 - -4?
False
Suppose -5*v + 4*p - 5*p = -1544, -4*v - 2*p + 1234 = 0. Suppose v + 582 = 9*y. Is y a multiple of 18?
False
Let s be (-3 - 1)/(26/299). Let n = -22 - s. Does 12 divide n?
True
Let l be 1/(-6) + -1 + (-2)/(-12). Suppose -2*u = 5 + 5. Is (1*3)/(l/u) a multiple of 4?
False
Let d = 0 - -2. Suppose 0 = o + d*p - 24, -3 - 81 = -4*o - 2*p. Is (-8)/o - 232/(-5) a multiple of 18?
False
Suppose 3*u = -u + 28. Suppose 0 = -2*l + 1 + u. Suppose -5*s + 8 = p - 25, -15 = -l*s + 3*p. Is s even?
True
Let w(m) = 118*m**3 + m**2 + 4*m + 2. Let v be w(-1). Let d = v - -215. Is d a multiple of 32?
True
Let d be 9 + (5/20 - (-34)/(-8)). Suppose -987 - 293 = -d*f. Is f a multiple of 13?
False
Let u(x) = 7*x + 19. Suppose 3*l = -2*l + 55. Is 16 a factor of u(l)?
True
Let p = -200 + -83. Let s = 426 + p. Is 10 a factor of s?
False
Suppose 3*u = -3*g + 6, 1 + 1 = u. Suppose 4*n - 2*n + 12 = g. Is 11 a factor of 11*(-1 + (-3 - n))?
True
Suppose 4*h - 24 = -4. Suppose 273 = 4*i - 0*j - h*j, -j = -3*i + 191. Does 20 divide i?
False
Let x = -24 + 20. Let r be -58*3/(12/x). Let j = 88 - r. Is j a multiple of 9?
False
Let c(d) = -d**3 - 3*d**2 + 2*d + 14. Is c(-6) a multiple of 10?
True
Suppose 30 - 12 = 2*b. Let o be 12/5 + b/15. Suppose 0 = -o*d + 5*f + 52, -3*d + f + 61 = 17. Is d a multiple of 7?
True
Let f = -165 - -547. Is f a multiple of 83?
False
Let i = 9 + -4. Suppose 3*f = i*w + 206, -w + 2*w - 182 = -3*f. Is 7 a factor of f?
False
Let t(j) = -105*j - 23. Is 10 a factor of t(-2)?
False
Let h(f) be the second derivative of -13*f**4/12 - f**3/6 - f**2/2 + 3*f. Let s be h(-1). Let o = -4 - s. Is o a multiple of 6?
False
Let n(k) be the first derivative of -k**3/3 + 7*k**2 - 26*k + 13. Is n(11) a multiple of 5?
False
Suppose 2*g + 21 = 17. Does 17 divide 3 - (g - -4) - -33?
True
Let r = -3 - -6. Suppose 122 = r*s + 20. Suppose -30 = -2*k + s. Is k a multiple of 9?
False
Let s = 11 - 7. Suppose h + 2 + 1 = 3*r, 8 = -2*r + s*h. Suppose r*g = g + 9. Is 2 a factor of g?
False
Let a(u) = u**2 + 3*u + 4. Let h = -6 + 36. Suppose 0*p - d - 3 = 2*p, -h = 5*p - 5*d. Is a(p) even?
True
Let b be 4 + 1*22/(-2). Let y(z) = -z**3 - 6*z**2 - 7. Is 7 a factor of y(b)?
True
Suppose -3*l + 5*l = 3*j - 93, -9 = -3*j. Let f = 56 + l. Is 14 a factor of f?
True
Let i = 294 + -25. Is 21 a factor of i?
False
Let q = 5437 - 3176. Does 17 divide q?
True
Let a = -252 + 354. Is a a multiple of 18?
False
Let q be ((-24)/36)/((-1)/3). Suppose q*y - 4*o + o - 80 = 0, -5*o = y - 53. Is y a multiple of 14?
False
Let q = 419 - 289. Does 13 divide q