e
Is (0 + 62/(-4))*(-5 + 1) a multiple of 4?
False
Suppose 0 = 6*t - t - 20. Suppose -2*h + 5 = t*s + 53, 0 = -2*s - 2*h - 28. Let p = s + 49. Is 13 a factor of p?
True
Let s(m) = -633*m**3 + 3*m**2 + 2*m. Is 33 a factor of s(-1)?
False
Let h(d) = 9*d + 1. Let p be h(6). Let r be (3/(-5))/(18/(-90)). Is 14 a factor of 0 - p/(-1) - r?
False
Let t(v) = -v**2 - 6*v + 1. Let o be t(-5). Suppose -o*x + 237 - 57 = 0. Does 10 divide x?
True
Suppose -20009 = 59*r - 76*r. Does 11 divide r?
True
Let s(q) = 62*q + 8. Let j(r) = -r**2 - 7*r + 9. Let t be j(-8). Is 9 a factor of s(t)?
False
Let z(q) = -4*q**2 - q + 3. Let w be z(2). Is 20/w*594/(-4) a multiple of 41?
False
Let g = -96 + 98. Suppose g*u - 4*w = 40, -u + 0 = w - 29. Is 6 a factor of u?
False
Let u(o) = -34*o - 7. Let x(n) = 35*n + 6. Let t(q) = 2*u(q) + 3*x(q). Does 15 divide t(1)?
False
Let m = 3 - 3. Suppose 11*w - 1646 + 260 = m. Is w a multiple of 13?
False
Suppose -5*h - 4*m = -55, 0*m + 23 = 4*h - m. Suppose h*d = 8*d - 6. Let z(c) = 7*c + 24. Does 30 divide z(d)?
False
Let k = 29 - 29. Let m = k + 12. Is m a multiple of 10?
False
Suppose 253 + 224 = 9*a. Let y = a + -39. Does 7 divide y?
True
Let u be ((-12)/3 + 0)/(-2). Suppose -2*b + 48 = u*b. Is b a multiple of 6?
True
Does 23 divide -1418*(5/5 - 21/14)?
False
Let a = -2072 - -3376. Does 16 divide a?
False
Let y(t) be the second derivative of 0 + 3*t**2 - 1/6*t**3 + 4*t. Is y(-3) a multiple of 3?
True
Let o = -5 - -3. Let v be 9783/81 + o/(-9). Suppose 0*f - v = -f. Is 31 a factor of f?
False
Let o(w) = -w**3 + 5*w**2 - 2*w - 3. Let s(g) = -g**3 + g**2 - g + 3. Let l be s(0). Is o(l) a multiple of 3?
True
Is 9 a factor of (-373)/(-5) + 297/(-495)?
False
Let n(m) = 5*m**2 + 9. Does 49 divide n(-13)?
False
Let d(q) = q**2 + 2*q - 69. Is 18 a factor of d(21)?
True
Let z(p) = -33*p + 3. Suppose -g + 0*g + 2*t = 0, 0 = -5*g - t. Suppose -6 = 3*j - g*j. Is 23 a factor of z(j)?
True
Let u(q) = 30*q**3 - q**2 + 5*q + 4. Is u(3) a multiple of 41?
True
Suppose 1330 = -2*l + 9*l. Let i = -64 + l. Is i a multiple of 9?
True
Does 85 divide (-8)/3*-76*1176/112?
False
Let c(d) = 10*d - 6. Let n(y) = 20*y - 11. Let m(p) = 5*c(p) - 2*n(p). Is 13 a factor of m(6)?
True
Let i(x) = 2*x**2 - 33*x - 144. Is 16 a factor of i(-4)?
False
Let f(j) = j + 19. Let h be f(5). Is 6 a factor of (-2)/(-6) - (-2)/(h/284)?
True
Let o = -3208 + 5376. Does 18 divide o?
False
Suppose -639 = -4*d - 2*z - 33, 0 = 3*d + z - 455. Is 8 a factor of d?
True
Let i be (-6)/(-24) - 46/(-8). Let c be 45/2 - (-9)/i. Suppose 4*y = -5*v - 4, v + c = y - 4*v. Does 3 divide y?
False
Let u = 123 - 217. Suppose 6*c = c + 3*i - 129, -c - 36 = -4*i. Let r = c - u. Is 16 a factor of r?
False
Let w(x) = -34*x + 1. Let u(c) = 5 + 0*c - 10 - c + 0*c. Let b be u(-3). Is w(b) a multiple of 26?
False
Let p(w) = -4*w**2 + 5*w + 4. Let y(z) = -3*z**2 + 5*z + 3. Let g(u) = 4*p(u) - 5*y(u). Let o be g(-4). Suppose -156 = -o*n + 2*n. Does 13 divide n?
True
Let n be -2 - (2 - 0/(-4)). Let s be (1/3)/(n/588). Let q = -1 - s. Is q a multiple of 17?
False
Let y(a) be the first derivative of -11*a**2/2 - 11*a + 3. Let c(h) = -7*h - 7. Let b(x) = -8*c(x) + 5*y(x). Is 3 a factor of b(11)?
True
Let m(i) = i**3 + 4*i**2 + 3*i + 6. Let o be m(-6). Let r be o/(-6)*60/14. Suppose d - 7*d = -r. Is 3 a factor of d?
False
Suppose c + 2254 = 6*c + k, -c + 2*k = -442. Does 30 divide c?
True
Let n = -1 + 13. Let f(r) = 2*r**2 + 6*r - 5. Let o be f(4). Let h = o - n. Does 13 divide h?
True
Is 0 + -5 - ((-5286)/6 + 3) a multiple of 97?
True
Let y be (6 - 2)*30/(-8). Suppose -108 = 2*x - 5*b - 33, -2*x + b - 55 = 0. Let m = y - x. Is 5 a factor of m?
True
Is 57 a factor of (-583)/77 + 8 - (-6780)/7?
True
Let a(n) = 2*n**2 + n - 1. Let m be a(-2). Let v be (-3)/(-1 + 0/2). Suppose 0 = -v*f + 28 + m. Is f a multiple of 3?
False
Let k(y) = 512*y - 1. Let l be k(2). Is (-6)/4 + l/22 a multiple of 19?
False
Let r(x) = 8*x**2 - 15*x. Is r(6) a multiple of 18?
True
Let v be ((-33)/(-2)*2)/(12 + -13). Let r be 94/2 - (-1 + -1). Let y = r + v. Does 8 divide y?
True
Suppose 5*f + 5*n - 38 = 87, -n - 38 = -2*f. Suppose -24*u + 390 = -f*u. Is u a multiple of 26?
True
Let h(u) = 23*u**2. Let t be h(1). Let o be 3/18 - t/(-6). Suppose 3*i - o*g - 50 = 16, 3*i = 3*g + 63. Is i a multiple of 9?
True
Let z = -272 + 614. Is z a multiple of 18?
True
Let w = 101 + -5. Does 10 divide w?
False
Suppose -2316 = -5*g - 3*k, 0 = -3*g + 6*k - 4*k + 1382. Is g a multiple of 21?
True
Let z(n) = 438*n**2 - 4*n - 1. Is z(-1) a multiple of 21?
True
Suppose -8*c = -13*c + 4*x + 14896, -2*x + 5944 = 2*c. Does 21 divide c?
False
Suppose -3*k + 1563 = 3*d, -3*k + 2*k = 3*d - 523. Suppose 5*o - 200 = 3*x + k, 5*o + x = 720. Does 24 divide o?
True
Let b(o) = -5*o - 16. Let c be b(-8). Let u be c/(-9)*(1 + -13). Let p = u + 16. Is p a multiple of 16?
True
Suppose -6 - 21 = -a. Suppose -226 = -4*x + 2*t, -x + 3*t = -a - 27. Is x a multiple of 14?
False
Is 15 a factor of 381/(-635) - 4503/(-5)?
True
Let m(u) = -22*u + 7. Let b be m(4). Let s = -44 - b. Does 24 divide s?
False
Let z(u) = -u**3 + 4*u**2 - 4*u + 6. Let o be z(3). Suppose -n + o*y = 1 - 27, -2*y + 36 = 2*n. Is 10 a factor of n?
True
Let s be 2 + (0 - (2 - -217)). Let y = 342 + s. Does 21 divide y?
False
Let n(s) = s**3 + 9*s**2 + 2*s - 33. Is 17 a factor of n(-7)?
True
Let g be ((-10)/(-20))/((-1)/(-4)). Suppose -3*v + 2*z - 12 = -4*v, g*v - 5*z = 33. Suppose 0 = -d + 5*a + v + 14, -86 = -2*d - 5*a. Is d a multiple of 7?
False
Let h(y) = 653*y + 26. Is 74 a factor of h(2)?
True
Suppose -2*i + 2*t + 2 - 4 = 0, 0 = 2*i - 3*t + 3. Suppose i = 4*g - 347 + 99. Suppose -3*u = 4*z - 185 + g, -4*z - u + 121 = 0. Is z a multiple of 13?
False
Let f(z) = z**3 - 15*z**2 + 6*z + 7. Let x be f(14). Let i = 159 + x. Is i a multiple of 6?
True
Suppose 20 = 5*h, 9*o - 9730 = 6*o + 5*h. Is 26 a factor of o?
True
Let z(w) = 11*w**2 + 18*w - 37. Is z(16) a multiple of 67?
False
Let j(x) be the third derivative of x**5/60 + 5*x**4/24 - 2*x**3 - 2*x**2. Is 9 a factor of j(-12)?
True
Does 19 divide (-12)/(-32) + (-126386)/(-208)?
True
Let c(l) = 2*l - 2. Let v be c(5). Suppose -4*i = -v*i - 12. Let g(o) = o**3 + 6*o**2 + 5*o + 2. Does 8 divide g(i)?
False
Suppose 3*l = 4*r - 9*r + 715, -415 = -3*r + l. Suppose v = -3*v + r. Suppose -5*b = 3*p - b - v, -5*p + 30 = b. Does 2 divide p?
False
Let i = -4 - -22. Suppose 3*q + i = 9*q. Suppose p - q = 17. Is p a multiple of 20?
True
Let o = 1577 - 927. Is o a multiple of 13?
True
Is ((-1)/3)/(25/(-2550)) a multiple of 34?
True
Suppose 483 = y - h, -2*y + 3*h + 884 + 79 = 0. Is y a multiple of 27?
True
Let z be 1/(1/20*4). Suppose 5*c + 2*m = 2570, 2*c - 3*c - z*m = -491. Suppose r - c = -5*b, 5*b - 2*r - 549 = -21. Is 21 a factor of b?
False
Let g = -214 + 131. Let k = -14 - g. Is 11 a factor of k?
False
Let a(j) = j**3 + 10*j**2 - 6*j - 3. Is 57 a factor of a(-10)?
True
Suppose -k - 36 = 3*k. Let i = 13 + k. Suppose i = -w + 2*w. Is 4 a factor of w?
True
Let m(i) = i**3 + 13*i**2 + i - 5. Let o be m(-13). Is o/(-15)*(-680)/(-12) a multiple of 17?
True
Let l = 150 - 83. Let t = l + 94. Is t a multiple of 13?
False
Let d be (-266)/(-16) + (-12)/(-32). Suppose -5*n + d = 2. Is 10 a factor of -1*n/6*-20?
True
Let i(p) be the third derivative of p**4/6 + 4*p**3/3 - 2*p**2. Let n = 23 + -16. Is 20 a factor of i(n)?
False
Suppose 0 = 2*z, 5*i + 4*z - 50 - 180 = 0. Let c = 118 - i. Is c a multiple of 18?
True
Let a(i) = i**3 + 8*i**2 - 2*i. Let l(c) = -4*c**3 - 32*c**2 + 8*c + 1. Let k(g) = 9*a(g) + 2*l(g). Is 13 a factor of k(-6)?
False
Suppose g = -5*c - 11, 4*c + 8 = -4*g + 2*c. Let s = 45 - g. Let q = 111 - s. Is q a multiple of 18?
False
Let d = 156 - 53. Is d a multiple of 19?
False
Suppose -5*m = -5*r - 230, -3*m + 140 = -10*r + 5*r. Suppose 0 = -m*b + 50*b - 175. Does 35 divide b?
True
Is 74 a factor of ((-144)/108)/(2/(-9)) + 2495?
False
Let i = -2497 - -4477. Is i a multiple of 30?
True
Let y be (-231)/(-49) + (-6)/(-21). Suppose 947 = y*p - 3*q, -213 - 332 = -3*p - 4*q. Does 29 divide p?
False
Let b = -169 + 335. Is 24 a factor of b?
False
Suppose 9*u - 72 - 387 = 0. Let v = 93 - u. Is 14 a factor of v?
True
Let z be (-4 - 100/(-4)) + -1. Suppose 11*h = 16*h - z. Does 