e q?
True
Let k(z) = 4*z + 119. Is 11 a factor of k(-27)?
True
Let n = 50 - -25. Does 25 divide n?
True
Suppose 12 + 34 = 2*x. Does 7 divide x?
False
Suppose 2*q - 8 = 0, 2*u - q = u + 113. Suppose 5*v - f - 19 = 146, u = 3*v + 3*f. Is v a multiple of 7?
False
Let k be -7 + -33*6/(-18). Suppose -5*i - 12 = -112. Suppose i = 2*v - 2*n, 3*v = v - k*n + 14. Is v a multiple of 2?
False
Suppose 150 = -4*r + 50. Let l be 1/(0 + 3 - 4) + 11. Is 64/10 + l/r even?
True
Let a = 255 - 201. Is a a multiple of 27?
True
Let w(x) = 6*x + 39. Let f be w(-6). Suppose 136 = u + f*u. Is u a multiple of 3?
False
Is 4/(-16)*-8*(-7971)/(-6) a multiple of 125?
False
Suppose -4*z - 16 = -20. Let s be 9/(z - 4) + 3. Suppose 4*f + s*m - 153 = -5*m, -2*f = -3*m - 93. Is f a multiple of 17?
False
Suppose 5*u = k - 11, 3*u = 2*k + u - 14. Suppose -f + 3*y = -79, -5*f + k*y + 362 = 2*y. Is f a multiple of 24?
False
Suppose 0 = -4*l - 2 + 186. Let k = l - 27. Suppose -u + 22 = -k. Is u a multiple of 41?
True
Let y be (1/(-2))/((-13)/(-26)). Let v(r) = 357*r**2 + 2*r + 2. Let w be v(y). Is 17 a factor of (-10)/3*w/(-14)?
True
Suppose 5*l - 3 + 1 = -4*s, -6 = -4*l - s. Suppose 2*g - 30 = -k, -2*k + 124 = l*k + 4*g. Is k a multiple of 5?
False
Let q(f) = 4*f + 16. Let b be q(-7). Let g = 16 + b. Suppose -g*a + a = -84. Does 8 divide a?
False
Is 28 a factor of (-64)/6*(-3150)/60?
True
Let y be (-24)/15 + (-4)/10. Is 28/(-42)*69/y a multiple of 10?
False
Let g = -116 - -543. Is g a multiple of 26?
False
Let q = 2892 + -1192. Does 85 divide q?
True
Let h = -7 + 5. Let v be 2/(-4)*(h - 2). Suppose -4*c + c + 84 = 3*i, v*i - 6 = 0. Does 7 divide c?
False
Let a = 18 + -14. Suppose -a*j + 10 = -2*j. Suppose 0 = -2*u + j*k - 2, u - 5*k = 6*u - 65. Does 9 divide u?
True
Suppose -7*d = -9*d. Suppose k = -d*k. Suppose 0 = u - k*u - 20. Is 10 a factor of u?
True
Let r(c) = -6*c + 5. Let k be r(-6). Suppose -5*q - m = 43, -4*q + 9*q = -2*m - k. Does 8 divide 2/(1 + 7/q)?
False
Let t be ((-3)/5 - -1)/((-6)/(-60)). Suppose p - 121 = g, -2*g - 496 = -t*p - g. Is p a multiple of 36?
False
Let y(k) = -k + 35. Let t(w) = 2*w - 34. Let u(m) = -4*t(m) - 5*y(m). Does 2 divide u(-16)?
False
Suppose 0 = 2*y - 4. Suppose -3*a - y*v + 0*v + 97 = 0, -5*v = 5. Is a a multiple of 11?
True
Suppose 2*p + 4*g + 142 = 0, -p - 5*g - 34 = 46. Let u be (3 - 1)/((-13)/p). Suppose 285 = 4*x - m, u*x - 5*x = 2*m + 354. Is 24 a factor of x?
True
Let w(q) = -13*q + 6. Let p(t) = -1. Let n(z) = 5*p(z) + w(z). Let y be n(-1). Is 22 a factor of 63/y*152/6?
False
Let i(j) = -j**3 + j**2 + 5*j + 3. Let k be i(3). Suppose 342 = 2*g + 4*z, -g + z - 33 + 204 = k. Is g a multiple of 51?
False
Suppose 1548 = 2*o - 2*x, 11*o - 8*o + 4*x = 2287. Does 53 divide o?
False
Let f(q) = -2*q + 4. Let g be f(3). Let x = g - 0. Is -4 - -3*(33 - x) a multiple of 19?
False
Let s be 5 + 0 + 2 + -2. Suppose -s*b + 7 = -213. Does 9 divide b?
False
Suppose 0 = 3*d - 7*d + 12. Let k(p) = -2*p**2 + 5 + d*p**2 - 8*p + 4*p - 7*p. Is k(11) even?
False
Let r(j) = j**2 - j - 1. Let w(b) = -b**2 + 9*b - 4. Let z(c) = 2*r(c) + w(c). Is z(-9) a multiple of 12?
True
Let y = -211 - -1573. Is 6 a factor of y?
True
Suppose 0*k = 2*k - 6. Let t(h) = -h**2 + 7*h - 4. Let r be t(6). Suppose -5*o - k*d = -185, o - r*d - 36 + 12 = 0. Is o a multiple of 17?
True
Suppose 3*j + 2*h - 6 = 2, -4*h + 16 = -5*j. Suppose -3*a + 518 = 4*u, 2*a + j*a + 2*u = 346. Let n = a - 114. Does 20 divide n?
True
Suppose 4*u = 0, -5*c + 7*u = 6*u - 8190. Is c a multiple of 18?
True
Suppose 0*y - 20 = -3*u + y, 0 = -3*u - y + 16. Suppose -1 = k - u. Suppose 0 = 2*v - k*v + 48. Does 4 divide v?
True
Suppose -p - 3 + 4 = 0. Is (-3735)/(-12) + (p - (-25)/(-20)) a multiple of 55?
False
Let z = 93212 + -159872. Does 34 divide 2/13 + z/(-195)?
False
Let t(k) = -2*k - 22. Let n be t(-12). Suppose -2*h + g + 10 = 3*h, n*g = 5*h - 10. Is 23 a factor of h + (-2 + 7)*18?
True
Let h(w) = w**2 + 26*w + 36. Let k be h(-26). Suppose -k = -26*d + 23*d. Is d even?
True
Suppose -9711 = -42*f - 75*f. Is f a multiple of 75?
False
Let t = 792 + -395. Is t a multiple of 32?
False
Is 20 a factor of 24644/8 - (-20)/(-40)?
True
Suppose -2*f + 5*f - a + 31 = 0, 0 = -4*f - 3*a - 50. Is 24 a factor of 20 - (3 + 4 + f)?
True
Suppose -450 = -3*j - 0*j. Suppose -4*y + j = y. Is 18 a factor of y?
False
Let y(o) = -70*o + 7. Let v(c) = -35*c + 4. Let i(g) = 5*v(g) - 3*y(g). Let n be i(1). Let w = n + -8. Is 6 a factor of w?
False
Let v be 656/80 + (-2)/10. Suppose v*a = 3*a + 70. Is a a multiple of 14?
True
Is 10 a factor of (279 + -21)*((-10)/(-6) + 0)?
True
Let z(l) = l**3 + 17*l**2 - 2*l - 4. Let q be z(-17). Suppose 6 - q = -4*m. Let x(y) = -y**3 + 8*y**2 - 4*y + 4. Does 13 divide x(m)?
True
Suppose -10*p + 1515 = -13*p. Let h = -346 - p. Does 42 divide h?
False
Suppose -3*i = -i + 20. Is i/2*(28 - 35) a multiple of 17?
False
Let t(p) = p**2 + 9*p + 5. Let w be t(-9). Suppose -86 = -w*c + 199. Let a = c + -18. Does 27 divide a?
False
Let y be (1 + -3)/((8 + -4)/(-8)). Suppose -2*n + 44 = 3*j, 0*n - y*j = n - 17. Is n a multiple of 6?
False
Is 7 a factor of ((-168)/(-8))/(2/6)?
True
Let g be -2 + 4 + (376 - -4). Suppose -314 = -6*a + g. Does 26 divide a?
False
Let o = 8802 + -6159. Is o a multiple of 76?
False
Let p(m) = -31*m**2 + 5. Let t(s) = -62*s**2 + 9. Let g(o) = 11*p(o) - 6*t(o). Is 16 a factor of g(1)?
True
Let z be (-83)/(-3) - (-7)/21. Suppose 0 = 5*l - z + 8. Does 25 divide l/10 - 1374/(-15)?
False
Suppose -4*w + 2*w + 5*b + 194 = 0, w = 4*b + 103. Suppose 0*g + 2*g - 32 = -2*y, -4 = -4*y. Suppose -w = -3*d - g. Does 8 divide d?
True
Let a(z) = 16*z**2 + 13*z + 12. Is a(-6) a multiple of 30?
True
Is 796/20*(3 + 2) + 4 a multiple of 8?
False
Let s be (-2068)/(-33) + 4/(-6). Suppose s = -5*q + 2*m, q + 5*m = -2*q - 62. Let y = -5 - q. Is y a multiple of 7?
False
Let f = 91 + -108. Let z(g) = 3*g**2 + 40*g - 9. Does 17 divide z(f)?
False
Suppose -2*b - 2 + 10 = 0. Suppose -6*x = -5*x - b. Does 2 divide x?
True
Let m(d) = 3*d**2 - 2*d - 2. Let t be m(-1). Let i(n) = 17*n**2 + 3. Does 13 divide i(t)?
True
Let j(x) = -x**3 + 8*x**2 - 9*x + 2. Let c = 3 + -4. Let b be -1*(7/c + 1). Does 12 divide j(b)?
False
Let j(a) = -a + 8. Let q be j(4). Suppose -f = -q*f + 45. Is f a multiple of 5?
True
Let o(h) = -89*h**3 + h**2 + 3*h + 2. Let k = 26 + -27. Is o(k) a multiple of 18?
False
Let d(u) = 15*u**2 + 17*u + 6. Is 6 a factor of d(9)?
True
Let x(z) = z**3 - z - 1. Let j be x(2). Suppose 2*d - j*o + 1 + 2 = 0, 4*o - 5 = -d. Is 3 - d/((-4)/160) a multiple of 15?
False
Let k(p) = 3*p**3 - 9*p**2 + 4. Let t(q) = 4*q**3 - 8*q**2 - q + 3. Let j(i) = -3*k(i) + 2*t(i). Let w be j(10). Suppose -w - 38 = -4*c. Is 20 a factor of c?
False
Suppose 4*g + 4*a = 12752, -5*g - 6378 = -7*g - a. Does 11 divide g?
True
Suppose 0*a - 5*a = -30. Suppose -a + 0 = -2*k. Is 4 a factor of 6*k - (-5 + 4)?
False
Let v = 31 + -27. Suppose -4*l = v*u - 628, -3*l + 235 = -u - 216. Is l a multiple of 38?
True
Let t be -5 + 8 - 18/1. Let b be (6/t)/(1/(-180)). Suppose 5*l = 7*l - b. Does 36 divide l?
True
Let l(a) = a**2 - 16*a - 14. Is 7 a factor of l(19)?
False
Let r(g) = -g**3 + 6*g**2 + 28*g - 98. Is 29 a factor of r(6)?
False
Let c = 85 + 7. Suppose 0 = -3*r - 0*x + 4*x + 71, 4*x + c = 4*r. Does 3 divide r?
True
Suppose 5*q - 197 = 4*x, 5*q - 207 = -4*x + 3*x. Suppose -2*g + 296 = 5*p, -2*g = -3*p + q + 127. Is p a multiple of 29?
True
Let x = 972 - 85. Is 35 a factor of x?
False
Is 22 a factor of 4 - (2/(-14) + (-33306)/98)?
False
Suppose -3*p - 8 = 22. Let v = p - 8. Does 30 divide (-1737)/v + (-2)/(-4)?
False
Let v(f) = 3*f**2 + 0*f**2 + 2 + 6*f**2. Let g be v(3). Suppose g = r - 5*a, -5*r - 3*a + 41 = -262. Is r a multiple of 19?
False
Let i(u) = u**3 + 18*u**2 + 32*u - 41. Is 11 a factor of i(-15)?
True
Suppose 8*w - 141 = 5891. Does 29 divide w?
True
Suppose 12*a - 9*a = -3. Let z(r) be the third derivative of -25*r**4/8 + 4*r**2. Is 27 a factor of z(a)?
False
Let o(p) = p**2 + 3*p - 7. Let b be o(-5). Suppose -b*n - 2 = -131. Suppose n = 5*j - 172. Is j a multiple of 21?
False
Let b be 2 - 2*9/(-6). Suppose -4*a + 52 = 3*k, 85 - 210 = -b*k + a. Is 5 a factor of k?
False
Let z(l) = 25*l - 19. Let x(g) = -12*g + 10. Let p(q) = -7