tor of a?
True
Suppose -7*t + 3*t = -3456. Does 6 divide t?
True
Suppose -5*f - j = -506, -3*j = 4*f + j - 408. Let t = f + -42. Is t a multiple of 14?
False
Let y = -27 - -85. Let q = 169 - y. Is q a multiple of 10?
False
Is 38 a factor of (-6)/24 - (30114/(-8))/9?
True
Is (-383432)/(-410) + (-4)/(-5) a multiple of 24?
True
Let o = 39 - 20. Let y = o + -1. Is y a multiple of 6?
True
Let c be 6/(-15) + (-67)/(-5). Let i = 16 - c. Does 7 divide -28*(i - (-21)/(-6))?
True
Suppose 256 = f - j, 0 = -3*f - 2*f + 3*j + 1288. Let i(x) = x**2 - 14*x + 26. Let b be i(12). Suppose f = b*a + 2*a. Is 30 a factor of a?
False
Let t(x) = 6*x - 2. Let k be ((-4)/8)/((-3)/6). Let s be t(k). Suppose 2*u - 129 = -2*u - 5*o, -3*o - 121 = -s*u. Does 7 divide u?
False
Let y be -15*(-4)/(2 + 10). Let g = 79 + y. Does 28 divide g?
True
Suppose 1822 = -8*m + 1974. Does 3 divide m?
False
Let x = -522 + 1362. Is 14 a factor of x?
True
Let c be 0/((2 - -1)/3). Is (-1)/((-1)/(1 + 96 - c)) a multiple of 17?
False
Let q(k) = -k**2 + 41*k - 73. Is q(22) a multiple of 19?
False
Let z(w) = -w**3 + 6*w**2 - w + 1. Let p be z(6). Let f(r) = -9*r + 9. Let n be f(p). Suppose 16*i + n = 19*i. Is 9 a factor of i?
True
Let m be 32/(-144) - 2/(-9). Suppose m = v - 5*v + 12. Suppose -v = -c + 33. Is c a multiple of 12?
True
Let o = -7256 + 507. Is (-6)/(-10) - o/85 a multiple of 18?
False
Suppose 5*l + 2 = -4*d - 31, -48 = 5*d + 4*l. Let t(x) = -4*x - 27. Is t(d) a multiple of 8?
False
Is 11 a factor of 72/90 - 12729*(-4)/30?
False
Let l be (1/(-3))/(1/9) - -7. Suppose -t + 331 = 3*q + 11, 4*q + l*t - 440 = 0. Is q a multiple of 21?
True
Let k(o) = -o + 100. Let v be k(0). Suppose 1100 = 8*l - v. Is l a multiple of 15?
True
Let o(k) = -k**2 - k + 50. Let d(t) = t + 6. Let i be d(-6). Let r = 0 - i. Is 13 a factor of o(r)?
False
Let t = -39 - -28. Let x be 2768/22 - 2/t. Let b = -48 + x. Is 26 a factor of b?
True
Let l = -29 - -15. Let j be (4/14)/((-2)/l). Suppose -3*m + 104 = j*g, m = g - m - 38. Is 23 a factor of g?
True
Let s(x) = 5*x**2 - 4*x + 3. Let k be s(2). Suppose 2*z - 6*z = -2*c - 98, -k = -5*c. Is 19 a factor of z?
False
Let b(t) be the first derivative of 30*t**3 + t + 11. Is 7 a factor of b(1)?
True
Let t(a) = -a**3 - 4*a**2 + 3*a - 5. Let y = -10 - -5. Let n be t(y). Suppose -g + 25 = 2*k - 0*g, -n*g - 29 = -k. Is k a multiple of 6?
False
Let s = -515 + 912. Does 16 divide s?
False
Suppose 3*b = -0*b + 12. Suppose b*h = 3*h + 1. Suppose 10 - h = l. Is 9 a factor of l?
True
Let t(l) = 38*l**2 + 6*l - 71. Is t(6) a multiple of 8?
False
Let w be ((-82)/(-5))/((-4)/(-20)). Suppose 0 = -g - 4*l - w + 27, -2*g = l + 89. Let o = -27 - g. Does 6 divide o?
False
Let n be 2/4 + 200/16. Let u = n + -13. Let w(f) = f + 63. Is 21 a factor of w(u)?
True
Let n(z) be the second derivative of -z**5/20 - z**4/6 + z**3 + z**2 + 38*z. Suppose -i + 1 = 5. Does 5 divide n(i)?
True
Let v = 41 + -7. Suppose v = 2*y - 94. Is 6 a factor of y?
False
Let y be (-4 - -2) + 4*1. Suppose -y*s - 36 = -3*n - 2*n, 5*n - 33 = s. Suppose 3*a - n*a + 57 = 0. Is 8 a factor of a?
False
Suppose -3*z + 5 = -4. Let j(o) = 3*o**3 - 2*o**2 - 4*o + 3. Is 18 a factor of j(z)?
True
Suppose 0 = -66*t + 26*t + 5880. Is 21 a factor of t?
True
Let j = 2 - 2. Suppose j = z + z - 4*r - 34, 0 = 2*r + 2. Is (-264)/(-10) - 6/z a multiple of 21?
False
Is 57 a factor of 7/(-2)*(17 + -359)?
True
Suppose 4*m = -4*j + 996, j = -2*m + 295 + 206. Is m a multiple of 3?
True
Let k(a) = a**2 - 4*a - 8. Let f be k(6). Is 17 a factor of 5 - 230/(-1 - f)?
True
Let r(f) = 15*f - 375 + f**2 + 0*f**2 - 405 - 5*f + 751. Suppose -3*j - 13 = -2*j. Does 10 divide r(j)?
True
Suppose -4*b = -p + 131, 59 = p - 5*b - 73. Let u = 217 - p. Is u a multiple of 6?
True
Let j(r) be the third derivative of -r**5/20 + 25*r**4/12 - r**3 - 6*r**2. Does 6 divide j(16)?
False
Suppose 707 - 155 = c + w, 10 = 5*w. Is 12 a factor of (-2)/9 + 7/(315/c)?
True
Is 6 a factor of (176/(-66))/(1/(-90))?
True
Let m = 25 - 35. Let b = -6 + 2. Is 14 a factor of b/m - (-546)/10?
False
Suppose -2*v + 5*v + 3 = 0. Let u = 1 + v. Suppose u - 34 = -2*z. Is 17 a factor of z?
True
Suppose -4*t - 56 = 4*j, -j = 5*t + 33 + 29. Let y(v) be the second derivative of -v**4/12 - 7*v**3/3 + v. Is 12 a factor of y(t)?
True
Let q = -13 + 24. Let u(p) = 2*p**2 - q + 3*p + 11 - 2. Does 10 divide u(-4)?
False
Suppose 0 = 19*f + 31 - 2691. Does 7 divide f?
True
Let x(z) = z - 11. Let j be x(12). Is 11 a factor of j + 2 - ((-70)/2 - 3)?
False
Suppose 3*s - 2*t = 5, -4*s = -0*t - 4*t. Let q(a) be the second derivative of a**3 - 7*a**2/2 + 5*a. Is q(s) a multiple of 13?
False
Let k(h) = 3*h**2 - 7*h + 15. Is k(7) a multiple of 4?
False
Let d(l) = 286*l + 60. Is 27 a factor of d(3)?
True
Let t(w) = w**2 - 4*w + 15. Let u be t(-5). Suppose u = -0*i + i. Is i a multiple of 55?
False
Let p(v) = 13*v**2 + 19*v + 152. Is 24 a factor of p(-15)?
False
Let k(z) = 7*z + 9. Let h be k(-3). Let s = 0 - h. Is s even?
True
Suppose 2*w + 21 = -3*b - 0*b, 0 = w - 3*b + 24. Let x = w + 55. Is x a multiple of 5?
True
Suppose 6*c + 0 = -138. Let m = -7 - c. Is m a multiple of 8?
True
Suppose 12 - 24 = -3*n. Suppose 0*r - 2*r = -n. Suppose -3*g + 3*h = -27, h = r*g + 4*h - 33. Is 6 a factor of g?
True
Let u(r) = 4*r + 7. Is u(11) a multiple of 3?
True
Let z(w) = w + 10*w + 9 - w**2 - 5*w + 6. Is 8 a factor of z(7)?
True
Suppose -72 = -4*j - 24. Let d be 8/(-12) - (-111)/(-9). Is 4/(j/d - -1) a multiple of 13?
True
Let h = 229 + 657. Does 5 divide h?
False
Let d(r) be the first derivative of -15*r**2/2 + 13*r - 3. Does 21 divide d(-7)?
False
Let d = -4917 - -7275. Does 39 divide d?
False
Let o = 29 + -38. Suppose 0*x - m + 51 = 4*x, 4*m + 6 = -x. Let w = x + o. Is 5 a factor of w?
True
Suppose v = -36 + 852. Is v a multiple of 37?
False
Suppose -3*r = q - 113 + 41, 3*q = 3*r - 84. Suppose r = -5*w + 440. Suppose 0 = 4*j - 4*o - 295 + w, -4*j - 3*o = -184. Does 17 divide j?
False
Let k = 2 - -13. Let n(y) = -5 + 0*y**2 + y**2 - k*y + 16*y. Does 6 divide n(4)?
False
Let c be (-8)/6 + (-1)/(-3). Let f(h) = -h**3 + 12*h**2 - 19*h + 8. Let p(j) = -j + 1. Let v(g) = c*f(g) + 6*p(g). Is 5 a factor of v(11)?
True
Let g be 2*(-9)/12*16/(-12). Suppose -26 = -g*o + 78. Does 9 divide o?
False
Let h = 232 + -150. Let r = -32 + h. Is 9 a factor of r?
False
Suppose 4*s = 3*s + 4. Suppose 10 + 702 = s*m. Is 10 a factor of m?
False
Let o(k) = -2*k**3 + 2*k**2 - 6*k + 17. Let h be o(4). Let m = 303 + h. Does 25 divide m?
True
Suppose g = -4*h + 7*h - 7603, 0 = -3*h - 3*g + 7611. Does 65 divide h?
True
Suppose 3*x = 2*c + 17 + 7, 2*x + 10 = -3*c. Let m be ((-30)/9)/(4/c). Suppose -m*j + 237 = -2*j. Does 21 divide j?
False
Let h = -717 + 1187. Is 94 a factor of h?
True
Suppose -6721 = -4*q - c, 0 = -22*q + 20*q - c + 3363. Is q a multiple of 8?
False
Suppose -11*q + 12*q + 3*m = 3712, 15 = 3*m. Is q a multiple of 129?
False
Suppose p + 309 = 2*r, r + 3*p - 2*p = 159. Is 13 a factor of r?
True
Is 22 a factor of 28/12 + (-3)/9 - -702?
True
Suppose 4*p - 4*h = h + 3, -3*h + 3 = 0. Does 14 divide (-450)/10*(1 - p)?
False
Let g = -173 - -868. Is g a multiple of 51?
False
Suppose 85 + 40 = 5*q. Suppose 4*o + 2*k - 14 = 0, -q = -5*o + 5*k - 0. Let c(v) = v**3 + 2*v**2 + 5. Is c(o) a multiple of 27?
False
Suppose m - 2*m + 6 = 0. Let r = -132 - -126. Is 19 a factor of r/m - (-170)/2?
False
Suppose -q + 2 + 0 = 0. Let a be q/10 + (-3321)/(-45). Does 4 divide a/9 - 8/36?
True
Let u be 4/(-18) - (-440)/36. Suppose -u = v - 0. Is 4 a factor of 4*7 - v/(-3)?
True
Let g = 81 + -12. Suppose -g = -5*x + 4*x. Does 17 divide (1 - x)*3/(-6)?
True
Let s = 13 - 11. Suppose -4*i + 4*w + 86 = 14, -s*w + 18 = i. Is i a multiple of 6?
True
Suppose 0*v = 2*v - 4. Suppose v*x - 13 = -1. Suppose -7*f + x*f + 8 = 0. Does 4 divide f?
True
Suppose 4*n - 5*n + 315 = 0. Suppose 0 = 20*j - 25*j + n. Is j a multiple of 34?
False
Let x be (-4)/(-10) + 468/130. Suppose -3*b + x*b - 36 = 0. Is 9 a factor of b?
True
Let s(i) = i**3 - 5*i**2 + 5. Let b be s(5). Suppose -6 = 2*n - 4*q, b*n + q + 30 = -18. Let m(c) = c**2 + 8*c + 1. Is 10 a factor of m(n)?
True
Suppose 0 = g + 9*g - 2480. Does 8 divide g?
True
Suppose 2*q + 12 = 5*q. Suppose 2*k + 3*s - 57 - 45 = 0, q*k = 4