f (300/4)/(3/6)?
False
Let s(n) = 5*n - 21. Is s(9) a multiple of 22?
False
Suppose -421 = -2*f + 257. Is f/15 + (-4)/(-10) a multiple of 13?
False
Let b(z) = -11*z**2 + 35*z + 10. Let i(n) = -7*n**2 + 23*n + 7. Let m(w) = 5*b(w) - 8*i(w). Let g be m(10). Does 3 divide (g/1)/(10/15)?
True
Suppose 0 = 5*p - 339 + 99. Does 14 divide p?
False
Let s(j) = 2*j**2 + 11*j. Is s(-9) a multiple of 23?
False
Let x = 101 + -5. Does 6 divide x?
True
Let w(s) = s**3 - 5*s**2 - 6*s + 4. Let g be w(6). Suppose 10 = 2*p - g. Is 2 a factor of p?
False
Let b(m) = m**2 - 5*m + 1. Let q be b(5). Is (8 - 1)/(q/1) a multiple of 4?
False
Let w be (14/3)/((-12)/(-90)). Is 10/(-3)*(-63)/w a multiple of 6?
True
Is (-20)/(-16)*(-1 + 25) a multiple of 10?
True
Does 14 divide (-2)/(8/(-26))*12?
False
Suppose -b + 0 + 3 = 0. Let y(l) = -2 + l - 1 - 2*l + b*l. Is y(7) a multiple of 3?
False
Let o(s) be the first derivative of 2 + 2*s + 3/2*s**2. Does 10 divide o(4)?
False
Let f = 72 - 47. Does 5 divide f?
True
Suppose 2*t - 2 = 2*z + 4, 0 = 4*t + 4*z - 4. Suppose -28 + 16 = -d. Let k = d + t. Does 9 divide k?
False
Suppose t + t - 72 = 0. Suppose 3 + t = 3*x. Is x a multiple of 4?
False
Let j = 9 - 7. Let i be 12*(j + 15/(-12)). Suppose 2 = -p + i. Does 3 divide p?
False
Let t(u) = -2 + 9*u**2 - 7*u**2 + 4*u + 0*u**2. Is 14 a factor of t(-4)?
True
Suppose -25 = -2*f + 27. Is f a multiple of 13?
True
Suppose 52 = -4*g + 4*m, -4*m + 40 = -2*g + 4. Let j = g + 11. Suppose j*c - 12 = 12. Is 8 a factor of c?
True
Let t be -19*(1 - (-2)/(-1)). Suppose t = -4*x + 91. Suppose -x = 3*i - 48. Is i a multiple of 5?
True
Let a(i) = i**2 - 2*i + 2. Does 9 divide a(6)?
False
Suppose -2*r - 5 = -5*g, 5 + 7 = -g + 3*r. Suppose 2*m = w + g - 26, -2*m = 2*w - 70. Suppose -4*c + 81 = 4*x - w, 5*x = -4*c + 114. Is 13 a factor of c?
True
Let i(f) = f + 5. Is i(17) a multiple of 5?
False
Let v = -19 - -8. Let r(o) = -4*o**2 + 5*o. Let h be r(4). Let z = v - h. Is 18 a factor of z?
False
Let k = 38 - -10. Is 16 a factor of k?
True
Let s = 150 + -38. Does 28 divide s?
True
Let b(n) = -5*n**3 + n**2 + n + 1. Suppose -5*r - d = -4*d - 4, -5*r - 3*d = -16. Let s = r + -3. Is b(s) a multiple of 3?
True
Let b = 17 - 3. Does 5 divide b?
False
Let q(b) = b + 1. Let v(o) = 36*o + 28. Let d(t) = 56*q(t) - 2*v(t). Let h be d(1). Let n = h + 37. Is n a multiple of 12?
False
Let g be 1 + 1*(-18)/(-2). Let n be 376 - (3 + 2 + -4). Suppose g*h - n = 5*h. Does 21 divide h?
False
Is 5 - 2/3*-6 a multiple of 3?
True
Suppose 2*q - 3 = 3*q. Is ((-36)/8)/(q/12) a multiple of 6?
True
Suppose 105 = 4*q + 9. Does 24 divide q?
True
Suppose 26 = 3*d - 13. Let c = d + -2. Is 3 a factor of c?
False
Let m = 145 + -83. Suppose 2*q = 2*d - m, 1 + 161 = 5*d + 2*q. Is d a multiple of 11?
False
Let w(i) = -15*i - 1. Let v be w(-6). Let z = -38 + v. Does 17 divide z?
True
Suppose -r - 13 = 40. Let a = -38 - r. Is a a multiple of 4?
False
Let g(c) = -c**2 - 7*c - 6. Let n be g(-5). Suppose 0 = 2*h + 8, -4*h - 219 = -n*x + 49. Suppose l - s = -l + 47, 3*l + s - x = 0. Does 11 divide l?
True
Let g(k) = -2*k + 3. Is g(-10) a multiple of 4?
False
Let n(x) = -x**2 - 12*x + 17. Let t be n(-13). Let r(k) = 1. Let b(c) = -c**3 + 3*c**2 + 2*c + 1. Let h(p) = -b(p) - r(p). Is h(t) a multiple of 2?
True
Let m(g) = g**2 - 8*g + 8. Let q be m(6). Is 6/q*22/(-3) a multiple of 11?
True
Let o(u) = u**2 + 3*u - 5. Let r be o(-5). Let j(q) = q**2 + 0 - 2*q - 6 + 4. Is 12 a factor of j(r)?
False
Is 10 a factor of 1/(-3) + 217/21?
True
Does 3 divide (-20)/(-90) + 1/(9/268)?
True
Let w(a) be the second derivative of 13*a**4/6 + a**3/6 - a**2/2 + 2*a. Does 14 divide w(1)?
False
Let b be (2 - 1)*(-1 + -23). Let w = 42 + b. Is 9 a factor of w?
True
Suppose 2*g - 6 = -5*m, 0 = 2*m + 5*g - 3*g. Suppose -5*b - 2*k = -103, 3*b + m*k - 61 = -0. Does 11 divide b?
False
Suppose -5*z - w + 1057 = 0, -7*w + 200 = z - 3*w. Let h = z + -135. Suppose 17 = -4*s + h. Is 15 a factor of s?
True
Let g be (3 - 2)*(1 + -1). Suppose g = v - 0 + 1. Is 2*v + 18 + -2 a multiple of 5?
False
Suppose 3*k - 75 = -2*k. Is 15 a factor of k?
True
Let h = 2 + 1. Suppose 6*j = 2*q + h*j - 102, 3*j = -6. Suppose i = 3*i - q. Does 9 divide i?
False
Let k = -72 + 102. Does 9 divide k?
False
Let f(t) = t**3 + 12*t**2 + 8*t - 12. Let l be 110/5*1/(-2). Is 21 a factor of f(l)?
True
Let l(s) be the first derivative of -15*s**2/2 - 18*s - 3. Let y(u) = u + 1. Let g(x) = l(x) + 18*y(x). Is 11 a factor of g(6)?
False
Suppose p - 55 = -4*p. Let l = 17 - 7. Let a = l + p. Does 12 divide a?
False
Suppose 10*g - 40 = 9*g. Is 17 a factor of g?
False
Let d be 1*(-3 + 2 + 2). Is 8 a factor of ((-17)/3 + d)*-6?
False
Let q = -6 - -36. Suppose -2*l + q = -0*l. Does 15 divide l?
True
Let l(b) = 48*b + 4. Let g be l(-3). Let y = -67 - g. Is y a multiple of 21?
False
Suppose 19 = -2*f + 99. Is f a multiple of 10?
True
Let z(c) be the first derivative of -c**3/3 + 7*c**2/2 - 2*c + 1. Is z(6) a multiple of 4?
True
Let m(o) = -5*o**2 - 2*o + 25. Let v(w) = -14*w**2 - 5*w + 76. Let g(j) = -11*m(j) + 4*v(j). Is g(0) a multiple of 13?
False
Let q(g) = -2*g - 2. Let z be q(-3). Let r be z*(2 + 0 + -1). Suppose -r*y = y - 55. Is y a multiple of 11?
True
Let d be (3 + -1 - 0)/1. Suppose 6*c - 228 = d*c. Is c a multiple of 19?
True
Let j = -9 - -13. Let v = 3 + -3. Suppose v = f - 16 + j. Is 5 a factor of f?
False
Let b = -10 - -14. Does 5 divide (84/(-15))/b*-5?
False
Let x(n) = -n**3 + 7. Let c = -15 + 15. Is x(c) a multiple of 4?
False
Is (15/(-6))/((-6)/12) a multiple of 2?
False
Let r be 8/16 + 3/2. Suppose 0 = -3*m - 7 - r, 4*s + 2*m = 30. Is 3 a factor of s?
True
Suppose -l = l. Suppose -332 = -l*f - 3*f - k, -2*k = -4. Suppose 2*u - f = -3*u. Is u a multiple of 13?
False
Let i = 1 - -10. Let r = i - 6. Suppose 28 = r*a - 12. Does 4 divide a?
True
Suppose -s = -3*s - 4*i + 440, -2*i + 448 = 2*s. Is 50 a factor of s?
False
Let p(s) = -s - 13. Let w be p(-9). Let l be (w/2)/2*9. Let z = l + 27. Is z a multiple of 18?
True
Let n(q) = -7*q**3 - 4*q**2 - 3*q - 1. Let z be 21/(-9) - (-3)/9. Is n(z) a multiple of 22?
False
Let x(v) = -3*v**2 - 5*v + 1. Let t(k) = -4*k**2 - 6*k. Let w(m) = -4*t(m) + 5*x(m). Is w(6) a multiple of 8?
False
Suppose 6*i - 5*p - 142 = 3*i, -4*p - 20 = 0. Does 14 divide i?
False
Let w = 0 - -1. Suppose -3*l + 8 + w = 0. Does 11 divide l/(-3)*3*-9?
False
Is 28 a factor of (14/8)/((-2)/(-64))?
True
Let k be (14/35)/((-1)/(-10)). Suppose 2*c + 0 - k = 0. Suppose c*g = 7*g - 25. Is g a multiple of 5?
True
Let k be 4/(-10)*(-10)/1. Suppose -3*a = -g + 13, -32 = 2*g - k*g + 4*a. Does 11 divide g?
True
Let p(z) = -z**3 - 3*z - 1. Let w(l) = -l**3 + 13*l**2 - 12*l - 3. Let d be w(12). Does 14 divide p(d)?
False
Suppose -2*h - w = -16 - 14, -5*h + 66 = -2*w. Suppose h + 2 = l. Suppose 0*v - 27 = -v - 5*c, -4*c - l = 0. Does 13 divide v?
False
Let m be 104/28 - (-4)/14. Let d = m + 6. Suppose -3*u + d = -u. Does 5 divide u?
True
Let t be 7 + (-1 - -1) + 1. Suppose t = 3*h - h. Does 2 divide h?
True
Let y = -20 - -34. Is (-240)/(-7) + (-4)/y a multiple of 11?
False
Is 17 a factor of 95/3 - (-56)/42?
False
Suppose -x = -3*j - 29, -2*j - 23 = j + 2*x. Let y be (0 - 5)/(2/(-132)). Is 24 a factor of (y/j)/(6/(-9))?
False
Let m be (-1 - -6)*7/5. Let o = -4 + m. Suppose 135 = o*l - r, 0*r = 5*l - r - 225. Is 15 a factor of l?
True
Suppose 4*g - 31 - 25 = 0. Is 9 a factor of g?
False
Let k be (1 - 0)*4 - 0. Suppose -w - 70 = -i, -2*w = -k*i - 5*w + 266. Is 17 a factor of i?
True
Suppose 0 = -3*k - 2*p + 130, -3*k = -5*p - 26 - 69. Suppose 2*o + 2*o = k. Does 6 divide 6/9*3 + o?
True
Suppose 3*g + 4*h - 20 = 0, -h + 25 = -g + 4*h. Suppose 5*u - 2*u - 120 = g. Is u a multiple of 13?
False
Let f(r) be the second derivative of 5*r**4/6 - r**3/6 - r**2/2 - 4*r. Suppose -5*b = -4*s - 7, 4*s - s = -4*b - 13. Is f(b) a multiple of 10?
True
Suppose i - d - 42 = 0, -2*i - 2*d + 80 = -0*i. Is 19 a factor of i?
False
Let m be 90/(-21) - (-4)/14. Let z(w) = -w**3 - 4*w**2 + 4. Is z(m) a multiple of 4?
True
Let j(h) = h - 4. Let i be j(8). Suppose 0 = 2*l + 2*l + 5*r - 20, -i*l - 2*r + 32 = 0. Is l a multiple of 4?
False
Let k(y) = 7*y**3 - 5*y**2 + 10*y + 6. Let t(s) = s**3 + s + 1. Let m(r) = k(r) - 6*t(r). Let h be 