ose -3*i + s = 26. Is 8 a factor of i?
True
Suppose 0 = 4*z - m - 1021, 0*z - 5*z + 4*m = -1279. Is 15 a factor of z?
True
Let k(n) = 2*n**3 + 2*n**2 - 7*n - 5. Let l be k(-4). Suppose 10*t + 1074 = 54. Let j = l - t. Is j a multiple of 29?
True
Let g = 9 - 18. Let r(w) = -w + 3. Let s be r(g). Suppose 2*f - s = l, -33 = -5*f - l + 2*l. Does 6 divide f?
False
Does 25 divide 2379/(-26)*(-1)/(9/150)?
True
Let y(k) = 2*k**3 - 4*k**2 + 3*k - 2. Let j be y(2). Suppose -12 = j*d + 4*u, -5*d + 0*u - 4*u - 10 = 0. Suppose -3*q = -d*q - 35. Is 6 a factor of q?
False
Let j(u) = -84*u**2 - u - 4. Let b(m) = 168*m**2 + 2*m + 7. Let f(y) = 3*b(y) + 5*j(y). Is f(-1) a multiple of 28?
True
Let h(d) be the first derivative of 2*d**3/3 - 3*d**2/2 + 2*d - 3. Let t be h(2). Suppose 0*j = -t*j + 156. Is j a multiple of 14?
False
Suppose -32*d + 41615 + 18225 = 0. Is 85 a factor of d?
True
Suppose -345 = -976*g + 975*g. Is 15 a factor of g?
True
Does 15 divide 15002/10 + (-20)/100?
True
Suppose -11*t + 7717 = -137. Does 51 divide t?
True
Suppose -4*a + 152 = i, 0 = -a + 3*a - 2*i - 86. Is 4 a factor of a?
False
Let k be 3*1 + 704/(-16). Let u = k + 105. Is 32 a factor of u?
True
Let y = -31 + 34. Suppose 585 = 5*t - y*q, -4*t + 3*q - 6*q + 441 = 0. Is t a multiple of 19?
True
Let s(c) = 7*c**2 - 33*c + 30. Let n(m) = 10*m**2 - 49*m + 45. Let i(f) = -5*n(f) + 7*s(f). Is 7 a factor of i(9)?
False
Suppose 0 = 2*x + y - 28 - 0, 0 = 2*x + 5*y - 20. Does 15 divide x?
True
Let v be (22/(-6))/(3/(-18)). Let i = v + -11. Is i a multiple of 11?
True
Suppose 0 = -44*j - 10397 + 50129. Is j a multiple of 21?
True
Let f(o) = 7*o - 10. Let r be f(2). Let t(m) = -m**3 + m**2 + m + 2. Let y be t(0). Does 17 divide ((-111)/y)/((-3)/r)?
False
Let n = -1225 - -1875. Suppose 3*i + 125 = n. Does 15 divide i?
False
Suppose 103768 = 3*n + 65*n. Does 31 divide n?
False
Let t(r) = -6*r + 66. Let d be t(19). Is -1 + (4 + -3 - d) a multiple of 16?
True
Is 111 a factor of (-34425)/(-10) + (-1)/(-2) - 2?
True
Let t(s) = -s - 6. Let r be t(-8). Let m(c) = -2*c**3 - 3*c**2 + 2. Let j be m(-2). Let g = j + r. Does 8 divide g?
True
Suppose -12*f - 192 = -9*f. Let v = 102 + f. Is v a multiple of 19?
True
Let z(k) = -4*k**3 - 4*k**2 + k - 2. Let h(v) = v + 13. Let l be h(-17). Is z(l) a multiple of 30?
False
Suppose 0 = -4*z + 2 + 2. Let n(b) = b**3 - 7*b**2 + b + 1. Let q be n(7). Does 8 divide 1/(z/q - 0)?
True
Suppose 8*c - 1649 = 247. Is 14 a factor of c?
False
Suppose 5*v - 2*o + 46 = 0, 0*v + 3*o = 3*v + 33. Is 5 a factor of (-206)/v + 1 + (-1)/(-4)?
False
Let x be 3/(-9)*-93*4/(-4). Suppose -224 + 56 = -3*w. Let a = w + x. Is 16 a factor of a?
False
Let h(v) = -v**3 + 10*v**2 + 19*v - 31. Is 27 a factor of h(11)?
False
Suppose -4*g = -117 - 203. Does 16 divide g?
True
Suppose 17*x - 6 = 11. Let v = 116 + x. Is v a multiple of 13?
True
Suppose 7 = 3*l + 1. Suppose 5*y = l*y + 51. Is 17 a factor of y?
True
Let v = 1004 + -779. Does 66 divide v?
False
Let h = -10 - 26. Is 2 a factor of (-14)/(33/h + (-3)/(-12))?
False
Suppose -4*q + 3111 = 3*t, q - 3*t - 469 - 305 = 0. Is q a multiple of 21?
True
Suppose -10*w + 21645 = -w. Does 45 divide w?
False
Let w(l) = -11*l - 125. Is w(-19) a multiple of 3?
True
Let v = 1330 - 1167. Is 2 a factor of v?
False
Let h = 164 + 363. Suppose -h = -3*d - 383. Does 24 divide d?
True
Suppose -2*k + 6*j - 2*j + 104 = 0, -5*j - 15 = 0. Suppose 6*y - k = 1250. Does 24 divide y?
True
Let v(c) = -17*c + 35. Does 7 divide v(-4)?
False
Let j be -1*2*(-1)/(-2). Let m(q) = -21*q - 2. Does 19 divide m(j)?
True
Suppose -8*t = -4*g - 12*t + 5012, -2*g + 5*t = -2541. Is g a multiple of 34?
True
Let b be ((-3)/(12/8))/(-2). Let w be 438/(-10) - b/5. Let p = w + 70. Is p a multiple of 12?
False
Let b(t) = t**3 - 4*t - 7. Let l be b(4). Let u = l + -25. Suppose 56 + u = 2*c. Does 12 divide c?
True
Suppose 13*c - 264 = 2*c. Let g = c - -1. Is g a multiple of 14?
False
Let a = 37 - 45. Let y(j) = -4*j + 11. Is y(a) a multiple of 27?
False
Let j(l) be the first derivative of -9*l**4/4 + 2*l**3/3 - l**2 - 4*l - 13. Does 14 divide j(-2)?
False
Suppose -3*d - 4*p - 14 = 6, 2*p = 3*d - 10. Let k = -6 + d. Let t = k + 13. Is 3 a factor of t?
False
Let o = 686 - 66. Does 20 divide o?
True
Let z = 246 + -489. Is 6 a factor of (-1)/5 - (-2 + z/15)?
True
Let x(j) = 2*j**3 - 13*j**2 - 3*j - 1. Let m be x(7). Suppose -32*r + m*r + 790 = 0. Does 41 divide r?
False
Let x(u) = -u**3 - 4*u**2 - 20*u - 45. Is x(-7) a multiple of 19?
False
Suppose -4*m - 5*j + 39 = 0, 4*m + j - 42 = -j. Is 2/(-11) + 200/m a multiple of 3?
True
Suppose 5*u + 4*b - 133 = -0*b, 3*u + 4*b = 75. Suppose -3*t - 223 = -4*j - 8*t, -4*t = 20. Let m = j - u. Does 11 divide m?
True
Let c(i) = -i**2 + 9. Let h be c(-3). Suppose -3*s + 80 + 259 = h. Is 14 a factor of s?
False
Suppose -4*v + 14 = -0*v - 3*r, 0 = 4*v + 4*r - 28. Suppose 4*l = -3*h + 53, 2*h = -h + v*l + 89. Is h a multiple of 2?
False
Let z be (-10 + -10)/(1/(-3)). Suppose -3*w + 8*w - 206 = -4*i, -2*w = -4*i - z. Suppose 5*g - g = 4*b + 20, -4*g + w = 5*b. Is g a multiple of 7?
True
Suppose -3*h - 199 = -0*a - a, -5*h = -4*a + 789. Suppose 18*t - a = 16*t. Suppose -p - p = -t. Is p a multiple of 5?
False
Let b(j) = 14*j**2 + 24*j - 12. Is 22 a factor of b(6)?
False
Let g(p) = 25*p - 23. Let z be g(13). Suppose 5*m = -2*u + z, 21 + 35 = m - 4*u. Does 7 divide m?
False
Suppose -44*d + 7561 + 1063 = 0. Does 49 divide d?
True
Let p(w) be the second derivative of w**5/20 - 2*w**4/3 + w**3 - 2*w**2 + 4*w. Let v(n) = -n**2 - 8*n - 8. Let u be v(-4). Is p(u) a multiple of 11?
True
Suppose 0 = -170*t + 188*t - 11340. Is 9 a factor of t?
True
Let m(s) = 8*s - 2. Let d be m(15). Let h = d - 101. Is h a multiple of 6?
False
Let u(a) = a**3 - 2*a**2 - 5*a + 4. Let m be u(3). Let j(y) = y + 3*y - 5*y + 1 - 13*y. Is j(m) a multiple of 29?
True
Is 29/((-2610)/(-30980)) - 4/18 a multiple of 19?
False
Is 8 a factor of (-2)/(16/12)*-202?
False
Let o = 139 - 74. Is 65 a factor of o?
True
Let n = 55 + 341. Is 9 a factor of n?
True
Is 14 a factor of (5/3 + -1)/((-35)/(-153825))?
False
Let j = 105 - -7. Is 21 a factor of j?
False
Let c = -3 - -6. Suppose -g + 21 = c. Is 5 a factor of g?
False
Suppose -3*r = -5*r - 190. Let s = r - -146. Suppose f - s - 30 = 0. Is f a multiple of 27?
True
Let k(o) = -8*o**2 + o + 9. Let p(t) = 4*t**2 - 4. Let u(d) = 2*k(d) + 5*p(d). Is u(-3) a multiple of 7?
True
Let d = -147 + 186. Is 3 a factor of d?
True
Suppose -12*y + 3*y = 405. Is (38/(-4) + 0)*(y + 43) a multiple of 13?
False
Suppose -2*c + 308 = d, 24*d + 300 = 2*c + 21*d. Does 3 divide c?
True
Suppose 0 = 5*z + 25, 4*z + 285 = 4*o + o. Does 24 divide o?
False
Suppose -k = -g + 73, 0*k + 61 = g + 3*k. Let y = 184 - g. Is y a multiple of 36?
False
Suppose -2*p = 6, -107 = -3*c - 5*p - 17. Is 13 a factor of (-36 + c)/(0 - (-2)/(-62))?
False
Suppose 2 + 4 = 6*c. Is 5 a factor of 0*c/(-4) + 16?
False
Suppose 3*g + 99 = 2*k, 0 = -5*g - 2*k - 0 - 149. Let j = -16 - g. Does 15 divide j?
True
Let b(d) = 5*d + 123. Is b(-15) a multiple of 12?
True
Suppose -1 - 8 = -3*q. Suppose 5*i = 4*j + 9, -8 = -4*i + q*j - 0. Suppose -i*p + 27 = -18. Does 2 divide p?
False
Let u(p) be the first derivative of -7*p**2/2 + 23*p + 1. Is 8 a factor of u(-7)?
True
Suppose 5*o - 6*b + 2*b = 2221, -3 = -3*b. Suppose 83 = 6*a - o. Does 22 divide a?
True
Suppose 3*j - 5*q = 56, 4*q + 81 - 9 = 4*j. Let m = 7 + j. Does 7 divide m?
False
Let m(q) = 5*q**2 + 64*q - 465. Does 2 divide m(8)?
False
Suppose 4 - 2 = y. Suppose -17 = 2*c - 3*d, y*d = -0*d - 6. Let x = 39 + c. Does 9 divide x?
False
Suppose -3*w + 102 = -w. Let z = w - 26. Is 5 a factor of z?
True
Let u = 7 + -17. Let k = 0 + u. Does 17 divide (16/k)/((-2)/25)?
False
Let h(t) = 52*t**2 - 57*t + 53. Does 13 divide h(-5)?
True
Suppose 3*k + o - 4*o - 1236 = 0, -5*o = 20. Does 24 divide k?
True
Let a = 1063 + -688. Is 5 a factor of a?
True
Let i = -301 + 511. Is i a multiple of 15?
True
Suppose -3*m + 4 = -4*w, -w + 6*w = -2*m + 18. Let f(n) = -2*n**2 + 6*n - 4. Let z be f(m). Let o = z + 16. Does 4 divide o?
True
Suppose -3*h + 5*r + 419 + 243 = 0, h - 4*r - 223 = 0. Is 73 a factor of h?
True
Let s be -3*(-6)/9*(-35)/(-14). Suppose -4*z - 101 = -s*q, -2*q - q - 2*z + 