de u(1)?
True
Let o(d) = -2*d - 12 + d + d - 2*d. Let h be o(6). Let k = h - -41. Is k a multiple of 10?
False
Let q = 379 - 575. Let i be q/10 + 12/(-30). Let p = 28 + i. Does 4 divide p?
True
Let o = -43 - -48. Suppose o*d - f = 363, 2*d - f - 75 = d. Is d a multiple of 18?
True
Does 8 divide (24/(-15))/(7/(-560))?
True
Suppose -70*m + 74*m - 4705 = -5*o, 0 = -3*o - m + 2830. Is o a multiple of 16?
False
Let w = -9 + 14. Is ((-72)/w)/((-2)/10) a multiple of 29?
False
Suppose -4*n - 2*u - 2 = 0, n - 6*u = -5*u + 7. Suppose -n*f + 202 = p, f = -3*f - 3*p + 404. Does 14 divide f?
False
Suppose 265 = k - 3*x, -5*k + 607 + 667 = 2*x. Suppose -5*o + k = 2*v, 6*v - 4*o + 252 = 8*v. Does 14 divide v?
False
Suppose x - 5*y = -13, 82 = -x - x - 4*y. Suppose -8 = 4*j, 3*s = j - 2 + 91. Let g = s - x. Is 16 a factor of g?
False
Let n(a) = 17*a - 135. Is n(9) a multiple of 2?
True
Let q(y) = -15*y - 2. Let i be q(5). Let g be 502/(-22) + 14/i. Let m = g - -43. Is 14 a factor of m?
False
Suppose 0 = 20*y - 17*y - 51. Let x = 36 - y. Is x a multiple of 19?
True
Let g(k) be the second derivative of -k**4/12 + k**3/2 - k**2 + 3*k. Let n be g(4). Does 12 divide 763/21 + 2/n?
True
Let g(a) = 17*a + 666. Does 18 divide g(0)?
True
Suppose z - x = -2 - 0, 0 = -2*z - 2*x. Let w = 22 - 24. Is 6 a factor of 1 + 20 + z + w?
True
Suppose 6 = 5*p - 4*x, x = 3*p - 0*x - 5. Let h(u) = -30*u**2 - 5*u - 16. Let q(s) = 6*s**2 + s + 3. Let b(l) = 2*h(l) + 11*q(l). Is b(p) a multiple of 7?
False
Suppose -7*q = 4*b - 2*q - 3287, 4145 = 5*b - q. Is b a multiple of 6?
True
Suppose -4887 + 195 = -12*p. Is p a multiple of 10?
False
Let o(v) = 6*v**3 - v**2 + 5*v - 13. Is 15 a factor of o(4)?
True
Let s(u) = 31*u**2 + 5*u - 7. Is s(-6) a multiple of 13?
True
Let m = 838 + -447. Does 17 divide m?
True
Let l = 996 + -859. Is l a multiple of 13?
False
Let i = -517 + 920. Is 13 a factor of i?
True
Suppose -6*j + 9*j = 12. Does 3 divide -1*j + (29 - 16)?
True
Let v(o) be the first derivative of o**2 + 8*o - 4. Let p be v(-4). Suppose 2*k + 20 = 3*j - 29, p = 5*j + k - 73. Does 7 divide j?
False
Is 7 a factor of (16/(-2))/((-20)/1170)?
False
Let f = 732 - 615. Is 2 a factor of f?
False
Let n(p) = 13*p**2 + 7*p - 142. Is n(15) a multiple of 55?
False
Let f = -6953 + 9814. Does 16 divide f?
False
Let u be (-2)/1*(1 + 12/(-8)). Does 21 divide (175/100)/(u/132)?
True
Suppose 3*h + 717 = w, -2*w + 2*h = 991 - 2405. Is w a multiple of 56?
False
Let v be 3 - (-6)/(-2) - (1 + -16). Suppose -274 = -v*a + 446. Does 8 divide a?
True
Suppose 0 = 35*u - 15726 - 6814. Is u a multiple of 51?
False
Let b(h) = h**3 - 7*h**2 - 12*h + 81. Is b(16) a multiple of 17?
True
Let j(u) = -14*u - 1. Let r be j(-1). Does 32 divide (19 + r)/((-2)/(-12))?
True
Let t = 160 + -158. Suppose -3*z - 4*w = t*z - 920, -4*w = z - 200. Is z a multiple of 15?
True
Let x = -17 - -26. Let k(z) = -z**3 + 9*z**2 + z + 3. Is k(x) a multiple of 12?
True
Suppose 0 = 5*h + 4*a - 249, 2*h - 4*h - a + 102 = 0. Is 13 a factor of h?
False
Let n = -27 + 42. Suppose -n*o = -18*o + 9. Is (12 - 5)*o/7 a multiple of 2?
False
Let g be -3 - (-3 - 0/(-2)). Suppose g*o + 3 = o. Suppose 2*b + 5*r - 18 = 0, o*b - 4*r = -9*r + 22. Is 4 a factor of b?
True
Let r(q) be the first derivative of -6*q**2 + 1/4*q**4 + 4 - 13/3*q**3 - 10*q. Is 9 a factor of r(14)?
True
Let q(f) = 25*f**2 + 3*f - 13. Is q(3) a multiple of 4?
False
Let q = 787 + -439. Does 12 divide q?
True
Let k be (5 + -5)/(4 + -2). Suppose -3*r - p = -r - 9, k = -5*p + 25. Does 7 divide (0 + 1)/(r/38)?
False
Suppose 7*r = 4*r - 12. Let h be 2 - (-1 - (r + 4)). Suppose h*x = 5*l + 2*x - 28, 4 = -l + 5*x. Is l a multiple of 2?
True
Suppose -15*o + 6203 + 5107 = 0. Is 8 a factor of o?
False
Suppose 2*p + 0*p - o - 7 = 0, o = 3*p - 9. Let q be 4/(-2 + (2 - p)). Is (46 - 2)/(q - -3) a multiple of 11?
True
Let o = 10 + -17. Let c(j) = 3*j + 13. Let f be c(o). Does 6 divide (-298)/f - 4/16?
False
Does 3 divide 14 + -7 + (4 - -4)?
True
Suppose -3*d + 3*l + 10591 = -176, d - 3613 = -5*l. Is 83 a factor of d?
False
Let x = 2 + 0. Let c be x/(6/(-315)*3). Let j = -11 - c. Is 15 a factor of j?
False
Let l = 808 - -86. Is l a multiple of 12?
False
Suppose -4*j + 86 - 6 = 0. Let u = j + 4. Is 784/u - (-2)/6 a multiple of 11?
True
Suppose -m - 4*g - 20 = 0, -4*m + 0*m = -5*g + 17. Let b be (28/m - -2)*18. Let r = 45 + b. Is r a multiple of 9?
True
Let c = 633 - 385. Is c a multiple of 62?
True
Let m be 9/2*(-8)/(-12). Suppose -4*s - m*s + 1512 = 0. Does 27 divide s?
True
Let x be ((-14)/(-4) + -4)*0. Suppose -4*o + 3*o + 365 = 2*r, x = 3*r + 3*o - 546. Is 10 a factor of r?
False
Suppose 2*c = 5*f + 4*c - 397, 4*f = 5*c + 344. Suppose 63*y = 67*y - 28. Suppose 2*p = -k + f - y, 5*k - 82 = -2*p. Is p a multiple of 12?
True
Let r(u) = -u**3 + 17*u**2 - 14*u - 12. Let o be r(16). Let q(y) = y**2 - 15*y - 21. Is q(o) a multiple of 48?
False
Suppose -2*w = 4*c - 330 - 258, -c = -2*w - 137. Is 6 a factor of c?
False
Let a(n) = n**2 - 2*n - 7. Let r(y) = y**3 - 11*y**2 + 9*y + 7. Let t be r(10). Let p be a(t). Let z = p - -18. Does 13 divide z?
True
Let d(s) = 3*s**2 + s**2 - 1 + 0*s**2 + s - 3*s**2. Is d(2) a multiple of 2?
False
Let y(z) = 876*z**2 - z - 6. Let a be y(3). Does 24 divide (a/(-14))/(-9) + 3/2?
False
Let t = 6 - 7. Let d be (t + 2 - 1)/1. Suppose d = -u - 3*u - 2*r + 38, 3*r = -3. Is u a multiple of 4?
False
Let i(q) = -18*q + 3 + 0*q**2 - 12 - q**2 + 2*q. Is i(-9) a multiple of 4?
False
Suppose -z = 3*v - 1117 + 416, 3*v = -2*z + 703. Is 88 a factor of v?
False
Let v = -977 - -1553. Is 12 a factor of v?
True
Let f = -106 - -176. Let a = 114 - f. Is 4 a factor of a?
True
Let y(i) = -1405*i**3 - 3*i**2 - 8*i - 6. Is 54 a factor of y(-1)?
True
Is (-26 + -703)*(-1)/3 a multiple of 9?
True
Let f = 188 - 109. Let a = 199 - f. Is a a multiple of 24?
True
Let v(a) = a + 2. Let w(u) = -u**3 + 6*u**2 - 4*u - 7. Let n be w(5). Let f be v(n). Suppose -20 = -5*p - 0*p, f = -z + 5*p - 5. Is z a multiple of 5?
True
Suppose -3*v - 2*y = 11 + 3, 4*v + 2*y = -20. Let c(m) = -m**2 - 3*m + 2. Let o be c(-3). Is o/v - (-196)/12 a multiple of 8?
True
Let d(o) = o + 1. Suppose 4 = 16*i - 15*i. Let n be d(i). Suppose 0 = -n*c - 10, -3*v = -0*c - c - 17. Is 2 a factor of v?
False
Let r = -3 - -7. Suppose -r*x - 16 = 12. Let j(c) = -10*c - 10. Is j(x) a multiple of 20?
True
Suppose 5*h = h + 12. Is 1 + (-14)/(-3) - (-1)/h a multiple of 2?
True
Suppose 0 = 5*l - 3*y - 84, -2*l + 35 = -4*y + 7. Suppose 0 - l = -3*v. Is 2 a factor of v?
True
Let r(a) = -a**3 + 4*a**2 + 5*a + 8. Let z(i) = -i**3 + i**2 - i + 1. Let b(x) = -r(x) + 2*z(x). Let l = 11 + -15. Is b(l) a multiple of 18?
True
Let a = -3 - -6. Suppose -3 = -a*d - 69. Let k = -8 - d. Does 8 divide k?
False
Let h be (33/(-6) - -4)/((-1)/2). Suppose -h*b = 3*b - 66. Is 2 a factor of b?
False
Suppose -93 = 4*w + 2*b - 349, -2*b + 4 = 0. Suppose -i + 4*i = -w. Let l = -9 - i. Does 4 divide l?
True
Let s be (0 + 8)/4 + 1. Let g be s/1 + 1*-3. Let d(f) = -f**3 - f + 28. Is d(g) a multiple of 18?
False
Suppose -2*v = 12 - 0. Let z(q) = 3*q**2 + q + 29. Is z(v) a multiple of 22?
False
Suppose -4*w - 488 = -9*w + 4*h, 2*w - 215 = -5*h. Is 5 a factor of w?
True
Let u be 5*(-4 - (-53 + 0)). Suppose 2*y - 3*d - 73 = 28, u = 5*y - 5*d. Is 28 a factor of y?
False
Suppose -5*w = -25, 0*b - 2*b = 4*w - 56. Let c = b + -14. Suppose 0*r + 5*t - 80 = -3*r, 3*r = c*t + 125. Is 35 a factor of r?
True
Suppose -v = -5*a - 34, 2*a = 2*v + 1 - 37. Suppose 38 - v = 3*j. Let i = j - -4. Does 12 divide i?
True
Suppose 0*z - 9*z + 2142 = 0. Does 21 divide z?
False
Suppose -5*s + 2*s + 2*t + 10 = 0, 0 = -5*s + 2*t + 22. Suppose 4 + s = 5*a - 2*z, 2*a + 3*z = 23. Suppose -15 = 3*g - a*g. Is g a multiple of 4?
False
Suppose 3*t - 2*t - 3*q = 153, -4*t - 3*q + 672 = 0. Does 16 divide t?
False
Let j(o) = -o + 318. Let b be j(0). Let y be b/27 - 6/(-27). Does 11 divide 186/y - (-1)/2?
False
Suppose -2*o = 2*r - 30 - 20, 5 = -o. Let l = -14 + r. Suppose 0 = 13*h - l*h + 138. Is 23 a factor of h?
True
Suppose 5*w - 1449 = 2*w. Does 21 divide w?
True
Let u(f) = 5*f**2 + 5*f + 2. Let s be (6/4*-2)/(-11 - -12). Is u(s) a multiple of 16?
True
Suppose -17*m + 3577 = -4515. Is 19 a factor of m?
False
Let 