t/(-1) a multiple of 11?
True
Is 95 a factor of (-5 - 19)/6 - -3519?
True
Suppose 5*w - 3*n = -5*n + 2934, 5*n = -15. Let t = -418 + w. Suppose 4*v - t = -2*j - v, -5*j + 395 = 5*v. Is 14 a factor of j?
False
Suppose 10 = 5*b, b + 728 = 3*p - 3446. Is p a multiple of 48?
True
Let f = -291 + 519. Suppose 3*z + 0*z - f = 0. Suppose n - z = -30. Is n a multiple of 24?
False
Suppose 4*q - 1911 - 3497 = 0. Is q a multiple of 13?
True
Suppose -3*j - 3*o + 2967 = 0, -4*j + 3952 = -0*o + 3*o. Is 79 a factor of j?
False
Suppose -15*v + 10*v + 2520 = 0. Does 17 divide v?
False
Suppose 0 = -10*s + 15*s. Let b be 434 + -9 + s/2. Suppose -150 = -5*x + b. Is 18 a factor of x?
False
Suppose d + 0*d = 0. Suppose l + 34 = -d*l - w, l = -3*w - 40. Let s = l - -69. Does 19 divide s?
True
Let p be 16/8 - -29*1. Let i = p + -62. Is (-2)/(95/i + 3) a multiple of 31?
True
Suppose 25 - 9 = 4*q. Suppose q*y + 2*s = y + 175, 4*y = s + 226. Does 19 divide y?
True
Suppose g + 3*a - 262 = 0, -3*g + 5*a + 520 + 210 = 0. Does 10 divide g?
True
Suppose 5*d - 417 = -4*l, -3*l + 371 = 5*d - 48. Is 19 a factor of 2/(-17) - (-9700)/d?
True
Let j(p) = -p + 84. Suppose i = -5*i. Is j(i) a multiple of 16?
False
Suppose 3*j - 4*i + 6 = 17, 29 = 5*j + 4*i. Suppose -4*b - 55 + 9 = -3*u, 2*u = j*b + 26. Does 18 divide u?
True
Let p(c) = -c**2. Let f(t) = -9*t + 5. Let l(g) = f(g) - p(g). Let q be l(6). Let j = q - -16. Is 3 a factor of j?
True
Let v be 696/(-5) + ((-3)/(-15) - 0). Let r = v - -224. Is r a multiple of 13?
False
Let y = -882 + 2040. Is y a multiple of 6?
True
Suppose -398 + 5303 = 5*i - 4*d, 4*i + 4*d - 3924 = 0. Does 40 divide i?
False
Let m be (-178)/(-4) + 9/(-6). Let q be ((-4)/(-8))/(2/396). Let f = q - m. Is f a multiple of 28?
True
Suppose 0 = 25*g - 6*g - 7410. Does 15 divide g?
True
Suppose 5*t + p - 536 = -0*t, 544 = 5*t - p. Is t a multiple of 18?
True
Is 10 a factor of (4 + -7)/(2082/(-520) + 4)?
True
Let f = 754 + -500. Is f a multiple of 4?
False
Let q be (-7 + 4 + -3)/(-2). Suppose -3*i + 20 = q*m - m, -m + 8 = i. Suppose i*a - 165 = a. Is a a multiple of 11?
True
Suppose 0 = -2*o - 0*o + 12. Let n(c) = -5*c + 8*c**2 - 2 + o - c**3 - 2. Is n(4) a multiple of 10?
False
Let a = 91 + -103. Is a/((-13)/10 - -1) a multiple of 20?
True
Let x(g) = 4*g + 19. Let f be x(-4). Suppose 5*u - 290 = f*p - 40, -u = -p - 50. Is 25 a factor of u?
True
Suppose -234 = -6*o - 42. Let h = o - 2. Does 18 divide h?
False
Suppose -5*o = 0, -4*t + o = 6*o - 744. Let k = 318 - t. Suppose 3*b + b - k = 0. Is b a multiple of 20?
False
Let t(l) be the third derivative of -l**5/60 + 13*l**4/24 - l**3 + 4*l**2. Let x be t(9). Does 5 divide (-2)/(-3)*x/4?
True
Let x(u) = 3*u**2 + 14*u + 7. Let s be x(-9). Let t = -9 + s. Is t a multiple of 23?
True
Suppose -5*s = 3*a + 24, 4*a - 4*s = -0*s. Let p = a + 3. Suppose p = 5*f - 5 - 20. Does 2 divide f?
False
Let t = -5 + 6. Let w be (10/(-6))/(t/(-3)). Suppose -w*z + 3*z + 60 = 0. Is 10 a factor of z?
True
Let s = 8 + -6. Suppose -s*z - 3*g = -295, -4*z + 4*g - 741 = -9*z. Suppose 39 = -r + z. Is r a multiple of 29?
False
Let p = 56 + -51. Let g(c) = 2*c**3 - 7*c**2 + 2*c + 9. Is 36 a factor of g(p)?
False
Is (-20)/(-9) + -2 + 92128/144 a multiple of 40?
True
Suppose -8*c + 3*c = -2*f - 16, 4*c = 3*f + 10. Suppose 0 = -f*z - 3*z + 5. Is ((-240)/(-28))/(z/7) a multiple of 17?
False
Let q = 591 - 143. Is 14 a factor of q?
True
Suppose -3*a = -2*a - 14. Suppose a = 5*k - 186. Is 40 a factor of k?
True
Suppose 11*g + 836 = 2629. Is 69 a factor of g?
False
Let d = 53 + -28. Suppose 5*h + d = b, 3*b - h - 101 = h. Is 7 a factor of b?
True
Suppose o = -o - 6. Let f be o/2*(-44)/(-3). Let y = f + 55. Is y a multiple of 14?
False
Let s = 318 + -96. Is 4 a factor of s?
False
Let y(n) be the third derivative of -n**5/60 - n**4/12 + 10*n**3/3 - 6*n**2 - 19*n. Suppose -4 = 4*f + 3*k - k, -4*k = -5*f + 8. Is 6 a factor of y(f)?
False
Suppose 15*y - 4466 = 4*y. Is y a multiple of 58?
True
Let v(t) = 47*t + 1. Let p(d) = d**3 + 7*d**2 + 5*d - 5. Let w be p(-6). Does 16 divide v(w)?
True
Suppose y - 238 = -4*g, -3*g + 116 = 2*y - 60. Suppose 2*l - g = -5*q, q + 120 = -0*l + 4*l. Is l a multiple of 15?
True
Does 75 divide (-165)/(-385) + (-40038)/(-21)?
False
Suppose -3*o = 155 + 28. Let j = o + 136. Does 29 divide j?
False
Suppose 2*s + 0*s + r - 22 = 0, 4*s - 28 = 2*r. Let f = 12 - s. Suppose -96 + 0 = -f*t. Does 16 divide t?
True
Suppose -8*u - 1944 + 4976 = 0. Is u a multiple of 19?
False
Let y(z) = -z - 1. Let q be y(-3). Suppose 0 = 5*j - p - 24, -q*j + p = 6*p - 15. Suppose 0 = -j*v + 32 + 83. Does 19 divide v?
False
Suppose -31*n + 36*n = 1485. Does 9 divide n?
True
Let z(a) = -a**2 - 6*a + 9. Let c be z(-7). Suppose -3*s + 4*d + 38 = 0, -5*s = -c*d - 63 - 19. Suppose -2*t = -k - s, 3*t - 36 = k - 4*k. Is 5 a factor of t?
True
Let k = 252 - -31. Is 10 a factor of k?
False
Let x(f) = -5*f**2 + 12*f. Let h(m) = -m**2 + m - 1. Let i(o) = 6*h(o) - x(o). Suppose 0*a = 3*a + k + 10, -k = a + 2. Is 2 a factor of i(a)?
True
Let r(m) = 482*m + 51. Is 10 a factor of r(2)?
False
Let i = -206 + 311. Is i a multiple of 48?
False
Suppose -5*c - 8 - 17 = 0, c = 3*m - 17. Suppose -k = -m*k + 15. Suppose -5*u = -k*y + 85, 0 = -y + 4*u - 13 + 45. Does 6 divide y?
True
Suppose -5*t + 228 = -2*y, 3*y + 18 - 6 = 0. Is 7 a factor of t?
False
Suppose 14*k = 29*k - 1620. Does 10 divide k?
False
Suppose -1365 = -9*h + 4*h + 5*b, 5*h = -7*b + 1401. Is h a multiple of 10?
False
Let m be -5 + -6 + 8 - (0 - 18). Is 5 a factor of m/((-1 - 0)/(-1)) + 3?
False
Suppose -158 = -2*z - 2*y, -y - 2*y - 173 = -2*z. Is 53 a factor of z?
False
Is 11 a factor of 393 + 4/36 + 296/(-72)?
False
Suppose -2*u + 2*q = -4*u - 12, 3*u - 3*q - 6 = 0. Let j(n) = -13*n**3 + 4*n**2 + 4*n + 2. Does 19 divide j(u)?
True
Suppose 0 = -7*g - 2*g + 36. Is 13 a factor of 4 + 1/(g/88)?
True
Let l = 22 + -24. Let p(k) = -94*k + 2. Does 25 divide p(l)?
False
Suppose -7*s = -5*x - 3*s + 1739, -1735 = -5*x + 5*s. Is x a multiple of 27?
True
Let l(g) = g**2 - 18*g + 24. Let p be l(24). Suppose 3*x = x + 3*n + p, -2*n = -2*x + 172. Is 9 a factor of x?
True
Suppose -13*p = -4*w - 12*p + 827, -406 = -2*w - 2*p. Is 5 a factor of w?
False
Suppose -6*w - 144 = -2*w. Let q be 12/(-9)*w/8. Suppose -5*n = q - 56. Is n a multiple of 5?
True
Suppose -x + 46 - 6 = 0. Is 25 a factor of (x/(-10))/(1/(-25))?
True
Suppose 5*s = -5*j + 220, -196 = -2*s - 2*s + j. Is 6 a factor of s?
True
Let o(w) = w**2 - 9*w + 57. Is 2 a factor of o(20)?
False
Suppose 3*f - 4*b = 8*f - 1556, 0 = 4*f + 3*b - 1245. Is 26 a factor of f?
True
Let q(c) = 23*c**3 + 2*c - 2. Let f be q(1). Let u = 39 - 24. Let o = f - u. Is o a multiple of 8?
True
Let p(s) = -s**3 + 2*s**2 + 2*s + 2. Let x be p(0). Suppose 0 = v + m - 128, -104 = -4*v + x*m + 408. Does 21 divide v?
False
Let y be (153/34)/((-2)/8*3). Let a(w) = 5*w**2 + 3*w. Let m(r) = 4*r**2 + 4*r - 1. Let u(c) = 3*a(c) - 4*m(c). Is 10 a factor of u(y)?
True
Let l = 733 - 501. Is l a multiple of 45?
False
Let h(z) be the second derivative of -11*z**3/6 - 3*z**2/2 - 12*z. Is 10 a factor of h(-3)?
True
Let v = 1924 + -1199. Does 7 divide v?
False
Suppose 0 = 5*t - 7*t + 192. Suppose -2*r + t = -0*r. Is r a multiple of 6?
True
Suppose 2*s = -y + 38, 70 = -5*y + 2*s + 296. Is ((-198)/y)/(1/(-56)) a multiple of 21?
True
Suppose -3*n = 6, -2*v + 4*n + 4 + 4 = 0. Let p be (-3)/(1 - (1 - -1)). Suppose v = -a - 2*i + 4*i + 50, 2*a - p*i - 103 = 0. Is a a multiple of 10?
False
Let k(x) = x**2 - x + 4. Let d be k(0). Suppose -b = 5*m - 485, -4*m - 2*b = -d*b - 374. Does 9 divide m?
False
Let z be (0 - -68)/(12/24) - -2. Suppose 4*s - 3*q = z, q + 130 = 4*s + 2*q. Is 4 a factor of s?
False
Let o = 818 - 475. Let l = -205 + o. Is 7 a factor of l?
False
Suppose -32*r + 21*r = -3410. Is r a multiple of 18?
False
Let t be 5/(-40)*2 - (-546)/8. Suppose -t = -2*l + 50. Does 37 divide l?
False
Suppose 171336 - 49044 = 79*k. Is k a multiple of 18?
True
Is 50798/26 - (-9)/39 a multiple of 14?
False
Let i = 35 + -14. Let y = 198 - 108. Suppose i = -n + y. Does 23 divide n?
True
Suppose -56589 = -31*g - 8*g. Is g a multiple of 18?
False
Let h = 84 + -57. Suppose -5*d + 3 = -3*a - 64, a = 2*d - h. Suppose o + d = 2*n - o, 0