alse
Let l = -38 + 45. Suppose -l = 4*q - 19. Suppose 0 = z - 4*v - 8 + 1, 2*v - 35 = -q*z. Is z a multiple of 2?
False
Suppose -7*f - 5780 = -9*f - 2*i, 3*f - 5*i = 8622. Is 14 a factor of f?
True
Is (-4 - 4089)/(3/(4 - 7 - 0)) a multiple of 23?
False
Suppose 0 = -29*m + 1036 - 2660. Suppose 3*g - 434 - 163 = 0. Let a = g + m. Is a a multiple of 11?
True
Let i = -5608 + 6187. Is 2 a factor of i?
False
Let t(x) = 4*x**2 - 25*x + 6. Let i be t(7). Suppose i*h = 30*h - 9. Suppose -h*u - 116 = -2*g, 2*u - 204 = -4*g + 12. Does 11 divide g?
True
Let f(g) = -28*g - 75. Let p = -348 - -341. Is 11 a factor of f(p)?
True
Let p(j) = 15*j**2 + 3*j - 2. Let g be p(1). Suppose 0 = -15*h + 13*h + 156. Let d = h - g. Is d a multiple of 31?
True
Suppose -4*x - x = l - 38, 0 = 2*l - 3*x - 63. Let s = -31 + l. Is 8 a factor of (-1)/(2 + -3) + 162 + s?
False
Suppose -9*c = -15*c + 2808. Let g = -119 + c. Is g a multiple of 41?
False
Suppose y + 2*y = -i + 13, 15 = y + 3*i. Suppose -y*s + 150 = 2*p - s, -359 = -5*p + 3*s. Suppose 11*l - 37 = p. Is l a multiple of 3?
False
Let b(w) = -w**3 + 13*w**2 - 12*w + 101. Let n be b(12). Suppose -4*r = -641 + n. Is 15 a factor of r?
True
Is 4472*((-57)/(-108) + (-6)/(-27)) a multiple of 24?
False
Let k(d) = -7*d + 25. Let j be k(5). Let y = 47 + j. Suppose 3*x - 235 = -y. Is 22 a factor of x?
True
Is 5 a factor of -3 + 226*(-123)/(-6)?
True
Suppose 0 = -5*a - 3*r + 97963, 12*r + 97964 = 5*a + 16*r. Does 25 divide a?
False
Suppose y + 3*s - 175 = -s, -815 = -5*y - 5*s. Suppose 13*a + 666 = y. Let n = a - -72. Is 5 a factor of n?
False
Let i be (5/1 - 646)*-1. Let r = i - 421. Is 44 a factor of r?
True
Let v(r) = -r**3 - r**2 - r + 1. Let t be v(1). Let m(l) = 6*l**2 + 124*l + 15. Let x be m(-20). Does 31 divide -6*(-1)/t - x?
True
Let m(k) = 18*k - 20. Let d be m(15). Suppose -o + 1 - 6 = 0, 4*h + 12 = -4*o. Suppose -h*s = -3*i - d, 4*s + 236 = 6*s + 4*i. Is 9 a factor of s?
False
Let f = -12694 - -55103. Is 133 a factor of f?
False
Let c = 563 - 388. Let t = c + 158. Does 12 divide t?
False
Suppose -4*k + 0*k - 12 = 0, 0 = -4*g - k + 101. Let v = -24 + g. Suppose 0 = 5*i - 5*y - 485, -3*i - v*y = -7*i + 386. Is i a multiple of 12?
True
Let y = 138 - 98. Suppose -3*n + 3*o = -915, 0 = -2*n + 5*o + y + 555. Suppose 6*q - n = -4*q. Does 31 divide q?
True
Suppose 5 = 3*j - 7. Suppose -5*p + 10 = 2*a, -2*a - j*p + 4 + 6 = 0. Suppose -a*b + 12 = -8. Does 3 divide b?
False
Let l(g) = g**3 + 66*g**2 - 104*g + 315. Does 204 divide l(-57)?
False
Let d(v) = 31816*v - 639. Is d(1) a multiple of 16?
False
Suppose 3*m - 5*b = -119, 5*b = -0*b - 25. Let y be (-15*8/m)/(5/12). Suppose y*w - w = 480. Is w a multiple of 32?
True
Let j(c) = 7*c + 10. Let a(n) = 1. Let o(m) = -a(m) - j(m). Let t be o(-10). Let v = t - 24. Does 7 divide v?
True
Let s(n) be the second derivative of n**4/12 - 3*n**3/2 + 9*n**2 + 37*n. Let x be s(5). Does 24 divide x/3 - 1765/(-15)?
False
Let z be -5 + (-117 + -3)/8. Is (-122 - 1)*(-7 - z/(-30)) a multiple of 41?
True
Let l be 1*-2 + 4*(-4)/(-4). Suppose 0 = 3*z - f - 6, 0 = 2*z - l*f + 3*f + 1. Let p(v) = 116*v**2 + 2*v - 3. Is 15 a factor of p(z)?
False
Suppose 3*s - 165 = 741. Suppose 0 = -u - 2*m + 21 + s, 651 = 2*u - m. Suppose 0 = -26*z + 21*z + u. Is z a multiple of 24?
False
Let w(p) = p + 18. Let b be w(-15). Let d(a) = 23 - 82 - 7*a**2 + 18*a + 27 - a**b + 17. Does 35 divide d(-10)?
True
Let g(s) = -4*s**2 - 10*s + 37. Let w(x) = 3*x**2 + 9*x - 36. Let d(y) = -2*g(y) - 3*w(y). Let b be d(-10). Is 25 a factor of (-1)/(-5) + (-728)/(-10) + b?
False
Let o be ((-4)/22)/(-1) - (-6)/(-33). Suppose o = -23*t + 19*t + 1068. Is t a multiple of 12?
False
Suppose r = 5*d - 9989, -2*d + 1203 = -5*r - 2788. Does 82 divide d?
False
Let u be -4 + (-5 - (-2 - 0)) + 1. Let z(l) = 9*l**2 + 25*l - 3. Does 9 divide z(u)?
True
Let p(o) = -30*o + 52. Let m be p(-11). Let g = m + 17. Does 21 divide g?
True
Suppose -7612 = 16*f - 38*f. Let h = f - 223. Is 4 a factor of h?
False
Does 6 divide -1 + 12277 + -2 + -11 + -1 + 14?
True
Let m be (2021 - -3) + 4*-2. Suppose -2*f = -8*f + m. Does 12 divide f?
True
Let t = -17 + -1. Let w(g) = -g - 16. Let s be w(t). Suppose -s*k = -65 + 9. Is k a multiple of 4?
True
Let u be (-62)/(-248) + 2 + (-9)/4. Suppose -i + c + 463 - 3 = u, -5*i = -c - 2296. Is i a multiple of 15?
False
Suppose -4*u + 115472 = -13*x + 17*x, -4*u = -4*x + 115432. Does 78 divide x?
False
Suppose 0 = -12*l + 48 + 24. Let c(f) = 2*f - 22. Let y be c(15). Suppose 348 = -l*d + y*d. Does 32 divide d?
False
Suppose -2*x - 4*g - 205 = -7*x, 4*x - 133 = -3*g. Suppose x*j - 27*j - 4570 = 0. Does 11 divide j?
False
Let z(j) = -61*j - 46. Let w be z(8). Let s = -401 - w. Is s a multiple of 4?
False
Suppose 9*q = 7*q + 74. Suppose -9*j - q = -10*j. Let n = j + -24. Does 9 divide n?
False
Let v(z) = 40*z - 738. Is 14 a factor of v(51)?
True
Suppose 6*f + 7 = -11. Let j be 3*(f + 26/6). Suppose -j*g - 3*d + 546 = g, -3*g - 4*d = -332. Is g a multiple of 18?
True
Suppose 3*h - 13762 = -g, -709 + 5293 = h + g. Is h a multiple of 55?
False
Let i(w) = 328*w - 11. Let k be i(1). Let g = k + -165. Is g a multiple of 19?
True
Suppose 4*a + 11 + 5 = 0. Let u be 0 + a - (-4 + 2). Does 9 divide (3/6 + u)*-24?
True
Is 25 a factor of (-8 + 5 - -9015) + 9 - -4?
True
Suppose -34*g + 31*g = 3*b - 66465, -g = -3*b - 22175. Is g a multiple of 16?
True
Suppose 26*i = 27614 + 17938. Is i a multiple of 7?
False
Suppose -3*a + 987 = -3*d - 558, 2*a - d - 1030 = 0. Suppose a = 3*o - 895. Is 6 a factor of o?
False
Suppose -1302*m = -1362*m + 595560. Is 10 a factor of m?
False
Suppose 0 = -20*w - 15420 + 39914 + 33106. Is 96 a factor of w?
True
Let x(c) = 135*c - 1. Let w(n) = -482*n**2 + n**3 - 2*n + 486*n**2 - 2*n + 9 + 6*n. Let m be w(-4). Is 38 a factor of x(m)?
False
Suppose s + 8*v = 2754, v = 111*s - 116*s + 14004. Is s a multiple of 5?
False
Does 18 divide (-20*-89*(-18)/135)/(4/(-6))?
False
Suppose -70*j = 5895 - 148695. Is j a multiple of 6?
True
Suppose 103 = 2*y - 631. Let q be 1*-5*(2 + -3). Suppose y = q*o - n, -4*n + 63 = -2*o + 217. Is 15 a factor of o?
False
Suppose -269*o + 274*o - 50 = 0. Is 62 a factor of 4336/o - (-162)/405?
True
Let k = -906 - -910. Suppose a + 2*g - 288 = 529, k*a + 5*g = 3271. Is 9 a factor of a?
True
Suppose 0 = 7*f - 2*f - 7035. Let j be 2*f/(-2)*(-3)/9. Suppose -2*h + 285 = 3*d - 5*h, -j = -5*d + 3*h. Is d a multiple of 11?
False
Let o(d) = -d**3 - 106*d**2 - 49*d - 1548. Is o(-107) a multiple of 6?
True
Suppose -3*b + 2*f + 7 = 0, -f + 9 = -4*b + 5*b. Suppose 0 = -b*p - 30 - 10. Let k(u) = -u**3 - 5*u**2 + 5*u + 18. Is k(p) a multiple of 17?
True
Let d(p) = 5*p**2 - 2*p + 4*p + 0*p + 0*p + 22. Is d(-4) a multiple of 49?
False
Let r(o) = o**2 - 6*o - 17. Let u(t) = 2*t**2 - 11*t - 34. Let s(p) = 5*r(p) - 2*u(p). Let x be s(10). Is 12 a factor of 4140/42 + x/7?
False
Suppose -2*u = 2*v - 10, -25 = -51*u + 54*u - 5*v. Suppose u = 4*l - 2055 + 543. Does 63 divide l?
True
Let o = 82 - 90. Let a(t) = -2*t**3 - 17*t**2 - 7*t + 8. Let w be a(o). Suppose -p + 5*p - 620 = w. Is 17 a factor of p?
False
Suppose -5*v = -14*v + 36. Suppose -4*a - v = -6*a. Does 29 divide 160 - ((2 - 1) + a)?
False
Suppose -14*b + 240 = -9*b. Let w = b - 45. Suppose -105 = w*o - 10*o. Does 14 divide o?
False
Let k be -7 + 6 + 3 + 2 + 41. Suppose -4*c = -4*d + 176, -k = -d + 4*c - 4. Does 39 divide d?
False
Let o be 2/4 - 2/4. Let g(h) = -76*h + 1250. Let w be g(15). Suppose -5*r = t - 0*r - w, o = -2*t + 3*r + 272. Is t a multiple of 13?
True
Suppose 0 = 9*l - 8*l - 3. Suppose -2*k = -4*o + 88, k + 80 = l*o + 3*k. Suppose -86*w + 83*w = -o. Is w a multiple of 3?
False
Let h(d) = -d**3 + 4*d**2 + 1. Let q be h(2). Let i(r) = 4 + 12*r**2 - 6 + 2*r + 3 + q*r**2. Does 17 divide i(-1)?
False
Let b = 70830 - 20108. Is 150 a factor of b?
False
Let r(v) = 94*v + 125. Let s = 113 + -109. Does 12 divide r(s)?
False
Let x(p) = -p**3 + p**2 + p - 7. Let t be x(0). Let v be (t - -7)/(2/(-1)). Suppose -3*s + 121 = -d, v*s + 178 = 4*s + 2*d. Is 21 a factor of s?
True
Let x(k) = 311*k + 5669. Does 8 divide x(69)?
True
Is 4 a factor of (4 + 43 + -3)*((-407)/(-22) - -7)?
False
Suppose 0 = -2*z - 12 - 44. Is 9 a factor of 1 + (-726)/(-8) + (-7)/z?
Fals