se -11*c + d = -8*c. Does 11 divide c?
True
Suppose 14761 = -9*l + 79723. Does 18 divide l?
True
Let l(z) = -z**2 + 12*z + 102. Let n be l(17). Suppose -n*m = -17044 + 5484. Is 8 a factor of m?
True
Let h(f) = 2*f**2 + 40*f - 39. Let r be h(-21). Suppose -i = l - 5 - 5, -r*i - 18 = -3*l. Is (-52)/(-1)*4/l a multiple of 5?
False
Let x(u) = 7*u - 18. Let h be x(3). Suppose 0 = 5*t + h*l - 1545, t - 2*l + 3*l - 309 = 0. Is t a multiple of 41?
False
Let r(k) = 10*k + 21*k**2 - 13 - 5 - 37*k**2 + 7*k**2 + 26*k**2. Is 35 a factor of r(4)?
False
Let y = 83 - 78. Suppose 1 = -3*f + y*o + 3, 2*o - 4 = 0. Suppose 4*s - f*l - 133 = -l, -3*s + l = -96. Does 2 divide s?
False
Suppose -w = 2*y - 6245, 0 = -2*y - 12*w + 34*w + 6406. Is y a multiple of 40?
False
Is (-1)/4 - (211785/(-588) + 1/(-14)) a multiple of 10?
True
Let g be 0 - (19/(-7) + (-18)/63). Suppose -2*s = g*n + 3*s - 236, 3*n - s - 266 = 0. Is n a multiple of 6?
False
Suppose -5*w + r = -10245, 215*w - 214*w + 2*r = 2060. Is w a multiple of 41?
True
Let t(g) = -g**3 - 13*g**2 - 4*g - 18. Let a be t(-13). Let k = a + -17. Suppose k*r = 16*r + 19. Is r a multiple of 13?
False
Suppose 0 = -8*i + 2 + 6. Let a be ((-11)/(44/24))/(i/35). Let j = 297 + a. Is 9 a factor of j?
False
Let x be ((-192)/160)/(46/40 - 1). Let l = x - -299. Does 13 divide l?
False
Let l = 280 - 24. Does 8 divide -1*44*(-2624)/l?
False
Let g = 112 - 147. Is (-6535)/g - (4 + 60/(-14)) a multiple of 11?
True
Let h = -478 - -480. Suppose h*w - 5*r = 108, -w + 0*w + 3*r = -55. Is 7 a factor of w?
True
Let a(f) = -48*f + 146. Let l(z) = -z + 141. Let u(r) = -a(r) + l(r). Suppose 0 = -4*v + 3*t + 3, 3*v = v + t + 3. Does 34 divide u(v)?
True
Suppose -4*r + 3*y + 26 = 0, 0 = -3*r - 3*y - 2*y + 5. Suppose r*h = 19*h - 12852. Is h a multiple of 23?
False
Suppose -2*a = -20 - 20. Let d = a + -11. Let s(k) = -k**3 + 11*k**2 - 15*k - 13. Is s(d) a multiple of 7?
True
Suppose -135 = 26*r - 35*r. Suppose 21*j = r*j + 1380. Does 25 divide j?
False
Let a(r) = -3*r**2 + 251*r - 148. Does 34 divide a(54)?
True
Let n be (-39)/234 - ((-17534)/12 + -1). Suppose -w - 3*a = -732, -2*w + 60*a = 65*a - n. Is 25 a factor of w?
False
Suppose b = -u - 20 + 98, -2*u + 152 = 3*b. Suppose 13*g - 251 + u = 0. Suppose 0 = g*s - 7*s - 690. Does 17 divide s?
False
Is 29 a factor of 44/(-4) - (-10 + (21 - 26934))?
True
Suppose -4*g + 4801 = d, 0 = 5*d - 49 + 64. Is 14 a factor of g?
False
Let d be (-28 - -22)*(-11)/6. Suppose -2*a = -m + 466, -9*a + d*a - 962 = -2*m. Does 33 divide m?
False
Suppose 2*m = 3*i - 323, 2*i + 13 - 207 = -4*m. Let h = i - -126. Is 33 a factor of h?
True
Suppose 2*q + 3 + 1 = 0, -6*q = 3*w - 17148. Is w a multiple of 65?
True
Let b = -11048 - -12056. Is 7 a factor of b?
True
Let x be (0 - 2)/((10/(-159))/5). Let v = x + -129. Is 15 a factor of v?
True
Let a = -18 - -26. Let f be -7*(-3)/84 + 334/a. Suppose -102 = -4*i - v, -2*i - v - 4*v + f = 0. Is i a multiple of 15?
False
Let a = -448 + 46. Let n(b) = 75*b**3 + 4*b**2 + 3*b - 8. Let w be n(2). Let p = w + a. Is 29 a factor of p?
False
Let q = 10273 - 5778. Does 9 divide q?
False
Suppose 0 = -324*z + 3004358 - 61466. Is 14 a factor of z?
False
Suppose 0 = 2*h + u + 133 - 14, 3*u - 281 = 5*h. Let a = h + 60. Suppose 2*z + 2*z - 548 = -4*s, 3*z - a*s = 416. Is 16 a factor of z?
False
Suppose -7 = -4*h - 123. Let y be (h + -2)*-1 - -4. Is ((-10)/y)/((-2)/238) a multiple of 20?
False
Suppose -5*c + 14*z - 16*z = -7, 0 = -4*c - 3*z. Let d(w) = 7*w**3 - 2*w - 4. Is d(c) a multiple of 20?
False
Let o = 35507 + -24240. Is o a multiple of 17?
False
Suppose 0 = -191*x + 198*x - 133168. Is 109 a factor of x?
False
Suppose 0 = 37*u - 41*u + 16, 4*a = -5*u + 13020. Is 65 a factor of a?
True
Let j be ((-8)/(-12))/((-13)/(-6) + -2). Let t be j*12*(13/3 - -3). Suppose t = 2*w - 3*p, -2*w = -4*p - 184 - 166. Does 23 divide w?
False
Let i(y) be the second derivative of -y**4/6 - y**3/2 - y**2 - 19*y. Let a be i(-2). Let t(v) = -3*v**3 - 4*v**2 + 4*v. Is t(a) a multiple of 14?
True
Suppose -3*q + 108*o - 106*o = -71166, -4*q - 2*o = -94874. Is q a multiple of 60?
False
Suppose 4*y - 47 = 217. Suppose -5*a + 11 = y. Does 3 divide a/22*(-49 + -1)?
False
Let a(r) = 21*r**2 + 3*r**3 + 4 + 17*r - 3*r**3 - 2*r**3 - 16. Is 16 a factor of a(9)?
True
Suppose -b = -2*s + 2092, -5*s - 13*b + 16*b + 5229 = 0. Suppose -4*v - 5*w = -s, -3*v + w + 762 = -3*w. Is v a multiple of 23?
False
Suppose -306 = 97*k - 100*k. Suppose 3*n = 5*c + k, -7*n - 68 = -9*n - 4*c. Is 17 a factor of n?
True
Let l(m) = -197*m + 7. Suppose 6*u - 4*u + 6 = -4*a, -3*a = 3*u + 3. Is l(a) a multiple of 29?
False
Let u = 3230 - 1339. Is u a multiple of 31?
True
Let t = 422 - -11. Suppose 2*c + 506 = -42. Let j = t + c. Is 24 a factor of j?
False
Suppose 3*v + 12 = 7*v. Let d(f) = -f**3 + 5*f**2 + 6*f. Let s be d(6). Suppose s = -2*j + 4*y + 412, -662 = -v*j + 3*y - 8*y. Is 25 a factor of j?
False
Suppose -54*r + 10 = -52*r. Suppose 4*i + 3*h - 830 = h, -r*h + 411 = 2*i. Is 26 a factor of i?
True
Let q = 4105 + -817. Does 17 divide q?
False
Let t = -176 - -177. Is 7 a factor of -56*1/(-2)*t/4?
True
Let y(a) = -a**2 - 57*a + 239. Is y(-35) a multiple of 47?
False
Suppose 14*d - 12*d + 29*d - 141360 = 0. Is 30 a factor of d?
True
Let z be 20/5 - 0 - (-2)/(-1). Let v(n) = 2*n**z - 4*n + 17 + 0*n - 9. Does 26 divide v(-5)?
True
Let l = 8001 - 4579. Is 13 a factor of l?
False
Suppose 2*d - 4*y + 20 = 0, -45 = 5*d + 2*y - 7. Is 21182/136 - 2/d a multiple of 2?
True
Let q(f) = -22 - 25 - 9*f + 57. Is q(-4) a multiple of 46?
True
Let c(d) = 34*d + 31. Let y be c(5). Suppose -4*g - 4*s + 252 = 0, 3*s + y = 3*g + 30. Suppose -13*l + 7*l = -g. Does 5 divide l?
True
Let t(s) be the second derivative of 7*s**4/12 - s**3/6 + 21*s. Does 2 divide t(1)?
True
Suppose -1116 - 5648 = -4*x. Is x a multiple of 115?
False
Suppose 0 = -4*v - u + 240, 0 = -2*v + u - 5*u + 120. Suppose -6 + v = 3*d. Is 6 a factor of d?
True
Suppose 241*n - 239*n = 5*d + 9310, n - 4*d = 4649. Does 176 divide n?
False
Let z = 38797 + -7208. Is z a multiple of 63?
False
Let n(b) = 12*b - 2. Let v be n(1). Let g(t) = t - 8. Let h be g(v). Suppose 2*l + k = 54, -k + h*k + 2 = 0. Is 7 a factor of l?
True
Let m(f) be the first derivative of f**4/4 - f**3 - 4*f**2 + 6*f + 27. Let w = 11 + -6. Is 8 a factor of m(w)?
True
Let g(a) = 13 + a - 16 - 10*a. Let k be g(2). Does 11 divide (-1)/7 + (-234)/k?
True
Let n = -86 - -108. Is (-4)/n - (-9420)/22 a multiple of 15?
False
Suppose 0 = 3*f - 5*d - 17009, 28327 = 5*f + 177*d - 180*d. Does 5 divide f?
False
Let l(h) = 13*h**2 + 3*h + 13. Let p be l(-6). Let v = p - 84. Is v a multiple of 17?
False
Let t(x) = x - 16. Let z(r) = r - 24. Let d(j) = -j**2 - 16*j + 22. Let g be d(-17). Let a(w) = g*z(w) - 8*t(w). Is 5 a factor of a(-9)?
True
Let r = -1604 + 6619. Is 6 a factor of r?
False
Let o be (42/4 - 9)*2. Suppose 0*j = j - o, -4*a + 3*j = -1003. Does 23 divide a?
True
Let s be (-8 + (-225)/(-1))*(1 - 0). Suppose 4*u - s = 3*t, 1 = -t - 2. Does 13 divide u?
True
Let n = 6321 - 4330. Does 7 divide n?
False
Suppose 62390 = d - 2*z, -5*d = -4*z - 483820 + 171840. Suppose d = 43*u - 13*u. Is u a multiple of 22?
False
Let j = 2031 - -594. Is 75 a factor of j?
True
Suppose -2*o - 169 = -5*j, 33 + 27 = 2*j + 3*o. Suppose j*b - 18*b = 13065. Is 17 a factor of b?
False
Suppose 5*h + 4*l = 11508 - 1640, h - 2*l = 1982. Let i be h/(-16) - (2 + 1/(-2)). Let z = i + 208. Is 33 a factor of z?
False
Suppose -30*v + 153969 = -39968 - 31333. Is v a multiple of 148?
False
Suppose 0 = -3*i - 5*v - 212, 4*i + 80 = v - 172. Let f = 69 + i. Is 1*147 + (f + -5 - 3) a multiple of 18?
True
Let m be ((-13504)/(-40) + 0)*(2 - -3). Suppose -44*b + m = -424. Does 8 divide b?
True
Let z(d) = 3*d - 26. Let h be z(10). Suppose h*w - 31 = 5. Is 145/15 - 6/w a multiple of 2?
False
Suppose 3*k + l = 5 + 28, 0 = -3*l - 9. Suppose -2992 = -k*d - 5*d. Is 22 a factor of d?
True
Suppose -t - 157 - 346 = -4*k, 4*k - 505 = -t. Let f = k - -718. Is f a multiple of 10?
False
Let q = -417 - -599. Let y = q - -1096. Does 64 divide y?
False
Let n(h) = h**3 + 17*h**2 - 2*h - 52. Let u be n(-16). Let y = 394 + u. Is y a multiple of 45?
True
Suppose -16*m + 18*m - 252 = 0. Is 20 a factor of 120