-f = 2*f - 3*t, 4*f + b = t. Does 8 divide 3*(f - 93/(-9))?
False
Does 12 divide (7*2)/(58/203)?
False
Let i be 2/((2 - -2)/(-4)). Let g(v) = 46*v + 5. Let j be g(i). Let c = j + 157. Does 15 divide c?
False
Suppose 2*c = -2*i + 5*c - 2, 0 = i - 5*c + 15. Suppose -4*t + i*h = -435 - 319, -380 = -2*t + 4*h. Is t a multiple of 12?
False
Suppose -15 = -3*c, h - 2*c + c - 599 = 0. Suppose 5*p - h + 154 = 0. Is p a multiple of 15?
True
Let z(o) = o**3 - 6*o**2 + 5*o + 2. Let t be z(5). Let b(u) = -t + 1 - 3*u + 5 + 2*u. Is b(-3) a multiple of 7?
True
Suppose a = -2*u - 51, a + 0*a + 51 = 2*u. Let k = -28 - a. Is k a multiple of 13?
False
Is 21 a factor of 7/28 + (5 - (-6729)/12)?
False
Let u(r) = -2*r + 17. Let w(f) = -f + 17. Let g(n) = 6*u(n) - 7*w(n). Let z(y) = -2*y**2 + 6*y - 6. Let v be z(3). Is g(v) a multiple of 12?
False
Suppose -18*s + 22*s = -p + 205, -4*s - 5*p = -209. Is s a multiple of 4?
False
Let q = -123 - -200. Suppose q = s - 13. Suppose 5*v - 4*r - 460 = 0, 3*v - 379 = 5*r - s. Is 20 a factor of v?
False
Suppose -2*w - 5*o + 26 = w, -2*o = 5*w - 18. Suppose 0 = -3*t - 2*u + w, -4*t + 0*u - 3 = -3*u. Suppose -5*h + 2*h + 57 = t. Is 10 a factor of h?
False
Let z = 4 - -1. Suppose -2*d = z*u - d + 162, -2*u - 2*d = 60. Is 13 a factor of u/12*(-32)/2?
False
Let r(m) = 392*m**2 + 3*m + 1. Is r(-1) a multiple of 13?
True
Let p(t) = -2*t**3 - 9*t**2 + 7*t - 14. Does 6 divide p(-8)?
True
Suppose -94 = -2*m - 0*t + t, 2*m + 5*t - 106 = 0. Is 16 a factor of (-3)/18 - (-1112)/m?
False
Suppose 0 = 3*q - 3*i + 5*i - 31, 5*q = 5*i + 10. Let k = q - -73. Is 8 a factor of k?
True
Is 37 a factor of -797*12/18*6/(-4)?
False
Let q(m) = m**3 - 6*m**2 - 7*m - 1. Let o be q(7). Does 7 divide (1490/(-25))/o - 2/(-5)?
False
Let s be -3 + (-498)/(-4 - -3). Suppose a - 664 = 5*a - 5*l, 3*a = 3*l - s. Let d = -58 - a. Is 26 a factor of d?
False
Let h = -35 + 35. Suppose h = -4*p - 102 + 342. Is 12 a factor of p?
True
Let g = 3143 - 903. Is g a multiple of 28?
True
Suppose 0 = -4*l - v, l - 2*v = 2*v. Suppose 4*z = -i + 2 + 1, 0 = 5*z. Suppose 2*t - i*x - 75 = 0, 4*t - x - 145 = -l*t. Does 11 divide t?
False
Let q = 420 - 222. Does 6 divide q?
True
Suppose -7*u + 2*u + 10 = 0. Let y(s) = -5*s + 2*s**2 + 5*s + u - s. Does 10 divide y(5)?
False
Let r be (0 - 195/9) + (-8)/(-12). Is -5*7/(r/9) even?
False
Let t be (-2)/(-6)*(3 + -3). Suppose t = 3*d - 2*d - 3*o - 105, 0 = 2*d + 2*o - 186. Is d a multiple of 24?
True
Let m(o) = 5*o**3 - 11*o**2 + 16*o + 16. Does 14 divide m(6)?
False
Let x(k) = k - 1. Let j(y) = 13*y - 12. Let g(c) = -j(c) + 4*x(c). Does 13 divide g(-2)?
True
Let i = -1693 + 1922. Is 38 a factor of i?
False
Let s(h) be the third derivative of -h**4/12 - 3*h**3/2 - 6*h**2. Let a be s(-7). Let g(z) = -z**3 + 6*z**2 - z - 5. Does 15 divide g(a)?
True
Suppose 4*d - 2*d - 6*d = 0. Suppose 3*j = -2*j + 3*r + 42, -5*j + r + 44 = d. Is j a multiple of 7?
False
Suppose 3*q + 243 = 4*s, 4*q + 364 = 5*s + 59. Suppose -4*y = -2*d, -d = -4*y + 4 - 0. Let p = s - d. Is p a multiple of 24?
False
Let l = 6 - 6. Suppose 4*b = -l*b + 56. Suppose -2*d = n - 2 - b, 3*d + 39 = 2*n. Is n a multiple of 9?
True
Let a = -350 + 510. Let l = a - 114. Is l a multiple of 23?
True
Let m(y) = y**3 + y + 2. Let a be m(2). Let b(z) = a*z**2 - 14*z**2 + 6*z**2 + 1 + 3*z + 0. Does 6 divide b(3)?
False
Let s = -27 - -11. Let k = -14 - s. Suppose -23 = -3*n - 4*t, 3*n + 4*t - 5 = k*n. Is n a multiple of 9?
True
Is ((-48)/10)/(5 + (-903)/180) a multiple of 24?
True
Let m(c) = -10*c + 2. Let s be m(-4). Suppose 0*q + q - i - s = 0, -2*q + 64 = 3*i. Suppose q = 2*j - 34. Is j a multiple of 12?
True
Suppose -9*u + 8*u = -280. Is u a multiple of 7?
True
Suppose -13224 = -163*q + 125*q. Is 12 a factor of q?
True
Suppose -2*d + 759 = -4*c + 43, -5*c = -25. Does 22 divide d?
False
Suppose 12*r - 2*p - 92 = 8*r, 0 = 2*r + 5*p - 22. Is r a multiple of 2?
False
Suppose -g = -5*d - 601, 3*g + 4*d = 5*d + 1831. Is g a multiple of 47?
True
Suppose -6718 + 1118 = -20*o. Is o a multiple of 5?
True
Let o = -50 - -47. Is 35 a factor of o/(-5) + (-3601)/(-65)?
False
Suppose 0 = -m + 2, 7*s + 5*m = 2*s + 35. Let z(f) = 32*f + 8. Is 28 a factor of z(s)?
True
Let q(t) = 19*t. Let z be q(6). Suppose -c = -4*c + z. Suppose -c = -5*r + 7. Is 9 a factor of r?
True
Suppose -39*n + 15*n = -32832. Is 38 a factor of n?
True
Let o = 184 + -160. Is o a multiple of 24?
True
Let o = 24 + -20. Suppose o*s = 7*s - 9. Is 3 a factor of s?
True
Let d = 4673 - -937. Is d a multiple of 34?
True
Let f(o) be the third derivative of o**5/60 - o**4/12 - o**3 + 3*o**2. Suppose -3*h = -9 - 21. Does 11 divide f(h)?
False
Let c(j) = 5*j**3 + 11*j**2 + 2*j - 18. Let n(u) = -2*u**3 - 5*u**2 - u + 9. Let f(i) = 3*c(i) + 7*n(i). Does 10 divide f(4)?
False
Let c be (-1*7)/((-1)/(-5)). Let u be 1*(-3 + 0)*3. Let i = u - c. Is 13 a factor of i?
True
Is (54 + -57)/(1/(-135) + 0) a multiple of 27?
True
Let j be 1 + -1 - (19 - 22). Suppose j*t = -4*r + 275, -2*t - 53 - 95 = -2*r. Does 16 divide r?
False
Suppose -4*i + 3125 - 41 = 0. Suppose 5*r - 109 = i. Does 27 divide r?
False
Suppose 6*p - 6 = 3*p + 5*w, 4*w = -3*p + 6. Let k(s) be the second derivative of s**5/10 - s**4/12 - s**3/2 + s**2 + 2*s. Is 4 a factor of k(p)?
True
Let q be 5*(0 - -2 - 1). Suppose -q*r = v - 19, -r = -5*r + 12. Suppose v*x - 110 = 98. Does 26 divide x?
True
Does 18 divide -1*(4 - 1) - (-993 + 0)?
True
Does 97 divide 7/35 - 24773/(-35)?
False
Let d(i) = 17*i**2 + 6*i + 160. Does 6 divide d(-10)?
True
Suppose 6*n - n = 3*r - 403, 5*r - 4*n = 676. Suppose 7*o + 38 = r. Is ((-24)/o)/(30/(-735)) a multiple of 7?
True
Let c = -391 - -522. Is 4 a factor of c?
False
Is -2 - ((-65)/10)/(-13)*-1454 a multiple of 7?
False
Let x(b) = -b**3 + 17*b**2 - 17*b + 19. Let h be x(16). Suppose 100 = 2*a + 4*v, 5*a - 363 + 113 = -h*v. Is 31 a factor of a?
False
Suppose 4*y + 113 = -5*f + 2*y, 5*y = -20. Let m(o) = 2*o**2 + 40*o + 3. Is 9 a factor of m(f)?
True
Let m = 967 + -202. Does 85 divide m?
True
Suppose 4*j - 10 = 2. Suppose -j*o = o - 416. Suppose 3*m = 2*p + 85 - 2, 0 = 4*m - p - o. Is m a multiple of 9?
False
Let b(u) = -u**2 - 5*u + 23. Let a be b(-16). Let x = -65 - a. Does 44 divide x?
True
Let f(n) = n**2 - 10*n - 12. Let x be f(11). Let u be (-5)/((2 + x)/(-1)). Suppose r - 24 = u. Does 12 divide r?
False
Suppose 6*y + y - 35 = 0. Suppose -35 = -2*z - y. Is 11 a factor of z?
False
Suppose 0*t = 5*s - 3*t - 10, 0 = 5*s + 3*t - 10. Suppose -s*z + 296 = 4*x, -6*z + 2*x + 728 = -z. Suppose 2*i = 2 + 4, 4*a - z = 2*i. Does 20 divide a?
False
Let n be (3 + (-20)/8)*124. Let p be n*(-2)/(2 - 4). Let x = 95 - p. Is x a multiple of 11?
True
Let q = 9 + 122. Suppose 2*x - q = -z, 0*z + 268 = 2*z + x. Is z a multiple of 45?
True
Let h = 3 + -1. Let l(f) = h*f**2 + 0*f - 3*f + f**2 - 3 + 0 + f**3. Is l(3) a multiple of 10?
False
Let n(a) = -a**3 + 12*a**2 - 3*a - 9. Let m be n(8). Suppose 83 = 3*c - m. Is c a multiple of 10?
False
Suppose -8 - 15 = -4*q + t, 4*t + 2 = -2*q. Let c(u) = -u**2 - 3*u + 2. Let k(a) = -a. Let p(z) = -c(z) + 5*k(z). Does 13 divide p(q)?
True
Let t(k) = k - 8. Let v = 10 - 3. Let h be t(v). Let y = 21 - h. Is y a multiple of 9?
False
Let z = 122 - 198. Does 20 divide 1/4 - 3021/z?
True
Suppose -7*z + 5*z + 4 = 0. Suppose 0 = -5*a - k - 10, 4*a - z*k + 1 + 7 = 0. Is (-247)/a - 4/8 a multiple of 31?
False
Let d(q) = 3*q**2 - q - 1. Let y be d(-1). Suppose -5*l = 2*g - 0*g + 10, -l = -y*g + 2. Does 12 divide l/(-7) - (-1364)/28?
False
Let l(o) = -o**3 + 6*o**2 - 7*o + 1. Let k be l(4). Let w be 116/6 + 4/6. Does 8 divide (6/k)/(3/w)?
True
Suppose 0*x + 389 = 2*h - x, h + 3*x = 198. Is h/2*(2 - 16/20) a multiple of 19?
False
Let c = -15 + 22. Suppose c*y = y. Suppose o + 37 - 119 = y. Is o a multiple of 20?
False
Let z(a) = 31*a - 1. Let y = -8 - -11. Suppose y = r + 2*r. Is z(r) a multiple of 10?
True
Suppose -3*w + 4228 = 11*w. Is w a multiple of 7?
False
Let w(h) = 87*h + 22. Let k be w(3). Let l = k - 187. Does 6 divide l?
True
Let j = -3 + 8. Suppose -7*h + 625 = 58. Suppose 3*o = -5*u + 76, -35 = -j*o - 3*u + h. Is o a multiple of 9?
False
Suppose 5*f + l + 3*l - 2360 = 0, -941 = -2*f - l. Is f a multiple of 18?
True
Suppose 2*f = 3*a - 7*a, 4*