1/(-1260). Let g = 1/1260 + t. Which is smaller: -2 or g?
g
Let n = 2/183 + 100/24339. Let q = 27 + -27. Which is smaller: q or n?
q
Let q be 2/6 + -3 + 0. Let u(t) = -9*t + 24. Let h be u(3). Is q < h?
False
Let m = -73 + 73.4. Let v = m - 0.37. Which is smaller: v or -3?
-3
Let o be -7*(152/(-56) - 3). Which is greater: 42 or o?
42
Let b = -329/180 - -1/36. Let j = -109/55 - b. Let s = 0.061 + -0.561. Are j and s nonequal?
True
Let v = 0.4 + -0.3. Suppose 0 = 3*h + 8*i - 3*i + 32, 4*h + 5*i + 36 = 0. Let f be (-5)/10*1/h. Do v and f have different values?
True
Let s(x) = -4*x - 13. Let h be s(-4). Suppose 6*b = -2*p + 3*b + 4, -h*p - 20 = -2*b. Is p at most -5?
False
Let o be 20/(12/(-3) - -3). Let l = o + 16. Let s be 6/l*4/(-6). Is 1 less than s?
False
Let y(l) = 246*l - 1098. Let r be y(5). Is 1196/9 at least r?
True
Let s be (3/9)/((-5)/(-15)). Let w be 28/42 + (-1930)/1794. Let n = 7/69 + w. Which is smaller: n or s?
n
Let a be 3476/33*(6 - 12). Is a greater than or equal to -632?
True
Let u = 351.3 - 353.3. Let s = -1 - -1.05. Let v = -2.05 + s. Is v greater than or equal to u?
True
Let p(k) = k**2 - 22*k + 97. Let b be p(7). Suppose 0 = -2*s - 0*s. Which is smaller: b or s?
b
Let z(f) = -f**3 - 19*f**2 - 17*f + 22. Let g be z(-18). Suppose -16 - 20 = -g*w. Do 29/3 and w have different values?
True
Let x(q) = -9*q - 45. Let g be x(-5). Let i be 3/51*(-2)/2. Are i and g equal?
False
Let k = 509 - 611. Is k > -5?
False
Let z = 0.03 + -104.03. Let g = -101 - z. Do g and 0.6 have the same value?
False
Let v be (-1)/(((-3)/96)/((-1)/(-2))). Suppose 0 = -2*w + 4*w + v. Let j = -853/2 + 418. Which is greater: w or j?
w
Let j(n) = -2*n**2 - 7*n - 1. Let w be j(3). Let v = 40 + w. Is v smaller than -1/32?
False
Suppose -5*h = -0*h. Let b = -475.8 + 479. Which is smaller: h or b?
h
Suppose 2*u + 56 = -30. Let k = 35 + u. Let n be (-3)/(-4) - (-86)/k. Are n and -8 equal?
False
Let w = -155.4 + 146. Let h = 10.4 + w. Is -0.28 greater than or equal to h?
False
Suppose -2*f + 0*f + 112 = -2*y, -136 = 3*y + 5*f. Let d = y - -51. Which is greater: 12 or d?
12
Suppose 4*g + 4 = -2*m, 4*m - 4*g + 5 = -3. Let b be 0 + m - (-18 - -5). Does 11 = b?
True
Suppose 260 = 9*i - 22*i. Which is smaller: -18 or i?
i
Let l = -0.506 - -1.806. Is -3/37 smaller than l?
True
Let d = -3 - -5. Let g be (-1 + (-22)/(-28))/(4/(-10)). Let q = g + 9/28. Which is greater: q or d?
d
Suppose 2*d + 4 = -32. Let f be (1/d)/((-30)/(-12)). Is f < 0?
True
Let u = 158.1 - 154.1. Which is greater: u or -86?
u
Suppose -11*a + 18 = -2*a. Suppose -a*d = 3*t - 2*t - 25, 0 = 4*d - t - 47. Is d bigger than 15?
False
Let c = -516 - -518. Which is bigger: c or 15/13?
c
Let j = 394/9 + -44. Let h = -4.1 - 0.9. Let d = h - -5.4. Which is bigger: j or d?
d
Suppose 2*o = -g - 38, -3*g = -o - 8*g - 1. Let d be 1*o/(-6)*2. Suppose 0 = 5*f - 30. Which is greater: d or f?
d
Let f = -7202/7 + 1031. Let h(b) = b. Let a(v) = v + 1. Let t(p) = a(p) + h(p). Let w be t(1). Is f at most as big as w?
True
Let q = 0.82 - 2.02. Which is greater: -2/7 or q?
-2/7
Let x = -25 - -17. Let t be (6/x)/(9/(-12)). Let o = 2823/10 + -282. Which is greater: o or t?
t
Let k be 0 - (-358)/(-89) - (-59 + 55). Is -1 at most k?
True
Let m be (1 - (-36)/8) + 1/(-2). Let d be ((-24)/6 + m)*-20. Which is greater: d or -19?
-19
Let o = -7/86 - -213/4730. Let u(s) = s**3 - 12*s**2 + 11. Let m be u(12). Suppose m*t = 16*t + 5. Which is smaller: t or o?
t
Let q(z) be the third derivative of z**4/8 - 35*z**3/6 - 10*z**2 - 3. Let l be q(12). Is l at least 0.59?
True
Suppose 34*a + 4181 = -7549. Does a = -345?
True
Suppose -3 = -u + 29. Let t be -8 + 6 - u/(-2). Let l = t - 11. Is l at least as big as 8/3?
True
Let d(o) = 2*o + 4. Let j be d(4). Let k be 27/j - (-5)/(-20). Suppose 0*l - 2*l = -k. Is l equal to -1/26?
False
Let o = 359/10 + -27/5. Is 32 < o?
False
Let w = -158 + 82. Let a be (-3)/((-82)/w + -1). Let d be 14/(-18) - a/(-171). Which is bigger: d or -2/11?
-2/11
Let p(l) = -l**2 + 11*l - 13. Let u be p(9). Suppose u*j = 6*j. Suppose j*m - 5*m + 3*w = 11, 4*m = 3*w - 10. Which is smaller: m or -4?
-4
Let o = 156 - 158. Let x = 42 - 54. Is o >= x?
True
Let r = 10 - 44. Let i = r + 33.8. Is i at least as big as -3?
True
Let x = -4.7 - -4.1. Let g = 39 + -28.4. Let b = x + g. Which is bigger: b or -1/3?
b
Let p = -63.9 - -64. Which is smaller: p or 19?
p
Let b = 2423 - 2665. Which is smaller: -243 or b?
-243
Let a = 12 + -3. Let x(v) = 11*v - 18. Let q(c) = -5*c + 9. Let r(d) = a*q(d) + 4*x(d). Let y be r(6). Which is smaller: 4 or y?
y
Let b be -46 + 46 - (0 + 0). Is b not equal to 2/205?
True
Suppose 3*c - 5*b = 1 - 26, 5*b + 35 = -3*c. Let l = -19/2 - c. Which is greater: -20 or l?
l
Let x = -10669/155 - -344/5. Let o = -89 + 103. Let w(y) = y**2 - 14*y. Let n be w(o). Do x and n have the same value?
False
Let o be (-4)/10 + (-2)/(-5). Let u = 1315/1056 - 38/33. Let x = u + 5/32. Which is greater: x or o?
x
Let j = 0.5 - 1. Let k = j + 0.33. Let v = -4.83 + k. Is -2/11 > v?
True
Let m = -28/9 - 23/36. Let d = m + 4. Are d and 5/7 equal?
False
Suppose w - 5*w + 58 = 3*g, -4 = -4*w. Suppose -4*v = -5*n - 30, -4*v + 0*n - n = -g. Which is greater: v or -5?
v
Let y be (-80)/75*24/32. Which is bigger: -0.04 or y?
-0.04
Let y = -4.17 - -19.17. Which is smaller: 5 or y?
5
Let q be (6 - (-78)/(-12))*-240 + 1. Does q = 121?
True
Let p be (-3 + 2)*(-49)/28. Which is greater: -5 or p?
p
Suppose -2*v + 17 - 3 = 0. Let u = 19 + -13. Is v less than u?
False
Let b(i) be the first derivative of -i**2/2 - i - 7. Let d be b(12). Let l be (-6)/(-33) - d/(-11). Are l and -1 nonequal?
False
Let r = 49 - 49. Suppose r = -10*u + 12*u + 2. Let o be ((-9)/(-132))/(3/(-2)). Which is greater: u or o?
o
Let o be (8 + 0)*(-7 - -8). Let p(w) be the second derivative of w**5/20 + 7*w**4/12 + 5*w**3/6 + w**2 - 5*w. Let v be p(-6). Are o and v equal?
True
Let z be 148/10 + 3/15. Suppose d - 6*d = -z. Let m = 97/44 + 6/11. Which is greater: m or d?
d
Let w(s) = -s**3 + 4*s**2 + 2. Let d be w(4). Let f be (-2)/(-4) - (5 - 30/4). Let k be (f/15)/(d/6). Is 0 at least k?
False
Let n = 59938/43 + -1394. Which is smaller: -1 or n?
-1
Suppose -5*h = -h + 4*k + 8, 4*k + 17 = 5*h. Which is smaller: h or 1/3?
1/3
Let z be (-70)/(-6) - (-3)/9. Suppose -z = -3*i + 3*y, -4*i + i - 6 = 3*y. Let f = -9/23 - 11/207. Which is bigger: f or i?
i
Let t = 21/116 + 2/29. Suppose 0*b + 4*b = 0. Do b and t have different values?
True
Let j be (-8)/6*(-60)/40. Suppose 0 = -4*r - j*r - 312. Which is greater: r or 0.1?
0.1
Let w(j) = j**2 + 11*j + 5. Let q be w(-11). Let m(o) = o**3 - o**2 - 4*o - 5. Let l be m(q). Let p = l + -153/2. Which is bigger: -2 or p?
p
Let q = -33 + 69. Let x be 7*(q/(-21))/2. Let f(v) = -v**2 + v - 2. Let u be f(2). Is u > x?
True
Let v = -235/4 + 58. Suppose -q - 5*n = 0, 4*q - 9 = 2*q - n. Suppose -4*x = 8, -q*g - 5*x - 1 = 9. Which is greater: g or v?
g
Let v = -6951/64 + 3/320. Which is smaller: -110 or v?
-110
Let k(c) = -c**2 - 4*c + 5. Let i be (-11)/3 - (-4)/(-12). Let q be k(i). Is 5 greater than or equal to q?
True
Let p(c) = -40*c - 181. Let z be p(-11). Which is greater: 261 or z?
261
Let c = 2/27 - -34/27. Let k(r) = r**2 - 7*r - 5. Let g be k(8). Suppose -g*i = 2*i. Which is smaller: i or c?
i
Let o = -38 - -64. Let r = o + -47. Let d = 13 + r. Which is greater: d or -2?
-2
Let c = -0.77 + -0.03. Let y = 1.1 + c. Let q = -2.8 + -2.2. Which is smaller: y or q?
q
Suppose -4*p + p - 27 = 0. Let q = p + 15. Suppose m = -u + 2*u - q, 19 = 3*u - 4*m. Is u < 6?
True
Suppose -36*g + 35*g = 21. Let v be g/140*4/(-1). Which is greater: v or 0?
v
Let j = 2 + -3. Let z be (-724)/14 + (60/(-42))/5. Let q = z + 103/2. Is q greater than j?
True
Let n = -11 + 10.887. Do n and -1/6 have the same value?
False
Suppose 0*k = 4*k - q + 683, 0 = -4*k + 3*q - 681. Which is greater: k or -170?
-170
Let j = -18 - 4. Let s = j + 33. Let i = 11 - s. Which is bigger: -3/8 or i?
i
Let b = 22 - 18. Suppose p + 10 = -b*p. Which is smaller: -20 or p?
-20
Let i be 4 - 1634/14 - (-6)/(-21). Let j = -118 - i. Let y be 1*2/(-2) - 2. Is y bigger than j?
True
Let x = 4.02 - -11.98. Is x >= -2/3?
True
Let b = 80 - 138. Let i = b - -286/5. Is 5/3 at most i?
False
Let y = -27 +