s x(7) a multiple of 17?
True
Let y be (41/2)/((-3)/(-84)). Is y/10 + (-28)/70 a multiple of 19?
True
Does 16 divide 2 + (82 - (2 - -2))?
True
Let o(d) = d**2 - 5*d - 2. Let z be o(6). Suppose 8*g - 109 = 3*g - 4*m, -z*g - 3*m + 88 = 0. Is g a multiple of 25?
True
Suppose -5 = u + 2*n, 3*u + 5*n + 2 = -11. Let g(l) = -12*l + 1. Does 6 divide g(u)?
False
Let r(n) = n + 1. Let f be r(-1). Suppose 5*o = -3*x - 2*x + 20, 0 = -5*x + 5*o. Suppose 0 = -f*p + x*p - 26. Is p a multiple of 4?
False
Suppose 0 = 3*v - v. Let z(f) = f - 9 + 0*f + 36. Does 18 divide z(v)?
False
Let f(d) = -d - 2. Let b = 5 - 10. Let p be f(b). Let o = p - -10. Is o a multiple of 9?
False
Suppose 2*x - 5*n + 283 = 6*x, -3*x + 211 = 5*n. Is 12 a factor of x?
True
Suppose -j - 374 = -4*m, 5*m - 274 = 2*m + 4*j. Suppose -5*k + m - 19 = 0. Does 15 divide k?
True
Suppose -2*j + 1 + 5 = 0. Suppose j = -3*f + 48. Does 12 divide f?
False
Suppose v - 6 = -0*v. Let n(u) = -1 - 3 + v*u - 6. Is n(7) a multiple of 16?
True
Suppose -2*g = -5 - 3. Suppose 34 = w + g*w - 3*i, -5*w - 4*i + 13 = 0. Suppose 0 = w*c - 4*c - 16. Does 16 divide c?
True
Let g(k) = -k**2 - 6*k + 2. Let c(m) = m - 16. Let h be c(9). Let w be g(h). Does 11 divide 1/w + (-252)/(-10)?
False
Let g be ((-24)/60)/(1/(-5)). Suppose 5*f + 47 = 4*h, -g*f + 38 = h + 2*f. Is h a multiple of 5?
False
Let u be (2 + -150)/2 + 4. Let s = u + 98. Is s a multiple of 6?
False
Let o(k) = -2*k**2 + 6*k + 7. Let n be o(-3). Let a be -41*(1 - 0)/(-1). Let q = a + n. Does 12 divide q?
True
Let r = 13 + 43. Does 14 divide r?
True
Suppose -x = -4 - 3. Suppose 2*o - 1 = -2*s + 1, -4*s = 3*o - 8. Let d = x + o. Is d even?
False
Let c(x) = -x - 75. Let g = 2 + -2. Let k be c(g). Is 13 a factor of -12*(k/12 - -3)?
True
Suppose i + 9 = -l + 26, 4*l + 5*i - 65 = 0. Is 5 a factor of l?
True
Let d(f) = -f**3 + 8*f**2 - 8*f. Let r be d(7). Let c be (-3 - 57/(-21))*r. Is 13 a factor of 26*(1 + (-1)/c)?
True
Let z = 24 - 2. Does 5 divide z?
False
Let s = -97 - -179. Is 23 a factor of s?
False
Suppose -17*d = -12*d - 30. Suppose -q = 2*b - 206, -3*b + 2*q - 311 = -d*b. Is 29 a factor of b?
False
Suppose -4*w + 0 = -16. Let t(y) = -8*y - 2. Let j(m) = -40*m - 10. Let q(a) = 2*j(a) - 11*t(a). Is 21 a factor of q(w)?
False
Let w be 1/(4/4)*-1. Does 20 divide -73*(w - 2)/3?
False
Suppose -p + 177 = 2*p. Let u = p + 6. Is u a multiple of 25?
False
Let z be (-1)/(2 + 10/(-4)). Suppose z*w + 0 - 50 = 0. Is w a multiple of 11?
False
Suppose -4*o = -3*j - 267, 288 = -0*j - 3*j - 3*o. Let u = j + 130. Is 20 a factor of u?
False
Let a(x) = 2*x**3 - 8*x**2 + 9*x - 8. Let v be a(6). Let c be 2 - (2 - v*1). Suppose -3*i = -8*i + c. Is 15 a factor of i?
False
Suppose h - 1 - 5 = 0. Suppose -3*i + 4*f = -1, -h*f + 18 = 4*i - 3*f. Suppose -2*a = i*a - 65. Is a a multiple of 6?
False
Let a = 1 - -47. Suppose -k - 3*k = 3*o - 46, -2*k = 4*o - a. Is 256/o + (-8)/(-20) a multiple of 12?
False
Let j(v) = v**3 - 10*v**2 - 15*v - 42. Is j(13) a multiple of 30?
True
Let k = 223 + -131. Does 3 divide k?
False
Suppose 4*o - 60 = -4*q, -5*o - 15 = -0*q - 4*q. Does 2 divide (-48)/(-10) + 2/q?
False
Let l = -6 + 14. Suppose -l = -4*i + 3*p, -p + 8 = 4*i + p. Suppose -5*r = -3*t - 69 - 154, 0 = -5*r - i*t + 218. Is 17 a factor of r?
False
Suppose 5*u = -2*v + 5, v - 4*u = 4*v - 4. Suppose 4*h - h - 3 = v. Let p = 4 + h. Does 2 divide p?
False
Let d be 4 - (297/3)/3. Let l = 50 + d. Is 21 a factor of l?
True
Let h be 0/(-1 + -1 + 3). Suppose 0*y + y - 1 = h. Is 13 a factor of 26/1*(y - 0)?
True
Let x = -275 + 385. Is x a multiple of 17?
False
Let u = 21 - 0. Does 7 divide u?
True
Suppose -345 - 399 = -6*w. Is w a multiple of 14?
False
Let g = 4 - 0. Suppose -5*p = l - 44, -3*l = 8*p - g*p - 77. Is 8 a factor of l?
False
Suppose 0 = -2*r - 106 - 44. Let h = -21 - r. Is h a multiple of 27?
True
Suppose -3*n - 4*o + 148 = -8*n, 2*n + 61 = o. Let t = -26 - n. Does 2 divide t?
True
Suppose f - 13 = v + 19, 5*f - 4*v = 156. Does 19 divide f?
False
Let r = 9 - 1. Let w = -23 - -73. Suppose -5*f - 5*c + w = 0, 3*f = 5*c + r + 22. Is f a multiple of 5?
True
Let w(s) = 2*s - 2. Let k be w(6). Let z = k - 5. Does 3 divide z?
False
Let j(p) = p**3 + p**2 - p + 12. Suppose -5*y = -4*b - 35, 0*y + 4*y + 2*b = 2. Suppose y*x = -x. Is j(x) a multiple of 6?
True
Suppose -8 + 4 = -k. Is 14 a factor of 42/(-2)*k/(-6)?
True
Suppose m - 3*g + g = 18, 4*g = m - 22. Does 2 divide m?
True
Let b be (-4)/6*6 - -2. Let h = 8 - b. Let k = h + -7. Is 3 a factor of k?
True
Suppose -5*a = -15, 0 = -b + 5*a + 32 - 1. Suppose 2*p = 8, 4*p = -5*j + b + 70. Is j a multiple of 10?
True
Let q = -13 - -9. Let m(g) = -2*g - 7 + g - 2*g + 2. Is m(q) a multiple of 6?
False
Suppose 0*r - r - 39 = -2*v, -2*r = -2*v + 34. Is v a multiple of 19?
False
Suppose 37 - 7 = 5*i. Let l = 15 + i. Is l a multiple of 21?
True
Suppose 3 = 3*x - 6. Suppose 3*a - 3*b = 6, -x*a + 4*a = 4*b + 2. Suppose -a*g = 2*g - 28. Does 7 divide g?
True
Suppose 3*d - 10 = 2*d. Suppose 2*c + 4 - d = 0. Suppose c*h - 80 = -h. Is 10 a factor of h?
True
Let y(m) = m**2 - m - 3. Let j be y(4). Let l = 3 + j. Suppose -3*t + 6 = -l. Is 4 a factor of t?
False
Let t be (-6)/(-15) - 18/(-5). Suppose 5*d = t*u - 196, 0 = 5*u + 4*d + 5 - 209. Is 22 a factor of u?
True
Let l(o) = o**3 - 13*o**2 - 13*o - 10. Is l(14) a multiple of 3?
False
Let u = 585 - 325. Is u a multiple of 20?
True
Let a be ((-160)/6)/(2/(-24)). Suppose -a = -5*l - 5*j, -2*j - 10 = 3*j. Does 19 divide l?
False
Let r(k) = 0*k**3 + k**3 + 0*k**3 + 7*k**2 - 6*k + 4 - 3*k. Is 9 a factor of r(-8)?
False
Let z be ((-51)/6 + -1)*2. Let a = z - -36. Is a a multiple of 6?
False
Suppose -3*v = -4*n + 37, 0 = 2*n - 5*v - 11 - 18. Let q be n/3 - (-2)/3. Suppose r = -q*r + 48. Is r a multiple of 12?
True
Suppose -1 = -6*w + 53. Is 4 a factor of w?
False
Suppose 0 = -4*z + 6 + 10. Suppose 0 = -0*d + 3*d + 12. Does 20 divide d/z - (1 - 29)?
False
Does 2 divide -10 + 15 + (-3)/(-1)?
True
Let i(v) = -15*v**2 + 2*v + 1. Let n be -1 + (0/3)/3. Let b be i(n). Does 17 divide (-203)/(-4) - 4/b?
True
Let z(p) = -p**2 + 16*p + 1. Is z(10) a multiple of 4?
False
Let i(z) = -31*z + 3 + 5 - 1 - 4. Let k be i(-3). Let l = k - 62. Is l a multiple of 17?
True
Suppose 2*o + 16 - 3 = 5*s, 0 = 3*s - 9. Let g be -31*(0 + o)*2. Is 1 + g*(-3)/6 a multiple of 16?
True
Suppose 6*a - 3*a - 9 = 0. Suppose -62 + 17 = -a*d. Is d a multiple of 14?
False
Let a(z) = -z**2 + 9*z - 9. Let p be a(8). Let k be p/1*-17 + 1. Suppose -22 - k = -5*m. Is m a multiple of 4?
True
Suppose y - 43 = -4*i, -4*i + 9*i + 5*y = 35. Is i a multiple of 6?
True
Suppose -4*d - 43 = 41. Let x = d - -42. Suppose 0 = -3*u - x + 75. Does 15 divide u?
False
Let n = 67 - 42. Is n a multiple of 25?
True
Let z be (0 - 0)*(0 - 1). Suppose 4*r - r - 81 = z. Does 13 divide r?
False
Let x = 28 + 66. Does 47 divide x?
True
Let p(f) = f. Let l be p(-2). Does 11 divide ((1 + 10)*-2)/l?
True
Let r(w) = 21*w. Let i be r(-3). Let x = -45 - i. Is x a multiple of 18?
True
Is ((-4)/(-12))/(3/468) a multiple of 26?
True
Let g(p) = 3*p**2 + 6*p - 2. Let n(b) = 3*b**2 + 5*b - 2. Let t(x) = 5*g(x) - 6*n(x). Let r be t(2). Let z = r - -18. Is 4 a factor of z?
True
Suppose 4*l + 4*m = -0*m, 2*m = 3*l + 5. Let q be 2*(-1 + (-2 - l)). Is 84/8 - (-2)/q a multiple of 6?
False
Suppose -6*p = -4*p - 18. Does 2 divide p?
False
Let u(f) = 46*f**2. Let l = -2 - -4. Suppose 3*s + i = 5, l*i = 4*s - 0*i. Does 19 divide u(s)?
False
Suppose 2*m - 5 = 3. Let d(h) = -h**3 - 8*h**2 - 8*h - 2. Let x be d(-7). Suppose m*q + 4*v = 36, -x*v + 4*v = -3*q + 11. Is 5 a factor of q?
True
Let k(l) = -l**2 + 6*l - 4. Let z be 0 + (-3)/((-9)/12). Is k(z) a multiple of 2?
True
Is 32 a factor of 2*(-1)/(-5) + (-2556)/(-10)?
True
Let f = -4 - -2. Let q = 5 - f. Suppose -q*d + 4*d = -30. Is d a multiple of 8?
False
Let i = -27 + 37. Suppose o + 605 = 4*f - 4*o, -5*f + 752 = -2*o. Suppose f = 5*q + i. Is 13 a factor of q?
False
Let t be 16/104 - 1558/(-13). Suppose t = r + 2*r. Is 18 a factor of r?
False
Suppose -d - 2*n = -18, 0 = -d - 5*n + 23 + 7. Is d a multiple of 2?
True
Let t(n) = n. Suppose 5*z + 15 = 2*h, 3*h + 12 = 2*h - 4*z. Let b be t(h). Suppose b = g + 2*g - 12. Does 4 divide g?
True
Let d(r) = -5*r**2