= -h*a - 36. Suppose a*u = 14*u - 80. Is u a multiple of 4?
True
Let k be (-6)/4 + 88/16. Let b(j) = -k + 12*j - 4*j + 3 + 4. Does 19 divide b(2)?
True
Let j(l) be the first derivative of l**4/4 + 2*l**3/3 - 5*l + 5. Suppose 0*t = -3*t + 12. Is 27 a factor of j(t)?
False
Let q = 78 + -45. Let v = q + -31. Suppose 0 = -l - 2*x + x + 21, -2*x = -v*l + 22. Does 8 divide l?
True
Let l be (-1 - 0)*(-5 - -6). Let m be 8*((-4)/(-10))/(12/(-15)). Does 3 divide 172/16 + l/m?
False
Let w = 0 - -5. Suppose 39 = -2*u + 3*k, -u + 49 = -4*u - w*k. Is ((-6)/u)/((-1)/(-24)) a multiple of 5?
False
Suppose 2*s - 51 = -17. Suppose 3*j - y - 36 = 35, -j + s = 3*y. Does 16 divide j?
False
Let z be (-2 + 62)/(3/(-12)*3). Let p = 102 + z. Is p a multiple of 11?
True
Let v(n) = -29*n + 9. Let y be v(-10). Let i = y - 200. Suppose l - i = -2*l. Is l a multiple of 9?
False
Suppose 18 = -s + 4*f, 0 = -2*f + 7*f + 10. Let l = s - -49. Does 14 divide l + (0 - 8/(-4))?
False
Suppose y - 4 = -0. Let w = -2 + 36. Suppose -w = -2*q - y. Does 5 divide q?
True
Let w(z) be the third derivative of z**5/12 - 3*z**3/2 + 5*z**2. Is w(4) a multiple of 11?
False
Suppose 9*g - 6 = 48. Does 22 divide (1 + -67)*g/(-6)?
True
Let f = 42 + -11. Let m be (154/21)/((-2)/3). Let y = m + f. Is y a multiple of 18?
False
Suppose -2*h - 3*z + 4 = 0, 11 = -2*h - h + 4*z. Let r = 4 - h. Is (2 + r)*(1 - -6) a multiple of 16?
False
Suppose 2*y = 3*m - m + 1960, 2*y = -3*m + 1935. Is 37 a factor of y?
False
Let d = -9 - -12. Suppose -2*p = -d*p. Suppose -5*z + 50 = 3*s - 2*s, 3*s - 5*z - 130 = p. Is s a multiple of 16?
False
Suppose i + 5*d = 248, -9 = 2*i - 3*d - 570. Is 7 a factor of i?
True
Let l(f) = f**2 - 13*f + 34. Let r be l(9). Is ((-1)/(6/(-495)))/(r/(-4)) a multiple of 33?
True
Let q(a) = 8*a - 7. Let y be q(3). Is 22 a factor of (-330)/(-9)*y/((-85)/(-6))?
True
Is 10 a factor of ((-7650)/(-68))/(-1 + 46/40)?
True
Let v(y) = -4*y**3 - y**2 + 3*y + 3. Let j be v(-2). Let l(o) = 7*o - 3. Let i be l(2). Let p = j + i. Is p a multiple of 12?
True
Suppose 0*s + 2*a + 12 = s, 5*s - 35 = 5*a. Let g be 10 + (-1 - (-1)/1). Suppose p + g = s*p. Does 10 divide p?
True
Suppose 0 = -5*w + 3*u + 2870, 2*w - 23*u = -20*u + 1148. Is w a multiple of 13?
False
Let d = -334 - -670. Does 56 divide d?
True
Suppose -4*s - 27 = 2*n - 7, 3*n - 4*s - 20 = 0. Suppose 0 = b - 3*k + k - 13, -b = 3*k + 12. Suppose n = o - b*f - 40 + 7, o - 4*f = 37. Does 7 divide o?
True
Suppose -14*o - 132 = -16*o + 3*w, 3*o - 199 = 5*w. Does 9 divide o?
True
Suppose 3*a + 312 = -2*j + 2902, 0 = -5*a + j + 4308. Is a a multiple of 5?
False
Does 16 divide (60 + -1)/((-15)/(-165))?
False
Let k be (-1)/2*16/4. Let h be (1/k)/((-3)/30). Suppose 2*u - 328 = -u + 5*z, 3*u = -h*z + 278. Is u a multiple of 30?
False
Let g(i) = -1363*i + 13. Does 43 divide g(-1)?
True
Let h be -4*((-10)/4 + 4). Is h/(-33) - (-1380)/33 a multiple of 18?
False
Let m(b) = -b**3 - 6*b**2 - 4*b + 2. Let q be m(-5). Let a be 99/27*(q + 0). Let i = 1 - a. Does 4 divide i?
True
Let t(m) = -m**3 - 7*m**2 + 6*m - 4. Let x(l) = -3*l**3 - 21*l**2 + 19*l - 13. Let n(v) = 11*t(v) - 4*x(v). Let u be n(-8). Let p = u + -14. Does 5 divide p?
True
Let x(g) = -g**3 + 8*g**2 + 9*g. Let a be x(9). Let r(i) = i**3 - i**2 + 20. Is r(a) a multiple of 5?
True
Let s(f) = 3*f**2 - f + 1. Let n be s(1). Suppose -n*u = 2*u - 120. Does 8 divide u?
True
Let h(k) = 2*k**3 - 2*k**2 + k + 1. Let c be h(2). Let r = c - -5. Suppose w - r + 52 = y, -3*y + 108 = 3*w. Is y a multiple of 9?
True
Let w = 1428 + -737. Is 89 a factor of w?
False
Suppose 3678 = 5*d + 423. Suppose d = -2*p + 5*p. Let z = -133 + p. Does 17 divide z?
False
Let i(g) = g**3 + 16*g**2 - 146*g - 33. Does 15 divide i(-18)?
False
Suppose -2*u - 5*y + 282 = -3*u, 5*u + 1366 = 3*y. Is (u/(-102))/((-1)/(-39) + 0) a multiple of 14?
False
Suppose 0 = -4*q - 3 + 11. Suppose -3*f = -2*d - 2*d + 4, 5*d - 3*f = q. Does 8 divide ((-2)/(-4) + d)*-10?
False
Let t = -28 - -28. Suppose t = 2*z - 21 - 21. Let g = 51 - z. Does 13 divide g?
False
Suppose -23*j - 298 = -24*j. Suppose j = 4*x - 3*a, -x + 66 + 16 = 3*a. Does 19 divide x?
True
Suppose -5*g + 0*g + 10 = 0. Let t be (-177)/9 + g/3. Let u = -3 - t. Is u a multiple of 7?
False
Suppose l + 1054 = 3*d, -2*d = -3*d + 3*l + 354. Does 39 divide d?
True
Let t = -319 - -363. Is 6 a factor of t?
False
Suppose 0 = 5*d - 20, -6*d = 2*t - d - 280. Suppose 0*l = -5*l + t. Suppose -n - l = -144. Does 28 divide n?
False
Let z = -43 + 358. Is z a multiple of 15?
True
Suppose 0 = -2*f - 11 + 33. Suppose 5 = -x + f. Suppose -x*z + 105 = -z. Is 4 a factor of z?
False
Let h = 74 - -262. Is h a multiple of 24?
True
Suppose 0 = 240*h - 229*h - 34320. Is 11 a factor of h?
False
Let y = 60 + -33. Let s = 50 - y. Does 3 divide s?
False
Suppose -2*b - 95 = -521. Let o = b - 123. Does 30 divide o?
True
Let v = -6 + 7. Let r be -3 - (v + 3)/4. Does 12 divide (r - 56 - -3)/(-1)?
False
Suppose -3*u = 1 + 8. Let f be (7/(-2))/(u/6). Suppose 3*y + f = 4*y. Is 7 a factor of y?
True
Let l(m) = 3*m**3 + 5*m**2 - 3*m + 1. Let w be (-100)/(-28) - 4/7. Is 45 a factor of l(w)?
False
Let b(d) = -d**3 - 10*d**2 - d - 10. Let k be ((-10)/3)/(6/18). Let i be b(k). Suppose i = 3*a - 3, 4 - 1 = h - 4*a. Is 7 a factor of h?
True
Let b(y) = y**2 + 4*y - 8. Let x be b(-12). Suppose 3*t - 4*o - 69 = 0, 2*t - 4*o = -2*t + x. Is 4 a factor of t?
False
Let j(u) be the first derivative of -29*u**2/2 - 9*u - 8. Does 25 divide j(-4)?
False
Suppose -4*z - 2*g + 944 = 0, -15*z = -12*z + 2*g - 710. Does 13 divide z?
True
Let l(t) = -t**3 + 10*t**2 - 10*t + 3. Is 4 a factor of l(7)?
True
Let p(b) = 120*b**2 + 3*b - 2. Is 73 a factor of p(3)?
False
Suppose -2*x = 6, -7 - 2 = 3*t + 5*x. Suppose -3*j + 7 = -c, -t*j + 3*c + 10 = 5*c. Suppose 0*d + j*d = 39. Is d a multiple of 8?
False
Let r = -196 + 335. Is r a multiple of 23?
False
Suppose 0*z - 2*z = -3*b - 181, -4*z - 4*b + 372 = 0. Suppose f - 2*f = -2*o - z, 0 = 5*f + o - 493. Is f a multiple of 14?
True
Suppose 3*a + 5140 = 5*k, -5165 = -8*k + 3*k - 2*a. Does 28 divide k?
False
Let k(t) = 4*t**2 + 13*t + 20. Let l(j) = -j**2. Let a(o) = k(o) + 2*l(o). Is a(-9) a multiple of 26?
False
Suppose 0 = -q + h + 135, -6*q + 2*q + 555 = -h. Suppose 0 = -0*c - 7*c + q. Is c a multiple of 9?
False
Let l(i) = 18*i + 1. Suppose -b - 4*b + 10 = 0. Is 37 a factor of l(b)?
True
Let f(v) be the third derivative of -3/20*v**5 - 1/120*v**6 - 3*v**2 + 0*v - 11/6*v**3 + 0 - 7/24*v**4. Is f(-9) a multiple of 13?
True
Suppose -2*o + 26 = r, -2*r + 5*o = -5*r + 75. Is r a multiple of 3?
False
Let h be (-15)/(-5)*4/(-3). Let c be (-2)/(1*h)*2. Suppose 0 = 3*f - c - 26. Is f a multiple of 5?
False
Suppose 4*b = 14 + 34. Suppose 0*k = 4*t + 5*k - 2, 3*k - b = 3*t. Let h = 12 - t. Is h a multiple of 7?
True
Is 9 a factor of (14/(-7) - 5)/(3/(-243))?
True
Let z = 738 - -1355. Is z a multiple of 84?
False
Let c be 790/(-4) + 1/(-2). Let x = c + 279. Is 9 a factor of x?
True
Let g(b) = 20*b - 2. Let d(i) = -6*i**2 - 4*i + 4. Let u be d(2). Let v = u - -29. Does 12 divide g(v)?
False
Let s(d) = -d**2 - 21*d + 20. Is 13 a factor of s(-11)?
True
Suppose 4*t - 34*t = -27000. Does 75 divide t?
True
Let l(m) = -m**2 + 7*m - 4. Let r be l(6). Let h(s) = -2*s**3 - 33*s**2 + 32*s**r - s**3. Does 10 divide h(-2)?
True
Let s = -71 - -25. Let r = 25 + s. Let h = -15 - r. Does 5 divide h?
False
Let w(x) = -2*x - 7. Let k be w(-7). Suppose k*l - 57 = 4*l. Is 6 a factor of l?
False
Let y(z) = -z**3 - 2*z**2 + 4*z - 3. Let h be y(2). Let s(v) = -2*v - 12. Let q be s(h). Let k = -4 + q. Is 3 a factor of k?
True
Let b = 62 - 113. Let z = b - -91. Is z a multiple of 13?
False
Suppose 0 = -5*m + g + 3*g + 198, 0 = -5*m - 3*g + 184. Suppose -40*h = -m*h - 66. Is h a multiple of 5?
False
Suppose -3*t + 571 = 5*o, 3*t + 4*o = 6*o + 536. Does 14 divide t?
True
Let n(g) = g**3 + 6*g**2 - 6*g - 5. Let o be n(-7). Let k = -14 - -12. Is -6*(8/o + k) a multiple of 5?
False
Is (765 - 1)*(-18)/(-12) a multiple of 72?
False
Let n = 136 - 136. Suppose n = d + 5*d - 30. Is 3 a factor of d?
False
Let i = -46 - -49. Suppose -i*b = -2*t + 64, -4*t + 110 = -t - b. Does 19 divide t?
True
Suppose -5*q = 23 + 22. Let c be (q/(-15))/((-2)/(-30)). Let u = c - 