of 31?
False
Let z = 4686 - -2572. Suppose -20*m = -m - z. Is 24 a factor of m?
False
Let n = 4056 - 2895. Is 9 a factor of n?
True
Let o = -34 - -33. Is 5 a factor of 63/105 + o/(-5)*557?
False
Let u be (-6)/(-1*4/9910). Suppose 20*v - u - 3035 = 0. Does 62 divide v?
False
Let k = 24063 + -12698. Does 42 divide k?
False
Let o be (-1 - 1)*(-25)/10. Suppose 80 = o*b + 5*r, 0 = -b - 3*r + 24 - 0. Does 5 divide (18/(-8) - -2) + 387/b?
False
Suppose -33*z + 12000 = -29*z + 2*d, 0 = -7*z + 4*d + 21000. Is 40 a factor of z?
True
Let l = 276 - 52. Suppose 0 = 6*a - 11*a + 3*d + l, -5*a = 4*d - 203. Is 4 a factor of a?
False
Let w = -28 + 30. Suppose -10*t + w = -9*t. Let a(v) = 19*v**3 + 3*v + 1. Does 14 divide a(t)?
False
Suppose 5*d = -5*r + 30, -1 = 4*r + d - 19. Is 71 a factor of (10/(-25))/(r/(-4260))?
True
Let n be -24*-3*(-2)/(-18). Suppose -3 = y + n. Is -3 + (4 - 11)*y a multiple of 30?
False
Suppose -3*i - 5*w + 370 + 293 = 0, 4*w = 4*i - 852. Suppose -2*r = x - 0*x - 450, -4*x = -r + i. Does 14 divide r?
True
Suppose 2*k - 192 = -2*l, -2*l - l - 172 = -2*k. Let t be 2 + (k/12)/(1/42). Suppose -6*s = -2*s - t. Is s a multiple of 8?
False
Suppose -243*p + 321*p = -156. Let z = 14 + -2. Is 8 a factor of 3/p*-1 - (-942)/z?
True
Suppose 4 + 11 = -3*h, 3*f = 2*h + 22. Suppose f*w - 10*w + 30 = 0. Suppose 0 = 4*p - p - a - 25, 2*a = -w*p + 49. Is p even?
False
Suppose 6 = -2*f, -29*f = 3*h - 32*f - 6357. Is 23 a factor of h?
True
Suppose 16*o + 22632 = -25*o. Let t = o + 1034. Does 9 divide t?
False
Let m(n) = 401*n - 3495. Does 5 divide m(10)?
True
Suppose 4*u + 104 = -3*n, 0 = -2*u - 3*n - 0*n - 52. Let k = u - -28. Suppose -k*y + 86 = 24. Is 6 a factor of y?
False
Let h(t) = -t - 24 + 3*t - 13*t**2 + 16*t**2. Let r be h(-7). Let l = r - 57. Does 14 divide l?
False
Suppose 8*r - 100883 = 63013. Is r a multiple of 206?
False
Suppose -7*q - 1594 = 226. Let b = 508 + q. Does 15 divide b?
False
Let d = -53 - -57. Suppose -r - 42 = -5*a, -a - 3*a + 24 = d*r. Is a a multiple of 6?
False
Let r(h) = h**2. Let a be r(-2). Suppose 4*g - 9*g + 5*c = -1125, a*c = 3*g - 674. Is g a multiple of 17?
False
Suppose -5*g - f = -13674, -g - 7*f + 2722 = -10*f. Does 47 divide g?
False
Let v(d) = d**2 - 167*d - 1887. Is 7 a factor of v(-11)?
False
Let n = -42 + 57. Suppose -18 = -2*d + 5*p + n, 3*d = -3*p - 3. Suppose -d*x - 26 = -214. Is x a multiple of 30?
False
Let r(y) = -y**2 - 27*y + 244. Let c be r(-34). Is 1788*((-40)/c - -7) a multiple of 5?
False
Let q = -54 - -93. Let d(f) = -12*f**2 - 6*f - 3. Let s be d(-2). Let n = q - s. Does 9 divide n?
False
Let i be 45/(-5)*5/(-45). Does 16 divide (11/(-33))/i + (-788)/(-6)?
False
Suppose 0 = 5*f + 3*z - 16 - 56, -2*z - 52 = -5*f. Let p(y) = y**2 - 8*y - 16. Let h be p(f). Suppose -g = 0, h = i + 3*g - 2*g. Does 12 divide i?
False
Suppose -4*g + 3*y + 17324 = -0*g, 3*y = g - 4322. Suppose 6*t = -16*t + g. Does 10 divide t?
False
Let s = -14 + 14. Let o(a) = 36 + 1 + a**3 - 21 - a**2 + a. Is 4 a factor of o(s)?
True
Is 4 a factor of (-14)/(-18) + -1 - (-117460)/126?
True
Let h(b) = 3*b**2 - b - 8. Suppose -15*l + 11*l = -12. Is h(l) even?
True
Let x(d) = d + 1. Let m(s) = 31*s + 4. Let q(b) = -m(b) + 5*x(b). Suppose -2*t + 4*t - 2 = 2*n, t = 5*n + 9. Is 7 a factor of q(t)?
False
Let p be ((-34)/(-4))/((-6)/(-228)). Suppose -1061 + p = -6*w. Is w a multiple of 41?
True
Let n(j) = 4*j - 189. Let t be n(-17). Let y = 61 - t. Is 5 a factor of y?
False
Let d(l) = 2*l**2 + 22*l + 41. Let s be d(-9). Suppose 5*j - 8 = -3, -s*n = 4*j - 7924. Is n a multiple of 12?
True
Is 4 a factor of (14/(-35))/((-5)/15425)?
False
Let x(k) = 2*k**2 + k - 10. Let d be x(5). Let t = 47 - d. Suppose t*w + 9 = 69. Does 17 divide w?
False
Let s(z) = 59*z + 23. Let t(k) = -k**2 - 8*k + 5. Let f be t(-8). Let r be s(f). Suppose 5 = -4*h + 5*h, -4*h + r = 2*g. Is g a multiple of 30?
False
Let u = -1063 - -951. Suppose -272 + 1112 = -3*w. Let b = u - w. Is b a multiple of 42?
True
Suppose 703*s - 417*s = 1400256. Is 204 a factor of s?
True
Let x(f) = -2*f**2 + 5*f + 3. Let k be x(5). Let v = 16 + k. Is (-3)/(2*v/152) a multiple of 5?
False
Suppose -3*g + 41499 = 2*o, -72*o = 3*g - 75*o - 41499. Is 53 a factor of g?
True
Suppose 198*h - 2729216 = 627676. Does 49 divide h?
True
Let p = -389 + 390. Suppose -7*i - p + 4019 = 0. Is 7 a factor of i?
True
Suppose 5*u - 10*u - 5375 = -2*b, -13454 = -5*b - 4*u. Does 106 divide b?
False
Let y be (-2 - 4) + 1 - -20. Let p(g) = g**3 - 15*g**2 + 6*g - 29. Does 9 divide p(y)?
False
Let f(y) = -2*y**3 + 10*y**2 - 9*y + 9. Let w be f(5). Let z be (2 - w/4) + -4. Is 27 a factor of (6/z + 0)/((-4)/(-812))?
False
Let q(v) = 54*v**2 + 172*v + 196. Is q(-25) a multiple of 183?
True
Let d = 138 - 138. Suppose 4*r + 4*a = 1076, 2*r + r - 3*a - 777 = d. Is 24 a factor of r?
True
Suppose 236011 = 35*w + 8*w - 42113. Is w a multiple of 21?
True
Let l be -21 + 25 - (-1)/(-2 + 1). Suppose -25*h = -23*h - 2*t - 254, -3 = -l*t. Is h a multiple of 16?
True
Let z(k) = k**2 + 18*k + 33. Is 5 a factor of z(14)?
False
Let i = 3364 + 7046. Does 46 divide i?
False
Let z be 5*42/(-12)*-2 - -2. Suppose -z*b + 17465 = -295. Is 60 a factor of b?
True
Suppose -42*d = -44*d + 642. Let z = d + 3. Is 12 a factor of z?
True
Let g(l) be the second derivative of 3*l**3 - 3*l. Let v be g(5). Suppose -f - r = -v, 6*f - 3*f + 2*r - 271 = 0. Does 30 divide f?
False
Suppose 3*w + 3*f - 12 = 0, -w - 3*f - 22 + 30 = 0. Suppose 3*x - 465 = 2*l - 140, -3*l = -w*x + 225. Does 7 divide x?
True
Suppose -21220 = -2*o + 4*p, -3*o + 4*p = -28249 - 3579. Does 221 divide o?
True
Let j(b) = 172*b**2 - 12*b + 8. Is j(4) a multiple of 5?
False
Let v be (143/(-22))/13*0. Let k = 51 + -29. Suppose 2*g = -v*u - u + 22, -k = -2*g + u. Is g a multiple of 5?
False
Let j be 2 + -1 - (-15 + (-2 - -4)). Let o(l) = l**3 - 15*l**2 + 16*l - 32. Let c be o(j). Does 17 divide (0*(-2)/c)/2 - -136?
True
Let x(u) = -351*u + 321. Does 23 divide x(-9)?
False
Is 109 a factor of 7004544/2349 + 4/54?
False
Let n(u) = u**3 + 78*u**2 - 72*u + 545. Does 140 divide n(-75)?
True
Suppose -11*z - 16*z = -60507. Does 12 divide 3 + (-1)/((-9)/z)?
True
Suppose -2*a + 19*i = 18*i - 10975, -2*a - 2*i = -10990. Is a a multiple of 18?
True
Let l(f) = -3*f**3 - 22*f**2 - 25*f - 486. Does 151 divide l(-21)?
True
Does 352 divide (-24)/15*2802/(-2) + (-30)/50?
False
Does 22 divide (-1731176)/(-80) - ((-1)/(-20))/(1/(-6))?
False
Suppose -723571 = -175*l + 84*l + 74*l. Is l a multiple of 31?
True
Suppose -15*g - 18054 = -89874. Is g a multiple of 9?
True
Let s = 7272 + -1116. Is 38 a factor of s?
True
Let q(g) = -117*g**3 - g**2 + 1. Suppose 0 = 5*x - 15, o + 2*x - 30 = -3*o. Let v(j) = -j**3 + 6*j**2 - 1. Let t be v(o). Is q(t) a multiple of 13?
True
Let n(s) = 6*s**2 + 33*s - 67. Let l(w) = -21*w**2 - 98*w + 202. Let t(d) = -6*l(d) - 17*n(d). Is 14 a factor of t(3)?
True
Is 184/23 - (7825 - 5)/(-5) a multiple of 52?
False
Suppose -19 = 4*w - 71. Suppose -z - 6 = w. Let j(p) = p**2 + 13*p - 42. Does 9 divide j(z)?
True
Suppose 8*l - 5*l - 72 = 0. Let v = -22 + l. Suppose -3*u + v*n + 44 = n, 5*u = -2*n + 88. Is 4 a factor of u?
True
Let b = -144 + 144. Suppose y - 345 = -5*s, 5*s + 6 + 19 = b. Is 35 a factor of y?
False
Suppose -5*u = 4*x - 5*x - 96, 0 = -2*x - 2. Suppose -22*t = -u*t - 18. Let r(o) = 7*o - 6. Is r(t) a multiple of 9?
True
Let a be 2 + (-16)/(-6) - (-1)/3. Suppose -a*j + b = -332 - 209, -327 = -3*j + 3*b. Let v = j + -100. Does 4 divide v?
True
Let p = -329 + 329. Suppose p = -57*n + 52*n + 450. Is n a multiple of 3?
True
Let i be ((-1)/3)/((-41)/(-138129)). Let m = 1598 + i. Does 27 divide m?
False
Let g(q) = -q**2 - 13*q - 38. Let h be g(-4). Is (h - 36)/(2/(-48)*3) a multiple of 13?
False
Let a be 4/(-14) + (-4288)/(-14). Let z(u) = 12*u**2 - 8*u - 15. Let q be z(5). Suppose 0 = 4*t - 5*v - a, -q = -6*t + 3*t - 4*v. Is 11 a factor of t?
False
Let g(d) = -41*d + 1. Let s be g(1). Let n = s - -41. Suppose -2*a - n = -9. Does 2 divide a?
True
Is 51 a factor of (2850 - 0) + (12 - (-1)/((-2)/12))?
True
Let q = -34 + 12. Let s = q + 17. Is 5 a factor of -1 + 16 - 0*(s - -6)?
True
Let q(b) = b + 10. Let a be q(-8). Let m(z) = -z - 65 + 31 + 37 + 15*z**a. Does 19 divide m(-2)?
False
Let