Suppose -g - g = -y - 16, -12 = y - g. Let q be (6 + y)/(2/12). Let o(u) = -u**3 - 11*u**2 + 9*u - 16. Is 5 a factor of o(q)?
True
Let b be -152 + -2288 - (-2)/2*1. Let y = 3439 + b. Is 25 a factor of y?
True
Suppose 2*z - 2*o = 182, 3*z + 3*o - 252 = -o. Let x = -34 + z. Does 9 divide x?
True
Let l = -5037 + 5343. Is l a multiple of 9?
True
Suppose -22*f + 52959 = -356021. Is 130 a factor of f?
True
Let p(z) = -946*z - 773. Is p(-6) a multiple of 7?
False
Suppose 5*o + 3*n - 54708 = 0, -33937 = -3*o - n - 1109. Suppose -53*w - o = -72*w. Is 8 a factor of w?
True
Suppose 5*t - 4*d + 7 + 6 = 0, -3*d + 5 = t. Suppose -s + 6*s = -20, -252 = -2*v + 3*s. Let a = v + t. Does 17 divide a?
True
Let p = 213 + -209. Suppose c = 2*d + 2*c - 45, -p*c = 4*d - 100. Is d a multiple of 20?
True
Let v = -96 + 108. Suppose -3*u = v*u - 255. Is u a multiple of 9?
False
Let o be (-173180)/525 + 4/(-30). Does 59 divide (-165)/2*o/45?
False
Let u(y) = -y**2 - 15*y - 7. Let p be u(-15). Let g be (-42)/(-12)*(-8)/p. Suppose -g*c + 232 = -236. Is 13 a factor of c?
True
Let f(i) = i**3 - 3*i**2 - 6*i + 11. Let l be f(4). Suppose -l*m + 147 = 3*p, 2*m + p = 7*m - 257. Does 5 divide m?
False
Suppose -1612 = -3*b - 4*l + 1123, 5*b - 2*l - 4593 = 0. Let p = b - 442. Is p a multiple of 19?
True
Suppose -2*w + 11724 = 10*w. Suppose 142*p - 143*p = -w. Does 16 divide p?
False
Suppose -2*s = 3*s - 45. Suppose 5*f - 4621 = -1696. Is 2 a factor of (-2)/s + f/81?
False
Let b be (-48620)/(-90) - 2/9. Suppose -400 = -3*p - n, 4*p + 0*n + 3*n - b = 0. Does 8 divide p?
False
Let h(q) = -q**3 + 2*q**2 + q + 3. Let g be h(2). Suppose g*m = 17 + 3. Suppose -249 = -z - m*o, -o + 1170 + 75 = 5*z. Is z a multiple of 29?
False
Let n(k) = 24*k**2 - 78*k + 760. Does 38 divide n(27)?
True
Suppose 5*u - u + 3*o = 16, -2*u + 18 = 4*o. Let k(y) = -15*y**2 + y + 1. Let d be k(u). Let a = -7 - d. Is a a multiple of 4?
False
Suppose 0 = -9*n - 23*n + 59968. Let u = -850 + n. Is 8 a factor of u?
True
Let w(a) = -a - 56. Let h be w(18). Let b = h - -77. Suppose -b*k + 3*c + 32 + 55 = 0, -2*k = 4*c - 40. Is 26 a factor of k?
True
Let v(k) = 14*k**3 + 4*k**2 - 17*k + 28. Let o be v(2). Suppose 0 = -3*g + o - 17. Is 4 a factor of g?
False
Suppose -2*s + 3 = -1. Let m(b) = 9*b**2 + 44*b + 219. Let u be m(-5). Suppose s*i - 40 - u = 0. Is i a multiple of 22?
True
Let t be ((-1)/(-1))/(2/(-72)). Let g(x) = -6*x - 63. Does 22 divide g(t)?
False
Let a(c) = -4*c**2 + 5*c + 4. Let u be a(-2). Is 36 a factor of (33/u)/((-4)/4512)?
True
Let p(u) = -87 - 7*u + 27 + 45 + 60. Is 8 a factor of p(-29)?
True
Let v = 4662 + -3960. Is v a multiple of 18?
True
Is 193 a factor of 15*104670/70 + -1 + (-15)/(-21)?
False
Let l = -47 - -22. Let h = 46 + l. Does 21 divide h?
True
Suppose 259 + 421 = -5*c. Let x = c + 326. Is x a multiple of 38?
True
Suppose 20 - 10 = 2*m. Suppose 0 = -4*p - l + 1007, m*l + 266 = 3*p - 495. Is p a multiple of 12?
True
Let g = 25690 + -22858. Does 236 divide g?
True
Suppose 5*a - 24 = 5*f + 6, 4*a - f = 27. Suppose -5*z = a*z - 6084. Is 12 a factor of z?
False
Suppose 191*g + 4*m + 16890 = 193*g, -8451 = -g - 4*m. Does 21 divide g?
False
Let l = -13 + 3. Let x be (l*16/(-120))/(1/129). Suppose -3*j = j - x. Does 4 divide j?
False
Let v be (-1316)/(-252) + (-16)/(-9) + -2. Is 2 a factor of (7/1 - v) + -2 + 20?
True
Suppose 3*m = 2*m - 3*v - 1, -3*m + 25 = -5*v. Suppose 176 = m*o + 3*o. Suppose 400 - o = 3*t. Is 18 a factor of t?
True
Let y(o) = -o**3 - o**2 - 2*o. Let n(g) = g**3 + 3*g**2 - 3*g + 83. Let p(k) = n(k) + 2*y(k). Does 3 divide p(0)?
False
Suppose -448*a = -437*a - 8954. Is a a multiple of 6?
False
Let q(m) = 73*m + 81. Is 6 a factor of q(5)?
False
Let x = -162 + 71. Let l be (((-539)/14)/11)/((-1)/(-2)). Let o = l - x. Is 28 a factor of o?
True
Let u = 13 - 205. Let x = 321 + u. Is 3 a factor of x?
True
Let l = -28 + -2. Let p = -12 - l. Suppose 18 = 3*n - 3*y - 60, -n = y - p. Is n a multiple of 22?
True
Let h = 27 + 15. Suppose 4*c - h = -2*c. Let x = 56 + c. Is 9 a factor of x?
True
Let b = 5254 + 7964. Is b a multiple of 64?
False
Suppose -7973 - 129 = -2*r. Is r a multiple of 13?
False
Suppose 8*q = 10*q + 16. Is -5 - (q/(-4) - 34) a multiple of 9?
True
Let n be (-46)/(-3)*(-15)/(-10). Suppose -n*q + 1000 = -13*q. Is q a multiple of 22?
False
Let n(x) = -x**3 + 13*x**2 + 87*x + 1. Is 125 a factor of n(-9)?
True
Suppose -4*s + 0*s - 3216 = -4*h, 0 = -5*h + s + 4028. Let i = 1374 - h. Does 10 divide i?
False
Suppose 0 = -6*q - 2*q + 1712. Is 27 a factor of q + -1 - (-7 - (-3 + 1))?
False
Let l(n) = -n**2 + 14*n - 19. Let a be l(12). Let q be 186/(((-20)/(-6))/a). Is 2/(-8) + q/12 a multiple of 8?
False
Let m(t) = t**2 - 12*t - 9. Let g be m(-10). Let n = g + -197. Does 3 divide n?
False
Suppose 64*u - 15*u = -18473. Let r = u - -614. Is 37 a factor of r?
False
Let o(j) = 13*j**2 + 42*j + 660. Is 11 a factor of o(-11)?
True
Suppose -4*w - 3*w + 49168 = 7*w. Does 8 divide w?
True
Let h = -18123 - -40789. Does 63 divide h?
False
Suppose 4*l = 8, 3*m + 11*l - 16 = 6*l. Is (m - 17)/3 + (-1400)/(-2) a multiple of 36?
False
Suppose -24822 = 1836*g - 1845*g. Is 14 a factor of g?
True
Let x(u) = -62*u - 7. Let v be x(-3). Let h = 7 - 0. Suppose -4*c - 3*t + v = 0, -t - 219 = 2*c - h*c. Is 14 a factor of c?
False
Suppose -5*n - 38 + 133 = 2*t, -5*n - t = -100. Let o = -18 + n. Suppose 0 = 8*l - o*l - 660. Is 44 a factor of l?
True
Suppose -5*r = -4*x + 77983, 11*x - 14*x + 58516 = 2*r. Is 82 a factor of x?
False
Let d = 100 - 97. Suppose d*p - c - 12 = 0, 2*c = 3*p - 3*c - 12. Suppose -452 = -5*v + 3*i, 235 = p*v - i - 128. Is v a multiple of 13?
True
Suppose 9*c = -11547 + 51068 + 133036. Does 7 divide c?
True
Let x(z) = 4342*z**3 - 2*z**2 + 12*z - 11. Let b be x(1). Suppose 0 = -35*n + 3499 + b. Is 19 a factor of n?
False
Let m = -2743 + 10822. Does 71 divide m?
False
Let b(d) = d**2 + 11*d + 9. Let s be b(-11). Let x(c) be the first derivative of -c**3/3 + 13*c**2/2 - 4*c - 32. Is x(s) a multiple of 13?
False
Let m = 8061 - 7852. Does 6 divide m?
False
Suppose -x + 2 = 0, 755 = -t + 2*t + 5*x. Suppose -275 = -10*c + t. Is c a multiple of 17?
True
Suppose -4*l + 136615 = -p, 4*l - 148910 = 4*p - 12310. Does 55 divide l?
True
Let b(l) = 4*l - 63. Let d be b(-4). Let g = d + 371. Is 18 a factor of g?
False
Let c = 54 - 51. Let o(r) = -30*r - 9. Let b be o(c). Let v = b + 160. Does 9 divide v?
False
Let x be 65 + 8 + 3/(0 - 3). Let q(a) = -a**2 + 8*a + 4. Let o be q(6). Let p = x - o. Is p a multiple of 56?
True
Is 24 a factor of (-18)/108 + (-27165)/(-18)?
False
Let d(u) = -u**3 + 44*u**2 + 47*u - 54. Is d(43) a multiple of 30?
False
Suppose -10 + 26 = 4*i. Suppose 2*r = 6*r - 1348. Suppose 97 - r = -i*x. Is 10 a factor of x?
True
Suppose 212*l - 220*l = 0. Does 7 divide 2/(-4 - l) - (-45387)/82?
True
Suppose 5*d - 10 = b - 35, -2*b = 5*d - 35. Let m(i) = -2*i**3 + 17*i**2 - 7*i - 4. Let c be m(8). Let j = b + c. Does 12 divide j?
True
Let w(u) = 2*u + 441. Let m be w(0). Suppose 3*y + 134 = 2*n - 179, 0 = -3*n - 5*y + m. Is 38 a factor of n?
True
Suppose 4*i = -5*g - 1048, -g - 131 - 93 = -4*i. Let p = g - -311. Is p a multiple of 9?
True
Let q be (-56)/12*-6 + 3/1. Let l = -17 + q. Suppose 3*x + 43 = 2*a + 2*x, -a = 2*x - l. Is 10 a factor of a?
True
Suppose 6*i = -i + 119. Suppose 3 = 2*n - a - i, 5*n - 5*a - 45 = 0. Is 8 a factor of n?
False
Let x(t) = -30*t**3 - 43*t**2 + 38*t + 59. Is 49 a factor of x(-11)?
False
Let m = 2115 + -2124. Let j(q) be the first derivative of 2*q**3/3 + 4*q**2 - 22*q + 1. Is j(m) a multiple of 8?
False
Suppose 5*q - 53182 = -4*j, -23*q + 26594 = 2*j - 19*q. Does 9 divide j?
True
Let g = 355 + -315. Suppose -g*a + 5570 + 14270 = 0. Does 16 divide a?
True
Let p be (-4)/(12/243) + 0 + 5. Let q = 223 - p. Does 13 divide q?
True
Suppose 5*k - 438024 = -3*k - 4*k. Is k a multiple of 118?
False
Let z(p) = 2*p**3 + 51*p**2 + 24*p - 23. Let b be z(-25). Suppose 0 = -5*c + 5*d + 120, b*c - 5*d + 8 = 41. Is 2 a factor of c?
False
Suppose 36*o - 102180 - 42540 = 0. Is o a multiple of 20?
True
Let z(t) = 9*t + 4. Suppose -3*y + 50 = 5*h + 2*y, h = 4*y. Is z(h) a multiple of 12?
False
Suppose -4*d = -2*d - 4. Is 3 a factor of (3/(-1) + -22)*(0 - d)?
False
Suppose 20*