 m?
True
Suppose -17*s + 21*s - 41280 = -5*u, u - 51600 = -5*s. Is s a multiple of 40?
True
Let p = 558 - 4. Let z = -378 + p. Is 12 a factor of z?
False
Suppose -4*k + 523 = -v + 66, -4*v - 472 = -4*k. Suppose k = x + 4*m, 0 = 3*x + 5*m - 217 - 94. Is 29 a factor of x?
False
Let m(h) = h**3 + 12*h**2 + h + 5. Let c be m(-12). Let i(a) = -17*a + 16. Let j be i(c). Let l = -23 + j. Does 14 divide l?
True
Let y = -63 - -67. Suppose 518 = -y*i + 2318. Does 47 divide i?
False
Let a(w) = -2*w**3 - 10*w**2 - 5*w - 2. Is a(-6) a multiple of 24?
False
Let n = 64 - 56. Suppose -n*s = -4*s. Suppose -5*g - c + 295 + 100 = 0, s = -3*g + 5*c + 209. Is 27 a factor of g?
False
Does 13 divide (-11 - -4 - 5)/(7/(-301))?
False
Let p be ((-124)/10)/2 - (-25)/125. Suppose 890 = 3*g + 2*g. Is 5 a factor of (-1 + g/p)*(-141)/94?
False
Does 20 divide 1/(22/260918) - (4368/(-132) - -33)?
True
Let o(w) = -w**2 + w + 13. Let q(d) = 2*d**2 - 2*d - 27. Let h(c) = -5*o(c) - 2*q(c). Let u be h(5). Suppose -u*g + 4*g = -160. Is g a multiple of 16?
True
Suppose 0 = -w + 4 + 5. Let m be (-2)/w + (-19160)/(-36). Suppose 0 = -v + 3*o + 143, 0 = 4*v - 0*o - 2*o - m. Is 11 a factor of v?
False
Suppose 12*z = 34 + 2. Suppose z*d = -0*d + 39. Suppose 4*k - d*k = -468. Is k a multiple of 30?
False
Suppose 5*y - 5*a - 29730 - 1745 = 0, -y - 2*a + 6310 = 0. Is y a multiple of 20?
True
Let f be (44/(-33))/(4/(-15)). Suppose -f*m = q - 352, -m + 1144 = -5*q + 2904. Does 16 divide q?
True
Let t(g) = -g**3 - 4*g**2 + g + 4040. Is t(0) a multiple of 120?
False
Is 42 a factor of 15 + (8 - 5) + 17355?
False
Let v be -1 + -6 + (3 - 3). Let h(y) = 6*y + 3*y**2 - 2*y**2 - 16*y - 66 + 67. Is 15 a factor of h(v)?
True
Suppose -3*d + 45124 = -u, 3*d - d - 4*u = 30096. Does 80 divide d?
True
Let t = 2654 + -203. Is t a multiple of 57?
True
Suppose 75*m - 184*m = -802240. Is m a multiple of 46?
True
Let n be 10*(33/198 + 2/6). Suppose 3153 = 3*l + 5*c, -4*l + 5*l - 1051 = -n*c. Is l a multiple of 44?
False
Let j(t) = -2*t**3 + 60*t**2 + 365*t - 75. Does 23 divide j(33)?
False
Let a = -8196 - -11346. Does 30 divide a?
True
Let f be (-264)/(-42) - ((-8)/(-28) - 0). Does 24 divide (-1 - 63)/((-2)/f)?
True
Let r = 4803 - 1113. Is r a multiple of 9?
True
Suppose -2*y - 12 = -5*y. Suppose -5*i + 4*z + 16 = 0, -y*i = i + 2*z - 22. Suppose 0*q = -3*q + 3*o + 51, -i*o - 53 = -3*q. Does 15 divide q?
True
Let g(s) = 11*s**2 + 19*s + 17. Let z(r) = -5*r**2 - 9*r - 8. Let f(c) = -2*g(c) - 5*z(c). Let l be f(-6). Let x = l - 12. Is x a multiple of 12?
True
Let k(s) = 152*s + 524. Is k(26) a multiple of 8?
False
Suppose 536*r - 12954345 - 1839255 = 0. Is r a multiple of 40?
True
Suppose -5*z = 5*f - 25, 0 = -3*z - 2*f + 5 + 10. Let q(m) = 2*m**3 - 76*m**2 + 83*m - 126. Let i be q(37). Suppose 338 + i = z*o. Is o a multiple of 11?
False
Suppose 0 = 36*q - 31*q - 2*l - 9829, q - 1975 = 5*l. Is 5 a factor of q?
True
Let w(s) = 17*s - 6. Let p be w(1). Suppose 0 = -6*o - p + 11. Suppose o = y - 136 - 12. Is y a multiple of 25?
False
Let a = 4029 + -2975. Is 34 a factor of a?
True
Suppose 12*n - 19916 = v, v + 3497 + 4799 = 5*n. Is 42 a factor of n?
False
Suppose -k + 5*i + 7 = 0, 4*k + 6*i = 9*i + 11. Suppose 145 = -c + 4*g + 517, 4*c - 1432 = k*g. Is 19 a factor of c?
False
Let n = -10758 + 13009. Is n a multiple of 49?
False
Does 143 divide -1 - -7 - (-50 + -1088)?
True
Let b(z) = -7 - 25*z - z**3 - 32*z + 15*z**2 + 59*z. Does 20 divide b(12)?
False
Let f(c) = -190*c - 139. Let g = 93 - 97. Is 6 a factor of f(g)?
False
Let s(i) = -i**2 + 8*i - 9. Let g be s(2). Suppose -41 + 32 = -g*j. Suppose j*x = 260 - 50. Is x a multiple of 14?
True
Let f(u) = -3*u**2 + 5*u - 6. Let r be f(1). Is -10 - r - -11 - (-152)/2 a multiple of 3?
True
Suppose -w - 6 = -m - 1, 0 = w + 5. Let r be (-1 - m)/((-204)/(-42) + -5). Let l(a) = 2*a**2 - 6*a + 40. Is 12 a factor of l(r)?
True
Let l = 3470 - 2750. Is 8 a factor of l?
True
Suppose -64*p - 11*p + 842724 = 33*p. Is 11 a factor of p?
False
Let h(o) = -181*o - 1009. Is h(-13) a multiple of 21?
True
Let f(b) = 24*b**2 - 16. Let v(k) = 23*k**2 - 15. Let n(l) = 4*f(l) - 3*v(l). Is n(-3) a multiple of 5?
False
Let w(p) = 7*p**2 + 7*p**2 - 2*p**2. Suppose -3*n + 49 - 37 = 0. Is 16 a factor of w(n)?
True
Let h = 556 - -983. Is h a multiple of 6?
False
Let g = -4430 + 6588. Is 49 a factor of g?
False
Is 97 a factor of 19/133*5514*7?
False
Let m = -53 + 31. Let p(k) = k**2 + 21*k - 20. Let o be p(m). Suppose -3*r = 2*r - 5*d - 60, o*d - 4 = 0. Does 14 divide r?
True
Suppose 0 = 5*q - 3*l + 3, 3*l - 2 = -4*q + l. Suppose -4*y - 68 = -3*t, -5*y - 3*t + t - 108 = q. Let r = -16 - y. Is r a multiple of 4?
True
Let b = -37 - -47. Suppose b*z + 655 = 3955. Does 5 divide z?
True
Let u = 34041 - 22537. Is u a multiple of 39?
False
Suppose -256606 = -100*l + 52627 - 2433. Does 26 divide l?
True
Suppose -25*g - 22*g - 1092 = -10116. Is 3 a factor of g?
True
Suppose -s + 78 = 5*s. Suppose -3*i - 20 = -s*i. Suppose 3*j - 21 = -i*o, 5*o - o = j + 7. Is 5 a factor of j?
True
Suppose -28*g = -168004 - 146128. Is g a multiple of 13?
True
Suppose 7*h - 3*h + 4*g = -8, 2*g = -3*h - 4. Suppose h = -10*i + 12*i - 380. Is 19 a factor of i?
True
Let l be (1 - (-3 + 0 + 6)) + 808. Let j = l - 680. Is 14 a factor of j?
True
Let p(t) = -t**3 - t + 2. Let b be p(0). Suppose -5*w + 934 = g, -b*g + w + 1832 = 2*w. Suppose -g - 328 = -6*a. Does 27 divide a?
False
Let o(l) = 7*l - 70. Let v be o(13). Suppose -27*i = -v*i - 1026. Is i a multiple of 9?
True
Let x be (150/(-36))/25 + (-26)/(-12). Suppose -4*j = x*k - 1082, 1107 = 3*k - k - j. Does 19 divide k?
True
Let d(q) = 3*q**3 + 6*q**2 + 5*q - 12. Let r be ((-1)/(-4))/((-8)/(-160)). Let t be d(r). Suppose -138 = 5*p - t. Is p a multiple of 10?
True
Suppose 183*t = 156*t + 896670. Is 54 a factor of t?
True
Let u be 0 + -10 - 1/(-1). Let r = -1610 - -1609. Does 9 divide (r + 6/4)*(u + 93)?
False
Suppose -17*q - 1998282 = -154*q. Is 42 a factor of q?
False
Let u = 0 - -4. Let s be u*1*(-30)/(-40). Suppose 0 = -s*y - 5*w + 167, -5*w = -3*y + 4*y - 39. Does 4 divide y?
True
Suppose 54 = 2*d + 4*z, -4*d - 2*z = -107 - 13. Let h = 33 - d. Suppose v = 5*v - 12, -3*q = -h*v - 222. Is q a multiple of 26?
False
Let j(w) be the first derivative of -w**4/4 + 12*w**3 - 13*w**2 - 113*w + 76. Does 41 divide j(35)?
False
Does 48 divide 1844213/392 - (-12)/32?
False
Let k(y) = -y**2 + 9*y + 12. Let j be (0 - 0) + (19 - 13). Does 21 divide k(j)?
False
Suppose -193839 = -21*i - 26316 - 21132. Does 5 divide i?
False
Is 1 + 40756 + (-32 - -47) a multiple of 14?
False
Is 4 a factor of (-1557)/(-2)*(744/126 + (-56)/98)?
True
Let i = -124 + 199. Let z = -25 + i. Does 5 divide (-30)/(-20) + z/4?
False
Let j(y) = 2*y**2 - 7*y - 20. Let t be j(-2). Suppose i - 4*u - 2 = -1, -5 = -5*i + 4*u. Suppose 3*m = t*m + k + i, -29 = -5*m - 3*k. Is 3 a factor of m?
False
Suppose 10631 + 3314 = 5*g. Is g a multiple of 87?
False
Let d(i) = -401*i - 1364. Does 13 divide d(-7)?
True
Let v(p) = -2*p + 37. Suppose 16 - 4 = 3*h. Suppose -h*i + 26 - 26 = 0. Is 7 a factor of v(i)?
False
Suppose 0 = -2*z - c + 9400, 4*c = -4*z + 6*c + 18832. Is z a multiple of 3?
True
Suppose 0 = 9*v - 10*v + 774. Suppose 24*b - 6*b - v = 0. Let w = 17 + b. Does 15 divide w?
True
Suppose 2*b - 5*f - 38107 = 0, 0 = -1344*f + 1341*f + 21. Is b a multiple of 80?
False
Let c(x) = -23*x**3 - 79*x**3 - 2 - x - x - x**2. Let q be c(-1). Let d = 131 - q. Is 10 a factor of d?
True
Let n = -3390 - -3654. Does 24 divide n?
True
Is 34 a factor of (((-28377)/1)/(-9) + 9)*6?
True
Let d = -97 + 22. Let f = d + 154. Is f a multiple of 6?
False
Is ((-320)/(-16))/(1 - (-679)/(-686)) a multiple of 28?
True
Let k be (-108)/(-32) - 9/24. Suppose 2*c - k*x = -13, 4*x - 3 - 15 = 2*c. Let y = c + 36. Is 37 a factor of y?
True
Let i be ((-1608)/20 - -2)*-5. Is 4 a factor of 702/4 + i/112?
False
Let j be (80/4)/((-22)/11). Is 25 a factor of ((72/(-10))/2)/(j/425)?
False
Let m(h) = -84*h**2 - 2*h - 3. Let s be m(-1). Let o = 60 + s. Let d = o + 61. Does 6 divide d?
True
Suppose 14*a - 6317676 = -147*a - 25*a. Is 37 a factor of a?
True
Let y = 29 - 64. Let b = 37 + y. Suppose 4*r - k - 181 = 0, -4*r - 3*k = b*k - 151. Is 11 a factor of r?
True
Let j(g) = -g*