e
Suppose -15*j + 45 = -6*j. Is 29 a factor of 118*(j - 12/3)?
False
Let f = 53 + -34. Let h = 29 - f. Let l = 40 - h. Is 8 a factor of l?
False
Let f(q) = 346*q**3 + q**2 + q. Is f(1) a multiple of 12?
True
Let o = 1310 - 1188. Is o a multiple of 9?
False
Let u be 7 + (-11 + 1)/5. Suppose -19 = u*o - 64. Is 2 a factor of o?
False
Let s = -13 + 16. Suppose 1 = -4*g - 3, s*g = 4*r - 243. Does 30 divide r?
True
Let t(z) = z**2 - 11*z - 10. Let n be t(12). Suppose 410 = n*g - w, 5*w - w - 430 = -2*g. Is g a multiple of 23?
True
Is 6 a factor of 7*(550/35 - -3)?
False
Does 38 divide (540/50)/((-15)/(-950))?
True
Suppose 2*g = -4*z + 72, -3*z + 4*g - 96 = -8*z. Suppose -p - 5*l = 18, 2*p = -0*p + l + 8. Suppose p*d = -2*o + z, 0 = -2*o - 3*d + 5 + 13. Is 6 a factor of o?
True
Suppose w + y = 8, w + 3*y - 1 - 17 = 0. Suppose -5*z = -w*z - 448. Is 28 a factor of z?
True
Let k(j) = 2*j - 25. Let g be k(14). Suppose 2*b - 102 = -2*w, g*w + b = -b + 151. Does 7 divide w?
True
Suppose 5*q = 2*q - 6. Let i(b) = 15*b**2 + 2*b. Let h be i(q). Suppose 5*c - 84 = h. Is 11 a factor of c?
False
Suppose 0 = -0*w - 3*w + 2*r + 499, -r + 647 = 4*w. Suppose 5*g = -2*q - 2*q + w, 136 = 3*q + g. Does 13 divide q?
False
Let b(n) = 692*n**3 - 5*n**2 - 3*n + 6. Does 23 divide b(1)?
True
Let y(x) = 4*x**2 - 29*x - 84. Is y(-10) a multiple of 7?
False
Let i = 88 + -52. Suppose -3 = -3*b + i. Is b a multiple of 5?
False
Let u(w) = -w**3 + 4*w**2 + w + 3. Let a be u(3). Is (10/6)/(5/a) even?
False
Suppose 2*h + 7 = 3*h. Let w(s) = s**3 - 6*s**2 - 5*s + 7. Let p be w(h). Does 4 divide p/((-2)/(4/(-3)))?
False
Suppose -26400 = 136*x - 147*x. Does 12 divide x?
True
Let j = 92 - 31. Suppose -o - 363 = -2*q - j, 3*q - 4*o - 448 = 0. Does 32 divide q?
False
Let i = 549 - 233. Is i a multiple of 42?
False
Let n(x) = -17*x + 1. Let t(q) = -49*q + 3. Let b(o) = -17*n(o) + 6*t(o). Let s = 0 + -2. Is b(s) a multiple of 5?
False
Suppose 2*q + 41 + 17 = 0. Suppose -27*o - 122 = -1256. Let f = q + o. Is 12 a factor of f?
False
Let k = 36 - 36. Suppose 2*f - 9*f + 455 = k. Is f a multiple of 13?
True
Let j(h) be the third derivative of -15*h**4/8 + h**3/3 - 21*h**2. Is 13 a factor of j(-4)?
True
Let j be 2/(-4) + 11/2. Suppose -j*b + 58 = -72. Does 7 divide b?
False
Let f(l) = 15*l**2 + 2*l - 5. Let v = 9 - 12. Does 31 divide f(v)?
True
Let a = 3295 - 655. Is 120 a factor of a?
True
Let s = -864 - -2060. Is 15 a factor of s?
False
Let h(z) = z**3 + 10*z**2 - 3*z - 2. Suppose 0*v = -2*v + 38. Let m = -29 + v. Does 7 divide h(m)?
True
Suppose 0 - 12 = -6*d. Suppose -3*a + 4*x + 530 = -a, -827 = -3*a - d*x. Is 13 a factor of a?
True
Suppose -c + 91 - 19 = -3*r, -2*r = 4*c - 274. Does 27 divide c?
False
Let z(p) = 2*p**2 + 4*p - 28. Suppose j = 3*j - 5*o + 24, 4*o - 36 = 4*j. Does 6 divide z(j)?
True
Is (-118216)/(-308) - (-2 - (-20)/11) a multiple of 12?
True
Suppose -2*c - 114 = -4*g, -3*g + 71 + 12 = c. Let n = g - -57. Is n a multiple of 6?
False
Suppose -3*t - 47 + 15 = -2*a, -3*t + 3*a - 30 = 0. Let n = 44 - t. Does 28 divide n?
True
Let j = -502 + 812. Is j a multiple of 10?
True
Suppose 3*i = -3*l + 15, -i - 16 = -4*l + 2*l. Suppose 0 = 4*v + 3 - l. Is 57 - v - (-12)/4 a multiple of 13?
False
Let j = 230 - 190. Does 5 divide j?
True
Let b(j) = -j + 20. Let p be b(-12). Suppose -l + p = -35. Is 10 a factor of l?
False
Suppose 63*u - 14184 = 39*u. Does 6 divide u?
False
Suppose 592 = -8*c + 16*c. Let y(u) = u**3 - 6*u**2 - 5*u + 4. Let k be y(6). Let t = k + c. Is t a multiple of 16?
True
Suppose -18*z + 17*z - 5*m + 1372 = 0, -2768 = -2*z - 4*m. Is 19 a factor of z?
False
Suppose 4*g + 3*v - 2575 = 0, -2*g + 2*v - 640 = -3*g. Does 34 divide g?
True
Let t(d) = 3*d**3 - 17*d**2 + 30*d + 27. Let j = 24 + -19. Let o(r) = -r**3 + 9*r**2 - 15*r - 14. Let x(n) = j*o(n) + 2*t(n). Is 14 a factor of x(-12)?
False
Let o(b) = b**3 - 5*b**2 + 3*b + 3. Let s(d) = d**3 - 5*d**2 + 3*d + 3. Let k(w) = 3*o(w) - 4*s(w). Let u be k(5). Does 12 divide u/4*24/(-9)?
True
Suppose 0 = 25*d - 1355 - 2145. Is d a multiple of 13?
False
Let a(i) = 23*i**2 + i + 5. Let g be a(2). Let q = 167 - g. Does 12 divide q?
False
Let j be 5*(-4)/(-10)*5. Suppose j = c - 16. Is 8 a factor of c?
False
Let m(t) = -181*t + 100. Is 21 a factor of m(-2)?
True
Let w(l) = -1 - 39*l - 18 + 44*l. Suppose 3*j + 16 + 5 = 3*z, -2*z + 13 = -j. Is w(z) a multiple of 2?
False
Does 20 divide ((-40376)/(-36))/7 + (-2)/9?
True
Suppose 5*x - 84 + 29 = 0. Suppose 6*l + 120 = x*l. Does 24 divide l?
True
Suppose -t - 3*k = -61, -3*t = -8*t - 4*k + 261. Suppose 120 + t = -s. Let f = -93 - s. Is f a multiple of 19?
True
Let c be (-536)/(-104) + 6/(-39). Suppose c*o = 2*k - 133, -k + 8 = -4*o - 54. Is k a multiple of 37?
True
Does 28 divide 0 - (-86 - (6 + -8))?
True
Suppose 0 = 7*i - 410 - 157. Is i a multiple of 3?
True
Let t(q) = 7*q**2 - 4*q + 6. Let l be t(-4). Let h = -86 + l. Is h a multiple of 24?
True
Suppose 6*n = 4*o + 3*n - 2081, n - 515 = -o. Let p = o + -310. Is p a multiple of 26?
True
Is 2 a factor of 7 + (-168)/(-6) - 2?
False
Let d(a) = -3*a + 45. Is d(2) a multiple of 36?
False
Let y(o) = -3*o + 33. Let l(q) = -q + 17. Let a(n) = 5*l(n) - 2*y(n). Is 11 a factor of a(-8)?
True
Suppose 5*s - 20 = 4*q, 2*s - 8 + 0 = -4*q. Suppose -s*l + 208 = 4*m, 121 + 19 = 3*l - m. Is l a multiple of 12?
True
Suppose -42*o - 19*o + 2135 = 0. Does 3 divide o?
False
Let a = 69 + -79. Let g = 26 + a. Is g a multiple of 3?
False
Is -6 - (-5670)/(-40)*8*-3 a multiple of 23?
False
Suppose 2*z = 3*d - 3809, -47*d + z = -46*d - 1268. Is 67 a factor of d?
True
Let j = -960 + 1297. Does 9 divide j?
False
Let m(l) = -l + 4. Let k be m(-1). Suppose -194 = -k*v + 86. Is v a multiple of 25?
False
Let z(m) = -m**2 + 10*m - 12. Let d be z(10). Let p = -19 - d. Is 20 a factor of (-6 - p)/((-1)/(-60))?
True
Let d be 8*(25/40 - 0). Is (29 + 3)*2 - (d - 1) a multiple of 3?
True
Let j be (-6)/15*(-25)/5. Let n be (-2)/6 + j/6. Let s(u) = -u**3 - u + 27. Does 9 divide s(n)?
True
Let f(m) = -m**3 - 16*m**2 - 16*m - 12. Let y = -8 - 7. Let a be f(y). Suppose -a*v = 6 - 69. Is 7 a factor of v?
True
Suppose 12*c + 2*g + 164 = 13*c, 4*c - 630 = -5*g. Does 39 divide c?
False
Let b(j) be the second derivative of -j**6/120 - j**5/20 + j**3/3 + 3*j**2/2 + 5*j. Let g(v) be the first derivative of b(v). Is g(-4) a multiple of 9?
True
Let v be -13*(3/(-12))/((-2)/40). Let c = v - -85. Does 9 divide c?
False
Let p be (1 - -1)/(4/14). Is 3 a factor of p/((-21)/9) - -33?
True
Let t(c) = 2*c + 40. Let o be t(-18). Is -3 + (-24)/(o/(-1)) a multiple of 3?
True
Suppose -5*j = 5, 4*q + 0*j - 418 = -2*j. Is q a multiple of 21?
True
Let f(l) = 166*l**3 + 2*l - 3. Is f(1) a multiple of 11?
True
Suppose 37 - 1 = 2*q - 2*s, 2*s + 81 = 5*q. Let k be (-1 + 16/12)*q. Is 2*k/4*10 a multiple of 10?
False
Let x = -60 - -320. Does 26 divide x?
True
Let p be (3*(-8)/(-24))/((-2)/(-1186)). Is 26 a factor of p/2 + (-7)/(-14)*3?
False
Let b = -34 - -47. Suppose -3*r - 4 + b = 0. Suppose 4*u - 3*j = 148, 8*u - 150 = r*u - 5*j. Is u a multiple of 10?
False
Let z(q) = 498*q**2 + 4*q - 5. Does 35 divide z(2)?
True
Suppose 0 = -4*h - 11 - 5. Does 8 divide ((-36)/(-21))/((-2)/(56/h))?
False
Is -15*(11 - -1)*14/(-21) a multiple of 15?
True
Let f = -59 - -41. Is f/24 + 47/4 a multiple of 7?
False
Let w(q) = 13*q**2 - q - 4. Let u be w(-7). Suppose -b + 6*b + u = 0. Let y = 180 + b. Is 13 a factor of y?
True
Let r = 131 + 13. Is 24 a factor of r?
True
Suppose -2*c - 4 = -4*c. Let x = 87 + -84. Suppose -5*j - c*i + 30 = -7*i, -x*i = -6. Does 7 divide j?
False
Suppose 1 = -h - 4*l + 78, -3 = 3*l. Does 34 divide h?
False
Let h = -37 + 31. Is 15 a factor of (h + 10)*90/4?
True
Let n(b) = b**2 + 22*b + 22. Is n(8) a multiple of 19?
False
Suppose 3*h + h - 12 = 0. Suppose -h*m = -l - 299, 0*l = -5*m - 5*l + 465. Does 22 divide m?
False
Suppose -u + 5*u - 208 = 4*h, 4*u - 2*h = 210. Is 6 a factor of u?
False
Does 4 divide (-3)/12*1140/(-15)?
False
Suppose -448 = -5*a + 3*c - 92, 270 = 4*a + 5*c. Is a a multiple of 10?
True
Let l(c) = -c - 5. Let y be l(-5). Suppose 2*w - 2 = -y*w. Let i(m) = 8*m**3 - 2*m**2 + 1. Does 2 divide i(w)?
False
Suppose -3*z = -9, -z + 0 - 17 = -2*v. Suppose 5*c + v = -x - 14, -x = -4*c - 21