 t. Is i a multiple of 13?
False
Suppose -4*r + 449 = 3*k, -5*r + 559 = k + 2*k. Does 22 divide r?
True
Suppose -13 = 2*t - 27. Suppose u = -t*u + 16. Suppose -6*m - 5*d = -4*m - 38, 4*m - 60 = -u*d. Is m a multiple of 14?
True
Suppose -5*y + 2*b = -20553, 10*b - 12334 = -3*y + 9*b. Is y a multiple of 40?
False
Suppose -7*w = -12*w + 415. Is w a multiple of 10?
False
Let y = 5 - -1. Let x(c) = 3*c - 9 - y*c - 4*c**2 + 3*c**2 - 14*c. Is 15 a factor of x(-12)?
False
Let g = 1026 + 630. Is g a multiple of 25?
False
Let g = -260 - -598. Is 9 a factor of 6/27 - g/(-18)?
False
Let q(r) = -2*r + 12. Let k be q(6). Suppose k = -3*g + 107 + 40. Is g a multiple of 14?
False
Let m(p) = -p - 5. Let z be m(-5). Suppose 2*j - 61 - 91 = z. Suppose 0 = -5*h - j + 661. Is h a multiple of 22?
False
Let k = -192 + 401. Suppose 7*t - k = 3*t + 5*b, 3*t = 2*b + 155. Is t a multiple of 41?
False
Let z = -22 - 19. Let w = -24 - z. Does 17 divide w?
True
Let d(b) = -2*b**2 - 34*b + 8. Suppose 0 = 2*q - i + 17, q = 3*i + 7 - 3. Is 28 a factor of d(q)?
True
Suppose -5*n + 2*x = -0 - 122, -3*n - 3*x = -90. Is n even?
True
Let m(h) = 3*h**3 - 28*h**2 + 16*h - 2. Let t be m(9). Suppose -2*k + 3*n = -266, 0 = n + 2 - 4. Let p = k - t. Is 15 a factor of p?
True
Suppose 1876*k = 1879*k - 3600. Does 8 divide k?
True
Let q(s) = -s**2 + 2*s + 2. Suppose 2*a = -a + v, 0 = 2*a + 3*v + 11. Let x be q(a). Does 14 divide (69/3)/((-1)/x)?
False
Suppose -40*n + 45*n - 3*g = 4932, 4 = -g. Is n a multiple of 82?
True
Suppose -9 = 4*q + 15. Let l be (-98)/(-21) + (-2)/q. Suppose 5*h = 2*h + l*w + 34, -3*h = 5*w - 14. Is h a multiple of 5?
False
Suppose 98 = 2*u + 2*k, -2*u - 3*k - 221 = -7*u. Suppose -87 + 12 = -3*x - 3*m, m - u = -2*x. Does 11 divide x?
False
Suppose 0 = -8*w + 2*w + 30. Suppose -w*h = -405 - 205. Does 20 divide h?
False
Let s(q) = -5*q**2 - 14*q + 21. Let b(g) = -3*g**2 - 8*g + 11. Let j(l) = -11*b(l) + 6*s(l). Suppose z + 6 = 1. Is 15 a factor of j(z)?
True
Let n(g) = -g**2 - 18*g - 22. Suppose -5*r - 69 = -0*r + 3*i, 4*i = -3*r - 37. Does 6 divide n(r)?
False
Let z be -2 + (12 - 6) + -1 + 1. Let f be (-198)/12*8/(-6). Is z*(f/8 - -2) a multiple of 5?
False
Let o = -351 - -616. Does 5 divide o?
True
Let v be 1027 + -2 + (-2 + -2)*1. Suppose 6*w - 815 = v. Is 36 a factor of w?
False
Suppose -2*v - 114 = -322. Does 14 divide v?
False
Suppose 337 = 10*g - 203. Let w = g + -34. Is 5 a factor of w?
True
Suppose h + 5*h - 1320 = 0. Is 22 a factor of h?
True
Suppose 0 = 9*j - 4012 - 3395. Is 36 a factor of j?
False
Let k(f) = -f**2 + 19*f - 36. Let q be k(13). Does 48 divide q/1*(-48)/(-14) + 1?
False
Suppose 3*g = -0*g. Suppose -5*y + 2*y = 9, -2*u + 4*y + 50 = g. Does 8 divide u?
False
Suppose -376*c + 371*c = -2060. Does 12 divide c?
False
Let t be ((-96)/(-30))/((-1)/(-5)). Suppose 0 = -6*i - 76 + t. Let q = i - -16. Is 4 a factor of q?
False
Suppose 3 = -2*n - 7. Let j be -13 - 10/n*-1. Let u = j + 43. Is 15 a factor of u?
False
Let a(b) = -b**3 + 15*b**2 - 17*b - 5. Let u be a(13). Let t = u + -75. Is t a multiple of 18?
False
Is 18 a factor of -2 + -2 + 16482/6 + -7?
True
Suppose -5*k + 23 = -4*v, 12*v - 8*v = -k - 5. Suppose k*w = 2*w + 28. Is 3 a factor of w?
False
Let l = -34 + 86. Is (26/l)/((1/(-62))/(-1)) a multiple of 2?
False
Let g = -109 + 109. Suppose g = 16*r - 7*r - 369. Is r a multiple of 39?
False
Let l = 41 - 45. Is 14 a factor of (16/l + 5)*62?
False
Suppose i + 2*i + 2333 = 2*o, 4*o = -3*i + 4675. Is o a multiple of 146?
True
Suppose 0 = 15*y - 5371 - 3749. Does 8 divide y?
True
Let t = -233 - -404. Suppose -3*w - 6*w + t = 0. Does 14 divide w?
False
Let n = -43 + -11. Let i = 93 + n. Is i a multiple of 8?
False
Suppose 5*l - 3*b - 13 = 0, -5*l + 3*b + 14 = -b. Suppose -l*c + 3*s = -3*c + 12, 0 = -5*c - s + 88. Does 12 divide c?
False
Let s(x) = 5*x**2 - 12*x + 6. Let i(j) = j**2 - j + 1. Let z(b) = 4*i(b) - s(b). Does 7 divide z(4)?
True
Let w(u) be the first derivative of u**4/4 + 8*u**3/3 + 9*u**2/2 - 5*u - 9. Is w(-6) a multiple of 13?
True
Suppose -32*x = -8*x - 6000. Is 47 a factor of x?
False
Let p be (9/(-3))/(-3)*9. Does 3 divide 54/2 - (-7)/(p + -2)?
False
Let l(z) = 7 + z**2 - 2*z**2 - 1 - 4*z + 1. Let d be l(-6). Let a(w) = -w**3 - 4*w**2 - 3*w - 1. Is a(d) a multiple of 15?
False
Let i(a) = a**3 - 16*a**2 - 151*a - 17. Is 19 a factor of i(25)?
False
Suppose 1766 = 15*g - 11719. Is g a multiple of 31?
True
Let h(m) = -5*m - 28. Let c be h(12). Let w = 108 + c. Does 10 divide w?
True
Let a(z) = -2*z**2 - 10*z - 2. Let h be a(-6). Let j = 4 - h. Is 5 a factor of j?
False
Let f be -1 - (3 + -13) - 3. Suppose -j + 5 = -f*j. Does 14 divide 1 - j/(-2)*-82?
True
Let u = -442 + 1290. Is 4 a factor of u?
True
Let n(l) = 4 + 20*l - 33*l - 30*l. Let c(s) = -42*s + 3. Let v(a) = -3*c(a) + 2*n(a). Is 11 a factor of v(1)?
False
Suppose -2 = -2*b + b. Suppose 202 + 72 = b*n. Let a = -78 + n. Is a a multiple of 25?
False
Let a(r) = -7*r**2 + 5 - 10*r**3 - 10*r**3 + 21*r**3. Does 21 divide a(8)?
False
Suppose -192 = -3*o - k, -3*k + 33 = 2*o - 95. Is o a multiple of 64?
True
Is 17 a factor of (8 + -23)*(2 - 951/9)?
False
Let n(g) = 113*g + 903. Does 11 divide n(18)?
True
Suppose -2*o - o + 14 = 5*u, 0 = 3*o - u - 26. Let l = 21 - o. Is 4 a factor of l?
False
Let l be 4/6*(-6 - 3). Let u be 8/10*(-15)/l. Suppose -v = u*y - 38, -3*y = 6 - 0. Is 12 a factor of v?
False
Let b = 467 - 462. Is b a multiple of 2?
False
Suppose -5*h + 0*o = -4*o - 2461, 0 = 2*h + 5*o - 991. Does 29 divide h?
True
Suppose 6786 = 44*c - 3246. Is 21 a factor of c?
False
Let x be (-1 - 3) + 0 + -86. Let w be x/(-25) - 4/(-10). Suppose -2*t + 7*t - 2*f - 37 = 0, w*t - 29 = f. Is 7 a factor of t?
True
Is (-19308)/(-30) - 6/10 a multiple of 46?
False
Suppose -5*q = -4*q - 11. Let w = 15 - q. Suppose -2*o + 108 = 3*s, o - w*s + s = 45. Is o a multiple of 31?
False
Is 37 a factor of 1*905 + (-110 - -105)?
False
Let n be (-20)/(-16) + 537/(-4). Let o = -88 - n. Does 9 divide o?
True
Let r(q) = -q**2 - 68*q - 220. Does 32 divide r(-56)?
False
Let r = -14 + 175. Let n = 308 - r. Is 11 a factor of n?
False
Let g(l) = 94*l**3 - 11*l**2 - 9*l + 2. Is 59 a factor of g(3)?
False
Suppose -2*d + 41 + 30 = 5*z, 0 = 2*z - 6. Let b = d + -24. Suppose -b*r + r + 196 = 2*p, -2*p = 5*r - 200. Is p a multiple of 25?
False
Let k(s) = 3*s - 20. Let n be k(7). Let u = n - -49. Is 17 a factor of u?
False
Let y = 1191 - -294. Does 45 divide y?
True
Let q(t) = 5*t**2 + 13*t - 13. Let b be q(6). Suppose 0 = 5*o - 3*y + 9 - 299, 5*y + b = 4*o. Is 5 a factor of o?
True
Suppose q = 3*k - 1991 - 7119, -5*k - 5*q = -15190. Is 92 a factor of k?
False
Suppose 7*f = 12*f + 20. Let g(w) = -3*w**3 - 5*w**2 - w - 3. Is 14 a factor of g(f)?
False
Suppose 1883 = 7*i - 5719. Is 4/14 + i/21 a multiple of 4?
True
Suppose 5*p = 4 + 6. Is -2 + 2 + p + 9 a multiple of 11?
True
Let s(g) = g**2 - 3*g - 9. Let u = -4 + 9. Suppose -42 = -u*r - r. Does 19 divide s(r)?
True
Let x = 26 - 59. Let r = 34 + x. Is r/(214/(-72) - -3) a multiple of 5?
False
Suppose 0*b + 20 = 4*r + 4*b, -5*r - 4*b = -25. Suppose -4*y + r*h - 1 = -y, h = 5. Is 8 a factor of y?
True
Let y = 947 + -911. Does 4 divide y?
True
Suppose 18*v = 11*v + 1911. Does 7 divide v?
True
Let q(i) = -91*i - 436. Is 16 a factor of q(-12)?
True
Let y be 0*(-2)/((-4)/(-2)). Suppose 4*s - 14 - 22 = y. Is 9 a factor of s?
True
Let b(q) = -q**3 - 39*q**2 + 43*q + 126. Let k be b(-40). Let t(m) = m. Let r(l) = 2*l. Let a(s) = 6*r(s) - 4*t(s). Does 12 divide a(k)?
True
Suppose 8*o - 92 = 4*o. Suppose -o = -n + 4*x, -2 = -2*x - 10. Does 7 divide n?
True
Let b = -34 + 34. Suppose b = -k + 3*k + 10, k = 5*y - 75. Is y a multiple of 3?
False
Let t = 79 + -133. Is (t/3 - 1)*-2 a multiple of 26?
False
Suppose 5*j - 9 - 1 = 0. Suppose -2*z = j*z - 8, -4*k + 2 = z. Suppose 0*g - g + 2*x + 10 = k, -3*g - 5*x = -41. Does 9 divide g?
False
Let h = 9 - 2. Let f = h - 8. Does 23 divide ((-46)/(-4))/(f/(-4))?
True
Let q = 48 - 37. Let c = q + -2. Does 7 divide c?
False
Let c(j) = 23*j + 5. Let w be c(4). Let t = w + -9. Suppose 0*x = -4*x + t. Is x a multiple of 14?
False
Let u(m) = m**3 - 24*m**2 + 39*m - 36. Is 4 a factor of u(23)?
True
Let i = 249 - 1029. Is 10 a factor of (6/4)/(-4 + (-3129)