a. Does 34 divide b?
False
Let b(u) = 37*u + 295. Let c be b(14). Suppose 62 = 7*s - c. Does 2 divide s?
False
Suppose 0 = -20507*v + 20605*v - 1181880. Is v a multiple of 4?
True
Suppose 0 = -2*m - 3*s + 112, -5*s + 109 = 5*m - 176. Let q be 2*(-93)/6 - -3. Let i = m + q. Is 4 a factor of i?
False
Let k be (-1)/5 + (891/45)/9. Suppose k*t - 6*t = -4*r - 1304, 0 = t + r - 322. Is t a multiple of 27?
True
Suppose -3*t + 66 = -4*n - 487, 3*t - 3*n = 552. Suppose 4*f - 356 = -4*z, -3*z + 116 + t = -5*f. Is z a multiple of 13?
False
Suppose 8*j - 6*j + 5*g - 31 = 0, -5*j - 3*g + 30 = 0. Let s(a) = 3*a**2 + 5 - a + 2 + 3*a**2. Does 9 divide s(j)?
False
Is (-1)/(-2) - 1/(40/(-103500)) a multiple of 7?
False
Let l(s) = -s**3 - 3*s**2 - 3*s - 9. Let o be (4/12)/((-1)/15). Is 32 a factor of l(o)?
False
Let y(b) = 52*b**2 + 691*b + 33. Does 52 divide y(-23)?
True
Suppose 122*s - 130*s = -18896. Suppose 12*k - 158 = s. Is 21 a factor of k?
True
Suppose 26*n + 36094 = 29*n + 2*c, 3*n + c - 36092 = 0. Is 10 a factor of n?
True
Does 10 divide (-10)/(-4)*2*4850/15*3?
True
Suppose 4*q + 4*i - 7*i = 189966, 4*i = -24. Is 33 a factor of q?
True
Let r = -21 + 22. Let j = r + -75. Let i = j + 82. Is i a multiple of 5?
False
Let i = 103 + -178. Let c = -70 - i. Suppose 5*s + 2*b = -0*b + 90, -c*b + 25 = 0. Is s a multiple of 8?
True
Let w(x) be the first derivative of 25 - 12*x - 13/2*x**2. Does 22 divide w(-6)?
True
Let t(p) = 3*p + 2. Let l be t(-2). Let k(o) = -59*o**2 - 298*o - 7. Let v be k(-5). Let x = v - l. Is x a multiple of 2?
True
Let i(f) = 7*f**2 - 5*f - 23. Let x be i(-4). Suppose -3*k = -x - 62. Does 19 divide k?
True
Suppose -3*u + 35818 = -5*z, 0 = -183*u + 178*u + 5*z + 59670. Is u a multiple of 10?
False
Suppose -c - l + 28586 = 0, 51899 + 33894 = 3*c - 2*l. Does 27 divide c?
True
Let a(q) = -q**3 + 67*q**2 + 178*q + 170. Is 46 a factor of a(68)?
False
Let l(j) = -5*j + 2. Let h be l(-1). Suppose -30 = h*y + 12. Let f(q) = -7*q - 10. Does 8 divide f(y)?
True
Let l(k) = 119*k + 3045. Is l(-15) a multiple of 21?
True
Suppose 0 = 2*r + q + 7 - 2, -5*r = 3*q + 15. Suppose -2*t + 3*o - 7*o + 90 = 0, t + o - 40 = r. Is t a multiple of 10?
False
Let z(g) = g**2 + 2*g + 2. Suppose -j = -61 + 69. Does 5 divide z(j)?
True
Is 15 a factor of 6/(-3*7/21) - 7722/(-2)?
True
Let b(j) = -j**3 + 50*j**2 - 2*j + 15372. Is 84 a factor of b(0)?
True
Let c(i) = -510*i**3 - 2*i**2 + 5*i + 9. Is 127 a factor of c(-3)?
False
Let g(d) = -3*d**2 - 20*d - 11. Let w be g(-6). Is 27 a factor of -4 + 1 + 166 - w?
True
Suppose x - 136 = 5*z, -262 = -2*x - z + 6*z. Suppose 189*l = 187*l + x. Is 31 a factor of l?
False
Let a(j) = 13*j**3 - 10*j**2 + 9*j - 3. Let u be a(6). Suppose 3*m - u = -4*m. Is m a multiple of 17?
True
Suppose -2*f - 52 = -166. Suppose 4*t - f = t. Suppose -4*v + t = 11. Is v a multiple of 2?
True
Suppose p = y + 24047, 2*p - 9*y - 48073 = -10*y. Is p a multiple of 117?
False
Let c(x) = 0*x**2 - 2*x + 2*x**2 + x**3 - 5 - 2*x + 2. Let j be c(-2). Suppose -5*s + 820 = j*k, 3*s - 110 - 361 = 4*k. Does 12 divide s?
False
Let u be (-1)/(2/(-20)*2). Suppose -3*j = -u*j + 6. Suppose -j*c + 5*c = 38. Does 19 divide c?
True
Let x = -59 - -59. Suppose x = 5*l + 2*d + 114, -4*l - 3*d = 49 + 45. Let q = l - -46. Does 24 divide q?
True
Suppose 35*r = 32*r + 45. Suppose -r = m - 21. Is 6 a factor of 2145/21 - m - (-2)/(-14)?
True
Let x(c) = -23*c + 4*c - 8 + 12 + c + 7*c. Let r(t) = -t**3 - 6*t**2 + t + 2. Let o be r(-6). Is 8 a factor of x(o)?
True
Let o(g) = g**2 - 8*g + 12. Let r be o(5). Let x = 31 - 56. Is -3*(x/r)/(-5) a multiple of 5?
True
Suppose 679352 = 217*w - 109009. Does 12 divide w?
False
Let y = -34459 - -48991. Is 31 a factor of y?
False
Let k(s) = 7*s + 47. Let i be k(-6). Suppose -r = 4 - 9, a = -i*r + 235. Is 35 a factor of a?
True
Suppose 0 = 195*w - 199*w. Suppose -4*b + 1170 = -w*b + 3*g, 4*g = 4*b - 1184. Is b a multiple of 42?
True
Suppose -174 + 147 = -9*v. Suppose -4*l + 5702 = v*k + 1786, 2*k = 0. Is 32 a factor of l?
False
Let z(b) = 15*b + 50. Let w(s) = -s - 1. Let t(d) = w(d) - z(d). Is 33 a factor of t(-26)?
False
Does 100 divide (-38)/(-323) - (-452186)/119?
True
Let t = 764 + -463. Let z = t + -220. Is z a multiple of 6?
False
Let k(r) = -r**3 - 6*r**2 - 4. Let u be k(-6). Let m(z) be the first derivative of -3*z**2/2 - 4*z + 2. Is m(u) a multiple of 8?
True
Let a(y) = 55*y**3 + 6*y**2 + 70*y - 436. Is 80 a factor of a(6)?
True
Suppose 2*t + 3 = 3*j + 2, j - 23 = -5*t. Suppose j*c - 12 = 5*c. Does 14 divide (-32)/48 - 274/c?
False
Suppose 0 = 3*f - 12, 4*u + 4*f = 141 - 45. Suppose 4*c - 78 = -2*r, 3*r + 3*c = 137 - u. Is r a multiple of 4?
False
Suppose q = 3*s + 300, 0*s + 325 = q + 2*s. Let y = -187 + q. Is 57 a factor of y?
False
Let t = 2531 + -231. Let b = t - 851. Does 14 divide b?
False
Suppose -22*g = -24*g + 496. Suppose 2*n = -4*u + 3 + 17, -3*u = -n. Is (g/n)/(46/69) a multiple of 22?
False
Suppose -3*j = 4*y - 173966, 5*j - 2*j + 16*y - 173918 = 0. Is 15 a factor of j?
False
Let x(v) = v**3 + 34*v**2 + 23*v - 105. Suppose 13 = -5*j - 152. Is 11 a factor of x(j)?
False
Let k(i) = -510*i - 32. Is 13 a factor of k(-12)?
False
Suppose 67*g = -209*g + 9642888. Is 18 a factor of g?
True
Let j be 12/(-4) + (-3 - (-6 - 2)). Is 59 a factor of ((-24)/(-16) - j)*-1072?
False
Let o(y) = y**2 - 7*y + 12. Let s be o(5). Is s/(-1) - (-95 + -17) a multiple of 17?
False
Suppose 0 = -9*u + 171 - 72. Suppose -5*j - 5*o = -2*j + u, -4*j + 24 = -3*o. Suppose q + 5*x - 100 = 0, -j*q + 2*x + 68 = -300. Is 8 a factor of q?
True
Suppose 11*u = 5*u - 6. Let x = u - -17. Does 11 divide 22/(-5)*(-40)/x?
True
Let c(j) = -489*j + 51. Let w be c(-3). Suppose 0 = 4*g - 190 - w. Is 61 a factor of g?
True
Suppose -129 + 857 = z - 3*m, -2*z + m + 1476 = 0. Suppose 29*w - 19*w = z. Is 9 a factor of w?
False
Suppose 0 = 8*p + 76 - 164. Is (p - -903) + (-1 - 2) a multiple of 19?
False
Let z be 2 + 450/(4 + -3). Suppose -3*l - 12 = 0, 4*m - 2*l - 3*l = z. Suppose 10*b - 13*b + m = 0. Does 12 divide b?
True
Let c(r) = -4*r**2 - 12*r + 42. Let g(t) = -3*t**2 - 11*t + 40. Let n(y) = 2*c(y) - 3*g(y). Does 9 divide n(6)?
True
Let r be -12 - -2 - (1 - 1). Suppose -19*l + 3273 + 299 = 0. Let y = l + r. Is 25 a factor of y?
False
Let m(k) = -2*k + 8. Let v be m(0). Suppose -380 + 1244 = v*c. Is c a multiple of 18?
True
Let b(x) = 21*x**3 - 15*x**2 - 23*x - 11. Is 21 a factor of b(8)?
True
Suppose 0 = -2*b - 2*j + 1344, 4*j = -b - 0*b + 660. Suppose -3*q = -5*q + b. Let s = -230 + q. Is 12 a factor of s?
True
Suppose 3*s - 18 = 0, 284 - 2462 = -4*y - s. Does 70 divide y?
False
Let t be 18/(3/(-9)*-6). Suppose -16*m = -8*m - 240. Suppose -4*o + t*o - m = 0. Is o a multiple of 2?
True
Suppose -w + 7989 + 935 = 5*o, 0 = 5*w + 5*o - 44540. Does 7 divide w?
True
Let i(m) = -7*m - 124. Let g be i(-10). Is 4/(-18) - (15348/g - 3) a multiple of 41?
True
Let p = -16884 - -30340. Does 116 divide p?
True
Let v be (-1 - 20/12)*9/(-6). Suppose v*s - j - 4923 = 0, 3*j + 1 + 1227 = s. Does 23 divide s?
False
Suppose 4*m = i + 2*i - 16131, 5*i + 3*m = 26856. Is i a multiple of 27?
True
Suppose -4*m - 18 = 206. Let b = m - -71. Let i = b + -4. Is i a multiple of 4?
False
Let c(f) = 2*f - 14. Let m be c(8). Suppose -5*w + m = -z, -3*z + 4*w = -4*z - 2. Is z*83/(-7) - 2/(-7) a multiple of 13?
False
Suppose -4*s - 2*w = -81128, -10*w - 20 = -15*w. Is 39 a factor of s?
True
Let h(m) = 41*m**2 + 25*m - 532. Does 44 divide h(-13)?
True
Let d be (-28)/3*(-282)/(-4). Let m(b) = 187*b + 210. Let h be m(4). Let q = h + d. Does 30 divide q?
True
Let s be (-3 - 54/10) + 14/35. Let m(p) = p**3 + 10*p**2 + 8*p + 5. Does 69 divide m(s)?
True
Let b(m) be the third derivative of -m**6/120 - m**5/20 + 3*m**4/4 + m**3/6 - 5*m**2. Suppose g + 3*a + 4 = 0, -a + 15 = -0*g - 2*g. Is b(g) a multiple of 41?
False
Let a = 29484 - 11217. Does 202 divide a?
False
Let p = 51699 + -38388. Does 36 divide p?
False
Let q(i) = -i**3 - 5*i**2 + 7*i + 9. Let x be q(-6). Is 19 a factor of x + -1 + 525 - 3?
False
Let z(b) = -b**3 + 31*b**2 + 7*b - 49. Is z(22) a multiple of 5?
False
Let v(f) = -f**2 - 9*f - 14. Let w be v(-6). Let n(j) = 110*j - 22. Is 19 a factor of n(w)?
True
Let z = -5864 - -8384. Is z a multiple of 4