r of a?
True
Is (817 - 1 - 84/(-21))*(-1730)/(-40) a multiple of 62?
False
Does 18 divide 486/1701*665/2?
False
Let x = -116 + 126. Suppose 0 = 5*w - x, 53 = 5*z - 16*w + 15*w. Does 4 divide z?
False
Suppose 0 = -5*u - 5*d + 31020, -2*u + 4*d + 9730 + 2702 = 0. Does 16 divide u?
True
Suppose -456*q + 450*q = -25110 - 15660. Does 15 divide q?
True
Let w be (-78)/(-18) + (-21)/9 + 2. Suppose w*q + 5*o - 79 = 0, o + 114 + 21 = 5*q. Is q a multiple of 8?
False
Let j be (-9)/3*(-2331)/(-27). Let s = 309 + j. Is 25 a factor of s?
True
Let m = -4 + 6. Let v(d) = -d**3 + 10*d**2 - 18*d + 59. Let h be v(5). Is 9 a factor of h*(-1)/m*-1?
False
Let d = -25 - -40. Suppose -n = 3*n + 5*v - d, 5*n + 2*v = 23. Suppose -n*c = -3*h - 581, 3*c + 0*h = -5*h + 369. Is c a multiple of 27?
False
Let z(v) be the first derivative of -8*v**3 - 7*v**2 + 37*v - 35. Let n(o) be the first derivative of z(o). Does 55 divide n(-3)?
False
Suppose 0 = 2*a + 10, -4*q - 5*a - 11045 = -6*q. Does 12 divide q?
False
Let s = -85 - -86. Let i be s*(1/1 - (5 - 4)). Suppose 5*y + 3*z = -108 + 686, i = -2*y - 3*z + 233. Is y a multiple of 18?
False
Let b(r) = -3*r**3 - 8*r**2 - 9*r - 24. Let k be b(-5). Let w = 344 - k. Does 74 divide w?
True
Let j(d) = -10*d + 55. Let k be j(-18). Let z = k + 5. Does 15 divide z?
True
Let a = -41 - -29. Let j = -9 - a. Suppose t = -4*o - 1, -j*t = 5*o - o - 13. Is t a multiple of 3?
False
Let k(v) = -v**2 + 40*v - 2. Let d be k(16). Suppose 13*b = 21 + d. Suppose -847 = -5*g + 4*o, -643 = -4*g + 2*o + b. Is 9 a factor of g?
False
Let g(k) = -8*k**3 - 2*k**2 + k + 8. Let o be g(4). Let r = o - -1252. Is r a multiple of 60?
True
Suppose -63*i + 20*i = -24*i - 58520. Does 35 divide i?
True
Let z(f) = 5*f**2 - 2*f + 12. Let y be z(0). Suppose 15219 = 21*r - y*r. Is 19 a factor of r?
True
Is 6*((-17549)/(-138) - 1) a multiple of 228?
False
Let v be (-1 + (-4)/24)/(2/(-12)). Suppose -v*q + 3*q = -548. Suppose 0 = -3*u + q + 433. Does 10 divide u?
True
Let f(h) = 4*h**3 - 33*h**2 + 8*h + 130. Does 250 divide f(14)?
True
Let z = -50 - -52. Suppose -2*k + 2 = 2*w + w, -2*k = -z. Suppose 7*u + u - 1456 = w. Is 39 a factor of u?
False
Suppose 0 = -316*l + 281*l + 61880. Is 26 a factor of l?
True
Suppose 0 = 14*l - 58084 - 21730 + 9282. Does 102 divide l?
False
Suppose 5*t = -0*t - 375. Let h = -88 - t. Is (-34)/(-51) - h/3 a multiple of 2?
False
Suppose -5*j - 3*s - 4383 = 0, -3*j - s + 1337 = 3966. Is (j/(-21))/((-2)/(-7)) a multiple of 46?
False
Suppose -3*v + 3*h + 1410 = 0, 4*v - v - 1415 = -2*h. Suppose -3*b = z + 2*z - v, -b + 3*z + 157 = 0. Is 39 a factor of b?
False
Let q = -2657 - -2778. Is q a multiple of 50?
False
Suppose 3*i = 4*i - 324. Let t(o) = o**2 - 33*o + 200. Let z be t(25). Suppose z = -2*r + 11*r - i. Does 10 divide r?
False
Is ((-36)/14)/(6*(-11)/102102) a multiple of 41?
False
Let l = 113 + -103. Suppose -3*x = -4*m - 1821, l*m - 13*m - 612 = -x. Is 67 a factor of x?
True
Let j(a) = a + 3. Let f(d) = -d + 1. Let s(z) = 20*f(z) - 5*j(z). Does 20 divide s(-13)?
False
Let y = 80 - 74. Let g(m) = -m**2 - 3*m**2 - m**2 - y - 15*m + 4*m**2. Is 19 a factor of g(-11)?
True
Suppose -5*l = -10*l - 175. Let z = l + 40. Suppose z*p + 33 - 283 = 0. Is p a multiple of 5?
True
Suppose 10*m - 44432 + 9612 = 0. Does 97 divide m?
False
Let f(d) = d**3 - 6*d**2 - 28*d - 27. Let r(q) = q**2 + 13*q + 43. Let n be r(-10). Is f(n) a multiple of 12?
True
Suppose 219 = -8*x - 765. Let r = x + 507. Does 24 divide r?
True
Suppose 73*w + 5615203 = 474*w. Is 94 a factor of w?
False
Let n(l) = 2*l**2 + 7*l + 30. Let x be n(-7). Suppose 5*y = 2*f - 6*f - x, -y - 3*f = 18. Is y*(-30)/14 + (-1)/7 a multiple of 2?
True
Let i = 94 + 642. Let r = i - 400. Is 42 a factor of r?
True
Let b = -3987 + 5032. Is b a multiple of 56?
False
Suppose -f - 4*i + 38 = 4*f, 2*i = 5*f - 26. Suppose -2*m + 2 = -f. Suppose 43 = o - 5*q, 3*o + m*q - 201 = q. Does 13 divide o?
False
Let o(n) = -11*n**3 + 4*n**2 - 9*n + 26. Let h(s) = -15*s**3 + 3*s**2 - 10*s + 26. Let l(a) = -3*h(a) + 4*o(a). Is 8 a factor of l(5)?
True
Does 18 divide 65960 - ((-68)/51)/((-1)/6*-1)?
False
Let n(m) = 7*m**3 + m**2 + 27*m - 89. Does 22 divide n(5)?
True
Let m = -15939 - -26683. Is m a multiple of 17?
True
Let k(s) = -s**3 + 19*s**2 + 29*s - 61. Is 8 a factor of k(15)?
False
Suppose -14*q + 14 = 2*f - 13*q, -3*f + 4*q = -10. Is 16 a factor of (81 - -10 - f) + -1*5?
True
Let u be 4/(-1 - 5/(-7)). Let q(z) = -2*z**3 + 30*z**2 + 4*z - 35. Let t be q(15). Let v = u + t. Is v a multiple of 3?
False
Let i be -4 + (3521/28 - (-3)/12). Suppose 480 = -i*c + 124*c. Does 30 divide c?
True
Let m be 8/52 - 2022/(-39). Let q = -46 + m. Does 11 divide ((-4)/q)/((-14)/231)?
True
Suppose -5*o + 5*n - 40 = 0, 5*o = -4*n + 3*n - 10. Is 13 a factor of 635 + (o - 30/(18/(-3)))?
True
Let i = -3950 + 6376. Is i a multiple of 90?
False
Let z(w) = 2*w**2 - 4*w + 1. Let f be z(3). Suppose -2*a = -4*o + 2, 5*a - o + 21 - f = 0. Is 17 a factor of (23 - -45)/((-5)/a + -1)?
True
Let l be 4/((-231)/(-225) + -1). Let u = 256 - 251. Suppose -3*p + 725 = u*r + l, -3*r + 3*p = -345. Does 23 divide r?
True
Let c be (-33144)/39 + 2/(-13). Let i = 1199 + c. Suppose 43 = 7*k - i. Is k a multiple of 8?
True
Let z = -4282 - -9306. Is z a multiple of 16?
True
Is 23 a factor of (-400890)/(-20)*((-76)/912 - (-6)/8)?
True
Suppose -17817 = -4*c - 5*d, -3*c - 658*d + 13358 = -659*d. Is 61 a factor of c?
True
Suppose s - 161 - 264 = -5*y, y - s - 85 = 0. Let n(o) = -21*o - 3. Let j be n(-4). Suppose y*a = j*a + 456. Is a a multiple of 12?
False
Suppose -4*f = 2*z - 2, z = -0*z + 3*f - 19. Does 30 divide (z + 7)/(-6) - -30?
True
Let g(w) = -2*w**3 + 4*w - 197. Is g(-16) a multiple of 46?
False
Let t(q) be the third derivative of 5*q**2 - 7/24*q**4 + 0 - 5/6*q**3 + 0*q. Is t(-11) a multiple of 36?
True
Let s(q) = 206*q**2 - 393*q - 792. Does 80 divide s(-2)?
False
Let n(t) = -t**3 - t**2 + t + 631. Let r be n(0). Let s = -206 + r. Does 29 divide s?
False
Let q = 25119 - 17001. Is q a multiple of 198?
True
Suppose 5*w + 4*z - z = -892, 4*w = -4*z - 720. Let k = w - -311. Is 9 a factor of k?
True
Let u = 295 - 672. Let w = u - -753. Is w a multiple of 23?
False
Suppose -5*m = x - 91892, -73480 = -4*m + 155*x - 151*x. Is 47 a factor of m?
True
Suppose c - 1 + 3 = 2*i, -3*i - 2*c - 4 = 0. Suppose i = 2*t - 19*t + 476. Is 4 a factor of t?
True
Let z be 2156 - -2 - (2 - -2). Suppose -5*d - 987 = -2*a, -4*a - 2*d + z = 120. Does 37 divide a?
False
Let j(s) be the first derivative of -s**4/4 + 3*s**3 - s**2/2 + 11*s + 22. Let k be j(9). Does 3 divide (-5)/(2 + -5 + k)?
False
Suppose 332*v - 8934357 - 243119 = 0. Does 93 divide v?
False
Suppose 405466 = 249*h - 2482262 + 84984. Is h a multiple of 14?
True
Suppose -7*p + 460 + 4965 = 0. Is p/(-155) - ((-1)/(-1) - 513) a multiple of 41?
False
Suppose 4*a - 38 = 5*h, -h = -0*h + 2. Let l(t) = -2*t**2 + 24*t - 31. Is l(a) a multiple of 39?
True
Let g(u) = 2*u + 82. Let z be g(-34). Suppose z*s = 4*o + 19*s - 2428, -2*o = 4*s - 1214. Is o a multiple of 25?
False
Let y(s) = 21*s**2 - 5*s - 1. Let l be y(-8). Let u = l - 986. Suppose 5*j - 167 = -4*o + u, -j = -3*o - 109. Is j a multiple of 16?
True
Let n(t) = -332*t - 2998. Is n(-14) a multiple of 15?
True
Let d(l) be the first derivative of -l**4/12 + 31*l**3/3 + 9*l**2 + 2. Let c(x) be the second derivative of d(x). Does 19 divide c(-7)?
True
Let l(u) = -12*u + 22. Let m be l(-2). Let k = m - -20. Is k a multiple of 6?
True
Let t(d) = 63*d - 4071. Is 61 a factor of t(107)?
False
Let f = -157 - -152. Is 34 a factor of (33 - 1)*(f - (-185)/20)?
True
Suppose -3*t + 3*s + 42213 = 0, -3*t = s + 6555 - 48780. Is 72 a factor of t?
False
Suppose -4*q = 6*p - 47856, 260 + 47574 = 4*q - 5*p. Does 14 divide q?
False
Let z(b) = 2*b**3 + 16*b**2 + 11. Let t be z(-7). Let r = 214 - t. Is r a multiple of 3?
True
Suppose u - 95 = -411. Let z be -15*2*u/(-24). Let m = z - -575. Does 30 divide m?
True
Let h = 100 + -181. Let p = h - -205. Suppose 6*d + 4*t - p = 4*d, -160 = -2*d + 5*t. Does 6 divide d?
False
Suppose 8 = -16*v + 14*v. Is 2 + (1229 - 1)*v/(-8) a multiple of 40?
False
Is 4 a factor of 14602/22 - (-60)/220?
True
Let s(v) = 7*v**2 - 11*v + 62. Let g = 254 - 250. Is 5 a factor