3 + 97)/(36/2784). Suppose 0*r = 15*r - h. Is 23 a factor of r?
False
Suppose 85 - 922 = 4*k + 3*y, 5*k - 2*y = -1075. Let z(w) = -23*w + 4. Let f be z(4). Let v = f - k. Is 25 a factor of v?
True
Let q be (-168)/189*-9*1. Suppose -q*z + 443 + 1157 = 0. Is 24 a factor of z?
False
Let s(v) = v**2 - 6*v + 9. Let l be s(3). Suppose 2*b = -3*u, b = -l*b + 3*u + 9. Suppose -5*y + 388 = -b*m, 5*y - 419 = 5*m - 39. Is y a multiple of 16?
True
Let f(v) = -v**2 - 3*v + 9. Let u be f(-5). Let a = 2 - 3. Is 14 a factor of (-24 - a)/(1/u)?
False
Suppose -33*n = -36*n - 435. Let j be 382/(-18) + -3 + n/(-45). Is 12 a factor of (443 + 4)*(-7)/j?
False
Let p(o) = 2*o**2 - 3*o + 1. Let y be p(2). Suppose 0 = -47*k + 52*k - 15. Suppose -3*s = -5*q - 101, 0*s + k*s = y*q + 99. Is s a multiple of 16?
True
Let c(d) = 176*d - 1. Let r(b) = -b + 2. Let w(l) = -c(l) - 2*r(l). Does 3 divide w(-1)?
True
Let r(p) = -p**2 - 194*p + 111. Is 80 a factor of r(-117)?
True
Suppose -3*h = -9*h + 36. Is 4 a factor of (4/(-18))/(6/(-342))*h?
True
Suppose -8*w - 6*w = 15*w. Suppose -2*b - q + 105 = w, -3*b + 211 = b + 3*q. Is b a multiple of 13?
True
Is 14 a factor of (-6 - 1)/(41/(-3116))?
True
Does 204 divide 18555/(-10)*44/(-14)*(-42)/(-18)?
False
Let d(p) = -p**3 - 6*p**2 - 6*p + 1. Let n be d(-6). Suppose -l = -339 + n. Suppose -x = 4*y - 93, 0 = -3*x - x - 2*y + l. Is 13 a factor of x?
False
Let v be (-69)/(-92)*(-28)/1. Let l be (-162)/v + (-2)/(-7). Is 34 a factor of (-3580)/(-15) + l/(-12)?
True
Let q be 394/6 - (-18)/54. Suppose -3*d = -6*d + q. Suppose -88 = -26*l + d*l. Does 22 divide l?
True
Is 63 a factor of (34/(-85))/((-4)/32100)?
False
Let x(k) = 165*k**3 + 5*k**2 + 5*k. Let u be x(-1). Let f be ((1 - -1) + 0)*u/10. Let p = -23 - f. Is 10 a factor of p?
True
Let l be (-3962)/70 - 4/10. Let u be 6/l + 61593/133. Suppose -9*m - u + 1876 = 0. Does 18 divide m?
False
Let n(f) = 310*f + 2637. Is 67 a factor of n(113)?
False
Suppose 0 = 277*m - 279*m - 16. Does 31 divide (-33155)/(-40) + m/(-64)?
False
Let k be 4/6 - 20/(-15). Suppose 5*m + 54 = -k*b + 149, 4*b - 226 = 2*m. Does 4 divide b?
False
Let o(m) = 7 + 3*m**2 - 1 + 137*m**3 + 4*m - 136*m**3. Let b be o(-3). Does 8 divide 108/(-10)*(b - -1)?
False
Suppose n + 10*n = 2*n. Is (n + 5)/20 + (-118)/(-8) a multiple of 5?
True
Suppose -26*o + 4*t + 14681 = -23*o, -9841 = -2*o - 5*t. Does 34 divide o?
False
Suppose -2*h - 22590 = -3*v, -v - 30*h + 7551 = -33*h. Is v a multiple of 11?
True
Suppose -14*c + 3095 = -4563. Let j = c - 184. Is 7 a factor of j?
False
Let b = 4 - 91. Let m = b + 851. Is m a multiple of 55?
False
Suppose 4*i - 6*k = -2*k, -10 = -2*i - 3*k. Let b be (38/9 - 12/54) + i. Suppose b*l - 48 - 108 = 0. Does 3 divide l?
False
Suppose 5559 - 174 = 15*y. Is 10 a factor of y?
False
Suppose 2761390 = 116*i - 2765885 + 998403. Does 18 divide i?
True
Let s(b) = 55*b - 11. Let l be s(-6). Is 73664/124 + 22/l a multiple of 22?
True
Let h(n) = 6*n - 17. Let g(k) be the first derivative of 5*k**2/2 - 18*k + 19. Let s(r) = -5*g(r) + 4*h(r). Is s(8) a multiple of 11?
False
Let q be (-20)/30*(-6)/(-4) - 12. Let m(t) = -61*t - 111. Is m(q) a multiple of 31?
True
Suppose x - 3 = 2. Suppose -x*d - d = 192. Let y = 76 - d. Does 27 divide y?
True
Let o be (-32)/(2/30*62 + -4). Does 13 divide 208/10*o/(-32)?
True
Is 47 a factor of (-3954)/((-678)/2592 + 36/486)?
False
Let c(b) = b + 7. Let g(r) = r + 12. Let n(u) = -10*c(u) + 4*g(u). Let l be n(-8). Suppose -s + 91 = -l. Does 13 divide s?
True
Does 26 divide (3/((-108)/312))/((-12)/3888)?
True
Let k = 49 - 40. Suppose k*l + 3258 = -315. Let a = l + 559. Is a a multiple of 18?
True
Suppose -14*k = -18*k + 680. Let c = k - -156. Is c a multiple of 26?
False
Let a(d) = 7*d**2 + 20*d - 41. Let l(v) = 6*v**2 + 21*v - 40. Let s(j) = 5*a(j) - 6*l(j). Is s(-26) a multiple of 7?
True
Let x = 3122 - 4394. Let s = x - -2533. Is 13 a factor of s?
True
Suppose 4*h - 4*z - 32 = 0, -4*z - 8 = -h + 3*h. Does 7 divide -5*72/(-80)*h?
False
Let p(h) = h**3 + 12*h**2 + 7*h + 8. Let a be 16/6 - (-1)/3. Suppose a = z + 14. Is 24 a factor of p(z)?
False
Let j = 4 + -2. Let q be 490*(0 + 15/6). Suppose -5*b + q = j*b. Does 25 divide b?
True
Let u = -1767 + 2512. Suppose 3*k - 3*t - 477 = 0, -5*k - 3*t - 2*t + u = 0. Let q = 289 - k. Is 13 a factor of q?
False
Let c be (8/(-12))/(4/(-354)). Suppose 5*n + c = -31. Let j = 58 + n. Is j a multiple of 10?
True
Suppose 2*u - 248 = 2*i + 4*u, -5*u = i + 140. Does 60 divide (i/32)/(287/144 + -2)?
True
Let w be (-2)/(-7) - (-295350)/(-462). Let z = 1206 + w. Is 21 a factor of z?
True
Suppose -212*n + 4830 = -206*n. Is n a multiple of 25?
False
Let a(x) = -x**2 + 6*x - 6. Let i be a(4). Suppose i*r + 3*g - 687 = 0, g - 1395 = -4*r + 2*g. Is 29 a factor of r?
True
Suppose -5*l = 4 + 11. Let c be (-9)/(-6)*(l + 2 - -3). Is -11*c/6*-2 a multiple of 2?
False
Let q(z) = z + 7. Let w be q(-3). Let a be ((-85)/w + -2)*-4. Suppose 3*x = a + 78. Does 10 divide x?
False
Let z(j) = -4*j**3 - 13*j**2 - 14*j - 8. Let b(f) = 8*f**3 + 26*f**2 + 28*f + 14. Let i(g) = 2*b(g) + 5*z(g). Does 14 divide i(-8)?
True
Let b be -95 + 91 - (0 + -5). Suppose -2*h + 3*h - 772 = -5*c, -5*h + 626 = 4*c. Let n = c - b. Does 9 divide n?
True
Suppose -29*k + 9752 = -21*k. Suppose 14*t - 6621 = k. Is t a multiple of 16?
True
Suppose 3*q = -3*b + 162, -5*b - 36 = -19*q + 18*q. Suppose 14*c = q*c - 31339. Is 14 a factor of c?
False
Let s(n) = -17*n + 0 - 7*n + 3. Let q be 7 + -13 + (-4 - -7). Is s(q) a multiple of 15?
True
Let p(b) = -b**2 - 38*b + 47. Let m be p(-28). Suppose 2*z + v = -2*v + m, -4*z = 5*v - 649. Is z a multiple of 16?
False
Let g(z) = 13*z**3 + 2*z**2 + 3*z + 4. Let v be g(3). Let r be 92/20 - (-9)/(-15). Suppose -r*k + v = -350. Is k a multiple of 51?
False
Is (9 + -2517)/(-1) - 17 a multiple of 14?
False
Is 7 a factor of 24/324 - (-102146)/297?
False
Let z be (14/35)/((-1)/(-20)). Let l be (-1)/(12/z)*-702. Suppose 11*r = -r + l. Does 20 divide r?
False
Let r = -38 - -57. Let w(y) = 24*y + 12. Does 15 divide w(r)?
False
Let a(u) = 12*u**2 - 46*u - 517. Is 17 a factor of a(-40)?
False
Suppose -6*c + 10*c = 11528. Let l be c/44*8/2. Let w = l - 162. Is w a multiple of 10?
True
Suppose 3*b - 19 = -4. Suppose -4*m + 24 = -2*d - 44, -b*m = -d - 88. Is 8 a factor of m?
False
Let u(r) = 17*r + 54. Let m be u(-2). Suppose -9*w + m*w = 9757. Does 12 divide w?
False
Suppose 36 = -11*v + 15*v - f, -3*f = 3*v - 27. Suppose v*n + 30 = 12*n. Is 10 a factor of n?
True
Let y = 3274 + -2027. Is 5 a factor of y?
False
Let c be (-30)/(-24)*(-3 - -7). Suppose 4*y = c*y - 30. Is y a multiple of 9?
False
Let w = 4 + -11. Let a(g) be the second derivative of g**4/6 + g**3/3 + 6*g**2 - g + 404. Is a(w) a multiple of 8?
True
Let s = 23967 + -8641. Is s a multiple of 13?
False
Let v be (-170)/((-1)/((-36)/(-116)) - -3). Suppose 720 + v = -3*q. Let b = -346 - q. Is 29 a factor of b?
False
Let b(h) = 20*h + 257. Let v be b(15). Suppose 0 = -2*o + 3*p + 353, -3*o + v = -2*p + 3*p. Does 28 divide o?
False
Let c be 1 - (-2)/3*6. Suppose 2*h - c*j + 16 = -j, j - 15 = -5*h. Suppose h*d - 3*w = -w + 266, -2*d + 254 = w. Is 43 a factor of d?
True
Suppose 7*f - 2*f = 22400. Does 16 divide f?
True
Let l be 2/6 - 906/(-9). Suppose l = 6*y - 103. Suppose -16 = -z + 5*z, -z + y = 2*u. Does 12 divide u?
False
Suppose 0 = 4*h + l - 1265, 134*l - 136*l = 3*h - 945. Is h even?
False
Let x(g) = g**3 + 14*g**2 + 23*g - 7. Let o be x(-12). Suppose 37*b + o*w - 1255 = 33*b, 5*b - w - 1576 = 0. Does 15 divide b?
True
Let m(c) = 3*c**2 - 90*c + 2532. Is 196 a factor of m(132)?
True
Let t be -2 + 21 - 6 - -5. Does 27 divide (t/(-3) - -2) + 325?
False
Let h = -585 + 511. Let g = 228 - h. Is 34 a factor of g?
False
Let f(u) = -22*u - 24. Suppose 3*q = 2*y + 27, 5*q - 9*q = -y - 16. Is 15 a factor of f(y)?
True
Let p(j) = -j**3 - 4*j**2 + 19*j + 1. Let b(o) = 2*o**3 + 7*o**2 - 39*o - 3. Suppose 1 = 5*v - 14. Let w(g) = v*b(g) + 7*p(g). Does 16 divide w(-9)?
True
Let w = -5770 + 9689. Is w a multiple of 130?
False
Suppose 0 = 9*m + 6*m - 240. Does 10 divide 4/32 + 798/m?
True
Let t(q) = q**2 + 228*q - 1003. Is t(110) a multiple of 93?
True
Let m(b) = b**3 - 2*b + 36. Suppose 0 = -2*x + 6. Suppose 0 = 7*y + y - x*y. I