e
Suppose -3*x + 87 = -294. Does 6 divide x?
False
Suppose -i + 0*t = 5*t - 29, -5*t + 25 = 0. Suppose -m + 473 = 173. Suppose -a + m = i*a. Is a a multiple of 20?
True
Suppose 13*m - 14*m - 2*v + 504 = 0, -5*v = 3*m - 1514. Is 113 a factor of m?
False
Suppose 2*h - 8 = -0*h. Let a(f) be the second derivative of f**4/3 - f**3/3 - f**2 + 33*f - 2. Is a(h) a multiple of 18?
True
Suppose 4*a + 4*z + 16 = 0, -2*a - 3*z - 11 = 2*z. Is 48 a factor of (-40)/1*(a + 45/(-12))?
False
Is 8 a factor of (130/40)/((-1)/(-384))?
True
Suppose 0 = -b + 2*w, 4*b - 4 = 2*b + 2*w. Suppose 3*p - 2523 = 4*t, 0 = -0*t - 5*t - b*p - 3115. Does 7 divide 4/24 - t/18?
True
Suppose -3*m = -3*q + 8*q - 34, 2*m - 3*q + 9 = 0. Is 64/m + 3/(-9) a multiple of 21?
True
Let r(f) = f**3 - 5*f**2 + 4*f + 4. Suppose -3*o - w - w + 8 = 0, 5*w - 1 = 2*o. Let q be ((-15)/6)/((-1)/o). Is r(q) a multiple of 12?
True
Suppose 13*x = -8 - 70. Let l = 4 - 10. Does 3 divide ((-32)/l)/((-4)/x)?
False
Does 66 divide (-13512)/(-12)*3/6?
False
Suppose 3*l + 2*l = -w + 16, 5*l + 5*w = 0. Suppose 4*u - 8 = 2*c, 8 = 4*c + 4*u - 0*u. Suppose -i + c*i = 4*q - 460, 452 = l*q - i. Does 26 divide q?
False
Suppose 0 = 4*d + 2 - 14. Let n(p) = -3*p + p**2 + p + 0*p + d. Is 17 a factor of n(-6)?
True
Let o(a) = a**3 + 7*a**2 + 4*a. Let k be o(-5). Is ((-6)/k*-2)/(2/810) a multiple of 18?
True
Suppose 0 = -4*q - 19 - 477. Does 3 divide q/(-20) + (-4)/(-5)?
False
Suppose 4*q = 7 + 1. Suppose -y - 9 = -12. Suppose 2*l - 14 = -y*f, -4 + q = -3*l + 5*f. Is l even?
True
Let y be (4 - 28)/(-4)*-2. Is 7 a factor of (-6)/y - (-41)/2?
True
Let z(t) = -3*t + 3 + 4*t + 6*t. Is z(11) a multiple of 16?
True
Suppose 2*q - 413 - 226 = -5*m, -3*q + m + 933 = 0. Does 24 divide q?
True
Let n(w) = 13*w**2 + 24*w - 49. Let q(c) = 3*c**2 + 6*c - 12. Let r(h) = -2*n(h) + 9*q(h). Let p be r(-8). Is (-26)/(-3)*p/2 a multiple of 5?
False
Let i(a) = a**2 - 14*a - 29. Let t be i(16). Suppose t*b + b = 5*k + 84, -4*k = 16. Is 2 a factor of b?
True
Suppose 202*h - 217*h = -5880. Is h a multiple of 14?
True
Let c = -47 - -50. Suppose 155 = 5*f + l, -c*f + 4*l + 101 = -15. Is 16 a factor of f?
True
Suppose 0*q + 3 = 2*q + 5*t, -4*t - 16 = -3*q. Let g = -1 + 12. Let p = g + q. Is 13 a factor of p?
False
Let z(y) = 3*y + 4*y - y - 2 - 5*y. Let p be z(6). Suppose 0 = -4*w - 4*n + 68, -3*w + 52 = p*n + 5. Does 7 divide w?
True
Let o(z) = -3*z + 7. Let q(g) = 3 + 1 - 2*g - 4 + 4. Let r(m) = 4*o(m) - 9*q(m). Does 11 divide r(4)?
False
Suppose 110 = 4*o - 5*b - 848, 2*o - b = 482. Suppose -19*p + 2*p + 85 = 0. Suppose 47 = s + g - 0*g, 2*g + o = p*s. Is s a multiple of 20?
False
Let n be (0/5 - -1)*45. Is (-1)/18*-6*n a multiple of 2?
False
Let n(q) = q**2 - 13*q - 16. Let a(x) be the first derivative of x**3/3 - 6*x**2 - 15*x + 1. Let w(l) = -5*a(l) + 4*n(l). Is w(8) even?
False
Let q(b) be the first derivative of 3*b**2 - 15*b - 1/4*b**4 + 1 + 8/3*b**3. Is q(7) a multiple of 31?
False
Suppose -5*k + 5 = 0, 4*d + 809 = 6*d - k. Does 5 divide d?
True
Let r(c) = c**3 - 8*c**2 + 9*c - 10. Let b be r(7). Suppose b*m = 2*x - 4 - 2, 4*m + 26 = -2*x. Is 19 a factor of 42/m*(-180)/35?
False
Let y(u) = -u**2 + 5*u + 2. Let s be y(4). Suppose s*x = x + 280. Suppose -o - x = -3*o. Is o a multiple of 14?
True
Let b = 242 - 173. Does 32 divide b?
False
Let a = 1 - -2. Suppose 7 - 13 = a*j. Is -29*j/(-2)*-1 a multiple of 15?
False
Let n(b) be the third derivative of -5*b**2 + 2/3*b**3 + 0 - 1/60*b**5 + 7/24*b**4 + 0*b. Does 7 divide n(5)?
True
Let y(l) = 13*l + 4. Let m be y(6). Let z = 118 - m. Suppose c - 4 = i - 37, 4*c = i - z. Is 8 a factor of i?
True
Suppose -167*h - 25 = -168*h. Is h even?
False
Suppose -3*q + 3*b + 474 = 0, 0*q + 4*b = -5*q + 754. Is q a multiple of 10?
False
Let s(z) = -96*z - 56. Is 3 a factor of s(-3)?
False
Let k = 3250 + 380. Is k a multiple of 33?
True
Suppose 5*c - 39 = -x, -3*c - 2*c = -x + 9. Let y be -25*(x/15)/4. Let p(n) = -2*n - 4. Is p(y) a multiple of 5?
False
Let t = -127 - -432. Does 13 divide t?
False
Let y = 32 - 26. Suppose 3*r = y, 2*g = -4*r - r + 16. Is g even?
False
Let z = -3 - -6. Is 14 a factor of 172 + (-6)/z + -2?
True
Suppose -f = 5*c + 27, 15 = 2*f - 7*f - c. Let b be f - (-84 - 2)/2. Suppose 0 = -2*w + 15 + b. Is 14 a factor of w?
True
Let f = 7 - 6. Let r be (-30)/20*(f - 29). Suppose 0 = -a + 5*v + 34, -5*a = -2*a - 3*v - r. Is a a multiple of 9?
True
Let i(t) = -5*t + 300. Does 4 divide i(-30)?
False
Suppose 1417 + 3429 = 5*r - o, 5*o = 2*r - 1920. Does 97 divide r?
True
Let i(q) = q**3 + 15. Let r be 3 + 6*(-4)/(-8). Suppose r*m = m. Is 5 a factor of i(m)?
True
Suppose 12*v - 195 = 441. Is v a multiple of 4?
False
Suppose 0*f + 336 = f. Is 59 a factor of f?
False
Suppose -2*b - 5*o = -0*b - 99, -4*b + o = -165. Suppose -4*m - 4*p + b + 78 = 0, 134 = 4*m - 3*p. Is m a multiple of 3?
False
Let n = -11 - -12. Does 22 divide (-40)/(-2)*(n - -3)?
False
Let r be 28/(1 - (-3)/(-6)). Suppose 3*v = 37 + r. Is 7 a factor of v?
False
Suppose -2*q + 224 = -800. Does 18 divide q?
False
Let n(f) = f**3 - 12*f**2 - 13*f - 1. Let b be 420/(-150)*-1*5. Does 11 divide n(b)?
True
Suppose 0 = 2*q + 24 - 80. Let x = q - -7. Is x a multiple of 7?
True
Suppose 4*p - 98 = 6*p. Let c = p + 67. Is 6 a factor of c?
True
Suppose 0 = 4*y, 2*t = -5*y - 133 + 1169. Is 37 a factor of t?
True
Let q = 173 - 166. Suppose 21*g - 308 = q*g. Is g a multiple of 22?
True
Let y(o) = o**2 - 4*o + 9. Let c be y(6). Let i be 6/c + 38/14. Suppose -7*g + i*g + 92 = 0. Is 15 a factor of g?
False
Let m be 8/10*(-10)/(-4). Suppose 60 = 3*d - u, u - 41 = -2*d + m*u. Is d a multiple of 3?
False
Suppose r = 2828 - 20253. Does 17 divide ((-8)/14 - 0) + r/(-175)?
False
Let w be (77/28)/(26/8 + -3). Suppose 0*z = -w*z + 2233. Is z a multiple of 16?
False
Suppose 0 = -2*s - s. Suppose s = 13*n - 11*n - 104. Does 11 divide n?
False
Suppose -437 = -2*m - 3*t, 2*m + 18*t - 439 = 13*t. Is 31 a factor of m?
True
Let s = 13 - 9. Let m(i) = 0*i**2 + 3 - s - i**2 + 5 + 7*i. Is m(7) a multiple of 2?
True
Let x = 253 - 20. Suppose -11*d + 53 + x = 0. Is d a multiple of 13?
True
Suppose 0 = 21*b - 16*b - 1625. Is 14 a factor of b?
False
Suppose 191 + 126 = 2*u - 5*n, -5*u = 5*n - 775. Suppose 5*c = -4*a + 552 + 102, 0 = a + 5*c - u. Is 18 a factor of a?
False
Let h(z) = -2*z**3 - 2*z. Suppose -4*m + 7*m + 9 = 0. Is 15 a factor of h(m)?
True
Let o(s) = 2*s**2 - 9*s - 1. Let i be o(-7). Suppose 2*c = -2*c + i. Suppose 0 = -q + 11 + c. Is 11 a factor of q?
False
Suppose -15*y - 9921 = -28641. Is y a multiple of 16?
True
Let g be ((-33)/9)/(1/9). Let d = 68 + g. Is 10 a factor of d?
False
Let a = -1274 - -1796. Is a a multiple of 18?
True
Suppose 4*l + 480 = -12*l. Let x = -1 + 4. Is (-2)/1 - l/x even?
True
Is 11 a factor of 20/(-14) + (-54)/(-126) + 122?
True
Let f(k) = -k**3 - 4*k + 280. Let d = 104 + -104. Is f(d) a multiple of 17?
False
Let p = 379 + -161. Is 22 a factor of p?
False
Suppose 60 = 7*s - 2*s. Suppose -3*f + 6*f = s, -2*z - 4*f + 202 = 0. Is z a multiple of 31?
True
Suppose -13*c = -61 - 4. Is 5 a factor of c?
True
Let u be -1 + 7 + -6 + 3. Let v = -21 - u. Let q = 42 + v. Is q a multiple of 7?
False
Let y(g) = 12*g**2 + 17*g + 68. Let j be y(-8). Suppose j = 5*x + 5*x. Is 5 a factor of x?
True
Let m(p) = -p**3 - 12*p**2 - 17*p - 16. Let g be m(-13). Suppose -g - 655 = -7*i. Is 31 a factor of i?
False
Suppose -3*v = -108 + 12. Let b be v*(-2 - (2 - 3)). Let s = b + 65. Does 11 divide s?
True
Suppose 89 = q - 44. Does 3 divide q?
False
Let i = 8 + -6. Let o(k) = -k**2 - 13*k - 15. Let t be o(-12). Is (i/t)/((-6)/99) a multiple of 3?
False
Suppose -7*f + 375 = -1487. Is 24 a factor of f?
False
Let m(i) = -i**2 - 7*i - 4. Let h be m(-7). Let x(l) = -l**3 - 4*l**2 + 4. Let d be x(h). Suppose -3*a = -5*o - d*a + 238, -4 = 2*a. Does 10 divide o?
False
Let c = -486 - -322. Let z = c + 235. Is z a multiple of 39?
False
Let d = -33 - -35. Is d/(-1) - (2 + (-14 - -3)) a multiple of 2?
False
Is 51786/24 - 1/4*-1 a multiple of 9?
False
Suppose 4*i - 2*i = -2*m + 10, -2*m + 3*i - 15 = 0. Let n be ((-9)/(-6) + m)*26. Let a = n - 11. Is 14 a factor of a?
True
Suppose 2*m + 6*k = 3*k + 1765, -2*m + 1764 = 4*k. Is 34 a factor of m?
True
Suppose 0 = k - 0*k - 42