
Let k be (-308)/9 + (-14)/(-63). Suppose -2*m = 7 - 1, 0 = 5*x - 2*m - 231. Let z = k + x. Is z a multiple of 5?
False
Is 8/((-88)/583)*(-25 - 0)*1 a multiple of 10?
False
Suppose -2*s + m - 56 = 0, -s - 2*s - 84 = 2*m. Let p = s - 16. Let j = p + 62. Is 4 a factor of j?
False
Let i = -629 + 1158. Suppose -44 = -5*n + 3*j + i, -593 = -5*n - 2*j. Is 13 a factor of n?
True
Suppose 3*b - 161 = 2*i, 0 = -5*b + 3*i + 2*i + 275. Suppose -58*d = -b*d - 1624. Is d a multiple of 6?
False
Let n = -680 + 464. Let x = 567 + n. Does 39 divide x?
True
Suppose 47*i - 29*i - 2664 = 0. Suppose -20*r + 292 + i = 0. Is r a multiple of 22?
True
Let s(j) = -60*j**2 - 86*j + 5. Let z be s(3). Let b = z + 1475. Is b a multiple of 14?
False
Does 13 divide (57700/480*6)/(30/(-32) + 1)?
False
Let j = 2889 - -6385. Is 22 a factor of j?
False
Let s(w) = -3*w - 41. Let c be s(12). Let a(m) = 26*m - 6. Let b be a(6). Let h = c + b. Is h a multiple of 19?
False
Let z(n) = -2*n - 9. Let t be z(-6). Suppose -36*y = -37*y + t. Is (y - (-4 + 5))*4 a multiple of 3?
False
Let l(o) = -44*o - 700. Is 8 a factor of l(-17)?
True
Suppose 0 = -8*v + 59394 + 101206. Is 22 a factor of v?
False
Suppose -5239 = -i - 4464. Is i a multiple of 25?
True
Suppose -3*i = -i + 14. Let z(r) = -r**3 + 14*r**2 + 2*r + 6. Let y be z(14). Let c = y + i. Does 4 divide c?
False
Let l(n) = 6*n - 25 + 8*n**2 - n - n + 30. Let h(x) = x**2 + 10*x - 27. Let v be h(-12). Is l(v) a multiple of 13?
True
Suppose 168*i - 164*i - 424 = 0. Let l = -42 + i. Does 32 divide l?
True
Let l = -14 + 34. Suppose i - l = 1. Let o = -18 + i. Is o a multiple of 3?
True
Let i = -173 - -2651. Is 4 a factor of i?
False
Suppose 0 = 2*c + 5*h - 28, -5*c = 4*h - 2*h - 28. Let m be 58 + 0 + (-3)/(-6)*c. Suppose -4*j + m = 2*j. Does 2 divide j?
True
Let v(o) = o**3 - 10*o**2 + 9*o + 6. Let j be (-1 - 14/(-8))/((-25)/(-300)). Let x be v(j). Suppose -x*a = -674 + 146. Is 11 a factor of a?
True
Let t = 95 + 1169. Suppose 4*x + 3*r = 5*r + t, 934 = 3*x - 5*r. Is x a multiple of 33?
False
Suppose 7970 = -10*h + 11*h + 2*j, 4*j + 23970 = 3*h. Is 14 a factor of h?
False
Let z(a) = 2*a**2 + 60*a - 282. Does 107 divide z(15)?
False
Suppose -x + 10 = 37*u - 40*u, 0 = -2*x + 3*u + 14. Suppose x*v + 2*v - 1098 = 0. Does 43 divide v?
False
Let n = 71 - 66. Let k be (5 - (11 + n))*1. Is 22 a factor of (1 + k - -5) + 225?
True
Suppose -14*r - 9*r + 5543 = 0. Suppose 5*b = m - 58 - 233, -5*b + r = m. Is 16 a factor of m?
False
Let t(r) = -r**3 + 5*r**2 + 3*r - 5. Suppose -8*x = -3*x - 20. Let j be t(x). Suppose g - a - 65 = -j, 3*g - 2*a = 127. Does 33 divide g?
False
Let t = 6826 - -5875. Is t a multiple of 13?
True
Suppose -905466 - 1824683 = -106*r + 135243. Does 124 divide r?
True
Let a = 249 - 232. Is (-112)/(-8)*a/2 a multiple of 14?
False
Let g(m) = -2*m**2 + 8*m - 7. Let p be g(1). Is 11 a factor of (-63)/42 - ((-98)/4 + p)?
False
Suppose -2*b = -17 + 3. Let a(w) = -47*w - 43 + b + 38*w. Is 11 a factor of a(-15)?
True
Let h(o) = 198*o**2 - 18*o - 47. Is 97 a factor of h(-4)?
False
Suppose 6*w = 102 - 18. Suppose 12390 = r + w*r. Is 49 a factor of r?
False
Suppose 464*b = 447*b + 8891. Is 2 a factor of b?
False
Suppose 19*f = -253 - 716. Let h be ((-46)/6 - -1)*f. Suppose 0*q + 5*q - h = -5*g, g + 2*q = 64. Is g a multiple of 4?
True
Let r(w) = -w**3 + 13*w**2 + 29*w + 15. Let n be r(15). Suppose j + d - 150 = n, -46 = -3*j + 4*d + 390. Is 13 a factor of j?
False
Let q be 2/(-1 - 33/(-30)). Let g(i) = i**2 - 26*i + 30. Let w be g(11). Is (-15)/q*(w + (-9)/(-3)) a multiple of 17?
False
Does 6 divide (-3 + 38478/(-14))/((-294)/2744)?
True
Suppose -45*u + 43*u = -20. Let w be 8/u*(-580)/(-8). Let r = w + 97. Is 16 a factor of r?
False
Let y(d) = -19232*d - 2412. Is y(-3) a multiple of 204?
True
Let w be (0 + -4 - -1) + -2. Let o(y) = -6*y - 22. Let n be o(w). Is ((-258)/n)/(15/(-20)) a multiple of 12?
False
Let i be ((-8)/(-6))/((-3)/(-18)). Let z(s) = -2*s**2 + 6 - i*s + 3*s**2 + 7*s. Is z(-5) a multiple of 4?
True
Let n = 16890 + -7736. Is 46 a factor of n?
True
Let f be (-4)/(-22) + 240/11. Is 16 a factor of (f/(-4) + 1)/(3/(-234))?
False
Let p = -1613 - -3033. Suppose -259 = 3*d - p. Is d a multiple of 43?
True
Let j(y) = 37*y - 122. Let b be j(11). Suppose -b = -5*o - 3*n, 5*n + 9 + 16 = 0. Is 10 a factor of o?
True
Let f be ((-444)/16)/((-27)/12 - -2). Let j = f - 58. Does 9 divide j?
False
Let q be (9/(-4))/(6/(-408)). Let o be ((-4)/(-3) + 0)/(3/q). Suppose o*h - 73*h = -720. Is 16 a factor of h?
True
Suppose 118*k - 2237914 = 986367 - 397709. Is k a multiple of 118?
True
Let r = 15 + 2952. Is 69 a factor of r?
True
Let u be -36*(0 + 0 - (-33)/(-22)). Suppose 3*p - 390 = -3*y, 2*y - u = 2*p - 302. Let d = p - 87. Is d a multiple of 4?
True
Let h(t) = t**2 + 5*t - 41. Let a be h(-10). Is 16 a factor of (-890)/(-7)*(a + -2)?
False
Suppose 2*v = 4*q + 472, 0 = -5*v - q + 801 + 379. Suppose -v = 5*z - 2796. Is z a multiple of 16?
True
Let v be ((-3)/1 - -6)*(-5 - -2). Is 2 + 140 + (-24)/(-3 - v) a multiple of 23?
True
Let i(g) = 3*g**3 - 9*g**2 + 12*g - 4. Let k be i(2). Suppose -k*c + 14*c = 138. Does 22 divide c?
False
Let w(q) = -3*q**3 + 6*q**2 + 24*q - 12. Let f be w(-11). Suppose -11807 = -7*o - f. Is 30 a factor of o?
False
Suppose -w = 4*l + 2*w - 9, -4*w - 14 = l. Let v(a) = -11*a + l*a - 12 - a. Does 9 divide v(-8)?
True
Let u = -140 + 346. Suppose -u = l + l. Let g = 183 + l. Is 8 a factor of g?
True
Does 5 divide 1101/3 - (4 + 13 - 10)?
True
Suppose 2*r - 5*t = 34, -4*r - t + 14 + 10 = 0. Suppose -43 = -2*q + r. Is 25 a factor of q?
True
Let h(u) = 3*u**3 + 27*u**2 + 10*u - 50. Let s be h(-8). Let p = 10 - 8. Suppose -p*r = -s + 14. Is 3 a factor of r?
True
Let d(l) = -l**3 - 30*l**2 + 4. Let w be d(-30). Let a(k) = 132*k + 78. Is 37 a factor of a(w)?
False
Let i(n) = -9*n - 3. Let c be i(-1). Let x = 40 + c. Suppose -z - z = -x. Does 5 divide z?
False
Suppose -2*c = -4*o + 9 + 5, -4*c = -4*o + 12. Suppose 8*i = 4*i - 2*b + 470, 0 = o*i - 3*b - 475. Suppose 8*t = i + 962. Is t a multiple of 27?
True
Let b = 198 + -157. Let u = b - -18. Is 22 a factor of u?
False
Let a = 59 - -237. Let v be (a*1)/(-4 + 9/3). Is 5 a factor of -1*2/(-6) - v/12?
True
Suppose 2*m = 2*r + 3 - 11, 3*r + 2*m = 7. Suppose 242 = 5*w + 2*u, 3*w - 146 = -r*u + 2*u. Is w a multiple of 5?
True
Suppose -357*h + 765769 = -2387127 - 591320. Does 19 divide h?
True
Let q = -13 + -13. Let v = -58 - q. Let g = -20 - v. Does 3 divide g?
True
Let i(r) = -183*r**2 + 13*r + 2. Let q be i(2). Let v = q - -1435. Is 93 a factor of v?
False
Suppose 0*l + 48996 = 36*l. Suppose 3*k - 103 = l. Does 13 divide k?
False
Let j(g) = 2*g + 38. Let c(v) = -4*v**2 + v - 1. Let z(s) = -2*s - 4. Let k be z(-3). Let x be c(k). Is 4 a factor of j(x)?
True
Let m(d) = d**2 - 10*d - 16. Let h = -390 - -416. Does 50 divide m(h)?
True
Let j(t) = -13*t**3 - 8*t**2 - 7*t - 34. Is j(-6) a multiple of 6?
False
Let y be (-4)/(-28) + 22/(-7). Let a be (-169)/(-3) - (-1)/y. Let f = 80 - a. Is 17 a factor of f?
False
Let h(n) = 32 + 3*n**2 + 125*n + 116*n - 214*n. Is h(-17) a multiple of 8?
True
Is (2/(-14))/(72/(-71568)) a multiple of 21?
False
Suppose -7*d - 824 - 821 = 0. Does 57 divide (-2 + 4)*6/(-4) - d?
False
Let a(y) = -y**2 + 7*y - 7. Let h be a(5). Is 551/h + (-52)/(-39) a multiple of 37?
True
Let d = 47 + -97. Suppose 0 = 9*m + m + 50. Let t = m - d. Is 13 a factor of t?
False
Let w be (21/(-12))/(3/36). Suppose -18*m + 105 = -21*m. Is w/m + 507/5 + 3 a multiple of 11?
False
Let j be (18/30)/(5/4775). Suppose -2*p + 4*t = -231 + 13, j = 5*p + 4*t. Is p a multiple of 21?
False
Suppose 0 = 46*y - 119015 - 119219. Is 20 a factor of y?
False
Let d(r) = -9*r - 37. Let u be d(-4). Does 13 divide 5 + 750/(7 + u)?
True
Let m(d) = 38*d**2 - 2*d**3 + 19*d**2 + 3*d**3 - 25*d - 43*d**2 + 36. Does 54 divide m(-13)?
False
Let h = -120 + -1068. Is (11 + -10)/((-4)/h) a multiple of 33?
True
Suppose 65 = -l + 4*l - 5*b, -3*l = -b - 49. Let h be 3/(7/(10570/l)). Let v = 469 - h. Is v a multiple of 18?
False
Let f = 130 - 56. Let j = f + -48. Does 6 divide (-3)/6*6*j/(-6)?
False
Suppose 0 = x + 3*x - 5*p + 2, 0 = -3*x + 3*p. Suppose -7*k = -4*g - 10*k + 406, 0 = g + x*k - 104. Is 14 a factor of g?
False
S