- 18*g - 6. Let o be l(-7). Suppose 0 = -24*s + o*s + 10. Is 5 a factor of s?
True
Let k = 71 - -14. Let x = -145 + 96. Let f = x + k. Is 13 a factor of f?
False
Suppose x = 0, 2*b = 3*x - 7*x + 4128. Does 16 divide b?
True
Suppose -2*n + 495 = 5*x, -4*x = -3*x + 3*n - 112. Suppose x = -5*s + 257. Does 16 divide s?
True
Suppose 13*n = 7*n + 90. Let z = n - -36. Does 17 divide z?
True
Suppose 4*p + 2*g = -0*p - 658, 4*p + 623 = 5*g. Is -3 - -2 - p*(-7)/(-14) a multiple of 5?
True
Suppose 15014*q - 15010*q = 6644. Is q a multiple of 17?
False
Suppose -386*g + 382*g + 976 = 0. Does 4 divide g?
True
Suppose 86*x - 88*x = w - 3707, 2*w = -3*x + 7419. Does 15 divide w?
False
Suppose -90*o = -94*o + 4. Is 13 a factor of 200 + o*(-10 + 5)?
True
Does 21 divide 12/(-2) + -3 + 1166 + 0?
False
Let a(v) = -v**2 - 15*v + 7. Let x be a(-15). Let y(n) = -n**3 + 6*n**2 + 6*n + 3. Let f be y(x). Does 7 divide (6/f + 2)*54?
False
Let a(j) = 4*j**2 - 9*j - 1. Let n be a(3). Suppose -3*k - 658 = -n*k + i, -662 = -5*k - i. Does 33 divide k?
True
Does 102 divide (3/2)/((354/(-18360))/(-59))?
True
Suppose -5*d = -10*d + 15. Suppose 4*m - 2*m - d*s - 355 = 0, -m + 5*s + 167 = 0. Is 14 a factor of m?
True
Let p = 1073 + -493. Suppose -z + p = 3*z. Does 5 divide z?
True
Suppose 384 = 5*w - 61. Let x = 168 - w. Suppose 3*c - x = -4*p, -3*p + 3*c = 2*p - 65. Is 10 a factor of p?
False
Suppose 0 = -847*h + 842*h + 2640. Does 132 divide h?
True
Let y be (-9)/(-6)*2/3. Suppose -y = -5*j + 9. Suppose -2*n = j*z - 52, -47 = -4*n + 2*z + 81. Is 15 a factor of n?
True
Let y(z) = -2*z + 26. Let r be y(11). Suppose 3*f + 471 = r*n - 312, 5*f = 5*n - 985. Is 30 a factor of n?
False
Suppose -4*c + 373 = -4*g + 5, 0 = 2*c + 3*g - 199. Is 19 a factor of c?
True
Let u(j) = j**3 + 14*j**2 - 13*j - 1. Let w be u(-15). Let c = -24 - w. Is c a multiple of 7?
True
Let m(x) = 784*x**2 + 27*x - 5. Does 91 divide m(2)?
True
Is ((-121720)/(-16))/5 - 4/8 a multiple of 15?
False
Suppose -2*d - 3 = -23. Is d*4/(-3)*-3 a multiple of 10?
True
Suppose -o - 3*t = -t - 18, 0 = -o - 4*t + 24. Suppose -9*p = -o*p. Suppose p = 5*z - 36 - 129. Is 18 a factor of z?
False
Suppose -5*z = -4*v - 880, -2*z - 2*v = -v - 365. Does 16 divide z?
False
Let x(c) = 6*c + 189. Is 44 a factor of x(9)?
False
Suppose -2*p + 4*z + 3944 + 2852 = 0, 2*p - 6812 = -4*z. Is 54 a factor of p?
True
Suppose -2*c = 2*q - 1015 - 1871, q + 2*c = 1443. Is 39 a factor of q?
True
Let n be (-153)/18 + (-3)/(-2). Let h = -2 - n. Let u = 4 + h. Is 8 a factor of u?
False
Let s be (-1)/(-6) - (-1)/(-6). Let f(v) = 69*v + s + 2 - 8 - 75*v. Is f(-5) a multiple of 8?
True
Suppose 3*g = q + 12, 2*g + 6*q - 3*q - 19 = 0. Suppose -3*y + 8 = o, g*o + y - 57 - 11 = 0. Is o a multiple of 4?
False
Let n = 1 - -11. Suppose 15 - 1 = k. Suppose -i = -k - n. Does 7 divide i?
False
Let l be 64 + -1 - (0 - -2). Let j = l + 151. Is j a multiple of 43?
False
Let r(g) = -383*g + 1 + 6*g**2 + 0 + 386*g. Is 10 a factor of r(1)?
True
Suppose f + k + 7 = 0, 2*f + 15 = -2*k - k. Let t(h) = -h**3 - 5*h**2 + 4*h + 2. Does 6 divide t(f)?
False
Suppose 2*a - 192 = 4*n, -5*n = a + a - 201. Let v = -3 + 3. Suppose d - 54 = -4*z, v = 2*d + 4*z - a - 10. Is 13 a factor of d?
False
Let m = -7 - -3. Is (-239)/m - 7/(-28) a multiple of 10?
True
Suppose 2*j - 112 = -2*z, -4*j - 129 = -2*z - 377. Let l be ((-1)/(-2))/(2/j). Let q = l + 8. Does 19 divide q?
False
Suppose 12 = -2*c - 5*p, -2*p + 2 = 5*c + 11. Does 14 divide c + (21 + -2)*3?
True
Let h be (-166)/(-12) + (-1)/(-6). Let w = 16 - h. Suppose -3*l = 4*t - 186, -3*t + w*l = 3*l - 142. Does 24 divide t?
True
Suppose 3*x - 9*x = -6660. Is x a multiple of 66?
False
Let u = 1349 - 824. Suppose 531 = 4*w - 3*l, 0*w - 3*l + u = 4*w. Is w a multiple of 12?
True
Let v(a) = 6*a + 339. Is 5 a factor of v(-8)?
False
Suppose -29*z + 8433 = -17000. Is z a multiple of 27?
False
Suppose 366 = 3*a - 3*p - 606, 3*p = 5*a - 1626. Does 46 divide a?
False
Suppose v + 6 = -4*n, -3*v + 6*n + 16 = n. Is 6480/50 - v/10*-2 a multiple of 23?
False
Suppose 0 = -4*f + 7 + 25. Let b be 1*(17 - (-3 + 3)). Let o = b - f. Does 3 divide o?
True
Suppose -2*z - 2*g = -0*g - 156, 0 = -3*z + 3*g + 240. Let n = z + -149. Is 12 a factor of n*((-24)/10 - -2)?
False
Let x be (-75)/(-6)*(-36 + 38). Let l(p) = -p**2 - p - 17. Let y be l(0). Let u = y + x. Does 6 divide u?
False
Suppose -4*n = -1321 - 1759. Is 70 a factor of n?
True
Suppose -2*w + 10 = -0*w - 3*j, -8 = 4*w + j. Let n be ((-2)/w)/((-2)/(-29)). Suppose -5*p + 6 + n = 0. Is p a multiple of 2?
False
Let d(u) = 7*u + 168. Does 56 divide d(0)?
True
Let t(k) = -k**3 + 11*k**2 - 2*k - 50. Does 11 divide t(7)?
True
Let z = 4339 + -2229. Is 19 a factor of z?
False
Let s(u) = 13*u**2 + 2*u + 3. Let v be s(-1). Suppose -34 - v = 4*b. Does 31 divide -3*1 - (-114 - b)?
False
Suppose 0 = 19*o - 321 - 2890. Is 8 a factor of o?
False
Let v be (-3 + 2)/((-5)/15). Suppose 0 = v*w - 25 - 143. Does 13 divide w?
False
Let s(m) be the first derivative of m**4/4 + 22*m**3/3 + 17*m**2/2 + 19*m + 6. Is s(-21) a multiple of 18?
False
Let m(n) = 6*n + 19. Let o be m(-4). Let g = o - -31. Is 13 a factor of g?
True
Suppose 0 = 3*n + 9, 0 = 2*t + 3*n - 2*n - 717. Suppose 3*g + 450 = -2*r + 7*r, g + t = 4*r. Is 18 a factor of r?
True
Let q be ((-10)/15)/((-2)/108). Suppose -5*i - q = -10*i - 3*w, 4*i - 4*w - 48 = 0. Does 2 divide i?
False
Is 27 a factor of (-630)/(-4)*((-196)/(-20) - -1)?
True
Let d = -9 - -9. Suppose d = -4*x + 193 + 239. Suppose 7*k = 3*k + x. Is k a multiple of 8?
False
Suppose 0 = -0*o - 3*o + 6. Suppose -4 = -3*c + o*c. Suppose c = 3*p - 32. Is p a multiple of 4?
True
Let k be (-50)/8 - (-11)/44. Let g = 9 + k. Suppose 0 = 2*n + n - 15, 4*r - 13 = g*n. Is r a multiple of 7?
True
Suppose -5*p = 5*n + 30, -4*p - 5*n - 7 = 13. Is (-3 + -7)*p/4 a multiple of 21?
False
Suppose b + 6 + 2 = 0. Let i(w) = -2*w - 14. Let o be i(b). Is ((-2)/(-5))/(o/240) a multiple of 22?
False
Let z = -36 - -12. Does 31 divide (-124)/3*36/z?
True
Suppose 2*k = -k + 6. Suppose m = -3*w, -2*w - m = k*m. Suppose 4*z - 64 = z - 2*l, -2*l + 10 = w. Is z a multiple of 6?
True
Let c be -1 + (-16)/(-5) + 5/(-25). Suppose 4*p - c*p - 8 = 0. Is p a multiple of 2?
True
Let a = 80 - 36. Suppose -4*y + 2*i = -52, -3*y + 2*i + 2*i = -a. Does 5 divide y?
False
Suppose 10*i - 368 = -3*g + 5*i, -5*g - 3*i = -624. Is g a multiple of 21?
True
Suppose 4 + 2 = 2*s. Suppose -s*i + 195 = 2*i. Is 0 - (2 + 0 - i) a multiple of 13?
False
Suppose 0 = -2*o + c - 5, 3*c = o + c + 10. Suppose o + 22 = 2*p. Is 6 a factor of p?
False
Does 7 divide (-1)/4 - 17397/(-36)?
True
Suppose 0 = 7*u + 1220 - 3404. Does 13 divide u?
True
Let f(z) = z**2 - 2*z + 13. Is f(-3) a multiple of 7?
True
Let y(u) = -u**2 + 15*u. Let p = -17 + 32. Let x be y(p). Is 3 a factor of x + (-1)/(1/(-8))?
False
Let t = 39 + -56. Let g = -17 - t. Suppose 4*j + 4*h - 44 = g, j + 3*h + 0 = 11. Does 2 divide j?
False
Suppose -2*a = 2*f - 54, -5*a = -3*f - 2*f - 175. Does 31 divide a?
True
Let p = -1123 + 1616. Does 6 divide p?
False
Suppose -v = 4*s + 4 - 0, 4*s = 5*v + 20. Suppose s = 6*k - 57 - 111. Is k a multiple of 14?
True
Let y = -18 - -15. Let o = y + 7. Suppose o*i = 2*g + g + 129, 0 = -5*i + 3*g + 162. Does 11 divide i?
True
Let n = 6 - 2. Suppose -p - 3*p - 16 = 0, 4*x + p - n = 0. Suppose -2*k + 8 = x. Is k a multiple of 3?
True
Let o be 2*(-4)/8*0. Suppose o = 2*i - 29 - 37. Is 9 a factor of i?
False
Let x(i) = -6*i + 94. Is x(9) a multiple of 3?
False
Let f(j) = 3*j**2 - 2*j - 21. Let m be f(-12). Suppose 5*a = 2*a + m. Does 51 divide a?
False
Let j(q) = -27*q - 24. Is j(-6) a multiple of 23?
True
Let g be -2 + -63*2/(-3). Let m = -66 + g. Does 5 divide 1*-12*13/m?
False
Let p = 45 - 36. Let x = p - -33. Is 6 a factor of x?
True
Suppose -11*z + 8*z = 0. Let g(c) = 4*c + 130. Is g(z) a multiple of 26?
True
Suppose -w - 10*o + 56 = -50, 20 = 5*o. Is w a multiple of 2?
True
Suppose -c + 1 = -l + 2, 0 = -2*c + 2. Let q = 3 + l. Suppose -5*k - 34 = 5*v - 109, -3*v = -k - q. Is 3 a factor of k?
False
Let y(p) = p**2 - 9*p + 17. Suppose 60*v = 57*v + 24. Is y(v) a multiple of 8?
False
Let w be -1*(139 - 3) - 2. Let i = -49 - w. Is 34 a factor of i?
False
Let u(w) = -w. Let m(k) = 14