e of 22?
True
Suppose 6*z = 84 + 66. Is z a multiple of 5?
True
Let x = -27 - -29. Suppose -5 = -5*i, -x*i - 3*i = 4*p - 53. Is 12 a factor of p?
True
Let h = 7 - -3. Let d be (-4)/h - 54/(-10). Let t = 7 + d. Is 12 a factor of t?
True
Let q = -372 - -644. Does 34 divide q?
True
Let m = -21 - -38. Is 3 a factor of m?
False
Is 4 a factor of (-2)/(3/(-21) - 0)?
False
Let k be ((-10)/(-3))/(2/3). Suppose v - 10 = k*x, -2 = 2*x - 3*v + 2. Does 12 divide (-28)/x + (-10)/5?
True
Suppose -3*u + p - 16 + 59 = 0, -u + 2*p = -11. Let h be 6 + (-1 + 7)/(-2). Suppose -3 - u = -5*v + h*f, 0 = f + 1. Does 3 divide v?
True
Does 19 divide 681/15 + (-9)/(-15)?
False
Suppose 2*c = k - 5*k + 10, 0 = k - c - 10. Suppose -k*d = -0*d. Suppose 6*l - 4*l - 30 = d. Is 15 a factor of l?
True
Suppose -x + 52 + 1 = 0. Suppose y + 8 = -x. Let m = 109 + y. Does 20 divide m?
False
Let f(g) = -g**3 + 4*g**2 - 3*g + 3. Let l be f(2). Suppose 12 - 2 = l*p, 5*m + 3*p = 171. Does 23 divide m?
False
Let x = -38 + 143. Suppose 4*f - x = f. Is 7 a factor of f?
True
Let q be ((-51)/6 - 0)*4. Does 17 divide q/4*18/(-3)?
True
Let j(n) = -n**2 - 12*n - 6. Let r be j(-13). Let k = 39 + r. Does 11 divide k?
False
Suppose -2*n - 6 - 2 = 0, 0 = 2*k - 3*n - 192. Does 18 divide k?
True
Let m(r) be the first derivative of r**3/3 + 5*r**2 + 8*r - 11. Does 21 divide m(-12)?
False
Let c(y) = -y**2 + 15*y + 12. Does 34 divide c(8)?
True
Let g = -3 + -3. Is 21 a factor of (86/g + -3)*-3?
False
Suppose 73 = -4*i + 5*i. Is 20 a factor of i?
False
Suppose -2*d = -d - 169. Does 23 divide d?
False
Is 4 a factor of ((-145)/(-4) - 6/24) + -4?
True
Does 5 divide 1/(1*(-1)/(-25))?
True
Let d = 29 - 25. Suppose i = -d*o + 41, -i + 5*i + 2*o = 122. Does 10 divide i?
False
Let r = 1 - -3. Suppose 0 = i - r*i + 144. Is i a multiple of 16?
True
Let x(q) = 4*q - 4. Is 8 a factor of x(13)?
True
Let n(m) = m**3 + 6*m**2 - 7*m + 1. Let j be n(-6). Let t = -26 + j. Is t a multiple of 5?
False
Is 10 a factor of ((-109)/3)/((-1)/3)?
False
Does 20 divide -10*(((-12)/3)/(-1) - 10)?
True
Let x(i) = 2*i**2 + 1. Let m be x(1). Suppose 0*n + 54 = m*n. Is 8 a factor of n?
False
Let k be -2 - (3 + -2 - 1). Let z be k + -12*6/(-4). Suppose 2*y + z - 35 = n, -5*n + 1 = -2*y. Does 12 divide y?
True
Let f(n) = -n**2 + 11*n. Let y = 25 + -16. Does 6 divide f(y)?
True
Let r be (-2)/(-4)*(-24)/(-4). Suppose -w + 21 = p, -p + 12 = -r*w - 17. Let b = p + -13. Is b a multiple of 5?
True
Is 24 a factor of 1 + 1 + -1 + 184?
False
Let i be (6/3)/(-2)*3. Is (7 + i - 2)*24 a multiple of 19?
False
Is (-3 + 2)/(3/(-36)) a multiple of 11?
False
Suppose 4*u - 26 = 2*n - 3*n, 3*n = 4*u + 142. Let g = n - 28. Is 4 a factor of g?
False
Let n(j) = -12*j - 17. Does 19 divide n(-5)?
False
Let w(f) = -f**3 + 6*f**2 + 12*f - 10. Is 25 a factor of w(7)?
True
Suppose -2*h + 25 = 3*h. Suppose -h*f + 2*g + 53 = -32, -f + g = -20. Does 7 divide f?
False
Let r(a) = a**3 + 10*a**2 + 7*a - 10. Is r(-7) a multiple of 22?
True
Suppose -2*c - c + 12 = 0. Let r(q) = 21*q - 4. Let m be r(c). Suppose 2*y - m = -3*y. Is y a multiple of 9?
False
Suppose -o - 2 = -b + 2*b, -4 = -b + o. Let u be (b + -9)*(-1)/2. Suppose j = -4*h + 54, 4*h - 34 = h - u*j. Does 14 divide h?
True
Let y(c) = -c**2 - 10*c + 8. Let l be y(-10). Does 10 divide (100/l)/((-2)/(-4))?
False
Let f(d) = 6*d**2 + d + 2. Suppose t + 2*t - 4*p + 18 = 0, 2*p = -5*t - 4. Does 9 divide f(t)?
False
Is ((-12)/3 - -9) + 103 a multiple of 12?
True
Suppose 2*k + 4 - 12 = 0. Suppose 2 = 2*y + o - 10, 0 = -y - k*o - 8. Does 10 divide 20/y*4*2?
True
Let s(c) = c**2 + 8*c + 4. Let a be s(-4). Let r = 7 + a. Is (24/r)/(4/(-30)) a multiple of 19?
False
Let u(k) = -2*k - 12. Suppose 16 = -5*a + 3*a. Let s be 90/a - 3/(-12). Is 5 a factor of u(s)?
True
Suppose -70 = -3*c + 14. Is c a multiple of 5?
False
Let x(u) = 2*u + 2. Suppose -6*n + 72 = -9*n. Let f(i) = 9*i + 9. Let d(a) = n*x(a) + 5*f(a). Is 12 a factor of d(-5)?
True
Let o(v) = -v + 5. Let f be o(5). Let w = 2 + f. Is w a multiple of 2?
True
Suppose -4*c - 23 = 1. Let r(t) = -t + 6. Let w be r(c). Suppose -4*f + w + 8 = 0. Is f a multiple of 2?
False
Suppose -3*x - 4 = x. Let s be -6 + (6/(-3))/x. Let a = 7 + s. Is a a multiple of 2?
False
Suppose 2*x = 6*x - 272. Is x a multiple of 17?
True
Let p be (-52)/(-10) - 17/85. Suppose -p*j + 265 = 100. Is j a multiple of 10?
False
Let f(l) = -l + 16. Does 2 divide f(11)?
False
Let z(d) = d**3 + 7*d**2 - 3*d - 7. Does 30 divide z(-5)?
False
Let w(a) be the first derivative of 1 + 5*a**2 - 1/3*a**3 - 4*a. Does 18 divide w(4)?
False
Let b be 1*4/((-8)/(-78)). Suppose q + 2*t + t = b, 0 = -5*q - 5*t + 165. Is 15 a factor of q?
True
Suppose -2*b = 3*d - 40, -3*d + 2*b = d - 30. Is 2 a factor of d?
True
Is (2 + 1)/((-15)/(-190)) a multiple of 19?
True
Suppose -4*y + 2*y + 274 = 4*c, -3*y + 418 = -c. Is y a multiple of 22?
False
Suppose -4*p = 12, 2*j + 3*p - 54 = 7*p. Does 5 divide j?
False
Suppose -3*q + 0*d - 3*d - 9 = 0, -2*q - 5*d = 6. Let n be (q/(-9))/((-2)/6). Let o(s) = 15*s**2 + 2*s + 1. Is 7 a factor of o(n)?
True
Suppose -2*t = -0*t - 3*d + 8, 5*t + 31 = 2*d. Let s(y) = y**2 + 6*y - 4. Let x be s(t). Suppose -4*n - 3 = -5*n, 3*n - 42 = -x*g. Does 11 divide g?
True
Let h(r) = -r**3 + 9*r**2 + 11*r - 10. Let t be h(10). Let z(b) = b**2 + 4. Let k be z(t). Suppose 2*w - 3*w + 73 = 3*y, 4*y - k*w = 108. Does 8 divide y?
False
Let g be 2 + 2*(-3)/(-6). Let z(c) = 3*c**2 - 8 + 4*c**2 - 6*c + g*c**3 - 2*c**3. Is 17 a factor of z(-7)?
True
Let r(x) = x + 11. Let b be r(-7). Suppose b*n + 0*n - 28 = 0. Is 4 a factor of n?
False
Let a(b) = -3*b - 7. Let t be a(-6). Suppose 5*n = 59 + t. Is 5 a factor of n?
False
Let c be 108/(-30) + 2/(-5). Let q = 9 + c. Is q a multiple of 5?
True
Let x = -560 + 836. Let k = x - 195. Is 22 a factor of k?
False
Let i = 5 - 5. Suppose i = -3*v + 7*v - 60. Is v a multiple of 13?
False
Suppose 4*m + g - 306 = 0, -m + 65 = 3*g - 17. Does 38 divide m?
True
Suppose 1480 = 7*o - 2*o. Suppose -344 = -5*v + o. Suppose -5*l + v = -3*j, -4*j - j = l - 48. Is l a multiple of 14?
True
Suppose 26 = -3*h + 341. Does 15 divide h?
True
Let i = -110 + 206. Is i a multiple of 32?
True
Suppose -3*c = -4*g - 17, 2 = -4*c + 5*g + 25. Let t = 1 - c. Is 6*-17*2/t a multiple of 11?
False
Let m be (1 + -1)/(3 - 2). Suppose 0 = -2*h + 3*h + 2*l - 21, -3*l = -12. Is 5 a factor of (m/3 + 1)*h?
False
Let a = 33 + -5. Is 28 a factor of a?
True
Suppose 42 = u + 2*u. Let o = 20 - u. Suppose 2*s - o*s + 20 = 0, 2*s = 3*w - 38. Is 14 a factor of w?
False
Let n be 177/(-4) + 4/16. Let k = n + 64. Is 5 a factor of k?
True
Suppose 0 = -4*n - 13 - 7. Let b(z) = z**3 + 4*z**2 - 7*z - 7. Let h be b(n). Suppose 95 = 5*g - 3*l, h*g - 5*l - 73 = -0*g. Does 8 divide g?
True
Suppose 2*k = -2*k - 4. Let i be (-4 + k)*136/(-10). Suppose 4*j + n = 3*n + 58, 5*j - i = -2*n. Is 14 a factor of j?
True
Suppose o - 4 = 1. Let b = o - 0. Is 4 a factor of 4*b/(10/4)?
True
Let b(x) = 5*x**2 - x + 1. Let v be b(1). Suppose 0 = -0*m + m + 3*u + 5, 0 = -m - 4*u - v. Let c(s) = -s**3 - 3*s**2 + 6*s + 2. Is c(m) a multiple of 11?
True
Let p(x) = -x + 7. Let c be p(4). Suppose c*f - 139 = -2*t, -7*f = -2*f - t - 249. Let n = f - 24. Does 17 divide n?
False
Suppose 55 + 10 = a - 4*p, 2*a - 3*p = 130. Suppose y - 11 = -0*z - z, -3*z = -4*y + a. Is 3 a factor of y?
False
Suppose 18*r - 23*r + 300 = 0. Does 10 divide r?
True
Let z be 0 + (-1 - 1) + 5. Suppose z*q - 26 = 2*q. Is 20 a factor of q?
False
Suppose 0 = -x - 0*x - 24. Let o = 40 + x. Is o a multiple of 10?
False
Let g be (-2)/((-6)/9) + -3. Let w be (1 + 1)*(2 + g). Suppose w*z + z = u + 63, z = -5*u + 23. Is 11 a factor of z?
False
Suppose -3*c = -2*y - 20, 0 = 3*y + 2*c + 2 + 2. Let k(o) = 4*o**2 + 4*o + 3. Is 18 a factor of k(y)?
False
Is 5 a factor of (-7)/(28/12) + 29 + -1?
True
Let x(g) = 7*g**2 + 9*g + 17. Let i(d) = 5*d**2 + 6*d + 11. Let m(y) = 8*i(y) - 5*x(y). Does 8 divide m(-2)?
False
Is (78/(-18) - -4) + 10/3 a multiple of 2?
False
Let p = 2 + 15. Suppose 0 = x - 19 - p. Suppose 2*g + 0*g - x = 0. Is 7 a factor of g?
False
Suppose -2*j - f = -50, f + 57 = 4*j - 31. Suppose -4*a = 7 - j. Suppose -a*q - 5*h + 73 = 0, 4*h - 6*h - 28 = -q. Is 12 a factor of q?
False
Suppose 4*i 