= -2*i + 14, 5*i - 4*o = 20 + 10. Suppose i*d = 5*b, d + 2 = -2*b + 11. Let g = 6 + d. Is 4 a factor of g?
False
Suppose -j - p + 27 = 0, -4*p = -6*j + 9*j - 86. Is 4 a factor of j?
False
Let g = 1199 + 1125. Is g a multiple of 28?
True
Let b(m) = 2*m**2 - 21*m + 72. Does 38 divide b(19)?
False
Suppose -x - 5044 = -3*w, 0*x = 5*w - x - 8404. Is 56 a factor of w?
True
Suppose -5*b = 3*d - 726 - 459, 0 = -4*d + 4*b + 1612. Is d a multiple of 41?
False
Let w = 918 - 242. Is 52 a factor of w?
True
Suppose -6*x - 196 = -364. Suppose -6*p + 2*p - 68 = 0. Let n = x - p. Is 15 a factor of n?
True
Suppose -279*l + 6930 = -257*l. Is l a multiple of 3?
True
Let q = -2961 - -4321. Does 5 divide q?
True
Let b = -56 - -60. Suppose 5*u - 2*j = 579, -3*u + 6*u - b*j = 339. Is u a multiple of 19?
False
Let f = 3 - 0. Suppose -h - f = -4. Is 7 a factor of (h + 0 - 22)/(-1)?
True
Suppose 2*w - 1182 = -4*u, -2*w + 2*u + 1178 = 5*u. Let z = w + -271. Is z a multiple of 29?
False
Suppose -4*p + 4 = -5*p. Is (2 + p)/((-12)/168) a multiple of 14?
True
Let v(f) = -13*f**3 - f**2 - 25*f - 46. Is v(-2) a multiple of 10?
False
Suppose -4*o + 8*o = -40. Is 20 a factor of -50*(o/(-25) - 2)?
True
Suppose -2*y = -3 - 1. Let g = -15 + 20. Let t = g - y. Does 3 divide t?
True
Let d = -19 + 50. Suppose 0 = 3*c + d - 190. Suppose 2*p - p = -s + 15, 4*s - 3*p - c = 0. Is s a multiple of 5?
False
Let g(i) = -22*i - 12. Let o be g(-4). Suppose 4*n + 5*t = 3*n + 100, n = t + o. Does 16 divide n?
True
Suppose -64*c - 3623 + 14055 = 0. Does 10 divide c?
False
Suppose 6*y - y - 65 = -m, 2*y + m = 26. Let i = y - -21. Suppose i = f + 3*g, -5*f + 170 = 4*g - 8*g. Is f a multiple of 17?
True
Let v(p) = 10*p - 25. Is 15 a factor of v(16)?
True
Let t(k) be the second derivative of -3*k**3/2 - k**2 - 6*k. Let p be t(-9). Is -2 + (-2)/((-2)/p) a multiple of 21?
False
Suppose 4*g - 2*u - 1595 - 861 = 0, 3*g + u - 1832 = 0. Is g a multiple of 17?
True
Let y = 524 + -390. Is y a multiple of 5?
False
Suppose 4*t + 0*t = 0. Let m be (-1338)/(-30) - -2 - 4/(-10). Suppose 3*a - 35 = 5*j, t = a + 4*a + 3*j - m. Is a a multiple of 10?
True
Suppose 3705 = 3*c + 5*p, -12*c + 15*c - 3723 = p. Is 23 a factor of c?
False
Suppose -2*v + 18 - 58 = 0. Let x be ((-216)/15)/(3/v). Suppose 5*w + u = x, -u = w + 3*u - 4. Does 6 divide w?
False
Let i(r) = -9*r - 10. Let k be (27/(-6))/(-9)*10. Suppose k*n + 27 = -18. Is 19 a factor of i(n)?
False
Let m = 175 + 10. Is 3 a factor of m?
False
Suppose 19 = -12*s + 67. Is -2 - ((-2)/s)/((-3)/(-378)) a multiple of 15?
False
Let t(v) = -v**3 + 6*v**2 - 6*v + 5. Let u be t(5). Let s(c) = -c**3 + c**2 + 152. Is s(u) a multiple of 19?
True
Let w = -178 + 430. Suppose -z - 3*z + w = 4*r, 0 = 5*r - z - 303. Does 6 divide r?
False
Let h(d) = 76*d**3 - 3*d - 5*d**3 + 3*d**2 + 9 - 2 - 6. Let x(y) = y**2 + 5*y + 5. Let w be x(-4). Does 12 divide h(w)?
True
Suppose -13*s - 3*v - 610 = -18*s, -4*v = s - 99. Is 7 a factor of s?
True
Let v(x) = 4*x**3 + 3*x**2 + 5*x + 4. Let o be v(4). Suppose -12*z + o + 32 = 0. Is 2 a factor of z?
True
Is 41 a factor of 17 - (-361164)/156 - 4/26?
False
Suppose -2*o - 2*o = 0. Suppose -3*a + 0*a + 39 = o. Suppose -4*u + a - 1 = 0. Is u even?
False
Let j = -20 - -14. Let p = j + 10. Is (-3 + p)/(2/42) a multiple of 4?
False
Let t = -360 - -676. Suppose 12*m = 16*m - t. Is 25 a factor of m?
False
Suppose -698 - 346 = -4*x. Suppose -2*k + 1314 = 5*f - 0*k, f + k = x. Is 44 a factor of f?
True
Suppose 0 = -w - 4*w + 25, 4*a + 3*w = 23. Suppose -2*m - 16 = a*m. Let v = 10 + m. Is v even?
True
Suppose -2*m - y + 3 = -6*m, 0 = 2*y + 2. Does 17 divide (m/(-3))/((-2)/(-804))?
False
Let w be (7 - 7)*(-2)/4. Suppose 0 = -4*k - w*k - 3*q + 131, 3*q + 130 = 5*k. Let n = 43 - k. Is n a multiple of 13?
False
Let v = -276 - -360. Is v a multiple of 21?
True
Suppose 3*m - 3*t - 582 = -5*t, 0 = 5*m + 5*t - 975. Is m a multiple of 24?
True
Let k be -1 + (2 + -3)*-37. Let f(a) = 5*a - 8. Let l be f(4). Let d = k - l. Is 12 a factor of d?
True
Let t(y) = -487*y + 167. Is t(-4) a multiple of 47?
True
Let y(a) = 85*a**3 - a**2 - 4*a**3 - 5 + 3 + 12*a**3 + 3*a. Is y(1) a multiple of 6?
False
Is (-2)/(-6) - ((-466480)/(-30))/(-17) a multiple of 44?
False
Is 18 a factor of ((-774)/(-645))/((-2064)/(-1030) + -2)?
False
Let t = -247 - -2093. Does 93 divide t?
False
Suppose 26*s - 24*s - 76 = 0. Suppose 0*o = -o + s. Is o a multiple of 37?
False
Let u = 101 - 113. Suppose 0*y - 72 = 2*y. Is 18 a factor of (y/(-2))/((-6)/u)?
True
Let z be (-3014)/(-10) + (81/(-15) - -6). Let p = z - 182. Is 15 a factor of p?
True
Let n be ((-696)/(-6) - 0) + 1*-3. Suppose -d + n = 16. Is 6 a factor of d?
False
Let m = 410 + -170. Is m a multiple of 24?
True
Suppose 0*d = d - 3. Suppose d*a = -4*c - 3, -a - 2 = -c - 1. Suppose q - 27 + 7 = c. Is 20 a factor of q?
True
Let f be (-7)/((-105)/(-190))*21. Let t = -59 - f. Does 28 divide t?
False
Let y = -7 - -12. Let f be 3 + (4 - 2) - 2. Suppose -231 = -y*u - 3*q, -f*u + 3*q + 78 = -51. Does 15 divide u?
True
Let k(n) = -n**2 + 22*n + 16. Let m be k(14). Suppose 4*p - 64 - 112 = 0. Suppose -m = -4*t + p. Is 17 a factor of t?
False
Let m(d) = d**3 + d**2 + 21. Suppose 4*y = 8*y. Does 6 divide m(y)?
False
Let d = -34 - -37. Suppose 0 = 3*v - 14 - 1. Suppose 0 = 4*n + d*m - 126, -v*n = -4*m - 234 + 92. Is 14 a factor of n?
False
Suppose 2*k - 8 = 0, 0*p + k = -4*p + 752. Does 47 divide p?
False
Is 15 a factor of -265*(-2)/(-48)*6*-12?
True
Suppose 2*z - 282 = 4*r, -5*z = -r - 4*r - 680. Does 49 divide z?
False
Suppose 0 = 5*l - 16 - 4. Let z be l + 22 + 2 + -3. Let i = 69 - z. Does 14 divide i?
False
Suppose 3*y - 2 - 7 = 0. Suppose -y*c - 2*x + 62 = 12, -5*c + 94 = -2*x. Suppose 18 = 2*w + 5*h, -h - c = -2*w + 2*h. Does 9 divide w?
True
Suppose 0 = -s + 1 + 2. Let y be -24 + s + -1 + 0. Let n = -10 - y. Does 6 divide n?
True
Let z = 309 - 47. Does 37 divide z?
False
Suppose 4*k - 114 = 226. Let a = k + -55. Is a a multiple of 10?
True
Let g be 104 - (2 - (7 - 4)). Does 24 divide (180/g)/(2/28)?
True
Let w(s) = -19 + 7*s - 8 + 5*s + 36. Is w(3) a multiple of 13?
False
Suppose 5*j - 33 - 27 = 0. Suppose -j = -2*r + 32. Does 10 divide r?
False
Let u = -3 - -6. Let k be 10/u + 4/6. Is 7 - (3 - (k + -3)) a multiple of 5?
True
Let y = 32 + -8. Let p be y/(-204) - (-684)/34. Suppose 2*k - p = 2*j, -k - j + 12 = -3*j. Is 8 a factor of k?
True
Let n(v) = 13*v**2 - 1. Let x be n(1). Let o(r) = 32*r - 8. Let h be o(1). Let y = h - x. Is y a multiple of 6?
True
Let z(v) = 7*v**2 - 7 + v**3 - v - 2*v + 6*v. Let b be z(-5). Suppose -2*x + b = -0*x. Is x a multiple of 10?
False
Suppose 162 + 94 = -4*v. Let c be 1 + (2 + -1)*-99. Let r = v - c. Does 9 divide r?
False
Suppose -4*u = -j - 8*u - 52, -3*j = 4*u + 132. Let d = j + 42. Is d even?
True
Let z = -47 + 51. Suppose -z*l + 5*l = 150. Is l a multiple of 25?
True
Let j(c) = c**2 - 6*c. Let a be j(6). Suppose -3*y - h + 128 = a, -2*y = h + 3*h - 72. Is 4 a factor of y?
True
Suppose 18*a = 13*a + 1185. Suppose 0 = -5*z - 2*j + 1117, -5*z = -4*z - 3*j - a. Does 9 divide z?
True
Suppose 222*s + 2796 = 223*s. Is s a multiple of 130?
False
Suppose 0 = 2*v - q - 35, 2*q = v - q - 15. Is v/(2 + 57/(-30)) a multiple of 42?
False
Let h = 24 - 55. Let j = 35 + h. Does 4 divide j?
True
Let u = 1179 + -225. Does 18 divide u?
True
Let t(n) = -12 + 18*n**2 - 12*n - 4*n - 20*n**2. Let z be t(-8). Is (z/15)/(6/(-120)) a multiple of 13?
False
Does 6 divide (-27)/(-18)*1 - (-365)/2?
False
Let n = -2698 - -4280. Is 14 a factor of n?
True
Suppose -4*g + 4332 = 2*a - 798, -a = -5. Suppose 9*l - g = l. Is 16 a factor of l?
True
Suppose -5*u = -5, -129 = -2*q + u - 2*u. Suppose -q = 3*x - 199. Does 3 divide x?
True
Let i be (-4 + -1)*6/(-10). Suppose 117 = -0*s + i*s. Is s a multiple of 13?
True
Suppose 5*t - 9 = p, -4*p = -0*t - 3*t + 2. Suppose -t*q + 59 - 13 = 0. Let v = q + -11. Is 5 a factor of v?
False
Let n be (-335)/(-1) + -6 + 2*2. Let l = -117 + n. Does 11 divide l?
False
Let r = 1 + -1. Let p = -53 - -57. Suppose r*k + p*k = -3*j + 53, -37 = -2*j - 3*k. Does 11 divide j?
True
Does 59 divide 1/(-1) + 730/(40/4)?
False
Let f be (16/40)/((-8)/10)*-14. Suppose 0 = -11*v + f*v + 40. Is v a multiple of 2?
True
Let j be -53 + 4/