divide y?
False
Suppose -190*a = -188*a - 4032. Does 14 divide a?
True
Is (-75636)/(-72) + (-2)/4 a multiple of 93?
False
Let f be (-10)/8*(-4)/1. Suppose -2*z = 5*m - 175, -2*z + f*m = 55 - 260. Is z a multiple of 19?
True
Suppose 2*n = -n + 15. Suppose 0 = 2*q + j - 32, n*q - 2*j - j - 80 = 0. Is 3 a factor of (6/8)/(1/q)?
True
Let y be (-42 + -2)/(1 - 0). Let z = -71 - -55. Let s = z - y. Is s a multiple of 14?
True
Suppose 21 = 9*r + 3. Let u = r - -36. Does 10 divide u?
False
Let a(u) = -6*u**2 + 153*u + 7. Is 68 a factor of a(15)?
True
Suppose 78*a + 384 = 80*a. Is a a multiple of 4?
True
Let s = 216 - -16. Let g = -184 + 277. Suppose -5*m = -g - s. Is 13 a factor of m?
True
Let i be (-9)/9*(-1 + (-1)/(-1)). Suppose i = 4*z - z - 324. Is z a multiple of 36?
True
Let l(z) = -z**3 - 19*z**2 - 19*z - 5. Let r be l(-18). Suppose r = 4*p - 7. Is p even?
False
Let u = 1615 + -969. Is 59 a factor of u?
False
Let r = -1618 - -3220. Is 92 a factor of r?
False
Let v be (-116)/(-36) + (-2)/9. Suppose 3*k - v = 78. Does 5 divide 1/3 - (-396)/k?
True
Let m be (-5)/(-4)*19/(95/(-480)). Let c = -65 - m. Is 14 a factor of c?
False
Let w(o) = 21*o**2 - o + 1. Suppose 0*n - 11 = -5*u + 2*n, 0 = 3*n + 9. Let x be w(u). Suppose 0 = -l + x - 7. Is l a multiple of 14?
True
Let s(b) be the first derivative of b**3/3 - b**2/2 + 4*b - 6. Is s(7) a multiple of 7?
False
Let t = 32 - -8. Is t a multiple of 4?
True
Let x(a) = 6*a**2 + 14. Let u be x(5). Let s = u - 80. Is s a multiple of 14?
True
Suppose -10466 = -10*z + 1004. Does 31 divide z?
True
Let g = -1102 - -2116. Is g a multiple of 29?
False
Let l = 89 + 58. Is 21 a factor of l?
True
Let i(k) = -k**2 - 11*k - 18. Let x be i(-9). Suppose -3*t + 13 = -14. Let h = t + x. Is h a multiple of 3?
True
Let b(x) = 117*x**2 - x + 2. Is b(-1) a multiple of 24?
True
Is 3 a factor of (4/2)/(91/(-39) + 3)?
True
Suppose 3*b - 12 = 15. Suppose -3*r + b = -6. Suppose -2*j = 2*z - 26, r*j - 3*z = -0 + 25. Is j a multiple of 3?
False
Let v(w) = 2*w**2 - 2*w + 6. Let i be v(-7). Suppose -t - i = 104. Does 23 divide t/4*(-4)/3?
False
Let d = 1054 - 866. Does 3 divide d?
False
Let t = 12 - 7. Suppose -4*g + 14 = 2*o, 0*o + t*g = -3*o + 20. Suppose o*l = 4*c - 0*c - 41, 3*c = 4*l + 30. Is 5 a factor of c?
False
Let k = 380 - -2130. Is 21 a factor of k?
False
Let j(k) = -6 - 23 + k + 0*k + 42. Let d be j(-11). Suppose -12 + d = -z. Does 7 divide z?
False
Suppose -29 = -2*w - 59. Let b(a) = 4*a**2 + 1. Let u be b(3). Let s = u - w. Is 13 a factor of s?
True
Let c(h) = -h**3 + 6*h**2 - 5*h - 5. Let o be c(3). Let a(g) = g**2 - 5*g + 1. Is 3 a factor of a(o)?
True
Let o(u) = 3*u**3 + 3*u**2 - 5*u + 3. Let f = 22 - 26. Let j be o(f). Let w = j - -176. Is 11 a factor of w?
True
Is 49 a factor of -2 + 2 - (-409 - 1)?
False
Suppose 2*y = 2*a - 6, -2*a - 2*a + 5*y = -10. Let n(g) be the second derivative of g**5/20 - g**4/6 - 7*g**3/6 + g**2 + 2*g. Is 21 a factor of n(a)?
True
Let f(i) = 2*i**3 - 37*i**2 - 19*i - 6. Is f(22) a multiple of 12?
True
Suppose 51*q - 3131 = 20*q. Is q a multiple of 14?
False
Let h(k) be the first derivative of -k**4/4 + 5*k**3 - 10*k**2 + 24*k - 35. Is 17 a factor of h(13)?
True
Suppose -250 = -a - 5*s, 2*a - 1279 = -3*a + 4*s. Suppose -5*d + a = -0*d. Suppose d = l + 9. Is l a multiple of 21?
True
Let r = 42 - 40. Suppose 2*h - 100 = -4*j + 60, j + 3*h = 45. Suppose r*q + 9 = j. Does 11 divide q?
False
Let w(o) = 4*o**3 - 8*o**2 - 3*o**3 + 10*o**2 - o - 11*o**3. Is w(-2) a multiple of 18?
True
Is 19 a factor of 4 + (7944/10 - 6/15)?
True
Suppose 5*o = -0*w + 4*w + 3427, 0 = 5*o + 5*w - 3400. Does 8 divide o?
False
Is 24 a factor of (-252)/20*-70*1/2?
False
Suppose 31*b - 12*b - 22477 = 0. Is 22 a factor of b?
False
Suppose p = -3 + 7. Let x be 2/p + 710/(-20). Let k = -14 - x. Does 17 divide k?
False
Let d(s) = -s**3 - 5*s**2 - s + 512. Does 11 divide d(0)?
False
Let f = -166 + 301. Is 5 a factor of f?
True
Let u = 1269 - 575. Does 73 divide u?
False
Let n be (54/(-5))/((-2)/10). Let q = -390 - -527. Is q/9 - 12/n even?
False
Let y = 35 - 31. Suppose 4*o - 24 = -4*h - 0*o, 4*o = y*h - 16. Is h even?
False
Let b(g) = -g**2 + 29*g - 26. Let q(c) = c - 7. Let l be q(20). Is b(l) a multiple of 14?
True
Suppose 0*k = k - 3. Suppose -1 = -k*b + 17. Suppose -a + b = -6. Is 6 a factor of a?
True
Let d be 0/(-2) - -94*3/6. Suppose 0*y - 4*p + 68 = 4*y, -y + 29 = -2*p. Let m = d - y. Does 24 divide m?
False
Let x be (-6)/5*10/(-3). Suppose x*a = 2*q - 3*q + 11, 2*q = -3*a + 7. Suppose -3*t + 41 = -i + 5*i, a*t - 5*i - 23 = 0. Is t a multiple of 11?
True
Suppose 0*w + 2 = -5*x - 4*w, x + 4*w = -10. Is (((-4)/5)/1)/(x/(-185)) a multiple of 9?
False
Suppose -4*i = -y + 132, -4*y = -5*i - 42 - 431. Suppose -z = -2*p + y, -3*z - z = -3*p + 158. Is 29 a factor of p?
True
Is 17 a factor of 78573/165 + (-2)/10?
True
Let n = -331 - -742. Is n a multiple of 15?
False
Let a = 2057 - 1421. Does 52 divide a?
False
Let u(a) = 2 - 2 - 13 + 3 + 11*a. Does 9 divide u(5)?
True
Suppose -2*a - 8 = 3*s, a - s - 3*s - 18 = 0. Suppose -116 = -a*o + 34. Does 15 divide o?
True
Let a(x) = -5 - 3 + 4*x - 11 - 7. Does 27 divide a(20)?
True
Let g(t) = t**3 + 2*t + 3. Let y be g(0). Suppose y*m = m + 324. Let p = -110 + m. Is p a multiple of 26?
True
Suppose -8271 = -9*w + 9792. Is 15 a factor of w?
False
Let f(z) = -z**3 - 10*z**2 + 12*z + 14. Let k be f(-11). Suppose k*x = -226 + 790. Suppose 4*y - x = -16. Does 14 divide y?
False
Let l be (-1)/(14/12 + -1). Let f(p) = -27*p - 21. Does 13 divide f(l)?
False
Let n(i) = i**2 - 8*i + 7. Let z be (1 - 0)*(3 + 2). Let u be n(z). Let r(m) = -m**2 - 9*m + 1. Is 3 a factor of r(u)?
True
Let l(t) = -2*t - 12. Is 46 a factor of l(-29)?
True
Is 55 a factor of (-3 + 97/3)*(-270)/(-12)?
True
Suppose -4*w + 807 - 107 = 0. Does 22 divide w?
False
Let y(w) = 2*w**2 - 36*w + 40. Is 20 a factor of y(-12)?
True
Suppose 0 = -3*w - 54 - 78. Is 3*(w/(-6) - (-45)/15) a multiple of 21?
False
Let d(w) = -5*w - 14. Let b be d(-14). Suppose h - b = -r, 2*r = 4*h + 79 + 39. Is 6 a factor of r?
False
Let r be 5 + -7 + (71 - 0). Let k = -48 + r. Is 3 a factor of k?
True
Let z(b) = b**3 - 2*b**2 + 2*b. Let f be z(2). Suppose -3*r = -5*r - t + 121, -4*r + 227 = 5*t. Suppose -a - r = -3*l, -f = -2*a + 2. Is 20 a factor of l?
False
Let n(o) = -2*o**3 - 35*o**2 - 16*o - 5. Let f be n(-17). Let z = 39 - f. Does 7 divide z?
False
Let l(h) = -h**2 - 8*h + 4. Let o be l(-8). Let v be (8/6)/((-12)/(-27)). Is o/(-6) + 29/v a multiple of 9?
True
Suppose 18 + 126 = 6*t. Suppose -7*p - t = -8*p. Is 6 a factor of p?
True
Does 139 divide ((-258)/387)/(1/(-6672) + 0)?
True
Let b = 205 - -124. Does 47 divide b?
True
Let f be (183 - 1)*(-3)/6. Let z = f + -137. Is (-6)/(-4) - z/8 a multiple of 15?
True
Let c = 1036 - 376. Suppose 10*f - c = -2*f. Is f a multiple of 22?
False
Suppose 9*d + 237 - 2343 = 0. Is d a multiple of 39?
True
Let m = -8 + 10. Suppose 0 = -4*r - 4*l - 20, -m*r = -0*l + l + 5. Let u = 25 + r. Does 11 divide u?
False
Let g(m) = 6*m**3 + 29*m**2 + 4*m + 35. Let n(j) = -j**3 - 6*j**2 - j - 7. Let c(q) = 2*g(q) + 11*n(q). Let a be c(9). Let l = a + -12. Is 7 a factor of l?
True
Let l = 2061 + -875. Is 68 a factor of l?
False
Let v = 721 - 337. Does 10 divide v?
False
Is 14 a factor of ((-2)/3)/(26/(-8931))?
False
Let w(q) = 3*q - 37. Let t be w(13). Suppose b + t*a - 88 = 0, -2*a = 2*b - 35 - 149. Does 6 divide b?
True
Let i(v) = -36*v - 128. Is 25 a factor of i(-8)?
False
Let k = -6 - -6. Suppose k = -5*x - 18 + 108. Suppose -3*p + 5*s = -x, 5*p - 2*s = -6*s + 67. Does 3 divide p?
False
Suppose -5*t - 244 = -4*t - 5*v, -4*t - 998 = 2*v. Let b = t + 353. Is 9 a factor of b?
False
Let x(i) = 2*i**2 + i - 5. Let d be x(11). Suppose -b = -3*b + 2*s + d, -4*b = 4*s - 496. Suppose -3*w - b = -7*w. Is 15 a factor of w?
False
Let i = -88 + 88. Is 6 a factor of (107 + 1)/4 + i + -3?
True
Suppose 69*o = 63*o + 3348. Is o a multiple of 6?
True
Let s be 32/(-7) + (-108)/(-189). Is s - 0 - (-7 - 16) a multiple of 3?
False
Let n(g) = 24*g**2 + 8*g + 2. Let p be n(-2). Suppose -2*i = -p - 50. Does 11 divide i?
True
Let z = 1157 - 1042. Does 3 divide z?
False
Let x = 6 - 10. Let f be (x/(-14))/((-3)/(-21)). Suppose 0 = f*w - 0*w - 16. Is