) = -k. Let h(y) = -3*c(y) + 12*f(y). Is h(u) a multiple of 28?
False
Suppose -3*c + 490 = -59. Suppose 7*s + 3*h = 3*s + 681, -5*h = s - c. Is s a multiple of 21?
True
Let d(c) = 2*c**2 + 7. Suppose w + 4 = 0, -4*w - 14 - 50 = -4*j. Suppose 5*z = -4*g + 8*z - j, 0 = 5*g + 5*z + 15. Is d(g) a multiple of 5?
True
Suppose 6934 = 19*p + 493. Let k = p + -204. Is k a multiple of 27?
True
Suppose -275 + 231 = -4*o. Let t(x) = 63*x - 64. Does 17 divide t(o)?
True
Suppose 50347 = 100*n + 42*n - 982845. Is 34 a factor of n?
True
Let l = -302 - -401. Suppose 4*v - 1043 = -l. Is 7 a factor of v?
False
Let q be (-1 - 2/1) + 425/17. Let h = -31 + q. Does 7 divide (-2)/h + (-250)/(-9)?
True
Suppose 14*c - 3821 = 13*c + 2*q, -c + 3831 = -4*q. Does 37 divide c?
True
Let j = -4599 + 4935. Is j a multiple of 6?
True
Let v(w) = -31*w - 62. Let u be v(-2). Suppose n - 3*p - 1502 = u, 2 + 0 = p. Is n a multiple of 13?
True
Suppose -3*c - 13 = -16*c. Let n be 0/((2*(-2)/2)/c). Suppose -2*d - 5*h = -0*h - 26, -4*d - 4*h + 64 = n. Is 8 a factor of d?
False
Let u(l) = l**2 - 3*l - 3. Let x be u(5). Suppose x*q - 31 = -3. Suppose 2*y - 12 - q = 0. Is y a multiple of 4?
True
Let b(m) = 22*m**3 + m**2 - 1. Let p be b(3). Is (p/21)/((-1)/(-18)) a multiple of 12?
True
Suppose 9*a + 7*a - 102 - 4858 = 0. Does 3 divide a?
False
Let t(s) = 26*s**3 - 6*s**2 + 18*s + 10. Does 10 divide t(7)?
True
Let p(o) = -50*o**2 - 5*o + 5. Let d be p(1). Let f be (d/40 - (-2)/8)*1. Does 2 divide (1*f)/(17/(-459)) + -4?
False
Suppose -3*w + 3*r = -24, -16 = w - 4*w + r. Let v(c) = c**2 + 18*c + 61. Let g be v(-14). Suppose f - 2*f = -g*y - 121, -w*f = -3*y - 501. Does 26 divide f?
False
Let j(p) = 2*p**2. Let a be j(1). Suppose -15 = -o + 3*d + 23, 4*d - 76 = -a*o. Let t = -2 + o. Is t a multiple of 5?
False
Let w = -1295 - -3560. Does 11 divide w?
False
Let q = -2550 - -2616. Does 6 divide q?
True
Suppose 1096*g + 4*f - 40733 = 1095*g, 0 = 4*g - 2*f - 162986. Is 146 a factor of g?
False
Let r = -1985 + 4768. Is 2 a factor of r?
False
Suppose o + o = 10. Let w be -2 + (1 - (-12)/3). Suppose 0 = o*y + 2*i - 5*i - 294, 186 = 3*y + w*i. Is y a multiple of 12?
True
Let k be 6/(36/(-1398)) - -5. Let x = k - -237. Is x even?
False
Let n(l) = -358*l + 3918. Is 256 a factor of n(-67)?
True
Let f(o) = 31*o**3 - o**2 + 3*o - 5. Let s be f(2). Let n = -106 + s. Suppose -19 + n = y. Is 30 a factor of y?
True
Suppose 2*n - 7370 = -4*l, 2*l - 14782 = 354*n - 358*n. Does 67 divide n?
False
Let p = -610 + 10018. Does 56 divide p?
True
Suppose -82*v = -76*v - 252. Is (9/(-6))/(v/(-196)) a multiple of 3?
False
Suppose t = 8 - 14. Let c be (26/t - -4)*0. Suppose -4*g = 16, 3*v + c*g - 306 = -3*g. Does 61 divide v?
False
Let d(f) = -19*f - 1. Let a be d(-8). Let m = 59 + a. Is m a multiple of 14?
True
Suppose -8*s + 25727 = -82177. Is 12 a factor of s?
True
Suppose -4*w = -5*h - 126, 4*h = -2*w - 0*w + 50. Let q = 42 - w. Suppose 8*z + 330 = q*z. Is 22 a factor of z?
True
Suppose 227*n - 221*n = -48. Is 24 a factor of (4 + -2)/n*1286*-2?
False
Let n = 16953 + -9393. Is 105 a factor of n?
True
Is 407*(-370)/(-34) - (-53)/((-22525)/50) a multiple of 96?
False
Let l(s) = -s**3 + 5*s**2 + 7*s - 4. Suppose 2*u - v - 16 = v, -2*v = u - 2. Let h be l(u). Does 3 divide (h - -1)/((-6)/(-26))?
False
Suppose -i = -6, 2*i - 1368 = -r + 1676. Is r a multiple of 41?
False
Let d = -19 - -4. Let n = d - -64. Let i = n - 39. Is i a multiple of 2?
True
Let h(o) = 3*o - 45. Let l be h(16). Let p be (l + 1 + -20)/((-7)/35). Is (45/25)/(6/p) a multiple of 8?
True
Suppose 266 = -21*r - 1330. Let m = r - -396. Does 64 divide m?
True
Let c(a) = -a**3 + 14*a**2 + 103*a + 9. Is c(18) a multiple of 21?
True
Suppose -2*g + 4*a = -2604, -6*g + 7*g = -a + 1299. Suppose -g = 9*f - 19*f. Is 12 a factor of f?
False
Does 7 divide (15 + 924/7)*5?
True
Let f = -9786 - -29077. Is f a multiple of 101?
True
Suppose -3*p - 14 = 34. Let i = p + 70. Is 13 a factor of 936/i*6/4?
True
Suppose -4*k - 747 = 5*u, -7*u = k - 6*u + 187. Let h = 396 + k. Does 10 divide h?
False
Suppose 0 = -5*q - 27*k + 24*k + 185, k - 73 = -2*q. Suppose -3*r + 30*i - q*i = -151, -3*r + 4*i + 167 = 0. Does 9 divide r?
False
Suppose -11 = -2*m - 3*t, 3*m + 26 = -0*m + 4*t. Let r be (m/(-3))/2*(-4 + 4). Does 8 divide ((-100)/(-2) + (r - -1))*1?
False
Let t be (-1 - -3) + -11 + 17. Suppose t*k = 5*k + 123. Is 10 a factor of k?
False
Let f = -4959 - -6788. Is f a multiple of 17?
False
Let d(q) = 4*q**2 + 68*q - 1086. Does 26 divide d(27)?
True
Suppose 0 = -6*l + 29 - 17. Does 8 divide (-3)/l - (-7650)/68?
False
Let d(r) = 10*r**2 - 3*r + 22. Suppose -4*w - 4*n = 8, w + 2*n = 4*w - 19. Is d(w) a multiple of 7?
False
Let d(r) be the first derivative of 4*r**3/3 - r**2 - r - 30. Suppose 3 - 1 = -b. Is d(b) a multiple of 19?
True
Let b(i) = 29*i - 261. Let s be b(-7). Is ((-1681)/164)/(2/s) a multiple of 13?
False
Let f(w) = w**3 + 18*w**2 - 17*w - 39. Let d be f(-18). Let q = d + 85. Is 16 a factor of q?
True
Suppose -n = 5*m - 7143, 4*m - 5726 = -10*n + 15*n. Is m a multiple of 5?
False
Let h(a) = a**2 - 7*a - 5. Let y be (23 + 1)*(-25)/(-75). Let k be h(y). Suppose 2*g = -5*o + 50, 0 = -3*g + 6*g + k*o - 66. Is g a multiple of 5?
True
Let v = 20054 + -11138. Is v a multiple of 24?
False
Suppose -36*t = -15640 + 1816. Suppose 1744 = 14*c - t. Is 19 a factor of c?
True
Let n = 108 - 112. Is 2/(4 + n - 4/(-28)) a multiple of 6?
False
Suppose 20*u = 18*u + 378. Let j = u + -175. Is j even?
True
Let y(b) = -15*b + 12. Let t = 18 + -15. Let i be y(t). Let a = 27 - i. Is a a multiple of 30?
True
Let n be ((4 - -10) + -2)/2. Let x = 15 + n. Suppose 162 = b + x. Is b a multiple of 35?
False
Let p be 6/(-24) + 27/12. Let h be (-2 + p + 3)*(2 - 1). Suppose -k - 233 = h*b - 6*b, -299 = -4*b - k. Is b a multiple of 19?
True
Let u(q) = 210*q + 99. Is u(7) a multiple of 30?
False
Let u(d) = -2*d**3 + 24*d**2 + 33*d - 54. Is 19 a factor of u(12)?
True
Let d = 100 + -104. Does 5 divide 6 + 2320/130 - d/26?
False
Suppose -15*m + 20 = -19*m. Let x(o) = -5*o - o - 169 + 145. Is 6 a factor of x(m)?
True
Let c(y) = y**2 + 15*y + 58. Let b be c(-7). Suppose -j - v + 467 = -b*v, 3*j + 3*v - 1401 = 0. Is j a multiple of 45?
False
Let m(v) = v**2 - 7*v - 4. Let k(s) = 4*s - 8. Let a be k(3). Let h be m(a). Is (-2 - (-99)/12)/((-1)/h) a multiple of 20?
True
Suppose -36 = -12*u + 6*u. Suppose -u*j - 19 + 661 = 0. Let h = -63 + j. Is h a multiple of 22?
True
Let i be (-8)/(-76) + (-16965)/(-19). Suppose 3*p - i = 2*o, 0 = 4*p - 4*o + o - 1191. Is p a multiple of 27?
True
Suppose 9*t = 3*t - 2*w + 48690, -8083 = -t + 5*w. Does 17 divide t?
False
Suppose -8*c - 5 = -37. Suppose c*k + 1 - 13 = 0. Suppose -q + 512 = k*q. Does 14 divide q?
False
Let j(v) = 5*v - 101. Let n(l) = -103 - 3*l + 8*l + 0*l. Let u(s) = -4*j(s) + 3*n(s). Is 38 a factor of u(0)?
False
Let h(v) = 42*v + 2. Let p be h(1). Let y(c) = -11*c - 13*c + 33*c - p. Is 7 a factor of y(15)?
True
Let j = 20050 - 162. Is j a multiple of 163?
False
Let t(k) = -k**3 + 11*k**2 - 11*k. Let d be 14/2 + (6 - 4). Does 21 divide t(d)?
True
Let z = 2087 - 851. Let x = -677 + z. Does 43 divide x?
True
Let g = -30828 - -56071. Is g a multiple of 164?
False
Suppose 0 = 4*b, 0 = -4*y + 4*b + 9131 + 96469. Is 12 a factor of y?
True
Is ((-5)/(-2))/(55/78826) - -8 a multiple of 9?
True
Let v(b) = 55*b**2 - 10*b + 15. Let l(k) = k**3 + 8*k**2 + 11*k - 4. Let p be l(-6). Does 34 divide v(p)?
False
Suppose 2*v - 105 = -31. Let k = 1202 + v. Is k a multiple of 11?
False
Let l be (94 - 35)/((-1 - 1)/2). Let t = -24 - l. Suppose 10*x - t = 9*x. Is x a multiple of 5?
True
Let z(x) be the first derivative of -4*x**2 + 90*x + 27. Is z(0) a multiple of 32?
False
Suppose -91*r - 20883 + 71556 = -72*r. Does 127 divide r?
True
Suppose 437 = 3*h - 4*j - 30154, 0 = -3*j + 18. Does 72 divide h?
False
Suppose f - o = 590 + 889, 0 = o. Let r = 684 - 624. Suppose -f = -11*q - r. Is 9 a factor of q?
False
Let j = 23233 - 15711. Is 70 a factor of j?
False
Suppose 5440*u - 5418*u - 100650 = 0. Is 25 a factor of u?
True
Let c(f) = 13*f - 3. Let k be c(7). Let j = 114 - k. Suppose -a = 2*s - 28, -2*s - 3*a + j = -a. Is 15 a factor of s?
True
Let k = 59 + -59. Let x be k/2 - (-71 + 2). Su