 = 51*x. Does 33 divide x?
True
Let m = 14 - 14. Let v be (-4*1)/(-1 + m). Let x(t) = 2*t**2 - 3*t + 4. Does 4 divide x(v)?
True
Suppose -5*i = r, -7*i = 3*r - 3*i. Suppose -2*w + r*w = -104. Does 26 divide w?
True
Suppose 4*h + 168 = h. Let c = 13 + 89. Let r = c + h. Does 9 divide r?
False
Suppose 40*q = -3307 + 9667. Does 19 divide q?
False
Suppose 30*z - 1449 = 23*z. Does 69 divide z?
True
Let a(k) = -760*k + 172. Is a(-5) a multiple of 15?
False
Suppose -n - 14*h + 638 = -12*h, -4*n - 3*h = -2567. Is n a multiple of 14?
True
Suppose 0 = -o + 10 - 8. Let g(w) = w**3 - 2*w**2 - w + 2. Let x be g(o). Suppose x*l + 8 = 2*l. Is 2 a factor of l?
True
Let x be (4/12)/((-4)/(-168)). Suppose -c + 20 + x = 0. Does 25 divide c?
False
Suppose 5*f - 3*f = w - 58, -w = 5*f - 86. Let z = 110 - w. Does 11 divide z?
True
Let s be (-90 - -24)/(0 - 3/2). Is 10 a factor of 2/(-4) + 66/s + 89?
True
Suppose -96 = -g - 4*w, -2*g - 2*g + 5*w + 321 = 0. Does 14 divide g?
True
Let d = 22 - 22. Suppose d = 2*m + 6, o + 4*m - 132 = -3*o. Is o a multiple of 9?
True
Suppose 4*v = 3*p - 27, 0*v - v + 2*p - 13 = 0. Does 14 divide 80 - (v + 2) - -3?
True
Let j(y) = y**3 - y**2 + 3. Let d be j(0). Suppose d = v - 1. Suppose v*l = -4, 6*l - 87 = -5*z + 3*l. Is 9 a factor of z?
True
Let a = -8 - -16. Suppose 11*q - 12*q = 2. Let j = q + a. Does 3 divide j?
True
Let a(i) = -5*i + 2. Let v(x) = x**3 - 12*x**2 + 10*x + 12. Let w be v(11). Let j be a(w). Does 5 divide ((-13)/(-4))/(j/(-12))?
False
Let t(s) = -s**2 + s + 1. Let z(f) = f - 5 + 2*f**2 - 3*f - 2*f. Let w(a) = -6*t(a) - 2*z(a). Is w(-6) a multiple of 16?
True
Let i(u) = u**3 - 2*u**2 + 5*u - 2. Let d be 11/2 - (-5)/(-10). Does 31 divide i(d)?
False
Suppose -44 = -2*n - 3*n + 2*c, -n - 2 = -4*c. Suppose 0 = -3*y - g + 2, -2*y + g + n = y. Suppose y*t - 11 - 25 = 0. Is t a multiple of 9?
True
Let h = -332 - -376. Does 4 divide h?
True
Let m(g) = g**3 + 5*g**2 + 4*g + 1. Let i = 7 - 4. Suppose 2*n = -3*t - 11 + 2, -t - i = 4*n. Is m(t) a multiple of 7?
True
Suppose 3*u + 4*j = 9, 2*u + 2*u - 12 = -4*j. Suppose w = -u*w + 20. Suppose -2*h = -5 - w. Is h a multiple of 5?
True
Suppose -424 = -10*l + 5846. Does 11 divide l?
True
Let n be 2 + -2 + (5 - 1). Suppose 84 = 4*v - 4*t, 3*v + 14 = -n*t + 56. Is v a multiple of 6?
True
Suppose -77*m = -68*m - 486. Does 6 divide m?
True
Suppose 3*l - 2657 = -d, 3*l = -2*d + 2206 + 453. Let c = l - 1485. Is 1/(3/c*-4) a multiple of 25?
True
Does 16 divide 2688*(300/36 - 7)?
True
Let x(c) = c**2 - 16*c + 9. Does 11 divide x(19)?
True
Suppose 3*w - 8*w - 2*h = 577, 3*w - 3*h = -363. Let p = 54 + w. Let x = 134 + p. Does 18 divide x?
False
Suppose 12 = -3*i, 4*j - 30 = -5*i + 470. Does 3 divide j?
False
Suppose -n - 2*c - 5 = 0, -5*c + 0*c = 2*n + 15. Suppose n*v - 3 = z + 2*z, -5*z - 5*v - 5 = 0. Is 80/5 - (3 + z) a multiple of 6?
False
Suppose 0 = 4*j + 1 - 13. Suppose j*v = -5*l + 237, 7*l = -v + 3*l + 79. Suppose -3*s + 274 = v. Is s a multiple of 11?
False
Suppose 2*v - k - 7 = 0, -k + 13 = 2*v + v. Suppose 2*p = -3*y + 577, -3*p + 772 = v*y - p. Is 15 a factor of y?
True
Suppose 3*i - 11 = -q + 575, 4*i - 784 = -2*q. Is 8 a factor of i?
False
Let d be 80/45 - 2 - 56/(-9). Suppose -2*x = 4*v - 398, 5*v - x - 485 = -d*x. Does 11 divide v?
False
Let y(h) = h**2 - 9*h - 4. Let j be y(6). Let m = 24 + j. Suppose -o = -p - 42, -2*p - 84 = -m*o + 2*p. Is 17 a factor of o?
False
Suppose 76 + 2024 = 4*g. Suppose -g = -h - 2*h. Let f = -90 + h. Does 18 divide f?
False
Is -10 + (-82)/(-8) + (-7377)/(-12) a multiple of 2?
False
Suppose 4*l = c + 4091, 3*l - 2679 - 394 = -4*c. Is 69 a factor of l?
False
Is 392/(-147) - 6470/(-3) a multiple of 28?
False
Suppose -v = -4*g - 4 - 2, 0 = 5*v - g - 87. Let l(x) = 24*x - 4. Let y be l(1). Suppose 0 = -5*f - b + 47, 5*f - v = -4*b + y. Does 5 divide f?
True
Let a be 4 - (-2 - -183) - 0. Does 15 divide (-5)/15*a/1?
False
Let h = -23 - -31. Let n be (-3 - 0) + 1 - -4. Is n/(-8) + 314/h a multiple of 12?
False
Let m(n) be the third derivative of n**6/120 + n**5/10 - 5*n**4/24 + 5*n**2. Is m(-5) a multiple of 25?
True
Let a(m) = 3*m**2 - 5*m + 4. Let p be a(3). Suppose -c = 4*n - 24, -4 + p = 2*n - 2*c. Suppose n*l = 3*l + 4*d + 192, 0 = d. Is l a multiple of 14?
False
Let r be (-2)/(-2)*(1 + 0). Let y be (r + 6/(-3))*-3. Suppose -z + 51 = 2*h, -y*h - 2*z - 2*z + 89 = 0. Is 12 a factor of h?
False
Let b = -46 + 46. Is 21 a factor of 132/3 - (b - 2)/1?
False
Let r be (1/2)/((-6)/(-24)). Let n(j) = j**3 - 8*j**2 + 9*j - 12. Let b be n(7). Suppose -5*q + 330 = z, -r*z = -b*q + 7*q - 335. Is q a multiple of 13?
True
Suppose 5*l - 1295 = -5*p + 65, 0 = 5*l - 2*p - 1381. Does 55 divide l?
True
Let y be (224/6 - 0) + (-5)/15. Is 2/(-4) - (-1 + y/(-2)) a multiple of 19?
True
Let x(f) = f**3 - 6*f**2 - f - 6. Let j be x(6). Is 16 + j - (-105 + 1) a multiple of 22?
False
Suppose 278*x - 290 = 276*x. Is 81 a factor of x?
False
Let m(d) = -12*d**2 + 1 - 3*d**3 - 4*d + 2*d**3 + 7*d. Does 31 divide m(-13)?
False
Is 14 a factor of 9/(594/9246) - (-3)/(-33)?
True
Let n(k) = 4*k**2 + 16*k + 64. Is 14 a factor of n(-14)?
False
Let s = 73 + 51. Let u = -88 + s. Does 5 divide u?
False
Suppose 23*d + 152 = 1210. Let l(t) = t + 1. Let n be l(-1). Suppose n = 5*r + 1 - d. Does 2 divide r?
False
Let t(a) = a**3 + 23*a**2 + 12*a + 112. Is t(-20) a multiple of 13?
False
Let t be (1 - 1) + (3 - 2). Suppose 2 - t = b. Suppose b = -v + 21. Does 10 divide v?
True
Suppose 3*a + 345 = 3*n, 5*a - 97 = -2*n + n. Suppose 3*m = 116 + n. Is m a multiple of 19?
True
Suppose -2*q + 4*g - 1770 = 3*q, 706 = -2*q + 2*g. Let i = q - -536. Is i a multiple of 23?
False
Suppose -21090 = -29*j - j. Does 3 divide j?
False
Suppose 3*c - 1381 = -s, s = -3*s - c + 5491. Does 98 divide s?
True
Suppose 211680 = 105*u + 7*u. Does 18 divide u?
True
Let j(h) = h**3 - 9*h**2 + 4. Let r be j(9). Let q(p) = -54 + 46 + 2*p**3 - 6*p**2 - p + 7*p - 2*p. Is 10 a factor of q(r)?
True
Let y be 3/1 + 0/4. Suppose 0*g + y*g - 12 = 0. Is (-128)/(-2)*g/8 a multiple of 16?
True
Suppose -84*a + 13*a = -80514. Does 54 divide a?
True
Suppose -4*b + 153 = 1017. Let h = -89 - b. Suppose 3*g + h = v, -46 = -v - 2*g + 86. Does 34 divide v?
False
Let q(k) = 45*k**2 - 3*k + 3. Let x(t) = -45*t**2 + 2*t - 4. Let n(b) = -6*q(b) - 7*x(b). Does 13 divide n(-2)?
True
Is (-7)/((-327)/54 - -6) a multiple of 7?
True
Let a(s) = -2*s**2 - s + 9. Let i(m) = 4*m**2 + 3*m - 19. Let o(z) = -13*a(z) - 6*i(z). Suppose -3*k - 2*l + 0*l + 26 = 0, -9 = -k - l. Is 28 a factor of o(k)?
False
Suppose 4*t = -5*g - 11 - 49, -4*g = -4*t + 84. Is 17 a factor of 88 - (g/(-8))/(1 + 1)?
False
Let z = -34 - -82. Is z a multiple of 16?
True
Let g(h) = 209*h - 37. Is 17 a factor of g(4)?
True
Let s(o) = -o**3 - 18*o**2 + 26*o - 63. Is 21 a factor of s(-21)?
True
Suppose -8*o = 682 - 3906. Does 31 divide o?
True
Let i be 2/((-4)/(-14))*1. Suppose -3*h + 3 = m - i, 2*m = -3*h + 8. Is 21 a factor of 19*(6 - (4 + m))?
False
Let c(a) = -a**3 + 10*a**2 - 11*a + 4. Let m be (0 - 2/(-4))*94. Suppose 6*q - 1 = m. Is c(q) a multiple of 8?
False
Let q(x) = -x**2 - 3*x + 18. Let a be q(-6). Is -49*(a + 36/(-7)) a multiple of 21?
True
Suppose 5*q + 4*k = 62, -q - 2*k + 7 = -3*k. Let m(r) = -15*r**2 + 28*r + 3. Let a(u) = -7*u**2 + 14*u + 2. Let n(b) = 13*a(b) - 6*m(b). Does 24 divide n(q)?
True
Let p = 14 - 12. Suppose n - u + 15 = 3*n, 0 = n + p*u - 15. Suppose -6*w = -n*w - 40. Is 8 a factor of w?
True
Suppose -9 = -5*x - g, -3*g + 4 = 2*x + 3. Suppose -d = f, x*f = 5*f - d - 12. Is f + (-5)/5 + 51 a multiple of 9?
False
Suppose -b - 5*o = 2*b - 27, -5*o - 1 = -4*b. Suppose 10*s = b*s + 240. Is 5 a factor of s?
True
Is 10 a factor of 19 + -16 + 1 + -1 + 3137?
True
Let z = -27 + 27. Let d(q) = q**3. Let w be d(z). Suppose -o - 2*m + 5 = -32, w = -m - 1. Does 13 divide o?
True
Does 12 divide 2556/144 + (1/4 - 1)?
False
Let c(z) = -z**3 + 33*z**2 - 42*z + 26. Is 19 a factor of c(31)?
True
Let c be (((-4)/(-1))/4)/1. Let f(q) = c + 10*q**2 - 2 + 2 + 3*q + 8*q**2. Is 16 a factor of f(-1)?
True
Let n be (5 - 2)/((-12)/(-56)). Let g = n - 14. Suppose g = -2*p - p + 24. Is p a multiple of 3?
False
Let z(u) = u**3 - 3*u**2 - 6*u. Let n be z(5). Suppose 0 = -a + n - 9. Is a a mul