4. Does 34 divide d?
True
Let z(u) = -u**2 - 25. Let r be z(-10). Let w = r + 269. Does 16 divide w?
True
Suppose -4*k + 76 = -2*x + 8, 5*k - 115 = -5*x. Suppose q + k = 274. Let b = -52 + q. Is b a multiple of 29?
True
Let x = 3180 - 2971. Is x a multiple of 29?
False
Let c(p) = -p**3 - 15*p**2 + 16*p + 54. Suppose -85*w - 68 = -81*w. Is c(w) a multiple of 18?
True
Let z = 915 - -105. Is z a multiple of 85?
True
Let t be (-14)/8 + 2 + 1169/28. Suppose -4*m + t = 26. Suppose -7 = m*s - 31. Is 3 a factor of s?
True
Let t = -37 + 47. Suppose -4*m + 4*i + t = -30, 12 = -4*i. Does 7 divide m?
True
Suppose 5005 = -3265*u + 3276*u. Does 8 divide u?
False
Suppose -22*w + 13483 = -27965. Is 175 a factor of w?
False
Suppose 137*u - 135*u = -818. Let n(y) = 43*y - 5. Let v be n(-5). Let w = v - u. Is 27 a factor of w?
True
Let v = 63031 + -37867. Is 21 a factor of v?
False
Is 6 a factor of (-33064)/(-12)*(290/(-20) + 16)?
False
Suppose -47*n - 9 = -56*n. Let q(f) = 123*f**3 + 4*f**2 - 4*f + 2. Is 25 a factor of q(n)?
True
Is ((-126)/30)/(21/(-23520)) a multiple of 21?
True
Let v be 2 - (-1 + -5) - 4/1. Suppose 5*h = 2*h + v*f + 1924, -4*f = h - 652. Is h a multiple of 29?
False
Suppose -14581*p = -14537*p - 520608. Is 24 a factor of p?
True
Let x(t) = 22*t**2 + 9*t - 14. Let p(r) = -2*r**3 + 67*r**2 - 34*r + 37. Let z be p(33). Is x(z) a multiple of 9?
False
Let g = -213 - -42. Let b = -82 - g. Is 61 a factor of b?
False
Suppose -1437 - 333 = -2*m - 2*g, -2651 = -3*m + g. Let d = 1400 - m. Suppose -3*r = -15*r + d. Is r a multiple of 14?
False
Let q = -483 + 286. Let s = q + 234. Is 3 a factor of s?
False
Let b(u) be the first derivative of -u**3/3 - 13*u**2 - 24*u + 20. Does 8 divide b(-18)?
True
Let j = 1 + 2. Let n be ((-1)/9)/(-1) + (-4848)/(-108). Suppose -j*b = -8*b + n. Is b even?
False
Suppose 22*a - 5480 = 17*a + 5*o, 1104 = a + o. Is 50 a factor of a?
True
Does 18 divide (23/((-391)/(-306)))/(1/84)?
True
Let t = -2542 - -4747. Is t/18 + 2/4 a multiple of 5?
False
Suppose 4*o - 93*o + 47*o = -43806. Is o a multiple of 11?
False
Suppose -9 = 33*h - 36*h. Suppose -6 = -3*q + 2*r, h*q - 4*r + 4 = q. Suppose q*a + 3*a = 980. Is a a multiple of 14?
True
Suppose -3*b + 4 = -2. Suppose 290 = j + b*x, -5*x - 659 - 436 = -4*j. Is j a multiple of 28?
True
Let f(n) = -141*n + 1290. Is f(-4) a multiple of 7?
False
Let u(s) = 3*s**2 + 24*s + 80. Is 12 a factor of u(23)?
False
Let a(q) = 1115*q**2 + 16*q - 51. Is 71 a factor of a(3)?
False
Let h = -439 + 688. Suppose 3*z + h - 1080 = 0. Let g = z - 166. Does 29 divide g?
False
Does 145 divide (-1)/(358860/119625 + -3)?
True
Suppose 0 = -j - 4*r - 9, 4 = -r + 2. Let y(l) = -10*l**2 + 2*l + 1. Let x be y(j). Is (-1 - -19)*((-220)/12)/x a multiple of 6?
True
Let d(k) = 5*k**3 + 6*k**2 - 14. Let n be d(-5). Let u = n - -885. Is u a multiple of 18?
True
Let o = -2189 - -11090. Is 43 a factor of o?
True
Suppose 5*o - 232 = -2212. Suppose -q + 587 = -3*w, 9*w = 2*q + 11*w - 1150. Let s = o + q. Does 21 divide s?
False
Suppose -5*s - 60854 = -2*p, -1639*p + 3*s = -1643*p + 121812. Is 58 a factor of p?
False
Let o(n) = -n**2 + 8*n + 8. Let p be (2 - 5)*70/(-21). Let w be o(p). Let l = -1 - w. Is l a multiple of 11?
True
Suppose 0 = -2*r + w + 49197 - 14269, -4*r = 5*w - 69856. Is 23 a factor of r?
False
Suppose 12109*r = 12097*r + 107460. Is r a multiple of 113?
False
Let l(k) = -12*k**3 + 9*k**2 + 5*k + 5. Let v(r) = -5*r**3 + 4*r**2 + 2*r + 2. Let y(u) = 2*l(u) - 5*v(u). Suppose -2*t = 2*t - 24. Does 36 divide y(t)?
True
Suppose -11*w + 15*w - 5*n - 11954 = 0, 3*n - 18 = 0. Is 14 a factor of w?
True
Let m = 32 - 34. Let g be -2*(-5 + (-2)/m). Is (222/g)/(36/48) a multiple of 11?
False
Let c(j) = -j**3 - 11*j**2 + 82*j - 8. Let z be c(5). Let q(l) = 6 + 29*l**2 + 79*l**2 - 5*l - l - 1. Is 58 a factor of q(z)?
False
Suppose d + 145 = -5*y + 19, 5*d + 682 = y. Does 16 divide (762/8)/((-51)/d)?
False
Suppose 2*u = -2*q - 16, 3*u + 33*q + 28 = 32*q. Let s(j) be the first derivative of j**3/3 - j**2 + 7*j + 1. Does 27 divide s(u)?
False
Let s = -6197 - -24727. Is 85 a factor of s?
True
Let u = -3022 + 5689. Is u a multiple of 21?
True
Let n(g) = -10*g - 8. Let p be n(5). Let m = 106 - 107. Does 23 divide p*((2 - m) + -4)?
False
Let p = -27 - -33. Suppose -5*y = -p*a + 10*a - 1863, 4*a + 387 = y. Is y a multiple of 12?
False
Let b(d) = 168*d + 159. Let j(n) = -34*n - 32. Let f(g) = 5*b(g) + 24*j(g). Is 9 a factor of f(18)?
True
Suppose -a = 4*w - 13, 3*w + 20 = 5*w - 4*a. Suppose 3*b + w*r - 17 = 3, 0 = 2*r - 4. Suppose 0 = -2*t + l + 138, 3*t - b*l - 193 = l. Is 12 a factor of t?
False
Let c(a) = -10132*a - 305. Is 31 a factor of c(-1)?
True
Let h(j) = 299*j + 1235. Is h(18) a multiple of 149?
False
Let u = 19293 + -11265. Does 18 divide u?
True
Let z(w) = w**3 + 13*w**2 + 43*w + 16. Let a be z(-5). Does 13 divide -5 + (193 - 6)/a?
True
Let j(y) = 2*y**2 - 12*y + 13. Let r be j(4). Is 13 a factor of 7/(-21) - (4 + 442/r)?
True
Let z = -170 - -259. Suppose 6*k + 36 = -0*k. Let j = k + z. Is j a multiple of 22?
False
Let w(q) = 5*q**2 - 154*q - 173. Does 8 divide w(48)?
False
Suppose 2*q = d - 8, -3*d + 2*q + 13 = -7. Suppose -5*r - d = -6*r. Suppose r*s = s + 50. Is 4 a factor of s?
False
Let d = 126 + 1034. Suppose n - d = -5*k, -30*n = -5*k - 27*n + 1140. Does 26 divide k?
False
Is ((-336)/(-84) + (-206)/(-4))/(3/80) a multiple of 10?
True
Suppose -5*n + 0*n + 2*q = 4, 0 = n + 3*q - 6. Let g be ((-4)/(-6))/(-2)*(6 + n). Is (3 + -2)*-197*g/2 a multiple of 20?
False
Let a = -766 + 432. Let j = a + 743. Is j a multiple of 11?
False
Suppose 4*r + 54 = 42, -4*r - 3124 = -4*w. Is 3 a factor of w?
False
Let t be (-3 + 1 + 3)/((-4)/(-792)). Is 13698/t - (-2)/(-11) a multiple of 11?
False
Suppose -2*z + 60 = -s, 3*s - z + 4*z + 135 = 0. Let g = s - -38. Is g/(-3)*(-4 - (-261)/6) a multiple of 15?
False
Let p be (-657)/(-6)*(-18)/(-27). Let j = -71 + p. Let b = j + 30. Is 8 a factor of b?
True
Is 32 a factor of (1 - 8) + -2547*(-75)/135?
True
Is 110 a factor of 2254/((22/(-33))/(-2))?
False
Suppose 2*r = 2*m + 531 + 12199, r = -5*m + 6341. Does 15 divide r?
False
Let s(a) = 5*a - 22. Let x be ((-4)/(-10) + (-24)/10)*-4. Let q be s(x). Is 12 a factor of (200 + 0)*(19 - q)?
False
Let v = -94 + 102. Let x(m) = -3*m**2 + 23*m + 25. Does 8 divide x(v)?
False
Let q(z) = -3*z**3 + 190*z**2 - 28*z + 110. Is q(63) a multiple of 20?
False
Does 113 divide ((-2147)/5)/((-82)/1640)?
True
Suppose -7 = g - 2*j, 2*g + 0*j - 5*j = -9. Let q = -3 - g. Suppose 0 = -q*d + 15*d - 24. Is 8 a factor of d?
True
Suppose 5*m = 7*d - 7539, 115 = 5*d + 2*m - 5231. Is d a multiple of 3?
False
Is 92100/14 - ((-1199)/(-77) + -16) a multiple of 9?
True
Suppose 0 = -6*x + 4*x, -7*d + 100695 = 5*x. Is 18 a factor of d?
False
Let q = 33 - 31. Let r be q/(-4) - (-2685)/30. Let z = 139 - r. Is z a multiple of 14?
False
Let n = 76502 - 44756. Is n a multiple of 251?
False
Let u(m) = 4*m**3 + 5*m**2 + 66*m + 32. Is 59 a factor of u(10)?
True
Suppose 13*s = -15*s + 160076. Suppose 6*b + 551 - s = 0. Is 37 a factor of b?
False
Let w be 747 - ((-120)/4)/(-5). Suppose 0 = 16*i - 15*i - w. Is i a multiple of 13?
True
Is (-120)/(-80)*(-1)/((-9)/(-30)) + 15651 a multiple of 20?
False
Suppose 0 = -8*o + 38*o - 92970. Let k = o + -2199. Does 20 divide k?
True
Let z be -9 - (-3 - -1)/(-2). Let y(p) = 3*p + 16. Let u be y(z). Is 13 a factor of (18/(-12))/(u/(-8))*-56?
False
Suppose -3*q = -3*n + 4056, -336 = -n - 3*q + 1024. Suppose 0*y = 3*y - 4*b - 804, -5*y + 2*b + n = 0. Is y a multiple of 68?
True
Is (119340/1547)/((-2)/(-245)) a multiple of 75?
True
Let d = -31 + 32. Let l be 21/(50/44 - d). Let f = -61 + l. Is 22 a factor of f?
False
Suppose 5*u - 83 = 47. Suppose 3*t - u = -17. Suppose 97 - 709 = -t*b. Is b a multiple of 17?
True
Let i(y) = -2*y**3 + 5*y**2 - 2*y + 2. Let n be i(2). Suppose 4*t - 35 = -g, n*t - 139 = -5*g - 0*t. Does 10 divide g?
False
Suppose -3*v - 25 = -v + 5*h, h = 5. Let p = -12 - v. Suppose 0 = -p*s + 17*s - 128. Is s a multiple of 2?
True
Let t(x) = 4*x**3 + 10*x**2 + x - 10. Let h be t(-7). Let d = 82 - h. Suppose -10*z - 141 = -d. Is 25 a factor of z?
False
Let a = 40 + -36. Suppose a*q + 2*x + 38 = -0*x, -5*q + 2*x = 52. Let l = q + 31. Is