 2*v = -5*u + 18. Suppose 31 = i - v*q + 2*q, 16 = i + q. Is i a multiple of 9?
False
Let r(f) = -f. Let t(i) = i - 1. Let v(l) = -4*r(l) - 3*t(l). Let y be v(-2). Is y/(-3) - (-708)/18 a multiple of 15?
False
Let c = -66 - -75. Suppose c*v - 416 = 322. Is v a multiple of 17?
False
Let k = -5 - -14. Let q(z) = -z**3 + 4*z**2 - 4*z + 1. Let j be q(5). Let l = k - j. Does 14 divide l?
False
Let o = 71 - 68. Suppose o*x = 10*x - 833. Is 17 a factor of x?
True
Let v(h) = -9*h - 23. Is v(-3) a multiple of 4?
True
Suppose -53*b - 8100 = -65*b. Is b a multiple of 25?
True
Let f(l) = 2*l**2 + 39*l + 11. Does 2 divide f(-23)?
True
Let g be (-3)/(-24)*-46*4. Let h = g + 29. Is 3 a factor of h?
True
Suppose 5*r - 4*o = 49, 4*r - o - 38 = o. Let y be (0 + 3)*(-65)/15. Let n = r - y. Does 11 divide n?
True
Let y(j) = 16*j + 5. Let f be y(4). Let b = f - 48. Suppose -3*t + 51 - b = 0. Is t a multiple of 10?
True
Suppose 0 = 5*t + 307 - 1257. Does 10 divide t?
True
Let l be (9/(-6))/(4/88). Let d = 63 - l. Does 16 divide d?
True
Let f(t) = -t**3 - 15*t**2 - 18*t + 30. Is f(-15) a multiple of 15?
True
Suppose -2*x + 1022 = 12*x. Is 2 a factor of x?
False
Let s be 1/(7/4) + 3579/21. Suppose -3*u + m + 520 = s, -3*u = m - 359. Is u a multiple of 14?
False
Suppose 0 = 2*s + 2*s - 12. Suppose 4*c - s*c = 25. Suppose -4*y - c = -9*y - 2*u, -y + 2*u = 7. Is 3 a factor of y?
True
Suppose 0 = -13*b + 191 - 48. Suppose -4*n = -b*n + 245. Does 5 divide n?
True
Suppose -5*k + 57 = 3*h, -2*h + 26 + 5 = k. Does 2 divide h?
True
Suppose 5*t = -3*p + 10, 3 + 6 = 2*p + t. Suppose 0*u - 242 = -p*u + 3*j, -5*j = 5*u - 210. Suppose -3*k - 5*w + 56 = -6*w, -3*k + u = w. Does 17 divide k?
True
Let s(r) = -283*r - 59. Is 89 a factor of s(-5)?
False
Suppose -16*l = -19*l + 1212. Suppose 1249 = 5*f + l. Does 13 divide f?
True
Let l = 0 - -4. Suppose -x + 3 = -2*w, 5*w + 0*x = -5*x + 30. Does 6 divide 3 + w - (0 - l)?
False
Suppose f - 36 = 5*f. Suppose -58*v + 44*v = -42. Is 12 a factor of v/f*3*-31?
False
Suppose -19*y = -18*y - 272. Is y a multiple of 16?
True
Suppose 5*j + 1 = -2*t, 5*t + 4*j - 6 = -0. Suppose 2*d = 2*w, -42 = -5*w - 5*d - 12. Is (-3 - -32 - w) + t a multiple of 9?
False
Suppose 2*s - 5*s + 645 = 0. Is s a multiple of 5?
True
Suppose 130 = p - 3*p. Let a = p + 159. Is a a multiple of 23?
False
Let d(h) = -h**3 - 9*h**2 - h - 6. Let p be d(-9). Suppose p*f - 196 = 4*y, -5*f = -2*y - 348 - 2. Is 24 a factor of f?
True
Let i be (1 + -9)*(4 + (-102)/24). Is (i - -55)/(-3 + 1 + 3) a multiple of 25?
False
Let j(h) = h**3 + 4*h**2 + 2*h + 2. Suppose w + 3*w = -12. Let t be j(w). Is 12 a factor of 227/t - (-42)/70?
False
Let b = 15 - 9. Is 52/b*(-54)/(-12) a multiple of 13?
True
Suppose 0 = 49*z + 4630 - 18007. Is z a multiple of 7?
True
Let k = 63 - -68. Is k a multiple of 6?
False
Let m(y) = 148*y. Let s be m(3). Suppose -s = -5*t + 26. Is 9 a factor of t?
False
Let t = -8 + 11. Let q be ((-35)/t + -1)*3. Is 3 a factor of (-1)/2 + (-475)/q?
True
Let x = -7 - -11. Let j be x/4 + (-1 - -90). Suppose a = 3*o + 65, -2*a - 3*o - o + j = 0. Is 20 a factor of a?
False
Let s = -2806 + 2852. Does 2 divide s?
True
Let o = -28 + 31. Suppose 9 - 22 = -o*w - 2*m, -5*w - m = -31. Suppose 0 = -w*g + 505 - 78. Is g a multiple of 22?
False
Does 9 divide 394/8 - (-33)/44 - -4?
True
Suppose 5*t - 61 + 16 = 0. Let a(l) = 3*l - 18. Is 9 a factor of a(t)?
True
Suppose 23 = u + 4*o, -4*o - 2 = -5*o. Is 8 a factor of (174/u)/(1/5)?
False
Let c(g) = -g**2 + g - 1. Let h(n) = -n**3 + 6*n**2 + 2*n - 9. Let t be h(6). Let v(u) = -7*u**2 - u - 2. Let w(l) = t*c(l) - v(l). Does 14 divide w(-3)?
False
Suppose 3*w - 411 = 5*x, x - 6*x - 543 = -4*w. Is w a multiple of 12?
True
Let z = -2044 + 2385. Is z a multiple of 14?
False
Let f(s) = s - 4. Let x be f(8). Let c be 2/(-7 + 3144/448). Suppose -3*k - c = -x*d, -5*d = 4*k - 190 + 50. Does 10 divide d?
False
Suppose -1562*u - 1248 = -1568*u. Does 13 divide u?
True
Suppose 53 + 33 = y - p, 5*y + p - 424 = 0. Is y a multiple of 5?
True
Let j = 31 - 26. Suppose 2*b = -5*q + 8 + 14, 0 = j*b - 4*q + 11. Is 4 a factor of -17*b*2/(-2)?
False
Does 6 divide 267/1 + 0/4 + 1?
False
Let y = -95 + 88. Let r = 73 + y. Is r a multiple of 24?
False
Let p(s) be the second derivative of 3*s**3 - s**2/2 + 6*s. Is 7 a factor of p(2)?
True
Is (3/(-6))/(8/(-12800)) a multiple of 16?
True
Is (-13 - -16) + 5 + 1449 a multiple of 47?
True
Suppose -118 = -k + 5*o, 9*o - 292 = -2*k + 5*o. Is 2 a factor of k?
True
Is 263*5/1 + (80 - 75) a multiple of 132?
True
Is 236 - 1*(-8)/4 a multiple of 17?
True
Suppose -2*x - i - 47 = -6*i, -2*x - 4*i - 38 = 0. Let d be 4 + -2 + x + 1. Let l = -10 - d. Is 8 a factor of l?
True
Let w(d) = -3*d**2 - 60*d + 15. Does 58 divide w(-14)?
False
Let i = 73 + 991. Is 56 a factor of i?
True
Let l(j) = -7*j - 822. Let y be l(0). Is 17 a factor of 9/(-6) + y/(-4)?
True
Let b be ((-6)/2)/(76/32 - 2). Does 3 divide 19/(-7) + b/28 - -12?
True
Let o(d) = 3*d**2 - d - 1. Let s be o(-1). Suppose 5*v - s*n = 71, -4*v + n = 6*n - 79. Suppose 2*u - g - v = 0, g - 2 - 12 = -u. Does 5 divide u?
True
Let v = 15 + -9. Let n = 6 + v. Let o = n + -10. Does 2 divide o?
True
Let n = -18 - -24. Let l(t) = n*t - 3 + 3*t + 4 + 28*t. Is l(1) a multiple of 18?
False
Let k = 36 + -19. Let r = 24 - k. Let f = r + 10. Is f a multiple of 10?
False
Let k = 164 + 550. Does 16 divide k?
False
Let a(i) = 2*i**2 - 2*i - 4. Let j be a(3). Does 22 divide 734/j - 3/(-12)?
False
Suppose -1384 = -2*p + 8*h - 4*h, -4*h = 3*p - 2116. Is 35 a factor of p?
True
Suppose 61*m = 64*m - 288. Is m a multiple of 12?
True
Suppose -5*q + 129 = -4*q. Suppose 0 = -3*y + 3*h + q, 9 = -3*h - 6. Is 34 a factor of y?
False
Suppose 6*j - 1972 = 68. Is j a multiple of 17?
True
Let t = -7317 - -11429. Suppose 16*b = t + 112. Is b a multiple of 44?
True
Let c(p) = 1 + 2 + 2 + 2 + 2*p. Does 7 divide c(0)?
True
Is 35 a factor of (-152086)/(-55) + -1*(-1)/(-5)?
True
Suppose 6*i = 2*i - 32. Is 11 a factor of (-796)/(-18) + i/36?
True
Let p(v) = 25*v**2 + 34*v + 18. Is p(-6) a multiple of 17?
True
Suppose 0 = j - 4*x + 3, 0*x + 3*x - 21 = -3*j. Suppose 9 = j*l - 141. Does 3 divide l?
True
Let k be 12/(-8) + 41/(-2). Let t = 34 + k. Does 5 divide -1*6/2 + t?
False
Let t(a) = a**3 + 4*a**2 + a - 2. Let v = -8 - -6. Let u be t(v). Suppose -15 = -4*n - u*f + 49, 3*n - 54 = -5*f. Does 11 divide n?
False
Suppose -63*k + 9 = -62*k. Is (-20)/90 + 857/k a multiple of 42?
False
Let w = 701 - 69. Is w a multiple of 4?
True
Let q be (3/3 - 0)*-5. Let o(x) = -x**3 + 9*x**2 - 2*x - 11. Let t be o(9). Let c = q - t. Does 8 divide c?
True
Suppose -b - 3 + 5 = 0. Suppose z + z + b = 0. Does 17 divide z + 0 + 52*1?
True
Suppose 3*b - 6*b = 0. Suppose 0 = 4*w + 3*y - 184 - 56, 3*y = b. Does 30 divide w?
True
Let x be ((-1)/2)/(2/(-8)). Suppose -p - 44 = -x*p. Is p a multiple of 15?
False
Suppose -2*b - 21 = 2*m + 3*b, -4*m + 33 = -5*b. Let v(c) = 27*c - 6. Does 10 divide v(m)?
False
Let h(j) = j**3 - 5*j**2 + 7*j + 4. Suppose 0 = 2*l - d - 8, -4*d - 8 = -0*d. Let v = 7 - l. Is h(v) a multiple of 8?
True
Let n(b) = b**3 + 9*b**2 + 9*b + 10. Let l be n(-8). Let i(h) = -9 + 1 + 1 + 5*h**l - 10*h + h**3. Is i(-6) a multiple of 6?
False
Let n(p) = -21*p + 147. Is n(-29) a multiple of 9?
True
Is 81 a factor of ((-3432)/(-65))/(3 - (-57)/(-20))?
False
Suppose 1726*b + 8688 = 1734*b. Is 21 a factor of b?
False
Let t = -992 + 1023. Suppose -5*c = -3*r + 419 - 106, 20 = -5*r. Let u = t - c. Is 16 a factor of u?
True
Let i = -441 + 586. Does 10 divide i?
False
Let s be (15/9)/((-1)/(-129)). Suppose -b = -5*h + 351, 5*b + 0*b = 3*h - s. Does 10 divide h?
True
Let x be ((1 - -2) + -3)/(-1). Suppose x = -0*m + 2*m. Is 4 a factor of (8 - m) + 1 + -5?
True
Suppose 8*f - 9 = 11*f. Let i(z) = z**3 + z**2 - 4*z + 1. Let w be i(f). Let c(r) = -r**3 - 3*r**2 + 8*r + 3. Is 6 a factor of c(w)?
False
Let c(y) = -2*y + 1. Let g be c(5). Is 8 a factor of 465/21 + g/63?
False
Suppose 2*z - 8 = -3*v, -4*z - 2 = -3*v - 0. Suppose -v*j = -5*n - 6, -4*j + 6 = n + 16. Is 67 - (1 - (-2 - n)) a multiple of 18?
False
Does 79 divide (-6)/(-10) - (4194/(-10) - -2)?
False
Let x = -26 + 14. Suppose -12*v - 15 = -7*v. Does 9 divide v/(x/64) + 0?
False
Suppose -2*f = -