1248)/240)/((-6)/70)?
False
Suppose -21 + 27 = g. Let v(n) = 9*n - 8. Is 14 a factor of v(g)?
False
Let y = 80 - 146. Is (-39)/33 - 12/y - -33 a multiple of 9?
False
Let u(t) = -t**2 + t + 2. Let v be u(4). Suppose -c = 3*j - j - 69, 5*j - 174 = -c. Is (-4)/v + 231/j a multiple of 3?
False
Let b be -240*(-1)/(20/8). Suppose 0 = 102*y - b*y - 222. Is y even?
False
Suppose 649 + 350 = 3*v. Let i = 487 - v. Does 22 divide i?
True
Suppose -1386 = -21*c - 12*c. Does 11 divide c?
False
Suppose -4*k = -7*k + 2*b + 1487, -4*k - 5*b + 1975 = 0. Does 99 divide k?
True
Let t = 12 - 12. Suppose t = y - j + 4*j - 34, 2*y - 57 = 5*j. Let m = 74 - y. Does 9 divide m?
False
Let d be (-6)/15 + 0 + 4/10. Is 30 a factor of (d - 4 - -22)*(-6)/(-2)?
False
Let k = 15 + -28. Let j = k + 85. Is 17 a factor of j?
False
Does 33 divide 120/72 - 980/(-6)?
True
Let p = 15 - -10. Suppose -h = -p - 17. Is h a multiple of 35?
False
Let d = -23 - -28. Suppose -40 = 3*r - d*r. Is 20 a factor of r?
True
Let h = -87 + 186. Is 6 a factor of h?
False
Suppose -14*c = -13*c - 4. Suppose -585 = -2*g + n - 4*n, -c*g + 1120 = -4*n. Does 15 divide g?
True
Let j(m) = -10*m - 3. Let z(n) = n. Let y(i) = -j(i) - 5*z(i). Suppose -2*l - 7 = -5*h, -l = -2*l + h + 4. Is y(l) a multiple of 14?
False
Let y be (9 - 9)*(-2)/4 - -32. Suppose 6*d - d + 15 = 0. Is 4 a factor of d/(90/y + -3)?
True
Suppose -5*u - 19 = 11. Let g be u*10/(-15) + 10. Suppose 4*r + 5*w = 68, r - g = 2*w - 4*w. Is 11 a factor of r?
True
Suppose -4*d + d = 0. Let n = 22 - d. Let f = n + -7. Is 15 a factor of f?
True
Let s = -343 - -923. Is 29 a factor of s?
True
Let g(k) = 15*k**2 - 36*k - 173. Is 3 a factor of g(-7)?
False
Suppose 3*n = 5*m + 7 + 21, -2*n - m + 23 = 0. Suppose 4*z - n*z + 364 = 0. Does 8 divide z?
False
Let g(y) = -100*y - 96. Is 12 a factor of g(-6)?
True
Let r = -318 - -368. Is 20 a factor of r?
False
Let t = -156 + 230. Suppose -t*a = -69*a - 80. Is a a multiple of 11?
False
Let r = -11 + 83. Is 12 a factor of r?
True
Let k(l) = 64*l - 2. Let t be k(3). Let a = -105 + t. Is a a multiple of 29?
False
Does 4 divide -9 + 13 + (949 - (-6)/(-2))?
False
Let h(z) = 3*z**2 + z - 10. Is 22 a factor of h(5)?
False
Suppose -3*w + 13 - 7 = 0. Suppose s + 14 = 3*v, 0 = -4*v + 3*v - 2*s. Let c = w + v. Is 3 a factor of c?
True
Let q = 682 - -234. Suppose q = 4*g + 216. Suppose -4*m + g = 7. Is m a multiple of 20?
False
Suppose 0 = 4*l + 12 + 4. Let j be (-2)/l*-82 + -3. Let d = 88 + j. Is d a multiple of 22?
True
Suppose -32786 = 111*f - 137*f. Is 97 a factor of f?
True
Does 38 divide (-10865)/(-50) - (-24)/(-80)?
False
Let w(r) = 2*r**2 + r + 6. Suppose 0*i - 5 = -i + l, 10 = -2*i - 2*l. Let a be (-2 - i)*(-21)/(-14). Is 7 a factor of w(a)?
True
Let q(v) = v. Let o be q(12). Let n = o - 7. Suppose 0 = 5*a + 2*h - 72, -n*a - 5*h + 44 = -16. Is a a multiple of 8?
True
Suppose 4*u = 5*n - 665, -3*n + u + 399 = -2*u. Suppose n + 5 = 3*j. Is 23 a factor of j?
True
Let m be 3 + (0 + 4)/4. Let s(h) = 11*h + 1. Let c(i) = -21*i - 2. Let u(q) = m*c(q) + 9*s(q). Does 16 divide u(1)?
True
Let b(m) = 5*m**2 + 22*m - 87. Does 12 divide b(9)?
True
Let q = 2859 + -1539. Is 33 a factor of q?
True
Let a = 48 - -597. Is a a multiple of 43?
True
Let v(b) = -2*b + b**2 + 0 + 6*b + 5*b - 12. Let r be v(6). Suppose 2*a + 2*a + 30 = 2*o, -4*o + r = a. Does 19 divide o?
True
Suppose 3*q - 663 = -2*q + 2*b, 4*b = -16. Suppose -5*u + 233 = -y, -3*y + q = 5*u - 110. Is u a multiple of 5?
False
Let x(o) = -5*o + 23. Let i(n) = -n + 6. Let b(s) = -9*i(s) + 2*x(s). Let w be b(11). Let z = 37 + w. Does 4 divide z?
False
Let q = 707 + -338. Does 27 divide q?
False
Suppose p + 0*p = -i + 3, p + 9 = 2*i. Is 3 a factor of ((-14)/i)/(1/(-2))?
False
Let g be (0 + 1)/(23 - 24). Does 19 divide 70*1*(g/(-1) + 0)?
False
Suppose -24 = -6*p - 36. Suppose 0 = 2*z - v - 17, -13 = -3*z + v + 3*v. Is 11 a factor of z*1/p*-2?
True
Suppose -3*n = 3*n - 798. Suppose 2*v - 8 = -2*u + 78, -3*u + n = 4*v. Is u a multiple of 39?
True
Let t(p) = -9*p**3 + 3*p**2. Let v be t(2). Is ((v/(-16))/(-3))/(3/(-96)) a multiple of 9?
False
Let n be 3*(-2 + -4 + 7). Suppose n*j = -2*h + 1, j + h = -h - 5. Suppose -143 = -5*l - 2*a, j*l - 3*a = 2*a + 92. Does 29 divide l?
True
Let z(g) = 4*g**2 - 17*g + 1. Let c = 3 + 4. Let x(u) = -2*u**2 + 9*u. Let k(m) = c*x(m) + 4*z(m). Is 23 a factor of k(6)?
True
Let h(k) = k + 3. Let i be h(0). Let q be i - 3 - 27/(-1). Let v = q + -6. Is v a multiple of 21?
True
Suppose 2*j = f + 66, f + 89 = 3*j - 3*f. Let h = 162 + -158. Suppose i - j = -y, -y + 3*y + h = 0. Is 9 a factor of i?
False
Let b(i) = i**3 - 4*i**2 + 2*i - 9. Let h be b(4). Let c(g) = g**2 - g. Let u be c(h). Suppose 2*s + 71 = n, -3*s = -u*s. Is n a multiple of 21?
False
Let b(g) = 2*g**2 + 40*g - 5. Is b(-24) a multiple of 11?
True
Let y be (-3)/7 - 7567/(-49). Let t(w) = -10*w + 36. Let h be t(12). Let s = y + h. Is s a multiple of 12?
False
Suppose 0 = 5*h - 4*z - 178, h + 3*z - 24 = -2*z. Let b = 26 + h. Is b a multiple of 20?
True
Suppose d = 2, 36 = 4*j - 3*d - 18. Suppose 2*v + 5*t = 4*v - 21, -j = 5*t. Suppose -5*r - v*p = -270, 5*r - 163 = 3*p + 137. Is 12 a factor of r?
False
Suppose -2*q = -4*n, 0 = -0*q + 2*q - n + 15. Let a = q + 13. Suppose -a*w = -8*w + 300. Is w a multiple of 15?
True
Let s = -20 + 43. Let x = 27 - 14. Let j = s - x. Is 5 a factor of j?
True
Let p(j) = -j**3 + 9*j**2 + 10*j. Suppose 0*v + 2*t + 22 = 2*v, 0 = -v + 3*t + 15. Is 30 a factor of p(v)?
True
Let h(g) be the first derivative of -g**4/4 + 4*g**3 - 3*g**2/2 - 3*g - 18. Is 52 a factor of h(8)?
False
Let n(r) = -4*r**3 + 2*r**2 + r + 2. Let g be n(-2). Let y = -136 - -155. Let l = g - y. Is l a multiple of 18?
False
Let f(s) = -50*s - 18. Let k be f(-10). Suppose -63 = -5*x + k. Is x a multiple of 39?
False
Suppose 5*p - 49 + 19 = 0. Let i(f) = 3*f. Let d(w) = -1. Let n(a) = 5*d(a) + i(a). Is n(p) a multiple of 6?
False
Is 13 a factor of 2/15 + 13179/45?
False
Let z = -2290 - -3510. Does 3 divide z?
False
Suppose -5*l + 5*n - 385 = -0*l, 20 = -4*n. Let d = l + 258. Is 25 a factor of d?
False
Let s(n) = -n**3 - n**2 - n - 1. Let i(v) = -4*v**3 - v**2 - 7*v - 10. Let f(y) = -i(y) + 5*s(y). Does 5 divide f(-5)?
True
Let z = 579 + -589. Let r(y) = -7*y - 4. Let h be r(5). Let n = z - h. Is n a multiple of 6?
False
Let z(y) = -8*y + 7 - 5 + 12. Let p = 1727 - 1735. Does 13 divide z(p)?
True
Let w(c) = 2*c**2 + 8*c - 3. Let r be 2 + (-2 - -1)/1. Let v be (-9)/r - (0 - 3). Is w(v) a multiple of 12?
False
Let x be (-10 + 11)*2*2. Let j be (2 + 538)/((-12)/(-8)). Suppose -x*o - j = -9*o. Is 24 a factor of o?
True
Suppose -75*v + 54*v = -3927. Does 3 divide v?
False
Let a be (-4 - -9 - 2)*-13. Let p = 19 - a. Is p a multiple of 16?
False
Suppose -81 = -11*i + 14*i. Let f = 53 + i. Is f a multiple of 13?
True
Suppose 0*k - 3*k + 21 = 0. Suppose 0 = -k*d + 6*d + 26. Let f = -7 + d. Does 4 divide f?
False
Let s(f) be the third derivative of -f**6/120 + 11*f**5/60 - f**4/4 + 2*f**3/3 + 3*f**2. Let c be s(10). Suppose 5*i - 6*i + c = 0. Is 11 a factor of i?
True
Let a be (-20)/(-3)*-6*(-1)/4. Suppose -a*p + 4*p + 132 = 0. Is p a multiple of 11?
True
Let z be 3 - (936/(-2))/3. Let i = 57 + 44. Suppose -z - i = -5*m. Does 10 divide m?
False
Suppose 10*x - 115 = 9*x. Let w = x - -10. Is 25 a factor of w?
True
Suppose -7*a = a + 8. Let y(v) = 227*v**2 + v + 2. Does 33 divide y(a)?
False
Let b be (-1119)/(-7) - 6/(-42). Let j = 64 + b. Does 22 divide j?
False
Suppose 3*r - 2673 = -723. Is r a multiple of 38?
False
Suppose -m + 3 + 2 = 2*r, -4*m = -4*r + 28. Suppose r*x = 2*d + 602, -2*x + 202 = 4*d - 74. Is 17 a factor of x?
False
Let f(h) = -4 + 1 + 9*h - 4 - h**2 - 3. Let v be f(6). Suppose -10 = -3*r + v. Is r a multiple of 3?
True
Let v(h) = 32*h**2 - 31*h - 21. Is 104 a factor of v(8)?
False
Let p be 670/3 + (-6)/18. Suppose 156 = 3*y - 3*n, 0*y + 4*y - n = p. Is y a multiple of 24?
False
Let b = -43 + 25. Let v be (0 + -1)/((-1)/25). Let m = b + v. Does 2 divide m?
False
Let h(b) = 10*b**2 + 5*b - 8. Let s(u) = u**2 - u + 1. Let c(n) = h(n) + 6*s(n). Does 16 divide c(-2)?
True
Let z be (-1)/(3 - 2315/770). Suppose 155*h - z*h - 77 = 0. Is h a multiple of 7?
True
Is 18 a factor of (53 + 1)*(-24)/(-7 