 261782 = -33*u + 2442917. Is u a multiple of 73?
False
Let j be (4/(16/(-1098)))/(10/20). Let m = -393 - j. Does 6 divide m?
True
Is 50 a factor of 2993 + ((-1)/3)/((-28)/588)?
True
Suppose -5*h - a + 12 = -0*a, -h + 4 = a. Suppose h*j + 3 = u - 2, 4*u = 2*j + 2. Let t = 17 - j. Does 4 divide t?
True
Let g(i) = -7*i**3 + 3*i**2 - 15*i + 16. Let c be g(6). Let n = c - -2762. Does 12 divide n?
True
Suppose 4*y - 2*r = -40, -3*r = 1 - 7. Does 7 divide y/((-90)/44)*5?
False
Let t be 46/((-1)/(-2 + 0)). Suppose -76*n = -249 - 131. Suppose 394 = 4*i - 2*m, -20 = -i + n*m + t. Is i a multiple of 25?
False
Suppose 49*u + 91*u - 1355 = -4015. Let z(b) be the third derivative of -b**4/8 + 17*b**3/6 + b**2. Is z(u) a multiple of 10?
False
Let c = -1071 - 64. Let u = 1915 + c. Is 26 a factor of u?
True
Let q be (4/3)/((-42)/(-189)). Suppose 0 = -q*m + 7*m. Suppose m = 2*b + 5 - 57. Is b a multiple of 4?
False
Let b = 5 + 13. Is 3/2*120/b a multiple of 10?
True
Suppose 6*r + 793 + 329 = 0. Let f = r - -192. Is 3 a factor of f?
False
Let x = -25603 + 32193. Is x a multiple of 10?
True
Let d(i) = 12342*i**2 + 47*i. Does 152 divide d(1)?
False
Let f = 3968 - 3884. Is 12 a factor of f?
True
Let s = -188 - -227. Let b(m) = m**2 - 37*m - 58. Does 10 divide b(s)?
True
Suppose -v = -3*v, 0 = -3*i + 4*v - 3*v + 9792. Is i a multiple of 51?
True
Let l be 1 + 1/(4/(-160)). Let f be l/(-12) + 5/(-20). Let d(w) = 36*w - 3. Is 7 a factor of d(f)?
True
Let d = -115 + 130. Let v = -6 - -12. Let u = v + d. Is u a multiple of 6?
False
Let h = 661 - 649. Suppose -h*t + t = -3256. Does 37 divide t?
True
Let z be (1410/30)/((-56)/58 - -1). Suppose 0 = -7*k + 527 + z. Is 15 a factor of k?
True
Is (-93762)/(-198) + 30/(-55) a multiple of 2?
False
Is ((-42)/(-56))/(1 - (-4)/(73792/(-18442))) a multiple of 11?
False
Let x be (3*-2)/((-75)/(-1850)). Let b = 48 - x. Is 8 a factor of b?
False
Does 157 divide 12 + ((-7420)/700)/(1/(-2895))?
False
Suppose -129*q + 52*q + 17947 + 348573 = 0. Does 28 divide q?
True
Is 18 a factor of 4*11369*10/(-120)*-6 + 3?
False
Let r(v) = 11*v**2 + 9*v - 4. Suppose -d - 5*d = 30. Let k be (-1 - 1)/(((-10)/4)/d). Is 18 a factor of r(k)?
False
Let u = -11 + 16. Let v = -1451 - -1454. Suppose u*r - 74 = -2*x, v*r = 2*x - 7*x + 204. Is 3 a factor of x?
True
Let h be (-1)/3 - 2170/(-21). Let m be (7 + 0)/(-21) - 13/(-3). Suppose m*c - 5 = h. Is 13 a factor of c?
False
Let l(a) = -10*a - 33. Let g be l(-4). Suppose -g*w + 4333 = -1407. Is 10 a factor of w?
True
Let v be 7/((-56)/22)*-4. Let l(d) = d**3 - 7*d**2 - 20*d - 24. Does 12 divide l(v)?
True
Suppose 4*q - 71 = -5*p + 38, 2*q + 133 = 5*p. Suppose 185 = 5*f + p. Suppose 4*h - 76 = f. Is 9 a factor of h?
True
Let p(r) = 90*r**2 - 78*r + 402. Does 26 divide p(16)?
False
Let h(a) = a**3 + 10*a**2 - 32*a - 17. Let s be h(-10). Suppose -s*b + 290*b + 24973 = 0. Is b a multiple of 76?
False
Suppose -2*t + 14560 = 5*d, -2*d - 29*t + 5823 = -28*t. Is d a multiple of 31?
True
Let d(c) = 752 - 15*c + 0*c - 773. Does 2 divide d(-5)?
True
Let o be (-10)/(-3 - -1) + (4 - 7). Let g(i) = -5*i + 6 + 7*i**o - 13 + i + 6. Is 18 a factor of g(-3)?
False
Suppose 2*o - 6*h - 1191 = -5*h, h - 2367 = -4*o. Let q = 82 + o. Does 50 divide q?
False
Let l = -2712 + 62302. Is l a multiple of 118?
True
Let m(p) = 96*p**2 - 112*p + 723. Is 21 a factor of m(6)?
True
Let g = -724 - -1172. Suppose 5*j - 6*d + 8*d = 2267, j - 5*d = g. Let t = j - 205. Is t a multiple of 31?
True
Let x = 1573 + -1027. Let y = x + -255. Does 27 divide y?
False
Let c(k) = 22912*k + 4723. Is 62 a factor of c(2)?
False
Suppose 16*k = 20*k + 5*a - 39, -5*k - 3*a + 39 = 0. Suppose -2*h = -4*o + 624, k*o = o + 2*h + 782. Is 21 a factor of o?
False
Suppose -4*x = 2*a - 18, -a = -x + 1 + 11. Suppose 2 + x = 3*d. Suppose 3*w - 236 = -4*c, 8*c - d*c + 440 = 5*w. Does 28 divide w?
True
Suppose -39*s + 43*s - 36 = 0. Let h(f) = -f**2 + 10*f + 5. Let l be h(s). Does 3 divide 158/l + (-14)/49?
False
Let h be ((4 - 5) + 3)/(2/183). Suppose q - 2*q - m = -h, 3*q + 4*m - 554 = 0. Suppose q = 7*a - 536. Is a a multiple of 6?
True
Suppose 4*z + 64179 + 12539 = 3*n, -2 = -2*z. Does 12 divide n?
False
Let r(y) = 46*y - 9*y**2 + 15*y**2 - 3*y**2 - 37. Does 40 divide r(-21)?
True
Let v = 915 - -743. Does 29 divide v?
False
Suppose -100607 + 837663 = 129*x - 5*x. Is 8 a factor of x?
True
Let c = -6 + 41. Let h(l) = -l + 23. Let j be h(19). Suppose 253 = j*s - c. Is 6 a factor of s?
True
Is 19660/14 - (-52)/(-182) a multiple of 108?
True
Let p = 199 + -199. Suppose -27*f + 29*f - 44 = p. Is f a multiple of 11?
True
Let w(s) = 1095*s - 2789. Is w(32) a multiple of 55?
False
Suppose -6*d + 3103 = 10*d - 18705. Does 29 divide d?
True
Let h(t) = 4*t - 16. Let y be h(7). Suppose -3059 = -7*j - y*j. Does 15 divide j?
False
Suppose -1850 = 25*k - 35750. Is k a multiple of 5?
False
Let s = -36 + 41. Suppose -22 = -s*z + 8. Suppose z*t + 93 = 543. Is t a multiple of 14?
False
Let f be (-68)/(-4) - 3 - -2*2. Suppose 6*s = -3*s + f. Is (s/1 + -1)/((-8)/(-104)) even?
False
Let u(n) = n**2 - 1. Let x be u(-1). Suppose -20*i + 23*i - 27 = x. Suppose -240 = -15*p + i*p. Is 40 a factor of p?
True
Is (18 + 34)/((-2)/(-132)) a multiple of 44?
True
Suppose 80 = 5*q - 415. Suppose -3*f - 24 + q = 0. Let x = f - -6. Is 10 a factor of x?
False
Let a = 67 + -20. Suppose 577 + a = 6*n. Is ((-45)/5 - -5) + n a multiple of 10?
True
Let o = -31422 - -57518. Is o a multiple of 14?
True
Suppose a + 2*b = 3*a - 32, 0 = 4*a + 4*b - 32. Suppose 0 = -5*m + 2*s - a, 7 = -3*m + s - 0. Does 13 divide 370/30*(m/(-2) - -2)?
False
Let j(f) = -8*f**2 - 14*f + 34. Let t be j(-19). Is 36 a factor of 1/((4/t - 0)*-1)?
False
Is 5 + 2 - 43/(344/(-22848)) a multiple of 9?
False
Does 77 divide (-44*15/80)/(-3 + 213/72)?
False
Let f(w) = -1173*w - 525. Does 15 divide f(-20)?
True
Let a be 2/((-2)/2252*-4). Let l = a + -384. Let d = l - 71. Does 27 divide d?
True
Let d(h) = -7*h + 45. Let n(l) = 24*l - 137. Let t(j) = 11*d(j) + 4*n(j). Let f be 8 + -2 + 1 + 2. Is t(f) a multiple of 14?
False
Let n(c) = c**3 + 17*c**2 - 18*c. Let i be n(-18). Suppose -15 = 4*h - 5*m, i*m + 3 = 4*h + m. Suppose -7*o + 748 - 223 = h. Does 25 divide o?
True
Let z = -10 + 14. Suppose -g + z = -2*u + u, -4*g + 12 = -2*u. Suppose -4*q - a + 96 = 0, 29 + 19 = g*q + a. Is 16 a factor of q?
False
Suppose -32*r + 73924 + 37692 = 0. Is r a multiple of 16?
True
Let d = 3824 + 1676. Does 12 divide d?
False
Does 36 divide (-34 + 39 - (1 - -5))*-5951?
False
Suppose 4*h = -5*z + 33185, -h - z + 8062 = -235. Is 108 a factor of h?
False
Let y = -27600 + 49644. Is 162 a factor of y?
False
Let s be 39*(-4)/(-6) - 6. Suppose 0 = -s*t + 5533 + 2167. Is t a multiple of 77?
True
Let g(x) = x**3 + 4*x**2 - 7*x - 7. Let c be g(-5). Suppose 0 = 7*h - c - 18. Suppose -h*u = -2*u - 34. Is u a multiple of 4?
False
Let g(b) = b**2 + 63 - 179*b + 66*b + 89*b. Let x be g(21). Suppose x = 19*t - 660 - 2304. Does 19 divide t?
False
Suppose 3*u - 42 = 4*a, 5*u - 71 = -2*a + 25. Suppose -55 = -n + 106. Suppose u*y = n - 17. Does 6 divide y?
False
Suppose -4*v + 0*v - 60 = -2*n, 5*n - v = 123. Does 19 divide 5/(20/n) - 51*-1?
True
Let z = 46779 + -33297. Does 7 divide z?
True
Let m(t) = 26*t - 104. Suppose 2*r = -5*r + 112. Does 24 divide m(r)?
True
Let h = 51 + 31. Suppose -81*i = -h*i + 190. Is i a multiple of 19?
True
Suppose -2*a = 6*a + 72. Is ((-150)/4)/((-7)/(a - -37)) a multiple of 11?
False
Suppose -145154 = -58*q + 169*q - 384914. Is 48 a factor of q?
True
Suppose -4*d = 4, 0 = 3*s - 5*d - 28 - 7. Is 12 a factor of (-15 - 5931/45)*s/(-2)?
False
Let z = -24 - -32. Suppose z = -l + 13. Suppose 18 - 3 = l*n. Is n a multiple of 3?
True
Suppose 3*o + 6128 = 5*v, 3*o = 8 + 4. Is 4 a factor of v?
True
Suppose 0 = 3*i + 18, 5*r + 19*i - 62265 = 24*i. Is r a multiple of 152?
False
Suppose 0 = -815*t + 828*t - 47893 + 1249. Is t a multiple of 69?
True
Suppose -s + t = 23, -3*s = 6*t - 3*t + 63. Let l = 90 + s. Is l a multiple of 2?
True
Suppose -127*a + 969 = -124*a. Is a a multiple of 8?
False
Suppose 4*m + 208 = 9*m - j, m - 32 = -3*j. Let u(x) = x**2 - 41*x + 24. Does 8 divide u(m)?
True
Let m = 79 - 79. Suppose -5*r + 4*u + 4096 = -0*u, m = -4*r + 3*u + 3277. Does 18 div