10*y = 3. Let j = h + q. Is j a multiple of 11?
True
Suppose -56 = -0*p - p. Let w be (35 - -2)/1*-1. Let k = p + w. Does 19 divide k?
True
Suppose 55*m - 92141 - 197159 = 0. Is 55 a factor of m?
False
Suppose -2*h = -4*h - 16. Let g = 9 + h. Is ((-28)/(-3))/(g/6) a multiple of 9?
False
Suppose -5*x - 2*c = -29, -5*c + 16 = 5*x - 19. Does 14 divide 126 - (x + -1 - 4)?
True
Suppose 5*u + 2*b + 6 = 0, -5*b = -3*u + 2*u - 12. Let g be 2 + 0 - (u + 22). Let k = 63 + g. Is 11 a factor of k?
False
Suppose -2*l = -3*d + 265, 3*d + 437 = 8*d - l. Suppose 3*k = -3*c + d, 3*k - 86 = -3*c - k. Does 12 divide c?
False
Let y = -648 - -1168. Does 13 divide y?
True
Suppose 4*p = 2*f + 2*f + 4, 0 = -5*f - 5*p + 5. Suppose t - 2*s - 8 = 15, f = -4*t + 2*s + 68. Is 3 a factor of t?
True
Let l = -2531 - -4723. Is 16 a factor of l?
True
Suppose -4*u + 2232 = 3*z, -5*z = -2*u + 539 + 551. Does 48 divide u?
False
Let t be 96 - 0/1 - (36 - 33). Let d = 158 - t. Is d a multiple of 13?
True
Suppose 5*c = 7*c - 212. Let i = c - 75. Is i even?
False
Let w(q) = q**3 - 5*q**2 - 16*q - 3. Let h be w(9). Let v = h - 132. Does 13 divide v?
False
Suppose 3*j - 843 = -207. Does 53 divide j?
True
Is 12 a factor of -2 - -1 - 13/(117/(-8433))?
True
Let p(d) = 11*d**3 - 27*d**2 - 35*d + 50. Let z(r) = -7*r**3 + 18*r**2 + 23*r - 33. Let o(j) = -5*p(j) - 8*z(j). Is o(10) a multiple of 8?
True
Is 441/27 - 16 - 206/(-3) a multiple of 3?
True
Suppose -336*g - 2480 = -356*g. Does 3 divide g?
False
Let d = -32 - -46. Let k = d + -4. Let y(v) = 2*v + 12. Is y(k) a multiple of 6?
False
Let v = 7865 - 5313. Does 22 divide v?
True
Let r = -57 - -59. Is 46 a factor of -5 - r/(-4)*562?
True
Suppose 2*b - 3*p = -4*p + 3, b - 3*p - 12 = 0. Suppose 0*o - 3*o + 3*n = -21, -5*o = -b*n - 31. Suppose -2*y = -o*c + 43, y + 2*y = 3. Does 9 divide c?
True
Suppose 12*o - 11834 = 898. Does 10 divide o?
False
Let v be (-40)/(-6)*(-6)/(-4). Suppose 16 = v*t - 8*t. Is t + (-9)/(1 - -2) even?
False
Suppose 6*b - 14*b = -3520. Is 48 a factor of b?
False
Suppose -7*r + 38184 = 12459. Does 21 divide r?
True
Let i(j) = j + 17. Let v(m) = 1. Suppose -4*h = -5*h + 1. Let q(o) = h*i(o) - 5*v(o). Is q(13) a multiple of 25?
True
Suppose 0 = -7*o - 33 + 138. Suppose 2*j - 21 - o = 0. Does 18 divide j?
True
Let g(y) = -3*y + 271. Is 2 a factor of g(52)?
False
Suppose -z = 3*p - 0*p - 14, p - 4*z + 17 = 0. Let t = p - -12. Let u = 0 + t. Is u a multiple of 5?
True
Let s(z) = 261*z - 1. Is 52 a factor of s(1)?
True
Let i(x) = 2*x - 2. Let c be i(0). Let u = c - -5. Suppose 4*v - 248 = -2*t, 0*v + v + u*t = 72. Is 20 a factor of v?
True
Suppose -159 = 7*u - 47. Is 13 a factor of (-20)/6*-78*(-4)/u?
True
Let a = 196 + 108. Is a a multiple of 42?
False
Let r(m) = -m**3 + 6*m**2 + 16*m + 5. Let x be r(8). Suppose -4*z - s = -x*s - 116, -2*z - 2*s + 42 = 0. Does 25 divide z?
True
Suppose -3*t = -5*f - 654 + 169, f + 823 = 5*t. Is 10 a factor of t?
False
Let p(a) = -13 + 18 + a**3 - 4*a - 3*a + 4*a**2. Let v be p(-6). Let l = 37 + v. Is l a multiple of 12?
True
Suppose 0 = -x - 3*x - 4*w + 24, x - 22 = -5*w. Is (-212)/(-6) + x/3 a multiple of 12?
True
Suppose -51576 = -25*l + 11974. Does 58 divide l?
False
Suppose -7*s = 2*s - 63. Let q(h) = 3*h**2 - 9*h - 4. Does 16 divide q(s)?
True
Suppose -10*o + 7*o - 225 = 0. Let x = -59 - o. Does 3 divide x?
False
Suppose -120 = 2*c - 8*c. Is (-7)/((-35)/c) - -108 a multiple of 19?
False
Suppose 0 = 5*t - 2*i - i - 48, -15 = -2*t - 3*i. Let c = t - 5. Suppose -c*b + 13 + 31 = 0. Does 11 divide b?
True
Suppose -3*x + 8*x = -20. Let c(q) = 9*q**2 - 3*q + 8. Is 41 a factor of c(x)?
True
Let c = 6 - 3. Suppose -v + 0*v + c = 0. Suppose -56 = -y + v*p, -46 = -3*y + 3*p + 98. Does 12 divide y?
False
Let t = -98 + 234. Is t a multiple of 8?
True
Let w(t) = -7*t + 3. Let u be w(2). Let d = 5 - u. Does 16 divide d?
True
Suppose 2*f - 24 = -4*m, -3*f + 12 = -m - 8*f. Is -4 + 954/24 + 2/m a multiple of 25?
False
Let o = -86 + 43. Let k = o - -105. Is 18 a factor of k?
False
Let b be (-3 - (-40)/5)/(3/15). Let h = -5 + 3. Let z = h + b. Is 8 a factor of z?
False
Let y = 29 - 40. Let k = 16 - y. Is k a multiple of 9?
True
Let q(k) = -k**2 - 13*k - 38. Suppose -20 = 6*m + 16. Is q(m) a multiple of 3?
False
Let x = 2421 + -1575. Is 52 a factor of x?
False
Suppose 389 + 255 = 7*d. Suppose f = 2*v + 5*f - d, -5*v + 185 = f. Is v a multiple of 25?
False
Suppose 3*j - 24 = 3*u, -2*j = 3*u + 2*u + 5. Suppose -2*w + 192 = 4*c - 0*w, 3*c = -j*w + 130. Does 3 divide c?
False
Let k(t) = -t**2 + 20*t - 15. Let z(g) = -2*g**3 - 8*g**2 - 3*g - 1. Let v be z(-5). Suppose u + 3*u - v = 0. Is 8 a factor of k(u)?
False
Let k be (-45)/9 + 17 + -2. Suppose u + k*u = 946. Is 23 a factor of u?
False
Let q = 503 - 501. Let l = 5 + -14. Let r = q - l. Is r a multiple of 11?
True
Let p be (10/4 + -1)*2. Let s(r) = 3*r**2 - 28*r + 17. Let q be s(9). Suppose 0 = 3*a - 4*c - 12, -p*c + 2*c + q = 2*a. Does 4 divide a?
True
Is 42 a factor of ((-24)/14)/((-27)/11907)?
True
Let i = -126 + 184. Suppose 3*t = 5*v - i, -5*t = 4*v - 35 - 41. Is 11 a factor of v + 2*4/(-4)?
False
Let i = -1 - -5. Let t = i - 6. Let u = 34 + t. Does 15 divide u?
False
Let g(t) = -t - 3. Let u be g(-7). Suppose 4*x + u*r = 432, 350 = 3*x - r + 10. Suppose -3*c + 5*c - x = 3*l, -54 = -c + l. Does 16 divide c?
False
Suppose -z + 5*z - 5*q + 2 = 0, 3*z - 4*q = -2. Suppose -264 + 66 = -z*u. Is u a multiple of 22?
False
Suppose 10*o - 11*o + 5 = 0. Suppose 5 = -o*w, 5*m = m - 3*w + 117. Is 10 a factor of m?
True
Suppose 5*d = 5*p + 475, -3*d + p + 67 + 212 = 0. Suppose -2*j - 4*u + 104 = 0, d = 2*j - 4*u + 12. Let s = 78 - j. Is 15 a factor of s?
False
Let u = 193 + 663. Does 36 divide u?
False
Suppose -q = 3*q, 0 = 5*v + 3*q - 5. Let o = 5 - v. Suppose 5*r = 2*p + 404, p - 398 = -o*r - r. Is 17 a factor of r?
False
Suppose -u = 3*o - 277, 5*o - 3*u - 447 = -u. Suppose -t - 3*i + o = 0, -70 = -5*t + 2*i + 385. Does 11 divide t?
False
Let l = -30 - -27. Is l*-4*(-5)/(-15) even?
True
Let w = -3 + 3. Suppose -64 = -s - w*s - 2*o, 0 = -s - 3*o + 60. Suppose 2*h = -h + s. Does 8 divide h?
True
Let v(x) = 6*x - 9. Let t be v(-4). Let f = 48 + t. Does 5 divide f?
True
Let p(r) = -12*r + 28. Let z be p(-8). Suppose -2*b = 2*d - 78, 4*b = 2*d + d - z. Does 5 divide d?
True
Let t be 63/(-14)*(-1 + 3). Let z = t + 12. Is 16 a factor of (3/(-6))/(z/(-318))?
False
Let x(i) = i**2 + 15*i - 13. Let z(d) = d**3 + 4*d**2 + 4*d. Let h be z(-4). Let j be x(h). Suppose 51 + 135 = j*m. Is m a multiple of 19?
False
Let b = -1975 - -2781. Is 12 a factor of b?
False
Does 4 divide (10/15)/((-14)/(-4053))?
False
Suppose -10*c + 23623 = 1423. Is 74 a factor of c?
True
Let o(v) = 118*v**2 - 3*v + 1. Suppose -2 = 6*r - 8. Is o(r) a multiple of 35?
False
Let i = -834 - -1234. Is i a multiple of 16?
True
Let t = 176 + 576. Is 9 a factor of t?
False
Let q be (32/(-6) + 5)/((-2)/12). Suppose -51 = -b + 2*c + 3, 0 = 4*b - q*c - 222. Is 14 a factor of b?
True
Suppose c - 28 + 6 = 4*f, 0 = -2*f - 10. Suppose 4*h + c*l - 20 = l, 2*l = 2*h - 20. Let u = h + 7. Is u even?
False
Let v(i) = 4*i**3 - 6*i**2 - 5*i - 7. Suppose -5*r = 10 - 0. Let w(k) = -3*k**3 + 6*k**2 + 5*k + 6. Let d(b) = r*v(b) - 3*w(b). Does 21 divide d(8)?
True
Let r(j) = j**3 + 68. Let m be ((-14)/4)/7*0. Is r(m) a multiple of 12?
False
Let i(j) = j**3 + 5*j**2 - 4. Suppose 0 = 8*t - 33 + 1. Suppose -t*u - 8 = 8. Is i(u) a multiple of 6?
True
Let s = -748 - -1865. Does 84 divide s?
False
Suppose -4*l = 3*k - l + 108, -4*k + 4*l - 136 = 0. Suppose 44 + 12 = q. Let p = q + k. Is p a multiple of 8?
False
Let q = 484 - 126. Suppose -155 = -3*f + q. Does 18 divide f?
False
Let d = 37 + -32. Suppose 2 = -5*h + 3*z, -7 = -d*h + z - 1. Suppose h*l = -j + 48, 22 = j - 5*l - 5. Is j a multiple of 14?
True
Let f be (-663)/(-6) + (-1)/2. Suppose 0 = -z + 2*l - 20, 0 = z - 6*z + 5*l - f. Let p = 35 + z. Is p a multiple of 6?
False
Let v(m) = 61*m**2 + 10*m - 9. Let z(i) = -i**2 - i + 1. Let b(r) = v(r) + 6*z(r). Does 28 divide b(1)?
True
Suppose 2*y - 2*s + 105 = -s, -2*s + 157 = -3*y. Let d = 8 - -77. Let l = d + y. Is 24 a factor of l?
False
Let r be 31 + 2 + 2 - 3. Suppose 3*b + 10*b = 780. Let g = b - r. Is 4 a factor of g?
True
Let 