False
Let d = -140 + 925. Is (1 - d/10)*-2 a multiple of 31?
True
Let h(f) = -2*f**3 + 2 + 2*f**3 - f**3 + 13*f - 15*f - 5*f**2. Is 4 a factor of h(-5)?
True
Let s = -2975 - -4232. Is 88 a factor of s?
False
Let b(k) = -6*k**2 - 8*k - 10. Let t be b(7). Let d be (t + -10)*12/(-10). Is 40 a factor of d/4 - (-1 - 2)?
False
Let v be (-9)/(-6)*14/3. Let i be (-142)/(-10) - v/35. Suppose 4*t - 16 = 0, i = -r + 2*t + 57. Is 17 a factor of r?
True
Suppose 0 = 3*f - 11*f + 496. Let m = 108 - f. Is 10 a factor of m?
False
Let g be 0/(-3*(-4)/(-12)). Suppose g = -2*t - 0*t + 50. Is t a multiple of 7?
False
Is 8 a factor of 4/22 + 73824/528?
False
Suppose -3*n + 42 = 3*n. Is ((-77)/(-3))/n*9 a multiple of 18?
False
Suppose -2*f + 3*r + 5 = -3, 0 = 4*f - r - 16. Let u be ((-3)/4)/(f/(-96)). Is (-4)/18 - (-508)/u a multiple of 14?
True
Let j be (55 + -9)/((1 - -1)/8). Suppose -j = -2*q + q. Is q a multiple of 44?
False
Let j be (-9)/(-18)*(442 - (4 - 2)). Suppose 0 = -4*f + 15*f - j. Is 2 a factor of f?
True
Suppose -2*h + 6 + 6 = 0. Suppose 2*p - h*p = -32. Let l(f) = f**2 - 2*f - 10. Is l(p) a multiple of 8?
False
Suppose 4*b - 31 = -2*j - j, j = -b + 9. Suppose b*o = 4*r + 4, -2*r + 4*o = -1 + 9. Suppose -g + 3*i + 8 = -i, -2*i - 22 = -r*g. Does 4 divide g?
True
Does 64 divide (-13 - 15771/(-28))*4/1?
False
Is 1392 - (-7 + 12 - 4) a multiple of 13?
True
Let d = 54 + -25. Let a(h) = -4*h + 2. Let m be a(-3). Suppose m*l + d = 15*l. Does 9 divide l?
False
Suppose 2*p - 654 = -2*p + 2*s, -666 = -4*p - 2*s. Suppose 0 = 4*d - 87 - p. Is d a multiple of 21?
True
Is 1818 + 4 + 84/(-6) a multiple of 113?
True
Let b = 4 + 7. Let k(f) = -f**3 + 11*f**2 + 2*f - 17. Is 5 a factor of k(b)?
True
Suppose -59 - 29 = 4*t. Let u be ((-11)/t)/(2/32). Does 31 divide 4 + 178*4/u?
True
Suppose 5*t + 0*t = 0. Let n(k) = 1 - 2 + 6 + t*k + 3*k**2 + 6*k. Does 29 divide n(-4)?
True
Let j = 1437 + -995. Is j a multiple of 13?
True
Is (-9)/((-162)/(-12))*(-2295)/3 a multiple of 13?
False
Suppose 5*j - 3036 = -j. Does 11 divide j?
True
Let n(x) = -x - 11. Let s be n(-8). Does 25 divide (0 - s)*(22 - (-6 + 3))?
True
Is 10 a factor of (173 + -1813)*(10/(-4))/5?
True
Let z be (-13 + 4)*(-4)/3. Suppose -z = c - 45. Suppose f = 4*w + c, 112 = 5*f - 3*w + 32. Is 4 a factor of f?
False
Let p = -535 + 569. Does 2 divide p?
True
Let p = 22 + -28. Let b be (-40)/p + (-3)/(-9). Suppose -5*h + b*h - 74 = 0. Is h a multiple of 8?
False
Let w be 1768/24 + (-1)/(-3). Let z = -50 + w. Does 24 divide z?
True
Let k(v) = 23*v - 7. Let w(d) = -23*d + 8. Let t(h) = -3*k(h) - 2*w(h). Does 20 divide t(-5)?
True
Let m = -5 - 0. Let a(c) = c**2 - c - 2. Let z be a(m). Suppose -133 = -3*d - z. Is 12 a factor of d?
False
Suppose -104 = 2*i - 902. Does 22 divide i?
False
Suppose 70*j = 22704 + 8656. Is j a multiple of 28?
True
Let o = -8 - -10. Suppose -o*t - 3*t + 3*j + 85 = 0, 4*t - 68 = -j. Is 6 a factor of t?
False
Suppose 0*i = 2*i - 3*z - 944, -1382 = -3*i - 4*z. Is 48 a factor of i?
False
Let b(q) = -3*q**3 + 3*q**2 - 6*q + 5. Let k be b(4). Let m = k + 423. Is m a multiple of 18?
False
Let k(t) = t**2 - 20*t + 19. Let s be k(19). Let g = 5 + s. Suppose 4*h = 2*h - 2*a + 56, -a - 116 = -g*h. Is 12 a factor of h?
True
Suppose -5*b = -3*h + 2286, -3*b + 1628 - 104 = 2*h. Suppose 0 = -16*f + 390 + h. Is f a multiple of 9?
True
Suppose 2*r = 2*b - 6, -3*r + 8*b - 15 = 3*b. Is 12 a factor of (-5 + r)*(-24)/5?
True
Let l(t) = 5*t**3 - 2*t**2 + 3*t + 10. Let s be l(4). Is s/10 - (2 - 2 - -1) a multiple of 9?
False
Suppose 2*x - 15 + 5 = 0. Suppose -x*d + 217 = 2*d. Is d a multiple of 7?
False
Let v = -129 + 232. Let b = v + -55. Is 24 a factor of b?
True
Suppose -137*w + 9 = -136*w. Is 9 a factor of w?
True
Let n = -32 - -25. Let v(k) = -k**2 - 12*k - 15. Is v(n) a multiple of 9?
False
Suppose 0 = -5*l + n - 0*n + 20, 2*l - 26 = 4*n. Let r = 189 - 189. Suppose -4*w + l - 25 = -2*f, -3*f + w + 58 = r. Does 7 divide f?
True
Is 170 - 29/((-261)/(-54)) a multiple of 4?
True
Is 71 a factor of 695*2*4/20?
False
Let j = 237 + -203. Is j a multiple of 31?
False
Suppose -7*m - 3740 = -2*m. Does 21 divide (m/(-14) - 9/21)*1?
False
Let o(z) = 5*z + 1. Suppose -3*r + 0*r + 54 = 0. Let n be (r/(-30))/(2/(-10)). Is 6 a factor of o(n)?
False
Suppose 0 = -2*h + 564 - 18. Let u = -185 + h. Is 26 a factor of u?
False
Let v = 628 - -352. Is 31 a factor of v?
False
Let r be 19 - 11 - 1*-2. Let v = 27 - 5. Let m = r + v. Does 13 divide m?
False
Let b(v) = 66*v**2 + 35*v - 140. Does 32 divide b(4)?
True
Let y = 1113 + -449. Is y a multiple of 31?
False
Let k = -1000 + 1406. Is k a multiple of 5?
False
Suppose -5*t + 10 = -6*g + g, 12 = -3*g. Let o be 4/(-10) + t/(-5). Is 9 a factor of (o - (-18)/(-4))*-6?
True
Suppose 1193 = 3*n - 5*a, -1983 = -5*n + 4*a - a. Is n a multiple of 44?
True
Suppose 4*p + 3*p = 42. Does 33 divide 99*(2 + p/(-9))?
True
Let s(i) = -50*i + 380. Is s(-10) a multiple of 17?
False
Let s = 102 + 34. Suppose s = 12*c - 10*c. Does 17 divide c?
True
Suppose 3*f = -2*a + 442, -29*f = -27*f + 3*a - 288. Is f a multiple of 6?
True
Let h = 18 + -16. Suppose 4*w = -0*w + h*d + 128, -12 = -3*d. Is 13 a factor of w?
False
Suppose -5*x + 1900 = -15*x. Does 7 divide x/(-2) + (-10 - -10)?
False
Suppose 3*s + 4 = 820. Does 27 divide s?
False
Let r(q) = q. Let s be r(4). Suppose s*p + 15 = 75. Does 11 divide p - (-1)/(-3)*0?
False
Suppose 3*p = 5*x + 652, -2*p + 0*p = 2*x - 408. Let b = p - 19. Is 10 a factor of b?
True
Let q = 1475 - 1233. Is q a multiple of 18?
False
Let a = -3 - 5. Let k be (a + 10)*(-78)/(-4). Suppose k = -4*b + 191. Is 19 a factor of b?
True
Does 3 divide 16/(-4) - (-6 - 41)?
False
Let m be 2/3 - (-3 + (-48)/(-18)). Is 46 a factor of (-1*m)/((-14)/1288)?
True
Let n(g) = g**2 + 3. Let z be n(3). Is 22 a factor of (44/(-12) - 0)/((-2)/z)?
True
Let p(k) be the second derivative of -k**4/3 - k**3 - 3*k**2/2 - k. Let x be p(5). Let m = x + 193. Does 12 divide m?
True
Let g(v) = v**3 + 2*v**2 + v + 2. Let k = -5 + 3. Let y be g(k). Suppose -4*r = 4*f - y*r - 160, -2*f - r = -76. Is 13 a factor of f?
False
Suppose 2*f - 20 = -2*f, -y + 2*f = -441. Is 11 a factor of y?
True
Let z = 32 - 30. Is (-15 - (4 - 1))/(z/(-3)) a multiple of 3?
True
Let v be 8/12*-6 + -113. Is v*(14/(-6) + 2) a multiple of 13?
True
Let v be 0/(-2) - (9 + -8). Let s = -1 - v. Suppose s = -2*w + 6, -5*w + 26 + 15 = i. Is 14 a factor of i?
False
Let h = 8 + -3. Let n(q) = -q**3 + 6*q**2 - 4*q + 3. Is 4 a factor of n(h)?
True
Let i(y) = y**3 - 10*y**2 + 3. Let k be i(10). Suppose -u = -q + 2*u + 12, -k*u = q. Suppose q*w = 5*w + 22. Is 13 a factor of w?
False
Let n(l) = -l**3 - 2*l**2 + l + 73. Is 13 a factor of n(0)?
False
Let y = -334 - -881. Does 6 divide y?
False
Let a = 97 - 60. Let c = 127 - a. Is 18 a factor of c?
True
Does 17 divide 3 + 8390/75 - 2/(-15)?
False
Let z be -1 - (1 + -3) - -41. Let a be ((-14)/(-4) + -2)*(-28)/(-3). Is (-12)/z + 88/a a multiple of 3?
True
Let v(h) = -h**3 - 6*h**2 + 7*h + 8. Let t be v(-7). Suppose 5*m + t = -7. Does 5 divide ((-78)/(-9))/((-2)/m)?
False
Is 518 + 5/(-1 + 6) a multiple of 35?
False
Let v be 0 + 2/3*3. Suppose 3 = -s, -u = -4*s - 24 - 0. Let y = v + u. Is y a multiple of 14?
True
Let v(t) = -t**3 + 3*t**2 - 5*t + 2. Let q be v(2). Does 12 divide 90/(q/((-32)/12))?
True
Let o = 830 + -201. Is 37 a factor of o?
True
Suppose -285 = -i + 6*i + 5*r, 2*r = -5*i - 282. Let s = -103 - -102. Let j = s - i. Does 11 divide j?
True
Let f(n) = 115*n - 110. Does 10 divide f(4)?
True
Suppose 0 = a - 18 - 18. Suppose -39*n + a*n = -192. Is n a multiple of 10?
False
Let q = 1 + 1. Suppose -10 = -3*k - q*h, k - h - 12 + 2 = 0. Does 6 divide k?
True
Suppose 2*a = 7*a - 220. Is 11 a factor of a*(-3 - 55/(-10))?
True
Let t = 79 + -83. Is 32 a factor of t - (20/12)/((-4)/240)?
True
Suppose 5*m - 10 + 5 = 0, 5*k + m - 771 = 0. Is 22 a factor of k?
True
Let c(w) = 52*w**2 + 2*w + 6. Does 8 divide c(3)?
True
Suppose -4*p - 11*p = -990. Does 6 divide p?
True
Suppose 4*u = -5*q + 9*u + 2465, q - 2*u - 497 = 0. Is 17 a factor of q?
False
Suppose -2*i + 6*i = 0, -6 = -2*f - i. Suppose v + 0 = -l + 3, f*v = -4*l + 9. Suppose -16 = -5*n + 9, -5*p - 2*n + 70 = l. Is 3 a factor of p?
True
Suppose 265 + 252 = -11*r. L