or of l(-7)?
True
Suppose -4*c = -6*c + 3*x + 31, 4*x = -20. Suppose -c = 2*v - 8. Suppose -11*u - u + 288 = v. Does 4 divide u?
True
Let g(o) = -o**2 + 3*o + 8. Let z be g(4). Let i be (4 - 28/z) + -88. Does 29 divide (2 + i/2)/((-7)/14)?
True
Suppose 5*f = -3*p + 94, 0 = -f + 5*f - 2*p - 84. Suppose 2*x + f = 4*x. Suppose -17*a + x*a + 280 = 0. Does 10 divide a?
True
Let k(x) = 4*x**2 + 9*x - 6. Let m be k(6). Suppose m = -14*f + 18*f. Is 9 a factor of f?
False
Let f(d) = -54*d - 106. Let b be f(-2). Let j be ((-6)/(-8))/((-1)/4). Is 10 a factor of (b + j)*-18 - 8/(-4)?
True
Let o = -556 + 576. Suppose 211 = -o*j + 7111. Is j a multiple of 23?
True
Suppose 4*m - 126288 = -4*f, -3*f + 75906 = m - 18806. Is f a multiple of 55?
True
Is ((-95825)/(-50))/((-5)/(-30)) a multiple of 212?
False
Let d = 12 - 8. Suppose i = -3*r - 12 + 178, -d*i - 77 = -r. Is 9 a factor of r?
False
Suppose 0 = -8*f + 10*f - 4*n - 1528, -4*f = 5*n - 3082. Suppose -5*l + 6*l = 0, 3*r = 3*l + f. Is r a multiple of 13?
False
Let c be (24/32)/((-2)/(-1480)). Let d = c - 301. Is d a multiple of 9?
False
Suppose 15*t + 48 = 12*t. Is 240 + (6 - t/(-4)) a multiple of 63?
False
Suppose 371 = -14*b + 1015. Suppose -b*y + 16*y = -19320. Is y a multiple of 46?
True
Let z(x) = -x**3 - 22*x**2 - 48*x - 299. Is z(-24) a multiple of 5?
True
Let a = 1103 + -356. Is 20 a factor of a?
False
Let n(l) = 32*l**2 + 542*l - 13. Does 70 divide n(-27)?
False
Let s(c) = c**3 + 12*c**2 + 29*c - 2. Let r be s(-4). Let x = r + -4. Does 6 divide x?
True
Suppose -5*b - 24*n = -21*n - 59247, 0 = -n - 1. Is b a multiple of 10?
True
Let y(u) be the second derivative of u**4/12 - 11*u**3/6 + 3*u**2 + 28*u. Let q be y(10). Let z(a) = a**3 + 5*a**2 + 2*a + 3. Is 11 a factor of z(q)?
True
Let m(g) = -59 + 3*g - 10*g + g**2 + 55. Let b be m(11). Is ((-9)/2*4)/((-30)/b) a multiple of 4?
True
Let m(h) = -h**2 - 8*h + 4. Let c(q) = 5*q - 2. Let w be c(-1). Let v be m(w). Is 12 a factor of 217/2 - v/22?
True
Is (((-56)/20)/(64/8480))/(1/(-5)) a multiple of 35?
True
Suppose 6736 = 4*m - 4*i, 0 = -7*m + 3*m - 4*i + 6696. Let h = m - 731. Does 25 divide h?
False
Suppose -4*u + 3002 + 606 = 0. Let b = u - 598. Is 16 a factor of b?
True
Let y = 234 + -231. Suppose 722 = 2*u - l + y*l, u - 377 = -5*l. Does 17 divide u?
True
Let y be 496/16*(0 - -1). Does 21 divide (y - (6 - -7))*70/3?
True
Suppose -6*c = -19*c - 8*c + 6720. Does 4 divide c?
True
Suppose -378482 = -42*s - 60038. Is s a multiple of 112?
False
Let h(u) = 5*u + 30. Let d be h(-6). Let v be (-1 - 2)*((-175)/21 - -7). Suppose d = 3*a + x + x - 194, -v*a + 4*x + 232 = 0. Does 13 divide a?
False
Let u = 0 + 5. Suppose c + 6 = 5*q - 11, u*c + 10 = 0. Suppose -3*o - 5*s = -0*o - 157, 105 = 2*o + q*s. Is 18 a factor of o?
True
Let m = 54 + -94. Let b = -36 - m. Suppose b*i = 2*c + 158, -5*c - 3 = -8*c. Is i a multiple of 10?
True
Suppose 5*o = -0*o + 1250. Suppose 47*g + 36 = 51*g - 2*n, n = -g + 6. Suppose -g*m - o = -1042. Is m a multiple of 18?
False
Let v(h) = 15*h**2 + 79*h - 548. Does 74 divide v(7)?
True
Let w(a) = -703*a + 127. Does 88 divide w(-3)?
False
Let m(s) = -3*s**3 + 17*s**2 + 20*s - 34. Let y be m(-10). Suppose 11*d - y + 1078 = 0. Is 14 a factor of d?
True
Let k = 5374 + -3682. Is k a multiple of 10?
False
Let d(k) = 2*k**2 - 39*k + 123. Let u be d(28). Let j = -357 + u. Is j a multiple of 11?
True
Let a(y) = 35*y**2 - 5*y - 86. Let x(s) = s**3 + 4*s**2 - 7*s - 17. Let t be x(-5). Is a(t) a multiple of 19?
False
Let h = 17457 + -11817. Is h a multiple of 94?
True
Let k be (-5 + 1)/(23/(-69)). Let a(b) = -b**3 + 12*b**2 + 3*b + 34. Does 12 divide a(k)?
False
Let k(s) = 4*s**2 - 124*s - 600. Does 50 divide k(56)?
True
Let b(o) = -4*o - 18. Let r be (2 + (-20)/8)/(4/80). Is b(r) a multiple of 2?
True
Suppose 25*n + 1119 = 26*n - 4*q, 4*n + 6*q = 4432. Does 19 divide n?
False
Suppose -172*s - 103706 + 430522 = -257984. Is 50 a factor of s?
True
Let x(m) = 7*m + 55. Let p = 46 - 57. Let v be x(p). Is 11 a factor of (v/(-3))/((-8)/(-252)*7)?
True
Suppose 106*o = -32*o + 86*o + 734760. Is o a multiple of 35?
False
Let i = -81 - -81. Let m be (-4 - 0)*(i - (-15)/(-12)). Suppose m*x - 275 - 125 = 0. Is x a multiple of 8?
True
Let o(u) = 2*u**2 - 53*u + 3384. Is 141 a factor of o(0)?
True
Let f = 32988 + -30730. Is 6 a factor of f?
False
Let a(t) = 10*t + 16. Let j be a(0). Suppose -21*b = -j*b - 650. Is b a multiple of 26?
True
Suppose 3*l = 70 + 179. Let z = -80 + l. Suppose 0*y - 258 = -2*i + 5*y, 0 = -z*i + 2*y + 376. Does 31 divide i?
True
Let u(c) = -3170*c - 3038. Is 11 a factor of u(-6)?
False
Let h = -8040 - -14899. Is 53 a factor of h?
False
Let g(y) = -3*y + 1. Let h(v) = 14*v - 5. Let x(a) = 11*g(a) + 2*h(a). Let f be x(-1). Suppose 0 = 5*m - f*m + 29. Is 23 a factor of m?
False
Let y = 10 - 9. Let m be y + (6/(-2) - 104). Let b = 187 + m. Does 13 divide b?
False
Suppose -15 - 1 = -4*a. Let c(x) = -5*x**2 - 41*x + 11. Let m(g) = 3*g**2 + 21*g - 6. Let r(y) = a*c(y) + 7*m(y). Is 3 a factor of r(18)?
False
Suppose -765 = -14*u + 69 + 174. Is 4 a factor of u?
True
Let l(m) = 2*m**3 - 42*m**2 + 86*m - 69. Does 135 divide l(23)?
False
Let u be -6 + (363 - (-5 + 0)). Suppose -3*o + u = -2*x, -o - x + 134 = x. Is 62 a factor of o?
True
Let y(f) = 3*f**2 - f - 43. Suppose -3*o = 45 - 6. Is 28 a factor of y(o)?
False
Suppose 16*n + 15028 = 20*n + 2*l, 5*n - 18803 = 2*l. Does 53 divide n?
False
Let d be (183/4)/(-3)*4. Let w = d - -125. Is w a multiple of 8?
True
Let r(j) = 3*j - 33. Let d be r(-14). Let t = d + 83. Let q = t + 1. Is 2 a factor of q?
False
Let y be 204/(-54) + 2/(-9). Let o be y/5*(-35)/14. Suppose -360 = -5*h + 4*t, 0*h - 4*h = o*t - 288. Does 8 divide h?
True
Suppose 2*p + 5*n + 14 = -0, 3*n = -3*p - 12. Let v be (0 - -1)*394*p/(-4). Let s = v - 115. Is 41 a factor of s?
True
Suppose -45*i = -37*i - 16. Is (15/i)/(5/100) a multiple of 15?
True
Suppose -38*i + 36*i + 208 = 0. Suppose i*w = 99*w + 300. Is w a multiple of 20?
True
Suppose -2761*t + 1048 = -2753*t. Suppose -220 = -5*h - 5*w, -5*h + 4*w = -119 - 65. Let g = h + t. Is 12 a factor of g?
False
Let c(t) = t**2 - 22*t + 1. Let u be c(21). Let f = u + 24. Suppose -g = 4*h - 543, -h + 666 = f*h - 3*g. Is 16 a factor of h?
False
Suppose p - 4*p - 15 = 0, -5*r - p = 270. Let u = r - -77. Let o = 79 - u. Is 11 a factor of o?
True
Is 153 a factor of 10987/(-3)*(-103 + 91)?
False
Let g(f) = -4*f + 86. Let c(q) = 10*q + 78. Let i be c(-11). Is 15 a factor of g(i)?
False
Suppose 8*k = -k + 54. Suppose -6*f - 349 = -9*f + w, -3*w + k = 0. Is f a multiple of 9?
True
Is ((-10442)/(-6) - (-20)/30) + (-1 - 3) a multiple of 3?
True
Is 2 a factor of (-9)/((-11 + 12)*(-3)/291)?
False
Let v(f) = -43*f - 1. Let k be v(1). Let g = k + 57. Suppose -16*d = -g*d - 126. Is d a multiple of 21?
True
Let n be 1 + 5*(-9)/(-15). Suppose 4*c + 4*t = 3524, 6*c - n*c + 5*t = 1759. Does 42 divide c?
True
Suppose 11889*v - 11913*v + 672576 = 0. Is 226 a factor of v?
True
Suppose 5*l = -2*p - 1 + 5, -2*p + 2*l + 4 = 0. Let w be 816/80 - p/10. Suppose -11*x + 131 = w. Is x a multiple of 9?
False
Let r(i) = i**2 + 4*i - 36. Let x be r(-9). Is 14 a factor of (x + -41)*14/(-8)?
True
Let f(x) = x**2 - 10*x + 16. Suppose -16 = 6*n - 4*n. Let l be f(n). Suppose 0 = -3*g + 7*g - l. Is g a multiple of 8?
True
Suppose 72*n = -54*n + 424116. Is 99 a factor of n?
True
Let h(c) = 15*c**2 + 36*c + 6. Let x be h(-7). Let b = -173 + x. Is 15 a factor of b?
False
Suppose -4*j + 94 = -5*j. Let a = j + 198. Is 25 a factor of a?
False
Let j(p) = 9*p**2 - 19*p + 7. Let b(k) = -2*k**2 - k + 1. Let l(w) = 2*b(w) - j(w). Let m be l(5). Let h = -149 - m. Does 12 divide h?
True
Let t(q) = 35*q + 11. Suppose 5*f + 8 = 2*a, 4*a - 16 = -0*a - 3*f. Let b be 1/(a - (7 + -4))*6. Is t(b) a multiple of 13?
True
Let f = 22 - -35. Let h = f + -54. Suppose -18*n = -h*n - 975. Does 11 divide n?
False
Let h = -548 - 31. Let w = h + 824. Does 5 divide w?
True
Let c be 3 + (220/5 - -3). Let r = 0 + c. Does 40 divide r?
False
Suppose -r + 165 = 5*u - 4*r, -2*r - 33 = -u. Suppose -u*b = 829 - 9244. Is 17 a factor of b?
True
Suppose 50*s = 22*s + 29*s. Let i(t) = 7*t + 170. Is 34 a factor of i(s)?
True
Is (48/60)/((17896/17900 - 1)*-1) a multiple o