/11?
True
Suppose 14*u + 170 = 9*u. Which is smaller: -33 or u?
u
Let f be (24/(-10))/((-1)/(-5)). Let o = -8 - f. Suppose -17 = -o*w - 1. Which is smaller: 3 or w?
3
Let j = 9 - 0. Let k = j - 37/4. Suppose 0 = 5*x + y - 0*y, 0 = -5*x + 2*y + 15. Is k greater than x?
False
Let v = 2 - -3. Suppose 4*r - v*r = 0. Is 6/7 bigger than r?
True
Suppose -3*p - 3*g = 57, 0 = p - 0*p - 4*g + 29. Are -21 and p unequal?
False
Let x be (10 - 11) + 3/(-2). Let k = 7 + -13. Let v = -9 - k. Which is smaller: x or v?
v
Let a = -0.14 - -0.1. Let v = 0.04 + a. Is v greater than 1/6?
False
Suppose -3*v + 6 + 3 = -3*m, -3*m + 5*v - 15 = 0. Suppose 2*s + m*s = 6. Which is smaller: 4 or s?
s
Let h be -3*8*2/36. Let k = 36 - 36. Which is smaller: h or k?
h
Let k(b) = b**2 + 3*b. Let x be k(-3). Suppose z + x*z = 0. Suppose 0 = -0*r + r. Is z greater than r?
False
Let g = -75 + 121. Is g less than 46?
False
Let o = 9122/7 + -1298. Is o at most as big as 4?
False
Let x(a) = a - 4. Let t be x(4). Which is greater: t or -2/27?
t
Let j(f) = -52*f + 1. Let o be j(-3). Let z = 82 - o. Let d be ((-1)/(-20))/((-10)/z). Which is greater: 0 or d?
d
Let p = -937/12 + 78. Is p at most 0?
True
Let m = -2 - -8. Suppose m = -s + 4*s. Suppose -z - 9 = s*z. Which is bigger: -2 or z?
-2
Let b be -4 + (-39)/3 + 4. Is b equal to -14?
False
Let h(m) = -m**3 + 7*m**2 - m + 9. Let t be h(7). Suppose 5*k = t*o - 3, -14 = -o - 5*k - 5. Does 3 = o?
False
Suppose 0 = -y + 4 - 1. Suppose 0 = -5*s, 3*i + y = s + 4*s. Is -1 at least as big as i?
True
Let c be 0 - (-3 - ((0 - -34) + -1)). Which is smaller: c or 35?
35
Suppose 2*b - 5*b + 36 = 0. Suppose o = -4*c + 3 + b, 3 = -3*c + 4*o. Suppose c = m + 1. Are 2 and m equal?
True
Let r = -12 + 10. Do r and 0 have the same value?
False
Let v(k) = k**2 - 5*k - 4. Let m be v(6). Let w = 0.35 + -2.25. Let l = w - 0.1. Is m at most as big as l?
False
Let r be (-3)/4 + 1*(-7)/(-28). Let o be 1/(-3) + 4/(-6). Are r and o non-equal?
True
Let a(t) = -t**3 - 5*t**2 + 7*t + 6. Let z be a(-6). Let h be (-13)/(-4) + (z - 2). Let y(d) = d**2 + 7*d + 6. Let b be y(-6). Is b greater than or equal to h?
False
Let x be ((-1)/2)/((-14)/8). Let q be (-2)/(-1) + (-24)/15. Is x <= q?
True
Suppose -5*i + 16 - 1 = 0. Let r be ((-1)/i)/((-15)/(-9)). Let n be ((-5)/(-20))/((-3)/4). Is r less than n?
False
Let v = -4 + 3. Let w(x) = -x**3 + 5*x**2 - 1. Suppose -4*i + 15 = -i. Let l be w(i). Do v and l have the same value?
True
Let u(f) = f + 2. Let d be u(2). Let w be (-1)/d + 39/12. Is 3/2 less than w?
True
Suppose 0 = -3*a - 6, 4*z + 8 = -0*z - 2*a. Let o be (-24)/16 + (-406)/(-240). Let k = 1/8 - o. Is z < k?
True
Suppose -q = -0*q + 2. Are -2 and q unequal?
False
Suppose 2*z = 4*c + 3*z + 9, -1 = 3*c - 5*z. Let f(g) = -5*g + 4. Let t be f(-4). Suppose t = -5*a + 9. Is a at most as big as c?
True
Let o = 14 + -6. Which is greater: -1/4 or o?
o
Let t be (1/(-2 + 3))/1. Suppose 0 = j - 2*g - 3, -2*g = -5*j + 6 + t. Is -1/30 bigger than j?
False
Let y = 0.16 + -0.06. Which is smaller: y or 2/9?
y
Suppose 0 = -d + 3*g - 4 + 1, 5*d + 32 = -2*g. Let n = d + 10. Suppose -m + 2*m + n*b = -17, -b - 4 = 0. Is -2/23 greater than or equal to m?
True
Let l = -275/3 + 89. Let k be 5/(-3) + 3/(-9). Is l != k?
True
Let n = -4118/21 - -196. Let h = 0 - 0. Which is bigger: n or h?
h
Let w be (91/(-21))/((-3)/9). Is 14 at most as big as w?
False
Suppose x = -2*x + 3. Let d = -47 + 45. Is x <= d?
False
Let r(o) = o + 2. Let q be r(3). Let x be 1/(-5) + 155/25. Is q bigger than x?
False
Let d = 2324 + -7189/3. Let g = d - -73. Is g greater than 0?
True
Let w = -147 - -157. Which is smaller: -0.05 or w?
-0.05
Let j = -0.8 - -1. Let h = 9 - 26/3. Which is bigger: j or h?
h
Let q be (-2)/(-3)*15/2. Suppose -3*l + 10 = 2*l, -10 = -3*m - q*l. Let x be -1 - ((-14)/10 - m). Which is smaller: 2/7 or x?
2/7
Let j be (-2)/(45/(-10) - -4). Is 1 > j?
False
Let l be (-1)/(-4)*(-1 + 13). Is l smaller than 8/3?
False
Let o = 0.1 + 4.9. Let w = o + -7. Let u = 2.2 + w. Are 0 and u equal?
False
Let l = -42 + 50. Which is smaller: 5 or l?
5
Let p = -5 - -13. Let k = -12 + p. Let f = k + 2. Which is smaller: 2/3 or f?
f
Suppose -5*v = 9 - 4. Is v at most 1/6?
True
Let z = -0.92 - -2.88. Let n = z + 0.04. Let i = -229/4 + 57. Which is smaller: i or n?
i
Suppose 4*h + 2 = -n, -5*n - 2*h = -0*h + 10. Suppose 3*t - 2 = -5. Let i be (t/(-1))/((-2)/2). Which is smaller: n or i?
n
Let g be 41/(-70) - (-4)/14. Suppose 2*v = -3*v. Is g bigger than v?
False
Let q = -0.02 - -1.02. Which is smaller: 3/73 or q?
3/73
Let s(j) = -4*j + 1. Let y be s(-1). Let b = 3 - y. Which is bigger: b or 0?
0
Let q = 4 - 3. Let p be 4 + q/1*-1. Is 2/7 >= p?
False
Let o = -69 - -109. Which is greater: o or 0.1?
o
Suppose 0 = -5*h - 3*i - 4, 0 = -h + 2*h - 3*i + 8. Let f be 1*(-2 - 0) - 1. Do f and h have different values?
True
Let r = -2.9 - -3. Let m = 0.267 - 1.267. Which is greater: r or m?
r
Let o be 2*-2 + 2 - -60. Suppose -2*t + 3*b - 124 = 0, -3*t - 115 = 2*b + o. Let h = -294/5 - t. Which is greater: 2/9 or h?
2/9
Let s = 7 + -29/4. Let a = 1 - -1. Let w = -2 + a. Is s equal to w?
False
Let n be (-6)/(-15) - (-46)/10. Suppose -n*q + 28 = 3. Suppose f = q*f. Are 1/3 and f equal?
False
Let m = 114 - 796/7. Let c = -0.5 + 1.5. Which is smaller: c or m?
m
Let z = 0.14 - -0.1. Let s = 0.14 - z. Is -2 less than s?
True
Let h be 2*(-1 - 0/(-1)). Let m be (-3)/h - 2/(-4). Suppose -m*z - s = -z - 3, -3*z - s = -7. Which is bigger: z or 1?
z
Let h(z) = -z + 7. Let m be h(6). Let g be ((-3)/15)/((-2)/20). Which is greater: m or g?
g
Suppose -2*i = -3*i - 2. Let y(c) = -3*c - 12. Let x be y(-5). Suppose -3*a - 6 = -w, -w + 0*w - x*a = 12. Which is bigger: i or w?
i
Let f(y) = -y + 8. Let p be f(10). Let c be (-1)/p + 397/(-462). Let s = 2/77 + c. Which is smaller: s or -0.4?
-0.4
Let d = -0.1 - -0.2. Let c be (2/15)/((-4)/(-18)). Which is bigger: c or d?
c
Let l = -8 - -7. Which is smaller: -3/14 or l?
l
Let j = -3 + 6. Suppose -j*x = -2*x. Is x equal to 2/45?
False
Let c(r) = r**3 - 6*r**2 + 6*r - 3. Let w be c(5). Suppose 0 = w*o - 4*o, -5*k - 2*o = 0. Which is bigger: k or -2/9?
k
Let t(c) = c**3 + 3*c**2. Suppose -2*b - 5*d + 6 = 0, 6*d - 6 = 3*d. Let z be t(b). Let v(f) = f. Let x be v(3). Which is smaller: x or z?
x
Let i = 1.3 + -2.3. Suppose -14 = -5*s + 6. Suppose 0 = s*x - x. Is x != i?
True
Suppose 3*b = -4*z + 72, -5*b = -4*z + 27 + 45. Suppose -5*d = -4*l + 33, 4*l + 0*d = 2*d + z. Which is bigger: l or 3?
3
Let v = 22 + -21. Are 1/73 and v unequal?
True
Let n = 71.932 + -72. Is n >= 1?
False
Let b be ((-231)/(-220))/((-48)/(-10)). Let t = -912 + 29189/32. Let n = b + t. Which is greater: -1 or n?
n
Let d be (4/(-530))/(6/30). Which is smaller: 1 or d?
d
Let s be 9 + -4 + 2 + 1. Is s bigger than 13/2?
True
Let y = 2 - 2. Suppose y = l - 4*l. Is -2/21 equal to l?
False
Suppose 0 = -4*m - 5*j - 3, -m + 4*j + 15 = -0*m. Suppose m*x + 2*x = 20. Suppose 4 = 5*a - 21. Which is greater: x or a?
a
Let z(c) = c**3 - 4*c**2 + 3*c. Let v be z(3). Which is bigger: v or -2/81?
v
Let f = 3.1 + -3. Let t = -6.1 - -1.1. Let u = t - -5. Is u != f?
True
Let q = 52 + -53. Is q >= 2/73?
False
Let g = 245/93 - -1/31. Do g and 4 have different values?
True
Suppose -x + 2*x = 0. Which is smaller: x or -2/55?
-2/55
Let a be (1 - -3) + -1 + -2. Suppose -r = -2*n - 3 - 3, 0 = 3*r + n + 3. Suppose r = p + 2*p. Is p greater than or equal to a?
False
Let k(m) = -m**3 - 4*m**2 - 5*m - 2. Let n be k(-3). Suppose -n*r - r = 5*c - 30, 3*r - 14 = c. Is 5/3 not equal to c?
True
Let q be (106/16 + -7)/((-6)/(-4)). Are q and 89 equal?
False
Suppose -32 = -t - 4*z, 5*z + 0*z = 5*t - 85. Suppose -5*k - 20 = 5*p, -t = k - 2*k + 5*p. Suppose 8 + k = -4*g, m - 11 = 4*g. Is m greater than or equal to 2?
True
Suppose -6*n + 15 = -2*n + 5*v, -v + 3 = -2*n. Let o = 2 + n. Let j be 0 + o/(-8) - 0. Which is smaller: 0.2 or j?
j
Let d = -8 - -7. Which is bigger: d or 2/5?
2/5
Suppose 50*w = 52*w. Is -10/9 equal to w?
False
Let z = 3.1 - 3. Let p = 19 + -19.4. Which is smaller: p or z?
p
Let p = -2.6 + -2.7. Let b = 0.02 + 4.98. Let k = b + p. Which is bigger: 0 or k?
0
Let u be 22/(-5) - (-12 + 9). Which is greater: -1 or u?
-1
Let l be 4 + (0/(-3) - 0). Let k be (-4)/((l - 