 1.73. Which is bigger: s or -0.12?
-0.12
Let g be 12/198*(-3)/2*-12. Is g at most as big as 0?
False
Let m be -2 + -3*2/(-6). Let r be (-2 + m + -1)/2. Do -16 and r have different values?
True
Let l = -1.161 + 0.161. Which is smaller: l or -11/3?
-11/3
Let s(v) = -v**3 - 12*v**2 + 26*v + 41. Let l be s(-13). Is l greater than or equal to -128?
True
Let n = 736 + -727. Is 100/13 greater than n?
False
Suppose -2*j + 46 = -3*s, -j + 5 = -2*s - 17. Suppose j*d = 30*d. Which is smaller: d or 4?
d
Let y = -570 + 3966/7. Suppose 4*h - 4*s + 2 + 2 = 0, 1 = -3*h + 4*s. Which is greater: h or y?
h
Let s be (-94)/(-14) + (-12)/(-42). Let a = 21 - s. Is -0.1 at least a?
False
Let o = 5 - 3. Suppose 2*r + 4*z = 7 + 27, 0 = -o*r + 3*z + 20. Let x be 1/3 - r/3. Is -4 not equal to x?
False
Let o = -0.3 + 0.1. Let w be (-36)/(-24)*13/6. Let n = -7/4 + w. Which is smaller: o or n?
o
Let p = -15.267 + -0.133. Let k = -14.4 - p. Is -2 at least k?
False
Suppose 5*g + 20*m - 15*m = -70, -g - 5*m - 2 = 0. Which is smaller: -0.06 or g?
g
Let b = 2.34 - -0.26. Let z = -19.4 - b. Is -1/4 <= z?
False
Let y = 581.7 + -621. Let s = y + 39. Is 0.2 bigger than s?
True
Let t = -214 - 150. Let l be (-10)/65 - 1707/t. Let d = l - 17/4. Is -0.3 less than or equal to d?
True
Let j be 6/(1*(-9)/(-6)). Suppose 2*o = -p - 52, 14 = 5*p + j. Let k be o/(16/(8 - 4)). Which is bigger: k or -6?
-6
Let n = 893/5 + -178. Let j = n + -71/10. Which is smaller: j or -7?
-7
Suppose 2*t = 3*g + 2 - 0, 0 = 4*g + 4*t - 4. Let l be g + 0 - (9 + -7). Let d be (14/84)/((-1)/l). Is -2/39 greater than d?
False
Suppose -2 = -2*l + 4*g, -3*l = 2*l + 3*g - 44. Let n = -2.6 - -0.6. Which is bigger: n or l?
l
Suppose -8 = -j - 2. Let i be (-8)/12 - (-4)/j. Let f be 32/(-40) - i/1. Is f less than or equal to -1?
False
Let w = 1.09 - 2.09. Is w bigger than -0.21?
False
Suppose 7*f + 30 = 5*f. Let d(s) = 3*s + 49. Let k be d(f). Which is bigger: 1 or k?
k
Suppose 0 = 22*a + 294 + 36. Which is greater: a or -106/7?
a
Let q be ((-4)/(-4))/(1/(-17)). Suppose 0 = -4*r + r - 54. Which is bigger: r or q?
q
Let g = -20.93 + 16. Let v = -0.07 + g. Which is bigger: 0.1 or v?
0.1
Suppose -7*t = -13*t - 12. Let k be t/6*(-27)/(-7 - 2). Is k != -1/46?
True
Let x be 0 - (-77)/21 - 3. Are 0.053 and x unequal?
True
Let g = 1115 - 1114. Which is smaller: g or -1/243?
-1/243
Let h be (-22)/2 - (-1 + -24). Let t = 3 + -3.1. Is h smaller than t?
False
Let z = 2633 + -2622. Let p = 1.6 - 2. Let l = -1.4 - p. Is z less than or equal to l?
False
Let a = 21 - 18. Suppose -2*k + 22 = 4*d, -d + a = -1. Suppose -2 = -2*i - k*g - 6, i + 5*g = -9. Which is smaller: i or 4/9?
4/9
Let a be (4/(-6))/((-214)/6). Suppose -15*h + 25 = -15 + 40. Is h equal to a?
False
Let n(t) = -9*t - 2. Let p be n(-1). Suppose 4*m = p*m - 54. Which is smaller: m or 17?
17
Suppose 2*l + 8 = 0, -2*m + m + 26 = -4*l. Let v be m/(-35) + 32/14. Let d be -1 + 3 - 0 - v. Is -1 at most d?
True
Suppose 34 - 18 = 2*a. Let v = a + -9. Let z = 2/31 - -23/124. Are z and v unequal?
True
Let k = 11 + -2. Let d be (2/3)/((-12)/k). Let p = 63/2 - 34. Which is bigger: p or d?
d
Let z be (-914)/5 - (0 + 1). Let l = z - -182. Is l at most 3?
True
Let j = -145 + 133. Let k(v) = 4*v + 6. Let r be k(-4). Which is smaller: r or j?
j
Let b = -9439/5 + 1888. Which is smaller: b or -10/11?
-10/11
Let s be 4/(-14) + 2176/(-224). Are s and -45/4 non-equal?
True
Suppose -481 = 18*v + 1283. Which is smaller: -97 or v?
v
Let k(m) = -36*m + 120. Let q(p) = 7*p - 24. Let v(d) = 3*k(d) + 16*q(d). Let c be v(8). Is 6 at least as big as c?
False
Let c(d) = -217*d + 898. Let b be c(4). Let n be (-4)/2 - (-63)/2. Is b smaller than n?
False
Let i(n) = -n + 1. Let w be i(1). Suppose w = -3*v, 3*z - z - 2*v = -6. Let j = -854/45 + 142/9. Which is smaller: z or j?
j
Let p be ((-7)/(-87))/(24/(-72)). Is p >= 0?
False
Let w = 81 + -64. Let l be ((-94)/9)/(4 + 28/(-6)). Which is smaller: w or l?
l
Let p(x) = 14*x + 29. Let k be p(-12). Is k less than or equal to -138?
True
Suppose 0 = 4*u + 5*h, 4*u - 3*u - 3*h = 0. Suppose u = 2*n - 15 - 15. Let c be -2 + 1*36/n. Is 1 greater than c?
True
Let z(c) = -c**3 + 8*c**2 - 8*c + 5. Let w be z(7). Let l be 2 - (2 - (w + 2)). Let j = 952/9 + -106. Is j at most l?
True
Let k(x) = 13*x + 25. Let p(f) = -3*f - 6. Let y(m) = -2*k(m) - 9*p(m). Let r be y(4). Is r != 8?
False
Let w = -135 + 250. Let j = 115.1 - w. Is -21 greater than j?
False
Let n be 2 + 8/(-12)*-3 + -45. Which is smaller: n or -40?
n
Let n be 84/(8 + (-95)/10). Which is smaller: n or -1?
n
Suppose -16 = h - 5*h. Let n be ((-2)/h)/(2/16). Suppose 4*y = -5*f - 10 - 21, 5 = 5*f - 5*y. Is n less than or equal to f?
True
Let r = 0.51 - 27.51. Let n = 28 + r. Let s = 74 - 224/3. Which is smaller: n or s?
s
Suppose 5*o - 4*o = 17. Let l = 343 - 327. Which is bigger: l or o?
o
Let h = -2 + 2. Suppose 0 = -4*x - 2*p + 6, 4*p + 3 + 1 = h. Suppose -15 = 5*k - 0*b - 2*b, -x*k - b = -3. Which is smaller: 1/21 or k?
k
Let u = -2312/95 - 269576/665. Let x = -429 - u. Let m(b) = -4*b - 44. Let q be m(-11). Which is greater: q or x?
x
Suppose 2*a - 8 = 0, 3*o + 3*a - 125 = 82. Let b = o - 59. Is 34/7 bigger than b?
False
Let q = -1932 - -1932.5. Let u = 0.2 - 0.1. Which is smaller: q or u?
u
Suppose -2*y + 2*g = -14, 2*g = -0*y - 3*y + 1. Suppose j - y*j = -3*o - 38, -4*j = 2*o + 36. Let q be (72/o)/(4/(-14)). Is 18 >= q?
True
Let a = 398/25 - 16. Let r(l) = 2*l - 16. Suppose 3*f - 21 = -g, 0*g - 5*g - 47 = -4*f. Let y be r(f). Which is bigger: y or a?
y
Suppose 2*d - 21*l = -22*l - 289, 4*l - 158 = d. Which is smaller: -440/3 or d?
-440/3
Suppose 4*l = -4*r + 13 + 11, -3*r - 9 = 0. Which is smaller: l or 7?
7
Let u be -9*((-28)/(-8) + (-9)/54). Is -36 <= u?
True
Let p be 66 + (-3 - -3)/4. Suppose 2*m - p = 6*m + 2*j, 3*m - 2*j + 32 = 0. Let t = m - -15. Which is smaller: t or 2/31?
2/31
Let d = -6 - -17. Suppose 0 = 24*r - 435 - 21. Let b = d - r. Is -8 < b?
False
Let m = 467 - 508. Is m <= -37?
True
Suppose -92*h + 98*h = -24. Let x = 0.442 + -0.042. Is h != x?
True
Let k(f) = 6*f**2 - f. Let w be k(-2). Let j be (7 - -2)*(-12)/9. Let r = w + j. Is 14 >= r?
True
Suppose 2*x - 1 = -4*f + 41, 5*x = -4*f + 45. Suppose -f*c + 58 = -32. Which is smaller: c or 6?
6
Let c = 122 + -132.9. Do -1 and c have different values?
True
Let u be -2*(-2 - -3)/(-2). Suppose -t - 10 = -2*t + 2*j, 2*t + j - 5 = 0. Let p be 1 + 2/4*t. Which is bigger: p or u?
p
Let m = -27 - -33. Let d be m/(-21) - 4/(-14). Which is bigger: d or -1/11?
d
Let u = 105.9 + 198.1. Which is smaller: -1/5 or u?
-1/5
Let r = 1550/11 + -141. Let c(a) = a**2 + 25*a + 27. Let t be c(-24). Let n be ((-2)/(-10))/(t/(-5) - -1). Which is bigger: n or r?
n
Let f be ((-7)/6)/(2 - 3/6). Let w = -67/63 - f. Is w less than or equal to -3?
False
Let i = -3 - -13. Let v = -1668 + 8394/5. Is v <= i?
False
Suppose 4*c - 4*n = -16, -3*c + 2*n - 12 = c. Let v be 13 + 0/(-2) - c. Suppose -19 = -2*d + 5*d + 4*u, -3*u - v = 3*d. Are d and -2 nonequal?
True
Let v be (-10)/40 + (-42)/(-8). Suppose 0 + 12 = 4*f. Suppose 2*s + 6 = f*s. Is s at most as big as v?
False
Suppose -2*f + y + 6 = -f, 5*y - 15 = 0. Let d be 130/14 + -1 - (-2)/(-7). Is d less than or equal to f?
True
Let k = -100 - -66. Let s = 51 + k. Is 17 less than s?
False
Suppose -y + 62 = 2*w, 7*y + 2*w - 242 = 3*y. Suppose -y*v - 10 = -61*v. Suppose -s + 25 = f + 2*s, -5*f - 3*s = -65. Is f > v?
False
Let b be (10/(-12))/(996/1328). Let v = -701/35 + 766/7. Let h = 89 - v. Which is greater: h or b?
h
Let v = -316 - -1279/4. Which is bigger: v or 1/4?
v
Let r be 242/(-5) + 9/(-15). Let w = 71 + r. Let d be (-4)/(-18) - w/99. Is d greater than or equal to -2?
True
Let d = 29.6 + -32. Let x = d - 13.6. Which is smaller: x or 0?
x
Let o = 26.5 - -50.1. Let i = 12.6 - o. Which is bigger: -1 or i?
-1
Let v(p) = 7*p - 1 - 6 - 1 - 3*p**2 + 4*p**2. Let x be v(-6). Let c(q) = -q**3 - 5*q**2 + 30*q + 34. Let n be c(-8). Is n greater than x?
False
Let t = -12.1 - -6.1. Which is bigger: -2/11 or t?
-2/11
Suppose -4*n - 70 = n + 2*t, 0 = 4*n + 4*t + 44. Let w be (-9)/(-150)*n/3. Let b = w + 82/225. Which is smaller: b or -1?
-1
Let m = 853/475 - -2/475. Which is greater: m or 2?
2
Let i = 14.5 + -14.6. Which is greater: i or