factor of (48/(-18) + 5)*2*(2061 + -6)?
True
Let x(s) = -6*s**2 + 23*s - 53. Let m(z) = -3*z**2 + 11*z - 27. Let l(p) = -5*m(p) + 2*x(p). Does 47 divide l(13)?
False
Let w be (-3 + 12/2)/1. Suppose 8*t - w*t + 18 = 2*h, 0 = 5*t + 10. Suppose -2 = -2*f, -h*n = -f - 0*f - 43. Is n a multiple of 2?
False
Suppose -24*v - 28*v = -28*v - 41712. Does 3 divide v?
False
Let j = 45171 - 22200. Does 13 divide j?
True
Is 69 a factor of -4 - (-6 + (11 + -15)/(10/4135))?
True
Let b(h) = 27*h**2 + 2*h + 8. Suppose 31*v = 5 - 98. Is 7 a factor of b(v)?
True
Suppose 21*h - 23*h + 2 = 0, 0 = b + 8*h - 9122. Is 10 a factor of b?
False
Suppose -4*y + 22 = 5*l, -2*y - l = -4*l. Is 47 a factor of (94/y)/((-9)/((-2052)/8))?
True
Let m = -168 + 168. Suppose m = -4*o + 16, -4*o - 7 = -t + 48. Does 42 divide t?
False
Suppose 127 = 12*s + 19. Suppose s*f = 628 + 317. Is 11 a factor of f?
False
Let y be 1*305/(-20) - 3/(-12). Is 60 a factor of (225/(-10))/y*24*25?
True
Let f(a) = 18*a**2 - 20*a + 28. Let x be f(-7). Suppose g = -0*g + x. Is g a multiple of 40?
False
Suppose -3*l + b - 748 = 339, 3*l = -2*b - 1084. Let k = l + 420. Does 3 divide k?
False
Let d = -99805 + 150088. Is d a multiple of 37?
True
Suppose 0 = -4*q + 10*q + 312. Let a = q + 80. Does 12 divide (4 + 20/(-14))*a?
True
Suppose -4*m = -0*m - 72. Suppose -7*z + z + 90 = 0. Suppose z*s - m*s = -165. Does 18 divide s?
False
Suppose -913384 = -93*z + 232376. Is 80 a factor of z?
True
Let x be (-69)/(-6) + (-6)/4. Let m(b) = 2*b**3 - 4*b**3 - 2 - 5 - 6*b - x*b**2 - 2*b. Is m(-5) a multiple of 5?
False
Let s(z) be the second derivative of z**4/12 - 5*z**3/3 + 15*z**2/2 - 13*z. Let v be s(10). Suppose -v*p + 26*p - 154 = 0. Is 5 a factor of p?
False
Suppose -8*t - 16067 = 9*t - 119852. Is 17 a factor of t?
False
Suppose -13231 - 1679 = -70*l. Is 31 a factor of l?
False
Suppose 6*h = 8*h + 122. Let j = h + 70. Is 20 a factor of (-3)/j + (-295)/(-3) + 2?
True
Let t(s) = -5*s - 2. Suppose d - 131 = 4*k + 2*d, 3*k + 2*d = -102. Is t(k) a multiple of 9?
False
Let g = 17 + -10. Let m be -219*8/(-12) - 6. Suppose -5*r - m = -g*r. Is r a multiple of 10?
True
Let o = -24 - 15. Let y = o + 51. Is (-2)/(-12) + 1342/y a multiple of 14?
True
Let g(i) = 2*i**3 + 6*i**2 - 16*i + 11. Let d be g(6). Let k = d - 382. Is 5 a factor of k?
False
Suppose l + 4*f = 7, 5*l + 2*f = -f + 18. Suppose l*j - 2*j + 3*n = 281, 5*n = -j + 275. Is 29 a factor of j?
True
Let k(x) = -8*x + 24. Let r(w) = 7*w - 25. Let v(m) = -5*k(m) - 6*r(m). Let n be v(-15). Is 16 a factor of (2568/n)/((-2)/(-10))?
False
Suppose 16*d + 18 = 210. Let c(l) = 7*l - 68. Is c(d) even?
True
Suppose 6*g + 2*g + 248 = 0. Let x = 139 + g. Suppose 9*y - x = 5*y. Is y a multiple of 5?
False
Suppose -96 = 2*x + 378. Let j = x - -459. Does 62 divide j?
False
Suppose -5*l = p + 25, 2*p - 2*l + 0*l - 10 = 0. Suppose 5*u - 3*i = -191, -5*i = -5*u - p*i - 185. Let n = u + 62. Does 22 divide n?
True
Let u = -260 + -321. Let r = u + 1091. Is 10 a factor of r?
True
Let c be (-9)/(216/16)*9/2. Let m = c + 106. Does 9 divide m?
False
Suppose 55*r - 619 = 41. Suppose 4*k + 8*c - 3*c - 80 = 0, -4*c - 80 = -4*k. Suppose 0 = -r*h + k*h - 2280. Does 57 divide h?
True
Suppose 55 - 37 = 3*t, q = t + 10758. Is q a multiple of 299?
True
Let a(d) = -301*d + 317 - 71*d - 290. Is a(-4) a multiple of 33?
False
Let t(b) = -4*b - 6. Suppose 5*s - 10 = -3*d, 0*d = -5*s + 2*d - 15. Let n be t(s). Let c(r) = -7*r**3 - 5*r**2 - 3*r - 2. Is 20 a factor of c(n)?
True
Let d be (-2 - -1)/(4 - (-14)/(-4)). Let o be (-4)/(-2)*(d/(-4) - 0). Does 13 divide 3*o/4*52?
True
Let t = -32 + 34. Is ((-12)/48)/(t/(-168)) a multiple of 7?
True
Let q = 1485 - 1307. Is 12 a factor of q?
False
Suppose -6 = 4*b + 90. Let r(m) = 32*m + 20. Let p be r(-7). Let k = b - p. Is 36 a factor of k?
True
Let n = 8706 + 18654. Does 285 divide n?
True
Let r(y) = 2 + 16 - 113*y + 68*y + 68*y. Let a(s) = s**3 + 5*s**2 + 3*s - 2. Let j be a(-4). Is 16 a factor of r(j)?
True
Let r(y) = 2*y**3 - 13*y**2 + 6*y - 125. Is 39 a factor of r(13)?
False
Let j(u) = -18*u**3 + 5*u**2 + 8*u - 5. Let m(i) = -36*i**3 + 9*i**2 + 14*i - 10. Let q(g) = -5*j(g) + 3*m(g). Is 13 a factor of q(-2)?
True
Let o = 9765 + -4098. Does 18 divide o?
False
Let c = 16954 - -17556. Does 17 divide c?
True
Let d = -46980 + 65886. Does 23 divide d?
True
Suppose -47*p - 33872 = -89332. Does 59 divide p?
True
Let l(x) = -6 + 5524*x + x**2 - 33 - 5528*x. Is 12 a factor of l(17)?
False
Suppose u = -2*b + 2292, -4*u = 667*b - 671*b - 9144. Does 16 divide u?
True
Suppose 4*n = 2*g - 48996, -86*n = 4*g - 91*n - 98010. Is 95 a factor of g?
True
Let u be 2*(27/2 + -1). Suppose 20*k - u*k = 0. Suppose k = -x + 6 + 2. Is x a multiple of 3?
False
Suppose 112 = -2*t + 4*x, -4*t = -3*x - 125 + 334. Does 16 divide 854/4 + (-25)/t?
False
Let l(k) = 10*k**3 + 2*k**2 - 16*k + 6. Let u be l(4). Let s = -430 + u. Is s a multiple of 23?
True
Suppose s - 930 + 681 = 0. Is 2 a factor of s?
False
Suppose -45*h + 39*h + 2082 = 0. Let y = 109 + h. Is y a multiple of 12?
True
Let f be 3 + -1 + 0 + (-12)/(-4). Suppose 86 - 30 = f*y + 3*d, y - 6 = 2*d. Suppose 8*c - y*c + 162 = 0. Does 10 divide c?
False
Let c = 507 + -859. Let g = c + 592. Is 15 a factor of g?
True
Let j = 189 + -191. Is ((-12)/(-27))/j - 3244/(-18) a multiple of 18?
True
Suppose -6*q - 15 - 183 = 0. Let b = q + 33. Suppose d = 3*m - 5*m + 100, 2*d - m - 190 = b. Does 16 divide d?
True
Let q = -31 - -44. Let u(h) = 55*h - 204. Is u(q) a multiple of 73?
True
Suppose 136610 + 1112931 = 39*p + 34*p. Is 89 a factor of p?
False
Suppose -4*w + 3158 + 1442 = 0. Suppose 200 + w = 9*u. Is u a multiple of 34?
False
Let g(m) = -m**2 + 5*m + 1659. Let l be g(0). Is (l/(-14))/(6/(-8)) a multiple of 17?
False
Let l(r) = -39*r + 4816. Does 19 divide l(47)?
True
Let h(p) = -50*p - 30. Let x be 1/(((-24)/78)/4). Does 20 divide h(x)?
True
Is 3 a factor of (-3)/(-27) - (-13 - (-403104)/(-54))?
False
Suppose -20*g = 45*g - 227695. Is 31 a factor of g?
True
Let r(j) = -j - 13. Let y(s) = -2*s - 27. Let l(d) = -13*r(d) + 6*y(d). Let z be l(-19). Is 8/z*-3 + 49 a multiple of 10?
False
Suppose -27 = -3*g - 6. Suppose g*t - 945 = -175. Is t a multiple of 11?
True
Let t = 163 - 133. Suppose -5*v + 5*r = -t, -v - r + 15 = r. Suppose v = 2*l - 75. Is 14 a factor of l?
True
Let p = 1943 + -1300. Let z = -294 + p. Is 54 a factor of z?
False
Suppose -18*x = 2*s - 12*x - 34, -s + x - 3 = 0. Suppose -2*q = 3*q - 1675. Suppose q = -s*t + 7*t. Does 10 divide t?
False
Suppose -2*f + 6 = 4*z, -f = 2*f + 15. Suppose -z*o + 0*o = 4*m - 100, -5*o = -2*m - 111. Suppose o*s - 15*s - 24 = 0. Is 2 a factor of s?
False
Suppose -26 = -2*d + 6*d + 2*c, -2*c + 2 = 0. Let n(y) = 25*y**2 + 18*y + 13. Does 15 divide n(d)?
False
Suppose -145*v + 62*v = -133132. Is 8 a factor of v?
False
Let v(p) = -43*p**2 + 3*p + 1. Let o be v(-1). Let w = 100 + o. Suppose -2*i + 3*j + 17 = -w, 5*j = -4*i + 188. Does 6 divide i?
True
Suppose -i = -5 + 6. Let k be i/(-3)*(0 - 0/(-2)). Suppose k = 3*j - 427 - 437. Is j a multiple of 18?
True
Let c = 20 + -16. Suppose c*y - 72 - 12 = 0. Is 459/y + (-3)/(-21) a multiple of 5?
False
Let p(q) = -8*q**2 + 922*q - 184. Is 12 a factor of p(96)?
False
Suppose -10*w + 3 = -2*n - 7*w, 0 = -5*n + 5*w. Suppose -4*g - 684 = -2*u, n*u - 14*g + 15*g = 1061. Does 51 divide u?
False
Suppose -4*u + 0*b + 759 = 3*b, u - 186 = 3*b. Let w = u + -176. Is w even?
False
Let o(d) = 9*d**2 - 89*d + 9. Let k = 3 + 8. Does 17 divide o(k)?
True
Suppose 129779 = 15*c - 47861 + 25390. Is c a multiple of 50?
True
Suppose 236*f - 200926 = 225*f. Is f a multiple of 216?
False
Suppose -1 = -6*o + 41. Suppose j = 4*c + 212, -443 + o = -2*j + 2*c. Does 22 divide j?
True
Suppose h = 5*o - 6, -o + 2*o = 4*h - 14. Suppose -3*d - 5*v - 50 = -h*d, 2*d + 5*v - 115 = 0. Suppose -2*s - d = -337. Is s a multiple of 27?
False
Is (4/15)/(17/(-7293))*-40 a multiple of 44?
True
Let t = 36 - 28. Let f(d) = 2*d**2 - 10*d + 72. Is 24 a factor of f(t)?
True
Suppose 341*q = 377*q - 567608 - 710248. Does 12 divide q?
True
Suppose -23*p + 8498 + 1967 = 0. Let k = -65 + p. Is k a multiple of 26?
True
Suppose 47*b = -2*p + 49*b + 49204, 10*b = -4*p + 98352. Is 20 a factor of p?
False
Let m = 2144 - 3