3*x = 357, -3*a - 2*x = 2*a - 602. Does 30 divide a?
True
Suppose 19*d = 23*d - 20. Suppose 0*n - 3*n + d*y = -330, -3*y = -2*n + 220. Suppose -10*g - n = -15*g. Does 11 divide g?
True
Let h(c) = -c**2 - 50*c + 1167. Is 141 a factor of h(-62)?
True
Let b(i) = -3*i**3 - 2*i**2 + i - 7. Let s be b(-5). Suppose -12*g = s - 1633. Does 4 divide g?
False
Let d(u) = u**2 + 15*u + 30. Let r be d(-6). Is 18 a factor of 3/r - (-3170)/16?
True
Let a(o) = o**3 + 13*o**2 + 10*o - 22. Let t be a(-12). Let w be 6/4 - (t - 27/6). Suppose 2*q + 137 = 5*q + w*f, -2*q = -5*f - 99. Is q a multiple of 15?
False
Let c(j) = 14*j**2 + 11*j - 22. Let f be c(2). Let b = 89 - f. Is 3 a factor of b?
True
Let a = -59 - -790. Let x = a + -551. Is x a multiple of 4?
True
Let z(o) = o**3 - 9*o**2 - 18*o + 83. Let b be z(10). Suppose b*x = 28*x - 7100. Is x a multiple of 4?
True
Let b(i) = -21*i - 27. Let y(s) = 21*s + 27. Let m(c) = -4*b(c) - 3*y(c). Is m(15) a multiple of 63?
False
Suppose 44 + 64 = 18*p. Does 43 divide (-111)/p*-30 + -3?
False
Let l = -512 + 517. Suppose 0 = 5*a - l, 4*i + 4*a = -0*i + 324. Does 8 divide i?
True
Suppose 5*l + 4*c + 52 = 0, l + 0*c = -4*c - 20. Let h = 27 + l. Let o = 0 + h. Is o a multiple of 19?
True
Let a(v) = 19*v**2 + 4*v + 12. Suppose -12*o - 108 = -36. Does 14 divide a(o)?
True
Let k(a) = a**3 + 55*a**2 + 3*a - 1 - 122*a**2 + 55*a**2. Let p be (-2)/(-7) + 820/70. Does 5 divide k(p)?
True
Suppose 0 = 123*z + 504*z - 23088648. Is 42 a factor of z?
False
Let j(i) = -i**3 + 8*i**2 - 3*i - 18. Let a be j(7). Suppose -8*f - 720 = -a*f. Is 18 a factor of f?
True
Suppose 67*z - 168 = 65*z. Suppose -14*u + z = -1176. Is 15 a factor of u?
True
Let u = -1134 + 1523. Is 4 a factor of u?
False
Suppose -8*u - 434 = -370. Does 22 divide u + 105/2 - (-2)/(-4)?
True
Let z = -65 - -142. Suppose -2*d + 3*b + 358 = 0, -3*d + b + 0*b = -537. Let y = d - z. Does 34 divide y?
True
Let h(m) = -2*m + 47. Let s be h(22). Let o be 6/(-10) - 5544/(-40). Is o/8*40/s a multiple of 23?
True
Suppose -3*s - 12*s = 7935 - 20250. Is s a multiple of 3?
False
Is 1216/(-228)*(-7)/((-14)/(-4320)) a multiple of 144?
True
Let n(i) = i**3 + 8*i**2 + 8*i + 1. Let l(r) = -38*r - 6. Let t be l(-1). Suppose -t = 2*m - 20. Does 3 divide n(m)?
False
Suppose -6*s + 146002 = -111112 + 77690. Is s a multiple of 6?
True
Suppose 0*g - 3*g = 0, 5*z - 4*g - 20 = 0. Suppose 0 = -d + 2 - 5, -z*d + 268 = 4*f. Suppose -6*s + 7*s - f = 0. Is s a multiple of 10?
True
Let r(q) = 2*q**2 + 76*q - 158. Let k be r(-40). Suppose -35 = -3*y - 2*t + 53, y - 3*t = 22. Does 50 divide ((-357)/y)/(k/(-24))?
False
Let l(m) = m**3 + 35*m**2 + 19*m - 456. Does 75 divide l(-28)?
True
Suppose 2*q = 8*k - 66966, 7*k + 5*q - 8355 = 6*k. Is 31 a factor of k?
True
Suppose 0 = -4*r - k + 5, 2*k - 20 = -4*r + 6*k. Suppose r*a + 6 = 3*u - 921, -5*a = -4*u + 1229. Is u a multiple of 5?
False
Suppose 24 + 86 = 22*k. Suppose -k*b - 20 = 0, -20*d + 25*d - 4*b = 2326. Is d a multiple of 36?
False
Suppose -70*n - 6 = -72*n. Suppose -2*h = n*t - 3*h - 183, -t + 61 = -2*h. Let s = 221 - t. Is 17 a factor of s?
False
Let h(f) = 9*f**2 + f + 31. Let y be h(9). Suppose -4*j = -9*j - n + 1271, -3*j + n = -y. Is j a multiple of 9?
False
Let j(i) = -i + 8. Let g(u) = -2*u**2 - 12*u + 5. Let x be g(-6). Let a be j(x). Suppose a*t - 53 = 25. Does 3 divide t?
False
Let s be 26 - (-27 + 30)*(-10)/(-6). Let j be (-1018)/(-6) + 1/3. Let p = j - s. Is 26 a factor of p?
False
Let h(s) = s**2 + s + 4. Let c be h(-2). Let p(k) = -10*k + 2 + 141*k**3 - k**2 + 3*k + c*k. Does 47 divide p(1)?
True
Suppose 0*m = -5*m + 10. Suppose m*s + 6*s - 256 = 0. Is 13 a factor of s/48 - (392/(-6) + 1)?
True
Let g = -1173 + 1678. Does 58 divide g?
False
Suppose 0 = -83*c - 764201 + 2939797. Is c a multiple of 139?
False
Let s = -3553 + 4811. Is s a multiple of 18?
False
Let j = 63 - 48. Suppose 0 = -j*r + 14*r - 4. Let c(t) = -32*t - 18. Does 26 divide c(r)?
False
Let x(o) = 8*o**2 - 56*o + 5. Let i be x(7). Suppose 0 = 3*m + 5*y - 1080, -i*m + 1440 = -m - 5*y. Is m a multiple of 31?
False
Let m be (-3 + 2)*-5 - 18/6. Suppose -5*w - 184 = -m*u - 4*w, -5*w = 5*u - 490. Suppose u = 2*n - 34. Is 16 a factor of n?
True
Let j(i) be the third derivative of i**5/12 + 17*i**4/24 - 5*i**3/3 - i**2 + 4. Is j(-8) a multiple of 29?
True
Let m(g) = -19*g**3 + 8*g**2 + 24*g - 23. Does 16 divide m(-4)?
False
Suppose 20*i - 2254 = 18*i. Suppose -6*b + 571 + i = 0. Suppose 9*f - 10*f + b = 0. Is 15 a factor of f?
False
Let s(v) = -v**3 - 6*v**2 + 18. Let h be s(-5). Is 475/10 + h/(-2) a multiple of 3?
True
Suppose 289424 = 184*o - 815312. Is 158 a factor of o?
True
Let b be (-5)/(15/(-33))*4/22. Suppose 717 = 3*t - 0*t + b*y, y - 714 = -3*t. Is t a multiple of 12?
False
Suppose -3*j = 2*n - 930, -5*j + 8 = -3*j. Does 27 divide (n/(-5))/(19/(-95))?
True
Let r = 2760 - -1071. Does 83 divide r?
False
Suppose -2*a + 6*a = -4*z + 40, -5*a + z = -26. Is 15 a factor of 1/(a + 1) - (-74328)/84?
True
Let q(u) = -6049*u**3 - 4*u**2 - 3*u. Let t be q(-1). Suppose -19*o = 9*o - t. Is 8 a factor of o?
True
Suppose 2*x = 2*z - 12 - 6, -x = -4*z + 30. Suppose -4*d - t - 118 = 0, -z = -d + t - 39. Let q = 33 - d. Is 22 a factor of q?
False
Let l = 278 - 115. Let p = 723 - l. Is p a multiple of 80?
True
Let g(a) = 42*a**2 - 40*a + 741. Does 23 divide g(14)?
False
Let z(q) = 67*q + 14. Let s(o) = -o**3 - 20*o**2 + 25*o + 86. Let h be s(-21). Is z(h) a multiple of 30?
False
Suppose -18679969 = -378*x - 49*x. Is x a multiple of 14?
False
Let j = -24 - -27. Suppose -j*x = -x - 20. Suppose -x = -0*y + 5*y, -5*a + 4*y + 608 = 0. Does 30 divide a?
True
Let d(w) = -171*w - 34. Suppose v = -71 + 68. Is d(v) a multiple of 20?
False
Is ((-408)/238)/((-9)/8988) a multiple of 8?
True
Suppose 0 = -5*c + 2*w + 9318 + 30675, 5*c + w = 40011. Does 30 divide c?
False
Suppose 13 = 5*w + 8. Suppose -1 = -4*x - w. Suppose z + x*z = 171. Is 39 a factor of z?
False
Let i be 12/78 - (-3894)/39. Suppose g = -4*g - 300. Let z = g + i. Does 10 divide z?
True
Suppose -19 = -15*p + 11. Let l(v) = 8*v + 8*v**2 - 11*v**p - 4*v + 10*v**2. Is l(4) a multiple of 21?
False
Suppose -11*f - 52 + 1240 = 0. Is f a multiple of 4?
True
Suppose 0 = -4*f + 4*l + 400 - 26612, 4*l = f + 6547. Does 22 divide f/190*2*8*-1?
False
Suppose -2*o - 11 = -5*b, b + 2*b + 4*o + 9 = 0. Does 11 divide -3 + -7 + (168 - b)?
False
Let l(g) = 20*g**2 - 10*g - 7. Let y be l(4). Suppose -b = -q - q + 17, -q = b - 10. Suppose 12*v - y = q*v. Is v a multiple of 7?
True
Suppose 134*l - 133*l - 5*s = 29944, 3*l = -s + 89912. Is 36 a factor of l?
False
Suppose -3*f - 3*n = -2*n + 952, 0 = 2*f - 3*n + 631. Let u = f + 529. Suppose -2*j - 2*j + u = 0. Does 8 divide j?
False
Let h = 8719 + -5034. Is h a multiple of 8?
False
Let c = -34184 + 45944. Does 3 divide c?
True
Let l = -213 - -171. Let h = 102 - l. Is 36 a factor of h?
True
Suppose 0 = -26*n + 25*n + 3*x + 19345, -2*n + 5*x + 38691 = 0. Is n a multiple of 262?
False
Let u(m) = 11*m - 14. Let l be u(3). Let k(t) = 0*t**2 + 8*t + 13 + 5*t**2 - l - 10. Does 19 divide k(-7)?
False
Let o be 3*3/(18/(-8)). Let v(a) be the second derivative of a**4/6 + 5*a**3/6 - a**2 + 77*a - 1. Does 8 divide v(o)?
False
Let l be (2/(-4))/(21/42) + 7. Is l/42*7 + 522 a multiple of 67?
False
Let g = -2807 + 4312. Is 157 a factor of g?
False
Let c = 286 - 189. Let w(r) = r**2 + 4*r + 5. Let p be w(-4). Suppose 0 = 5*d + s - 204, -2*d + c + 3 = p*s. Is 38 a factor of d?
False
Let i(a) = 86*a**2 + 5*a + 1. Let m be i(2). Suppose -5*n + 4*g = -1895, 0 = -0*n - n - 4*g + m. Is 29 a factor of n?
False
Let w be (-19 - (-21895)/58)/(6/20). Let i(y) = 2*y + 4. Let j be i(4). Suppose 0 = j*t + 235 - w. Is t a multiple of 20?
True
Suppose 5*l - 8*x - 1936 = -4*x, l - 3*x - 396 = 0. Suppose 11*q - 1442 - l = 0. Let k = -49 + q. Does 7 divide k?
False
Suppose -i - 2*l + 54 = 49, 4*i - 60 = 2*l. Suppose -i*q + 27*q - 952 = 0. Is q a multiple of 68?
True
Suppose -7394 = -36*a + 36706. Is a a multiple of 9?
False
Let r = -66 - -137. Is (4 - (-6)/(-2))*r a multiple of 7?
False
Does 4 divide (-252)/2016*(-5264)/2?
False
Let s(t) = -142*t**2 + 2*t - 1. Let x be s(1). Is (x/(-1) - 5)/(4/26) a multiple of 13?
True
Suppose -50*n + 1377487 = 