is smaller: 0.09 or o?
0.09
Let x = 75 + -91. Let t(l) = 11*l - 1. Let z be t(1). Let q = z + x. Is -4 less than q?
False
Let j = -31.32 + 32. Let y = j + -0.08. Are -1 and y equal?
False
Suppose 0*y + 4*h = -5*y + 17, 0 = h + 2. Suppose 0 = -5*x + x + 8. Do y and x have the same value?
False
Let m(f) = -f**3 - 10*f**2 + 6. Let o be m(-10). Suppose o*d + 8 = 4*d. Suppose -10 = 3*g - u, -u + 2*u + 2 = 0. Is d less than or equal to g?
True
Let m be (-6)/(-15)*(-15)/6. Do m and -2/311 have different values?
True
Let g be (3/30*-1)/(-1). Let t(q) = q**2 - 37*q + 69. Let b be t(35). Is b not equal to g?
True
Let p be 4*1 - (5 - 3). Suppose 2*u = -6 + p. Let i be -10*1/((-5)/u). Is i at least 2?
False
Suppose 3*v = -3*w + 7962, -v = 2*v + 2*w - 7960. Is v at least 2653?
False
Let f(a) = -3*a - 7. Let d be f(-5). Let j = 18 - d. Suppose -434 + 5 = -39*u. Which is bigger: u or j?
u
Let s = -36 - -35.9. Let k = -8.4 + 8.35. Are k and s non-equal?
True
Let m(q) = q**2 + 14*q - 139. Let g be m(-20). Which is greater: -11 or g?
-11
Suppose -18 = -k - 3*l, 3*k - 8*k + 35 = 4*l. Suppose 0 = -u + k. Is u at least as big as 24/11?
True
Let r = 90.54 + 1.46. Let m = r - 91. Which is greater: 10.3 or m?
10.3
Suppose 0 = -0*y - 4*y + 2*i - 18, -15 = -3*i. Let z be ((-1)/y)/(62/6). Let o = z - -138/31. Which is greater: 6 or o?
6
Let i = 4658635/634 - 7348. Which is smaller: 0 or i?
0
Let y(x) = 2*x**2 - x - 15. Let t be y(3). Is 0.241 less than or equal to t?
False
Let u = -207 + 80. Let o = 109 + u. Which is greater: o or -2?
-2
Let i(n) = -n**3 + 5*n**2 - 2*n - 1. Let u be i(2). Let f be 3/(-1)*u/(-7). Suppose o - 4*o = -f. Is o at least 6/7?
True
Let g = 5999/25 + -240. Let u(x) = -x**2 + 20*x + 22. Let d be u(21). Is d at least as big as g?
True
Let n = -6.95 - 1.05. Let p = 5 + 2.8. Let h = p + n. Which is smaller: -1 or h?
-1
Let o = -3 - -5. Let h = -0.205 - 191.795. Let f = 192.8 + h. Is o greater than f?
True
Suppose -4*h = 1 + 3. Do -22/19 and h have the same value?
False
Suppose 4*m - 36 = 2*y, -3*m + m + 34 = -5*y. Suppose 0*g - 210 = m*g. Is -29 bigger than g?
True
Let l = 451 + -677. Which is smaller: -227 or l?
-227
Let w = 1131 - 23749/21. Which is smaller: w or -3/2?
-3/2
Suppose 3*t - 4*g - 3 = 0, 3*t - 1 = 2*t - g. Let a = 1 + t. Suppose -a = i + i. Which is smaller: i or 2/5?
i
Suppose 5*p - 22*p = 459. Is -111/4 at least as big as p?
False
Let i(j) = -j**2 - 18*j - 183. Let r be i(-17). Is r greater than or equal to -169?
True
Suppose 0 = -5*w - 3*f + 22, 2*f = -2*w - 0*f + 12. Is w greater than 31/30?
True
Let y(x) = x**2 + 19*x - 27. Let l be y(-26). Suppose 150*n - l*n = 260. Which is bigger: n or -51?
-51
Suppose 0 = -5*j + x - 0*x + 310, -2*j + 137 = -3*x. Let q = 58 - j. Let i = -2 + 1. Is q < i?
True
Let u be 14/18 - (-2)/9. Let c = 6/293 + 741/6739. Which is smaller: c or u?
c
Suppose -t - 3*o + 12 = 2, -10 = -5*t + 5*o. Suppose -2*h + 1 + 5 = -2*p, 5*h - 2*p - 21 = 0. Suppose -5*c + h*y = -8*c + 17, -5 = -5*y. Is t smaller than c?
False
Suppose -4*b - 5 = -u - 4*u, 0 = 4*u + 4*b - 40. Let x be -2 - (-1)/(2/136). Let j be 14/35 - x/(-10). Is u < j?
True
Let a = 71 + -47. Let o = 25.941 - -0.059. Let z = a - o. Is -1 not equal to z?
True
Let l = -112 - -102. Are l and 0.5 nonequal?
True
Let s be (-35)/15 - -2 - 8/(-6). Which is smaller: 0 or s?
0
Let m = 172 + -118. Let i = m - 43. Which is bigger: i or 13?
13
Suppose 2*w - 76 = 5*q - 78, 5*w = q + 18. Which is smaller: 34/25 or q?
34/25
Let o(h) = -43*h + 7. Let y be o(2). Let j = y - -164. Which is bigger: 0.1 or j?
j
Suppose -n - 17 = i + 3*i, -3*i + 1 = -2*n. Let p = 86 - 90. Which is greater: p or i?
i
Let v = -52 + 53. Which is greater: -34 or v?
v
Let f = -16 + 13.2. Let t = f + -16.2. Let c = t - -21. Is c less than 4?
True
Let f(u) = 398*u**3 + 4*u**2 + 3*u + 1. Let s be f(-1). Is s at least as big as -396?
True
Suppose 6*i + 8 = 8*i. Suppose i*z + 16 = 0, -5*p - 8 = 3*z + 4. Which is greater: p or 1/114?
1/114
Suppose 3*q + 4*o - 7 = 0, 9*q + 4*o - 3 = 10*q. Which is greater: 6/25 or q?
q
Let z = 817 + -5706/7. Is z < -0.3?
False
Let y be (-2)/8 + (-218)/(-8). Suppose -9*d = -235 - 17. Which is greater: d or y?
d
Suppose -5*p = 4*u - 0*u + 9, -4*p + u = 3. Let q(d) = d**2 + 3*d + 2. Let o be q(p). Is o != -4/7?
True
Let i = 0.31 + 12.69. Let u = i + -12.6. Is u greater than -0.2?
True
Suppose 0 = 7*f - 6*f + f. Suppose f = -3*i, -3 = u + 5*i + 4. Which is greater: -6 or u?
-6
Let g = 2/457 + -2517/53012. Which is smaller: g or 1?
g
Let k(f) = f + 10. Let v be k(9). Suppose 5*x - j - 17 = x, v = 5*x + j. Suppose -x*n + 0*n - 4 = 0. Is -2 <= n?
True
Let u = -157742 - -1106032/7. Let i(z) = 32*z**3 + 3*z**2 - 3*z. Let l be i(2). Let k = u - l. Is k >= 0?
True
Suppose 0 = -4*h + 4*t - 84, 3*h = -5*t - 69 - 2. Let x = 23 + h. Which is smaller: -2 or x?
-2
Suppose -2*l = -6*l + 20. Suppose l*m = 5, 0 = 2*g + 2*g - 3*m + 11. Let f(u) = u**3 - 3*u**2 - 2*u + 1. Let w be f(g). Is -14 greater than or equal to w?
True
Let r = -18/29 - 389/261. Let k = 22/9 + r. Is -2/5 > k?
False
Let n(w) = w**3 - 22*w**2 - 21*w - 32. Let t be n(23). Let m = 15 - t. Is m less than or equal to 1/17?
False
Let u be (1/51)/(2/(-6)). Let h(c) = c**3 - 5*c**2 - 14*c. Let t be h(7). Which is bigger: u or t?
t
Let s = 21/8 - 299/120. Let x(a) = -a**3 - 5*a**2 + 6*a + 1. Let r be x(-6). Are s and r unequal?
True
Let r = -1088 - -1088. Do -2/4363 and r have the same value?
False
Suppose -6*n + 156 = -0*n. Suppose -n - 262 = d. Let w = d + 3170/11. Which is greater: 3 or w?
3
Let u(t) = -t**3 - 9*t**2 - 18*t - 1. Let b be u(-6). Which is bigger: b or -30/23?
b
Let y be (12 + -13)*(-2 + 2 - 1). Is 4/13 >= y?
False
Let p = -60.96 + 61.5. Is p at most -0.1?
False
Suppose 4*n - 21 = 5*n. Let w = 27 + n. Which is bigger: w or 5?
w
Let m = 421188/181 + -2327. Suppose -9*d - 2*d = -0*d. Which is smaller: d or m?
d
Let m = -173/72 - -21/8. Which is bigger: 103 or m?
103
Suppose -3*z = -3*v, 44 = 4*v - z + 41. Which is bigger: v or 2/433?
v
Suppose 2*m + m - 6 = 0. Let k be 1*(-4 + 2) - 3. Let q be ((-12)/(-8))/(k/(-6)). Is q at least as big as m?
False
Let p = 29 + -37. Let f be (-3)/6 + 12/p. Is f less than -1?
True
Let j(p) = p**3 + 5*p**2 + 4*p + 2. Let u be j(-5). Let x be 2/(-4) + (-5)/(-140)*u. Which is smaller: x or -1?
x
Let r = 20840/11 - 1897. Which is smaller: -2 or r?
r
Let w be (-129)/63 + (-6)/21. Which is smaller: w or -1?
w
Suppose 10 = 5*m, 6*z + 1280 = 4*z + 4*m. Is z at most 1/3?
True
Let o = -128 - -121. Is -5 <= o?
False
Suppose 6 - 21 = -5*z. Suppose 0 = 4*o + z*c + 4, 2*c = o - 3*c - 22. Let f = -3 - -5. Is o bigger than f?
False
Suppose -2*w + 6*w + 5*n - 19 = 0, 0 = -4*w + 4*n - 8. Suppose -4*c + 20 = -h - 2*h, 5*c = -3*h + 25. Suppose c*k = 6 - w. Is k less than 4/9?
False
Let y = -2017 + 1318. Is y smaller than 1?
True
Suppose 5*g + 3*w = 676, -7*w - 405 = -3*g - 9*w. Which is smaller: g or 136?
136
Let s be ((-358)/537)/(3/2). Let h be 3/(-2)*6/9. Let x = h - -1. Which is smaller: x or s?
s
Suppose 18*u - 22*u + 4 = 0. Suppose 5*n = 5*y + 60, 25 - u = 2*n - 3*y. Is 12 equal to n?
True
Let f be 6/(-27) - 74/(-738). Is 0.5 >= f?
True
Let w = 68 - 38. Let a = w + -30. Which is smaller: -1/18 or a?
-1/18
Let s = 0.1492 + 0.0508. Is -518 < s?
True
Suppose -3*i - i = 2*t - 104, i - t - 29 = 0. Let p = i + -22. Suppose 6*g - g = p, 5*g = -5*c + 60. Which is smaller: 10 or c?
10
Let q(w) = -w**3 + 17*w**2 - 13*w - 6. Let b be q(16). Let y = b - 43. Is y >= -18/17?
True
Let b = 1069 + -1077. Which is smaller: b or -22?
-22
Suppose 0 = -3*x - 11*x - 2212. Let n = -2688/17 - x. Is n greater than or equal to 0?
False
Suppose -y - 8 = 5*m, -3*m = -3*y - 2*m + 40. Suppose 4*k - y = -0*k. Suppose -d + 6 = -2*l, -2*l - 23*d - 6 = -28*d. Does k = l?
False
Let b be 0 - (73860/25)/6. Let o = b + 494. Which is smaller: o or 1?
1
Let a = 30 - -9. Let m = 146 - 108. Is a less than m?
False
Let p(f) = f - 8. Suppose 6 = -h + 18. Let y be p(h). Which is bigger: y or 17/6?
y
Let k = -32 - -32.2. Which is greater: -20 or k?
k
Let q = -4 - 38. Let a = -19 - 24. Which is bigger: a or q?
q
Let g = -54 - -58.3. Let u = 232.7 - 236. Let x = u + g. Which is smaller: 1/8 or x?
1/8
Let r(s) = 6*s - 43. Let q be r(8). Let