 - 0 - 43/y a multiple of 3?
True
Let p(z) = 2765*z - 413. Is 14 a factor of p(1)?
True
Let f = 3551 - 1851. Is 4 a factor of f?
True
Is 24 a factor of -227505*(-33)/660 - 3/(-4)?
True
Suppose -4*d = 5*b - 1517, -7*b + 9*b = -2*d + 606. Let w = 31 + b. Is w a multiple of 21?
True
Is (-20)/70*(5 + -5 - 50561) a multiple of 86?
False
Let n be 59 + -1 + 6*1/2. Let f = 28 + n. Let p = 1 + f. Is p a multiple of 18?
True
Suppose -11*k = 66, -4*k + 4894 = -3*w + 5*w. Is w a multiple of 7?
False
Let v = -976 - -1817. Suppose -10*w = -7*w - 5*c - v, 6 = -3*c. Is 70 a factor of w?
False
Suppose 0 = -79*w + 124*w - 310140. Is 31 a factor of w?
False
Let t = 6 + -52. Let h = t + -10. Let y = h + 120. Does 14 divide y?
False
Is 10183 + ((-114)/(-6) - 22) a multiple of 47?
False
Suppose -128 - 26 = -7*b. Suppose 6*v - 16 = -b. Let u(l) = -60*l**3 - l**2 - 2*l - 1. Does 5 divide u(v)?
True
Let x(q) = 23*q - 9. Let z be x(-3). Let g = 117 + z. Is g a multiple of 22?
False
Suppose -3*a + 3*c + 9519 = 0, 0*a + 2*c - 19046 = -6*a. Does 46 divide a?
True
Let l = -168 + 176. Does 8 divide 6/(l/(336/(-117)) - -3)?
False
Let c = 383 - 121. Let b = 395 - c. Is 19 a factor of b?
True
Let c(u) = -12*u**3 - 5*u**2 + 2*u + 5. Let i be c(3). Let f = 543 + i. Suppose 4*p = f + 103. Does 19 divide p?
False
Suppose -5*s + 22565 = 18*g - 61871, -5*s + 84502 = -4*g. Does 7 divide s?
True
Suppose -234*i + 2579361 + 274035 = 0. Does 182 divide i?
True
Let v(j) = -2*j**2 + 72*j + 58. Suppose 156 = -7*h + 13*h. Is 56 a factor of v(h)?
False
Let v(y) = y**3 + y**2 + 5. Let h be v(0). Suppose 0 = -5*f - p - 0*p + 359, -3*p = -h*f + 363. Let d = 84 - f. Is 4 a factor of d?
True
Let f(c) = 11*c**2 - 11*c + 20. Let x(t) = 4*t**2 - 4*t + 7. Let r(a) = 3*f(a) - 8*x(a). Does 24 divide r(5)?
True
Let w = -53 - -56. Is (-210)/(-60) + (0 - w/(-2)) a multiple of 5?
True
Suppose 2 = 173*t - 172*t. Is t + -3 + (-5 - -829) a multiple of 22?
False
Suppose 5*u - 4*k = 764, -5*u + 449 = -2*k - 323. Let w = -7852 - -7782. Let a = w + u. Does 7 divide a?
False
Suppose -5*v = 4*h - 219624, -2*v + 198*h = 203*h - 87836. Is 10 a factor of v?
False
Let g(k) = 10*k - 45. Let j be g(5). Suppose -3*n - 4*q = -1087, n - 3*q + 1461 = j*n. Is n a multiple of 19?
False
Let c(l) be the second derivative of l**5/20 - l**4/4 - l**3 + 41*l**2/2 - l + 86. Does 29 divide c(5)?
False
Does 9 divide (27699/12)/(((-77)/88)/(-7))?
False
Let h be (-3)/21 - 134195/(-35). Let d = -2559 + h. Is 25 a factor of d?
True
Let c(j) = j**3 - 37*j**2 - 14*j - 368. Does 4 divide c(40)?
True
Suppose 0*q = 39*q - 780. Suppose q*t - 12*t = 2776. Is 12 a factor of t?
False
Let x(w) = 34*w**2 + 20*w + 6. Let b be x(5). Suppose -2*c = -o + b, -5*o + 4*c - 4738 = -10*o. Is o a multiple of 50?
True
Suppose 4*p - 5*p = 250. Let j = p + 158. Let f = -48 - j. Does 10 divide f?
False
Suppose -4 = -2*w, 5*y + 2*w = 297 + 1432. Suppose 3*r = -r + 12, g = 2*r + y. Is g a multiple of 39?
True
Suppose 0 = -192*h + 167*h + 228900. Does 218 divide h?
True
Let h(u) = -31*u - 30. Let k(p) = -3*p. Let x(a) = h(a) - 6*k(a). Let l(w) = -8*w**2 - w + 1. Let m be l(1). Is 6 a factor of x(m)?
False
Suppose -2*b = -4*v - 1246, -37*v = 5*b - 35*v - 3151. Is b a multiple of 17?
True
Let n(s) be the first derivative of 2*s**3 - 3*s**2/2 + 2*s - 9. Let j be n(1). Suppose -4*p = -j*p + 10. Is 6 a factor of p?
False
Let a = 427 + 2123. Is 25 a factor of a?
True
Is 5 a factor of (-9718)/(-12) - (455/78)/(-35)?
True
Let y(g) = -g**2 - 20*g - 61. Let i be y(-16). Suppose -i*p + 1784 = w, 3*p - 552 = 5*w + 1238. Is p a multiple of 85?
True
Is 4569*(-2)/(-12)*34 a multiple of 214?
False
Let y = -217 + 136. Let u = y + 201. Is u a multiple of 5?
True
Is (-140804)/(-4) + (-76 - -83) a multiple of 31?
False
Let w(t) = 14*t**3 - 33*t**2 + 15*t - 43. Does 12 divide w(11)?
False
Suppose 5362186 + 8037959 = -93*l + 258*l. Does 22 divide l?
False
Let m = -284 + 292. Suppose 0 = 10*a - m*a - 180. Is a a multiple of 5?
True
Let a = 3984 + -2104. Is 10 a factor of a?
True
Let z(n) = n**3 - 9*n**2 + 18*n + 9. Let r be z(7). Let v be (5/2)/(2/44). Suppose -2*l = -r - v. Is 23 a factor of l?
True
Does 32 divide ((-49)/(-21) - 1)/(-4 + 622630/155655)?
False
Let z(g) = -2*g**3 - g**2 - 2*g + 2. Let j be (6 - 5) + 0 + 0. Let k be z(j). Is 3/(-9) - (4 + 121/k) a multiple of 17?
False
Suppose -1024*j + 10 = -1019*j. Suppose -1333 + 321 = -j*h. Is 11 a factor of h?
True
Suppose -150*w = -167*w + 1938. Suppose 0 = -n - 4*f + w, n - 4*f - 63 - 19 = 0. Does 6 divide n?
False
Let r(h) be the first derivative of 8*h**3/3 + 9*h**2 + 70*h - 145. Does 7 divide r(-7)?
True
Suppose 7442 = 4*s - 3*x, -138*s - x - 9308 = -143*s. Does 338 divide s?
False
Let m = 129 - 42. Let s = m - -61. Is 38 a factor of s?
False
Let k(v) be the first derivative of v**2 + 41*v - 6. Let i be k(13). Let c = i + -41. Does 13 divide c?
True
Suppose 2*v + 1080 = 5*s, 0 = 4*s - 2*s - v - 433. Suppose 192 = s*h - 213*h. Is 16 a factor of h?
True
Suppose -7*t = -5*t - 4, -4*t + 859 = s. Let g = -458 + s. Does 7 divide g?
False
Let o(b) = -b**3 - 28*b**2 + 59*b + 58. Let k be o(-30). Suppose -18 = 2*l + 34. Let u = k + l. Is u a multiple of 18?
False
Suppose 2*v - 394 = -2*l, -5*l = -0*l - v - 1015. Suppose -g = -5*w - 580, 0 = -4*w - w - g - 570. Let c = l + w. Is 42 a factor of c?
False
Suppose 2*b = 7*b - 45. Suppose b*y - 112 = 11*y. Let r = 82 + y. Does 8 divide r?
False
Is 53 a factor of (-212)/(-742) + (1 - (-38706)/14)?
False
Let a be 9*2/12*-2. Suppose 0 = 4*l - 84 + 60. Is 11 a factor of l/a - -3*13?
False
Let c(v) = v**3 + 10*v**2 + 9*v + 11. Let o be c(-9). Let z(t) = -t + 20. Let x be z(o). Let d(y) = -y**2 + 11*y + 15. Is d(x) a multiple of 11?
True
Suppose -5*a - 50087 = -4*z, z - 15335 = -2*a - 2836. Is 129 a factor of z?
True
Let j(h) = -3*h**2 + 5*h - 4. Let t be j(1). Let u(w) = 3*w**3 - 4*w**2 - w + 4. Let m be u(t). Let y = m + 36. Is y a multiple of 2?
True
Suppose -2*w + 4*w = -1500. Let g = -483 - w. Is 27 a factor of g?
False
Let l(z) = 1150*z**2 - 854*z - 6037. Is l(-7) a multiple of 238?
False
Suppose 1901*o - 1900*o = 2*k - 108231, 2*k + o - 108221 = 0. Is 100 a factor of k?
False
Let h be 22/121 - (-2)/(-11). Suppose 0 = -3*b - 3, -2*p + b + 2*b + 867 = h. Suppose 0 = 26*i - 24*i - p. Is i a multiple of 24?
True
Let w(a) = 2*a**3 + 23*a**2 - 17*a - 9. Let d be w(-12). Suppose -p + 78 = d. Is p a multiple of 27?
True
Let j(o) = o**2 + 21*o + 18. Let m be j(-15). Let x be ((-14)/(-6) - 3)*m. Suppose 2*c - 7*c + 58 = -4*p, 4*c - x = 4*p. Is c even?
True
Let a = 151 + -163. Is ((-600)/16)/(1/a) a multiple of 50?
True
Let y(p) be the first derivative of -5*p**2/2 + 5*p - 5. Let z be y(-8). Let k = z - 15. Is k a multiple of 15?
True
Let i(h) = -616*h + 3808. Does 21 divide i(-5)?
True
Suppose 55*d - 58*d = -39. Suppose 5*u = d*u - 24. Suppose 3*r + 2*r - x = 64, u*x = 3*r - 36. Is r a multiple of 13?
True
Is 43 a factor of (((-284)/(-6))/((-15)/(-36)))/((-10)/(-725))?
False
Let f = -51 - -54. Let m be 26 - (f/(-5) + (-52)/(-20)). Let v = m - -48. Is v a multiple of 6?
True
Let w(o) = -11*o - 141. Let d(u) = -3*u - 35. Let b(h) = -9*d(h) + 2*w(h). Let c(x) = x - 2. Let y(i) = b(i) + 3*c(i). Is 27 a factor of y(0)?
True
Let n(q) = -q**3 - 8*q**2 - 4*q - 30. Let a be n(-8). Suppose 0 = 2*b - 2*l + a, -2*b + 13 = -4*l + 15. Let w = 75 + b. Is 37 a factor of w?
True
Let n = -239 - -275. Suppose -n*w + 27*w = -792. Is w a multiple of 8?
True
Let h(y) = -80*y**3 - 13*y**2 - 26*y + 18. Is 38 a factor of h(-4)?
False
Let j = 11938 - -5486. Is 72 a factor of j?
True
Let y = -51 - -25. Suppose 3*j = -4*p - 231, 2*p + 182 = -4*j + 64. Let g = y - p. Does 31 divide g?
True
Let m(o) = -17*o - 214. Let r be m(-66). Let x be (2 + 0 + -1)*5. Suppose -u + 197 = q, 4*u + x*q + 119 = r. Does 22 divide u?
False
Does 38 divide ((-656)/10)/((-6)/36 + (-901)/(-6630))?
False
Let b(n) = 269*n + 1248. Is b(16) a multiple of 8?
True
Let p be (-4)/(-6)*(-270)/(-20)*1. Let u(a) = 2*a**2 - 8*a + 34. Is 9 a factor of u(p)?
False
Suppose 7*z = z + 48. Let n(t) = -9*t - t + 10 + z*t. Is n(-2) even?
True
Suppose 0 = 3*w + 5*i - 40137, -2*i = w + 1965 - 15344. Is 45 a factor of w?
False
Suppose 2*z + 2*r + 1 = 3, -5*r + 14 = -4*z. Let 