
Suppose 2*q - 37 = 29. Is 7 a factor of q?
False
Suppose -2*j = -0*j - 134. Does 5 divide j?
False
Suppose 4*f + 10 + 12 = -u, 6 = 2*u - 2*f. Let r be 6/3 + u - 1. Is 12 a factor of (-1 + -13 + 0)/r?
False
Suppose 0 = 5*x - x. Let c = 43 + x. Is c a multiple of 13?
False
Suppose -17*l + 70 = -7*l. Does 3 divide l?
False
Suppose -2*k = 2*h, -4*k + 3*k = -h. Is (k - -10)/(1/4) a multiple of 18?
False
Is (-4 - (-12)/4) + 7 a multiple of 6?
True
Suppose -12 = -o - 3*o. Suppose 2*k + 5*c - 8 = 0, -o*c - 26 = -0*k - k. Does 3 divide (7/k)/(2/12)?
True
Suppose -5*l = -0*l - 15. Let a(d) = -d + 13 - l*d**2 + 2*d**2 + 2*d**2. Is a(0) a multiple of 9?
False
Let f be (-164)/(-3) + (-2)/(-6). Is -1 + 1 + f + -1 a multiple of 18?
True
Suppose -7*x + 11*x = 448. Does 16 divide x?
True
Let f = 235 + -160. Is f a multiple of 14?
False
Let l = 92 + -63. Does 9 divide l?
False
Let i(u) = u**2 - 5*u - 10. Let z be i(7). Let t(p) = -17 + 37 + 11*p - 18. Is 19 a factor of t(z)?
False
Suppose 2*p + 32 = -2*p. Let l(x) = x - 2*x - 4*x + 1. Does 18 divide l(p)?
False
Suppose -5*z + 4*w + 14 + 12 = 0, -18 = -5*z + 2*w. Suppose f = 2*g - 3*f + z, -f = -4*g + 31. Is 16 a factor of (-3)/g - (-291)/9?
True
Suppose 137 = 4*s - d - 283, -s = d - 105. Is 21 a factor of s?
True
Suppose -3*r = 3*z - 7*z - 107, 0 = -5*r + 5. Let s(o) = -3*o. Let g be s(5). Let q = g - z. Is 9 a factor of q?
False
Let t be (4 + 106)*(-4)/(-10). Suppose y = -3*g + 6, 2*g + 0*g + 9 = -5*y. Suppose -2*a + g*a = t. Is 22 a factor of a?
True
Let d(i) = 2*i**2 - 3 - 4 - 7*i**2 - 52*i. Let q(t) = -t**2 - 13*t - 2. Let x(h) = 2*d(h) - 9*q(h). Is x(7) a multiple of 16?
False
Let v(x) = 16*x**2 - 2*x - 3. Let q be v(3). Let u = q - 82. Is 17 a factor of u?
False
Let t be (9/(-6))/(3/8). Let n = t - -4. Suppose 0 = -n*j - 4*j + 56. Does 8 divide j?
False
Let n be (7 - 4)*(2 + -1). Does 2 divide 0 - (2 - n - 4)?
False
Let z(d) = -d**2 + 6*d - 2. Let g be z(5). Suppose -g*u + 2*j = -62, -57 = -3*u - j + 4*j. Is u a multiple of 12?
True
Let n(h) = 2*h**2 - 7*h + 6. Is 2 a factor of n(4)?
True
Let h(n) = n**3 + 4*n**2 - 5*n - 2. Let b be h(-5). Let g be (2 + 2 + -4)/b. Suppose -s + 44 + g = v, 0 = 2*v. Does 15 divide s?
False
Let u(v) = -v**2 + 8*v + 2. Is u(7) even?
False
Let l(c) = -c - 8. Let x be l(-9). Does 12 divide 0 + x*45 + -2?
False
Let b(g) = -55*g - 1. Let r be b(-1). Suppose -r = -3*t + t. Does 13 divide t?
False
Let x = 15 - -45. Is x a multiple of 30?
True
Let w(h) = -13*h + 21. Does 18 divide w(-4)?
False
Suppose 4*f = -0*f + 20. Let c = 12 - f. Is c a multiple of 7?
True
Let i = 1 - 4. Let n(m) = -5*m - 3. Does 12 divide n(i)?
True
Let k(c) be the second derivative of c**4/12 + c**3 + 4*c**2 + 3*c. Does 12 divide k(-8)?
True
Suppose 4*o = 5*o - 228. Is 15 a factor of o/9*(-15)/(-10)?
False
Let s(b) = -16*b - 28. Is 41 a factor of s(-12)?
True
Suppose 357 = 3*b + 5*l - 103, 0 = -3*b + 4*l + 496. Let m = 2 + 1. Suppose 2*a - b = -m*a. Is a a multiple of 16?
True
Let a(t) = t**3 - 4*t**2 - 6*t - 5. Let r be a(5). Let m(f) = -f**3 - 9*f**2 + 5*f - 14. Let q be m(r). Suppose 0*p + 4*p = q. Is p a multiple of 4?
False
Let s(g) = -g**3 - 5*g**2 + 8*g - 4. Does 19 divide s(-7)?
True
Let h = -26 + 50. Is 10 a factor of h?
False
Suppose 0 = -3*t - 21 - 6. Is (-174)/(-9) + 3/t a multiple of 15?
False
Does 36 divide 16/(-36) + (-2600)/(-18)?
True
Let c(q) = 20*q**2 - 3*q - 1. Let b(n) = 41*n**2 - 7*n - 2. Let v(u) = -4*b(u) + 9*c(u). Is v(1) a multiple of 16?
True
Let p(m) = -m + 10. Let o be p(10). Suppose 2*u - 134 = -4*d, 5*d + o*d + 380 = 5*u. Is 28 a factor of u?
False
Is (-100)/(2/(-8)*(-42)/(-21)) a multiple of 40?
True
Suppose 2*m - 15 = -1. Suppose 0 = -2*f - 1 - m. Is 13 a factor of (-2)/(f/26)*1?
True
Let s = 149 - 58. Suppose 0 = 5*f - 13 - 2. Suppose -3*a - 54 = n - 3*n, -s = -f*n + 2*a. Is n a multiple of 11?
True
Suppose -5*z + 10 = 0, -42 = 7*h - 3*h - 5*z. Is h*(1/2 + -2) a multiple of 6?
True
Suppose 0 = -3*s + s + 6. Suppose 0 = -5*n - 4*l + 5, 4*n = 6*n - s*l - 25. Does 2 divide n?
False
Let x(u) = u + 2. Let d be x(5). Let o = d + 0. Is 2/o - 1440/(-56) a multiple of 13?
True
Let y(v) be the second derivative of -3*v**5/20 + v**2 - 3*v. Is y(-2) a multiple of 13?
True
Let r be (54/8)/((-4)/304). Does 8 divide 2/4 + r/(-18)?
False
Let j(p) = p**3 - 4*p**2 + 2*p - 5. Let w be j(4). Suppose -8*u - 4*y + 167 = -w*u, 4*u - 112 = 4*y. Is 12 a factor of u?
False
Is (-6)/(-10)*45*1 a multiple of 9?
True
Let t(s) = s**2 - 6*s + 3. Is 15 a factor of t(12)?
True
Suppose -p + i = -61, 3*i - 3 = -0. Is 11 a factor of p?
False
Let s(f) = 3*f**2 + 3*f. Let n be 33/(-7) + (-2)/7. Let m be s(n). Suppose -v = -5*v + m. Is 8 a factor of v?
False
Suppose -2*x + 616 = 3*s, 2*s - x = 2*x + 428. Is 34 a factor of s?
False
Let z = -8 - -12. Let j(v) be the second derivative of -v**4/12 + 2*v**3/3 + 2*v**2 + 15*v. Does 2 divide j(z)?
True
Suppose 0 = -4*i + 9*i + 55. Let m = -2 - i. Does 7 divide m - (-2 - (2 - 3))?
False
Is (-5)/30 + (-172)/(-24) a multiple of 5?
False
Let x(m) = 3*m + 6. Let s be x(7). Suppose -s = -2*n + o, 5*n + 7*o = 2*o + 105. Is 8 a factor of n?
True
Let x = 0 + 31. Is 4 a factor of x?
False
Let l be ((-28)/6)/(-7)*3. Suppose -l*n = -24 - 24. Does 8 divide n?
True
Let s(c) = 2*c**3 - 7*c**2 + 8*c - 9. Is 13 a factor of s(4)?
True
Suppose -3*p = -0*p - 1035. Is p/7 + (-10)/35 a multiple of 15?
False
Suppose 4*t - 126 = 10. Suppose 1 = -k, -3*n + t = 3*k + 2*k. Is n a multiple of 13?
True
Suppose -5*w = -2 + 32. Is 13 a factor of 62 - w/9*-3?
False
Let f(r) = -5*r**3 - r**2. Let x be f(-1). Suppose 30 = c + x*c. Let p = c + 5. Does 11 divide p?
True
Is 3 a factor of -3*(3 + 0)/(-3)?
True
Suppose a - 42 = -6*a. Is a a multiple of 3?
True
Let h = -24 - -61. Does 37 divide h?
True
Let b = 49 + -27. Suppose -4*n = -3*l + 118, 5*l - b = -5*n + 233. Suppose 0 = -3*i - 2*z + 84, -i = -3*i + 2*z + l. Is i a multiple of 13?
True
Let m(a) = a**3 - 3*a + 3. Let q be m(2). Suppose 3*w - 5*d = -d + 61, 0 = q*d - 10. Is w a multiple of 23?
True
Let r(q) = q**2 - q - 2. Let n be r(-2). Suppose n*b = 5*s - 167, -194 + 40 = 3*b + 2*s. Is 14 a factor of 7/((-14)/b) - 1?
False
Suppose 415 = 18*s - 13*s. Is s a multiple of 13?
False
Suppose 4*n = -2*n + 66. Is n a multiple of 3?
False
Let w(k) = -2*k + 5. Let l(o) = o - 1. Let q(y) = -3*l(y) - w(y). Let a be q(-5). Is -3*((-28)/3 - a) a multiple of 14?
False
Suppose 3*w - z - 1 = z, -7 = 5*w + z. Does 17 divide (-2)/4*w*68?
True
Let y(t) = 37*t**2 - 5*t + 2. Let d be y(3). Suppose 2*v + 2*v - d = 0. Is v a multiple of 24?
False
Suppose -3*i + 2 + 25 = 0. Is (i/4 - 4)*-8 a multiple of 14?
True
Suppose 4*r = 5*b - 20, 5*b - 3*r = -0*r + 15. Suppose 0 = 5*d - d - 20. Suppose b = -w + d + 3. Does 8 divide w?
True
Let w(l) = -2*l - 1. Let a = 10 - 6. Let s be w(a). Is 16 a factor of 16/(-4)*(s - -1)?
True
Let z be 1 + -49 - 1/1. Let l = 37 - -32. Let k = l + z. Is k a multiple of 10?
True
Let q(i) = i**3 - 4*i + 3. Let l be q(2). Suppose 2*r - 3*r = n - 17, -l*r - 109 = -5*n. Suppose n = z - 12. Is 16 a factor of z?
True
Suppose 2*v = -3*m + 6, -3*m - 2*v = -v - 9. Let d(f) = 4*f**2 + f - 2. Does 22 divide d(m)?
True
Let m = 4 - -1. Suppose -5*b = 5*w - 0 - m, 4*b - 4*w = -20. Let t = b - -20. Is t a multiple of 9?
True
Suppose 9*t - 675 = 783. Does 18 divide t?
True
Does 8 divide ((-32)/7)/(14/(-49))?
True
Let i = 37 - 26. Suppose -101 + i = -5*y. Is y a multiple of 9?
True
Suppose 3*d + 4*o - 73 = 0, -2*o = -5*d - 7*o + 120. Is 12 a factor of d?
False
Suppose 65 = 5*k - 0*k. Is 13 a factor of k?
True
Is (15/(-2))/(3/(-6)) a multiple of 3?
True
Suppose 5*s = 6*s + 6. Is (0 - 2)*27/s even?
False
Suppose -1 = -4*p + 3. Does 11 divide (p - -17)*12/9?
False
Let w be 6*((-21)/(-2))/3. Let s be 1/(-2)*(-122 + 0). Suppose i - s = -w. Does 16 divide i?
False
Suppose -4*u - 7 = -23. Is u/(-18) + (-137)/(-9) a multiple of 9?
False
Does 5 divide 2 + (-3455)/(-65) + (-2)/13?
True
Suppose 0*c - 4*c + 516 = 0. Suppose -c = -4*n + 79. Suppose -a = a - n. Is 12 a factor of a?
False
Let r(s) = s**2 - 7*s - 12. Is r(-8) a multiple of 9?
True
Suppose 3*y - y - 50 = 4*j, 0 = -y - 2*j + 37. Suppose -5*p = -206 + y. Does 12 divide p?
False
Let x = 59 + 25. Is x a multiple of 2