e
Is ((-657)/90 - -7) + (-26815)/(-50) a multiple of 2?
True
Suppose -8 = -4*m, 4*m - 361 = k - m. Let w = -189 - k. Is 27 a factor of w?
True
Is (-905982)/(-848) - 6/16 a multiple of 12?
True
Suppose d - 3*q - 122 = 0, -4*d - q - q = -530. Is 18 a factor of d?
False
Suppose -3*x + 3 = 4*q - 2, -5*x - 3*q + 12 = 0. Suppose -x*m + 6*m = -336. Let g = -77 - m. Is 7 a factor of g?
True
Let n = -403 - -546. Is n a multiple of 13?
True
Let q be (-30)/8*1680/(-45). Let t be (-3)/4 + q/16. Is 225/12 + 2/t a multiple of 6?
False
Suppose -2*c - 5 = 1. Let j be c/(-9) + 1347/9. Suppose 3*d - j = -2*d. Does 20 divide d?
False
Let s = 332 - 224. Suppose -2*k = 2*k - s. Is 9 a factor of k?
True
Let v be ((-9)/6)/((-3)/(-108)). Is 2 + 9/(-3) + v/(-6) a multiple of 2?
True
Let z = -527 - -165. Let v = -247 - z. Is v a multiple of 23?
True
Let c = -156 - -444. Is c a multiple of 9?
True
Let a be (35/(-21))/(10/(-12)). Suppose 75 = a*b - 9. Let o = 60 - b. Is 3 a factor of o?
True
Let u = 92 - -45. Is u a multiple of 24?
False
Does 5 divide ((-1914)/198)/((-2)/90)?
True
Let u = 4 - 2. Suppose 5*l - 3*o - 8 = 0, 4*l = -u*o + 7*o - 4. Suppose 5*c + 5*q - q - 139 = 0, 0 = -l*c - 4*q + 108. Does 9 divide c?
False
Let g(q) = -110*q**3 - q**2 - 9*q - 18. Does 34 divide g(-2)?
False
Let k(v) be the second derivative of 5*v**4/12 - 2*v**3/3 + 3*v**2/2 - 35*v. Is 4 a factor of k(4)?
False
Let q = -1281 + 1910. Is 58 a factor of q?
False
Suppose -8*m = -m - 2352. Is 12 a factor of m?
True
Is (-3380)/(-15)*33/22 a multiple of 13?
True
Let q be (-3)/2*360/(-54). Suppose 66 = q*j + j. Is j even?
True
Suppose 51*n - 180930 = -60*n. Is 35 a factor of n?
False
Suppose 6 = b - 3. Let x be 23/2 - (-2)/(-4). Let f = x - b. Does 2 divide f?
True
Let g(n) = n**3 + 7*n**2 - 3*n - 7. Let s = -44 - -79. Suppose -s = -4*r + 9*r. Is g(r) a multiple of 3?
False
Let x = -118 + 255. Let w = x + -93. Is w a multiple of 11?
True
Let q = 180 + -83. Does 18 divide q?
False
Let r be (52/5)/(6/15). Let n = -70 + r. Let k = -28 - n. Is 4 a factor of k?
True
Is 11 a factor of 1083 - (-16 + 17)*(6 + -1)?
True
Let j(l) = -3*l**3 + 3*l**2 - 8*l + 1. Is 21 a factor of j(-4)?
True
Suppose -2*z = -6*l + 4*l - 134, 4*l = 12. Does 7 divide z?
True
Suppose 5*a - t + 5 - 50 = 0, 5*a - 25 = 5*t. Let c be 19*2/((-4)/a). Is 3 a factor of (-2242)/c + 6/(-10)?
False
Let t = -8 - -34. Let d = 37 - t. Is d a multiple of 2?
False
Suppose 4*w - 200 = -4*y + 220, w = 2*y + 120. Is w a multiple of 22?
True
Suppose 6*c - 2*c = 0. Suppose c = -0*o - 2*o + 2*b + 44, 2*o = -3*b + 24. Is o a multiple of 3?
True
Suppose -9*z + 13*z = 20. Suppose 49 = z*i + 14. Does 4 divide i?
False
Let q(l) be the third derivative of -l**6/60 - 2*l**5/15 + l**4/24 - 3*l**3/2 + 27*l**2. Is q(-5) a multiple of 12?
True
Let z be 100/8*6 + -1. Suppose -j = -z - 76. Does 25 divide j?
True
Suppose -16*c = -13*c - 1584. Suppose -18 = -7*h + c. Is 26 a factor of h?
True
Let l(g) = -3*g + 5. Let y be l(-2). Let r = 7 - y. Is 7 a factor of (-1 + -1 - -52) + r?
False
Let f(x) = -3*x - 9. Let m be f(-4). Suppose n + 14 = -2*a, -6 = -n - 0*a + m*a. Does 30 divide (n + 8)*(-83)/(-2)?
False
Let h(p) = p**3 - 9*p**2 + 8*p - 2. Let w be h(8). Suppose 0*o + 4*o - 20 = -4*j, 1 = -3*o + j. Is 14 a factor of 53 + o + (-4)/w?
True
Let u(z) = 2*z**2 + 123*z + 575. Is u(-58) a multiple of 12?
False
Let a(o) = -o**3 + 17*o**2 - 19*o - 10. Let l be a(14). Suppose -5*s + 3*u + 500 = -2*u, u - l = -3*s. Is s a multiple of 15?
False
Let s = -176 + 308. Let l = -113 + s. Does 9 divide l?
False
Let q(t) = -t**2 - 8*t - 3. Let s be q(-7). Suppose f = s*f - 345. Is 23 a factor of f?
True
Let x be 2/(3/18*4). Let h be 20 - (-2 + x + -2). Suppose 0*b - b + h = 0. Is b a multiple of 21?
True
Let i = 74 - -15. Let b = 290 - i. Let q = b + -113. Does 19 divide q?
False
Suppose 0 = 3*r + 4*m - 92, 5*r - 95 = -0*r + 5*m. Let v = -61 - -59. Is 14 a factor of 1002/r - v/8?
True
Let b(u) = -166*u + 270. Is 10 a factor of b(-20)?
True
Let r(j) = 133*j + 3. Let d be r(1). Let n = 32 + d. Is n a multiple of 44?
False
Suppose 83094 + 1146 = 27*r. Is r a multiple of 60?
True
Let a(n) = -21*n - 105. Is a(-17) a multiple of 17?
False
Suppose d + t = -2*t + 4, -5*t = -4*d - 1. Let i(c) = 2 - 1 - 4 + 2 + 23*c**2. Does 11 divide i(d)?
True
Let n(k) = -k**3 + 4*k**2 + 5*k + 1. Let w be n(5). Let x be 14 + -16 + 30*w. Suppose 3*r - x = -r. Is 6 a factor of r?
False
Suppose -r + n - 7 = -2*r, -5*r = 3*n - 45. Does 6 divide r?
True
Suppose 342 = 2*f - 0*f. Let n be (-2 + 35)/(6/18). Let q = f - n. Is q a multiple of 18?
True
Is (590/40)/(-1 - (-17)/16) a multiple of 9?
False
Suppose 7*d = 2*d + 15. Suppose -d*k + 28 + 65 = 0. Let v = k + -22. Does 3 divide v?
True
Let q = -27 - -30. Suppose -x = -q - 0. Does 2 divide x?
False
Let g = 861 - 557. Does 7 divide g?
False
Suppose 11*f = 51 + 48. Suppose f*m + 76 = 706. Is m a multiple of 10?
True
Suppose 13*u - 24 = u. Suppose -u*x = -4*m - x + 22, -4*x = 8. Is 2 a factor of m?
False
Let x(s) = 231*s - 22. Is 61 a factor of x(3)?
True
Let m = -17 + 14. Let q be (-64 - 1)/(3/m). Let f = -27 + q. Does 19 divide f?
True
Suppose -19*a - 470 = -24*a. Is 7 a factor of a?
False
Suppose 3*r = -2*r - 3*p + 15, -3*p - 3 = 2*r. Does 35 divide 1029/r + -4 + 1/2?
False
Let f be (((-30)/12)/5)/(1/(-6)). Suppose -f*r + 215 = 2*r. Is r a multiple of 7?
False
Does 6 divide (0 + -3 - 1) + 8 + 532?
False
Suppose -7*n + 910 = -1470. Suppose -108 = -7*l + n. Does 11 divide l?
False
Let l be (-196)/9 - (-10)/(-315)*7. Is 446/(6/(-33) - 48/l) a multiple of 33?
False
Let f be -4 + 11 - (-3 - (-10)/2). Suppose -5*m = -4*m + f*b - 86, -2*b = 4*m - 362. Is 13 a factor of m?
True
Is ((-11)/(462/(-6840)))/(12/112) a multiple of 40?
True
Let r = -1098 - -1348. Is 19 a factor of r?
False
Let c(g) = 2*g**2 + 3*g - 8. Let a(f) = 3*f**2 + 5*f - 16. Let s(o) = -2*a(o) + 5*c(o). Does 9 divide s(5)?
True
Let w(x) = -7*x**3 + 4*x**2 + 4*x - 1. Let y be w(-3). Let f be 4/(-18) - y/18. Let o = 48 + f. Is o a multiple of 16?
False
Let f(l) = l**3 + 12*l**2 + l + 16. Let y be f(-12). Suppose 5*s = -y*d + 270, -8*d + 4*d + 258 = -s. Is 13 a factor of d?
True
Let h be 16/3 + 15/(-45). Suppose 5*f + h*f = 1460. Does 7 divide f?
False
Suppose 2*r - 902 = -j, 11*r = 2*j + 10*r - 1789. Does 15 divide j?
False
Let f(h) = -h**2 + 3*h + 3. Let o = 10 + -7. Let b be f(o). Suppose 2*u = 6*v - b*v + 78, 32 = u - 5*v. Is 17 a factor of u?
False
Suppose 0 = -16*q - 2*q + 21060. Is 10 a factor of q?
True
Suppose l + 5 = 1. Does 3 divide (3/12 - (-89)/l)/(-1)?
False
Let x(y) = 10*y + 1. Let b be x(1). Suppose -4*o - 27 = -3*p, 0*p + 4*p - 29 = 3*o. Let g = b + o. Is 8 a factor of g?
True
Let v(o) = -o**3 - 13*o**2 - 13*o - 10. Let x be v(-12). Suppose 3*s - 5*h = -78, 3*s + x*h - 16 = -94. Let p = s - -93. Is 29 a factor of p?
False
Let j = -21 + 19. Let s(w) = 7*w**2 - 2*w - 1. Is 17 a factor of s(j)?
False
Suppose 11 = -5*w + 21. Let i = 95 + -38. Suppose w*s = -s + i. Does 4 divide s?
False
Let x = 242 + -101. Let g = 222 - x. Is 13 a factor of g?
False
Let g be (4 - 6)/((-4)/(-2)). Suppose 10 = -2*v, 3*d + 5*v = d + 77. Is 17 a factor of (d/(-6))/(g/2)?
True
Let x = 13 - 1. Let c be -44*(-2)/x*3. Suppose 0 = -o + 23 + c. Does 12 divide o?
False
Let t(x) = 0 + 4 + 2*x**2 + 8*x - x**2 + 2. Let s = -16 - -8. Is t(s) a multiple of 3?
True
Let x(d) = -26*d**2 + 5*d - 17. Let s be x(3). Is 31 a factor of 3*(-5)/3 - s?
False
Let a be (-24)/(-9)*5/(80/36). Is 6 a factor of 392/21 - a/9?
True
Let i be ((-1)/4)/((-2)/24). Is (-14 - -17)*38/i a multiple of 10?
False
Suppose -96 = 4*g - 480. Suppose 2*h + g = 6*h. Suppose 4*q = 72 - h. Does 6 divide q?
True
Suppose -9*m = 4*o - 13*m - 1032, -3*o - 5*m + 774 = 0. Is o a multiple of 10?
False
Suppose 564 = 4*p - 4*d, 382 + 178 = 4*p - 5*d. Is 15 a factor of p?
False
Suppose -4*t + 8 + 168 = 0. Suppose 0 = -2*h + h + 5, 4*u + 4*h = t. Does 3 divide u?
True
Let i(p) = -p**3 + 7*p**2 - 6*p + 5. Let c be i(5). Suppose 0 = 3*z - c - 65. Does 11 divide (z/(-4))/((-2)/12)?
False
Let h(c) = c**2 + 5*c - 2. Let o = -1 + -3. Let p be h(o). Is 148/6 + p/9 a multiple of 12?
True
Suppose 794 = 2*j + 2*n, 2*j - 4*n = -544 + 1332. Does 11 divide j?
True
Let y(w) be the second