s 28 a factor of 54 - v*(-4)/6?
True
Does 18 divide 5 + (6 - 11 - -162)?
True
Suppose 0 = -3*c + 3*q + 33, -3*q - 15 = -4*c + 34. Suppose 15 = -c*f + 17*f. Is 5 a factor of f?
True
Suppose -4*x - 3 = -5*s - 23, -10 = 3*s - 2*x. Let i(a) = -a + 88. Is 22 a factor of i(s)?
True
Let m be (-2)/(-10) + (-54)/(-5) - 4. Let i = m - -73. Is 8 a factor of i?
True
Let c(y) = 2*y**3 + 20*y**2 + 8*y - 12. Suppose 5*x - 4*p + 27 + 26 = 0, 4*p + 37 = -5*x. Is c(x) a multiple of 6?
True
Let n be ((-16)/6)/((-2)/(-123)). Does 33 divide (n/(-6))/(-6 - 184/(-30))?
False
Let i(v) = -7*v**3 - 3*v**2 - 2*v - 10. Let o be i(-3). Suppose -2*r + 280 = -f, r - 5*f - o = -0*r. Is r a multiple of 21?
False
Suppose u - 4*z + 11 = z, 5*z - 9 = -u. Let o be (75/(-6))/u*10. Let b = 179 - o. Is b a multiple of 27?
True
Let d = 385 - 132. Is d a multiple of 23?
True
Let p = 284 + -62. Does 37 divide p?
True
Let a(o) = -4*o + 6. Let g = 27 + -36. Let t be a(g). Suppose 10*w - t = 9*w. Does 21 divide w?
True
Suppose 4 = 2*g - 30. Suppose -500 = -22*i + g*i. Does 30 divide i?
False
Let z = 38 - -22. Let a = -46 + z. Does 3 divide a?
False
Suppose 3027 = 3*v - 3393. Does 16 divide v?
False
Suppose 3*c = -22*c + 24625. Is 13 a factor of c?
False
Let c(t) = t**2 - 62*t + 96. Does 28 divide c(73)?
False
Let s be 185/15*(2 + -11). Let r = 299 - 102. Let y = r + s. Does 15 divide y?
False
Suppose -7*i + 10*i + n = 3809, -n - 3799 = -3*i. Is i a multiple of 17?
False
Let q(a) = -7 + a - 9 + 2. Let f be q(-8). Let p = f - -43. Is p a multiple of 7?
True
Is 31 - ((-36)/(-6) + 1) a multiple of 4?
True
Suppose 10092 = 8*q - 2284. Is q a multiple of 44?
False
Suppose 2*d = -4 + 14. Let j(m) = m**3 - 5*m**2 - 4*m + 1. Let b be j(d). Let c = -1 - b. Is c a multiple of 17?
False
Suppose i - 3*i - 8 = 0, -5*a - 703 = -3*i. Let p = -86 - a. Does 26 divide p?
False
Let y(w) = -17*w**2 + 4*w + 9. Let q(d) = 26*d**2 - 6*d - 13. Let h(t) = 5*q(t) + 7*y(t). Is 11 a factor of h(-2)?
False
Let u(v) = -4 - 3*v**3 - v**3 + 2*v**2 + 4*v**3 + 4*v - 2*v**3. Let b be u(3). Is (-8)/b + 300/28 a multiple of 11?
True
Let h(r) = -r**3 - 6*r**2 - 5*r + 17. Is h(-7) a multiple of 16?
False
Suppose 35 = z + 2*c + 297, -2*z - c - 530 = 0. Let h = z - -390. Is h a multiple of 14?
False
Let n(d) = -67*d - 144. Is n(-6) a multiple of 30?
False
Suppose 3080 = 27*i - 22*i. Is i a multiple of 77?
True
Suppose 3*p + 3 = 4*p. Let u(k) = 21*k - 3 - 62*k - p + 5. Does 20 divide u(-1)?
True
Suppose -908 = -5*v - 4*x, -2*v - 4*x + 2*x + 364 = 0. Is 5 a factor of v?
True
Let h = -11 - -4. Let o = h - -1. Let m = 21 + o. Is m a multiple of 5?
True
Suppose 0 = 8*k - 35781 + 9317. Is k a multiple of 123?
False
Suppose -3*g = -4*a - 29, 0*g + a = 3*g - 14. Suppose 4*q - g*h - 968 = 0, -5*q = -0*q - 2*h - 1210. Is q a multiple of 22?
True
Let b = 271 - -15. Does 34 divide b/8 + -2 - (-12)/48?
True
Let i(f) = 39*f - 456. Is i(20) a multiple of 9?
True
Let g(w) = -w**3 + 24*w**2 - w + 28. Let a be g(24). Suppose -r = a*u - 187, 3*u + r + 2*r = 138. Is u a multiple of 3?
False
Suppose 4*b = -3*d + 544, -3*d = -0*d - 12. Does 18 divide b?
False
Is (20/4 - 4) + (207 - -2) a multiple of 15?
True
Suppose 5*i - 20 = 25. Let f(v) = -44 + i*v + 18 + 18. Is f(4) a multiple of 7?
True
Let z = 1520 - 360. Is 58 a factor of z?
True
Suppose 48*k - 294 - 112026 = 0. Does 45 divide k?
True
Let b = -46 - -54. Let i = b - -46. Is 6 a factor of i?
True
Let v be 3 + -4 - (0 + -23) - 1. Let o = 89 + v. Is 19 a factor of o?
False
Let a = 61 - 106. Let z = a - -60. Is 15 a factor of z?
True
Let g(v) = 2*v - 2. Let i be g(3). Let c = i + -4. Suppose c = 5*a - 20 - 10. Is a a multiple of 2?
True
Let l = -1625 + 2380. Is l a multiple of 3?
False
Suppose -2*q = 3*s - 1059, 9*q - 4*s = 4*q + 2636. Does 8 divide q?
True
Is 57 a factor of (-80)/(-30) + (-68346)/(-27)?
False
Let v = 217 - -238. Is 65 a factor of v?
True
Suppose 585 = q + 5*i - 362, 4*q - 5*i - 3663 = 0. Is q a multiple of 17?
False
Suppose -v = -d - 7, 5*v - 2*v - d = 19. Suppose v*r = -0 + 60. Is 8 a factor of 1*25 - (r + -9)?
True
Suppose 0 = -15*c + 11*c + 676. Does 15 divide c?
False
Let t be (8/3 - 3)/(1/(-6)). Suppose t*j = -3*j - 5*p + 555, -p = -3*j + 321. Does 18 divide j?
True
Suppose 8778 = -35*s + 49*s. Is 19 a factor of s?
True
Let d be 37 + -5 - 5 - -2. Suppose 0 = -b + 2 - 4. Let a = d + b. Is 12 a factor of a?
False
Let b(w) = -w**2 - w - 76. Let r be b(0). Is -6 + 1 - (r + 2) a multiple of 62?
False
Let k = 354 + 119. Is 43 a factor of k?
True
Suppose n + o = 155, o = 5*n - 108 - 673. Does 12 divide n?
True
Suppose -4*b - l + 2*l = -2163, -3 = l. Let z be (28/3)/(10/b). Suppose h - 3*s - 117 = -8*s, z = 5*h - 2*s. Is 17 a factor of h?
True
Let b = -713 + 2555. Is b a multiple of 16?
False
Let h(l) = l**3 - 20*l**2 + 19*l + 24. Let r(g) = -g**3 - 3*g**2 - 5*g - 17. Let m be r(-4). Is h(m) a multiple of 3?
True
Suppose -x + 3*x + 15 = 5*s, 3*x = 3*s. Suppose x*q = 1038 + 62. Does 20 divide q?
True
Let h(b) = 123*b - 714. Is h(14) a multiple of 48?
True
Let u(t) be the first derivative of -51*t - 10 + 18*t + 3*t**2 + 23*t + 2*t**3. Does 29 divide u(3)?
False
Let s = -353 - -1203. Is s a multiple of 17?
True
Suppose 7 = -i + 62. Is 3 a factor of i?
False
Let m(s) = s**3 + 12*s**2 + 13*s + 27. Let f be m(-11). Suppose -f*r = 3*d - 134, 3*d + d + r - 207 = 0. Does 22 divide d?
False
Let t(l) = l**3 + 30*l**2 + 15*l - 159. Does 22 divide t(-29)?
False
Let a be 12/30*(0 + -14 + -1). Is 18 a factor of (-4)/a + ((-471)/(-9) - 5)?
False
Let p(k) = 13*k + 6 - k**2 - 27*k + 16*k. Does 2 divide p(0)?
True
Suppose -5*c + 111 = 86. Suppose -2*o = 3*w - 102, -c*o = 5 + 10. Is 6 a factor of w?
True
Is 1680/24 + (5 - (4 - 1)) a multiple of 6?
True
Let t be 0/((-4 - 0)/(2 + 0)). Suppose -i + 199 = 5*o - t*i, 0 = -3*o + 3*i + 105. Is 23 a factor of o?
False
Let g(c) = 202*c - 122. Is g(6) a multiple of 4?
False
Let o(u) = -u**3 - 6*u**2 - 4*u + 7. Let x = 10 - 15. Let t be o(x). Suppose -4*v + t*d + 32 = -20, v - 4 = 5*d. Does 11 divide v?
False
Suppose 7*s - 9 = 2*g + 4*s, 2*g + 2*s = -4. Is 10 a factor of ((-6)/(-5))/(-4*g/1200)?
True
Is (408/32)/((-249)/(-120) + -2) a multiple of 85?
True
Let c = -855 + 1484. Is c a multiple of 37?
True
Let p = -4 + 6. Let g = p + 2. Suppose 0 = g*t - 1 - 51. Is t a multiple of 3?
False
Let r = -9 + 15. Suppose 5*c - 335 = 3*w, -2*w - 266 = -r*c + 2*c. Is c a multiple of 32?
True
Does 14 divide 1014 - 12 - 9 - -1?
True
Suppose 0 = 6*b - 43*b + 703. Is b even?
False
Suppose -4*x - 320 = -4*g, x - 142 = 5*g - 546. Does 2 divide g?
False
Let q(f) = -4*f**2 + 3*f. Let t be q(-2). Does 14 divide 4/t - 468/(-33)?
True
Let x(i) = i**3 + 19*i**2 + 18*i + 1. Let l be x(-18). Is 19 a factor of (43 - l) + -2 + -2?
True
Suppose d - 4*d + 14 = 4*t, 0 = -d - 4*t + 2. Suppose p + 285 = d*p. Does 21 divide p?
False
Let l(c) = -3*c**3 + 15*c**2. Let y(a) = -a**3 + 5*a**2. Let n(h) = -4*l(h) + 11*y(h). Suppose 4*r = 3 + 21. Is 9 a factor of n(r)?
True
Let a = 106 - 48. Suppose -3*q = -4*q - 3. Let t = q + a. Does 16 divide t?
False
Suppose 5504 = 9*f - 5476. Is f a multiple of 5?
True
Suppose -4*v = 31*v - 5250. Is v a multiple of 39?
False
Suppose 1657 = 11*b - 4833. Is 22 a factor of b?
False
Let w(r) = 851*r - 150. Is 97 a factor of w(2)?
True
Suppose 4*o + 3*p - 34 = 0, 3*o - 32 = 2*p - p. Let l = 13 - o. Suppose -29 = -l*a - 5*f + 14, 5*a - 79 = -f. Is a a multiple of 16?
True
Let a(d) = -9*d**2 + 3*d + 8. Let g be a(-8). Let r be (-3)/(-1)*g/(-12). Suppose 2*i + r = 4*l, 0 = -4*l + 4*i + 217 - 65. Is 18 a factor of l?
True
Suppose -b = 5*j - 442, 3*b + j - 1396 = -0*j. Does 53 divide b?
False
Let o(j) = 6*j**2 + j - 2. Suppose -5*c = -c + 60. Let y = 17 + c. Is 24 a factor of o(y)?
True
Let z(o) = o**3 - 9*o**2 + 8*o + 2. Let w be z(8). Suppose 4*l = w*l - 28. Does 9 divide (4 + 6)*l/(-4)?
False
Suppose -2*f - 3*f - 943 = -4*t, t - 240 = -3*f. Does 18 divide t?
False
Suppose 0*n = 4*n + 140. Let p be -1*2 + n/(-7). Suppose -5*r + 73 = -3*y + 306, -4*r - 238 = -p*y. Does 23 divide y?
False
Let x = 20 - 23. Let a be -2 - 6/9*x. Suppose 2*g + 4*v + v - 75 = 0, -2*g - 3*v + 77 = a. Is 13 a factor of g?
False
Let v(m) = -m**2 + 2*m. Let g be v(2). Let l be (1 - g) + 2*-13. Does