or of x(38)?
True
Let h(r) = -15*r - 11. Let m(f) = f**2 + 1. Let d = -30 + 29. Let y(x) = d*m(x) + h(x). Is 19 a factor of y(-5)?
True
Let l(o) = 11*o + 127 - 66 + 4*o**2 - 3*o**2. Is l(-8) a multiple of 4?
False
Suppose -3*b = 3*o + o + 57, 19 = -b - o. Let g = b + 73. Is 18 a factor of g?
True
Let n(q) = q**3 + 24*q**2 + 7*q + 2. Is n(-10) a multiple of 4?
True
Let f be (-2)/6 + ((-425)/3 - 7). Let w = f - -257. Does 10 divide w?
False
Let j be (10/4)/(10/20). Suppose 5*n + 5*p + j = 0, n - 4*p + 0*p - 24 = 0. Suppose 124 = 4*d + 3*m, -n*d + 61 + 35 = -4*m. Is d a multiple of 14?
True
Suppose 3*u - 4*z = -6, -5*u = -z + 2*z - 13. Suppose -m + 156 = u*m. Is m a multiple of 13?
True
Let a be 5/((-90)/(-112)) + (-4)/18. Let w(v) = -v + 8. Let f be w(a). Suppose -f*n - 235 = 5*b - 1741, -n = 5*b - 1508. Is 35 a factor of b?
False
Let c be ((2 - 1) + -4)/(39/52). Is (2920/70)/(c/(-14)) a multiple of 22?
False
Suppose 5*f + 8982 = -4*c + 22871, -2*c - 8351 = -3*f. Does 69 divide f?
False
Is 76 a factor of (-21 + (-1536)/(-84))*-28?
True
Suppose 61*r + 77594 - 323790 = 0. Is r a multiple of 22?
False
Is 21 a factor of (-6 + -91 + 6)/((-1)/42*2)?
True
Let r be (1 - 2)*-4 - -14. Suppose 13702 + 1040 = r*w. Is 8 a factor of w?
False
Suppose -2*r - 161 = -971. Let x = r - -155. Is x a multiple of 45?
False
Let n = 124131 - 88610. Does 22 divide n?
False
Let t = -7148 + 15284. Is t a multiple of 18?
True
Suppose -70*o + 36650 + 35331 = -43449. Is o even?
False
Let w = 3353 - 1715. Suppose 2*v = 8*v - w. Does 27 divide v?
False
Suppose -2*o + 5959 + 5865 = -624. Does 16 divide o?
True
Let o(a) = -a**3 + 3*a**2 + a + 1. Let k be o(3). Suppose -2*t = -k*t + 488. Is t a multiple of 17?
False
Let v(z) = z + 1. Let c(f) = -f - 10. Let n(y) = -c(y) + 3*v(y). Is n(8) a multiple of 5?
True
Let x = 907 + -545. Suppose 87*i = 92*i. Suppose -x = 2*v - 6*v - 2*a, i = v + 4*a - 87. Does 13 divide v?
True
Let d(x) be the first derivative of -6*x**2 + 25*x - 7. Let a(v) = 23*v - 48. Let u(t) = 6*a(t) + 11*d(t). Is 11 a factor of u(4)?
True
Suppose 0 = 58*q + 163*q - 12230 - 8323. Is 11 a factor of q?
False
Let b(a) = -1933*a + 0 + 1931*a + 18*a**2 - 7. Is 28 a factor of b(4)?
False
Let t be 1 - 1 - (-291 - -10). Suppose 0 = -5*k + 1271 - t. Is k a multiple of 11?
True
Let u(p) = 5*p**3 + 11*p**2 + 3*p - 13. Let i(m) = 4*m**3 + 11*m**2 + 4*m - 12. Let t(n) = 6*i(n) - 5*u(n). Is 14 a factor of t(7)?
True
Suppose 96288 = -18*o - 25*o + 49*o. Is 141 a factor of o?
False
Suppose j + 2 = -4*c, -3*j - 2*c + c + 27 = 0. Suppose -f = -12 + j. Is (-17*f)/(4/(-14)) a multiple of 18?
False
Suppose 4*k = -2*k + 16560. Suppose 5*j = 2*j + k. Is 11 a factor of j/14 - 4/(-14)?
True
Suppose -49 = -3*i + 3*o + 89, 2*o + 50 = i. Let f = i - 39. Suppose f*d - 2*n = 4*d - 6, 0 = -3*n - 12. Is 3 a factor of d?
False
Let x(u) = -8*u - 50. Let d be x(-6). Let t(w) = 60*w**2 + 4*w + 4. Is t(d) a multiple of 9?
False
Let s = -139 - -722. Does 26 divide s?
False
Suppose -4*w - 10 = 2*j - 0*w, 5*j + 5*w + 20 = 0. Let c be -2 - ((-7)/(-1) + j). Is 18 a factor of (-17 - 13)/(1/c)?
True
Suppose 2*w + 3 = w. Let h(v) = -v**3 - 4*v**2 - 2*v. Let z be h(w). Let u = z - -26. Is 3 a factor of u?
False
Let q(j) = 14*j + 7. Let n be q(3). Suppose -3*t = -p + n, -4*p - 19 = -5*p - 3*t. Let y = p - 16. Is 6 a factor of y?
True
Let s = -8047 - -14627. Is 94 a factor of s?
True
Let h(d) = d**3 + 41*d**2 + 78*d + 40. Let k be h(-39). Suppose k*t = 50*t - 11070. Does 27 divide t?
True
Let w = 13 - -168. Suppose 0 = o - w - 202. Does 16 divide o?
False
Does 11 divide (-22)/1*((-68440)/16 - 13)?
True
Let d(u) = -u**3 + 4*u**2 + 7*u - 5. Let b be 60/5 + -3 - 4. Let j be d(b). Let o(n) = 31*n + 5. Does 16 divide o(j)?
True
Is (-884 + 7)*78*((-3)/(-6) - 1) a multiple of 86?
False
Suppose -707*z = -709*z + 1000. Let s = -313 + z. Is 17 a factor of s?
True
Let t = 5 + -2. Suppose 0 = 2*y - 27*y - 1325. Does 45 divide t + -3 - (-6 + y)?
False
Suppose 0 = 5*m + g - 147738, -3*m + 3*g + 20463 = -68205. Does 20 divide m?
False
Suppose t - 2375 - 3435 = 0. Is 14 a factor of t?
True
Suppose 2*d - 3*p = -12, -5*p = 11*d - 9*d - 20. Suppose -4*q + 3*q = -4, d = 6*f - q - 3596. Is f a multiple of 6?
True
Let l(j) = -751*j - 1776. Is 21 a factor of l(-5)?
False
Let o(a) = -55*a + 490. Is o(-50) a multiple of 180?
True
Let f be -4*(2 - (-44)/(-8))*1. Suppose -13*t + 20 = -f*t. Is (24/15)/(-2*2/t) a multiple of 6?
False
Let h = 874 + -874. Suppose h = 5*g - 289 - 741. Does 16 divide g?
False
Let g(w) = -w**2 + 100*w - 1842. Is g(35) a multiple of 7?
False
Let j(v) = 31*v**2 - 11*v - 4. Let c be j(-3). Suppose c = -8*t + 2644. Is 11 a factor of t?
False
Let u(t) = -t**3 - t**2 - 4*t + 60. Let f be u(0). Suppose -2*j = -0*j + f. Let p = 30 - j. Does 10 divide p?
True
Let f = -31 + 33. Let i(m) = -6 + 5*m + 17*m + 0. Is 11 a factor of i(f)?
False
Suppose 6*w = w - 5*p + 5, -3*w + p = -15. Is 13 a factor of (3 - w)*(-2 + 2 - 52)?
True
Is (6 + 120/(-40))/(3/14519) a multiple of 77?
False
Suppose 106 = 12*n + 406. Is 2/n - (-8254)/50 a multiple of 8?
False
Let w(g) = 3*g - 4. Let z(x) = 30*x - 39. Let a(n) = 42*w(n) - 4*z(n). Let j be a(3). Does 30 divide j*6*(-400)/(-60)?
True
Is 11 a factor of 11/((-110)/25)*(85896/10)/(-6)?
False
Let u be -1 + -1 + (21 - 16). Suppose 4*j = u*j + 685. Does 40 divide j?
False
Let l = -19883 - -21485. Is l a multiple of 183?
False
Let c = -3269 - -6169. Suppose -4*d - 1093 + 3401 = -b, -c = -5*d + 5*b. Is 36 a factor of d?
True
Suppose 0 = -3*g + 5*y + 1877, -77*g = -78*g - 4*y + 603. Let m be (-878)/(-4)*2*1. Let a = g - m. Does 10 divide a?
True
Let j(m) = 65*m**2 - 7*m - 175. Does 13 divide j(-12)?
True
Let l be (-1 - (3 - 3))*(-15)/5. Suppose l = -3*y, -3*g + 420 = y - 497. Is 18 a factor of g?
True
Let x(t) = -t**3 + 11*t**2 + 14*t + 5. Let z(u) = 2*u - 3*u - 6*u + 12 + 6*u. Let h be z(0). Is 7 a factor of x(h)?
False
Is 20 a factor of -5485*40/12*(-174)/145?
True
Let z = 19263 + -9755. Is 42 a factor of z?
False
Let m = 23046 + -17206. Is 73 a factor of m?
True
Suppose -4*h - 4027 = -19931. Is 13 a factor of h?
False
Let g = -1652 - -2141. Is g even?
False
Let c = 49 - 85. Let g be (5 - 3) + (3 - c). Suppose -7 = -3*a + g. Does 16 divide a?
True
Let x(o) = -61*o**3 + 3*o**2 + 101*o + 472. Does 187 divide x(-5)?
True
Let p = -21009 + 29383. Does 106 divide p?
True
Suppose -44*y + 39*y = 35, 3*y - 65259 = -5*x. Is 192 a factor of x?
True
Let k(j) = 7049*j**2 - 76*j - 75. Is 6 a factor of k(-1)?
True
Is 15 a factor of (-6596037)/(-196) + (-1)/(-8)*6?
False
Suppose -2*c = -4*a - 236, 3*a + 139 = 5*c - 31. Let n = -58 - a. Suppose 3*k + n*r - 160 = -2*r, 4*k - 255 = 3*r. Does 12 divide k?
True
Let i(f) be the first derivative of 4*f**3/3 - 10*f**2 - 18*f - 2. Let g(b) = 5*b**2 - 19*b - 19. Let q(c) = -5*g(c) + 6*i(c). Is q(-23) a multiple of 11?
True
Suppose 0 = 3*u - 4*m - 19 - 12, m - 26 = -3*u. Let z(y) = 5*y - 42. Let v be z(u). Suppose -2*x - v*x = -1330. Is 19 a factor of x?
True
Suppose 25*b - 14250 = 19*b. Let q = b + -1282. Does 47 divide q?
False
Let a(g) = 2*g**3. Let f be a(1). Is f/9 - 1/(54/(-14460)) a multiple of 13?
False
Let w be ((-66)/11 + (-23)/(-5))*-5. Suppose 2*s = 3*g + 171, g - 363 = w*s - 11*s. Is s a multiple of 10?
True
Let u(h) = -h**3 + h**2 + 4*h + 5. Let z be u(0). Suppose -2*m = 4*x - z*x + 1, -m = 1. Is 56/(-12)*x/((-6)/(-99)) a multiple of 31?
False
Let t(s) = s**3 - 4*s**2 - 21*s + 3. Let j be t(-3). Suppose -j*x + 304 = r - 4*x, -x = 2*r - 605. Does 17 divide r?
False
Let l = -289 - -709. Let y = l - 60. Is 24 a factor of y?
True
Suppose -5*g = -4*p + 1, 3*p = 2*g + 9 - 3. Suppose 5*o + p*h - 62 = 0, -5*o + h - 4*h + 64 = 0. Suppose o*y = 16*y - 284. Does 39 divide y?
False
Suppose -5*m + 1295 = -2*k, 1295 = 5*m + 2*k - 3*k. Is 1 + 48/(-6) + m a multiple of 8?
False
Suppose 0 = 5*n - 3*l - 169035, -3*l = 1173*n - 1172*n - 33825. Is 13 a factor of n?
False
Let w be (-1)/(-1)*(-24)/2*-1. Suppose 10*q = w*q. Is 9 a factor of (3 - (q/2 + 4))*-69?
False
Let m(n) = n**3 + 10*n**2 + 17*n + 12. Let p be m(-10). Does 41 divide 6*(-4)/(-4) - p?
True
Let m = -1115 - -9992. Is 33 a factor of m?
True
Suppose 34756 = -165*u + 104716. Is u a multiple of 3?
False
Suppose 1604