7*(-126)/g?
True
Let x(a) = -17*a + 1. Let s(q) = 33*q - 2. Let o(l) = 2*s(l) + 5*x(l). Let t(p) = p**3 + 5*p**2 + 6*p + 5. Let n be t(-4). Does 29 divide o(n)?
True
Suppose 4*n = 6*n + 42. Let q be (-366)/(-4)*28/n. Does 4 divide (-6)/30 + q/(-10)?
True
Suppose 0*l - 6 = -l. Suppose 5*x + 38 = 2*y, 112 = -2*y + l*y - x. Is y a multiple of 16?
False
Suppose -580*j + 601*j = 54285. Does 16 divide j?
False
Suppose -29*s + 24*s = -875. Is s a multiple of 25?
True
Let q = 1146 + -1022. Is 31 a factor of q?
True
Suppose -8*o = -6*o - 16. Suppose -5*f + l = -l - 23, 2*l = -o. Does 4 divide ((-3)/1)/(f/(-8))?
True
Let t = 384 - 367. Is t a multiple of 2?
False
Suppose 0 = 14*q - 602 - 644. Does 2 divide q?
False
Let s be (-60)/(0 - -4)*-1. Suppose s = t + 2*t. Suppose -t*u + 56 = j, 10 = 3*u - 2*j - 21. Does 11 divide u?
True
Let u(a) = -2*a**3 - a**2 + 10*a + 6. Let j(z) = z**2 - 11*z + 3. Let f be j(11). Let m = -7 + f. Is u(m) a multiple of 26?
True
Let i(d) = 6*d**3 - 3*d**2 + 11*d - 22. Does 26 divide i(4)?
False
Let k = 30 + -30. Suppose k = 2*d - 4 - 140. Does 13 divide d?
False
Let r(p) = p**3 + 11*p**2 + 5*p - 15. Suppose 0*h + 5*h = 4*b + 57, 3 = -b - h. Is 25 a factor of r(b)?
False
Is 10 a factor of (19/(-2))/(1/(-160)*4)?
True
Suppose 3*m - 440 = -5*z, 579 = 4*m + z - 2*z. Is m a multiple of 29?
True
Suppose 5*r - 20 = 4*r. Let c be 4 + -8 + 4*r. Suppose 2*f - 52 = c. Is f a multiple of 30?
False
Suppose 0 = -3*n - 3*h + 447, 7*n = 3*n - 5*h + 594. Suppose -5*l - n = -2*b, 0*b + l + 71 = b. Is 17 a factor of b?
True
Let s = 1963 + -808. Is s a multiple of 11?
True
Suppose -5*c = -2*a - 6 + 1, -4*c - 4 = 0. Let z = 7 + a. Suppose 2*j = z*o + 66, 3*j + j - 3*o = 132. Does 11 divide j?
True
Let b be 746/14 - (-6)/(-21). Suppose 2*q - 97 - 97 = 0. Let r = q - b. Is 11 a factor of r?
True
Let d(s) = -38*s**2 - 1. Let r be d(1). Let n be -12*-2*r/(-6). Suppose -4*z + n = 4*i, -4*i + 4*z - 34 = -214. Does 10 divide i?
False
Let y(o) = -o + 58. Suppose -17*g + 24 = -13*g. Does 13 divide y(g)?
True
Let l(c) = -149*c + 46. Does 19 divide l(-9)?
True
Let s(j) = 4*j**2 + 2*j + 2. Let o be s(-1). Suppose 2*w - o = -5*t, -6*t = -2*t. Is (-52)/(-1) - w/2 a multiple of 13?
False
Suppose -y - 70 = -3*y. Suppose 4*z - 17 = y. Is 15 a factor of (2 + z)*(2 + -1)?
True
Suppose 7*d + 4*b = 2*d, -2*d + 5*b + 33 = 0. Suppose -496 = -6*f + d*f. Suppose -f = 9*j - 1148. Does 28 divide j?
False
Let d be 30/2*5/15. Let f(n) = -5*n**3 - d*n + 11*n**2 + 4*n**3 + 7 - 17. Is 10 a factor of f(10)?
True
Let g be (-2)/(-5)*(-1438 + -27). Let a = -352 - g. Is 18 a factor of a?
True
Let a be -13 + 9 + 2*2. Suppose 0 = -a*p + 3*p - 105. Is (-2)/7 + 1340/p a multiple of 19?
True
Let g be (-13)/(1/18*-3). Let v = 153 - g. Let x = v + -51. Is x a multiple of 12?
True
Let b(k) = -k**3 - 9. Let h be b(-8). Let d = -144 + h. Is 41 a factor of d?
False
Suppose 46*w = 46619 - 5771. Is w a multiple of 37?
True
Let k be ((-1)/3*-10)/((-8)/(-84)). Suppose 0 = 29*i - k*i + 396. Is i a multiple of 13?
False
Let i(u) = u**3 - 9*u**2 + 14*u - 58. Does 13 divide i(10)?
True
Does 20 divide 10/((-23023)/(-4602) - 5)?
True
Let s be 409*(-1 - (-3 - (-4)/4)). Suppose -3*k - 2*h + s = 3*h, 0 = 2*h + 8. Is k a multiple of 13?
True
Does 70 divide (-1 - -10) + (734 - 43)?
True
Let s(j) = -58*j - 72. Does 46 divide s(-6)?
True
Suppose -90 - 9 = -3*h. Let w be h/(-9) - 5/15. Is 20 a factor of (55/w)/((-2)/8)?
False
Let a = -78 + 1449. Is 14 a factor of a?
False
Let h be (-3)/(-15) - -34*9/(-30). Let y(d) = d**2 + 8*d + 55. Does 35 divide y(h)?
False
Suppose -2*a + 5600 = 4*u, -4*a - u - 3987 + 15152 = 0. Is 10 a factor of a?
True
Let j(g) = -161*g**3 + g**2 - 2*g - 2. Let u be j(-1). Suppose 3*k - u = 345. Is k a multiple of 25?
False
Let c(o) = 2*o**2 + 13*o - 10. Let j be (2/4)/((-11)/176). Is c(j) a multiple of 3?
False
Let f(s) = -s**3 - 10*s**2 - 9*s - 5. Let l be f(-11). Suppose -4*j + l = j. Does 12 divide j?
False
Suppose 0 = -4*a - 5*c + 9*c + 996, 3*a = -4*c + 712. Is 7 a factor of (-6)/(-8) + 15/48*a?
True
Suppose -n + 33 = 2*n. Suppose 3*l + l = -z + n, -3*l - 2*z = -7. Suppose -6*d + 96 = -l*d. Does 8 divide d?
True
Let a be (-4 - 69/(-3))/(-2 + 1). Does 8 divide (-8)/(-76) - 492/a?
False
Let t(c) = 2*c + 4. Suppose -4*p - 5 = -3*p. Let v be t(p). Let g(z) = -z**2 - 10*z + 6. Is 15 a factor of g(v)?
True
Suppose 0 = r + 4, 51 = 4*i + 4*r - 109. Let x = i - 28. Is x a multiple of 4?
True
Suppose -3*x = -5*f + 1, -x = -2*f + 2 - 1. Does 5 divide (-390)/(-42) - ((-46)/(-14) - x)?
False
Suppose z - l = 2*z, 4*z = 2*l + 30. Let t(m) = 62*m - 7 - m**2 - m**3 + 7*m**2 - 64*m. Does 2 divide t(z)?
True
Let k = 50 - 3. Let a = 4 + k. Is a a multiple of 6?
False
Suppose 4*n + 4 = 0, -4*d + n - 6*n + 3 = 0. Suppose -5*x + 16 = -2*p + 6, 4 = d*x - 5*p. Is -36*4/(-8)*x a multiple of 11?
False
Is 12 a factor of -1 + 344 + (-133 - -126)?
True
Suppose 0 = 55*m - 59*m + 232. Is m a multiple of 29?
True
Let s be ((-75)/(-45))/((-10)/(-942)). Suppose -3*x = -2*x + 92. Let f = x + s. Does 13 divide f?
True
Suppose 9*s - 46 - 143 = 0. Let z = s - -11. Does 16 divide z?
True
Suppose 54*w - 56*w + 10 = 0. Suppose o = -3*n + 2, -7*o + 76 = -3*o - w*n. Does 3 divide o?
False
Suppose -11516 = -5*s - 4*m, 4*s + 70*m - 75*m = 9180. Does 18 divide s?
False
Suppose -3*t + 2451 = 3*s, 2*t + s + 2*s - 1637 = 0. Is 59 a factor of t?
False
Let p = -144 + 295. Let g(s) = -128*s - 1. Let x be g(-1). Suppose -2*k - 2*k = 5*b - p, 5*b - 2*k - x = 0. Does 9 divide b?
True
Suppose 20 = 8*o - 13*o. Does 10 divide (14/o)/(-1)*28 + 2?
True
Suppose 5*t + 590 = 8*t + 5*x, -3*x - 582 = -3*t. Is t a multiple of 13?
True
Let f = -17 - -16. Let r be (1/2)/(f/(-260)). Suppose -315 = -5*j - 5*l, 2*j = -0*l + 2*l + r. Is 18 a factor of j?
False
Let d = -55 + 58. Does 23 divide 552/d*(1 - (-4)/(-8))?
True
Suppose -4*d = -50 - 30. Let q be (20 - 1)/(3 + -2). Suppose j - d = q. Is j a multiple of 8?
False
Suppose -u = 4*f - 13 - 1, -23 = -2*u - 3*f. Is 13 a factor of (65/u)/((-3)/(-6))?
True
Suppose 0 = 5*y + 3*u - 1106, -2*u - 1121 = -3*y - 2*y. Suppose -2*q - q = o - 217, y = o + 5*q. Is o a multiple of 16?
True
Let y(k) = -k**2 + 15*k - 12. Let n be (-12)/(-84) + 97/7. Let z be y(n). Suppose 0 = -3*l + z*l + 44. Is l a multiple of 21?
False
Suppose 0 = 4*b - 16, -11*i + 3*b = -6*i - 1488. Does 30 divide i?
True
Is 19 a factor of 974 - (120/12 - 4)?
False
Let o(i) = -i + 42. Is o(-6) a multiple of 4?
True
Let b(y) = -20*y - 38. Let n(m) = 13*m + 25. Let p(s) = 5*b(s) + 8*n(s). Does 10 divide p(4)?
False
Suppose 5*p - 1137 = -12. Is 25 a factor of p?
True
Let m = -6 - -10. Suppose -11*f = -m*f - 504. Is 12 a factor of f?
True
Suppose -10*r + 3332 = -3*r. Is 25 a factor of r?
False
Let o(q) = -q + 39. Let y be o(0). Let h = -79 + y. Is (-10)/((h/12)/5) a multiple of 15?
True
Let r = 854 - 584. Does 20 divide ((-3)/2)/((-5)/r)?
False
Suppose 0 = 3*z + 31 - 7. Let i = 11 + z. Suppose b - 24 = 2*n + i, 3*b - 91 = 4*n. Is b a multiple of 7?
False
Let r be (9 + 3)*(-71)/3. Let v = r - -487. Is v a multiple of 45?
False
Let x(f) be the second derivative of f**4/6 + 13*f**3/2 + f**2 + 11*f. Let s(y) be the first derivative of x(y). Does 23 divide s(16)?
False
Let v = 23 + -55. Let t = 43 + v. Is t even?
False
Is -6 - 72/(-9) - -518 a multiple of 5?
True
Let v be (-12 + 15)/((-6)/(-142)). Let l = v - -5. Does 29 divide l?
False
Let q(l) = 84*l + 217. Is q(26) a multiple of 49?
True
Let x(j) = -12*j + 12. Does 72 divide x(-35)?
True
Suppose 0 = 4*o - 1 - 3. Is 23 a factor of (o - -30)*40/8?
False
Let y = 12 - -1460. Is y a multiple of 24?
False
Let r be 7 - (6 + -2 - (-2 + 3)). Suppose -2*n + 34 = 2*k - 196, -r*k = -n + 105. Is 26 a factor of n?
False
Let r = 224 - 121. Is 2 a factor of r?
False
Let l be (4 - -4) + (-1 - 2). Suppose -y - 19 = -2*t - 6*y, 2*y + 4 = l*t. Suppose t*f - f = 29. Is f a multiple of 12?
False
Suppose 0 = -3*r + 6*r - 297. Suppose 0 = 2*u - i - r, 0 = -u - u + 4*i + 108. Is u a multiple of 8?
True
Suppose -r = -3, 4858 + 4652 = 4*b + 2*r. Is 14 a factor of b?
False
Let g(j) = 17*j**2 - 22*j + 108. Does 12 divide g(6)?
True
Let s(m) = -m + 13. Let t be s(11). Suppose 0 = -w - t*z + 11, 4*z = 2*w - 3*w + 15. Suppose 3*k = -