/9 or x?
-1/9
Let t be 12/(-90) + (-2)/(-15). Which is smaller: -2/55 or t?
-2/55
Let u be (1/4)/((-3)/4). Let w = -112 - -116.7. Let j = w + -5. Which is smaller: u or j?
u
Let k = -3 - -3. Suppose n + 0*n = k. Let q = -119/87 + 1/29. Which is smaller: q or n?
q
Let r = -0.2 - -1.2. Let m = -5/2 + 3. Are r and m non-equal?
True
Let b = -30 + 27.05. Let y = -3 - b. Does -2 = y?
False
Let z = -12 + 9/2. Let u be -8 + 0 + 1 - 1. Let y = z - u. Which is bigger: y or 2?
2
Suppose 5*k - 11 - 9 = 0, k = -2*c + 2. Which is bigger: c or -13/11?
c
Let h be (-2)/(-1) - 192/132. Which is smaller: 1 or h?
h
Let w be (28/(-8) + 1)*-6. Let k = 16 - w. Is k greater than 1?
False
Let l(q) = 1. Let i(y) = 2*y - 1. Let a(s) = -i(s) - 4*l(s). Let h be a(-3). Suppose n - 4 = -h. Which is greater: 1/6 or n?
n
Suppose -4*k = -20, -k + 0 = 2*q - 15. Let p be 39/6 - (q + -6). Is p bigger than 8?
False
Let m = 6 - -4. Let n be (m - 0) + (-2 - -4). Let w be n/16*(-1 + -3). Which is smaller: w or -4?
-4
Let m = 384/5 + -77. Is -5 smaller than m?
True
Let o(p) = p**3 - p**2 - p + 1. Let a be o(0). Let f = -20/63 - -2/21. Which is smaller: f or a?
f
Let k = -497 + 12423/25. Which is bigger: 0 or k?
0
Let i = 65 + -59. Which is smaller: 8 or i?
i
Suppose -4*o = -5*h + 1, -3*o - 1 = 4*h - 8. Let x be -1 + (4*1 - 1). Are o and x non-equal?
True
Let x = -72.6 - -80. Let t = 1.9 - x. Let d = -6 - t. Are d and 1 unequal?
True
Let b(s) = -s**2 - 3*s + 1. Let t be b(2). Let j be -20*(10/(-4))/(-5). Which is smaller: t or j?
j
Let o be 1/(-3) - 4/6. Let z(g) = 7*g**3 + g**2 - g - 1. Let k be z(o). Let p = k - -5. Which is smaller: 2/9 or p?
p
Let z(p) = p**2 + 9*p + 10. Let q be z(-6). Does q = -10?
False
Let z(n) = -n**2 - 3*n + 11. Let u be z(-6). Let g = u - -11. Let i(a) = -a**2 + 4*a + 4. Let r be i(4). Is g at most as big as r?
True
Suppose 5*r + 2 = -3. Let b be (-1032)/276 + (-4)/r. Which is greater: b or 1?
1
Suppose -w = -3*w. Is w >= -2/7?
True
Suppose 5*h - 29 + 0 = 2*s, -4*h = 2*s - 34. Which is smaller: 23/3 or h?
h
Let i = 54 + -55. Is i >= 11?
False
Let a be -4*(-2 + -2)*-2. Let y = 10 + a. Let h be 3/(-77) - 4/y. Is h > 1?
False
Let x = 62.8 + -63. Which is smaller: -8 or x?
-8
Let w = 0.25 + 18.75. Let d = 20 - w. Are d and 2/5 equal?
False
Suppose 0 = -0*q + 3*q + 2*z + 82, 0 = -4*q + 5*z - 117. Is q greater than or equal to -28?
True
Let c = -1 - 0. Is c > 3/8?
False
Let s = 197 - 991/5. Which is smaller: 0 or s?
s
Let b be 3/(-2)*(-16)/12. Suppose d - b*d + 4 = 0. Is d > 6?
False
Let v = -0.23 - -0.14. Which is greater: v or 1?
1
Suppose c = 3*q - 0 + 7, -2*q = -2*c + 2. Let i = q - -5. Is 2/3 greater than or equal to i?
False
Let j = -16 - -9. Let i = 21 - 13. Let y be -9 + 1 - (-16)/i. Which is smaller: j or y?
j
Let a be ((-2)/(-28))/((-1)/2). Which is smaller: a or 0?
a
Let c(j) = 69*j**2 - 1. Let d be c(-1). Let z be ((-2)/d)/((-2)/8). Which is bigger: -1 or z?
z
Let l = -3.4 + 3. Let i = l - -0.5. Let v = 4.2 - 2.2. Which is smaller: v or i?
i
Let o = -6.2 - -6.1. Which is greater: o or 0.6?
0.6
Let b be (3 + 0)*10/(-15). Let f be -2 + 0/b + 3. Which is greater: 2/15 or f?
f
Suppose -4*r + 1 = 5. Suppose -3*k - 27 = -0*k. Let c be (r - -4)/k*1. Is -0.4 bigger than c?
False
Let o be 3 - 3 - (-2 - 1). Is 2 at least o?
False
Suppose 0*t = t + 1. Let n = 8673/11 + -789. Is n bigger than t?
True
Suppose 2*y = -2*y. Let c = -2 - 0. Let n be (96/11)/(-4) - c. Is y less than or equal to n?
False
Let n be (105/(-40))/7 - 0. Is n > 0?
False
Let h(q) = -q**3 + 6*q**2 - 9*q + 7. Let z be h(5). Which is bigger: -16 or z?
z
Let m = -17 + 18. Which is bigger: -2/7 or m?
m
Let q = 15 - 14.6. Suppose -3*m + 1 = k - 3, 7 = 2*m + 5*k. Is m at least as big as q?
True
Let d(z) = 5*z**2 - 4*z - 5. Let q(c) = -11*c**2 + 9*c + 11. Let h(v) = 9*d(v) + 4*q(v). Let k be h(1). Let l be -3*1/(-3) - k. Is l greater than or equal to 1?
True
Let m = -0.26 + 2.26. Let k = -2.4 + 0.4. Let c = -1.9 - k. Are m and c nonequal?
True
Let x be 5/(-4) - 2/(-8). Suppose m + 13 = 5*d, 4*m + 15 + 19 = 2*d. Let z be (-4)/m*(0 - 2). Is z at least x?
True
Let l = 11/9 + -31/18. Let g = -2.4 - -3. Let r = 1.4 + g. Which is bigger: r or l?
r
Let b(j) = -9*j**3 - j**2 - j. Let o be b(-1). Let t be 3/12 - o/(-12). Is t greater than 7?
False
Let m = -17/132 + -4/33. Suppose 36*p = 32*p. Which is bigger: m or p?
p
Let a = -4375/1588 - -2/397. Which is smaller: -3 or a?
-3
Let g(s) = -s**3 + 15*s**2 - 14*s + 10. Let w be g(14). Suppose 3*f + 20 = -f + 2*b, f - 3*b + w = 0. Which is smaller: 1/4 or f?
f
Let w be 8/(2/(2 + -4)). Let m = w + 10. Which is bigger: 3 or m?
3
Let v = 5.2 - 7.9. Which is bigger: 1/3 or v?
1/3
Suppose s = 4, 0 = -4*q - 5*s + 6 + 10. Is 1/6 at most q?
False
Suppose -4*r = -r. Let m = 13/21 - 2/7. Is m less than or equal to r?
False
Let c = 0.1 + 2.9. Which is smaller: c or 0?
0
Suppose 9*p = 13*p - 312. Is 77 < p?
True
Let l = -6.5 - -8. Let n = -1 + l. Let k = -1.5 + n. Are k and -2/7 equal?
False
Let c = 1.18 - 1.07. Which is greater: 0.1 or c?
c
Suppose 3*w + 0*w - 525 = 0. Suppose -5*l + w = -10*l. Let n be 29/l + 14/35. Which is smaller: -0.1 or n?
n
Suppose 0 = -4*q + 10 + 6. Let y = 0 + q. Suppose 21 = 2*v + 5*n, 0 = -5*v - 5*n + 28 + 2. Which is smaller: y or v?
v
Let u(x) = -x**2 - 4*x + 5. Let b be u(-4). Suppose -q + 2*q - b = 0. Are 1 and q non-equal?
True
Let q be (-30)/(-45) + (-4)/(-3). Is 11 greater than q?
True
Let c = -2/7 - -4/7. Is c equal to -1?
False
Let m = -0.23 + -2.57. Let v = m - -3. Suppose 0 = -2*b + 5*b. Which is smaller: v or b?
b
Let t = 27.906 + 0.094. Does t = 0.1?
False
Suppose 0 = 3*g - 11 - 1. Is 3 > g?
False
Let a = -48 + 191/4. Suppose 4*s - 3 = 5*k + 38, 4*k + 4 = 0. Suppose -24 = w - 5*t, -t - t = -w - s. Are a and w nonequal?
True
Let a be ((-4)/8)/(2/(-4)). Which is smaller: 0.1 or a?
0.1
Let t = 2/51 - 12/17. Let a = -4.8 - -5. Which is smaller: a or t?
t
Let q = -0.03 + 0.63. Let u = q + -0.6. Which is smaller: u or 2?
u
Let d = -172/273 - 20/39. Let t be (76/(-12))/((-4)/(-12)). Let a = t + 17. Is a at least as big as d?
False
Let l = -5 - -5. Let n = l - 2. Which is smaller: n or 0?
n
Suppose -4 = q, -2*d - 3*d = 4*q + 16. Let s be -2 - 2*(-39)/36. Let v = -13/42 + s. Is d equal to v?
False
Let q = -16 + 6.8. Let o = q - -9. Which is bigger: 1/5 or o?
1/5
Let w be (-68)/80 + (-3)/(-5). Which is smaller: 1 or w?
w
Let h be (6 - (5 + -2)) + -2. Is -2/11 not equal to h?
True
Suppose i + 3*i - 4*y - 8 = 0, -2*i + 4*y = -4. Let v be 10*5*i/4. Let f be (-10)/v - (-4)/5. Which is smaller: f or -0.1?
-0.1
Let q(b) = -13*b**3 - b**2. Let p be q(-1). Let h be 2/1*6/p. Let w be (4 - h)*(-1)/(-3). Do w and 1 have different values?
False
Let g = 8 + -12. Let u = g - 0. Is -4 at most as big as u?
True
Let j = 16 + -31/2. Let f be 100/28 - (3 + 1). Is j <= f?
False
Let h be 3 + (-2 - (1 + -1)). Let v = -4 - -3. Let z = h - v. Is z < 0?
False
Let j(m) = -m**2 - 10*m - 6. Let q be j(-9). Suppose 3*o - 10 = -4*b, 8*b = q*b - 3*o + 11. Suppose 0 = -2*i + 3*i. Is i < b?
True
Let n = -21 - -21. Is 3/20 != n?
True
Let y = -44/7 + 46/7. Let t be 14/4 + (-3)/6. Suppose 2*u = t*h - u + 9, 3*u - 9 = -3*h. Which is smaller: y or h?
h
Let l(i) = -i + 5. Let k = 9 - 4. Let q be l(k). Let n be (1/(-2))/((-3)/(-6)). Which is greater: n or q?
q
Let o be ((-2)/4)/(5/10). Which is smaller: o or -2/9?
o
Let o = 1.1 - 1. Let b = o - 0.5. Let i = -3.6 + b. Is i > 0?
False
Suppose 10 = 4*l - 9*l. Let k be (16/20)/((-4)/(-10)). Is k less than l?
False
Let y be -2 + -2 + (-5)/(150/(-117)). Is 1 at most y?
False
Let j be ((-7)/(-4))/(6/(-24)). Is j <= -4?
True
Let m be 194/198 + (-1 - 0). Is m > -1?
True
Suppose -16 = -2*q + 2. Let h(y) = y**3 + 9*y**2 - 13*y - 20. Let x be h(-10). Which is smaller: x or q?
q
Let p(l) = -l**3 - 8*l**2 - 6*l + 9. Let t be p(-7). Suppose -t*y = y. Which is greater: y or 2/5?
2/5
Suppose -5*s + 2*a = 10 - 68, 4*a = 2*s - 36. Suppose -8*v + 27 = -5*v. Is s < v?
False
Let z = -771 + 3842/5. Which is bigger: z or -2?
-2
Let k = -3091 - -695477/225. Which is greater: 0 or k?
k
Suppose -9*d - 53 - 10 = 0. Is 3 < d?
False
Let a be 47/3 + (-4)/(-12). Suppose -v - v = a. Which is bigger: -9 or v?
v
Let h = -16 - -12. Let u be 1 + 1/(-3 - h). Which is