= 4*r - r - z. Does 26 divide f?
False
Let q = -57 + 69. Let c be 9/q - 2/(-8). Let r(t) = 60*t + 2. Is 17 a factor of r(c)?
False
Suppose 7*l = 2*q + 6*l - 8033, 0 = q + 5*l - 4033. Does 97 divide q?
False
Let o(x) = -848*x + 284. Is o(-6) a multiple of 68?
True
Suppose 72 = 16*x - 8*x. Suppose -2*s - 14*d + 527 = -x*d, 5*s - 3*d = 1333. Does 12 divide s?
False
Suppose -5*k - 2*b + 5*b = -87, -3*k + b = -49. Is 10/k*-119*-3 a multiple of 13?
False
Suppose o - 69 = 2*m + 2*o, 0 = -5*m + 2*o - 168. Let g = 158 - m. Suppose -g = 3*v - 7*v. Is v a multiple of 8?
True
Let x = -34 - -47. Suppose -3 = -14*c + x*c. Suppose -c*k = k + 4*d - 96, -5*k - 4*d = -119. Is k a multiple of 5?
False
Suppose -10*u + 8*u = -4*a - 166338, -u - 3 = 0. Is 10 a factor of a/(-33) + (-38)/209?
True
Is 353/((-64)/8 + 9) even?
False
Let x(n) = -20 + 0*n + 8 - 2*n + 3. Let f be x(-6). Suppose f*y - 4*s - 174 = 0, -6*s = -2*s. Does 14 divide y?
False
Let u(g) = -6*g**3 - 39*g**2 - 73*g - 730. Is 45 a factor of u(-16)?
True
Suppose -14*s + 17 + 39 = 0. Suppose -a - 4*b + 88 = -b, 0 = 5*a - s*b - 478. Is 11 a factor of a?
False
Let g be 4/1*(-2 + (-33)/(-12)). Suppose -2*z = 3*i - 812 - 832, -g*z - 3*i = -2472. Does 36 divide z?
True
Let i be -514*25/20*6/(-15). Let d = -110 + i. Is d a multiple of 5?
False
Let j(z) = 2*z**3 - 131*z**2 + 2158*z - 37. Is 42 a factor of j(19)?
True
Let l(y) = y**3 - 2*y**2 - 12*y - 3. Let n be l(6). Suppose -10*a + 13*a = n. Let d(j) = 2*j + 14. Is 20 a factor of d(a)?
True
Does 35 divide 136352/96*(4 + -1)?
False
Let j be (-9 - -14)*(-1 + 2)/1. Suppose -74*d - 8 = -78*d, j*s + 3*d - 3451 = 0. Is s a multiple of 13?
True
Let c be (-22)/10 - (-8)/40. Let v(j) = -5*j**3 + j**2 - 5*j - 5. Let x be v(c). Suppose 3*y = -5*s + x, 0 = -s - 2 - 2. Is 13 a factor of y?
False
Suppose -2*o + 181 = 3*p, -5*o + 4 = -3*o. Suppose 5*m = -25, -3*m = -5*n + 852 - 52. Let d = n - p. Is d a multiple of 17?
False
Let w(b) = -b**3 - 26*b**2 + 2*b - 59. Let u be w(-27). Let j = u + -483. Is j a multiple of 7?
True
Suppose 0 = 4*i + 5*o + 675, 2*i + o = -4*o - 335. Let d = i + 976. Is d a multiple of 92?
False
Suppose -1637*i + 1682*i = 2637360. Is i a multiple of 222?
True
Suppose -b - 2*b - 2*h = -50963, -84970 = -5*b + 3*h. Does 17 divide (-6)/(-10) + b/65 + 10?
True
Suppose 0 = -3*t + 5*u + 171375, -5*t - u + 275433 + 10248 = 0. Is 13 a factor of t?
True
Let s(a) = 51*a**2 + 5*a + 84. Is 48 a factor of s(12)?
True
Let o(y) = -6*y + 12. Suppose -4*z = 3*c - 20, -6*z = 2*c - z - 18. Suppose 0 = 3*m + 4*r - 6*r + 29, -r = -c. Is o(m) a multiple of 9?
True
Let z = -12 + 17. Suppose -4*f = -5*y - 22, y + 9 = z*f + 4*y. Suppose f*q = 700 - 118. Is 37 a factor of q?
False
Let m be (12/18)/(6/63). Let i(k) = 11 - 4*k + 3*k + m*k. Is i(6) a multiple of 13?
False
Suppose -3*l + 2*l = -b + 38, -2*l + 50 = b. Let c be (-150)/b - 4/(-7) - -18. Let a(r) = r**3 - 14*r**2 - 11*r - 16. Is 4 a factor of a(c)?
True
Let g(d) = 16*d**3 - 2*d**2 + 8*d - 3. Let f(u) = u**3 - 4*u**2 + 2. Let l be f(4). Is 23 a factor of g(l)?
False
Let w = 3251 - 2409. Does 24 divide w?
False
Let i = -91 + 55. Let p be (-176)/77 - (-8)/28. Is (p + 21)*i/(-4) a multiple of 22?
False
Suppose 3*l = -2*i + 503, -5*l + 741 + 264 = 4*i. Is i a multiple of 62?
False
Suppose 81*m - 169*m = -85*m - 35178. Is m a multiple of 143?
True
Suppose 2*b - 171 = o, -2*b = 3*b + 2*o - 450. Let v(r) = r + 5. Let d be v(-3). Suppose -4*s + 5*n = d*n - 372, 0 = -s + 2*n + b. Is 14 a factor of s?
False
Suppose 3*v + 12 = 6*v. Suppose v*y + 132 = 2*y. Let a = y - -102. Is 12 a factor of a?
True
Suppose -4*l - 2*o = -10, 0*l - 2*l = -4*o + 20. Suppose -4*u - 11 = 3*z, -5*u = -2*z - l*z + 31. Suppose p + z*x = 7, 2*x = 2*p - 0*p - 14. Does 5 divide p?
False
Let p(x) = 242*x**2 + 16*x - 48. Is 14 a factor of p(-5)?
True
Let v(s) = 2*s**2 - 92*s + 443. Is v(53) a multiple of 3?
True
Suppose 87*p + 306240 = 153*p. Is 32 a factor of p?
True
Let y = 327 - 180. Let u be (0/(-1) + -1)/((-1)/(-83)). Let v = y + u. Is v a multiple of 6?
False
Suppose -2*x + 6*k = -22716, -2*k + 8528 = 4*x - 36988. Does 79 divide x?
True
Suppose 2744*x - 2756*x + 23988 = 0. Is 8 a factor of x?
False
Let x(z) = -3*z**3 - 13*z**2 - 9*z + 10. Let j be x(-5). Suppose 109*n = j*n + 1136. Is n a multiple of 15?
False
Suppose -3*l - 44529 = -3*x + 2*l, 6 = 2*l. Is x a multiple of 8?
True
Suppose -5*g + 9*g = 20. Suppose l + 2*v + 14 = g*l, -3 = 3*v. Suppose -4*p = -5*b + 76, -l*b + p + 20 = 5*p. Is 3 a factor of b?
True
Let m(g) = -3*g**2 - 24*g - 20. Let l be m(-6). Let x(t) = 3*t + 104. Is x(l) a multiple of 10?
False
Let v = -293 + 2493. Does 40 divide v?
True
Suppose 38*t + 647938 = 97*t. Is 103 a factor of t?
False
Suppose 28 = 2*g - 2*f, -4*f - f = 2*g - 14. Suppose -g*d - 9 = -15*d. Suppose -d*h + 485 = 2*h. Is h a multiple of 17?
False
Let d = 36 - 34. Suppose d*f + 0*f = 8. Is f + 4/(16/116) a multiple of 3?
True
Suppose -11*i = -7*i + x - 13613, 3419 = i - 5*x. Does 92 divide i?
True
Let w(q) = 6*q + 28. Let j = 30 - 21. Let n be w(j). Let i = -63 + n. Does 8 divide i?
False
Suppose -9*i = -4*i - 55. Is (154/(-42))/i - 368/(-6) even?
False
Let o = -2024 - -2318. Is o a multiple of 7?
True
Let v(w) = 0 + 10 + 1 - 15*w - 5. Let f be (-5 - (-2 + 1)) + 1. Is v(f) a multiple of 11?
False
Suppose -40*f - 2 = -41*f. Suppose -2*j + 3*j - f = 0. Let g = 16 + j. Does 3 divide g?
True
Suppose -3*g + 101*g - 950796 = 0. Is 49 a factor of g?
True
Let d(h) = -2*h - 16. Let t be d(-8). Suppose 4*r = -5*s + 131, 4*s + t*s - 97 = -3*r. Is 13 a factor of r?
True
Suppose -2*y = -2*d + 15 - 7, 0 = -d - 4. Let b = 31 - y. Suppose -a - b = -104. Is 20 a factor of a?
False
Suppose -5*i - 2*a - 40 = 0, 22 = -4*i - 4*a + 2. Is 76 a factor of (13 - -4)*-5*152/i?
True
Let s(v) = -4 + 4*v**2 + 16*v + 1 - 5 + 0 - v**3. Let k be s(6). Suppose 11*h - k*h + 620 = 0. Is h a multiple of 10?
False
Does 6 divide (14 - -2326) + 3/(6/2)?
False
Suppose 126*v - 210505 - 718241 = 0. Is v a multiple of 30?
False
Let g = -12768 + 7582. Let i be g/(-16) - (-3)/(-24). Suppose 14*n - 17*n = -i. Does 29 divide n?
False
Is 22/(-4) - (-358941)/438 a multiple of 11?
True
Is 29 a factor of -20 + 291/15 - (-6)/5*73?
True
Let z(a) = 214*a**2 - 63*a - 98. Does 152 divide z(10)?
True
Let f(s) be the first derivative of s**4/2 + 11*s**3/3 - 3*s**2 - 16. Let z be f(-6). Suppose 7*t - 9*t + 6 = z. Is 2 a factor of t?
False
Is 1830/122*(-11884)/(-10) a multiple of 63?
False
Suppose 236 = 8*k + 196. Let v(i) = 36*i + 93. Does 22 divide v(k)?
False
Let h(q) = 5 - 17*q + 16*q + 11. Let t be h(13). Suppose 6*v - 286 = t*v - p, v + 5*p - 114 = 0. Is 30 a factor of v?
False
Let j(q) = -18*q - 60. Let w(y) = 18*y + 63. Let l(m) = 3*j(m) + 4*w(m). Does 13 divide l(13)?
False
Suppose 22*o = 10*o + 4584. Suppose 0 = 12*m - 2690 - o. Is m even?
True
Suppose -5*q = j - 150, -170 = -4*q - 2*j - 50. Suppose -3*n - 2*a + 14 = 0, 3*a - q = -4*n + 6*a. Suppose -59 = -n*x - 11. Is 2 a factor of x?
True
Let u = 62 - -78. Let p = u - 46. Does 4 divide p?
False
Suppose -110*h + 113*h = -93. Let w(z) = z**2 + 22*z + 32. Does 14 divide w(h)?
False
Let k(c) = c**3 + 2*c**2 + c. Let q be k(-1). Suppose 0 = -g + 31*g. Suppose g = 3*z - q*z - 105. Is z a multiple of 6?
False
Let w(t) = -8*t**3 + 5*t**2 + 26*t + 68. Does 19 divide w(-8)?
False
Let i = -22752 + 28648. Is i a multiple of 88?
True
Let r = -47 + -59. Is 11 a factor of (-91)/5*(r + 51)?
True
Suppose 0 = 23*j - 27865 - 12937. Suppose 13*h - 20 = j. Does 6 divide h?
True
Let d = 3 + 17. Suppose 36*n - 41*n = -d. Suppose 3*u + 113 = 2*c, n*c - 7*c - 2*u = -176. Is 29 a factor of c?
True
Suppose 0 = 8*b + 15457 + 799. Let z = b - -2850. Suppose -z = -3*g - 2*y, -5*y - 1342 = -5*g - 3*y. Does 45 divide g?
True
Let s = -20016 - -23124. Is 111 a factor of s?
True
Let c = 58 - 54. Suppose 2*m = c*m - 5*w + 109, -74 = 2*m + 2*w. Does 22 divide (-4 - 180/m) + 719/7?
False
Suppose -2*w + 2*v = -18046, -15515 = 5*w + 2*v - 60616. Does 93 divide w?
True
Let x = 165 - 253. Let g = x - -312. Does 4 divide g?
True
Suppose -24750 = -5*j + 5*t, -4380 = -j - 4*t + 545. Is j a multiple of 115?
True
Let h = 3091 + 4843. Does 12 divide h?
False
Suppose -2*j + 24 = j. Let z = 1647 - 1644. Su