 j/72 + (-770)/h a multiple of 32?
True
Suppose 4*k - 7 - 69 = 0. Suppose -5*h + k = l, 4*l + 3*h + h = 28. Is l even?
True
Let d = 66 - 96. Let c be ((-72)/d)/(4/10). Suppose -c*t = -11*t + 35. Is 2 a factor of t?
False
Suppose 0 = -u + 157 - 13. Is 8 a factor of u?
True
Let v = 1210 - 148. Is v a multiple of 11?
False
Let h(r) = r**2 - r + 1. Let i(g) = -g - 57. Let v(w) = -h(w) - i(w). Is v(0) a multiple of 7?
True
Let b(f) = 18*f + 93. Let r(s) = -10*s - 47. Let u(i) = 3*b(i) + 5*r(i). Is u(29) a multiple of 20?
True
Let d(t) = 44*t**2 + 8*t - 2. Is d(2) a multiple of 19?
True
Let m(h) = -2*h - 19. Let o be m(-14). Is (28 - -2)/(9/o) a multiple of 15?
True
Let k = 80 - 37. Suppose k = 3*s - 23. Let p = s + 3. Is 25 a factor of p?
True
Let i(a) = -a**3 + 20*a**2 - 43*a + 23. Is 14 a factor of i(16)?
False
Suppose -6*a = 2*b - 3*a - 346, 0 = -3*b - 4*a + 519. Is 10 a factor of b?
False
Suppose 2*f = -u + 167, 3*f = 4*u + 7*f - 648. Is 6 a factor of u?
False
Suppose 0 = 116*y - 113*y - 336. Is y a multiple of 14?
True
Let i = 1429 - 486. Is 41 a factor of i?
True
Is 47 a factor of (1 - 20/16)/(5/(-9140))?
False
Let m = 114 + -83. Let w(f) = -f**2 - 8*f + 5. Let p be w(-6). Suppose 4*g - p = m. Is 4 a factor of g?
True
Suppose 0 = 10*s - 33 + 3. Suppose 4*v = -4*o - 417 + 1057, s*v = -2*o + 325. Is o a multiple of 31?
True
Suppose -w - 85 = 4*w. Let q = -19 - w. Is 16 a factor of q*1/((-3)/48)?
True
Let q = 15 - -7. Suppose q = 7*n - 20. Does 2 divide n?
True
Let w = 35 + -39. Is 19 a factor of (-965)/(-10) - ((-10)/w + -1)?
True
Suppose 3 = 4*f + 19. Suppose 2*p = -0 - 32. Is f/(p/380) + 0 a multiple of 22?
False
Let r = 399 + -90. Let y = 524 - r. Is 17 a factor of y?
False
Let r be -24 - (-5)/(20/(-8)). Let x = r + 30. Is x a multiple of 4?
True
Let c be -9*4/(-12) - 0. Let f(t) = -5*t**3 - 4*t**2 + 3*t - 3. Let o be f(c). Let h = o - -256. Is h a multiple of 23?
False
Let k(l) = -39*l - 121. Is k(-16) a multiple of 17?
False
Let y(o) = 36*o + 32*o + 3 - 77*o. Does 12 divide y(-6)?
False
Is 86 a factor of 2/3 - 966/(-36)*16?
True
Let y(a) = -74*a + 4. Let p(i) = 73*i - 3. Let m(u) = -3*p(u) - 2*y(u). Does 12 divide m(-1)?
True
Suppose 3*z - 973 = -2*o, 4*z - 38*o - 1302 = -36*o. Does 23 divide z?
False
Let v = -1395 - -2946. Is v a multiple of 59?
False
Let t(q) = -5*q**3 + 3*q**2 - 2*q - 2. Let m be t(2). Let n = m + 42. Is 6 a factor of n?
False
Suppose j - 802 = -3*z, 2*z - 515 = 4*j + 43. Is z a multiple of 7?
False
Let g(r) = -r + 44. Let h be 0*(-3 - (-2)/(-8)*-10). Does 28 divide g(h)?
False
Let p(z) = z**2. Let d be p(0). Suppose -6*f = -d*f - 18. Is 7 a factor of ((-1)/f)/(2/(-186))?
False
Let h = 145 - 131. Let m(b) = b**2 - 12*b + 47. Is 15 a factor of m(h)?
True
Suppose h = b - 0*b - 2, -5*b = h + 8. Is 501/9 + b/(-3) a multiple of 28?
True
Suppose 9*d - 25219 = -7669. Is 13 a factor of d?
True
Suppose 5*f + 2 = -w + 3*f, 4 = -2*w + 4*f. Does 26 divide w/11 + (-26052)/(-143)?
True
Let c(i) = i**2 + 15*i + 19. Let g be c(-13). Let j = 22 + g. Suppose -4*x + 20 = 0, 2*x = 4*k - 77 + j. Is k a multiple of 18?
True
Suppose -5*v - 27 = -g, 5*g - 19 = 2*v + 47. Let f = g + -16. Is 3 - (-1)/(f + 5) a multiple of 4?
True
Let j be (-1 - 2 - -2)/(2/(-20)). Suppose 3*s = j*s - 959. Does 14 divide s?
False
Suppose -2*q + 6*q = 8. Suppose -21 = -q*d + 4*k + 75, -d + 57 = k. Does 9 divide d?
True
Let o(h) = h**3 + 19*h**2 - h - 2. Suppose 5*r + 60 = -35. Is 6 a factor of o(r)?
False
Let p(x) = -x**2 + 64*x - 168. Does 35 divide p(28)?
True
Suppose -23*z - 45*z = -132600. Does 15 divide z?
True
Suppose 5*z - 35 = -0*z. Let f(y) = 2*y - 9. Let x be f(z). Suppose -t + 0*t = -5, -5*k = x*t - 165. Is 14 a factor of k?
True
Suppose 2*b - 190 = 5*g, -b + 95 = -5*g + g. Let a = -89 + b. Does 6 divide a?
True
Let j = 111 - 121. Is (18/j)/((-11)/330) a multiple of 18?
True
Let m be (0 + 19)*(-8 - -10). Let z = 3 + m. Let l = -25 + z. Does 15 divide l?
False
Suppose q - 3*c = 120, -5*c + 715 = 5*q + 95. Suppose 4*t - 351 = -q. Does 10 divide t?
False
Let r be (-16)/(-1) + -1 + -1. Suppose -9*p + r*p - 40 = 0. Is 12 a factor of p/12*(-99)/(-2)?
False
Let l be 0 - -2 - 0/2. Suppose -3*k = -15, -23 = -g - 2*g + l*k. Suppose -g*q - 92 = -15*q. Is 23 a factor of q?
True
Let c = 7 - 27. Is 15 a factor of c/(-6)*90/12?
False
Suppose -2*x + 2*c = 6, 0*x + 2*c = 4*x + 2. Suppose -l = -x*z + 12, 4*z + 4*l - 38 + 2 = 0. Is 2 a factor of z?
False
Suppose 5*f - 16 = 3*a, 0 = -a + 2*f - 7. Suppose v + a*v - 612 = 0. Does 34 divide v?
False
Let u(k) = -3*k - 5. Let q be u(-5). Let w(s) = -s**2 + 19*s. Does 18 divide w(q)?
True
Let s be -3 + 2*7/2. Let x be (-6)/((21/s)/7). Let r(q) = q**2 + 4*q - 8. Is r(x) a multiple of 12?
True
Suppose -2*w = -s + 63, -3*w = 5*s - 2*w - 315. Let a = 81 - s. Does 6 divide a?
True
Let z(j) = -j**3 + 3*j**2 + 6*j - 7. Let p be z(4). Is 10 a factor of -2 + (p - (2 - 203))?
True
Let b(h) = -2*h**3 - 7*h**2 - 8*h - 11. Let r(p) = p - 4. Let f be r(-1). Is 22 a factor of b(f)?
False
Suppose 0 = -2*w + 3 + 17. Suppose 4*u + 360 = w*u. Is u a multiple of 10?
True
Let a = 152 - 152. Suppose 13*x - 4233 - 525 = a. Is 33 a factor of x?
False
Let i(c) = -14*c + 3. Suppose 0 = -7*n + 3*n - 96. Let t be ((-2)/4)/((-4)/n). Does 14 divide i(t)?
False
Let u = -19 + 0. Let c = u - -33. Does 7 divide c?
True
Let h be (2/5)/((-17)/(-170)). Suppose h*b + 2*q = 3*q + 1296, q = 0. Is 15 a factor of b?
False
Let l be (-8)/(-3)*21/14. Let h(j) = 3 - 7*j + j - j**2 - l*j. Is h(-9) a multiple of 4?
True
Suppose 0 = 9*w - 3*w + 240. Let h = w + 25. Does 26 divide (-6)/h + (-258)/(-5)?
True
Let l(b) = b**3 + 5*b**2 + b + 7. Let n be l(-5). Let k(m) = 10*m + 10. Let c be k(8). Suppose c = n*i - 58. Does 21 divide i?
False
Let z(s) = -3*s - 17. Let v be z(-14). Let n = v + 55. Is 14 a factor of n?
False
Let v = 9 - 6. Suppose j = -v*j - r - 28, 12 = -3*r. Is 6 a factor of 38/6 - j/(-18)?
True
Let o(q) = -19*q - 174. Is 8 a factor of o(-15)?
False
Suppose i - 5*z - 327 = 161, -5*z + 1384 = 3*i. Does 52 divide i?
True
Suppose 12 = -6*d + 468. Suppose h - d = -0*h + 2*n, 91 = h + 3*n. Is h a multiple of 14?
False
Let u(r) = r**2 - 3*r + 2. Let h be u(3). Suppose 3*o = -2*d + 111, -h*d + o + o + 126 = 0. Suppose 3*a - d = -a. Is a a multiple of 15?
True
Is 10084/5 + 4/(-5) a multiple of 48?
True
Suppose 295 = 2*t - 27. Let r = t - -17. Is r a multiple of 48?
False
Let h(c) = c**3 + 6*c**2 - c - 6. Let v be (0 - 1) + -3 + -2. Let j be h(v). Suppose j*p = -p - 4*i + 15, -2*p + 34 = 4*i. Is p a multiple of 19?
True
Is (3656 - (7 - 8)) + -3 a multiple of 63?
True
Suppose 447*a - 448*a = -90. Is 9 a factor of a?
True
Suppose 2*d + 12 = 4*h + 134, 0 = -4*d + 2*h + 232. Does 6 divide d?
False
Let v(q) be the third derivative of -q**6/120 + q**5/60 + q**4/3 - 2*q**3/3 - 29*q**2. Does 26 divide v(-5)?
False
Suppose 8 = -3*r + 14. Suppose -607 = -r*y - 127. Is 20 a factor of y?
True
Suppose -2*t - 2*w + 5 = 3*w, -5*t + 2*w - 31 = 0. Let m(q) = q**2 - 6*q. Let j(p) = -3*p**2 + 18*p + 1. Let z(n) = 2*j(n) + 7*m(n). Is z(t) a multiple of 18?
False
Suppose 195*d - 185*d - 2820 = 0. Is 11 a factor of d?
False
Suppose -5*l - 2*q + 66 = q, 58 = 5*l - q. Let t(s) = 68*s**2 - 53*s**2 - 2 + 4*s + l - s**3. Does 14 divide t(15)?
True
Suppose 0 = -2*v - l + 335, 3*l - 48 = -2*v + 285. Suppose -54 + v = q. Is 27 a factor of q?
False
Suppose -4*l - 199 = 4*u - 1867, -3*u = 5*l - 1243. Is u a multiple of 23?
False
Suppose -2*y = -10 - 2. Suppose -y = -0*g - 2*g. Suppose -g*l + 37 = -5. Does 14 divide l?
True
Suppose 4*m + 32 = 4*j, 0 = -4*j + 3*m + 17 + 13. Let f = j + 47. Is f a multiple of 39?
False
Let j = 99 - 51. Does 48 divide j?
True
Let t = 150 - 80. Suppose 3*n + 13 - 82 = -3*o, -3*n - 4*o = -t. Let h = n - -92. Is 38 a factor of h?
True
Suppose 49 = 8*u - 615. Let z = u + -55. Does 7 divide z?
True
Suppose -35*t + 2725 + 10260 = 0. Is t a multiple of 4?
False
Is 21 a factor of (-4)/(-6)*3 - (-4712 - -136)?
True
Suppose 3*q - 26 = 40. Suppose 3*r - 99 = -24. Suppose -b + r = -q. Is b a multiple of 10?
False
Let x(a) = -a**2 + 1. Let w be x(-1). Suppose -6*h + 11 + 1 = w. Suppose h*l + 60 = 3*j - l, -4*j + 3*l + 78 = 0. Does 6 divide j?
True
Let c be (-22)/(-1*(-3)/(-12)). Suppos