ultiple of 26?
True
Suppose 0 = -0*f - 2*f. Suppose -5*a + f*v - v + 118 = 0, -3*a - 3*v + 66 = 0. Is 12 a factor of a?
True
Suppose -n = 4*c + 12, 5*c + 0*n = n - 6. Let s = c - -20. Suppose s*a - 16*a = 18. Is a a multiple of 4?
False
Let k(d) be the first derivative of 2*d**3/3 - 2*d**2 + 9*d + 14. Is 15 a factor of k(-6)?
True
Let f = 140 + 14. Is f a multiple of 77?
True
Is 27 a factor of 12/((-690)/708 - -1)?
False
Suppose -4*a = -7*a. Let g(c) = c**2 - 6. Let k be g(a). Let t = k - -41. Is 10 a factor of t?
False
Let i = 218 - 195. Does 2 divide i?
False
Suppose 2*f - 216 = -4*f. Let x be -7 - (-1)/(0 + 1). Let a = x + f. Is a a multiple of 6?
True
Suppose a - 11957 = -5*x + 4*a, 0 = 5*x - 2*a - 11958. Is x a multiple of 23?
True
Let v(n) = 3*n - 2. Let h be v(2). Let i be h*((-2)/8 - -1). Is (-17 + -1)/(i + -4) a multiple of 18?
True
Suppose 2*g = 4*r - 198, -3*r + 5*r + 4*g - 94 = 0. Suppose 3*y = -z + 23, -5*y - 14 = 5*z - r. Does 6 divide y?
False
Suppose 5*h = 2*h - 51. Let x = h + 160. Is x a multiple of 13?
True
Let f(q) = 2*q**2 - 12*q - 4. Let z be f(7). Suppose 0 = 9*w - z - 26. Suppose -w*c + 289 - 5 = 0. Does 25 divide c?
False
Suppose -6*i = -3*i. Suppose i = -0*a + 2*a - 4. Is 8 a factor of a/(8/44) - 3?
True
Is 8 a factor of (4/2)/((-14634)/(-1044) - 14)?
False
Is (-10293)/(-6) + 315/70 a multiple of 40?
True
Let j = -49 + 54. Suppose 4*a + 3*g = 227, -j*a = -0*a + g - 292. Is a a multiple of 3?
False
Let j(g) = 15*g**2 - 4*g + 11. Let s be j(3). Is s*(3 + 15/(-6)) a multiple of 10?
False
Let k(h) = 2*h - 9. Let i(c) = -2*c**3 - c**2 - 1 + c**3 + 0*c + 3*c. Let a be i(-3). Is k(a) a multiple of 7?
True
Let r(g) = g**3 - 34*g**2 - 68*g - 66. Is 13 a factor of r(36)?
True
Let j(n) = 158*n**2 - 72*n - 342. Is j(-5) a multiple of 16?
True
Suppose -3*m + 14 = -4*g, 3*m + 13 = 6*m - 5*g. Let o(z) = -1 + m - z + 1. Does 6 divide o(0)?
True
Is (9/6)/((-1)/(-122)) a multiple of 8?
False
Let h be ((-7)/(-3))/((-4)/(-24)). Suppose -13*d + h*d = 108. Does 18 divide d?
True
Let f(d) = -d**2 - d + 2. Let z = 6 + -6. Let b be f(z). Is 270/14 - b/7 a multiple of 19?
True
Let w be 8/12*(-2 + 8). Let i be w + 161 - (1 + -4). Suppose -3*o + 7*o = i. Is o a multiple of 10?
False
Let j be ((-12)/(-10))/(3/(75/10)). Let h = 13 + j. Does 4 divide h?
True
Suppose 0 = 5*j, 2*x - 4*j - 257 = -69. Is 8 a factor of x?
False
Suppose 3*o - 2 = -j - 0, -3*o - 3*j = 0. Let r be 2*o*(-1 + 2). Suppose r*i - 12 - 232 = 0. Is i a multiple of 13?
False
Let r(i) = 4*i**3 - i**2 + 3*i - 2. Let d be r(-2). Let f = 8 - d. Is f a multiple of 26?
True
Does 49 divide (-38448)/(-15) - (702/(-65) + 11)?
False
Let i = -52 - -57. Suppose -j - 197 = -i*y, -4*y + 5*y - 28 = 4*j. Is y a multiple of 10?
True
Suppose -2*p - 6 = -3*p. Let t be -50*(p/4 - 2). Suppose -4*q = -217 + t. Is 16 a factor of q?
True
Suppose -13*i = a - 12*i - 810, -3*i = -3*a + 2412. Does 36 divide a?
False
Let u(p) be the first derivative of p**4/4 + 7*p**3/3 + 7*p**2/2 + 11*p - 4. Does 17 divide u(-5)?
False
Suppose -h - 196 = -k, 3*k + 2*k - 4*h = 982. Is 9 a factor of k?
True
Suppose -798 = -3*l + 3*c - 135, -3*c - 446 = -2*l. Is l a multiple of 31?
True
Suppose 19 = 3*t + 19. Is ((-7)/2 + t + 2)*-18 a multiple of 13?
False
Let h be -4*(1 - (-5)/2). Let s(v) be the third derivative of -v**6/120 - 7*v**5/30 - v**4/8 - 2*v**3 - 36*v**2. Is s(h) a multiple of 15?
True
Suppose -2*c = 5*x - 12 - 545, 4*c - 1141 = -x. Is c a multiple of 4?
False
Let m = 158 + 296. Is m a multiple of 42?
False
Suppose -2*m = 5*n - 350 - 494, 2*n - 5*m = 326. Let j be 2/(-13) + n/(-91). Let s = 7 + j. Is s a multiple of 5?
True
Suppose -3*o + 2*k + 417 = 0, -2*o - 5*k = -6*k - 279. Does 40 divide o?
False
Let v be (-30)/9*54/(-4). Suppose -5*f + x + 252 + 59 = 0, 51 = f - 3*x. Let l = f + v. Is l a multiple of 18?
True
Let i = 464 - 279. Let t = 286 - i. Is t a multiple of 13?
False
Let p = 20 - -50. Let t = 306 - p. Does 33 divide (t/(-6))/(30/(-45))?
False
Does 8 divide 4/6*9882/6?
False
Suppose -13*d + 1488 + 267 = 0. Suppose 4*o - 639 = -d. Is o a multiple of 42?
True
Suppose j - 119 = 4*v + 885, 5*v - 2978 = -3*j. Is 22 a factor of j?
False
Let s(p) = -7*p + 5 - 30 + 14 - 24. Does 19 divide s(-14)?
False
Is 29 a factor of (3 - 9/4)*123896/51?
False
Let i(d) = 513*d**2 + 6*d - 26. Is i(3) a multiple of 12?
False
Let d = -421 - -673. Is 14 a factor of d?
True
Let f = 1139 + -491. Is 72 a factor of f?
True
Is 16 a factor of ((-15)/10)/(4/(-1496))?
False
Suppose 2 = a, 0 = m + a + a - 67. Suppose m = 5*b - 72. Is b a multiple of 5?
False
Let d(k) be the first derivative of -1/4*k**4 + 3/2*k**2 + 2/3*k**3 + 4*k - 3. Does 4 divide d(3)?
True
Let s(i) = 8*i + 267. Is s(33) a multiple of 9?
True
Let t be 1 - (-1 + (-3 - 3)). Suppose -2*c + 0 + t = 0. Suppose -c = -4*s + 8. Does 3 divide s?
True
Is 30 a factor of 508720/120 - ((-2)/(-6) - 1)?
False
Let r = -28 - -24. Is 5 a factor of (-30)/(-40) - 29/r?
False
Suppose -1 = -4*x - 9. Is (360/(-3))/x*1 a multiple of 10?
True
Let f(h) = -6*h + 2. Let r be f(3). Let m = r + 11. Is 28 a factor of 1044/10 + 2/m?
False
Let v be (-39)/9*1*-3. Suppose 4*h = -2*l + 38, 5*l = h - 3 - 1. Suppose 0 = r - h - v. Is 22 a factor of r?
True
Suppose 3*l = -l + 76. Let b = 9 - l. Does 16 divide (-280)/42*144/b?
True
Let d = 108 - -89. Suppose -2 + d = 5*t. Let b = -28 + t. Is b a multiple of 11?
True
Suppose m - 9*o = -5*o + 38, -2*m - 4*o = -112. Is 35 a factor of m?
False
Does 17 divide (-1)/(54/(-90) - 352/(-595))?
True
Let n(s) = 48*s + 1. Let g be n(1). Let v be (-2)/(-2) - g/(-7). Let c(a) = a**2 - 5*a - 8. Is 9 a factor of c(v)?
False
Suppose -12 = 3*f + 3*o, 0*o - 12 = 3*f - 2*o. Let c be 4*f*2/(-2). Suppose c*r + 18 = 18*r. Is r even?
False
Suppose 5*i - 64 + 24 = 0. Suppose -5*x + i*x = 48. Is x a multiple of 16?
True
Let b(y) = 5*y**2 - 13*y - 18*y + 1 + 9. Let i(o) = -o**2 + 6*o - 2. Let t(s) = -2*b(s) - 11*i(s). Is t(6) a multiple of 7?
True
Suppose 2440 = 4*k + 604. Suppose 43*l - k = 40*l. Is l a multiple of 17?
True
Let p(q) = 7*q + 2. Suppose 0 = 3*d + 6, -d - 14 = 6*t - 3*t. Let i be p(t). Let s = i + 29. Is s even?
False
Suppose -2660 = -8*m - 6*m. Suppose 3*l - 114 = -2*z, -7*l + 2*l + m = z. Is 20 a factor of l?
False
Let i(n) = n**2 - 6*n - 12. Let q be i(8). Suppose -5*l = 3*p - 4*l - 84, 0 = -3*p - q*l + 93. Is p a multiple of 2?
False
Let f(b) = 10*b**2 + b. Let i(n) = 25*n**2 - 1 - 28*n**2 - n + 1. Let d be i(-1). Does 14 divide f(d)?
False
Is 13 a factor of 4/(-30) + (-197742)/(-90)?
True
Let p(t) = -153*t - 22. Does 71 divide p(-2)?
True
Suppose 118 = -2*j + 118. Suppose 2*y = 4*y - 244. Suppose d - 5*r - 46 = j, 3*d + 0*r = -r + y. Does 32 divide d?
False
Let w(j) = j**3 + 4*j**2 - 3. Let d be w(-3). Suppose d = 2*u - 36. Does 11 divide u?
False
Is 60 a factor of 180/1 - 0/(-52)?
True
Suppose -3*a = -k + 456, 74*a - 72*a = 6. Is k a multiple of 4?
False
Suppose -2*i - 4*x = 42 - 176, -4*x - 158 = -2*i. Is 4 a factor of i?
False
Suppose 0*y = 2*y - 46. Let d = -8 + y. Is (24/10)/(1/d) a multiple of 14?
False
Let u = -109 + 132. Suppose -5*w + 2*o = -u, -5*w + w = o - 21. Is 2 a factor of w?
False
Let o(f) = -41*f + 574. Does 11 divide o(3)?
True
Let k(l) = 16*l**2 - 13*l + 28. Is k(-7) a multiple of 32?
False
Let m(x) be the first derivative of -48*x**2 + 3*x - 7. Does 33 divide m(-1)?
True
Suppose 4*k = 2*g + 1728, -615 = -2*k + 3*g + 249. Is k a multiple of 9?
True
Is -136 + 435 - ((-1 - 0) + -4) a multiple of 3?
False
Let m(y) = -y**3 - 16*y**2 - 15*y + 3. Let v be m(-15). Suppose -2*x + 0*x + v*j = -81, 0 = 4*x + 5*j - 173. Does 14 divide x?
True
Let h(c) = -c**2 + 8*c - 1. Let g be h(8). Let d be (-27)/4 - g/(-4). Let y = d + 29. Does 10 divide y?
False
Suppose -12*u + 16*u = 3*f - 6468, 0 = -3*u - 9. Does 13 divide f?
False
Is 25 a factor of (9375/(-45))/((-2)/6)?
True
Let z = -8 + 6. Let g be 1*(-2 - (z + 35)). Let f = g - -68. Does 11 divide f?
True
Suppose -12 = 2*v + 4*m, 5*v - m - m = 18. Suppose -v*i + 3*i - 40 = -w, 3*i - 130 = 2*w. Does 14 divide i?
True
Suppose 1667 = -20*h + 4827. Is h a multiple of 6?
False
Let z(l) = -l**3 - 12*l**2 - 12*l - 7. Let s be z(-11). Suppose 0 = -s*b + 2 + 22. Let r(v) = 4*v - 5. Is r(b) a multiple of 5?
False
Let m