pose u = -4*f + 4*u + 191, -4*f + 189 = -u. Let k = f + d. Is k a multiple of 6?
True
Let c = 30 + -18. Is 9 a factor of 81/(c/40*5)?
True
Let q = -1162 + 2032. Suppose -q = -k - 5*k. Does 29 divide k?
True
Let o(t) = t**2 - 16*t + 3. Is 12 a factor of o(-5)?
True
Let f(b) = 110*b. Let v be f(1). Let x = v + -65. Is x a multiple of 27?
False
Let q = 13 + -11. Let h(w) = -184 + 6*w + 15*w**q + 0*w + 191. Is 11 a factor of h(-2)?
True
Suppose 3*m = -2*c + 1941, 5*c + 0*m - 4890 = 5*m. Is c a multiple of 15?
True
Suppose -4*h = -3*h + 120. Let q = 169 + h. Let n = -18 + q. Is n a multiple of 21?
False
Suppose -2*f + 4*f - 108 = 0. Suppose -y + 5 = 0, 3*a - 3*y + 7 = -14. Let n = f - a. Does 14 divide n?
True
Does 8 divide (52/(-12) - -3)/(8/(-144))?
True
Suppose 0 = 2*f + 40 + 12. Let m = 181 - f. Is 13 a factor of m?
False
Let s be 113/2 + (5 - 11/2). Suppose o - s - 80 = 0. Is o a multiple of 13?
False
Let s(t) be the third derivative of 0*t + 0 + 1/2*t**3 + 12*t**2 + 1/3*t**4. Is s(2) a multiple of 9?
False
Let b be (-6)/36 - (-50)/12. Let d(k) be the second derivative of 7*k**3/6 - k**2 + 2*k. Is 13 a factor of d(b)?
True
Is (-112)/84 - 1940/(-6) a multiple of 23?
True
Let j(d) = -d - 21. Let k be j(-13). Let u(a) be the third derivative of -a**4/12 - a**3/6 + 2*a**2. Is u(k) a multiple of 5?
True
Suppose 0 = 2*i + 3*z - 64 - 79, -2*z = -2. Suppose i + 89 = b. Is b a multiple of 24?
False
Suppose 4*z - n = 17 + 3, -5*n = 5*z - 25. Suppose 5*r - r + 64 = 4*i, -z*i + 98 = 4*r. Let f = -2 + i. Does 13 divide f?
False
Suppose -4*f + s - 4*s = -3, 3 = -2*f - 3*s. Does 47 divide (-2 - f) + 3 - (-262 - -3)?
False
Is 34 a factor of 2/11 + ((-67248)/44)/(-9)?
True
Suppose 6*i = 2 + 22. Suppose 2*d = i*j - 3*j + 11, 0 = 4*j + 12. Is d a multiple of 3?
False
Let n(x) = -x**3 - 8*x**2 - 9*x - 9. Let k be n(-7). Suppose 4*o + 0*f + 2*f = 12, k*o + 4*f - 12 = 0. Is 5 a factor of (1/o)/(3/204)?
False
Let q = -180 + 178. Suppose -4*x + 5*k = -174 - 13, -5*k - 139 = -3*x. Let l = x - q. Does 19 divide l?
False
Let d(z) be the third derivative of -z**6/120 + 7*z**5/60 - z**4/3 + z**3/6 - 2*z**2. Let f be d(6). Let v = -4 - f. Is 7 a factor of v?
True
Let z(v) = -3*v**2 - 7*v - 4. Suppose 2*o - 2 + 12 = 0. Let l be z(o). Let j = 107 + l. Is 12 a factor of j?
False
Let y be (-1)/(-2)*4 + 3. Suppose d = -y*f + 2*d + 318, -5*d = -f + 54. Suppose -h - h = -f. Is 16 a factor of h?
True
Suppose -11*o = -a - 13*o + 899, 1823 = 2*a - o. Is a a multiple of 6?
False
Suppose d - 3 = -4*v + 1, 0 = -2*v + 2*d + 12. Suppose 0 = -4*s + v*a + 32, -4*s - 4*a + 34 = -22. Is s a multiple of 4?
False
Suppose -5*p + 1275 = 5*s, -4*s = p - s - 245. Is 52 a factor of p?
True
Suppose -2*u - 6 = -0*u - 5*n, 5*u + 5*n = 20. Let q(o) = 15*o**2 - 4*o - 2. Let m be q(u). Suppose 3*t - m = 2*s, 0*t - s - 17 = -t. Is t a multiple of 4?
True
Let k = 88 + -91. Does 43 divide ((-570)/(-9) - k)*3?
False
Suppose x + 14*x - 1320 = 0. Is 14 a factor of x?
False
Let m be -10*(2 - 7/2). Suppose -11*l = -16*l + m. Suppose -l*q = 3*p - q - 106, 0 = p + 2*q - 38. Is p a multiple of 27?
False
Suppose -7 - 17 = -4*s. Suppose s*c = c - 30. Is 9 a factor of (63/(-2))/(c/12)?
True
Let f(l) = -47*l + 19. Let b be f(-10). Let v = b - 253. Is v a multiple of 25?
False
Let z(m) = m**3 + 28*m**2 + 82*m + 24. Is 15 a factor of z(-24)?
True
Let b(h) = 154*h + 182. Is b(5) a multiple of 34?
True
Let s(o) = -o**2 + 5*o - 3. Let c be s(3). Suppose 8*m - 450 = c*m. Is 30 a factor of m?
True
Suppose -20 = -2*l + 7*k - 3*k, 0 = -3*k - 9. Does 45 divide ((-118)/l)/((30/(-12))/5)?
False
Let c be (-3)/(5/(30/(-2))). Let r(w) = w**3 - 10*w**2 + 10*w + 8. Let a be r(c). Let q = a - -58. Does 18 divide q?
False
Let y(s) = s**2 + 2*s + 2. Let i = 8 + -6. Suppose -2*l + 2 = 2*j + 24, -i*l = 3*j + 28. Does 26 divide y(j)?
True
Let s = -19 - -24. Suppose -s*r + 40 = -3*r. Is r a multiple of 5?
True
Suppose -33*o = 19971 - 52938. Is 27 a factor of o?
True
Let k(d) = -4*d + 68. Does 12 divide k(-20)?
False
Let r(y) = 39*y**2 + 3*y + 2. Let c(f) = 20*f**2 + f + 1. Let d(t) = -7*c(t) + 4*r(t). Is d(-3) a multiple of 15?
False
Suppose -h = -6*h - 570. Let q = -54 - h. Does 20 divide q?
True
Let z(m) = m**3 + 11*m**2 + 11*m - 5. Let v be z(-10). Is 49 a factor of ((-147)/(-4) + 0)*(-40)/v?
True
Suppose -5*u + 2671 = 3*a, -12*u + 8*u + 2122 = -5*a. Does 41 divide u?
True
Let n(c) = -2 - 1 - c**2 - c + 1 + 4*c + 2*c**3. Is n(2) a multiple of 10?
False
Suppose l - 8*n - 61 = -5*n, -3*l = -5*n - 171. Is l a multiple of 17?
False
Suppose 27700 = -0*c + 25*c. Does 21 divide c?
False
Suppose 25*s = 6*s + 152. Does 5 divide s?
False
Let t(z) = 2*z**3 + 4*z - 3. Let n be t(1). Suppose -n*p + 100 = -p. Is p a multiple of 5?
True
Suppose y = -0*y. Suppose 5*b - 2*i + 0*i - 21 = y, 5*b = -i + 27. Suppose b*h = 4*h + 33. Is 9 a factor of h?
False
Let o(x) = x**2 + 14*x + 31. Let p be o(-11). Is 51 a factor of 210 - (p + 0 + 0)?
False
Let t(x) = x**2 + 6*x - 32. Let p be t(-10). Is (-634)/(-8) + (-2)/p - 3 a multiple of 37?
False
Let w(o) = -5*o + 5. Suppose s = 7*s + 84. Is 11 a factor of w(s)?
False
Let k be (6/(-6))/(4/(-8)). Suppose k*x - 72 = -2*x. Is 3 a factor of x?
True
Is ((-2328)/(-18) + 2 - -2)*9 a multiple of 17?
False
Suppose 210*b + 90650 = 235*b. Is b a multiple of 98?
True
Let z(l) = 28*l - 3. Let m be z(3). Let y = 129 - m. Is 8 a factor of y?
True
Let k = -4567 - -8332. Suppose 19*l - 4*l = k. Is 41 a factor of l?
False
Suppose -28*d = -37*d + 8397. Is 19 a factor of d?
False
Let c(t) = -12*t + 504. Does 14 divide c(28)?
True
Let n be (121/(-3))/(1/(-3)). Suppose 3*a = -5*q + n, -3*q + 5*a - 37 = -5*q. Is q a multiple of 18?
False
Let z be (-148)/(-4 + 8 + -6). Let p = 106 - z. Does 13 divide (-1)/4 - (-1256)/p?
True
Let u(z) = 3*z + 62. Let i be u(-20). Is 11 a factor of 0 - -35 - (i + 0)?
True
Let g(m) = 2*m**2 - 5*m + 8. Is g(14) a multiple of 10?
True
Suppose -5*y + 155 = 3*a + 27, -y - 3*a + 28 = 0. Suppose 5*s = -y, -5*s = 2*r - r - 116. Is r a multiple of 11?
False
Is 15 a factor of (-9994)/(-209) + (-1 - 13/(-11))?
False
Suppose -13*g - 36 = -19*g. Let v(q) = -q**2 + 12*q + 4. Is v(g) a multiple of 13?
False
Suppose 2*c - 228 = -5*n + 432, 2*n = c - 330. Is c a multiple of 15?
True
Let u = 2729 - 1898. Suppose 2*b = 5*b - u. Is 13 a factor of b?
False
Let a be (1 - -2) + 1 - -1. Let c(z) = z**3 + z - 5. Let v be c(2). Suppose -5*o = -4*o - 2*f - 1, -a*o - v*f + 65 = 0. Is o a multiple of 5?
False
Let f(u) = 147*u + 762. Does 11 divide f(0)?
False
Suppose 87 = 7*v - 6*v. Does 3 divide v?
True
Let u = -1385 - -3764. Is 17 a factor of u?
False
Let p be 0 + 32 + 0 + 1. Suppose -5*r - 81 = -4*n, r - p = -n - 6. Is 13 a factor of n/2 + 2 + -1?
True
Suppose -21*c + 19142 = 2972. Is 10 a factor of c?
True
Suppose 0 = -17*x + 9734 + 7130. Does 16 divide x?
True
Let q = 260 - 34. Is q a multiple of 12?
False
Let p(g) = -3*g**2 + 194*g - 152. Does 91 divide p(40)?
False
Suppose 431 + 142 = 3*r. Is r a multiple of 5?
False
Suppose -3*d - 2*t = -0*t - 481, -166 = -d + 5*t. Let x = 229 - d. Suppose -3*g = -5*g + x. Is 12 a factor of g?
False
Let n = 46 - 11. Let l = -22 + n. Does 8 divide l?
False
Suppose n = 3*n + 4*d - 906, -n - 5*d + 441 = 0. Is n a multiple of 18?
False
Let p(j) = -2*j**3 + 2*j**2 + j + 2. Suppose 3*l - 2*l = 2. Let i be p(l). Let r(d) = d**3 + 4*d**2 - d + 2. Is 4 a factor of r(i)?
False
Let y be (1 - -57) + 3 - 2. Let w be y + 6/(-2 - 1). Suppose w = 2*r + r. Is r a multiple of 7?
False
Let c = 8 + 72. Does 43 divide c?
False
Let a(v) = 3*v**2 + 8*v - 3. Let q(x) = x**3 - 10*x**2 + 7*x + 12. Let f be q(9). Let z be a(f). Suppose -3*c = 9, -3*o + 3*c + z = -0*o. Does 13 divide o?
False
Let s(a) = 6*a**2 - 51*a - 4. Let j be s(9). Let l = -39 + 28. Let b = j + l. Does 10 divide b?
False
Suppose -4*y = 0, 3*y - 2 - 13 = -l. Let z = -2 + l. Does 2 divide z?
False
Suppose -3 = -3*h + 5*j - 21, h - 2*j + 7 = 0. Is 38 a factor of 2*(h - 1) + 92?
False
Suppose -202 + 904 = 26*u. Does 9 divide u?
True
Let u(o) = 3*o + 4. Let r be u(-3). Is 11 + 2 + r + -3 a multiple of 2?
False
Let s = -20 + 12. Let l be 506/s - 6/(-24). Let x = -12 - l. Does 9 divide x?
False
Let q be (-33)/3 - (4 + -1). Let x = -35 - q. Let c = 49 + x