. Let k = 6.85 - c. Which is greater: k or v?
k
Let m = 132 - 74. Let z = -35 + m. Let v = z - 13. Which is bigger: 0 or v?
v
Let g be ((-3)/(-27))/((-1)/2). Let s = -1/9 + g. Let d = -7 + 6. Is s >= d?
True
Let l = -17 + -15. Let x be (l/2 - -3) + -3. Are x and -14 equal?
False
Let b(g) = g + 14. Let r be b(-10). Let w = 6 + -4. Suppose 0 = -w*u + 16 - 6. Is r smaller than u?
True
Let b = 7 - -20. Let z = b - 30. Let t = -4 - -1. Is t <= z?
True
Suppose 7*g = k + 2*g - 49, g = 5*k - 197. Let s = k + -32. Is s not equal to 8?
True
Suppose -4*p = -0*p + 40. Let g be p/(-4)*(-10)/(-50). Is 2 greater than or equal to g?
True
Let g = -53441/18 - -2972. Which is smaller: 4 or g?
g
Let h(r) = -75*r**2 - 4*r + 2. Let o be h(2). Are o and -305 nonequal?
True
Let j be 2/(1/((-602)/(-16))). Is 74 at most j?
True
Let u = 0.4027 + -0.375. Is 0.1 bigger than u?
True
Let w = 13 - 2. Let v = w - 10.9. Which is smaller: v or 1?
v
Suppose 19*d + 209 = -418. Let j = 27 + d. Let p be -5 - 1*2/(-2). Which is smaller: j or p?
j
Let z be ((-2)/(-8))/((-2)/8). Do -3/460 and z have the same value?
False
Let p be 6/15 + (-5)/(75/6). Which is greater: -0.058 or p?
p
Let p = -332 + 336. Is -0.1 less than p?
True
Suppose -2*g - 2 = -4*j - j, -2*g = 2. Suppose 4 = -j*u - 2*u, 3*r - 4*u = -1. Which is bigger: -6 or r?
r
Let v = -4 - -3. Let a = -171/4 + 329/8. Let r = a - -1. Is v greater than r?
False
Suppose 151 = 233*z - 238*z - j, 0 = 5*j + 5. Let l(a) = -a - 30. Let w be l(0). Is z >= w?
True
Let d be (-2 + 3)*-252 - -7. Which is bigger: d or -0.1?
-0.1
Let f be (920/24)/23*4/(-10). Which is greater: 74 or f?
74
Suppose 237 - 597 = -20*h. Which is smaller: 124/7 or h?
124/7
Let x(j) = -j**3 + 3*j**2 - 4*j - 1. Let c be x(3). Suppose -1489*s + 1482*s - 98 = 0. Which is greater: c or s?
c
Let w = 88 - 51. Suppose 4*o - 31 = 3*z, -4*o - 2*z = -9*o + w. Which is smaller: o or 6?
6
Suppose 0 = -4*t + 5 + 11. Suppose 106 = -5*b + 4*f, 2*f - t*f = -8. Is 2/5 less than or equal to b?
False
Suppose 0*j + 21 = 3*j. Suppose 0*x + j = -x - 5*a, a = -1. Which is smaller: 5/19 or x?
x
Let l = 1283 - 1292. Let h = 92/147 + 2/49. Is h < l?
False
Let c(j) = -52*j**2 - 35*j - 47. Let p be c(-4). Is -740 bigger than p?
False
Let s = -71 + -72. Let w = s + 149. Which is smaller: w or 0.09?
0.09
Suppose -9 = -3*d + 3, 3*d = -5*w + 27. Suppose 3 = w*z + 3. Which is smaller: z or -4/37?
-4/37
Let x(q) = q - 4. Let y be x(-7). Let w = -261/28 + -5/28. Which is smaller: w or y?
y
Let i = 203 + -183. Which is greater: 18 or i?
i
Let y be (-3)/198*(-2)/(-4 - -2). Which is bigger: y or -1?
y
Suppose 0 = 2*a + c - 3*c, c = 2*a. Suppose a = 4*q - 7*q - 48. Which is greater: -17 or q?
q
Let p = 4488 + -4491. Suppose -5*q - 10 = -4*q. Let k be 4/6*q/4. Which is bigger: k or p?
k
Let s be (-4 + 932/248)*(-1)/(-2). Let x = s - -1103/7068. Which is smaller: 0 or x?
0
Let k(u) = -5*u**3 - 2*u**2 + 1. Let o be k(-2). Let t = o + -31. Let m = 18/25 + -26/175. Are m and t non-equal?
True
Let y be (-1)/4 - (-54)/(-8). Suppose -12 = 4*t - 3*i + 7, 0 = -t - 4*i - 19. Are t and y nonequal?
False
Let v be 4/10*10 + (3 - -126). Are 133 and v nonequal?
False
Let b = 0.505 + -0.313. Which is smaller: 0 or b?
0
Let p be (-1336)/(-84) - (-10)/105. Is p smaller than 13?
False
Let n(m) = 39*m + 443. Let y be n(-11). Let z(o) = o**3 + 3*o**2 - 3*o + 4. Let q be z(-3). Which is smaller: q or y?
q
Let d be (2/((-4)/3))/(3300/400). Is 22 greater than d?
True
Let l = -22 - -24. Is 8/3 <= l?
False
Suppose -24 = -2*d - 4*r, d = -4*r + 14 + 6. Let z be 7 + (d/(-1))/2. Let f = -725 + 730. Is f greater than z?
False
Let l = 50 + -49.97. Is 1/3 at most as big as l?
False
Suppose 0 = -1898*b + 1896*b - 54. Which is smaller: b or -26?
b
Let g be (-1)/(-2)*(-41)/82. Is -117 not equal to g?
True
Let h = 13 - 9. Let a be 0 + 0/(-3 + h). Is a greater than or equal to -10/11?
True
Let y(l) = -12*l + 337. Let v be y(28). Is -1/26 <= v?
True
Let u = -1802 + 1826. Let m(o) = 5*o + 5. Let n be m(4). Is n at most as big as u?
False
Let x = 120 + -1076/9. Which is bigger: -1 or x?
x
Let x = 67 - 65. Suppose -x = -4*a - 3*b, 9*b - 5*b = -5*a + 3. Let v = -193 + 2121/11. Which is smaller: v or a?
a
Let k(l) = 1 + 4 - l**2 + 9 + 5 + 18*l. Let z be k(19). Which is greater: z or 3/10?
3/10
Let v be (-40)/300 - (-2)/(-10). Let n = 1.1 - 1.17. Let x = -0.13 + n. Are x and v equal?
False
Suppose 9*a = 4*a + 30. Let r = a + -6. Let m = 17/10 + -479/270. Is m < r?
True
Let q = -48.131 + 0.131. Let o = q + 50. Which is smaller: o or 1/13?
1/13
Let b(r) = -r - 5. Suppose -8 = 2*h + 14. Let j be b(h). Is 6 less than j?
False
Let v be 11/(-9) + (-38)/(-171). Suppose 0 = x - 2 + 3. Are x and v non-equal?
False
Let f(k) = k**3 - 11*k**2 + 19*k - 6. Let b be f(9). Suppose -87 = -b*o + 4*u, -3*o + 70 = -u - 17. Does o = 28?
False
Let g = -116 + 103. Let q = -72 - -63. Is q at least g?
True
Suppose 3*i - 8 = -u, -6*i = -4*i + 2. Suppose -4 - 82 = -3*g - 4*s, -s = -4*g + 102. Suppose z + g = 3*x - z, 0 = -5*x - 5*z + 60. Which is greater: x or u?
u
Suppose 3*g + 33 - 45 = 0. Suppose -1 = g*c - 5. Is -1/90 <= c?
True
Let z = 1 + -1. Let o be 16/40*15/4*4. Which is smaller: z or o?
z
Let s be -12 + 1 - 28/(-14). Is -11 greater than or equal to s?
False
Let d be -3 - -2 - -109 - 1. Suppose -5*z = 32 - d. Suppose -z = 3*b - 3. Which is bigger: b or -3?
-3
Suppose 3*l - 4*j + 51 = 0, l = -3*j - 2 - 2. Let r = 12 + l. Is r smaller than -2?
False
Let d = 1074.9 - 1078. Which is bigger: -6 or d?
d
Let x = 0 - 1. Let f(u) = u - 3. Suppose 3*d = -2*d. Let l be f(d). Which is smaller: l or x?
l
Let q be 3/(3/(-8))*-1. Let h be 2/4*2*(-927)/(-103). Do q and h have different values?
True
Let h be 140*((-2)/(-12) + (-328)/96). Let x = h - -16379/36. Which is smaller: 0 or x?
x
Let n = -6 + 6. Let g be 1 - n - (1 + 2). Let m be 0/g + (-5)/1. Is 1/3 smaller than m?
False
Let x = 14 - 46. Is -32 less than or equal to x?
True
Suppose 142*o = 165*o - 23. Which is greater: 7/15 or o?
o
Suppose 4*b + 5*s + 11 = 0, s = -5*b - s - 1. Let x be ((-18)/(-4))/(b/(-4)) + 2. Does x = -17?
False
Let k be -5 - (-305)/60 - 952/(-96). Suppose 2*m - 6*m + 38 = -2*b, b = -2*m + 29. Is k at least m?
False
Let m = -4 - -14. Suppose -88 + 313 = 25*k. Are m and k nonequal?
True
Let x = 4145 + -692213/167. Let j be (-8)/(-1336)*(-314)/(-10). Let s = j + x. Which is bigger: s or -1?
s
Let i be (-190)/4*(-60)/(-75). Do -38 and i have the same value?
True
Let a be (-1 + (-33)/(-9))/((-4)/(-30)). Let t be 126/8 - 15/a. Is 17 equal to t?
False
Let q = 2454.93 - 2475. Let g = q + 0.07. Which is smaller: -0.1 or g?
g
Let c = -713/7722 + -1/594. Which is smaller: c or 0?
c
Let i = -23.7 - -21. Which is greater: i or -0.1?
-0.1
Let v(i) = -3*i**3 - i - 5 + 6*i**2 + 4*i**3 + 2*i. Let w be v(-4). Let o = w + -24. Is o != 3/10?
True
Let m be -6 + 1*-1 + 485/68. Is m less than or equal to 1?
True
Suppose -3*g + 4*l = -372, 19*g + 3*l = 23*g - 503. Is g equal to 126?
False
Let k = 4189/4 + -964. Let b = k + -84. Let x = 0.1 + -0.3. Which is bigger: b or x?
x
Let m be 9964/(-530)*(0 - 5/(-2)). Is m bigger than -339/7?
True
Suppose -3*c = 4*g - 75, -2*g + 94 = 4*c + 4. Let v be c/189 + 2/(-18). Which is bigger: 1/9 or v?
1/9
Let k(n) = 2*n**3 - 17*n**2 + n + 33. Let c be k(8). Is c at least -13?
False
Let m = -1.02 - -1. Let g = -3.239 - -3.439. Which is greater: g or m?
g
Suppose 4*y = -5*n - 115, 0 = -11*n + 7*n - 4*y - 92. Let a(h) = -9*h + 5. Let l be a(3). Which is smaller: l or n?
n
Let k(s) = -s**2 + 10*s - 17. Let y be k(8). Is 5/216 less than y?
False
Let f(r) = -5*r + 6. Let g be (-24)/(-36) + (-20)/(-6). Let b be f(g). Let q be (9 + b)/(0 + -1). Which is greater: 1 or q?
q
Let a = 1 - 1. Let x = -153.36 + 103.4. Let y = x + 50. Which is greater: y or a?
y
Let p = 16.9 + -27.9. Is p < -0.1?
True
Suppose 0 = -2*h + 4*z - 14, 0*h + 13 = 2*h + 5*z. Let b = -53/14256 - -5/176. Do b and h have different values?
True
Let l be (-5957)/(-1998) - (4/1 - 1). Suppose -3*s = 6 - 3. Are l and s nonequal?
True
Let m be -4 + (-3)/(-3) + 6. Suppose 5*h + m - 3 = 0. Which is bigger: h or -1/12?
h
Let w = 484.08 - 472. Let j = -0.08 + w. Is j less than or equal to 1?
False
Suppose 2 = i + o, -43*i = -44*i + o. Let t be