st as big as h?
True
Let t be (-3)/(-3) + 2/2. Suppose -t*z = 2*z - 24. Let k be 4/6*z/(-26). Is 0 less than k?
False
Let k = 0.28 + -0.18. Which is greater: k or -1.1?
k
Let u = -2.6 - -0.6. Is 9 != u?
True
Suppose 5*f + 23 - 3 = 0. Which is smaller: -30/11 or f?
f
Suppose 94 = 4*r - 74. Let n be ((-9)/r)/((-3)/6). Suppose -h + 0*h - 1 = 0. Which is bigger: n or h?
n
Let q = 359/2 + -179. Is q greater than or equal to 35?
False
Suppose -26 = 5*x - 4*c, x - c + 12 = -3*x. Let y be (-3)/(-12) + (x - -2). Let g be -1*(-1 - 0) - 2. Is g < y?
True
Let m(z) = -z**2 + 11*z + 11. Let i = 21 - 9. Let n be m(i). Is 0 greater than or equal to n?
True
Let a(o) = 85*o**2 + o - 1. Let z be a(2). Let w = z + -4435/13. Is w >= -1?
True
Let f = 8.8 + -4.8. Which is smaller: 1.2 or f?
1.2
Let u(r) = r**3 + 6*r**2 - 6*r + 6. Let x be u(-7). Let j be (-48)/(-70) + (-2)/7. Are j and x unequal?
True
Suppose 4*d - 23 = -383. Is d <= -90?
True
Let l = -46 + 1287/28. Which is greater: l or -1?
l
Suppose -5*q + 30 = -5*x, 4*x + 4*q - 4 = 12. Let l be (-2)/(-9)*(-1)/1. Is l greater than or equal to x?
True
Let i be (-497)/(-11) - (-10)/(-55). Let p be 42/i - (-2)/5. Does p = 0?
False
Let k = -0.03 - -0.03. Let j = -22 + 12. Let i be ((-2)/(-10))/(j/25). Is i != k?
True
Suppose 3*y - 28 = 4*g, -3*g + 5*y + 0*y = 32. Let j be 1*-1*(-36)/(-6). Is j greater than or equal to g?
False
Let r = -229/7 - -33. Suppose -5*w + 3 = -4*w. Let a = 3 - w. Is r <= a?
False
Suppose -m - p + 7 = 4*m, -4*p + 12 = 4*m. Let k be -6 + 2/m + 1. Let f = 3 + -6. Does k = f?
True
Let s(b) = -b**2 - 3*b - 2. Let a be s(-2). Let r be ((-1)/1*1)/4. Which is greater: a or r?
a
Let y = 45 - 9. Suppose -3*m - 3*m + y = 0. Is 6 less than m?
False
Let o = 0 - -3. Suppose 0 = -o*x + r + 14, 5*x + 2*r - 2 = 3. Is x at most 3?
True
Let g be -3*(-76)/60 + 8/(-10). Which is smaller: 17/5 or g?
g
Let r = -139069 + 63276648/455. Let g = r + 4/91. Which is smaller: g or 1?
g
Suppose 3*m = 4*l + 39, l = m + m - 6. Which is smaller: l or -15?
-15
Let t = 137 - 555/4. Which is smaller: -1 or t?
t
Let f(k) = -k - 4. Let a be f(-6). Suppose -4*n = 0, -n - 3*n = -a*y. Let v = 531/14 + -38. Which is smaller: v or y?
v
Let g be (-1)/(-4 + 30/8). Suppose 3*f + 0*f = -5*t - 79, 3*t + 54 = -g*f. Is t < -13?
True
Let w(u) = u**2 + 8*u + 3. Let v be w(-3). Which is greater: -9 or v?
-9
Let m be (4/16 + (-6)/8)*2. Is m greater than -2/27?
False
Let j(d) = d**3 + 8*d**2 - 6*d + 9. Let m be j(-9). Let i = m - -10. Let p be (-4)/(-1)*10/i. Does -5 = p?
True
Let d(j) = j**2 - 27*j + 125. Let w be d(20). Let h = -27 - -13. Which is smaller: h or w?
w
Let v be (-4 - -3)/(2/(-6)). Suppose -2*z = v*z - 20. Suppose -d - 3*d = z. Is d smaller than -2/13?
True
Let y be (-6 + 5)/(2/(-8)). Suppose 4 = -5*w + y*w. Let x(m) = 2*m + 9. Let s be x(-6). Which is bigger: w or s?
s
Let y = 2393/2 - 1171. Let c = y - 26. Let z be (-1 + (-3 - -3))*1. Is z bigger than c?
False
Let y(s) = 4*s**2 + 3. Let x be y(0). Let a = 1 + 1. Suppose n + 5*g = a*n - 12, 5*n - 2 = -4*g. Is n smaller than x?
True
Let d be 21/9 - 1/3. Suppose -n = d*n. Which is smaller: n or -3/5?
-3/5
Suppose 5*r - 18 - 7 = -4*u, -3*u + 3*r + 12 = 0. Let h = -4 + u. Let q be h/(-11)*(1 + 1). Is q less than or equal to 1?
True
Let q be (1 - -1*3) + 12914/(-77). Suppose -813 + 321 = 3*n. Let j = n - q. Which is greater: j or 0?
0
Let m = 4 - 0. Let s = -5 + m. Is 0 < s?
False
Let q be 3*3/((-9)/(-5)). Suppose q = g + 3*v - 4*v, -3*g = 4*v + 13. Let t be 4*1 + (-171)/38. Which is greater: g or t?
g
Let l(t) = t + 22. Let s be l(-11). Let q = 9 - s. Is 1/3 less than or equal to q?
False
Let b be 4*(-3 - 5/(-2)). Are -2 and b equal?
True
Suppose 0 = -2*i - 4 - 0. Let a be 1/i - 3/(-2). Let r(t) = t**2 - 8*t - 31. Let v be r(11). Is a less than v?
True
Let g = -2/21 - -3/7. Which is smaller: 0 or g?
0
Suppose -3*n = -6*n. Suppose -6*p + p - 45 = n. Are p and -9 non-equal?
False
Let s = -16 - -24. Let h be ((-2)/(-4))/((-2)/s). Is h bigger than -1?
False
Let s = -2.1 + 7.1. Let z = 0.9 - 6.9. Let x = s + z. Is x greater than or equal to 3/7?
False
Let q(x) = x**3 + 7*x**2 + 8*x + 5. Let s be q(-5). Let d = 23 - s. Is 8 at least as big as d?
True
Let n be (3*4/8)/((-12)/(-40)). Let o(y) = 2*y**2 - 3*y - 2. Let b be o(3). Which is smaller: b or n?
n
Suppose 0 = w - 10*w. Is w less than 1/2?
True
Let z = 7 + -7. Let v = 0.5 - z. Let x = -0.5 - v. Is -4 < x?
True
Suppose 3*f = -s + 2*f + 13, -2*s + 4*f = -56. Let b = -14 + s. Is 5 less than b?
False
Let h = 2 + -2.1. Which is smaller: -7 or h?
-7
Suppose 3*i + 0*x - 3*x = -6, 4*i - 3*x + 7 = 0. Is -4/3 less than i?
True
Let h(n) = -n**2 + 9*n + 14. Let u be h(10). Which is smaller: u or 9/2?
u
Let k = -25.4 - -24.39. Let f = 0.99 + -1. Let a = f - k. Which is bigger: 0 or a?
a
Let a = 47/3 + -13. Suppose -2*o + 18 = 4*k, -4*o - o = k - 27. Which is smaller: a or k?
k
Suppose -5*x + 4*f - 2 = 0, 3*x + 1 = 4*f - 5. Let s be x/8*3/(-1). Let t = -0.4 + -1.6. Is t at most as big as s?
True
Let s be ((1 + 8)*1)/1. Let b = -2 + s. Which is smaller: 9 or b?
b
Let v = -45 - -181/4. Suppose 0*i + 5 = -5*i. Which is greater: v or i?
v
Suppose -4*y + 20 = 0, 5*y = -3*z + 23 + 14. Suppose 1 = 3*a + z, -2*q + 4 = 2*a. Is q greater than or equal to 3?
True
Let m = 0.37 - 0.07. Let s = -0.4 + m. Let i = -0.3 + s. Which is smaller: i or -1/4?
i
Let p = 68 - -5. Which is greater: 2/5 or p?
p
Let h(y) = 5*y + 4. Let o be h(-6). Let c = o + 77/3. Which is bigger: c or 0?
0
Suppose 0 = 4*z - 4*u + 8, 10 = -2*z + 4*u - 4. Suppose -6*s + s = 5*n + 10, -3*s - 2*n = z. Let y be 1/2*-2*-2. Which is bigger: s or y?
y
Let k be 2/4 - (-14)/4. Suppose -2*t + 0 - k = 0. Which is smaller: t or 0.2?
t
Let g = -5.2 + 4.96. Is g at most as big as 1?
True
Let p = 0.4 - 0.4. Let x = p + 1. Let y = -4.82 + -0.18. Which is smaller: x or y?
y
Let i = -0.3 + 0.4. Let v(q) = 1 - 2*q**3 + 6*q**2 - q**3 + 2*q**3 - 5*q. Let n be v(5). Is n less than i?
False
Let b = 52 + -52. Suppose -5*k + 3*y + 34 = 0, -3*y = 2*k - 0*k - 22. Which is bigger: b or k?
k
Suppose -5*f = -4*k - 8, -3*f + 4*k + 11 = 3. Let h = 237/4 - 59. Is h != f?
True
Let g be 2/((-2)/9 + (-68)/18). Is g > 6?
False
Let a be ((-9)/((-135)/100))/(-3). Which is smaller: a or -3?
-3
Suppose 0 = 2*a + 2*b + 4, 2*b + 5 = 2*a + 1. Suppose 6*t - t - 21 = n, -5*n + 5*t - 25 = 0. Is a equal to n?
False
Let t be (-4)/(-1) - 585/144. Let z be (1/(-3))/(3/(-9)). Is t at most as big as z?
True
Let k(o) = 2*o**2 + 3 - 4 - 2*o**2 - o + o**2. Let i be k(3). Which is smaller: i or 6?
i
Let j(q) = -9*q**3 - q - 1. Let z be j(-1). Suppose r - 4 = -z. Are -5 and r non-equal?
False
Let p be (552/(-174) + 3)*(-4)/(-10). Which is greater: p or -1?
p
Suppose -2*b = 3*b. Let k = -1 + b. Is -3 less than k?
True
Let g be 33/(-11) - (-1)/1*-27. Let b be (1 - -64) + 0/2. Let v be (-12)/g - 36/b. Which is bigger: v or 1?
1
Let m = 37 + -54. Which is smaller: m or -16?
m
Let z = -153 + 138. Which is smaller: z or -6?
z
Let r = -94162591145/4219492866 + 2/24249959. Let b = -16/87 + r. Let f = -22 - b. Which is bigger: 0 or f?
f
Let p(a) = 5*a + 1. Let h be p(0). Is 5/3 greater than h?
True
Suppose -4*f + 134 = -5*r - 87, 3*f = -5*r + 122. Let i = f + -33. Let m = -22 + i. Is -7 greater than m?
False
Let x = 86 - -15. Is x less than or equal to 100?
False
Let t = 13 + -11. Suppose j + 1 - t = 0. Which is smaller: 3 or j?
j
Let r = 0.86 - 1. Let n = r + 0.04. Which is greater: n or 0?
0
Let o(f) = 4 - 4 - f - 1. Let a(p) = -p**2 + 9*p + 3. Let k(t) = a(t) + 2*o(t). Let r be k(7). Is r > -2/7?
True
Let y be (1 - 8/5) + 1. Let h = -13 + 13. Is h < y?
True
Let b be ((-42)/12 - 5)*2. Which is greater: -19 or b?
b
Let l(v) = v - 4. Let s be l(3). Let h be -3 - (s - 0 - -2). Let y be 16/140 - h/14. Which is smaller: -1 or y?
-1
Let s(j) = j + 9. Suppose -4*w = w. Let t be s(w). Is t smaller than 1?
False
Let y = 50/3 - 1420/87. Which is smaller: 0 or y?
0
Suppose b - 3*b - 10 = 0, -4*b = 4*k + 84. Which is smaller: -108/7 or k?
k
Let u be (-3)/63*36/(-4). Is u at most as big as 0.1?
False
Suppose 8*z = 3*z - 20. Let v = z - -7. Suppose -2*w - 2*w + 12 = 0. Is v != w?
False
Let d = 4.95 + -3.95. Let x = 23 - 14. Is x less than d?
False
Suppose 5*r + 731 =