/(3/12). Let w = -85/497 + p. Let l = 42 + -43. Which is greater: l or w?
w
Let j be (-1)/(1/(5/30)). Let g = 7.7 - 9. Let x = 0.3 + g. Which is smaller: j or x?
x
Let o = -15 + 7. Let p be ((-12)/o)/(3/2). Which is bigger: -1/3 or p?
p
Let j be 0 - ((-4)/2 - 314). Let v = j - 138. Let z = v + -3384/19. Is z >= 0?
False
Let v(h) = -2*h + 1. Let b be v(-4). Let w be (6/b)/(4/(-6)). Are 3/7 and w nonequal?
True
Let y = 13 + -17. Is -4 >= y?
True
Let j = 0.3 + -0.3. Let o = 14.26 + -14. Let b = -0.06 + o. Is j smaller than b?
True
Let g(j) = j**2 + 7*j + 5. Let t be g(-6). Let a be (-4 + 5)*(0 - t). Suppose 0 = -2*f + a + 3. Is 2 at least f?
True
Let i = 71 - 50. Are 23 and i unequal?
True
Let g = 187/9 + -21. Are -1 and g equal?
False
Let j = -80 + 90.8. Let i = -11 + j. Let h = 0 - -0.2. Which is smaller: i or h?
i
Let q be 2/(-4) + 6/20. Suppose -2*g + 4*g + 2*d - 4 = 0, -4*d = -3*g - 1. Is g equal to q?
False
Let j(h) = -h**3 - 5*h**2 - 8*h - 17. Let n be j(-4). Do n and 6 have the same value?
False
Let t = 424 - 10598/25. Is t less than or equal to -0.5?
False
Let z be 2/(-7) - 85/(-126). Let b = z - -1/90. Let a = 0.37 + -0.77. Which is bigger: a or b?
b
Let x = -2 + 3. Let t(o) = -o**2 - 6*o + 6. Let h be t(-7). Let z = 1 + h. Which is smaller: x or z?
z
Let y(u) = u**2 - 4*u - 4. Let n be y(5). Let d be 112/35 - 3*n. Is 0 at least d?
False
Suppose -10 = -2*t - 3*c, 5*t - 2*c - 1 = -14. Let b = -2 - t. Which is bigger: 6 or b?
6
Let v = -1.1 + 1.11. Let o = v - 0.21. Which is bigger: 1/4 or o?
1/4
Suppose 0 = -z - 14 + 36. Which is smaller: z or 21?
21
Let m = -22 - -13. Which is greater: 1 or m?
1
Let r = -4.06 - -4. Let v = r + 0.02. Let o = 254/7 + -36. Which is greater: o or v?
o
Let y be 9/(-6)*(-8)/6. Suppose 0 = -0*h + 2*h + 5*a, a = y*h + 24. Let v be h/(-12)*9/(-30). Do 3/4 and v have the same value?
False
Let i be 3 - (4/(-2) + 3). Suppose 0 = 4*x - 12 - 0. Is x >= i?
True
Let u = 9 + -6. Is 3 bigger than u?
False
Let o be (-3)/(-12) - 15/(-4). Are o and 3 equal?
False
Let q(f) = 3*f - 6. Let z be q(6). Which is smaller: 13 or z?
z
Let z = -36 - -34.1. Let a = 1 + 1. Let h = a + z. Which is smaller: -0.1 or h?
-0.1
Let o = 0.9 + -1.1. Let w = 0 + o. Is 1/2 < w?
False
Let r be ((-15)/(-70))/(2/4). Is 1 at least as big as r?
True
Suppose -4*j + 17 = -291. Let h be j/(-22) - (-1)/2. Which is bigger: h or -0.1?
-0.1
Let l(w) = 8*w - 8. Let h be l(4). Is h bigger than 24?
False
Let u be 4/18 + 1285/(-855). Let p = 1/19 - u. Are 0 and p equal?
False
Let r = -9288/11 - -846. Which is smaller: r or 3?
r
Let d(v) = v**3 + 6*v**2 + 5*v. Let c be d(-5). Are c and 0 non-equal?
False
Let x(j) = j + 1. Let t be x(-9). Let c = t + 4. Let z = -3 - c. Which is bigger: -2/5 or z?
z
Suppose 14 = 4*u - 5*t - 23, -3*u + t + 14 = 0. Let y(a) = -a**3 + 8*a**2 + 9*a + 2. Let b be y(9). Let h be b/7 + (-12)/(-7). Which is bigger: h or u?
u
Suppose 304 = -4*h + 4*d, 53 = -3*h - d - 159. Let w be (-4)/(-18) - (-70)/h. Which is bigger: w or -2?
w
Let b = -3.6 + 3.4. Let r = 2.1 + -2. Let n = 0 - r. Is b equal to n?
False
Suppose -7*m + 12*m = 4*h - 15, -4*h + 20 = 0. Which is bigger: -0.17 or m?
m
Let s be 1/(1 + -2) - -3. Is s at most 9/8?
False
Let u be (-64)/12 + 6 - 1/3. Which is smaller: 0.17 or u?
0.17
Suppose o = -5*c + 1, 0 = 2*o + c + 3*c + 4. Let z be (-12)/(-18)*(-6)/o. Which is greater: z or -1/3?
z
Let i = -78 + 391/5. Which is smaller: i or 0.5?
i
Suppose 3 + 5 = 4*v. Suppose 2*s + v*s = -12. Suppose -3*z + 0*z = 6. Which is smaller: s or z?
s
Let l = -119 - -953/8. Let s = l - 3/8. Let c be (-1)/(-4) + 11/(-28). Which is smaller: s or c?
s
Let g = 6.2 - 5. Let d = -1 + g. Is 0.1 <= d?
True
Let a be -1*1*(2 - 2). Is a bigger than 1.7?
False
Suppose 0 = 5*a - 3*a - 6. Let v be -2*(-2)/4 + 2. Is v greater than a?
False
Suppose 10 = -z + h + 2, z + 5*h + 32 = 0. Which is bigger: -32/3 or z?
-32/3
Let a = -5.26 - -0.26. Is a at least -2/3?
False
Let r = -87 - -76. Is -8 at least as big as r?
True
Let h = 0.7 + -7.7. Let n = h - 1. Which is smaller: 2/5 or n?
n
Let w = 0.1 + -7.1. Let r = w + 6. Which is bigger: r or 1/6?
1/6
Let i = 1573/8 - 197. Let r = i + -1/8. Which is smaller: -2 or r?
-2
Let z = 567/4 + -142. Which is bigger: 24 or z?
24
Let m = -4 + 4.1. Let q = 0 + 0.2. Is m at most as big as q?
True
Suppose 0*w = 5*w - 4*w. Suppose -5*m + 8 = -3*m. Suppose -8 = 5*d - 3, 4*n = m*d. Is n less than or equal to w?
True
Let o(q) = -q**2 + 10*q - 21. Let b be o(7). Let t = -294/5 + 59. Which is greater: b or t?
t
Let r = 21120/23 - 918. Which is greater: 1 or r?
1
Let t(a) = a**2 + 8*a + 15. Let o be t(-4). Which is bigger: o or -4/29?
-4/29
Let k be (-4 - -4) + 2/(-11). Suppose -13 = q + 2*z, -4*q = -5*z + 2*z + 8. Let a(y) = y**3 + 6*y**2 + 6*y + 4. Let i be a(q). Which is smaller: i or k?
i
Let m = 3.7 + -3.8. Is 0.2 greater than or equal to m?
True
Let r = 8 + -2. Let l = r - 7. Which is smaller: 0 or l?
l
Suppose p = -2*v + 4*v - 5, -5*p - 4*v = -31. Suppose -p*l = g + 8, 4*l + 6 = 2*g - g. Which is bigger: -3/5 or l?
-3/5
Let b(u) = -11*u - 2. Let a be b(-1). Which is greater: 0.1 or a?
a
Let b = 0.62 - 0.5. Let l = -0.02 + b. Which is bigger: 6/7 or l?
6/7
Let f = -0.6 - -0.6. Let c = -0.08 + f. Let y = c + -1.92. Which is smaller: -1 or y?
y
Suppose 3*t + 0 = 9. Let s = t + -2. Let w = -15 + 14. Is w equal to s?
False
Let h(l) = 4*l**3 - l**3 - 4*l**3 + 8*l**2 - 4*l**2 - 3*l + 1. Let f be h(3). Let a(s) = s**3 + s**2. Let z be a(1). Which is greater: f or z?
z
Let n = 1.05 - 1. Let w = n + -0.05. Let t = w + 1. Is 3/8 equal to t?
False
Let y(h) = 2*h**2 + 11*h - 1. Let m be y(-5). Suppose -2*c + 2 = f, 53 - 13 = 5*f - 5*c. Let u be ((-8)/m)/(4/f). Which is greater: u or 3?
3
Let k = 24 - 24. Which is greater: k or 16?
16
Let i be ((-10)/22)/((-7)/(-315)). Let h = i + 884/33. Is 6 greater than h?
False
Let n(t) = 19*t - 37. Let l be n(5). Is 59 smaller than l?
False
Let u(v) = -7*v**2 + 1. Let d be u(-1). Let s = d + 6. Which is bigger: 2 or s?
2
Let j be 2 + 1/(-2)*2. Let m = 31/4 - 407/52. Is m >= j?
False
Let p(c) = c**3 - 6*c**2 + c + 2. Let h be p(6). Suppose -t + h = t. Suppose 13 + 3 = t*l. Is l at least as big as 5?
False
Let q = -105 - -84. Is q bigger than 0.2?
False
Let f = 10 - 11. Is 2 at most as big as f?
False
Let c be -3 + 4 - 4*-1. Suppose 0*g + c*g = 35. Is 7 >= g?
True
Let l be ((-6)/(-4))/((-2)/(-4)). Suppose k + 0*r - 20 = l*r, 0 = k - 2*r - 16. Which is bigger: k or 7?
k
Let j(a) = -a + 1. Let q be j(-3). Let s be 19/36 + q/18. Let m = -3/4 - s. Is m > -1?
False
Let s = 0.1 - -2.9. Is 9 less than s?
False
Let z = -70540 + 492725/7. Let l = 151 + z. Let a = 29 - 29.1. Which is smaller: l or a?
a
Let l be (-2)/7 - (-24)/(-14). Let y = -4 - l. Suppose 3*o - 14 = 5*h, -2*h - 3 = -2*o + 5. Which is smaller: y or h?
y
Let s = 1 + -7. Let w(y) = -y**2 - 7*y - 5. Let d be w(s). Which is smaller: -1/4 or d?
-1/4
Let x = 184/705 - 6/47. Let u = -0.7 + 0.89. Let b = 0.09 - u. Is b at most x?
True
Let s = 2 - 2. Let d = 0.24 - 0.14. Let v = d - s. Is v smaller than -2/5?
False
Let r = 0.3 + -0.2. Let p be 31/(-52) + 2/(-13). Is p at least r?
False
Let l = -70.7 - -71. Which is smaller: l or 23?
l
Let u = -2188/5 + 436. Which is smaller: -1 or u?
u
Let g = 175/2 - 87. Is -11 not equal to g?
True
Let j = -18 - -11. Let y(o) = o**3 + 5*o**2 - 8*o - 9. Let c be y(-6). Suppose 2*r = 5*b - c*r - 25, -4*r - 18 = -2*b. Which is smaller: b or j?
j
Let r be (-4)/(-5) - (-130)/(-225). Which is bigger: 1 or r?
1
Let x = 6 - 9. Let m = x + 3. Let p be 0 + 10/6 + -1. Which is smaller: m or p?
m
Suppose -5*j = -4*i + 41, -j - 7*i + 15 = -2*i. Which is smaller: -4 or j?
j
Let a = -2 - 0. Let d = -3 + a. Let v be 6/15 - (-12)/d. Is v less than -1?
True
Suppose -t = -4*t + 6. Suppose 3*r + 5 = r + o, -t*r = 4*o. Suppose 3*h + 3 + 0 = 0. Is h less than r?
False
Let y = -15 + 27. Is 13 > y?
True
Let n(y) = y**2 + y + 1. Let h be n(0). Let u be h/(-5) + (5 - 4). Let l = 0 + 1. Is u not equal to l?
True
Let y be 179/59 - (8 - 5). Let p = 93/1003 - y. Which is bigger: p or 1?
1
Let d = 0.1 - -2.1. Let j = 1.2 - d. Is j at least as big as -0.9?
False
Suppose 2*a + 4 = 2. Let w be (-3 - -2)*a/(-2). Let i be ((-6)/3 - 0) + 1. Is i greater than or e