 be -3 - (45/f)/(-3). Let n be ((-8)/3)/(2/6). Does n = r?
True
Let z = -8 + 11. Suppose r = -z*m + 9, 3*m + 0*r - 3 = r. Which is greater: m or 1/4?
m
Let y(w) = -w - 3. Let o be y(3). Are o and -6 equal?
True
Let z = 1297/5 - 5473/20. Let l = -14 - z. Is 1/4 at least l?
True
Let j(y) = -y**2 - 3*y + 9. Let v be j(-5). Which is bigger: v or -4?
v
Let b = -9 - -5. Let j = 0.072 + -7.972. Let y = 8 + j. Which is bigger: b or y?
y
Let y(l) = -6*l**3 + l**2 + l. Let d be y(-1). Let v(w) = w**3 - 6*w**2 - w + 6. Let c be v(d). Which is smaller: 0.06 or c?
c
Let x be (1 - 0)*(-1 + 2). Let f = -0.06 + 5.06. Which is smaller: f or x?
x
Let k = 0.1 + -0.1. Let v = 0.6 - 1. Let o = 0.5 + v. Which is bigger: o or k?
o
Let c be (-2 - (-5)/2)*0. Suppose 8 = 2*m + 4. Let q be (0*m/4)/(-1). Is q less than or equal to c?
True
Suppose 3*d = 11 + 7. Is 11/2 less than or equal to d?
True
Suppose k - 5*k + 8 = 0. Are k and 1 non-equal?
True
Let j = -8 - -4. Which is bigger: -34/7 or j?
j
Suppose 5*u = -20, 3*v + 3*u + 2 = -1. Which is smaller: 4 or v?
v
Let w be (2/(-3))/(469/21). Which is smaller: -1 or w?
-1
Let g(r) = 4*r. Let a be g(-1). Let k(s) = s**3 + 3*s**2 - 3*s + 2. Let c be k(a). Let m be (-3)/(c + (-47)/2). Is m not equal to 0?
True
Suppose 6*x = 2*x + 4. Let b be (-68)/(-20)*x + -3. Which is greater: 0.3 or b?
b
Suppose -3*w = v + 8 + 2, -5*w = -3*v + 26. Let x(z) = -z**2 - 5*z - 2. Let y be x(w). Is 4/3 < y?
True
Suppose -3*t - 16 = t. Let o = t + 11. Suppose -4*y - o = 9. Is y != -4?
False
Suppose 0*h - 36 = -6*h. Which is greater: h or -1?
h
Let b(n) = n**2 + n - 2. Let m be b(-4). Suppose 2*z + 0*z = -3*r - m, -3*r + 3*z = 0. Is r at most -1?
True
Let i = -2 + 4. Let z = 2.26 - 0.16. Let b = i - z. Is -0.1 greater than or equal to b?
True
Suppose 0 = -2*q + 3*y + 3, y = -4*q + 5*q + 1. Let u be (3/1)/9*69. Suppose 4*t = 5*b + 29, -b + u = -6*b - 2*t. Which is smaller: b or q?
q
Let o = 111.11 - 108. Let q = o + -0.11. Which is smaller: q or -1/2?
-1/2
Let m = 10 + -12. Let r be (-2)/m*(-3 + 2). Is 1 not equal to r?
True
Let u = -0.06 + -0.94. Which is bigger: 4 or u?
4
Let i be 11/7 - 2/2. Let z = i - 5/21. Suppose 0 = 2*u, 3*w + 0*u = 3*u. Is w > z?
False
Let j be -4 - ((-251)/44 + (-8)/(-32)). Is j greater than or equal to 2?
False
Let x = -38 - -71/2. Let d(b) = -b**3 + 9*b**2 - b + 8. Let l be d(9). Is x less than or equal to l?
True
Let p be (-40)/(-50) - (-2)/(-10). Let m be 6/10 + (-28)/(-20). Is p at least m?
False
Let t = -382/291 + -2/97. Is -1 <= t?
False
Suppose 0 = 3*r - 7 - 5. Let w be (-1 - r)*(-76)/230. Let o = w + -1512/943. Which is smaller: -1 or o?
-1
Suppose a + 0*c - 5*c + 4 = 0, 3 = 3*c. Which is greater: a or 1/26?
a
Let n = 585 + -583. Let d = -0.11 + -0.99. Do d and n have the same value?
False
Let y(f) be the third derivative of -f**4/24 + 4*f**3/3 + 4*f**2. Let q be y(6). Which is smaller: q or -2/7?
-2/7
Let l(v) be the second derivative of v**3/6 - v**2 + 3*v. Let k be l(3). Is 1 greater than k?
False
Let m be 1/2 + 13/(-10). Let n = -13 - -11. Is n bigger than m?
False
Let y(o) be the first derivative of o**4/4 + o**3/3 + o**2/2 + 9*o - 3. Let w be y(0). Suppose -h + w = 4*p - 9, 4*h = -5*p + 39. Are h and 5 equal?
False
Let h(q) = -q**3 + 6*q**2 + 12*q - 48. Let g be h(6). Is g at most as big as 24?
True
Let x be 2 - (-30)/(-11) - 0. Which is bigger: -1 or x?
x
Let y(c) = -32*c - 8. Let i be y(-4). Let m be -3 + 4/i*87. Which is greater: -1 or m?
m
Let h be (-75)/2 + (-44)/8 + 5. Is -38 at least as big as h?
True
Let n = 8 - 13. Which is bigger: 2 or n?
2
Let v be (40/(-12))/((-1)/27). Let y be (-2)/v - (-2)/(-10). Let w be 1/(-2)*3/6. Which is greater: y or w?
y
Suppose 0 = -5*z + 4*z. Suppose -2*v + 8 = -2*o, 4*o - 1 - 19 = 0. Which is smaller: v or z?
z
Let k be 0*(0 + (-2)/(-4)). Let g(f) = -5*f + 36. Let v be g(7). Which is bigger: v or k?
v
Let h(j) = j**3 - 9*j**2 + 2*j - 18. Let m be h(9). Suppose -5*r = -2*y - 4*r - 5, 5*y + 3*r = 4. Does y = m?
False
Suppose 6*b - 1 = -7. Is b >= -12/19?
False
Let k be (-25)/(-50) - (-38)/(-4). Let l be -10 + (0 - -1*1). Let n = l - k. Is -3/8 < n?
True
Suppose -h - 8*h = 0. Is h >= -5/9?
True
Let h = -186 - -148. Which is greater: -1 or h?
-1
Let k = 0.14 + -0.1. Is k != -1/5?
True
Let m = 17 - 17. Which is bigger: -2/5 or m?
m
Let o = -3367/3 - -1113. Is o at most -8?
True
Let d = -0.122 + -6.828. Let b = d + -0.05. Let t = b - -7.3. Which is smaller: -1 or t?
-1
Suppose 2*l - 3 = 2*s - 1, -4*l - 2 = -2*s. Which is bigger: 0.1 or s?
0.1
Let s be 2*(-1)/8*1. Let f be (-7)/18*6/(-4). Let i = f + s. Which is smaller: -2 or i?
-2
Let i = 9/14 - 1/7. Let y = -0.56 - -0.36. Is y >= i?
False
Let s = -7.36 - -7.4. Let q = 0.2 + -1.2. Is s <= q?
False
Suppose -5*p - k - 3 = 0, 0 = -6*p + p + 3*k + 9. Which is smaller: 1/29 or p?
p
Suppose 30 = 3*y + 3*s, 0 = -8*s + 3*s + 5. Let g be y/(-12)*-1 - 1. Which is smaller: g or -1?
-1
Let t = 0.22 + -1.09. Let s = -0.13 + t. Which is bigger: -0.1 or s?
-0.1
Let m be -2 + (-5 + 2 - 1886/(-378)). Let i = 67816/27 + -2512. Let o = m - i. Do -0.3 and o have the same value?
False
Let q be (-4)/22 - (-602)/(-77). Let o be q/(-15) - 6/(-9). Which is smaller: 2 or o?
o
Suppose -3*x = 2*x - 5. Let g be -1 + -4 - (-2)/(-2). Let d(w) = w + 8. Let i be d(g). Which is bigger: x or i?
i
Let o = -49 + 47. Let u = 0.12 - -2.38. Let j = 0.5 + u. Which is smaller: o or j?
o
Suppose -4*c + c = -2*d - 13, -3*d = -3*c + 12. Let x(n) = n**2 - 9*n + 20. Let z be x(6). Which is smaller: z or d?
d
Let v = 66 - 78.4. Let t = v - -6.2. Let s = 6 + t. Which is greater: s or -1/4?
s
Let z(t) = -t**2 + 3*t. Let b be z(3). Let c = 0.6 + -0.3. Let k = c - 0.2. Is k less than or equal to b?
False
Let t = 13 - 115/9. Suppose -2*n = -4*n - 4*u - 6, -4*n - 5*u = 21. Let h be 6/n + (-2)/(-3). Which is greater: t or h?
t
Let q be (-2)/4*2 - 2. Let n(j) = j**2 - 6*j + 5. Let r be n(4). Let w = q - r. Which is bigger: 1/3 or w?
1/3
Let n be 3 - 1 - 121/55. Let i = n - -2/5. Is -0.3 less than or equal to i?
True
Let m = 4 + -4. Suppose 4*u + m - 12 = 0. Which is greater: u or 1?
u
Let m = -84.73 - -86. Let p = 0.27 - m. Does 3/7 = p?
False
Let s = 18 + -13. Let l(y) = -y + 5*y - 3*y - s. Let f be l(4). Are -2/35 and f unequal?
True
Let t be (-4 + (-5)/(-2))*-2. Let y(l) = l**3 - 3*l**2 + l - 3. Let q be y(t). Which is greater: q or 10/7?
10/7
Let v = -23 + 23. Suppose -11 - 4 = -3*z. Let b = z - 6. Is b >= v?
False
Let i = 200/1411 + -2/83. Let a = 3 + -4. Is i <= a?
False
Let i be (-1 - 0)*(-1)/1. Which is smaller: -3/10 or i?
-3/10
Suppose 0 = 3*t + 7 - 7. Which is greater: -2 or t?
t
Let c(s) = s**3 + 8*s**2 - s - 12. Let w be c(-8). Which is greater: -6 or w?
w
Suppose -a + 5*a - 12 = 2*l, -4*a = 4*l. Suppose 3 = j + a. Is -1/15 at most as big as j?
True
Let w = 28 - 29. Is w > -3/4?
False
Let k(g) = -g**2 - 12*g - 12. Let o be k(-9). Let u = o - 19. Is u at most as big as -1?
True
Let n be (7/42)/((-41)/(-4)). Is -1 smaller than n?
True
Let n be ((-2)/2)/(19/57). Which is smaller: n or -4?
-4
Let o be 2/3 - 91/(-21). Suppose -o*x + 2*x + 5*s + 14 = 0, -3*s - 12 = 0. Which is greater: x or -6/5?
-6/5
Let o be (-314)/48*(-16)/12. Let h = 11/9 - o. Let f = h - -47/6. Which is smaller: 0 or f?
0
Suppose -7 = -3*m - 22. Are m and -11 equal?
False
Suppose 13 = 2*q - x, 4*x + 0*x = -2*q + 38. Which is smaller: 7 or q?
7
Let b = 0.02 - 0.02. Let f be 7 + -8 - 10/(-18). Is b bigger than f?
True
Suppose 4*m - 8*m + 20 = 0. Let y = 6/17 - 29/34. Which is smaller: y or m?
y
Let f(r) = -r**2 - r - 1. Let n be f(2). Which is greater: n or -9?
n
Suppose r = 3*v + 5, -3 = 5*r + 2*v - 3*v. Let h(d) = d**2 + d - 151. Let j be h(0). Let w = j - -1511/10. Do r and w have different values?
True
Let c = 1276/7 + -183. Suppose 5*g - 8 = 3*q - 4, g + 3*q + 10 = 0. Which is greater: c or g?
c
Suppose 2 = 4*s - 2*s. Let k = s - 1. Let c be -3*3*3/(-135). Is c at least k?
True
Let m(r) = -2 + 2*r + 1 + 3*r + r**2 + 2*r. Let b be m(-7). Let c = 22/5 - 5. Is b at most c?
True
Let r = -0.1 + 0.4. Let k = -0.35 + r. Let m = k - -1.05. Which is smaller: m or 3?
m
Let s = -113 + 445/4. Which is bigger: s or -2?
s
Suppose -3*z - 20 = -3*f - z, f - 3*z - 16 = 0. Suppose -8 = -0*x - f*x. Suppose -3*