e
Let a be (4/6)/(5/30). Suppose -j + 1155 = a*j. Suppose 23*v = 26*v - j. Is v a multiple of 7?
True
Suppose -53*y = -2034905 - 459116. Does 30 divide y?
False
Let x = 782 + -360. Let h = 596 - x. Is h a multiple of 3?
True
Let l(k) = 16*k - 17. Let w(z) = -z + 1. Suppose -5*v - 2*q - 1 = 0, 3*v + 12 = -2*q - 3*q. Let j(c) = v*l(c) + 6*w(c). Does 49 divide j(6)?
True
Let o(s) = 2*s + 17. Let x be o(-9). Does 14 divide (-1568)/(-8) - (1 + x + 0)?
True
Suppose -590827 = -135*x + 512917 + 374236. Is 16 a factor of x?
False
Suppose -8*t = -25 - 7. Let x(v) = -2*v**3 - t*v**2 + 33*v - 22*v - 15*v**2 + 4*v**3 + 21. Does 10 divide x(9)?
False
Suppose -138*u + 1593045 = -201231. Is u a multiple of 27?
False
Suppose 0 = -4*w - 2*q + 138512, w = -5*q + 37260 - 2659. Is w a multiple of 12?
False
Suppose 5*s - 30 = 5*g, -2*s - 2*g = -16 + 4. Suppose -16*a = -715 + 28 + 31. Let q = s + a. Is 4 a factor of q?
False
Let y(g) = g**3 + 43*g**2 + 106*g - 136. Is y(-35) a multiple of 49?
False
Let y = -48 - -93. Suppose -10 = -2*o - 8, -4*o + 28 = -2*a. Let n = a + y. Is 33 a factor of n?
True
Suppose 10*x = 3659 + 591. Let v = x + -305. Does 24 divide v?
True
Is 29 a factor of ((-4)/((-12)/(-40383)))/(-61 - -58)?
False
Let f be (-17 - -4)*(0 + -1)*1. Let v(x) = x**2 + 21*x + 15. Let w be v(f). Suppose 3*m + 2*s - w = 3*s, -2*s = 3*m - 472. Does 15 divide m?
False
Let n be ((-9)/(-1))/3 - (-2 - -3). Suppose n*i - 4*i = 0. Suppose i = -3*d - d + 640. Is d a multiple of 32?
True
Let z be ((-2)/6)/((-9)/(-135)). Let u(g) = g**3 + 7*g**2 - 2*g + 14. Let t be u(z). Let w = 164 - t. Is w a multiple of 27?
False
Let x = -31 - -34. Suppose 0 = x*c - 2*c - i - 6, 0 = -c - 2*i + 6. Does 21 divide ((-4)/c)/((-2)/78)?
False
Does 130 divide 85/102 + 338063/66?
False
Let m(z) = 11*z**2 - z + 17. Suppose -4 = -2*p - 14. Let q be m(p). Suppose -q = -3*t + 171. Does 12 divide t?
True
Does 29 divide ((-522)/(-8))/((-906)/(-263344))?
True
Let b = 255 + -233. Let j(u) = 8*u**2 - 62*u - 11. Let q(y) = -7*y**2 + 63*y + 11. Let r(a) = 4*j(a) + 5*q(a). Is 2 a factor of r(b)?
False
Let b(z) be the first derivative of z**4/4 + z**3/3 - 21*z**2/2 + 140*z + 209. Is b(6) a multiple of 14?
True
Let n = -867 - -1443. Suppose -6*p - n = -15*p. Suppose -3*d + 2*x = -p, x - 116 = -5*d + 2*x. Does 24 divide d?
True
Suppose -f + 2*w = -668 + 108, 2760 = 5*f - 2*w. Let l = f + -319. Does 11 divide l?
True
Is ((-1305)/(-20) - 10)*16 a multiple of 76?
False
Let q = -3261 - -5589. Is q a multiple of 6?
True
Let c(p) = p**2 - 3*p - 5. Let r be c(5). Suppose -r*d + 2242 = 72. Is d a multiple of 62?
True
Let h(u) = -u**2 + 17*u - 63. Let x(z) = -z**3 + 5*z**2 + 19*z - 17. Let f be x(7). Let l be h(f). Does 16 divide (-18)/l + 152/(-18)*-13?
False
Let o = -1466 - -1485. Let b be (1 - (-23 + 1))/1. Let p = b + o. Is 6 a factor of p?
True
Is 100/(-4) - (-51911 + 22) a multiple of 24?
True
Let g(u) = 1123*u - 1. Is 17 a factor of g(1)?
True
Let m(n) = -n - 5. Suppose 4*q = 3*q + 2. Let v be m(q). Does 6 divide (320/(-56))/(2/v)?
False
Suppose -26*p = -82*p + 81480. Is p a multiple of 3?
True
Suppose 22810 = 3*c - 2*d, 4*c + 77*d - 30395 = 76*d. Is 19 a factor of c?
True
Suppose 9 + 66 = 15*i. Suppose -10*t + 9240 = i*t. Is t a multiple of 28?
True
Suppose 6 = 2*x - g, -x + 5*g = 27 - 21. Is 9 a factor of (-585)/((-1)/x - 63/84)?
True
Is (-40948)/(-1) + 7/140*100 a multiple of 39?
False
Let g(x) = -x - 10. Let t be g(-14). Suppose 5*a - f = -t*f + 2568, -2*a + 1022 = -4*f. Is a a multiple of 11?
False
Let l be ((-3 + 2)*362)/(-2). Let w = -99 + l. Suppose -j = -89 - w. Is j a multiple of 19?
True
Suppose l - 19766 = 5*d, -7*l + 5*d + 78025 + 60397 = 0. Does 153 divide l?
False
Suppose -4*h - 27*h - 307923 = -785261. Does 10 divide h?
False
Let q(z) = 121*z**2 - 52*z - 160. Is q(-4) a multiple of 32?
True
Let s = 1541 + -1456. Suppose -2 = -2*g + 6. Suppose -g*n + s = -187. Is n a multiple of 34?
True
Suppose -26*d = -6*d - 155888 - 130612. Is 50 a factor of d?
False
Suppose 3*i = -d + 142722, 3*d = 4*i - 200606 + 10284. Is i a multiple of 19?
True
Let y(k) be the third derivative of -23*k**4/24 - 17*k**3/6 - 5*k**2. Let q(c) = -8*c - 45. Let a be q(-5). Is y(a) a multiple of 12?
False
Let g(f) = 34*f - 393. Let h(j) = 17*j - 196. Let m(t) = -4*g(t) + 7*h(t). Is 19 a factor of m(6)?
False
Let t(d) = d**2 + 4*d - 9. Let f be t(4). Let a = f - -3. Suppose w - a = -p, -2*p + 7 = -3*w - 20. Is p even?
False
Let o be (108/5)/(6/15). Let p(z) = -o + 13*z - 20*z**2 + 42*z**2 - 21*z**2. Is p(-23) a multiple of 20?
False
Let b(t) = -10*t - 7. Let s be b(-1). Suppose -s*p - 2*d - 58 = p, 53 = -5*p + 4*d. Is (-106)/p + 11/(715/(-10)) a multiple of 8?
True
Suppose 2*g + 306 = 4*g. Let s be (-56)/35*(-21 - -1). Let d = g + s. Is d a multiple of 17?
False
Let o(k) be the second derivative of k**4/12 - 7*k**3/3 + 4*k**2 - 22*k. Let t be o(13). Is 1/t + 2916/30 a multiple of 11?
False
Let f(o) = 3*o**3 + 4*o**2 + 2*o + 1. Suppose -4*c + 17 = 21. Let s be f(c). Suppose s = 70*d - 75*d + 660. Is d a multiple of 24?
False
Let x = -29817 - -51813. Is 56 a factor of x?
False
Let w(q) = 8*q + 16. Let n be w(-20). Let t = 232 + n. Does 5 divide t?
False
Is (7 + 1)/4 + (-5826)/(-12)*4 a multiple of 6?
True
Let v(r) = 4924*r + 88. Is v(2) a multiple of 46?
True
Let y = 65 + -58. Let a be (2/(8/(-142)))/(y/(-14)). Is a + 9/6*(-2)/3 a multiple of 14?
True
Let k(r) = 1013*r**2 + 114*r + 340. Is k(-3) a multiple of 111?
False
Suppose 423*u - 2906 = 420*u - 5*j, 0 = -3*j - 6. Is u a multiple of 42?
False
Does 9 divide -2 + 99727/5 - (5 + (-56)/10)?
True
Suppose -7*n + 228 = 5*n. Suppose -14*r + 5148 = n*r. Is 13 a factor of r?
True
Let z be 986 + -1 + 126/63. Suppose 4*x = -275 + z. Does 27 divide x?
False
Is 13 a factor of 5*(27720/75 - 13)?
False
Suppose 0 = 2*m + 2*b - 128, -4*b = -0*m - 6*m + 394. Is m a multiple of 5?
True
Suppose -3*k = -5*h + 1060, 0*k = h + 5*k - 212. Suppose p = 98 + h. Does 16 divide p?
False
Let r(a) = -8*a**3 - 17*a**2 - 9*a - 4. Let g(o) = -7*o**3 - 16*o**2 - 10*o - 5. Let i(l) = -7*g(l) + 6*r(l). Let y = 20 + -27. Is i(y) a multiple of 18?
False
Let h = -24 - -23. Let j(t) = -19*t - 9. Is j(h) a multiple of 5?
True
Let u be (12/(-6))/(3/(-12)). Is 16 a factor of 2431/u + 1/8?
True
Let j be 4/10*-5 - -2062. Suppose 2*s - 2*d = j, 4*s + 4*d - 4549 + 429 = 0. Is s a multiple of 103?
True
Let j(b) = 6*b**3 - b**2 - 5*b + 6. Let y be 69/21 + (-4)/14. Let h be j(y). Let r = -86 + h. Is 19 a factor of r?
False
Let i(a) be the first derivative of a**4/4 - 19*a**3/3 - 10*a**2 + 13*a + 37. Let l be i(20). Suppose -161 = -l*s + 1087. Is s a multiple of 8?
True
Let u(c) = 11*c**3 + 12*c**2 - 76*c + 114. Is u(11) a multiple of 20?
False
Let a = -2911 + 3646. Does 4 divide a?
False
Suppose -24*r = -2021 - 17755. Is r a multiple of 15?
False
Let b(d) = -19*d + 6. Let q be b(10). Let j = -103 - q. Does 4 divide j?
False
Suppose 61 = 5*u + 16. Suppose -u*i + 25 = -65. Does 8 divide (4 - (-784)/i) + 9/15?
False
Let v(n) = -61. Let u(s) = -s - 71. Let i(f) = -5*u(f) + 6*v(f). Let w be (-7)/(-1*(-1)/(-1)). Is i(w) a multiple of 12?
True
Let o(n) = -666*n - 622. Is o(-14) a multiple of 113?
False
Suppose 0 = 17*u - 18*u - 2*a + 1252, -6250 = -5*u - 5*a. Is 16 a factor of u?
True
Let s(r) = -5649*r - 219. Does 13 divide s(-1)?
False
Let f = 1987 - -1557. Does 2 divide f?
True
Let g(r) = r**3 - 6*r**2 - 2. Let t be g(6). Let v(c) = c**3 + 8*c**2 + 13*c + 98. Let s be v(-8). Does 8 divide (-82)/t + s/2?
False
Suppose 4*r = 4*i - 26 - 2, 3*i - 18 = 2*r. Suppose -2*k - 2870 = -i*y, 0*y = -2*y - k + 1445. Does 48 divide y?
True
Suppose -4*c - 2*t - 732 = -5*c, t = -4. Suppose -5*g = -2*d - c, 2*g - 7*d - 277 = -2*d. Is 3 a factor of g?
False
Suppose 156*s = 748964 + 2250916. Is s a multiple of 16?
False
Suppose 42*p + 96 = 48*p. Suppose 12*l + 60 = p*l. Is 3 a factor of l?
True
Is 21 a factor of 40/(-5) + 3584648/80 - (-2)/(-20)?
False
Suppose -191324 - 52070 = -73*t + 33787. Is 88 a factor of t?
False
Suppose -u = 5*h - 191, 5*h - 4*u = 4*h + 34. Suppose -7*c - h = -t - 3*c, -t + 5*c = -42. Is 11 a factor of t?
True
Let y(a) = -8*a**3 + 13*a**2 + 14*a + 1. Is y(-5) a multiple of 8?
True
Let m = -926 - -2201. Suppose -m = -11*w +