 t(v) = v**2. Suppose 4 = r - b - 4*b, -r - 5*b = -4. Is 8 a factor of t(r)?
True
Let d(g) = -g + 5. Let c be d(-4). Suppose c = x - 6. Is x a multiple of 13?
False
Let f(i) = -2*i + 9. Does 5 divide f(-3)?
True
Let n = 34 + -7. Does 27 divide n?
True
Does 5 divide (-11 + 10)*(1 + -15)?
False
Let b(a) = -10*a - 5. Is b(-7) a multiple of 8?
False
Suppose 2*v + 3*t = -3, t + 4 = -v - 3*t. Let x(h) = -h**3 - h**2 + h + 161. Let y be x(v). Suppose y = 3*p - 16. Is 26 a factor of p?
False
Let y(v) = 18*v. Let q be y(1). Suppose 0 = 3*w - q - 9. Suppose -o - 2*o = a - 69, 3*a = -w. Does 8 divide o?
True
Suppose -2*o + 15 = o. Suppose 4 - 13 = -3*t, 0 = o*f - 2*t - 114. Does 12 divide f?
True
Suppose -3*m - 8 = -89. Suppose -g = j - m, 4*j - g - 138 = g. Does 20 divide j?
False
Let k = -2 - 10. Let s = k - -24. Does 4 divide s?
True
Suppose 0 = 4*i - i - 75. Is i a multiple of 25?
True
Suppose -b = -2*b, 5*u + b = -75. Let d = -10 - u. Suppose 5*c - 46 = 3*c - 3*x, d*x - 105 = -5*c. Is 17 a factor of c?
True
Suppose 0 = 3*j + 2*a + 2, 0 = 2*j - j + 4*a + 14. Suppose 0*b - j*b = -328. Suppose -b = -5*n - 4. Is 16 a factor of n?
True
Suppose n + n - 4 = 0. Let i(y) = y**2 - y**n + 2*y - 1 + 7*y**2. Is 4 a factor of i(1)?
True
Suppose 0 = -0*z + z. Suppose q + z*t - 5 = t, 2*q - t - 12 = 0. Is q a multiple of 3?
False
Let h(j) be the first derivative of j**3/3 + j**2 - 6*j - 1. Does 6 divide h(4)?
True
Let q = 187 - 90. Is q a multiple of 25?
False
Let p = -49 + 69. Is 4 a factor of p?
True
Let i(h) = 16*h**3 + h**2 - h + 1. Let t be (-10)/(-4)*4/5. Suppose s = -1 + t. Is 17 a factor of i(s)?
True
Let f(n) be the first derivative of 3*n**4 - n**3/3 - 3. Is f(1) a multiple of 11?
True
Let a(v) = -3*v. Let x be a(2). Let q = 37 - x. Is q a multiple of 15?
False
Let k be (-7)/(-1) - (2 - 1). Suppose -k*q + 110 = -q. Let u = q - 16. Is 3 a factor of u?
True
Let y(k) = k**2 + k - 15. Let n be y(-11). Let d = n + -61. Is 16 a factor of d?
False
Let b = 6 + -9. Let t(n) = 5*n**2 + n + 4. Let w be t(b). Suppose 0 = 4*i - 102 - w. Is 13 a factor of i?
False
Let u(d) = 2*d**3 - 3*d**2 - 2*d. Does 7 divide u(3)?
True
Let j = 46 + -16. Suppose b - j = -4*b. Is b even?
True
Suppose -x = 2*x - 153. Is 4 a factor of x?
False
Suppose 2*l - 3*l = 6. Let d be (-3*4/l)/(-2). Let j(r) = 60*r**2 - 2*r - 1. Is 21 a factor of j(d)?
False
Suppose 0 = -6*q + 3*q + 6, -k - 4*q = -113. Is k a multiple of 15?
True
Suppose -240 = -7*u + u. Does 8 divide u?
True
Let i(h) = -h**2 + 6*h + 3. Let g be i(6). Suppose -3*c + 120 = -2*r, g*c - c - 80 = -5*r. Suppose -2*m - 2*m = -c. Does 10 divide m?
True
Suppose -2062 - 4750 = -26*m. Does 40 divide m?
False
Let f be (-3 + 6)*10/(-3). Let s(u) = -257*u**2 + u. Let p be s(-1). Is 13 a factor of p/f - (-1)/5?
True
Suppose 3 + 38 = b. Is b a multiple of 4?
False
Suppose -59 = -2*y - 5*j, -2*j + 3 = -7. Let q = -11 + y. Does 6 divide q?
True
Let g be 24/(-15)*15/(-6). Suppose g*d - 22 - 58 = 0. Let n = d - -22. Is 13 a factor of n?
False
Suppose -2 = -5*i + 38. Let z = i - 2. Does 2 divide z?
True
Let u(l) = 5*l + 1 + 2 - 14*l. Let y be u(-3). Let q = -21 + y. Does 9 divide q?
True
Suppose 540 = 7*h + 2*h. Does 15 divide h?
True
Let l = -54 - -74. Is l a multiple of 4?
True
Suppose 0 = -f + n + 19, 3*n - 45 - 58 = -5*f. Suppose -4*c + 84 = i, -f = 2*c - 4*c + 5*i. Does 14 divide c?
False
Suppose 0 = -0*b + 2*b - 4, -f + 11 = 3*b. Let u(c) = f + 2*c - 4*c + c. Does 7 divide u(-9)?
True
Let o = 64 - 23. Is o a multiple of 41?
True
Suppose 4*i - 8*q - 16 = -3*q, 3*i - 2*q = 5. Is 5 a factor of (-2 - -5) + (i - -8)?
True
Suppose -4*h = 5*v - 213, -6*h + 282 = -h + v. Is 20 a factor of h?
False
Let n be (-318)/30 + 4/(-10). Let v = -6 - n. Is v a multiple of 5?
True
Let i(q) be the third derivative of -q**5/60 - q**4/24 - 2*q**2. Let s be i(-1). Suppose -o - 4*u = 4 - 17, s = -2*o - 4*u + 30. Is 7 a factor of o?
False
Let q = 163 - 123. Is q a multiple of 10?
True
Suppose -5*t + p = -47, 2*t = 4*p - 2*p + 22. Suppose 5*k - 36 = t. Suppose -4*l + 4*x + 32 = 0, -3*l + 3 = x - k. Does 4 divide l?
False
Let f(g) = g + 1. Let h(c) = -4*c - 8. Let a(y) = -3*f(y) - h(y). Does 10 divide a(5)?
True
Let n = -8 + 11. Let s = n - -24. Is 8 a factor of s?
False
Let x = -77 + 134. Does 27 divide x?
False
Let o be 4/(-16) + (-33)/(-4). Does 6 divide (56/(-6))/(o/(-12))?
False
Let v be (1 - 0)/(2/(-22)). Does 7 divide -8 - v - (-22)/2?
True
Let u be (-1)/4*-4*2. Let x be u*((-30)/(-4))/(-1). Is 20 a factor of 6/x - 102/(-5)?
True
Let q = 100 - 11. Does 8 divide q?
False
Is 8 a factor of -3 - -5 - -42 - 4?
True
Let m(n) = n**2 - 13*n + 1. Is 53 a factor of m(-11)?
True
Is (3 - -3)/(2/5) a multiple of 14?
False
Suppose 4*q = -5*w - 84, 4*w + 56 = -2*q + 5*w. Let b = 57 + q. Is b a multiple of 25?
False
Let j(u) = 85*u. Let y be j(1). Suppose 5*m - 3*x + 7*x = -16, -m - 2*x = 8. Suppose y = -m*b + 5*b. Does 5 divide b?
False
Let r(a) = a**3 + 3. Let b be r(3). Let s be 2*1*(-2)/4. Let d = s + b. Is 16 a factor of d?
False
Let q(k) = k + 4. Is q(15) a multiple of 19?
True
Suppose 6*i - 2*i + 3 = b, b - 3 = -i. Let w be b/2*1*6. Let a = w + 6. Does 6 divide a?
False
Let o = 968 - 686. Does 13 divide o?
False
Does 18 divide ((-10)/(-6) + -2)/(6/(-1710))?
False
Suppose 2*t + 0*t = -50. Let g = t + 45. Is (-8)/g - (-54)/10 a multiple of 5?
True
Let t(s) = -s**2 - 3*s - 1. Let a be t(-3). Is 395/25 + a/(-5) a multiple of 8?
True
Suppose -4*j - j = 3*f - 8, 5*j - 5*f = 40. Suppose s - j*s + 60 = 0. Does 11 divide s?
False
Suppose -3*m + 3*x = 2*x + 7, -3*x + 11 = -4*m. Suppose 4*f - 2*c = -116, -f - 47 = -c - 4*c. Let z = m - f. Is 7 a factor of z?
False
Let k = 39 - 57. Is 3 a factor of 0 + -3 + k/(-2)?
True
Suppose 0*h - 340 = -3*h - 4*i, 4*h = i + 428. Is h a multiple of 40?
False
Suppose i = -i + 264. Suppose 5*v - i + 7 = 0. Suppose 2*j - 27 - v = 0. Is j a multiple of 10?
False
Let u be (0 - -5)*(-152)/(-10). Let p = -37 + u. Is 20 a factor of p?
False
Let w(f) = f - 8. Let d be w(10). Suppose 11 + 7 = d*b. Does 4 divide b?
False
Let p(w) = -w**3 + 3*w**2 + 3*w + 3. Let g be p(3). Let v = g - 24. Let h = v + 32. Does 10 divide h?
True
Let o(h) = 11*h + 32. Does 17 divide o(11)?
True
Suppose 4*z - 161 = 223. Does 24 divide z?
True
Suppose -87 = z + 3*i, -2*z + 0*i - 141 = -5*i. Let f = -54 - z. Is 8 a factor of f?
True
Let j be (0 - -1)/(2/6). Suppose 0 = 2*t + j*t + 15. Let d(z) = -z**3 - 2*z**2 - 2*z + 1. Does 8 divide d(t)?
True
Suppose -220 = -7*d + 11. Is d a multiple of 6?
False
Suppose -73*c - 64 = -74*c. Is 32 a factor of c?
True
Let z(x) = -x**3 + 7*x**2 + 5*x - 9. Let w be z(7). Let f = 1 + w. Does 9 divide f?
True
Let h be -1 - ((-3 - 0) + 2). Suppose 5*g + r - 50 = -5, -5*r + 1 = -3*g. Suppose h = -y - g + 42. Is 11 a factor of y?
False
Does 14 divide 14 - 2 - 7/((-14)/4)?
True
Is (-15)/10*(1 - 151) a multiple of 15?
True
Let g be (-1)/((0 - 2)/10). Suppose -140 = -g*h - 0*h. Is h a multiple of 14?
True
Suppose o = 3*z - 5, 2*o + 12 = -z + 2. Suppose 5*f - 10 = -z*f. Is f a multiple of 2?
True
Let u(g) = 17*g**3 - g**2 + g - 1. Let k be u(1). Suppose -20 = -2*h + 2*b - 3*b, 0 = 4*b + k. Is h a multiple of 9?
False
Suppose -386 + 45 = -3*q + b, 0 = -5*b + 20. Suppose 5*p - q = -35. Does 3 divide p?
False
Is ((-2)/(-2) - 0)*(5 + 0) a multiple of 5?
True
Is (-2033)/(-38)*(-2)/(-1) a multiple of 39?
False
Suppose 291 + 109 = 5*d. Does 30 divide d?
False
Suppose 3*g - 92 = 2*g. Does 29 divide g?
False
Is 10 a factor of (-32)/(-20)*380/8?
False
Let u(w) = -1 + 3*w + 6 + 1 + 6. Is u(9) a multiple of 16?
False
Suppose -3*w + o + 156 = 0, 121 = 2*w + 2*o + 3*o. Does 9 divide w?
False
Let u(n) = 26*n - 21. Is 28 a factor of u(5)?
False
Suppose i + 3*o + 6 + 6 = 0, -8 = i + 2*o. Suppose 5*w + i*u - 75 = -3*u, 0 = -w + 3*u + 33. Is w a multiple of 18?
True
Does 8 divide 4 - (-14 - (3 - 1))?
False
Suppose -4*a = -4*s - 59 + 527, -s + 2*a + 119 = 0. Does 12 divide s?
False
Let k(j) = 17*j + 1. Let x be k(-1). Let y = 30 + x. Suppose 3*v + y = u, -4*u = -9*u - 2*v + 2. Is u even?
True
Suppose -6*h = -h - 120. Suppose 2*q + 2*q = h. Is q a multiple of 3?
True
Suppose -4*b = 3*h - 419, -4*b - 18 = h - 147. Does 29 divide h?
True
Suppose -8 = -2*s - 2. Suppose -2*j + 21