factor of 10*((-33)/(-6) - d)?
True
Let p(m) = 1 - 5*m**2 + 6*m**2 + 0 + 20*m**2. Does 7 divide p(1)?
False
Suppose z + z = 8. Suppose -z*h - h + 100 = 0. Is 9 a factor of h?
False
Suppose -11 = -6*x + 13. Suppose -x*v + 88 = -2*v. Does 17 divide v?
False
Let s be 24/(3/(1 + -13)). Let x = s + 135. Is x a multiple of 13?
True
Suppose 0 = 2*w + 56 - 18. Let h = -7 - w. Suppose -k + 11 = -h. Is 8 a factor of k?
False
Suppose -2*i - 175 = -5*u, -3*u + 2*i = -3*i - 124. Is u a multiple of 11?
True
Let l(g) = g**2 - 5*g + 4. Let h be l(8). Let w(x) = x - 3. Let o be w(5). Suppose 24 = o*j - 3*k - k, 5*k + h = 2*j. Is j even?
True
Let r = -31 + 79. Suppose -r = -2*w + y, 0 = -2*w + 4*y - 11 + 47. Does 9 divide w?
False
Suppose 6*z - 71 = 43. Is 6 a factor of z?
False
Suppose -9 = -5*f + 2*f. Suppose 0 = -3*w - w - 12. Does 2 divide 1 + 4 + f/w?
True
Let j be (9 + 1)*(-14)/4. Let m = j + 49. Suppose -m = a - 55. Is a a multiple of 20?
False
Let c = 60 + -39. Is c a multiple of 6?
False
Suppose 3*m + 5*w = -m + 33, 0 = 3*m - 5*w - 16. Is m a multiple of 5?
False
Let l = 31 + -4. Is 11 a factor of l?
False
Let i(a) = 2*a - 4. Let b(g) = 3*g - 6. Let k be (-5)/2*16/(-10). Let h be b(k). Is i(h) a multiple of 4?
True
Let z(m) = -m**2 + 10*m + 3. Let f be z(10). Suppose -2*g - 3*k = -111, f*k - 3 = 4*k. Is 4 a factor of (g/(-8))/(3/(-4))?
False
Let y be (1 + (-16)/6)*-3. Let n(m) = 4*m**2 + 7*m. Let g be n(-5). Suppose -4*q + 3*p = 8*p - 56, 5*q + y*p - g = 0. Is q a multiple of 4?
False
Let f(r) = -24*r**3 - r**2. Let o be f(1). Let t = o + 5. Let d = t - -33. Is 11 a factor of d?
False
Is (-153)/(-12) + 1/4 a multiple of 4?
False
Let d(l) = l**2 + 3*l - 2. Let u be d(-3). Let n = 2 + -4. Is 7 a factor of 7 - (-1 + u/n)?
True
Let s(v) = -4*v + 20. Is 32 a factor of s(-9)?
False
Let m be 20/8*12/(-15). Let u be (-3 - 0)*m/2. Suppose k - 24 = -u*k. Is k a multiple of 3?
True
Let p(c) = -3*c**2 + 2*c**2 - 5*c + 2 + 4. Is 4 a factor of p(-5)?
False
Let i = 0 - 0. Suppose -3*u = 3*c - 6, i*c - 2*c - 4 = 0. Suppose 40 = b + u*b. Is b a multiple of 3?
False
Suppose 0 = -15*b + 3*b + 612. Is b a multiple of 4?
False
Let o = -10 + 6. Let x = -1 - o. Suppose x*v - 5*r - 117 = -2*r, -66 = -2*v - r. Is v a multiple of 9?
False
Does 32 divide ((-96)/18)/((-4)/72)?
True
Let u = -369 - -527. Is u a multiple of 27?
False
Let u be 2 + 9/(3 - 0). Suppose 0 = -2*f - u + 55. Is f a multiple of 13?
False
Suppose -3*v + 3 = -0. Let f(n) = 33*n. Does 11 divide f(v)?
True
Suppose -z + 13 = b - 14, 4*z + 108 = 4*b. Does 11 divide b?
False
Suppose -11*f + 7*f + 244 = 0. Does 13 divide f?
False
Let y = 4 + -1. Suppose -7*n + 52 = -y*n. Is n a multiple of 13?
True
Let g(m) = m - 7. Let j be g(7). Suppose -2*d - 28 + 112 = j. Is d a multiple of 21?
True
Suppose 4*g = -a + 47, -g - 3*a - 67 = -5*g. Let p = g + 14. Suppose j + 2*h - p = -0*h, 0 = 2*j + 2*h - 50. Is j a multiple of 11?
False
Let h(d) = 14*d + 2. Is h(2) a multiple of 10?
True
Suppose 0 = 2*a - 4*a + 10. Suppose -2*i = -3*r + 19, 3*i - 1 + a = r. Is r a multiple of 3?
False
Let g = 0 + 47. Is g a multiple of 11?
False
Let s(d) = -d**3 - d**2 - d + 1. Let v be s(0). Let z be v/(-1)*(2 + -7). Suppose 0 = -f + 5*x + 4, z*x = 4*f - 23 + 7. Does 4 divide f?
True
Let s(m) = m**3 + 24*m**2 + 20*m + 11. Does 20 divide s(-23)?
True
Suppose 2*h = 3*d - 341, -434 = -4*d - 3*h - 2. Suppose 4*o + 5 + d = 0. Let s = -11 - o. Does 9 divide s?
True
Suppose -3*l - 2*h + 246 = 0, 3*l - 2*l - 96 = 4*h. Is l a multiple of 21?
True
Suppose -3*l = 4*u - 15, -l - 3*u + 12 = 2*l. Let s be (-3)/(-1) - (0 - l). Let c = 4 + s. Is c a multiple of 4?
True
Let u(q) = -188*q - 1 - 37*q + 2. Let x be u(1). Does 11 divide 2/(-5) + x/(-10)?
True
Suppose q - 528 = -2*q. Suppose 0*a - q = -4*a. Is 22 a factor of a?
True
Let u(m) = m**2 - m - 1. Let z(p) = -3*p**2 - 4*p - 5. Let w(t) = 4*u(t) - z(t). Let n be w(-1). Suppose 5*g = -b + 3, -b + 3*g + 19 = -n. Is b a multiple of 8?
False
Let b(c) = -c**3 - 5*c**2 - 3*c + 4. Let q be b(-4). Let z = -6 - -11. Suppose q*t = -z*t + 170. Is 17 a factor of t?
True
Suppose 23*z - 20*z = 660. Is 20 a factor of z?
True
Let y(h) = 5*h**2 - 2*h + 1. Let p be y(1). Suppose 14 = p*a + 2*v, v = -4*a + 5*v + 32. Is a a multiple of 2?
False
Suppose -3*j + 12 = -4*c - 209, -4*j + 3*c + 297 = 0. Suppose -j - 170 = -5*i. Is i a multiple of 11?
False
Let i be (-2)/4*0/(-2). Does 4 divide (0 - i)/(-1) - -8?
True
Suppose 0 = -2*q + 17 - 1. Is 7 a factor of q?
False
Let c = 13 + -10. Suppose -2*l - c*a = -67, 2*a = l - 6*l + 173. Is 19 a factor of l?
False
Let u be (-1 + -16)*2 - -1. Let q = u + 54. Is q a multiple of 6?
False
Let k(d) = -9 + 2 - 5 - 2*d. Let r be k(-11). Suppose 0 = 2*t - 32 - r. Is 17 a factor of t?
False
Let u be 8*(-1 - 7/(-4)). Suppose 0 = -2*l + u*l - 180. Is l a multiple of 15?
True
Let v = 675 + -432. Suppose -l + v = 2*l. Is 27 a factor of l?
True
Suppose 3*o + 0 - 3 = 0. Let w be (3/3)/(o/3). Suppose -3*v + 20 + 37 = w*i, 0 = -v - 2. Does 11 divide i?
False
Let u = 4 - -1. Suppose 2*c = u*c - 111. Does 13 divide c?
False
Let t = 54 - 104. Is 8 a factor of t/15*(-12)/5?
True
Let y(v) = 2*v - 9. Let a be y(9). Suppose 3*t = a + 114. Is 18 a factor of t?
False
Suppose 0 = -5*j + 6*j - 15. Is j a multiple of 15?
True
Let a = 9 - 4. Suppose -s + 5 = -a*q, -2*s - q = -13 - 52. Does 11 divide s?
False
Is ((-21)/2)/(6/(-8)) a multiple of 6?
False
Is 3 a factor of (-3)/12 + (-135)/(-12)?
False
Let d be 3*(-3 - (0 + -2)). Let p be (6/9)/(-2)*d. Is (0 - p) + 2 - -21 a multiple of 13?
False
Let b = 22 + -8. Does 14 divide b?
True
Suppose 7 = -5*n - 3. Let v(w) = w + 12. Let u be v(10). Let h = u - n. Does 12 divide h?
True
Let o = -4 + 7. Is 9 a factor of 2/((-110)/38 + o)?
False
Suppose 33 - 119 = 2*i. Let l = i - -72. Does 12 divide l?
False
Suppose 2*i - i = 0. Suppose -t - t + 240 = i. Is 6 a factor of (t/(-16))/(3/(-4))?
False
Let q(z) = 2*z**2 - 4*z + 1. Let g be q(4). Let o = g - 12. Is 5 a factor of o?
True
Let u(h) = -29*h - 23. Is u(-9) a multiple of 14?
True
Let d = -4 - -17. Is 5 a factor of (-1 + d + -1)/1?
False
Suppose 0 = 3*t + h + 2*h - 372, t - 4*h - 104 = 0. Is t a multiple of 12?
True
Let m(o) be the first derivative of o**3/3 + 5*o**2/2 - 2*o + 4. Does 15 divide m(3)?
False
Let i = 2 - -1. Suppose 4*k - 64 = -4*z, 3*k - 2*z - 31 = -3. Suppose -i*t - k = -7*t. Is 3 a factor of t?
True
Suppose 4 = -3*v - v. Let t be -2 + (v - (93 - 1)). Is 19 a factor of t*(-2 + 16/10)?
True
Suppose 0 = 3*n + 12, -3*n - 148 = -3*s - s. Does 21 divide s?
False
Let z(d) = -d**3 - 8*d**2 - 9*d - 10. Let t(a) = a**3 + 8*a**2 + 9*a + 10. Let p(g) = -4*t(g) - 3*z(g). Does 4 divide p(-7)?
True
Suppose -2 = 5*r + 4*k, -2*k - 2*k = 2*r + 8. Let h = r - 1. Suppose -i - h = -4*c, -i - c = 3*c - 15. Does 4 divide i?
False
Let o(l) = l**2 - l + 40. Is o(0) a multiple of 31?
False
Let m = 6 - 4. Suppose -3*y = -a + 78, m*y + 44 = 4*a - 8. Let c = y + 52. Is c a multiple of 19?
False
Let g = -11 + 8. Let w be (-1)/(-1*g/(-6)). Suppose -w*o = -o - 28. Does 17 divide o?
False
Let q = -171 - -406. Does 47 divide q?
True
Let w = -204 + 144. Let z = w + 88. Does 4 divide (2/(-4))/((-2)/z)?
False
Let z = 87 + -41. Let k = z - 7. Is k a multiple of 13?
True
Let n = 6 - 4. Suppose -4*v - 86 = 3*g, 4*v = -5*g - 39 - 51. Is 12 a factor of ((-65)/v)/(n/8)?
False
Suppose -2*y - 4*x + 125 - 9 = 0, 4*y + 2*x = 238. Does 12 divide y?
True
Let t = 67 + -491. Let l be t/(-3) - (-3)/(-9). Let j = 197 - l. Does 28 divide j?
True
Let r = 2 + 4. Suppose -k = -o + 30, 15 = -r*k + k. Is 9 a factor of o?
True
Is 4 a factor of (-14)/(-77) - 614/(-11)?
True
Let q = 14 - 14. Is 20 a factor of (q/(-1) - -21) + 0?
False
Let b = 23 + 6. Is b a multiple of 5?
False
Let q = 2 + 2. Suppose -2*o = o - 3*d - 165, 219 = q*o - 5*d. Is 14 a factor of o?
True
Let t = -7 + 7. Suppose -x = -4*k + 15, -4*x + t*k = 4*k. Does 12 divide 29 + (x/(-1) - 2)?
False
Suppose -2*r + 125 - 37 = 0. Suppose 5*q - 3*s - 166 = 0, -r = 3*q + 2*s - 136. Does 8 divide q?
True
Suppose -2*r + 352 = -0*r. Is r a multiple of 11?
True
Suppose -4*i = -5*u + 152, 2*u = -3*u + 5*i + 155. Is u a multiple of 14?
True
Suppose 3*m - 2 = 5*r, 3*m + 2*m + r + 6 = 0. Let d = 4 + m. Let g(h) = 6*h +