*u + a = -2*v - 10. Is 16 a factor of u?
True
Let c(k) = k**2 + 12*k - 9. Let o be c(-13). Suppose 4*g + o + 56 = 0. Let i = 47 - g. Is i a multiple of 15?
False
Let n be (-4)/16 + 9/4. Suppose 5*u - 237 - 377 = -n*i, -5*u + 606 = -2*i. Does 12 divide u?
False
Let t be -1*(-645)/((-12)/(-4)). Let b = t + -154. Does 11 divide b?
False
Let x be (0 - -2)*(-10)/(-4). Suppose 2052 = -i + x*i. Is (-6)/14 - i/(-21) a multiple of 6?
True
Let c(s) = 13*s + 363. Is c(0) a multiple of 25?
False
Let h be (-13635)/(-21) - (-10)/(-35). Suppose -h + 179 = 5*x. Let q = -57 - x. Is q a multiple of 9?
False
Let v(w) = -w**3 + 18*w**2 + 2*w. Let h be v(18). Suppose h + 396 = 6*z. Is 6 a factor of z?
True
Let d = -298 + 139. Let h = d - -411. Suppose -z = -5*z + h. Is z a multiple of 19?
False
Let k = -28 + 44. Let a(g) = g**2 - 12*g + 1. Is 22 a factor of a(k)?
False
Let s = -16 + -21. Suppose 28*f + 13*f = 3485. Let c = s + f. Is 16 a factor of c?
True
Suppose j + 46*q - 2383 = 41*q, 0 = 4*j - 2*q - 9532. Is j a multiple of 11?
False
Suppose -1941 = 8*q - 6397. Is q a multiple of 11?
False
Let k(f) = -12*f - 11. Let l be k(-14). Suppose -4*i - 5 = -l. Suppose 2*o - o - i = 0. Does 19 divide o?
True
Is (-2162)/(-14) + (-27)/63 a multiple of 22?
True
Suppose -t + 1025 = 5*z, 5*t - 5*z - 4175 = t. Does 10 divide t?
True
Suppose 3*l + 2*l = 30. Suppose -5 = 5*i - 3*o, -2*o + 0*o = -5*i. Is 11 a factor of 32 - (3 - l) - i?
True
Suppose 4*m = -2*c, 2*c - 5*m + 4 = 13. Is (10/4)/(85/42 - c) a multiple of 13?
False
Suppose -7480 = 9*v - 19*v. Does 19 divide v?
False
Suppose -b = -2*b + 4. Let f(m) = -3 + m**2 - m + 0*m + b*m - m. Is f(-5) a multiple of 12?
True
Let w = 35 - 21. Suppose 20*y = 21*y - w. Is 9 a factor of (-1 - 71)*(-7)/y?
True
Suppose 5 = 4*o - 3, 2*o = -4*u + 900. Let c = 433 - u. Does 11 divide c?
True
Let o = -157 + 727. Is 57 a factor of o?
True
Let y = -227 - -241. Does 3 divide y?
False
Let b(n) = -n**2 - 8*n + 3. Let u be b(-8). Suppose u*f - 180 = -72. Does 9 divide f?
True
Let m = 91 + -37. Suppose 5*y - 2*d = -4*d + m, -2*y + 5*d + 39 = 0. Is 9 a factor of y?
False
Let t(y) = -5*y - 2*y + 25 - 4 + 3*y. Let i(x) = -7*x + 42. Let u(v) = 6*i(v) - 11*t(v). Does 7 divide u(0)?
True
Suppose -46*g = -49*g + 27. Suppose g*i - 1240 = -349. Is i a multiple of 34?
False
Let m be (2 + -4)/(1/(-1)). Suppose -c - m*c = 300. Let p = c - -141. Is p a multiple of 6?
False
Is 9 a factor of (17 + -3 - 7) + 33?
False
Is (-3)/12 + (-1321)/(-4) a multiple of 55?
True
Suppose 1512 = 28*p - 24*p. Is 6 a factor of p?
True
Is 35/(-14) + (-805)/(-14) a multiple of 2?
False
Suppose -13*b + 1488 = -b. Is b a multiple of 3?
False
Suppose 5*k - 5 + 2 = 3*b, 5*b - 26 = -2*k. Let f(j) = -j**3 + 4*j**2 + j + 1. Let w be f(b). Suppose 4*c + 209 = 5*p, p + 0*p + w*c = 65. Is 15 a factor of p?
True
Let l = -298 + 649. Is 13 a factor of l?
True
Does 12 divide (1325/15 - 4) + (-1)/3?
True
Suppose -2*p = c - 1119, 3*p + 2*p - 2241 = -2*c. Is c a multiple of 21?
True
Let y(s) = 5*s**2 - s + 132. Is 51 a factor of y(-14)?
False
Let i(k) = -4 - k**2 + 16*k - 8*k - 5. Let j be i(4). Suppose 0 = -d + j + 17. Is d a multiple of 12?
True
Let b(t) = -4*t**3 + 2*t**2 + 20*t - 32. Is 56 a factor of b(-6)?
True
Suppose 0 = -g + 3*i + 141 - 17, 4*g - 4*i = 472. Is 2 a factor of g?
False
Suppose -4*s = -0*t + 2*t + 6, 0 = 2*t - s - 19. Suppose -t*n + 378 = -0*n. Is 11 a factor of n?
False
Let w(o) = o**3 + 15*o**2 - o - 7. Suppose 3*m = -5*l - 36 + 6, 3*m = 5*l - 60. Is w(m) a multiple of 8?
True
Let k(f) = 24*f**2 + 2*f - 42. Does 23 divide k(-4)?
False
Let y = 1514 + -1001. Is 10 a factor of y?
False
Let f(h) = 83*h**2 - 7*h - 9. Is 23 a factor of f(-3)?
True
Let n = -7 - -4. Does 11 divide (-3)/n - -3 - -70?
False
Is 14 a factor of (-444)/2*2/(-6)?
False
Let n(m) = 86*m**2 - 9*m - 18. Is n(-2) a multiple of 17?
False
Let r = 98 - 94. Suppose -r*s + 425 = s. Does 13 divide s?
False
Suppose -10*d - 4063 + 19973 = 0. Is 27 a factor of d?
False
Let i = -544 - -792. Is 124 a factor of i?
True
Let m be ((-68)/5)/(7/70). Let h = m - -256. Suppose -h = -3*w - 6. Is 11 a factor of w?
False
Suppose 5*c + y + 4*y = 495, -296 = -3*c - 4*y. Let r be -3*(-5)/6*2. Suppose 2*s = r*l - l + c, 0 = -2*s - 2*l + 124. Is s a multiple of 12?
False
Let b(h) be the third derivative of h**5/60 + 13*h**3/3 - h**2. Let q be ((-3)/(-12)*0)/(2 - 0). Is b(q) a multiple of 19?
False
Suppose 2*k = -r + 425, 850 = 2*r + k - 2*k. Does 25 divide r?
True
Let y(m) = 3*m**2 + 10*m. Let f(g) = 8*g**2 + 29*g. Let a(d) = -4*f(d) + 11*y(d). Let i be a(3). Is 7 a factor of (-8)/36 - 146/i?
False
Suppose 320 = 5*i - 5*h, 5*i + 0*h - 326 = 2*h. Let f(y) = y**2 + 5*y - 2. Let b be f(-6). Suppose b*j - j = i. Does 11 divide j?
True
Let s be 289 - 3*(-5)/(-3). Suppose -p + 3*d = -168, -3*p + 2*d + s = -248. Does 27 divide p?
False
Suppose 91*q + 831 = 94*q. Is 12 a factor of q?
False
Let a(j) = -j**3 - 19*j**2 + 23*j + 18. Let l be a(-20). Suppose -2*y - 3 = 145. Let h = l - y. Is h a multiple of 11?
False
Suppose -4*a + 4 = 0, 3*p + 6*a = 7*a + 767. Is 3 a factor of p?
False
Suppose 8*r = 5*r. Let c = 34 - 30. Suppose r*q = -5*z + c*q + 120, 0 = 2*z + 3*q - 48. Is z a multiple of 24?
True
Let r(q) = q**3 - 5*q**2 + 6*q - 4. Let l be r(4). Suppose -l*n = n - 5. Is (9 - -62)/(n - 0) a multiple of 15?
False
Let p(r) = r**2 - 10*r - 6. Let b be p(10). Let a = b - -108. Does 17 divide a?
True
Let t = 18 + -36. Let b = -48 - -32. Is t/2*b/6 a multiple of 11?
False
Let q = -83 - -122. Let r = -647 - -674. Let w = q - r. Is 12 a factor of w?
True
Let b(z) = -z**3 + 13*z**2 - 2*z - 25. Let y be b(12). Suppose 61 = 6*d - y. Does 20 divide d?
False
Suppose 0 = -2*o - 5*o + 6370. Is 78 a factor of o?
False
Let r = 192 - -92. Is r a multiple of 13?
False
Suppose -s + 5*t - 11 - 9 = 0, 4*s + 2*t = 8. Suppose -2*w = -2*a - 543 + 19, s = -2*w + 3*a + 526. Does 38 divide w?
False
Suppose p = -4*v + 6, -v = -1 - 2. Let h = -46 - -21. Let s = p - h. Is 19 a factor of s?
True
Suppose -413*z + 408*z = -495. Is 3 a factor of z?
True
Suppose -d + 2*x = -111 + 37, -3*x + 213 = 3*d. Suppose 0 = -2*y - 4*w + 252, w + 300 = 3*y - 113. Let a = y - d. Is 18 a factor of a?
False
Let t(g) = -g**3 + 10*g**2 - 9*g + 8. Let a = 52 + -45. Does 11 divide t(a)?
False
Let x = -16 + 21. Let q be -3 + (-2 - x) + 2. Is 12 a factor of (3 + q/(-4))*4?
False
Let d(u) = -u**3 - 9*u**2 - 7*u + 1. Let o(t) = 3*t**3 + 19*t**2 + 15*t - 3. Let l(z) = -5*d(z) - 2*o(z). Is 16 a factor of l(4)?
False
Let v = 68 + -96. Let s be (22/6)/((-24)/72). Let a = s - v. Is a a multiple of 12?
False
Let o = 29 + -27. Suppose 4*d - 28 = -2*u, 0 = -u + o*d - d - 1. Suppose g + 2*g - 46 = -2*j, -u*g + 59 = 5*j. Is g even?
True
Does 10 divide (-9)/((-495)/22) - (-7398)/5?
True
Suppose 0 = -i + 12 - 8. Let c(q) = 6*q + 13. Let k be c(i). Suppose -5*l = -4*l - k. Is l a multiple of 10?
False
Is 15/12 + -1 + (-65260)/(-80) a multiple of 51?
True
Let q(b) = -b + 2*b + 22 - 23 + 170*b**2. Does 48 divide q(1)?
False
Suppose -5*f + 5*d = -925, f = -4*f - 4*d + 907. Let y be (1 - -1)*f/6. Suppose 3*o = -y + 199. Does 13 divide o?
False
Let k be (-93)/(-21) + (-6)/14. Suppose 9*z - k*z - 164 = 4*q, 2*z = -3*q + 84. Is z a multiple of 12?
True
Let y be 3 - (1 - 2)*(79 - 6). Suppose -74*x = -y*x + 56. Does 4 divide x?
True
Let r be (-22)/(-121) - (-240)/11. Is r + 2/3*-6 a multiple of 3?
True
Let v(b) = 12*b**3 + 8*b**2 - 36*b - 19. Does 19 divide v(7)?
True
Let n = 457 + -123. Let b = 101 - n. Let q = 331 + b. Does 13 divide q?
False
Let s(o) = o**3 + 7*o**2 + 6*o - 21. Let t(f) = -f**3 - 8*f**2 - 5*f + 20. Suppose 4*q = -0*q + 20. Let d(a) = q*s(a) + 6*t(a). Is 8 a factor of d(-13)?
False
Let c = 98 - -38. Is 8 a factor of c?
True
Suppose 0*p = -5*p - 5. Does 53 divide (p - 57/(-4))*12?
True
Let x be (-56)/6*6/(-4). Let m(f) = f**3 - 14*f**2 + f - 4. Does 4 divide m(x)?
False
Let l(i) = 16*i**3 + 3*i**2. Let o be l(-2). Let a = -20 - o. Suppose -a = -4*t + t. Is 20 a factor of t?
False
Let k = 64 - 66. Is 9 a factor of k/3 - (-996)/36?
True
Let d(r) = 23*r**2 + 2*r - 2. Let n be d(1). Let q = n + -1. Is q a multiple of 11?
True
Let t be 6/(-8) + 2/(40/75). Let k(y) = 29*y + 4. Does 13 divide k(t)?
True
Let o(s