)/(2/s). Is (-7)/(x/(-88)) + 0 a multiple of 5?
False
Suppose -7747 = -4*x + 821. Is 12 a factor of x/36 + (-1)/(-2)?
True
Let i(v) = -2*v**3 + 33*v**2 + 36*v - 111. Is 69 a factor of i(15)?
True
Suppose 2*f + o = -2 + 3, 4*o + 12 = 0. Suppose f*u + 5*z = 3*z + 192, 3*z - 92 = -u. Suppose y - 37 = -3*t - 10, 2*y = 5*t + u. Does 13 divide y?
True
Let t(l) be the first derivative of -5*l**2 - 34*l + 20. Does 12 divide t(-6)?
False
Suppose -2*s - 15 = -27. Suppose -s*g + g = -205. Does 8 divide g?
False
Let w be (6/(-15))/(1/(-5)) + -4. Is (1*(-67 - -5))/w a multiple of 3?
False
Suppose 2*z = 4*b - 10, 7*b + 4*z - 32 = 2*b. Is b/6*(-438)/(-4) a multiple of 10?
False
Suppose -4*y + 7 = -17. Suppose 0 = 3*j - y*z + 2*z - 10, -15 = -5*j + 5*z. Suppose 118 = 5*k + 2*q - 152, 3*q = j*k - 127. Is 20 a factor of k?
False
Suppose -5*s = -5*r + 60, 5 - 25 = 4*s. Is -4*((0 - r) + 1) a multiple of 6?
True
Let y(x) = 105*x - 2. Let i be y(1). Suppose 5*c - i - 97 = 0. Is c a multiple of 20?
True
Let v = 341 + -259. Is 18 a factor of v?
False
Let t be (-34 - -34)/(1 + 3). Does 9 divide 3*(t - -2)*3?
True
Does 7 divide -1698*(2 + -4)*(-1)/(-4)?
False
Let v(r) = -10*r. Let u be (24/10)/(2/5). Let o be (1 + 2)*(-2)/u. Is v(o) a multiple of 10?
True
Suppose -2 = -2*y + a + 3, -2*y + 3*a - 1 = 0. Let f(n) = 4*n - 6. Is f(y) even?
True
Let n(w) = 13*w - 17. Let j(x) = 870*x - 1140. Let f(o) = -2*j(o) + 135*n(o). Does 5 divide f(4)?
True
Is 62/1 - 0/(-34) a multiple of 62?
True
Let r(u) = -60*u + 45. Let h(y) = -15*y + 11. Let x(a) = -9*h(a) + 2*r(a). Is x(7) a multiple of 24?
True
Suppose -118 - 38 = 4*g. Let n = 53 + g. Is n even?
True
Suppose -2*m + 5*z + 1410 = z, 2*z + 1406 = 2*m. Does 30 divide m?
False
Suppose -4*n = d - 13, -2*d + 3*d - n - 3 = 0. Suppose -2*x + 5*r + 18 = -0*x, -d*x - 5*r = -10. Suppose p - 345 = -x*p. Is 19 a factor of p?
False
Let s be (-2628)/189 - 8/84. Let o = -5 - 7. Let n = o - s. Is 2 a factor of n?
True
Suppose -4*p + 4*t - 196 = -704, 0 = 2*p + 3*t - 269. Let n = 223 - p. Does 31 divide n?
True
Let g = 777 + -545. Is g a multiple of 14?
False
Suppose 5*j = 7*j - 10, 2*j + 254 = 4*l. Let q = 140 - l. Is q a multiple of 20?
False
Suppose 0 = 2*h - 19 + 1. Let y(p) = 2*p**3 - p**2 + p + 1. Let c be y(-1). Is h/c + 18/1 a multiple of 12?
False
Let d be 227 - (-12)/(-8)*16/(-6). Does 33 divide (-1 + 3/(12/8))*d?
True
Let l be 3 + 10*10/4. Let r be (l/8 - 3)*2. Is r + -2 + 8*2 a multiple of 4?
False
Suppose -2*q + 48 = q. Suppose 0 = 5*l + 6 - q. Suppose -l*u + 60 = -2*x, -2*u + 0*x + 58 = -x. Is 14 a factor of u?
True
Let t = 15 + -33. Let y be t - (3 - 3 - -3). Does 19 divide (-9)/y - 789/(-21)?
True
Suppose -5*f - 3*m + 2879 = 819, f = -2*m + 419. Does 9 divide f?
False
Suppose h + 10 = 3*h. Let y = 0 + h. Suppose y*o - 80 = -0*o. Does 15 divide o?
False
Suppose 0 = 4*d + n + 231, -115 = 2*d - 0*n + n. Is 18/(-12)*(-1 + d/2) a multiple of 5?
True
Suppose -30590 = -30*j - 16*j. Is j a multiple of 43?
False
Let p = -99 - -135. Is 12 a factor of p?
True
Suppose -3*m = -7*m + 2*a - 2, 3*m + 4*a = 26. Let p = 711 + -496. Suppose -m*s + p = 2*s + t, t + 55 = s. Does 18 divide s?
True
Let b(n) = -n**3 - 7*n**2 - 12*n + 1 + 2*n**2 - 7*n**2. Suppose -1 = d + 10. Does 4 divide b(d)?
True
Let x(l) = -4*l**3 - 5*l - 4. Let k be x(-3). Suppose -k = 5*b - 419. Is 12 a factor of b?
True
Let u(f) = f**3 + 6*f**2 + 4*f - 4. Let y be u(-5). Let i = -31 + 25. Let j = y - i. Is j a multiple of 7?
True
Suppose -3*s + 12 = 0, 2*t - 166*s + 169*s = 1220. Does 7 divide t?
False
Let r(w) = 13*w + 17. Let j(y) = -y. Let x(a) = 4*j(a) + r(a). Does 20 divide x(7)?
True
Let v(c) = -226*c + 139. Is v(-2) a multiple of 21?
False
Let i(r) = 17*r**2 + 6*r - 5. Let a(u) = -16*u**2 - 7*u + 5. Let k(h) = -5*a(h) - 4*i(h). Does 17 divide k(3)?
True
Suppose -87*o + 92*o - 115 = 0. Does 2 divide o?
False
Suppose -9*o + 548 = -91. Let c = o - 52. Is c a multiple of 4?
False
Let i = -630 + 747. Is 35 a factor of i?
False
Suppose 14 + 11 = -5*t. Let p(j) = 11*j**2 + 5*j + 5. Let q be p(t). Does 17 divide (8/10)/(6/q)?
True
Let j(f) = -2*f**2 + 50*f + 2. Is 23 a factor of j(6)?
True
Suppose 4*m = 5*t + 1112, m - 2*t = 115 + 163. Is 9 a factor of m?
False
Let r be 26/3 - (-12)/(-18). Suppose -3*h - 285 = -r*h. Is h a multiple of 19?
True
Let m(h) = -4*h - 1. Let y(g) = -5*g - 1. Let d(j) = 6*m(j) - 5*y(j). Let b(k) = 4*k - 3. Let t(n) = -b(n) - 4*d(n). Is t(-3) a multiple of 12?
False
Suppose 0 = y - 0 + 1. Does 16 divide (6/(-3))/(y/46)?
False
Suppose 123 = -4*b + 443. Let v be 1/(-5) - (-176)/b. Does 28 divide (-1 + v)/((-2)/(-56))?
True
Let i be 24/9 - (-2)/(-3). Suppose 0 = -w + i*w - 65. Does 13 divide w?
True
Let k(l) = -3*l**3 - l**2 + 7*l - 5. Is k(-4) a multiple of 13?
True
Let f(n) = -n**3 + 8*n**2 + 8*n - 11. Let r be f(9). Does 5 divide (12/(-3))/(4/r)?
True
Let z(k) = k**2 + 18*k + 2. Let a be z(-18). Let h be -2 + (-2740)/8*a. Is 4/(-16) + h/(-12) a multiple of 9?
False
Let h be -4*((-9)/(-3))/(-3). Let a be 2/(-11) - h/(-22). Does 8 divide -1 + a + -2 + 19?
True
Let x(b) = 2*b**3 - 3*b - 6. Let u be x(-3). Let c = 88 + u. Does 10 divide c?
False
Let h(x) = -x**3 + 17*x**2 + 2*x - 3. Let b be h(17). Let l = -30 + b. Let v = 30 - l. Is v a multiple of 16?
False
Let g(k) = -7*k**2 + 4*k - 5. Let o be g(2). Is 15 a factor of ((-58)/(-4))/(o/10 + 3)?
False
Let s(n) = n**3 + 6*n**2 - 2*n - 7. Let i be s(-6). Suppose -i*b + 201 = -2*b. Is 21 a factor of b?
False
Let l(i) = 2*i**2 - 2*i - 4. Let j be l(4). Suppose 3*v - 33 = -3*w, 3*w - 4*v + j = 4*w. Is 2 a factor of w?
True
Suppose 2*g + 3*g = 2*j - 42, -5*g = 5*j - 70. Is j a multiple of 13?
False
Let q be 6/15 + 4/(-10). Is -3 - ((-41 - q) + 4) a multiple of 34?
True
Suppose 134 + 16 = 5*v. Let m be ((-4)/6 - -1) + 16/(-3). Let r = m + v. Is 8 a factor of r?
False
Is 0/((-66)/11) + (-3888)/(-3) a multiple of 24?
True
Let v = 98 - 59. Suppose -216 = -42*d + v*d. Is 12 a factor of d?
True
Let s(c) = 4*c**3 - 8*c**2 + 7*c - 15. Is 20 a factor of s(5)?
True
Suppose -2*z - 81 = z. Let q = z - -34. Is q even?
False
Let d(c) = -c**3 - 4*c**2 + 31*c + 137. Is 2 a factor of d(-5)?
False
Is ((-45)/(-25))/(12/5180) a multiple of 7?
True
Suppose -4*q - 54 = p - 17, -3*q - 24 = -3*p. Let u be (-3)/(q/3)*3. Is 9 a factor of ((-11)/3 + u)*-27?
True
Let w = 32 - -88. Does 10 divide w?
True
Is 4 a factor of (-1558)/(-13) - (-62)/403?
True
Suppose -13*l + 17*l - 272 = 0. Suppose 0 = -4*o - 3*h + l, -h + 2*h = -o + 17. Does 9 divide o?
False
Let f(k) = k**3 - 3*k**2 + 2*k - 4. Let v be f(3). Let q be (20/(-8) + v)*38. Let h = 37 + q. Is 9 a factor of h?
True
Does 8 divide (1388/(-90) + 36/162)*-5?
False
Let z be (-2)/(2/3) + 8. Suppose 4*s + 3*o = 29, -2*o + 31 = z*s - 0*o. Suppose -3*x - 100 = -s*x. Is 15 a factor of x?
False
Suppose h - j = 25, -5*h = -6*j + 2*j - 126. Let p = h + -42. Is 9 a factor of (24/14)/(p/(-168))?
True
Suppose 4*k = 19*k - 10560. Is 44 a factor of k?
True
Let o = 15 + -13. Suppose 0*j = o*j. Does 17 divide -2 - 59*(j + -1)?
False
Let g = 1 + 1. Suppose -140 = -1890*c + 1876*c. Suppose -g*y = -c*y + 848. Does 14 divide y?
False
Let u be -2 - (-7 + 1 + 0). Let c(f) be the first derivative of 2*f**3 - 4*f**2 + 8*f + 2. Is 10 a factor of c(u)?
False
Let w(x) be the second derivative of -x**3/3 - x**2 + 5*x. Does 16 divide w(-9)?
True
Is 36 a factor of -42*((-4320)/(-70))/(-3)?
True
Suppose 2 = -s + 2*s. Suppose -5*n = k - 22 + 3, -s*n + 9 = -k. Suppose 0 = 5*t + 2*w - 77, -5*w = n*t - 2*w - 63. Is t a multiple of 4?
False
Let h = 237 + 569. Does 7 divide h?
False
Suppose 2*q + 0*q + 36 = 0. Let j be 1*23*(q + 19). Suppose -2*y + 10 = 0, -y = 2*t + j - 90. Is t a multiple of 16?
False
Suppose -5*l + 2193 = -257. Is 54 a factor of l?
False
Let q be 8/56 - (-1)/(-7). Suppose q = -7*t + 63 + 119. Is 4 a factor of t?
False
Is (-261)/3*9*12/(-18) a multiple of 9?
True
Is 83 a factor of 151034/104 - 20/16?
False
Let b(k) = -9*k + 6. Let o be b(-5). Suppose -3*j + 5*u + 77 = 0, 0 = -2*j + 2*u + 1 + 49. Let i = o - j. Does 9 divide i?
True
Let l(b) = -44*b - 598. Is l(-26) a multiple of 27?
False
Suppose -y - a + 1 = 3, 5*y - 10 = 5*a. Suppose 0 = -8*t + 25 - 1. Suppose -t*s = 3*l - 99, 3*l + y*s - 5*s = 99. Is 16 a