 + 2*u**2 - 7*u. Let z be h(-8). Let j = v - z. Does 29 divide j?
False
Let w = -9 - -27. Suppose -22*h = -19*h + w. Is (-1)/(2/h) + 7/1 a multiple of 10?
True
Suppose 32*w + 0*w = 14976. Suppose w = 2*a + d, 3*d - 63 = a - 304. Is a a multiple of 11?
False
Let k = 1966 - 1312. Suppose 0 = 22*l - 28*l + k. Is 4 a factor of l?
False
Suppose -22076 + 4919 = 32*m - 87045. Is m a multiple of 21?
True
Let h = 2456 - 1409. Is 44 a factor of h?
False
Suppose 0 = 2*m - 4*q + 12, 5*q - 2*q + 2 = -4*m. Let y be 3/(-6) - m/4. Suppose y = 3*g + 4*a - 105, 4*g - 5*a - 109 = -0*g. Is g a multiple of 3?
False
Suppose 0 = -4*a + 7*a - 4*f - 1145, -2*a + 4*f + 770 = 0. Is (a - 0)*(-4)/(-6) a multiple of 24?
False
Let z be 6/4*40/12. Suppose -4*c - 3*s = 9 - 6, -z*s - 28 = -c. Is c even?
False
Let c be (-9)/(-2)*(-38)/(-19). Suppose 5*b - 9 = -z, 3*b + 4*z = 7*z - c. Does 13 divide 2 - 6 - -1 - (b + -69)?
True
Suppose 5*r - 543238 = -41*r - 115024. Does 87 divide r?
True
Let y(k) be the second derivative of k**3/6 + k. Suppose 7*f - 669 = -599. Is y(f) a multiple of 2?
True
Is 27 a factor of 679/5 - (406/70 - 5)?
True
Suppose 0*l - 27*l + 116451 = 0. Does 19 divide l?
True
Suppose c = 4*q - 3*c - 44, -2*q = 3*c - 12. Let a be 7/(378/(-12)) + 2837/q. Suppose -8*o + a + 453 = 0. Is 9 a factor of o?
False
Let m(k) = 7*k**2 - 16*k + 1. Let o be m(-13). Suppose -6*r + 8*r + 1046 = 3*i, 2*r = 4*i - o. Does 63 divide i?
False
Suppose -297 + 766 = o. Let v = 10 - 12. Is 31 a factor of (-2)/((1/v)/(o/14))?
False
Let a be (-1694548)/15 + (-4)/30. Let y be (-4)/(2/(-11) - 20397/a). Does 17 divide (1/4)/(5/y*2)?
False
Let q(k) = k**2 + 21*k + 64. Let a be q(-5). Is 20 a factor of (5 + 68/a)/((-3)/(-120))?
False
Let c be 1 + (-5934)/(-15) + (-9)/15. Suppose -2*t + c = 5*j, t = -0*j + j + 184. Suppose 0 = -3*z - 2*i + t, 314 = -0*z + 5*z + 4*i. Is z a multiple of 6?
False
Let k be (-1 + 0 + 2)*-1114. Let a = k - -1632. Let w = a - 253. Is 53 a factor of w?
True
Suppose f + 238 = -v, 2*f = 6*f + 4. Let d = -218 - v. Is 5 a factor of d?
False
Let r(m) = -3*m - 4. Let a be r(-2). Suppose 0 = 3*h + a*h - 10. Suppose h*g = 35 - 3. Is g a multiple of 7?
False
Suppose 3*y - 6291 = -5*h + 1101, 4*h + 4*y - 5912 = 0. Is 36 a factor of h?
False
Suppose 0 = 41*j - 384418 - 282030 - 159743. Is 159 a factor of j?
False
Suppose -d + m = -100, 0*d + 4*m - 455 = -5*d. Let n be 2664/54*((-9)/2 - -3). Let y = d + n. Does 7 divide y?
True
Let v(g) = -g**3 + 5*g + 20. Let f be v(-3). Is 62 a factor of f/(-72) + 59600/45?
False
Let i(t) be the third derivative of -t**6/10 - t**5/15 + t**4/12 + 2*t**3/3 - t**2 + 8. Does 8 divide i(-2)?
True
Let q = -86 + 90. Suppose -q*s = -h - 76, -4*h + 38 = -s + 4*s. Is s even?
True
Let d = 265 + -400. Let r = d - -311. Is 3 a factor of r?
False
Is (-222240)/(-90) - 4/(-18)*3 a multiple of 10?
True
Let x(m) = -m**2 + 2*m + 2. Let b be (-9)/3 + 12/(-3). Let v be x(b). Let q = -22 - v. Does 16 divide q?
False
Let y = 635 - 953. Does 29 divide 5 - ((-1 - -5) + y) - 0?
True
Let v = 103 - 100. Suppose -398 = -k + v*f, -19*f = 5*k - 16*f - 1990. Does 22 divide k?
False
Suppose 107556 - 10481 + 45686 = 69*x. Is 209 a factor of x?
False
Suppose -5*a + 61070 = 5*f, 16*f - 24470 = 14*f + 5*a. Is f a multiple of 52?
True
Let o(x) = -8*x**2 + 767*x - 149. Is o(80) a multiple of 13?
False
Let o(c) = c**3 - 17*c**2 - 8*c - 4. Let a(j) = -j**3 - 7*j**2 - 5*j - 17. Let z be a(-7). Does 8 divide o(z)?
True
Let y = -21 - -28. Let z be ((-7)/(-2))/y*1486. Suppose 5*x - 4*o - z = -0*x, 0 = -5*x + 3*o + 741. Is 21 a factor of x?
True
Let p = -1262 + 2439. Suppose -1532 - p = -9*a. Is 43 a factor of a?
True
Let m = 168 - 164. Suppose -q - j + 401 = j, 5*j + 1552 = m*q. Does 13 divide q?
False
Let w(a) = 268*a + 83. Let z be w(2). Suppose -2*x = -435 - z. Is x a multiple of 17?
True
Suppose 9*x - 2*h - 107681 = 0, 0 = -5*x - 28*h + 27*h + 59808. Is 7 a factor of x?
True
Let i(c) = c**3 + 96*c - 9*c**2 - 89*c - 28 + 0*c**3. Is i(12) a multiple of 8?
True
Let y be -16 - -40 - (0 + 0). Suppose 5*f + y = 9*f. Suppose 167 - 683 = -f*g. Is 28 a factor of g?
False
Let v = -470 + 944. Suppose -604 + 130 = -2*c + 2*o, 2*o = -2*c + v. Suppose 4*s - l = c, 15 = -4*l + l. Does 3 divide s?
False
Suppose 18*v = 38893 + 20619 - 10660. Is v a multiple of 16?
False
Let p(x) = -x**3 - 13*x**2 - 42*x + 163. Is p(-23) a multiple of 26?
False
Is 53 a factor of (-9)/((-9)/15898) - (1 - 2)?
False
Suppose 0 = -38*z + 39*z - 155. Suppose -2*x + z + 85 = 0. Suppose -8 = -r + x. Is r a multiple of 32?
True
Let y(h) = 2*h**3 - 6*h**2 - 3*h + 3. Let x be y(5). Suppose 5*n - 265 = -f, 4*n = 3*f + x + 105. Let i = 91 - n. Does 17 divide i?
False
Is 144 a factor of 32/((-2112)/18) - 354822/(-22)?
True
Let y(f) = 11*f**2 + 194*f + 231. Is y(59) a multiple of 12?
True
Let q = -8096 - -11981. Does 105 divide q?
True
Suppose 16*j - 160 = 6*j. Let o(s) = 3*s + 80. Does 8 divide o(j)?
True
Suppose 5*q - 1520 = -3*h, h + 187 = 3*q - 725. Does 3 divide q?
False
Let a(x) = -2*x**3 + 2*x + 300. Let p be (-2)/(-5) + 592/(-80). Let r be (-1)/(-3)*(p + 7). Is 15 a factor of a(r)?
True
Let m(h) = -4*h + 9. Let y be m(-18). Let j = -66 + y. Suppose -j*n = -17*n + 66. Is n a multiple of 3?
True
Let m = 477 + -259. Let t = m + 299. Does 47 divide t?
True
Let a(x) = 3*x**2 + x**2 - 24*x - 3*x**2 + 20*x. Let f be a(5). Suppose 0*j = -f*j + 255. Is j a multiple of 24?
False
Suppose -469 - 1390 = 13*y. Let p be 6/(-12) - 485/2. Let z = y - p. Is z a multiple of 20?
True
Suppose 0 = -4*z + 2*b + 912, -2*z + 5*z + b - 674 = 0. Let y be (-4 + (-254)/(-4))/(3/6). Let l = z - y. Is 11 a factor of l?
False
Let t be (-2)/(40292/(-10074) - -4). Does 10 divide (-1)/(-3) + (t/9)/(-1)?
True
Let w(c) = -c**3 - 15*c**2 + 19*c + 56. Let x be w(-16). Let l(j) = j**3 - 8*j**2 + 5. Let v be l(x). Suppose -15 = -v*u, 5*u - 5 = 5*s - 0*u. Does 2 divide s?
True
Suppose 26 = -5*u + 2*p, 2 = -u - 0*p + 2*p. Let i = 132 + u. Is 21 a factor of i?
True
Suppose 65*p = 63*p + 52. Suppose p = -4*z + 6*z. Is 13 a factor of z?
True
Let p = 1180 + 1044. Does 16 divide p?
True
Let r(o) = -o**2 + 10*o - 11. Let s be r(7). Suppose 2*y + 5 = 3*u - 2*u, 2*u + 2*y = s. Suppose -3*g + q = -u*g + 30, 0 = g + 4*q - 15. Does 3 divide g?
True
Let p(c) = 18*c**2 - 3*c + 192. Is 78 a factor of p(-16)?
False
Suppose -4*x + 3*k = -12, -x - 6 = 2*k - 20. Let b(r) = 9*r**2 - 2*r + 38. Is 50 a factor of b(x)?
True
Let x(a) = -13*a + 11. Let p(r) be the second derivative of -9*r**3/2 + 21*r**2/2 - 3*r. Let o(c) = 4*p(c) - 9*x(c). Is 14 a factor of o(7)?
False
Suppose -70*l + 18*l + 294632 = 0. Is 58 a factor of l?
False
Let u be 84/126 - (124/6 - 1). Let j = 624 + u. Is 32 a factor of j?
False
Suppose -3*w - 6696 = -7*w. Let m = -2410 + w. Does 11 divide (m/(-40))/(2/5)?
False
Suppose o + 5*h = 2383, 3*h - 1486 + 3877 = o. Is o a multiple of 34?
False
Let x = 7095 + -6742. Does 3 divide x?
False
Let n = 18326 + -7962. Does 4 divide n?
True
Let z(k) = k**2 + 6*k - 4. Let g be ((-14)/(-4) + -3)*-2. Let w(i) = -i**2 - i - 1. Let f(n) = g*w(n) + z(n). Does 34 divide f(6)?
False
Suppose -54*d + 148 = -58*d. Is (-1088)/(-10) + d/(-185) a multiple of 62?
False
Suppose -2*v - 152 = -2*y, y - 3*y + 152 = 4*v. Let w be (-8)/(18/10 - 42/21). Does 14 divide (-3 - y/w)*-4*5?
True
Let x be 0 - 4/18 - 49049/(-117). Suppose 0 = 4*c - 701 - x. Does 60 divide c?
False
Let q(x) = 2*x**3 - 8*x**2 + 29*x - 94. Let z(i) = 3*i**3 - 11*i**2 + 44*i - 141. Let y(o) = 8*q(o) - 5*z(o). Does 8 divide y(10)?
False
Is ((-1098216)/96)/((-24)/32) a multiple of 119?
False
Suppose -l = 3*y + 11, 0 = 3*y - 3*l + 5 + 10. Is 5 a factor of 116 - (y - (1 + -2 + 1))?
True
Let m(u) = -132*u + 204. Is 116 a factor of m(-9)?
True
Let a = -746 + 758. Suppose 8*o = a*o - 2324. Does 70 divide o?
False
Let m be 3*(-6)/9 + 74. Suppose -38 = 5*q + m. Let b = 60 + q. Is b a multiple of 15?
False
Suppose 10*i - 56 = 84. Suppose 0 = -3*a - 3*g + 1698, 2*g - 2839 = 9*a - i*a. Is a a multiple of 22?
False
Suppose -430*c = -830*c + 421*c - 1059765. Does 54 divide c?
False
Suppose -4*d = 4*m - 144, -2*d + 17 + 55 = 5*m. Suppose d*h - 26*h = 5100. Does 30 divide h?
True
Suppose -4*a + 72 = -4*x, -a + 5*x - 8*x + 10 = 0. Let q be 36/8*(