ue
Let q(z) = 7*z**2 + 2*z + 1. Let t be q(-1). Suppose -k = 2 - t. Suppose -3*x = k - 55. Does 17 divide x?
True
Let i(k) = k**2 + k**2 + 0*k**3 - 6 + 3*k**3 + 3*k. Let j(m) = -m**3. Let y(r) = -i(r) - 4*j(r). Does 7 divide y(4)?
False
Suppose 0 = -3*x + l + 3*l + 375, -4*x + 500 = -4*l. Let a = 198 - x. Let z = a + -31. Does 13 divide z?
False
Let t(o) = -3 + 2*o**2 + o**2 + 6*o - 2*o**2. Let y be t(-3). Is 36 a factor of 1400/12 + (-4)/y?
False
Let w = 19 + -12. Suppose -4*m + w*m = -3*k + 6, 2 = -2*k. Suppose 3*t + 3*d - 15 - m = 0, -4*d + 8 = 0. Is t a multiple of 4?
True
Let h be 4/6 - 16/(-12). Suppose 34 = h*v - 4. Is v a multiple of 9?
False
Let c be (-9)/(-15) - 965/25. Let g = c + 106. Let w = 128 - g. Does 10 divide w?
True
Suppose -560 - 308 = -4*b. Does 43 divide b?
False
Let m = 112 - 162. Suppose -80 = -9*b - 107. Is m/b - (-6)/(-9) a multiple of 8?
True
Is (2*1/(-4))/(40/(-142320)) a multiple of 21?
False
Does 5 divide 4160/112*((-105)/(-6))/5?
True
Does 12 divide -1*(9/12)/((-2)/424)?
False
Does 12 divide (28/(-10))/((-28)/2520)?
True
Suppose 1471 = r - 3*q + 8*q, -3*r + 4457 = 4*q. Does 81 divide r?
False
Let m = -162 + 304. Is m a multiple of 19?
False
Let a(u) be the first derivative of u**4/4 + 7*u**3/3 - u**2/2 - 4*u + 4. Let y be a(-7). Suppose -60 = -4*o + d, -d + y*d + 8 = 0. Does 7 divide o?
True
Let q(y) = 2*y**3 - 5*y + 6. Let c be q(1). Suppose -c*g - 8 = -5*u - 102, 142 = 5*g - u. Is 7 a factor of g?
True
Suppose -13227 = -61*m + 21787. Does 13 divide m?
False
Suppose 0*c - c = -576. Suppose -2*v - 2*v = -c. Does 6 divide v/27*(-18)/(-8)?
True
Let f(z) = 31*z - 183. Does 47 divide f(15)?
True
Let r be (6/(-9))/((-6)/9). Let l be (3 - 3)/((-2)/r). Suppose l = 2*b - 127 + 7. Is 13 a factor of b?
False
Suppose -3*o + 0*i - 2*i + 425 = 0, 0 = o - 4*i - 151. Does 18 divide o?
False
Let z(q) be the second derivative of q**5/20 + q**4/4 - 5*q**3/6 + q**2 + 3*q. Let l be z(3). Suppose -3*t + 93 = -3*k, 2*k - 8 = t - l. Is 13 a factor of t?
False
Let s(x) = 372*x + 19. Is s(1) a multiple of 17?
True
Suppose 3*w + n - 753 + 192 = 0, -2*w + 4*n = -360. Is 31 a factor of w?
True
Let v(i) = 14*i + 3. Let c be v(11). Let d be (1 + (-4)/2)*c. Let j = d - -220. Is j a multiple of 18?
False
Suppose -2*s - 40 = -0*s. Let r = s - -30. Suppose -2*n + r = -0*n. Is n a multiple of 3?
False
Suppose 27 = t + w + 2*w, w = -1. Does 11 divide 1842/t - (-9)/15?
False
Suppose -5*g + 372 = 22. Is g a multiple of 7?
True
Let j(a) = 33*a - 624. Does 102 divide j(39)?
False
Suppose 125 = 5*b + 150. Let d(m) = 3*m**2 + 11*m + 4. Does 8 divide d(b)?
True
Let c = -15 - -17. Let h = 0 + 0. Suppose h = a - 4*a + x + 41, -a + 22 = -c*x. Does 6 divide a?
True
Is 22 a factor of (-16450)/(-63) + (76/(-36) - -2)?
False
Let t = -38 + 155. Let i = t + -65. Does 13 divide i?
True
Let u = 965 - 370. Is 18 a factor of u?
False
Suppose 2*h = v - 42 - 39, 3*v = 4*h + 237. Is 10 a factor of v?
False
Does 11 divide ((-1 - -44) + 4)/((-7)/(-77))?
True
Let q = 5 + -5. Suppose q = 5*v - 0*v + 325. Let u = 113 + v. Is u a multiple of 19?
False
Suppose 8 = g + 3*g. Suppose 13*l = -206 + 1012. Suppose 2*d + 3*i = -g*d + l, -4*i = 3*d - 43. Is d a multiple of 12?
False
Let a be -1*(-2)/(2 + 10/(-6)). Let w be 18/(-27) - 61/3. Is 30 a factor of 844/14 + a/w?
True
Suppose -7*i = -3*i - 12. Suppose -3*v - 53 = -8*v - 2*y, -i*y = 5*v - 57. Suppose 4*p = v*p - 95. Is p a multiple of 19?
True
Suppose -7*j - 946 = -3340. Is j a multiple of 12?
False
Let x(g) = 4*g**2 - 4*g + 32. Let u be (6/(-5))/(108/40 - 3). Is 21 a factor of x(u)?
False
Let j(d) be the third derivative of d**5/60 + 7*d**4/24 - 4*d**3/3 - 10*d**2. Let q be j(-8). Suppose q*s = -s + 42. Is s a multiple of 21?
True
Let k = 247 + 107. Is 16 a factor of k?
False
Suppose 26*r = -3429 + 44873. Does 64 divide r?
False
Let k be -12*(-4)/((-24)/(-9)). Let q = k - 13. Is 2 a factor of q/2*8/4?
False
Let r(i) = -7*i - 2. Let x(c) = 29*c + 8. Let d(b) = 9*r(b) + 2*x(b). Let l be d(-6). Suppose -l = -s - 3*s. Is s a multiple of 7?
True
Let x(l) = l**2 + 9*l - 23. Let o be x(-11). Is 6 a factor of (-91)/(-13)*(o + 2)?
False
Is (-90)/(-35) + -3 + (-4455)/(-7) a multiple of 53?
True
Let l(o) = o + 2. Let z(m) = m + 3. Let r(t) = 5*l(t) - 4*z(t). Let w be r(-6). Let h = 15 + w. Is h a multiple of 5?
False
Let h be (-3 + 42/10)*3690/27. Suppose 4*a + h = 2*i, 2*a - 3 + 161 = 2*i. Does 4 divide i?
True
Suppose 5*r = r. Let j(l) = -l**2 + 5*l - 5*l + 18 + 0*l. Is 10 a factor of j(r)?
False
Suppose 5*x - 1607 = -222. Does 21 divide x?
False
Let n = -846 - -1359. Is 64 a factor of n?
False
Let n(b) = 7*b**2 - 4*b - 81. Is 5 a factor of n(-9)?
False
Suppose 857 = 4*p + 4*b + b, 3*p = -4*b + 644. Is 16 a factor of p?
True
Does 3 divide ((8/5)/1)/(18/6165)?
False
Suppose w = q - 142, -4*q = -w + 5*w + 576. Let r = 48 - 147. Let v = r - w. Is 11 a factor of v?
True
Suppose 0 = -g + 5, 13306 + 2186 = 7*v + 3*g. Is v a multiple of 11?
True
Let q = 638 - -387. Is q a multiple of 41?
True
Let w = -307 - -361. Is 13 a factor of w?
False
Let j be (-3)/(-7) + (-3301)/(-7). Suppose j = 4*z - 0*z. Is z a multiple of 28?
False
Let m(f) = -16*f + 8. Suppose 4*s + 4 = -3*t, 3*t - 5*s = -t - 26. Let b be m(t). Let l = b - 18. Is 18 a factor of l?
True
Suppose 2*r + 2913 = 20*u - 15*u, 2*u = -r + 1167. Does 92 divide u?
False
Let l be (-12)/16 - 19/(-4). Suppose 0 = l*o + 2*r - 7*r - 2, r - 2 = 0. Suppose 2*u = -3 - o, 4*u = p - 61. Does 13 divide p?
False
Let j = -124 + 680. Does 5 divide j?
False
Let q(f) = -2*f**2 - 36*f + 40. Let a be q(-19). Is 4 a factor of (-25)/5*14/(-10)*a?
False
Let y(n) = n**2 + 12*n - 3. Let v be y(-13). Let q(b) = 13*b - 8. Let i be q(v). Suppose -5*s + 148 = -i. Is 18 a factor of s?
True
Let v(q) = q + 6. Let c be v(-6). Suppose y - 2*y - 7 = -r, -3*r + 5*y + 31 = c. Suppose 2*n - n = -r*g + 61, -2*n = g - 38. Does 14 divide g?
True
Let q = -332 - -179. Is 2 a factor of 1/(-2) - q/18?
True
Let z(r) = 2*r**2 + 19*r - 4. Let o be (-21)/(-14)*20/(-3). Does 2 divide z(o)?
True
Let c(j) = -2*j**2 - 14*j + 3. Let k be c(-8). Let b = 93 - k. Is b a multiple of 26?
False
Let n be ((-10)/4)/((-10)/20). Suppose -c + 7 = n. Is 26 a factor of (2 + c)*(-70)/(-8)?
False
Let h = -52 - -55. Is 5 a factor of ((0 + 3)/12)/(h/732)?
False
Let a(n) = n**2 - n - 2. Let b be a(2). Suppose u - 23 - 6 = b. Is u a multiple of 7?
False
Suppose 0*r = 2*r - 10, -4*r = o + 208. Let m = o + 372. Does 22 divide m?
False
Suppose 14889 = -18*r + 41853. Is 21 a factor of r?
False
Suppose 2213 = 3*g - 7*c + 6*c, 2*g = c + 1474. Is 14 a factor of g?
False
Let v be (-1118)/(-130) - 4/(-10). Suppose 0 = 3*g + f - 22 - 19, 5*f - v = -g. Is 2 a factor of g?
True
Let r = -7 + 33. Suppose -40 = -6*z + r. Is 2 a factor of z?
False
Let o(a) = 15*a - 27. Let w be o(6). Let v = w + -33. Does 6 divide v?
True
Suppose 6*n - 7*n + 1224 = 3*g, 3*g - 2442 = -2*n. Is 42 a factor of n?
True
Let m(c) = -33*c**3 - 7*c**2 + 11*c - 11. Let a(h) = -17*h**3 - 3*h**2 + 5*h - 5. Let v(b) = -9*a(b) + 4*m(b). Is v(1) a multiple of 5?
True
Let u = 212 + 43. Does 24 divide u?
False
Let h(n) = -22*n + 253. Does 29 divide h(-20)?
False
Is 39 a factor of 40/3*((-15435)/14)/(-15)?
False
Suppose -3*b - 5*l + 5592 = 0, 5595 = 3*b - 103*l + 107*l. Does 21 divide b?
True
Does 14 divide (-290)/(-6) - 26/78?
False
Suppose 4*i = -18*i + 660. Does 3 divide i?
True
Suppose 2*m - 3 = 2*k - 5*k, k = -3*m - 6. Suppose -2*u - 155 = -k*l - 0*u, 5*u + 265 = 5*l. Suppose -3*r + l = -44. Does 9 divide r?
False
Suppose 0 = 4*d - 40 - 140. Let p = 16 + d. Does 10 divide p?
False
Suppose -63537 = -24*n - 24105. Is 53 a factor of n?
True
Let v(l) = -5*l + 11. Let o be v(11). Let w be 4/16 - o/16. Suppose -9 = w*y, -28 = -3*n + n + 2*y. Does 11 divide n?
True
Suppose 9*p = 11*p, p = -s - 78. Let g be (-1)/1 + 42*-1. Let o = g - s. Is o a multiple of 5?
True
Let x(v) = -v**3 + 20*v**2 - 11*v + 61. Is x(19) a multiple of 8?
False
Is 19 a factor of 4/(-48) - 23943/(-36)?
True
Let a be (-21 - -6)*(24/(-10) + 2). Let d(f) = -4*f + 5*f + 3 + 6*f. Does 15 divide d(a)?
True
Let a be -319 + 2*1/(-2). Let q = -131 - a. Is 2 a factor of (-4)/(-26) - q/(-39)?
False
Let n(b) = b**3 + 2*b**2 - 3*b. Let h be n(2). Let