+ 6*g - 2*g. Suppose -400*b + i*b = 1350. Is b a multiple of 10?
True
Let z(n) be the second derivative of 3*n**5/20 - n**4/6 - 2*n**3/3 + 23*n**2/2 + n - 72. Is z(4) a multiple of 14?
False
Suppose 27 = -42*t + 39*t. Let l be ((-3)/t)/(4/(-24)). Let b = l + 42. Does 8 divide b?
True
Suppose 2*c + 56980 = 9*c. Suppose -13*t - 9*t = -c. Does 9 divide t?
False
Let w(l) = -7*l - 12. Let f(a) = -5*a**2 - 10*a - 10. Let m(h) = -4*h**2 - 9*h - 11. Let r(b) = -3*f(b) + 4*m(b). Let d be r(-5). Is 17 a factor of w(d)?
True
Let a = 12 + -9. Suppose -b + 5*q + 0*q = 3, -12 = 4*b - 4*q. Is 10 a factor of (-356)/(-8) + (a/(-2))/b?
False
Suppose 0 = -5*g + 5*s + 15, 2*g + s - 16 = 5*s. Is (-2 - -69)*(-2)/g a multiple of 3?
False
Is (-75 - 0)/(5*4/(-980)) + 7 a multiple of 17?
False
Suppose 8*t + 38388 = 5*w + 10*t, 5*w - 4*t = 38424. Is w a multiple of 64?
True
Let l(g) = -2*g**2 + 22*g - 20. Let f be l(10). Suppose f = -y - y + 306. Does 24 divide y?
False
Is 63 a factor of ((2450/(-15))/(-10))/(2/582)?
False
Suppose -30*h + 7 = -623. Suppose -9013 + 718 = -h*i. Is i a multiple of 6?
False
Let f be (191/(-1))/(-4 - (-7)/2). Suppose 0 = -3*p + 152 + f. Is p a multiple of 14?
False
Let l = 104 + -174. Suppose 485*g - 1575 = 947*g - 477*g. Let j = g + l. Is 5 a factor of j?
True
Suppose 6 = 3*z, 6682 = 5*a + z + 2240. Is 24 a factor of a?
True
Let x(n) = 3*n**3 - 3*n**2 + 6*n - 3. Let z = 104 - 101. Is 5 a factor of x(z)?
False
Let g = -32 + 24. Let z = -9 - g. Is 4 a factor of z/(-7) - (-440)/56?
True
Suppose 162 = 2*p - 0*p. Let a = 391 + p. Is a a multiple of 8?
True
Let l(f) = 12*f**3 + 6*f - 11. Let c(k) = 4*k - 14. Let r be c(4). Is 11 a factor of l(r)?
False
Let d(a) = 11*a - 48. Let v be (0 + 8)*(-11)/(-22) - -5. Does 3 divide d(v)?
True
Let n(h) = 2*h. Let x be n(-4). Let r(g) = -g**2 - 9*g - 11. Let l be r(x). Let w = l + 39. Is 9 a factor of w?
True
Let s = 111 - 129. Does 11 divide ((-99)/s)/((-3)/(-18))?
True
Does 10 divide (1 - 12/16)*1108 - -3?
True
Let m = -11 - -25. Suppose -m*d + 1261 = -d. Is 28 a factor of d?
False
Let t be 4/(2/6*3/2). Let m(x) = 9*x + 73. Does 29 divide m(t)?
True
Does 21 divide (3920/224)/((-1)/(-534))?
True
Let m(n) = n**3 + 4*n**2 - 23*n + 130. Is 9 a factor of m(11)?
True
Let z(v) = 12*v**2 - 44*v + 2. Does 19 divide z(8)?
True
Suppose -3*d = -5*a - 6464, -5*d + 5*a + 5697 + 5093 = 0. Suppose 10*h + d = 5573. Is 31 a factor of h?
True
Suppose 0 = 37*y + 156 + 66. Let z = -170 - -341. Is (4/y)/((-19)/z) a multiple of 5?
False
Suppose -8*f + 1688 = -4*f. Suppose -f = 9*b - 13094. Does 63 divide b?
False
Does 10 divide -1 + (-3 - 148/(-52) - 20871375/(-455))?
True
Suppose -4*k - 137*b + 27188 = -132*b, -k - 3*b + 6790 = 0. Is k a multiple of 179?
True
Suppose 2810 = 6*g - 1726. Suppose g = -113*l + 117*l. Is 9 a factor of l?
True
Suppose 11738 - 2730 = -16*m. Let j = -352 - m. Is 21 a factor of j?
False
Let l = 34 - 30. Suppose 5*u - t = 82, -l*t + 6 = u - 23. Suppose 2*k = 2*h - 390, 2 = 5*k + u. Is 43 a factor of h?
False
Suppose 5*t + 21258 = 2*o, 2*o - t - 13584 = 7666. Does 9 divide o?
False
Suppose 3*l + 13622 = 4*w - 11270, 2*w - 5*l - 12446 = 0. Is w a multiple of 5?
False
Suppose -4*s - 25528 = -2*m, 0 = 5*m + 3*s - 21122 - 42672. Does 20 divide m?
True
Let i(u) = u**3 - 80*u**2 - 446*u + 339. Is i(86) a multiple of 5?
False
Let m(g) = -1018*g - 315. Let d be m(-5). Suppose -d = -9*i + 3109. Does 12 divide i?
True
Let m(o) = -4*o**3 - 33*o**2 - 7*o - 6. Let q(h) = -13*h**3 - 98*h**2 - 20*h - 17. Let a(n) = -14*m(n) + 4*q(n). Does 4 divide a(-17)?
True
Suppose g + 3*d + 19 = -0*g, -3*g - 70 = -4*d. Let p be (4959/(-58))/((-7)/14). Let i = g + p. Is i a multiple of 22?
False
Let u(j) = j**3 - 31*j**2 + 20*j + 57. Let r be u(30). Let y = 504 - r. Does 83 divide y?
True
Suppose 6*g = -3*j + 19842, -4*g - 25*j + 26*j + 13222 = 0. Is 38 a factor of g?
True
Let b(u) = 84*u - 2. Let i be b(1). Suppose -3*s + 19 = i. Let h = 33 - s. Is 8 a factor of h?
False
Suppose 192*l = 447*l - 716040. Does 104 divide l?
True
Let x be (-42)/(-24) + (-2)/(-8). Suppose -x*i = -a + 2*i + 71, -5*a + i = -412. Is a a multiple of 33?
False
Let i(h) = -46*h - 104. Let z be i(-14). Let n = z - 315. Does 30 divide n?
False
Let s(l) = -5*l**2 + 57*l + 16 - 4 + 47*l + 7*l**3 - 117*l - l**3. Is 14 a factor of s(7)?
False
Suppose 4*o + 124 = 372. Let y = -41 + o. Does 11 divide 22*y/6*(-18)/(-14)?
True
Let u(x) = x**2 + 48*x + 3016. Does 266 divide u(75)?
False
Let q(p) = 2*p**2 + 13*p + 21. Let c be q(-7). Let o be ((-104)/c - -4) + 110/7. Suppose -o = -9*b + 5*b. Is b a multiple of 4?
True
Let l be 119/(-21)*6*-1. Suppose -30*s = -31*s + l. Does 15 divide s?
False
Suppose 4*c - 831 + 1075 = 0. Let u = c + 125. Is u a multiple of 16?
True
Let w(m) = 2*m + 6. Let t be w(-3). Let q be 1/(3 - (t - -4)). Is (2 + -4 - (-2 - q)) + 29 a multiple of 28?
True
Suppose 53*d = -89*d + 88608. Is d a multiple of 4?
True
Let m(u) = 1086*u**2 - 543*u**2 - 544*u**2 + 13 - 10*u. Let s be -14 + 0 + 0 + 3. Is 2 a factor of m(s)?
True
Let b(d) = -17*d**2 - 33*d - 8. Let v(g) = 15*g**2 + 29*g + 8. Let c(y) = 5*b(y) + 6*v(y). Let m be 1 - 0 - 3*2. Is 11 a factor of c(m)?
True
Let h(b) = b**3 - 3*b**2 + 5*b - 10. Let c be h(3). Suppose -5*z = 5*v + 10, -c*v + 4*z + 3 + 5 = 0. Suppose 9*s - 5*s - 192 = v. Is 16 a factor of s?
True
Let x(v) = -3*v**3 - 8*v**2 - 15*v - 3. Let c = 70 - 74. Does 7 divide x(c)?
False
Let h = -153 - -326. Let n = -136 + h. Is 8 a factor of n?
False
Suppose 2*g = 1478 + 2050. Suppose -19*w + g - 73 = 0. Is w a multiple of 10?
False
Let o be (84/(-18))/(1/(-3)). Let j(m) = -o - 4 + 45*m + 18. Is j(1) a multiple of 5?
True
Let f(a) = 17*a + 7. Let n be f(-7). Let k = n - -238. Suppose k*b = 127*b - 47. Is 9 a factor of b?
False
Suppose 0*k + 556 = 4*f + 4*k, 0 = -f + 3*k + 131. Let q = -633 + f. Let v = 715 + q. Is 33 a factor of v?
False
Let u be (-28)/(-6)*((-29)/2 - 5). Let l = u + 96. Suppose -l*g + 484 + 61 = 0. Is 6 a factor of g?
False
Suppose -2*p - f + 13 = 0, 3*f + 11 = p + 8*f. Suppose p*u + 12096 = 24*u. Is u a multiple of 15?
False
Suppose -5*n + 4*g = -7650, -g - 3620 = -3*n + 970. Is n a multiple of 34?
True
Let u(d) = 82*d + 13. Let h be u(-7). Let s = h + 657. Does 6 divide s?
True
Let a(x) = 19*x**2 + 2859*x - 224. Is a(-157) a multiple of 42?
False
Suppose 1865 + 12775 = 4*a. Is a a multiple of 25?
False
Suppose -523 - 287 = 3*x. Let k be 4 + 0 + x/(-6). Let g = k + -46. Does 3 divide g?
True
Does 13 divide (-787083)/(-671)*((-46)/18 + 1)*-42?
False
Let x(z) = -z**2 - 2*z - 1. Let q be x(-1). Suppose j - 3 + q = 0. Suppose j*p = p - 8, v - 3*p = 57. Is 15 a factor of v?
True
Let y(o) = 5*o**2 + o - 2. Let b be y(-1). Does 27 divide -122*1*(1 - (b + 1))?
False
Suppose 0 = -72*k - 124443 + 2607507. Is 76 a factor of k?
False
Suppose 23*a - 7*a - 10896 = 0. Suppose -6*w + a = 93. Is 5 a factor of w?
False
Let a be (-180)/24*(1104/10)/(-2). Let k = 593 - a. Is k a multiple of 6?
False
Let y(w) = 4*w**2 + 1. Let l be y(-1). Suppose 2*f = l*m - 246, m + 3*f = -3*m + 183. Is (m/(-18))/((-4)/6) even?
True
Suppose 5498 = 2*t - 3*x, -6*t + 13855 + 2691 = 4*x. Does 145 divide t?
True
Let v(y) = -24*y**3 - 54*y**2 + 14*y - 36. Does 130 divide v(-11)?
True
Let v = 42 + -15. Suppose 3*m + v = 264. Is 10 a factor of m?
False
Suppose -29*o = -126 - 19. Let j(f) = 31*f - 23. Is j(o) a multiple of 11?
True
Suppose 5*d - 1034 = 5*x - 56154, -11*x = -3*d - 121264. Does 212 divide x?
True
Let t(w) = w**3 - 2*w + 3. Let h be t(0). Suppose 2*s - p + 7 = 0, 5*p - 10 = h*p. Does 9 divide (101 - (-4 - s)) + 4?
True
Let q be (-84)/1 - (7 + -10). Let x = 92 + q. Suppose 5*m + x = 96. Does 15 divide m?
False
Let i(u) = -u**3 + 7*u**2 - 8*u + 1. Let w(o) = -2*o**3 + 13*o**2 - 16*o + 3. Let a(j) = 5*i(j) - 2*w(j). Let z be a(8). Does 8 divide ((-22)/33)/(z/(-126)*-2)?
False
Let a(c) = -2*c**3 + c + 3. Let n be a(0). Suppose 5*q = -5*x + 2130, -1762 = -n*x - 5*q - 488. Does 12 divide x?
False
Let c(f) = -2*f + 10. Let t be c(3). Let j = 77 + -74. Suppose 0 = 3*l + t*z - 45, -3*l + 9 + 15 = -j*z. Is l a multiple of 4?
False
Let u(k) = -k**2 - 18*k - 64. Let c be u(-9). Suppose -c*i + 8450 = -4*i. Does 58 divide i?
False
Let s be (10 + (-126)/(-5))/(4/10