9*h, 4*u = 2*h + 97916. Is 121 a factor of u?
False
Suppose -3*g = z - 2*z + 21, 0 = 5*z - g - 49. Suppose 0 = 4*f + 4, z*o + 2*f = 5*o + 794. Is 11 a factor of o?
False
Suppose 0 = 20*w - 8*w - 72. Suppose 3*h = w*h - 1035. Is h a multiple of 15?
True
Let h = -348 - -437. Suppose -2*a + 171 + h = 0. Is a a multiple of 26?
True
Let l = 10 + -5. Let s be 1/((-3)/(-588))*l/(-10). Let x = 32 - s. Is x a multiple of 13?
True
Suppose -2*m = 12*m - 70. Suppose 0 = m*i + 5, 4*z = -i - 426 + 1145. Is 45 a factor of z?
True
Let y be ((-4)/4 + 13)*4/8. Suppose 6*g - 2*g = -4*v + 12, v + 4*g = y. Suppose 5*c - 4*u - 334 = 0, 5*c + u - 346 = v*u. Does 28 divide c?
False
Let o(a) = -2*a**2 - 5*a - 6. Let s be o(-6). Let q be 1*s*(-10)/3. Suppose -16*c = -11*c - q. Is c a multiple of 10?
False
Suppose -g + m + 3 = 6*m, -4*m = g - 3. Is (-92)/8*(0 + -5 + g) a multiple of 3?
False
Suppose 5*g + 2*z + 63 = -17, 4*g - 4*z = -64. Is (12/(-10))/(g/4320) a multiple of 12?
True
Let w be (-4)/10 + (-578)/(-170). Suppose 3*c = w*p - 657, -13 + 4 = -3*c. Does 37 divide p?
True
Suppose 10 = 3*f - 5. Suppose 0 = -2*r + f + 13. Suppose r*l = 712 + 8. Is l a multiple of 10?
True
Let b(u) = -15*u - 111. Let l be b(-8). Suppose l*d - 12*d + 162 = 0. Does 54 divide d?
True
Suppose -3515*d = -3486*d - 423661. Is 7 a factor of d?
True
Let w(b) = 88*b + 1. Let r be w(1). Let h = 1583 + -1419. Let t = h - r. Does 15 divide t?
True
Suppose 0 = 80*p - 84*p + 4*g + 36660, -4*g = 3*p - 27488. Does 137 divide p?
False
Let d(f) = f**2 - 11*f - 51. Let q be d(-3). Let z(v) = 15*v**2 + 81*v + 15. Does 19 divide z(q)?
False
Let h(p) = -1170*p - 555. Is 19 a factor of h(-9)?
True
Suppose 6*z = -5*f + 2*z + 52, 46 = 5*f + 2*z. Let w be (-4 + 85/20)*f. Is 8 a factor of (8 - w/2)*(11 - 7)?
False
Suppose 0 = -2*t + 69 + 31. Suppose 45*k + 1480 = t*k. Does 8 divide k?
True
Let y = 80 + -76. Suppose 0 = -y*d + 3*i + 3115, 3*d + 2*i = 5*d - 1556. Does 71 divide d?
True
Suppose -3 = 4*g - 15. Suppose 20 + 40 = g*l. Suppose 0 = -2*u - 4*t + 8, 0 = 2*u - 5*t - 73 + l. Is 7 a factor of u?
True
Suppose 0 = 130*j - 110*j - 22700. Does 10 divide j?
False
Let o(j) = -58*j + 1236. Is o(-92) a multiple of 71?
False
Let y(g) = 33*g + 444. Is y(-2) a multiple of 21?
True
Let f be 3 - -1 - (-96 + 97). Suppose 2248 - 1423 = f*r. Is r a multiple of 19?
False
Suppose -5*y - 12*y = 204. Does 28 divide (-1)/(-4) - 2349/y?
True
Suppose -6*w - 684 = -252. Let x = w + 75. Suppose -4*q + 131 = x*n - 8*q, 3*q = n - 52. Does 7 divide n?
False
Let y = -456 - -516. Is 2/(-10) - (-23952)/y a multiple of 19?
True
Let o be (18792/(-21))/((-6)/(-42)). Let w be o/(-63) + (-3)/7. Let a = -54 + w. Is a a multiple of 12?
False
Let i = 474 + -466. Suppose 4*y - 23 = -5*h, 0 = -0*y - 5*y - 5*h + 25. Suppose y*m - i*o = -3*o + 398, 5*m - 3*o = 957. Does 23 divide m?
False
Let g = 43 + -40. Suppose 3*c = 5*p + 193, 4*c - g*p = p + 260. Suppose y - c = -2*y. Does 22 divide y?
True
Let a(c) = 62*c - 712. Is a(41) a multiple of 4?
False
Let i be (-3 - 9/(-12))/(4/96). Is 11 a factor of 6/i + (-10128)/(-27)?
False
Let w(p) = 108*p - 56. Let i be w(7). Suppose -25*h + 0*h + i = 0. Is 14 a factor of h?
True
Suppose 5*f - 243 = 14*f. Let b = f - -32. Suppose -2*a + 4*d + 136 = 0, b*a - 324 = 2*d - 0*d. Is 16 a factor of a?
True
Suppose 382180 = 86*r - 237794. Does 81 divide r?
True
Let y = 97 + -96. Suppose -g + y = 2*k, 5*g + k - 79 + 29 = 0. Suppose g = -s + 42. Is 13 a factor of s?
False
Suppose x - 59101 = 2*a + 5273, 5*a - 257574 = -4*x. Does 129 divide x?
False
Suppose 3271 = 4*z + h, -4094 = -4*z - z + 4*h. Suppose -14*f = -16*f - t + z, 802 = 2*f - 3*t. Does 37 divide f?
True
Let q(d) = -6*d**2 - 77*d + 7. Suppose i = -3*a - 30, -a - 4*i - 5 = -6. Is q(a) a multiple of 13?
False
Let t = -3731 - -7511. Is 45 a factor of t?
True
Let j be (-63)/(-6)*12/21. Suppose 2*h - j*h = -132. Is h a multiple of 11?
True
Let a be ((-162)/4)/9*(-44)/99. Suppose 4*o + 7*h - 4*h = 398, -a*o + 2*h + 192 = 0. Is o a multiple of 67?
False
Let z(w) = 2*w - 5*w - 6*w + 8*w**2 + 18. Is z(3) a multiple of 63?
True
Let x be 1241/11 + -4 + 10/55. Suppose -5 = -g + x. Does 5 divide g?
False
Suppose 0 = 5*s - 20, 2*a + a - 31 = -4*s. Let r be 6280/942*378/5. Suppose -5*j = a*n - 1260, -4*n = 2*j - n - r. Does 43 divide j?
False
Let f = 255 + -252. Suppose -f*m = -5*c + 1430, 2*c - 3*m = -5*m + 572. Is 22 a factor of c?
True
Let d(w) = 27*w - 3. Let v be d(3). Suppose 2*o - v = 2*l, -l + o + 93 = -3*l. Let p = l + 220. Does 22 divide p?
True
Let z be 6 - 144*3/(18/(-3)). Suppose -2*x + 101 = v, z*v = 74*v - 3*x + 414. Is v a multiple of 2?
False
Is 6 a factor of -1*(487664/(-160) - (-4)/(-40))?
True
Let d(a) = -5*a**2 - 14*a + 9. Let p be d(-4). Let u be (243/p)/((-2)/5)*-2. Let m = 311 + u. Does 23 divide m?
True
Let c = 5715 + -2427. Is 7 a factor of c?
False
Let y(g) = g + 9. Let w be y(6). Suppose 16*k = w*k - 33. Does 5 divide -1*2/3 - 913/k?
False
Let a(x) = 211*x**3 + 2*x**2 + 192*x - 1205. Is 11 a factor of a(6)?
True
Let x be ((-3)/(-6))/((-4)/8). Let h be x - (-3 - (-2)/1). Suppose o - 2*o + 5*k + 41 = 0, 2*k = h. Is 10 a factor of o?
False
Let h = 18 - -15. Let u = 46 + -29. Let r = h - u. Is r a multiple of 8?
True
Let t = 775 + -319. Let k = t + -60. Is k a multiple of 33?
True
Suppose -14*d - 7 = -15*d. Suppose -3 = 2*i - d. Suppose -4*t + 8 = 0, 6*t - 240 = -i*b + t. Is b a multiple of 23?
True
Suppose -27 = -8*n + 37. Suppose l - 24 = -5*g, 4*l + g - 3*g = n. Suppose p = -2*i - 3*p + 44, -124 = -4*i + l*p. Is 2 a factor of i?
True
Let d(k) = -8*k**3 + 2*k**2 + 43*k + 116. Is d(-8) a multiple of 16?
False
Suppose 38*h = -51*h + 129317. Is 56 a factor of h?
False
Let c(q) = -46*q + 549. Let o be c(12). Let u(d) = 4 + 2 + 8*d - 3 - 2*d**3. Does 28 divide u(o)?
False
Suppose -2*q - 3*b + 3974 = -451, 2*q = 3*b + 4431. Suppose -42*f + 1272 = -q. Is 14 a factor of f?
False
Let b(u) be the second derivative of 11*u**3/6 - u**2 + 17*u. Let k be b(5). Suppose -3*f + 186 = 3*c, c - 9 = -4*f + k. Does 8 divide c?
False
Suppose 3*p + 3*a = 60237, 90*a = 86*a - 8. Is p a multiple of 60?
False
Suppose 14*v - 109 = -39. Suppose v*g - 5*p = g + 3307, 3*g - 2486 = -2*p. Is 10 a factor of g?
False
Let l = 223 + -251. Is 56 a factor of (-40)/((1 + 1)*2/l)?
True
Let r(w) = -w**2 + 3*w + 298. Let s be r(0). Suppose s = -4*q - 2*m, q = 3*q + 3*m + 143. Does 12 divide -6*q/(-12)*-1?
False
Is (684/95)/((-996)/(-495) + -2) a multiple of 15?
False
Does 16 divide (16/(-10))/(20/(-91100))?
False
Let f(w) = -2*w. Let z be f(-2). Let o(u) = -u**2 + 7*u + 10. Let g be o(8). Suppose -4*x + x = z*m - 164, 36 = m + g*x. Is m a multiple of 44?
True
Let m(y) = -142*y - 3630. Does 24 divide m(-66)?
False
Suppose 32*b - 51 = 15*b. Does 13 divide (-18162)/(-42) + b + (-3)/7?
False
Let x(u) = u**3 - 13*u**2 + 43*u + 2. Let c be x(9). Suppose 74*k = c*k + 5040. Is 70 a factor of k?
True
Suppose 10*i - 265540 = -6*i - i. Is 130 a factor of i?
False
Let t = -15026 - -22196. Is 30 a factor of t?
True
Suppose 98*l = 103*l - 535. Let w = l - -13. Is 24 a factor of w?
True
Suppose -7*v = 5*x - 3*v - 22, -2*x = -4*v + 8. Suppose -2*s = 4*m - 244, -m - x*m + s = -178. Is m a multiple of 12?
True
Let c be (15*15/(-150))/(6/8). Let w(t) = -8*t**3 + t**2 + 3*t - 2. Is 6 a factor of w(c)?
True
Let o = -450 + 454. Is 57 a factor of 1 + (6 - o) + 510?
True
Suppose 2*m = 3*x - 81541, -4*x + 5*m + 65895 = -42838. Is x a multiple of 13?
False
Let x(y) = 2*y - 25. Let p be x(15). Let r be (-1 - 3)*(p - 63/12). Is 29 a factor of (-2)/r + (3 - (-3 - 170))?
True
Let p(i) = i**3 + 61*i**2 + 186*i - 189. Does 35 divide p(-57)?
True
Let n(u) = 7*u**3 + 12*u**2 - 43*u + 318. Does 66 divide n(9)?
True
Does 2 divide (284/(-24) - -12) + (-1990)/(-12)?
True
Suppose 0 = -2*r - q + 981 + 1002, -r + 990 = 2*q. Suppose r = 2*m + 290. Is m a multiple of 39?
True
Is 133 a factor of (-3745520)/(-440) + 12/(-22)?
True
Suppose 5*n - 98750 = 2*w + 13192, 5*w = 2*n - 44760. Does 106 divide n?
False
Is 130/(-2 - -15) + 9770 a multiple of 16?
False
Suppose -4*w + 0*l - l + 16 = 0, -l + 12 = 3*w. Suppose 2*p - 2*n = 4 - 0, -5*n - 6 = -3*p. Suppose y - 108 = -w*s, -2 = p*s + 5*y - 38. Is s a multiple of 25?
False
Suppose 2*