= 2*z**2 - 3*z**2 + 7*z + 13 + 2*z - 6. Suppose 14*m - 15 = 11*m. Is q(m) a multiple of 3?
True
Let v(z) = -z**2 - 13*z - 34. Let s be v(-11). Let d be 32/((-8)/12*s/16). Let h = -19 + d. Does 30 divide h?
False
Let q(y) = -1062*y + 444. Does 6 divide q(-2)?
True
Suppose 3*d - 2 = -3*j + 5*j, -28 = 5*j + 4*d. Let q be 250/(-3)*(2 - (-38)/j). Suppose 5*k + 2*v = 640, 6*k - v = k + q. Is 6 a factor of k?
True
Let n(z) = 5*z**2 + 3*z. Let o be n(-1). Suppose -221 = -o*d + 667. Does 37 divide d?
True
Let z be ((-5)/5 - 459)*(-1)/(-1). Let a = -456 - z. Does 3 divide a?
False
Suppose -46*m - 4*m + 41400 = 0. Is 5 a factor of m?
False
Let a = 86 + -3. Let n = a - 51. Suppose 4*y + 84 = 3*q, 2*q - n = -3*y + 24. Is q a multiple of 4?
True
Suppose -c - 1638 = -3*r, -c + 288 = 3*r - 1356. Let g = r - -353. Is g a multiple of 20?
True
Let a(q) = 28*q + 110. Let l be a(-14). Let z = 9 - l. Is z a multiple of 11?
False
Suppose -4*w - 2*w = -318. Let r = 58 - w. Does 19 divide r/30 + ((-3178)/12)/(-7)?
True
Let t(a) = 15*a**2 + 23*a - 3. Let g be t(-3). Suppose -68*u = -g*u - 880. Is 16 a factor of u?
True
Let c = 352 + -342. Is 17 a factor of (4425/c)/((-5)/(-10))?
False
Let z be (-3192)/216 + 4/(-18). Let k(p) = -65*p - 170. Is 55 a factor of k(z)?
False
Let k(n) = -39*n - 116. Let y be k(-18). Let d = -396 + y. Is d a multiple of 4?
False
Let f = 46 + -187. Let h be (2 - 4)/((-6)/f). Let b = h + 79. Does 20 divide b?
False
Let z = 60 + -60. Suppose 4*q - 16 = -z*q. Suppose q*c = -0*c + 440. Is c a multiple of 11?
True
Suppose -3*t + 15370 = -5*c, 3*c = -5*t + 37808 - 12214. Does 2 divide t?
True
Let m(d) be the first derivative of -2*d**2 + 10/3*d**3 - 3 + 11*d - 1/4*d**4. Is m(7) a multiple of 13?
True
Let z = 153 + -219. Suppose 113*o - 121*o = -1904. Let f = o + z. Is 43 a factor of f?
True
Suppose -d - 2*d - 4*f + 240 = 0, 2*d - 156 = -4*f. Is 8 a factor of (8/28 + (-80)/d)*-408?
True
Let x(d) = -d**3 + 22*d**2 - 17*d + 42. Let a be x(21). Is a + -2 + 1 - (-2 + -3) a multiple of 26?
True
Let z = 7859 + -4321. Is z a multiple of 20?
False
Let m = 148 + -112. Suppose -44*x = -m*x - 952. Is x a multiple of 30?
False
Suppose 2*a = 5*s - 1672, s - 370 = 3*a - 46. Is 44 a factor of (88/24)/(674/s + -2)?
True
Let h(y) = 3*y**2 - 24*y + 83. Let z be h(7). Does 15 divide -1*15*z/(-2)?
True
Suppose -9598003 + 1833693 = -277*f. Is 20 a factor of f?
False
Let d(g) = 36*g + 5499. Is d(0) a multiple of 14?
False
Suppose -4*u + 36*u = -11*u + 220160. Is 10 a factor of u?
True
Let l(a) = 3*a - 34*a**2 - 34*a**2 + 71*a**2. Let q be l(8). Suppose 6*j + 0*j = q. Does 14 divide j?
False
Let c be (-2)/(-4)*7*(-12)/(-42). Let j(h) = 86*h**2 - 4*h + 5. Is 27 a factor of j(c)?
False
Let t be (-33)/(-15) - 8/(-10). Let z = t + 151. Does 22 divide z?
True
Let r(i) = -618*i - 1. Let q be r(1). Let s = q + 1070. Suppose 3*c = 3*y - s + 115, 0 = 5*y + c - 536. Is 9 a factor of y?
True
Suppose i = 4*b + 40, -1 = -b - 2*i - 2. Is (57/b)/(4/(-216)) a multiple of 9?
True
Let l be -4 + 70 + (-5)/5. Suppose -3*m = -2*x - 8*m + 5, -5*m - l = -5*x. Let b(n) = 5*n + 5. Is 18 a factor of b(x)?
False
Let x(y) = y**2 + y - 1. Let u(j) = -2*j**2 + j - 9. Let d(i) = 3*u(i) + 15*x(i). Does 49 divide d(12)?
True
Let a(d) = 4*d**2 - 6*d - 6. Let v be (5 + -6)*(-2 - -3)/1. Let m be a(v). Is 1/(337/84 - m) a multiple of 43?
False
Suppose 186 = -5*m + 4326. Does 18 divide m?
True
Let m = 424 + -182. Suppose -5*i + 601 = -5*h + 6*h, -2*i = 2*h - m. Does 22 divide i?
False
Suppose 0 = 3*j + 18, 5*y - 7468 - 2086 = -j. Is y a multiple of 13?
False
Let x = -432 + 476. Let a(o) = -4*o**2 + 193*o - 61. Is 8 a factor of a(x)?
False
Suppose -2*l + 2*a + 24 = -7*l, -l + a = 2. Does 25 divide (4/((-88)/(-5137)))/((-2)/l)?
False
Suppose 5*q + 4*l = 6*l + 383, l - 386 = -5*q. Suppose -q*m = -28*m - 735. Is 3 a factor of m?
True
Suppose -c = c - 10920. Suppose f - c = -11*f. Does 35 divide f?
True
Suppose 0 = 4*a - 14 - 50. Suppose 0 = -a*f + 705 + 543. Is 11 a factor of f?
False
Let w = -78 + 94. Let b be (-1)/((-36)/w + 2). Suppose -3*t - 102 - 279 = -4*u, 2*u - 178 = b*t. Is 36 a factor of u?
False
Suppose 2*g - 101648 = 4*b, 4*g - 1160 - 202208 = -b. Is g a multiple of 16?
False
Let b(w) = 14*w + 7. Let u(k) = 1. Let q be (-18)/6 + (47 + 1)/2. Let p(c) = q*u(c) - b(c). Is p(-5) a multiple of 6?
True
Suppose -6*b + 4*a = -10*b + 1616, 0 = -4*b - 5*a + 1614. Suppose 2*m + b = 8*j - 4*j, 0 = -2*j - 2*m + 212. Is j a multiple of 28?
False
Suppose -5*o + 62*o = -19*o + 576232. Is 59 a factor of o?
False
Suppose 3*w - 2*y + 43 = -3*y, -4*w - 57 = y. Let t be (1 - 71)/(14/w). Suppose -5*f + 175 = 3*h, -2*f = h - 2*h - t. Is 7 a factor of f?
True
Let n(i) = -2*i**2 - 16*i - 2. Let k be n(-5). Suppose -518 - k = -2*z. Is 40 a factor of z?
False
Is 11 a factor of 37 + 650897/65 + (-9)/5?
False
Is 55 a factor of 33 + (-14518)/442 - 56275/(-13)?
False
Let k(g) = 1130*g + 1947. Is 23 a factor of k(6)?
False
Is (-3 + 26)*(-7136)/(-32) a multiple of 25?
False
Let t = -9 + 9. Suppose -3*v + 2*d - 26 = t, -4*d + 20 = -3*v + v. Is 2 a factor of 190/30 + v/6?
False
Let r(w) = -45*w + 975 - 35*w - 40*w + 114*w. Is r(0) a multiple of 13?
True
Let k(f) = f**3 + 3*f - 20. Let h = -113 - -117. Is 14 a factor of k(h)?
True
Let g = 49 - 21. Suppose 4*c = -g - 60. Let h = -7 - c. Is 3 a factor of h?
True
Suppose -m - 35 = -3*v, 0*v + m = -3*v + 43. Let j(o) = 15*o + 2 + v - 13*o + 5. Is 8 a factor of j(10)?
True
Let s(w) = -14*w + 4. Let i be s(-3). Suppose 5*x + 4*v = 6*v + 62, -3*x = v - i. Suppose 0 = -2*z + x + 90. Is 26 a factor of z?
True
Suppose -318 = -2*g + 150. Let l = -98 - 52. Let j = l + g. Is j a multiple of 19?
False
Let m(p) = 2*p**3 - 8*p**2 - 10*p - 7. Suppose 3*g - 29 = -6*h + 4*h, 4*g + 3*h = 39. Does 36 divide m(g)?
False
Let r = -40 + 36. Let q be 3*1/(-6)*8/r. Let a = 150 + q. Is 22 a factor of a?
False
Let d = 13713 + -7032. Does 26 divide d?
False
Does 5 divide (52/(-20) + (-6)/(-10))*-636?
False
Suppose 1154 + 310 = 6*k. Suppose -k = -2*s + 82. Is 22 a factor of s?
False
Is 137 a factor of (284597/34 - 13) + (-3)/6?
True
Is 3228 - (1 - 13)*(49/(-21) - -2) a multiple of 7?
False
Suppose 9*l = 29*l - 39320. Is l/14 - (53/(-7) + 7) a multiple of 17?
False
Let v = 99650 + -67455. Is v a multiple of 235?
True
Is 66 a factor of (-11 + (-42)/(-4) + (-1 - -1))*-11234?
False
Suppose 0 = 9*n + 127509 - 479805. Does 109 divide n?
False
Let m(h) be the first derivative of 2*h**2 + 39*h + 17. Is 13 a factor of m(7)?
False
Let w(u) = 19*u + 34. Let b be w(8). Let x = 211 - b. Is 15 a factor of x?
False
Suppose -210*q = 273986 - 3778466. Does 14 divide q?
True
Let l = 143 + -141. Suppose -l*h + 78 = p, -p = -5*p - 3*h + 307. Is 68 a factor of p?
False
Suppose 32*k - 258090 = 35*k - 45*k. Is k even?
False
Is 231 a factor of -79 + 88 + (-39)/5 + 7554/5?
False
Suppose y = -o - 70, -3*y = -o - 48 - 2. Let u = -29 - o. Is 14 a factor of u?
False
Suppose -l = -4*n - 228, -853 - 59 = -4*l - n. Is l/(-44) + 5 + (-5106)/(-11) a multiple of 16?
True
Suppose 5*y + 7 = 42, 3*l + 3*y = 23991. Is 94 a factor of l?
True
Let r be (15/5 - 5)/(-2*1). Let l = 28 - r. Does 3 divide l/18 - (-30)/4?
True
Let n = -2065 + 456. Let j = -1077 - n. Does 19 divide j?
True
Suppose -57*d = -65*d + 100352. Is d a multiple of 196?
True
Let j = -4770 + 23630. Does 20 divide j?
True
Let m(v) = 35*v - 1748. Let n be m(50). Suppose -3*h + 4*h = 3132. Is 18 a factor of h/30 + n/(-5)?
False
Let m be 2/3 - 1304/(-6). Suppose -5*z + 2206 = 11*s - 15*s, 3*s = 3. Let o = z - m. Does 56 divide o?
True
Suppose p = 4*v + 12984, -7*v = 5*p - 12*v - 64995. Does 21 divide p?
False
Let i be (165/20)/((-12)/(-48)). Is 1872*(i/(-6) - (-11 - -5)) a multiple of 49?
False
Let k(m) = m**3 + m**2 - 2*m + 2. Let w be k(2). Suppose 4*r = 3*l + w, -3*l = -3*r - 5*l + 16. Does 5 divide ((-10)/r)/(356/(-88) + 4)?
True
Suppose -32 = 7*g - 32. Suppose g = -11*f + 225 + 204. Is f a multiple of 8?
False
Suppose 253213 = 76*y - 123595. Is y a multiple of 10?
False
Let h be 1905/60 - 3/4. Suppose -3693 + 903 = -h*n. Does 10 divide n?
True
Let y(f) = -f**3 - 15*f**2 + 19*f + 21. Let r be y(-16). Let b = -29 - r. Let l(o) = 10*o**2 + 3*o + 1. Does 5 divide l(b)?
True
Let o(r) = -4*r +