(-5)/((-15)/9)?
True
Let x(z) = 85*z + 250. Does 15 divide x(5)?
True
Suppose 0*v = 2*v + 1354. Let b = v + 952. Suppose -10*i + b = -5*i. Is i a multiple of 16?
False
Let y be (-10)/2 + 639 - 4. Suppose -12 = -3*g, 3*c = -0*c - 3*g + y. Does 35 divide c?
False
Let u be (-127)/(-3) - (-52)/(-39). Is -12*(-5 - u/4) a multiple of 41?
False
Let z(k) = 17*k**2 - 27*k - 125. Does 73 divide z(-5)?
False
Suppose -9 = -12*v + 9*v. Suppose -6*s = -v*s - 318. Is s a multiple of 24?
False
Let n = -19 - -26. Suppose -11*m + n*m - 8 = 0. Does 11 divide -4 - -3 - (-70 + m)?
False
Let c be (-76)/6 + (-4)/(-6). Let s = 14 + c. Suppose 0 = -3*q + s*l + 99 + 8, -4*q - l = -161. Is 13 a factor of q?
True
Let z(m) = 3*m**2 - 6*m - 1. Does 9 divide z(-6)?
False
Let q be 10/4 - (-3)/2. Suppose 128 - 20 = -q*t. Let s = -22 - t. Does 3 divide s?
False
Let j(w) = -5*w**2 - w - 5. Let t be j(-2). Let k be (135/36)/(1/(-4)). Let q = k - t. Does 6 divide q?
False
Let i be (1/(-2) - 0)/((-2)/404). Suppose -d + 3*g + 0*g + i = 0, -2*g = -2*d + 210. Is 6 a factor of d?
False
Suppose 4*i + 4488 = 4*z, 2*i + 684 = z - 441. Is 64 a factor of z?
False
Suppose 0 = d - 2822 + 2668. Does 7 divide d?
True
Let k(w) = -183*w + 43. Is k(-3) a multiple of 74?
True
Suppose -5*s + t = 81, -t - 3*t = -s - 1. Let b(r) = -r + 5. Let w be b(s). Suppose -2*g + g = -w. Does 8 divide g?
False
Let c = -1705 - -2776. Does 11 divide c?
False
Suppose -5*m - 101 = -b, -5*b - 2*m + 547 = -6*m. Let n = b + 186. Is 41 a factor of n?
False
Let s(w) = w**2 + 4*w + 8. Let t = -5 - 3. Is s(t) a multiple of 8?
True
Suppose 15 = 21*p - 18*p. Does 3 divide 1*25/p*1?
False
Suppose z + 261 = 2*t, -12*t = -7*t - 2*z - 654. Is t a multiple of 22?
True
Let b(v) = -v**3 + 17*v**2 - 29*v + 23. Is 5 a factor of b(7)?
True
Suppose 5*s = -3*m + 2*m + 5, 4*s - 3*m - 4 = 0. Suppose 0 = -3*c + s + 5. Suppose -c*f + 22 = -f. Is f a multiple of 11?
True
Does 42 divide (8/(-3))/(126/(-41013))?
False
Suppose 4*c + c = 285. Suppose 0*p = 2*p - m + 27, 4*p - 5*m = -c. Let o = p + 25. Is o a multiple of 6?
True
Suppose -4*d = -5*x - 4010, 2*d + 6*x - 7*x = 2002. Suppose d = 6*w - 500. Is w a multiple of 50?
True
Let p(i) = 63*i**2 - 19*i - 54. Is p(-3) a multiple of 57?
True
Suppose 1392 = -10*j + 26*j. Is j a multiple of 43?
False
Is 14 a factor of (3 - 2/1)/(1/253)?
False
Suppose m + 122 = g, 5*g = -3*m + 6 - 348. Let h = m - -233. Suppose -5*u + h = 14. Is 20 a factor of u?
True
Let h = 1171 - 664. Is 36 a factor of h?
False
Let n(h) = -20*h**3 + 7*h**2 + 13*h + 17. Let u(a) = -10*a**3 + 4*a**2 + 7*a + 9. Let i(s) = 4*n(s) - 7*u(s). Does 39 divide i(-2)?
False
Suppose 0 = 2*i + 3*n - 279, -8*i = -3*i - 5*n - 760. Suppose -2*d - b + i = 0, 0*d + 4*b = -d + 77. Is 24 a factor of d?
False
Let t(g) = 2*g + 820. Let v be t(0). Does 9 divide (-2)/9 - v/(-45)?
True
Suppose -5*h - 172 + 502 = 0. Does 22 divide h?
True
Suppose -3*b + 5 = -4*b, 5*d = b + 30. Let p(k) = d*k - 4*k + k - 3*k + 17. Does 8 divide p(-15)?
True
Let c(b) = 32*b - 21. Let f be 152/56 + -3 + 16/7. Is c(f) a multiple of 3?
False
Is (-11632)/(-18) + ((-1352)/(-72) - 19) a multiple of 50?
False
Let b(t) = -2*t**3 + 33*t**2 + 27*t + 57. Does 6 divide b(17)?
False
Let l(k) = k**3 - 34*k**2 - 63*k - 99. Is 15 a factor of l(36)?
True
Suppose -l - 5*y + 9 = -0, -2 = -2*y. Suppose -4*d = l*k - 428, -4*k + 2 - 6 = 0. Does 12 divide d?
True
Suppose -3*o + 4*o = 0. Suppose 3*x = 3, o = -3*f - 5*x + 79 - 5. Suppose -69 = -2*q - f. Does 13 divide q?
False
Let f = -261 - -1326. Is f a multiple of 23?
False
Let c(j) = j + 1. Let a(g) = g**2 + 6*g - 5. Let n be 1/(2*(-1)/8). Let w(h) = n*c(h) - a(h). Does 7 divide w(-8)?
False
Suppose -14*t = -30*t + 432. Is 3 a factor of t?
True
Let n(k) = -k + 9. Let y be n(9). Is (-49 - 21)/(-1 - y) a multiple of 10?
True
Is 24 a factor of ((-6)/5)/(6541/(-2180) - -3)?
True
Suppose -2*f - f + 39 = -3*t, 3*t = -2*f - 34. Let q = 14 + t. Suppose -27 = -q*s + 13. Is 5 a factor of s?
True
Is 8 a factor of ((-1)/((-25)/(-10)))/(5/(-8800))?
True
Let w = -58 + 64. Is (-2)/(20/w) + 298/5 a multiple of 7?
False
Suppose 2*g + 1 = 3*b, -3*b - b + 4 = -3*g. Is 37 a factor of g/36 - 2004/(-27)?
True
Let f(s) = s**3 - 5*s**2 - 4*s - 2. Suppose -3*r + 0*r = 2*v, 22 = 5*v + 2*r. Let m be f(v). Suppose -m*o + 50 = -5*o. Is 10 a factor of o?
True
Suppose w + 2*z - 1666 = 0, w = 2*z + 2192 - 546. Is 17 a factor of w?
False
Suppose -5*u + 4*k - 2056 = -7236, 3*u - k - 3115 = 0. Is u a multiple of 52?
True
Let s be (159 - 2) + (-1 - 1). Let r = s + -38. Does 16 divide r?
False
Suppose -8 = -c - 3*c. Let t be 78/30 - c/(-5). Suppose 2*a = -t*r - 1, 4*a = 2*r + a - 21. Does 3 divide r?
True
Suppose 3*d - 7992 = 4*y, d = -3*d + 5*y + 10657. Does 24 divide d?
False
Let f(i) be the first derivative of i**2/2 - 4*i + 4. Let s be f(7). Is s/(-9) + 345/9 a multiple of 10?
False
Let m(z) = -4*z + 19*z - 10*z - 7*z. Let x be m(-2). Suppose 4*k + 4*p = -0*p + 28, x*k - 58 = 2*p. Does 12 divide k?
True
Is (2 + -1)*(2 + 8 + 3130) a multiple of 20?
True
Suppose 9 = 3*w, 3*p + 635 = 5*p - w. Is p a multiple of 8?
False
Let m = 270 + -210. Is m a multiple of 10?
True
Suppose c - 70 - 86 = 2*l, -l - 78 = c. Let f be l/(-12) + 1/(-2). Let x(r) = 2*r**2 - 3*r - 1. Does 19 divide x(f)?
False
Let c(a) = a**3 - 2*a + 3. Let f be c(1). Suppose -z = 2*z - 2*j - 99, 0 = -3*z - f*j + 111. Is z a multiple of 7?
True
Suppose -w = 5*x - 10782, -x - 4*w + 3457 = 1312. Is 32 a factor of x?
False
Let q(a) = a - 10. Let k(s) = s**2 + 4*s - 2. Let w be k(-6). Let t be q(w). Does 27 divide t - 0 - (-135)/5?
True
Let p = 402 + -207. Suppose -4*l = l - p. Does 13 divide l?
True
Suppose 2*w - 3*y - 43 = 0, 4*y + 10 - 1 = w. Does 2 divide w?
False
Let c be (-1 + 1)/((7 + 3)/5). Suppose c = m - 0*m - 31. Is 2 a factor of m?
False
Let z(u) = u**3 + 11*u**2 - 3*u - 13. Let d be z(-11). Let j = 3 + d. Is j a multiple of 23?
True
Let b = 19 + -19. Suppose 23 = 4*z - 5*o, b + 10 = -z - 4*o. Suppose a - 28 = -3*u + 9, -3*a + z*u = -133. Is 9 a factor of a?
False
Let i = 304 + 325. Does 28 divide i?
False
Let f(w) = 40*w - 136. Is f(23) a multiple of 7?
True
Is 2 a factor of 17 - (-2 + (5 - 1) + 3)?
True
Let k = -11 + -1. Let c = 50 - k. Is 11 a factor of c?
False
Suppose 0 = g + 3*p - 111, -2*p = -g - 3*g + 486. Suppose -45 - g = -f. Is 21 a factor of f?
False
Let q(n) = 27*n - 3. Let u be 2/(-4)*(-13 + 11). Is q(u) a multiple of 4?
True
Let v(z) = z**2 - 4*z. Let j be v(5). Suppose 5*m + g = 89, j*g + 103 - 26 = 4*m. Suppose -2 = -5*a + m. Does 4 divide a?
True
Suppose 2*w - 7*w - 67 = 2*b, -2*w = -b - 47. Let c = b - -98. Is 7 a factor of c?
False
Suppose 10*g = 11*g - 264. Is g a multiple of 22?
True
Let t = -198 + 263. Does 4 divide t?
False
Let x = -244 + 262. Is x a multiple of 2?
True
Suppose 695 = 33*o - 262. Is o a multiple of 11?
False
Suppose 6*i + 5*d + 73 = 9*i, -5*i + 167 = 3*d. Is i a multiple of 10?
False
Suppose -77*j + 81*j - 612 = 0. Does 6 divide j?
False
Does 62 divide (-10612)/(-4) - (-10 - -4)/(-1)?
False
Suppose v + 990 = 4*v. Suppose v = -21*p + 26*p. Is 22 a factor of p?
True
Suppose 350*u - 323*u = 8262. Is u a multiple of 18?
True
Suppose -14*x = -10*x - 824. Is 12 a factor of x?
False
Suppose 2*c = o + 27, c - 4*o = 8 + 16. Let n be 2/4 - (-3342)/c. Suppose -n = -6*x + 351. Is 18 a factor of x?
False
Let i = 28 + -19. Does 39 divide (-3)/(i/6) - 632/(-4)?
True
Suppose 0 = i + 4*i - 8580. Does 10 divide i?
False
Does 6 divide (-4 + (-216)/(-30))/((-2)/(-45))?
True
Let z(t) = -2*t + 10. Let x be z(0). Suppose a + a - x = 0. Suppose -70 = -a*v - 5*d, 4*d + 49 = 2*v + v. Is v a multiple of 15?
True
Let t(f) = -182*f - 300. Is t(-8) a multiple of 17?
True
Let z = 28 + -22. Suppose -317 = -z*u - 29. Is 16 a factor of u?
True
Let n be (-4)/(5/200*5). Let v = -29 - n. Let b(p) = 17*p + 4. Does 19 divide b(v)?
False
Suppose -n + 2*j = -0*n + 3, -n - 23 = 2*j. Let t = n + 55. Is t a multiple of 14?
True
Let y(p) = 2*p**2 + p - 2. Let o be y(-2). Suppose 2*d - 4 = 4*d, -o*d - 152 = -3*h. Let b = h + -31. Is 3 a factor of b?
False
Suppose -12 = -3*k - 0*k. Suppose 0 = 4*q - k - 4. Suppose -q*o + 38 + 70 = 0. Is 12 a factor of o?
False
Let b be 0 + (-183)/3 + 4. Let w = b + 67. Is w a mu