*q**2 - q - 2. Let g be s(-1). Suppose -g*y = -4*y - 2*j + 42, -216 = -5*y - 4*j. Does 11 divide y?
True
Suppose u - z = 1, z = u - z + 2. Suppose 0*b + 48 = u*b + 4*x, 12 = -4*x. Is 4 a factor of b?
False
Let y(s) = 2*s + 8. Is 12 a factor of y(2)?
True
Let g(t) = 10*t - 3. Does 57 divide g(21)?
False
Suppose 4*y = 2*y + 4. Suppose -3*j - y*j - 285 = 0. Does 6 divide (-3)/(-6) + j/(-6)?
False
Let l(f) = -f**2 + f. Let d(t) = 26*t**2 - t - 1. Let v(s) = d(s) + 3*l(s). Does 16 divide v(-2)?
False
Let z(x) = -x - 8*x - 1 + 1 - 32. Is z(-8) a multiple of 4?
True
Suppose 4*v = 214 + 406. Let g = -11 + v. Is g a multiple of 27?
False
Suppose -l + 18*a - 14*a + 4684 = 0, -l - 3*a + 4677 = 0. Is l a multiple of 36?
True
Let w(d) = d**3 + 12*d**2 - 14*d - 8. Let z be w(-13). Suppose -x = -z*t - 71, -3*x = -0*x + 3*t - 303. Is 6 a factor of x?
True
Suppose -182 = -2*m - 3*a + 189, -3*m + 582 = -4*a. Is m a multiple of 6?
False
Let u = -14 + 14. Suppose -21 = -u*n - 3*n. Let j(m) = 6*m + 17. Is j(n) a multiple of 21?
False
Does 66 divide (-1)/(3/(-2273)) + 560/(-840)?
False
Is 743/2 - (-9)/18 a multiple of 7?
False
Let z = -1716 - -1950. Is z a multiple of 13?
True
Suppose -8 = -5*x - 3. Is 7 a factor of -15 + 80 + 1 + x + 0?
False
Let p = -69 + 189. Is 3 a factor of p?
True
Let r = 1169 - 121. Does 19 divide r?
False
Suppose 0 = -2699*p + 2692*p + 2457. Let v be (-80)/((1/(-3))/1). Suppose 5*i - p = b + 36, -3*i + v = 2*b. Is 15 a factor of i?
False
Does 8 divide -690*(64/(-6))/8?
True
Suppose -6*y + 1127 = 527. Does 25 divide y?
True
Let g be ((-882)/24)/(2 - 38/16). Suppose 0 = 3*z + 4*f - g, 0 = z - 4*z - 3*f + 102. Is z a multiple of 38?
True
Suppose b - 2*m - 11 = 0, -b - 2 + 21 = 2*m. Suppose -4*w + 4*a = b - 87, -3*a - 12 = 0. Is w a multiple of 7?
True
Suppose -y - 2519 = -3*i + 1103, 0 = -4*i + 2*y + 4828. Is i a multiple of 14?
False
Let b = 6 + 0. Let w(g) = -1 + 14*g**2 + b*g**2 - 15*g**2 - 2*g. Does 7 divide w(2)?
False
Let j = -53 + 32. Let z = j - -21. Suppose z = 2*s + 3*s - 375. Is s a multiple of 15?
True
Let v(i) = 6*i**2 - 15*i + 4. Let a be v(5). Suppose a = j - 113. Is j a multiple of 13?
False
Is 2488 - (3 - -2) - (3 - 4) a multiple of 40?
False
Let g = -225 - -460. Suppose 0*z + 12 = 3*z. Suppose l + z*l - g = 0. Is 20 a factor of l?
False
Let h(k) = -k**3 + 6*k**2 + 6*k + 9. Let t be h(7). Suppose 5*g + 3*n = 2*n + 1, -3*g = t*n - 2. Suppose f - 30 - 7 = g. Is 21 a factor of f?
False
Let j = -27 - -29. Does 25 divide (-525)/6*(3 - 4)*j?
True
Let v(k) = -12*k - 47. Let y(b) = 15*b + 1. Let z be y(-1). Does 18 divide v(z)?
False
Suppose 42*t = 41*t + 1742. Does 67 divide t?
True
Suppose 3*k + 1 = 4*k. Suppose p + 20 - 10 = 0. Is 6 a factor of 0/(-5) + (k - p)?
False
Suppose 4*t + 2*f = 160, -7*t + 3*f + 200 = -2*t. Suppose k = -k + t. Is 28 a factor of 2/(-8) + 565/k?
True
Let k = -34 - -31. Does 14 divide 11 + (-4 - 21/k)?
True
Suppose -4*h = 4*w - 1164, -7*w + 2*w = 10. Let f = -201 + h. Is (-7)/((-14)/f) - -2 a multiple of 12?
True
Suppose 2*r - 7 = 4*d + 5*r, d = 2*r + 1. Let g be (-42)/10*(-4 + d). Let p = -8 + g. Does 13 divide p?
True
Suppose -24 = 2*a - 6*a. Let q be (-1)/(-2) - (-147)/a. Suppose k = -2*j + q, -3*k + 2*j = -3*j - 119. Does 11 divide k?
True
Let p be 3/9 - 10/(-6). Suppose p*m = -m + 87. Suppose 4*i = m + 43. Does 5 divide i?
False
Let v = 34 - 59. Let b = -13 - v. Is b a multiple of 6?
True
Let x = -29 + 25. Let s be -3 - 8/(x + 6). Let k = 16 + s. Is k even?
False
Suppose -3*p = -3*i + 3, -2*i = 3*i - 4*p - 9. Suppose 0 = i*q + 38 - 278. Suppose 2*b + 2*o - 34 = 0, -3*b + 11 = -o - q. Is b a multiple of 10?
False
Let c = -208 + 87. Let f = 125 + c. Does 2 divide f?
True
Let g(q) = -54*q**3 - 3*q**2 + 29*q + 58. Does 10 divide g(-2)?
True
Let c = -47 + 53. Is 10 a factor of -8 + 4 + c - -35?
False
Let b be -15*(-7)/(-21)*(-2)/5. Is 3 a factor of 555/10*b/3?
False
Let o = 82 - -990. Is o a multiple of 16?
True
Let r(u) be the first derivative of 8*u**2 - 40*u - 12. Is 7 a factor of r(6)?
True
Let b(t) = 3*t - 16. Let o be 1*(12 + (3 - 5)). Is b(o) a multiple of 6?
False
Suppose -220 = 211*r - 213*r. Is 5 a factor of r?
True
Suppose 3*d + 2*a - 815 = 218, d + 5*a - 366 = 0. Suppose f - 54 = -3*o, -4*o - d = -3*f - 140. Is f a multiple of 3?
True
Suppose -9810 = -15*l + 2655. Is l a multiple of 41?
False
Suppose -3*h + 5*l + 3883 = 9*l, 2*l - 5174 = -4*h. Is h a multiple of 109?
False
Suppose 0 = -6*i + 9*i + 105. Let o = 104 + i. Is o a multiple of 31?
False
Suppose 18 = -4*b + 34. Suppose 4*m - p - 186 = m, -4*p = -b*m + 240. Does 7 divide m?
True
Suppose 0*x - 85 = 5*x. Let c = x + 6. Let v = 25 + c. Is v a multiple of 10?
False
Suppose -b - 7*b = 24. Let c = b + 48. Does 35 divide c?
False
Let q(c) = 2*c + 15. Let m be q(-6). Suppose 4*z = -2*b + 20, -b = m*z - 2 - 13. Suppose b = 4*f - 5*i + 4*i - 254, -2 = -i. Is f a multiple of 16?
True
Let b be 1/5 + (-38)/(-10). Let q(o) = 12*o - 127. Let w be q(11). Suppose 12 = -2*t + w*l + 107, 4*l + 196 = b*t. Is t a multiple of 12?
False
Suppose 1709 = a - 5*y, 28*a + 8649 = 33*a + y. Is 91 a factor of a?
True
Let z(v) = -19*v + 2. Suppose -4*f - 42 = -j, 5*f + j = -j - 59. Let b be 6 + f - (-2 - 1). Is z(b) a multiple of 15?
False
Let v = -36 + 40. Suppose -147 = -2*b + 3*u, 5*u - 224 = -v*b + 15. Is b a multiple of 22?
True
Suppose 0 = -9*z + 16*z - 707. Is 10 a factor of z?
False
Let i be (4 - 5)*2*7. Let k be i/(-84) - (-851)/6. Let a = k + -51. Is 26 a factor of a?
False
Suppose -5*a = -6*p + 9*p - 359, -4*a + 2*p + 296 = 0. Does 2 divide a?
False
Let k(f) = 5*f - 75. Is k(20) a multiple of 5?
True
Let r = 509 - 374. Is 3 a factor of r?
True
Is 65/845 - (-12349)/13 a multiple of 25?
True
Suppose 1013 = 17*h - 347. Is 6 a factor of h?
False
Let x = -10 + 20. Suppose 0*y - x*y = -120. Is 4 a factor of y?
True
Suppose 909 = 9*n - 2205. Is 7 a factor of n?
False
Suppose 4032 = 19*c - 12*c. Is c a multiple of 6?
True
Let t = 39 + -35. Suppose 2*c + 0*o - 69 = -o, t*c - 2*o = 150. Is c a multiple of 11?
False
Let z(y) = 2*y**2 - 13*y + 52. Is z(19) a multiple of 27?
False
Let b(x) = x**3 - 4*x**2 - 5. Let d be b(4). Suppose 3*r = 18 + 6. Let g = r + d. Does 2 divide g?
False
Let f be ((-1)/(1/2))/(-1). Suppose -8*p = -f*p - 216. Suppose m - p - 8 = 0. Is m a multiple of 17?
False
Let j = -2375 + 3968. Is 13 a factor of j?
False
Let p(y) = y**3 - 11*y**2 - 12*y + 2. Let v be p(12). Suppose h - 102 = v*n - 19, h + n = 83. Let o = h + -57. Is 7 a factor of o?
False
Suppose -2*u + 136 = t, 273 = 2*t + 5*u - 2*u. Is 6 a factor of t?
True
Is 55 a factor of 4162/22 - (-70)/(-385)?
False
Let t(n) = n - 14. Let r be t(16). Suppose 0 = -2*m + 5*x + 93, r - 22 = 4*x. Is 34 a factor of m?
True
Suppose 8*x - 3*x - 110 = 0. Let y = 3 + -1. Suppose a = y*a - x. Is 11 a factor of a?
True
Suppose -32*g = -27*g + 2*i - 675, 5*i - 690 = -5*g. Is 4 a factor of g?
False
Let o = -336 + 536. Is 20 a factor of o?
True
Let x = 34 - 15. Let n = 71 - x. Is 7 a factor of n?
False
Does 10 divide (-532)/56*(-2 - -5 - 23)?
True
Let n(q) = 16*q**2 + 26*q - 42. Does 17 divide n(-9)?
True
Let v(s) = -4*s + 12. Let k be v(8). Let h be ((-12)/k)/(2/10). Does 3 divide 2 - (h + 0 + -7)?
True
Let o be 0 + (0 - 1 - 50). Let t = o + 88. Let w = -15 + t. Is w a multiple of 11?
True
Let u(k) = 2*k**2 - 10*k + 1. Suppose 0*y + r - 18 = -4*y, -2*y + 3*r + 16 = 0. Let w be u(y). Suppose -w = -5*t + 129. Is 18 a factor of t?
False
Let v = 3 + -3. Suppose v = -a + 2 - 4. Does 11 divide 0 - 1*-16 - a?
False
Suppose 3*q - 361 = -2*w + 1042, -5*w = -q + 496. Is q a multiple of 14?
False
Suppose 25*h + 15*h = 62960. Is 28 a factor of h?
False
Let y(c) = 5*c - 39. Let s(w) = 6*w - 38. Let i(d) = 6*s(d) - 7*y(d). Let j be i(0). Let r = j + -27. Is r a multiple of 11?
False
Let h = -88 + 124. Does 27 divide 4/18 + 2584/h?
False
Let h = -619 - -672. Does 32 divide h?
False
Is ((-1308)/5)/(12/(-40)) a multiple of 65?
False
Let v be (-275)/(-20) - 3/(-12). Let s = -17 + v. Does 26 divide 9*s/(18/(-38))?
False
Let t = -2 - -30. Suppose -68 = -4*q + t. Is q a multiple of 12?
True
Does 59 divide 1/(-5) + 29463/15 + -14?
False
Let p be 2 - (246*1)/3. Does 14 divide (56/32)/((-2)/p)?
True
Suppose 2*c = -5*b - 2270 + 12