/30*60?
True
Suppose -5*f + 14 + 126 = 0. Is 8 a factor of f?
False
Let d(w) = 17*w**2 + w. Let f be d(-4). Suppose -2*u - 4*m + f = 0, -4*m = -7*m + 3. Is u a multiple of 35?
False
Suppose 2*o + 5 = -1. Let b(i) = 6*i**2 + 2*i - 6. Is 14 a factor of b(o)?
True
Let k(x) = 3*x + 1. Let f be k(1). Let v be f/(-3)*(-18)/(-4). Is 8/(-6)*135/v a multiple of 19?
False
Suppose h + 0*h = -5. Let z(q) = -4 + 4*q - 5*q - 2*q - 5*q. Is z(h) a multiple of 13?
False
Suppose 533 = 4*v - 8*o + 3*o, -3*v + 398 = -2*o. Is 25 a factor of v?
False
Let q(i) = i**3 - 4*i**2 + 2*i - 2. Let f(c) = -c**3 - 5*c**2 - 3*c + 9. Let d be f(-4). Is q(d) a multiple of 11?
True
Suppose -2*j - 2*j = -20. Suppose -j = r - 2*r. Is r a multiple of 3?
False
Suppose -2*y = -3*b - 6, -b + 5*b + 31 = -5*y. Is 11 a factor of (-50)/b*1*2?
False
Let o(i) = i**2 - 6*i. Let b be o(6). Suppose -3*d + 36 = 3*g, 4*d - 3*g + 5*g - 52 = b. Let h = -10 + d. Is h a multiple of 4?
True
Let r be 6/((-4)/(-2)) + 0. Suppose -3*d + 27 = r. Is d even?
True
Is 7 a factor of (-765)/(-10) + (-1)/(-2)?
True
Suppose -3*z = -z. Suppose z*h = h + 2. Does 5 divide (-2 - -15) + 1 + h?
False
Suppose 0 = -4*h - 5 - 7. Let q(k) = -3*k**3 - 3. Is 19 a factor of q(h)?
False
Let h be (((-6)/(-3))/2)/1. Let b be 7 - (2 - h)*2. Suppose -b*y - 5 = -c, 3*c = -4*y - 0*y + 15. Is 3 a factor of c?
False
Let u(g) be the second derivative of 7*g**5/20 - g**4/6 + g**3/6 - 2*g. Let q be u(1). Does 13 divide 2/3 - (-104)/q?
False
Let n be 2*((-35)/2)/5. Let d = n + 6. Is d/3 + 30/9 even?
False
Suppose -5*k - b + 26 = -2*b, -4*k - 3*b = -17. Suppose k*z + 2*x - 39 = -2, 39 = 3*z - 3*x. Is z a multiple of 4?
False
Suppose -g = 5*n + 22, -2*g = -5*n + 2 - 33. Let v(s) = 19*s + 1. Let f(r) = -10*r. Let w(l) = -5*f(l) - 2*v(l). Is 13 a factor of w(g)?
False
Let z(i) = 6*i**2. Let a be z(2). Suppose -5*u = 15, 3*j - j + 4*u = a. Is 6 a factor of j?
True
Suppose -2 = -k - 0*k. Suppose 27 = i + k*i - 3*j, 8 = 2*j. Does 13 divide i?
True
Suppose 0*g = 5*g + 20. Let q = -1 - g. Suppose 0 = q*h - 4 - 68. Is 12 a factor of h?
True
Let g(n) = 25*n**2 + 2*n + 1. Let t be g(-1). Suppose -3*f = f + t. Let z(r) = -5*r + 3. Does 14 divide z(f)?
False
Let y = -8 + 21. Does 13 divide y?
True
Let i be (-15)/6 + 1/2. Let v(k) = -2*k - 1. Let f be v(i). Suppose f*s = 6*s - 9. Is 3 a factor of s?
True
Let d(h) = -h + 9. Let n be d(7). Suppose 0 = n*f - 17 - 33. Suppose -w - 1 = -f. Is 12 a factor of w?
True
Let y(g) = g**3 - 13*g**2 - 13*g + 6. Is y(14) a multiple of 3?
False
Let l(s) = s**3 - 2*s + 218. Is l(0) a multiple of 48?
False
Let i be 18*1/((-6)/(-26)). Suppose 3*l = -9 + i. Is 14 a factor of l?
False
Let k(x) be the second derivative of x**4/6 - 4*x**3/3 - x**2/2 + 8*x. Is 21 a factor of k(8)?
True
Let z = 8 - -9. Suppose j + 3*t = z + 16, 0 = -5*j + 5*t + 265. Suppose -o + 0*o = -j. Is 24 a factor of o?
True
Suppose 0 = x - 4, -11 + 4 = z - 2*x. Let w = -57 - -40. Does 12 divide (-2 + z)/(1/w)?
False
Let w(g) = 2*g**3 + 2*g - 1. Let o = -4 - -8. Let y be w(o). Is 17 a factor of (y/3)/3 - -2?
True
Suppose 2*n - 16 = -t - 4*t, 3*t = 2*n. Suppose -49 = -3*q - 4*j, 3*q = -n*j + 7*j + 41. Is 4 a factor of q?
False
Suppose -13*y + 40 = -8*y. Suppose 5*d - 112 - y = 0. Does 14 divide d?
False
Suppose 5*p - 364 = 351. Is p a multiple of 11?
True
Suppose 731 - 171 = 4*s. Does 23 divide s?
False
Suppose 6*v - 126 = 12. Is v a multiple of 3?
False
Suppose 5*l - 2*j = 187, -172 = -4*l - 4*j - 0*j. Let i be 0 + 0/3 - -3. Suppose -2*c = -3*d + i*c + l, 3 = -c. Is 6 a factor of d?
False
Let t = -112 - -157. Is t a multiple of 10?
False
Suppose p - 9 = -2*p. Suppose -30 = p*s - 156. Does 14 divide s?
True
Let s = 516 + -286. Does 23 divide s?
True
Let l = 335 + -228. Does 9 divide l?
False
Let d be -1 + 1 - (-5 + 8). Let h = d - -9. Is 5*(h/(-10) + 2) a multiple of 4?
False
Let d(j) = -j**2 - j + 1. Let s be d(0). Suppose 0 = 3*o + s - 10. Is 12 a factor of (o/6)/(1/24)?
True
Suppose -5 = -3*a - 32. Is 2 a factor of (-4)/(8/a)*2?
False
Let j be 0 + (1 - 2) + 3. Suppose -j*p = 3*p - 30. Is p a multiple of 3?
True
Suppose -64 + 254 = -10*n. Suppose 7*q = 4*q - 171. Let w = n - q. Is 12 a factor of w?
False
Let u be -1*27/(-6)*-18. Let h = u - -168. Is 21 a factor of h?
False
Suppose -3*m = -m - 44. Let y(s) = -2*s**2 + 3*s. Let z be y(2). Let q = m - z. Is q a multiple of 12?
True
Let s = -12 - -42. Does 8 divide s?
False
Let u(h) = -8*h - 4. Let d be u(-5). Suppose -156 = -3*i - d. Is 18 a factor of i?
False
Let m = -20 - -46. Does 13 divide m?
True
Let n = 12 + -14. Let m(x) = -11*x. Is m(n) a multiple of 11?
True
Let r(u) = -u - 5. Let g be r(-8). Suppose 12 = g*x - 9. Does 2 divide x?
False
Suppose -2*n + 3*g + 31 = 0, -5*n + 88 = 3*g - 7*g. Is n a multiple of 6?
False
Let r(b) = -b - 1. Let w(x) = -1. Let k(j) = r(j) + 5*w(j). Let o be k(-8). Suppose o*a = c - 19, 4*c - 5*a - 33 = 40. Does 17 divide c?
True
Let l be (-26)/(-12) + 3/(-18). Suppose -l*y = 41 - 101. Does 10 divide y?
True
Let d = 4 - 11. Let o = d - -5. Let u(w) = -w**3. Does 3 divide u(o)?
False
Let z be -3 + (2 - -42) - 2. Suppose z = -x + 2*x - 2*r, r - 1 = 0. Is 17 a factor of x?
False
Suppose -14 = -2*c - 4*l, -3 = 2*c + 2*l - 13. Suppose 0 = -3*i - c*k + 9, -4*i - 5*k + 4 = -3. Is i a multiple of 5?
False
Suppose -31 = 5*k + 9. Is 5 a factor of ((-14)/(-3))/(k/(-12))?
False
Is 0 + 0 - (-69 - 0) a multiple of 34?
False
Let v(d) = d - 8. Let h be v(12). Is h - (-3)/(3/26) a multiple of 6?
True
Is 3*(-26)/(-6) - 4 a multiple of 2?
False
Let n = 208 - 46. Does 27 divide n?
True
Suppose 4*a = -0*a + 8. Suppose a*p - 17 = 3*f, 0*f + 59 = 4*p - f. Is p a multiple of 8?
True
Let i = -3 - -4. Let g = 8 + i. Is 4 a factor of g?
False
Suppose -4*g = v - 32, -3*v + 2*g - 3*g = -140. Let h = v + -16. Suppose 5*d = h + 68. Does 7 divide d?
False
Is 160/12 - 2/6 a multiple of 13?
True
Suppose 2*i + i = 5*m - 247, -3*i - 97 = -2*m. Is 25 a factor of m?
True
Let h be (31/4)/(8/32). Let t = h + 0. Is 31 a factor of t?
True
Let y = -5 + 5. Suppose 0 = x - y*x - 496. Is 6 a factor of 4/(-10) - x/(-40)?
True
Suppose -5*o + 64 = 4. Does 7 divide o?
False
Let z(t) = -t**2 - 6*t - 6. Let s be z(-5). Let n = 5 + s. Is n even?
True
Let k(d) = d**3 + 13*d**2 - 16*d - 12. Is 8 a factor of k(-14)?
True
Let d = -252 + 402. Suppose -o + 2*o + 22 = p, 0 = -5*p - 5*o + d. Is p a multiple of 13?
True
Let q(y) = 27*y + 1. Let k be q(1). Is 15 a factor of ((-2)/3)/(k/(-2142))?
False
Suppose 3*c + 3*m = -2*m + 12, 0 = c + 4*m - 4. Suppose 0*y - c*i = -5*y + 48, 2*y - i - 18 = 0. Is y a multiple of 4?
True
Let o(l) = l**2 + 14*l - 25. Is 3 a factor of o(-16)?
False
Let g = -21 - -42. Let d be (648/2)/((-9)/(-6)). Does 5 divide d/g + (-2)/7?
True
Let w = 25 + -56. Let o = w - -6. Is ((-8)/5)/(10/o) a multiple of 2?
True
Suppose -8*v = -13*v + 50. Does 4 divide v?
False
Let s = 86 + -137. Let o = s - -89. Does 12 divide o?
False
Let l(u) = u**3 + u**2 + u + 26. Let z be l(0). Suppose 2*h - 3*t - 26 = 71, -h + z = 3*t. Does 19 divide h?
False
Let f(g) = -8*g + 5 + g + 4*g. Is 14 a factor of f(-4)?
False
Let x(s) = -32*s**3 - s**2 + 1. Is 8 a factor of x(-1)?
True
Suppose -h + 10 = -2*h + 3*g, h - 25 = -4*g. Does 5 divide h?
True
Let z(w) = -w**3 + 87. Is z(0) a multiple of 11?
False
Suppose -4*s = 2*r + 10, 0 = -2*s + 2*r - 5*r - 7. Let t(z) = -2*z + 2. Is 3 a factor of t(s)?
True
Suppose -7*s = -3*s + 5*r - 80, -20 = -s + 4*r. Is s a multiple of 10?
True
Let p = 6 - -15. Is 21 a factor of p?
True
Let k(w) = 0*w**2 + 1 + w**2 + 1 - 4*w + 1. Let y be k(4). Suppose m - 180 = -y*m. Does 14 divide m?
False
Let r(d) = 56*d**3 - 2*d**2 + 2*d - 1. Does 39 divide r(1)?
False
Let s(p) = 6*p + 22. Does 5 divide s(8)?
True
Does 11 divide 680/35 + (-6)/14?
False
Let o(h) be the third derivative of -h**6/120 + 11*h**5/60 - 7*h**4/24 - 5*h**3/6 + 2*h**2. Is o(9) a multiple of 28?
False
Suppose 124 + 53 = 3*h. Does 12 divide h?
False
Let a(r) = r + 5. Is 9 a factor of a(7)?
False
Suppose -4*a - 3*b - 1 = -2, 4*a = 5*b + 41. Let z(g) = g**3 - 6*g**2 + 4*g + 1. Let h be z(a). Is 3/h - (-72)/10 a multiple of 7?
True
Suppose 3*x - 3 = -h, -h = 4*x - 5*h - 20. Does 8 divide 18 + 4/x + -4?
True
Let g(h) = h**2 - 10*h - 4. Is 28 a factor 