5*o. Does h = p?
False
Let a = 0 + 0. Let b = 0 + a. Let v = b + -1. Is 0.1 < v?
False
Let x be 0*(-1 - (0 + 0)). Suppose 0 = 5*c - 30 + 10. Let q = -2 + c. Which is smaller: q or x?
x
Let r = -2 + 3. Let o be (-2)/(-12)*6/4. Let b = 1/4 + o. Is b <= r?
True
Let g = 7 - 6.94. Let p = 0.46 - g. Let d = 0.6 + p. Is -0.3 less than d?
True
Suppose -4*p = -12, 3*y - 4*p = 7*y + 4. Let m be y - -5 - (-6)/(-2). Which is greater: -1 or m?
-1
Let n = 62/3 + -20. Let d be ((-1)/2)/((-2)/4). Let j be (-1)/2*(d - 2). Are n and j equal?
False
Suppose -3*z - 43 = -c + 108, 0 = -3*c - 15. Let u = z + 207/4. Which is smaller: u or -1?
-1
Let j be 297/45*(-5)/4. Is -7 less than or equal to j?
False
Suppose 4*v + 20 = -4*g, 0*v + v + 11 = 2*g. Is 2 bigger than v?
True
Let b = 5 + 2. Suppose -10*l = -9*l + b. Is l smaller than 0.1?
True
Let s = 10 + -12.9. Let o = s - -0.9. Which is smaller: 1 or o?
o
Let h = 4465/7 - 639. Which is smaller: h or -2/3?
h
Let a be (-2)/(-3) + 1/3. Suppose -a = 4*l - 5. Let s = -3 + 13/4. Which is greater: s or l?
l
Let d be (-1)/4 + 63/(-84). Which is greater: -1/2 or d?
-1/2
Let i = 89 + -69. Does i = 20?
True
Suppose 5 = 4*x + x, 5*o + 8 = 3*x. Which is bigger: o or -3/19?
-3/19
Let o = 0.091 + -0.131. Suppose -2*b - 1 = 1. Let s = 0 - b. Which is smaller: o or s?
o
Let b be (0 - (4 - 7)) + -4. Which is smaller: -2/45 or b?
b
Let x be (-6)/(-3)*(-2)/24. Is 0 greater than or equal to x?
True
Let o = -92 + 5519/60. Let i = -626341 + 263063393/420. Let q = o - i. Is -1 equal to q?
False
Suppose -3*n + 0 = -3. Is n greater than 1/4?
True
Let x be 1/(5/(-2)) + 0. Suppose 0 = -4*w - 0*w - 2*l - 10, -9 = 3*l. Which is bigger: x or w?
x
Let j be 1*2/60*4. Let d = 49/30 - j. Which is smaller: d or 3?
d
Let v be (6 - 3)/((-2)/(-2)). Let i be ((-20)/(-2))/2 + -2. Is i bigger than v?
False
Let a = 3 - 0. Suppose 4*k - a = -19, 4*k = -5*i - 16. Suppose -2*h + 8 = -i*h - 2*x, h - 4*x = 16. Is h less than -1?
False
Let j be (-87)/(-90)*-4 + 4/6. Which is bigger: -3 or j?
-3
Suppose -5*r = -6*r + 3. Let o = -2 - -7. Suppose -o*m - 4 = -3*w + w, 0 = r*w - 4*m - 6. Which is smaller: w or 3?
w
Let i = 0.06 + 0.07. Let v = -1.87 - i. Is v at most as big as 1/2?
True
Let g be -3*(159/(-9) - 3). Let w = 17173/5 + -3497. Let q = g + w. Are 0.1 and q nonequal?
True
Let b = 2 - 3. Let t be -4 + (b + 3 - -1). Which is smaller: -3 or t?
-3
Let f(t) = -t**3 - 6*t**2 - 1. Let b be f(-6). Let h be (-4)/(-30)*(-9)/15. Let s = h + -8/25. Which is greater: b or s?
s
Let k be (-17)/(-2) + 1 + -1. Let c = k + -9. Let a = -1 + -1. Which is bigger: a or c?
c
Let q be (-3)/(-14)*(-28)/(-21). Is q greater than or equal to 1/5?
True
Suppose 5*n + 31 = 11. Suppose 2*w + 1 = -a, -a = 3*w - 8*w + 1. Let l be ((-4)/(-3))/2*a. Is n <= l?
True
Suppose 4*r - 4*y + 60 = 0, 5*r + 80 = 4*y - 0*y. Let u = r - -18. Let m = 0 - 0.2. Is u not equal to m?
True
Suppose 8 = 2*u - 0. Suppose 3*x - 4*s - 13 = -9*s, -6 = 2*x - u*s. Which is smaller: 1/9 or x?
1/9
Let h = -10 - -10. Suppose 2*r + 0*r + 4*o + 8 = h, 26 = -5*r - 4*o. Let q = -6 - r. Is 2/29 at most as big as q?
False
Let o = -8 + 8.06. Let p = o - -0.14. Which is bigger: p or -2?
p
Let z = 9 - 19. Which is greater: z or -8?
-8
Let h = -3.1 + 3.02. Is h greater than 0.4?
False
Let y = -13 - -19. Let g = -5 + y. Is 0 greater than or equal to g?
False
Suppose 0 = -5*r + 8*r + 42. Let n be 46/(-42) - r/21. Is 3 greater than or equal to n?
True
Suppose 4 = j, -4*y - 4*j = -3*y - 17. Are -3/16 and y unequal?
True
Let r = -49 - -48.8. Which is bigger: 29/5 or r?
29/5
Let z(q) be the first derivative of -q**3/3 - 5*q**2/2 - 6*q + 3. Let r be z(-4). Which is smaller: r or -1?
r
Suppose 0 = 3*c - 41 + 32. Which is bigger: 6 or c?
6
Let y = 3.61 + 0.39. Is y >= 3?
True
Let d = 10/93 - 433/3162. Let b = 127/306 - d. Which is bigger: 1 or b?
1
Let i be ((-6)/5)/(135/150). Is i != 0?
True
Let n = -5 - -8. Is n at most 4?
True
Let i be (-2)/5 - 560/(-25). Suppose 4*z = 2*r, -i + 7 = -5*z. Suppose -3*j = 3*g - 30, 0 = 2*j + 3*j + 3*g - 40. Which is greater: r or j?
r
Let a(s) = 4*s + 4. Let d be a(-1). Is -1/39 at least as big as d?
False
Let h = -113 + 113. Which is greater: -2/397 or h?
h
Let u = 11 + -10. Is u < 0.1?
False
Let s = -18448/11 + 1679. Does 3 = s?
False
Let l be (1 - 8/4)*0. Are -1/2 and l nonequal?
True
Let n = 66/5 - 1071/80. Let f be (1 - (2 + -1))/2. Which is bigger: n or f?
f
Let c = -614/7 + 88. Which is bigger: c or -2?
c
Let w be 9/(-15) + (-54)/10. Let f be (4/w)/(2/18). Let m be 5/((-15)/f) - 2. Which is smaller: -1 or m?
-1
Let n be (4/4)/(4/(-4)). Which is bigger: -5/7 or n?
-5/7
Let s be -8*(0 + 2/(-4)). Let y(z) be the third derivative of z**6/120 - z**5/20 + z**4/12 - z**3/2 - z**2. Let v be y(3). Which is smaller: s or v?
v
Let s = -1 - -1.4. Let r be (6/(-36))/((-1)/3). Which is greater: r or s?
r
Let u = -17 - -2. Let f be (u/6 + 2)*0. Let d(i) = i**2 + 3*i - 3. Let k be d(-3). Is f smaller than k?
False
Let u = 31/4 + -8. Which is greater: u or 0?
0
Let r = 4 + -3.4. Let n = -0.3 + r. Let s = -41 - -43. Which is greater: s or n?
s
Suppose 2*b + 8 = 0, -3*b = 2*u - 3*u + 10. Let s = -1 - -4. Suppose -5*q + s = h, 5*h + 15 = 4*q + q. Are h and u equal?
True
Suppose h - 10 = -8. Suppose -4*k + 3*q = -0*q - 3, 0 = h*k + 2*q - 12. Let n be 1 + (1 - 0 - -1). Is k bigger than n?
False
Let q be 63/(-6)*2/3. Which is greater: q or -2?
-2
Suppose 3*c + 0*c = -270. Let r = c - -628/7. Which is smaller: 1/5 or r?
r
Let t(v) = -v**2 + v + 6. Let y be t(0). Which is bigger: 5 or y?
y
Suppose -u - u = -36. Let i be (-2)/(-3)*189/u. Is i greater than 7?
False
Let b = -1.9 - -1. Let r = b - 0.1. Let c = -0.03 + -0.07. Which is bigger: c or r?
c
Suppose 5 = 2*u + 1. Let m be (-1)/(-15)*u/1. Which is smaller: -1 or m?
-1
Suppose 16 = s + 3*n, -6*s + s + 136 = n. Is s at least 28?
True
Suppose -28*m = -31*m - 12. Are -1 and m non-equal?
True
Let g be 2/1*(-3)/2. Let t be 2/6*(g - -1). Let x be (-1)/4 + 3/(-4). Which is smaller: x or t?
x
Let a be (1 + 5/(-5))/3. Which is bigger: a or -9/20?
a
Let q = 73/196 - 6/49. Which is greater: -0.18 or q?
q
Let c = -3/2 + 11/6. Which is smaller: c or 1?
c
Let s(l) = -2*l**2 - 3*l - 1. Let x be s(-2). Let r = 14 + -16. Which is smaller: x or r?
x
Let s = 3 + -2. Which is smaller: -2/11 or s?
-2/11
Let y(w) = -w - 6. Let c be y(-6). Suppose c*h - h = 5. Let g be ((-3)/3 - 1)/h. Which is greater: g or 0?
g
Let h be 2/3 + (-42)/9. Let z(p) = 23*p + 18. Let x be z(-1). Which is smaller: x or h?
x
Let h = 3.1 - 2.1. Which is greater: h or 1/5?
h
Let b be (6/9)/(2/(-6)). Let c = b - 8. Is 1/4 != c?
True
Suppose 4*v - 14 = 2. Suppose 0 = n - 6*n, -o - v*n = 2. Which is smaller: o or 4?
o
Let g be ((-3)/(-9))/(1/(-1)). Suppose 15*z - 11*z = -11*z. Which is smaller: g or z?
g
Let q be (2/(-8))/(1/(-8)). Suppose -4*t = -q*t - 2. Are 1 and t unequal?
False
Suppose 3*l + 15 = 6*l. Suppose -l*s - 20 = -3*s - 5*i, -4 = 4*s - i. Which is smaller: -1/2 or s?
-1/2
Let i = -13 - -18. Let s = -1.2 + -3.8. Let l = s - -4.9. Are i and l unequal?
True
Let f be -3 - (-1 - -10)/(-1). Suppose 0*t = -t + f. Let x be 20/(-8)*t/5. Do -1 and x have different values?
True
Let j = -3023/5 - -596. Which is greater: j or -9?
j
Let c = -37/10 - -319/70. Let u be 3/(1 + (-2)/(-4)). Which is smaller: c or u?
c
Suppose 3*q + q - 48 = 0. Let o be (-16)/q*9/6. Is -1 smaller than o?
False
Suppose -30 = -3*d - 3. Let q = 6 - d. Which is smaller: q or -4?
-4
Let v = 2.05 - 2. Let d = -3.05 + v. Let p = d - -3.2. Is p equal to 2/7?
False
Let r = 1.06 + -0.06. Let k be (-1 - 0)/((-3)/21). Which is smaller: r or k?
r
Let m = -1712429706 + 570238428427/333. Let c = m - -1993. Let h = -76/333 - c. Is 0 != h?
True
Let u be ((-30)/(-9)*-3)/(-2). Let s be (2/(-4) + 1)*0. Suppose 3*l - 4*j - 28 = s, 1 = l + 3*j + 9. Is l smaller than u?
True
Let m = -17 - -12. Let z = 1 + -8. Let c = 2 + z. Is c > m?
False
Let c be 1/7 + (-78)/(-42). Do 8/3 and c have different values?
True
Let c = 18 + -17. Is -2/13 less than c?
True
Let g(q) = 6*q + 3*q**2 - q**2 - 13 + 10. Let j be g(-4). Are j and 4 equal?
False
Let f(i) = i**2 - i - 3. Let m be f(-3). Let q(x) = -8 - x**2 + 5*x + 5*x + 0. Let n be q(m). Is 1 bigger than n?
False
Let m(t) = t**