 multiple of 16?
True
Let u = -963 - -21928. Does 35 divide u?
True
Let u(j) = j**2 + 3*j - 38. Suppose 13*q - 20*q + 77 = 0. Is 8 a factor of u(q)?
False
Suppose -9*l + 7*d = -5*l - 924, 2*l = -3*d + 436. Does 28 divide l?
True
Suppose 0*c - 7*c + 26190 = 8*c. Is c a multiple of 97?
True
Let c = -142 + 91. Is 12 a factor of c/(-68)*(5 + -1)*61?
False
Suppose 5*q = -57 + 32. Let n be q/((-75)/10)*6. Suppose x + 408 = n*s, -5*s - 2*x - x + 510 = 0. Is s a multiple of 10?
False
Is 37 a factor of (-36760)/(-18) + (7 - (-390)/(-54))?
False
Suppose 37*g - 134700 = -15*g - 8*g. Is g a multiple of 30?
False
Let z(w) = w**3 + 23*w**2 + 77*w + 29. Is 6 a factor of z(-14)?
False
Suppose -41562*w + 294350 = -41533*w. Is w a multiple of 86?
False
Let p = -10652 + 10952. Does 5 divide p?
True
Let o = -39 - 21. Let z be 1*-2*o/40. Suppose 315 = 3*q + 2*l + 91, z*q = 3*l + 204. Is q a multiple of 5?
False
Let x = -129 - -114. Let a = 226 - x. Does 11 divide a?
False
Suppose 3*u = -4*k - 12, 5*u + 4*k = -1 - 11. Suppose u = 3*s - 4*s - 223. Let y = -4 - s. Is y a multiple of 16?
False
Let d(h) = h**3 + 16*h**2 - 14*h + 61. Let r be d(-15). Let m = r + -427. Is 69 a factor of m?
True
Let r(k) = -k**3 + 10*k**2 + 6*k + 12. Suppose -5*n = -7*n + 14. Let j be n + 6/(-2) + 6. Is 12 a factor of r(j)?
True
Let b be -6 - (3/(-6))/(-1)*-2080. Let j = b - 730. Is j a multiple of 19?
True
Suppose 6*d + 136 = 172. Let q(a) = 8*a**2 + 20*a - 8. Does 16 divide q(d)?
True
Suppose -9*q - j = -10*q + 362, q - 352 = -4*j. Let d(a) = a**3 - 5*a**2 + 2*a - 7. Let w be d(5). Suppose 0 = -5*o + w*o + q. Does 15 divide o?
True
Let a be 1 - 15/12 - (-1)/4. Suppose -5*m - 10 = -2*t, 0 = -a*t + 2*t + 3*m + 6. Suppose 2*l - 5*z = 73, t*z - 53 = -2*l + z. Is l a multiple of 8?
True
Let j(o) = 263*o + 6444. Is 24 a factor of j(46)?
False
Suppose -21114 = -5*s - 4*n, -16878 = -4*s + 8*n - 9*n. Is s a multiple of 20?
False
Suppose -21*i - 16180 = -11*i. Let h = i + 3416. Is 95 a factor of h?
False
Suppose 0 = -15*b + 18*b - 6. Suppose -7*l - b*l = -63. Let f(s) = 17*s + 33. Is f(l) a multiple of 19?
True
Let f be 62/4 - 2/4. Let v = -7707 - -7706. Is (14 - f)/(2*v/526) a multiple of 22?
False
Let q = -41 + 52. Suppose h + 7 - q = 0. Suppose -5*j + h*f - 3*f + 12 = 0, -j - 5*f - 8 = 0. Is 2 a factor of j?
True
Suppose -274350 = -49*a - 27047. Is a a multiple of 100?
False
Let c = 3317 - -972. Is c a multiple of 10?
False
Let i = 1365 - 1115. Does 47 divide i?
False
Suppose 441 - 1 = 4*h. Let z be (-6)/(-10) - 2704/65. Let t = h + z. Does 13 divide t?
False
Let c(v) = v**2 - 20*v + 73. Let t be c(18). Is 22 a factor of 16*(3 - t/(-2))?
False
Let t be 3 + ((-3)/12)/((-3)/24). Suppose t*q - 7*q - z = -13, -2 = 2*q - 2*z. Is 19 a factor of ((-4)/3)/(q/(-156))?
False
Let r(d) = -d**2 - 8*d + 33. Let t be r(-10). Suppose -t*o + 367 = -2311. Is o a multiple of 24?
False
Let x(q) = 2*q**2 - 30*q - 82. Let c be x(-8). Suppose -c + 3646 = 4*v. Does 14 divide v?
True
Let f(t) be the first derivative of 7*t**3/3 + 27*t**2/2 + 73*t + 38. Does 45 divide f(-7)?
False
Suppose 3*l - 5*c = -5, -16*c + 15*c = l - 9. Suppose 3*h + 8381 = l*d, -5*h - 3234 = -4*d + 3463. Is 20 a factor of d?
False
Let i be 5/(-1 - 4)*-2. Let a be 4 + 0*i/(-6). Is a - (-122 + 5 + -3) a multiple of 62?
True
Let d(q) = 3*q**2 - 3*q - 2. Let p be d(2). Suppose p*b + 2*s - 512 = 0, 3*b - 2*b - 122 = s. Is 9 a factor of b?
True
Let h = -21 - -144. Suppose h = 4*g - 129. Is 3 a factor of g?
True
Suppose -2*q + 2*v = -2100 + 406, -5*v + 853 = q. Let r = q - -192. Does 13 divide r?
True
Let q(y) = 36*y - 232*y**2 + 235*y**2 + 62 - 30*y. Is q(-11) a multiple of 12?
False
Let s(k) = 87*k + 1257. Is 12 a factor of s(73)?
True
Suppose -3*o - h = -67976, 4*h + 45148 = 4*o - 45444. Does 8 divide o?
True
Let o = 109243 - 76067. Is 29 a factor of o?
True
Let u(x) = 4*x**2 - 15*x. Let t = -179 - -185. Is u(t) a multiple of 6?
True
Let j = 39247 + -11128. Is 309 a factor of j?
True
Let i(t) = t**3 - 5*t**2 + 2*t - 4. Let b be i(4). Let c(f) = f**3 + 12*f**2 - 4*f + 15. Is c(b) a multiple of 9?
True
Suppose -1266 = 40*m - 27666. Does 5 divide m?
True
Let k(n) = 3447*n + 1691. Does 50 divide k(8)?
False
Suppose 0*n + 3*n = -t + 19, -n - 5 = 0. Suppose t*b - 26*b - 3408 = 0. Is 30 a factor of b?
False
Does 16 divide 2/(-6) - 4/(-12)*9046?
False
Is 71 a factor of ((-6669)/(-18))/(3/4)?
False
Let z = 3361 + -1105. Suppose 0 = -3*y + z - 576. Is y a multiple of 56?
True
Let g = 1 - 18. Let l be (-6)/9 + g/(-3). Suppose -d = 2*u - 293, l*u + d - 144 = 590. Is 21 a factor of u?
True
Suppose -4*p - 8 = 0, -2*g + 5*p + 34 = 2*g. Does 62 divide (26560/(-112))/(g/(-21))?
False
Let m(j) = 180*j + 23. Let v be m(2). Does 78 divide (v - (-9 - -4)) + 2?
True
Suppose -3*j + 2*r = 2*j - 121150, 3*j = 5*r + 72671. Is j a multiple of 26?
True
Is 12 a factor of 223008/42 - 48/(-168)?
False
Let f = 29833 - 17681. Does 14 divide f?
True
Suppose -4*v + 47 = 4*i + 11, 0 = -4*v - 2*i + 34. Suppose 4*n = -2*j + 20, -n = -4*j - 5*n + 28. Suppose 2*c = -v, p - 3*c = j*p - 201. Is p a multiple of 12?
False
Suppose 3*a - 2*y = 5255, -26*a + 22*a + 7004 = -4*y. Is a a multiple of 9?
False
Let x = -251 - -251. Let a(n) = -3*n**3 - n + 261. Is a(x) a multiple of 29?
True
Let f(m) = 2*m**3 + 15*m**2 + 7*m + 5. Let y be f(-7). Suppose -3*w = -2*w - 4, 0 = -y*l - 4*w + 2211. Suppose 4*p - l = 393. Is p a multiple of 26?
True
Let i be (1 - 5/3)/(82/(-15621)). Let v = 270 - i. Is v a multiple of 6?
False
Suppose -4*p - 3564 = -3*q, 4*p = 2*p. Is -1*(q/(-4) + 5 + -8) a multiple of 30?
True
Does 30 divide (-2*1 + (-9)/3)*762906/(-430)?
False
Suppose 5 - 5 = 2*a. Suppose a*c + 6*c = c. Suppose c*z = -4*i - 4*z + 164, 3*z = 12. Does 7 divide i?
False
Let p(q) = 10*q - 4. Let b be p(12). Suppose 4 = -3*m - z + b, 5*m = -5*z + 170. Is 2 a factor of m?
False
Let k be 20/(-130) - 186/(-26). Suppose -30 - 656 = -k*w. Is w a multiple of 7?
True
Let n(v) = 258*v**2 - v - 2. Let f be n(-2). Suppose -12*b + 8*b = -f. Let k = -146 + b. Is 16 a factor of k?
True
Let r = 12397 - 5713. Suppose -r = -5*m + 3*h, 4*m - 10*h - 5346 = -8*h. Does 15 divide m?
True
Suppose 14*q = -16*q + 120. Suppose 0 = -q*u - u - 3*h + 606, 4*h - 8 = 0. Is 11 a factor of u?
False
Suppose -3*y = 5*g - 7, 0 = -8*g + 3*g + 2*y + 12. Suppose 0 = -g*f + 3*s - 1671, 2 = -s - 1. Does 10 divide ((-8)/(-6))/((-16)/f)?
True
Let g(r) = r**2 - 14*r - 11. Let j be g(15). Suppose 0 = 2*f - 4*w + w - 12, 0 = -j*w. Is 0/f - (-74 + -1) a multiple of 15?
True
Is 26 a factor of (-6552)/(-2) - (-105)/28*(-56)/(-42)?
False
Let x = -34 - -23. Is (3 - (-31)/x) + 3124/121 a multiple of 2?
True
Let p = -955 - -671. Does 7 divide -2 + p/(-18) - 42/(-189)?
True
Is 2579 - (10 - 3 - 2) a multiple of 22?
True
Suppose -128 = -6*o - 2*o. Let u(n) = n**2 - 16*n - 20. Let d be u(o). Let x = 35 - d. Does 11 divide x?
True
Let s = 19 - 8. Let f(z) = z - 1. Let v(k) = k**2 - 12*k + 18. Let x(n) = f(n) + v(n). Does 6 divide x(s)?
False
Suppose 3*m + 3*m = 3*m. Let p be (-3 + 6 - m) + -18. Let k = p + 169. Does 7 divide k?
True
Let s = 3857 - -2494. Is s a multiple of 83?
False
Let w be (-15)/(-25) - (-14688)/45. Is (w - (1 - 2)) + 0 a multiple of 42?
False
Let a(z) be the third derivative of z**6/120 - z**5/60 + z**4/24 + 54*z**3 - z**2. Let t be a(0). Does 16 divide (2 - 3)*t/(-2)?
False
Suppose 31*s = 4*s + 13*s + 227262. Is 21 a factor of s?
True
Let g = 13 - -21. Suppose v + 5*l - g = 0, 0 = 3*v + 5*l - 24 - 98. Does 6 divide v?
False
Suppose 4*o + 2*w = -10, 2*w + 7 = -o - 0. Let u be (-24)/(-48)*(5 + (o - 0)). Suppose u*x - 31 - 35 = 0. Is x a multiple of 11?
True
Let v(p) = -p**2 + 29*p + 254. Let r be v(-7). Suppose g = 2*i + 227 + 1160, 5*g - r*i - 6967 = 0. Is 45 a factor of g?
True
Is (-3356)/(-18)*25 + 8/9 + -1 a multiple of 18?
False
Suppose -2376*a - 10177 = -2377*a. Is a a multiple of 36?
False
Let h = -58 + -163. Let l = h + 4. Let a = 367 + l. Is a a multiple of 25?
True
Suppose 7*o + 7579 = a + 6*o, 2*a + 3*o = 15188. Is 5 a factor of a?
True
Suppose 2*k - 6*k + 97 = 3*o, -2*o = 3*k - 63. Suppose -i + o - 24 = 0. Does 18 divide (177/i + -5)*25?
False
Let z(f) = f**2 + 13*f - 32. Suppose y - 4*v - v = 0, 5*v = 4*y + 45. Let q be z(y). Does