e
Does 14 divide 45 + 415 + 4 + 0?
False
Let u(t) = 27*t + 591. Is 29 a factor of u(20)?
True
Let g be (-48)/(-8) - (-2 + 5). Suppose 3*f - 197 = -2*q - 15, 3*f = -g*q + 273. Is 17 a factor of q?
False
Suppose w = -5*c - 11, 4*c + 11 = -1. Let r = w + 0. Let t = r - -5. Is t a multiple of 6?
False
Suppose -8*a + 10*a + 4 = 0. Let n be (-6)/(537/(-264) - a). Is 11 a factor of (n/(-6))/((-8)/12)?
True
Suppose -79361 = -47*z - 1670. Does 19 divide z?
True
Suppose -35*y - 140 = -31*y. Let a = -1 - y. Is 6 a factor of a?
False
Let i = -24 + 17. Let j be (12/28)/((-1)/i). Suppose -5*n + 3*d = -74, -3*d = j*n + d - 56. Does 4 divide n?
True
Let k(u) = 6*u - 3. Let j be k(5). Suppose -4*x - 4*l - 38 = -6*l, -3*l + j = -3*x. Let h(g) = g**3 + 11*g**2 + 5*g - 13. Does 14 divide h(x)?
False
Let l = 388 - -77. Is 6 a factor of l?
False
Let i(g) = g**3 + 49*g**2 + 79*g - 46. Does 46 divide i(-46)?
True
Is 19 a factor of ((-83)/(-3) - -4)/(2/12)?
True
Let m(x) = 60*x**2 - 4*x - 2. Let n be m(-3). Suppose -5*r - 77 = w - 627, 5*r = w + n. Suppose r = -2*k + 7*k. Does 7 divide k?
False
Let a(t) = 9*t**2 + 12*t - 36. Is 42 a factor of a(-10)?
False
Let z = 547 - 257. Is z a multiple of 29?
True
Let u(c) be the third derivative of -5*c**4 - 3*c**2. Let l be u(3). Does 10 divide (10/6)/((-12)/l)?
True
Suppose -10*k = -773 - 147. Is 23 a factor of k?
True
Suppose -4*s = -5*k - 15528, -6 + 18 = 3*k. Does 45 divide s?
False
Let d = -86 - -51. Suppose -b + 24 = 3*b. Let u = b - d. Does 11 divide u?
False
Suppose -2*y - y + 9 = 0. Let u = 16 - 11. Suppose 5*r - y*p = 73, -3*r - 14 = -5*r + u*p. Does 17 divide r?
True
Let d = 1427 - 587. Is d a multiple of 40?
True
Let u = -4 + 10. Let m be ((-24)/9)/((-4)/6). Suppose m*y = -3*q + 155, 3*q + u + 3 = 0. Is 15 a factor of y?
False
Suppose -3*i + 1917 = i - 3*n, -2*i = -4*n - 946. Is 7 a factor of i?
True
Let k be 1/(2 - (-154)/(-76)). Is (-5970)/k + (-16)/152 a multiple of 39?
False
Suppose -3*b = -j + 162, 4*b - 7*b - 309 = -2*j. Is j a multiple of 26?
False
Let o(c) = -c**3 + 25*c**2 - 33*c - 33. Does 3 divide o(23)?
False
Let c(h) = 2*h + 25 + 29 - 13*h - 11. Is c(-11) a multiple of 22?
False
Let n = -132 + 413. Let l = -153 + n. Is l a multiple of 32?
True
Suppose -5*m - 2367 = 3*a - 5*a, -a + 4*m = -1185. Suppose -3*t + 707 = -2*i, 9*i - 11*i = -5*t + a. Does 23 divide t?
False
Suppose 2*b = -4*w + 18, -7*w + 27 = 5*b - 3*w. Suppose 0 = b*h + h. Let p = 72 + h. Is 36 a factor of p?
True
Let h be 0/(-2) - (-83 - -3). Suppose 0*z - 4*s - 32 = -4*z, -3*s - 32 = -5*z. Does 30 divide (0 - -3)/(z/h)?
True
Let v(b) = b**3 + 6*b**2 + 6*b + 3. Let x be v(-4). Let r be x/4 + 3/12. Suppose 5*y - r*y = 52. Is 13 a factor of y?
True
Let m(z) = z + 24. Let i(o) = -3*o + 4. Let n be i(-2). Is m(n) a multiple of 8?
False
Suppose 17569 = 10*a + 5929. Does 12 divide a?
True
Let z = 7 + -15. Let w(h) = -h**3 + 5*h**2 + 2*h + 1. Let u be w(4). Let g = z + u. Is g a multiple of 17?
True
Let a = -107 - -229. Is 5 a factor of a?
False
Let c(h) = -h**3 - 8*h**2 + 7*h - 20. Let r be c(-9). Let g(i) = -12*i**2 - 5*i - 7. Let z be g(r). Does 3 divide ((-6)/9)/(6/z)?
False
Let p = -618 + 1062. Does 12 divide p?
True
Let c(b) be the second derivative of -b**3/6 - 2*b**2 - 3*b. Let d be c(-6). Suppose 5*v - 99 = -o, d*o - 22 = -v - 4. Is 12 a factor of v?
False
Let y(s) = 133*s + 1286. Is 89 a factor of y(-9)?
True
Let o(r) = 5*r**2 + 4*r - 4. Let a be o(4). Let k = a - 66. Is k a multiple of 13?
True
Suppose -u + 15 = 13. Suppose -u*i + 3 = 2*j + 1, -2*i + 8 = -j. Suppose 4*f + x = 5, -f - 7 = -0*f + i*x. Does 2 divide f?
True
Let j be 2/(-12) - (-38)/12. Suppose 5*l - 2*l = -4*z + 85, -3*z + 90 = j*l. Does 24 divide l?
False
Let l(j) = -j**3 + 4*j**2 + 14*j - 12. Let v be l(6). Let r(s) = -s**3 + s**2 + 2*s + 11. Is r(v) a multiple of 2?
False
Let o(i) = i**3 + 17*i**2 - 15*i + 3. Let j be o(-17). Suppose 58 + j = 4*u. Is 25 a factor of u?
False
Suppose -3243*u + 4625 = -3238*u. Is u a multiple of 5?
True
Suppose -4*x + 120 = 5*y, 5*y = -3*x + 81 + 9. Is x a multiple of 10?
True
Let p = -46 + -6. Let j = -35 - p. Is 3 a factor of j?
False
Let y(g) = g**2 - 5*g + 16. Let r(s) = -6*s**2 + 26*s - 80. Suppose 5*z - 2 = o - 1, 15 = -o - 2*z. Let f(n) = o*y(n) - 2*r(n). Does 23 divide f(8)?
False
Is (644/115)/((-6)/(-75)) a multiple of 10?
True
Let h(g) = -70*g + 51. Is h(-8) a multiple of 11?
False
Let u = 223 + -478. Let p = -151 - u. Is 26 a factor of p?
True
Suppose -2*v = -4*a + 22 - 4, -4*v = -4*a + 24. Let t(n) be the first derivative of 2*n**3/3 - n**2 + 1. Is 12 a factor of t(a)?
True
Let g(j) = 7*j**3 + 2*j**2 + j - 58. Let l(x) = 6*x**3 + 2*x**2 + x - 59. Let n(s) = 4*g(s) - 5*l(s). Is n(0) a multiple of 21?
True
Suppose -3*l - 2*l - 160 = 0. Let m = l + 65. Is m a multiple of 11?
True
Let d = 0 + 4. Suppose 0 = -4*v - 2*h + 10, -d*h = 3*v - 5 - 5. Suppose 0 = -v*x - 8, 0*i - 3*i + 3*x = -69. Does 19 divide i?
True
Suppose 4*m - 1103 = -91. Suppose -10*k + m = -467. Does 6 divide k?
True
Suppose 2*z + 5*z = 14. Suppose 0 = -3*j - 4*v + 7, -v = z*j - 15 + 7. Is 5 a factor of j?
True
Suppose -2*i - 12 = -o, -2*o + 2*i + 28 = 3*o. Let x = o - 5. Does 17 divide (-3 - x)*17/(-2)?
True
Let n = 9 + -11. Let a be (3/n)/(3/(-6)). Suppose -8 = -a*y + 10. Is y a multiple of 2?
True
Let t(k) = -37*k - 37. Is 18 a factor of t(-18)?
False
Let q(z) = 3*z**2 - 10. Let n = 21 - 16. Is q(n) a multiple of 18?
False
Suppose r = -4*u + 2289, -u + 548 + 29 = 5*r. Is u a multiple of 48?
False
Suppose -3*m - 2*f - 2*f = -1126, -5*m = -5*f - 1900. Is m a multiple of 9?
True
Let m be (-8)/(-3)*987/28. Let q = m + -67. Is 5 a factor of q?
False
Suppose 5*i + 240 = 1310. Let j = -120 + i. Is j a multiple of 8?
False
Is 30 a factor of 0 - 2 - 48*-3?
False
Let z be (1*-1)/((-7)/1386). Let c = z - -10. Is c a multiple of 21?
False
Let w(h) = -h + 13. Let o be w(10). Suppose -o*u = -4*u - 2*c + 60, 4*u - 285 = c. Does 7 divide u?
True
Let m(t) = 111*t**2 + 4*t - 16. Is 38 a factor of m(2)?
False
Suppose 2*o + h = -5, 8 + 12 = -5*o + 5*h. Is 20 a factor of -6 + (-171)/(-27) + (-179)/o?
True
Let i = 480 - -76. Is i a multiple of 10?
False
Suppose 2*b - 2*m - 604 = 0, -8*m = -2*b - 3*m + 619. Is 9 a factor of b?
True
Let g(u) = -16*u + 61. Does 28 divide g(-5)?
False
Suppose 6*y + 5*w + 5 = 5*y, -3*y + 70 = -2*w. Suppose -8 - y = -2*q. Is q a multiple of 3?
False
Let x = 562 + 266. Does 46 divide x?
True
Let a = -1174 - -2048. Is 19 a factor of a?
True
Let q(l) = 4*l - 19. Let w be q(5). Is 10/4*(48 + (1 - w)) a multiple of 30?
True
Let k = -8 - -10. Suppose k*x = -2*x. Suppose -5*n - 45 = -u, -3*u + x*n + 145 = -5*n. Does 10 divide u?
True
Let n(m) = -m**3 - 14*m**2 - 7*m - 4. Let g be n(-13). Let k = -70 - g. Does 10 divide k?
False
Suppose -5*t = 2*q - 199, 3*q = 4*q - t - 89. Is 23 a factor of q?
True
Suppose 2*d = 5*n + 403, -2*n - 440 = -4*d + 390. Let p = -104 + d. Does 21 divide p?
True
Suppose -5 = 3*p - 17. Suppose x + 4*z - 22 = 0, 5*x + p*z - 26 = 2*x. Suppose 3*u = x*g - 74, 0*g + 4*u = 2*g - 72. Does 20 divide g?
True
Let c = -24 - -30. Suppose -4*x = 4*w, 0 = -0*w + w + 4*x + c. Suppose 4*k = 4*n - 92, w*k - 3*k = 5*n - 85. Does 9 divide n?
True
Let n(f) = f**3 + 9*f**2 + 2*f + 10. Let t be n(-8). Let s = t - 6. Does 16 divide s?
False
Suppose -20*n + 270 = -17*n. Does 18 divide n?
True
Let u(t) = -11*t**2 - t**3 + 13 - 2*t - 3*t + 0 - 4*t. Let r be u(-10). Suppose -w + r*b = -4*w + 336, 0 = 4*w - 2*b - 472. Does 17 divide w?
False
Let q(o) be the first derivative of 2*o**3/3 - 9*o**2/2 + 9*o + 35. Does 8 divide q(5)?
False
Let r = 661 - 463. Is r a multiple of 4?
False
Let w(u) = 20*u**2 - 5*u + 28. Does 32 divide w(-5)?
False
Suppose -7*v + 48*v = 66297. Is 43 a factor of v?
False
Let s = 13 - 11. Suppose 0 = 5*z + s*w - 167 - 146, 2*z + 4*w - 138 = 0. Does 25 divide z?
False
Let h(g) = -26*g - 78. Does 5 divide h(-8)?
True
Let r(u) = 3*u**2 + 7*u + 30. Does 20 divide r(-13)?
False
Is ((-1116)/(-5))/((-30)/(-75)) a multiple of 17?
False
Suppose 0 = -4*t + 7*r - 4*r + 17, 13 = 5*t - r. Suppose 0*y + 72 = t*y - 3*z, y = 2*z + 36. Is 18 a factor of y?
True
Let z(h) = h**2 + 7*h + 8. Let d be z(-6). Suppose -d*j - r = -13 - 42, -3*j + 80 = 4*r. Is j/3*30