 (-6)/(-8). Let s be (5/(-11))/(2/2). Which is greater: s or z?
z
Let p = -33.055 + 33. Let d = -0.355 - p. Let i = 50 - 49.9. Which is smaller: i or d?
d
Let o = 287663555/4755931 - 32763/541. Let p = o - 4/149. Is p greater than or equal to 1?
False
Let a(t) = t**2 + 7*t - 1. Let b be a(-7). Let g be -31 + 35 + (-4)/3 + (-36)/14. Is b < g?
True
Let l = -170/9 + 259/18. Is l at least 2?
False
Let k = -7123939/7 - -1019831. Is -1/4 less than or equal to k?
True
Suppose 0 = -4*f - 5*n + 23 + 3, 4*f - 22 = -3*n. Suppose -t = f*t - 20. Suppose -2*w - 105 = -5*k, w + 3 = -t*k + 74. Which is smaller: k or 20?
k
Let d = 2549 + -277839/109. Let z(i) be the first derivative of i**4/4 + 2*i**3/3 - 3*i**2/2 + 11. Let s be z(-3). Is s smaller than d?
True
Let g be 81/18*20/45*13812/56. Is g at most 492?
False
Let y = -16 + 39. Suppose -5*m + 25*m - 980 = 0. Suppose j + m - 73 = 0. Which is smaller: y or j?
y
Suppose g = 3 - 0. Let h(m) = -m**2 - 16*m + 36. Let i be h(-18). Suppose -5*x = x - i*x. Which is greater: x or g?
g
Suppose -5*y - 180 = 5*z - 10*z, 4*y - 5*z + 146 = 0. Suppose c + 189 = 4*x - 324, -5*x + 655 = -4*c. Suppose 258 + x = -11*n. Is y <= n?
False
Let u = -586.924 - -548.9. Let d = u - -0.024. Let b = -27 - d. Is -1 equal to b?
False
Suppose 8*v + r = 3*v + 3375, 0 = -v - 3*r + 689. Let k = -585 + v. Are 614/7 and k equal?
False
Let o be ((-448)/192)/((-3)/63). Suppose -4 = 4*q, -k + 3*k = -2*q - 142. Let d = 118 + k. Is o less than or equal to d?
False
Suppose -122 - 21 = -m. Let a = m - 136. Suppose -2*q = -6*q + 3*d - a, 0 = 3*d - 3. Is -14 less than q?
True
Suppose -9*z = -71 + 44. Let g be ((-10)/(-3) - z)*63/(-238). Are -1 and g equal?
False
Let r(g) = -2*g**3 + 10*g**2 + 2*g + 3. Let n(w) = -w - 8. Let a be n(-13). Suppose l + 0 = a. Let t be r(l). Which is greater: t or 14?
14
Let a be 25/6 - 49/294. Suppose -5*f = a*q - 355, 2*f + 156 + 139 = 3*q. Suppose 3*t - 188 = t. Is q greater than or equal to t?
True
Suppose -9*v + 18 = j, 39*j - 13 = 5*v + 37*j. Which is greater: v or 1338?
1338
Let h = -60 + 34. Let l = 31169/21 - 4529/3. Which is smaller: h or l?
h
Let x be (-62)/10 - (-2)/10. Let u(i) = i**3 + 7*i**2 + 4*i - 7. Let j be u(x). Suppose 2*t = -4, -1 = -4*c + 3*t - 11. Is c < j?
True
Let i be -3 - -2 - -4 - 2. Suppose -52*u + 207 = 45*u - 84. Is i greater than u?
False
Let o = 5.6652 - -0.3348. Which is bigger: o or -0.073?
o
Suppose 5*v + 4461 = c, -4*c + 3588 = 6*v - 10*v. Which is greater: v or 0?
0
Let v(z) be the first derivative of 2*z**3/3 + 2*z**2 - 20. Let p be v(-2). Suppose p*j = 8*j + 8. Do 1/24 and j have different values?
True
Let i = 9511381/315 + -656353/21. Let l = i + 1060. Are 1 and l unequal?
True
Let x = -412 + 360.5. Let k = -51 - x. Does k = 7?
False
Suppose 34*b - 23*b - 27*b = -16. Is b <= 1052?
True
Suppose 3*b = 2*m + 3, -5*m = 47*b - 45*b + 17. Which is smaller: 34/265 or b?
b
Suppose 4*k = 5 - 1. Let p be k*-1*3 - 2. Let u(t) = 5*t**2 + 232*t + 86. Let n be u(-46). Is n smaller than p?
True
Suppose 43*z + 5 = 20*z + 18*z. Is z at least as big as -2/70247?
False
Let v be 9*(-4)/(-16)*2*2. Suppose -y - 2*u - v = 0, -4*y - 4*u = y + 63. Is y greater than or equal to -17?
True
Suppose 1670 - 245 = 15*f. Suppose -i - 73 = -f. Do i and 21 have different values?
True
Let w be 57/126 + (-6)/(-4) + -2. Let p(r) = -r**3 - 6*r**2 - 4*r + 7. Let x be p(-5). Suppose 4*b = -3*u + 8, 3*b = -u + 2*b + x. Is w >= u?
False
Suppose 3 - 27 = -3*o. Let h be (146/o)/(6/24). Is 73 at least as big as h?
True
Let n be 1*3*(18 - 29)/33. Is n greater than or equal to 5/232?
False
Let r be (2/10)/(123/5535). Which is greater: r or 2?
r
Let f = -4/43 - 1227/215. Let r = -244 - -238. Which is smaller: r or f?
r
Let m be 53 + (0 - 1) + (-28 - -24). Suppose 0 = 2*x, d - m = -0*d + 4*x. Let u = 37 - d. Which is smaller: u or -9?
u
Suppose 49*z = 52*z + 192. Let g = z + 65. Is g equal to -125?
False
Suppose -4*k + 2*j + 34 = -18, -5*k + 63 = -2*j. Which is bigger: 14 or k?
14
Let u be (2 + (-113)/59)*1092/(-130). Suppose 0 = 5*t - 15, -5*j - 2*t - 6 = -4*t. Which is smaller: u or j?
u
Suppose 0 = 2*s - 5*s + 12. Let q be -18*((-6)/(-9))/(2132/(-861)). Which is smaller: s or q?
s
Let c be -9*2830/(-960) + -3. Is 25 <= c?
False
Let t = 3840.0575 - 3840. Which is greater: t or 0.3?
0.3
Let o = 0.307 - 0.33. Let i = -8291 + 8291.2. Which is smaller: i or o?
o
Let g = -9976/15 - -129311/165. Are 120 and g unequal?
True
Let o be ((-33)/(-105))/((-6)/(-7)). Suppose 43*f + 144 - 187 = 0. Are o and f equal?
False
Let u = 18049 + -17672. Is u less than 377?
False
Let d = -2.049 + 1.999. Which is smaller: -210 or d?
-210
Let b be 1/3*(1 + 8)*5. Suppose -b*q - 2*q + 816 = 0. Which is smaller: 42 or q?
42
Let i be (14/(-5))/(-1)*5/2. Suppose 1104 = -i*s + 30*s. Are 241/5 and s equal?
False
Let g = 4421 + -4596. Is -178 not equal to g?
True
Let b = 158.193 + -158. Let c = b - 0.193. Suppose -2 = 3*k - 47. Which is smaller: c or k?
c
Suppose -6*r + 23 = 5. Suppose -4*a - z = -224, -z + 56 = a - r*z. Suppose -4*h = -11*h + a. Does h = 7?
False
Let c = -791.2 - -791.7. Which is smaller: c or -8?
-8
Suppose -11 = -3*a - 23. Let k be -87 + (a/8)/(1/2). Let n = -106 - k. Which is bigger: -19 or n?
n
Let k = -15903 - -15843. Which is smaller: k or -6?
k
Let y = -42139 - -42129. Let l = -1.9 - 0.1. Are l and y equal?
False
Suppose 0 = -2*y + 4*v + 518, 2*v = 5*y - 3*v - 1300. Let i = -259 + y. Which is smaller: 15 or i?
i
Let a(x) = x**2 + x + 3. Let c be a(-8). Suppose -3*h = u - 181, -5*u = 2*h - 5*h + 175. Which is smaller: h or c?
c
Let v(p) = 2*p**2 - 52*p - 35. Suppose 4*m + 50 = 3*d, 23*m + 106 = 5*d + 22*m. Let l be v(d). Which is smaller: 0.1 or l?
l
Suppose 15*l + 60 = 5*l. Let p be (2/(-38))/(l + 7/1). Which is smaller: 2/11 or p?
p
Let w = 3506 - 3506. Which is smaller: w or -243?
-243
Let h = -10 + 72. Let y = -791 - -791. Is y not equal to h?
True
Let d be (-6)/(357/174 + -2). Let z = -10909 - -10795. Which is greater: z or d?
z
Let b be ((-2)/5)/((208/(-39))/((-20)/(-438))). Which is bigger: b or -1?
b
Let d = 132/37 + -4043/148. Suppose -65*g - 108 = -101*g. Suppose -g*k + 6 = 0, 2*x - k - 3 + 51 = 0. Is x != d?
True
Let w be (-31 + 1)/((-3)/(-2)). Let x be (-7)/(-2)*(-476)/(-98). Suppose -4*u = -4, 5*u = 20*r - x*r + 71. Which is smaller: w or r?
r
Let q = -29100 - -29100.0021. Is -7 not equal to q?
True
Let f = 28051 - 28052. Are f and -68/307 unequal?
True
Let q = 52.468 + -52.5. Is -2/17 at least as big as q?
False
Let v be (-2)/((-8)/20*1). Suppose -4*f = y + 324, f + 62 = -0*f - v*y. Let m = f + 88. Which is bigger: 29/5 or m?
m
Let k be 658/28 + (-1)/(-2). Let s = -22 + k. Let t be 5 - 66/12 - 23/s. Is -12 smaller than t?
False
Suppose 29*l - 54*l + 23*l = 38. Which is greater: 124/3 or l?
124/3
Suppose 0 = 5*d - 0*g + 5*g - 80, -3*g + 20 = d. Let w be 4/d*(80/(-18) + 6). Which is smaller: 1 or w?
w
Suppose 4*k - r = 0, 60*r - 20 = 55*r. Are -6/1249 and k unequal?
True
Let m = 2.62 + -5.82. Let t = 2.9 - 0.4. Let h = m + t. Do h and -1 have the same value?
False
Let o = -0.74 - -0.8. Let u = -2/699 - 90631/2097. Let y = u - -43. Is o at most y?
False
Let f be 18 + (-1 + 3 - 3). Let g be 17 + 2 - (1 - 0). Is f at least as big as g?
False
Suppose 0 = c - p - 63, -c + p = -5*c + 232. Suppose -4*y = c - 55. Do -1/644 and y have different values?
True
Suppose 5*x - 2 = 8. Suppose -i - m + 43 = 0, x*i - 1 = 4*m + 97. Suppose -12*v = -7*v + i. Is v < -9?
False
Suppose 24*f = 89 + 127. Let j be 20/6 + -3 + (-48)/f. Is j > 49?
False
Let h = 482/819 + -3/91. Let j = 138 + -135. Suppose 0 = -27*p + 24*p + j. Which is greater: h or p?
p
Suppose -1359 + 831 = -528*x. Suppose -3*v - 4*a - 5 = -4*v, a = -5*v - 17. Let w be v/98*-2*2. Which is smaller: w or x?
w
Let o = 88046 - 181185/2. Which is smaller: o or -2548?
-2548
Let w(z) = z**3 + 8*z**2 + 5*z - 4. Let q be w(-8). Let f be 3/((q/(-12))/11). Which is bigger: 11 or f?
11
Suppose 29 = -5*x + b, 2 = 4*b + 6. Suppose 2*c = 3*s + 259, 2*s + 0*s = -6. Suppose -11*m = 14*m + c. Does x = m?
False
Let p be (-14)/(-3)*((-41)/(-2) + -4). Let c = p + -59. Let o = -10 + c. Which is greater: o or 35/4?
35/4
Suppose -16*f = -2371 - 701. Let y = f - 193. Suppose -2 = -3*r + 5*k + 7, 5*r - 4*k