e 245 + 364 = 2*q + 3*z, z + 1497 = j*q. Does 15 divide q?
True
Suppose 15*q + 3032 = -2848. Let c = -276 - q. Suppose 2*x - 28 = c. Is 8 a factor of x?
True
Let y = -23143 - -33428. Does 121 divide y?
True
Let p(r) = 7*r**3 - 4*r**2 + 4*r - 4. Let z be p(2). Suppose 4*u - 36 = z. Suppose 0*f + 20 = a + 3*f, 0 = a + f - u. Is a a multiple of 10?
True
Let w(c) = -5*c + 1. Let j be w(-7). Suppose -27 = -j*o + 39*o. Let h(z) = -2*z - 8. Is 7 a factor of h(o)?
False
Suppose -21*a = -131*a + 427240. Is a a multiple of 38?
False
Suppose 0 = 3*c, 3*y + 4*c - 4974 = c. Suppose 3*t - 2*o - y = 0, t + o - 2*o - 554 = 0. Suppose 5*d = 5*v + t, -4*v + 232 = 3*d - d. Does 14 divide d?
True
Suppose 2*v - 153 = -145. Suppose 0 = -2*k - k - v*h + 475, -3*h = -2*k + 294. Does 17 divide k?
True
Let h = 8854 - 8091. Is 7 a factor of h?
True
Is (-310)/(-110) + -3 + 692016/33 a multiple of 18?
True
Suppose -4*o + u - 1344 = -o, -3*o - 1344 = 5*u. Let h be -5 + 10 + (-20)/5. Is (h + -19)/(48/o) a multiple of 14?
True
Suppose -4*d - d = -2*o - 1446, -3*o = 3*d - 876. Is d/1305 + (-7954)/(-9)*1 a multiple of 34?
True
Suppose 2*g + 4*u - 26256 = 0, -2*g + 4*u + 23450 = -2790. Is g a multiple of 119?
False
Let b = 72 + 307. Suppose 3*t - b = 167. Is t a multiple of 13?
True
Suppose 0 = -7*b + 2*b - 3*k + 21715, 5*b - 21720 = -4*k. Suppose -2142 = -2*z - 0*q - 5*q, -4*q - b = -4*z. Does 24 divide z?
False
Let y be (-8)/(-3) + ((-6)/(-3))/6. Suppose y*q - 1036 = f, 0*q - 3*f - 1378 = -4*q. Is q a multiple of 31?
False
Let x be 6532/6 + 64/48. Suppose -2*b + 1227 - 123 = 2*c, 5*b = 2*c - x. Is c a multiple of 55?
True
Let d(v) be the third derivative of 31*v**4/24 - 125*v**3/6 + 42*v**2. Is d(10) a multiple of 16?
False
Let b = -6173 - -10375. Does 16 divide b?
False
Let b(m) be the third derivative of 7*m**5/30 - 35*m**4/24 - 2*m**3/3 + 2*m**2 + 109. Is 13 a factor of b(8)?
False
Let d(h) = h**3 + 5*h**2 - 15*h - 3. Let m be d(-7). Let r be m/18 - 4395/(-27). Let p = r - 9. Does 36 divide p?
False
Suppose 4*a + 8 = d, -3*d - 3*a + a - 32 = 0. Let i be (d/(-72)*3)/(2/(-42)). Does 10 divide 151 + ((-6)/(-8) - i/(-4))?
True
Let d = 271 + -270. Does 42 divide ((d - -1) + 3)*14196/130?
True
Suppose 34871 = 20*k - 35357 - 19792. Is k a multiple of 27?
False
Suppose 5*a = p + 9285, 5378 + 185 = 3*a + p. Does 8 divide a?
True
Let d(z) be the third derivative of -z**5/60 + 2*z**4/3 - 35*z**3/6 + 20*z**2. Let u be d(11). Suppose -u*i + 409 = -1931. Does 13 divide i?
True
Suppose -35*l - 4 = -34*l, -3*f + 5842 = -l. Is 17 a factor of f?
False
Let p be ((-15)/(-3))/(3/(1192 + -4)). Suppose 0 = -g - 17*g + p. Does 11 divide g?
True
Suppose 3*p = -3*l + 16 - 4, -5*l = -5*p - 10. Let y(a) = 7*a**3 - 3*a - 2. Does 11 divide y(l)?
False
Suppose f - 3*f = -3*v - 25, -v - 20 = -3*f. Suppose u - a = 68, 0 = f*a - 3 - 7. Suppose -u = -4*r + k, 4*k - 6*k + 94 = 5*r. Is 3 a factor of r?
True
Is (1242/(-4))/(22/(-1804)) a multiple of 26?
False
Let p(z) = 179*z**2 - z + 2. Let n be ((-24)/(-15) + -2)*5 - -69. Let m = -66 + n. Is p(m) a multiple of 15?
True
Suppose 6*s - 125 = -3323. Let x = -42 - s. Is x a multiple of 4?
False
Let u be ((-24)/40)/((-1)/10). Suppose -i = u*i - 350. Is i a multiple of 28?
False
Let z = -67 + 130. Let c = 42 - z. Let d = c + 30. Is d a multiple of 9?
True
Let u(s) = -2*s**3 - 5*s**2 - s + 2. Let i(x) be the third derivative of x**5/60 - 13*x**4/24 - 11*x**3/2 - 14*x**2. Let y be i(15). Does 2 divide u(y)?
True
Let o = 98 + -169. Let n = 18 + o. Does 34 divide (2/4*-45)/(n/212)?
False
Let q = -27 - -18. Let z = q + 22. Let f = 21 - z. Is 7 a factor of f?
False
Let k = 1293 - 1187. Is 4 a factor of k?
False
Suppose -782*c = -779*c + 3*u - 65706, -3*u = -c + 21930. Is c a multiple of 109?
True
Suppose -10*x = -36754 + 11686 - 22272. Is x a multiple of 15?
False
Let b(h) = 5*h + 89. Suppose 0 = -2*o - 5*n - 3 + 23, 3*o = -4*n + 44. Does 36 divide b(o)?
False
Is -5*(-18)/(-45) - (25 + -28227) a multiple of 300?
True
Suppose 3*i - 14 = i. Suppose 4*m - 3*f = i, 3*m + 2*f - 3 = 15. Suppose -137 = -m*v + 71. Does 13 divide v?
True
Let b = -33 + 39. Suppose -2*n - 5*r = -337, -b*r = -n - r + 206. Suppose s + 67 - n = 0. Is s a multiple of 15?
False
Let v(d) = 31*d + 7. Let a be v(3). Let b = a + 185. Does 8 divide b?
False
Let z = -51 - -53. Suppose 4*v + 64 - 532 = z*h, -2*v = 3*h - 226. Let q = v + -33. Is 16 a factor of q?
False
Suppose -70*t - 5*t = -152550. Is 18 a factor of t?
True
Let g(v) = -v**3 - 41*v**2 - 25*v - 318. Does 33 divide g(-44)?
False
Suppose -79*j + 257 = -78*j. Suppose -332 = -j*w + 253*w. Does 4 divide w?
False
Suppose 70*u = 1328634 - 393714. Is u a multiple of 106?
True
Let z be (-6)/(-45) + (-215)/(-75). Suppose z*s - 45 = t, 5*t + 33 = 3*s - 0. Is (-3)/(-12) + 2108/s a multiple of 32?
False
Suppose 0 = -9*k + 12 + 6. Suppose 2*c - k*t + 3*t = 307, 2*c - 5*t - 325 = 0. Suppose 3*x - c - 34 = 0. Is x a multiple of 10?
False
Suppose -2*c - 3 - 1 = s, -c - 2 = 5*s. Suppose s = q - 16 - 14. Is ((-252)/q)/((-3)/10) a multiple of 12?
False
Let z(q) = -q**3 + 9*q**2 + 18*q - 378. Is 162 a factor of z(-21)?
True
Suppose 4*c + 5*i = 4655, 0 = -4*c + 3*i + 2*i + 4705. Let m = 2034 - c. Does 18 divide m?
True
Let l(n) = -n**3 + 3*n**2 + 4*n + 1. Let y(o) = o**2 - 15*o + 30. Let c be y(13). Let z be l(c). Let s = 10 + z. Does 11 divide s?
True
Let c(p) = 3*p**2 - 20*p**2 + 7*p**2 + p**3 - 3*p + 4*p**2 - 10 - 5*p**2. Suppose 2*a = -0*a + 24. Does 9 divide c(a)?
False
Let j(g) be the third derivative of 7*g**4/12 - 67*g**3/6 + 32*g**2. Let n be j(5). Suppose -5*z + 3*z + 532 = 5*x, x = -n*z + 785. Is 29 a factor of z?
True
Let g = 42 + -31. Suppose 246 = -g*j + 15*j + 2*u, -10 = -2*u. Is j a multiple of 7?
False
Let y = 3226 + -2478. Is 2 a factor of y?
True
Suppose 214068*g - 56639 - 78397 = 214057*g. Is 62 a factor of g?
True
Let n be (-12)/10*(-6)/(-9)*60. Let m be -4 + 5/((-15)/n). Is 42 a factor of 2516/10 - m/(-30)?
True
Suppose 4*m = 2*n - 52, 58 = 3*n - 34*m + 32*m. Suppose -9143 = -n*w + 2825. Is 17 a factor of w?
True
Let p(r) = 1010*r**2 - 25*r + 29. Is p(1) a multiple of 12?
False
Let l(b) = -9474*b - 2751. Is l(-3) a multiple of 199?
True
Suppose 112 = -55*g + 51*g. Let h(a) = a + 134. Is 16 a factor of h(g)?
False
Suppose 53*m = -82*m + 120414 + 89781. Is 2 a factor of m?
False
Suppose 0 = y + j - 4764, 17*y - j = 16*y + 4758. Does 9 divide y?
True
Let o(g) = -6*g - 30. Let c be 1 + (-4)/(-8)*14 - 3. Suppose 5*h + 5 = 0, 5*h + 108 = -c*z + 28. Does 15 divide o(z)?
True
Let c be 206/4 + 11/88*-12. Is 40 a factor of 22775/30 - c/(-60)?
True
Let c(g) = g**3 - 9*g**2 + 8*g - 16. Let n be c(9). Let i = 81 - n. Suppose -x + 0*x = -i. Does 5 divide x?
True
Let k be (-9)/((-5)/(-5) - 4). Is k*(-239)/(-3) + -4 a multiple of 8?
False
Suppose 3*r + 7 = 121. Suppose 4*f - 12 = 5*a + r, 20 = 4*f. Is 7 a factor of (147/a)/(1 - 12/8)?
True
Suppose -5*p - 3*i = -29, -2*i - 39 = -2*p - 3*p. Suppose -13 = -4*o + p. Suppose o = 4*c - 71. Does 12 divide c?
False
Let a = -87 + 52. Let u = -321 - a. Let x = u - -466. Is x a multiple of 30?
True
Suppose 6 = -2*c, -q - 2*c + c + 44 = 0. Let b be 2/13 + -2 + (-24)/(5928/(-18487)). Let h = b + q. Does 10 divide h?
True
Let r(o) = 8*o + 6. Let j(q) = -q**3 - 6*q**2 + 6*q - 9. Let f be j(-7). Let t be r(f). Does 6 divide ((-16)/(-3))/(7*t/(-315))?
True
Let x(f) = 5933*f - 450. Is x(2) a multiple of 9?
False
Suppose -24 = -2*o - 20, w + 3*o - 20074 = 0. Is 116 a factor of w?
True
Let u be 2/(-1*(-2)/4). Let x = 2976 + -2973. Suppose u*o + 178 = x*p, -5*p = -10*p + 2*o + 320. Does 16 divide p?
False
Suppose 5*o + 10 = -4*n, 0 = -2*n + 7*n + 25. Let d be 1 + o + (6 - 6). Suppose 2*c = -d*w + 519, 11*w - 520 = -2*c + 7*w. Does 34 divide c?
False
Let x be 1147/(-4) - (-4)/(-16). Let s = x - -553. Suppose 0 = -21*n + 19*n + s. Is n a multiple of 20?
False
Suppose 38*m = 15*m. Suppose m = -17*h + 4272 + 6523. Is h a multiple of 48?
False
Let s = -71 + 104. Let j(p) = -5*p + 0*p - s + 2*p**2 - p**2. Does 13 divide j(16)?
True
Let a = -447 - -879. Let u(i) = -i**2 + 8*i - 13. Let k be u(6). Is 27 a factor of (k + 1/2)*a/(-2)?
True
Suppose 2*g = 4*v - 154 + 16, -3*g - 79 = -2*v. Let z = v - 15. Suppose -53 = -h + z. Does 14 divi