e
Does 10 divide (-106)/(1/((-52)/8))?
False
Let g be 6 + -7 - (3 + -6 + 0). Does 13 divide -13*(-4)/4*g?
True
Suppose 3*q = 3*j - 1974, 3*j + 0*q - 1982 = -5*q. Does 7 divide j?
False
Let l be ((-14)/(-35))/((-1)/15). Let j(f) = -3*f - 16. Let p be j(l). Suppose 2*g - 10 = 0, 5*g = p*i - 3 - 2. Does 5 divide i?
True
Does 11 divide 20812/18 - (-20)/(-90)?
False
Let f(b) = -b**2 - 92*b + 5. Is 40 a factor of f(-21)?
False
Is (-3164)/(-14)*(-25)/(-2) a multiple of 103?
False
Let g = -34 - -49. Let c(o) = o**2 - 8*o - 2. Does 10 divide c(g)?
False
Let v = 6 - 2. Suppose s = 5*d - 15, 0 = 4*s - v*d + 2 + 10. Suppose 5*t = -0*t - y + 27, -t - 2*y = s. Does 6 divide t?
True
Let c(i) = -141*i - 1191. Is 66 a factor of c(-11)?
False
Let k(i) be the third derivative of 6*i**2 - 1/3*i**3 + 0 + 0*i - 1/10*i**5 - 11/24*i**4 + 1/120*i**6. Is 19 a factor of k(8)?
True
Suppose -3*k + 150 + 261 = 0. Suppose -n + 17 = -k. Is n a multiple of 11?
True
Let q(w) = -w**2 - 27*w - 5. Let l be q(-14). Suppose -3*p - 72 = -l. Does 19 divide p?
False
Suppose 0 = 10*i - 44*i + 26146. Is i a multiple of 32?
False
Suppose 1320 = 22*p - 11*p. Is 14 a factor of p?
False
Suppose 0 = 33*z - 7878 - 51225. Is z a multiple of 38?
False
Suppose 0 = -2*x - 3*x + 15. Suppose 2*d + x*z - 250 + 10 = 0, -4*d + 3*z + 462 = 0. Does 12 divide d?
False
Let v(j) = 29*j**2 + j + 1. Suppose 0 = 5*h - 5, -4*h = 2*t + h - 1. Let l be v(t). Suppose -l = -2*y - y + b, -2*b = -3*y + 110. Is y a multiple of 15?
False
Suppose 0 = -5*y + 4*y + 983. Is 6 a factor of y?
False
Let k(t) = t**3 + 6*t**2 + t + 3. Let i be k(-6). Let l = -1 - i. Suppose -4*w - l*c = w - 238, -3*c = -5*w + 243. Does 16 divide w?
True
Let i(c) = -c**2 - 6*c + 7 + 22*c - 6*c. Let z be i(10). Suppose 5*t + 10 = 0, z = 3*k - 3*t - 47. Does 4 divide k?
True
Suppose -v + 158 = -4*d, 4*d = 2*v + 2*v - 608. Suppose 0 = -v*a + 155*a - 510. Is 22 a factor of a?
False
Let k be (-198)/15*(-20)/8*1. Let l be 0/1 + -3 + 8. Suppose -k = l*h - 123. Is h a multiple of 6?
True
Let a be (14/35)/(2/30). Suppose -9 = -a*u + 27. Is 3 a factor of u?
True
Suppose 8*q - 4*b - 4488 = 3*q, -8 = 4*b. Does 28 divide q?
True
Let h = 30 - 28. Suppose 0 = -5*j + 4*y + 77, h*j = -4*y + y + 17. Let b(g) = -g**2 + 15*g - 19. Is b(j) a multiple of 6?
False
Let c(a) = -11*a + 30. Does 20 divide c(-10)?
True
Let h be 27 + (0 - 3) - 0. Let k = h + -22. Suppose -k*j + 71 = -49. Is j a multiple of 20?
True
Let s = -80 - -113. Let j = 46 - s. Does 6 divide j?
False
Is 3 - ((3 - 7) + -1086) a multiple of 15?
False
Let p = 185 + -81. Does 13 divide p?
True
Let l = -20 - -35. Suppose -2*h - f - 11 = -4*f, 3*f = l. Suppose h*m + 10 = 0, -4*m = n + n - 56. Is 15 a factor of n?
False
Suppose -10 = 4*v - 22. Suppose x - v*p = 46, 3*p + 92 = 3*x - x. Let f = x + -26. Is f a multiple of 5?
True
Suppose 5*y + 3725 = 17225. Does 36 divide y?
True
Suppose -2*p + 13 = -5*g, 2*g + 12 = 2*p + 2. Suppose -p*i - 52 + 188 = 0. Does 13 divide i?
False
Suppose 14 = 2*d + 3*d + 2*b, b = -4*d + 13. Suppose -d*j + 60 = -3*j. Does 15 divide j?
True
Suppose 1536 = 3*n + 330. Does 20 divide n?
False
Suppose 0 = -6*n + 254 + 166. Does 7 divide n?
True
Let o(x) be the second derivative of 4*x**3 - 8*x**2 - 13*x. Is 18 a factor of o(6)?
False
Suppose 2*x - 822 = -3*f, -2*f + 5*f - 807 = 3*x. Suppose -6*i = -f - 544. Suppose -2*c = -g - 92, -2*g = -4*c + c + i. Is 12 a factor of c?
True
Let m(y) = -98*y + 36. Is 38 a factor of m(-7)?
True
Let u = 605 + -311. Is 49 a factor of u?
True
Let b(w) = -w - 8. Suppose 0 = 3*z - f + 2*f + 38, 5*f = -z - 36. Let d be b(z). Suppose -4*r - 5*o + 8*o + 62 = 0, -d*o + 40 = 2*r. Is r a multiple of 12?
False
Suppose -140 = -3*q - 41. Does 26 divide q?
False
Let i(w) = -15*w + 8. Suppose -2*p - 7 = -1. Is 15 a factor of i(p)?
False
Let v = 51 - 47. Suppose 14 - 414 = -v*k. Is k a multiple of 18?
False
Let o = 54 + -13. Let r = o - 25. Let i = r + 0. Does 8 divide i?
True
Let f = 35 - 51. Suppose 68 = -3*z - 5*j, -5*z - 5*j + 55 - 165 = 0. Does 4 divide (f/(-6))/((-14)/z)?
True
Suppose -2*q = q - 69. Suppose -95 = -3*l - q. Does 12 divide l?
True
Let b = 185 + 3131. Is b a multiple of 85?
False
Let q(s) = -4*s**2 - 3*s - 12. Let t(u) = -u**2 - u. Let v(l) = q(l) - 5*t(l). Let d be v(-5). Suppose 5*f = -d*j + 30, -14 = -f - 0*j + j. Does 9 divide f?
True
Suppose 0*z - 4*z + 214 = -2*r, -3*z = 3*r + 294. Let j = -21 - r. Does 15 divide j?
False
Let l(z) be the first derivative of -z - 1 + 87/2*z**2. Is l(1) a multiple of 25?
False
Let j(b) = -15*b + 6. Let i(g) = -15*g + 7. Let l(h) = -5*i(h) + 6*j(h). Does 19 divide l(-5)?
True
Let c(s) = -91*s - 2. Let q(u) = 1. Let h(z) = c(z) - q(z). Is 22 a factor of h(-1)?
True
Is 12/18*-297*4/(-6) a multiple of 10?
False
Let m(h) = -11*h + 300. Is 68 a factor of m(-16)?
True
Let h(z) be the third derivative of z**4/12 + 17*z**3/2 - 10*z**2. Is h(11) a multiple of 10?
False
Let t(u) = u**3 - 20*u**2 + 17*u - 246. Does 22 divide t(20)?
False
Suppose -11384 = -25*l - 1784. Does 6 divide l?
True
Suppose -658 = t - 3*t. Suppose -4*x - 420 = -4*g, -t = -3*g - 4*x - 0*x. Let p = g + -43. Does 19 divide p?
False
Suppose 4*v = -20, 14*v - 9*v - 991 = -4*g. Is 7 a factor of g?
False
Let k be -2 - (-1)/1 - -20. Let b(h) = h**3 - 15*h**2 - h + 9. Let s be b(15). Let y = k - s. Is y a multiple of 13?
False
Let d(t) = 72*t**2 - 9*t - 50. Does 16 divide d(-6)?
False
Is 11 a factor of -1*1866/(-6) + -3?
True
Let u = 26 + -22. Let k = 3 + u. Does 2 divide k?
False
Let g(h) = 6*h + 0 + 0 + 2*h - 1. Let z be g(10). Is -4*(-12)/16 + z a multiple of 27?
False
Suppose -1389 = -2*y - 3*v, -5*y + 1153 + 2308 = -4*v. Does 63 divide y?
True
Suppose -3*o - 19 = -4, -4*g + 3*o - 969 = 0. Let l = g - -403. Is l a multiple of 29?
False
Suppose -3*q - q - p + 420 = 0, 4*q + 5*p - 404 = 0. Let o = q - 22. Is 16 a factor of o?
False
Let m(a) = -a**3 - 5*a - 5*a + 9*a**2 + 15 - 2*a**2 - 16*a**2. Is 31 a factor of m(-8)?
True
Let h(q) = -q**3 + 22*q**2 - 15*q + 28. Let m(n) = -n + 10. Let d be m(-11). Is 20 a factor of h(d)?
False
Suppose 3*b - 11 = t + 4*t, 1 = b + t. Suppose -170 = -b*r + 66. Is 19 a factor of r?
False
Let t(o) = -5*o + 10. Let c(u) = -4*u + 25. Let l be c(8). Let z(b) = 3*b - 5. Let w(v) = l*z(v) - 4*t(v). Is w(-14) a multiple of 5?
False
Suppose 0 = 5*n - 5*l - 745, 777 = 10*n - 5*n + 3*l. Is n a multiple of 14?
False
Suppose 2*x - 2221 = -3*m, -2580 = -4*x - 2*m + 1842. Is 10 a factor of x?
False
Suppose -6 = r - 12. Is (r/(-12))/((-1)/570) a multiple of 15?
True
Let z(m) = -281*m**3 + 5*m**2 - 7*m + 7. Let r(b) = 140*b**3 - 3*b**2 + 4*b - 4. Let s(y) = 7*r(y) + 4*z(y). Does 11 divide s(-1)?
True
Let p = -35 - -43. Suppose -p*j = -6*j - 232. Is 17 a factor of j?
False
Does 58 divide 812/(-3)*348/(-232)?
True
Let v = 97 - -3. Let n = -16 + v. Suppose -3*w + w = -n. Is 13 a factor of w?
False
Is (-3)/8*38*-24 a multiple of 11?
False
Suppose 5*j - 12 = l, 2*l - 1 + 5 = 0. Let g = 41 - j. Is g a multiple of 5?
False
Suppose d + 9 = -0. Let y = 39 - d. Suppose -2*q - q = -y. Is 3 a factor of q?
False
Let w = -451 - -669. Is w a multiple of 47?
False
Suppose -3*c + 125 = -2*c. Suppose 0 = j - 6*j + c. Let y = j + 5. Does 10 divide y?
True
Suppose 4*u + 369 = f - 225, -u = 5*f - 2949. Suppose -26 = -4*s + f. Is 22 a factor of s?
True
Suppose -2*q = -0*q + 2. Let o(n) = -15*n - 70. Let p be o(-6). Let z = p - q. Does 21 divide z?
True
Let n = -133 - -245. Suppose -4*j + 272 + n = -2*a, 0 = -5*j - 4*a + 480. Is j a multiple of 14?
False
Suppose -16*h = -13*h + 3*c - 3609, 5*h - 6012 = -4*c. Is 44 a factor of h?
False
Suppose 11*n - 3 = 140. Suppose n*x - 416 = 5*x. Does 2 divide x?
True
Suppose 23 = 6*p - 31. Let d(f) = f**3 - 7*f**2 - 12*f. Let c be d(p). Is 30 a factor of 2/(-9) + 3252/c?
True
Does 85 divide (95/20)/(-5*1/(-1700))?
True
Let r = 40 + 6. Is 8 a factor of r?
False
Suppose -15*m + 3*m + 2244 = 0. Is 16 a factor of m?
False
Let v = 24 + -19. Let d(a) = -a**2 + 10*a - 12. Is 7 a factor of d(v)?
False
Let v be ((-9)/(45/40))/((-1)/2). Suppose 5*q + 2*x - 7*x - 25 = 0, v = 3*q - 2*x. Does 4 divide q?
False
Is 23 a factor of (-17)/(-13 + -55)*2284/1?
False
Suppose -2*x = r - 1, 3*r - 1 = x + 4*r. Suppose -468 = -4*h + x*d - 3*d, 0