oes 51 divide q?
False
Let g(q) = 4*q**3 + 352 - 330 + 18*q**2 - 30*q**2 - 6*q. Is 22 a factor of g(8)?
True
Suppose 0 = -4*c + 207 + 109. Suppose 3*u + 11 = 4*u + 5*p, 0 = -p + 3. Does 14 divide c - (28/u - -4)?
False
Suppose -9*f + 22307 = 6530. Let u = f - 1005. Is u a multiple of 64?
False
Let q(t) = 169*t**2 + 3*t + 2. Let j be (-4)/((1/3)/((-6)/18)). Suppose f + 1 = -5*h, 5*f + 4 = -j*h - 1. Does 14 divide q(f)?
True
Suppose -908*c + 904*c = -5*d + 30662, -2*c - 18396 = -3*d. Is d a multiple of 10?
True
Suppose 17*z = 74509 + 104710 + 236703. Is z a multiple of 49?
False
Let t(w) = 17*w + 25. Let r = -112 + 119. Is 8 a factor of t(r)?
True
Let g = -96 - -79. Let h = g + 20. Suppose 0*f = -4*r - 4*f + 280, -r + 80 = h*f. Does 14 divide r?
False
Let v = 405 + 6219. Does 36 divide v?
True
Let o = 35 - 39. Let q(r) = r**2 + 3*r - 2. Let w be q(o). Let p = 36 - w. Is 5 a factor of p?
False
Let z(x) = -x**3 + 11*x**2 - 16*x + 10. Let v be z(7). Suppose 0 = -85*b + v*b - 216. Is b a multiple of 15?
False
Is ((-1670)/20)/((-35)/(-10) + (1 - 5)) a multiple of 14?
False
Let s(a) = -37*a**3 - 2*a**2 - 11*a - 9. Suppose 0*n + 35*n = -70. Is 7 a factor of s(n)?
True
Suppose 5*f + 43 - 3 = 0. Let g be (12/(-4))/(12/f). Suppose 2*q - 3*r - 161 = -0*r, 5*q = g*r + 386. Is 11 a factor of q?
False
Is 17 a factor of (44432/12)/(96/18 - 4)?
False
Suppose -4*j - 192 = 4*s, -2*s - s = 4*j + 144. Let h be 1 + (59 - 3 - 1). Is (s/(-7))/(8/h) a multiple of 8?
True
Is 14 a factor of (-39 + -3)/((-21)/2786)?
True
Let k = -890 - -916. Suppose -k*a + 4872 = -2*a. Is 19 a factor of a?
False
Let v be (2/(-2))/(12/(-1032)). Let q = 114 - v. Does 11 divide q?
False
Suppose 339 = -4*v + 2*a - 3*a, -4*a - 166 = 2*v. Let r = v - -90. Suppose -k - 4*o + 20 = 0, 2*k + 2*k + r*o = 58. Is 2 a factor of k?
True
Let u be ((-138)/4)/((-4)/32). Let c = -178 + 181. Suppose c*p + 96 - u = 0. Is 14 a factor of p?
False
Let f(o) = -o**3 - 5*o**2 - 5*o + 1. Let s be f(-4). Suppose -s*k + 97 - 27 = 0. Does 16 divide ((-24)/k)/((-24)/1428)?
False
Let g(t) = 18*t**2 - 21*t - 233. Does 134 divide g(-13)?
True
Let u(c) = 8*c - 451*c**3 - 7*c + 3*c**2 + c + 1. Let t be u(-1). Let k = t + -321. Is 18 a factor of k?
False
Does 41 divide 164/(16 + 1818/(-114))?
True
Let w be 4*(1 - 27/12). Let a be 1*0/(2/w*-5). Suppose 26*g - 25*g - 166 = a. Is 25 a factor of g?
False
Suppose 5*c = 2*z - 49, 3*z = 4*z - 3*c - 27. Let t = z - 16. Is -6*t/(-18)*(-198)/6 a multiple of 14?
False
Let r = 387 + -207. Suppose 0 = 2*t + 2*a + a - 195, -2*t = -2*a - r. Suppose -2*v + 165 - t = 0. Is 10 a factor of v?
False
Let m = 7936 - 3940. Does 44 divide m?
False
Let w(s) = -s**2 + 7*s + 14. Let q be w(8). Suppose 3*t - 5*t - q = 0. Let r = t + 155. Is r a multiple of 11?
False
Suppose 19248 = 343*j - 339*j. Does 14 divide j?
False
Suppose 3*o + 80 = 7*o. Suppose -3*s = s - o. Suppose -3*v - 2*c + 216 = 0, -288 = -0*v - 4*v - s*c. Is 9 a factor of v?
True
Suppose 28*f - 17 = 27*f. Suppose r - f = 3. Does 10 divide r?
True
Let p be (-2184)/(-35)*5/2*12. Let v be 3/(-2) - p/(-32). Suppose -2*a + 279 = v. Does 56 divide a?
False
Let j = 253 + -254. Is 93/12*-2*(-3 - j) a multiple of 4?
False
Suppose -85*s + 89*s = -2*p + 19228, 3*s = -p + 9614. Is 22 a factor of p?
True
Suppose 5*a - 803 - 42153 = -3*o, o + a - 14320 = 0. Is 31 a factor of o?
True
Let d be (-1 - (-11 + 0))*(-1241)/(-34). Let s = -345 + d. Is s a multiple of 2?
True
Let k be (-12)/(-9) + 704/(-33). Is 2 a factor of k/16*(-192 + -6 - -6)?
True
Let b = 106651 - 55936. Is b a multiple of 105?
True
Is 44 a factor of (-660)/(-35)*17108/141?
True
Let u(f) be the first derivative of f**3/3 + 4*f**2 + 20*f + 1458. Let j be ((-7)/(-3))/(3/(-9)). Is u(j) even?
False
Is 8 a factor of (3730/(-80))/(15/(-120))?
False
Suppose 29330 + 580564 = 62*f. Is 9 a factor of f?
True
Let v(a) = -a**2 + 14*a - 10. Let i be v(13). Suppose 0 = 4*q + 3*z - 0*z + 28, -8 = 5*q - i*z. Does 8 divide 130/8 - (-1)/q?
True
Suppose -8*w = -3*b - 3*w + 440, 148 = b - 3*w. Let l = 112 + -71. Suppose 0 = -2*k + b - l. Is k a multiple of 19?
False
Let x(j) = j + 4. Let h be x(3). Let p = -37 - -153. Let a = p + h. Is a a multiple of 25?
False
Let y(j) = -6*j - 76. Let n be y(-14). Suppose -2*i = n*i - 160. Is 2 a factor of i?
True
Suppose a + 14 = 4*t, 5*t - 49 = -5*a + 6. Let s(k) = 24*k**2 + 7*k + 8. Let z be s(a). Does 19 divide 2/(-4 + z/228)?
True
Suppose 15*m - 21*m = -1368. Let p(r) = 37*r - 23*r + m - 19*r. Does 38 divide p(0)?
True
Suppose -402*c = -404*c + 5092. Suppose -a = -t + 854, a - c = -15*t + 12*t. Is t a multiple of 10?
True
Suppose -5*n = 88 - 13. Let k(b) = -2*b - 29. Let v be k(n). Does 9 divide (v + -1 - 156)*5/(-10)?
False
Let t = 6312 + -4893. Is t a multiple of 3?
True
Let z(o) = 100*o**2 + 43*o - 84. Let p be (-5 - 32/(-6))/(1/6). Is 7 a factor of z(p)?
False
Suppose -28*l + 1350 = 90. Is 549 + -1 - 11/((-99)/l) a multiple of 37?
False
Let r be 4 + 5/((-20)/(-12)). Suppose r*i - 13*i = -258. Does 27 divide i?
False
Let x be (214/2)/(21/21). Suppose -13*q = -361 - x. Is q a multiple of 4?
True
Let d(g) = 45*g + 10. Let t(p) = -44*p - 8. Let i(a) = -6*d(a) - 7*t(a). Suppose 9*h = 7*h + 6. Is 4 a factor of i(h)?
False
Suppose 21*y - 185721 + 3241 = 140752. Is 148 a factor of y?
True
Let l(b) = -74*b - 219. Let z be l(-3). Let f be 4/6*(-15)/(-2). Suppose 0 = -2*w + 5*g + 21, -w + f*g + z = 0. Is w a multiple of 4?
False
Suppose -4294 - 26842 = -7*b. Is (-6)/(-9) + 0 - b/(-6) a multiple of 53?
True
Let j = 34 + -32. Let i be 0 - (298/(-2) + -2). Suppose -j*c + 4*y = -y - 71, -i = -4*c + y. Does 29 divide c?
False
Let q(n) = n**2 + 4*n + 8. Let t be q(-4). Suppose 0 = 6*p - 4*p - t. Let w(i) = 14*i**2 - 8*i - 3. Does 21 divide w(p)?
True
Suppose 3*w + 10 = 2*t, t = -0*t + w + 5. Suppose d + t*g - 271 = -2*d, 0 = 2*d + 5*g - 179. Let c = -83 + d. Is c a multiple of 3?
True
Let y = 89 - 101. Does 51 divide -460*8/y + 6/(-9)?
True
Suppose -33*i + 6540 = -28*i. Suppose 52 - 325 = -v + 3*f, 4*f - i = -5*v. Is 22 a factor of v?
True
Does 165 divide 118710/5 + 14 + 4?
True
Suppose 3*k = -4*b + 21912, 32*b - 33*b = -4*k + 29216. Is 8 a factor of k?
True
Let s = -7224 - -13958. Does 7 divide s?
True
Suppose -55 = -6*a + 5. Is (7 + (-124)/(-8))*a a multiple of 13?
False
Suppose -11933 = -319*b + 10946 - 5653. Is 3 a factor of b?
True
Let p be (3 + 6 - 4) + (-4)/2. Let x be -1*10 + 1 + p + -5. Let w(n) = -19*n + 7. Is w(x) a multiple of 12?
True
Suppose 0 = 3*n + 2*o - 42, -4*o + 86 = 5*n - 6*o. Suppose -5*f + 3*v = -270, 0 = f - 2*v + n - 70. Does 6 divide f?
True
Let l be 147/2 + 7/(-14). Let v = l + -25. Suppose 0 = -2*q + 2*a + v, -4*q - a = 2*a - 89. Is q a multiple of 14?
False
Is 11/((-11)/10) - -8197 a multiple of 72?
False
Suppose 7*k - 11567 - 6302 + 5017 = 0. Is k a multiple of 68?
True
Let s be 21/(-5) + (-12)/(-60). Does 21 divide (252/49)/(((-32)/588)/s)?
True
Let a = 627 - 512. Suppose 120 = 119*k - a*k. Is 10 a factor of k?
True
Let f = 0 + 0. Suppose 4308 = 6*g + 4392. Does 12 divide (g - f)/((-20)/70) - 1?
True
Suppose 18*d - 88*d - 17502 = -81692. Is 2 a factor of d?
False
Let l(b) = -b**3 + 18*b**2 - 9*b - 5. Suppose 16*n + 0*n - 240 = 0. Is 59 a factor of l(n)?
False
Let h = 17386 - 10740. Is 9 a factor of h?
False
Let o = 13 - -7. Suppose -3*s = -o - 1. Let b = s - -23. Is b a multiple of 16?
False
Let h(k) = 5*k - 7068 + 7142 + 2*k**2 - 2*k + 2*k - k**2. Does 61 divide h(9)?
False
Let b(i) = -57*i**3 + i**2 + i**2 + 3 + 3*i - 3*i**2 - i. Is 41 a factor of b(-1)?
False
Suppose 10*l - 280 + 50 = 0. Suppose -278 = -l*m - 2. Is 2 a factor of m?
True
Let r(q) = -q**3 + 16*q**2 - 16*q + 21. Let y be r(15). Suppose m = -m + y. Suppose 0 = -m*i + 3*b + 264, -b = b + 4. Is 43 a factor of i?
True
Suppose -2*z - 3*q - 3 = -7, -4*q - 8 = 0. Suppose 2*x - x = -4*f - 6, 5*f + z*x = -15. Does 15 divide 3/(f/(-50)*5)?
True
Suppose 6*v = 2016 - 564. Let i(x) = 21*x**2 - 2*x - 6. Let n be i(-2). Let s = v - n. Is s a multiple of 16?
True
Suppose 21*f = 18*f - 72. Let j = 81 + f. Suppose j - 43 = n. Is n a multiple of 6?
False
Let v(z) = 8*z - 13. Let y be v(-2). Let w = y + 47. Is w a multiple of 2?
True
Suppose 20*v - 21*v = -398. Suppose 0 = 5*w - 3*y - 702, 0*w - 3*w -