
False
Let j be 32/(-24)*-6*(-1468)/16. Let m = j - -1095. Is 19 a factor of m?
True
Suppose 91*k = -65*k + 261176 + 1947004. Is k a multiple of 133?
False
Let q = -12 - -16. Suppose q*w = 2*o + 180, 2*w - 3*w + 45 = 4*o. Suppose -7*d + w = -95. Is 5 a factor of d?
True
Is 158356/122 - (2 + 0) a multiple of 4?
True
Let m be (-8 + 7)/(0 + 1)*6. Let b be m - 5/10*-4. Is 38 a factor of (-16)/64 - 457/b?
True
Suppose 6*c = c + 15. Let i(d) = -c*d - 5 - 5 + 23. Is 19 a factor of i(-4)?
False
Let u(n) = 11 + 8*n + 9*n - 25 - 21. Let z be u(7). Suppose 2*i = 3*i + 4*h - 28, 3*i - 2*h = z. Is 4 a factor of i?
True
Let a = 37 - 33. Suppose -15*x + a*x = -1188. Suppose -14*d + x = -12*d. Is d a multiple of 14?
False
Let y(t) = -7*t - t**2 - 3*t - 12 - 7*t + 6*t. Let x be y(-7). Does 5 divide 12/(-8)*x/(-6) - -1?
True
Let w = -1396 - -1287. Let b be 1300/(-6) - 1/3. Let f = w - b. Is f a multiple of 12?
True
Suppose 4*v - 1389150 = -35*v + 12*v. Is v a multiple of 75?
True
Suppose -6*g - 32 - 106 = 0. Let v = 25 + g. Is 18/v*(-11 + 12) a multiple of 2?
False
Let d = -67 + 66. Is ((-12)/4)/(d/36) a multiple of 9?
True
Let l = 10266 - 5829. Suppose 2*s - l = -15*s. Does 29 divide s?
True
Suppose 69*l - 76*l = -23359. Is 37 a factor of l?
False
Suppose 20*q - 24*q = -29*q + 127925. Is q a multiple of 23?
False
Suppose 0 = 4*o + 2*k - 6736, -1262*o + 5*k = -1257*o - 8450. Is 120 a factor of o?
False
Is -1 - (-1 - -2) - -9 - (-13 - 9070) a multiple of 30?
True
Suppose -8*m + 11799 + 54769 = 0. Is m a multiple of 53?
True
Let n(l) be the first derivative of 166*l**3/3 + 7*l**2/2 - 3*l - 19. Is 52 a factor of n(-3)?
False
Let m = -17 + 57. Suppose 5*q + m = j, 2*j = q - 6*q - 25. Let x = q - -26. Is 17 a factor of x?
False
Suppose 9*y = -395 + 161. Is y/((-11)/(-231)*6/(-16)) a multiple of 18?
False
Let d(z) = z**2 - 2*z - 4. Let o(j) = -2*j + 1. Let s be o(-3). Let v be d(s). Let t = 44 - v. Does 13 divide t?
True
Suppose -6*u = -13*u + 217. Suppose u*i = 35*i - 92. Suppose 5*b = 5*r + 85, -i = -3*b - 5*r + 12. Is b a multiple of 13?
False
Suppose -10*u + 133 - 383 = 0. Let q = u + 172. Does 7 divide q?
True
Suppose -2060*u - 2075*u - 65600 = -4155*u. Is 18 a factor of u?
False
Let l = 18544 + -12069. Is l a multiple of 54?
False
Let t(h) = -7*h**2 + 15*h + 7. Let q be -3 - (0/3 + -9)*1. Let v(z) = -20*z**2 + 44*z + 20. Let a(r) = q*v(r) - 17*t(r). Does 2 divide a(8)?
False
Let y = -203 + 98. Let a(b) = b**3 - 45*b**2 + 58*b - 668. Let u be a(44). Let c = u - y. Is c a multiple of 6?
False
Let y(d) be the third derivative of d**6/120 + 5*d**3/6 - 112*d**2. Let q(x) = -x**3 - 8*x**2 - x - 5. Let f be q(-8). Is y(f) a multiple of 9?
False
Suppose 3332 - 22058 = -2*u. Is u a multiple of 122?
False
Let t(v) = 17*v - 63. Let y be t(3). Let f(n) be the third derivative of -7*n**4/24 - 7*n**3/3 + 4*n**2. Is f(y) a multiple of 7?
True
Let o = 107 - 101. Suppose -31*d + 30*d = -o. Is 2/d - (-2944)/24 a multiple of 6?
False
Let o = -25692 - -50332. Is 10 a factor of o?
True
Let b(v) = 139*v**2 + 18*v - 14. Is b(7) a multiple of 98?
False
Let c = 5135 + 7458. Is 116 a factor of c?
False
Let v(i) = 257*i**2 + 35*i - 172. Does 15 divide v(5)?
False
Let z(b) = -b**3 + 10*b**2 + 2. Let h be z(10). Suppose h*m = -2*p + 1424, -p + 2873 = 4*m - 2*p. Suppose -4*d = 5*w - m, -147 = -w - 0*d + d. Does 21 divide w?
False
Let d(x) be the first derivative of -x**4/4 - 7*x**3/3 + 4*x**2 + 4*x - 1. Suppose 2*z + 31 = 21, -3*v - 4*z - 50 = 0. Does 32 divide d(v)?
True
Suppose -249*c + 474783 = -829230. Does 3 divide c?
False
Let i(l) = -43*l - 2. Let t(w) = 44*w + 3. Let x(d) = -4*i(d) - 5*t(d). Suppose -3*z + 4 = -4*m - 10, m + 2*z = 2. Is 16 a factor of x(m)?
False
Suppose 416*l - 4856832 = 160*l. Is l a multiple of 153?
True
Let y(u) = -u**3 + u**2 + 3*u - 2. Let t be y(1). Suppose -3*v - k + 25 = 0, v - 5 = 2*k + t. Is (v + -143)*(2/(-3) - 0) a multiple of 16?
False
Suppose 4*v + 5 = 1. Let p(z) be the third derivative of -41*z**4/6 - 5*z**3/6 + 153*z**2 + 5*z. Is p(v) a multiple of 14?
False
Is (-307950)/(-130) + ((-9)/78)/((-6)/8) a multiple of 23?
True
Suppose -1029 - 11 = -10*i. Suppose 37*a = 38*a - i. Does 33 divide a?
False
Let o(z) = -7*z - 13. Let v(b) = -5*b - 13. Let s(l) = -5*o(l) + 6*v(l). Let d be s(4). Let p(m) = -m**2 + 6*m + 22. Is p(d) a multiple of 15?
True
Let x(l) = 472*l - 967. Does 58 divide x(9)?
False
Let v(q) = -41*q + 997. Does 8 divide v(22)?
False
Suppose 0 = -0*h + h - 4. Suppose 18 = h*y - y. Suppose u = y*u - 100. Does 4 divide u?
True
Does 24 divide (-416 + 16)*270/(-12)?
True
Let g be 6/1 - (-92 - 2). Let q = -50 + g. Is 25 a factor of q?
True
Let g = 11183 - 5901. Does 13 divide g?
False
Suppose -5*r = 5*n - 10, -6 = 2*n + 3*r - 6*r. Suppose n = -4*q + 10 - 2. Suppose -378 = -q*t - t. Is t a multiple of 18?
True
Let v(z) = -28*z - 107. Let k be v(-4). Suppose -1639 = -2*x + k*m, 10*x = 11*x - m - 815. Is 14 a factor of x?
True
Suppose -12 = -5*x + 2*k - 6, -4*k = -x - 6. Suppose -v = x*y - 179, -4*y + 326 = -3*v + 903. Is v a multiple of 22?
False
Suppose 17299 = 81*y - 62*y - 51101. Does 50 divide y?
True
Let x = -3889 + 9160. Does 19 divide x?
False
Let x(l) = -3*l - 6. Let a be x(-3). Suppose 5*f + g - 142 = 0, a*g = -f + g + 32. Does 5 divide f?
False
Suppose 2*f = 3*s - 265 + 819, -4*f + 1108 = 5*s. Let k = 413 - f. Does 6 divide k?
False
Suppose -3*m + 109501 = -23*c + 25*c, -273736 = -5*c - 2*m. Is 31 a factor of c?
True
Let j(q) = 2*q + 54. Let o be j(-26). Does 23 divide -8 + 3 + o + 26?
True
Let g(k) = -k**3 + 20*k**2 - 3*k - 46. Let z be g(17). Is 32 a factor of z/1 - ((5 - 12) + 9)?
True
Suppose -3*h - 3*a + 0*a = -210, 3*a = 3*h - 234. Let q = 126 - h. Is q even?
True
Suppose -18*u - 9*u = -270. Suppose 252 = 2*h + u*h. Is 2 a factor of h?
False
Let o = 899 - 360. Suppose -b + 8*b - o = 0. Suppose i = -4*x + 161, 0 = -0*x - 2*x + 3*i + b. Does 8 divide x?
True
Suppose 1 = -3*t - 11. Let a = 9 + t. Suppose 3*x = 4*p + 80, a*x + p - 80 = -3*p. Is x even?
True
Let b be ((-1362)/8)/(23/(2392/(-39))). Suppose -b*c + 100 = -452*c. Does 4 divide c?
False
Suppose 94*l - 45*l = -79*l + 93184. Does 14 divide l?
True
Suppose l - 2483 = 4*b, -3*l = -0*l + 2*b - 7365. Does 129 divide l?
False
Suppose 11*t - 27*t = 4416. Let y = t - -405. Is y a multiple of 22?
False
Let p(d) = -3*d**3 + 2*d + 2. Let h be p(-1). Suppose 0 = h*x + 4*a - 8*a - 1958, 2*x = a + 1302. Is 26 a factor of x?
True
Is 47 a factor of 22/429 - (-2706340)/507?
False
Is (-13)/((-13)/7) + -3 + 44315 a multiple of 33?
True
Let o(a) = a**2 + 5*a - 14. Suppose 23*g - 30*g = 49. Let r be o(g). Suppose -2*q - 825 = -5*k - 5*q, r = -2*k - 2*q + 326. Does 14 divide k?
True
Let y = -10443 - -19575. Does 19 divide y?
False
Let h(o) = 19*o**2 + 6*o + 16. Let y = 279 - 282. Does 29 divide h(y)?
False
Let c = -980 + 1643. Suppose -q - c = -792. Does 15 divide q?
False
Suppose 2*j = -10, -2*v - 3*j + 0 = 7. Does 60 divide 144/((-16)/v)*(-150)/9?
True
Suppose -5*l + 1905 = 3*y - 8*l, 2*y + l = 1255. Suppose -880 = -5*p + 2*i + y, 0 = -2*p - 5*i + 633. Does 9 divide p?
False
Suppose -2*c = 2*o - 1666, -4*c + 3336 = o + 4*o. Suppose 5*w - 911 = c. Does 23 divide w?
False
Suppose 13*p + 32*p - 114333 - 33537 = 0. Is p a multiple of 62?
True
Suppose 2*r - 44 = -12. Suppose r*h = 15*h + 4. Suppose a - 26 = -h. Does 6 divide a?
False
Suppose 5*b - v - 113 = 0, 5*b - 123 = 2*v - 6*v. Let j(i) = i**3 - 20*i**2 - 50*i + 12. Is j(b) a multiple of 14?
False
Let a(p) = p**3 - 4*p**2 - 9*p - 14. Let b be a(6). Suppose b*w - x - 4*x - 15 = 0, 3 = -3*w - x. Suppose v - 21 = -2*i, w = -v - 3*v - 20. Does 13 divide i?
True
Suppose 54420*v + 144396 = 54441*v. Is 9 a factor of v?
True
Let w be (2 - 1)/((-24)/(-11208)). Suppose -2*d + 10 = 0, 2*d - w = -v + d. Is 21 a factor of v?
True
Suppose u + 2*u = 2*g - 83, 4*g - 190 = -2*u. Let x be ((-2)/(-3) + 0)/(g/207). Suppose 3*k + x*a - 75 = 0, 0*k - 45 = -k + 3*a. Does 3 divide k?
True
Let o(i) be the second derivative of -i**2 - 1/6*i**3 - 14*i + 0 + 2/3*i**4 + 1/20*i**5. Is o(-6) a multiple of 19?
True
Suppose -1283*s = -1310*s + 78597. Does 15 divide s?
False
Let h = 210 - 207. Let b(y) = 17*y**2 + 1. Is b(h) a multiple of 51?
False
Suppose k - 34*w - 360 = 