se
Let z = 3 + -4. Is z < -1/7?
True
Let b(x) = -x**2 + x + 44. Let c be b(0). Let i be 2/8 - c/(-16). Let g(s) = -s + 4. Let k be g(i). Is k < 2/5?
False
Let z = -0.9 - 3.1. Let n = -7 - z. Which is smaller: n or 2/3?
n
Suppose -4*k = k. Suppose -5*b - 2 + 7 = k. Let v be (-2)/7 - (1 - 1). Which is bigger: b or v?
b
Let o = -521167/73144 + 2/9143. Is o greater than -8?
True
Let t(a) = -a - 3. Let q be t(-6). Suppose -4*v = -3*x + 3, 0 = -v - 4*x + x + q. Let g = 31 + -30. Which is smaller: v or g?
v
Let y = -16/3 + 211/39. Let r be (-6)/11*2/(-6). Which is bigger: r or y?
r
Let a = -0.34 - 0.09. Let j = a + 0.13. Which is smaller: 0.1 or j?
j
Let r be (36/8)/(44 + -2). Which is smaller: r or 1/3?
r
Suppose -5*n = 12 + 18. Let b = 5 + n. Are -1/2 and b non-equal?
True
Suppose 0*q = -2*q + 16. Is 8 smaller than q?
False
Let d = -5067 + 2214271/437. Let m = d + -2/23. Do 1 and m have different values?
True
Suppose 9*l + 25 = -5*w + 4*l, 4*l - 20 = 0. Let o be ((-9)/15)/(1/w). Is o at least 4?
True
Suppose -4*a - a - 35 = 0. Let v = a - -5. Let o = -1 - v. Is -1/3 >= o?
False
Let f = -13 + 7. Let y = 0.066 + 0.134. Is y less than or equal to f?
False
Suppose -5*q + 5 = -q - 3*v, -q + 25 = 4*v. Let l(r) = -r**3 + 6*r**2 - 3*r. Let u be l(q). Which is smaller: u or 9?
9
Let o(v) = 5*v**2 - 6*v - 5. Let q be o(-1). Let p(a) = a. Let b be p(2). Which is bigger: q or b?
q
Let z(w) = -7 - w**2 - 8*w + 3 - w. Let n be z(-8). Suppose 2*r - 12 = n*q, q - 5*r = -0*r - 21. Is q not equal to -1?
False
Let a(p) = 2*p**3 - p. Suppose 4*s - 6*s = -6. Let h be (-2 + (-10)/(-6))*s. Let m be a(h). Which is greater: m or 1?
1
Let v be (6/(2 - 5))/(-2). Which is smaller: v or 15?
v
Let d(i) = i**2 + 4*i + 3. Let m be d(5). Let n = 27 - m. Let c = n - -39/2. Which is greater: -3 or c?
c
Let k(l) = -l**2 + 2*l + 1. Let b be k(3). Let w = b - -13. Let j = w + -6. Is j less than or equal to 5?
True
Suppose -3*m + 3 = -0. Which is greater: m or 1/8?
m
Let v = 1/1114 - 31201/10026. Let w = 187/63 + v. Is -1 at least w?
False
Let w be 142/(-168) + (-3)/(-7). Let d = -1/168 - 13/168. Let r = w + d. Do r and 1 have different values?
True
Let z(h) = 3*h + 7. Let d be z(-3). Let g be d - (4/(-3) - 1). Which is smaller: g or 0.1?
0.1
Let i be (-1 - (-3)/4)/1. Let a be (-18)/(-12)*4/(-18). Is a smaller than i?
True
Suppose 5*j + 6 = 2*y, 4*j = y - 0*y - 3. Do -2 and j have different values?
True
Suppose 8*v - 3*v = -5. Let x = -34/3 - -133/12. Which is smaller: v or x?
v
Suppose -a + 54 = 4*u, 4*a - 34 = -5*u + 2*u. Suppose -l + u = l. Which is smaller: l or 8?
l
Let k = 10 - 20. Let v = -3 - k. Let m(r) = -r + 7. Let c be m(v). Is c < -2/5?
False
Let u = 7 + 3. Let l be (-1)/2*u/(-15). Which is smaller: 9 or l?
l
Let w = -6/17 - -177/68. Let b be (1 + -3)/((-6)/9). Is b greater than or equal to w?
True
Let v = 61 - 64. Which is smaller: 0.1 or v?
v
Let i be (-2)/4 + 6/12. Suppose -3*f - 5*t + 22 = 0, 0*f + f + 3*t - 14 = i. Is f bigger than -3?
True
Suppose -38 = -4*y + 2*v - 8, 4*y - 25 = 3*v. Is y at least 10?
True
Let s(n) = n - 2*n - 7 + 4*n + n**2 + 4*n. Let l be s(-8). Which is bigger: 2/3 or l?
l
Let y = -1 + 1. Let f = -1.9 - -3.6. Let o = f + -1.7. Is y < o?
False
Suppose -76 = 5*i + 4*c, 3*i - 2*c + 24 = -4. Let r = i + 11. Is 0 > r?
True
Let d = -2 - -1. Suppose -1 = -0*f - f. Let n = f + d. Is 2/3 <= n?
False
Let i be (-18)/(-63) - (-2 - -2). Which is smaller: -0.8 or i?
-0.8
Let s be 12/(-7) + 2/(-7). Let q be (s - 6/(-3)) + -2. Which is smaller: q or -7?
-7
Let j = 600373/56 - 74929/7. Let m = 115/7 - j. Let s = -1 - -2. Is s at most m?
False
Suppose 3*s + w = 13, -4*s + 20 = w + 2. Which is smaller: s or 1?
1
Let o = 4 - -1. Suppose -o*k = -u - 30 + 2, -2*k + 3*u = -6. Which is greater: k or 7?
7
Let q(z) = -z**2 + 9*z - 20. Let h be q(7). Do h and -5 have different values?
True
Suppose 1 = -3*l - 2. Are l and -3/23 non-equal?
True
Let b = 9 + -16. Let l = -11 - b. Which is bigger: l or -5?
l
Suppose 5*q + 39 + 16 = 0. Which is smaller: -9 or q?
q
Suppose -2*b = 0, 2*c - 6*c + 5*b - 20 = 0. Let x = -4 - c. Are 1 and x unequal?
False
Suppose -4*h - 5*s + 3*s + 14 = 0, -4*h + 11 = s. Is h greater than 8?
False
Suppose -c = -a + 7, 33 = -2*c - 2*c + 3*a. Let z be (-18)/5 - c/3. Do 2/3 and z have the same value?
False
Let u = 0.14 - -1.56. Let x = u + 6.3. Which is greater: x or -1/3?
x
Let l = -66 - -54. Is -9 < l?
False
Let f be 2748/(-20) - 2/(-2). Let m(x) = -19*x + 3. Let s be m(-7). Let o = s + f. Which is smaller: -1 or o?
-1
Suppose 2*o + 2*o = 16. Suppose -1 = -o*y + 35. Let a = -8 + y. Which is smaller: -5 or a?
-5
Suppose 2*t - 3 = -7. Let h(p) = -p**3 - 18*p**2 + 17*p - 40. Let q be h(-19). Is q not equal to t?
False
Let t = -5 - -2. Let x = -1 - t. Suppose 2*o + 6*a - 2*a - 24 = 0, 2*o = -5*a + 29. Is o at most as big as x?
True
Let f = -190/9 + 21. Is f less than 1?
True
Let f(b) = b**2 - 9*b + 4. Let m be f(9). Is m greater than 5?
False
Let f be (-4)/22 + (-40)/(-220). Which is greater: f or 2/197?
2/197
Suppose -5*g = -3*c - 39, 5*g + 0*c - 18 = -4*c. Let j = -3 + g. Is j less than 3?
False
Let i = -6 + 10. Let g be (i + -2)*2/6. Which is smaller: 0.2 or g?
0.2
Suppose k - 49 = 4*k - 5*x, 0 = -2*k - 2*x - 22. Is k bigger than 1/2?
False
Let k be (2/((-8)/(-6)))/(-6). Let u = -0.5 + 0.5. Let x = -0.1 - u. Is k smaller than x?
True
Let n be 4/(-14) + (-450)/(-105). Which is bigger: n or 6?
6
Let c = 7.8 - 6. Let s = c - 2. Let y = -72 - -502/7. Do s and y have different values?
True
Let h be (-98)/(-28)*(-24)/26. Which is greater: -2 or h?
-2
Suppose 2*m - y - 1475 = 0, 4*m - y + 5*y = 2980. Let u be (-675)/m + 6/8. Let i = -197/74 - u. Are i and -3 nonequal?
True
Suppose 2*p - 5*p + 9 = 0. Let k(l) = -2*l - 22. Let y be k(-13). Which is bigger: p or y?
y
Let z = 84/17 + -3310/663. Which is bigger: z or 1?
1
Suppose 4 = 3*z + 10. Let s = -2 + 5. Let j = s + z. Which is greater: j or 3/4?
j
Let v(a) = -2*a - 5. Let s be v(-4). Let k(p) = p + 3. Let x be k(-4). Let u = 4 + x. Is u <= s?
True
Let p = 1/1920 + -259/5760. Which is smaller: p or 0?
p
Let f = 14 - 10. Suppose o + 6 = f*o. Is 5/3 greater than o?
False
Let c be (-60)/24 + (-14)/(-8). Suppose o + 3*m = -2*m + 8, -2*o = m + 2. Is o <= c?
True
Let d be 2*((-3)/5 - 1). Let f = 19/5 + d. Which is bigger: 0 or f?
f
Let w(u) = 12*u + 48. Let l be w(-13). Which is bigger: l or 0?
0
Suppose -1 = 4*g + 35. Is g equal to -7?
False
Let v = -139/3 - -46. Let a = 65 + -72. Which is smaller: v or a?
a
Suppose 4*x - 4*s + 14 - 42 = 0, 0 = -5*x + s + 15. Suppose w = -u + 4, 4*u = 18 + x. Which is greater: -0.03 or w?
-0.03
Suppose -8 + 1 = o - 4*k, k = 2*o. Which is smaller: o or -10?
-10
Let x = -5 + 5. Which is smaller: -1/40 or x?
-1/40
Let v be 11/231*6/1. Which is greater: -1 or v?
v
Let c = 15 + -11. Suppose -m + 3*m = 12. Suppose c*s + 3*o = 8, 5 = s + 3*o - m. Is s greater than 1?
False
Let d be 12/14 + (-12)/(-84). Let i be 6/3*(-2)/(-4). Is d >= i?
True
Suppose 0 = x + 2*x. Which is smaller: x or -2/61?
-2/61
Let l = 40 + -38. Which is smaller: l or -15?
-15
Let b be (-2)/6*(-33)/(-66). Which is smaller: 1 or b?
b
Let c = -2 - 1. Let g be (4/(-30))/(1/c). Is 0 not equal to g?
True
Let c be (-36)/77 + 2/11. Let k = -2 - -4. Suppose -k*r - r + 3 = 0. Is c < r?
True
Let a(s) = -s**3 + 11*s**2 + 13*s - 12. Let k be a(12). Let h(b) = -b - 2. Let c be h(-5). Let g = k - c. Is g greater than or equal to -3?
True
Let j be (6/45)/((-4)/(-5)). Are 0 and j non-equal?
True
Let y = -2.1 + 2. Suppose 4*k = -12, -2*a + k - 2 = -7. Is y at most a?
True
Suppose -3*q + 18 = 2*g, 2*g + 3*g = q + 28. Let i be (9/g)/(9/12). Let d = i - 7. Are -4 and d non-equal?
True
Let f = -1 - -2. Let j = 0.99 - 1.09. Which is greater: f or j?
f
Let p = -13 + 17. Suppose 3 = -w + 2*w. Suppose -x = w*x + p. Which is smaller: x or 0.1?
x
Let a = -1837/6 + 305. Which is smaller: -2 or a?
-2
Let b = -0.38 - -0.06. Let j = 0.02 + b. Let i be 2/(-13) - 170/(-260). Do j and i have the same value?
False
Let v = 10 - 10. Suppose -4*p - 32 = -v*p. Is p smaller than -8?
False
Let u = 10.2 + -10. Let j = -8 + 7.2. Let c = j - u. Is c >= 0?
False
Let x = 33 + -35. Let v(m) = m**2. Let k be v(1). Which is greater: k or x?
k
Let h = -23/6 + 59/1