
Suppose -3*f + 1416 = -4*t, -4*f + 7*t = 5*t - 1878. Is 50 a factor of f?
False
Let z be 6 - (-1 + 4) - (2 - -1). Suppose 3*h + 40 - 415 = z. Is h a multiple of 19?
False
Suppose -3*j - 4*n = -3679, 6*n = 2*j + 8*n - 2452. Is 7 a factor of j?
True
Suppose 19992 = 11*y - 7*y. Is y a multiple of 17?
True
Let x = 509 + -168. Is 31 a factor of x?
True
Suppose -2*j - 23*r + 22*r + 607 = 0, 0 = 5*r + 25. Is 20 a factor of j?
False
Let a be ((-4)/6)/((-14)/189). Suppose -4*r = -5*r + a. Does 3 divide r?
True
Suppose 3*k = -9*d + 13*d - 296, d = -4*k + 74. Is 11 a factor of d?
False
Let v(d) = -25*d**2 + 2*d**2 + 0*d - d - 28*d**2. Let m be v(-1). Let b = m + 75. Does 13 divide b?
False
Let y = -170 - -278. Suppose -12*x + y = -8*x + 2*z, -5*x + 4*z + 122 = 0. Is 3 a factor of x?
False
Let y(j) = j**3 - 12*j**2 - 7*j + 18. Does 14 divide y(14)?
False
Let x(y) = 114*y**3 + 3*y**2 - 5*y - 4. Is x(2) a multiple of 65?
True
Suppose 11 = -s - 9. Is 5/s - 97/(-4) a multiple of 4?
True
Let n be (35/(-2))/((-16)/288). Suppose -n = 4*h - 9*h. Suppose 2*i - 41 - h = 0. Is i a multiple of 13?
True
Suppose 536 = 5*m - 354. Is 20 a factor of m?
False
Does 59 divide (-42)/(-30)*5 + 1350?
True
Suppose 2*w - 2*u = 1302, -10*w - 4*u = -11*w + 660. Does 7 divide w?
False
Suppose 277 = j - 595. Does 57 divide j?
False
Suppose -5*t + 4*g - g = -848, -5*g = -5*t + 840. Suppose -3*j + t = -4*c + 36, 5*j - c - 238 = 0. Does 12 divide j?
True
Suppose 5 = h + 7. Let x = h + 77. Does 15 divide x?
True
Let n be 36/(-24)*8/(-6). Suppose -n*x = -7 + 1. Suppose 0 = -x*t - 0*t + 162. Is t a multiple of 17?
False
Let h(i) = -i**3 + 3*i**2 + i - 1. Let d be h(3). Does 5 divide (-16)/(-1) - (d + -1)?
True
Let m(q) = 9*q - 4 - 4*q**2 + 2 - 11 + 3*q**2. Let s be m(6). Is (-1)/(-5) - (-34)/s even?
False
Let o(r) = r**3 + 5*r**2 + 4*r - 2. Let d be o(-4). Let w be d*-3*(-10)/15. Does 9 divide w*3/(-20)*15?
True
Let s(y) = -2*y - 9. Let m be s(-6). Suppose -m = c - 7. Suppose 2*u - 70 = c*n, -200 = -4*u - 5*n + n. Does 18 divide u?
False
Let o be (44/(-6))/((-1)/(-6)). Let p = o + 114. Does 13 divide p?
False
Suppose -2*h - 295 = 3*h. Is 1/4*2 - h/2 a multiple of 6?
True
Let b(u) = u**3 + 5*u**2 - 3*u + 8. Let k be b(-6). Let c = 34 + k. Is c a multiple of 8?
True
Let y be (-3 + 3)*(-1 + 0). Suppose y*p = -5*c + p + 171, 2*c - 70 = 2*p. Is c a multiple of 7?
False
Let y = 385 + 833. Is 42 a factor of y?
True
Suppose -108*u = -99*u - 7605. Does 5 divide u?
True
Suppose 3*y + 3*q = 15, 5*y + 4*q - 28 = -6. Let j(r) = 7*r**2 - 2. Let u(g) = 35*g**2 - g - 10. Let l(t) = 11*j(t) - 2*u(t). Does 10 divide l(y)?
True
Suppose 0 = 10*s - 5*s + 135. Let a = 37 + s. Is 10 a factor of a?
True
Let l = 110 + 230. Is 20 a factor of l?
True
Suppose -s = -4*a - a + 35, 4*a - 3*s - 17 = 0. Let m be ((-5)/4)/((-2)/a). Suppose -2*w + m*w = 15. Is 5 a factor of w?
True
Suppose -8*u + 15960 = 27*u. Is 6 a factor of u?
True
Suppose -2*v + 4*r = -6*v + 1136, -r = 5*v - 1416. Let t = -194 + v. Does 20 divide t?
False
Suppose 0 = 41*l - 49*l + 2176. Does 34 divide l?
True
Let y be 3/3 - (48 - 3). Let s = 66 + y. Does 22 divide s?
True
Suppose 3*k = -9, -2*o - o = -2*k + 3. Let i be 0 + 1*12/o. Is 8 a factor of i/3*(-1 + -5)?
True
Let t be (-68)/(-16) - 3/12. Suppose t*b - 3*m + 3 = -2, b - 2*m = 0. Let g(p) = -22*p - 3. Is g(b) a multiple of 8?
False
Suppose 6*r = 4*k + r - 931, 236 = k + 2*r. Does 39 divide k?
True
Suppose 4*o = -4*f + 28, 3*o + 3 - 15 = 0. Suppose -f*r - 61 = -d - 8*r, 2*d + r = 77. Suppose 4*i = 5*i - d. Is i a multiple of 18?
True
Suppose 2*b - 685 = -j, -5*b - 5*j + 1596 + 119 = 0. Is b a multiple of 19?
True
Let c(l) = -l**2 + 16*l + 17. Let k be c(13). Let u = 68 - k. Does 7 divide u?
False
Let c be (80/50)/(2/(-10)). Let n = 8 + c. Is 17 a factor of (68/12 + n)*3?
True
Let k(q) be the first derivative of -3 + 8*q + 0*q**2 - 2*q**3 - 1/4*q**4. Is k(-6) a multiple of 6?
False
Suppose 7*p - 3*m - 22 = 3*p, 4*m + 24 = 4*p. Suppose -p*y = -19 - 65. Is 7 a factor of (-3)/((y/(-16))/7)?
False
Let v(u) = -7*u + 11. Let d(w) = -10*w + 16. Let l(q) = 5*d(q) - 7*v(q). Let a(i) = -i**2 - 10*i + 2. Let m be a(-11). Is 8 a factor of l(m)?
False
Suppose -5*i = 5*y - y - 228, -y + 46 = i. Let n = 80 - i. Is 25 a factor of n?
False
Suppose 12*o - 49 = 155. Suppose -4*z = -o*z + 2223. Is z a multiple of 9?
True
Suppose 840 = 32*b - 22*b. Does 9 divide b?
False
Let k(z) = -160*z + 5. Let w be k(-1). Suppose -2*h = -5*g - w, 5*h + 4*g - 340 = 2*g. Is h a multiple of 16?
False
Let f = 28 + -47. Let u = 21 + f. Does 2 divide u?
True
Suppose 10 = -5*f + 4*f - 5*n, -8 = 5*f + 4*n. Suppose 3*r - 8*r - 40 = f. Let x = r + 23. Is 15 a factor of x?
True
Suppose 8*f - 12*f + 8 = 0. Suppose 2 - 44 = -f*o. Suppose -o*h + 19*h + 36 = 0. Is h a multiple of 18?
True
Let f(k) = 75*k + 17. Does 13 divide f(19)?
False
Let h = 507 + -477. Is h a multiple of 6?
True
Let h be ((-27)/(-9) - -1*2)*39. Suppose -12*q + h = -11*q. Is q a multiple of 39?
True
Let h(f) = 4*f**2 + 54*f + 43. Does 3 divide h(-15)?
False
Let l be 4/((-40)/(-2505))*4. Suppose -3*c = 282 - l. Does 23 divide c?
False
Suppose 2*p = 4*r + 312, -25 = 4*p - r - 614. Let u = p + -101. Is 5 a factor of u?
True
Suppose 0 = 5*u - 4*a + 21, 17 = -5*u + 2*a - 6. Does 3 divide 3/u + 234/15?
True
Suppose 4*t + 2*m + 8 = -t, -m = -3*t + 4. Suppose -183 = -t*l - 3*l. Is 18 a factor of l?
False
Let i = 1222 - 727. Suppose -12*u = -15*u + i. Is 26 a factor of u?
False
Suppose -3*l + 3*g - 219 = 0, 349 = -5*l + 5*g - 4*g. Let v be (-8)/(-28) - l/(-21). Let i = v + 7. Is i a multiple of 3?
False
Let r(y) = 13*y**2 + y. Let f be r(-1). Let g(m) = m**3 - m**2 - 27*m - 3. Let l be g(6). Let b = l - f. Does 2 divide b?
False
Suppose 8*t - 12*t = 0. Suppose -4*f = -3*b + 82, t = 5*b - 10*b - 3*f + 156. Is 10 a factor of b?
True
Is -93*3/((-15)/35) a multiple of 20?
False
Suppose -3*h + 6*h = -417. Let j = -217 - h. Is (-3342)/j - 4/(-26) a multiple of 17?
False
Suppose -a - a = -90. Let p be 297/a - (-3)/(-5). Suppose 4*u = 3*t - 44, 2*t - 4*u - 34 = -p. Is t a multiple of 16?
True
Suppose -5*c + 1800 = 5*s - 6*c, -4*c = 0. Does 18 divide s?
True
Suppose 5*k = 3*k + 4*u + 1066, -5*k + u + 2638 = 0. Is 17 a factor of k?
True
Suppose -5*r = -1445 - 2290. Suppose -3*i + 4*w = i - 996, 0 = -3*i + 5*w + r. Is ((-14)/21)/((-2)/i) a multiple of 22?
False
Let n = -402 - -478. Does 19 divide n?
True
Let u(j) = -4*j - 4. Let i = -3 - 8. Is u(i) a multiple of 10?
True
Suppose 0 = -5*m - 1 + 16. Suppose -m*w + 184 = -128. Is 13 a factor of w?
True
Let x(k) = -k + 9. Suppose d + 23 = 5*m - 18, 43 = 3*m + 4*d. Let h be x(m). Suppose 6*o - 48 = 3*o - 3*z, h = 5*z + 10. Is o a multiple of 6?
True
Let n be 7/(1/(-1) - -2). Let o(f) = -2*f**3 + 4*f**2 - 3*f - 1. Let k be o(3). Does 12 divide ((-96)/k - 0)*n?
True
Let q(r) = -14*r + 34. Let k(w) = 21*w - 51. Let d(z) = -5*k(z) - 8*q(z). Is 30 a factor of d(11)?
True
Let w(s) = s**2 + s + 1. Let x = -6 + 5. Let r(v) = -v**3 + 9*v**2 - 11*v - 8. Let m(g) = x*w(g) - r(g). Does 16 divide m(9)?
True
Is 10 a factor of (1016/(-6))/((-4)/6)?
False
Suppose -5*n - 465 = 2*h, 178 = 5*h + n + 1375. Let a(b) = b**2 + 6*b - 14. Let d be a(-7). Is 4 a factor of 2/d + h/(-56)?
True
Let f(k) = -k. Let g(y) = -10*y - 16. Let t(c) = 3*c + 5. Let x(w) = -4*g(w) - 11*t(w). Let h(p) = -4*f(p) - x(p). Does 8 divide h(-7)?
False
Suppose 5*f - 550 = 4*f. Is 25 a factor of f?
True
Suppose 0*n - 4*b - 24 = n, -28 = 4*n - b. Let y(h) be the first derivative of h**2/2 + 10*h + 4. Does 2 divide y(n)?
True
Let s(m) = -m + 1. Let q(v) = -5. Let x(f) = -q(f) - 3*s(f). Let l be x(1). Suppose 0 = -6*o + l*o + 14. Is o a multiple of 9?
False
Suppose -2*p = -4*p - 28. Let v = p - -18. Suppose -5*w = -v*s + 351, -s + 87 = w - 3*w. Does 14 divide s?
False
Let l(c) = c**3 + 38*c**2 - 14*c - 88. Is l(-38) a multiple of 26?
False
Suppose 2*c - 1144 = -5*n, -2*c + 5*n + 1358 = 254. Does 21 divide c?
False
Let z(s) = 4*s - 5. Let h be z(2). Suppose 12 = h*x - x. Does 27 divide (63 - 9)*x/4?
True
Let q(o) = -10*o**3 - o**2 + o - 2. Let a be q(-2). Let h = -41 + 41. Suppose 3*u + a - 396 = h. Does 18 divide u?
True
Let y = -9 + 9. Suppose -2*p + 168 = 4*j, -2*p = -2*j - y*j + 78. Is j a mul