le of 3?
True
Let j = 527 + -47. Let c = j + -342. Suppose -c - 36 = -6*y. Is y a multiple of 29?
True
Suppose 0 = 2*q + 3*y - 26409, -q = 178*y - 177*y - 13203. Is 48 a factor of q?
True
Let b(r) = r**3 - 7*r**2 + 2. Let o be b(7). Suppose o*h = 6, 3*a + 10 = 3*h - 35. Is 148/a*9/(-3) + -1 a multiple of 9?
True
Let u = 33 - 8. Suppose -2*n - 1 = -u. Is -4 - -15*80/n a multiple of 11?
False
Suppose -180 = 53*n - 48*n. Let f(x) = x**3 + 35*x**2 - 49*x - 51. Does 11 divide f(n)?
False
Suppose -n + 4*i + 17 = 0, 0 = 3*i - 2*i + 3. Is 15 a factor of (-2299)/(-11) - (n - 0)?
False
Let d(t) = -397*t - 3133. Is d(-25) a multiple of 8?
True
Suppose -10*o = -0 - 90. Suppose o = 4*g - 3. Suppose -3*v - 196 = -5*m, 2*v + g = 3*v. Is m a multiple of 41?
True
Suppose -13*l + 14*l = 2. Let c be (-544)/(-6)*(-36)/(-16). Suppose -c = -r - l*r. Does 19 divide r?
False
Let i be (-4)/2 + (8 - -135). Let r = 77 - i. Does 30 divide (-1 - 1)*((4 - 0) + r)?
True
Let q be -3 - -14 - (14 - 13). Is (-6225)/(-12) + q/8 a multiple of 10?
True
Suppose 4184 = 4*o + r + 3*r, 2*o = r + 2077. Suppose o = 5*m + u, 6*m + 1036 = 11*m - 4*u. Is 16 a factor of m?
True
Suppose -34436 - 505644 = -86*h. Is 40 a factor of h?
True
Suppose 0 = -3*g + 33680 - 9629. Is g a multiple of 106?
False
Is 18 a factor of (-6)/7 + (-6134080)/(-140)?
False
Suppose -2*m + 2*o = -9076, -m + 122*o - 127*o + 4580 = 0. Is m a multiple of 5?
True
Let q(f) = 786*f**2 - 10*f - 4. Let r be q(5). Suppose r = 25*t - 13*t. Does 23 divide t?
True
Let t(v) = -2. Let n(i) = -2*i - 36. Let w(l) = -2*n(l) + 20*t(l). Let s be w(-7). Suppose -3*b + s = -7*b, -2*b - 137 = -5*q. Does 3 divide q?
True
Let j(r) = 6*r**3 + 5*r**2 - 7*r - 10. Let q(l) = -2*l**2 + 16*l - 11. Let d be q(7). Is j(d) a multiple of 22?
True
Let z(o) = o**3 + o**2 - o - 3. Suppose 2*b + 2*s + 4 = 0, -5*b + 5*s + 3 = -37. Let v be z(b). Suppose v*c - 29*c - 20 = 0. Does 20 divide c?
True
Is 806490/570 - 4/(-38) - 2 a multiple of 6?
False
Suppose 5*z - 80 = -4*i, -z + 1 = -2*i - 1. Suppose -m - 3*r + z = -9, -r - 149 = -4*m. Does 12 divide m?
True
Let u(n) = -n + 155. Let z be u(-33). Let m = z - -82. Is 30 a factor of m?
True
Suppose -5*i + 495 = 2*k, 5*k + 138 - 1398 = -5*i. Let y = 493 - k. Does 14 divide y?
True
Suppose 2*q + 630 + 220 = 0. Let u = 894 + q. Is 67 a factor of u?
True
Let l be 7 + -10 + 0 + 2 - 13. Let a(w) = w**2 + 17*w + 36. Let r be a(l). Is 28 a factor of 251/3 - (68/12 + r)?
True
Let t = 710 - 666. Suppose 0 = -t*k + 7151 + 55241. Is 37 a factor of k?
False
Let l = -149 - -98. Let g = 50 + l. Is (g*63)/(((-231)/14)/11) a multiple of 10?
False
Let l = 3024 - -1784. Is l a multiple of 4?
True
Let w = 471 + -289. Let j = w + -136. Is 4 a factor of j?
False
Let n = 133 - 128. Let v = n + 14. Suppose 68 = -v*a + 23*a. Does 7 divide a?
False
Let d(o) = 54*o**2 - o + 5. Let w be d(-6). Let q = w - 1027. Does 8 divide q?
True
Let x(u) = 48*u**2 - 14*u + 168. Is 4 a factor of x(11)?
False
Let f(p) = -p**2 - 9*p + 40. Let q be f(-14). Is ((-96)/(-30))/((-2)/q) a multiple of 3?
True
Suppose u + 7 - 13 = 0. Is ((-9)/63*54)/(u/(-56)) a multiple of 19?
False
Does 267 divide (-12 + 378/30)/(4/126380)?
True
Let h = 3415 - 1138. Is 16 a factor of h?
False
Let x(o) = 3*o**3 - 54*o**2 + 56*o - 147. Is 8 a factor of x(21)?
False
Suppose -61 = -p - 5*s, -4*p + 0*p - 2*s + 226 = 0. Suppose -p = -7*b + 553. Is 34 a factor of b?
False
Let u = 8774 - -4893. Does 173 divide u?
True
Let c = 17 - -33. Suppose -z = -q + 94, c + 29 = -z + 4*q. Let r = z + 113. Is 13 a factor of r?
False
Let w = -616 - -463. Let t = w + 1370. Is t a multiple of 37?
False
Let t = 472 + -454. Suppose t*s = 19*s - 32. Is 2 a factor of s?
True
Suppose -2*f + f = -5. Suppose 2*m - j - 16 + 6 = 0, -5*m + j + 19 = 0. Suppose -4*s - f*a = -83, 4*s = 6*a - m*a + 123. Is s a multiple of 2?
False
Suppose 159*h - 1680 = 154*h. Does 24 divide h?
True
Is (-7)/28*4 - (-3374)/(-7)*-71 a multiple of 183?
True
Let m be 4/3 + (-6)/(-9). Suppose 0 = -3*v + m*o + 126, -5*v + 2*o = 3*o - 197. Suppose -v = w - 6*w. Does 8 divide w?
True
Suppose 27 = -11*i + 82. Suppose b + 5*c - 164 = 0, -361 - 459 = -i*b - 4*c. Is 4 a factor of b?
True
Is 4 a factor of ((-352)/(29 - 31))/(1/80)?
True
Suppose 415 = -7*u - 68. Let f = -81 - u. Is 7 a factor of ((-63)/f)/(6/32 - 0)?
True
Is -3 + -1 + -3 - 2 - -4105 a multiple of 10?
False
Let u(m) = -29*m**3 + m + 24*m**3 + m**2 - 28*m**3. Let t be u(-1). Let b = t + 12. Does 5 divide b?
True
Suppose -2*g = 5*k + 2, -3*k = 3*g - 5*g + 14. Suppose 0 = -g*x + 5*p + 943, -2*p + 4 = 10. Does 29 divide x?
True
Let i(a) = -a**2 - 22*a + 63. Suppose 6*r - 154 = 13*r. Is 6 a factor of i(r)?
False
Let c be (4/(-10))/((-8)/(-20)). Let m(g) = 2*g**2 - g - 1. Let i be m(c). Does 4 divide (i/3 + -3)*-3?
False
Is 11 a factor of 1 - 133380/(7 + -19)?
False
Let c = 20143 + -9062. Is c a multiple of 206?
False
Suppose -5*v = 38*v - 27520. Does 40 divide v?
True
Suppose -11*u = 9*u - 3*u - 298690. Does 5 divide u?
True
Let w = -9394 - -13606. Does 52 divide w?
True
Suppose -92*b = -10*b + 22*b - 1549080. Is b a multiple of 40?
False
Let u(v) = -97*v - 16040. Is 8 a factor of u(-168)?
True
Let y(h) = 57*h + 19. Let z be y(17). Suppose -3*x - 987 = -9*k + 4*k, 2*x + z = 5*k. Suppose -2*l + 5*r + 125 = -7, 3*l + 5*r = k. Is l a multiple of 11?
True
Suppose 0 = 2*u + t - 16723, 5*u + 20869 = -5*t + 62664. Does 15 divide u?
False
Let h be (-8)/10 - (-20)/(-100) - -2849. Suppose -v = -4*q + 2206, -h + 636 = -4*q + 4*v. Is 19 a factor of q?
True
Suppose 19*c = 17250 + 175866. Is c a multiple of 12?
True
Let o(w) = 3*w**2 - 13*w - 27. Let z be o(6). Suppose z*n - 90 = -y + 5*n, y - n = 95. Does 23 divide y?
False
Suppose 1272 = -2*t + 4424. Suppose -114*f = -118*f - t. Let m = -193 - f. Is m a multiple of 14?
False
Suppose -921*c = -974*c + 1648280 - 309924. Is 118 a factor of c?
True
Let m(d) = 11*d + 11. Suppose s - 9 = -4. Is 6 a factor of m(s)?
True
Suppose 2*d - 5*h - 14641 = 0, -2*d + 4811 = 2*h - 9795. Does 58 divide d?
True
Let d(f) = -27*f - 31. Let k be d(-4). Suppose -k + 230 = -m. Is 40 a factor of (16/3)/2*m/(-2)?
False
Let v = 22489 + 10159. Is v a multiple of 56?
True
Let k(y) = y**3 + 9*y**2 + 7*y - 9. Let g be -12 - (1 + -9 - -4). Let o be k(g). Is 14 a factor of (1 + -6 - -35) + (o - 1)?
True
Let w = -1199 + 4633. Is w a multiple of 34?
True
Suppose -25*n + 22*n = -651. Let t(r) = -r - 6. Let c be t(-6). Suppose c = 4*o - f - 2*f - 219, -n = -4*o + f. Is 18 a factor of o?
True
Let c(t) = -t**2 + 13*t - 9. Let l = -80 - -92. Let f be c(l). Is 207/f*1 - 15/5 a multiple of 11?
True
Suppose 0 = 99*n - 74*n + 100. Does 14 divide 2036/34 + (-14)/(-119) - n?
False
Let c(z) = 5*z**2 - z. Let l be c(-1). Suppose -3*g + 18 = l*g. Let t = g - -7. Is t a multiple of 3?
True
Let x = -15552 + 27012. Is x a multiple of 12?
True
Let l be 1 + 0 - 0 - (15 - 40). Suppose l*c = 20*c + 9120. Does 76 divide c?
True
Suppose -11*t - 47 = -14. Is 30 a factor of -1*13/(39/510)*t?
True
Suppose 90 - 20 = -5*j. Let c = 38 + -40. Does 12 divide c/(-7) - 1648/j?
False
Let s(t) = 3*t**2 + 16*t - 239. Let k be s(11). Let f = 527 - k. Is 30 a factor of f?
False
Let x(d) = -2512*d - 2207. Is 2 a factor of x(-2)?
False
Let o be 1 + (-22)/18 - 48/27. Let f be 90/(-12)*(-76)/o. Is (16/6)/((-10)/f) a multiple of 10?
False
Suppose 0 = 2*a - 18 - 322. Suppose 2*d + 20 = a. Is 15 a factor of d?
True
Let h = 142 - -242. Let s = -318 + h. Does 13 divide s?
False
Let h(q) be the second derivative of -14*q**2 + 0 - 23/6*q**3 - 1/12*q**4 + 31*q. Is h(-20) a multiple of 12?
False
Is ((-322)/98)/(2/(-7582)) + 4/(-28) a multiple of 2?
True
Let f(a) = -a**3 + 29*a**2 - 202*a + 69. Is 3 a factor of f(15)?
True
Let i(f) = -9*f - 20. Let b(h) = -h**3 - 4*h**2 - 3*h + 10. Let p be b(-4). Suppose -5*g - 42 = 4*c, 3*g + p = -3*c + 4*g. Is 13 a factor of i(c)?
True
Suppose 9990 = 179*p - 177*p. Does 111 divide p?
True
Let j(a) = a**3 + 3*a**2 - a + 9. Let y(c) = -c**2 + 5*c - 4. Let v be y(4). Let g be j(v). Suppose -g*u + 528 = -5*u. Is u a multiple of 44?
True
Let d = 20736 - -2410. Does 9 divide d?
False
Let y(w) = -4*w**2 - 17*w + 18. Let n be y(-6). Let f(g) = -2*g + 132. Is 15 a factor of f(n)?
True
Suppose 1368 = 4