ivide ((-126)/105)/((-4)/a)?
True
Suppose z - 7772 = -3*f, -12*f = -7*f + 2*z - 12951. Is f even?
False
Let y(z) = 8*z**2 - 38*z - 4. Let v be y(5). Suppose -v*d + 109 = -419. Does 6 divide d?
False
Suppose -792 = 11*h - 33*h. Is 26 a factor of 1844/h - (34/(-9) + 4)?
False
Let h(y) = y**2 - 4*y - 25. Let n be (1 - 0) + -13 + (10 - 5). Let r(i) = i**2 + 11*i + 17. Let z be r(n). Is h(z) a multiple of 35?
True
Let s = 2379 - -737. Is 19 a factor of s?
True
Let h(d) = 16*d + 18. Let t(l) = l**2 + 2*l - 1. Let z be t(-4). Let a be h(z). Suppose 4*p - 104 = -6*c + c, 2*c = -5*p + a. Does 7 divide p?
False
Let s(j) = -j + 4. Let u be s(7). Let k(z) = z**3 - 9*z**2 + 22*z - 9. Let b be k(6). Let x = u + b. Does 6 divide x?
True
Let u = -58 - -60. Suppose -4*p - u + 10 = 0. Suppose 2*g + p*g = 404. Is g a multiple of 28?
False
Let r(d) = -d - 22. Let s be r(-23). Is 9 a factor of 53 + 17 - (-9 + s)?
False
Suppose -263*u - 105 = -248*u. Suppose 4*t - 112 = -4*i, -2*i + 2*t + 67 - 23 = 0. Let f = u + i. Does 3 divide f?
True
Suppose -1158 - 5796 = -61*m. Is m a multiple of 9?
False
Suppose -11*x - 4*x - 15 = 0. Is (-36530)/(-325) + (-3)/(-5) + x a multiple of 29?
False
Let v(x) = -9*x**3 + 9 - 18 - 3*x + 6 - 7*x**2. Let l be v(-2). Suppose -52*h + l*h = -55. Does 4 divide h?
False
Let h be 158*3*(-2)/(48/(-712)). Suppose h = 34*t - 2836. Does 32 divide t?
False
Let h(o) be the second derivative of 2*o**4 + o**3/6 + 5*o**2/2 - 2*o - 9. Is h(-2) a multiple of 9?
True
Let n = 24203 + -13573. Is 170 a factor of n?
False
Let v(q) = q**3 - 36*q**2 + 32*q + 128. Let s be v(32). Let j = -2009 - s. Does 55 divide j?
True
Let h(v) = v**2 + 11*v + 8. Let x be h(-9). Let n = x + 7. Is 1*(-1 - n) + 100 a multiple of 17?
True
Does 25 divide 22/(-121) - (-2081480)/88?
False
Let n(s) be the third derivative of s**6/360 - s**5/120 - s**4/24 + 7*s**3/6 + 6*s**2. Let h(p) be the first derivative of n(p). Is h(6) a multiple of 24?
False
Let l be (-1)/(2/(-120)) + -17 + 17. Let c = l - 59. Suppose 0 = 2*n + 5*m - 10, n + 2*m + 2*m + c = 0. Is n a multiple of 8?
False
Let y be 168/120 + (-3)/(-5). Let l(w) = 106*w + 26. Let s(g) = 53*g + 13. Let h(i) = y*l(i) - 5*s(i). Is h(-2) a multiple of 8?
False
Let m(i) = -i**3 - 12*i**2 - 20*i - 3. Let h be m(-9). Let d = 45 + h. Does 18 divide 1336/28 + (-1 - 27/d)?
False
Suppose -3*y = 3*z - 6, -z = 3*y - 14 - 0. Let t be 4*2*y/16*2. Is 42*(45/t)/5 a multiple of 16?
False
Suppose -d = -2*o - 3, d = -4*d - 2*o + 27. Suppose 134*i - d = 133*i. Suppose i*m + r - 4*r = 151, -125 = -4*m + r. Is m even?
True
Suppose -3 = -2*b + 1. Let t = -119 - -239. Suppose b*x - t = x. Is 30 a factor of x?
True
Suppose 24*b = 592029 - 233325. Is 47 a factor of b?
True
Let b(t) = -2*t**2 + 4*t + 6. Let u be b(4). Let w = u - -15. Suppose 19 = a + 3*o, -w*a - 3*o + 125 = 2*o. Does 3 divide a?
False
Let t(w) = 925*w + 1636. Is 25 a factor of t(7)?
False
Let s(h) = 77*h + 3487. Is s(22) a multiple of 14?
False
Let r = 22237 - 15597. Is 20 a factor of r?
True
Let f = 55 + -61. Let l = f + 10. Suppose -189 = -p + m, l*m - 931 = -5*p + 2*m. Does 26 divide p?
False
Let r(t) = 63*t**2 - 3*t + 2. Suppose 0 = 2*y + 3 + 3. Let n be (y/6)/((-2)/4). Is r(n) a multiple of 8?
False
Suppose 0 = -3*w - 3*u - 424 + 22, -2*u + 252 = -2*w. Let y be w/6*(-1 - 2) + 3. Suppose 0 = 7*v + 12 - y. Is 8 a factor of v?
True
Suppose 2*b = -4*u + 6200 + 10262, 5*b - 4120 = -u. Suppose -u = -15*q + 2605. Is q a multiple of 35?
False
Let q be (-1785)/20*(-120)/9. Does 5 divide (4/(-10))/((-17)/q)?
False
Let l be -141 - (0 + 0)*(0 + 1). Let d(r) = -143*r - 1. Let o be d(-2). Let q = l + o. Is q a multiple of 16?
True
Suppose 986 + 1133 = -5*d - 3*r, -2*r + 4 = 0. Is (-50)/d + 6012/51 a multiple of 30?
False
Let y(j) = j**3 + 10*j**2 + 6*j - 23. Let z be y(7). Suppose -5*a - 2*h + z = -2*a, 0 = 5*a - 5*h - 1445. Is 13 a factor of a?
True
Let g = 1122 + 284. Suppose -4*r + g + 4138 = 0. Suppose -11*d = -17*d + r. Does 18 divide d?
False
Suppose -3*k + 3*r = -15, -3*k = -2*k + 3*r + 7. Suppose -s + 474 = 2*g - 162, k*g = 4*s + 626. Is 21 a factor of g?
False
Suppose -16*b + 265210 = -208934. Is b a multiple of 22?
True
Let x(s) = -13*s + 66. Let t be x(-15). Suppose -t = -17*v + 419. Is 7 a factor of v?
False
Suppose 12*d = -4*t + 11*d + 15, -5*t = 3*d - 10. Suppose -24*y + 9425 = t*y. Does 13 divide y?
True
Let b(k) = 102*k - 66. Let z be b(5). Suppose 4*n + z = 4*o, 4*o + n - 303 - 136 = 0. Is o a multiple of 55?
True
Suppose -23*l = -7*l - 18560. Suppose -z + 4*g = -206, 5*z + 184 - l = 2*g. Is 5 a factor of z?
False
Let n = 7477 + 29138. Does 15 divide n?
True
Suppose -12*v + 61067 = -76381. Is v a multiple of 83?
True
Let o(w) = 4*w**3 + 3*w**2 - w - 3. Let u be o(-3). Let q = 108 + u. Let s = q - -57. Is s a multiple of 21?
True
Let p be (0 - -1) + 0 - -1. Suppose -97*r = -93*r - 3028. Suppose 3*z = -12, -2*a - 3*a - p*z + r = 0. Is a a multiple of 20?
False
Let y(x) = x**3 + 11*x**2 - 11*x + 16. Suppose 2*l = -4*i + 4, 3*l + 2*i = 5*i + 6. Suppose 3*m + 22 = -l*n, 5*n - 33 = 8*n + 2*m. Does 21 divide y(n)?
False
Let w(s) = 10*s**2 + 5*s - 5. Suppose -2*l + 28 = 2*l. Let g be w(l). Suppose -3*q = 5*q - g. Is q a multiple of 31?
False
Let l = -83 - -310. Let h = 524 - l. Is h a multiple of 9?
True
Let c be ((-1122)/(-18) + -6)/((-1)/(-9)). Let b = c - 8. Does 54 divide b?
False
Let f(s) = s**3 + 32*s**2 + 30*s + 17. Let k be f(-31). Suppose -2*j + k = 3*q, -3*j + 4*q = -6 - 32. Does 9 divide j?
True
Let w(n) = n - 122. Let s be w(30). Let i = s - -133. Is i a multiple of 41?
True
Let q(g) = 55*g - 14. Let y be q(-2). Does 25 divide (14 + -12)/((-2)/y)?
False
Let r(t) = -t**2 - 18*t + 138. Let s(b) = b**2 + 13*b - 65. Let m be s(-16). Does 6 divide r(m)?
False
Let x be 4/(-32)*-282*1*-4. Let z = 62 + x. Let u = 124 + z. Is u a multiple of 15?
True
Suppose 3*i + 70 = 4*j, 38 = -5*i - j - 48. Let h(z) = -z**3 - 17*z**2 + 20*z + 34. Let o be h(i). Is 38 a factor of o + 120 + (-16)/4?
True
Suppose -5*g = -5*k, g + 4*g - 45 = -4*k. Suppose 0*x + 12*x = 504. Suppose -k*b = -d + x, 0*d + d - 24 = -b. Is 4 a factor of d?
False
Let p = -1764 - -1867. Does 46 divide p?
False
Suppose 3*z + 0*i = 2*i + 20, 0 = 4*z + 3*i - 4. Let g(m) = m**3 - 3*m**2 - 2*m + 1. Let b be g(z). Let a(s) = 2*s**2 - 13*s + 12. Does 15 divide a(b)?
False
Let v(r) = 88*r**2 + 8*r + 18. Let c be v(-3). Suppose 3*a - 384 = c. Is a a multiple of 13?
True
Let x be (3 - (-21)/(-3)) + 2*4. Suppose x*k + 0*k = 1312. Suppose -17*m = -9*m - k. Does 16 divide m?
False
Let t(g) = 9263*g**2 - 13*g + 22. Is t(1) a multiple of 4?
True
Suppose 9*f = -23*f - 16*f + 405552. Does 71 divide f?
True
Suppose -4*o = 3*j + j - 48, -2*o - 4*j + 22 = 0. Suppose -o*h + 11*h = -116. Is 6 a factor of 3 + (h + 0 - -5)?
True
Let l = 7 - 5. Suppose 9*x - l*x = -735. Let j = x - -210. Is j a multiple of 32?
False
Let a(x) = -x**2 - 6*x - 6. Let p be a(-3). Suppose -p*z = 7 - 7. Suppose 3*u = -4*m + 177, 4*u + m - 223 = -z*m. Does 6 divide u?
False
Let z = -258 - -260. Is (-915)/(-10) + ((-21)/(-6) - z) a multiple of 13?
False
Let v be (-7)/(35/(-20)) + 10143. Suppose -21*l + v = -1403. Does 25 divide l?
True
Let m = 3437 - 1006. Does 17 divide m?
True
Let p(c) = -2*c**2 + 7*c + 16. Let u = 51 + -56. Let n be p(u). Does 6 divide (n + -1)/(-13 + 12)?
False
Suppose 1444 = 30*a - 11*a. Suppose -o - a = -24. Let s = 66 + o. Is s a multiple of 4?
False
Suppose 4*c = 138*f - 142*f + 111436, 3*f = 2*c - 55693. Is 38 a factor of c?
True
Suppose 0 = 5*d + 86 - 231. Let n = d - 22. Suppose -39 = -3*b - n*t + 4*t, 0 = 2*b + 5*t - 41. Is 4 a factor of b?
True
Let l(b) = -b**2 - b - 3. Let x be l(-3). Let y be (x/(-6))/(27/6498). Let t = -207 + y. Does 24 divide t?
False
Let v(c) = c**2 + 4*c + 28. Let h be (-6)/15 + 84/35. Suppose -2*u - 2*u = 12, h*i + 4*u + 28 = 0. Is v(i) a multiple of 30?
True
Suppose -2*b - 4 = 3*d, -4*b - b = 5*d. Let u be (-6)/(-16) - 2465/(-40). Suppose b*c - u = 38. Is 5 a factor of c?
True
Suppose 82*m - 17358 = 60*m. Suppose -3789 + m = -30*v. Is 10 a factor of v?
True
Let n = -4267 - -4289. Let o be (13 - 2)/(2/70). Suppose -o = -27*z + n*z. Does 14 divide z?
False
Let c be (-5)/((-20)/14)*-50. Let i = 219 - c. Is 26 a factor of 