Is 71 a factor of y?
True
Suppose 9*r - 8*r - 2 = 0. Suppose 4*k - r*v = -0*v + 922, 0 = 4*v + 12. Let u = -141 + k. Is 22 a factor of u?
True
Let j be ((-120)/(-36))/(1/(-3)). Let m(b) = 3*b**2 + 27*b + 42. Is 44 a factor of m(j)?
False
Suppose 4*b - 4615 = -l, 4*b - 23107 = 40*l - 45*l. Is l a multiple of 67?
True
Suppose 0 = -5*h - i + 911, 0 + 1 = i. Let w = 302 - h. Is 20 a factor of w?
True
Suppose 4*r = -3*w + 2892, -3*r - 3*w = -6*r + 2169. Suppose -121 + r = 2*v. Is 16 a factor of v?
False
Is 39 a factor of (1 + 2417)/((-166)/14 + 12)?
True
Does 14 divide 85/((-12325)/696)*(-11090)/3?
False
Is 115 a factor of (63 + 1)*(2 + 1925/28)?
False
Suppose -o = -6*l + 2*l - 281, 0 = -3*o + 2*l + 803. Suppose t - o = 45. Does 31 divide t?
True
Let l = 7 + 509. Does 4 divide l?
True
Let r be 6/2*(17 + -16) + 0. Suppose -r*u - 203 - 352 = -3*b, -3*u - 745 = -4*b. Is 19 a factor of b?
True
Let h(b) = -52*b**2 - 971*b + 8. Is 17 a factor of h(-15)?
True
Suppose 3*l = -4*q + 3*q - 32, -l - 10 = q. Does 37 divide 2 + 447 + 5 + 1 + l?
True
Does 37 divide (-1)/((21/10)/21) + 6374?
True
Let n = 58 + -58. Suppose -c = -n*c + 54. Let d = 94 + c. Is d a multiple of 6?
False
Is 3 a factor of (38/4)/(((-7)/(-70))/(1971/135))?
False
Let i(d) = 91*d**2 - 2*d + 10. Suppose -6*k = 9 - 27. Is 30 a factor of i(k)?
False
Suppose 178220 = -63*k + 133*k. Is k a multiple of 33?
False
Let p be 16/64 - 70/(-8). Suppose p*u - 7567 + 2599 = 0. Is u a multiple of 6?
True
Let a be (-2181)/(-27) + 100/(-36) + 3. Does 14 divide 453/27 + 3/a*6?
False
Let o(t) = 5*t**3 - 3*t**2 - 15*t - 3. Let i be o(8). Suppose 5*p - i = 2*x, -2*p = 2*x - 6*x - 898. Is p a multiple of 45?
False
Let z(s) = -s**2 + 17*s + 20. Let m = 63 + -45. Let t be z(m). Suppose t*n + 44 = 370. Is 21 a factor of n?
False
Is 5 a factor of 18*55*(145 + -147)*2/(-3)?
True
Let b(j) = 42*j + 360. Is 34 a factor of b(91)?
True
Let z(i) = -265*i + 210. Let b(j) = 19*j - 15. Let q(s) = -55*b(s) - 4*z(s). Does 60 divide q(13)?
True
Let q(p) = -5*p**2 - 347*p - 691. Is 3 a factor of q(-45)?
False
Let d(m) = 19*m - 18. Let b be d(-14). Let r = b + 502. Does 11 divide r?
False
Is ((-44)/(-33))/(0 - 10/(-35355)) a multiple of 47?
False
Suppose -3*v + 6 = 0, -5*b - v + 222 = -140. Suppose 9*i + 0*i + b = 0. Does 6 divide (1 - -45) + 8*4/i?
True
Suppose 58*f = 502651 + 46957. Does 23 divide f?
True
Suppose 220072 = 14*k + 67*k - 17744. Is 30 a factor of k?
False
Let c = 36 + 11. Suppose -53 = -20*p + c. Suppose p*m = -15, 0 = 4*s - 4*m - 0*m - 852. Is s a multiple of 11?
False
Let l be 3/(12/(-32)) - 3*-1. Let b(n) = -n**3 - 4*n**2 + 2*n - 1. Let u be b(l). Is 6 a factor of 24*20/u*(-14)/(-8)?
True
Let r(p) = -103*p - 76. Let a be (26/4 + -7)*14. Is r(a) a multiple of 52?
False
Suppose 38*x - 39*x = -1704. Let y = x + -1128. Does 32 divide y?
True
Let w(c) be the third derivative of c**6/120 - 41*c**5/60 + 10*c**4/3 - 61*c**3/6 - 5*c**2 - 12*c. Does 2 divide w(39)?
False
Let c = -870 - -1254. Let y = -146 - -149. Suppose y*s + 156 = c. Is s a multiple of 19?
True
Let g be 48/(-6) + 6 + 2 + 0. Suppose g = -3*u + k + 70, -5*u + 0*k + 118 = -k. Suppose 1764 = u*s - 10*s. Does 21 divide s?
True
Let x = 3452 + -3092. Is x a multiple of 60?
True
Let i = -10699 + 14261. Is 12 a factor of i?
False
Let s = -30 - -30. Suppose 4*c + 5*a - 152 = 3*a, s = -4*c + 3*a + 172. Is 3 a factor of c?
False
Suppose 4*z - 86495 = -t, -4*z - 3*t = -t - 86490. Is 173 a factor of z?
True
Suppose 5*x = -4*z + 10 - 5, 4*z - 26 = 2*x. Suppose -134 = -n + 4*u, -z*n - u + 6*u = -610. Let t = 370 - n. Does 30 divide t?
False
Is 85 a factor of 3490*11*560/1100?
False
Let b = 31537 + -10677. Is b a multiple of 140?
True
Suppose -4*g = -3*o + 17 - 0, -g - 3 = -2*o. Suppose 3*j - 2*b - 954 = 0, -3*j = b - 2*b - 957. Is (j/2)/2 + o a multiple of 14?
False
Is 1488 - (-5 + -11 + 34) a multiple of 15?
True
Suppose 2023*x - 2018*x = 20590. Is 29 a factor of x?
True
Suppose -3*r + 6 = -2*z, 4*z - 7 = r - 19. Let a(x) = -16*x. Let b(f) = 17*f + 1. Let j(n) = z*a(n) - 2*b(n). Is j(4) a multiple of 21?
False
Suppose 1837 + 5991 = 19*t. Suppose 2*y - 880 - t = 0. Is 15 a factor of y?
False
Let n(o) = 5*o**3 - 2*o**2 - 11*o + 9. Suppose -4*u = -4*k, -3*u + 2*k + 4 + 1 = 0. Let j be n(u). Let q = j - 299. Does 23 divide q?
True
Suppose -3*a = 9*j - 12*j - 411, 2*j - 4*a + 264 = 0. Let i = j - -516. Is i a multiple of 38?
False
Suppose 4 = -4*p - 8. Let v be p/(-1)*(-8 - -9). Suppose -n = k - 0*k - 46, v*k - 158 = n. Does 17 divide k?
True
Suppose 0 = -c + 229 + 784. Suppose 0 = -3*l + c + 607. Does 10 divide l?
True
Is (1 - -9785)*(-28)/(-21) + 360/45 a multiple of 17?
True
Suppose -4*i + 128 = -s, -62 = -4*i + 5*s + 50. Suppose 2*m + i - 37 = 0. Suppose 5*f - t - 946 = 0, 2*f + m*t = -10 + 398. Does 30 divide f?
False
Let n(p) = 6 - 9 + 51*p - 11. Let r be n(3). Let j = -67 + r. Does 4 divide j?
True
Suppose -2*o = -c - 11, 5*o - 11*c - 23 = -7*c. Suppose -o*b + 196 + 91 = 0. Is b a multiple of 41?
True
Let b(t) be the third derivative of 0*t - 3*t**2 + t**3 + 0 - 5/24*t**4 + 1/60*t**5. Is b(15) a multiple of 43?
False
Suppose 0 = 4*g + 4*l - 5 + 1, -l - 9 = -4*g. Suppose z - g*k = -75 + 250, 0 = -3*z + 5*k + 520. Let b = 417 - z. Is 18 a factor of b?
True
Suppose -10*s = -12*s - 822. Let i = -372 - s. Does 4 divide i?
False
Let f(j) = j**3 - 2*j**2 - 4*j - 9. Let a be f(3). Is (30/25)/(a/(-510)) a multiple of 3?
True
Let v = 473 - 898. Is (1 + (-48)/(-15))/((-17)/v) a multiple of 5?
True
Let a(h) = 3*h + 8. Let u be a(-2). Let p be u*(6/(-8))/(12/296). Is (15/5 - p) + -3 a multiple of 15?
False
Suppose -27*w + 120628 = -160253. Does 52 divide w?
False
Let t be 16*(45/(-6))/(-3). Let u = 117 - t. Does 11 divide u?
True
Suppose -23 = -8*s + 6*s + 3*q, 0 = s - q - 9. Suppose s*t = -15*b + 11*b + 268, -3*b - 4*t + 205 = 0. Does 5 divide b?
False
Is (-3 - 355/(-20))*(2 - (-147 - -9)) a multiple of 7?
True
Is 7561/2 + ((-6)/12)/(10/10) a multiple of 210?
True
Suppose -6 = -2*t + 2. Let c be t + -5 - (-3)/1. Suppose c*w - 27 = -3*k, -k - 4*w = -2 + 3. Does 5 divide k?
False
Let c(a) = 3*a**3 - 82*a**2 + 72*a - 109. Is 8 a factor of c(33)?
False
Let p(u) = -u**3 + 18*u**2 + 110*u + 1. Does 157 divide p(-8)?
True
Let v = -24887 - -39345. Is 209 a factor of v?
False
Suppose 0 = -271*h + 261*h + 59670. Suppose 341*s - h = 324*s. Is s a multiple of 65?
False
Suppose s - 45 + 46 = 0, -27461 = -2*u + 5*s. Does 48 divide u?
True
Let b = -9 - -69. Let h = 20 - b. Let z = h - -154. Does 15 divide z?
False
Let a(x) be the second derivative of -2*x**3/3 + 82*x**2 - 5*x - 2. Does 13 divide a(-5)?
False
Let j(h) = 473*h**3 - 2*h - 1. Let c be j(-1). Let g = c + 1012. Is 15 a factor of g?
True
Let n = 4608 - 2304. Is 13 a factor of n?
False
Is 15 a factor of 7755 + 30 + (-2)/(-10) + (-1)/5?
True
Let s(r) = -18*r**2 + 27*r + 193. Let p(t) = -92*t**2 + 136*t + 966. Let j(i) = 2*p(i) - 11*s(i). Is j(-7) a multiple of 11?
False
Let y = 25417 + -14441. Is y a multiple of 196?
True
Let g = -22 - -29. Let l be (3/12)/(g/28). Is 15 a factor of (75 - 9)*(l + 0)?
False
Let u(m) = 8*m**2 + 7*m + 36. Let k be u(-5). Let o = k + 31. Does 20 divide o?
False
Let n(m) be the second derivative of -11*m**5/20 - m**4/3 + m**3 + 17*m**2/2 - 16*m. Does 18 divide n(-3)?
False
Suppose -112 = -0*b - 4*b. Suppose -5*r + 2*l + 3 + b = 0, l = -2*r + 7. Suppose -r*g - 31 = 3*p - 113, -4*g - 112 = -5*p. Is 8 a factor of p?
True
Suppose 3*f + 2*d - 260 = 0, 3*f = -0*f + 2*d + 268. Let x = f - 23. Does 13 divide x?
True
Let p be (-1143)/(-3) - 4 - 1. Let s = 527 - p. Does 22 divide s?
False
Let y(v) = -16*v + 58. Let u be y(8). Is (u/(-4))/(-3 - (-671)/220) a multiple of 10?
True
Let j = 282 + 38. Suppose 0 = -5*c + v + 380, 2*c - 6*c = -4*v - j. Is c a multiple of 3?
True
Let k be (-2)/(-3)*792/(-16). Let d = -33 - k. Suppose 4*y - 8 = 0, d = -0*v + 5*v + y - 162. Does 7 divide v?
False
Let s(u) = u**2 + 10*u + 21. Let j be s(-4). Is 14 a factor of 38/57 + (-124)/j?
True
Suppose -569773 = -72*z - 135613. Is 90 a factor of z?
True
Suppose 0 = -6*y + 4*y. Let o be (-627)/(-11) - (0 - 6). Suppose -6*j + j + o = -3*m, -j - 2*m + 23 = y. Is j even?
False
Let f(k) = k**3 - k**2 - 4*k - 2. Let q be f(-2). Is 18 a factor o