
t
Let x = 0.099 - -58.901. Let l = x - 50. Is 0 bigger than l?
False
Let c be -1 + 0 + 0 - -28. Let p(s) = 75*s - 197. Let x be p(3). Which is bigger: c or x?
x
Let p(j) = j**2 + 7*j - 98. Let v be p(7). Let l = -3/107 - -342/749. Which is greater: v or l?
l
Let m = 940 - 931. Suppose 0 = -2*f - f + 9. Which is smaller: f or m?
f
Let s(z) = -z**3 + 9*z**2 - 8*z + 3. Let v be s(8). Let m(k) = 0*k**2 + k**2 - 3*k - k**2 + 1 + k**2. Let x be m(v). Which is greater: 3/17 or x?
x
Let f be 10/(-35) + (-45)/(-84). Let t = 66 - 65. Which is bigger: f or t?
t
Let k be 2/(-4)*(2 - 10). Suppose -26 = -2*i - 4*c, -c + 37 = 4*i + k*c. Suppose 16 + 2 = -i*p. Which is bigger: -7 or p?
p
Let z be 43*((-27)/(-35) - (-12)/(-21)). Which is smaller: z or 9?
z
Suppose r - 4*m + 28 = 0, -2*r + 0*m - 44 = 4*m. Let a be (44/2)/(-2 - -3). Let d = a + r. Are -2 and d nonequal?
False
Let w = 428 + -11558/27. Let d be 0*(-4 + (-44)/(-12)). Suppose 0*t + 5*t = d. Which is smaller: w or t?
w
Let w = 16.7 - 18. Let c = w + 9.3. Let z = c + -8.6. Which is greater: z or -2/7?
-2/7
Let o be -14 - -3 - (-96)/12. Let g = -0.08 - -0.68. Is o < g?
True
Let t = 805 - 876. Is -74 > t?
False
Let y(t) = -t**3 + t**2 - t - 1. Suppose 5*k + 3 = 2*k. Let x be y(k). Let a be (247/(-104) - 1*-1) + 2. Which is bigger: x or a?
x
Suppose -j = j - 6. Suppose -11 = 3*k - 2. Let v = k + 6. Is j less than v?
False
Let j = -52 - -44. Let c be 1 - (10 - (2 + -1)). Let g = c - j. Is 1/4 greater than or equal to g?
True
Let a = -158 + 159. Let n = -37/12 + 527/132. Which is smaller: a or n?
n
Suppose 8*o - 360 = -336. Do 11/5 and o have the same value?
False
Let z = -0.123 + 0.073. Which is smaller: z or -2/11?
-2/11
Let c(o) = -o**2 + 9*o - 1. Suppose p = -0*p - 2*f - 1, -22 = -3*p - f. Let s be c(p). Are -2/21 and s nonequal?
True
Let r be -1 + 2/5 + (-46)/(-10). Let n be (r + (-175)/45)*1*2. Is n at least as big as -2/5?
True
Suppose 2*t - 126 - 137 = -5*c, 3*t = 3*c - 141. Is c <= 54?
True
Let h = 19916/12529 + -1/737. Which is smaller: 1 or h?
1
Let q = -790/19 + 1291669/31065. Which is smaller: 1 or q?
q
Let f be 4/(-6)*(-3)/5. Let m be 1520/(-84) + 4*(-1)/(-42). Which is smaller: m or f?
m
Let t(p) = -7*p + 5. Let q be t(5). Let n be 9*(-3 + q/(-9)). Suppose -3*h + 4*f = 4, 2*h + 1 = n*f - 2*f. Which is bigger: h or 6?
6
Let w = 31637/5 - 6288. Is 0.1 at least w?
False
Suppose 8089*h - 21131 = 8078*h. Which is greater: 1922 or h?
1922
Suppose 3*a = c + 247, -8*c = -3*a - 13*c + 223. Which is smaller: a or 79?
79
Let x be 21/(-14)*(-280)/(-21). Is x greater than or equal to -25?
True
Let r(p) = -3*p**2 + 6*p + 15. Let s(n) = 5*n**2 - 12*n - 29. Let b(v) = 7*r(v) + 4*s(v). Let y be b(-4). Is y less than 0?
True
Let z be 15/(-9) + 1 + 0. Suppose -5*g = -9*g + 8. Suppose s - 4*s = 5*v - 7, -g*v = -s - 5. Are z and v non-equal?
True
Suppose -w + 0*w = -1. Let r = -16.51 + -0.49. Are w and r equal?
False
Let s = -402 - -3622/9. Let w(h) = -7*h**2 - 75*h - 161. Let f be w(-3). Are f and s equal?
False
Let o = -162/19 + 1192/171. Let d = 88/45 + o. Let k = 102 + -102.1. Is d < k?
False
Let b = 3.6547 - 1.6547. Let j = 0.13 - -4.87. Which is bigger: b or j?
j
Suppose -10*q = -6*q - 32. Let j(a) = -a**2 - a + 8. Let f be j(0). Does f = q?
True
Let n = -73/561 + 2/51. Let l(c) = c**3 - 3*c**2 + 18*c - 89. Let v be l(4). Which is smaller: v or n?
v
Let f = -1367 - -1289. Is -74 smaller than f?
False
Let t = 3 + -3. Suppose 0 = -4*k + 6 - 34. Let h = -43/6 - k. Is h greater than t?
False
Let l = -137/516 + 2/129. Let c = -0.583 + -0.017. Let g = -0.5 - c. Is l < g?
True
Let c be 4/222 - (1 - 1). Let o(s) = 2*s - s**3 - 9 + 0*s + 176*s**2 - 172*s**2. Let d be o(4). Is d != c?
True
Let k = -400 + 396. Is -57 less than or equal to k?
True
Let b = 64 + -28. Suppose 4 = -4*q - b. Which is smaller: 3/5 or q?
q
Let o = 23.14 - 23. Let f = -0.24 + o. Is -0.14 < f?
True
Let i be (2/(-4))/(1/8). Suppose u + 3*u - n = -192, -2*u - 3*n - 82 = 0. Let s = u + 44. Is i greater than s?
False
Let c = -1 + 10. Suppose 3 = 6*p - 45. Which is bigger: p or c?
c
Let j(l) = -2*l + 15. Let k be j(8). Let o be (2/(-12))/((-9)/2). Which is smaller: o or k?
k
Suppose 33 + 147 = 10*g. Which is greater: 23 or g?
23
Let r(u) = -u**2 - 32*u - 83. Let j be r(-18). Which is smaller: 168 or j?
168
Let x = -14 - -18. Let m(j) = 4*j + 5. Let n be m(x). Let q = n - 23. Which is greater: q or -12/5?
q
Let g be (1312/(-3) - 2)*111/74. Are -658 and g non-equal?
True
Let p = -26 + 3. Let c = p - -53. Is c > 30?
False
Let l = -388495/46 + 8446. Is 0 greater than or equal to l?
False
Suppose -q - 30*d = -35*d - 16, 0 = 2*q - 5*d - 22. Which is bigger: 21/4 or q?
q
Let j(a) = a**3 - 10*a**2 + a - 8. Let r be j(12). Let m(i) = 2*i - i - 5*i**2 - r + 294. Let x be m(-2). Is x equal to -20?
True
Suppose -5*y - q - 1 = 8, -4*y = -3*q - 8. Is 40 greater than y?
True
Let g = -0.0328 + 0.5328. Let b = 0 + 0.2. Do g and b have the same value?
False
Let c = 115 - -54. Let l = -169.4 + c. Let a = 801/4345 - 1/395. Which is bigger: a or l?
a
Let r = 278.79 - 280. Let x = r + 7.21. Let z be (-2)/4*(-1 + 2). Which is bigger: x or z?
x
Let y = 139 + -112. Is y bigger than 22?
True
Let n = -9.3 + -8.3. Let v = n + 3.6. Let x = v - -13. Are 3 and x nonequal?
True
Suppose -4*u = -28 + 8. Suppose 4*y - 5 = -q - 8, 3*y = -u*q - 15. Which is smaller: -8/13 or y?
-8/13
Let b be (-17)/(-5) - (-6)/10. Suppose -7 = 4*u - 3, q - 4*u = -b. Is -8 <= q?
True
Let a be (-16)/42 + (-8)/(-12). Let v = -0.03 + 0.06. Let q = -0.13 + v. Is a <= q?
False
Suppose 4746 = -4*p + 4166. Which is greater: p or -143?
-143
Let b = -1/2933 - 50698/2933. Which is smaller: b or -16?
b
Suppose 5*h + l + 74 = 3*h, -5*h = -3*l + 174. Let y be 16/h + (-82)/18. Is y less than -8?
False
Let u be 2 - 3/(-3)*1. Suppose -u*a + 4 = 7. Let q(c) = -2*c - 1. Let l be q(a). Which is bigger: l or 2/31?
l
Let j(c) = -c**3 - 9*c**2 + 9*c. Let f be j(-10). Let o be (2/(-10))/(f/15). Let v(d) = -d**2 - 2*d + 4. Let k be v(-3). Is o greater than or equal to k?
False
Let z be -2 + (2*-6)/(-4). Let b(c) = -11*c + z + 2 + c**2 + 3. Let i be b(10). Is i at most -5?
False
Let d be (-4 - (-5 - 4)) + -146. Are -142 and d equal?
False
Let j be (-3576)/5310 + (-14)/(-21). Does j = -0.2?
False
Suppose 3*f - 191 = 2*d - 46, 7 = d. Suppose -b + 25 + 28 = 0. Is f < b?
False
Let o = -99 - -97. Let t = -0.2 + 2.1. Let x = 0.1 + t. Which is bigger: x or o?
x
Suppose s = -3*a + 9, 5 = 5*s - 25*a + 20*a. Is 48 less than or equal to s?
False
Suppose 5*l + 3 = -b, 4*b + 0 = 3*l - 12. Suppose -4*u = -2*q + 24, q - 2*u = -4*u - 8. Suppose x + x - q = l. Is -6 greater than or equal to x?
False
Suppose 0 = r - 6*r - 15. Let z = 3613/4 + -906. Which is bigger: z or r?
z
Let y = 59 - 23. Let k = y + -36. Which is bigger: -14 or k?
k
Let i be 2/(-4) + 5/(-2). Let t = -0.3 + -8. Let n = t + 8.2. Is n greater than i?
True
Let s be (-4)/(-18) + 104/18. Suppose -27*y = -59*y + 224. Are y and s equal?
False
Let u be 2*11 - (-12)/(12/(-2)). Suppose 0 = -2*w + 4*w - u. Which is smaller: 8 or w?
8
Let t(p) = p + 3. Let j be t(-4). Let y be (-280)/(-9)*(-15)/(-10). Let d = y - 47. Are d and j non-equal?
True
Let r be 3*((-16)/3 + 2). Let o be (1*-1)/(10/r). Which is greater: o or 3/28?
o
Let a = -0.997 - -7.054. Let m = a - -0.603. Let w = m + 0.34. Is -1 greater than w?
False
Suppose -174 = -5*t + 256. Let y be (-2)/(-13) - t/78. Let k = 8/13 + y. Do -6 and k have the same value?
False
Let v = 62 - 25. Let r = v - -14. Let z be (-27)/(-16)*68/r. Is z less than 1?
False
Let n = 31056.022 - 31027. Let m = -0.022 + n. Let y = 27 - m. Is 3/2 < y?
False
Suppose 9 = 3*y, 0 = 2*a + 2*a + y + 21. Let s be (6/9*-1)/((-8)/a). Is -18 at most as big as s?
True
Let t = 0.432 - 0.432. Is 1.48 less than or equal to t?
False
Suppose -6 = -45*f + 48*f. Let q be 9/(-7) - (-2)/(-14)*f. Is 4/51 >= q?
True
Let i = -13.64 - 0.36. Let m = i - -14.32. Let z = 0.12 - m. Which is smaller: z or -1/4?
-1/4
Let i = 335.38 - 342. Let m = -6.6 - i. Which is greater: m or -0.05?
m
Let m = -101 + 102. Are 0.223 and m non-equal?
True
Let d = 0.15 - -0.24. Let f = d + -0.14. Let t be 62/155*((-10)/(-16) - 0). Is t at least as big as f?
True
Suppose 5*n = 4*g + 111, 7*g - 27 = -