*6/(-3). Let h be (i/2 + 0)*1. Are h and -1 non-equal?
False
Let g be (45/75)/((-1)/(-5)). Which is greater: 2 or g?
g
Let c = -103/207 - -14/23. Which is bigger: c or 0?
c
Let w be -1 + -6*(-2)/3. Suppose -w*t = -4*y - 9, 3*t = -3*y + 2*y + 9. Let v = -8 - -10. Is t bigger than v?
True
Let j(y) = y**2 - 2*y - 27. Let a be j(-5). Let b be (5 - -2) + 2 + -1. Is a at least as big as b?
True
Let g = 21 - 23. Which is smaller: 0 or g?
g
Let a = -1/90 - -7/30. Is -3 >= a?
False
Let z = -164913/20 + 8252. Let g = z - 27/4. Which is bigger: 0 or g?
0
Let m = 1319/2 - 689. Suppose -4*y - 87 = -y. Let j = m - y. Is -2 at least j?
False
Let c(f) = 2*f - 8. Let r(b) = 4*b - 1. Let k be r(2). Let j be c(k). Let x be 2/(-12) - 2/j. Which is greater: x or -1?
x
Let f be (14 - 17) + 16/5. Let u = -1 - 0. Is f at least u?
True
Let b = -8/7 + 23/14. Let u = 5.9 + -6. Is b not equal to u?
True
Let x(c) = c**2 + c - 1. Let z be x(2). Let r be (2 + 2)/(z/10). Let j be 0 + 0 + r/(-12). Do -2 and j have the same value?
False
Let g = 21 + -14. Let h = 13 - g. Let w = h - 6. Is w at least as big as -3/5?
True
Let z be 3*1 + 476/(-175). Which is smaller: z or -1?
-1
Suppose -l + 6*a = a + 40, -5*l = 4*a + 142. Is -31 != l?
True
Let a be (1/(-11))/(27/115551). Let j = 389 + a. Is 0 != j?
True
Suppose 6 = c - 2*c. Which is greater: c or -5?
-5
Suppose 0 = 5*y - 11*y - 6. Is 2/65 >= y?
True
Let r = -46.7 + 46. Which is smaller: r or 0.2?
r
Suppose 5*y = 4*m + 20, -5*m + 3*y = 4 + 8. Which is greater: m or 8/45?
8/45
Let j = -5/18 + 4/9. Is 0 equal to j?
False
Let k be (-4)/(1/(-4) + 0). Suppose -8 = 4*x + k. Let m be (4/6)/(4/x). Is 0 equal to m?
False
Let x be 1/(-4) + 5/4. Suppose 0 = -3*h + 5*c + 25, 5*c = -0*h - 2*h. Let t = -4 + h. Is t greater than x?
False
Suppose 0 = 3*s - 9 + 3. Let v = -2 + s. Let q be 2/(-6) + 7/12. Is q not equal to v?
True
Let h = 92.8 - 92. Are h and -8 non-equal?
True
Let b be 21/37*(-2380)/15. Let m = 90 + b. Are m and 0 non-equal?
True
Let z(d) = -d - 6. Let t be z(-6). Suppose 2*j + 29 - 7 = t. Let q = j - -35/3. Are q and -2 nonequal?
True
Let d be ((-4)/10)/((-48)/1380). Are -1 and d nonequal?
True
Let g = -1520/357 - -74/17. Are g and 0 non-equal?
True
Suppose 4 = -0*f - f + k, 5*f + k = 10. Let g = f - 2. Is g at least as big as 0?
False
Let m = 93 - 92.88. Are m and 3/4 equal?
False
Let u be -5 + (-1 + 5 - 20/(-28)). Let r = 12 - 12.7. Which is smaller: u or r?
r
Let r = 446/30927 - -1/507. Is r at most 1?
True
Let i = -1.6 - 0.4. Let z = 10.8 - 11. Let u = -1.2 - z. Is u > i?
True
Suppose -2*h - 4 = 0, 5*d - 5*h - 20 = 5. Suppose 5*g + 3*i - d = 0, -g + 2*i + 10 = -1. Which is greater: 0 or g?
g
Let b = 1 + 1. Let i(p) = -4*p**2 - 8*p - 3. Let t(m) = m**2 + m + 1. Let v(c) = -i(c) - 5*t(c). Let u be v(b). Which is smaller: u or -1/3?
-1/3
Let c(h) = 6*h + 1. Let d be c(2). Let g = d - 15. Is g equal to -1?
False
Suppose -4*p + 2*t = 10, -3*t + 2 + 5 = -4*p. Is -4 at least as big as p?
True
Let f = -3/5 - -2/5. Let o be 2 - -1 - 0 - 2. Is f greater than or equal to o?
False
Let w(r) = -r**2 - 9*r - 8. Let y be w(-8). Suppose y = d - t + 4, 0 = -4*d - 2*t + 5 - 3. Are -2/23 and d nonequal?
True
Let o(w) = 5*w. Let s be o(2). Let d = s + -5. Suppose -2 + 12 = d*k. Is 2 >= k?
True
Let c(l) = l**2 - 8*l + 9. Suppose 5*g = a - 6, -g = 4*a - 1 - 23. Let u be c(a). Let t be u/(-2 + 5) - -2. Is 2/5 at least t?
False
Let c(h) = h**3 + 1. Let f be c(1). Suppose r - 4*z = -28, 0 = -4*r - 3*z - f*z - 49. Is -15 equal to r?
False
Let v(o) = o. Let a be v(-3). Let g = -19/6 + 7/2. Are g and a equal?
False
Suppose -q - 2 = 2*n - 4*n, -5*n = 3*q + 6. Which is bigger: n or 6/11?
6/11
Suppose 3*n + 4 - 7 = 0. Let a be 4 - (-1 + 106/22). Which is smaller: n or a?
a
Let d = 0.095 + -0.095. Do -1 and d have different values?
True
Let r be (-1)/5 - (-2 + 142/90). Which is smaller: r or 7/5?
r
Let j be ((-9)/(-2) + -9)/(1/2). Is -43/5 greater than j?
True
Suppose 2*t - 4*x = -0*x - 20, -34 = 4*t - 5*x. Let r be 12/9*t/(-20). Is r at least as big as 1?
False
Let l = -1/3 + 2/3. Which is greater: l or -3/4?
l
Let a be (-8 - -6)/((-24)/(-39)). Which is greater: a or -1?
-1
Let o be -2*1/8 - 33/(-4). Let x be ((-2)/6)/(2/(-42)). Which is bigger: o or x?
o
Let t = -4 - -6. Let v be t/(-33)*(0 - 3). Does v = 0?
False
Let b = -3 - -3. Let i = 1 + b. Let y = 0.8 - i. Is -1 != y?
True
Let l be (-1 - 0)/(12/(-8)). Which is greater: 3 or l?
3
Let u(w) = -w + 1. Let x be u(-1). Let i be 2 - (x + -3)*-1. Let b = -11.1 - -11. Is i not equal to b?
True
Suppose -h + 2*h = 5. Is h at most 10?
True
Let s = -229512/5 - -45701. Let c = 257 + -55. Let q = s + c. Which is smaller: 1 or q?
q
Let k = 724 - 16656/23. Let u = k + -7/92. Which is smaller: 1/2 or u?
u
Let r = 0.4 + -0.3. Let i(l) = l**3 + l**2 + l + 3. Let j be i(0). Suppose -2*z - 1 + j = 0. Is r smaller than z?
True
Let r = -12.4 + 14. Is r < -0.1?
False
Let s be (-7)/3 + 2/6. Let j = 6 + s. Is j at most 3?
False
Let c = -3.3 + 2.3. Which is smaller: c or 0?
c
Let i = -0.1 + 0.1. Let b = -0.5 - i. Let a = 0.5 + b. Is 1 at most a?
False
Let l be (6/15)/((-8)/1325). Let b = l - -67. Is 0 <= b?
True
Suppose -4*a + 27 + 17 = 0. Suppose -1 = 6*o + a. Which is bigger: o or 1?
1
Let u be (-152)/(-15) - 2/15. Is 9 > u?
False
Let k be 65/(-55) - 2/(-11). Is k greater than -2?
True
Let b be 2/(-7)*(-105)/36. Which is bigger: b or 2?
2
Let t(k) = -k + 4. Let m(w) = -w + 5. Let u(h) = -4*m(h) + 6*t(h). Let n = 4 + -1. Let b be u(n). Is b not equal to -1?
True
Let z(l) = -l**2 - l + 3. Let o be z(0). Let g(d) = 5*d**2 + 1 + 0*d**o + 3*d + d**3 - 7 - 4*d. Let y be g(-5). Does -1/4 = y?
False
Suppose 1 + 8 = 3*t. Suppose -4*i - 22 = 4*k - 6*k, t*k - 21 = 2*i. Suppose 3*h + 0*n - 2*n = -14, -h - 2*n = 2. Do h and i have the same value?
False
Let g be (438/(-108))/((-2)/(-66)). Let c = g - -133. Let p = 19/12 + c. Which is greater: 2 or p?
2
Suppose 0 = -5*r - 23 - 2, 2*o + 546 = 4*r. Let n = -1693/6 - o. Which is smaller: 0 or n?
0
Let a(i) = -2*i**2 - 2*i - 3. Let m be a(-3). Which is greater: m or -74/5?
-74/5
Suppose -4*l - 12 = 4*r, -r + 10 = -2*l - 2. Let n be (-2)/(1 + 1) + 1. Suppose n = 4*s + 2 - 10. Is s greater than r?
False
Let r = -0.07 - -0.01. Let u = 7.2 - 7. Which is smaller: r or u?
r
Let f = 2 + 1. Suppose 0 = 2*i - 0*i - f*z - 27, 2*i - 2*z = 24. Suppose n - i = 5*k - n, 2*k = -4*n + 6. Is -3/8 < k?
False
Suppose 2*s + 0 = -3*n + 2, -4*n + 2 = 3*s. Let g be (-1 + n)/((-8)/(-442)). Let o = -55 + g. Which is smaller: -0.2 or o?
-0.2
Let o be 0 + 2 + (-4)/3. Let y = 1.97 - -0.03. Let x = -1 - y. Which is smaller: o or x?
x
Let l = 7.07 - 7. Which is smaller: 1 or l?
l
Let a be (-2*(-141)/(-12))/(-62). Let y = 4/31 - a. Is y less than or equal to 1?
True
Let j = -4 - -4. Suppose -2*p + 14 + 2 = j. Is p > 7?
True
Let j = 49 - 197/4. Which is greater: j or -0.04?
-0.04
Suppose 0 = k - 3*f + 16, -4*k + k + 5*f - 28 = 0. Let p be 1*k*1/(-2). Let m = -1/6 + p. Is 1 at least m?
True
Suppose -3*w = -5*s + 28, 3*s + 4*w - 5 - 6 = 0. Suppose -3*g = 3*a + 15, 5*a + 44 + 1 = s*g. Is -7 not equal to a?
False
Let n = 42 - 30. Are 13 and n non-equal?
True
Let r = 118 + -119.92. Let l = r - -2. Let j = 1.08 - l. Which is greater: -6 or j?
j
Let o = 483947/4851 - -25/1617. Let i = o - 100. Which is smaller: -1 or i?
-1
Let b = -9 + 10. Let p be 0/(b + -3) - 7. Is p less than or equal to -7?
True
Let n = 7 - 7. Which is smaller: -2/59 or n?
-2/59
Let x = 0.79 - -0.31. Does 0.2 = x?
False
Let h be ((-24)/10)/(-2) - 1. Suppose 4*o + 4*i - 16 = o, -50 = -5*o + 5*i. Let w(g) = -g + 8. Let c be w(o). Is h at most as big as c?
False
Let m(g) = g**2 - 8*g + 6. Let c be m(7). Is -2/43 smaller than c?
False
Let s be (-1*4)/(11/2). Let a = -5/22 - s. Let o be (-24)/(-9) + (-2)/3. Is o greater than or equal to a?
True
Let i = 4 - 1. Suppose -4*v + 30 = 3*j, -2*v - 5*j + 17 = v. Suppose -2*m - v = -5*m. Is i at most as big as m?
True
Let y = 0.95 - 1. Let k = 2.45 + -2.4. Let b = y - k. Is b greater than -4?
True
Suppose 3*a + n = -7, -4*a + 3*n + 1 = -7. Suppose 4 = 4*q - 12. Let g be ((-6)/q)/(0 - 3). Which is greater: g or a?
g
Let w be 3 + -2 - 2/18. Which is smaller: 1 or w?
w
Suppose -3*a - 5*u + 30 + 8 = 0, -3*a = -u - 14. Is 6 gr