 -4*r + 71. Let x be 3/(18/26)*r. Let p = -44 + x. Is p a multiple of 12?
False
Let w(g) = -13 + 17 - 13 - 20*g. Is w(-2) a multiple of 11?
False
Suppose 2*o + 322 = 4*k, k + 5*o = 4*k - 231. Let p = 112 - k. Does 6 divide p?
True
Suppose -2*l + k + 88 + 347 = 0, 2*l = 2*k + 440. Suppose 2*f + 4*v = -82, -3*v - 2*v - l = 5*f. Is (-738)/f + (-2)/5 a multiple of 8?
True
Let n be (-4)/(-10) - 146/(-10). Suppose -n*r = -9*r - 1254. Is r a multiple of 30?
False
Let a = 40 - 24. Suppose -12*h = -a*h. Suppose -7 = -2*t - 2*x + 9, h = -t - 2*x + 12. Is 4 a factor of t?
True
Suppose 845 + 19 = 2*m. Does 9 divide m?
True
Let g(p) = -2*p**3 + 17*p**2 + 15*p - 9. Is g(9) a multiple of 45?
True
Suppose -5*j + 8 = -2. Suppose j*w - 6*w + 260 = 0. Suppose 4*r - 26 = -5*x + 101, -3*x + w = 2*r. Is 14 a factor of r?
True
Let y(s) = -5*s + 40. Let v be y(6). Let g = 1 + v. Does 5 divide g?
False
Let g(k) = -3*k + 69. Is 5 a factor of g(-24)?
False
Let j = -59 - -69. Is j/4*702/65 a multiple of 27?
True
Is 29/(1/12 + 2/8) even?
False
Suppose 0 = -3*l + 5*l. Let q(a) = a + 1. Let h(d) = 8*d + 4. Let v(n) = -2*h(n) + 14*q(n). Is 6 a factor of v(l)?
True
Suppose 18*r - 60 = 14*r. Suppose -13 = r*t - 16*t. Does 5 divide t?
False
Let m(x) = 45*x**2 + x - 2. Let y be m(-2). Suppose -4*q = 5*j + 508, 4*j - j = -3*q - 378. Let o = y + q. Does 27 divide o?
True
Let h = -46 + 49. Let d(x) = 9*x**2 + 1. Is d(h) a multiple of 13?
False
Let j be (-6 - -3)/(5/35). Let h = j + 26. Suppose -4*k + 31 = -h. Is 9 a factor of k?
True
Suppose 0 = u - 68*u + 47905. Is 11 a factor of u?
True
Does 2 divide ((-753)/(-4))/(-1)*3656/(-1371)?
True
Suppose 11*k + 228 = 10*k. Is (-2*k/(-32))/(-3)*12 a multiple of 19?
True
Let h(u) = -u**2 + 17*u + 6. Let c be h(17). Suppose 2*g - 3*g + 18 = 2*y, -g + c = 5*y. Is g a multiple of 3?
False
Let r(j) be the second derivative of j**5/20 + j**4/4 + j**3/6 + j**2/2 + 7*j. Let g be r(-2). Does 4 divide (2/g)/1*18?
True
Does 33 divide 702/2 - (-156)/(-52)?
False
Suppose -8*y + 12*y + 12 = 0. Let d(z) = -10*z - 3. Is d(y) a multiple of 27?
True
Is (-8704)/(-10) + 26/(-65) a multiple of 18?
False
Let a = 560 + -488. Is a a multiple of 8?
True
Let o(b) = 14*b + 85. Let h(f) = -3*f - 17. Let g(l) = 11*h(l) + 2*o(l). Does 5 divide g(-7)?
False
Let v(t) = 36*t**2 - 24*t - 54. Is 18 a factor of v(-3)?
True
Let c be -4*(5/(-4))/1. Suppose -109 = -c*o + 91. Does 20 divide o?
True
Let k = -281 + 483. Is 17 a factor of k?
False
Suppose -2*d + 3*v + 2*v + 705 = 0, 2*d + 2*v = 698. Is d a multiple of 7?
True
Let l be ((-3)/(-5))/((-7)/(-105)). Let z(a) = -a + 19. Is z(l) a multiple of 8?
False
Let a be 56/20*20/(-4). Let z = -11 - a. Does 3 divide z?
True
Suppose 6*c + 8 = o + 2*c, -4*c = 3*o - 24. Let x(v) = 7*v - 10 + 10. Does 17 divide x(o)?
False
Suppose -4*k - 176 = -2*f - 2*k, -k = -2*f + 172. Suppose -w = -f - 15. Does 33 divide w?
True
Suppose 4*w - l - 103 = 0, 2*w = -3*l + 80 - 25. Is w a multiple of 6?
False
Let p(d) = 3*d**2 - 12*d - 12. Let z be p(9). Suppose -4*h = -523 + z. Is h a multiple of 21?
False
Let h = -111 - -192. Let s = -46 + h. Does 4 divide s?
False
Suppose -3*y + 2*s + 58 = -4, -3*y + 5*s = -65. Suppose -g = 4*g - y. Suppose -3*w + 0*w + 162 = -3*z, 4*w + g*z - 240 = 0. Does 17 divide w?
False
Suppose -174 = 5*y - 19. Suppose 8*r - 293 - 179 = 0. Let k = r + y. Is 14 a factor of k?
True
Let z(s) = s**3 + 21*s**2 + 19*s - 16. Let p be z(-20). Suppose -2*y + 50 = p*x, -5*x = 3*y + 19 - 92. Is 21 a factor of y?
True
Suppose 5*f = -6*f - 1793. Let m = f - -353. Is m a multiple of 25?
False
Let j(u) = u**2 + 3*u + 3. Let l be j(-4). Let f(m) = -l + 4 - 29*m + 2 + 0. Is f(-1) a multiple of 14?
True
Let v = 218 + -140. Is v a multiple of 5?
False
Let l(m) = -m**3 + 16*m**2 - 11*m - 31. Is l(13) a multiple of 5?
False
Suppose 0 = 2*q + q - 4*u, -4*q + u = 0. Suppose q = 3*f - 4*f. Suppose 3*s - 2*g - 110 = -3*g, f = -2*s + g + 70. Is 13 a factor of s?
False
Let b(s) = -s**3 + 7*s + 7. Suppose 5*h - 20 = -5*x, 3*h - 1 = -x + 5. Suppose -v - 5 = -h. Is 37 a factor of b(v)?
False
Let g be (-1)/2 + (-4)/(-8). Does 2 divide ((-25)/(-15) - g) + 4/3?
False
Let w = -171 - -281. Is 10 a factor of w/6 - 6/18?
False
Let r(k) = k**2 + 4*k + 5. Let h be r(-4). Suppose 0 = 5*v + v. Suppose -h*x + 7*x - 132 = v. Does 22 divide x?
True
Let y(a) = a**3 - 10*a**2 + 14*a - 20. Let l be y(10). Suppose 0 = -8*j + 400 + l. Does 20 divide j?
False
Let t(n) = 3*n + 3. Let w(o) = -3*o + 11. Let f be w(6). Let y be t(f). Let j = y - -31. Does 4 divide j?
False
Suppose 5*n = -3*t - n, 0 = -4*t + n + 9. Is 2 a factor of t?
True
Let u(a) = 4*a**2 + 56*a + 112. Is 48 a factor of u(-22)?
True
Let p be (-1)/(-2)*0/(-4). Let f(u) = u**3 + u**2 + 2*u + 240. Let b be f(p). Suppose -d + b = 4*d. Does 18 divide d?
False
Suppose 3*n + 60 = 72. Suppose -y - 2*x = 4*y - 129, 5*y + n*x - 123 = 0. Does 27 divide y?
True
Let z(k) = 86*k + 60. Does 6 divide z(5)?
False
Let i be (-2)/(-1)*(-1 - -2). Suppose -i*m - 3*k + 52 + 107 = 0, k + 139 = 2*m. Is 24 a factor of m?
True
Let m(l) = l**3 - 17*l**2 + 17*l - 17. Let s be m(16). Let q(u) = -7*u**3 + 2*u + 1. Let v be q(s). Suppose z + 4*g = 1, -3*g + v = z - 4*g. Is 2 a factor of z?
False
Suppose -3*g - 75 = 2*g. Let w = g + 183. Does 28 divide w?
True
Suppose -7*x - 1980 = -11*x. Is 11 a factor of x?
True
Let m(t) = -t**2 + t. Let c be m(-4). Let x = 28 + c. Suppose i = 42 + x. Does 16 divide i?
False
Suppose 0 = -0*r + 2*r. Suppose r = 2*y - 3*t + 69, t - 10 = 3*t. Let m = y + 74. Is m a multiple of 16?
True
Let g(x) = 2*x**2 + 3*x - 9. Does 27 divide g(-12)?
True
Suppose b - 5 = -1. Let p be (-2)/(b/8*-1). Suppose p*g = 24 + 56. Is 7 a factor of g?
False
Is 13 a factor of (68/102)/(3/153)?
False
Suppose i = 3*i - 24. Let z be 886/(-6) - 4/i. Does 28 divide (0 + z/2)/(-2)?
False
Let k = -34 + 48. Suppose h - 476 - 119 = 0. Is 4/5*h/k a multiple of 10?
False
Suppose 0 = 53*y - 131948 + 18740. Is 89 a factor of y?
True
Suppose 0 = 5*p - 4304 - 7106. Suppose 0 = 3*l - 418 - p. Is l/24 - 1/(-2) a multiple of 14?
False
Suppose 2*d + 143 = -0*x - x, 2*d - 2*x + 146 = 0. Let r = d - -96. Does 2 divide r?
True
Let g = -5 + -2. Let b = g + 62. Does 11 divide b?
True
Let q(n) = 11*n - 2. Let u(s) = 11*s - 2. Let r(g) = -3*q(g) + 4*u(g). Is r(2) a multiple of 14?
False
Let t(z) = z**3 + 9*z**2 + 2*z - 7. Is 7 a factor of t(-7)?
True
Let p(q) = q**3 - 6*q**2 - 7*q. Let h be p(7). Suppose 3*n - 1 + 39 = z, z + 2*n - 23 = h. Is z a multiple of 5?
False
Suppose q = -4*b + 735, 2*q - 3*b = -q + 2235. Is 24 a factor of q?
False
Suppose 345 + 303 = 8*m. Let q = m + -25. Is 10 a factor of q?
False
Let t(n) = -8*n - 43. Let a be t(-6). Suppose 546 = 2*f + a*f. Is 26 a factor of f?
True
Let t(g) = -g**2 - 8*g - 16. Let m be t(-13). Let b be (m/(-2) + 3)*2. Suppose 4*n - 121 - b = 0. Does 26 divide n?
True
Let w = -37 - -28. Is (54/15)/(-1*w/120) a multiple of 16?
True
Suppose -3*c + 1 = -14, i = 5*c - 20. Let g(a) = 21*a**3 + a**2 - 3*a + 1. Let w be g(1). Suppose -3*f - i*k + 158 = -w, -4*k = -8. Is 28 a factor of f?
True
Suppose 0 = 3*u + 1119 - 1233. Is u a multiple of 9?
False
Suppose 9658 - 937 = 9*m. Does 57 divide m?
True
Let i = 7 + -27. Is 6 a factor of (-588)/i + (1 - 8/20)?
True
Let o(g) = -g**2 - 9*g - 3. Let z be o(-6). Suppose -18*t + z*t - 57 = 0. Let h = t + 22. Is h a multiple of 3?
True
Let s = -1844 - -2129. Is s a multiple of 19?
True
Let c = 29 + -44. Is (c/20)/(2/(-168)) a multiple of 8?
False
Let h(x) be the first derivative of 5*x**2/2 - 14*x - 3. Suppose -5*d + 36 = -34. Is 14 a factor of h(d)?
True
Let m be (-2)/(-5) - 351/15. Let w = 11 - 7. Let h = w - m. Is h a multiple of 4?
False
Suppose 3*i - 54 = 48. Let g = -3 + i. Is g a multiple of 10?
False
Does 7 divide (44/(-99))/((-2)/21)*147?
True
Suppose 3*c = -o + 177, 3*o - 2*c - 162 = 2*o. Is 42 a factor of o?
True
Let d be (9/5)/(6/20). Suppose -4*z + d*z - 210 = 0. Is z a multiple of 17?
False
Is 56/(-8)*((-169)/7 - 3) a multiple of 34?
False
Does 14 divide 6/(66/(-110) + 477/770)?
True
Let r = 22 + -12. Suppose r = 6*n - n. Suppose -26 = -2*k + n*o + 20, -5*o - 88 = -4*k. Is 9 a factor of k?
True
Suppose 24*u + 6*u - 30390 = 0. Is 7 a factor of u?
False
Let t be (-6)/(-33