of d/(-4) - (-307)/4?
True
Let x = 32 - 24. Suppose -6 = -3*c, -2*c - 58 = -x*r + 6*r. Is r even?
False
Suppose -5*b = -3 - 37. Suppose b = 4*t, -h - 4*t = h - 14. Suppose 2*v = -h*a + 309, 0*a = -3*a - 3. Is v a multiple of 12?
True
Let h = 3732 + -3309. Is 3 a factor of h?
True
Let i(k) = 40*k**3 + 6*k**2 - 44*k - 5. Is 75 a factor of i(4)?
True
Suppose -3*t - 937 + 949 = 0. Suppose -t*q + 734 = 86. Does 18 divide q?
True
Let g(j) = 274*j**2 - 54*j + 51. Is 47 a factor of g(8)?
True
Let v(j) = -2*j - 10. Let f = -5 + 2. Let a be v(f). Does 44 divide (-3 - a)*-22*-2?
True
Suppose 20 = 4*c, -21*u + c + 91 = -23*u. Does 24 divide u/(-9)*(-6 + 0 - -159)?
True
Is 27 a factor of -9 + (-7 - 219772/(-14)) + -3*2?
False
Let k be -6 + 24/8 + 1*8. Let q(w) = 13*w**2 - 4*w - 8. Is 27 a factor of q(k)?
True
Let b be (59 + (-3 - -1))*1. Suppose 3*g + 175 = 4*n, -3*n + 2*n + 269 = -5*g. Let s = g + b. Does 2 divide s?
True
Suppose 0 = -4*j + 20, -587 = 3*v - 3*j + 5*j. Let k = 230 + v. Is 31 a factor of k?
True
Suppose 2 = -4*m + 14. Suppose 5*f - 61 = -v, -m*v + 14*f = 9*f - 243. Does 8 divide v?
False
Let s(r) = -98*r. Let z(d) = -97*d - 2. Let y(l) = 3*s(l) - 4*z(l). Is 46 a factor of y(10)?
False
Suppose 0 = 2*a - 7*a + 20. Suppose 3*g - 5*x + 68 = 312, 4*g + a*x = 368. Let c = -82 + g. Is c even?
True
Suppose -322 = -z + 4*p - 5*p, 1606 = 5*z + p. Let w = -229 + z. Let c = w - 76. Does 7 divide c?
False
Let i(c) = 544*c - 4064. Is 94 a factor of i(13)?
True
Let x(o) = -64*o**3 - 6*o**2 - 5*o - 6. Let a be x(-3). Let f = -532 + a. Is 19 a factor of f?
False
Is (87 + -147)*(-477)/5 a multiple of 10?
False
Suppose -17*c = b - 13*c - 13408, b = -5*c + 13403. Is b a multiple of 18?
True
Suppose 65121 - 2591 = 4*u + 2*g, -4*g - 36 = 0. Is 13 a factor of u?
False
Is -173*((-2282)/322 - 4/(-46)) a multiple of 2?
False
Suppose 187*u - 48*u - 50179 = 0. Is 9 a factor of u?
False
Suppose 21 + 11 = j. Let i be (1*2/(-4))/((-16)/j). Is (i/1 - 3) + 226 a multiple of 32?
True
Suppose r = 4*x - 1797 + 28283, -4*r - 4*x = -105944. Is 61 a factor of r?
False
Let y = 2285 + 145. Is y a multiple of 4?
False
Suppose 0 = 2*f - 8*f + 72. Suppose 41 + 211 = f*y. Suppose 2*k = 3*k - y. Is 6 a factor of k?
False
Suppose 35721 - 133195 = -23*w. Is w a multiple of 12?
False
Let o(y) be the second derivative of -y**6/180 + y**5/4 - y**4/24 - 5*y**3/3 + 7*y. Let g(z) be the second derivative of o(z). Does 9 divide g(14)?
True
Is 163 a factor of 4 - -3 - (-345882)/17?
False
Let d(u) = -9*u - 11. Let b(v) = -3*v + 9. Let w be b(6). Let p be d(w). Suppose p = -10*n + 11*n. Is 8 a factor of n?
False
Suppose 52 = 3*s - s. Suppose -2*j + j = -3*i + 94, i + j - s = 0. Suppose -i = -5*t + 150. Is 6 a factor of t?
True
Suppose -20*o - 8*o - 24844 + 351800 = 0. Is o a multiple of 82?
False
Let o(m) = 2*m**2 + 7*m + 38. Suppose 2*x - a - 37 + 13 = 0, 3*x + 5*a - 62 = 0. Is o(x) a multiple of 48?
True
Suppose -28*r + 34*r - 2208 = 0. Let v = r + -214. Does 11 divide v?
True
Let g(h) = -342*h**3 + 1 + 413*h**3 + 0*h - 5*h. Is 13 a factor of g(2)?
True
Let r be 2/2 - (-2)/2. Suppose 94*d - 105*d + 836 = 0. Suppose -r*k = -k - d. Does 10 divide k?
False
Let j = 221 + -132. Suppose j*i - 83*i = 2814. Is 67 a factor of i?
True
Suppose 4*v - 22*v - 1656 = 0. Is 168*4/(-64)*v a multiple of 23?
True
Suppose -l + 16 = -3*o - 43, -4*l - 3*o = -221. Is 42 a factor of l?
False
Is 104 a factor of (-1 + 118)/(26/1157*(-6)/(-8))?
False
Suppose 174*v - 143352 = -50*v + 43*v. Is 8 a factor of v?
True
Let f(k) = 21*k**2 - 9*k + 8. Let m be f(4). Suppose 264*q + m = 265*q. Is q a multiple of 22?
True
Let b be 1*8*3/(-6). Suppose 5*u - q - 20 = 0, 2*u - 4*q - 8 = -3*q. Is -4*(b - (-9)/u) a multiple of 3?
False
Let a(n) = 29*n + 178. Let z be a(-6). Let l = 1849 + -1301. Suppose -z*p - 4*y + l = -28, 0 = 2*p - 5*y - 288. Is p a multiple of 13?
False
Suppose 5*v = 2*a + 8 - 2, -v + 4*a - 6 = 0. Suppose -v*l + 552 = l. Is l a multiple of 9?
False
Suppose 362*n - 203*n + 1204434 = 181*n. Does 11 divide n?
True
Let w(i) = -i**3 + 9*i**2 + 12*i - 23. Let l be w(10). Is (-36 + 5)*l/1 a multiple of 3?
True
Does 38 divide 14/(-1)*(12/(-10) + (-4749)/30)?
False
Let s = 26 + 34. Suppose -17*o - s = -21*o. Suppose o*a = 12*a + 390. Does 26 divide a?
True
Let h = 14 + -2. Let m(r) = -4*r + 138 - 131 + 5*r. Is m(h) a multiple of 7?
False
Let o be 676/143 - 3/(-11). Let r(l) = l**3 + 17*l**2 - 46*l + 4. Is 12 a factor of r(o)?
True
Let v(a) = a**3 + 14*a**2 - 13*a - 1. Let i be v(-15). Is 18 a factor of (6/5)/(i/(-15) + -2)?
True
Let d(z) = -z - 9. Let o be d(-4). Let h be (6/o)/(8/60*-3). Suppose -a = h*a - c - 440, 550 = 5*a + c. Is 11 a factor of a?
True
Let m be (-2)/(-11) + 31980/44 + 3. Suppose -9*s + m = -3320. Is s a multiple of 45?
True
Let c be (1 - -5) + -5 + -1. Suppose 4*x - 184 = -c*x. Is 23 a factor of x?
True
Let n = -21332 - -23032. Is n a multiple of 11?
False
Let j = 202 - 13. Suppose j = 5*g + 4*g. Is 21 a factor of g?
True
Let h be (-221)/(-39) - 1/(-3). Suppose 6041 = h*s + 5*w, -s = -5*s + 3*w + 4059. Does 17 divide s?
False
Let m be (-62)/(-2) + (-4)/(-2). Let i = 32 - m. Is 10 a factor of (i/2*202)/((-1)/1)?
False
Suppose 2229 = 2*z - 127. Does 6 divide z?
False
Let f be (-20 - -13) + (-56)/(-4). Does 6 divide f + 81 + 5 - -3?
True
Suppose 0 = -4*f - 3*l + 22, -8 = -f - 4*l - 9. Suppose -3*v = 3*w - f*w - 3788, 5*v - 5*w - 6310 = 0. Does 20 divide v?
True
Let q be (-8)/(5 - 1) - 234. Let g = 242 + q. Does 3 divide g?
True
Let r(m) = m**3 - 35*m**2 + 28*m + 586. Is r(34) a multiple of 8?
False
Let x(j) = 59*j**2 - 5*j + 8. Is 11 a factor of x(-2)?
False
Let z = 540 - 243. Suppose b = -s - 0*s + z, -2*s + 594 = -4*b. Does 12 divide s?
False
Suppose -2*q = 5*a + 41, -1 = -3*q + a + 4*a. Is q/44 - 12108/(-44) a multiple of 34?
False
Let a be ((-44)/14 - -3) + 670/35. Let r = -14 + a. Suppose 5*w + 5 = 0, r*l = -3*w + 101 + 256. Is 8 a factor of l?
True
Suppose 0 = -0*c + 2*c - 38. Let b = c - 11. Let p(a) = a**2 + 3*a - 16. Does 12 divide p(b)?
True
Is 11 a factor of 396/(-1 + (-296)/(-288))?
True
Suppose -1074*t + 1083*t - 44629 = 96833. Is 29 a factor of t?
True
Let i = -166 + 220. Suppose -6104 = -i*h + 47*h. Is h a multiple of 15?
False
Let p(m) = 5*m**3 + 33*m**2 + 16*m - 115. Let v(y) = 2*y**3 + 17*y**2 + 7*y - 58. Let b(z) = 4*p(z) - 9*v(z). Does 40 divide b(13)?
True
Let y = 185 - 86. Let f = y - 3. Is f a multiple of 16?
True
Suppose 15256 = -10*c - 2234. Let d = -549 - c. Is 48 a factor of d?
True
Let p(m) be the second derivative of 265*m**4/6 - m**3/2 + m**2/2 + 5*m. Let z be p(1). Suppose 6 = 2*t, -2*t + z = 5*c + 42. Does 23 divide c?
False
Suppose 0 = 2*p - x - 11744, 0 = 318*p - 317*p - 5*x - 5872. Is 74 a factor of p?
False
Let z(k) = -2*k + 12. Let n be z(22). Is (-683)/(-7) + (5 - n/(-7)) a multiple of 32?
False
Suppose x - 2*m + 666 - 8106 = 0, 2*m - 16 = 0. Is 188 a factor of x?
False
Let w(r) = -25*r**2 + 17*r + 56*r**2 + 15 + 4 - 29*r**2 + 2. Suppose 22 = -p - p. Does 19 divide w(p)?
True
Let d be (-1742)/22 - 6/(-33). Let h(j) = -2*j + 26. Let m be h(11). Let f = m - d. Does 12 divide f?
False
Let n(s) = 205*s + 69. Does 38 divide n(29)?
False
Let c = -6130 - -7405. Is c a multiple of 15?
True
Let z be (82/(-8))/((-7)/28). Let f be -1 + 1 + (-4 - z). Does 9 divide 40*6/f*-9?
False
Let d be (-5 - (-5 - 0))/(1/(-1)). Suppose 5*n - 15*n + 5760 = d. Is 6 a factor of n?
True
Let i = 52 - 69. Let g(u) = u**2 + 14*u - 63. Let l be g(i). Is (-4)/(-3) - 4712/l a multiple of 56?
False
Suppose -2*c = -4*t - 1266, 17*c + 4*t = 13*c + 2508. Is 17 a factor of c?
True
Is 94 a factor of (8816/3306)/((-1)/2538*-1)?
True
Let i(x) = x**3 + 11*x**2 - 2*x - 20. Let p be i(-11). Suppose a = 2*w - 5*w + 231, p*w = a + 149. Let v = w + -26. Is v a multiple of 10?
True
Suppose 2*d + 3*o + 29 = 0, -4*o - 5 = -d + o. Let v be 12/d*10/(-6). Suppose -5*g = v*g - 616. Does 11 divide g?
True
Let z = 1249 - -556. Is z a multiple of 19?
True
Let c = -69 - -68. Let l be c*-226*1*9/6. Let p = l - 106. Does 20 divide p?
False
Let l(j) = 4*j + 3. Suppose 6*b + 5 = 11*b. Let m be l(b). Suppose a - 91 + m = 0. Is 14 a factor of a?
True
Suppose 2*o - 9*i + 7*i - 2506 = 0, 3*i = 4*o - 5007. Is o a multiple of 14?
Fals