3. Does 49 divide x?
False
Let p be (-42)/63 + 4/6. Suppose 4*b + 5*a - 1396 = a, p = -2*b + 3*a + 723. Is 28 a factor of b?
False
Let b(d) = -12*d**3 + 5*d**2 + 58*d + 20. Does 53 divide b(-4)?
True
Is 15 a factor of 401 + (3 - -1) + (-6 + 6)/(-8)?
True
Let r = 17619 - 9717. Does 3 divide r?
True
Let w = 322 - -1477. Let y(r) = r**2 - 48*r - 1180. Let i be y(-18). Does 32 divide (-2)/i - w/(-28)?
True
Let z be (-15)/1*14250/225. Let h = 1679 + z. Is h a multiple of 15?
False
Let d(z) be the first derivative of 2*z**3 - 5*z**2/2 - 6*z - 8. Let t be 4/((-4)/2) + (-6)/6. Does 9 divide d(t)?
True
Let b be (-4)/(-34) - 36/17. Let g be b + 1 - -5 - (-3 + 4). Suppose 2*z - z - 47 = 5*x, -g*z = x - 141. Is z a multiple of 26?
False
Let k be (-4 + (-8)/28)*-7. Let n = k + -33. Let y(o) = -2*o**3 + o**2 + 9*o + 6. Does 6 divide y(n)?
True
Let c = -10586 + 16654. Is c a multiple of 4?
True
Does 25 divide 2 - 3 - (-110752)/((-368)/(-23))?
False
Suppose -15 = -9*n + 57. Suppose -5*d + 5*x = -455, -5*d + 12*x - n*x + 454 = 0. Suppose 16*u - 1146 = -d. Is u a multiple of 11?
True
Let q be 6/27 - (-1451)/(-9). Let l = q - -348. Suppose v - c = -0*v + 48, 4*v - 5*c - l = 0. Is v a multiple of 9?
False
Suppose 5*m - 441 = -4*a, -5*m - a + 447 = -3*a. Let i = m - 51. Is 7 a factor of i?
False
Suppose 20*c - 15*c - 2*p - 56 = 0, -4*c = 5*p - 25. Is 4 a factor of (34 - c)/(2/(-9)*-1)?
True
Let o = -7244 - -13305. Is o a multiple of 29?
True
Suppose -3056 = -9*j + 2488. Is 8 a factor of j?
True
Suppose 0 = -134*o + 106*o + 130340. Is 133 a factor of o?
True
Let k be -5 - 6/(-24)*-1084. Let j = k - -472. Does 28 divide j?
True
Suppose -4*f = -f + 4*j - 428, 0 = 3*f - 2*j - 452. Let x be (11/22)/((-3)/(-66)). Suppose 3*g = f + x. Is g a multiple of 9?
False
Suppose 5 = d, 3*q + 165 = -3*d - 42. Let t = q + 91. Is 3 a factor of t?
False
Let q(a) = -37*a**2 - 9*a - 4. Let d be q(-3). Is 14 a factor of -1 - d - -4*(-4)/(-16)?
False
Let r(d) = -3*d + 20. Suppose 0 = -8*j + 5*j + 18. Let m be r(j). Suppose 5*x + m*l = -l + 283, 0 = x + 5*l - 61. Is x a multiple of 7?
True
Let d(g) be the first derivative of g**5/20 - 9*g**4/8 - 2*g**3/3 - 23*g**2/2 - 21. Let u(o) be the second derivative of d(o). Is 13 a factor of u(12)?
True
Let h be (-1 + 0)/(58/10 - 6). Is (-18)/(-45) + 2638/h a multiple of 22?
True
Suppose 147*n - 152*n + 9060 = 0. Is 12 a factor of n?
True
Suppose 43245 = 157*d - 12086 - 404. Does 26 divide d?
False
Is (((-117)/(-6))/3)/(179/301794) a multiple of 21?
False
Let a = 15983 - -6444. Does 7 divide a?
False
Let f be (-3)/(6/(-8) + 10/(-40)). Is (f/(-2))/((-9)/4902) a multiple of 23?
False
Suppose 2*d + 2*d - 1270 - 410 = 0. Is 105 a factor of d?
True
Suppose -10125 = 49*h - 58*h. Suppose 4*u = 315 + h. Is 10 a factor of u?
True
Let v(l) = -l**3 + 6*l**2 - 2*l + 7. Let t be v(6). Suppose -4*b - 45 = j, -4*b + 5*b - 5*j - 15 = 0. Is (-179)/(-2) - t/b a multiple of 14?
False
Let n(x) = -3*x**3 - 3*x**2 - 4*x - 6. Let y be ((-24)/(-14))/(17/119). Suppose 6 = -6*j - y. Does 30 divide n(j)?
True
Let w be (320/(-55) - -6) + (-39)/33. Let t(v) = -26*v**3 + 3 - v**2 - 3 - 2 - 3*v. Is 5 a factor of t(w)?
False
Let n(x) = -43*x - 1. Let d = 7 - 34. Let v be (1 + (-4)/2)/(d - -28). Does 7 divide n(v)?
True
Suppose -138*k = -211*k + 321419. Does 46 divide k?
False
Suppose 0 = 1000*g - 993*g + 371. Is g/(-212) - 1419/(-4) a multiple of 5?
True
Let h be (-5 + 2)*2264/(-4). Suppose -977 = -25*l + h. Is 7 a factor of l?
False
Let b = -7317 - -15853. Is 32 a factor of b?
False
Let n(w) = -w**2 + 12*w + 5. Let y = 2 + 10. Let o be n(y). Suppose 4*l + 235 = o*g, -78 - 162 = -5*g + 3*l. Is 30 a factor of g?
False
Suppose 5*z + 20 = 30*n - 25*n, 8 = -z + 2*n. Is ((-113 - 4) + 3)*(-3 + z) a multiple of 18?
True
Let k(l) = l**2 + 14*l + 24. Let z be k(-12). Suppose 2*u = -z*u. Suppose -2*p + 5*d - d = -70, u = 4*p - d - 112. Is 6 a factor of p?
False
Suppose 10*c = 14 + 6. Suppose -c*s = a + 2*s - 28, -118 = -5*a + 2*s. Is 5 a factor of a?
False
Let p(a) = -a**2 - 5*a - 4. Let m be p(-3). Suppose 5 = -m*w + 13. Suppose 5*z - 60 = -w*d, 4*z + 49 = 3*d + 4. Is d a multiple of 5?
True
Suppose -127*q + 88*q + 302796 = 0. Is 12 a factor of q?
True
Let x = 181 + -234. Let y = x - -413. Does 18 divide y?
True
Let m(b) be the third derivative of 47*b**4/24 + 179*b**3/6 - 158*b**2 + 1. Does 45 divide m(9)?
False
Suppose -13608 = 595*d - 599*d. Suppose -4*h = m - 1134, 0 = -3*m - 78*h + 76*h + d. Does 14 divide m?
True
Suppose -203*d = -3*u - 207*d + 17203, -2*u - 4*d + 11474 = 0. Is 17 a factor of u?
True
Let l(g) = 36*g - 5. Let j be l(-1). Let v = -39 - j. Suppose v*y + 159 = 5*y. Is 23 a factor of y?
False
Let k(l) = 1373*l**2 + 9*l + 4. Does 9 divide k(-1)?
True
Suppose -7*i + 1805 = -3649 - 34614. Is i a multiple of 72?
False
Let w(i) = -7*i**3 + 25*i**2 + 24*i - 27. Let f(v) = -10*v**3 + 37*v**2 + 35*v - 40. Let r(j) = -5*f(j) + 7*w(j). Is r(12) a multiple of 21?
False
Suppose -38038 = 479*l - 490*l. Does 30 divide l?
False
Suppose 0 = 5*b + 267 - 282. Suppose 0 = b*y - 5*h - 0*h - 513, h = 4*y - 684. Does 9 divide y?
True
Suppose -v - 3*t + 342 = -5*t, 5*v = -2*t + 1674. Suppose 2*h - m - 8 - v = 0, -2*h - 2*m = -332. Is 15 a factor of h?
False
Let z(i) = 2*i**2 - 37*i + 239. Is z(27) a multiple of 47?
False
Let s(u) = u**3 - 2*u**2 + 21*u - 8. Is 211 a factor of s(21)?
False
Let v = 100 - 101. Is v + (-2 - -3)*-1 + 28 a multiple of 6?
False
Let q = -1040 + 1043. Suppose 0*a + 3*h - 213 = -a, 0 = a + 4*h - 218. Suppose 53 = b + 4*w, 4*b - q*w + 5*w = a. Is b a multiple of 8?
False
Does 6 divide (-17853)/6*(-18)/33?
False
Let p = 197 - 197. Suppose -3*m + 103 = 2*d - 187, -d - 4*m + 140 = p. Is d a multiple of 11?
False
Suppose 0 = -101*d + 18967 + 177175. Does 63 divide d?
False
Suppose -7*j + 3004 = -2*k - 3610, -1872 = -2*j + 5*k. Is 22 a factor of j?
True
Let x = 69528 - 41306. Does 274 divide x?
True
Let q = 56 - 36. Let d = q - 23. Let p = 101 + d. Is p a multiple of 16?
False
Let h be (-48)/9*(-12)/(-8). Let q(m) = m**3 + 9*m**2 - 13*m + 10. Is q(h) a multiple of 46?
False
Let g = -146 - -154. Is 10 a factor of (-5 - (-93 - g))*(1 + 0)?
False
Suppose 16*n = -4*n + 100. Suppose 0 = -2*j - 3*t + 646, 5*j + n*t + 0*t = 1625. Is 24 a factor of j?
False
Suppose -2*z = -0 + 14. Let g(s) = 8*s + 2*s + 10*s**2 - 4 + 1 + 1 + s**3. Does 11 divide g(z)?
False
Suppose -3*w - 21*w = -168. Suppose -w*d = -472 - 753. Is 35 a factor of d?
True
Suppose -257849 = 24*d - 74*d + 76251. Is d a multiple of 176?
False
Let o(x) = -2*x**2 - 11*x + 9. Let i be o(-6). Suppose -i*b - 12*b = -6840. Is 24 a factor of b?
True
Let y be (17508 + 6)/(-9)*-3. Suppose 0 = 7*o + 707 - y. Is o a multiple of 53?
False
Let x(u) = 194*u**3 - 12*u**2 - 73*u + 3. Is x(5) a multiple of 77?
False
Let p = 17606 + -15689. Does 83 divide p?
False
Let j(o) = 8*o - 11. Let h be j(5). Let x(u) = h*u - 6 + 0 + 1 + 2. Does 20 divide x(4)?
False
Suppose 5*b + 0 + 6 = w, 0 = 5*b. Suppose -g + w*g = 120. Let r = -16 + g. Does 4 divide r?
True
Let h(y) = y**2 + 21*y + 66. Let d be h(-21). Does 2 divide 9/(2 + (-114)/d)?
False
Suppose -43*z + 173258 = -62425. Is z a multiple of 29?
True
Let f(t) = t**2 + 5*t + 364. Is f(-22) a multiple of 18?
True
Let t = 5433 - 2900. Is 13 a factor of t?
False
Suppose -2612 = -5*b + 4*f, 2*b - 1058 = 10*f - 15*f. Is 34 a factor of b?
False
Let j be 0 + -1 - (-4 - -1). Let a = 161 + j. Is 18 a factor of a?
False
Let t(z) = -5 - 9*z - 20 + 7. Suppose 0 = 5*w - b + 59, -7*w + 12*w = -b - 61. Is t(w) a multiple of 15?
True
Let a = 34 + -30. Suppose -x = 2*x + 5*l - 4, -a*l = -x + 7. Suppose x*r - 1 = 11. Is r a multiple of 4?
True
Is 119766/58 + (-42)/(-609) even?
False
Suppose 4*d = 6*a - 8*a - 398, 5*a + 971 = -4*d. Let i = -157 - a. Is 19 a factor of i?
False
Suppose 2*u = l + 839 + 545, -5*u + 3471 = 3*l. Suppose 2*w + 4*r - 1359 = 7*r, 3*r = -w + u. Is 19 a factor of w?
True
Let w be ((-234)/3)/(-3*1/56). Let t be w/20 + 2/10. Let b = t + 127. Does 50 divide b?
True
Let h be (1668/(-90)*3)/((-4)/10). Suppose -2*u = -h - 25. Is 9 a factor of u?
False
Let g(t) = t**3 + 5*t**2 - 11*t - 6. Suppose -16*i + 18*i = -14. Let c be g(i). Let z = 51 + c. Does 6 divide z?
True
Let c(t) = 47*t + 8. Let s