Let o be ((-3)/8)/(12/(-16)). Which is smaller: o or j?
j
Suppose -2*g - 7 = -3*a, 0 = 2*a - 3*g - 0 - 8. Let s = -0.9 - -1. Let b = s - -0.1. Is b at least as big as a?
False
Suppose 0 = -3*f + 3*v - 12, -f - 4*v - 1 = -22. Is -3/35 less than f?
True
Suppose -6 = -2*o - o. Suppose o*w - 5 - 5 = 0. Do w and 6 have the same value?
False
Let g = 212 + -210. Which is smaller: 12/5 or g?
g
Suppose 0 = -4*u + 6*u - 4. Suppose -15 = -i - u*i. Suppose -i*p = -3*p + 2. Is -1/3 greater than or equal to p?
True
Let a = 50.9 - 45. Let r = a - 6. Which is smaller: -3 or r?
-3
Let m = 3 - -9. Let r = 14 - 11. Suppose -2*b + r*b - 4*l - 12 = 0, -2*b + 5*l = -m. Is b less than -4?
False
Let n be 5/(-15) + (-64)/6. Let w(y) = -y**2 + y. Let l be w(-3). Is n >= l?
True
Let t = -31 + 43. Suppose 0 = -0*n - 2*n - t. Is -5 equal to n?
False
Let q be 14/(-12) - 1/(-6). Let t = 4 - 3.9. Is t bigger than q?
True
Suppose -2*q - v = -27, 3*q - 6*q + v + 33 = 0. Let k = -434 + 447. Which is bigger: k or q?
k
Suppose -3 = -3*v - 3*q, 2*v + 8 + 10 = 2*q. Let f be (-1162)/(-24) + (-1)/v. Let m = f - 48. Which is smaller: 0.1 or m?
0.1
Let j be 4/10 - 4/10. Suppose j = -5*w + 7 - 2, w = -3*v + 1. Let k be 0 + v - 3/15. Is k at least 1?
False
Let k = -2 + 24. Let a = 14 - k. Which is smaller: -7 or a?
a
Let u = -13 + 8. Let g = u + 1. Let c = g - -4. Is c not equal to -2/17?
True
Suppose c - 12 = 5*c. Let o = c + 2. Is o >= -1/7?
False
Let v = 5 + -16. Which is smaller: -10 or v?
v
Let b = 187 + -196. Is -4 greater than b?
True
Let z be ((-12)/(-24))/(2/(-4)). Is -1/35 greater than z?
True
Let f(j) = j + 5. Let t be f(4). Let v = -3 + 8. Let o = v - t. Which is smaller: o or -3?
o
Suppose 3*o = 2*o + 10. Let p be ((-15)/o)/((-6)/32). Which is greater: 15/2 or p?
p
Suppose -3*f = b + 6, -5*f - 2 = -0*b - b. Let o = 2 - 13. Let d(r) = r**2 + 12*r + 7. Let m be d(o). Is m equal to b?
False
Let q(n) = -n**3 - 7*n**2 - 5*n + 4. Let t be q(-6). Let u be ((-8)/36)/((-1 + -4)/(-15)). Which is smaller: t or u?
t
Let u = -9 + 12. Which is smaller: u or 11/4?
11/4
Let p = -0.01 - 0.39. Suppose 0 = -2*o + 3*o - 1. Which is smaller: o or p?
p
Let v(w) = -w**3 + 7*w**2 - 6*w + 3. Let z be v(6). Suppose -z*x + 2*y = 2*x + 52, -5*x - y = 64. Let f be (x/8)/(1/(-2)). Which is smaller: f or -2/7?
-2/7
Let z = -10534056/5 + 2129823. Let q = 23290 - z. Let j = 277 - q. Is -1 equal to j?
False
Let x be 30/(-12)*8/(-90). Let v = -4 - -2. Let u be v/(-3) - (-10)/(-24). Is u less than x?
False
Let j = 3 - 2. Suppose 0 = -0*z + 6*z - 6. Is j less than z?
False
Let q(o) = o + 7. Let f be q(-3). Let k = 0 + 3. Are k and f equal?
False
Let h = 1/106 + -111/530. Which is bigger: h or -1?
h
Let f(u) be the second derivative of -u**3/6 - 7*u**2/2 + 3*u. Let s be f(-6). Let j = -5/6 - -4/3. Is s less than or equal to j?
True
Let o be (-4)/10 + 6/15. Suppose l = -4*l - 5*c - 10, -4*l + 5*c + 19 = 0. Does l = o?
False
Let g be (2/505)/(-2*(-6)/(-180)). Is -1 != g?
True
Let l = -147 + 146. Let h = -101 + 710/7. Is l > h?
False
Let b be 6/20*(49/28 - -2). Are b and 0 non-equal?
True
Let d = 2 - 4. Let y = -4 + 4.1. Which is greater: d or y?
y
Suppose 6 = -5*h - 2*b, -h = h + 2*b. Which is greater: h or 2?
2
Let n(z) = -z**2 - 5*z + 2. Let u = -9 + 4. Let p be n(u). Suppose -o = p*o. Which is greater: o or 2/15?
2/15
Let r be 2/(-10) - (0/6)/6. Suppose -5*z + z + 17 = -3*o, -4*o - 4*z + 24 = 0. Which is greater: o or r?
o
Let c = 9 + -8.8. Is c not equal to 3?
True
Let d(b) = b - 2. Let p be d(0). Which is bigger: -3 or p?
p
Suppose 4*a - 2*a - p = -33, 60 = -4*a - 4*p. Do a and -15 have the same value?
False
Let j = 0 + 1. Is j bigger than -2/19?
True
Let r = 49 - 32. Which is bigger: 16 or r?
r
Let b be (3 + -1)/(-2) + 1. Let w be (-16)/(-10) - 9/15. Let o = b + w. Is -1/9 < o?
True
Let f be (2/21)/((-8)/76). Let w = -11/7 - f. Which is greater: w or 2?
2
Let b be ((-2)/(-6))/(6/36). Suppose -b*j + 5 = 1. Which is greater: 3/5 or j?
j
Suppose 105 = -18*k + 11*k. Which is bigger: k or -69/5?
-69/5
Let j be (-564)/(-32)*2/129. Let b = j - 1/43. Let h = -3 - -2.9. Which is bigger: h or b?
b
Let o = -15 - -21. Suppose 5*z - o = 3*z. Is z less than or equal to 1?
False
Let g = 0.051 - 25.051. Is 1/3 at most as big as g?
False
Let b = -159/28 - -21/4. Let o = 2.43 + -2.53. Is o < b?
False
Let p be (6/(-8))/(3/(-12)). Suppose 4*h = -h. Let i be p/(-12) + h + 1. Which is smaller: 0 or i?
0
Let g(s) = s - 6. Let x be g(8). Let v be x/(-11) + (-13)/(-11). Suppose 2*c - 6 + 4 = 0. Is c smaller than v?
False
Suppose 0 = 2*h - 0*h. Is 1 greater than or equal to h?
True
Suppose 3*k - 5 - 4 = 0. Let n be 2 - (-2 - 1 - -1). Is n greater than k?
True
Let b be (4/(-2))/(-6) + -3. Which is smaller: -4 or b?
-4
Let u = 3/11 + -31/33. Let l be 2/((-9)/1966*4). Let i = l - -109. Do i and u have the same value?
False
Let a be 56/(-2 - 2)*-1. Let b = a - 13. Is b <= 2/49?
False
Suppose 4*b - 11 = x, -3*x - 6 = 2*b - 1. Suppose -3*n + 5*s - 11 = s, -s = 3*n + 1. Let m = n + b. Do m and -2/7 have different values?
True
Suppose h + 5 = 3*l, -2*l = -l + h - 7. Suppose 7 = -5*y + 3*q, -q - l = 2*q. Let z(w) = -w**2 + 5*w + 3. Let u be z(6). Is u greater than or equal to y?
False
Suppose -h + 5 = 2*c, 2*c + 6*h = 4*h + 4. Let i(p) = p. Let n be i(8). Let y = n - 15/2. Is c less than or equal to y?
False
Let h = -39 + 69. Let y be ((-5)/h)/(1/10). Is y < -2?
False
Let q(n) = -3*n - 16. Let u be q(-12). Suppose 4*m - b + 5 = -10, 4*b + u = -4*m. Let j be 9/18 + 2/m. Are j and -1/9 non-equal?
True
Suppose 2*m = 3*j + 1354, -4*m + 4*j + 34 + 2678 = 0. Suppose 4*p + p = m. Let d = p + -412/3. Is 1 less than d?
False
Let n = 0.02 - -0.98. Let c = 0.1 - -1.9. Which is smaller: c or n?
n
Let m(r) = 15*r + 32. Let o(i) = 7*i + 16. Let f(g) = 6*m(g) - 13*o(g). Let a be f(-13). Is a less than -3?
False
Suppose 2*z + 3*o + 35 = -2*z, -4*z + 3*o - 53 = 0. Let x be 2/(-14) - z/77. Is 1/7 less than x?
False
Let m(x) = -x**2 - 5*x - 2. Let j be m(-3). Suppose 2*h + 4*k - j = -h, 5*h - 1 = -k. Which is bigger: h or 0.09?
0.09
Suppose 5*y + 1 - 16 = 0. Let j(g) = 6*g**2 + g**3 - 2*g**3 + 3*g + 7 + 1 - 4*g. Let u be j(6). Is u <= y?
True
Let b = 159 - 119. Which is greater: -2 or b?
b
Let h(j) be the first derivative of j**5/60 + 3*j**4/8 + j**3 - 3. Let v(r) be the third derivative of h(r). Let d be v(-6). Is -4 > d?
False
Let m be (4 - 0)*(-4)/(-16). Let y be (-6)/(-4)*2/3. Let t = y - m. Is t bigger than -3/5?
True
Let t(b) = 2*b + 1. Let p be t(-1). Suppose -i + 6*i + 15 = 0. Let l = i - 0. Are p and l nonequal?
True
Let y = 5 - 3. Let t be y/(-4 - -2) - 4. Let s be (1/(-4))/(t/(-4)). Which is greater: s or 1?
1
Let a = -49 - -446/9. Let z be (5 - (-102)/(-18)) + 8/12. Does z = a?
False
Let k be (3 + -4)/(1/(-6)). Let t be k/(-180) - 2/(-10). Suppose v = -3*f + 4, -v + 3 = 5*f - 3*v. Which is bigger: f or t?
f
Let t be (2 + 0)/(12 - 3). Let y be (8/(-2) - -2)/2. Which is smaller: y or t?
y
Let t(f) = -4*f**2 - 1. Let a be t(1). Which is bigger: -3 or a?
-3
Let u = -0.3 + 0.1. Let l = 0.03 + 0.07. Let w = l + u. Is -1/2 < w?
True
Let q = -29 + 30. Let s be (-2 + (-2)/(-2))*1. Let i be ((-14)/8 + 2)/s. Is i at most as big as q?
True
Let g be (8/12)/2*3/11. Let v(b) = -b + 5. Let t be v(5). Which is greater: t or g?
g
Suppose -16 = j + g - 0*g, -2*j = -2*g + 28. Let r be (-112)/(-210) + 2/j. Which is smaller: -3 or r?
-3
Let m be (-2)/4*(5 + -5). Let c = 3 + m. Suppose -4*o = -c*o. Is o >= -0.1?
True
Let p = -0.09 + 1.09. Let c = -0.1 - 0.3. Which is smaller: c or p?
c
Let j be (-60)/25 + 3/1. Which is smaller: j or 2?
j
Let x = 38/5 - 408/55. Let q(b) = -2*b**2 + 5*b - 3. Let v be q(3). Let s = v + 5. Which is bigger: s or x?
x
Let x(d) = -d**3 + d**2 + d. Let h be x(0). Suppose h*u + 4*u = 0. Is u not equal to 2/27?
True
Let w = -5 - -9. Let z = w - 2. Is z smaller than 0.1?
False
Suppose 0 = 5*a + 139 + 231. Is a equal to -73?
False
Let p = -488/7 + 70. Suppose -z + 3*z - 6 = -2*s, 4*z - 15 = -3*s. Let a be z/(-12)*(-8)/14. Is p less than or equal to a?
True
Let c = -560 + 12878/23. Let z = 23992311/253 - 94831. Let f = c + z. Is f smaller than 1?
True
Suppose 3*k - 5*q = 17, -2*k - q + 3 = 4*q. Suppose 5*u = -x - 3, -2*x + 5*u - k - 2 = 0. Which 