Suppose -39*f + 37*f = -w. Suppose b + 89 = x, 0 = -x - f*b - b + 69. Is 16 a factor of x?
False
Suppose -2*q + 0*q - 2724 = -2*i, q + 5*i = -1344. Is (1 - 12/9)*q a multiple of 65?
False
Suppose -15*d + 1 = -29. Is 2 a factor of (3 + (-11)/(-2))*d?
False
Let a(x) = x**3 + 17*x**2 - 61*x - 18. Let g be a(-16). Suppose -g = 11*i - 4360. Does 22 divide i?
True
Suppose 1 + 3 = n. Let w(k) = k**2 - 32*k - 68. Let m be w(-2). Suppose -n*t = -m*t - 504. Does 40 divide t?
False
Suppose -5*f = -4*r - 27, -9 = 7*r - 4*r. Suppose -4 - 8 = -f*o, -2*d + o + 110 = 0. Is d a multiple of 3?
True
Let d be 7/28 - (-25)/(-4). Let i be 5616/(-60) + (-1 - d/10). Let j = 33 - i. Is 48 a factor of j?
False
Suppose 2*a + 261 = 3*s, 98 = -a - 5*s - 0*s. Let f = a - -83. Let z = f + 60. Is z a multiple of 7?
False
Suppose -t - z = 2*t - 10, -5*t + 4*z + 28 = 0. Suppose 0 = -5*y - 25, t*l - y = -l + 330. Is l a multiple of 3?
False
Suppose 8*m - p = 6*m + 391, 5*m = -p + 974. Let s = -105 + m. Does 15 divide s?
True
Suppose 15*s + 13435 - 24025 = 0. Does 7 divide s?
False
Let l = 135 + -129. Suppose -l*r + 2449 = 361. Is r a multiple of 12?
True
Suppose -102333 = -5*a + 3*h, 6*a + 102345 = 11*a - 5*h. Is 11 a factor of a?
False
Let g(d) be the second derivative of -11*d**3/6 - d**2 + 2*d. Let w be g(-8). Suppose -5*a = -5*j + 340, -2*a - 251 = -5*j + w. Is 14 a factor of j?
False
Let b be (-20 - -40)*(0 + -1). Let c(f) = -25*f - 94. Is 14 a factor of c(b)?
True
Let v(h) = -192*h**3 + 2*h**2 - 6*h. Does 58 divide v(-3)?
True
Suppose 3*p - 2 = -2*b, -34 = -2*b + 2*p + 3*p. Is 6 a factor of 1682*1/b + (-52)/182?
True
Suppose 2*s + 5*d - 25383 = -6535, s + 5*d - 9414 = 0. Is 106 a factor of s?
True
Suppose 0 = -2*v - 4 + 14. Let l(c) = -5*c**3 - 12*c**2 - 9*c - 14. Let m(b) = b**3 + b**2 + b + 1. Let w(s) = -l(s) - 6*m(s). Does 8 divide w(v)?
True
Let b(k) = 18*k**3 - k**2 + 3*k - 2. Let o(n) = n + 1. Let m(v) = v**3 - 7*v**2 - 12*v - 6. Let h(w) = -m(w) - 4*o(w). Let d be h(8). Does 8 divide b(d)?
True
Let b(f) = f**3 + 41*f**2 - f - 37. Let n be b(-41). Is 5 a factor of (n/(-4))/((1 - 5)/1940)?
True
Let s = 77 + -75. Suppose -s*p = 2*p - 144. Does 36 divide p?
True
Suppose 3*l - 1739 = -5*k + 6511, -3*k + 4950 = 2*l. Suppose 29*p = 39*p - k. Does 4 divide p?
False
Let l(b) = 50*b**2 + 32*b + 324. Does 139 divide l(-12)?
False
Suppose -385*m - 3*u - 51481 = -387*m, 0 = 2*m - u - 51471. Does 79 divide m?
False
Let y = 30460 - 18250. Is y a multiple of 22?
True
Let m(o) = -42*o - 319. Let p be m(-9). Is 14 a factor of (-588)/18*(p/(-2) - -1)?
False
Suppose t - g + 7 = 0, 17 + 18 = -5*t - 3*g. Let s(h) = -12*h - 12. Let m be s(t). Suppose b = -0*b + m. Is b a multiple of 18?
True
Suppose -x - 3*x + 12 = 0, z + 247 = 5*x. Suppose -1008 = -0*h - 3*h. Let a = z + h. Is a a multiple of 13?
True
Suppose -33 = -t + 12. Suppose 5*j + 4*i = 34 + 68, t = 3*j - 3*i. Suppose -2*k = -0*k - j. Does 4 divide k?
False
Suppose 5*i - 4*v - 10 = 0, -8*i + 2*v + 2 = -4*i. Is 7 a factor of (32/8)/(-4)*54/i?
False
Suppose 177287 = 347*c - 303*c - 317977. Does 130 divide c?
False
Let d be (6/4)/((-3)/36*-6). Is 0/(1/1) - (-490 - d) a multiple of 15?
False
Suppose 59 = 5*k + 19. Suppose 5*s - 438 = 3*y, k*s - 12*s - 5*y = -343. Does 5 divide s?
False
Let g(n) = 54*n**2 - 56*n**2 + 2*n - 2*n**3 + 4 + n**3. Let w be g(-2). Suppose w = -9*z - 358 + 1087. Is 27 a factor of z?
True
Let b = 466 + -857. Let y = 28 - b. Does 12 divide y?
False
Suppose 0 = -7*l + 1766 + 1321. Suppose -l = -m - 24. Does 18 divide m?
False
Let j = 179 - 176. Suppose -j*t - 468 = -6*t. Does 13 divide t?
True
Suppose 1725 = 4*c - 5*g, 2950 = 7*c - 50*g + 55*g. Does 27 divide c?
False
Let k(v) = 4*v. Let h be k(1). Suppose -f + 0*f + 18 = 5*a, h*f - 120 = 4*a. Suppose 3*q + 4 - f = 0. Is 2 a factor of q?
True
Let h be -15 - -16 - (-2)/(-2). Suppose 3*w + 5*t - 161 = -61, h = 2*w + 2*t - 64. Let o = 153 - w. Does 21 divide o?
False
Let x(m) = 38*m**2 + 26*m. Is x(-10) a multiple of 59?
True
Suppose -g = k + 1, 0 = -3*k + 2*g - 0*g + 17. Suppose -k*t = t - 1292. Suppose -7*v + 13 + t = 0. Is v a multiple of 6?
True
Let t = -398 + 696. Let p = t + 65. Suppose -p = -3*z - 5*f, 4*z + 3*f = -z + 621. Does 20 divide z?
False
Let m(p) = 93 + 2 + p - 19. Does 13 divide m(-24)?
True
Let c(f) = 3*f**3 + 14*f**2 + 86*f - 842. Does 138 divide c(14)?
False
Let u(x) = x - 18. Let d be u(0). Let j(b) = b**3 - 6*b**2 + 7*b - 12. Let g be j(6). Let a = g + d. Is 2 a factor of a?
True
Let y(m) = 2*m - 19. Let l be y(-5). Let k be (-2856)/(-27) - (20/(-9) + 2). Let d = k + l. Is 11 a factor of d?
True
Suppose -2*b - 15573 = -5*m, 0 = 15*m - 10*m + 2*b - 15577. Does 125 divide m?
False
Let r(w) = w + 8. Let i be r(-3). Suppose i*q + 2 = 3*q, -10 = -3*z + q. Suppose -145 = -5*o - 0*s - 3*s, z*o - 2*s - 68 = 0. Is o a multiple of 4?
False
Suppose -6 - 4 = -5*r. Suppose -c + r*c - 5 = 0, -3*l - 60 = -3*c. Is 11 a factor of (-9)/l*385/7?
True
Let j = 493 + -513. Is 4 a factor of (j/8)/(45/(-2808))?
True
Let l be 2/8 - -2*1915/40. Suppose 26*x = 28*x - l. Is 16 a factor of x?
True
Suppose -38*p = -34*p - 36. Let q(i) = 5*i**2 - 4*i + 42. Is q(p) a multiple of 25?
False
Let p be -5 + -21*(-49 + 0). Is (-93)/(-31)*(p/(-6))/(-2) a multiple of 16?
True
Is 94 a factor of (6 + 954/(-30))*(-15090)/9?
False
Suppose -6*t = -17*t - 4*i + 57730, 0 = -4*i - 20. Is t a multiple of 19?
False
Let v(i) = 3*i + 6*i + 15 - 6*i - 2*i. Let c be v(-12). Suppose 5*t - 147 = -4*s + 2*t, 2*t - 111 = -c*s. Does 13 divide s?
True
Let o be 1*-127*8/(56/(-133)). Suppose -20*h + o = -4527. Is h a multiple of 16?
False
Let o = 2312 + 9348. Is 18 a factor of o?
False
Let c(d) = 30*d - 50. Let n(l) = -29*l + 53. Let h(q) = 6*c(q) + 5*n(q). Is h(7) a multiple of 14?
True
Suppose -t + 2 = -3*o - 5, -2*o = 5*t - 1. Let g be 1*2/t - (-2 - -6). Does 15 divide g/(-6) - (0 + (-685)/15)?
False
Let j = -193 - -190. Is 19 a factor of (-7 + -1)/(j/114)?
True
Let m(h) = h**3 - 6*h**2 + 7*h - 4. Let g be m(5). Suppose 15 - g = 3*k. Let p = 78 - k. Is p a multiple of 15?
True
Suppose 5*c + 169 = -4*n, 6*c = 9*c - 4*n + 127. Let i(d) = 2*d**2 + 67*d + 28. Is 12 a factor of i(c)?
False
Suppose -6*d + 914 = -976. Suppose 21*g + d = 30*g. Is g a multiple of 35?
True
Let q be (-8 - 6)*(-2)/(12/27). Suppose 0 = 66*w - q*w - 714. Is w a multiple of 14?
True
Let g be ((-7112)/(-12))/((-2)/(-3)). Let d = g - 462. Does 61 divide d?
True
Let f = -3127 + 13657. Is f a multiple of 30?
True
Suppose 2*j + 3*p - 7592 = 13580, 3*j - 2*p - 31719 = 0. Is j a multiple of 11?
False
Let p = -409 - -436. Let o(i) = i**2 + 33*i - 36. Is 66 a factor of o(p)?
True
Let d(f) = -215*f - 561. Is 11 a factor of d(-36)?
False
Let u be (-12 - -13)/((-1)/(-113)). Suppose 3*p = -3*x + 78, -x = 3*p - 5*x - u. Suppose -m = 3*m - 4*a - 112, m - 4*a = p. Is m a multiple of 3?
True
Let d = -237 + 467. Suppose -y + 4*r + d = 24, 209 = y - r. Does 9 divide y?
False
Suppose 11*d - 58 - 2076 = 0. Suppose -q - 4*q = -670. Let n = d - q. Is 4 a factor of n?
True
Let f = -371 + 30. Let d = -277 + 755. Let h = d + f. Is h a multiple of 26?
False
Suppose 5*h + 112 = -3*c, 0 = -2*h + 4*c - 10 - 14. Is (-24)/(((-285)/h)/(-19)) a multiple of 2?
True
Let o(p) = -p**2 + 7 + 12*p + 0*p**3 - 9*p - p**3 + 3*p. Let i be o(-3). Suppose 2*c - 3 = i, -2*c = 4*h - 26. Is h a multiple of 2?
True
Suppose -82*o = -365*o + 12146360. Does 37 divide o?
True
Let k = 11881 - 3184. Is k a multiple of 13?
True
Suppose 5*n - 7763 = -4*p, 2*p + 80*n - 3884 = 78*n. Is p a multiple of 102?
False
Suppose -v + 338 = -74. Let u = v + -164. Does 58 divide u?
False
Let j(c) = c**3 - 12*c**2 + 13*c. Let o be j(11). Suppose -4*p + 2*b - 32 = -2*b, -o = 3*p - 2*b. Is 10 a factor of 1040/12*p/(-4)?
True
Let v(s) = s**3 + 3*s**2 - 5*s - 4. Let i be v(-4). Suppose i*x = -x + 504. Suppose x = -2*t + 11*t. Is t a multiple of 7?
True
Let v(t) = 6*t - 8. Let h be v(7). Let c(u) = 28*u - 71. Is c(h) a multiple of 13?
False
Let w(o) = 1. Let z(k) be the second derivative of -k**3/3 - 37*k**2/2 - 25*k. Let n(b) = 4*w(b) - z(b). Is n(0) a multiple of 4?
False
Suppose 0*r - 4*o = -r - 7, -4*r = 5*o - 35. Let b be 1*-2 - (r - 9). Suppose b*u + 138 = 5*u. Is 23 a factor of u?
True
Let j(s)