et d = 345 + b. Is 43 a factor of -1 + d + 6 + -7?
True
Suppose -6*z - 4*a = -8*z + 28, -z - 11 = 3*a. Suppose 2*l + 97 = 2*g - 49, -z*g + 2*l = -294. Suppose 0 = -r + h + g, -6*h + 3*h = -9. Is 17 a factor of r?
False
Let a(n) = 2*n**3 + 22*n**2 + 33*n - 30. Is 3 a factor of a(-7)?
False
Let j(w) = -22*w - 9. Suppose -6 - 4 = 5*l, 5*q + 43 = -4*l. Is j(q) a multiple of 5?
True
Let k(p) = 17*p**2 + 5*p + 4. Let l be k(-4). Suppose 0 = 7*h - l - 479. Is 5 a factor of h?
True
Suppose 3257 = 10*t - 43. Let y = 876 - t. Is 13 a factor of y?
True
Let m(b) = -b**2 + 76*b + 2990. Is m(79) a multiple of 14?
False
Let x(c) = -c**3 + 46*c**2 - 127*c - 81. Let m be x(43). Suppose 2*y - 4*y + 118 = 0. Suppose -m*v + 461 = -y. Does 26 divide v?
True
Let m = 5822 + -1526. Does 3 divide m?
True
Let t = -212 + 213. Is 17 a factor of t + 7186/10 - (-255)/(-425)?
False
Is (-104)/(-20)*5*(-33789)/(-42) a multiple of 13?
True
Let w(u) = 17*u - 590. Is 16 a factor of w(47)?
False
Suppose -4*y = 4*b - 9*b + 305, -3*y = -5*b + 230. Let i = -30 - y. Suppose i*f = 41*f + 1132. Does 40 divide f?
False
Let o(a) = 25*a**2 + 21*a + 202. Is o(-21) a multiple of 40?
False
Let t be (-3)/6 + 10/4. Let p be (-3 - ((-45)/2)/(-3))*t. Let v = p - -47. Is v a multiple of 2?
True
Suppose 0 = -234*y + 232*y - 8, 50420 = 4*o - 3*y. Is o a multiple of 60?
False
Let f(n) = -14*n**2 - 20*n + 10. Let b(s) = 5*s**2 + 7*s - 4. Let t(p) = 17*b(p) + 6*f(p). Let j be t(6). Let l = 156 + j. Is 30 a factor of l?
False
Let r(k) = 162*k**2 + 402*k - 1201. Is 4 a factor of r(3)?
False
Suppose 29*w - 82*w + 303531 = 0. Is w a multiple of 6?
False
Let n(g) = -2*g**2 - 23*g - 3. Suppose -5*z + q - 19 = 36, 4*z - 4*q + 60 = 0. Does 11 divide n(z)?
False
Suppose -4*z + 3*c - 24856 + 95390 = 0, 0 = 4*z + 4*c - 70576. Is z a multiple of 27?
False
Suppose -3*d - s + 35952 = 0, 2*d - 8*s + 12*s - 23968 = 0. Does 56 divide d?
True
Suppose -h + 269 = 2*b, 7*b = 2*b. Suppose -h = -2*k - 33. Is 4 a factor of k?
False
Suppose -1695 = -34*t - 279 + 420. Is t a multiple of 3?
True
Let o(v) = 5*v - 9. Let x be -1 + 12 + (7 - 8). Let i be o(x). Let j = -24 + i. Does 3 divide j?
False
Suppose -3*r - t + 36 = 2, 4*r - 4*t = 40. Suppose 4*u = 8*w - r*w + 949, -3*u + 1270 = 4*w. Is w a multiple of 29?
True
Let p = 11 - -1. Suppose 0 = 3*h + p, -3*d + 5*d - 2*h = 144. Does 4 divide d?
True
Let q = -524 - -494. Does 15 divide (-2 - -66)*(-75)/q?
False
Let i = 72 + -73. Let b be 3 + 0 - (i + -1). Suppose 100 + 285 = b*l. Is 11 a factor of l?
True
Let m(v) = v**2 - 22*v + 101. Let i be m(7). Does 2 divide (-1)/(-3)*(i - -220)/2?
True
Let g(p) = p**3 + 37*p**2 - 174*p + 15. Is g(-32) a multiple of 96?
False
Suppose 52*y = 122*y - 327783 - 659567. Is 91 a factor of y?
True
Let g = -13 + 7. Let u be 0 + (-12)/3 - g. Suppose u*b - 3*x - 142 = 0, 0 = 2*b - 3*b + 4*x + 76. Does 34 divide b?
True
Let t = 131 + -70. Let n(z) = -z**2 - 31*z - 25. Let j be n(-13). Suppose -3*s + t = -j. Does 30 divide s?
True
Let n = -10264 + 10789. Does 5 divide n?
True
Let h be ((-768)/(-10))/(45/(-1200)*-8). Suppose 2*r + 21 = -57. Let o = h + r. Does 28 divide o?
False
Suppose -2*d = 3*l + l, -18 = -4*d - 2*l. Let y be (3/d)/((5 - 2)/24). Is 9 a factor of (-90)/40*y*-2?
True
Is -2 + 3 + 10588 + 60 + -56 a multiple of 61?
False
Does 5 divide (-2)/(-53) - (-127551662)/29309?
False
Let n(x) = -x**3 - 22*x**2 - 3*x + 20. Suppose q + 0*s = 4*s + 30, 5*s = -25. Suppose -p - 12 = q. Is n(p) a multiple of 19?
False
Let t = -6094 - -6503. Does 2 divide t?
False
Suppose 2*r - 3*q = 17928, -2*q = -4*r + 8*r - 35856. Is 18 a factor of r?
True
Let o = 85 + 95. Suppose 3*d - 36 = s, 3*d = -5*s + 6*d - o. Let n = s - -122. Does 13 divide n?
False
Let y = -33 - -36. Suppose -2*n - 2*n + 2*z - 6 = 0, 0 = 4*n + z - y. Suppose -5*r - 5*h + 75 = n, 0 = -r + 5*h - 11 + 26. Is 15 a factor of r?
True
Suppose -66 = 3*o + f + 57, -191 = 5*o + 4*f. Suppose y - 5*r = -90 - 27, -5*y + 4*r - 501 = 0. Let x = o - y. Is x a multiple of 54?
True
Let g be 17/((-119)/28) + 5. Does 7 divide (60 - 59)*(0 - g)*-109?
False
Does 20 divide ((-1185)/6)/(4*7/(-3136))?
True
Suppose 4*h - 5*b - 386 = 0, 2*h + 290 = 5*h - 4*b. Suppose h = y + 13. Let a = y + -31. Is a a multiple of 11?
False
Let t(f) = -f**2 - 25*f - 8. Let i be t(-23). Suppose -i*j + 34*j + 328 = 2*y, -87 = -j - 3*y. Is j a multiple of 8?
False
Let p(b) = 7*b**2 + 7*b + 66. Let o be (36/8)/((-6)/8). Is p(o) a multiple of 8?
False
Suppose 0*q - 3 = 2*v - 5*q, 2*v = 4*q - 2. Let z(t) = 87*t - 23. Is z(v) a multiple of 8?
True
Let b(n) = 24*n + 17. Let l be b(-6). Let x = 131 + l. Suppose 54 = x*k - 126. Is k a multiple of 14?
False
Let n(w) = 5*w**2 - 49 + 73 - 7*w - 36. Does 39 divide n(5)?
True
Suppose -840 = -3*u + u. Suppose 14*n - 19*n + u = 0. Let b = n - 42. Is 14 a factor of b?
True
Let f(x) = 15*x**2 - 9*x + 18. Let p = -190 + 193. Does 18 divide f(p)?
True
Suppose -4*y - u + 3*u = 86, -5*u + 23 = -2*y. Is 25 a factor of y/(-84) - 2068/(-14)?
False
Suppose -54949 = 128*c - 69172 - 419697. Is c a multiple of 37?
False
Let b be 6 - ((-250)/(-80) - 2/16). Suppose b*t - 45 = -3*m, 0*t + 2*t - 3*m - 25 = 0. Does 14 divide t?
True
Let w(z) = -z**3 + 6*z**2 + z - 3. Let j = 59 - 53. Let u be w(j). Suppose 0*r + r = y + 14, -u*y = -r + 6. Is 18 a factor of r?
True
Let d = -705 + 422. Let h = 29 - d. Does 4 divide h?
True
Suppose 37*j = 232517 - 3080. Is j a multiple of 39?
True
Let m = 45 + -44. Let d be (10/(-30)*9*m)/1. Let r(n) = -2*n**3 + n - 8. Is 7 a factor of r(d)?
False
Suppose -q + 5*p + 4572 - 1411 = 0, -q + 3131 = p. Is q a multiple of 9?
False
Let i(g) = g**3 - 21*g**2 + 8*g - 28. Suppose 152 - 47 = 5*u. Does 3 divide i(u)?
False
Let x(a) = 148*a**2 - 56*a + 300. Is x(5) a multiple of 20?
True
Let f = -120 + 72. Let o be 0/(-1 - 1)*(-24)/f. Suppose o = 5*y + q - 321, 2*q - 7*q + 133 = 2*y. Does 8 divide y?
True
Suppose -5*v - 5*s = -3 - 2, s = -5*v + 9. Let u(b) = -3*b - 13*b**2 + v + 0 + 50*b**2. Does 12 divide u(1)?
True
Is 27 a factor of 47114/5 - 5*6*(-5)/750?
True
Let o(v) = 2*v**2 - 68*v + 93. Is 115 a factor of o(-28)?
True
Let n = -1498 + 1490. Let j be (-8)/(-6)*(-462)/4. Does 7 divide j/6*(3 - (-48)/n)?
True
Suppose 3*o = 4*n - 5*n + 280, 3*o = 0. Let t = -8 + 11. Suppose -g + n = t*g. Does 6 divide g?
False
Let d be (8/(96/36))/(3/2). Suppose 0 = -n - 3*r + 1177, -4*r = -d*n - 3*n + 5866. Does 35 divide n?
False
Suppose -4*d + 294 = -3*w, 3*d + w = d + 142. Let g(n) = -2*n**3 + 40*n**2 + 42*n + 2. Let m be g(21). Suppose m*v - d = 360. Does 24 divide v?
True
Let b(h) = 8*h + 12. Let j be b(28). Suppose d = -2*f + 16 + 120, -5*f - j = -2*d. Is 22 a factor of d?
False
Suppose 5714 - 21749 = -0*p - 5*p. Is 37 a factor of p?
False
Is 45 a factor of 91263/24 - (-5)/(320/24)?
False
Let i = 88 - 56. Let f(r) = r**2 - 28*r + 59. Is f(i) a multiple of 7?
False
Suppose -5*k - 165*v + 162*v + 3515 = 0, -3*v = -5*k + 3485. Is 100 a factor of k?
True
Suppose 4*j - 10*j + 90 = 0. Let h be (-9)/(-6)*20/j. Suppose -1525 = -5*n - 5*u, h*u + 183 = n - 134. Is n a multiple of 25?
False
Let r = -37 - -240. Let o = -146 + r. Is 56 a factor of o?
False
Let l = 15 - 14. Let v(p) = p**3 - 15*p**2 + 15*p - 13. Let h be v(14). Does 12 divide l*(21 + h + (-3)/(-1))?
False
Let x be (-1810)/40 - 2/(-8). Is 18 a factor of 4944/45 + (-6)/x?
False
Let q be 24/14 - (-4)/14. Suppose 5*u - 20 = j, -j - 4 = -3*u - q*j. Suppose u*r - 5*z + 180 = 8*r, r = -3*z + 40. Does 9 divide r?
False
Let b(x) = 6 + 35*x - 18*x - 11*x + 18*x**3 - x**3 - 6*x**2. Is 33 a factor of b(3)?
True
Suppose -4*y = 7*w - 6*w + 15, -2*y - 10 = -2*w. Is 33 a factor of (2889/18 - -5) + w/(-2)?
True
Suppose 15*m = 6*m + 45. Is 41 a factor of (-1 + m/15)*-972?
False
Is 76 a factor of 18720 - ((-1664)/(-160) - 14/10)?
False
Suppose 8697 - 3729 + 12072 = 142*n. Does 6 divide n?
True
Let j = 74 + -75. Let w(z) = -z**3. Let o(q) = 68*q**3 - q**2 + 2*q + 3. Let m(y) = -o(y) + 6*w(y). Is 13 a factor of m(j)?
False
Let q = -320 + 323. Suppose -q*b - 165 = -6*b. Is b a multiple of 40?
False
Let h(b) = 165*b**2 + 26*b - 28. Does 7 divide h(7)?
True
Let i(p) = 8199*p + 1795. Is 30 a factor of i(1)?
False
Let g(t) be the third derivative of -3*t**4/2 + 14*t**3/3 + 66*t**2