- 2*h + 10 = 0, o - 3*h + 6 = x. Are o and 5 equal?
False
Let c = 59 + -33. Suppose 0 = -2*z - 10, -3*z - c = -3*q + 31. Let k be q/35 + (-4)/5. Which is greater: k or 1?
1
Let j be -1 - ((-72)/10)/3. Let b be (-3)/12 + 58/8. Suppose -2 + 9 = b*w. Is j smaller than w?
False
Suppose -2*s + 0*s - 6 = 0. Let h be (3 - 6)/s - -1. Let t = h + -3. Which is smaller: -1/3 or t?
t
Let x = -23413/6 + 3888. Which is bigger: -15 or x?
x
Let g(q) = 0*q**3 + 1 + q**3 - q**2 - 3*q**3 + 0*q**3. Let i(w) = -w - 5. Let z be i(-6). Let y be g(z). Which is bigger: -3/5 or y?
-3/5
Let n = -61 - -68. Let k = 0 + -5. Let l = k + n. Which is smaller: 2/5 or l?
2/5
Let h be -1 - (-3)/((-3)/(-10)). Let v = h - 8. Suppose 11 = 2*g + v. Which is greater: 4 or g?
g
Let g = 0.22 - 0.24. Let a = 0.98 - g. Which is smaller: 16 or a?
a
Suppose 3*g + 3 = 3*n - 0, g - 8 = -2*n. Let p be g/(-28)*2*1. Which is greater: p or 0?
0
Let x = 380/21 + -101/7. Is x <= 5?
True
Let j = 1283/11 - 117. Let l = 59 + -59. Which is smaller: j or l?
j
Let b = 3494/7 - 500. Which is smaller: b or -2?
-2
Let h = 12 - 25/2. Suppose u = 2*u + a + 2, 0 = -3*a - 3. Which is smaller: h or u?
u
Suppose -4*o + 3*i - 57 = 0, 3*o - 2*i + 30 = o. Do -12 and o have the same value?
True
Suppose -5*u = -3*x + 82, 3*x = -2*u + 3 - 19. Let h = -29 - u. Which is smaller: -16 or h?
-16
Let a be (0/(-1))/(-6 - -8). Let j = 0 + a. Which is greater: 2/5 or j?
2/5
Let k = -46/3 - -16. Suppose 8*y = 3*y + 35. Let c(m) = m**3 - 8*m**2 + 8*m - 6. Let b be c(y). Is b greater than k?
True
Let h = -3.13 + -0.87. Is 2/9 at most as big as h?
False
Suppose 2 = 2*g - 2. Suppose 3*p + 9 = 3*s, 0*s = -2*s - g*p - 14. Suppose -m - m = 6. Which is smaller: s or m?
m
Let u = 2 - 1.9. Let x = u - -0.1. Suppose 0 = 2*y - 5*y. Which is bigger: x or y?
x
Let t = -13 + 15. Suppose -120 = 7*j - 2*j. Let s be (16/(-30))/(16/j). Which is smaller: t or s?
s
Let y = 0.88 + -1.88. Which is bigger: y or 0?
0
Let p = -0.1 - 0. Do -2 and p have the same value?
False
Let x be 12/(-30) + 6/40. Which is bigger: x or -1?
x
Suppose 2*p + d = 2*d + 6, 3*d - 26 = -5*p. Suppose l + 3*l = -p. Which is greater: -1/5 or l?
-1/5
Let f = 4 - 13/3. Which is bigger: f or -2?
f
Let j(f) = 3*f**3 + 2*f**2 - 2*f - 2. Let r be j(-2). Let h = r - -32. Let w be (-4)/h - 8/45. Do w and 0 have different values?
True
Let y = 14 - -6. Let w = -31 + y. Let i = -8 - w. Which is greater: 2 or i?
i
Let t = -114 - -161. Is t at least 46?
True
Suppose -j - 40 = -6*j. Suppose 4*a - j*a = 0. Let s = 53/2 + -27. Is s bigger than a?
False
Let a be (-65)/4 - 6/(-24). Is a less than -15?
True
Let s = -0.092 + -1.908. Let x = -1 + 1.1. Let o = x - 0.2. Which is smaller: s or o?
s
Let i = 2 - 2.2. Let g = -4931/3 - -1671. Let b = 28 - g. Is i greater than b?
False
Let z be (-1)/4 - (-3)/(-12). Let p = 19.74 + -20. Let f = p - -0.16. Which is smaller: f or z?
z
Let r = 2 - 6. Let y = -0.3 + 0.45. Let n = y + -0.05. Which is greater: n or r?
n
Let l = -0.03 - 0.07. Let y = -10.8 - -12. Let p = y - -3.8. Which is smaller: l or p?
l
Let v = 0.332 - 0.132. Which is greater: v or -18?
v
Let v(c) = c + 4. Let g be v(-5). Let p = 2/289 - 875/1156. Which is greater: g or p?
p
Let c = -7 - -8. Which is greater: -12 or c?
c
Let y = 35 - 36. Which is bigger: -5/4 or y?
y
Let p = -3.9 - 0.1. Which is smaller: p or 4?
p
Let v = -0.2 - -3.2. Let g = -3.5 + v. Let p = 0.1 + g. Which is smaller: -1 or p?
-1
Let z = 29 - 7. Let r = 24 - z. Is 1/2 smaller than r?
True
Let y = 7 + -8. Let s be 1/(-2) - (-30)/76. Let c = s - 11/76. Is c less than or equal to y?
False
Suppose 2*h + 5 = -3*t, h - 3*h = -5*t + 13. Let c be 16/(-30)*(-6)/8. Is t at least as big as c?
True
Suppose 7 = -4*j + 3. Let s = -1 - j. Let x = 2/3 + s. Which is greater: 0 or x?
x
Suppose -6*t + t = -3*l - 37, 0 = -4*t + 2*l + 28. Suppose b - 4*m + t = 0, 4*b + m = -3 - 0. Does b = 2/29?
False
Let b = -5.32 + -1.68. Let y = -1 - -1. Which is greater: b or y?
y
Let x = 37/2 - 18. Let a = -0.17 + -0.03. Let w = -0.1 - a. Which is smaller: w or x?
w
Let i be (-2)/(-4) + 3/6. Let x be (-2)/4 + (-9)/(-18). Which is smaller: i or x?
x
Suppose -m + 5*u - 21 = 4*u, 0 = 4*m - 3*u + 84. Let i be m/(-14) - (-2)/12. Which is smaller: i or -1?
-1
Let i = -2.2 + 2.1. Which is greater: 0 or i?
0
Let g be 2 + 678/13 - 2. Let w = -34199/650 + g. Let c = w + -1/25. Is -2 bigger than c?
False
Let t(m) = m - 11. Let r(v) = 3*v + 2. Let j be r(2). Let o be t(j). Is o at least as big as -4?
True
Let t(o) = 12*o**2 - 1. Let h be 0/2 + 1 + -2. Let c be t(h). Let w be 1/(-4) + c/12. Do w and 1 have the same value?
False
Let n(y) = y - 7. Let v be n(8). Is -4/11 > v?
False
Let d(h) = h**2 - h - 2. Let k be d(-2). Let m = 2 - 2. Which is bigger: k or m?
k
Let i = -72 + 502/7. Let y = 84 + -85. Which is smaller: i or y?
y
Let i(f) = f + 11. Let p be i(-6). Suppose -5*d - 17 = 5*r - 2, 2*d - 22 = p*r. Is -2 at least d?
False
Let w(a) = a**2 + 3*a + 2. Let y be w(-2). Suppose 152 = 8*h - 4*h. Let i be -2 + -1 - h/(-10). Which is greater: y or i?
i
Suppose 5*v + o - 5 = 4*o, -4*v = 3*o - 31. Let y be 2 + ((-6)/v - -3). Are 4 and y equal?
False
Let p = 5 - 3. Let l be p/8 + 93/12. Let n = 25 + -18. Which is bigger: n or l?
l
Suppose 4*b = -r + 23 - 0, -2*b + 4*r = -16. Let h be (-4)/b - 0/1. Which is bigger: h or 0.1?
0.1
Suppose -s = -4*o - 1, 2*o = 5*s - 7 - 16. Suppose -4*z + 4*a - 16 = 0, 4*z + a - s = -1. Which is smaller: z or -9/8?
-9/8
Suppose -3*m - 2*y - 8 = -4, m + 4*y - 2 = 0. Let h be (-14)/6*m/7. Let o = -632/7 - -90. Is o not equal to h?
True
Suppose 0 = -3*u + f - 22, 5*u - 2*f + 3*f + 34 = 0. Is u less than -8?
False
Let i be 10/(-95) + 198/(-285). Let g be ((-1)/(-3))/((-2)/(-24)). Let c(o) = -o**3 + 3*o**2 + 4*o - 2. Let a be c(g). Which is greater: i or a?
i
Let o = 119 - 125.04. Let m = o + 0.04. Let z = m + 10. Do z and -2/5 have the same value?
False
Let i be 2 + -1 + (-1 - 1). Let m be -3 + 0 + i + -1. Let u(p) = p + 4. Let q be u(m). Is 1/5 >= q?
True
Let d be ((-4)/(-78))/((-1)/3). Let v(f) = 4*f**3 + f**2 - 2*f + 1. Let g be v(1). Suppose g*n = 9*n. Which is bigger: d or n?
n
Let w be 20/15 + 2/(-6). Is w smaller than 13/18?
False
Let z be 5/30*8/3. Which is smaller: z or 1/4?
1/4
Let z(j) = j**2 - 3*j - 3. Let n be z(3). Let o = n - -3. Let y = 6/5 + -23/15. Which is smaller: y or o?
y
Let h be (-6)/2*11/33. Suppose 1035 = 5*i - 4*p, -p = i + 4*i - 1010. Let l = 1825/9 - i. Which is bigger: l or h?
l
Let c be (-8)/(-2) - (0 - 0). Suppose 5*k + z = -18, k + 5*z = c + 2. Let d be 10/36 - (-2)/k. Is d equal to 0.2?
False
Let p(x) = -2*x**2 - 4*x - 4. Let n be p(-2). Is -1 less than or equal to n?
False
Let c = 25 + -14. Suppose 2*s + 2*u = 6, -5*s + 4*s - 5*u = -c. Which is greater: s or -2/7?
s
Let p = -320 - -321.93. Let i = -0.07 - p. Is i != -1?
True
Let r = 2.293 - -0.007. Is r < 3/2?
False
Let i = -4.1 - -2.8. Which is smaller: 1 or i?
i
Let c(a) = -a + 3 + 2*a + 1 + 2. Let k be c(-7). Which is smaller: k or 0.07?
k
Let z be (8/(-10))/((-2)/10). Suppose -r = -4*v + 9, -5*v - 2*r - 3*r + 30 = 0. Is v less than z?
True
Let a(z) = -4*z**2 - z + 1. Let i be a(1). Which is smaller: i or -5?
-5
Let n(p) = -2*p - 35. Let u be n(-17). Let a be ((-10)/(-4))/((-2)/4). Is a greater than or equal to u?
False
Let j(s) = 2*s**2 - 24*s. Let y be j(12). Are y and 0 nonequal?
False
Let w = 9 + -9.85. Let y = w + 0.05. Let j = y - 0.2. Which is smaller: -2 or j?
-2
Let i = -12 - -7. Let r = 3 + i. Let z = r + 0. Which is greater: z or -6?
z
Let o = 24624/29 - 849. Do 1 and o have different values?
True
Let k be (-16)/(-5)*-25*(2 - 1). Do -80 and k have the same value?
True
Suppose -9 = -5*u - v + 13, 0 = 2*u - 5*v + 2. Which is smaller: u or 5?
u
Let y = 14 + -36. Let l be ((-104)/y)/4 - 1. Is l at least 1?
False
Let a = 49/30 - 2/15. Which is greater: a or 2?
2
Let w = 17763 + -158866/9. Let p = w - 111. Let h be (-1 - -1)*(1 + -2). Is p smaller than h?
False
Let m = -6 - 1. Let w = m + 5. Let k = -2 - -1. Which is bigger: k or w?
k
Let h be 6/(-2 - 1) - -4. Let w be 2/4*(-5 - -9). Let c be (w - 1)/((-1)/(-3)). Which is smaller: h or c?
h
Suppose 3*q + 12 = 4*q - 3*w, -5*q + 2*w + 21 = 0. Suppose -q = 4*c - c. Is -3/8 less than c?
False
Let l = 0.1