 w = 42452 + -25226. Is 22 a factor of w?
True
Suppose 12*u = -20*u + 11*u + 153090. Does 54 divide u?
True
Suppose -7*x - 33 = -173. Suppose 4*b - 3*b = -x. Does 39 divide (28/b - (-4)/10)*-156?
True
Let z = -7989 + 7991. Let t(l) = -9*l**2 + l + 2. Let u be t(-4). Does 11 divide z*(u/(-4) - -2)?
True
Suppose 4*b = 3*t - 469, 308 = 2*t - 3*b + 5*b. Suppose -4*r + 759 = 5*a, 12*a = 11*a - 4*r + t. Is 13 a factor of a?
False
Suppose 1782 = s + i, 4*s + 2*i + 446 - 7584 = 0. Does 44 divide s?
False
Suppose -26*k + 1584 = -18*k. Let n = k + -154. Is 2 a factor of n?
True
Let t = -138 + 416. Let v = 437 - t. Is 2 a factor of v?
False
Let f be ((-6)/(-4))/(14/10164). Suppose -14*w = -3*w - f. Is w a multiple of 9?
True
Let j be (-203)/63 + (-4)/(-18). Let i(a) = -57*a - 4. Let h be i(j). Suppose -4*v = -5*d + 340, -5*v = -0*d + 3*d - h. Does 32 divide d?
True
Suppose 7905*u + 46214 = 7912*u. Is 18 a factor of u?
False
Does 7 divide ((-4104)/48)/((-1)/42)?
True
Is 34 a factor of 24/324 + 1381512/324?
False
Suppose -5 = 4*g + 2*u + 15, 0 = -5*g + 4*u - 38. Let o be (-2 - 2/g)/(12/(-36)). Suppose 5*a - 3*b + 7*b - 166 = 0, -5*b - 175 = -o*a. Does 9 divide a?
False
Let f = 6 + -16. Let q = f + 15. Suppose q*m - 273 = 2*m. Is m a multiple of 17?
False
Suppose -2*q + 2 = -6, -27 = -n - 2*q. Let j = 21 - n. Suppose -19 = -j*i - 3*r, -3*i + 2*i - 5*r = -20. Is i even?
False
Suppose -1464*d + 1462*d + 24570 = 0. Is d a multiple of 117?
True
Suppose 5*c = -3*x + 22343 + 31190, -17877 = -x + 3*c. Does 18 divide x?
True
Let y(j) be the first derivative of -2*j**4 - 5*j**3/3 - j**2/2 + 4*j + 52. Does 25 divide y(-3)?
False
Is 13 a factor of 68994/27 - 16/(-6)?
False
Is 217 a factor of -2*(225986/(-57) + (-4)/(-6))?
False
Let g = -512 + 267. Let y = 385 + g. Is y a multiple of 5?
True
Suppose 0 = 2*c, r + c - 5 = -38. Let m = 79 + r. Let h = 121 - m. Is h a multiple of 26?
False
Let q(h) = 7*h + 33. Let c be q(-3). Is 9 a factor of (c/(-42) - 0) + (-19664)/(-28)?
True
Suppose 2*f - 6*f - 9 = 5*j, 2*j = 2*f. Is 13 + -12 - 639/j a multiple of 16?
True
Suppose 171600 = 36*h + 94*h. Does 5 divide h?
True
Let b = 135 + -131. Is 24 + (b/(-6)*-6 - 0) a multiple of 4?
True
Suppose -26532 + 118847 = 5*w + 2*b, 3*w + 2*b - 55389 = 0. Is 27 a factor of w?
False
Suppose -256*t + 9*t = -821275. Is 133 a factor of t?
True
Suppose 0 = 5*v - 5*f - 15, -5*v + f + f + 24 = 0. Suppose -v = -4*s - 2. Is 19 a factor of s*22 + -1 + -2?
True
Let y be 4*60/32*402/5. Let q = y + -349. Let h = q + -168. Does 25 divide h?
False
Suppose -28*i + 23*i - 4*a + 4168 = 0, -3*i = a - 2498. Is (i/24)/((-3)/(-27)) a multiple of 26?
True
Let r(m) = m**3 + 13*m**2 - 8*m. Suppose 4*f + 0*o = -o + 22, -2*o + 14 = 2*f. Suppose -60 = -0*g + f*g. Is r(g) a multiple of 20?
True
Suppose -155*u = -136*u + 19. Does 4 divide (u*6*(-6 + 10))/(-1)?
True
Suppose -3*l = 4*i - 11996, 4*l + 27*i = 30*i + 16003. Is 32 a factor of l?
True
Suppose -k + 5*m = -3807, 6*k + 5974 = -3*m + 28684. Is 7 a factor of k?
True
Let v be (-5 + 3 + -147)*-1. Let k = -62 + v. Is 46 a factor of k?
False
Let c(p) be the first derivative of 4*p**3 + 13*p**2/2 + 5*p + 2. Is 23 a factor of c(-5)?
False
Let o = -3 - 16. Let a(b) = b**3 + 18*b**2 - 19*b + 37. Let t be a(o). Suppose 3*l = -l + 3*r + 175, l - 3*r - t = 0. Does 46 divide l?
True
Let c(v) = -v - 1. Let j = 26 + -30. Let o be c(j). Suppose 78 = o*g + 2*y - 7*y, 4*g + 2*y = 78. Does 21 divide g?
True
Let y = -315 - 35. Does 49 divide (252/90)/((-2)/y)?
True
Suppose -6*l - 307 = -5*l. Let x = l + 607. Is x a multiple of 15?
True
Let o be -6*(-6)/(-9) + 0/(-7). Does 9 divide 44 - o - ((-30)/(-2))/5?
True
Suppose m + 73*w - 69*w - 4534 = 0, 0 = -m + w + 4509. Is 61 a factor of m?
True
Suppose m - 3*f - 8257 = 0, 2*f + 616 + 15918 = 2*m. Is 96 a factor of m?
False
Let d = 201 - 193. Is 7 a factor of d/(-6) + (-772)/(-3)?
False
Let c(w) = 12*w + 21. Let z(k) = 13*k + 19. Let l(t) = 3*c(t) - 4*z(t). Let y = -16 - -9. Is l(y) a multiple of 11?
True
Suppose -2*m - 44 = 36. Let v be (-6)/(-10) + (-176)/m. Suppose 0*z + 193 = v*b + 3*z, -4*b + 172 = -2*z. Is 10 a factor of b?
False
Suppose 0 = 6*x - 4*h + 36933 - 131097, -5*x = -2*h - 78474. Is x a multiple of 25?
False
Is (-475)/(2 + 3)*13/(-1) a multiple of 90?
False
Let u = -6099 - -6980. Is 5 a factor of u?
False
Suppose -4*h = 2*i - 112, 2*h = -0*i - 4*i + 200. Suppose -2*l + 53 = -3*v, 4*v + 3*l + i = v. Let d = 78 + v. Is 5 a factor of d?
False
Suppose 4*k + 14 = h, 13 = 2*h - 0*k - 3*k. Let y = -110 + 112. Suppose 0 = 2*o - h*x - 172, -17 = y*o - x - 187. Is o a multiple of 28?
True
Let c(h) = h**3 - 26*h**2 + 42*h - 458. Is c(30) a multiple of 6?
False
Let g(q) = 2*q**3 + 3*q**2 - 8*q. Let b(w) = w**2 + 2*w. Let m(j) = 2*b(j) + g(j). Is m(2) a multiple of 3?
False
Suppose 4*j + 3*u - 1505 = 0, 2*u + 1470 = -34*j + 38*j. Does 7 divide j?
True
Let g = 7223 - 5256. Is 11 a factor of g?
False
Let w(x) be the second derivative of 39*x**3/2 - 5*x**2/2 - 42*x. Is w(3) a multiple of 7?
False
Let w(d) = -d**3 - 17*d**2 - d - 23. Let s be w(-17). Suppose -3*b + o - 3 + 2 = 0, 4*b + 4*o + 12 = 0. Is b - 1081/(-7) - s/(-14) a multiple of 17?
True
Let h = 6097 + -87. Is h a multiple of 60?
False
Let q be (((-3160)/(-5))/(-4))/(1/30). Is (-3)/(-9)*q/(-20) a multiple of 6?
False
Suppose -5 = -6*c + 55. Let h(o) = 5*o - 21. Let j be h(c). Let x = j - -15. Is x a multiple of 22?
True
Let g(o) = -o**3 + 25*o**2 + 124*o + 96. Does 8 divide g(24)?
True
Let w(t) = -24*t + 6186. Does 231 divide w(-108)?
True
Suppose -38 - 34 = -q. Let t be 420/q + 1/6. Suppose 2*z + t = 0, 91 = c + 3*z + 8. Is 23 a factor of c?
True
Suppose -47*r + 118453 = -14792. Does 45 divide r?
True
Let b(x) = -16*x**3 - 2*x**2 - 20*x + 14. Is b(-5) a multiple of 10?
False
Let o(p) = 7*p - 14. Let c(u) = u**2 - u - 4. Let b be c(5). Is 49 a factor of o(b)?
True
Does 13 divide 235496*-26*15/(-1560)?
False
Suppose 0*i + 536 = 4*i. Let r(p) = 31*p - 51. Let l be r(8). Let d = l - i. Does 21 divide d?
True
Let d = 18155 + -4782. Does 15 divide d?
False
Suppose 11*g = 6*g. Suppose g = -2*p + 58 - 50. Does 20 divide (-2)/(-2) + 2/(p/118)?
True
Suppose 0*y + 22 = 2*y. Let g be (-10)/(-4) - 34/68. Suppose -y*i + g*i + 1134 = 0. Is 33 a factor of i?
False
Suppose 120*n - 115*n + 5*z - 45945 = 0, 0 = 2*n + 3*z - 18378. Is n a multiple of 15?
False
Suppose 5*n + 2*v - 483 = 6*v, 5*v = 2*n - 183. Suppose 0 = a - n - 598. Does 17 divide a?
True
Suppose 6*y - 4*n = 9*y - 28563, 3*y = -5*n + 28569. Is y a multiple of 21?
True
Suppose 5*n + 15 = -h, -6*h + 3*h = -3*n - 9. Suppose h = 5*l - 424 - 36. Is 23 a factor of l?
True
Let h = 110 + -105. Suppose -4*f = f - 20, -803 = -h*g + 3*f. Let b = -120 + g. Is 7 a factor of b?
False
Let b(n) = -2*n**2 + 25*n - 15. Let o be b(25). Let k = -70 - o. Is k a multiple of 15?
True
Let r = -162 + 165. Suppose q + 141 = 2*s + s, -r*q - 135 = -3*s. Is 8 a factor of s?
True
Suppose -94*f + 13*f - 16*f + 56066 = 0. Is f a multiple of 49?
False
Suppose 11256 = 522*b - 510*b. Does 7 divide b?
True
Let p = -6 - -22. Suppose -p = -4*w + 4. Suppose c + 250 = 4*c + 4*j, 0 = -w*j + 20. Is c a multiple of 8?
False
Let m(l) = l**3 + 49*l**2 + 169*l - 373. Is 50 a factor of m(-41)?
False
Let j(p) = -37*p - 119. Let h = -199 + 192. Is j(h) a multiple of 7?
True
Suppose -5059 + 1763 = -32*u. Is 44 a factor of u?
False
Suppose -k + 15448 = 5*v + 901, -3*k - v = -43599. Is k a multiple of 77?
False
Suppose -5*l - 5*f + 5 = 0, -2*f = 2*l - f - 5. Suppose o = -y, 0 = 3*y + l + 2. Suppose 2*t = -2*u + 164, -o*u + 431 = 5*t - 4*u. Is t a multiple of 17?
True
Suppose n = -v + 4*v - 14, 5*v - 21 = 4*n. Suppose v*k + 20 = 0, -3*y + 5*k + 25 = -2*y. Is 5 a factor of ((-20)/7)/(y/(-35))?
True
Let c(l) = 22*l**3 + 3*l**2 - 16*l - 59. Does 29 divide c(8)?
False
Let z(v) = 4*v - 26. Let c be z(6). Let r be c/3 + (-11)/(-3). Suppose -3 = d + 5*n - 21, 5*d - r*n - 146 = 0. Does 7 divide d?
True
Suppose 2*g - 71*u = -75*u + 1004, -12 = 3*u. Let q = g - -10. Is 26 a factor of q?
True
Let u be (1193 + 7)*(-1)/2*-1. Suppose -2*s + 0*s = -3*d + u, -d - 2*s = -192. Suppose -5*x = 4*f + f - 495, 2*x - 2*f - d = 0. Does 46 divide x?
False
Let b be (3*(-3)/12)/((-1)/4). Let f be ((-36)/8 + -3