34 divide t(-5)?
True
Suppose 0*z = 57*z - 5*z - 23244. Is 19 a factor of z?
False
Suppose -92 = -11*d - 26. Suppose 53*a + d*a - 90388 = 0. Is a a multiple of 77?
False
Let d be 47 - (-2 - 1/1). Let v be ((-30)/d)/(1/5). Is (2 - 26/3)*v a multiple of 9?
False
Let f = -15158 + 27360. Suppose 0 = 18*j - f - 902. Is 28 a factor of j?
True
Suppose 11*h + 30 = 15*h - v, 6 = 4*h - 5*v. Suppose 3*m = 79 + 1832. Suppose -h*f + 659 = -m. Is 9 a factor of f?
True
Let x = -24378 - -25908. Is 6 a factor of x?
True
Let c = 10 - 8. Suppose 7*x - 4*w - 260 = c*x, -3*w + 33 = x. Suppose 5*u + x = 7*u. Does 24 divide u?
True
Let q(b) = b**3 - 11*b**2 + 2. Let h be q(11). Suppose 5*c - 20 = -2*x, 7*c - h*c = x + 20. Is (-114)/c*(-4 - 0/2) a multiple of 19?
True
Is (-52*(-34)/8)/((-30)/33 - -1) a multiple of 143?
True
Let l(g) = 24*g**2 + 6*g + 2. Let b be (-6)/4 + 0 + (-9)/18. Does 56 divide l(b)?
False
Let c(g) = 17*g + 35. Let x be c(-2). Does 8 divide 1557/(-6)*(-4)/6*x?
False
Suppose 116*g - 64*g - 258232 = 0. Does 14 divide g?
False
Let k be 6/(-36)*-78*2*3. Is k/4*(-120)/(-18) + 5 a multiple of 8?
False
Let i be (23 - -2)*(-1596)/(-35). Let p be i/171*(6*1)/(-1). Let d = 86 - p. Does 14 divide d?
True
Let z(j) = -61*j - 1. Let f(l) = -182*l - 2. Let k(b) = 6*f(b) - 17*z(b). Is 20 a factor of k(-1)?
True
Let j = -161 - -169. Suppose -3*v + 618 = -4*d, 4*d = 4*v + j*d - 852. Is v a multiple of 13?
False
Let j(z) = -5*z - 7. Let x be j(-2). Let g be x + (4 - (-36 + -3)). Let k = g + -31. Does 5 divide k?
True
Suppose 4*d - t + 2364 = 2*t, -12 = 3*t. Let q = d + 1077. Is 7 a factor of q?
True
Is 46 a factor of ((-27574)/2 - -7)*(-18)/24?
False
Suppose -7*c = -13*c + 6. Let t be c + -1 + -27 + 0. Let s = 40 + t. Is 2 a factor of s?
False
Let j = -177 + 392. Suppose 5*r - 1090 = 4*b + b, 2*b = r - j. Is 13 a factor of r?
True
Let f = 82 - 64. Let s(z) = -14 + 7*z + 2*z - 3*z - f. Is s(7) a multiple of 10?
True
Suppose 2 = 2*z, 2*w - z + 55 - 10 = 0. Let t = -40 + -9. Let q = w - t. Is q a multiple of 8?
False
Let j = 25 + -28. Let x be ((-37)/(-1))/(j/(9/3)). Is 12 a factor of (1 - 0) + (-23 - x)?
False
Let x(s) be the first derivative of -5/2*s**2 - 15*s - 13 + 1/3*s**3. Is x(-6) a multiple of 11?
False
Let h(o) = -73*o + 148. Let k(p) = p - 2. Let x(r) = h(r) - k(r). Is 42 a factor of x(-15)?
True
Let m = 5528 + -3736. Let k = -789 + m. Does 59 divide k?
True
Let l(i) = -i**3 - i**2 + 33*i - 10. Let w be l(5). Suppose -w*j + 1882 = -793. Is j a multiple of 14?
False
Is 95 a factor of (-24 - -27)/((-6)/(-9766))?
False
Let v = 632 - 67. Let b = v - 198. Is 8 a factor of b?
False
Let x = 37219 + -17700. Is x a multiple of 4?
False
Suppose 17*n - 19*n = -11316. Is n a multiple of 46?
True
Let n = 10044 + -3604. Is 30 a factor of n?
False
Let x = 1817 + -5957. Let p = -2927 - x. Is 9 a factor of p?
False
Let u(x) = x**3 - x**2 - 8*x + 12. Let p be u(2). Suppose -7*b - 17*b + 1296 = p. Does 6 divide b?
True
Let p(j) = 2*j**2 + 16*j + 4. Suppose 0*k - 33 = -3*z - 3*k, -5*z + 40 = 2*k. Suppose -z*l = 39 + 27. Is 7 a factor of p(l)?
True
Let j(a) be the first derivative of 7*a**4/12 - a**3 + a**2/2 - 39*a - 27. Let o(u) be the first derivative of j(u). Is o(5) a multiple of 56?
False
Let f be (9/12)/(-3 - (-50)/16). Let g(p) = -2*p + 14. Let s be g(f). Suppose 4*z = 3*r + 233, -s*r = 5*z - 4*z - 72. Is z a multiple of 19?
False
Let f = -64 - -67. Suppose -f*k - 3*n + 501 = 0, 2*n = 7 - 13. Is k a multiple of 34?
True
Let d be -3*(-3)/27 - 2391/(-9). Suppose 0 = h + 2*a - d, -4*a = 2*h - h - 274. Is 24 a factor of h?
False
Let j(m) = m**3 + 7*m**2 + 2*m - 8. Let f be j(-6). Suppose -f*t - 19*t + 6965 = 0. Does 20 divide t?
False
Let m be (2702/(-7 + 14))/2. Suppose m*v = 185*v + 4136. Is 47 a factor of v?
True
Let m = 9367 - 1944. Does 13 divide m?
True
Let p(k) = -13*k - 12. Let j(w) = w + 1. Let h(x) = -6*j(x) - p(x). Let y be h(6). Is 15 a factor of (-55)/22*y/(-2)?
True
Suppose 3*w + 4*d = 200, -3*w + d + 207 = -2*d. Is (1 - -164)*(w/(-20) - -4) a multiple of 11?
True
Let l(g) = 61*g**3 - 3*g**2 + 41*g + 126. Does 21 divide l(7)?
True
Let c = 1904 + -904. Is c a multiple of 5?
True
Suppose 4*s - 4*f - 11264 + 3592 = 0, -s + 1888 = 4*f. Is 31 a factor of s?
False
Suppose -86*x + 71*x + 690 = 0. Suppose x*y + 12210 - 40316 = 0. Is y a multiple of 21?
False
Let d(b) = -3*b**2 + 3*b + 5. Let u be d(-4). Let x = u + 142. Suppose 3*h - 213 = -2*r - 2*h, -r = -4*h - x. Does 10 divide r?
False
Let l be (2/(-9) - (-31)/(-9))*-9. Let i = l + 11. Does 23 divide i?
False
Suppose v + 19 - 34 = 0. Let g = v + 190. Does 6 divide g?
False
Suppose 4*t - 28180 = -4*m, -2*t = -m + 4*m - 14087. Is 34 a factor of t?
False
Suppose -24 = -t + 5*p, 0 = 2*t + p + 19 - 56. Let u(q) = q**3 - 17*q**2 - 19*q - 1. Let o be u(t). Let v = -188 + o. Does 27 divide v?
False
Does 49 divide 605670/65 + (-1 - 1) + 12?
False
Suppose -163007 + 22799 = -254*t. Is t a multiple of 86?
False
Let l = 23229 - 12529. Is 36 a factor of l?
False
Let k(v) = 74 + 23*v - 3 - v. Does 15 divide k(7)?
True
Let j(x) = x**2 + 4*x + 2. Let g be j(-2). Suppose 35*r - 1176 = -63*r. Does 11 divide (-51)/g*56/r?
False
Suppose 3480 = -11*q - q. Let l = -287 - q. Is 3 a factor of l?
True
Let z(h) = -99*h**3 + 2*h**2 + 3*h + 2. Let l be z(-1). Suppose 54 = w + 2*b, 2*w - 2*b - l = -4*b. Is w a multiple of 46?
True
Let o = 335 - -1285. Is o a multiple of 135?
True
Let c = -33 - -35. Let s(v) = v**2 + v. Let f be s(c). Suppose -108 = 3*a - f*a. Is 27 a factor of a?
False
Suppose i - 3*y = -173, 3*y + 167 = -i + 4*y. Let d be ((-80)/12)/(3/(-2 - i)). Is 9 a factor of ((-3)/4)/((25/d)/5)?
True
Suppose 3*l = 2*g + 19188, 604*g - 602*g + 31988 = 5*l. Is l a multiple of 20?
True
Is -5*(-12866 - 4)/10 a multiple of 117?
True
Suppose u - 2 = 3*c + 3, 3 = 2*u + c. Suppose h - 21 = 2*y, -81 - 24 = -5*h - u*y. Is h a multiple of 7?
True
Is (-11045)/(-4) + (38/(-88) - 262/(-1441)) a multiple of 228?
False
Let d(v) = 2*v**2 + 8*v + 5. Suppose -5*m = -s, 5*s = -m + 2*m + 24. Suppose -2*l + 13 = m. Does 15 divide d(l)?
False
Let s(p) = -13*p**3 - 11*p**2 - 17*p - 7. Let z be s(-7). Suppose 5*t + 3*d = 3525, 5*t + 487 = d + z. Does 75 divide t?
False
Suppose 0 = s + 17*p - 13*p - 2173, 3*s = -3*p + 6546. Let m = s + -1111. Is 17 a factor of m?
False
Let c be 0 + 4 + (-3)/3. Suppose -c*r - 4*r = -476. Suppose 0 = -3*g - y + 385 - r, -3*y = -3*g + 309. Is 35 a factor of g?
True
Is 243 a factor of (-129)/(-215) + 442268/20?
False
Let s(r) = r**3 + 18*r**2 + 39*r + 30. Let v be s(-16). Let i = 235 + v. Is i a multiple of 21?
False
Let d(z) = 1818*z**2 + 53*z - 168. Is 15 a factor of d(3)?
False
Let b(m) = -6*m + 18. Let l(a) = -a + 2. Let h be l(9). Let r be b(h). Suppose t - r = -5*f, -5*f + 38 = 4*t - 7. Does 13 divide f?
True
Let z = 29927 + -20366. Does 16 divide z?
False
Let y(u) = 16*u**2 - 22*u + 8. Let h be y(9). Suppose 4*p - h = -c, -2*p = 7*c - 3*c - 560. Does 5 divide p?
False
Is 6 a factor of 151429/21 + (-336)/(-3528)?
False
Let s = 23 - 20. Let i be (-1)/(s/(-15)*1). Suppose -5 = -i*m, n = -4*n - 2*m + 242. Is n a multiple of 11?
False
Suppose 59 = 5*j + 39. Suppose 2*y = -3*n + 22, -n - 4*y = -0*n - j. Suppose -4*u + 26 = 2*o - 388, 2*u + n = 0. Does 37 divide o?
False
Let u = 13 - 15. Let m be 47*(8/u)/4. Is 14 a factor of -3*12/9 - m?
False
Let q = -22 - -24. Let u(y) = 3*y**2 - 6*y**2 + 5*y**q + 2 + 0*y**2 + 14*y**3 - 3*y. Does 29 divide u(2)?
True
Suppose -s - 26 = -29. Suppose s*d - 729 = 216. Does 25 divide d?
False
Suppose -1765 = -22*x + 27*x. Let v = -105 - x. Does 8 divide v?
True
Let b = -12887 + 18379. Suppose 0 = -3*k - 9, -4*c - 2*k + b = -6*k. Does 10 divide c?
True
Suppose -4*m + 148904 = 5*l, -4*l - 4*m + 178688 = 2*l. Does 146 divide l?
True
Let u be ((-3)/(-6))/(5/(-10)). Let m(z) = -490*z - 2. Is 59 a factor of m(u)?
False
Let l be (-48)/(-264) + 10800/11. Let r = -538 + l. Is 79 a factor of r?
False
Suppose 17*t + 93685 - 552311 = 0. Is t a multiple of 41?
True
Suppose -81*a = -128*a - 99439 + 841851. Is 11 a factor of a?
True
Let t be (-3 - (-1 - 3))/((-4)/(-1060)). Let c = 477 - t. Does 23 divide c?
False
Let c = -360 + 591. Let u = c - 38. Does 9 divide u?
False
Let s(p) = 125*p**2 - 3*p - 1. Let k be s