ide o/(-10) - 1222/w?
False
Let k be (-265)/10*2*(-2 - 3). Suppose 0 = 2*h - 1353 + k. Is h a multiple of 13?
False
Suppose 19*g - 3*g = 32. Suppose 8 = -g*m, -5*s + 1265 = -2*s - 5*m. Is s a multiple of 9?
False
Let t be ((-117800)/300)/((-2)/21). Suppose -9*h + t = -4*h + l, 0 = -h + 5*l + 809. Is 66 a factor of h?
False
Let j(a) = -5*a + 42. Let f be j(9). Is 15 a factor of ((-2761)/154 + f/(-7))*-18?
True
Let x(r) = -r**3 - 2*r**2 - 32*r - 30. Let c(f) = -f**3 + f**2 - 33*f - 29. Let p(g) = 6*c(g) - 5*x(g). Is p(10) a multiple of 7?
True
Suppose 5236 = w + 4*o, o = -360*w + 364*w - 21029. Is w a multiple of 12?
True
Let r(g) = 6*g**2 + 15*g - 21. Let b be r(6). Let n = b + 147. Does 8 divide n?
True
Let s be -2 - -8 - 2 - 2. Let w be (-185)/(-11) + s/11. Suppose -2*g = -w - 15. Is 8 a factor of g?
True
Suppose k + 7 = 4*c - 0, 0 = 2*c + 4*k - 8. Suppose 0 = -c*m, -3*a - 20 = -7*a + 2*m. Suppose a*l - 76 + 11 = -5*i, -l + 25 = 4*i. Is 3 a factor of l?
True
Suppose -y + 24*o - 26*o + 4453 = 0, -8915 = -2*y + 5*o. Is 27 a factor of y?
True
Let u(z) = 2*z**2 + 4*z + 1. Let x be u(-7). Let g = -32 + x. Suppose 34 - 4 = 3*y - 2*t, -5*t = 2*y - g. Is 3 a factor of y?
True
Let f = -51 - -158. Let o = -146 + 173. Suppose 2*n - f = -o. Is n a multiple of 3?
False
Let p(n) = -4*n**3 + 12*n - 15*n**2 + n**2 + 3*n**3 + 2*n**2 + 26. Suppose 0*l + 3*u + 41 = -2*l, 4*l = 2*u - 42. Is p(l) a multiple of 13?
True
Is 99/(-627) + (-578068)/(-76) even?
True
Let z = -61960 + 87535. Is 25 a factor of z?
True
Suppose -2*a - 2*c = -444, -4*c - 105 = -a + 107. Let l = a - 31. Does 63 divide l?
True
Suppose 5*v + 27 = j + 3*v, 5*v = -5. Let m be (-10)/j - -6*1011/15. Suppose 0 = -3*r, -3*g + 3*r + m = 89. Does 54 divide g?
False
Let u be 6/(-14) + (-1 - 45/(-7)). Is 12 a factor of ((-15)/(-6))/u*290 - 1?
True
Let n(q) = -4*q**2 + 24*q + 12. Let c be n(12). Let z = 363 + c. Is 3 a factor of z?
True
Is 12 a factor of 1944/2268 - (-28505)/7?
False
Suppose 4*t = -31 - 69. Let q = 35 + t. Suppose -q*u = -5*u - 55. Does 2 divide u?
False
Suppose 5*k + 3470 = 2*x, 17*k - 8 = 13*k. Let f = x + -1237. Does 42 divide f?
False
Suppose -6*z + 51 = -471. Suppose -13*o = -12*o - z. Is o a multiple of 4?
False
Let y = 8105 + -799. Is y a multiple of 26?
True
Suppose -6*l + 3*l = -12993. Suppose -5*o + 469 = -5*r - l, 2*o - 3830 = 4*r. Is 50 a factor of (-1)/(3 + r/318)?
False
Suppose 0 = -643*u + 383*u + 6715020. Does 10 divide u?
False
Suppose 0 = -2*w + g + 3, w - 3*g + 45 = 44. Suppose 2*b + i - 860 = 0, w*i - 2152 = -6*b + b. Is 9 a factor of b?
True
Let t(i) = 11*i**2 + 21*i - 65. Let n be t(12). Let y = -166 + n. Does 79 divide y?
False
Suppose -8*h + 2*h = -24. Suppose -9*w = -13*w - h*j + 344, -4*w = -3*j - 330. Is w a multiple of 6?
True
Let b(r) = -7177*r + 7791. Is b(-3) a multiple of 6?
True
Let p(r) = -r**3 + 8*r**2 - 15*r + 14. Let u be p(4). Suppose 27*c - 3708 = u*c. Is c a multiple of 50?
False
Suppose -k + 15964 = 3*s, 70742 = 4*k + 2*s + 6956. Is 107 a factor of k?
True
Let z(l) = 13*l + 22. Suppose 0 = -5*t + t. Suppose t = -6*g + 56 + 4. Is z(g) a multiple of 38?
True
Let b = 1587 - 564. Suppose -8*g + b = 71. Is 10 a factor of g?
False
Let q(p) = -5*p**3 + 2*p**2 - 7*p + 17. Let m be q(3). Let r = m + 875. Is 34 a factor of r?
False
Let d(a) = -a**2 - 171*a + 45. Is d(-27) a multiple of 21?
False
Let u = -4 + -16. Let l be 4/(40/9354) + 8/u. Suppose l - 35 = 5*g. Is g a multiple of 20?
True
Let f(h) = -h**3 - 2*h**2 + 7*h + 10. Let i be f(-3). Does 14 divide 99*i*(-3)/((-18)/(-4))?
False
Is 2/7 - (-29)/(-7)*-467 - -5 a multiple of 97?
True
Let s = -134 + 154. Let q(n) = n**3 - 20*n**2 + 16*n - 14. Is 6 a factor of q(s)?
True
Suppose -z + 457 = 3*w, 19 - 21 = z. Does 17 divide w?
True
Let z = 257 + -307. Let q = -67 - -29. Let r = q - z. Does 4 divide r?
True
Suppose w + 26 - 164 = 0. Let a = -81 + w. Suppose -a + 191 = k. Does 10 divide k?
False
Let f(b) be the first derivative of -b**3/3 + 11*b**2/2 + 2*b - 21. Let h be f(11). Suppose h*u = 3*u - 85. Does 18 divide u?
False
Let q = 7772 - 2958. Is 58 a factor of q?
True
Let c = 386 + -224. Suppose -3114 - c = -9*f. Suppose -6*t = t - f. Is t a multiple of 26?
True
Let n = -37 + 38. Let x be -6 + 12 + -3 - n*6. Is 16 a factor of (1/(-1) - 243/x) + 0?
True
Let n = -5891 - -5936. Suppose -4*x + 69 = -99. Suppose -n*o = -x*o - 90. Is o a multiple of 5?
True
Let l(r) = 2693*r + 672. Does 95 divide l(2)?
False
Suppose -8*r + 1906 = -750. Let j = r + -49. Is 24 a factor of j?
False
Is 16 a factor of -1 - ((11 - 1) + -31)?
False
Let m = 13898 - 5972. Suppose 20*f - m - 7674 = 0. Is 65 a factor of f?
True
Suppose 2*g = -g + 5*a + 571, -5*g - 4*a = -964. Suppose 7*i - g = 46. Is i even?
True
Let k(r) = 5*r - 9. Let f be k(3). Suppose 0 = -2*o, -3*o + 2 = -2*q + f. Is 15 a factor of (-10)/(-8)*30*q?
True
Let m = -2891 - -3635. Is 8 a factor of m?
True
Let c(p) = 3*p**2 - 13*p - 5. Let m be c(5). Suppose -y + 4*x + 1046 = 0, -3*x + 1659 = m*y - 3640. Is y a multiple of 23?
True
Let k = -7034 + 12891. Is 80 a factor of k?
False
Suppose -3*i - q + 13 = 0, 2*i - 3*q + 11 = 4*i. Is 11 a factor of i*(-2)/(-8)*15*11?
True
Let j(h) = -h**2 - 4*h + 2. Let m be j(-6). Let l be (28/(-6))/(m/30). Is (20/(-28))/5 + 2088/l a multiple of 18?
False
Let p = 130 + -20. Let u be 33/((1/12)/((-8)/(-18))). Let g = u - p. Is 15 a factor of g?
False
Suppose 38*w = 12*w + 26520. Does 85 divide w?
True
Suppose -16504 = -3*r + 4*a, -2*r + 65*a + 11008 = 61*a. Does 24 divide r?
True
Let p = -51 + 53. Suppose -5*b = -p*o + 82 - 306, -o = 5*b - 218. Is 2 a factor of b?
True
Suppose -4871423 - 2354275 - 2820622 = -356*b. Is 20 a factor of b?
True
Let v(f) = f**3 + 9*f**2 - 17*f + 1. Let y(z) = -z**3 - 10*z**2 + 16*z - 1. Let h(i) = 6*v(i) + 5*y(i). Does 4 divide h(-7)?
True
Does 8 divide (-1 + (-35)/(-25))/(14/169120) - 3?
False
Let w(q) = 2*q**2 - 29*q + 303. Let n be w(39). Suppose 2*u - 2254 = -2*z - 3*u, 2*z - 5*u = n. Does 10 divide z?
False
Suppose 78*g = -99*g - 27*g + 1803564. Is g a multiple of 74?
False
Is 252 a factor of (20 + -2756)*2/(-3)*(-189)/(-12)?
True
Let u = 60471 - 41063. Suppose -33*d + 17*d = -u. Is d a multiple of 65?
False
Let u = 4283 + 3865. Is 97 a factor of u?
True
Let s(m) = -m + 1. Let u(i) = -i + 138. Let t(n) = -6*s(n) + 3*u(n). Let k be t(0). Let p = k + -169. Is p a multiple of 37?
False
Let i = -3090 + 5342. Is i a multiple of 7?
False
Let n(d) = -d**2 + 9*d + 54. Let q be n(-4). Let c(b) = b - 4*b - 2*b + 3*b**2 + 2*b + 2. Does 4 divide c(q)?
True
Suppose 45*t - 18302 - 131 = 9872. Is 2 a factor of t?
False
Suppose n + 44 = 3*c, -c + 3*c = -5*n - 186. Let u = -5 - n. Suppose 3*x + 11*a - 6*a = u, 2*a = 0. Is 11 a factor of x?
True
Let j(n) = 68*n**2 + 4*n + 1. Let c be j(3). Suppose 7*o - 2*o = -3*v + c, v = -5*o + 195. Is 13 a factor of v?
False
Suppose 364 + 290 = 4*m - 2*i, 5*m = 2*i + 819. Suppose 6*l - 7*l = -3*k - 85, m = 2*l - 5*k. Does 11 divide l?
False
Suppose -32*v - 2*v = 16*v - 511450. Is 7 a factor of v?
False
Suppose l - 2254 = n - 4*n, -2*n + 5*l + 1531 = 0. Let a = 900 - n. Does 8 divide a?
False
Suppose -5*n - 24 = -269. Let j be -38 - ((-4)/(-12))/(3/(-9)). Let y = j + n. Is y a multiple of 4?
True
Suppose -2*t + 6209 = 2996 - 10367. Is t a multiple of 11?
False
Suppose 12*y + 962 = 49*y. Suppose y*q + 1244 = 12268. Does 14 divide q?
False
Suppose 0*j + j + 3*v = 117, -5*v = -4*j + 434. Suppose 2*i + 2*t - 508 = 0, 2*i + j - 625 = t. Is 8 a factor of i?
True
Let v = 30426 + -17178. Does 72 divide v?
True
Let f = -77 - -79. Suppose -3*d + 5813 = 4*x, f*x + 5*d = 1302 + 1587. Is x a multiple of 47?
True
Suppose u = -3*h + 2867, -1316*h = -1318*h - u + 1914. Is 3 a factor of h?
False
Suppose 2*s - 4*p + 5 = -5*p, 2*p = 6. Let a be -3*(308/(-12) + s). Let x = a + 121. Does 14 divide x?
True
Let n = 23011 - 20991. Does 8 divide n?
False
Let a be (-13 + 15)/(1/5). Suppose a*m - 1436 = -136. Is 7 a factor of m?
False
Let c = -778 - -478. Does 10 divide (-2242)/(-8) + 75/c?
True
Let r(b) = -3*b - 143. Let l be r(9). Let g = 491 + l. Is g a multiple of 9?
False
Let t = 16 + -10. Let n(b) = -b**2 - 94*b - 913. Let v be n(-11). Suppose v = y + 2*p - 34, -t*y + 2*y + p + 109 = 0. Is y a multiple of 2