02. Suppose -3*r + 74 = r - f, -v = -2*r + 4*f. Let p = r + 1. Is 10 a factor of p?
True
Suppose 5*c + 500 = -90. Let d = c - -206. Suppose -3*r + 2*f = -52, -r - 4*r + 3*f = -d. Is r a multiple of 10?
True
Does 8 divide 4 + (-6)/3 - (-56)/2?
False
Suppose -p = -3*q + 52, 4*q + q + 5*p = 100. Let y = -11 + q. Is y a multiple of 7?
True
Let g = -7 - -5. Let q be (-20)/6*(-18)/(-4). Is 16 a factor of q/(g*(-2)/(-12))?
False
Let m be 6/(-10)*5/1. Is 18 a factor of 33*(4/m)/(-2)?
False
Let y = 125 - 15. Is 12 a factor of y?
False
Let p(n) = -30*n**3 + n + 1. Let j be p(-1). Suppose 4*s = 2*z - j, z - 2*s - s - 20 = 0. Let a = 7 - z. Is 2 a factor of a?
True
Let c(a) = 2*a. Let t(w) = -3*w. Let h(d) = 5*c(d) + 3*t(d). Let z(u) = 4*u + 3. Let g(o) = -h(o) - z(o). Is 15 a factor of g(-5)?
False
Let k(s) = -s**3 - 4*s**2 + 3*s - 2. Does 2 divide k(-5)?
True
Is 4 a factor of -46*((-10)/36 - 14/63)?
False
Suppose p - 6 = -2*p - 3*u, 0 = 4*u + 4. Let x(f) = f**2 + 4*f + 6. Let g be x(-9). Suppose p*l = t - 19 - 8, -3*t - l = -g. Is t a multiple of 11?
False
Let s = 61 - -4. Is s a multiple of 20?
False
Let r(j) = 12*j**2 - 2*j - 1. Does 7 divide r(-1)?
False
Suppose q - 2 = 0, 2*v = -2*v - 4*q. Let u be v*(2 - 6)/2. Suppose 3*s + u = 19. Does 4 divide s?
False
Suppose 2*a - 6 = t, 3*t = a - 20 + 7. Is -5*(t + 2 + 1) a multiple of 5?
True
Let l(t) = -t - 4. Let f be l(-7). Suppose f*x = 45 + 57. Is 17 a factor of x?
True
Suppose q - d = 8, 0 = 2*q - 5*d - 14 - 17. Let j be q/9 + 8/(-6). Is j/(-2)*(72 - 2) a multiple of 20?
False
Let m(z) = -z**3 + 9*z**2 + 14*z - 12. Is 5 a factor of m(10)?
False
Suppose 4*j - 65 - 35 = -5*b, 3*b = -5*j + 47. Suppose -2*q + b = q. Suppose -m - 3*k = -14, 8*k - q = 4*m + 4*k. Does 2 divide m?
True
Let m be 4/(-12)*-3 - -1. Suppose u = m*u - 41. Does 15 divide u?
False
Let s = 73 - 25. Does 14 divide s?
False
Let i(r) = r + 11. Let p be i(-7). Suppose 0 = 2*j + 10, -17 = -p*z + 4*j + 31. Is z even?
False
Suppose -5*j + 6 = -4. Suppose -j*l = 35 + 5. Does 12 divide 6/(-10) - 792/l?
False
Let p(m) = m**2 - 3*m - 1. Let x(f) = -6*f - 1. Let l be x(-1). Is p(l) a multiple of 3?
True
Suppose -3*t + 8*t = 40. Let f be (-45)/4 + 2/t. Does 6 divide (-1 + f)*(-24)/16?
True
Suppose -146 + 2 = -2*w. Does 16 divide w?
False
Let p(u) = -2 + 0*u - 10*u + 0*u - 7*u. Is p(-2) a multiple of 16?
True
Let f(l) = l**3 + 7*l**2 + 3*l + 1. Let t be f(-6). Suppose y - t = 5. Suppose -y - 36 = -3*h. Does 13 divide h?
False
Let y(b) = 2*b**2 - 6*b - 3. Is y(-6) a multiple of 25?
False
Suppose 69*f - 65*f = 264. Is 5 a factor of f?
False
Suppose -6*g + 1 = -83. Is 2 a factor of g?
True
Let p(z) = -z + 6. Let n be (-4)/10 + 104/10. Let w be p(n). Is 16 a factor of (-21)/w*(9 - 1)?
False
Suppose 7*z = 8*z + t - 32, 0 = -5*z + t + 190. Is z a multiple of 37?
True
Suppose 3*s = 2 + 4. Let h(c) = -3*c**2 + 3*c - 13. Let o(g) = -7*g**2 + 7*g - 27. Let x(r) = s*o(r) - 5*h(r). Does 6 divide x(0)?
False
Let q = 22 - 11. Let f = q + 3. Is f a multiple of 14?
True
Let h(a) be the first derivative of -3*a**2/2 - 12*a - 3. Is 8 a factor of h(-9)?
False
Let x(r) = 2*r + 7. Let n be x(-6). Suppose 3*a + 5*h - 4 + 3 = 0, 5*a - 4*h = 51. Let g = a - n. Does 12 divide g?
True
Let u = 0 - -45. Suppose -2*x + 13 = 5*k, -u = -5*x - k - 1. Let z(a) = 2*a + 12. Is z(x) a multiple of 15?
True
Suppose -30 = -3*n + o, 69 - 11 = 5*n + o. Let q = n - 8. Is 2 a factor of q?
False
Let r = 59 - 55. Is 2 a factor of r?
True
Let x(f) be the third derivative of f**6/120 + f**5/60 + f**4/24 - f**3/3 + 3*f**2. Let o be x(-2). Is 19 a factor of (-2 - (-22)/o)*-4?
True
Let x = 361 - 253. Is 18 a factor of x?
True
Suppose -25 + 91 = 2*i. Let h = -27 - -11. Is 22 a factor of h/(-6)*i/2?
True
Suppose -o + 59 - 7 = 0. Is 26 a factor of o?
True
Suppose -5*u + 3 + 1 = -4*c, -4*c = 4. Let d(l) = -2 + 8*l + u*l - l + 2*l**2. Is 13 a factor of d(-5)?
True
Let d = 3 - 2. Let k be 12/1*d/2. Let n = 27 - k. Is n a multiple of 12?
False
Let f = -145 + 74. Does 20 divide 1/(((-3)/f)/3)?
False
Let i = 9 - 32. Let b = 34 + i. Is b a multiple of 3?
False
Suppose -q + 5*q + 244 = 2*g, -2*q - 2 = 0. Is g a multiple of 30?
True
Suppose -11*v + 7*v = p - 148, -4*v + 4*p + 168 = 0. Is v a multiple of 2?
True
Let o be 11/(4/16*4). Suppose o = h - 10. Is h a multiple of 7?
True
Let f be 0/(-2)*5/10. Suppose f = 9*j - 6*j - 48. Is 8 a factor of j?
True
Is 4 a factor of 11 - (-3)/2*2?
False
Let n be (-8)/(-32) + 1/(-4). Suppose n = r - 6. Does 5 divide r?
False
Let p(j) = j**3 - 2*j**2 - 9*j + 6. Let q be p(4). Let v = -28 - -74. Suppose q*r - v = r. Does 23 divide r?
True
Let k(f) = 6*f**2 + 11*f - 15. Let h(m) = m**2 + m - 1. Let z(g) = -5*h(g) + k(g). Is z(-9) a multiple of 7?
False
Suppose 5*h - 3*h = -14. Let s(n) = -2*n**3 - 13*n**2 + 5*n - 10. Does 4 divide s(h)?
True
Suppose 4*s + 5*y - 56 = 0, 0*s - 3*y + 14 = s. Does 14 divide s?
True
Suppose -53 = -3*n + 67. Is 20 a factor of n?
True
Let q(s) = 0*s - 4*s**2 + 0*s + 2 - s**2. Let w be q(3). Does 18 divide (6 + w)/(-1*1)?
False
Let g = -6 - 30. Let d = 75 + g. Suppose 5*q - 51 = d. Is 9 a factor of q?
True
Let p(h) = -13*h - 54. Is 30 a factor of p(-18)?
True
Let m = -78 - -234. Suppose 2*v - m = -2*v. Is v a multiple of 14?
False
Let h be ((-2)/(-6))/(1/(-6)). Let t be (4/6)/(h/(-12)). Suppose 4*j = 88 - t. Is 9 a factor of j?
False
Is (-69)/(-21) - 6/21 a multiple of 3?
True
Let a = -6 + 8. Let o(c) = 8*c - c**2 + 4 + 5 + a + 0. Is 4 a factor of o(8)?
False
Suppose 5*w - 83 = -3*h, -2*h + 7*h - 113 = -2*w. Is h a multiple of 7?
True
Let l be 34/10 + (-8)/20. Suppose -f - c - 39 = -3*f, 5*f = -l*c + 92. Let w = 41 - f. Is 11 a factor of w?
True
Let k(t) = 9*t**2 + 2*t - 4. Does 22 divide k(2)?
False
Suppose -2*m = -29 - 23. Is 26 a factor of m?
True
Let p = 44 - 14. Is 18 a factor of p?
False
Suppose 5*r - 2*t = 225, -2*r + 6*t + 90 = t. Suppose 0*f - 5*f + 104 = -k, 2*f = -3*k + r. Is 72/7 - 6/f a multiple of 6?
False
Suppose -3*k + 5*c = -7*k + 67, 2*k - 5*c - 41 = 0. Is k a multiple of 9?
True
Suppose -p + w = -5, -4*p + w - 3*w = -26. Suppose p = -v + 2*j, -v + 30 = -6*v + 3*j. Does 4 divide (-26)/(-7) + v/(-21)?
True
Let s(z) = -z**3 - 10*z**2 + 8*z + 33. Does 22 divide s(-11)?
True
Suppose -m - 5*h = -65, 4*m - h + 3*h - 314 = 0. Suppose -115 = -3*y + m. Is 19 a factor of y?
False
Is 34 a factor of (183 + -3)/(2/2)?
False
Let w(o) = o**2 + 2*o - 4. Let i be w(-3). Let m = 24 - i. Let x = m + -14. Is x a multiple of 11?
True
Let p(o) = -19*o + 1. Is p(-1) a multiple of 6?
False
Suppose -4*f + 6 = -f. Suppose -4*s + 7 = -r, 0 = 4*s - f*s - r - 5. Is 7 a factor of 14/(-2)*s*-1?
True
Let t be ((1 - 1)/(-4))/2. Suppose r - 2 - 35 = t. Is r a multiple of 11?
False
Suppose -364 = -4*m + v, -2*m - v - 4*v = -182. Is 17 a factor of m?
False
Suppose -5*h + 121 = -6*h. Let g = 212 + h. Is 32 a factor of g?
False
Does 28 divide 366/13 - (-4)/(-26)?
True
Suppose -35 = 5*l + 4*t, -3*l + 0*t + 3*t = 21. Let o = 7 + l. Suppose -2*a = o, 3*w + 2*a - 9 = -0. Is 2 a factor of w?
False
Suppose g - 11 = -2*a, g = 2*g - 2*a + 5. Suppose g*v + 2*i = 7 - 4, v + 5*i + 12 = 0. Does 6 divide -2*(v*-2 - 0)?
True
Let c(x) = x**2 + 4*x - 8. Let q be c(-6). Suppose -q*m + 25 = g + 3, m - 34 = -g. Does 19 divide g?
True
Let t(b) = b + 62. Does 19 divide t(-25)?
False
Suppose -672 = -c - 3*c. Does 14 divide c?
True
Let f(r) = -4*r - 7. Let l(b) = -7*b - 13. Let j(k) = 11*f(k) - 6*l(k). Is 13 a factor of j(-6)?
True
Let q = 8 - 5. Suppose 2*b + q*r - 34 = -3*b, r + 12 = 3*b. Suppose 0 = l + 1 - b. Is 4 a factor of l?
True
Let b(j) = -j + 3. Let i be b(4). Let m = 0 - i. Suppose -7 = -v - m. Is 3 a factor of v?
True
Let b = -3 - -20. Suppose 2*t = 7 + b. Is t a multiple of 4?
True
Suppose -p + 7 = -13. Suppose p = -5*s - 3*a + 226, -2*a - 196 = -5*s. Is s a multiple of 20?
True
Suppose 2*z - 3*j = 61, -2*j = -5*z + 10 + 137. Is z a multiple of 7?
False
Let z(x) = x**2 - 3*x + 21. Is 10 a factor of z(-12)?
False
Is 17/(10/(-6) - (1 + -3)) a multiple of 15?
False
Let o = -151 + 280. Is o a multiple of 43?
True
Suppose 2*h - 5*h - 3 = 0. Does 4 divide (28/(-21))/(h/3)?
True
Let h(l) = -l**2 + 9*l + 9. Let f be h(8). Suppose 3*k + 3*d = -2*d + f, 4*d = -20. Does 14 divide k?
True