(-2)/4 - 9/(-6). Which is bigger: i or 3?
3
Suppose -5*b - 11 = -2*p, 5*b + 1 = 3*p - 8. Is 3/5 greater than p?
True
Let u = -0.03 + 0.06. Which is smaller: u or -0.1?
-0.1
Let u be (44/(-8))/((-1)/(-2)). Which is smaller: -10 or u?
u
Suppose -j - j = 2. Let k be 3/9*0*j. Let w = -86 - -772/9. Which is greater: k or w?
k
Let y = 30 + -18. Let c = y + -10. Which is smaller: c or -1?
-1
Let g = -0.07 - 0. Let v = 0.07 + g. Which is smaller: v or -0.04?
-0.04
Let q be 5*(-1 - 13/(-5)). Suppose -7 = -3*t + q. Let z = t + -4. Is z less than 1?
False
Let c(p) = p**2 - p. Let b = -6 + 8. Let x be c(b). Suppose 0 = -2*h + 4*h. Is h > x?
False
Suppose -13 - 2 = 3*x, x + 37 = f. Let v be -1 - 2 - f/(-10). Let i = -3 + 3. Is v greater than or equal to i?
True
Suppose -34 - 10 = -4*x. Suppose 19 = 5*m - w - 4, x = 2*m - w. Which is smaller: 3 or m?
3
Suppose 5*m = f + 41, 0*m - 4*f = m - 25. Let g = m - 6. Let u = -27 + 26.9. Is g != u?
True
Let i be (-1)/(-2) + (-6)/12. Let j = -2/19 - -52/133. Which is smaller: j or i?
i
Let y be (-6)/12*8/14. Suppose -3*u + 3 + 3 = 0. Let c = -1 + u. Which is smaller: y or c?
y
Suppose 0 = 4*y - y + 3. Let h be 3/(-2)*16/3. Let f be 6/h*(-10)/25. Is f at least as big as y?
True
Let r = 0.9 + 0.1. Let l = 0.23 + 0.07. Is r at most l?
False
Let k = -0.64 + 1.44. Let m be (1 - -4)*2/5. Is m > k?
True
Suppose 4*s - 2 = 6. Suppose -s*u + 5*u - 6 = 2*x, -4*x + 4*u = 12. Is x > -2?
False
Let z be (-250)/44 + 8/44. Let c = z - -5. Suppose 0 = -3*j + x - 4, 2*x = -4*j - 0*x - 2. Which is greater: j or c?
c
Suppose 7 + 3 = -5*t. Let a(o) = 10*o**3 + 0*o + 2*o + 3*o**2 - 1 - 9*o**3. Let q be a(t). Which is greater: q or 0?
0
Let y = 1 - 1. Let j = 1.4 + -3.8. Let h = 0.4 + j. Is y at most h?
False
Let v be 2 + -3 - (2 + -11). Suppose 0 = r - 3*r + v. Let i = r - 2. Which is greater: 1 or i?
i
Suppose -2*u = 3*x - 17, -2*x - 3*u + 6 = -12. Suppose 0*d = -2*d - 5*w - 19, x*d + 3 = w. Let f be (-3)/4 - (-2)/(-8). Which is bigger: d or f?
f
Let a = 1 - -1. Let b(g) = -3*g**3 + 2*g**2 + 3*g + 1. Let n be b(2). Which is smaller: n or a?
n
Let p = -68 - -48. Let u = p - -1. Which is smaller: -1/3 or u?
u
Let l = -1.2 - -0.2. Let h = 8 + l. Let p = h - 7.2. Which is greater: -4 or p?
p
Let g = 847/45 + -93/5. Suppose -2*q + k - 13 = -2*k, 3*k - 12 = 3*q. Let t be q + 1 - (-1 - -2). Is g less than t?
True
Let b = -0.21 - -2.21. Let p = 27 - 13. Let h be (-1)/(-21) + 4/p. Is b less than h?
False
Let l(t) = -t**2 + 11*t - 12. Let r be l(9). Suppose 0*h - 2*h + r = -x, -5*h = 5*x. Let p be 15/(-27) + h/6. Which is bigger: 1 or p?
1
Let w be (2 + (-1276)/632)/(6/8). Is 1 < w?
False
Let m = -93 - -92.3. Is 1 < m?
False
Let f be 300/16 - 6/8. Which is bigger: 17 or f?
f
Let c(a) = -6*a**3 - 4*a**2 - 8*a - 8. Let t(i) = i**3 + i + 1. Let v(k) = -c(k) - 5*t(k). Let r be v(-3). Which is smaller: r or 5/2?
5/2
Let l(g) = g**2 + g - 7. Let m be l(-3). Are m and -1/97 nonequal?
True
Let g = -2 + 7. Suppose -2*m - 6 = m, -14 = -r + 5*m. Which is greater: g or r?
g
Suppose o - 5 = -4*c, 1 + 4 = 3*o + 2*c. Let t(r) = -r**3 - 10*r**2 - 10*r - 9. Let y be t(-9). Is o < y?
False
Let y be -3 + 35/11 + 390/275. Let s(p) = -p + 8. Let w be s(5). Which is bigger: y or w?
w
Let y(j) = j**3 - 5*j**2 - 8*j + 5. Let q be y(6). Is q >= -7?
True
Let n be ((-6)/(-45))/(7/((-35)/(-3))). Which is bigger: -65 or n?
n
Suppose -9*u + 5*u = 28. Is u at most -7?
True
Let v be (12/(-30))/((-1)/(-5)). Let q be ((-1)/(-2))/(1/v). Let f be ((-25)/6)/(-5) + q. Which is bigger: 1 or f?
1
Suppose -5*p = -4 - 1. Suppose -5*o + p + 9 = 0. Let m be (30/16)/((-18)/(-8)). Which is smaller: m or o?
m
Let j = -0.1 - -0.2. Let t = j + 0. Let k = 1.99 + 0.01. Are k and t equal?
False
Let w = -48 - -43. Which is greater: w or 0.08?
0.08
Let r = -9 + 8. Is r not equal to -9/5?
True
Let m = 9/2 - 175/39. Is m not equal to 0?
True
Let q = 52.79 + -53. Let v = q + 0.01. Is 1 bigger than v?
True
Let l = -37.9 + 41. Let b = 0.05 + 2.95. Let m = b - l. Which is smaller: -2/11 or m?
-2/11
Let m(p) = -2*p**3 + 2*p - 1. Let k be m(1). Let u = 1 + -6. Let v(n) = n**3 + 4*n**2 - 5*n. Let t be v(u). Which is smaller: t or k?
k
Let h = -0.3 - -0.2. Let i = 78 - 74.1. Let p = -4 + i. Is h >= p?
True
Let x = 125 - 191. Do -65 and x have different values?
True
Suppose 4*w = -l - l, -w + 3*l = -14. Let r(d) = d**2 + 5*d - 64. Let y be r(-11). Is w less than or equal to y?
True
Let b = 1 - 1. Let d(h) = -h**3 - 5*h**2 + 8*h + 6. Let k be d(-6). Let s be 0 - (b + k/(-9)). Is s not equal to 1?
True
Let b = -6 - -11. Suppose -3*f + 21 = 4*n, -b*n + 8 = -f - 4. Suppose d + n = z, 2*z - 13 - 2 = 5*d. Which is smaller: z or 1?
z
Suppose 3*j + 131 = 2*f, 3*j - 4*f + 0*f = -127. Do -45 and j have the same value?
True
Let n = -243/2 + 121. Which is bigger: n or 1/5?
1/5
Suppose -3*a = 3*a + 138. Let w = a - -21. Is w less than or equal to -4/7?
True
Let b = -11 - -17. Suppose 3*x = b*x. Which is smaller: x or -0.1?
-0.1
Let b = -45 - -47.1. Do b and 0 have different values?
True
Let u = 12 + -15. Let n = u - 1. Which is smaller: -3 or n?
n
Let w = 8 + -8. Suppose -12 = -3*i, -p + 5*p - 2*i = 0. Are p and w nonequal?
True
Let f be -1 - (-2)/4*2. Let g = 11 + -12. Which is bigger: f or g?
f
Let z be (4/(-10))/((-7)/(-85)). Which is smaller: -6 or z?
-6
Suppose 0 = 2*u - 2, 19 - 116 = 4*a - 5*u. Is a less than -21?
True
Let x = -1220/7 - -362326/2079. Let c = 29/16172 + 3320711/24015420. Let s = c + x. Does 0 = s?
False
Let f(l) = -l + 15. Suppose w + 8 = 2*w. Let a be f(w). Is a <= 6?
False
Let t be 3/(114/(-31)) + (-1)/(-2). Is t less than 1?
True
Let x = 3 - 3. Suppose 2*o = -x*o + 90. Let m = o - 226/5. Are m and -1 equal?
False
Suppose -a = -0*a - 1, -3*j + 3*a - 3 = 0. Let b = 1 - -1. Let x be 1/2*(b - 0). Which is bigger: j or x?
x
Let z = 20 + -21.6. Let f = z + -0.4. Let x = f - -2.4. Which is smaller: -0.1 or x?
-0.1
Let p be 338/2980 + 0 + 0. Let u = p - 2/149. Is u smaller than 1?
True
Let x = 2 + 4.9. Let i = -7 + x. Which is smaller: 6 or i?
i
Let c be ((-8)/6)/4*3. Suppose -2*w = w + 3. Is w equal to c?
True
Suppose 2*f = -4*u - 49 + 129, -4*u = 4*f - 88. Which is smaller: 16 or u?
16
Let v = 206 + -471/2. Let m = v - -29. Are -17 and m unequal?
True
Let p(k) = -3 + 3*k + 0*k - 5*k + 10. Let m be p(-5). Which is bigger: 16 or m?
m
Let s = -18 + 25. Suppose 4*g + 22 = 3*t, 2*t = 3*g + s + 9. Let k = -39 - -40. Do t and k have different values?
True
Let o(m) = -m**2 + 4*m - 7. Let r be o(5). Let y = -8 - r. Is y bigger than 6?
False
Suppose -2 = 2*u - 5*l, -5*u = -2*l + 2 + 3. Suppose 0 = -3*m + a - 84, 67 = -2*m + 2*a + 11. Let f = 139/5 + m. Is f bigger than u?
True
Let b(o) = o**2 + 18*o - 34. Let n be b(-18). Is n not equal to -36?
True
Suppose -h = -4*v, -h - 3*v - 2 = -8*v. Let w be -1*4*3/h. Let n be 4*(-3)/(-6) - 4. Which is smaller: n or w?
n
Let u = 12 + -8. Suppose 0*a + u*a + 16 = 2*z, -5*a = 2*z + 38. Which is smaller: a or -7?
-7
Let g = -47/3 - -79/6. Is -4 at most as big as g?
True
Suppose p = -2*p - 3. Is 2/41 less than or equal to p?
False
Let q be -3 + -2 + 5 + -2. Let o = -8 - -6. Is q bigger than o?
False
Let g = -22 - -16. Do g and -6 have different values?
False
Let u be 1/(-2) - (-34)/4. Suppose 3*o - u = 1. Let t = o + -3. Do 0 and t have the same value?
True
Let x be (0/(-1))/(2*-1). Which is greater: x or 1/35?
1/35
Let v = 57/2 + -28. Which is smaller: v or 2?
v
Let l be ((-1)/(2/(-12)))/(-29 - -31). Which is greater: 11/7 or l?
l
Let v be (-10)/(-4) + 3/(-6). Suppose -2*g = 4*s - 22, 29 - 9 = g + 5*s. Suppose -2*c + 2*w = -c - 12, 0 = -g*c - 4*w - 10. Is c greater than or equal to v?
True
Let w = -1.7 + 1.5. Is w > 1/2?
False
Let h = -12 - -10. Let b be (-3)/(9/4)*34. Let w = -46 - b. Which is greater: h or w?
w
Let n(t) = t**3 - 6*t**2 + t - 5. Suppose 0 = -g + 2*g - 6. Let r be n(g). Suppose 5*y = 3*q + r, -3*y + 3 = -2*q + q. Which is smaller: q or 5?
q
Let k(w) = 3*w - 14. Let x be k(5). Which is greater: x or 2/75?
x
Let h = -74.2 + 74. Let u be (-4)/(-10) + 74/(-210). Let m = 5/7 - u. Is h at most as big as m?
True
Let d be 2/(-8)*3*31. Let w = d + 829/36. Which is smaller: w or -1?
-1
Suppose -286 = 5*z - 91. Which is smaller: -40 or z?
-40
Let f be (-3)/(-180)*4*9. W