o*r + 3. Which is bigger: -4/11 or r?
-4/11
Suppose 4*f - 5*l + 0*l = 130, 0 = 2*f - 2*l - 64. Let n be (f/7)/3 + -2. Let p = 2 - 1.9. Which is smaller: p or n?
n
Let p = 0.84 + 6.16. Let b = p + -6. Let q be -1 - -2 - (-3)/(-4). Which is bigger: q or b?
b
Let p be (543/10812)/(36/128). Let l = p - 1/477. Suppose -6*x + 12 = 6. Are l and x unequal?
True
Let j be 6/(-4) + (-13)/26. Let v be (-57)/(-6)*(j + 4). Is v bigger than 21?
False
Suppose -14 + 38 = y. Let d = y - 22. Let i be d/(-13) + (-11)/13. Which is bigger: i or -1/12?
-1/12
Let v = -5 + 13. Suppose -v = -14*z + 12*z. Suppose 2*b + 12 + z = 0. Is b less than or equal to -7?
True
Suppose 5*y = -50 - 25. Let n = y - -11. Which is smaller: n or -8?
-8
Suppose -n + 75 = 4*n. Let j(u) = u**3 - 3*u**2 + 3. Let l be j(3). Is l < n?
True
Suppose 0 = -z + 4*x + 103, 2*z - 2*x - 23 = 177. Is z at least as big as 99?
True
Let p = -1/2061 + -379/634788. Is p not equal to 0?
True
Let c = -18 - 15. Let l be (-2)/(-2) - c/108*-4. Which is smaller: 1 or l?
l
Let k be (-6)/(-27)*(-13)/2*-1. Let o = 10/9 - k. Which is smaller: -0.6 or o?
-0.6
Let b be ((-4)/(-6))/(2/3). Let p be ((-5)/4)/(-5) - (-19)/(-52). Are b and p equal?
False
Let g(z) = 119*z + 8. Let s(x) = -x**3 - 4*x**2 + 3*x - 7. Let f be s(-5). Let i be g(f). Let w be i/230 + (-3)/2. Is -1 < w?
True
Suppose 2*y - 6 = -5*a, -2*y + a + 1 = -5. Let l be 2*y/(-6) + 1. Suppose -r - 4*r = l. Which is bigger: 1/14 or r?
1/14
Let w be ((-2)/13)/((-22)/(-88)). Which is greater: w or -2?
w
Let z = 136 + -135. Are z and -2/407 equal?
False
Let x = 1.5 + -0.4. Let v = -1 + x. Is 7/3 less than v?
False
Suppose -4*q + 54 = 3*q + 20*q. Let i = 5915/3179 - -14/289. Is q greater than i?
True
Let s be (539/147)/((-346)/6). Which is smaller: s or -1?
-1
Let a = 31 + -31. Let x be ((-68)/(-110) - a) + (-1)/(-5). Is 0 bigger than x?
False
Suppose -41*q + 48*q - 455 = 0. Suppose -5 = -5*j + q. Which is smaller: j or -1?
-1
Let t be -8*12*(-30)/24. Let x = t - 101. Is x > 6?
True
Let d = 6 + -4. Let r = -75 + 78. Suppose d*s = -4*f, -3 = 5*s - 2*s + r*f. Do -3 and s have different values?
True
Let l = -11 + -4. Suppose c - 3*t = -29, -13 = 2*c + 3*t - 0. Which is smaller: l or c?
l
Let v(y) = -y**3 - 7*y**2 - 6*y - 4. Let n be v(-6). Let l = 4 + n. Let h = 7/26 - -29/182. Are l and h nonequal?
True
Let k(h) = -h**2 + 12*h. Let j be k(12). Suppose 3*o + 4*s - 13 = j, 1 = -3*o - 2*s + 6. Let v = o - -6. Which is smaller: v or 7?
v
Let o be 10/(-10) - ((-961)/191 + 4). Which is smaller: o or 0?
0
Let j(d) = -d**3 - 3*d**2 + 6*d - 12. Let z be j(-9). Is z at most 421?
True
Let b be 30*1/(-10)*-4. Let v be (b/8)/(3/6). Let p be (v + -47)/(-4) + -1. Which is smaller: p or 11?
p
Suppose -4 = 2*q - 4*q - 5*j, 0 = 2*q - j - 4. Suppose q*w + 2 = 6*w + a, -w - 3*a = 5. Let v be 21/(-35)*(-1)/(-3). Which is smaller: w or v?
v
Let x = -41.9 - -44. Let o = x - 11.1. Let f = o + 10. Are f and 11 unequal?
True
Let r be 3*-1 - (-8 - 4)/3. Which is smaller: r or -4/103?
-4/103
Suppose 93*g - 10 = 98*g. Which is bigger: -13/5 or g?
g
Suppose 7*s - 23 - 19 = 0. Suppose s*x - 3*x = -3. Are -2 and x nonequal?
True
Let k = 282 - 194. Suppose 0 = 8*y + k + 88. Which is smaller: -23 or y?
-23
Suppose 4*z + 5*u + 335 = 0, 2*z + 403 = -3*z - u. Let h = z + 242/3. Does 1 = h?
False
Let m be 1 - ((-2)/2 + 3). Let j = -6/139813 + -112968706/4613829. Let r = j - -74/3. Is r greater than m?
True
Let h = -6553/24 + 273. Let i = -39 + 157/4. Is i > h?
True
Suppose 15*r = -50 + 185. Is 201/20 at least r?
True
Let g be 1/49*2*9/(-126). Which is bigger: g or 0?
0
Let p = 12.2 + -12. Let u = -0.032 - 31.968. Let c = 31.92 + u. Which is smaller: c or p?
c
Let g = 90 - 75. Suppose g*j - 4 = 11*j. Which is greater: j or -2/9?
j
Let p(k) = -k**2 + 6*k - 5. Let d be p(5). Suppose -3*r - 5*z + 8 = -45, 0 = -r + 5*z - 9. Is d < r?
True
Let i = -0.08 - -0.03. Let r = -0.16 - i. Suppose 5*a + 5*w = w - 21, 3*a - 13 = 4*w. Is r bigger than a?
True
Let w(x) = 6*x**3 - x**2 + 1. Let c be w(2). Let o be (-79)/(-5) - 36/c. Let j be 0/(5/(o/3)). Is -1 at most as big as j?
True
Let j = 0.006 + -1.586. Let g = j - -0.34. Let u = -1.3 - g. Are 1/3 and u non-equal?
True
Let q = -1160/403 + 37/13. Is q at least -9?
True
Suppose 13 = -2*p + 63. Suppose -4*m - 11 - p = 0. Is m smaller than -9?
False
Let m(q) = q**3 + 41*q**2 - 3*q - 5*q + 22 - 7*q - 55*q**2. Let d be m(15). Which is greater: 23 or d?
23
Suppose 5 = 3*y + 2. Which is bigger: y or -11/48?
y
Suppose x = -2*x. Suppose j - 1 = -x*j. Let d = -108/7 + 15. Is d smaller than j?
True
Let a = 0.17 + -0.26. Let c = a + -0.08. Let z = c + 1.17. Do -2/5 and z have the same value?
False
Let y = 17 - 13. Suppose -32 + y = 4*p. Let q = p + 4. Is -3 less than q?
False
Suppose 2*v = 5*v + 60. Let s be (0 + -3 - 112/(-12))*-3. Which is smaller: v or s?
v
Suppose h - 3*h + 6 = 0. Suppose -4 = 4*z - 12. Let s = 2 + z. Which is bigger: h or s?
s
Let d(s) = s - 6. Let h be d(0). Let t be (-2)/h - 119/15. Let i = t - -29/5. Are i and -2 unequal?
True
Let p be ((-8)/60)/(-2*36/(-440)). Is p less than -2?
False
Let b(s) = 3*s - 10. Let i be b(6). Let m(y) = 2*y**2 - 5*y + 8. Let c be m(4). Let w = c + -12. Is i > w?
False
Suppose 10*s + 0*s = 30. Let g be 0 - (-138)/(-126) - (-2)/s. Which is greater: -2/7 or g?
-2/7
Let s(w) = -24*w**2 - 6*w - 19. Let t be s(5). Let a = 4534/7 + t. Is -2 less than a?
True
Let q = -55 - -49. Let x be 0 - (892/(-112) - q/(-21)). Which is greater: 8 or x?
x
Let a(l) = -l**3 + l**2 + 3*l. Let t be a(3). Suppose -5*x = 4*v + v - 10, 3*v = 9. Let s be -6*(-8)/(-6) + x. Is t at least as big as s?
True
Suppose v - 2*v + 2 = 0. Suppose -2*d = -0*x - 5*x + 25, -d + 10 = v*x. Suppose 0*w + x*w + 38 = -3*q, -4*w - 32 = 2*q. Which is smaller: w or -9?
w
Suppose -3*c = 4*w - 76, -3*c = -0*c - 2*w - 106. Suppose 4*s - 3*s + 92 = 4*k, 2*k - c = 4*s. Let b be (5 - 1)*(-18)/k. Which is smaller: b or -1?
b
Suppose 3*j = -j. Let m be (2 - (1 - 0)) + j. Let z be (-5)/2 + 425/150. Which is bigger: z or m?
m
Let p be (6/(-105))/(1/(-5)). Let j(z) = -z**2 + z - 1. Let s be j(0). Is s less than or equal to p?
True
Let w = -0.2 - -1.1. Let h = 0.4 - w. Let b = h - -0.6. Is 3/2 not equal to b?
True
Let a = -2/25965 + 6023894/181755. Is a greater than 32?
True
Let d = -230027/8 + 28577. Let g = d + 176. Let j be (-2)/(-4)*(1 + -1). Is g greater than j?
False
Let c be 6/5*25/10*13. Let g be 6/c - (33/(-39) - -1). Is g < -7/8?
False
Let t(c) = -c**3 - 10*c**2 + 7*c - 25. Let a be t(-11). Let d = 2 + -8. Let y(x) = -3*x + 2. Let i be y(d). Which is smaller: a or i?
a
Let k be 1/((4 - 1)/3). Let y = -14.2 + 15. Is k at most as big as y?
False
Suppose g = z - 92, -6*z + 2*z + 354 = 3*g. Is z <= 90?
True
Suppose 0 = 2*q - 6*q + 1244. Let w = -1548/5 + q. Is -0.3 bigger than w?
False
Let p = -782 + 781. Is p <= -2/1679?
True
Let s = -5 + -7. Let o = -10 - s. Suppose 2*c - v + 10 = v, -v + 6 = -o*c. Is -1/10 != c?
True
Let v be (-5)/(-5 - 0) + (-9 - -2). Which is greater: 7/2 or v?
7/2
Suppose 0 = -5*i + 2*m + 2061, -2*m + 1 + 3 = 0. Let r be (-243)/i + 64/112. Is r equal to 2?
False
Let w = 101 + -101. Which is smaller: w or -1/3?
-1/3
Let l be -1*(11 + (-4 - -2)). Let k be (-6)/(-16)*4/l. Let g = 15 - 16. Does g = k?
False
Suppose 5*v = -2*w + 30, -4*w = -2*v + w - 17. Suppose v*f = f - 15. Let z = f - -7. Which is smaller: z or -0.1?
-0.1
Let q = 1/183 - 89/49776. Is q greater than 0?
True
Let h = -0.0089 + 0.0089. Are -3/13 and h nonequal?
True
Let w(h) = -3*h**3 + 20*h**2 + 8*h + 2. Let l be w(8). Let i be ((-66)/55)/(4/l). Is i greater than 57?
False
Let s = -0.33 - -2.93. Let h = s + -0.8. Let q = h + -2.9. Do -1 and q have different values?
True
Let i(s) = -3*s**2 - 35*s - 7. Let r be i(-12). Is r greater than -15?
False
Suppose 3*h + 53 = 5*s, -s + 4*s = -5*h - 111. Let v = -28 + h. Let u = -197/4 - v. Is 0.05 greater than or equal to u?
True
Let c(q) = q**3 + 9*q**2 - q - 8. Let i be c(-9). Let m = 196579/231 - 851. Is m >= i?
False
Let a(y) = 35*y - 9. Suppose -8*t + 9*t = -7. Let p be a(t). Let h = p - -2278/9. Which is smaller: 0 or h?
h
Let q be 89/1602 + 3/2. Is q greater than 2?
False
Let n(v) = 15*v - 290. Let a be n(19). Let j = 7 + -11. Which is greater: j or