i*g = y. Is g a multiple of 16?
False
Suppose 4*b = y + 3036, -10*y + 11*y = 2*b - 1520. Does 52 divide b?
False
Suppose 5*d - 3*b - 2090 = 0, d - 7*b + 3*b = 418. Is d a multiple of 22?
True
Let d = -1 + 5. Suppose -3 - 19 = g - 2*f, -f = -d. Let m = g - -46. Does 16 divide m?
True
Suppose 165 = 3*f + 5*g, -4*g - 312 = -3*f - 2*f. Suppose -2*q + 7*q + f = 0. Is ((-56)/6)/(q/18) a multiple of 10?
False
Suppose 10*y - 13 = 37. Suppose 396 = 7*m + y*m. Does 7 divide m?
False
Suppose -3*c = -5*c + 3*k + 2720, -2720 = -2*c + k. Suppose 7*j - c = -10*j. Is j a multiple of 5?
True
Let o(a) = -4*a**3 + 2*a**2 - 3*a - 4. Suppose -6*l = -l + 10. Is 14 a factor of o(l)?
True
Suppose -3 = 5*j + 7. Let d be j + (-24)/(2 - 6). Suppose 133 = 3*t + s, 5*t + s = -d*s + 235. Is t a multiple of 21?
False
Suppose 3*c - 1506 = 3*z, -2*z - 86 = 2*c - 1082. Is 50 a factor of c?
True
Is 1869/2 + (-7)/(-14) a multiple of 55?
True
Let h = -5 - -55. Suppose -8*n = -6*n - h. Is 6 a factor of n?
False
Let d be 6/21*(13 - -1). Suppose 0 = m - d + 6. Is 12 a factor of (-9)/m*24/9?
True
Let l = 14 - -48. Does 4 divide l?
False
Let v = 3 - -3. Suppose v = s - 8. Is s a multiple of 6?
False
Suppose -2*b = 5*x - 216, -2*x - 2*x = -3*b - 159. Suppose 0 = -5*g + 492 - x. Is g a multiple of 10?
True
Suppose -m = 2*r - 574, 4*r + m = 1708 - 562. Suppose 73 = -z + r. Is 10 a factor of z?
False
Suppose 6 = -c + 4*c. Suppose 560 = 4*y - 3*g, -264 = -c*y + 5*g + 30. Is y a multiple of 12?
False
Suppose -q + 2*a = 0, 2*a + 17 - 57 = -3*q. Let o = 6 + q. Is 11 a factor of o?
False
Suppose 5*v = 3*v + 150. Let o = v - 14. Is o a multiple of 9?
False
Let o be (-2)/(-8) - (-1802)/(-8). Let s = -4 - o. Suppose 119 = 5*z - s. Does 24 divide z?
False
Suppose 3*d - 13 = 4*j - 9*j, 3*j - 3 = -3*d. Suppose 293 = 4*r - q + 57, -j*q + 140 = 2*r. Is 10 a factor of r?
True
Suppose 19*i - 25*i + 2382 = 0. Is i a multiple of 18?
False
Let l be 2 - (-3 + -62 - -1). Let r be 2/(-1) + l*6. Suppose -5*q + r = -51. Is q a multiple of 24?
False
Suppose -2*o = -3*x + 29, 5*o - x = -5*x - 38. Is (o - -5) + 44 + 0 + 3 a multiple of 2?
True
Suppose 4*u + 9 = 3*d - 18, -3*d = u - 12. Let p = d + -10. Let v(y) = -2*y - 4. Does 6 divide v(p)?
True
Let o(n) = 0*n**2 + 5*n**2 - 5*n**3 + n - 10*n**3 - 3 + 14*n**3. Let h be o(5). Let s(a) = 7*a**3 - a**2 - 2*a - 1. Is s(h) a multiple of 9?
False
Let l(n) = -6*n - 22. Let r(x) = 2*x + 7. Let q be (-668)/(-60) + 2/(-15). Let b(g) = q*r(g) + 4*l(g). Is b(-12) a multiple of 12?
False
Suppose -56*q + 814 + 138 = 0. Is 5 a factor of q?
False
Let g = -1075 + 1668. Is g a multiple of 11?
False
Suppose -7*b + 480 = -2*b. Does 24 divide (b/(-10))/((-6)/60)?
True
Let h(b) = b**2 - 8*b - 21. Let t be h(10). Is 23 a factor of (t - (1 - 1)) + 38?
False
Let u be ((-1)/3)/((-5)/45). Let g(o) = 3*o**3 - 2*o - 4. Does 19 divide g(u)?
False
Let l(a) = -a**3 + a**2 - 3*a + 3. Let o be l(1). Suppose -r - 12 + 131 = o. Does 17 divide r?
True
Let z(j) = 57*j**2 + 33*j - 110. Does 56 divide z(3)?
False
Let n be 5/2*(-8)/5. Let v be (n - 3) + 3 - -8. Suppose -v*l + 243 = -o, -3*o - 2*o = 3*l - 165. Is 12 a factor of l?
True
Let d(z) = -2*z**2 + 5*z - 2. Let u be d(2). Let m(w) = w**3 - 6*w**2 + 2*w. Let f be m(7). Suppose -s = -u*s - f. Does 31 divide s?
False
Let b be (8/3 + -3)*3 - -5. Suppose 0 = 4*l - 12, b*l - 232 = f - 3*f. Does 22 divide f?
True
Let s = 572 + -362. Is 7 a factor of s?
True
Let v(q) = 31*q**3 + 4*q**2 - 21*q + 1. Is v(3) a multiple of 86?
False
Let d(t) be the third derivative of 9*t**2 - 2/3*t**4 + 0 + 0*t + 0*t**3. Is 13 a factor of d(-3)?
False
Suppose l + 12 = 2*l. Suppose l*i - 7*i = 5. Does 9 divide 28 - (1 - (-1 + i))?
True
Let m be 16*(-1)/6*2*6. Let y = m + 57. Is 9 a factor of y?
False
Let q(i) = 9*i + 1. Let m be q(3). Suppose -m + 242 = 5*c - v, -3*c + 5*v + 124 = 0. Does 29 divide c?
False
Let w = 107 - 70. Suppose 2*t - 17 = w. Suppose -4*c = -29 - t. Is 2 a factor of c?
True
Let i be 96/(-120) + 24/5 + 1. Is 587/i - (-8)/(-20) a multiple of 39?
True
Suppose -3*q + 64 = q. Suppose a - j - 2 = 0, 0 = 3*a + 4*j + 13 + q. Let i(d) = -2*d**3 - 4*d**2 - 4*d - 3. Does 9 divide i(a)?
True
Let k(l) = 5*l - l**3 - 5*l - 4*l + 0 - 1 - 4*l**2. Let v be k(-3). Let i = 29 - v. Does 5 divide i?
False
Let s = -4138 + 6385. Does 18 divide (-2)/(-6) + s/63?
True
Let h(p) = 9*p**2 + 80*p + 12. Is 9 a factor of h(-14)?
False
Let y(q) be the second derivative of -q**3/6 + 27*q**2/2 + q. Let a(z) = z**3 - 2*z**2 - z - 6. Let i be a(3). Does 8 divide y(i)?
False
Suppose l = 4*l, -4*f - l + 952 = 0. Is f a multiple of 35?
False
Let g be (-1 + 7)/((-6)/4). Does 10 divide ((-187)/g - 1/(-4)) + 2?
False
Let x(k) be the first derivative of -5*k**2 - 4*k + 27. Is 35 a factor of x(-5)?
False
Is 47 a factor of 38/76 + (-1126)/(-4)?
True
Let x(c) = -c + 8. Let v be x(6). Suppose 3*f - 5*n - 62 = 0, -2*f - n = -52 + v. Does 4 divide f?
True
Let s(x) = -9*x + 1. Is s(-2) a multiple of 4?
False
Suppose -19 + 127 = 2*o + z, -3*o - 4*z + 172 = 0. Is 14 a factor of o?
False
Suppose 4*d = 3*f + 6*d - 577, -5*d = 5*f - 960. Does 29 divide f?
False
Let t = -15 - -21. Suppose -t*u + 0*u = -30. Is 5 a factor of u?
True
Let y(p) = 856*p**2 + 39*p - 1. Is 13 a factor of y(2)?
False
Let c(w) = 60*w. Let g(q) = 60*q + 1. Let o(y) = -3*c(y) + 4*g(y). Does 31 divide o(2)?
True
Let m(s) = -4*s - 2. Let w be m(-11). Does 12 divide 0 - (3 - w/(-10))*-5?
True
Let p be -2 - 4/(-12)*-3. Let w be p + 1/(3/9). Let k(u) = -u**2 + u + 4. Is k(w) a multiple of 2?
True
Let c = 1351 + -924. Is c a multiple of 13?
False
Suppose -204*j = -206*j + 1736. Does 62 divide j?
True
Suppose -k = 4*k - 30. Suppose y + y - k = 0. Suppose y*t = 4*t - 5. Is t a multiple of 2?
False
Let y(s) = 1. Let h(j) = -4 + 2 - 3 + j + 2. Let g(k) = 3*h(k) + 12*y(k). Is 11 a factor of g(10)?
True
Suppose -22 = 5*d + 3. Let z = 13 + d. Is 8 a factor of z?
True
Let y be 12/3 + (1 + -3)/(-2). Suppose 2*l = 4, c = -3*c + y*l + 374. Is 29 a factor of c?
False
Let z = -517 + 837. Does 4 divide z?
True
Let b = 5 - 3. Suppose -4*h = -b*c + 140, 0 = -3*c - 2*c + 2*h + 390. Is 9 a factor of c?
False
Let b be 1/(-1*2/(-8)). Suppose 0*r + 5*p = -2*r + 314, 0 = 4*r - b*p - 600. Does 38 divide r?
True
Let o be (4 - 3)*(9 + 0). Let m(s) = -5*s - 10. Let b be m(o). Is 25 a factor of (-5510)/b - 4/22?
True
Let p = -22 + 42. Is 16 a factor of (2 - 135/p)*-20?
False
Let h be -3*(-1)/((-12)/(-196)). Suppose -p + h = 3. Is 18 a factor of p?
False
Let v(o) = 2*o**2 + 3*o - 4. Let i = 3 + -12. Let j be v(i). Suppose -4*g = -3*h - 215, -7 = 2*g + 4*h - j. Is 28 a factor of g?
True
Suppose 378*p - 6630 = 363*p. Is 13 a factor of p?
True
Suppose 0*r + 2*d + 2 = 2*r, 13 = r - 5*d. Is 11 a factor of (2 + r + 4)*(-110)/(-8)?
True
Let d(p) = 5*p - 1. Let q be d(-6). Let r = q + 33. Is r even?
True
Let l(j) = 13*j - 6 - 1 - 2 + 0. Does 6 divide l(3)?
True
Suppose v + 2*f = 7, -2*v - 3*f + 10 = -f. Suppose v*d - 56 + 176 = 0. Let t = 56 + d. Is t a multiple of 4?
True
Let c = -54 + 54. Suppose -13*i + 2*i + 2024 = c. Is i a multiple of 46?
True
Let n be 8/3*27/18. Suppose -12 = -n*q - 4. Is 14 a factor of q/4*188/2?
False
Let n = 138 + -10. Suppose 5*f - f - n = 0. Does 16 divide f?
True
Let h be (0/1 - -7) + -2. Suppose 3*d = -h*q + 4*d + 29, -4*q = 5*d - 29. Is q even?
True
Suppose -7*m + 3527 + 1506 = 0. Let z = -498 + m. Is z a multiple of 46?
False
Let b(t) = -t**3 - 5*t**2 - 2*t. Let f be b(-4). Let w be (f/(-10))/(2/455). Suppose 74 = 4*y + 4*q - w, -254 = -4*y - 5*q. Is y a multiple of 33?
True
Suppose 3*g - 1239 = -3*d, -4*g - 267 = d - 671. Does 9 divide d?
False
Suppose 5*r + 5*h + 198 = -47, 0 = -5*h + 5. Let l be (-40)/r*10/4. Suppose -a - 4*p + 25 = 0, -l = -3*p + 2*p. Is a a multiple of 4?
False
Let o = 298 - 259. Is 13 a factor of o?
True
Suppose 3*s + 0*s - 3 = -3*t, s = -2. Let o be t/(4*12/80). Suppose o*p - 1 = 119. Is 5 a factor of p?
False
Suppose 3*j + 32 = -p, -2*p = 5*j - 0*p + 55. Let g be 20/6 + j/27. Suppose 2*f + 21 - 136 = -g*c, 2*c - 282 = -5*f. Is f a multiple of 13?
False
Suppose -3*s = -s - 4. Let h(o) = -3*o**2 - 27*o - 8. Let k be h(-7). Suppose 2*z - k = -3*l, -2*l - 3*l - 18 = -s*z. Is 7 a factor of z?
True
Suppose 45 - 717 = -4*y.