 Let g = 3 - u. Which is bigger: -0.09 or g?
g
Let g = -5208.9 - -5477. Let k = g - 290. Let i = k + 22. Which is bigger: 2/13 or i?
2/13
Let w be (1 - 5)*(0 + 0 + 2). Let x be 2/4 - (8 + w). Is 1 at least x?
True
Let x = -135 + 46. Let n = x - -88. Is n >= 14?
False
Let y(l) = -l**3 + 4*l**2 + 25*l - 13. Let m be y(7). Suppose m*i - 26 = 2*i. Is -1 greater than or equal to i?
False
Let p = 754 + -757. Is 27 < p?
False
Let q be 1/25*(-4 - 63/(-7)). Which is greater: q or 87?
87
Let n = 35 + -15. Let u = -19.89 + n. Let q = u + -0.06. Which is bigger: 1/4 or q?
1/4
Let r = -11 - -4. Let l = -13 - r. Let s be (2/(-15))/(l/(-18)). Which is smaller: s or -1?
-1
Let v = -31 + 9. Let m = v - -39. Is 17 at least as big as m?
True
Suppose 0*w + 15 = 5*q - 5*w, 9 = 5*q + w. Let r be 380/90 - q/9. Let l = 0.1 - 0.1. Which is greater: l or r?
r
Let w(g) = 5*g - 11. Let u(f) = 1. Let z(j) = -6*u(j) - w(j). Let h be z(2). Let l be -2 - h/((-65)/(-28)). Are -1 and l equal?
False
Let n = 5 - 5.7. Suppose 3*h = -2 - 1. Let j be h/3*2*(-18)/24. Which is greater: n or j?
j
Suppose -18*w + 10*w = -64. Suppose -3*n - 12 + 33 = 0. Which is smaller: w or n?
n
Let k be (-142)/(-4)*8/6. Let u be 207582/4437 + (-2)/(-3). Let v = k - u. Which is bigger: 1 or v?
1
Let d be (10/36)/(1/3). Suppose -4*u = -8, 4*r + u - 13 = 1. Let j be (25/20)/((-3)/(-12)) - r. Which is bigger: d or j?
j
Let v = -49.4 - -49.6. Is v greater than 184?
False
Let b = 646 + 1519. Is 0 <= b?
True
Let b be 2*(-10)/28*(-58)/(-145). Which is greater: b or 87?
87
Let v = 983/12 - 82. Which is smaller: v or 1.4?
v
Let w = 48261/49 + -985. Let h = 443/1225 + w. Let x = 2/25 - h. Is 1 less than x?
False
Let w(p) = -p + 20. Let y(b) = 3*b**2 - 3*b + 2. Let m be y(3). Let l be w(m). Which is smaller: -5/8 or l?
-5/8
Suppose -922*l - 8946 = -908*l. Is l smaller than -638?
True
Let x = 40 - 40. Suppose -4*m - 2*p = x, 5*m + 20 - 6 = p. Let b = 0 - 2. Are m and b unequal?
False
Let g be 1/(-7)*(-11 - (-156)/18). Which is greater: -1.104 or g?
g
Let m(g) = -g**3 - 9*g**2 - 14*g + 2. Let u be m(-7). Suppose -6*t = -u*t. Which is smaller: t or 2/47?
t
Let t be 623043/(-165) - 2/(-10). Let f = -3772 - t. Which is greater: f or 3?
f
Let m be -2 + 1 - (-8)/8. Let o be ((-64)/12 + m)*3. Let d be 4/14 + o/7. Which is smaller: 0 or d?
d
Suppose 5*l - 29 = 5*n - 4, -10 = -2*l + 4*n. Is l at least as big as -1?
True
Let o = -2 - -4. Let u = -2 - -1.8. Let d = u - 0.8. Which is smaller: o or d?
d
Let l(h) = h**3 - h - 18. Let s be l(0). Let g = -1500 + 1481. Which is greater: g or s?
s
Let f = 908/493 - 50/29. Let i(m) = -m**2 + 3*m + 3. Let o be i(4). Is f <= o?
False
Let r = -119 + 119. Which is smaller: 4/51 or r?
r
Let g = 12 - 12. Suppose -m - 4 - 5 = g. Do -8 and m have the same value?
False
Suppose 8*y - 3*y = -p - 45, -p - 4*y = 40. Let q be (2/8)/(65/p). Let n be (-2)/3 - 10/(-6). Is n smaller than q?
False
Let k be 14/(-4)*40/(-35). Suppose -n - k*l - 5 = -1, -5*n - 4*l + 12 = 0. Let f be (-78)/12 + (-6)/n. Is f < -7?
True
Let j be 0/(-6 + 3) - -52. Let y be 3/(42/j) + -4. Let v = -1.2 - 3.8. Are v and y non-equal?
True
Let l = -125 + 35. Let r = -90 - l. Let i = -7 - 6. Is r greater than or equal to i?
True
Let h = 67 - 173. Let b = 2967/28 + h. Let y be 5 + -7 - (5 + (-13 - -5)). Which is smaller: b or y?
b
Let p be 1 - 0 - 1/(2/20). Let m(q) = -q**2 - 8*q - 2. Let i be m(p). Which is bigger: i or -12?
i
Let v = -0.005 - -0.115. Let s = v - 0.01. Which is bigger: -1.8 or s?
s
Let j be 10/(-3)*(-2)/15. Do 1/6 and j have the same value?
False
Suppose -4 = -u + y + 1, -2*u - 5*y = 4. Suppose -f + 0 = 4*r - u, 0 = -2*r + 5*f + 29. Suppose r*x + 2*s - 5*s + 13 = 0, 5*s = 2*x + 19. Is x < -4?
False
Let w be (18/27)/((-35)/21). Which is bigger: w or -145?
w
Let n = -10 + 7. Suppose 4*w = -0*v + 2*v - 28, 4*w + v + 40 = 0. Let p be (3 + -3)/(w/3). Which is greater: n or p?
p
Let g = -111305174/4575 + 24329. Let l = g + -4781/942450. Which is smaller: l or 1?
l
Let b = -75325573/1353 + 55673. Which is bigger: 1 or b?
1
Suppose 2*w + 2*w = l + 17, 3*w = 4*l + 42. Is l equal to 0.03?
False
Let y = 16/1299 - 631394/6495. Is -97 at least as big as y?
True
Let n = -1.7 - -2. Let c = 0.3 - n. Let f = -0.285 + -0.715. Which is smaller: f or c?
f
Let p(d) = -2*d. Let x be p(1). Let k be (-37420)/35 + 1*x. Let o = 1069 + k. Are -2 and o unequal?
True
Let f = 163 - 236. Let o = f - -72.91. Is o greater than 2?
False
Let x(p) = p**3 - 9*p**2 + 20*p + 13. Let g be x(6). Let v(c) = c**3 + 6*c**2 + 3*c + 3. Let k be v(-4). Which is greater: g or k?
g
Let p(b) = b**2 + b - 1. Let y(k) = 12*k**2 + 10*k + 2. Let v(i) = 4*p(i) - y(i). Let j be v(-3). Let n be -3 + 2 - j/6. Is 8 bigger than n?
False
Suppose 0 = -5*q - 25 + 25. Which is bigger: q or 21/20?
21/20
Let q(o) = -o**3 + 61*o**2 + 102*o + 1511. Let b be q(63). Let z = -1435 - -35869/25. Which is bigger: z or b?
z
Suppose -2*j = j - 6. Let p = 7 - 1. Let c be ((-6)/(-4))/(p/8). Is j at most as big as c?
True
Let i = 121 - 192. Let m(d) = -74*d + 4. Let x be m(1). Which is greater: i or x?
x
Let v = -2492 - -2492.1. Is v >= -1353?
True
Suppose 0 = -q - 4*q. Suppose 3*j = 4*p + 145, q = -0*p + 3*p + 2*j + 113. Suppose -2*g + 7*g = -180. Is g < p?
False
Suppose 3*n + 28 = -71. Let u be (-33 - (9 - 4)) + 8. Are u and n unequal?
True
Let c = 43 - 35. Let q be 6/24 + 38/c. Let p = 2 + 3. Is q <= p?
True
Let h be (-1 - 1) + 5/1. Suppose 6 = 3*m, h*c - 1 - 19 = -m. Suppose 2*w = -s + c*w + 31, -21 = -s + 2*w. Which is smaller: 12 or s?
s
Let b = 36 - 27. Let p(y) = -y**3 + 10*y**2 - 8*y - 6. Let h be p(b). Is -7 > h?
False
Let j = 3319 + -1320963/398. Does 1 = j?
False
Let f = -4 - -3. Let b be (-3 - -3) + 9/24. Is f at most as big as b?
True
Let i = 46.02 - 0.02. Is 0 bigger than i?
False
Let b(i) be the second derivative of i**5/20 - i**4/3 - 5*i**3/6 - i**2/2 - 15*i. Let w be b(5). Which is smaller: -3/28 or w?
w
Let i(h) = -5*h + 12. Let u be i(8). Let l be (-66)/u + (40/(-8) - -2). Is -2 at least l?
False
Let v = -190 - -188. Which is greater: -9/5 or v?
-9/5
Let o = 0.39 - 0.28. Suppose 0*v = v - 9. Let j = v - 10. Is j at most as big as o?
True
Suppose -4*o - 2*x = 22, 20 - 57 = 4*o - 3*x. Let z(a) = a + 8. Let q be z(o). Which is bigger: q or 6/19?
q
Let n(a) = -13*a**2 + 7*a - 19. Let y be n(4). Which is smaller: y or -201?
-201
Suppose -3*g = -8*g. Let w = 4757/44 - 433/4. Does g = w?
False
Let k(o) = o**3 + 13*o**2 - 12*o + 28. Suppose 44*l + 70 = 39*l. Let v be k(l). Let n = -0.1 + 0.2. Are n and v non-equal?
True
Let z = -344 - 52. Let c be (1/(-2) - 0)/((-286)/z). Which is greater: c or -1?
c
Let u = -1.72 + -10.08. Is u smaller than 0?
True
Suppose 5*c = s - 64, -2*c + 0*c + 43 = s. Suppose 35 + s = 6*d. Which is smaller: 15 or d?
d
Let y = -210 - -210. Is y < -6?
False
Suppose -6*d - 4 = -10*d. Let u = -3 + 3. Suppose -f + u*f = -d. Which is bigger: f or -1/8?
f
Let d be (2/9)/(22/(-6)). Suppose 306*m + 16 = 322*m. Are d and m non-equal?
True
Let i be (-124)/(-99) - 2/3. Let w = 4/11 - i. Which is greater: 0 or w?
0
Suppose 1 + 14 = 5*j. Let v(i) = 5*i + 24. Let y be v(-4). Let p = y - 3. Do j and p have the same value?
False
Let s = -2.8 - -4.9. Let i = s - 2.1. Let n = 0.85 + -0.05. Which is bigger: n or i?
n
Let u be (-8)/(-5) - (-39962)/(-520). Which is greater: -75 or u?
-75
Let w be ((-2)/(-4))/((-42)/4620). Is -337/6 >= w?
False
Let b be (-18)/(-8)*728/7. Let s = b - 1409/6. Which is smaller: 0 or s?
s
Suppose 3*o + 0 = -3. Let j be o/(-1*(1 - 0)). Let u be (-10)/68 - 8/(-16). Is j at least as big as u?
True
Suppose 18*j - 35*j - 7276 = 0. Which is bigger: j or -427?
-427
Let o = 11.9 - 12. Let s = -1.4 - -0.3. Let x = s - o. Does -0.4 = x?
False
Let b = -108 - -101. Let l be b + (-18)/(-4) + 3/(-2). Is l equal to -5?
False
Let h(b) = 6*b**2 + 2. Let g(j) = -30*j**2 - 10. Let v(f) = 3*g(f) + 14*h(f). Let t be v(-2). Is -26 <= t?
True
Let c be (-1 + -1)*(-2)/4. Let k be 2*c*(-2)/4. Which is bigger: 2/39 or k?
2/39
Let b(r) = -r**2 + 13*r - 9. Let x(s) = 5*s**2 - s**3 + 1 + 4 + 2 + s + 0*s. Let y be x(5). Let g be b(y). Which is greater: 4 or g?
4
Let c be ((-1)/(0 + -1))/3. Let k = 31 + -31. Suppose k = 5*y + 15, -12 = 5*x + 4*y - 5. Are x and c equal?
False