= x + 2*x - 3, -3*a - 5*x + 26 = 0. Suppose -a = -d - 2*w - 0*w, 2*d + 2*w - 24 = 0. Is 17 a factor of d?
True
Let m be 2/5*(29 + 1). Does 34 divide 506/m + (-1)/6?
False
Does 3 divide 57/(-57) + (-1 - -14)*2?
False
Let j = 9 + -7. Suppose 0 = 5*k - 4*d - 47, 5*d = -7*k + j*k + 20. Let i = k + 2. Is 4 a factor of i?
False
Suppose 0 = -2*q + 4*j - 16, 17 = -5*q - 3*j - 23. Does 9 divide (-519)/(-11) + q/44?
False
Suppose 0 = -8*r - 493 + 9493. Is 7 a factor of r/10 - (-1)/2?
False
Let c = -12 + 20. Let j(l) = 2*l - 6. Let r be j(4). Does 6 divide 1/(2/c)*r?
False
Let x(g) be the first derivative of -g**3/3 + g**2/2 + 3*g - 1. Let p be x(0). Suppose 123 = 4*c - p*f, -8 + 4 = 4*f. Does 30 divide c?
True
Let q = 96 - 31. Suppose z - 728 = -6*z. Let m = z - q. Is m a multiple of 13?
True
Let x = 6 + -7. Let y be (4/(-2))/x + -3. Let o(s) = -27*s**3 - s - 1. Is 9 a factor of o(y)?
True
Let r be 2 - 4/(16/(-300)). Suppose 4*k - r + 5 = 0. Suppose 86 = 2*d + k. Does 16 divide d?
False
Suppose 2*z - n - 161 - 258 = 0, 0 = 5*n + 25. Does 69 divide z?
True
Suppose 696 - 21 = 15*s. Is s a multiple of 38?
False
Suppose 81 = -3*w - 63. Does 28 divide (-126)/(-2) - w/16?
False
Let s = -123 - -127. Suppose -3*v - v + 548 = -s*r, r - 655 = -5*v. Is v a multiple of 16?
False
Let p(u) = -47*u - 21. Let w be p(-11). Suppose -2*j = -5*y - 238, -3*j = j - 5*y - w. Is 3 a factor of j/9 - 1/3?
False
Let c = -54 - -688. Is c a multiple of 14?
False
Let b = 1996 - 1000. Is b a multiple of 83?
True
Is 4 + -5 + 5 - -120 a multiple of 43?
False
Let k = -642 - -1482. Suppose -c = -5*i + k, 5*i - 2*c - 343 = 497. Is i a multiple of 24?
True
Suppose 15 = -5*g, 0*d + 4*d = g + 7. Is (4/(-10))/(d/(-420)) a multiple of 28?
True
Suppose -4200 - 4666 = -11*t. Is t a multiple of 26?
True
Is 62 a factor of 46/(-253) + (-71616)/(-33)?
True
Suppose -154 = -5*y + 6. Is y a multiple of 4?
True
Let n = 74 - 73. Let y = n + 6. Is y a multiple of 7?
True
Let b(d) = d - 1. Let x be b(0). Suppose 2*q - 35 - 19 = 0. Let c = q + x. Is c a multiple of 8?
False
Let u(h) = -h**3 + 16*h**2 + 38*h - 37. Is 7 a factor of u(16)?
False
Let b(x) = x**3 + 23*x**2 - 66*x - 13. Does 56 divide b(-23)?
False
Let b(q) = -18*q**3 + 2*q**2 + 10*q + 2. Does 9 divide b(-2)?
False
Suppose 0 = 6*i - 2*i - 44. Let x(u) = -12*u. Let d be x(-1). Suppose 0 = -8*h + i*h - d. Is 4 a factor of h?
True
Is 6809/33 - 4/(-6) a multiple of 5?
False
Suppose -2*d + 2506 = s + 2*s, d = -3*s + 2501. Does 26 divide s?
True
Suppose -33 = 5*y - 8*y. Let g = -2 + y. Is g a multiple of 5?
False
Suppose -4719 = 10*z - 21*z. Suppose -79*m = -82*m + z. Is 24 a factor of m?
False
Let y(i) = 4*i + 8. Let w be y(6). Let d = w - 9. Is d a multiple of 9?
False
Let b(y) = 45 + 12 - 21 - 6*y + 18. Does 26 divide b(-17)?
True
Suppose 1 = 6*z - 17. Does 8 divide (4 - 6)/(z/(-24))?
True
Let r(m) = 4*m**3 + 2*m - 1. Let c(z) = 2*z + 11. Let w be c(-5). Let o be r(w). Suppose -3*a + o*a - 102 = 0. Is a a multiple of 17?
True
Let p = -29 + 30. Let v be 4*p*(0 + 53). Let c = v - 147. Is c a multiple of 23?
False
Let x be (10/4)/(13/52). Does 41 divide (1 - 42/x)*-60?
False
Suppose 4*n - o = 74, -3*n + 52 = 2*o + 2. Suppose 0 = -3*p + 2*q + 13 + 25, 2*p = 5*q + n. Does 7 divide p?
True
Let y = 2654 - -972. Is 74 a factor of y?
True
Let k(h) = 4*h**2 - 9*h**2 - 13 + 4*h**2 - 4*h + 7*h**2. Does 10 divide k(-4)?
False
Suppose -4*y + 376 = b, 12*b - 4*y = 8*b + 1444. Is b even?
True
Suppose -3023 - 2620 = -27*o. Is o a multiple of 19?
True
Let z = 643 + -375. Is 9 a factor of z?
False
Suppose 13*l = 18*l. Suppose l = 5*f + 4*z - 480, f = 3*f - 2*z - 210. Does 25 divide f?
True
Suppose -4*t - 22 = -5*p - 115, -4*t + 53 = 3*p. Let r = t - -61. Is 14 a factor of r?
False
Suppose -8*h + 11*h - 9 = 0. Is 520/h - ((-12)/(-3))/12 a multiple of 25?
False
Let g = -168 - -220. Is g even?
True
Let z(m) = 1. Let n(a) = -a. Let g(b) = 2*n(b) + 3*z(b). Suppose -h - 9 = 2*c, -2*c - 3*h - 24 = -7*h. Is g(c) a multiple of 15?
True
Suppose -1702 - 799 = -4*u + m, 20 = -4*m. Does 13 divide u?
True
Does 11 divide ((-2)/5*-10)/(28/1638)?
False
Suppose 112 = -13*u + 15*u. Is 4 a factor of u?
True
Let y(s) be the second derivative of 29*s**3/6 - 3*s**2 + 3*s. Let p(i) = -58*i + 13. Let z(d) = 6*p(d) + 13*y(d). Is z(3) a multiple of 29?
True
Let z = -43 - 3. Let y = z + 54. Does 8 divide y?
True
Suppose 407 = -4*r + 5*r. Suppose 4*m = -3*o + r, -14 - 75 = -m - 5*o. Does 20 divide m?
False
Let i(x) = -2*x - 11. Let s be i(-12). Let t = -8 + s. Does 7 divide 3/t - (-1720)/50?
True
Suppose -15*v + 4 = -19*v. Suppose -3*b + 10 = -2*l, -5*l + 0*b + 17 = 3*b. Is 8 a factor of (0 - v) + (l - -22)?
True
Suppose -3*x + 12 = -t, 2*x - 3*x + 2*t = -9. Let z be 112/6 - 2/x. Suppose 0 = 19*v - z*v - 55. Is v a multiple of 12?
False
Suppose 2*f - 13 = 1. Let g = 9 - f. Suppose 0 = 2*c + m - 69, -3*c + g*m = -106 - 15. Is c a multiple of 22?
False
Let m = -121 - -31. Let s = m - -18. Is (-418)/(-18) + 16/s a multiple of 7?
False
Let q be -4*(-2)/4 + -7. Let p(l) = -12*l + l + 3*l + 2*l - 1 + 3*l. Does 14 divide p(q)?
True
Let c(w) = 2*w**2 + 8*w + 3. Let g be c(-4). Suppose -107 = -g*r - 14. Suppose 0*n - n = -r. Is 18 a factor of n?
False
Suppose 24 = 3*r + q, -1 = 4*r - 3*q - 33. Suppose r*f - 9*f = -2. Suppose 0 = -f*n - 5*g + 250, 3*n - n + 4*g - 246 = 0. Does 23 divide n?
True
Suppose 4*b - 662 = -5*d + 228, 4*d - 5*b - 671 = 0. Is d a multiple of 44?
False
Suppose 11 - 5 = 2*p. Suppose a + 424 = 5*i, i + p*i - 4*a - 336 = 0. Is i a multiple of 13?
False
Let w = -14 - -4. Let v(z) = z**2 + 9*z - 7. Let s be v(w). Suppose u - s*l = 15, -u + 2*u - 10 = -2*l. Does 6 divide u?
True
Let z = -2867 + 4947. Is 20 a factor of z?
True
Let b(o) = 29*o - 1 + 44*o**2 + 8 - 40*o**2. Is b(-9) a multiple of 7?
True
Let h be 4 - (-2 + 5) - -122. Suppose -2*s + 0*s - 3*c + h = 0, -243 = -4*s - 3*c. Is 7 a factor of s?
False
Let f(l) = 29*l**3 + l**2 - l + 1. Let y = 4 - 3. Let k be ((-1)/(-2))/(y/2). Is f(k) a multiple of 10?
True
Suppose o - 4*o + 21 = 0. Suppose 85 = -2*n + o*n. Is 8 a factor of n?
False
Suppose -8 + 2 = -y. Does 6 divide ((-144)/(-3))/(y/4)?
False
Let i = 9 + 25. Suppose 3*b - 38 = i. Let j = b + -15. Is j a multiple of 3?
True
Let c(p) be the third derivative of 5*p**4/24 + p**3/2 + 2*p**2. Suppose -8*j = -4*j + 2*f - 30, -5*j = -f - 34. Is 13 a factor of c(j)?
False
Let d(v) be the first derivative of -v**3/3 + 7*v**2 + 13*v + 10. Does 17 divide d(11)?
False
Suppose 1512*f - 1535*f = -3358. Is f a multiple of 68?
False
Let h(w) = -w**2 - 7*w - 3. Let c be h(-6). Suppose 0 = -c*g + 2*p + 34, 0 = -2*g - 0*g - 4*p + 28. Suppose -g*y = -8*y - 96. Is y a multiple of 12?
True
Suppose -355 - 429 = -4*v - 4*g, -g = -5*v + 956. Is 24 a factor of v?
True
Let z be 1/3 - 3/9. Let i(j) = 3 - 3 + 7 + j**2 + 3 + j. Does 5 divide i(z)?
True
Let c(o) = o**3 + o**2 - 7*o - 1. Let j be c(-3). Suppose j*v + 25 = 71. Does 23 divide v?
True
Let r(s) = -3*s - 26. Let a(x) = 5*x + 53. Let l be 4/22 + 31/11. Let z(v) = l*a(v) + 7*r(v). Is 18 a factor of z(-16)?
False
Let b(h) = -4*h**3 - 23*h**2 - 9*h - 17. Is b(-9) a multiple of 31?
False
Suppose 31*l = -5*v + 36*l + 4505, 4*l - 896 = -v. Is 51 a factor of v?
False
Suppose 40 = y - 5*y - 2*g, -4*y - 3*g - 36 = 0. Let h(s) = -s**2 - 12*s + 17. Let a be h(y). Suppose -a - 108 = -5*i. Is 11 a factor of i?
False
Suppose 73 = -3*o - 4*k + 28, 0 = o - 3*k + 15. Let j(d) = -2*d**3 - 29*d**2 + 13*d + 16. Is 3 a factor of j(o)?
False
Suppose 0 = 7*v - 32 - 10. Suppose v*d - 71 - 127 = 0. Is d a multiple of 5?
False
Let u(i) = 21*i + 8. Let b = 49 + -47. Is 10 a factor of u(b)?
True
Let i = 13 - 8. Is i a multiple of 5?
True
Suppose -5*a + 4*l + 108 = -316, 2*l - 96 = -a. Is 5 a factor of a?
False
Let a be (0 + -1 + -330)/(-20 - -19). Let f = -162 + a. Is 31 a factor of f?
False
Suppose -32 = -g - g. Let p be (-1 + 1)/(30/10). Suppose p = -9*b + 7*b + g. Does 4 divide b?
True
Is 8 a factor of 6/((-5430)/(-1355) + -4)?
False
Let p be (4 - 0/4)*52. Suppose -4*r + p = -3*q - 260, 0 = r + 4*q - 117. Does 39 divide r?
True
Suppose 2*o = -2*o + 1364. Suppose 6*b - 265 = o. Is 12 a factor of b?
False
Let j be (-4)/(-26) + 1264/(-104). Let t = -9 - j. Suppose -10 = -t*d 