r: i or y?
y
Let g = -0.12 - -2.12. Let y = g - 1. Which is smaller: 1/4 or y?
1/4
Let n be 5/(-6)*(-9)/30. Suppose t + 6 - 3 = 5*q, -2*q - 5*t + 12 = 0. Is q >= n?
True
Let f = 9 + 9. Is f less than 18?
False
Let z = 13 + -14. Is z <= -4?
False
Let w(m) = -m**3 - 9*m**2 + m - 11. Let c be w(-9). Is c > -20?
False
Let z = -92.9 + 97. Let f = 4 - z. Let j = -0.3 - f. Is 0.4 greater than j?
True
Let r = 71 - 69. Which is bigger: r or 9/5?
r
Let z(y) = 2*y + 1. Let q be z(1). Suppose -q*j + j + 3*u = 0, 0 = -u. Is j smaller than 3/5?
True
Let c(a) = -2*a**2 - 4*a - 4. Let x be c(-3). Let v be 4 + -2 + x/4. Is v smaller than 0?
True
Let l(v) = v - 3. Let m be l(3). Let a be 420/147 + 2 + -5. Are m and a equal?
False
Let b = 0 - -2. Suppose 2*o = -2*o + 40. Suppose -4*z - o = -b. Which is smaller: -4/3 or z?
z
Let n be -6*((-6)/8 - (-798)/56). Is n at most as big as -81?
True
Let o be 6/(-8) - 45/(-44). Which is greater: 0 or o?
o
Let j = -0.3 - 0.7. Let q(l) = l**3 - l**2 - 4*l + 3. Let k be q(2). Let u = -4 - k. Which is bigger: u or j?
j
Suppose 0 = 2*s - 0*s + 2, -n - 4 = -s. Suppose 2*c + 0*c = 4*b, b = 3*c + 10. Which is bigger: n or b?
b
Let h = -0.17 + 0.03. Let v = -2.06 + h. Let m = -2 - v. Do m and -1 have the same value?
False
Let f = 55 + -84. Which is greater: -27 or f?
-27
Suppose 0 = -0*z + 2*z - 12. Let l = 0.07 + 0.03. Is z >= l?
True
Let j = -5 + 7. Let o be ((-2)/(-3)*-3)/((-18)/27). Which is smaller: j or o?
j
Let k = -2587/11 + 235. Suppose -3 = 5*t - w - 2*w, 3*t = 3*w - 3. Which is greater: k or t?
t
Let o = -19 - -31. Let i = o + -12. Is 0 less than or equal to i?
True
Let l = 10.7 - 0.7. Let p = l + -11. Is -0.1 greater than p?
True
Suppose 0 = 5*w - 52 - 18. Suppose 14 = -4*d - 5*i, 3*i + w - 44 = 4*d. Is -6 equal to d?
True
Let d = -1 + 0. Let p = 1 + -2. Let a be (-1)/14*(3 - p). Which is bigger: a or d?
a
Let a = -14 + 18. Is a < 3?
False
Let v = -7 - -13. Which is smaller: v or 5?
5
Let k = 85.7 + -86. Let t be ((-4)/3)/(0 + -2). Which is greater: t or k?
t
Suppose -5*o - 5 = 0, -y + 14 = -2*y - 5*o. Is y less than or equal to -7?
True
Let b be (-6)/4 + 93/54. Which is bigger: -2 or b?
b
Let h = -22 - -29. Which is bigger: 8 or h?
8
Let r be -2 + 6/3 - -4. Let b be (r - -2)/1 - 0. Let a be (2/b)/(16/(-12)). Which is smaller: 0 or a?
a
Let b = -40 + 58. Let s = -17 + b. Which is smaller: s or 9?
s
Let v(s) = s**3 - s + 6. Let f be v(0). Suppose -d + f = d. Suppose -d*n - 4 = -4*b, 5*n + 2*b + 2*b - 4 = 0. Is n at most -2?
False
Let r be 2/(-15)*1*50/(-15). Suppose h = 4*y - 5, y - 5*h + 8 = 33. Do r and y have the same value?
False
Suppose -2*w - 2*z = -8, -w + 2*z - 9 = -2*w. Let j(k) = -13*k**2 + 25*k + 1. Let y be j(2). Does y = w?
True
Suppose -70 = 4*y + 2*t, -4*y + 5*t - 48 - 57 = 0. Is y greater than -21?
True
Let w(b) = -b**3 - b**2 + b - 2. Let p be w(-2). Let a(c) = c**2 + c - 6. Let t be a(p). Let l = t + 8. Which is smaller: l or 5?
l
Let m(n) = n + 6. Let t be m(-7). Let o be 2/8*(-3 + t). Which is smaller: o or -2/9?
o
Let c = -0.32 + 0.02. Is -0.3 <= c?
True
Let w = 9 - 65/7. Suppose -3*a = -2 - 10. Let c be (-9)/a + (4 - 2). Which is greater: w or c?
c
Suppose 0 = 2*z + 5*s - 2 - 0, 5*z + 2*s - 26 = 0. Let a(f) = f**2 - 5*f - 7. Let x be a(z). Which is smaller: -2/7 or x?
x
Let y = 10 - 11.4. Let t = y - -1.47. Let g = 0.17 - t. Is g > -1?
True
Suppose -10 = 3*w + 2. Which is bigger: -3 or w?
-3
Let c = 0.39 + -0.39. Do c and -0.19 have different values?
True
Let h be (-2)/(-4)*(-10)/15. Let r = 63 + -63.1. Which is greater: h or r?
r
Let s = -0.08 - -0.06. Let k = s + -1.98. Which is greater: k or -1/2?
-1/2
Let k = -5 - -7. Let h = -18 + 25. Suppose 2*s + 2 = 3*m - h*m, -k*s - 2 = 2*m. Which is smaller: m or 2/5?
m
Let o = 12.1 - 3.1. Which is bigger: -3/2 or o?
o
Let s = 0.05 + -1.05. Let q = s - 2. Let m = 3 + q. Which is smaller: -0.1 or m?
-0.1
Let c = -20404/9 - -2270. Is 4 < c?
False
Let u be 1/(3/(-9)) + 17. Is u >= 13?
True
Let r(u) = -u**2 - 11*u - 12. Let q be r(-10). Let g = 3 - q. Suppose -g*k + 1 = -4. Which is smaller: k or 3/4?
3/4
Let z be 47/(-15) - (-3 - 0/(-3)). Let b = -2 + 3. Are b and z unequal?
True
Let j be -2 + (-1 + 2)*-5. Which is smaller: -8 or j?
-8
Let r = 7 + -3. Suppose -r*z - z + 30 = 0. Let o(j) = -j**2 + 7*j - 8. Let i be o(z). Which is smaller: -4 or i?
-4
Let p = -0.5 - 0.8. Let m = p + -5.7. Let o = -2 + 2. Which is bigger: o or m?
o
Let t be 1 + 0 - 2 - -1. Suppose 0*p + 5*p - 10 = t. Suppose -2*s + 5*s - 3*k = 6, -k + p = s. Is s equal to 2?
True
Let l = -5 - -3. Let d = -2 + 1. Which is bigger: l or d?
d
Let y = -0.1 - 0.9. Are y and -14 equal?
False
Let d be 6/(-4)*(-8)/6. Let f(c) = -c**3 - 5*c**2 + 6*c - 1. Let k be f(-6). Which is greater: d or k?
d
Let w be (-22)/(-33)*6/4. Is 6 <= w?
False
Let d be 2/3 + (-120)/(-9). Let o be ((-9)/42)/(4/d). Which is bigger: o or -1?
o
Suppose -4*n + 10 + 6 = 0. Suppose x - 12 = n*x. Which is smaller: -3 or x?
x
Suppose 3*l - 6*l - 54 = 0. Is -19 >= l?
False
Let i = 10 + -11. Are -2 and i unequal?
True
Suppose -57 = 5*z + 2*a, 0*a = 2*a + 2. Is 0 greater than or equal to z?
True
Let q be 11/4 - (-1)/4. Suppose 0 = j - 0*j + o + 29, -5*j - 3*o = 141. Let c = -24 - j. Is q < c?
False
Let y = 777 - 419. Let i = -205421012/574515 - 2/63835. Let f = y + i. Is f at least as big as 1?
False
Let s = -12 + 14. Is s greater than 0?
True
Suppose 7*y - 97 = -4*g + 2*y, -5*g = 5*y - 115. Do 84/5 and g have different values?
True
Suppose -4 = z + z. Let h be (0/(-3) + 0)/(1 - 2). Which is smaller: z or h?
z
Let m be (72/60)/((1/(-30))/(-1)). Which is smaller: m or 38?
m
Let i(c) be the second derivative of c**4/3 + c**3 + 3*c. Let t be i(-5). Let r be 18/(-45) - (-18)/t. Is -1 at most as big as r?
True
Suppose -2*k - 16 + 0 = 0. Which is greater: k or -9?
k
Let t be 2/((-7)/(63/(-6))). Let f(g) = g**2 - 4. Let n be f(t). Which is smaller: 6 or n?
n
Let z be -1*36/34 + 1. Let u be (-4)/(-10) - (-42)/30*-1. Which is smaller: z or u?
u
Let n(m) = -16*m + 2. Let f be n(-2). Let q = f + -100/3. Let u = 0.3 - -0.7. Which is smaller: q or u?
q
Let d = -3021685/25858 - 1/3694. Let i = 116 + d. Is i <= 0?
True
Let d = 0.03 + -0.13. Let c = d + 0.2. Which is bigger: 0.3 or c?
0.3
Let q(i) = -i + 7. Let f be 32/12 + 4/(-6). Suppose -a - 4*o - 12 = 0, -2*a - f*o + 7 = 1. Let l be q(a). Is -1 >= l?
True
Let z = -69 + 71. Suppose -7*v + 3*f = -2*v + 18, -2*v - 8 = -f. Let y be (-8)/v*1/2. Which is smaller: y or z?
y
Suppose 5*d = -4*h + 11, -5*h + 0*d + 24 = -4*d. Suppose h*x - 10 = 9*x. Is x bigger than 0?
False
Let y be (-2)/2 - (18 + -1). Let x = 23 + y. Is -3 not equal to x?
True
Let g = -7.032 - -7. Let z = -0.302 - g. Let v = -0.07 - z. Do v and -1 have the same value?
False
Let h = 155 - 623/4. Which is smaller: 3 or h?
h
Let x = -2 + 3. Let b(s) = 2*s + 1. Let w be b(-3). Let u(v) = -v - 6. Let i be u(w). Which is greater: i or x?
x
Suppose -q - 1 = -2. Let w be ((-3)/(-1))/3 + q. Let v be (-38)/(-20) + (0 - (-6)/(-12)). Which is greater: v or w?
w
Let r be -2*14/20 + 2/5. Which is greater: r or 2/163?
2/163
Let m = 1 - 1. Let y be (9/(-2))/(2/8). Let c be 20/y*(-3)/5. Is m smaller than c?
True
Let k(v) = -v - 4. Let j be k(-3). Let p = -20 - -14. Let t be 1/3 - p/(-12). Which is greater: j or t?
t
Let r be ((-30)/8)/(3/(-12)). Suppose 4*p = 1 + r. Suppose p*s = -0*s. Are 2/7 and s equal?
False
Suppose 9 = -4*d + 5. Let o be (0 + -3)*(-2 - d). Is o at least as big as 2?
True
Let d = -22.3 + 22. Which is smaller: d or 6/11?
d
Let x = -4 - -6. Suppose -10 - x = 4*k. Is k equal to -1?
False
Let x = -5.3 + -83.7. Let o = 94.1 + x. Let u = o - 5. Which is greater: -0.1 or u?
u
Let x = 5 - 10. Let g = -10.2 + 5.4. Let l = g - x. Which is smaller: -3 or l?
-3
Let x be ((-2)/10)/(7/(-5)). Let v be 3 - ((-8)/(-2) + -1). Let n be v/((-3 - 3)/3). Which is greater: x or n?
x
Let k be 5*(6/5 - 2). Let v = k + 5. Suppose -u + v = -0*u. Is 0 greater than u?
False
Let v = -5.4 - -1.4. Let s = -3 - v. Which is smaller: s or -4?
-4
Suppose -h + 6 = -3*y, 8 = -4*y - 0. Does -2/9 = h?
False
Let o = 6 + -4. Let n = 9 - 15. Let k = n - -6. Which is greater: o or k?
o
Let g = -24 + 29. Are g and 4 unequal?
True
Suppose -2*m - 3*m + 40 = 0. Let x = 9 - m. Whi