to -2/11?
True
Let q = 0.1 - 0. Which is smaller: -5 or q?
-5
Let c be (-24)/(-26)*(366 - 8). Let z = -330 + c. Which is smaller: z or 1?
z
Let f = -13/4 + 3. Is 1/4 greater than or equal to f?
True
Let c = -3/137 + -229/2055. Which is bigger: 1 or c?
1
Suppose 0 = 4*t + 4*j + 68, -2*t - 14 = -2*j - 0. Are t and -12 nonequal?
False
Let m = -65.6 - 10.4. Do -0.1 and m have different values?
True
Let a = -7 - -9. Is a less than or equal to 2?
True
Let f(q) = q**2 + 5*q + 4. Let d be f(-3). Let r be d/7 + 19/(-7). Which is greater: r or -6?
r
Let r = 18 + -17.82. Do r and 1 have the same value?
False
Suppose -4*m = -37 + 5. Let d = m - 4. Let q be 5/d*4/10. Is q greater than 1?
False
Let g be 6/(-2) - 85/(-28). Let l = g + 3/14. Is 0 smaller than l?
True
Let q = 56 - 85. Is q < -28?
True
Let t = -11 + 17. Suppose -2*u + 40 = -t*u. Which is greater: -8 or u?
-8
Let z = -239124632 + 10757883079/45. Let q = z + 60569. Let f = 56/9 - q. Is 1 equal to f?
False
Let q(k) = 2*k**2 - k. Let g be q(-1). Let s = 4 - g. Let o = 37/7 + -5. Is s less than or equal to o?
False
Let x(l) = l**2 - l. Let b be x(2). Let k = b - 2. Let m = -117 + 587/5. Is m less than k?
False
Let p = -0.43 + 0.53. Which is smaller: 4.3 or p?
p
Suppose -6 + 2 = 4*n + 3*q, -n - 1 = -2*q. Let a be (4 + -3)/(n/(-1)). Is 1 greater than or equal to a?
True
Let k = 6.98 - 7. Is 1 at least as big as k?
True
Let c = 121 - 118. Which is greater: -1 or c?
c
Let y(o) = o**2 + 6*o. Let t be y(-6). Let j(i) be the third derivative of i**4/24 - 4*i**3/3 - 5*i**2. Let h be j(8). Does h = t?
True
Let j(k) be the second derivative of k**5/20 + k**4/4 - k**3/2 - 3*k. Let x be j(-4). Which is greater: -2/7 or x?
-2/7
Let s = 8 - 7.97. Let q = s - -0.17. Let w be ((-2)/(-12))/((-2)/8). Which is smaller: w or q?
w
Let n = 17/56 + -3/56. Suppose 5 = -l + 2. Let f = l - -3. Which is smaller: n or f?
f
Suppose 2*s - 15 = -5*b, -4*b + 5 = -3*s - 7. Let p(l) = l + 4. Let k be p(-4). Is k smaller than s?
False
Let o be (-2)/5 + (-72)/(-30). Let j be (-6)/o*(-2)/(-3). Let s = 55/4 - 14. Which is smaller: s or j?
j
Let y be (-145)/(-35) + -3 - 1. Suppose m + 10 = 5*h, -2*m + 10*h = 5*h + 10. Is m <= y?
True
Suppose -2*n = n + 2*j + 9, 5*j = 2*n + 25. Let l be 3/9 - n/3. Is l greater than 3?
False
Suppose 27 + 43 = -2*h. Do -106/3 and h have different values?
True
Let v(m) = 3*m - 8. Let y be v(3). Which is greater: y or -1/35?
y
Suppose -54 = -3*a + 6. Suppose 4 = 3*w - a. Is w >= 8?
True
Let i = -214/5 - -41. Is -3 at least as big as i?
False
Suppose 12*p - 8*p - 72 = 0. Is p less than 17?
False
Let f = -0.4 + 1.4. Let o = -0.23 - 0.07. Which is bigger: o or f?
f
Let t be (-1596)/72 - (-2)/12. Which is smaller: t or -23?
-23
Let f(a) = a**3 + 2. Let h be f(-2). Let y = h + 8. Which is smaller: y or 1?
1
Let r be (-15)/6 + 3/(-2) - 1. Suppose -3 = n - 1. Which is smaller: r or n?
r
Let i = -23 + 22. Is -5 at most i?
True
Suppose 16 = 2*x + 3*a, -5*x + 2*a + 0 + 2 = 0. Suppose -4*k + 11 = -2*g + g, -2*g = -10. Which is greater: x or k?
k
Let d be 0 - 2/33*-1. Suppose 5*b + 2*n + 2 + 4 = 0, -b - 6 = 2*n. Which is smaller: b or d?
b
Suppose a = -a + 4. Let g = 54 - 50. Suppose 4*j - 2 = a*o + 4, 12 = 4*j - g*o. Is j less than 0?
False
Let i = 11 - 13. Which is smaller: i or -1?
i
Let j = -12 + 11.7. Suppose x = 3*s + 5, -x = -s + x - 10. Which is bigger: j or s?
s
Suppose 5*f + 17 + 8 = 0. Which is smaller: f or -22/5?
f
Let g(v) = 5*v - 20. Let a be g(15). Which is greater: a or 166/3?
166/3
Let m = 1598 - 183756/115. Let d = m - 12/23. Let l = 0 + 1. Which is greater: l or d?
l
Let b be 4/(-12)*2/8. Are b and 1 equal?
False
Let w = 161 - 20. Which is bigger: w or 142?
142
Let h(x) = x. Let p be h(4). Let l be 259/35 + p/(-10). Let d = -8 + l. Which is bigger: d or -2?
d
Let a be 19/(-7) - (1 - 4). Let b = a + 3/14. Is 2 less than or equal to b?
False
Let x be -103*(3 + -1)*(-3)/(-18). Which is bigger: x or -35?
x
Let i be (4/6)/(63/27). Is i != 2/75?
True
Let t(a) = -a**2 - 5*a - 3. Let s be t(-3). Suppose -2*q + 2*h + 9 = -5*q, 9 = -s*q + 4*h. Let x be ((-8)/36)/((-1)/q). Which is bigger: x or -2?
x
Suppose -5*r = l - 15, -4*r + 0*l = 2*l - 12. Suppose 5*y = -r - 12. Is y < -4?
False
Let s(a) = -2*a**2 + 2*a - 2. Suppose -5*g - 3 = 7, 3*m + 4*g + 2 = 0. Let c be s(m). Let k be 15/50*5/c. Is 0 != k?
True
Let k be 4/6 - 85/150. Let m = k + -23/30. Is m equal to 2/13?
False
Let h = 0.01 - 0.08. Let l = 3.93 - h. Let z = -3.9 + l. Do -2/9 and z have different values?
True
Let s = -255 - -168. Let y be 3/12 - s/(-12). Let w = y + 8. Which is smaller: 1/7 or w?
1/7
Let j be ((-9)/(-24))/(18/(-8)). Which is greater: 0 or j?
0
Let p = -0.01 - -1.01. Let i = -9 + p. Let s = 5 + i. Which is smaller: 2 or s?
s
Let o be (1/(-7))/((-12)/70). Let z = 0 + 0. Which is greater: o or z?
o
Let z(f) = 5*f**3 - 8*f**2 + 9*f + 3. Let y(p) = -4*p**3 + 7*p**2 - 8*p - 3. Let t(m) = -6*y(m) - 5*z(m). Let v be t(-3). Does v = 2?
False
Let o be (-2)/5 + 1152/80. Let z = 16 - o. Do z and 6/5 have the same value?
False
Let s = 13 - 5. Suppose -5*d + 4*l - 1 + s = 0, 0 = 3*d + 5*l + 18. Which is smaller: d or 1?
d
Let d be (2/3)/((-4)/(-6)). Let j(o) = 2*o**2 - 2*o. Let w be j(-2). Suppose -3*v = 3*a - w, -11 - 4 = -3*v - 4*a. Is v at least d?
True
Let m = -6.45 + 0.45. Is m >= 2/3?
False
Let o = -17 + 18. Which is greater: -1/3 or o?
o
Suppose -5*i + 5 = -2*o + 20, -3*i - 9 = 4*o. Which is greater: 3 or i?
3
Suppose 0 = 3*i + q + 3, -1 = i + 5*q - 14. Let b be (3/i)/(1/2). Let w = -172 + 341/2. Do w and b have different values?
True
Let i = -265/63 + 31/7. Which is smaller: i or -5?
-5
Let o be (1/2)/((-2)/52). Is o less than -13?
False
Suppose 0 = -8*y + 4*y. Suppose -8 = 4*f - 2*r, -3*f + 5*r - 7 + 1 = y. Which is greater: -0.1 or f?
-0.1
Suppose 4*u + 16 = -0*u. Let y = u - -4. Is -8/7 at most as big as y?
True
Let j = 22 - 23. Let h be (2/j)/((-15)/21). Is h smaller than 4?
True
Suppose 3*r = -r - 4. Let y be 4*(r/(-2))/(-1). Let f be ((-6)/(-9))/((-1)/3). Does y = f?
True
Suppose 3*z + 48 = 3*s, 3*s + 49 = -5*z - 31. Is z less than -16?
False
Let z be (0 + -3)*8/(-6). Suppose 5*c - 4 = -2*u + z*c, -4*c = 5*u - 7. Which is smaller: u or 8/5?
8/5
Suppose 4*d = -4 + 8. Suppose -5*a - d = -4*a. Is a less than or equal to -2/45?
True
Let s = -4 - -4.06. Let n = 0.42 - 0.52. Is n at most s?
True
Suppose 7*o = 4*o + 18. Suppose 1 = -f - o. Is f greater than -7?
False
Let z = -1 + 16. Let h = 22 - z. Let b = h + -5. Is 2/7 at most b?
True
Let m(k) = k**3 + 2*k**2 + 2*k + 1. Let d be m(-2). Let y(g) = g + 3. Let b be y(d). Suppose 0 = -o - 2*w - 2, -2*o - 2*w - 2 = -0*w. Is o at least b?
True
Suppose 0 = -3*x - 0*x. Which is bigger: 2/19 or x?
2/19
Let r be 195/(-30) - 10/(-2). Which is smaller: r or -1?
r
Let c = -67/4 - -17. Suppose 0 = -15*k + 19*k. Do k and c have different values?
True
Let s = 46 - 74. Is s at least as big as 1?
False
Let u = 104/85 + -14/17. Suppose 2 = 3*j - j. Which is smaller: u or j?
u
Suppose 0 = -p + 3*k - 6 - 9, 5*k + 55 = -5*p. Let m be (6/(-54))/(2/p). Are m and 2 equal?
False
Let w = 32 + -31. Let g be 116/(-308) + 2/7. Which is greater: g or w?
w
Let w = 7 + -16. Let h be 3/w - (-2)/5. Does 0 = h?
False
Let w = 11.47 + -0.47. Which is greater: w or 1/3?
w
Let m be 1 + 77/8*2. Let i = 559/28 - m. Which is smaller: i or -3?
-3
Suppose 0 = 5*j + 69 + 21. Is -15 at least j?
True
Let s(g) = -3452*g**3 + g**2. Let f be s(-1). Let p be (f/63)/((-4)/6). Let y = p - -165/2. Are y and 1 equal?
False
Let y(l) = -l**2 - 7*l + 4. Let v be y(-8). Is v <= -14/5?
True
Let u = -7 + 21. Suppose 2*z = -5*h + u, z + 3 = 3*h - 8*h. Is z != 16?
True
Let w = -65.95 - -64. Let s = w - 0.05. Is s greater than -2/9?
False
Let g = 17/2 - 8. Let r(y) = y**3 + 1. Let x be r(-1). Is g bigger than x?
True
Let l(o) = -o**2 - 3*o. Let q be l(-3). Let s be q + (-2)/12*-3. Is -1 at least as big as s?
False
Let m = 129 + -647/5. Let b = -10 + 11. Which is smaller: m or b?
m
Suppose 2*l + 14 + 112 = 0. Let o be (-12)/l*(-1)/(-2). Which is bigger: o or 1?
1
Let b(l) = -l**2 - 5*l - 3. Let f be b(-4). Let t(g) = g**2 + 9*g + 10. Let v be t(-7). Let q(h) = h**2 + 4*h + 2. Let i be q(v). Which is greater: f or i?
i
Suppose -4*z + 4 + 8 = 0. Let f