
Suppose 6*m - 614 + 182 = 0. Let i = m - -12. Is 44 a factor of i?
False
Let d = 2756 - -668. Is 17 a factor of d?
False
Suppose 179 - 5651 = -16*x. Is 57 a factor of x?
True
Let x(g) = g**2 - 18*g - 68. Is x(-17) a multiple of 31?
True
Does 47 divide ((-48)/96)/((-1)/(-940)*-2)?
True
Let x(b) = 4*b + 11. Let d be x(-4). Is (1 + -173)*d/10 a multiple of 43?
True
Suppose -b + 214 = b. Suppose y = -u + 51 + 44, 5*u + b = y. Is y a multiple of 14?
False
Suppose -380 = -y - 5*u, -1605 = -26*y + 22*y - 3*u. Does 5 divide y?
True
Suppose -2*a + 5*r + 1156 = 0, a = 29*r - 28*r + 581. Is a a multiple of 53?
True
Let c = -88 - -87. Does 22 divide c/(-4) - 2169/(-12)?
False
Suppose -34*x - 2312 = -42*x. Does 36 divide x?
False
Suppose -35*j + 44*j - 4347 = 0. Does 69 divide j?
True
Let s be (-588)/(-8) + 5/(-2) + 1. Is ((-80)/s)/(1/6)*-6 a multiple of 3?
False
Let y be 6/(-2) + -2 + 5. Suppose y = 2*a - 6*a + 444. Is a a multiple of 15?
False
Suppose -y = 4*x + 54 + 230, 2*y + 142 = -2*x. Suppose -r - r = -3*b - 414, 0 = 2*r. Let c = x - b. Is 17 a factor of c?
False
Let q(s) be the third derivative of s**5/30 - s**4/4 - 2*s**3/3 + 4*s**2. Let p be q(5). Suppose 5*b - 226 + p = 0. Is 14 a factor of b?
True
Suppose -3*q + 66 = -6*q. Suppose 3*y + 24 - 3 = 0. Let p = y - q. Does 15 divide p?
True
Suppose -d - 2*p = 70, 0 = d - 4*p + 9 + 55. Is (4 + -3)*d/(-1) a multiple of 19?
False
Let s(v) = 9*v + 42. Suppose -9*r + 36 = -54. Does 41 divide s(r)?
False
Suppose 9*f = -10*f + 1672. Is f a multiple of 22?
True
Let a(x) = 3*x**2 - 63*x + 9. Is a(21) a multiple of 9?
True
Suppose 0 = 2*q - 8, q + 12 = 4*i + 6*q. Let w be (-6)/(-4) + 15/i. Let f(a) = -a + 14. Is f(w) a multiple of 6?
False
Suppose 85 + 50 = -5*t. Suppose a = -2*a + 93. Let u = a - t. Is 19 a factor of u?
False
Let v(j) = -j + 13. Let r be v(7). Suppose 2*c + 12 = r*c. Let d = c - -4. Does 4 divide d?
False
Let d = -1024 + 1503. Does 35 divide d?
False
Let p = 19 + -19. Suppose -6*v + 2*v + 152 = p. Let f = 117 - v. Does 22 divide f?
False
Suppose 0 = -3*h + 6, -4 = 2*n - n - h. Is 23 a factor of -6 - -184 - (4 + n)?
False
Let k(j) be the third derivative of 21*j**5/20 + j**3/6 - 13*j**2. Is k(-1) a multiple of 16?
True
Let v(h) = -h**2 + 9*h + 58. Let b be v(13). Let s = -1 + 5. Let l = b - s. Does 2 divide l?
True
Suppose 0 = -0*d - 2*d + 440. Does 11 divide d?
True
Let s = -34 - -44. Suppose 0 = -4*m + 2*m - 4*o + 12, 4*m + o = s. Suppose -2*n - m = 0, -4*n - 17 = 3*w - 52. Does 7 divide w?
False
Suppose 3*v - 8 = j - 0, -j + 4*v = 10. Is 10 a factor of 45/j*64/(-48)?
True
Suppose 0*r - 48 = -5*t - 4*r, 4*r = -4*t + 40. Let y = t + -6. Does 12 divide (y/(-4))/((-1)/24)?
True
Suppose 4*t = -3*g + 15, -2*t + 1 = -5*g - 0. Is (2 - g)/((-11)/(-913)) a multiple of 14?
False
Let d(j) = 4*j**2 + 29*j + 15. Let t be d(-7). Suppose -2*q = t - 104. Is q a multiple of 6?
True
Is (9217 + -2)*(-17)/(-85) a multiple of 12?
False
Let m(d) = -d**3 + 4*d**2 + 3*d + 10. Let i be m(5). Suppose i = -2*a - 5*a + 518. Does 9 divide a?
False
Let n(v) = -v**3 + 12*v**2 - 9*v - 19. Let h be n(11). Is 7 a factor of (0 - h)/(12/(-252))?
True
Let s = -119 + 135. Let k(q) = q**3 - 2*q**2 - 2*q + 3. Let v be k(2). Let z = s + v. Is 15 a factor of z?
True
Suppose -6*y - 740 = -1808. Does 36 divide y?
False
Let u(a) = -7*a + 1. Let g be u(4). Let r = g + 83. Is r a multiple of 8?
True
Let u(p) be the third derivative of -p**4/24 - p**3 + 5*p**2. Let t be u(-9). Suppose g = -t*g + 116. Is 12 a factor of g?
False
Let t = 4 - 2. Suppose 16 = -4*i + 6*i. Suppose -t*o = -100 + i. Is 23 a factor of o?
True
Let u be (-20)/30 + (-233)/(-3). Suppose 168 = 2*g - 3*c, g + 5*c = 3*c + u. Let v = g - 18. Does 17 divide v?
False
Let b = 41 + 0. Let z = b - 26. Does 3 divide z?
True
Let z = -17 + 108. Is z a multiple of 3?
False
Suppose a - 14*h + 6 = -12*h, 0 = 4*a - 5*h + 18. Suppose -6 = -2*i - 14. Is 16 a factor of i*-5*(-8)/a?
True
Let z(f) = 3*f + 3. Let x be z(-2). Does 21 divide (x - (-4 - -2))/((-1)/167)?
False
Does 16 divide ((-1250)/3)/(-2)*81/45?
False
Let a = 2805 + -1524. Is a a multiple of 61?
True
Let i(h) = -2*h**2 + 46*h - 74. Let o be i(21). Suppose 0 = -0*j - j + 2. Suppose -2*b - x + o = -0*b, 0 = -b - 2*x + j. Is b a multiple of 2?
True
Is (3 - 95)*((-15)/6 - -2) a multiple of 5?
False
Let y(u) = u**2 - u. Suppose 2*g + 14 = 3*v, 0 = 3*v - g - 14 + 4. Let z be y(v). Suppose 0 = -5*w - 5*l - 5, -z*l - l = 15. Is w a multiple of 4?
True
Let j(g) = -4*g**2 - 10*g - 9. Let d(a) = -7*a**2 - 19*a - 19. Suppose -5 - 10 = -3*c. Let p(z) = c*j(z) - 3*d(z). Does 21 divide p(-10)?
True
Let o be (-7 + 82/10)*(-20)/(-6). Suppose 4*h + 32 = t, -5*h - t - 18 = 13. Does 10 divide (-74)/(-7) + o/h?
True
Let o(q) = 4*q**3 - 9*q**2 + 12. Is o(6) a multiple of 46?
True
Suppose 2*d - 1855 = 17*h - 12*h, d + 5*h = 905. Does 18 divide d?
False
Let l(k) = -k**2 + 6*k + 3. Let j be l(6). Suppose -3*i - 3*z - 205 + 541 = 0, j*z = -4*i + 452. Is 15 a factor of i?
False
Suppose 2*z - 6064 = -2*i, 15192 = 5*i - 6*z + 3*z. Is i a multiple of 92?
True
Let i = 100 - 56. Suppose g - 4*y + 0 = -1, -4*g + 4*y + i = 0. Let s = -1 + g. Is 14 a factor of s?
True
Let y(d) = -52*d - 88. Is y(-4) a multiple of 30?
True
Suppose -2015 - 28737 = -8*k. Is 31 a factor of k?
True
Does 16 divide (-6 - (-7)/((-7)/314))*-4?
True
Let y(j) = -6 - 6 + 0*j + 7*j**2 - 2*j - 5*j**2. Is 28 a factor of y(-9)?
True
Suppose -49*k + 9*k = -12920. Does 9 divide k?
False
Let s(z) = z**2 - 6*z - 1. Let w = 22 + -24. Let r be (w/4)/(5/(-90)). Is s(r) a multiple of 6?
False
Suppose 34*b + 18 = 31*b. Does 13 divide (-682)/b - (1 + 2/(-6))?
False
Suppose 4*w + 5 = 33. Suppose -p = -w*p + 366. Is p a multiple of 20?
False
Let j be 1 + (0 - -1) - -26. Suppose j*z - 64 = 27*z. Does 7 divide z?
False
Suppose 0 = -5*a - 8 + 23. Let h be ((-5)/(-3)*a)/1. Suppose h*u + 22 = 87. Is u a multiple of 13?
True
Suppose -m = -2*m + n + 7, 0 = -3*m + 4*n + 23. Suppose m*t = 287 - 887. Let l = -85 - t. Is 13 a factor of l?
False
Suppose u + 3*u - 8 = 4*d, 2*d = 3*u - 9. Suppose -t + 0 = -1, 0 = -u*l - 2*t + 77. Is l a multiple of 3?
True
Let p be ((-21)/(-9) - 2)/((-7)/63). Let m = p - -26. Is 5 a factor of m?
False
Let l(h) be the first derivative of -6 + 3*h**2 - 1/3*h**3 + 2*h. Does 2 divide l(5)?
False
Does 3 divide (5 + -4)*-5 + (-24)/(-1)?
False
Suppose 2*g - 28 = -4*s, 4*g = s - 2*s + 70. Is 20 a factor of g/(0 - 1)*(-112)/24?
False
Suppose t - 928 = -2*c, -3*c - 2*t + 1392 = t. Is 29 a factor of c?
True
Suppose -3*h - 2*y + 62 = 0, -2*h + 6 = -h - 3*y. Does 5 divide 4/h*1 - 583/(-9)?
True
Let x be (1 - 6/4)*630/(-45). Let v(u) = -u**2 + 17*u. Does 3 divide v(x)?
False
Suppose -3*p = p + 2*n + 2, -5*n = -5*p + 35. Let j be p*2/(-2) - -8. Let d(o) = o - 4. Does 2 divide d(j)?
True
Let i = 11 + -36. Let h = 37 + i. Suppose -98 = -2*g - h. Does 15 divide g?
False
Suppose p + 3 = -4*d - 3, 5*p = 2*d + 14. Suppose 90 = p*q - 116. Is q a multiple of 29?
False
Let u = 90 + -28. Let s = 41 - 37. Suppose 0 = s*t + u - 186. Is 11 a factor of t?
False
Suppose 5*x + 3*n - 450 = 0, -2*x - 2*n + 165 = -19. Is x a multiple of 25?
False
Suppose 0 = -h - 4*o - 10, -10 = 5*h - 4*o - 32. Suppose 2*g - 2*s = 292, h*s - 575 = -4*g - 3*s. Is 14 a factor of g?
False
Suppose -4*g + 5*h = -37, -2*g - 3*h - 2*h = 19. Let d = 9 - g. Let c(y) = 3*y + 4. Does 11 divide c(d)?
True
Suppose 3*s + 14 = 4*j, 3*j - 12 = -0*j + 3*s. Let r(p) = p**2 - p - 3 - 2*p + 4*p**j - p. Is r(4) a multiple of 14?
False
Let t = -2 - -6. Suppose 5*g - 3*a - 118 = 22, t*g = 2*a + 114. Is 9 a factor of g?
False
Suppose -7*u - 93 + 107 = 0. Let s = 42 + 78. Suppose v - s = -u*v. Is v a multiple of 8?
True
Let u(o) be the first derivative of o**3/3 - 11*o**2/2 - 13*o + 5. Let f be u(14). Let h = f - 13. Is h a multiple of 4?
True
Let m be 104/18 - 6/(-27). Suppose m*o = 11*o - 260. Does 26 divide o?
True
Suppose -3*v = -194 + 53. Let r = v + -72. Let j = r + 45. Does 6 divide j?
False
Let z = -89 + 403. Is z a multiple of 65?
False
Let u(q) = 50*q**3 + 4*q**2 - q - 3. Let v be u(2). Suppose 3*c = 3*d + 1086, c - v = -5*d - 79. Is c a multiple of 21?
True
Suppose -2758 - 1454 = -9*q. Is q a multiple of 63?
False
Let h = 81 + 168. Is 18 a 