r of i?
True
Suppose 39*b = 34*b + 5755. Suppose -4*m = -2*w + 768, m = -3*w + 6*m + b. Does 15 divide w?
False
Suppose -i + 119 = -0*i. Let q = 102 + i. Is 17 a factor of q?
True
Let c = 576 + -853. Let g = c - -548. Is 21 a factor of g?
False
Suppose -o + 85 = -2*o. Let v = -15 + -63. Let p = v - o. Is 4 a factor of p?
False
Let b = 619 - 158. Is b even?
False
Let g = 9573 - 5501. Is g a multiple of 8?
True
Let v = 5860 + -5865. Let a(x) be the first derivative of 7*x**3/3 + 13*x**2 + x + 1. Is a(v) a multiple of 24?
False
Let z be -5*(-6)/(-5) - -11. Suppose -z*c + 120 = 4*d, -7*d + 3*d = 3*c - 72. Does 13 divide c?
False
Suppose 59*s - 5*s = 48*s + 60060. Does 182 divide s?
True
Is (12552/30)/((-92)/(-805)) a multiple of 22?
False
Is -985 + 36886 - 1*19 a multiple of 74?
False
Let y = 43699 - 31788. Is y a multiple of 34?
False
Let a be 3 - ((-194)/(-10) + (-10)/25). Let s = 170 + a. Is s a multiple of 22?
True
Suppose -5*t - 5*h = 0, -t + 2*h = -26 + 11. Suppose 0 = -t*j + 4922 - 437. Does 13 divide j?
True
Let z(l) = l**2 - l + 78. Let s be (0/2)/(7 - 10). Does 13 divide z(s)?
True
Suppose 611 = -5*k - 124. Let w = 336 - k. Is 23 a factor of w?
True
Suppose c = -0*c + 333. Let l be (-726 + -3)/3*(30/(-9) + 4). Let t = l + c. Is t a multiple of 57?
True
Let c be ((56/(-12))/7)/((-1)/243). Suppose -8*m + 394 = c. Is m a multiple of 13?
False
Suppose -2*f = -4, -18*k + 4*f = -17*k - 1192. Does 25 divide k?
True
Let u = -66 - -32. Is 31 a factor of 92 - ((-34)/(-289) + 38/u)?
True
Let k(l) = -l + 8. Let n be k(7). Let o be (3 - 2) + (1 - (0 - n)). Suppose o*q - 54 = -j, -4*j - 3*q + 300 = 66. Is 5 a factor of j?
True
Suppose 7*m = 10*m - 12. Suppose -1808 = -m*n - 244. Does 23 divide n?
True
Let z(q) = 6*q**3 + q**2 - 7*q. Let n be z(8). Suppose 14*t = 7*t + n. Is t a multiple of 40?
True
Is 17 a factor of (-103068)/(-72) - (-21)/(-6)?
True
Let f be (-5)/(33/(-4) + 7). Suppose -f*v = -3404 - 12. Is 14 a factor of v?
True
Let z be ((-7)/(63/(-27)))/(9/39). Suppose -2199 = -3*m - 3*g, 5*m + z*g = 11*g + 3674. Does 46 divide m?
True
Let i = -75 + 79. Suppose i*c + 5*x = 2*c + 27, -c + 4*x - 6 = 0. Suppose -242 = -3*p + s, s - c*s = -2*p + 144. Is 3 a factor of p?
False
Let n = -45 + -22. Let r = n + 55. Let h = r + 74. Does 24 divide h?
False
Is 22 a factor of (-1 - (-20 + -656)) + -15?
True
Suppose 6 = -6*p + 192. Suppose -p*g - 54 = -32*g. Suppose -2*f + 44 = 5*x - g, 4*f + 3*x = 168. Is f a multiple of 7?
False
Let k(x) = -10*x + 20. Let z be k(3). Suppose -5*p + 3*r = 3989, 7*r - 3*r = -2*p - 1580. Does 19 divide z/15 - p/6?
False
Let a be ((-22)/33)/((-2)/438). Suppose 3*q + 144 = d - a, 0 = 4*d - 2*q - 1110. Does 5 divide d?
True
Let w = 55 + -36. Suppose -4 = 2*u, 5*b + w = -u - 18. Let a(c) = -c - 2. Does 4 divide a(b)?
False
Let h(c) = -11*c - 252. Let z be h(-22). Does 14 divide (9/(225/(-5560)))/(4/z)?
False
Suppose -2*l + 869 = -3*d - 1007, 5*l = -3*d + 4711. Let x = 1723 - l. Is x a multiple of 23?
True
Suppose -10 = -h + k - 8, -4 = -2*h + k. Let b be (h*(-18)/12)/(1/(-77)). Let z = b + -158. Does 32 divide z?
False
Suppose 0 = 108*x - 113*x + 395. Suppose -74*a = -x*a + 2160. Is 12 a factor of a?
True
Suppose 5*j = -5*q + 75 - 1680, -3*j - 966 = 2*q. Let d be 8/(-6)*(-210)/(-4). Is -2 + (j/21)/(15/d) a multiple of 4?
False
Suppose -2*r = 4*y + 314, 0 = -3*y + y - 2. Let l = 53 - r. Is l a multiple of 17?
False
Let m = 26 - 23. Suppose t = -v - 3*t + 33, -m*v + 69 = 2*t. Suppose -v = -x + 4*b + 75, 2*b = 4*x - 384. Does 24 divide x?
True
Let i(y) = 5*y - 7. Let r be i(2). Let v(b) = 90*b + 1. Let c be v(1). Let k = r + c. Is k a multiple of 20?
False
Suppose -26041*w + 26040*w = -21924. Is 58 a factor of w?
True
Suppose 2*h + 5*w - 522 = 0, -4*h + 21 + 999 = -2*w. Suppose -1612 = -3*o - h. Let p = -268 + o. Does 32 divide p?
False
Let z(w) = 2*w**2 + 9*w + 1. Let g be z(-5). Let h(d) = -2*d - 1 - 5 + 5*d**2 + g. Is h(-5) a multiple of 45?
True
Let z = 847 - 191. Let h = z - 342. Is 30 a factor of h?
False
Let y(z) = -2*z**3 - z**2 - 2*z + 924. Does 5 divide y(0)?
False
Let k(i) = 101*i**2 - 38*i - 204. Is 4 a factor of k(-6)?
True
Let c be 1/(-2) - 564/(-8). Suppose -c = 2*z + 158. Let n = z - -168. Is 6 a factor of n?
True
Suppose m + 30*o = 33*o + 25, 3*m + 4*o - 10 = 0. Suppose 0 = -m*f + 13*f - 2106. Does 54 divide f?
True
Suppose 12*o - 7273 = 7187. Suppose 2*l - o = -3*f, -2*f + 3*f - l = 395. Does 21 divide f?
True
Let z be 116 - -2 - (6/2 - 4). Suppose -z = 3*y + 3*a - 3356, 0 = 3*y + 5*a - 3237. Is 13 a factor of y?
True
Let k(c) = -c**3 - 3*c + 72. Suppose -5*z = 15, 5*z = -o + 3*o - 15. Is k(o) a multiple of 12?
True
Suppose -d = -3*a - 4*d + 6336, a - 4*d = 2137. Does 4 divide a?
False
Let a be 3/((-9)/(-12)) - 736. Let p = -517 - a. Is 10 a factor of p?
False
Suppose -20*p + 19*p + 2*b = -6736, p + 4*b - 6730 = 0. Suppose -23*k + p = 3*k. Is 18 a factor of k?
False
Does 118 divide (-42 - -14)*((-3703)/14 - -4)?
False
Let s = 771 - 1136. Let c = s + 441. Is c a multiple of 9?
False
Let k(l) = l**2 - l - 6. Let w be k(4). Suppose -w = 2*n, -n + 3*n - 14 = -5*x. Is 15 a factor of ((-4)/(-10))/(x/860)?
False
Suppose 2464*l + 118048 = 2472*l. Is l a multiple of 21?
False
Let i = 27356 + 13648. Is 10 a factor of i?
False
Suppose -29*d - 30*d + 1888 = 0. Suppose -d*g + 10152 = -20*g. Is g a multiple of 47?
True
Let a(f) be the first derivative of -41*f**2 + 8*f - 7. Let l be a(-2). Let i = l + -88. Is 28 a factor of i?
True
Let v = -782 + 807. Suppose 4*j + 2*b = 4238, v*j - 2*b + 5297 = 30*j. Is 18 a factor of j?
False
Suppose -5*n - 37 = -2*a, -a + 37 - 11 = -4*n. Suppose -u - 2*p + 334 = 0, 5*p - a*p = -4*u + 1354. Does 8 divide u?
False
Let r(x) = -x**3 + 23*x**2 - 12*x + 13. Let k = -3 + 13. Is 35 a factor of r(k)?
False
Let v(r) = 31*r - 28. Let m be ((-4)/5)/(-6 - (-174)/30). Suppose -m = 7*p - 8*p. Is v(p) a multiple of 6?
True
Let l(g) = -3*g**3 + 6*g + 9. Suppose 65 - 23 = -7*n. Let h be l(n). Suppose -3*d + 5*t = -410, 207 = -3*d + 3*t + h. Does 35 divide d?
True
Let m = 1 + -94. Let i = -249 - m. Does 10 divide i/(-16) - (-2)/8?
True
Let g = 119 + -88. Let y be 2/16 - (-254)/16. Suppose -m - y = -z, 0*z - 2*m + g = z. Is z a multiple of 3?
True
Let f = 57576 - 29851. Does 21 divide f?
False
Let p be (6 - 1) + (-108)/(-27). Suppose i + 4*u - 931 = 0, -12*u = -p*u - 3. Is i a multiple of 54?
False
Suppose 2*t - 10*t = 0. Suppose 2*j = -0*j + 4*g + 396, t = -g - 2. Let k = 350 - j. Is 30 a factor of k?
False
Let w be (1 + -1)/(((-5)/(-1))/5). Suppose -3*f + w*n - 4*n + 121 = 0, -2*n - 154 = -4*f. Does 5 divide f?
False
Let x be 6/(-2)*439/1. Let z = 2260 + x. Does 23 divide z?
True
Let n be (-9)/4*(-8)/12*-8. Let f(j) = j**2 + 10*j - 13. Let x be f(n). Suppose 0 = -19*h + x*h + 288. Does 36 divide h?
True
Let z(u) = -u**2 - 17*u - 1. Suppose 1 = q - 2*g, -2*q - 2*g + 2 + 18 = 0. Suppose -2*f + 6*y - q*y - 14 = 0, f = 3*y - 14. Does 33 divide z(f)?
False
Suppose 0 = -67*u + 68*u. Suppose u = 69*v - 65*v. Suppose -2*t + 2*r + 85 = t, v = r + 2. Does 9 divide t?
True
Let a(j) = 24*j**3 + 3*j**2 + 53*j - 14. Does 8 divide a(7)?
True
Let c = 3594 + -3242. Is c a multiple of 16?
True
Let t(b) = -2*b**3 - b**2 - b + 1. Let u(p) = 5*p**3 + 38*p**2 - 25*p + 25. Let k(c) = 3*t(c) + u(c). Does 40 divide k(34)?
False
Let x = 1517 + -2183. Let b = -550 - x. Is 29 a factor of b?
True
Let i be (0 - 156)*1/2. Let g be (-4 + 7/3)*i. Let d = g + -25. Does 14 divide d?
False
Let h = -2806 - -31883. Is h a multiple of 14?
False
Let o = 6 + 38. Let r = 80 - o. Let n = r + 1. Is n a multiple of 8?
False
Suppose 76721 = -44*w + 480949. Does 50 divide w?
False
Suppose -5*t + 25 = -30. Suppose t*f + 90 = 2*f. Is 5 a factor of (45/f)/(9/(-42))?
False
Suppose 0 = -3*n + 14*n - 22. Suppose 0 = -10*i - n*i - 3984. Let m = -191 - i. Is 35 a factor of m?
False
Does 6 divide (-4039464)/(-1848) + (-12)/14?
False
Let d(p) = p**2 - 8*p - 8. Let k be d(9). Let h(j) = -6*j**2 - 3*j + 3. Let z be h(k). Does 24 divide (z - (-6 + 4)) + 30?
False
Let o(r) = r**3 + 10*r**2 + 100*r - 89. Is o(17) a multiple of 18?
True
Let b = 2689 - 1017. Suppose b = 5*f + 42. Let h = f + -107. Is h a multiple of 28?
False
Let w be 16/3*3/(-1). Let x(o) = 2*o**2 - 14*o