v = o, 3*v + l - 3 = -o. Is 13 a factor of -65*(-3)/((-30)/o)?
True
Suppose -2*y - 2 - 6 = -4*m, 0 = -4*y - 3*m + 6. Suppose 0 = 2*i - 2*p - 3*p - 45, -i - 5*p - 15 = y. Suppose 2*o = -i + 26. Is 4 a factor of o?
True
Let y(k) = -4*k - 2. Let w be y(-6). Suppose -8 = 5*l + w. Does 13 divide (-186)/4*4/l?
False
Let g = 2 + 1. Suppose 17 = -2*s + g*s. Is 13 a factor of s?
False
Let f be (-59)/(-2*3/6). Suppose 2*c = -f + 223. Is 21 a factor of c?
False
Let s(l) = -6*l - 10. Let v be s(-10). Does 17 divide 1*v + 3 + 3?
False
Suppose 3*i = 11 + 4, 2*j - 37 = -5*i. Is 3 a factor of j?
True
Suppose 0 = 2*o - 2 - 2. Let b(y) = 4*y**2 + 5*y**o + 4*y + 0*y**2 + 0*y**2 + y**3 - 7. Is 11 a factor of b(-8)?
False
Let v = -8 + -12. Let l = 34 + v. Does 14 divide l?
True
Let b(v) = -2*v + 56. Does 5 divide b(-9)?
False
Let f(t) = t. Let c be f(6). Let w(b) = 4*b**2 + 0*b**2 - 3*b**2 - 3 - 5*b. Is w(c) even?
False
Suppose -w - 2 = -6. Suppose 52 = u - 2*s, -4*s + 114 = w*u - 106. Is 18 a factor of u?
True
Suppose -p + 6 = -3*p. Let c = p - -20. Does 10 divide c?
False
Let b(t) = t**3 - 4*t**2 + 3*t - 7. Let j(k) = -k**2 + k + 1. Let h(g) = -b(g) - 4*j(g). Is 20 a factor of h(5)?
False
Let g(f) = 2*f - 5 + 10*f**2 - 4*f**2 + f**3 + 0 + 0. Is g(-5) a multiple of 5?
True
Let r be 1/((3 - 4)/(-3)). Suppose -q = 3*g - 31, 0*g + r*q - 21 = -3*g. Is g a multiple of 12?
True
Let i = -60 + -1. Let q = 116 + i. Is q a multiple of 14?
False
Suppose -33 - 95 = -4*y. Does 16 divide y?
True
Let o(x) = x**2 - 5*x - 1. Let h be o(7). Suppose n - h = 5*u - 2*u, 5*u = 0. Is n a multiple of 9?
False
Suppose 5*l = 3*w + 494, -2*l + 2*w + 104 = -96. Let u = l - 38. Is 17 a factor of u?
False
Let c(p) = -2*p + 4*p + 26*p**3 - 10*p**3 - 1. Is c(1) a multiple of 6?
False
Let t(q) = q**3 - 2*q**2 + 3*q - 1. Let p be t(3). Suppose 0 = -4*n + 89 - p. Does 18 divide n?
True
Is 10 a factor of (-3)/(-9) - (-59)/3?
True
Suppose 0*l = -2*l + 792. Suppose -4*k + k - 3*w + 243 = 0, 0 = -5*k + 4*w + l. Suppose 10*t - 5*t - k = 0. Does 8 divide t?
True
Let y(o) = 10 - 3 - o**2 - 2 + 3. Is y(0) a multiple of 4?
True
Suppose 3*n + 5*c - 26 = 0, 2*c - 5*c = -3*n - 6. Suppose n*p = 8, -2*z - 4*p + 426 = 3*z. Let x = z - 38. Is 17 a factor of x?
False
Let r(l) = 9*l. Suppose 3*i - 6 = -0*i. Is 8 a factor of r(i)?
False
Let s(z) = -3*z - 1. Let f be s(-4). Suppose j + 64 = 2*i, -i = 2*j - 11 - f. Does 15 divide i?
True
Suppose 187 - 508 = -3*u. Suppose 2*f = -b + 61, -3*b - u = -5*f + 40. Is 11 a factor of f?
False
Let j be -1*(-1 - (2 + 0)). Let q(b) = -2*b**j + 5*b + b**3 + 7*b - 10 + 9*b**2. Does 5 divide q(10)?
True
Suppose 5*m = m + 292. Does 23 divide m?
False
Let v(o) = o**3 + 5*o**2 + 3*o - 3. Let u be v(-3). Let q(g) = -g**2 + 7*g. Is q(u) a multiple of 6?
True
Let t be -5*(-2 - -3) - -1. Is (-16 - t)/(-4) - -52 a multiple of 15?
False
Let r = -18 + 52. Suppose -3*m + 66 = 2*j, r = 4*m - 4*j - 34. Suppose 0 = 4*t - 2*t + 4*g + 4, m = 4*t + g. Is t a multiple of 2?
True
Let b(w) = -w**3 + 4*w**2 + 4*w + 3. Let n be b(-2). Suppose s = n + 32. Is s a multiple of 14?
False
Suppose -3*p = -2*p + 2. Suppose -2*g + 31 = -g. Let t = g + p. Does 18 divide t?
False
Suppose 14 = 5*q - 11. Suppose 6*n - 5*f - q = 2*n, 0 = -3*n + 4*f + 5. Let x = n + 7. Is x even?
True
Suppose -3*g - 5 = 2*g. Let r = g + 4. Suppose -4*y + 2*y + z = -15, 2*z - 40 = -r*y. Is y a multiple of 5?
True
Let u = -7 + 9. Suppose -u*h = 5*z + 279, -2*h + 5*z - 252 = z. Is h/9*(-9)/3 a multiple of 22?
True
Is ((-45)/(-2))/((-18)/(-192)) a multiple of 39?
False
Suppose -5*x = -x - 392. Does 14 divide x?
True
Does 11 divide 1*-22*(-15)/6?
True
Let m(f) = -37*f. Let w be m(-1). Let g(t) = t**2 + 5*t + 4. Let a be g(-4). Suppose a = 2*i - 129 + w. Is i a multiple of 12?
False
Suppose 3*d - 2*d - 2*y + 4 = 0, 2*d - 5*y + 11 = 0. Suppose 3*m + d = 4*m. Let t = 3 + m. Is t even?
False
Is 9 a factor of (-5)/((-15)/6)*21?
False
Let v = -2 - -4. Suppose 5*l - 141 = 4*x, -v*l + 7*l - 113 = -3*x. Is l a multiple of 24?
False
Suppose 46 = -4*f - 2*g + 124, -5*f = 5*g - 100. Is 3 a factor of f?
False
Let o(s) = 52*s**2 + 5*s - 2. Let f be o(4). Is 18 a factor of 1/(-2) - f/(-20)?
False
Suppose -4*b + 4 = 28. Let t be (-2)/7 + b/(-21). Suppose t = -2*k - 3*k + 165. Is k a multiple of 14?
False
Suppose -y = 3*y - 76. Does 7 divide y?
False
Suppose -9 = -0*l - 3*l. Suppose -72 = m - l*m. Is m a multiple of 8?
False
Let m be 1*1/2*0. Suppose 3*f = -m*a + 3*a - 9, 3*a = 5*f + 5. Suppose 5*g + 4*x - 10 - 35 = 0, f*g = -5*x + 35. Does 3 divide g?
False
Suppose 18*f = 14*f + 72. Is 6 a factor of f?
True
Suppose -4*s - q = -462, -5*s - q + 348 + 230 = 0. Is 29 a factor of s?
True
Does 17 divide (-5 + (3 - 0))*-31?
False
Let h be 66/24*(8 - 0). Suppose -3*a = r - 31, 5*a - h + 2 = 0. Suppose -11 = -3*k + r. Is 5 a factor of k?
True
Let v(g) be the first derivative of 0*g + 3 - 1/2*g**2 + 1/3*g**3. Is v(-2) even?
True
Let l(g) = g**2 - g - 8. Does 11 divide l(7)?
False
Suppose -5*r = -0*r + s - 22, -4*r = -3*s - 29. Suppose -h + 16 + r = 0. Does 7 divide h?
True
Let p be (0/(-2))/(-1 - -2). Let s be (1 + 0)*(-1 - p). Let d(b) = 13*b**2 + 2*b + 1. Is d(s) a multiple of 11?
False
Suppose -3*u + 0 = -72. Is u a multiple of 8?
True
Let v = 76 + -54. Let n(d) = d**3 - 2*d**2 + 2*d - 1. Let o be n(2). Suppose u = o*u - v. Does 9 divide u?
False
Suppose -5*k + 1 = -94. Is k a multiple of 14?
False
Let r(y) = y**2 + 8*y - 7. Let b be r(-9). Suppose 76 + 23 = p + 3*o, 10 = b*o. Suppose 0 = -2*s + 5*m + p, -4*s - m = -64 - 82. Is 17 a factor of s?
False
Let p = 9 - 5. Suppose 0 = g + p - 27. Is 23 a factor of g?
True
Suppose 3*x = -2*x + 180. Suppose -j = 3*j - x. Does 9 divide j?
True
Let c be (1/2)/((-3)/(-18)). Let z be 1/9 + (-3234)/(-54). Suppose 2*t - z = -c*t. Is 12 a factor of t?
True
Let t(h) = -h**2 + h**2 + h**2 - 4 - 2*h. Let o be t(4). Suppose 0 = -o*m - m + 40. Is m a multiple of 4?
True
Let u(m) = -7*m + 1. Let n be (29 - 2)/3 - 1. Let z = 4 - n. Does 10 divide u(z)?
False
Suppose 5*j = -5*o - 2 + 7, 3*o - 7 = -4*j. Suppose j*v = -v. Suppose 0 = 4*u + 12, -42 = -3*f + u - v*u. Does 13 divide f?
True
Is (0 - (-60)/3) + 1 a multiple of 11?
False
Let w = -4 + 7. Suppose 5 = w*t - 1. Suppose -p + 36 = t*p. Is 7 a factor of p?
False
Let q(r) = -r - 3. Let w be q(-6). Suppose -w*d + 8*d = 35. Is d a multiple of 2?
False
Let v = -141 - -201. Is v a multiple of 8?
False
Let y(m) = m**2 - 2*m + 5. Does 3 divide y(6)?
False
Suppose n - 5 = -4*y - 0*n, 0 = 3*y - 2*n - 12. Suppose y*p - 49 + 5 = 0. Is 15 a factor of p?
False
Let j(h) = -4*h**2 + 2*h + 5. Let r(b) = -7*b**2 + 3*b + 11. Let m(i) = 5*j(i) - 3*r(i). Does 18 divide m(-7)?
False
Suppose 5*p = 10, p - 4*p = -b. Suppose b*m - 130 = m. Does 17 divide m?
False
Suppose -4*a + 4 = 0, -a - 31 = -4*o - 0*a. Is 13 a factor of o/4 + -1 + 37?
False
Is 2 a factor of (-1 - (-28)/20)*25?
True
Let t(w) = -w - 2. Let h be t(-5). Suppose -h*p + 0*a - 5*a = -23, -5*p = 5*a - 55. Does 16 divide p?
True
Suppose -4*o - o = -3*g - 856, -o = -4*g - 178. Is 34 a factor of o?
True
Let p = -69 - -98. Is p a multiple of 9?
False
Let i = 11 - 21. Let y(j) = -j**3 - 9*j**2 + 9*j - 12. Let k be y(i). Let p(q) = 4*q**2 + q + 2. Is p(k) a multiple of 9?
False
Let o(a) = 6*a**2 - 4*a + 6. Is o(3) a multiple of 12?
True
Does 9 divide (1 + 17/3)/((-6)/(-9))?
False
Suppose 0 = -3*t - 11 + 29. Is 98/t - 6/(-9) a multiple of 17?
True
Suppose -2*m + 20 = -58. Suppose -m = -5*w - 269. Let a = -20 - w. Does 13 divide a?
True
Let a = 51 - 9. Is a a multiple of 11?
False
Suppose 2*r - 2*s - 4 = 14, -17 = -2*r + s. Let n be (-12 - 0)*6/r. Let k = n - -51. Is k a multiple of 11?
False
Suppose -8 = 2*m - 0. Does 5 divide 2/((5/m)/(-5))?
False
Let r = 388 + -229. Is 17 a factor of r?
False
Let d = 10 + -10. Let t(x) = -x**3 - x + 16. Does 16 divide t(d)?
True
Let j be -3 + 3/(-3)*7. Let d = j + 25. Is d a multiple of 15?
True
Suppose -3*h + 19 = 5*r - 4*r, -3*r - 2*h + 22 = 0. Suppose 2*o = -2*o + r. Is 11 a factor of (-3)/6*o*-22?
True
Suppose o + 2*o = -2*h + 1097, -2*h = -5*o + 1823. Is o a multiple of 39?
False
Suppose -l = 4*m - 227, 2*l = -4*m + 7*l + 257. Let y = m + -33. Is y a multiple of 11?
False
Let c = -20 + 10. Is 50*((-18)/c - 