True
Let d = -284 + 594. Suppose -2*l = -5*z + 3*l + d, 0 = -l - 5. Is 13 a factor of z?
False
Let j(d) = d**3 + 66*d**2 - 82*d - 175. Is j(-67) a multiple of 5?
True
Suppose -115*i - 345436 = -1552700 - 147436. Is i a multiple of 94?
False
Is (45/(-36))/(2/(-5) + (-5868)/(-14720)) a multiple of 76?
False
Suppose 2*g + 3*k = 5*k - 2, k = 1. Suppose g = 2*c - 7*c + 780. Is 12 a factor of 12/15*(c - 1)?
False
Suppose -5*z + 176 = 39*z. Let a = 9 - 15. Is 10 a factor of 400/(-30)*a/z?
True
Is 792/10*(-1020)/(-153) a multiple of 15?
False
Let q(v) = v**3 - 24*v**2 + 109*v - 16. Let h be q(18). Suppose 4*r = h*y + 1262, -5*r + 1542 + 30 = 3*y. Does 35 divide r?
True
Let k(b) = -4*b - 34. Let a be k(-10). Suppose 9*i + 96 = a*i. Is 160/(-6)*48/i a multiple of 13?
False
Suppose 1101*n - 1077*n = 139200. Is 57 a factor of n?
False
Suppose 4*c = -5*x + 45613, -c - 34844 = -3*x - 7483. Is x a multiple of 26?
False
Suppose 0 = z - 2*a - 21, 2*a = 5*z - 147 + 50. Suppose 1744 - 12346 = -z*h. Does 27 divide h?
False
Let s(v) = -3*v**3 - v**2 + 22*v + 118. Does 30 divide s(-15)?
False
Suppose -2*u + 4211 + 6397 = 3*f - 22656, -5*u = 0. Is 14 a factor of f?
True
Let h(f) be the third derivative of -f**6/120 + f**5/6 - 5*f**4/12 + 11*f**3/3 + 131*f**2. Is h(5) a multiple of 4?
False
Is 13 - (9 - -7) - -935 a multiple of 26?
False
Let l(v) = 9*v**2 - 3*v - 8. Let h be l(-3). Let g be (2/1 - -8) + 1. Is 17 a factor of (7 - g) + h + -1?
False
Suppose 6*w = 1471 + 4869 + 4928. Is w a multiple of 6?
True
Suppose -2*d - 3*d = i - 59, 4*d = 4*i + 28. Let l(r) = -2*r. Let j be l(-5). Suppose 269 + d = j*x. Is x a multiple of 28?
True
Let o = -23219 - -45575. Is o a multiple of 207?
True
Let v be 1*(1/4 + (-45)/20). Let k be (5 - 0)*(-2)/v. Does 5 divide (9/k)/(3/45)?
False
Let m(o) = 16*o**2 - 27*o + 929. Is 65 a factor of m(23)?
False
Suppose 2*j - 192 = -6*j. Suppose 37*l + j = 40*l. Does 3 divide 1 - 4 - (-25 - l/(-4))?
False
Let m = 39067 - 15718. Is m a multiple of 20?
False
Suppose 0 = 3*u - 4*d - 79, -u + 5*d - 4 = -12. Suppose 3*q - u = m, m + 4*q + 108 = -4*m. Is 50/(-3)*7/(35/m) a multiple of 10?
True
Let v = 21896 - 6638. Is 2 a factor of v?
True
Let g = 336 - 333. Suppose 0 = 2*i + g*x - 441, 0 = 4*i - 2*x - 122 - 736. Does 36 divide i?
True
Let j(d) be the second derivative of d**3 - 3*d**2 - 13*d. Let r be j(4). Is (9/r)/((-2)/(-192)) a multiple of 5?
False
Let v = 153 - 157. Let l(r) = -6*r**3 + 10*r**2 + 5*r + 16. Is 36 a factor of l(v)?
True
Let v = 434 - 425. Let z = 243 + v. Is z a multiple of 18?
True
Let l(r) = r**3 - r + 30. Let j = 4 - -4. Suppose 3*o = j*o. Is l(o) a multiple of 4?
False
Let z(j) = j**3 + 14*j**2 - 11*j + 65. Let c be z(-15). Suppose o + 241 = u, 19*o = c*u + 21*o - 1184. Does 17 divide u?
True
Suppose 0 = 810*j - 798*j - 121872. Does 4 divide j?
True
Is 54 a factor of ((-706)/(-5))/((-3)/765*(-15)/10)?
False
Let t = -55 + 85. Suppose -f = -6*f - t. Does 3 divide -2 + (-218)/f + (-10)/(-15)?
False
Let w be (-18)/(1/(-1))*(-64)/(-96). Suppose 3*h + w = k + h, 3*k + 3*h = -9. Suppose 0 = -k*x + 288 - 0. Is 18 a factor of x?
True
Let x be (6 - -605) + -2 + 6. Let a = 630 - x. Is 2 a factor of a?
False
Suppose 54*z + 24*z - 34373 - 14767 = 0. Is 10 a factor of z?
True
Suppose 0 = 46*p - 35*p - 33. Is 8 a factor of 17136/68*(0 + 2/p)?
True
Let h be 25/(-10)*(-564)/10. Let j = h - -149. Is j a multiple of 29?
True
Let f(w) = -700*w**2 - 38*w + 10. Let b be f(-8). Is b/(-174) - 1/(-3) a multiple of 4?
True
Let h(r) = r**2 + 13*r - 27. Let q be h(-13). Let x = q - -27. Suppose m - 3 = 0, x = 4*o - 5*m + 2*m - 183. Does 6 divide o?
True
Let j(p) = -p**3 - 16*p**2 + 2*p + 34. Let q be j(-16). Let r be (-3 - 15/(-6))*-1*q. Is ((-5)/1)/((1 - 3) + r) a multiple of 5?
True
Let i = -67 - -62. Let k(x) = 7*x**2 + 10*x + 28. Does 17 divide k(i)?
True
Suppose 2*k + 341 = 3*t, -t + k + 448 = 3*t. Let m = 179 - t. Suppose 0 = 2*s + 5*q - q - m, -q + 129 = 4*s. Does 4 divide s?
True
Let g = 18968 - 10893. Is g a multiple of 85?
True
Let w be (10 + -12)/((-12)/30). Suppose w*f + 422 = 4*d, 13 - 11 = f. Is d a multiple of 18?
True
Let g(m) = -23*m - 4. Let u(r) = 25*r + 3. Let f(i) = -3*g(i) - 2*u(i). Does 33 divide f(11)?
False
Suppose 0 = -131*p + 422411 + 664365. Is 3 a factor of p?
False
Let b = -261 - -386. Suppose 2*i - 4*s = b + 315, -3*i + 693 = 5*s. Is i a multiple of 15?
False
Let r(g) = g**3 - 8*g**2 + 14*g - 12. Let a be r(6). Suppose 3*f - i - 762 + 62 = a, 5*f - 2*i - 1165 = 0. Is 22 a factor of f?
False
Suppose u - 467 = 2*g + 175, 6*u + 4*g = 3788. Let a(o) = 413*o**3 - 1. Let p be a(-1). Let l = u + p. Is 22 a factor of l?
True
Suppose -83 - 17 = -5*h. Does 5 divide -5 + 4 + (-5)/(h/(-328))?
False
Suppose -346*f - 27 = -355*f. Suppose 2*u - f*j - 96 = 0, 3*u - 80 = u - j. Is u a multiple of 30?
False
Let i = 840 + -848. Is 26 a factor of ((-170313)/572)/(6/i)?
False
Is (-18)/8 - (-12437)/4 a multiple of 74?
False
Let c be ((-798)/63)/(2/42). Let z = -137 - c. Is 27 a factor of z?
False
Suppose 4*a = -3*t + 2*t + 93, -4*a + 4*t + 68 = 0. Is 11 a factor of (-13)/((-39)/60)*1*a?
True
Let t(z) = 67*z**2 + 3*z - 10. Let s be ((-6)/4)/(-1) - (-6)/4. Is 86 a factor of t(s)?
True
Does 9 divide (-57058)/(-4) - (-141)/282?
True
Suppose 0 = u + 3*x + 17, -3*u - 35 = -x + 2*x. Let c be u/(275/(-10))*20. Suppose 4*r - 1283 = 5*a - c*a, -4*a = r - 324. Is 16 a factor of r?
True
Is 3 a factor of 5 + (-8 - -9)*117 + 1?
True
Suppose 0 = -3*v - 2*z + 62435, 0 = v + 124*z - 122*z - 20801. Is 81 a factor of v?
True
Let y = 940 + -1416. Let x = y - -767. Does 97 divide x?
True
Suppose -7*z = -787 + 199. Let j = -84 + z. Suppose j = -5*u + 231 + 209. Is 10 a factor of u?
False
Is 8 a factor of 828/(-1)*1/3*442/(-17)?
True
Suppose 2*v + 2*g - 1619 = 3*g, 4*v + g = 3241. Suppose 0 = 5*o - 2*o - v. Is o a multiple of 54?
True
Let i(l) = l**3 - 13*l**2 - 15*l + 22. Let q be i(14). Suppose q*x - 11*x + 900 = 0. Does 19 divide x?
False
Suppose 2*t - 42401 = -5*h, 42397 = 6*h - h + 4*t. Does 33 divide h?
True
Let x = 59402 - 33683. Is 120 a factor of x?
False
Suppose -r + 6 = -0*f + f, f - 5*r = 30. Let a be 336/3*f/4. Suppose 18*y - a = 14*y. Does 16 divide y?
False
Suppose -4*v = o - 22, -2*o = -5 + 1. Let a be -3 + ((-66)/v)/(10/(-75)). Suppose f - 25 = 5*l, -a = -3*f + l + 49. Does 9 divide f?
False
Let f be 0 + 1 + 3 - -26. Let b be (-12)/f + -1*(-66)/(-10). Let p(w) = -w**3 - 3*w**2 + 8*w + 8. Is 19 a factor of p(b)?
False
Let i(b) = 55*b**2 - b. Let m be i(3). Suppose 5*w + 137 = u, 4*w + 288 = 3*u - 178. Suppose 0 = -d - g + u, -5*d - g = -2*d - m. Is 18 a factor of d?
False
Let r = -25563 - -40083. Is 40 a factor of r?
True
Let n(f) = f**3 + 12141 + 18*f - 12124 - 6*f**2 - 2*f**2 - f**2. Is n(9) a multiple of 4?
False
Let h(n) = -5*n + 7. Let q = 194 + -218. Is h(q) a multiple of 39?
False
Suppose -9*x + 27142 - 13463 + 36937 = 0. Is 152 a factor of x?
True
Suppose 2*i = -g - 178 + 4135, 0 = 2*g - 10. Suppose -211 = -5*q - i. Let o = q + 619. Does 19 divide o?
True
Let s = 239 + -8. Suppose 6*x - 957 = s. Does 18 divide x?
True
Suppose -2*k = 2*k - 44. Let l = -849 - -1846. Suppose k*a = l + 290. Is a a multiple of 8?
False
Is 68 a factor of 1632*(69/(-6) + 10)*(-5)/3?
True
Suppose -23404 = -5*x + 61536. Is x a multiple of 62?
True
Let d = -86 - -103. Suppose -b - 80 = -d*b. Is 17 a factor of (24/b)/((-3)/(-30))?
False
Let o = 3124 - 3131. Let b(g) = -3*g**3 - 4*g**2 - 2*g - 1. Let i be b(-3). Let h = o + i. Is h a multiple of 43?
True
Let h(u) = -u**2 - 2*u. Let s be h(-2). Let f be 20/16*(58 + -54). Suppose s = 3*j - j - l - 48, -f*l = 20. Does 20 divide j?
False
Suppose 3*z - 5*j - 12505 = -2*z, 0 = -2*z - 2*j + 4998. Is z a multiple of 63?
False
Let v(k) = -4*k**3 + 71*k**2 - k - 70. Is v(17) a multiple of 15?
True
Let y(c) = -2*c**3 + 109*c**2 - 35*c - 228. Is y(48) a multiple of 18?
True
Let g = 680 - 140. Suppose 4*o = 4*d - 5*d + 439, -5*o - 3*d = -g. Is 37 a factor of o?
True
Let s(n) = 9*n**3 + 2*n**2 - 84*n + 567. Is s(6) a multiple of 7?
True
Let v = 22955 + -3027. Is v a multiple of 188?
True
Suppose 8*k = -6*k + 322. Let i = 142 - k. Let s = 317 - i. Is s a multiple of 22?
True
Let x = -10265 + 28040. Does 12 divide x?
False
Let r(m)