 - (0 + -1). Is q smaller than 1?
True
Suppose 2*z = -2*v + 4, -2*v + 3 + 3 = 3*z. Which is bigger: 13/5 or z?
13/5
Suppose 0 = 2*a - 3*a + 2. Suppose z - 3*z = a. Is -1 less than or equal to z?
True
Let n = 0.3 - 0.2. Let h be 2/(-8) + (-21)/(-4). Which is greater: n or h?
h
Suppose 5*g = -3*y + 2 - 30, -5 = g. Let d be (2 - (-24)/(-9))/y. Let p = 0.2 + 0.8. Are p and d nonequal?
True
Let b = 9/37 - -67/333. Suppose 3*o = 2*c - 2*o - 25, 0 = -3*c - 4*o - 20. Is c smaller than b?
True
Let v = -34.11 - -34. Let g = -1.11 - v. Let t = -14.93 + 15. Which is bigger: g or t?
t
Let k = -3.7 + 3.653. Is k less than or equal to 0?
True
Suppose 5 = 2*c - 37. Suppose -2*r - 4 = 4, -c = 3*u + 3*r. Let o be (u + -3)*1/(-2). Which is smaller: 5 or o?
o
Let l = -0.32 + 0.16. Let f = 0.06 + l. Which is smaller: -4 or f?
-4
Let t = 0.1 + -0.1. Suppose 2*k - 13 = -3. Suppose -2*n = -k*n - 3. Which is smaller: t or n?
n
Let u(k) = k**3 - 13*k**2 - 27*k - 21. Let p be u(15). Is 24 bigger than p?
False
Let n = 2 - 2. Let o be 1*13/(n + 1). Suppose 5*v - 3*i - 17 = 0, 2*i = -v + 5*i + o. Does 1/2 = v?
False
Suppose 2*b = 2*u + 4*b + 2, -23 = -2*u + 3*b. Suppose 4*z + 0*n = -u*n, 1 = -3*z - 2*n. Let j be (2/18)/(0 + z). Is j at least as big as -1?
True
Suppose -2 + 0 = -2*w. Is w at least 3/8?
True
Let n = -4 - -4. Suppose n = -2*v - 0 + 10. Are v and 5 unequal?
False
Let r = 718 + -15082/21. Which is smaller: r or 1?
r
Suppose -5*y + u + 25 = 2*u, -4*y - 4*u + 36 = 0. Suppose 0 = -4*k - 3*d + d + 10, -13 = -k + 3*d. Is k <= y?
True
Suppose -2*m - 1 = -m. Let w be 16/(-42)*3 - m. Suppose -4*c = -a - 5, -6*a = -4*a + 4*c - 2. Is w equal to a?
False
Let t(q) = -q - 2. Let s be t(0). Let k be ((-4)/6)/((-1)/(-27)). Let z be k/(-15) + (-2)/1. Which is bigger: s or z?
z
Let p = -1.5 - -12.5. Let d = 8 - p. Let s = d + 3.2. Which is greater: s or 2/3?
2/3
Let a(f) = -f**3 - 2*f**2 + 5*f + 2. Let k be a(-3). Let h be (-2)/k*(3 - -3). Let w be ((-2)/1)/(6 + -1). Which is smaller: w or h?
w
Let u(j) = j + 1. Let d be u(-5). Let m = -0.084 - 0.016. Is m smaller than d?
False
Let j = 27 - 26.87. Let s = 0.03 - j. Is -1 < s?
True
Let p(d) = -d + 6. Let j = -2 + 9. Let u be p(j). Is -1 <= u?
True
Let x = 58 + -288/5. Suppose 4*p + 3*j - 7 = 0, -p = 3*p - 4*j. Which is bigger: p or x?
p
Let g = 9 + -8.9. Which is greater: 0 or g?
g
Let w(q) = 3*q + 3. Let d be w(-5). Let b be 1/2 + (-6)/d. Which is smaller: 2 or b?
b
Let m = -2/3 - -25/42. Which is greater: 0 or m?
0
Let b = 76 + -313/4. Which is bigger: b or -2?
-2
Let t(r) be the first derivative of -3*r**2/2 + 2. Let v be t(1). Let z be (-1)/v - 8/(-12). Which is smaller: 2/3 or z?
2/3
Suppose 0 = -t + 3, -5*s - t + 1 = -22. Suppose -3*w + s*d = 4 - 1, w + 2*d = -1. Let g be (4/(-6))/(1/3). Which is greater: g or w?
w
Let q = 32.3 + -32. Which is greater: -0.6 or q?
q
Let p = -134 + 279/2. Suppose -f + 6*f = 35. Which is bigger: f or p?
f
Let h = -145 + 6523/45. Let y = -221/90 + h. Let l(c) = c**3 - 7*c**2 + 6*c - 4. Let f be l(6). Is y < f?
False
Let q = 25 - 17. Which is smaller: 10 or q?
q
Suppose -4*l + l = 0. Do -1/55 and l have the same value?
False
Suppose u = -4*u + 5*r, 5*u + 9 = -4*r. Let x(q) = 2*q. Let k be x(1). Let l = u + k. Which is smaller: l or -2/13?
-2/13
Let w be (-24)/231 + (-4)/22. Let j = -11 + 8. Is j greater than w?
False
Let d = 6 - 4. Let r be -1 - ((1 - d) + 0). Let s = -3 - -2.6. Which is greater: s or r?
r
Let l be (60/16)/((-54)/(-4)). Is 0 at least l?
False
Suppose -2*u - 1 = -2*z - 3, 0 = 2*z + 4*u - 10. Which is bigger: z or -2/5?
z
Let k = 2.4 - 2.2. Which is smaller: k or 4?
k
Let a(v) = -v**3 + 8*v**2 + 10*v - 12. Let g be a(9). Let d be (g - 15/(-6))*0. Let l(q) = -q - 3. Let m be l(-3). Does d = m?
True
Suppose 0 = -5*w + 5. Suppose -9*v = -8*v + w. Are -1/2 and v unequal?
True
Let f be 2/(-6)*(-36)/(-6). Let a(b) = b**2 + 6*b. Let h be a(-5). Let l = h - f. Is l smaller than -2?
True
Suppose m + v + 3 + 1 = 0, -2*v = 4*m + 8. Let q = 151/5 - 158/5. Which is bigger: q or m?
m
Let a = 181 - 157. Which is greater: a or 22?
a
Let k(w) = -w - 3. Let r be k(-5). Let h be 1 - (12/14)/r. Which is smaller: h or -1/3?
-1/3
Let v(i) = -4*i + 11. Let p be v(-10). Let a = p - 87. Let f be 0 + (-3)/(a/15). Is 1 < f?
True
Let d = 0 + -1. Let x be d/(-3)*(2 - 5). Which is smaller: x or 1?
x
Suppose 25*d - 26*d - 62 = 0. Are -64 and d unequal?
True
Let b = 5 + -2. Suppose b*m = -0*m - 3. Let t be -5 + 3 + (-1)/m. Which is smaller: -2/9 or t?
t
Suppose 0 = 4*z - 8. Which is bigger: -0.7 or z?
z
Suppose 0 = 4*h - 8 + 24. Let f = h + 5. Suppose -4*u - 15 - f = 0. Which is greater: -5 or u?
u
Let q = -0.25 - -0.55. Does q = 0?
False
Suppose -9 = -17*o + 8. Let v = -1069/21 + 592/7. Let w = v - 34. Which is smaller: w or o?
w
Let x be (-3)/(-250)*(-8)/(-6). Let w be ((-8)/300*1)/((-10)/(-244)). Let g = w - x. Are g and -2 equal?
False
Let l be 3 + -5 - (-2 - 0). Let k(b) = -b**2 + 5*b - 2. Let s be k(5). Let a = s - 1. Which is smaller: l or a?
a
Let f be (-39)/(-55)*4/(-18). Let c = f - 8/33. Let d = 7.4 - 7.4. Which is greater: c or d?
d
Let b = -8 + 14. Suppose 2*z - 7 = -y, 3*y - 7 = -2*z + b. Are 2 and y nonequal?
True
Suppose 0 = h - 7 - 1. Let j be h*1 - (2 + -6). Is j > 11?
True
Let m be -2 + 7 + -2 + 0. Suppose -3 = 4*h - m*h. Suppose -8 = 4*l + 2*q, -3*l + 0*q + 2*q = 20. Which is smaller: h or l?
l
Let p = -31255/11 + 2847. Let m = 879/154 - p. Which is bigger: -1 or m?
m
Let h = 90 + -45. Which is greater: h or 44?
h
Let n be (-1)/(-1)*-1 - (-1178)/806. Let m = -1 - -2. Which is smaller: m or n?
n
Let j = 10 - 7. Let x(c) = c**2 + c + 4. Suppose -4*u + 6*u = -6, -4*o - 6 = 2*u. Let z be x(o). Which is greater: j or z?
z
Let h(p) be the second derivative of p**3/6 - p**2/2 - p. Let w be h(1). Let o = -83 + 250/3. Is o >= w?
True
Let i be 11 - 1/(1/1). Let g(m) = m + 1. Let n be g(2). Suppose -2*c - a = -16, -4*c + 34 = -2*a + n*a. Is i < c?
False
Let o = 5 - 5.3. Let u = -2.3 - o. Is u > -1?
False
Suppose -i = -2*i - 2. Suppose -4 = -0*g + 2*g. Is g >= i?
True
Let d(b) = -b**3 + 4*b**2 + 3. Let x be d(4). Suppose c = 5*z - x*c - 9, 4*z - 4*c = 8. Is z smaller than -0.5?
False
Let s(n) = n + 10. Let y be s(-7). Suppose -y*v + 2 = -7. Is v at least as big as 2?
True
Let v = -8 + 8.1. Is 5 less than v?
False
Let g = -12/25 - 3/25. Let m(f) = -f**2 - 3*f + 1. Let a be m(-4). Let d be (a + 3)*(1 + 0). Which is greater: d or g?
d
Let o = -270 - -270.1. Let v = -0.08 - -0.1. Is o < v?
False
Let u(p) = -p**3 - 4*p**2 + 4. Let h be u(-4). Suppose -h*n - 25 = -9*n. Is 6 less than n?
False
Suppose -20 = 2*r + 3*r. Let b be 2/(-3)*(-118)/r. Let v = b + 20. Is 0 at least v?
False
Let c = 0 + -11. Which is smaller: -12 or c?
-12
Let u = -2 - -3. Let a = -1266 - -6241/5. Let v = 18 + a. Which is smaller: u or v?
v
Let b = -108 - -115. Which is smaller: b or 1?
1
Suppose 3*w - 15 = -w + v, -35 = -2*w - 5*v. Let o(f) = 6*f**3 - 1. Let h be o(1). Is w smaller than h?
False
Suppose 5*g + 20 = 5*j, 0 = -4*j + 3*j - 2*g - 5. Let q = 85/3 + -27. Is j bigger than q?
False
Let t be 129/(-218)*2127/(-27). Let j = t - -11/218. Let p = j - 46. Which is smaller: 2/5 or p?
2/5
Let m = 20 - 14. Suppose 3*p - 3 = m. Is 3 greater than p?
False
Let t = -14 - -9. Suppose 45 = -2*b - 13*b. Is b less than or equal to t?
False
Suppose 57 = -4*n + 21. Is -10 greater than or equal to n?
False
Let b = 16 - 19. Is -2 at most as big as b?
False
Let p = -1 + -1. Let q = -2.2 + -0.8. Let m = q - p. Which is smaller: m or 2/3?
m
Let g = -4 + 4. Suppose -m + g*m = 1. Let i be 2 + (-2 - (-4)/26). Which is smaller: i or m?
m
Suppose -4*g = -2*g - 6. Suppose -g*h = -h - 144. Let b be -1*2 + h/30. Which is greater: -3 or b?
b
Let g be -3 + 2 - 33/(-21). Let k = g + -8/7. Which is greater: -1 or k?
k
Let s be 18/(-27) - 23/(-39). Which is greater: -1 or s?
s
Suppose 0 = 5*o + 6*t - 2*t - 35, 28 = o + 5*t. Let q be ((-6)/(-5))/((-12)/(-90)). Suppose o*p = -3*f + q, 3*f = -4*p + 7 + 5. Which is greater: f or 1?
1
Suppose 3*d + 5*t + 40 = 9, -4*t - 24 = 2*d. Which is greater: d or -8/7?
-8/7
Let g be 494/(-14) - (-6)/21. Let h be 1*3 + g/15. Do h and 2 have the same value?
False
Suppose 0 = -3*z - z + 8. Let i = z - 0. Suppose 5*x = 3*n + 34, 