r u?
o
Let r = -158.3 - -133. Let y = r + 25. Let d = -3.7 + y. Is 0 greater than or equal to d?
True
Let z = -87.1 - -4.1. Let b = z + 83.98. Let j = -0.02 - b. Which is smaller: 3 or j?
j
Let w = 183 - 554/3. Let b = 4454 + -66841/15. Let k = w - b. Which is greater: 0.2 or k?
k
Let t be (1 + -15)*(5 - (-28)/(-7)). Is t != -6?
True
Let d be ((-15)/200)/(1/4). Let k = -32 + 31.92. Let z = -0.18 - k. Is z greater than d?
True
Let s be -5 - 115/15*-3. Is 23 smaller than s?
False
Suppose -4*i - 4*z - 11 = 1, i = 2*z + 9. Is 2/601 greater than i?
False
Let c be (-2)/(-6)*8/((-688)/(-18)). Let z(b) = b**3 + 7*b**2 - 7*b + 7. Let s be z(-8). Which is smaller: c or s?
s
Let r be 6/18 - 10/(-6). Let v be (0 - r)/(6/21). Let f be ((-45)/18)/(v/(-2)). Do f and -2 have the same value?
False
Let y = 29 + -29. Let z(k) = k**3 - 16*k**2 + 29*k - 15. Let t be z(14). Is y greater than t?
True
Let q be (-9)/27 + (-5)/(-15). Is -6/125 greater than q?
False
Let q = -6 + 8. Suppose -4*n = 2*p - 8, 3*n = 2*n - q*p - 1. Let l = -1 + n. Which is smaller: 6/7 or l?
6/7
Let q = 0 - 1. Let t = -25/46 + 1833/3542. Is q <= t?
True
Let x be (-6)/(10 - -26)*0. Is 80/3 less than x?
False
Let y = 47/11 + -27849/6523. Is y <= 1?
True
Let r = -567 - -35719/63. Which is greater: -3 or r?
r
Suppose -5*z - 15 = -10. Which is greater: z or 10/261?
10/261
Let o = 2.42 + -6. Which is smaller: o or 0?
o
Let t = 146 - 114. Let s = t - 25. Which is smaller: 55/7 or s?
s
Let q(k) = -k**2 + 14*k - 2. Let f be q(14). Let l be (-6)/2 - f/10. Which is smaller: -2 or l?
l
Let h = -0.1 + 0.1. Let w = 9709/15 + -647. Are h and w equal?
False
Suppose -10*s - 12 = -2. Let m = -640/9 + 71. Which is smaller: s or m?
s
Let i = 508/5 - 102. Let l = 43.1 - 0.1. Let x = 42.92 - l. Which is greater: x or i?
x
Let n = 706 - 705. Which is smaller: 11/119 or n?
11/119
Let t(a) = 37*a**2 + 10*a - 3. Let z be t(2). Suppose -2*l - 3*l = -z. Is l not equal to 33?
False
Suppose 69*b + 3465 = 104*b. Is 97 greater than or equal to b?
False
Suppose 0*u = u + 53. Let f = -409 - -357. Is u less than f?
True
Let p = -70 + 70.008. Is p less than or equal to 1?
True
Suppose 4*m - 5 = -5*x + 20, m - x = -5. Is m bigger than -25?
True
Let h be (-10)/65 - (-2682)/26 - 0. Let s = h + -102. Is s greater than or equal to -6/29?
True
Let h = -10.4 - -11. Let t = -0.4 + h. Let y = -0.2 + t. Which is bigger: y or 0.1?
0.1
Let z be 141/(-94)*20/(-6). Are z and 30 non-equal?
True
Let g be (-3)/(3 + -6) - 15/5. Do g and 4 have the same value?
False
Let s be 3/(23810/4 - 2). Let t = s - -7684/495875. Which is smaller: -1 or t?
-1
Suppose 0 = 2*r - 12 + 4. Let p(b) = 2*b - 8. Let k be p(r). Let a be (-2)/(-6) + (-38)/102. Is k != a?
True
Let l(d) = d**3 + 3*d - 5. Let c be l(2). Suppose 4*b + 3*r - 31 = 0, 0*b - 2*b - 3*r = -23. Which is smaller: c or b?
b
Let l be 2/33 - 3/9. Suppose -15*z + 9*z = -24. Suppose 0 = z*v - n - 8, 2*v - 6*n + n - 22 = 0. Are l and v nonequal?
True
Let z = -6 - 2. Suppose 4*p - 4*v - 6 = -102, 3*p = v - 64. Let t = p + 13. Is t <= z?
False
Let a = 1730 + -1730.025. Is a less than -9?
False
Let o(b) = 5*b - 2. Let k be o(1). Suppose 19 = -4*t - k*r, r + 13 = 5*t + 51. Let u be 28/t*1/2. Which is bigger: u or -5?
u
Suppose -1 = -3*q + 8. Suppose q*w - 7 - 8 = 0. Suppose 2 = -w*a + 3*o - 5, 5*a = 4*o - 11. Which is smaller: a or 7/10?
7/10
Let o = -16 + 17. Let s be (-1)/(2 - o)*2. Which is smaller: s or 6?
s
Let p be 1 + -1 + (7 - 7). Let n be (p - 4/10)*260/(-24). Let m = -3 + 6. Is n greater than m?
True
Let x be (-16)/10 - (2 + -3). Suppose -1255 + 1260 = -5*l. Is x greater than l?
True
Let u be 6/(-1) - (-5 + 12/6). Let q be (-5 + 9 + u)/(-3). Is q greater than or equal to 1?
False
Suppose 2*l - 246 = 3*v - l, 2*v + 4*l = -140. Do v and -80 have the same value?
False
Let w = -16180/17 + 258679/187. Let x = w - 431. Are 2 and x non-equal?
True
Let t = -725 - -701. Which is greater: t or -9?
-9
Let q be 4/(-14) + (-1020)/105. Suppose -2*p = -0*p - 22. Let v = p + q. Is v greater than or equal to -1/5?
True
Let k = -0.0031 - 0.1669. Which is smaller: k or -11?
-11
Let h be (2 - 1) + 41 + (0 - -2). Let t = h + -38. Is 17/3 > t?
False
Let w be ((-1)/10)/((-2)/(-4)). Let v(n) = 9*n**2 + 290*n + 65. Let j be v(-32). Is w at least as big as j?
False
Let k be (-3 + 2)*(0 + 103). Let r = k - -43. Let d be (-1)/(4 + r/8). Is d greater than or equal to 1?
False
Let f be 172/50*477/(-6). Let x = 547/2 + f. Let d = x - 53/150. Is d >= -0.05?
False
Let c(v) = -4*v - 33. Let r be c(-13). Let z(y) = -3*y + 57. Let l be z(r). Let h = 73/3480 - -3/145. Is l <= h?
True
Let k be (6 + 55/(-10))/((-2)/(-4)). Let c be (-6 + 6)*(k + 0). Is c equal to 3/2?
False
Let f = -348 - -619. Are 0 and f non-equal?
True
Let q = 1341/10 - 134. Is 1 < q?
False
Let t = -6174 + 6171. Suppose 3*y = -y + 16. Suppose -y*r = 6 + 6. Is r at least as big as t?
True
Suppose 13*z + 1243 - 112 = 0. Is z >= -87?
True
Let s = -3463 + 1958. Which is smaller: 0 or s?
s
Let q = 11.3 - 12. Let y be ((-128)/3)/8 - -5. Which is smaller: q or y?
q
Let a = -27 - -13. Which is greater: a or -1/4?
-1/4
Let r = -33.59 + 35. Let u = -0.11 + r. Let m be (52/(-91) + 1)*2/3. Is u < m?
False
Let j be (-5 - -121) + (0 - -4). Which is smaller: 121 or j?
j
Let w(a) = a + 36. Let s be w(-14). Let o = s - 22. Which is smaller: 1 or o?
o
Let i = -123 + 126. Let l(d) = 3*d**3 + 3*d**2 - 8*d + 16. Let h be l(i). Which is smaller: h or -0.1?
-0.1
Suppose -5*z = -33 + 1203. Is z greater than -235?
True
Suppose 0 = -10*w + 13*w - 3. Let k be -1 + w + 2 + -1. Suppose k = -g + 4. Is 5 bigger than g?
True
Let y = -17 + 35. Let k(g) = y - g + 5*g - 3*g. Let q be k(-18). Which is smaller: q or -2/9?
-2/9
Suppose w = 5*f + 4*w - 14, 5*f - w = 2. Which is smaller: 26/55 or f?
26/55
Suppose 4*g = k + 73, 2*g - 59 = 4*k + k. Let p(v) = v + 8. Let j be p(9). Is g > j?
False
Let v = 39/67 + -2051/2948. Let a = v + -3/22. Which is smaller: -16 or a?
-16
Let g = 194 + -92. Let q = g - 102. Let z = -8 + 7.85. Is z less than or equal to q?
True
Let d = -0.5 - -2. Let t = d - 22.5. Let l = 21 + t. Which is smaller: l or 1/2?
l
Let z be (-2)/8 + ((-6963)/12)/11. Let t = -53 - z. Do t and 2 have the same value?
False
Let a = 610 + -4272/7. Is a < -16/3?
False
Let k be ((-2)/12)/(1/3)*0. Is k less than or equal to -84?
False
Suppose -2*t + 4*c + 26 = -7*t, 5*t - 6 = 4*c. Suppose 2*a - 23 = 5*w, 3*w + 20 = -w. Is a greater than or equal to t?
True
Let a(s) = -6*s + 25. Let t be (-1)/7 - (-6)/126*3. Let j be a(t). Is j smaller than 25?
False
Let m = 0.024 + 2.776. Let f = m + -5.8. Which is smaller: f or 1/7?
f
Let y(x) = x**3 - 7*x**2 + 7*x + 6. Let i = -14 + 20. Let d be y(i). Suppose -3*m = -9*m - d. Is -2 at least m?
True
Let z = 2 - 0. Suppose -95 = z*r - 7*r. Is 20 equal to r?
False
Let c(g) be the first derivative of -2*g**2 + 16*g - 21. Let u be c(4). Which is greater: -2/27 or u?
u
Let s = -8 + -2. Let t be (4/s)/(14/(-420)). Suppose -6 - t = 6*b. Is b at most as big as -2/5?
True
Let j = 63 - 62.7. Let x = 15.532 + 0.168. Let s = j + x. Which is smaller: 1 or s?
1
Let i be (-6)/(-21) + 255/(-35) + -273. Which is smaller: -281 or i?
-281
Let l = -1523 - -80729/53. Does 1 = l?
False
Let q(u) = -u**2 + 2*u - 1. Let y be q(1). Let h(s) = -2*s + 8. Let l(v) = 6*v - 23. Let g(x) = -11*h(x) - 4*l(x). Let c be g(2). Is y greater than c?
False
Let j = 59.951 - -0.049. Is 1/7 at most as big as j?
True
Suppose 2*i + 292 = -2*h, -2*h = 5 - 1. Let m be 4/6*i/(-8). Let z be ((-4)/5)/(m/30). Which is smaller: z or -3?
-3
Let l(n) = -n + 18. Let w be l(11). Let q be 1/w*(-2 - 1). Let g = -27/14 - q. Is g equal to -2?
False
Let k be 51/442*13*2/(-1). Is k at least -77/29?
False
Let u(t) = t**2 - t - 16. Let x be u(0). Let a = -16 - x. Which is greater: a or 1?
1
Let p = -0.11 - 3.89. Let b = -4.04 - p. Let o = -2643 - -2642.9. Is b greater than o?
True
Let v = -666887/58352 + 1/8336. Let b = 9/17377 - 7142199/486556. Let h = v - b. Which is smaller: 4 or h?
h
Let t = -15 - 9. Let p = 2.39 - 25.89. Let z = p - t. Which is smaller: z or 1/4?
1/4
Suppose -k = r - 0*r - 22, -137 = -5*r + 4*k. Let v = 25 - r. Which is smaller: v or 7?
v
Let d = 83 - 80. Suppose v = d*c - 45, 3*c - 6*v = -4*v + 42. Is c 