et r = -3.3 + 3. Let l = 3.7 - r. Let w = -0.099 + 0.399. Is l not equal to w?
True
Let t = 1 + 0. Let y be (3*2/(-3))/((-7)/1951). Let o = -554 + y. Which is bigger: o or t?
o
Suppose -4*r + r + 6 = 0. Let n be ((-729)/12)/(-3) + 2/(-8). Suppose -26*y + 12 = -n*y. Is y less than or equal to r?
True
Let n = 2.13 + -2.81. Which is greater: n or 1?
1
Let b be -6*(-2)/12*(0 + 1). Suppose 2*d - 70 = 3*r, -4*r + 0*d - 2*d = 70. Let i be 1/1 + (-5)/r. Is i <= b?
False
Let i = 0.02 + 0.28. Let u = 0.348 + 0.352. Let m = u + i. Is -4/9 <= m?
True
Suppose 5*v - 218 = 4*m, -2*v - 4*m + 3*m = -82. Suppose 2*k + 0*z - 28 = 4*z, -3*k + v = -z. Which is smaller: 8 or k?
8
Let n be -1*(6 - (-3 + 5)). Is n at least -11?
True
Suppose f = -5*j + 2*f + 51, 4*j - 3*f = 43. Let s = -37 - -47. Is j greater than or equal to s?
True
Suppose -75 = -0*i - i. Suppose 4*a = -2*m + 35 + 5, 3*a = -4*m + i. Suppose -7*b + 21 = -105. Are b and m nonequal?
False
Let g be 7 + (-2)/4*14. Let v = -2 + 2. Let w be (-4)/70 - (v - 0). Are g and w unequal?
True
Let j = -0.2207 - -0.1207. Which is bigger: 20/23 or j?
20/23
Let j(a) = a**3 + 2*a**2 + 1. Let q be j(-3). Let b = q + 11. Suppose -b*i - i = -4. Is i at most as big as 1/4?
False
Let t be -12*(464/160)/((-4)/10). Which is greater: 89 or t?
89
Let x = 2.86 + -3.86. Does x = -361?
False
Let a(l) = -l**3 - 2*l**2 + 2*l - 2. Let b(j) = j**2 + 7*j - 3. Let u be b(-7). Let w be a(u). Which is smaller: 13/6 or w?
w
Let v = 0.356 + 4.644. Which is bigger: -1/22 or v?
v
Let h = 29 + -39. Let m be 12/(((-4)/(-1))/(-4)). Which is greater: h or m?
h
Let n = -4138/3 - -1379. Do n and -87 have different values?
True
Let r = 57 + -52. Which is greater: r or 3?
r
Let m = 279 - 307. Are m and 9 equal?
False
Let j(p) = -6*p + p + 5*p + 3*p + 17. Let i be j(-9). Which is bigger: i or -9?
-9
Suppose -492 = -20*f + 48. Which is smaller: f or 29?
f
Let h = -346629/82 + 4227. Which is bigger: h or 0?
0
Suppose 3*k + k - 28 = 0. Let o be 11 - 6 - (-9)/3. Let j be ((-8)/16)/((-1)/o). Is k less than or equal to j?
False
Let l = -63 + 98. Which is smaller: l or 0.2?
0.2
Suppose -5*o = -5*x + 205, 0*x + 47 = 2*x + 5*o. Suppose -2*d = -5*k + x, d - 3*k = k - 24. Let n = -8 - d. Are n and -10 unequal?
True
Let o = -80 - -83. Is o smaller than 25/12?
False
Suppose -2*t - 24 + 8 = -2*s, 4*s = -8. Let c be ((-12)/5)/(4/t). Let i = 7 + c. Which is smaller: -0.1 or i?
-0.1
Let j = -7.192 + -0.108. Let f = j + 0.3. Let s = f + 8. Is -1 smaller than s?
True
Let f = 1767 + -1836. Are f and -2/9 equal?
False
Let h be (-15)/25 + 2/(-5). Let p be (-3)/9 - (-2)/(-3). Let v be 196/(-68) - (p + -2). Which is smaller: v or h?
h
Let p(z) = z**3 + 7*z**2 - 7*z - 4. Let h(d) = -d**2 + d. Let q(c) = -3*h(c) - p(c). Let w be q(-5). Let j = 7 - w. Which is smaller: j or -0.2?
j
Let w = -233.7 + 275. Let f = w + -41. Which is bigger: 0.04 or f?
f
Suppose 0 = 3*q - 11*q + 96. Suppose 3*l = 7*l + q. Let d(s) = -s**2 + s. Let x be d(-1). Is l smaller than x?
True
Let u(i) = -i**2 + 15*i + 82. Let g be u(23). Is -101 greater than g?
True
Let x = -2222 + 2222.0467. Is -0.1 at least x?
False
Let y = 0.02 - 0.02. Let c = -1100 - -1074. Is y <= c?
False
Let p be (14 + -5 + -4)*(-3)/(-25). Let g = 0.5 + 4.5. Which is smaller: p or g?
p
Let j(b) = -2*b**2 + 16*b - 1. Let a be j(0). Is a > 3/1183?
False
Let w = 96 - 93. Suppose 0 = -w*c + 22 - 25. Which is smaller: 1/109 or c?
c
Let t = -48 + 22. Let i = t - -25.6. Let y = 0.4 + i. Which is bigger: y or 1/3?
1/3
Suppose 0 = 32*g - 27*g + 2*c - 4, -4*c + 8 = -3*g. Let d be (-2)/8*1/2. Is g at most as big as d?
False
Let z(g) = -g**3 + g**2 - g + 1. Let a be z(1). Let m be ((-1)/(-3)*a)/(-4). Are m and 1 equal?
False
Let a be 3 + (25 - 3) - (3 - 6). Let j = 74 - a. Is j bigger than 46?
False
Suppose 40*a - 11*a + 8149 = 0. Is a bigger than -282?
True
Let j be (2/136)/(5*9/90). Suppose -4 - 2 = 2*m - 4*x, 5*x - 9 = m. Which is greater: j or m?
m
Suppose -2*h = -5*h + 6. Let a = -385 - -388. Is a equal to h?
False
Let h = 12 + -9. Let c be 11/h - 9/(-27). Suppose k = 4*a + 8 - 3, -4*a = c. Which is smaller: 0 or k?
0
Let c be 0 + 276 - (-8 + 14). Is 269 <= c?
True
Let b(u) = -2*u - 26. Let m be b(-13). Let k(n) = 2*n**2 - n + 1. Let r be k(m). Which is greater: -1/26 or r?
r
Let k(u) = u**3 - 8*u**2 - 2*u + 10. Let b be k(8). Let j be (b/(-8))/(7/28). Suppose j*l = -9, 6*h + 5*l = 2*h + 25. Do h and 12 have different values?
True
Let m = -288 + 173. Let g = m - -115. Is 1.4 smaller than g?
False
Let f = 40861/9 + -4521. Let m = 223/9 - f. Which is smaller: 6 or m?
m
Let h = -693 - -693. Does -3/368 = h?
False
Suppose -5*w + 8 = 5*a + 38, -4*a - 19 = 3*w. Let d(b) = -b**3 - 6*b**2 - 4*b + 2. Let p be d(w). Is p <= -6?
False
Suppose -2*m = 3*k - 18 - 12, -2*m = -4*k - 44. Let b = -14 + m. Suppose -d - 4*y = -11, 3*d = d + b*y - 38. Is -10 bigger than d?
False
Let u(l) = -9*l - 2*l**3 + 12*l + l**3 + 0*l**2 + 5 - 6*l**2. Let v be u(-6). Which is smaller: v or -12?
v
Let r be 3 - (-14)/4890*-1047. Is 1 equal to r?
False
Let k be (-358)/4*11*(-30)/(-165). Is -180 not equal to k?
True
Suppose 0 = 2*b + 4*n + 10, b + 6 - 1 = -4*n. Let q(z) = 3*z**3 - z**2 - z. Let a be q(2). Let i = -20 + a. Which is smaller: i or b?
b
Let w = -7.94 - -7.938. Which is smaller: -3 or w?
-3
Let k = -0.62 + 1.22. Is k at least as big as 2.3?
False
Let q be (-7)/15 - 6/45. Let v(u) = u**2 + 6*u - 2. Let c be v(-7). Let z = c - 5. Which is greater: q or z?
z
Let h be (3 - 7958/(-152)) + (-12)/114. Is 56 less than h?
False
Suppose 20 = v - 4. Let l = v + -29. Is -5 less than or equal to l?
True
Let s = 28 - 35. Suppose 4*o = 5*n - 170, 0 = 3*n + 4*o - o - 102. Suppose d - 3*g = -3*d - 36, -5*d - n = -g. Which is bigger: d or s?
d
Let h = -32.992 - 0.008. Let q = h + 36. Is -2/7 > q?
False
Let o = -197/168 - -9/8. Which is smaller: 14 or o?
o
Let o be 3 + 1537/(-112) - -7. Let s be (6/(-16))/(12/46). Let c = s - o. Is 2 smaller than c?
True
Let w = -0.2216 + 0.0216. Which is bigger: 0.17 or w?
0.17
Let n(t) = -5*t**2 + 8*t - 13. Let k(w) = -2*w**2 + 3*w - 4. Let o(u) = 8*k(u) - 3*n(u). Let i be (1 - (-9)/(-6))*0. Let x be o(i). Is x equal to 8?
False
Suppose q = -0*q. Suppose -24 = 3*h - q*h. Let d be (-14)/4 + h/(-4). Is d greater than 1/2?
False
Let h = -0.78 - -0.6. Let g = -0.48 - h. Is g at least as big as 2/25?
False
Let i(c) = -c - 1. Let d be i(-5). Suppose d*r + 8 = -0*r + 4*a, -4*r + 8 = 4*a. Let z = -5771/26 - -443/2. Is z at least as big as r?
False
Let j = -1276/70959 + 10/651. Which is greater: -1 or j?
j
Let r = -1080 + 1121. Which is greater: r or 48?
48
Suppose 0 = -5*c + 2 - 57. Let l = -7 - -11. Let i = l + c. Is -7 equal to i?
True
Let q = -1 - 2. Let x = 839/6 - 9241/66. Which is smaller: x or q?
q
Let q(z) = 8*z - 5*z**2 + z**2 - z**3 + 8 + 11*z**2. Let b be q(8). Which is bigger: b or 7?
b
Let a be (2*1)/((-1)/(-2)). Suppose 0 = -32*k - 14*k + 276. Is k >= a?
True
Let r be (6 + 1 + -7)*1. Which is bigger: 12/83 or r?
12/83
Suppose u - 18 = -5*u. Suppose 21 = u*a - 9. Which is greater: 11 or a?
11
Suppose -2*a + 0 = 2*p - 4, -2 = 4*a - p. Let n = 9043409/17 + -531247. Let k = 718 - n. Is a at most as big as k?
False
Let u be (3 - (-399)/(-14))*(-48)/2. Suppose 13*y = u + 1039. Is y at least 127?
True
Let u = 16 - 11. Let t = 10 - 13. Let o be 0 - (-1 - (t - -6)). Which is bigger: u or o?
u
Let c = 1073 + -1073. Which is bigger: c or -46/31?
c
Let p be ((-16)/(-36))/(4/18). Let n(j) = -j**3 + 2*j**2 + j - 3. Let t be n(p). Is 2/23 less than or equal to t?
False
Let r = 41 + -34. Suppose -r = -5*y + i, 4*y + 7 = -2*i + 21. Suppose 0 = -2*z - 2*z + 16. Is z >= y?
True
Let b be ((-3)/58)/(15/20). Suppose -5*m - 3*v = -2, -6 = -m - 2*m + 3*v. Are m and b equal?
False
Let y = -107 + 157. Let o = y - 50.6. Is 0.1 at least o?
True
Let l = -711 - -712. Let h = -3/10 - -29/30. Are l and h equal?
False
Let v(y) = -y**2 + 2. Let o be v(0). Let c be (-3 + o)*(-34 + 0). Let j be -2 + c/9 + -2. Which is smaller: 1 or j?
j
Let m(y) = -9*y + 90. Let a be m(16). Is -53 greater than a?
True
Let t(y) = 2*y**2 + 3*y + 1. Let n be t(-2). Suppose n*w = 5*w, 3*w + 32 = 4*g. Suppose o = -0*o + 9. Which is greater: o or g?
o
Let j be -29 - -25 - 16/(-4). Which is bigge