ppose -r - 20*r = 126. Does 6 divide j(r)?
True
Let l(j) = 34*j + 5. Let a be l(-2). Let m = -29 - a. Does 34 divide m?
True
Let t(f) = -2*f**2 + 12*f - 3. Let u be t(6). Let z(w) = -w**3 - 2*w**2 - 3*w - 4. Is z(u) a multiple of 7?
True
Suppose 19 = 11*a - 3. Suppose p + 190 = a*j, 4*p = 12 - 4. Does 13 divide j?
False
Let f(o) = 5*o - o**2 + 0*o**2 - 17 - 19*o. Is f(-12) a multiple of 6?
False
Suppose 0 = -5*q + 5*g + 5, 6 = q + g - 1. Suppose 7 = q*v - 5. Suppose v*s + 0 - 72 = 0. Does 6 divide s?
True
Suppose 2 = d, o - 3*d - 29 = -4*o. Suppose 0 = -o*z + 3*z, y - 4*z = 63. Suppose 3*j + 6 = y. Is j a multiple of 5?
False
Suppose 0 = -2*z + 660 - 522. Does 4 divide z?
False
Is 10 a factor of -8*(-12 - (3 + (-5)/1))?
True
Let s(d) = -d**3 + 8*d**2 - d + 3. Suppose -4*n - 43 = 2*a - 7*a, -2*a + 2*n = -18. Is 9 a factor of s(a)?
True
Suppose 0 = -2*x - x - 3*y - 9, -2*x = 4*y + 12. Suppose 9*a - 531 + 63 = x. Is a a multiple of 19?
False
Suppose -3*t - n = -163, -2*n - n - 159 = -3*t. Does 20 divide t?
False
Suppose -g + 2*g = 3. Suppose 0*s + g*s = 162. Does 9 divide s?
True
Let z = -294 + 582. Is z a multiple of 36?
True
Let f(z) = -6*z - 1. Let y be f(-1). Let v be (0 - -1 - -1) + 2. Suppose 0 = 5*p + v*u - 176 + 29, 0 = 3*p + y*u - 96. Is p a multiple of 9?
True
Let t(u) = -u. Let j(r) = 3*r - 78. Let z(f) = -j(f) + 2*t(f). Is 13 a factor of z(0)?
True
Suppose -15*j + 3439 + 5861 = 0. Is j a multiple of 4?
True
Let o(n) = -8*n - 10. Let l(y) = -7*y - 9. Let i(a) = 7*l(a) - 6*o(a). Let q be i(-6). Suppose 4*r - 271 = -z, q - 66 = -r - 5*z. Is 15 a factor of r?
False
Let v(i) = 7*i**2 + 5*i + 2. Is v(-8) a multiple of 23?
False
Suppose -g + 4*g - 5*o - 1532 = 0, -5*o - 2540 = -5*g. Suppose 2*z - g = -6*z. Does 21 divide z?
True
Let g be (-44)/(-28) - (-6)/14. Suppose 169 = g*r - 55. Is 14 a factor of r?
True
Suppose 4*m = -2*b + 26, 3*b + 8*m - 3*m = 38. Let i be b - 4/1 - 2. Suppose i*v + 41 = 286. Is 17 a factor of v?
False
Let s be 3 + (-30 - 4) - -2. Let h = -21 - s. Is h a multiple of 8?
True
Suppose -5*k = 3*k + 184. Is 18 a factor of -22 + 20 - (k + 1 - -2)?
True
Suppose 3*c = -0*c - 30. Let g = c - -19. Is g a multiple of 3?
True
Let y(t) = -6*t**2 + 14*t + 9. Let h(a) = -2*a**2 + 5*a + 3. Let i(m) = -11*h(m) + 4*y(m). Let z be i(-3). Is (28/(-6))/(3/z) a multiple of 6?
False
Let m(p) = -28*p + 6. Let l be m(-2). Suppose -4*t + 58 = -l. Is t a multiple of 9?
False
Let g be ((-2)/4)/((-3)/12). Suppose -224 = -4*k + 4*q, g*k - 116 = 4*q - 0*q. Suppose -k = 3*h - 246. Is 16 a factor of h?
True
Let w(n) = n**2 - n - 4. Let j be w(-2). Let l(i) = 0 + j - 7 - 9*i + 0*i. Is l(-2) a multiple of 3?
False
Let d(y) = 12226*y**3 - 12225*y**3 - 2 + 9 + 6*y**2 + 6*y. Let k be (-4)/6 - 26/6. Is 2 a factor of d(k)?
True
Let b(p) = 11*p - 16. Let u be b(18). Suppose 502 = 3*g + z + 4*z, 2*z = g - u. Is g a multiple of 16?
False
Let k(x) = -5*x - 4. Let y be k(-2). Does 2 divide 140/15 + 4/y?
True
Suppose 9*k - 4219 = -241. Is k a multiple of 17?
True
Suppose 235 = a - 0*a + 5*x, 1325 = 5*a - 5*x. Does 20 divide a?
True
Let o be 9*-1*2/6. Let q be 76/10*(-15)/o. Suppose -r = -4*r + 4*c + q, 0 = 2*r - c - 22. Does 3 divide r?
False
Let y = 2100 + -731. Is 19 a factor of y?
False
Does 25 divide ((-3)/(3/550))/(175 - 177)?
True
Let y be -6*(-28)/(-2)*(-1)/2. Suppose 38*l + 84 = y*l. Is l a multiple of 7?
True
Is (-12)/8*(-165 + 1) a multiple of 41?
True
Suppose -9*h = g - 6*h - 96, -h = -4*g + 358. Is 6 a factor of g?
True
Suppose -4*o = -3*r - 23, r = -5*o + 13 + 11. Suppose -5*v - 5*a + o = 0, 0 = -2*v - a - 0*a + 4. Let q(c) = 14*c - 10. Is q(v) a multiple of 16?
True
Is 75 a factor of ((-12)/(-3) + -2)*(-5613)/(-6)?
False
Let i(h) = -7*h**3 + 6*h**2 + 9*h + 6. Is 16 a factor of i(-3)?
False
Let c be -1 + (-2)/(2/(-1)). Let h(m) = m**2 + m - 22. Let v be h(c). Let p = -4 - v. Is p a multiple of 5?
False
Let m be ((0 - 9) + 2)/(-1). Let p be (-3)/(m - 4)*-106. Suppose -j + 2*j = p. Is j a multiple of 31?
False
Let x(c) = c**3 - 7*c**2 - 5*c + 40. Does 5 divide x(8)?
False
Suppose 23*b + 75 = 26*b. Let s = b + 79. Is 8 a factor of s?
True
Suppose -2*b + 1181 - 281 = 0. Is 75 a factor of b?
True
Let o = -39 - -34. Let r(c) = 2*c**2 - 3*c - 1. Does 16 divide r(o)?
True
Let f be (-1920)/(-50) + (6/5)/(-3). Suppose -i + 69 = -5*d - f, -3*i = -3*d - 333. Does 28 divide i?
True
Suppose 5*o - 481 = -2*w + 46, 4*w - 519 = -5*o. Let c = o - 53. Does 54 divide c?
True
Let k = -1 - -6. Let f be (-11 - 5)/((-2)/k). Suppose 4*j - 120 = 2*u, j - 3*j - 4*u + f = 0. Is j a multiple of 12?
False
Suppose -5*b - 48 = 7*b. Is (-20)/(-1 + b/(-8)) a multiple of 23?
False
Suppose 0 = -2*c - 3 + 1. Let d(b) = 7*b**2 + 1. Let p be d(c). Is p/6*(41 + 4) a multiple of 20?
True
Suppose 0 = -a + 3*b + 3 + 12, b = 2*a - 10. Suppose w - a*w = -16. Is w even?
True
Suppose 3*p + 51 = 3*o + p, 9 = o + 2*p. Let n be (-5)/4 + 28/(-16). Is 20/o - 95/n a multiple of 16?
False
Let j = 7 + -5. Let i = j - -53. Is 16 a factor of i?
False
Let f = 70 + -145. Let r = f - -105. Does 6 divide r?
True
Let s be 0 + (6 - 4) + 86. Let p = -76 + s. Does 3 divide p?
True
Let q(r) = -3*r**3 - 2*r**2 + 2*r + 2. Let w be q(-3). Suppose -5*p - 61 - w = 0. Let x = 40 + p. Is 11 a factor of x?
False
Let n(x) = x**3 - 12*x**2 + x + 15. Let s be n(8). Let w = s - -333. Is 20 a factor of w?
True
Let o(h) = -4*h - 3. Let x be o(-2). Suppose -3*i + 222 = 2*m + 25, x*i + 3*m - 329 = 0. Is i a multiple of 22?
False
Let w be 165/(-6) - 6/(-4). Let a = 6 + w. Let n = a - -43. Is 10 a factor of n?
False
Let u(p) = p**3 + 2*p**2 - 8*p + 2. Let g be u(-4). Suppose -3*a + 6*a + 210 = 0. Does 7 divide (a/15)/(g/(-3))?
True
Let x = -6252 + 9655. Is 102 a factor of x?
False
Let u(m) = 4*m - 7. Let c be u(3). Suppose -70 + 470 = c*a. Is a a multiple of 16?
True
Suppose -3*j = -j + 34. Let b = 55 + j. Is 19 a factor of b?
True
Suppose 3 = 3*b - 5*i + 4, 0 = 4*b - 2*i - 8. Let o(u) = 21*u + 3. Let m be o(b). Suppose m = -3*l + 6*l. Is l a multiple of 9?
False
Let u = -66 - -258. Does 12 divide u?
True
Let y = -591 + 1319. Is 13 a factor of 1/((-2)/(y/(-732)) + -2)?
True
Let i be 1 + (-6)/9*-228. Suppose -2*r + 4*m = 3*m - 123, 2*r + 5*m - i = 0. Does 20 divide r?
False
Let u(g) = -10*g**2 + 3*g. Let a be u(2). Suppose s + 4*s = 330. Does 17 divide 1/(2 + s/a)?
True
Suppose 0 = -2*x - 205 + 583. Suppose -2*i + x = 63. Does 9 divide i?
True
Suppose -4*m + p = -4892, 4892 = 4*m + 6*p - 3*p. Is 3 a factor of m?
False
Let r = 1266 - -844. Does 10 divide r?
True
Suppose 5*f = -0*f. Let a(q) = -2*q + 1. Let m be a(-11). Suppose -2*l + m + 9 = f. Does 8 divide l?
True
Is (1064/(-10))/((-170)/425) a multiple of 38?
True
Let j be (222/9)/(2/3). Let h = 58 - j. Is 14 a factor of h?
False
Does 11 divide 1*7 + 47/(799/25806)?
False
Suppose 0 = 5*d - 48 - 42. Let j(t) = t**3 - 17*t**2 - 15*t - 19. Does 7 divide j(d)?
True
Suppose 3*j - 2820 = 6*g, g + g + 1886 = 2*j. Is 12 a factor of j?
False
Let f = 500 + -177. Is 25 a factor of f?
False
Let a(z) = 4*z**3 - 51*z**2 - 13*z - 18. Is a(16) a multiple of 94?
True
Let w = 8088 - 4236. Is w a multiple of 18?
True
Let t be (-15)/10*3/3*-44. Suppose 2*d = -0*d + t. Does 11 divide d?
True
Let g(z) = 3 - z**3 - 6 + 0*z**2 - 6*z**2 - 5*z + 4. Let y be g(-5). Is y + -4*(-8 - -4) a multiple of 11?
False
Let o(q) = 26*q - 6. Let w be -1*(2 + -3 - 0). Let p be 1*(w + 2) + 1. Is 29 a factor of o(p)?
False
Let o be (-6)/(-54) - 26/(-9). Suppose c - 125 = -3*c - 5*r, -3*c = o*r - 90. Is 25 a factor of c?
True
Let w = -20 + 23. Let b = 12 + 71. Suppose -b - 7 = -w*t. Does 18 divide t?
False
Suppose 5*c - 2*c = 27. Does 13 divide 54*1 + (-18)/c?
True
Let u(y) = y**2 - 1. Let w(o) = 5*o**2 - 4*o + 1. Let g(v) = 6*u(v) - w(v). Let d = -25 - -18. Is 6 a factor of g(d)?
False
Suppose -389 = 4*o + 227. Let r = o + 81. Is 5 a factor of r/(-6) + (-1)/6?
False
Let q = 8 + -8. Suppose q = -5*f + f + 16. Suppose 0 = 2*l - f - 4. Does 2 divide l?
True
Let k(j) = j - 1. Let s be k(3). Suppose 27 = s*r + r. Suppose r*y - 84 = 6*y. Does 14 divide y?
True
Let h(v) = 9*v + 0 - 97*v - 4 - 6. Let r be h(-3). Is 7 a factor of r/12 - 4/24?
True
Let w be 34/(0 + 2) + (-55 - -51). Let l be ((-8)/12)/(4/(-534)). Suppose -l = -