 = 2*r - 3, 51 = 4*r - y. Is r a multiple of 11?
False
Suppose -112 = -2*g - 58. Let s be 23/5 - g/45. Suppose -s*d - 3*k + 389 = 0, 2*k + 374 = d + 3*d. Does 19 divide d?
True
Let o(d) = d**3 - 19*d**2 + 33*d + 21. Let y be o(17). Let s(k) = 2*k**2 - 6*k + 33. Does 13 divide s(y)?
False
Let a(c) = -3*c + 1. Let h be a(-1). Suppose -363 + 83 = -h*q. Is 22 a factor of (9/21*22)/(5/q)?
True
Suppose -15*a + 900 = -10*a. Suppose 4*g = -g + a. Is 18 a factor of g?
True
Suppose -a = -4*c + 50809, -4*c - 2*a + 50810 = -4*a. Is 146 a factor of c?
True
Suppose -4*k + 8 = 3*t + t, 4*k - 4 = 0. Suppose -2*z - 4*s = -164, -z + 93 = 5*s - t. Let u = 89 - z. Is 2 a factor of u?
False
Suppose -10*f + 745 = -5*f. Let q = f - 18. Suppose 0 = -2*s + 2*u + 9 + 29, -5*s + q = 4*u. Does 7 divide s?
False
Let i = 203 + -200. Suppose q + 5*j = 455, -2*j + 2375 = 5*q + i*j. Does 40 divide q?
True
Suppose x - 4*x = 615. Let p = x - -324. Suppose 2*b - 5*b = -2*y - 161, -2*b - y + p = 0. Does 11 divide b?
False
Let k = 472 - 470. Does 21 divide 0 - (0 + -1 + k)*-21?
True
Suppose -26*w - 6*w = -128. Suppose 2*y = -6*p + w*p + 800, -4*y + 391 = p. Is 14 a factor of p?
False
Suppose 0 = 4*a - c - 423, 5*c - 91 = -a + 41. Suppose 0 = -x + 33 + 42. Let p = a - x. Does 2 divide p?
True
Let h(f) = 9*f + 1. Let t be h(4). Suppose 44 = 3*w + 2*v - 4*v, -3*w + t = 5*v. Is 3 a factor of w?
False
Suppose 5*g + 207 = 4*p - 33, -300 = -5*p - g. Does 10 divide p*(-6 - 58/(-6))?
True
Suppose -2*k - 5*z + 23 + 469 = 0, -4*k + 2*z + 960 = 0. Let y = 489 - k. Does 15 divide y?
False
Let m = -43 - -32. Let i(v) = v**2 - 40. Is 10 a factor of i(m)?
False
Let w = 73 - -520. Suppose -3*f - 437 = -w. Is f a multiple of 26?
True
Let s = -13824 - -17766. Is s a multiple of 3?
True
Suppose -y + 21 = -v + 9, -y - 3*v + 12 = 0. Suppose 11*k = y*k + 5*w - 168, 0 = -2*k + 3*w + 310. Is k a multiple of 8?
False
Let z(w) = w**3 - 22*w**2 + 25*w - 18. Suppose i - 1 = 3*o, -o + i + 7 = -3*i. Let t be o/5 - 212/(-40)*4. Is 13 a factor of z(t)?
False
Let i(b) = -10*b - 7 + 5 + 11 + 4. Let n be i(-4). Let s = 7 + n. Is s a multiple of 10?
True
Suppose 56*p = 219*p - 551592. Is 6 a factor of p?
True
Does 6 divide ((-147168)/576)/(1 + 3/(-2))?
False
Let i = 204 + -751. Let l(c) = -c - 387. Let x be l(-62). Let n = x - i. Is n a multiple of 31?
False
Let a(v) = 111*v**2 - 2*v + 1. Let m be a(1). Let n = 25 + m. Does 6 divide n?
False
Let b be -4 - 2 - (-27594)/7. Suppose 0 = -a - 11*a + b. Is a a multiple of 8?
True
Let p = 8262 - 3550. Does 76 divide p?
True
Suppose -7*w + 12*w = -10, 1 = o - w. Is 450/50 - (-30 + o) a multiple of 20?
True
Let k(s) = s**2 + 7*s - 8. Let q be k(-8). Suppose 2*x + 4*j = 1964, q = -5*j - 5 - 0. Is 82 a factor of x?
True
Let d = 864 + 1604. Suppose 2*k = -l + 1312, 5*k - 152 = -2*l + d. Is 15 a factor of l?
True
Suppose 0 = 6*u + 323 - 2699. Suppose 3*s = -5*n + 465 + 672, -4*n = -s + u. Does 48 divide s?
True
Let g be 0 + 2 + -3 + (-1 - -2). Suppose 5*r + 930 = 6*r. Suppose 6*d - 24 - r = g. Is 9 a factor of d?
False
Let k(h) = -h**3 - h**2 + 6*h + 83. Let s be k(0). Suppose 5*g = 3*r + 129, 2*g = -3*r + 2*r - 54. Let m = s + r. Does 7 divide m?
True
Suppose 2301 = 3*p - 82*j + 81*j, -4*p + 4*j + 3060 = 0. Does 75 divide p?
False
Let o be 3*5*(-4)/(-20). Suppose 4*a = -4*l - 5 + 97, -o*l + 4*a + 62 = 0. Suppose m - q + 3*q = l, 0 = 4*m - 4*q - 136. Is 4 a factor of m?
False
Let a = 64 + -54. Suppose a = -4*g + 26. Suppose g*r = 84 + 80. Is 10 a factor of r?
False
Suppose -742*v + 738*v + 2*h = -9652, -5*v - 2*h + 12092 = 0. Is 7 a factor of v?
False
Let x = -4586 - -5019. Is x a multiple of 3?
False
Let l be (-178)/14 - (-16)/(-56). Let y be 2/(-1)*((-247)/(-2))/l. Suppose -53 = -r + y. Is r a multiple of 18?
True
Let r = 26509 - 13946. Is 8 a factor of r?
False
Suppose 0 = n - 3, -2*n = 5*a - 5 - 31. Let x be (-12)/3 + (-186)/a. Let i = 54 + x. Does 11 divide i?
False
Suppose 5*m - 3*n = 84765, -15*n = -m - 17*n + 16966. Does 12 divide m?
True
Suppose 5*t + 2 = -z + 12, z - 10 = -t. Suppose z*l - 133 = 3*l. Suppose u = l + 29. Is 6 a factor of u?
True
Let o be -1 - 7/((-28)/(-12)). Let f be (-102)/4*4/(-6). Let p = f - o. Does 21 divide p?
True
Let c = 15249 - 5161. Does 23 divide c?
False
Suppose 3*a - 4*o + 4 = 0, o - 4 = 2*a - 3. Let g(s) = s**3 + 2*s**2 + 6. Let b be g(a). Let z(k) = 3*k + 9. Does 10 divide z(b)?
False
Does 11 divide (700056/32)/3 - 18/(-24)?
True
Let g(s) = -3*s + 60. Let r be g(0). Let l = -37 + r. Suppose 40 = u - l. Does 21 divide u?
True
Suppose -1477 = -10*u - 7177. Let t = 431 - u. Does 11 divide t?
True
Is 13 a factor of 112050/(-315)*(-42)/16 - (-3)/(-4)?
False
Suppose 5*i - i + 20 = 0, -2*k - 3*i = -83. Let t be (-648)/(-7) + -9 + 462/k. Suppose 5*c - 343 = -t. Is c a multiple of 24?
False
Let t(u) = 3877*u - 157. Does 4 divide t(1)?
True
Suppose -158 = -2*a - 5*o + 344, 0 = -4*o. Is 5 a factor of a?
False
Let c(m) = 106*m + 52. Suppose -6*s = -18*s + 48. Is c(s) a multiple of 68?
True
Let z be (-1 + 4 - 0/(-4)) + 1. Let a be 1 + 259 - (z + (-2 - 0)). Suppose -7*b + 5*b = -a. Does 30 divide b?
False
Does 115 divide 83950/(-4)*(2/(-2) - (-6)/(-6))?
True
Let k = 638 - -14722. Does 128 divide k?
True
Let g = -4496 + 3102. Is 29 a factor of (g/(-4) - 5/(-10)) + -3?
False
Let q = 65117 + -30431. Is q a multiple of 46?
False
Is (-6)/8*-18964 - 1*(2 - 5) a multiple of 125?
False
Let v = 5967 + -1377. Is 30 a factor of v?
True
Suppose -5*n - 40 = 5*s, 0 = -4*n + 16*s - 11*s - 32. Is ((-300)/n)/(0 - 4/(-8)) even?
False
Let h(q) = -2*q**3 + q + 9. Let r be h(0). Suppose 3*y = -3*g + r, 2*g + 5*y - 2 = 1. Suppose 5*n + 6*v = g*v + 758, v + 153 = n. Is 8 a factor of n?
True
Let b = -425 - -888. Let d = b + 37. Does 25 divide d?
True
Is 2194*1 - 0/((-8 + 10)*-1) a multiple of 4?
False
Let d = 27792 + -5532. Is d a multiple of 10?
True
Let r(i) = 3*i - 6. Let a be r(3). Suppose 423 = 4*z + t, 6*z + a*t = 3*z + 306. Suppose -175 = -3*k + z. Is k a multiple of 27?
False
Let h(s) = -4*s**3 - 112*s**2 + 108*s + 32. Let z(w) = -w**3 - 28*w**2 + 27*w + 8. Let y(g) = -2*h(g) + 9*z(g). Does 2 divide y(-29)?
True
Suppose -2*g - 3*z + 2286 = 0, 3*z = -5*g + 2977 + 2711. Is 8 a factor of g?
False
Suppose 0 = -5*f + 6*f + 5, 3*f + 3295 = 2*h. Does 23 divide h?
False
Let d(w) = 10*w - 26. Let x be d(3). Suppose x*c - 1508 = 148. Is c a multiple of 46?
True
Let j(h) = 20*h**3 + 17*h**2 - 83*h + 4. Does 27 divide j(9)?
False
Let y = 1871 + -729. Suppose -11*t + 5458 + y = 0. Is t a multiple of 15?
True
Let z = -120 + 125. Suppose 4*l + 96 = 4*b, -z*l + b = -0*b + 112. Let t = 12 - l. Is t a multiple of 6?
False
Let j be (-762)/(-8) - 27/(-36). Suppose 0 = 4*v - 544 + j. Is 3 a factor of v?
False
Suppose 0 = 2*q - 8, 24*q = 4*f + 22*q + 64. Is 84 a factor of (f/(-4) - 0)/(7/504)?
True
Suppose 0 = z - 12 + 6. Suppose -101 = 6*v - 7*v. Suppose z*p - v = 583. Is p a multiple of 19?
True
Suppose 0 = 4*u + 3*t - 24816, -4*t - 24816 = -18*u + 14*u. Is 22 a factor of u?
True
Let v(o) = o + 10. Let n be v(-6). Let f(d) = d**3 - 2*d**2 - 15*d + 36. Let s be f(-4). Suppose -2*p + 23 = x - 18, s = n*x - p - 137. Is 33 a factor of x?
False
Let d(l) = -3*l**2 - 7*l + 24. Let i be d(-7). Let r = 74 + i. Suppose r = 4*b - b - 15. Does 4 divide b?
False
Suppose -30*i + 9*i + 882 = 0. Is 17 a factor of (-3 - i/(-7)) + 643?
True
Let c = -120 - -35. Let b = 185 + c. Is 10 a factor of b?
True
Suppose -1022*c + 33360 = -1014*c. Does 189 divide c?
False
Does 5 divide (-11 - 4)*103866/(-126)?
True
Let j(m) be the third derivative of -m**6/120 - 3*m**5/10 - 3*m**4/4 - m**3/3 + 1175*m**2. Suppose 2*u = 3*o + 41, 0 = -2*o - u + 2*u - 29. Does 3 divide j(o)?
True
Let k = 131663 + -86482. Is k a multiple of 15?
False
Suppose 60*x = 35*x + 28000. Is x a multiple of 16?
True
Let g = 6251 + -2651. Does 25 divide g?
True
Let n(o) = o**2 + o + 2. Let l be n(15). Let h = l - 366. Let b = h - -192. Does 24 divide b?
False
Let j(l) = 126*l**3 + 4*l**2 - 4*l + 1. Let w be j(1). Suppose -5*x + w = 2*k, 2*k + 0*x - 5*x = 137. Is k a multiple of 9?
False
Suppose 5*l + m = 234710, 4*m - 93884 = -2*l + 7*m. Is 14 a factor of l?
True
Let d(v) = 3*v**3 + 30*v**2 - 38*v - 9. Let q(h) = h**3 + 9*h**2 - 13*h - 3. Let