i - r + x = 0, 8*i - 5*i + 3*r - 1101 = 0. Is i a multiple of 28?
True
Is (6 + (-572)/66)/((-4)/6120*1) a multiple of 3?
True
Let k be 1064 + (-4)/(4/(-3)). Let m be 8/60 + (-86)/(-30). Suppose -k = -14*v + m*v. Is 11 a factor of v?
False
Let u be ((-102)/27)/(50/(-1800)). Suppose -4*y = 65 + 239. Let m = u + y. Does 10 divide m?
True
Suppose 17*h - 8*h = 4176. Let k = 595 - h. Is k a multiple of 10?
False
Let y(r) = r**3 + 4*r**2 - r - 4. Let l be y(-4). Let h be -50*-4*33/24. Suppose -5*p - h = -f - 726, 5*f + 5 = l. Does 5 divide p?
True
Let a(w) = -w**2 + 3*w - 2. Let h be a(3). Let f be h*(-1)/(-2) - -125. Let p = -88 + f. Does 12 divide p?
True
Let g = 2506 - 878. Suppose 99*q + g = 110*q. Does 16 divide q?
False
Does 50 divide (((-189)/6)/(-9) - (21 - 17))*-200?
True
Suppose -5*x - 4*p - 109 = -587, 2*p + 104 = x. Let h be (28 - 31) + (x - 1). Suppose -h = -7*o + 424. Is o a multiple of 13?
False
Let v(n) = -91*n + 36. Let b be v(-3). Let x = b + -102. Is x a multiple of 11?
False
Let n be -2*1 + 45/((-36)/(-4)). Suppose n*m - 218 = -5*q, -23 - 63 = -m + q. Is m a multiple of 8?
False
Let r(i) = -i**2 - 4*i + 44. Let o(q) = q**3 + 10*q**2 - 11*q + 8. Let m be o(-11). Suppose 3*n = -m*n + 4*n. Is r(n) a multiple of 44?
True
Let b = -49 - -49. Suppose -2 = -2*l + 4. Suppose b = -l*q + q + 468. Is 18 a factor of q?
True
Let g(j) be the third derivative of -j**5/60 + 9*j**4/8 - 19*j**3/6 - 4*j**2 + 3. Does 59 divide g(22)?
False
Let y = -2 + 13. Suppose -y*q + 20 = -2. Suppose -q - 1 = -v. Is 2 a factor of v?
False
Let x(u) = 22*u**2 - 3*u - 3. Let d(k) = -k**2 + 4*k + 30. Let c be (4/(-3))/(2/(-12)). Let y be d(c). Is 13 a factor of x(y)?
True
Suppose m = 830 - 275. Let q = m - 355. Is 38 a factor of q?
False
Let y be ((-10)/(-3) - 2)*(-1890)/(-28). Let s = -11 + y. Is s a multiple of 4?
False
Let k = -215 - -215. Let v(a) = 5*a**2 + 2*a + 8. Let x be v(-8). Suppose d + 107 = -5*w + x, k = -w + 4. Is 37 a factor of d?
True
Suppose -12*o - 3*f = -17*o + 1835, 2*o + 5*f = 703. Let y = o + -164. Does 54 divide y?
False
Suppose 5*g - 28 = -16*n + 12*n, 4*g - 47 = 5*n. Suppose -g*z = z - 1746. Is z a multiple of 2?
True
Let m(t) = 3*t**2 + 11*t + 60. Let g be m(5). Suppose -3*b + 8 + 4 = 0. Suppose -14*c = -18*c - b*y + 248, 5*y - g = -3*c. Is 10 a factor of c?
True
Suppose w - 7140 = 4*g, 2*w + g - 13688 = 601. Is w a multiple of 133?
False
Let s be 2/(-5 + (6 - 3)). Is (-318 + -3)*1/s a multiple of 8?
False
Suppose -12*n = -3*n + 1161. Let a = -32 - n. Let d = a + 143. Is 8 a factor of d?
True
Suppose 13*d - 5*i = 15*d - 3400, 3*d = -4*i + 5086. Is 24 a factor of d?
False
Suppose 0 = -40*q - 90 - 190. Let w(r) = r**3 + 10*r**2 + 10*r - 2. Is 27 a factor of w(q)?
False
Let i be 3/1 - 10 - -465. Let y = i - 308. Is y a multiple of 10?
True
Suppose -5*o = 5*g, 0 = g + 4*o - 5*o - 8. Suppose -8*d + 7*d = 2*r - 553, -2264 = -g*d + 5*r. Is 6 a factor of d?
False
Suppose 0 = -12*d + 17*d + 15. Is ((-39)/6 - 13)/(d/4) a multiple of 2?
True
Suppose -10*n + 3*n + 35 = 0. Suppose c = 2*c - n. Let l = c - -85. Is l a multiple of 34?
False
Let r be -780 + -1 + -5 - (-6)/2. Let f be (8/(-6))/(18/r). Let i = -32 + f. Does 13 divide i?
True
Let p be (12/(-7))/(26/(-91)). Let u be -1 + 1 + (-5)/(p - 7). Suppose -3*s + 6 + 6 = 0, 3*x - 361 = u*s. Is x a multiple of 22?
False
Suppose -3*p - 26 = 5*a, 5*a + 22 = p - 2*p. Let u be (-12)/a - 1*-12. Let k = 47 + u. Is k a multiple of 31?
True
Let k(n) = 3*n**2 - 13*n + 41. Let h = -165 - -171. Is 8 a factor of k(h)?
False
Suppose 12 = -3*q - 3*h, 2*h - 2 = -5*q - 10. Suppose -833 = -s + 97. Suppose q = 5*b - 10*b + s. Is 31 a factor of b?
True
Let f(v) = 3*v**2 + 5*v - 28. Suppose 0 = -43*o + 48*o - 25. Is f(o) a multiple of 24?
True
Let m be (-4)/((-16)/12) - 9. Let f(h) = h**2 + 6*h. Let r be f(m). Suppose 5*z - 439 - 61 = r. Is z a multiple of 10?
True
Suppose 10*q - 7*q = 4*z + 531, -3 = -3*q. Does 15 divide (-15122)/(-12) + (-2 - z/72)?
True
Suppose -9 = 3*o, 8*u = 3*u - 4*o + 8. Let r = 4 + u. Suppose r*h - 2028 = -748. Does 40 divide h?
True
Let a be 6/24 - (-547)/4. Let r = a - 222. Is 14 a factor of r/(-3) + (-8)/24?
True
Suppose 69602 = -34*o - 6*o + 184802. Is o a multiple of 36?
True
Suppose -5*f = -4*b - 200, b = 5*b. Suppose 7*y - 33 = -f. Does 13 divide y/(-2) - (-387)/6?
True
Let m = 2217 - -1259. Is 47 a factor of m?
False
Let c(l) = -7*l - 13. Suppose -6*y - 84 = -7*y. Let h = 65 - y. Does 24 divide c(h)?
True
Let n(g) be the third derivative of 5/8*g**4 + 11*g**2 + 1/6*g**3 + 0 + 0*g. Is 14 a factor of n(6)?
False
Is 31 a factor of (-206558)/(-8) + 2 + 9/(-12) + 0?
False
Let u(n) = 111*n**2 + 163*n + 646. Is u(-4) a multiple of 30?
True
Let r(f) = f**2 + 59*f - 171. Is r(42) a multiple of 9?
False
Suppose 2*y = 24*s + 1450, -3*s = -39*y + 42*y - 1902. Does 7 divide y?
False
Let j be 1 - (2 + -2 + 3). Let b be -18*(j - -3)/(-2). Suppose b*o - 6*o - 57 = 0. Does 5 divide o?
False
Let m(f) be the third derivative of -49*f**4/24 - f**3/2 + 9*f**2. Let s be m(-11). Does 8 divide (s/4 - 3)*1?
False
Suppose 83*w = 235118 + 28490. Is 4 a factor of w?
True
Let d = 326 - 150. Let y = d + -408. Let t = -4 - y. Is t a multiple of 22?
False
Let n = 16399 + -5696. Is 121 a factor of n?
False
Suppose 9*l = 2593 - 712. Suppose 0 = 3*q - 3*p - 135, 3*q - l + 64 = p. Does 22 divide q?
False
Suppose 10 = -s + 4*c - 7, -3*s + 2*c - 1 = 0. Does 9 divide (-1 - s) + 1 + (35 - 5)?
True
Let y = 11243 - -2568. Does 60 divide y?
False
Let n(w) = 985*w**2 - 5*w - 3. Is n(3) a multiple of 9?
True
Let p be 24/(-72)*(1 - (1 - -186)). Let i = 86 - p. Is i a multiple of 4?
True
Let g = 4815 + -1770. Does 29 divide g?
True
Is 39/195 + (97498/4)/(40/16) a multiple of 75?
True
Suppose -90 = -4*w - 2*t, 5*w + 4*t - 108 - 6 = 0. Suppose 819 = -w*h + 25*h. Is 7 a factor of h?
True
Suppose -6*j = -12*j + 24. Suppose j*m + z + z + 184 = 0, -z = -4. Let y = 108 + m. Is 6 a factor of y?
True
Let y = -1587 + 2318. Suppose -3*b - s = -2*b - 358, -2*b + s + y = 0. Is 47 a factor of b?
False
Let w(j) = 5*j - 1. Let f(s) = s. Let i(c) = 6*f(c) - w(c). Let y be i(10). Let q = y - -69. Does 10 divide q?
True
Suppose c - 237 = 3*a, -4*c = -2*a - 3*c - 159. Let g(y) = -1119*y + 1234. Let p be g(1). Let m = a + p. Is m a multiple of 4?
False
Suppose -4*l + 80*t + 49669 = 75*t, 0 = l - t - 12419. Is l a multiple of 57?
True
Suppose -3*z - 2*z = -3*s - 4375, 3*s = 4*z - 3503. Let a = z - 421. Does 22 divide a?
False
Suppose -26*l = 50690 - 258222. Is 14 a factor of l?
False
Let f be (1/(-2) + 1)/((-4)/8). Let t be (f + 0/2)/(19/228). Does 21 divide (-30)/(-9) + -3 - 752/t?
True
Suppose 4*q + 0 = -20. Let z(i) = i + 8. Let b be z(q). Suppose 4*x + 2*f = 398, 2*x + 2*f + 92 = b*x. Is x a multiple of 14?
True
Let w = -49 + 53. Let j be 6/w*16/8. Suppose j*i = -44 + 332. Is 16 a factor of i?
True
Suppose -3*r = 2*r - 35. Suppose -3 = -r*w + 18. Suppose w*l - 36 = l. Is 3 a factor of l?
True
Let l be -2 - (28/16)/(1/(-4)). Suppose 192 = 4*u - l*d, 0*u - u + 3*d = -55. Is u a multiple of 2?
False
Suppose -540*f + 525*f + 49575 = 0. Is 26 a factor of f?
False
Let s(c) = 36*c + 656. Does 4 divide s(-4)?
True
Let v(r) = -198*r + 21. Let z be v(-5). Suppose -2*x - z = -4*x + 3*q, -5*x + 2*q = -2522. Is x a multiple of 12?
True
Suppose 2*z = 835 + 1583. Let u = -411 + z. Does 57 divide u?
True
Let y = -18 + 23. Let f(q) = 9*q**3 - 5*q**2 - 14*q - 5. Is 37 a factor of f(y)?
True
Suppose 0 = -23*l - 15*l + 225002 + 198166. Is 32 a factor of l?
True
Let a(q) = -q**3 + 12*q**2 - 19*q - 7. Let x be a(10). Suppose -r - 14 = -2*n + 56, x*n - 4*r = 95. Is 22 a factor of n?
False
Let h(o) be the second derivative of o**4/6 - 43*o**3/3 + 45*o**2 + 79*o. Does 5 divide h(43)?
True
Let z(l) = -25*l**2 + 194*l + 62. Is z(7) a multiple of 13?
True
Suppose 0 = -0*d + 2*d + 4*x - 4, 0 = 5*x + 5. Let l(u) = 8 - d + 0*u - 2 + 2*u. Is 5 a factor of l(20)?
False
Suppose 420*d - 411*d - 1764 = 0. Is 14 a factor of d?
True
Let s(j) = -j**3 + 102*j**2 - 269*j + 644. Is 7 a factor of s(99)?
True
Let d(a) = -a**3 - 3*a**2 - a - 10. Let q be d(-4). Suppose 0 = -3*u - y + 94 + q, 0 = 4*y + 16. Does 3 divide u?
True
Suppose -22*g + 312 = -9*g. Let o = 9 - g. Is 6 a factor of 107/3 + (