 Suppose -i*h - 1338 = -9*h. Does 17 divide h?
False
Is 32880/(-64)*(-32)/24 a multiple of 31?
False
Let o be -5 - 840/(-5) - (-6)/2. Suppose 2*u - 54 = o. Is 11 a factor of u?
True
Let a be -2*1 + (-104)/(-13). Suppose 2*r = 3*p + a, -p = -2*p + 2. Is r a multiple of 6?
True
Suppose 0 = 4*f + 836 + 220. Let o = 415 + f. Is o a multiple of 19?
False
Suppose 5*z + h = 12194, -4*z + 7*h - 8*h + 9755 = 0. Is z a multiple of 39?
False
Let u be -1*(4 - 3 - -54). Let k = -16 - u. Does 16 divide k?
False
Suppose t + 8*k = 4*k + 203, -3*t + 674 = -k. Is 12 a factor of t?
False
Let s be 9 + 12/(-4) + -2. Suppose 0 = u - s + 1. Is 12 a factor of 1/((-12)/(-116))*u?
False
Let x = -1513 - -1655. Is 8 a factor of x?
False
Let v = 315 + 27. Does 29 divide v?
False
Does 6 divide (-192)/(-5) - (-8 - (-504)/60)?
False
Let d(v) = v**2 + v - 2. Let w be d(2). Suppose -4*p - 16 = -2*u, w*p - 26 = -u - 4*u. Does 6 divide 10*4/40*u?
True
Let c(h) be the first derivative of h**4/4 + 19*h**3/3 - 2*h**2 + 14*h - 1. Does 30 divide c(-19)?
True
Let c = 102 + -74. Is 2/8 - ((-5313)/c - 2) a multiple of 16?
True
Suppose -n = 3*d + 60, 5*n - d + 300 = -2*d. Let j = -29 - n. Is 9 a factor of j?
False
Let q(l) = l**2 - 9*l - 14. Let c(w) = -w**2 - w - 10. Let t be c(0). Is 11 a factor of q(t)?
True
Let v(z) = 2*z**3 - 6*z**2 + 4*z + 4. Suppose 0*a + 9 = 2*x - a, -24 = -2*x - 4*a. Suppose -2*w - 16 = -x*w. Does 24 divide v(w)?
False
Suppose 0 = 53*t - 19016 + 731. Is 15 a factor of t?
True
Let b be (-190)/25 + (-10)/25. Let o(q) = -6*q + 11. Is o(b) a multiple of 6?
False
Let w be 1/(-4)*2*-128. Suppose 5*l - 36 = w. Is 8 a factor of l?
False
Let b = -5 - -8. Let i = b - 0. Suppose 5*v - 60 = i*s, 0 = 4*v + s - 6*s - 35. Is v a multiple of 8?
False
Let q = 12 - 19. Let y = q - -9. Is ((-38)/y)/(4/(-8)) a multiple of 18?
False
Let o = 935 - -825. Is 80 a factor of o?
True
Let l = 26 + -17. Suppose -l*h = -686 - 718. Is h a multiple of 7?
False
Let t = -12 - -30. Let x = t - -8. Let g = 4 + x. Is g a multiple of 15?
True
Suppose 0 = -3*j + 5*j. Let a be (-3 - -6)/(1 - j). Suppose s - 6 = -a*r, 2*s - r + 5*r = 16. Does 9 divide s?
False
Let j = 538 + -358. Does 15 divide j?
True
Suppose 3*f + z - 45 = 3*z, -f - 5*z = 2. Suppose 5*o = f + 12. Does 5 divide 13 - (0 - (o - 3))?
True
Let t = -14 + 14. Suppose -4*g + 8 = -t*g. Suppose -5*i + 33 + 34 = g*z, -5*i - 3*z = -68. Is 7 a factor of i?
False
Suppose 19*j = 20408 - 5208. Is j a multiple of 38?
False
Let j = 37 - 35. Suppose -j*t = -24 - 320. Is 36 a factor of t?
False
Let j = -302 + 496. Is 54 a factor of j?
False
Let x(j) = -j**2 - 13*j + 3. Let r(h) = 13*h + 2. Let u be r(-1). Is 5 a factor of x(u)?
True
Let r be (2/(-8))/(2 + 14/(-8)). Let l(f) = 12*f**2 - f - 2. Is l(r) a multiple of 2?
False
Let r(t) = t**3 + 20*t**2 + 29*t + 40. Let w be r(-19). Is 22 a factor of (4080/w)/(-1*(-2)/(-15))?
False
Suppose 11 = -4*n + 95. Let x = n + 128. Does 23 divide x?
False
Let q = -357 + 688. Does 14 divide q?
False
Is 34 a factor of (-21*(-20)/(-150))/(2/(-745))?
False
Let s = -134 + 288. Suppose 4*r + 3*a - 134 = 2*r, 2*r = 2*a + s. Is r a multiple of 20?
False
Let p(f) = 5*f + 10. Let v be p(-6). Does 4 divide -5*(152/v - -3)?
False
Suppose -4*c + 1939 + 673 = 0. Suppose 4*x - 35 = c. Is x a multiple of 46?
False
Let l = -266 + 374. Suppose -2*o + 3*o = l. Does 12 divide o?
True
Let i = 16 + -24. Does 10 divide 7 - (-1332)/16 - (-2)/i?
True
Suppose 0 = -26*a + 1481 + 1457. Does 14 divide a?
False
Let w(t) = 37*t**2 - 4. Let u be w(2). Suppose -5*n + 9*n = u. Is 9 a factor of n?
True
Is (-4 + (2 - 0))*(-378 - -19) a multiple of 8?
False
Suppose -x = x - 2044. Suppose 9*g - 2*g = x. Does 7 divide g?
False
Let y be (5/(-3))/(-2 + (-10)/(-6)). Suppose 4*q = 4*j - 120, -1 - 99 = -3*j + y*q. Does 14 divide j?
False
Suppose y + y - 46 = 0. Suppose 0 = 3*d - y - 25. Does 5 divide d?
False
Let k = -540 - -992. Does 12 divide k?
False
Let o = -5 + 5. Suppose o = 7*m - 6*m - 24. Is m a multiple of 7?
False
Suppose 16*o = 15*o - 2. Let k(d) = -10*d**2 + 3*d - 7. Let j(r) = 5*r**2 - r + 3. Let a(i) = 10*j(i) + 4*k(i). Is 17 a factor of a(o)?
False
Is 7 a factor of (-4)/26 - 1025/(-325) - -381?
False
Let z be -1*(-6)/(-4)*-2. Suppose -3*t - 3*u = -1341, 2*t - z*u - u - 924 = 0. Suppose -5*r + t = 117. Is 20 a factor of r?
False
Suppose 5*o = 4*z - 3*z + 698, -5*o - 4*z + 708 = 0. Suppose o = -22*j + 26*j. Is 7 a factor of j?
True
Let l(g) = g + 2. Let q be l(-5). Let s(p) = 2*p**2 - 6. Let j be s(q). Suppose 2*y - 46 = -j. Is 17 a factor of y?
True
Suppose 5*w + 3*o = -2*o + 80, -2*o = 6. Let t = w + -5. Let y = t + -11. Is 3 a factor of y?
True
Let i(o) be the first derivative of o**3/3 + 9*o**2/2 + 4*o + 18. Does 8 divide i(4)?
True
Let r be 5/1 + 2/(-2). Let l be (r/(-3))/(4/90). Let k = l - -50. Is 16 a factor of k?
False
Let l(c) = -c**3 - 6*c**2 + 7*c + 11. Let y be l(-7). Let s be -13 - (y + -3 + -4). Let r = 85 + s. Is 19 a factor of r?
False
Let n(p) = -p**3 + 4*p**2 - 3*p + 4. Let u be n(3). Let l = u - 2. Suppose -3*r - 239 = -5*t, t = -l*r + r + 51. Is 16 a factor of t?
False
Let x(w) = w**3 - 3*w - 2. Let v be x(-2). Let n(m) be the first derivative of -11*m**2/2 - 2*m - 13. Is 14 a factor of n(v)?
True
Suppose 3*z + z - 5*g = 101, 0 = 4*z - 2*g - 86. Let j = 24 - z. Suppose -b = -j*o - 3*b + 158, 4*o + b = 127. Is o a multiple of 14?
False
Let x be (5 + 23)*(-1)/(-2). Let y = x - 12. Suppose 0 = -y*s - s + 27. Does 5 divide s?
False
Let i = -22 + 26. Suppose -4*f - i*h + 73 + 63 = 0, 0 = 4*f - 5*h - 127. Is f a multiple of 15?
False
Let h(i) = 4*i**2 + i + 1. Let u be h(-1). Suppose -3*d - u*v - 3 = -1, -d = -3*v + 5. Does 2 divide 3*-4*d/8?
False
Let a(r) be the first derivative of r**5/120 + r**4/6 - 4*r**3/3 - 1. Let x(o) be the third derivative of a(o). Is 2 a factor of x(-2)?
True
Suppose 4*s - 1860 = s. Suppose -5*r + 3*h + s = h, 393 = 3*r + 3*h. Suppose 3*m + 6 = r. Does 9 divide m?
False
Let c = 586 + -106. Does 30 divide c?
True
Let j(c) = -4*c**3 + 5*c**2 + 14*c - 5. Let k(s) = -7*s**3 + 10*s**2 + 27*s - 10. Let m(p) = 5*j(p) - 3*k(p). Is 10 a factor of m(7)?
False
Let u(v) = 57*v**2 - v + 1. Suppose 4 = -3*o + 7. Let s be u(o). Suppose l = -3*n + 11 + 13, s = 2*l + 3*n. Does 11 divide l?
True
Let v = 12 - 9. Suppose 2*h + v*h = 0. Does 13 divide (1 + h)/1 + 28?
False
Let z be -3*2*(-50)/(-30). Let b = 15 + z. Suppose b*l - 315 = 85. Is 21 a factor of l?
False
Let s(f) be the third derivative of 6*f**2 + 0*f - 5/24*f**4 - 2/3*f**3 + 0 + 1/60*f**5. Is s(-3) a multiple of 9?
False
Let d(u) = 2*u**3 - 2*u**2 - 15*u - 1. Let y be d(-11). Is 19 a factor of (2/4)/(y/(-456) + -6)?
True
Let c(t) = 3 + 5 + t**2 + 8*t**2 - 6*t**2. Let a be c(5). Let y = -43 + a. Is y a multiple of 18?
False
Suppose 0 = -n + 4*s - 5, -s = -2*n + s - 10. Let y = n - -9. Is 3 a factor of y?
False
Let i(z) = z**3 + 6*z**2 + 6*z + 6. Let f be i(-5). Let d be 6/(-3) - (f + -20). Suppose -d*y + 12*y = -95. Does 13 divide y?
False
Let g(x) = 12*x**2 + 5*x + 5. Let n be g(-3). Let m = 187 - n. Is m a multiple of 22?
False
Let x be ((-6)/3 - 15) + -1. Let t be (-555)/x + (-2)/(-12). Does 17 divide t - (0 + 6)/(-2)?
True
Let y = -891 - -2691. Is 10 a factor of y?
True
Let o(x) = -11*x + 3. Let v(l) = l - 12. Let f be v(9). Is o(f) a multiple of 18?
True
Let k(z) = 3*z - 35. Let u be k(23). Suppose -u + 194 = 4*s. Is s a multiple of 2?
True
Let t(o) be the third derivative of 2*o**2 + 0 + 0*o - 5/8*o**4 - 1/60*o**5 - 1/2*o**3. Is 12 a factor of t(-10)?
False
Let p(i) be the second derivative of i**3/2 - 13*i**2/2 + i. Let w = -9 + 18. Is p(w) a multiple of 7?
True
Suppose 0*o - 330 = -3*x - 3*o, 2*x - 4*o - 244 = 0. Suppose 0 = -5*c + 426 + x. Is c a multiple of 9?
True
Let u(v) = 9*v - 5*v + 9*v. Let d be u(-4). Let i = d - -78. Is i a multiple of 13?
True
Let m = -894 + 2584. Is 10 a factor of m?
True
Does 18 divide ((-66)/(-27))/11 - 22370/(-18)?
False
Let i be 6 + 0 + (-5)/5. Suppose 18 = -i*t + 493. Does 12 divide t?
False
Let i = 2 - -23. Let l = -18 + i. Let g(s) = -s**3 + 8*s**2 - 5*s + 6. Is g(l) a multiple of 10?
True
Let x(a) = 13 + 2*a - 22 + 20. Let m be x(0). Let d(w) = -w + 17. Is 4 a factor of d(m)?
False
Suppose 3*y - 48 = -3*r, -y - 18 =