e
Let g = -7 + 28. Let a = 63 + g. Is 14 a factor of a?
True
Let b = -1259 + 4079. Is b a multiple of 141?
True
Let f be (5/10)/(3/(-6)). Does 30 divide 8/(-8)*(f + -29)?
True
Let v be ((-4)/(-9))/((-7)/(-63)). Suppose -v = -d + 19. Is 9 a factor of d?
False
Let v(m) = -m + 23. Let i(b) = b - 1. Let l(f) = 6*i(f) + v(f). Let a be l(-12). Let r = -24 - a. Is 18 a factor of r?
False
Let g(o) = 30*o + 168. Is g(18) a multiple of 59?
True
Let i be (3/4)/(2/960). Suppose 200 = 8*d - i. Is d a multiple of 12?
False
Let c(o) = o**3 - o**2 + 2*o - 103. Let v(f) = 3*f**3 - 4*f**2 + 7*f - 308. Let z(j) = -7*c(j) + 2*v(j). Does 19 divide z(0)?
False
Let q be 6/9 - 231/9. Let w be (-5)/(-2)*(-20)/q. Suppose 0 = 4*l + 5*j - 345, l - j - 273 = -w*l. Is l a multiple of 18?
True
Suppose -5*i - 6 = -8*i. Suppose 9 = i*j - 5. Is 9 a factor of (-287)/(-8) + j/56?
True
Suppose -5*t + 0*t + 100 = 0. Suppose t = 3*x + x. Is 5 a factor of x?
True
Let r = 226 - -104. Is 66 a factor of r?
True
Let z = -216 - -291. Does 9 divide z?
False
Suppose 25*y - 26*y + 2245 = k, 0 = -2*y + 2*k + 4482. Is 26 a factor of y?
False
Suppose 4*f - 3*g = 1786, -5 = 3*g - 11. Suppose 4*c - f = 5*l, 147 = 2*c + 4*l - 77. Does 16 divide c?
True
Suppose 2*z + 115 = 27. Let d = z + 80. Is 10 a factor of d?
False
Let s = -209 + 461. Suppose -37*x + s = -30*x. Is x a multiple of 12?
True
Suppose 5 + 5 = 2*x. Suppose 3*g - x = 1. Suppose 3*c + g = 50. Is 4 a factor of c?
True
Suppose 5*u - 9634 = 3*c, -3*c + 8*c = -5*u + 9610. Is u a multiple of 64?
False
Suppose 3*f - 3 = 0, 0 = 6*n - 3*n + f - 205. Is n a multiple of 19?
False
Suppose 6*u - 24 = 3*u. Suppose u = s - 2*o, -4*s - 2*o - 4 = -o. Suppose -3*j + m + 115 = -0*j, -5*j + 5*m + 175 = s. Does 20 divide j?
True
Suppose 20*g - 3*k = 19*g + 490, -5*g + k + 2380 = 0. Is g a multiple of 95?
True
Let z(j) = -5*j - 7*j - 1 + 15*j - 9. Let x be z(5). Does 3 divide (-18)/x*(-15)/6?
True
Let t = 88 + -35. Suppose -m = m - g - t, 0 = 3*m + 2*g - 97. Is 20 a factor of m?
False
Suppose 0 = -15*c + 72 + 3. Let w = c - -7. Does 2 divide w?
True
Let n be 12/16 + (-147)/4. Let v be 1/4 - (-9)/n. Suppose v*h = 2*h - 66. Is h a multiple of 13?
False
Is 9 a factor of (-28356)/(-75) - (-8)/(-100)?
True
Suppose 24 - 9 = 3*k. Suppose 3*v + s - 37 = -2*v, 0 = 2*v + k*s - 1. Is 32 a factor of 30 + (v/2)/2?
True
Suppose 3*a - 2 = -11, 2*a = -p - 4. Suppose 6*s + c = s + 994, -p*c + 8 = 0. Is 18 a factor of s?
True
Let s = -7 + 21. Suppose -3*x - 5 = w, -s = -5*w - 3*x + x. Suppose -35 = -w*t + 85. Is t a multiple of 11?
False
Suppose -2*s = -3*y - 83 + 396, -s + 3*y - 155 = 0. Let f = s - -238. Does 16 divide f?
True
Let q(x) = 4*x - 21. Let w be q(6). Let v(s) = s**3 - 2*s**2 - s - 3. Let i be v(w). Suppose 93 = 6*d - i*d. Is 31 a factor of d?
True
Let j(q) = -q**3 - q + 125. Let g = -21 + 21. Does 33 divide j(g)?
False
Let v be ((-36)/(-63))/(2/14). Suppose 4 = 5*o - 4*s, -4*o - s + 36 = v*s. Suppose 4*u - 2*u - 59 = -3*h, 3*h - 67 = -o*u. Is h a multiple of 4?
False
Suppose 4*b + 74 = -3*w + 591, -502 = -4*b + 2*w. Let i = b + -75. Does 13 divide i?
True
Let w(n) be the second derivative of 3*n**3/2 + 9*n**2/2 + 2*n. Is 9 a factor of w(5)?
True
Let g(j) = 7*j**3 - 3*j + 7. Is 19 a factor of g(6)?
True
Let v(f) = -32*f + 9. Let g be v(-4). Let n = -73 + g. Is n a multiple of 35?
False
Let y be (1 + 45/10)*2. Let t = 30 - y. Does 6 divide t?
False
Let s = -13 - -18. Suppose 254 = 4*b - s*l - 47, -5*l + 320 = 5*b. Is 23 a factor of b?
True
Suppose 0 = 3*d + a + 7, -4*d = 8*a - 4*a + 12. Let m(s) = s**2 + 3*s + 6. Let k be m(-5). Is (-5 - d)/(-6)*k even?
True
Let o(b) = b**2 - 3*b - 5. Let u be o(-2). Let f = 3 - 1. Suppose u*l + 110 = 5*i, 4*i + f*l = l + 68. Is 5 a factor of i?
False
Let k be (-3)/3 + 3 + -2. Suppose k = -4*d + n + 168, -3*d - 5*n = -4*d + 42. Is d a multiple of 6?
True
Suppose 460 + 3212 = 18*h. Is h a multiple of 9?
False
Suppose 0 = 3*x + k - 762, x + 3*k + 519 = 3*x. Is 5 a factor of x?
True
Suppose 875 = 136*z - 131*z. Is 25 a factor of z?
True
Let l(f) = -6*f + 17. Let d be l(8). Let k = -11 - d. Is 10 a factor of k?
True
Let f(x) = -x**3 - 18*x**2 - 21*x + 1. Is f(-17) a multiple of 23?
True
Let w be 8/(-5)*(-330)/12. Suppose -1106 = -9*s - 314. Let a = s - w. Does 22 divide a?
True
Suppose -5*r - 31 - 14 = 0. Let n = r + 18. Suppose -2*p - n = -19. Is 5 a factor of p?
True
Suppose 233 + 1927 = 8*d. Is 15 a factor of d?
True
Suppose 3*r - 3 - 54 = 0. Suppose 4*v = -4*j + 132, -4*v = j - 58 + r. Is j a multiple of 9?
False
Let x(l) = -l**3 - l**2 - 2*l + 583. Is 11 a factor of x(0)?
True
Let z = 24 + -52. Let v = z - -32. Suppose -2*d - v*j + 134 = -2, 2*j = 0. Does 17 divide d?
True
Let b be ((-9)/(-15))/(1/110). Suppose -2*i - 12 = -b. Does 9 divide i?
True
Suppose 2*o + 212 = z, -o + 136 = z - 67. Suppose z = h - 5*s, -5*h = -2*s - 3*s - 1090. Is h a multiple of 16?
False
Is 165*-5*(3 - (-3 - -7)) a multiple of 33?
True
Let r = 14 + -12. Suppose 2*c + r = -6. Does 9 divide (-4)/(c/(-3)) + 31?
False
Let s(z) = z**3 + z + 6. Let y be s(-2). Let a = -1 + 14. Does 8 divide a - (4/y)/1?
False
Let b(s) = 33*s + 551. Is b(-7) a multiple of 26?
False
Let h be 6 - (3 - (5 + -2)). Suppose 0 = -h*y + y + 220. Suppose 5*f - y = 3*o + 71, 5*f = o + 105. Does 8 divide f?
False
Let k(w) = -w**3 + 25*w**2 - 30*w + 32. Does 20 divide k(23)?
True
Does 2 divide 7/(((-2)/11)/(-2))?
False
Let p = 6 + -10. Let h = p + 6. Suppose 3*r = -2*z + 23, -2*z + 48 = -0*r - h*r. Does 7 divide z?
False
Suppose -328 = -6*u + 956. Does 9 divide u?
False
Let q = 2 + 3. Suppose 2 + 28 = q*u. Does 7 divide u*1*(-4)/(-2)?
False
Suppose 2*l = l + 4, 2*s + 5*l - 148 = 0. Is 43 a factor of s?
False
Suppose 16*v - 39573 - 10603 = 0. Is 38 a factor of v?
False
Let l(r) = 3*r**2 + 2*r**2 + 4*r + 2 - 3 + 3. Let f be 13/(-3) - 3/(-9). Is 17 a factor of l(f)?
False
Suppose -2*b + 2*t = -312, -3*b + 6*b - 444 = -3*t. Suppose -b - 64 = -3*d. Is d a multiple of 12?
True
Let w(z) = -2*z**2 + z - 1. Let v be w(1). Does 8 divide (-19)/v + -1 + (-2)/4?
True
Suppose -90*q - 7785 = -99*q. Is q a multiple of 15?
False
Suppose h + n + 85 = 2*h, 5 = n. Suppose 0 = -4*d + 3*o + h, -5*d - 2*o + 49 = -52. Does 3 divide d?
True
Let j be 9/(-12) - (-60)/16. Suppose -n + 230 = -4*z, z = n + j*z - 200. Does 11 divide n?
False
Suppose -56 = 922*q - 926*q. Is q a multiple of 2?
True
Let w = -4622 + 6554. Does 14 divide w?
True
Suppose 3*j + 3*j = 42. Is (-8538)/(-30) - (j/(-5) - -2) a multiple of 35?
False
Suppose -1 = w, 0 = -4*d - 4*w - w + 15. Suppose d*z - 4*z - 5 = 0. Does 2 divide 7/z - (-9)/15?
True
Let t(u) = u**2 - 11*u + 14. Let x be t(10). Suppose m - 21 = -x*j - 7, -j - 7 = -5*m. Suppose j*f - 52 = 110. Is f a multiple of 9?
True
Let f(t) = t**3 - 5*t**2 + 5*t + 7. Suppose 3 - 33 = -6*r. Does 9 divide f(r)?
False
Suppose 0 = 2*p + n + 61, -n - 121 = 4*p - 0*n. Let w = 57 - p. Is w a multiple of 31?
False
Suppose -2*w - 34986 = -44*w. Does 17 divide w?
True
Suppose -x - 15 = -6*x. Let i = -197 - -201. Let o = i + x. Does 7 divide o?
True
Let b(k) = -k**2 + 10*k - 5. Let v be b(9). Suppose -3*t - 28 = -4*x + 13, -3*x - v*t = -37. Does 3 divide x?
False
Let x = 264 + -229. Does 35 divide x?
True
Let y(x) = 6*x**2 + x - 129. Is 67 a factor of y(-15)?
True
Suppose 3*x = k + 76, -2*x + 51 = k - 2*k. Suppose -x + 19 = -z. Is z a multiple of 3?
True
Let f = 2743 + -1938. Does 13 divide f?
False
Suppose -10*r = 5*r - 3225. Does 43 divide r?
True
Let g be (187 - (-3 + 5)) + 16/8. Let q = -159 - -291. Let y = g - q. Is y a multiple of 11?
True
Suppose 5*g = -5*b + 1500, -2*b - 3*g - g = -594. Suppose 4*t + 79 - b = 0. Does 14 divide t?
True
Let r(b) = b**2 + 8*b + 15. Let h be r(-4). Is 230/4 + (-1)/2*h a multiple of 56?
False
Suppose 5*y = -10*y + 14220. Does 33 divide y?
False
Suppose -k + 106 + 98 = -5*o, -2*o = -3*k + 625. Suppose 2*l - 267 = k. Does 34 divide l?
True
Suppose -3*w = a - 69, w - 3*w - 94 = -a. Let q = a - 44. Is q a multiple of 14?
False
Let z(f) = -1320*f - 20. Is z(-1) a multiple of 76?
False
Let r(g) = -g**3 + 3*g**2 - 2*g + 2. Let d be r(2). Is 8 a factor of 62 + -2 + (-4)/(d - 3)?
True
Let v(a) = a**2 + 8*a + 2. Let t be v(-8). Suppose 5 = o + 2*h - h, t*o - h - 13 = 0. I