(-60)/(-21). Suppose o*y - 537 - 403 = 0. Is y a multiple of 47?
True
Let r(x) = -3*x - 21. Let y(a) = 4*a + 21. Let p(g) = 6*r(g) + 5*y(g). Let m be p(12). Suppose 3*c + 4*s - 48 = 2*c, 0 = 2*c - m*s - 85. Does 3 divide c?
False
Suppose -12*p = -59*p + 246233. Is 31 a factor of p?
True
Let w = -145 - -38. Let z = w + 134. Is z a multiple of 3?
True
Let v be 0/(-1) - (-593 - -3). Let p be (0 + -1)/((-5)/v*2). Suppose -55 - 177 = -4*a - 5*r, r = -a + p. Is a a multiple of 13?
False
Let r(p) = -p**3 + 2*p**2 + 2*p + 3. Let i = -23 + 26. Let h be r(i). Suppose l + 3*v - 4 = h, 3 + 11 = 2*l + 3*v. Is l a multiple of 5?
True
Let s = 199 - 199. Suppose 10*d - 204 - 966 = s. Is d a multiple of 13?
True
Suppose 8*u - 11*u = m + 1280, 2*m = 3*u - 2560. Is 64 a factor of (90/(-25))/((-1268)/m - 1)?
True
Let j(l) = 53*l**2 + 7*l + 3. Let k be j(2). Suppose 74 = 3*w - k. Does 9 divide w?
False
Suppose 166*f + 364 = 167*f. Suppose 9*v = f + 3416. Is 14 a factor of v?
True
Let t(d) = d**2 - 18*d + 80. Let p be t(11). Suppose -p*q + 12 = 0, -2*m - 7*q = -3*q - 1906. Does 63 divide m?
True
Let q = -86 - -86. Suppose -a - 5 = -q*a, -a = -4*p - 247. Let w = 73 + p. Is 4 a factor of w?
False
Let z = 18 + -13. Suppose 4*f + 269 = 3*u, 23 = -3*u + z*f + 297. Does 8 divide (1 + u + 2)/2?
False
Suppose v - 463 = 3*h, -144*h = 4*v - 140*h - 1820. Is v even?
False
Suppose 0 = 69*m + 1231 - 23656. Does 12 divide m?
False
Let u = 17 + -12. Suppose -q + 1113 = u*n + 190, 0 = 2*n + 5*q - 360. Suppose -4*a + 150 = -b - n, 0 = 2*a - 5*b - 145. Does 26 divide a?
False
Suppose 0 = 227*d - 228*d + 3765. Does 6 divide d?
False
Suppose -709*a = -705*a + 24, -2*a = v - 23023. Is 85 a factor of v?
True
Let z be 2 + -3 + 0/(-3). Let w = 4 - z. Suppose 0*l - 22 = -l - w*j, -5*j = 2*l - 34. Does 3 divide l?
True
Suppose 20371 - 5187 = 15*s - 2906. Is s a multiple of 9?
True
Suppose -36*f + 36536 + 17644 = 0. Is 93 a factor of f?
False
Suppose j + 4*w - 14 = 0, 2*w - 74 = -3*j + 6*w. Let h be ((-4)/(-2) - 6) + j. Suppose 2*q - 121 + h = t, -3*t = -2*q + 109. Does 10 divide q?
True
Does 16 divide 5800*((-10)/(-32))/(((-216)/(-32))/27)?
False
Let o(v) = v**3 - 11*v**2 + 9*v + 17. Let t be o(10). Let n = t - -17. Is 16 a factor of 1438/10 + (n/20 - 1)?
True
Suppose 5*m = -p - 40, 0*m = -2*p + 5*m - 50. Let u = 63 - 89. Let v = u - p. Is v a multiple of 4?
True
Let u(n) = 183*n**2 + 8*n - 24. Is u(3) a multiple of 27?
True
Let j(i) = 10*i - 18. Let f be j(4). Let v be 3/(-2) + 33/f. Suppose -t + 3*o + 87 = v, -38 = 3*t + o - 249. Is t a multiple of 36?
True
Suppose 5*b - 21*z + 22*z = 4997, z = 5*b - 5003. Does 10 divide b?
True
Suppose 2734*b - 2745*b + 14168 = 0. Does 6 divide b?
False
Let t = 7709 + -7606. Is t a multiple of 18?
False
Suppose 2*p = -17*p - 122*p + 1287330. Is 86 a factor of p?
False
Let a be ((-30)/25)/(14/1645). Is 88 a factor of (a/(-6))/((-3)/(-18))?
False
Let u be ((-2)/4)/(7/(-42)). Suppose 5*q + j - 3*j = 23, 0 = 5*q + u*j - 3. Suppose -3*v + x + 78 = 0, -x = -q*v + 4*x + 66. Is 27 a factor of v?
True
Suppose -403 = -3*o - 43. Let u be ((-2)/3)/((-16)/o). Suppose 0 = u*c - 532 - 48. Is 13 a factor of c?
False
Suppose 18 = -2*x + 6*x + 2*t, -x - t = -7. Suppose -x*u = -r - 1596, 4*u - u - 2393 = 2*r. Is 16 a factor of u?
False
Suppose 448*t = 12512718 + 4869082 - 1915048. Is 63 a factor of t?
True
Suppose -296*s + 292*s = 5*u - 25598, 7*u = -s + 6388. Does 11 divide s?
True
Suppose -3*c + 6*c = 1332. Let l be (1 + -5)*(5/4)/(-1). Suppose 54 = -l*r + c. Is r a multiple of 13?
True
Suppose -7*n + 23 = -6*n. Suppose f = n*f - 1694. Is 6 a factor of f?
False
Suppose -40*h + 143962 = -466118. Is 205 a factor of h?
False
Suppose 4*j = n + 3, -j + 19 = -5*n + 4. Suppose -5*h - 6 + 36 = j. Suppose -6 - 102 = -h*a. Is a even?
True
Suppose 34348 + 5405 = -21*f. Is 5/(-35) - (f/21 - -2) a multiple of 24?
False
Suppose -14*b + 17787 = -11*b. Suppose 23*y = 12*y + b. Is y a multiple of 7?
True
Suppose 1708*y - 1712*y = 3004. Let s = 918 + y. Is 2 a factor of s?
False
Suppose 2*d = 8, 0*u + 19 = -u + 2*d. Let w(t) = -3*t - 31. Let l be w(u). Is (-3 - 305)*l/(-2) a multiple of 44?
True
Let r(f) = -168*f + 3. Let t(a) = 2*a**3 - 38*a**2 + a - 23. Let y be t(19). Is r(y) a multiple of 9?
True
Let d(r) = 2*r**3 + 20*r**2 - r - 8. Let s be d(-10). Suppose 4*f - 24 = -l, f + l = 1 + s. Let k(q) = 9*q - 23. Is k(f) a multiple of 20?
True
Let i be 77/(-28) + 3/4. Does 17 divide 4/42*1734 - i/(-14)?
False
Suppose 3766 = -5*m - x, 0 = -m - 2*m - 3*x - 2262. Let f = m - -1201. Is 27 a factor of f?
False
Let g(f) = -f**2 + 10*f - 9. Let j be g(8). Let y(k) = 13*k - 48. Let u be y(15). Suppose -j*d = -294 - u. Is d a multiple of 7?
True
Let q(m) = -m**3 + 6*m**2 + m - 6. Let j be q(6). Suppose j*z + 2*z - 76 = 0. Is 4 a factor of 4 - (5 + -2) - z/(-2)?
True
Does 179 divide -3*(-8)/108 + ((-24737240)/(-72))/19?
False
Suppose 0 = 103*b - 2531853 - 1040908. Does 184 divide b?
False
Let h(f) = -3075*f + 4167. Is h(-15) a multiple of 254?
True
Let n = -142 + 214. Suppose -5*s - 2*z = -268 + n, 0 = -3*s - 5*z + 129. Does 38 divide s?
True
Let k(q) = q**3 - 13*q**2 - 2*q + 24. Let w(m) = -m**2 + 9*m - 5. Let z be w(6). Let l be k(z). Is 6 a factor of (-3)/l*2 + (10 - -3)?
False
Let h(l) = 970*l - 257. Does 51 divide h(7)?
False
Let t = 31 + -26. Suppose t*s + 8 = -k + 39, k - s = 7. Let o(l) = l**3 - 10*l**2 - 8*l - 7. Is o(k) a multiple of 5?
False
Suppose 28*a + 26*a + 22*a = 3557712. Does 83 divide a?
True
Let m(j) = -108*j + 153. Let i be m(7). Is (-50)/10*i/15 a multiple of 61?
False
Suppose 11287 = 41*i - 50869. Suppose 15*m = -46 + i. Is 3 a factor of m?
False
Let q = 237 - 138. Let i = q + -111. Let n(w) = w**2 + 9*w - 4. Is n(i) a multiple of 16?
True
Let j = 11208 + -6340. Does 6 divide j?
False
Suppose 2*i + 11 = y, 4*y - 6*y = 2*i - 10. Suppose -y*d - 539 + 3157 = 0. Is 22 a factor of d?
True
Is ((1 - 0)*-24)/((-6)/8212) a multiple of 11?
False
Let g = 55339 - 37480. Is 10 a factor of g?
False
Let q = 104 - 106. Is 33 a factor of (1881/(-90) + 2/5)*q?
False
Let t = 70 + -153. Let b = 93 + t. Let y(q) = 8*q - 4. Is y(b) a multiple of 19?
True
Let g = -2447 + 5171. Suppose g = 4*z + 2*z. Suppose 0 = 3*y - z - 296. Is 29 a factor of y?
False
Suppose 53*i = 47*i + 30. Suppose -i*l + 1602 = 332. Does 24 divide l?
False
Suppose 2*a - 68 = -56, 2*h = 2*a + 11266. Is h a multiple of 70?
False
Let p(w) = -w**2 - 12*w + 61. Let g be p(-14). Suppose -g*c + 710 = -1468. Does 23 divide c?
False
Suppose 2*v + 56272 = -4*x, 17*v + 2*x - 28152 = 18*v. Does 40 divide v/(-88) + 3/(66/4)?
True
Suppose 31051 = -44*v - 4*v + 225451. Is v a multiple of 90?
True
Let p be ((-48)/60)/(8/(-20)). Suppose 0 = p*f - 13*f + 8569. Does 28 divide f?
False
Let a(m) = -m**3 + 11*m**2 - 10*m + 10. Let t be a(10). Suppose -22 = s + 4*v, 4 + 6 = -5*s + 5*v. Is 2 a factor of s/t + 162/45?
False
Let f(p) = -p**3 + 19*p**2 + 22*p - 30. Let h be f(20). Suppose -49*x + 54*x - h = 0. Suppose -m = x*m - 171. Is 19 a factor of m?
True
Suppose 11*q - 12739 = 57485. Is 15 a factor of q/(-32)*4/(-2)?
False
Suppose 127*z - 132*z = 3*w - 2301, 3*z = w + 1389. Is z a multiple of 11?
True
Suppose -3*n - 2*x = 2*x - 19, 5 = 5*x. Let q(w) = -w**3 + 6*w**2 - w - 11. Let j be q(n). Suppose j = -2*r + 127. Is 28 a factor of r?
False
Suppose -7*b = -3*b - 8. Suppose b*r + 3*j = -0*r + 15, 3*j = -r + 15. Suppose -4*p + 22 = 2*a, a + r*p - 16 = -p. Is a a multiple of 7?
True
Let r = 441 + -430. Suppose 0*c - 9790 = -r*c. Is 89 a factor of c?
True
Suppose 15*i - 247 = -4*i. Suppose -k + i = 3*f, -3*f = -2*k - 18 - 1. Suppose 0 = 2*s + f*l - 60, -2*l + 148 = 4*s + l. Does 4 divide s?
True
Let t(q) = 0*q**2 + 14 - q**2 + 0*q**2 - q. Let b be t(-4). Suppose -157 = -5*w - 3*u, u + 59 = b*w + 6*u. Is w a multiple of 4?
True
Suppose -2*w = -5*w - 3*l + 150, l = -2*w + 104. Let s = -15 + 55. Let m = s + w. Is 16 a factor of m?
False
Let z = 11716 - 8136. Suppose 0*p = -5*p + z. Is 41 a factor of p?
False
Does 109 divide (-34)/(3400/(-2725025)) + 1/(8/(-2))?
True
Let w be ((-74)/4)/((8 + -2)/(-48)). Suppose 154*l - w*l - 1920 = 0. Is 16 a factor of l?
True
Let r(x) = x - 1. Let w(f) = -f**3 + 8*f**2 - 9*f. Let a(q) = -2*r(q) - w(q). Let j be a(7). 