e
Let a = 157 - -38. Is a a multiple of 5?
True
Suppose -3*h - 692 = -7*h. Let v = h - -238. Does 9 divide v/24 + 1/(-8)?
False
Let q be ((-25)/15)/(10/(-18)). Suppose 2*x - x = 3*i + 26, -x - q*i = -44. Does 4 divide x?
False
Suppose 15 = o + 2*o. Suppose o*d + 8 = 7*d. Suppose -d*y - 2 = 6, 3*f = -5*y + 149. Is f a multiple of 15?
False
Suppose -202 = -9*x - 49. Suppose -4*y - 182 = -x*y. Is y even?
True
Is (-4)/34 + 168112/1292 a multiple of 13?
True
Let y(m) = -m + 21. Let l be -3 - -2*5 - -4. Is y(l) a multiple of 3?
False
Let m be 9/(-5)*40/(-12). Suppose 0*l = -l + m. Does 10 divide ((-621)/36)/(l/(-16))?
False
Let p = -46 - -51. Let o(h) = -11*h**2 - 3*h - 2. Let u be o(3). Is (-8)/p*u/11 a multiple of 8?
True
Let u(i) = -i**3 + 3*i**2 + 13. Let z be u(4). Is z/(-2)*64/6 a multiple of 16?
True
Let p = 5 + -1. Let g = 2 + -2. Suppose g = y - 23 - p. Is y a multiple of 9?
True
Suppose 8*x = 2*q + 12*x - 5268, 0 = 3*x - 3. Is q a multiple of 94?
True
Suppose -7*f + 1 = -8*f. Suppose 0*g + 4*g = 12. Is 3 a factor of (3 - g)/f - -11?
False
Let z = 204 + -121. Does 24 divide z?
False
Let u(y) = y**2 + 8*y + 9. Let k be u(-7). Suppose k*i = 5*x + 22, -3*i - 2*x + 3 = -11. Is i a multiple of 6?
True
Let a(l) = 3*l**3 + 2*l**2 - 3*l - 2. Let s(v) = v**3 - 5*v**2 - 6*v + 2. Let w be s(6). Does 4 divide a(w)?
True
Let j(t) = -28 - 13*t - 26 + 42. Does 32 divide j(-9)?
False
Let r = 13 + -20. Let l = 8 - r. Does 24 divide (1/2)/(l/2160)?
True
Let p(o) = -229*o + 2. Let c be p(-1). Suppose -3*v - c = -3*i, -2*v = -i + 42 + 40. Does 13 divide i?
False
Let n be 2*(-15)/(-6) - -1. Suppose 108 - n = f. Is f a multiple of 34?
True
Let z be (-4)/14 + 135/7. Let y = z - 7. Suppose -32 = -q - y. Is 4 a factor of q?
True
Suppose -4*t - 2*b = -222, -t + 3*b + 2 = -36. Does 6 divide t?
False
Let w = 740 + -563. Is 3 a factor of w?
True
Suppose 19 = -3*v + 139. Let m = 21 + -30. Let g = v + m. Is g a multiple of 9?
False
Let d(y) = -y**2 - 15*y - 12. Let w be d(-14). Suppose -2*u - w*q - 68 = 0, 0*q = 5*u - 4*q + 179. Let t = u - -59. Does 12 divide t?
True
Let w be (-2)/5 + 864/10. Suppose -294 = -7*a + a. Let m = w - a. Does 15 divide m?
False
Suppose -2*t + 1074 = -3*x, -3*x - 3793 = -5*t - 1108. Is t a multiple of 48?
False
Does 8 divide 33/2*((-4 - -18) + 0)?
False
Let k = 19 - 18. Let g be (k + -1 - 2)/2. Is 4 a factor of (g - 9)*(-16)/40?
True
Let s(c) = c**2 - 11*c - 10. Let o be s(12). Suppose u + 9 = -4*u - 2*n, -o*u - 3*n - 8 = 0. Does 27 divide u/2 - 142/(-4)?
False
Suppose 91 + 94 = b. Is b a multiple of 14?
False
Suppose 0 = -158*y + 159*y - 1644. Is 16 a factor of y?
False
Let v = 54 - 15. Suppose -14 = -s + v. Does 12 divide s?
False
Let c(u) = -u**3 + 3*u**2 + 19*u + 6. Is c(-4) a multiple of 7?
True
Suppose 3*x + 10690 = -7*u + 12*u, -4*u + 5*x = -8565. Is 61 a factor of u?
True
Suppose 5*y = -40 - 35. Let c be (-4 - 1)*(-207)/y. Let a = c - -126. Is a a multiple of 19?
True
Suppose -9*q + 340 = 97. Is 5 a factor of q?
False
Let x = -23 - -80. Suppose -5*f = -4*r + 407, -5*f + 95 + 13 = r. Let s = r - x. Is 23 a factor of s?
True
Let u = 56 - 55. Does 8 divide 5 + u/((-4)/(-28))?
False
Let c = 46 - 76. Is -6*((-20)/(-30))/(8/c) a multiple of 3?
True
Let i(o) be the third derivative of -13*o**6/120 + o**5/15 - o**4/24 - o**3/3 - 15*o**2. Is i(-2) a multiple of 32?
False
Let z be (-1 - 9)/(13 + -15). Suppose 0 = z*o + 1025 - 3045. Let q = o + -280. Is q a multiple of 25?
False
Let d be -2 - (2 - -3) - -1. Let k be d*(-3)/((-27)/(-6)). Does 24 divide (-175 + k)*2/(-6)?
False
Let x = -2572 + 2740. Does 8 divide x?
True
Suppose 3*w = -w - 4*n, 0 = -4*w - n + 3. Does 12 divide (w - -58) + 1 + -2?
False
Let q = -7 + 21. Is (-2472)/(-28) + (-4)/q a multiple of 22?
True
Suppose k + 3*u - 9 = 0, -u + 80 - 21 = 5*k. Let q = k - 15. Does 14 divide 295/5 + (q - 0)?
True
Let h = 161 - 39. Does 24 divide h?
False
Let t = 1018 - -2674. Is 52 a factor of t?
True
Suppose 68*f - 66*f - 120 = 0. Does 6 divide f?
True
Let x(m) be the third derivative of m**6/60 - m**5/12 - m**4/6 + 2*m**3/3 - 29*m**2. Is 4 a factor of x(4)?
True
Suppose 15*a - 223 = 14*a. Let p = a + -119. Is p a multiple of 15?
False
Let d(p) = -p**3 + 4*p**2 - 4*p - 4. Let x be d(4). Is (-6)/(-15) - 692/x a multiple of 35?
True
Suppose 121*o = 120*o + 265. Suppose 2*x = 5*d + 5*x - 1415, 3*x = d - o. Is 31 a factor of d?
False
Let b(p) = -5 - 31 + 87*p - 10 - 63*p. Is 17 a factor of b(9)?
True
Let z(y) = -13*y + 7. Let b be z(-3). Let l be b/(-6)*(-7 + -2). Is l - (1 + 3/(-1)) a multiple of 12?
False
Let j = -5 + 10. Suppose y = 2*k - 2 + 16, -4*y = j*k - 30. Let s(a) = 2*a + 13. Is 11 a factor of s(y)?
True
Let s(z) = 73*z**2 + 75*z - 326. Is 49 a factor of s(5)?
False
Let r(t) = -2*t**3 + 5*t**2 - 14*t - 12. Let f(m) = m**3 - 5*m**2 + 13*m + 12. Let l(g) = 3*f(g) + 2*r(g). Is l(-7) a multiple of 6?
False
Does 13 divide ((-44)/(-55))/((-5548)/(-5540) - 1)?
False
Suppose 5 = 2*g + 21. Let q = g - -58. Is q a multiple of 22?
False
Let y = -2 + 11. Let s(j) = j**2 + 8*j - 6. Let x be s(0). Let g = x + y. Is 2 a factor of g?
False
Suppose -3*z + 2*r + 3550 = 0, 3*z - r + 6*r = 3515. Is 20 a factor of z?
True
Let n = 65 - 112. Let a = n - -71. Suppose 76 = 2*d + x, d + x - 14 = a. Is 19 a factor of d?
True
Let h be 4*(10/(-4) + 3). Suppose h*m = -5*v + 54 + 152, m - 3 = 0. Is 10 a factor of v?
True
Suppose 41*f = 4*f + 132756. Is 46 a factor of f?
True
Suppose 4*s = -2*s + 42. Suppose 5*d + 3*m - 30 = 0, 3*m - s*m = 20. Is 3 a factor of d?
True
Suppose 2*p = -2*p + 40. Suppose -b + p - 4 = 0. Is ((-87)/b)/(3/(-6)) a multiple of 19?
False
Let h(s) = 18*s + 18. Let c(y) = y. Let t(m) = 5*c(m) - h(m). Let j(a) = -14*a - 19. Let w(b) = 4*j(b) - 5*t(b). Is 17 a factor of w(6)?
True
Suppose -4*o + 0*b + 3*b = -258, -4*o + 4*b = -256. Does 28 divide (6/5*-7)/(o/(-880))?
True
Suppose -464 - 24 = -4*w + 4*b, -2*w + 239 = 3*b. Suppose 4*x = -59 + 291. Let l = w - x. Does 20 divide l?
False
Suppose -20 = -q + 7. Let y(u) = u**3 - 6*u**2 - 4*u - 18. Let w be y(7). Let g = q - w. Is 5 a factor of g?
False
Let w = 27 + -76. Let h = 99 + w. Let z = 143 - h. Is 31 a factor of z?
True
Let p = 9 - 24. Let x be ((-6)/p)/((-1)/(-5)). Suppose -x*u + 1 = -29. Does 5 divide u?
True
Suppose 10 = n + 6. Suppose -n*f + 2*f + 44 = 0. Is 4 a factor of f?
False
Let x(y) = -3*y**2 + y + 1. Let i be x(-1). Let m(o) be the third derivative of -5*o**4/24 - o**3/2 + 110*o**2. Does 12 divide m(i)?
True
Let a = 54 - 35. Suppose 0 = -3*p + 4*m + 153, 3*m + a + 27 = p. Is p a multiple of 11?
True
Let i(j) = -41*j**3 - j**2 + 2*j + 1. Let g(o) = -42*o**3 - o**2 + 3*o + 1. Let s(r) = -2*g(r) + 3*i(r). Is s(-1) a multiple of 13?
True
Let u(b) = -b**3 + 35*b**2 - 105*b - 47. Is u(30) a multiple of 36?
False
Does 3 divide (4/10)/(-6*(-1)/900)?
True
Suppose 5*h = -l - 26, 2*h + h - 2*l + 26 = 0. Does 3 divide (h/2)/(2/(-6))?
True
Let q(o) = -10*o**3 + 6*o**2 - 3*o + 181. Let v(r) = -3*r**3 + 2*r**2 - r + 60. Let j(x) = -2*q(x) + 7*v(x). Let w = -4 - -4. Is j(w) a multiple of 9?
False
Suppose -b = -17 + 140. Let y = 258 + b. Does 19 divide y?
False
Let u be 1*(-15 + 4)/1. Let s = 7 - u. Is s a multiple of 7?
False
Let r = -902 - -1019. Does 13 divide r?
True
Suppose -5*v - 5 = -z + 6*z, 2*v = -z - 2. Suppose z = 3*x - 1 - 2. Suppose j + 3*g - 14 = -x, 0 = g - 1. Is j a multiple of 10?
True
Suppose -7*s = -10*s + 30. Suppose 5*b + 1260 = s*b. Is b a multiple of 36?
True
Let i = -36 - -38. Suppose -i*r + 204 = 5*z, -5*z + 122 = 5*r - 73. Is 14 a factor of z?
True
Suppose -5*k = -11 - 14, -2*k = -2*l - 52. Let g(w) = -w**3 - w**2. Let a be g(3). Is (a/l)/(3/21) a multiple of 8?
False
Let c be (-1 - 3)/4 - -35. Suppose -4*t + c = -54. Suppose -4*m = -98 + t. Is 10 a factor of m?
False
Suppose 0 = 5*q - 10, -6*i = -3*i + q - 44. Suppose 3*h + 5*x = 7 + 1, 0 = -3*h - 2*x + i. Is h even?
True
Let p = 12 + -40. Let j = -26 - p. Suppose 0 = -j*g + g - 1, 2*m + 5*g = 5. Is 5 a factor of m?
True
Suppose 95 = 5*s - 4*s. Let r(y) = -4*y + 3. Let x be r(-7). Suppose 0 = -5*v + a + s, 0*v - 2*v + x = a. Does 18 divide v?
True
Suppose -22*p + 18*p + 6908 = 0. Is p a multiple of 86?
False
Suppose 0 = 3*t - 6, n + 7*t - 2*t - 410 = 0. Is 29 a factor of n?