 m be 0 - 1/(3/(-12)). Let k(v) = -2*v - 8. Let a(g) = g + 8. Let b(f) = m*k(f) + 5*a(f). Does 18 divide b(-5)?
False
Let x be (-51)/(-12) + (-3)/(-4). Suppose -395 = -h - 4*d, -163 = -3*h - x*d + 1029. Is 21 a factor of h?
True
Suppose -u - 3*r + 36 = -r, 0 = -2*u + 2*r + 48. Let n(o) = 2*o**2 - 11*o - 19. Let c be n(7). Suppose 0 = a - c*a + u. Is a a multiple of 8?
False
Let y = -11 - -100. Let z(d) = 50*d + 449. Let h be z(-9). Let j = y - h. Does 15 divide j?
True
Let s(i) = 97*i - 9. Let x be s(1). Suppose -96*t + 3744 = -x*t. Does 9 divide t?
True
Suppose -2*q - r = -0*r - 197, -5*q + 4*r + 473 = 0. Let j(u) = 10*u**2 + 4*u - 52. Let z be j(-5). Let l = z - q. Does 12 divide l?
False
Let c(f) = -28*f - 177. Let z be c(-8). Suppose -49*r = -z*r - 230. Is r a multiple of 5?
True
Let a be 244/6 + (-22)/33. Suppose 5*u = -a + 65. Let t = u + 16. Does 7 divide t?
True
Let u = 33 + -24. Let g = u + -4. Does 11 divide 10/g + (2 - -61)?
False
Let z(y) = 35*y + 33. Let k(b) = -69*b - 65. Let d(n) = -6*k(n) - 11*z(n). Let a(o) = -15*o - 14. Let u(x) = -5*a(x) - 3*d(x). Is u(-2) a multiple of 13?
True
Let c(q) = q**2 + 9 - 157*q + 83*q + 82*q. Let o be c(-7). Suppose 4*u + 4*n = 188, -o*u + 3*u - 52 = 4*n. Is u a multiple of 5?
False
Suppose -3380 = 113*l - 165*l. Does 13 divide l?
True
Suppose -21*f = -18*f. Suppose -22*c + 19*c + 108 = f. Is 12 a factor of c?
True
Suppose 40*f - 54 = 146. Suppose -f*u - 4*l = -4954, l - 4*l + 3 = 0. Does 10 divide u?
True
Suppose 4*o + 2*v = 34, 0*v = 2*v - 10. Suppose 5*u = -3*x + 17, 0 = -5*x - u + 27 - o. Suppose 0 = 4*k + x*q - 288, 2*k - 152 = 4*q - 2*q. Does 37 divide k?
True
Let w = 3446 - 1746. Does 17 divide w?
True
Let m(t) = -2*t**3 - 9*t**2 + 10*t - 1. Let a be m(-6). Suppose 3*o - 6*o = 4*s - a, 3*s = 4*o - 96. Suppose c - 12 - o = 0. Does 11 divide c?
True
Let y = 0 + 5. Suppose -y*x + 21 + 94 = 0. Is (-2*x)/((-190)/45 - -4) a multiple of 32?
False
Suppose -462*r + 455*r = -161. Suppose 0 = 28*y - r*y - 115. Is y a multiple of 23?
True
Let q(j) = 5*j**3 - 133*j**2 + 108*j - 64. Does 33 divide q(28)?
True
Let h = 16257 - 5737. Is h a multiple of 96?
False
Let a(w) = -16*w - 38. Let n be a(-6). Suppose -n - 2 = -12*y. Suppose 3*t - 128 = -5*m, -5 = y*t - 10. Does 5 divide m?
True
Let r = -91 + 76. Is 84/4 + (-11 - r) a multiple of 11?
False
Let d(t) = -t**3 - 4*t**2 + 6*t - 1. Let l be 2/(((-24)/(-18))/(28/(-6))). Does 8 divide d(l)?
True
Let a be (-3383)/21 - (-40)/420. Let l = a - -46. Let g = 297 + l. Is g a multiple of 14?
True
Suppose 5*p - 2248 = 2*x - 5811, -5*x - p = -8975. Is x a multiple of 11?
False
Let x = 383 + -409. Let n(l) = -l**2 - 33*l + 98. Is 56 a factor of n(x)?
True
Suppose -4*b + 0*b = -16. Suppose b*q - 5*d - 44 = -5, 0 = -q - 4*d - 6. Is 15 a factor of (-4616)/(-22) + q/33?
True
Suppose -438*a + 5278090 = 103*a + 904105. Is 33 a factor of a?
True
Let r = -7656 + 10846. Is r a multiple of 22?
True
Let z = -24814 - -35807. Does 62 divide z?
False
Suppose -20*a + 19180 = 8*a. Is 5 a factor of a?
True
Let x(z) be the first derivative of -4*z**2 - 86*z - 23. Does 14 divide x(-23)?
True
Is 9 a factor of 702*(-21)/(-63)*(-15)/(-2)?
True
Suppose 15 = -224*f + 227*f. Suppose -2*o = -f*k - 987, 10*o - 1988 = 6*o - 4*k. Is o a multiple of 16?
True
Let f be -2 - (3/3 + -15). Let k(g) = -2 - 3*g + g - 4 - 2 + 2*g**2. Does 32 divide k(f)?
True
Let t(f) = -f**3 - 48*f**2 + 18*f - 29. Let y = 192 - 241. Is 110 a factor of t(y)?
False
Suppose -2*m + 63*m = -16348. Let s = 919 + m. Is s a multiple of 23?
False
Let r be 285 - 6/(-42)*0. Let w = r + -180. Does 15 divide w?
True
Let d = -96 + -228. Let i = d - -423. Is i a multiple of 9?
True
Suppose -4*j + 4*q = -338 - 402, 0 = -3*q - 12. Let s = j - 64. Is s a multiple of 13?
True
Let f be (-1 - -21)/(-1)*81/(-6). Suppose 11*t = 14*t - 6, -5*t + f = 4*g. Is g a multiple of 13?
True
Suppose 0 = -21*r + 22*r - 45. Suppose 5*j - 201 = -w, j - r = -0*j - 5*w. Does 20 divide j?
True
Let q(z) = -487*z + 3794. Is q(-62) a multiple of 116?
True
Let r(f) = 68*f**2 - 4*f + 2. Let t be r(3). Is 47 a factor of t/(-6)*(-2 - (10 + -9))?
False
Let i = 448 + -443. Suppose i*r + 402 = -3*t + 3651, 2*r - 2*t - 1290 = 0. Does 12 divide r?
True
Let s(v) = -233*v**2 + 4*v - 3. Let d be s(1). Let j = 546 + d. Does 7 divide j?
False
Let f = 71 - 47. Suppose -19*l + f*l = 780. Suppose -3*k - l = -3*z, -7*k + 15 = -2*k. Does 11 divide z?
True
Let f(p) = -p**2 + 5*p + 21. Let d be f(8). Let t(i) = -39*i + 43. Does 16 divide t(d)?
True
Let p be (-102)/(-12)*(-4)/(-2). Suppose 4*m + z - p = 0, 3*m + z - 2*z - 11 = 0. Suppose -m*k = -0*u + u - 178, -3*k - u + 133 = 0. Does 6 divide k?
False
Suppose -2311*h = -2304*h - 20013. Does 7 divide h?
False
Suppose 0 = -0*s - 2*s - 3*g - 1, -3*g = -4*s + 25. Suppose 8*l + 4 = 7*l, 5*l - 1096 = -s*y. Is 11 a factor of y?
False
Let y = 76 + -40. Let n = 672 + -482. Let j = n - y. Is j a multiple of 20?
False
Let w(t) = 90*t - 9. Let l be w(6). Suppose 0*r = -4*r + 3*n + l, 3*r + 4*n - 417 = 0. Does 15 divide r?
True
Suppose -30*q + 37*q = -5*m + 86892, 4*m = 2*q - 24810. Is q a multiple of 63?
True
Suppose 5*n + 20936 = 2*v, 2*v + 3*n = v + 10490. Is v a multiple of 157?
False
Let r(x) = 3*x - 6. Let n be ((-3 - -5)/4)/(2/12). Let a be r(n). Suppose 0*t + a*t - 2*c - 321 = 0, 4*t - 439 = -c. Is t a multiple of 8?
False
Suppose 2*u = -0*u + 4*a + 200, -a + 109 = u. Suppose 110*n - u*n = 1868. Is n a multiple of 70?
False
Suppose 2*c + 8*g - 980 = 3*g, -3*c + 1492 = 2*g. Does 43 divide c?
False
Let n = 1131 - 226. Let q = n + -485. Is q a multiple of 15?
True
Suppose 2*r - f = -2*f + 2088, 2*r - 2072 = 3*f. Is 11 a factor of r?
False
Suppose 3*j - 31 = 5. Let q(g) = g**3 - 11*g**2 - 13*g + 10. Let h be q(j). Is 19 a factor of ((-64)/12)/(h*(-3)/(-171))?
True
Suppose 2*i - 482 = 4*i. Let w = i - -397. Does 18 divide w?
False
Suppose -72*g + 41*g + 76800 = -g. Does 16 divide g?
True
Let i(f) = -f**3 + 2*f**2 + 22*f + 14. Let m be i(6). Is 16 a factor of ((-16)/12*12)/(m/(-37))?
False
Let y = -23 + 27. Suppose -5*p - 3*j = -0*p - 17, -y*j - 16 = -3*p. Suppose -3*q + v + 17 = -p*v, 2*v - 6 = -2*q. Is q a multiple of 3?
False
Let x(m) = 14*m**2 - 3*m - 7. Suppose -4*t + 4*g - 3 = 5, 2*t + 5*g = 17. Let r(s) = s. Let d(o) = t*x(o) + 3*r(o). Is 12 a factor of d(-3)?
False
Let r(m) be the second derivative of 11*m**4/3 + 3*m**3/2 - 41*m**2/2 + 249*m. Does 66 divide r(7)?
True
Suppose -5*o = 39 - 14, 1745 = 2*d + 5*o. Suppose 12*z = 7*z + d. Suppose 0 = -3*b + 5*h + 497, -3*h + z + 336 = 3*b. Does 26 divide b?
False
Let f be (1 - -3) + -1 + 115. Suppose 0 = 8*w - 10*w - 92. Let b = f + w. Is b a multiple of 13?
False
Suppose 0 = -5*u + 4*j + 75, 0 = -u - 2*j - 2*j - 9. Suppose 0 = 13*n - u*n - 44. Is 11 a factor of n?
True
Is 49 a factor of (-468)/(-4 - 14)*(-2538)/(-4)?
False
Let j = 2128 - 1310. Is 141 a factor of j?
False
Let s(t) = -3*t + 185. Let j(d) = 16*d - 925. Let h(l) = 2*j(l) + 11*s(l). Let f(n) = n - 184. Let y(w) = 5*f(w) + 6*h(w). Is 16 a factor of y(0)?
False
Let l(d) = -5*d + 6. Suppose -10 - 4 = -7*n. Suppose n = -r - 0. Does 4 divide l(r)?
True
Let g(q) = -20*q - 116. Let w be g(-6). Suppose 0 = -p - 3 + 7. Suppose -k + p*b = -65, 41 = -k - w*b + 98. Does 57 divide k?
False
Suppose -3 = -39*v + 36*v. Is (1167/21 - (-12)/(-21)) + v even?
True
Suppose 0 = -2*p - 4, 4*a + 0*a = 5*p + 82. Let v be (-896)/(-63) + -8 - 4/a. Let b(c) = c**2 - 6*c + 12. Does 4 divide b(v)?
True
Let d(w) = w**3 + 13*w**2 - 39*w + 3. Let l be d(-17). Let q = l + 882. Is 42 a factor of q?
False
Let b(g) = 53936*g + 855. Is 14 a factor of b(1)?
False
Let q = 42356 + -25844. Does 16 divide q?
True
Suppose -127069 = -257*v + 731825. Is v a multiple of 34?
False
Let b(v) = -v**3 - 9*v**2 - 3*v - 27. Let t be b(-9). Suppose 3*j + 3*z + 45357 = -9642, t = 2*z + 6. Is 16 a factor of (j/(-8))/13 - 2/8?
True
Suppose 141*o - 5580 = 135*o. Is 62 a factor of (-6)/((-169)/o + (-10)/(-75))?
True
Is 30 a factor of (1010/(-30))/(((-25)/(-2820))/(-5))?
False
Let c(w) = -2*w + w**2 + 23*w**2 + 23*w**2 + 2*w**2. Let b be c(-1). Suppose 0 = -3*l + b + 174. Does 25 divide l?
True
Let n = 35994 + 48270. Is n a multiple of 24?
True
Is (-136)/15 + (-4)/(-60) + 87 a multipl