f f?
True
Is ((-100)/10)/((-2)/8) a multiple of 10?
True
Does 32 divide (-27 - -24)/(6/(-320))?
True
Let h(n) = 0 + 2 - 3*n**2 + 2*n**2 + 5*n + 4. Does 2 divide h(5)?
True
Let k = -25 + 51. Suppose 3*d - k = d. Is d a multiple of 12?
False
Suppose 0*j = -4*j. Let l be (-12)/(-3) - (j - -2). Suppose l*q - 72 = -12. Is q a multiple of 15?
True
Let p(g) = 4*g**2 - 1. Let r be p(1). Suppose r*y = y. Suppose -3*i + 6*i - 108 = y. Is 13 a factor of i?
False
Suppose -2*f = -6, -3*q + 5*f + 445 + 65 = 0. Is 46 a factor of q?
False
Let c(d) = d**3 - 7*d + 2 + 3*d**2 + 3*d**2 + 11*d. Is c(-4) a multiple of 9?
True
Let a(y) = 3*y - 2*y + y. Let v be a(-4). Is 9 a factor of (-2 - (-1 + 1))*v?
False
Let n(r) = 38*r**2 - 3*r - 3. Is n(-1) a multiple of 10?
False
Let q(i) = -i + 2. Let k(s) = -1. Let z(l) = -k(l) + q(l). Suppose 3*r - 3 + 21 = 0. Is 5 a factor of z(r)?
False
Let y(r) = 53*r**2 + r + 1. Let p be y(-1). Let q = p - 74. Let b = q - -32. Is 4 a factor of b?
False
Let h(s) = s**3 + 10*s**2 + 8*s - 13. Let l be h(-9). Is ((-14)/21)/(l/246) a multiple of 12?
False
Let b(l) = -34*l + 6. Let k be b(-6). Suppose -c = -6*c + k. Is 21 a factor of c?
True
Suppose 0 = -0*k + 2*k - 28. Suppose 19 + k = 3*o. Is o a multiple of 11?
True
Does 21 divide 18*(-1 - 10/(-3))?
True
Suppose -28 - 68 = -4*k. Does 8 divide k?
True
Suppose -3*k + 4*k - 42 = 0. Suppose -5*h + k = -38. Does 4 divide h?
True
Let j(m) = -27*m - 24. Does 11 divide j(-6)?
False
Let z(r) = 8*r**2 + 2*r. Let v be (12/15)/((-6)/(-15)). Is 13 a factor of z(v)?
False
Let w be (-15)/10 + 159/(-2). Let z = 124 + w. Does 19 divide z?
False
Let k(i) = 6*i. Let n be k(1). Does 7 divide ((-8)/10)/(n/(-150))?
False
Suppose 3*t - 74 = -4*n + 354, n - 130 = 5*t. Let v(j) = j**3 + 6*j**2 + j + 6. Let r be v(-6). Suppose r = 3*f - n - 7. Does 13 divide f?
True
Suppose -2*o - 34 = -160. Is 6 a factor of o?
False
Suppose -o + 3*s = -47 + 17, 3*s = 3*o - 78. Is 8 a factor of o?
True
Let i be -2 + (-3 - (-1 - 4)). Let c be 23 - (2 + i/3). Let a = c + -1. Is 10 a factor of a?
True
Let h be ((-310)/15)/(2/3). Let v = h - -43. Is v a multiple of 12?
True
Let p(i) = -17*i - 1. Is 11 a factor of p(-2)?
True
Suppose 2*x = 7*x - 85. Let d = -10 + x. Is d a multiple of 5?
False
Suppose -2*i = y - 7 - 10, -i = -5. Suppose r - y = 27. Does 12 divide r?
False
Let b(i) = -i**2 - 10*i + 2. Let l be b(-10). Suppose -l*s + 0*s + 48 = 0. Is 14 a factor of s?
False
Let s = 5 - 5. Let o be s*2*3/(-12). Suppose o = -2*z + 4*h + 34, -5*z = 3*h - 47 + 1. Does 8 divide z?
False
Let n = -3 + 6. Is n a multiple of 2?
False
Suppose 2*n + 10 = 0, -4*x + 2*n + n - 17 = 0. Is (4 - 23/4)*x a multiple of 7?
True
Suppose -23 = -2*n - 9. Let x(b) = b**2 - b + 2. Let t be x(-3). Let g = t - n. Is g a multiple of 3?
False
Suppose r - 5 = -2. Suppose -r*x + 27 + 6 = 3*t, 5*t = 2*x + 20. Is 15/10*212/t a multiple of 18?
False
Suppose 0 = -3*j + 139 + 11. Is 13 a factor of j?
False
Let a be -3*1*(-6 + 7). Does 13 divide (-1)/3*(a - 57)?
False
Suppose -3*o + 284 = -1. Is o a multiple of 21?
False
Let p(i) = -15*i**2 + 2*i + 5. Let b(n) = -46*n**2 + 4*n + 17*n**2 - n + 3 + 6. Let w(t) = -4*b(t) + 7*p(t). Is 12 a factor of w(1)?
True
Let o(k) = 2*k**3 - 4*k**2 + 2*k + 3. Let a be 3/(-1)*(0 + -1). Does 15 divide o(a)?
False
Let d(g) = g**3 + 8*g**2 + 5*g. Let l(f) = f**3 + 8*f**2 + 5*f. Let i(p) = 4*d(p) - 3*l(p). Is 5 a factor of i(-7)?
False
Let t be (-6)/4 + (-9)/6. Does 12 divide 3*(15 - t/(-1))?
True
Suppose -k + 5*k = 8. Let t(y) = -5 + 16 + y**3 + 3*y**2 - k*y**2. Does 11 divide t(0)?
True
Let c = 20 + 14. Is 17 a factor of c?
True
Let t be (-80)/(-6)*(-9)/(-4). Suppose -5*a + 250 = -t. Is 28 a factor of a?
True
Let c be 0/3 + 2 + 0. Suppose c*z + 16 = 84. Does 17 divide z?
True
Suppose 0 = -4*x + 12*x - 888. Is x a multiple of 37?
True
Let h = 24 + -35. Let x(y) = y**2 + 9*y - 2. Does 6 divide x(h)?
False
Let z(n) = -n + 57. Is z(30) a multiple of 8?
False
Let l(w) = w + 3. Let s be l(5). Suppose -i = c + i - 5, 0 = -c - 5*i + s. Does 3 divide c?
True
Suppose -2*j + 3*j = 0. Suppose j = 2*u + 15 - 91. Let g = 67 - u. Is 12 a factor of g?
False
Let t = 39 - 0. Is 15 a factor of t?
False
Let n(x) be the third derivative of 0*x + 1/30*x**5 - 1/3*x**3 + 1/8*x**4 + 0 + x**2. Is n(2) a multiple of 5?
False
Let d be (26 + -2)*(2 - 3). Does 5 divide d/(-2 + 0) + -2?
True
Suppose r - 44 = -r. Is r a multiple of 11?
True
Is 4 a factor of 2*(-2 - 1 - -11)?
True
Let t(r) = r**2 - 3*r - 10. Suppose 0*y - 3*y - 43 = -5*b, b - 2*y = 10. Is t(b) a multiple of 15?
True
Let f(h) = -7*h + 1. Let i(k) = 3*k + 2. Let d(u) = 2*u + 3. Let s(m) = 3*d(m) - 4*i(m). Let v(o) = 3*f(o) - 2*s(o). Is v(-1) a multiple of 5?
True
Let t = 65 - 15. Does 9 divide t?
False
Suppose 4 = -5*l + 9, 3*w - 4*l - 65 = 0. Is 23 a factor of w?
True
Suppose 0*p = -3*p + 9. Suppose 0 = -p*q + o + 113, -4*o + 2 + 2 = 0. Does 13 divide q?
False
Let z(f) = -f**3 - 15*f**2 + 17*f - 38. Is z(-17) a multiple of 10?
False
Let z(c) = c**2 + c - 2. Let h be z(3). Is 10 a factor of (-102)/(-10) + (-2)/h?
True
Does 2 divide 6/2 + -3 + 5?
False
Is 2 a factor of ((-5)/(-15))/((-1)/(-30))?
True
Does 16 divide (1 + 109/3)/(45/135)?
True
Let a = 24 - 16. Suppose -4*c + a*p - 4*p = -92, -3*p + 39 = c. Is 9 a factor of c?
True
Suppose 4*t - 5*j = 35 + 32, -t + 19 = -2*j. Is t a multiple of 6?
False
Let q be ((-8)/6)/(10/(-15)). Is 10 a factor of q/(-9) + (-274)/(-18)?
False
Let c be 1 - (-2 + (-38 - 3)). Suppose -z = -5*z + c. Is 9 a factor of z?
False
Let q = 11 + -11. Suppose q = 3*s - 2*s - 21. Is 9 a factor of s?
False
Let s(f) = -4*f**3 - 2*f**2 - 3*f + 1. Let p be s(3). Let d = 236 + p. Is 17 a factor of d/(-24)*(0 - 4)?
True
Let k be 10*(-1 - (-6)/4). Suppose -r = 3*s - 2*r - 14, k*s + 4*r - 46 = 0. Let g = -1 + s. Is g a multiple of 2?
False
Let w(o) = 2*o**2 - 7*o - 6. Let v be 4/6 - (-80)/15. Let a be w(v). Suppose -u - u = -a. Does 6 divide u?
True
Let l be 2/(-4)*(-3 + -71). Suppose 2 + l = p. Does 13 divide p?
True
Let s = -186 + 318. Does 33 divide s?
True
Let j(m) = -2*m**2 + 2*m - 3. Let r be j(3). Let i be 5*3/r*8. Let x(w) = -3*w - 12. Does 6 divide x(i)?
True
Suppose 0*f + 5*f = -45. Let d(q) = q - 1. Let g be d(f). Is 10 a factor of 12/1*(-15)/g?
False
Suppose 5 = 3*j + 3*m - 19, 2*j - 5*m = -12. Let v(k) = 2*k - 4. Let l be v(16). Suppose -2*h + l = j. Is 6 a factor of h?
True
Let a(s) = -s**3 - s**2. Let t(m) = -5*m**3 - 12*m**2 + 9*m + 11. Let b(r) = -4*a(r) + t(r). Does 11 divide b(-9)?
True
Let o = -195 - -273. Suppose 2*w - o = -4*g, 0*w - 3*w = 3*g - 60. Does 19 divide g?
True
Let r = 18 + -10. Suppose 0 = 2*u - r - 44. Suppose -5*b + u = -3*b. Is b a multiple of 8?
False
Let h be 46 + 5*(-2)/(-5). Suppose -6*m + 2*m - 3*a = -h, 2*a = 5*m - 83. Does 4 divide m?
False
Let u(f) = f**3 - 3*f**2 - 4*f + 2. Let n be u(4). Suppose -4*o - 2*h = 2, 3*h = -0*o + n*o + 13. Let l = 26 - o. Is 13 a factor of l?
False
Suppose 4*b + 4*f - 4 = 0, -5*b + 21 = -4*b - 4*f. Suppose 0*a + 110 = b*a. Is 11 a factor of a?
True
Let p(x) = -2*x**3 - 3*x**2. Suppose 0 = 2*i - s + 3, -3*i - 5 = 2*i - 5*s. Let j be p(i). Suppose 50 = 9*d - j*d. Is d a multiple of 3?
False
Let r = 29 - 13. Let k(d) = d**3 + d - 4. Let s be k(0). Let y = r + s. Does 6 divide y?
True
Let h be 30/4*4/5. Suppose 0 = -0*x + x + 5*k + h, 5*x - 28 = 4*k. Suppose p - 43 = -x*g, -2*p - 27 = -2*g + 3*p. Does 7 divide g?
False
Let w(j) = -j**3 + j**2 + j - 1. Let q(p) = 4*p**3 - 7*p + 6. Let t(d) = -q(d) - 6*w(d). Let r be 4/(-3)*(-2 - 1). Is 18 a factor of t(r)?
True
Suppose 8 = w + 1. Is w a multiple of 7?
True
Suppose -5*n - 22 = -g, 0 = 2*n + 10 - 4. Let q = g - -5. Is 5 a factor of q?
False
Is -3*(-1)/(-4 + 633/156) a multiple of 10?
False
Let g(y) be the third derivative of -y**4/12 + y**3/6 + 2*y**2. Let m(v) = -v**2 - 4*v - 3. Let k be m(-4). Is g(k) a multiple of 7?
True
Suppose -2*d = -3*y + 3*d + 49, -5*y + 4*d + 86 = 0. Is 9 a factor of y?
True
Let p = -3 - -3. Suppose p = -3*v - b + 20, -5*v + 2*v - 5 = -4*b. Suppose 0 = -5*h + h + 5*l + 24, v*h - 51 = l. Is 11 a factor of h?
True
Suppose -5*w + 4*d + 975 = 0, 2*w + d + 975 = 7*w. Is w a multiple of 6?
False
Let u(l) = l**3 - 4*l**2 - 3*l - 2. Let w be u(5). Suppose -4