s 55 divide t?
False
Suppose -5*r + 24280 = 5*c, 24285 = 5*c + 6*r - 2*r. Does 36 divide c?
False
Let b(u) = -201*u + 8. Let i be b(-4). Suppose -i = -w - 67. Suppose -w = -7*x - 255. Does 7 divide x?
True
Let l(u) = 20*u**3 + 19*u**2 - 61*u + 10. Is 52 a factor of l(6)?
False
Does 21 divide (-11)/(-33) + (6008/6)/2?
False
Let h = -336 - -827. Does 2 divide h?
False
Let x = 1515 + -679. Let c = x - 396. Is c a multiple of 22?
True
Suppose -9*l + 5*l - 12 = 0. Let r be -9*(l + (-32)/(-12)). Suppose -r*q + 2*h + 119 = 0, 5*q - 215 = -4*h - h. Does 11 divide q?
False
Suppose -2*k = 4*y - 20, -5*k + 5*y = -67 - 13. Suppose 4*w = -2*z + 558, k*w - 13*w = 3*z + 129. Is 14 a factor of w?
False
Suppose 8465 = 5*p - 5*i, 4*i + 2158 = -2*p + 5526. Is 33 a factor of p?
False
Let t(p) = -441*p - 2528. Does 3 divide t(-8)?
False
Let j(d) = d**3 - 47*d**2 - 54*d + 1062. Is j(48) a multiple of 6?
True
Suppose 5*j - 2*u - 334 = 0, j - 52 = -u + 12. Suppose -z = -4*z + j. Suppose -225 = 17*f - z*f. Is f a multiple of 10?
False
Let v(y) = 4*y**2 + 120*y - 634. Does 54 divide v(56)?
True
Suppose -5*f + 3*n + 282 = -62, -5*n - 130 = -2*f. Suppose 3*x = -4*g - 39 + 197, 2*g - 3*x - f = 0. Does 2 divide g?
True
Suppose 6*d - 1152 = 5*d. Suppose 2*r = -s + 278, -9*s + 5*s + 2*r + d = 0. Does 42 divide s?
False
Is 15 a factor of 3294/24*(-57340)/(-141)?
True
Let m(x) = -27*x + 15. Let h be m(0). Suppose h*u + 2829 = 12729. Is u a multiple of 13?
False
Suppose 0 = 69*i - 72*i + 11679. Is i a multiple of 31?
False
Suppose -2*z - 2*f = -35000, 1820 = -z - 4*f + 19326. Is 26 a factor of z?
True
Suppose l - 5 = -p, p - l + 1 = -4. Suppose -2*r - 4*o - 68 = p, 2*r + 5 = -o - 63. Let k = 50 + r. Is 5 a factor of k?
False
Suppose 17*s = 14*s + 3*y + 555, 4*s + 3*y - 768 = 0. Is 9 a factor of s?
True
Let x = 64410 - 15603. Is 20 a factor of x?
False
Let p = 7418 + -2433. Does 152 divide p?
False
Is 27 a factor of (10/6)/((38/(-19))/(-14651 + -1))?
False
Let w(s) = s**3 - 25*s**2 + 148*s - 9. Is 129 a factor of w(24)?
True
Suppose 2*u = -8*u + 60. Suppose -2 = f, u*d - 1190 = 4*d - f. Is 19 a factor of d?
False
Suppose r = -2 + 11. Suppose r*o - 10 = 4*o. Is o - ((-16)/(-88) + (-1388)/11) a multiple of 16?
True
Suppose -33*x + 118435 = -106988. Is 23 a factor of x?
True
Suppose -2*g + 6462 = -8*t + 12*t, 3*g = 2*t - 3203. Is 157 a factor of t?
False
Let m(d) = 3431*d + 12701. Is 88 a factor of m(9)?
False
Does 15 divide (-7266)/(-4) + 42/(-28)?
True
Suppose 10*n - 2298 = 362. Is 14 a factor of n?
True
Suppose -62*x = -54*x - 128. Suppose 1695 = -x*s + 8655. Is 5 a factor of s?
True
Let k = -7261 + 16549. Does 9 divide k?
True
Suppose 0*v + 2*v + 36 = 0. Let c(u) = u**3 + 24*u**2 - 310*u + 17. Let l be c(9). Let a = v - l. Is a a multiple of 13?
False
Let s(g) = -g**3 - 22*g**2 + 34*g + 10. Let q be s(-10). Let b = 2295 + q. Is 15 a factor of b?
True
Let j(h) = 127*h**3 + 2*h**2 + 24*h - 78. Is 47 a factor of j(4)?
True
Suppose -l + 17561 = -8*f, l - 4*f + 4226 = 21767. Is l a multiple of 72?
False
Let y = -3266 + 6269. Is 15 a factor of y?
False
Suppose 0 = m - 5, 5*m - 41 = -n + 4*m. Let c(y) = 2*y**3 + 7*y**2 - 2*y - 31. Let f be c(-3). Let b = f + n. Does 5 divide b?
True
Let x(i) = 17 - 20*i - 38*i**2 + 97*i**2 - i**3 - 46*i**2 - 2. Let j(s) = -s**3 + 5*s**2 + s + 6. Let n be j(5). Is 37 a factor of x(n)?
True
Suppose 0 = 4*a - 30*z + 25*z - 50681, -2*z - 25338 = -2*a. Is 11 a factor of a?
False
Let q be (-4)/(-7) - 1540/(-49). Suppose -q*b - 2196 = -8404. Is 5 a factor of b?
False
Suppose 2*f - 1075 = m, 0 = -3*m - 3 + 18. Let x = f - 272. Is 10 a factor of x?
False
Suppose p - 4*y - 2983 = 0, 2*p - 3*y - 790 - 5156 = 0. Does 3 divide p?
True
Suppose 5*x + 2*m = -2*m + 25, -5*m = -3*x + 15. Suppose 588 = -x*b + 6013. Does 4 divide ((-2)/8)/(b/364 - 3)?
False
Suppose 0 = -2*s - c + 17, 0*c = -4*s - 3*c + 29. Suppose -4*d - 4*v = -5*d + 3, d - 2*v = s. Suppose -27*k = -d*k - 952. Is 13 a factor of k?
False
Suppose 3164 = -8*m - 1460. Let z = 852 + m. Is z a multiple of 11?
False
Let a(v) = 2*v + 6. Let w(q) = -q - 5. Let t(o) = 5*a(o) + 6*w(o). Let l be t(6). Let u = 0 + l. Is u a multiple of 3?
True
Let u be ((-4)/(-3))/((-30)/(-45)). Suppose -u*l = 3*x - 77, -5*l + 5*x = -l - 165. Does 8 divide l?
True
Let t(m) = 8310*m - 64. Is 31 a factor of t(1)?
True
Let c(a) = -a**3 - 5*a**2 - 7*a + 1. Let s be c(-5). Let w(f) = 12*f**3 + 10*f**3 + 0*f - f + s - 21*f**3. Is w(0) a multiple of 9?
True
Let z be (-322)/21 + (-10)/(-3) + -2. Does 83 divide 40/(-140) + (-18036)/z?
False
Let a be 22/33 + (-26)/(-6). Is 19 a factor of (-6 - (-28)/a)*-390?
False
Suppose 7*t - 1 = 6*t + p, t - 7 = -5*p. Suppose 45 = -t*h + 131. Is h a multiple of 4?
False
Let y = -556 + 601. Suppose -14777 = -y*a - 737. Is 26 a factor of a?
True
Let d(f) = -4*f**3 - 11*f**2 - 101*f - 767. Does 2 divide d(-8)?
False
Suppose 5049 = -8*b + 75249. Is 98 a factor of b?
False
Suppose 0 = -2*p + p - 3*n + 11, -5*p + 3*n = -1. Suppose r - d - 15 = -6*d, 0 = p*d - 6. Suppose 8*t - 288 = -r*t. Is t a multiple of 12?
True
Suppose 0 = 11*d - 7*d + 20. Let r = 32 - d. Is 37 a factor of r?
True
Let r be -1*(-2 - -3 - 28). Let i(h) be the third derivative of h**6/120 - 13*h**5/30 - 9*h**4/8 + 23*h**3/6 + 402*h**2 - h. Is i(r) a multiple of 10?
False
Let y = 5742 + -2902. Is 40 a factor of y?
True
Suppose -3*o - 4*z + 34266 = 0, 0 = 4*o + 7*z - 10*z - 45738. Is o a multiple of 7?
False
Let d = 11 + -16. Let m = 13 + d. Suppose 0 = m*u - 342 - 162. Does 13 divide u?
False
Suppose -d + 720 = f, 4*f = 6*d - 11*d + 3599. Let g = d + -513. Does 25 divide g?
False
Suppose -473*g = -450*g - 40227. Is g a multiple of 11?
True
Let m = 1668 + -2466. Is 22 a factor of 1/(2/7 + m/2842)?
False
Does 11 divide 491863/30 - 6/18 - (-2)/(-20)?
False
Let a = -25514 + 27197. Is 11 a factor of a?
True
Let j = 5532 + -3100. Is 111 a factor of j?
False
Let a(r) = 2*r**2 - 24*r - 350. Is a(-50) a multiple of 25?
True
Is 90 a factor of -2 + (7 - (-12694 + 9))?
True
Let s(n) = -398*n + 1664. Does 22 divide s(4)?
False
Let u be 3 + (-3 - 98)*1. Let t = u - -97. Is (-344)/10*t + 90/(-225) a multiple of 17?
True
Let j(o) = -5*o**3 - 31*o**2 + o + 15. Let f be j(-6). Let x(k) = 10*k. Let m be x(-4). Let u = f - m. Is 4 a factor of u?
False
Let v(r) = 48 + 0*r + 56 - 3*r + 46. Does 37 divide v(-24)?
True
Let x(z) be the first derivative of 10*z**3/3 - 31*z**2/2 + 7*z - 71. Is x(8) a multiple of 45?
False
Suppose 0 = -5*z + 5 - 30, 3*g - 5*z = 928. Is g a multiple of 7?
True
Suppose 0 = -4*m - 5*c + 4*c + 281, 0 = 3*m - c - 209. Let l = -167 + 247. Suppose l = 5*t - m. Does 30 divide t?
True
Is 0 + 18 - (4 + -3137) a multiple of 29?
False
Let a = -5655 + 15094. Is 34 a factor of a?
False
Suppose v - 32 = -2*j, -2*v - 3*j = -86 + 21. Does 40 divide -24*51/v*20/(-3)?
True
Let t(x) = x**2 + 4*x - 13. Let s be t(6). Let h = -42 + s. Suppose 4*i - 213 = c + 2*c, h*c + 168 = 3*i. Is i a multiple of 14?
False
Let d(z) = -205*z - 58. Let c be d(-5). Is (2 - (-11)/(-4)) + c/4 a multiple of 11?
False
Let x = 10066 - 7028. Is 14 a factor of x?
True
Let l(f) = 56*f - 4. Let u be l(-4). Is (u/3)/((-4)/22) a multiple of 38?
True
Let c(q) = 190*q - 6052. Is 37 a factor of c(58)?
False
Let r(c) = 8*c**2 + 111*c - 1190. Is 16 a factor of r(10)?
True
Let g(f) = -f**2 + 45*f - 45. Let n be g(39). Let w = n + 578. Is w a multiple of 59?
True
Suppose -168 = -22*x + 3308. Let i = x + 80. Is 14 a factor of i?
True
Let w(i) = 414*i - 7913. Is 29 a factor of w(159)?
True
Suppose -267 = -4*p - f, 6*f = -5*p + f + 330. Suppose -p*b = -58*b - 2754. Is 17 a factor of b?
True
Let k = -12 - -12. Let s(g) = -g**3 - 2*g - 13. Let m be s(k). Let w = m + 25. Does 3 divide w?
True
Let o(x) = 13*x + 25. Let d be o(2). Let f = 170 + d. Does 13 divide f?
True
Suppose 146*v + 1952279 - 6272419 = 0. Is v a multiple of 77?
False
Let p = 7 - 37. Let h be p/(-9) + 2/3. Let m(o) = o**3 + 5*o**2 + 6*o - 18. Is m(h) a multiple of 25?
True
Let t(v) = -8*v - 288. Let w be t(-36). Suppose 3*b - 3*o - 1515 = w, 20*b + 2021 = 24*b - 3*o. Does 23 divide b?
True
Let n(h) = 724*h - 8389. Does 273 divide n(64)?
True
Let p be 6 + -3 + -3 + (14 - 1). Suppose 2*d - 13 = w - d, -4*w - d = p. Is 36 a factor of 