 0*f - 2*f, 120 = 2*q + o*f. Is 21 a factor of q?
True
Suppose 7*f = 4*f + 6. Suppose -f*b = -7 + 1. Suppose -4*i + 5 = -b*i. Is 4 a factor of i?
False
Does 12 divide (-9)/(-12)*(10 - (-1432)/4)?
True
Let g be (1 + -5 - -7) + -116. Let y(j) = -24*j**3 - 2*j**2 - 2*j + 1. Let i be y(-2). Let n = g + i. Does 19 divide n?
True
Suppose -n + 11 = 84. Let u = n - -192. Is 18 a factor of u?
False
Does 11 divide (-13)/((-26)/4) + 53?
True
Does 37 divide 2*-74*10/(-4)?
True
Does 12 divide (343/70 + (-4)/10)*166?
False
Is 63 + 1 + (-72)/6 a multiple of 15?
False
Suppose 225 = 40*a - 37*a. Is 26 a factor of a?
False
Suppose 4*m = -0*s - s + 2682, 0 = 5*m + 2*s - 3354. Is 67 a factor of m?
True
Suppose -k - 15 = 5*v, -5*v + 3*v = -3*k + 23. Suppose -b + k = 2, -146 = -f + 3*b. Is 5 a factor of f?
True
Suppose 0 = 2*y - 9 - 31. Let m = y - 5. Does 2 divide m?
False
Let u = 1068 - 431. Let l = u - 217. Is 60 a factor of l?
True
Suppose -2*p + 14 = -0*p. Suppose -4*d - p = -3. Is 14 a factor of (d*1)/(3/(-78))?
False
Suppose -l - 27 + 5 = 0. Let d = -85 - l. Does 12 divide (3 - d/(-15))*-20?
True
Let s = 5 + -2. Let b be (s + -8)*(-3)/3. Suppose u + 0*t = 4*t + 4, 0 = b*u + 2*t - 130. Does 12 divide u?
True
Suppose 0 = -s + 3 + 1. Suppose x - 2*x - 2*g = -8, s = 3*x + g. Suppose -2*i + 3*j + 81 = x, j + 2*j + 120 = 3*i. Does 13 divide i?
True
Let k(q) = -q**3 + 4*q**2 + 7*q - 2. Let c be k(5). Let m(s) = -4*s**2 + 4*s + 1. Let n(f) = f**2 - f + 1. Let p(w) = m(w) + 5*n(w). Is p(c) a multiple of 31?
True
Let u be (-1 + (-3)/(-9))*-6. Let y = 12 - u. Is 8 a factor of y?
True
Suppose -3*l + 5 = 3*o - 2*l, 5*l - 15 = -5*o. Is -1 - ((-672)/14 - (o + -4)) a multiple of 22?
True
Suppose 12 = -3*z, -157 - 143 = -5*w - 5*z. Suppose t + 49 = q, q + 4*t = -0*t + w. Is 35 a factor of q?
False
Let b(q) = -q**2 + 26*q + 21. Let m be b(13). Suppose 3*i - 2 = m. Is 32 a factor of i?
True
Let g = 168 + -85. Suppose k = 4*x + g, k + 332 = 5*k + x. Is k a multiple of 14?
False
Let h(c) = 4*c**2 + 5*c + 9. Is h(-5) a multiple of 3?
True
Let z(d) = -11*d + 1. Let c be z(-1). Let m be 2/4 + (-6)/12. Suppose 2*g - 5*g + c = m. Is 3 a factor of g?
False
Is 33 a factor of 6/72*18 + 8662/4?
False
Let k be 9/(-18) - (-6)/4. Suppose -o - 2 + k = 2*l, o + 2 = -l. Is 19 a factor of ((-2)/l)/((-9)/171)?
True
Let i be 3255/55 - (-4)/(-22). Suppose -i = -4*y + 3*y. Is y a multiple of 8?
False
Let x(l) = 26*l - 1. Let p(i) = i**3 + 5*i**2 + 6*i + 6. Let h be p(-4). Let w be x(h). Let f = 90 + w. Does 18 divide f?
False
Let d(l) = -8*l - 16. Let s be d(-5). Suppose -8*p + 0*p + s = 0. Is p a multiple of 2?
False
Let o(b) = 8 + 8 + b - 2*b + 5*b. Is o(26) a multiple of 24?
True
Suppose 6*o - 1531 + 91 = 0. Is 15 a factor of o?
True
Let w(y) = -31920*y - 700. Let k(z) = 137*z + 3. Let v(f) = -700*k(f) - 3*w(f). Let b be v(-4). Suppose 0 = 4*r + 3*r - b. Is r a multiple of 18?
False
Let d = 424 + -352. Does 9 divide d?
True
Let z = -52 - 219. Let l = z + 388. Is l a multiple of 39?
True
Suppose 2243 - 12451 = -29*l. Does 44 divide l?
True
Let o = 42 + -37. Suppose 0 = o*c - 20, -i + 5*c + 2 = 8. Suppose 2*h = 4*u - 134, 5*u + 5*h - i = 116. Is u a multiple of 10?
False
Let f = 54 - 36. Let o(q) = q**3 - 19*q**2 + 26*q + 18. Is 22 a factor of o(f)?
False
Let v(z) = -11*z. Suppose c + 6 = -2*i - 5, 5*c - 5*i + 10 = 0. Let g be v(c). Suppose -3*t + g = -158. Does 20 divide t?
False
Suppose 2*z - 53 - 283 = 0. Suppose 0*k + 2*x - z = -4*k, -2*k = -2*x - 84. Does 6 divide k?
True
Is 13 a factor of (-1990)/(-12) + -12*(-9)/648?
False
Suppose -14*h + 1026 = -5*h. Is 5 + h/(-21) - 318/(-7) a multiple of 8?
False
Let h = 1416 + -1004. Does 33 divide h?
False
Let g = 0 - -10. Let u(r) = 18*r - 13. Let m be u(g). Let l = -113 + m. Is 27 a factor of l?
True
Let y = 157 - 105. Suppose 0 = 3*i - y - 5. Is 12 a factor of i?
False
Let u = -112 + 116. Suppose u*r + r = 340. Is r a multiple of 34?
True
Suppose p - 3953 = -3*w, -w + 4*p - 6*p + 1326 = 0. Is w a multiple of 47?
True
Suppose -11 = -3*j + 5*z, j + 5*z + 15 = 6*j. Let p be (1 + 1)/((-2)/(-79)). Suppose -41 - p = -j*y. Does 20 divide y?
True
Let k = 42 - -158. Is (-108)/30*k/(-6) a multiple of 40?
True
Suppose -15456 = -37*l + 9*l. Is 15 a factor of l?
False
Let t = 9 - 46. Let l = t - -102. Does 13 divide l?
True
Let p(z) = z**2 - 26*z - 182. Is 18 a factor of p(-32)?
True
Suppose -17*t + 195 = -16*t. Suppose 0 = -4*j + t - 59. Is 10 a factor of j?
False
Let v(s) = -6*s - 1. Let w(i) = -1. Let r(o) = -v(o) - 2*w(o). Let g be r(6). Let y = g + -15. Does 12 divide y?
True
Let i be (-390)/(-5)*6/1. Suppose 4*x = 2*d + i, -6 = -d + 4*d. Does 29 divide x?
True
Let r(n) = -n. Let y be r(-2). Let u be -1 - (-3 + 3) - (-8)/2. Suppose 3*k - 18 = y*k + 2*g, u*g = -9. Does 12 divide k?
True
Suppose 0 = -k + 53 + 91. Let y = k + -24. Is 20 a factor of y?
True
Let d(c) = 4*c - 20. Let o(p) = p**3 - 6*p**2 + 3*p - 4. Let x be o(6). Is d(x) a multiple of 4?
True
Suppose -4*o + 9 - 1 = 0. Suppose -q = -80 + o. Is q a multiple of 13?
True
Let m(z) = -2*z**3 + 41*z**2 - 14*z + 48. Is m(20) a multiple of 24?
True
Let j = -35 - -28. Let n(l) = l**2 + 4*l + 5. Is 22 a factor of n(j)?
False
Let x = -3 - -5. Suppose 5*w + 11 = -m, -w + 2 = x*m - 3. Suppose 0 = n - 4*i - 32, 0 = -m*n - 6*i + i + 65. Does 8 divide n?
False
Does 12 divide (-9)/(-21) + (-8024)/(-28) + -4?
False
Suppose 27 = 5*g + 2. Suppose 16 = 4*b - 2*p, -1 = b + p - g. Suppose b*n - 65 = 31. Does 8 divide n?
True
Let s(r) = 3*r**3 - 4*r**2 + 4*r + 1. Let c(w) = -w + 5. Let o be c(3). Suppose -5*d - 2*n + 3 = -o*d, n = -5*d + 12. Does 28 divide s(d)?
False
Suppose -5*j + 4*u = 849, 0*j + 869 = -5*j - u. Let f = -146 - j. Does 3 divide f?
True
Let c = 66 - 2. Is c a multiple of 3?
False
Let k(v) = 107*v + 170. Is k(4) a multiple of 49?
False
Is (1 - -15)*10/(400/1910) a multiple of 3?
False
Suppose -57*d + 66*d = 2061. Is d a multiple of 18?
False
Let j = -366 - -536. Let r = -74 + j. Is 32 a factor of r?
True
Suppose -7 = 6*n - 37. Suppose 4*i + 124 = 8*i + 3*w, -5*i - n*w + 160 = 0. Is 28 a factor of i?
True
Let j(w) be the second derivative of -w**4/12 + 4*w**3/3 + 13*w**2/2 + 7*w. Let g be j(9). Suppose 2*u - g*y = -0*y + 194, -3*y + 12 = 0. Does 35 divide u?
True
Suppose 0 = -548*u + 543*u + 15. Suppose 10 = -5*q, u*q - 774 = -4*o + 6*q. Does 48 divide o?
True
Suppose -2*u = n, -u + 3*n + n = 0. Suppose 2*f + 56 = g, u*f = -2*g + 2*f + 110. Does 7 divide g?
False
Let p = -6 + 20. Suppose 5*j + 44 = p. Is 7 a factor of 2*3/j*-8?
False
Is 7 a factor of ((-146)/438)/((-1)/3501 + 0)?
False
Let s(n) = n**3 - 5*n**2 - 22*n - 8. Let w be s(8). Suppose w*r - 162 = 5*r. Is r a multiple of 9?
True
Let k(b) = -5*b - 2. Let g be k(0). Let h(j) = -22*j + 4. Is h(g) a multiple of 16?
True
Let s be 3/(3/9*9). Is 6 a factor of 28 - (s + -1 + 0)?
False
Let t(d) be the first derivative of -10 + 4*d + d**3 - 3/2*d**2. Is 13 a factor of t(-4)?
False
Let k = 255 + -153. Let f = -69 + k. Is 6 a factor of f?
False
Let u = -5 - -16. Let x = 19 - u. Suppose -3*r - x + 44 = 0. Does 4 divide r?
True
Suppose 2*r - 3*r + 29 = 4*y, -1 = -r + 3*y. Let c(o) = -6*o - 14. Let u be c(-2). Is 13 a factor of -3 - (-2 + u*r)?
False
Let j(c) = -25*c - 2. Let m be j(-3). Suppose -4*z + 47 = -m. Let k = 31 + z. Is 16 a factor of k?
False
Suppose 4*a + 2*d - 854 = 0, 5*a = -0*d - 3*d + 1068. Suppose 2*x - 6*x - 3*f = -209, -a = -4*x + f. Let s = -3 + x. Is s a multiple of 19?
False
Let n be (68/(-119))/((-4)/14). Suppose -n*p - 4*v = -74, -6*v + 2*v = 5*p - 191. Does 13 divide p?
True
Suppose 401 + 109 = 6*c. Is 17 a factor of c?
True
Suppose -38*g + 38589 = -80617. Is g a multiple of 106?
False
Let v(g) = g**2 - 2*g + 1. Let f be v(-2). Does 6 divide 10/(-15) + 330/f?
True
Suppose 5*d - 113 = 7. Suppose -3*j = -0*j + 39. Let x = j + d. Is 7 a factor of x?
False
Let j = -527 - -611. Is 12 a factor of j?
True
Let s = 1546 - 646. Is s a multiple of 75?
True
Suppose 5*k = -4*i + 500, -6*i + 10 = 3*k - 308. Is 32 a factor of k?
True
Suppose 9 + 54 = 3*m. Does 11 divide 3/m + (-153)/(-7)?
True
Let v = 48 + -43. Suppose v*a = 5*l - 215, 5*l = 6*a - 2*a + 213. Is l a multiple of 8?
False
Let b(g) = -337*g**2 + 15. Let h be b(4). Does 27 divide (-2)