-30 = j*t - 5*t. Is t a multiple of 5?
True
Suppose 0 = 5*h - 10, -5*j + 3*j + 2*h = 0. Is 9 a factor of (12/4)/(j/10)?
False
Let i(p) = 17*p**2 + 2*p - 1. Let c be i(1). Is (-66)/(-2) + c/6 a multiple of 12?
True
Let i(t) = t**2 - 2*t - 5. Let g(q) = -q + 11. Let s be g(6). Does 4 divide i(s)?
False
Let l = 9 + -6. Suppose l*q - 2 + 33 = -5*x, -3*q + 19 = -5*x. Let u(g) = 6*g**2 - g + 1. Is u(q) a multiple of 9?
True
Let v = 145 + -66. Does 24 divide v?
False
Suppose 0*w + 5*u - 64 = -2*w, 3*w - 87 = -3*u. Suppose -2*t + w = 2*g - 15, -5*t = 2*g - 108. Does 22 divide t?
True
Let a(z) = 2*z**2 + 5*z + 3. Let m be a(-3). Let q(c) = 2*c - 8. Let n be q(m). Does 6 divide 10 - 2/(n/2)?
False
Is (-20)/((-3)/(18/2)) a multiple of 20?
True
Let y(t) = -t**2 - 7*t + 3. Let k be y(-8). Let c(a) = a**2 - 2*a - 5. Is 10 a factor of c(k)?
True
Let b = 215 - 126. Suppose 3*r = -r - c + b, -4*c + 20 = 0. Does 6 divide r?
False
Let d(l) = l**3 - 4*l**2 + 3*l - 4. Is d(5) a multiple of 6?
True
Let m(p) = -18*p - 42. Is m(-7) a multiple of 14?
True
Let q = 5 + -3. Suppose -k + 2*r = -36, -r = -q*k + k + 40. Does 19 divide k?
False
Let n(b) = 5*b**2 + 2*b + 3. Does 13 divide n(6)?
True
Suppose 5*n - 7 = 2*s + 255, -170 = -3*n - 2*s. Is 9 a factor of n?
True
Let p be (-12)/(-16) - (-3)/12. Suppose 0 = 3*f - p - 62. Suppose 4*h = h + f. Is 7 a factor of h?
True
Suppose -3*d - 2*d = -15. Suppose 0 = -5*g - q + 140, -d*g + 0*q = -q - 84. Is 20 a factor of g?
False
Let v be (3 + -13)*(-3)/6. Suppose 0 = -4*l + 7*l - 3*k, -3*k + v = -2*l. Does 3 divide l?
False
Let z(g) = g + 3 + 10 + 5. Is z(-6) a multiple of 3?
True
Suppose 0 = -2*i + 12 + 88. Is 25 a factor of i?
True
Is 9 a factor of 4/(-6) + 280/15?
True
Suppose 57 = v - 3*d, -v + 29 + 23 = -2*d. Is v a multiple of 7?
True
Let d be 17/5 - 8/20. Suppose -d*i = 3*o - 9, -2*i + i = -1. Suppose -4 - 36 = -o*x. Is 17 a factor of x?
False
Let z = -4 - -12. Is 4 a factor of z?
True
Suppose -6*s + 8 = -2*s. Does 5 divide (5 - 4)/(s/30)?
True
Is 1/6 - 265/(-30) even?
False
Let y = -14 + 11. Let i(k) = 3*k**2 + 3*k + 4. Does 22 divide i(y)?
True
Suppose 4*s + s - 220 = 0. Is s a multiple of 4?
True
Let f(x) = 3*x + 9. Does 17 divide f(10)?
False
Let o = 4 + -2. Let x be (o/(-3))/((-5)/15). Suppose -5*u = z - 92, -5*u + 76 = -x*z - 25. Is u a multiple of 12?
False
Let s(q) = -6*q**3 - 4*q**2 - 3*q - 1. Let m(p) = p**3. Let n(f) = 5*m(f) + s(f). Is n(-6) a multiple of 25?
False
Suppose -i - 3*i + t + 87 = 0, 5*i - 106 = 4*t. Let x = 2 + 10. Let u = i - x. Does 7 divide u?
False
Suppose 5*b + l = -4, 0*l = 2*b - 2*l - 8. Suppose -u + c + 17 = -b*c, u = -3*c + 9. Is 5 a factor of u?
True
Let u(q) = -q**2 - 7*q - 6. Let g be u(-6). Suppose -9*i - 5*p + 27 = -5*i, 4*p - 15 = -i. Suppose 5*l - 22 = -i*w, g*l = -w + 5*l + 14. Does 4 divide w?
False
Suppose 3*n - l + 96 = 0, 14 = 2*n + 3*l + 78. Let p be n/(-24)*(-6)/(-4). Suppose b + 144 = 5*b - p*w, 5*b - 5*w - 190 = 0. Does 17 divide b?
True
Let q(i) = -3*i - 9. Suppose -2*w - v = -3*v + 24, w - 5*v = -4. Is 15 a factor of q(w)?
False
Let m = 26 + -17. Is m a multiple of 9?
True
Let n be (2/(-3))/((-2)/9). Let j = n - 9. Is 6 a factor of (-58)/j + (-4)/6?
False
Let n(v) be the first derivative of 4*v**2 - v - 1. Let y(f) = 9*f - 2. Let w(h) = -6*n(h) + 5*y(h). Is 7 a factor of w(-4)?
False
Is 11 a factor of (-44 + -5)*(-2)/7?
False
Let m(w) be the third derivative of -1/120*w**6 - 2*w**2 + 0 - 1/20*w**5 - 2/3*w**3 - 1/8*w**4 + 0*w. Is 13 a factor of m(-4)?
False
Suppose -2*v - 12 = 2*v, -3*m - v = -96. Let z(g) = -156*g + 3. Let k be z(-1). Is 2/11 + k/m a multiple of 2?
False
Let l be (8/10)/((-4)/(-10)). Suppose -10 = -3*k + o, k + 5*o - 32 + l = 0. Suppose 0*c - c = -k*q + 6, 0 = -3*c + 5*q + 22. Is c a multiple of 6?
False
Let x(j) = -j + 12. Let q be x(9). Suppose -q*i = -2*c - 16, -4*i - 5*c + c + 48 = 0. Let p = 69 - i. Does 16 divide p?
False
Let t = 95 + -19. Is t a multiple of 7?
False
Let k(d) be the first derivative of -d - 3 - 27/2*d**2. Is 13 a factor of k(-1)?
True
Does 14 divide (-490)/(-25) - 3/5?
False
Suppose o = -o - 12. Let p be (2/o)/((-2)/36). Is p/(-21) + (-1308)/(-21) a multiple of 18?
False
Let y be -1 - (3 + -2 - -3). Does 15 divide 0 + (y*3)/(-1)?
True
Suppose 69 = -12*h + 309. Is 20 a factor of h?
True
Let i(z) be the third derivative of z**4/3 - z**3/3 + 3*z**2. Is i(2) a multiple of 7?
True
Does 9 divide (561/34)/(3/4)?
False
Suppose 6 = 2*k + 2. Suppose -k = 4*c - 54. Is 7 a factor of c?
False
Let w(j) = -j + 5. Let m be w(-6). Let k(v) = v**2 - 9*v - 7. Is k(m) a multiple of 12?
False
Suppose -69 = -2*v - 3*i, 0 = -2*v - 0*i + 3*i + 87. Is v a multiple of 39?
True
Is (-9414)/(-45) + 3/30*-2 a multiple of 19?
True
Let n = -6 - -8. Suppose n*v + 9 = 5*v. Is 15 a factor of 65/v - (-5)/15?
False
Let m = -137 - -267. Does 14 divide m?
False
Let m = 3 + 5. Is m even?
True
Suppose 0 = 2*q + 4*w - 16, 2*w - 44 = -4*q - 6. Does 12 divide 185/q - 3/(-2)?
False
Let o(t) = -t + 9. Let q be o(6). Suppose 4*r + 388 = -m - 3*m, -q*m = -3. Let f = -70 - r. Is f a multiple of 14?
True
Suppose -c + 2*c - 2 = 0, 1 = -3*n + 5*c. Suppose 2*b + 2*r = -3*b - 8, -n*r = -2*b + 12. Suppose b = 2*u - 3 - 19. Is u a multiple of 8?
False
Let v = 6 - 6. Suppose v*h + 32 = -2*h. Let y = h - -27. Is y a multiple of 3?
False
Let v = 1 - -30. Suppose 0 = 3*o - 0*o - l - 53, 3*l - v = -o. Suppose -q + o + 8 = 0. Does 12 divide q?
False
Is ((-12)/(-20))/(2/30) a multiple of 3?
True
Let v be 7/3 + (-8)/24. Suppose v*f = f. Is (f/(-2) + -1)*-34 a multiple of 17?
True
Suppose -2*c = 5*a + c - 2, 3*c - 1 = -4*a. Let i be (-3)/3*a - -172. Is 2 a factor of i/33 - 2/11?
False
Let d = -152 - -325. Is 13 a factor of d?
False
Let c(i) be the second derivative of 13*i**4/12 + i**3/6 - 7*i. Does 10 divide c(-2)?
True
Is 1500/34 + 4/(-34) a multiple of 11?
True
Let z = 30 + -5. Let m = -15 + z. Is m a multiple of 5?
True
Does 9 divide (-97)/(-1) + (-8 - -2)?
False
Let k(j) be the second derivative of 19/6*j**3 - 3/2*j**2 + 0 + 4*j. Is k(3) a multiple of 22?
False
Let r(g) = -g**2 - g + 3. Let w be r(0). Let l(i) = 13*i**2 - i - 4. Let y be l(w). Suppose 0*v - q - y = -5*v, 0 = v - 4*q - 22. Is 19 a factor of v?
False
Let i = 1 - -9. Suppose 225 = -5*g + i. Let v = -29 - g. Is 14 a factor of v?
True
Let l(y) = 2*y**2 - 11*y - 13. Let x be l(9). Suppose x = 5*s - 4*s + 3*g, -2*s = -2*g - 116. Is 12 a factor of 9/(-1)*s/(-21)?
True
Let o(g) be the second derivative of -2*g**3 + g**2 - 2*g. Is 13 a factor of o(-2)?
True
Suppose 2*l = -3 - 1, 3*l = -4*v + 10. Suppose 0 = -s + v*s. Does 5 divide 10/(s - (-1 + -1))?
True
Is -1*(-340 - -3 - -1) a multiple of 14?
True
Let y be (-8 - -2)/(3/(-2)). Suppose -2*s = i - 6*s - 33, 0 = 2*i - y*s - 46. Does 13 divide i?
True
Let w(h) = -10*h**3 + h + 1. Let k(g) = -g**2 - 3*g - 1. Let a be k(-3). Let x be w(a). Is (-4)/x + 426/15 a multiple of 14?
True
Let o = 3 + -1. Suppose 5*x - d - 40 = 0, x - 2*x = o*d - 8. Suppose -3*y + x = -25. Does 11 divide y?
True
Suppose 9*a + 1 = 28. Is a a multiple of 2?
False
Let m be (-2 - -4)/(2/(-3)). Let t be m/(-6) - (-119)/2. Suppose -45 = -4*v - 5*h, -3*v + 2*h = -3*h - t. Is v a multiple of 15?
True
Suppose 0 = v - 5. Suppose 4*q - 5*m - 10 = 0, v*q + 5*m = q - 10. Suppose -k - 12 = 4*g, -g = -q*g + 5. Is 8 a factor of k?
True
Suppose c + 16 = -3*k + 43, 2*c + 4*k = 56. Does 17 divide c?
False
Let d = -1 - 6. Let r = 47 + d. Does 10 divide r?
True
Suppose -547 = -5*g - 32. Is 14 a factor of g?
False
Suppose -5*w + 5 = -2*p - 55, -5*w + 85 = 3*p. Does 14 divide w?
True
Let c = -2 + 9. Is 2 a factor of c?
False
Let a(r) = r**3 + 6*r**2 - 11*r - 10. Let d be a(-7). Let b = -13 + d. Let q(v) = -v**3 + 5*v**2 + 3*v - 5. Is q(b) a multiple of 9?
False
Does 16 divide (-16)/(-3)*(14 - 3 - -1)?
True
Let r(o) = o**2 + 2*o - 5. Let n be r(-4). Suppose -g + n = -10. Is g a multiple of 9?
False
Suppose 0*l = -l + 21. Let c = l + -9. Is 12 a factor of c?
True
Suppose -4*n - 3*d + 3 = 0, 0 = -4*n - d - d + 2. Let o be -2 + (116 - (n + 2)). Suppose k - 5*k = -o. Is k a multiple of 14?
True
Let o = -148 - -268. Is 20 a factor of o?
True
Let z be (2 + -6 - -2) + -1. Let y = z - -1. Does 8 divide ((-44)/10)/(y/10)?
False
Suppose 3*d - 