o + -652. Which is smaller: 210/13 or l?
210/13
Let n(a) = 7*a + 104. Let l be n(-14). Let w = 1673/3 + -553. Which is smaller: l or w?
w
Suppose 2*s - 1 = 5*b + 98, -b - 282 = -5*s. Let d = 7943 + -7894. Which is bigger: s or d?
s
Let p = 1741.97 + -1773. Let u = p - -31. Let s = -70.03 - u. Which is bigger: -1/2 or s?
-1/2
Let q = 5441 + -5190. Are 254 and q unequal?
True
Let l be -1*(-2 - -2 - -5). Let i = l - -5. Suppose -13*m + 68 - 79 = 93. Which is smaller: m or i?
m
Let w = 508 + -314. Let r = -322 + 517. Which is greater: r or w?
r
Let b = -13938 + 13945.81. Is 3/2 not equal to b?
True
Let n be -13 - ((-5)/(-5))/(1/2). Let w be 4/3 + 5/n. Let a be (w - 87/5)/(88/(-110)). Is a <= 22?
True
Let k be (0/5)/((-2)/(-1)). Let z be k/3 + 0 - -1. Which is smaller: z or 2/2487?
2/2487
Let p = -13 + -20. Let k be -12 + 4*51/(-12). Which is smaller: k or p?
p
Suppose 2*n - 7*n - 266 = j, 3*j + 4*n + 776 = 0. Let k = -244 - j. Which is bigger: 14 or k?
14
Let a = -6584 + 7042. Do a and -3 have the same value?
False
Suppose 2*p = 2*r - 22, -7*r = 4*p - 4*r + 9. Let m be 4*(33/(-4) - p). Which is greater: -39/4 or m?
m
Let p be (4 - 3)*-1*(-1)/(-167). Let h(o) = o**2 + 2*o - 3. Let z be h(1). Are z and p nonequal?
True
Let i = -84.42 - -79.42. Which is bigger: 10 or i?
10
Suppose 5*l + 281 - 1125 = k, l = -5*k - 4168. Let v = k - -5828/7. Which is bigger: v or -2?
v
Suppose 0 = 249*i - 259*i + 280. Let y be i/((-1520)/96*(-6)/10). Which is bigger: 2 or y?
y
Let a(s) = -3*s**2 + 22*s - 239. Let b be a(0). Is b >= -240?
True
Let y(h) = h - 13. Let c be y(5). Let k = -29 - c. Are k and -19 non-equal?
True
Let d = 291 - 605. Let t = 213 + d. Which is smaller: -99 or t?
t
Suppose 0 = -2*w - 2*g + 3426 - 1024, 0 = w - 5*g - 1183. Is 1198 smaller than w?
False
Let z = 5 + -10. Let m = -428 + 417. Is z > m?
True
Let w be -2 + (-19)/9 + 1. Let m = 6520 + -6522. Which is smaller: m or w?
w
Let f be (-4 - 35/(-10))*-12. Let y be f/764*(5 + (-88)/24). Let j(t) = -3*t - 42. Let o be j(-14). Which is bigger: o or y?
y
Let d(r) = -2*r**3 + 6*r**2 + 31*r - 53. Let b be d(5). Is 20/21 at most as big as b?
True
Suppose -126 = -4*k + k - 5*u, 4*k - 4*u = 168. Let p be 7/k*((-2)/4 - -2). Is p <= 22/53?
True
Let q = -8.08 - 48.82. Let y = 52 + -109. Let c = y - q. Which is smaller: c or -2.3?
-2.3
Let h = 29.1539 - 1.0669. Let x = 0.087 - h. Let q = -28.25 - x. Is -1 at least as big as q?
False
Suppose -3*h = 2*r - 14, -275*h + 279*h = 2*r + 14. Is r equal to -10/223?
False
Let x = 554 + -553.169. Let c = x - 0.585. Which is bigger: -0.1 or c?
c
Let v = -77/102 - -3/34. Let j(n) = 20*n**2 - 6*n + 28. Let b be j(3). Let k = -191 + b. Is v <= k?
False
Let s = -85 - -196. Let r = 474.4 + -410. Let q = 64.5 - r. Which is bigger: s or q?
s
Suppose 3*w = 4*c + 258, -5*c + 3*w = 283 + 38. Let x = 4026 - 4090. Which is greater: c or x?
c
Let o = -8452 - -8451.865. Is 11 at least o?
True
Suppose -3*j = 4*g + 166, -23*g + 260 = -28*g + 5*j. Is -38 less than g?
False
Let a = 795.5 + -792.5. Which is smaller: -2/159 or a?
-2/159
Let g = 388 - 52. Let q = g + -13439/40. Suppose 22*j + 120*j = 0. Which is bigger: j or q?
q
Let x = 395 - 409. Let r be -1 - 106 - 6*7/x. Which is smaller: -102 or r?
r
Suppose -l = 2*j + 4, l - 4*j = 5*l + 8. Which is bigger: l or -4/195?
l
Let k be ((0 - 1) + 22)/((-137)/(-274)). Suppose k*d = 47*d. Does d = -2/701?
False
Let q be (-10)/105 + ((-53845)/(-562947))/1. Which is bigger: 1 or q?
1
Let l = -459/35 + 96/7. Let f = 1083 + -9737/9. Which is bigger: f or l?
f
Let o(n) = 16*n**2 - 22*n + 30. Let t(k) = -7*k**2 + 10*k - 15. Let x(b) = 4*o(b) + 9*t(b). Let y be x(-5). Which is greater: -2/99 or y?
y
Suppose -5*a + 50 = -6*a. Is a greater than -44?
False
Suppose 3*f = 2*g + 2*f + 217, -3*g - 318 = -4*f. Let l be (-4)/2*(-10)/g. Suppose i = 5*q - 19, q = -i + 4*q - 11. Which is greater: l or i?
i
Let y = 515.9 - 512.9. Which is greater: -0.4 or y?
y
Let i = 8175/90046 + 1/8186. Which is smaller: i or -22/3?
-22/3
Let z = -74 + 79. Suppose 10*y = z*y + 140. Are 27 and y nonequal?
True
Let f = -57/7 - -461/42. Do f and 1 have the same value?
False
Let v = 22505 - 22358. Which is smaller: v or 1035/7?
v
Suppose u + 3090 = 2*v, -31*u + 15398 = -36*u - 3*v. Do u and -3081 have the same value?
False
Let l be (-2)/(-10)*5/(-3)*(-450)/(-12). Let q(a) = -4*a + 4. Suppose -5*k + 3*k + 8 = 0. Let s be q(k). Which is smaller: l or s?
l
Let j = 14519 + -14520. Which is smaller: -7/745 or j?
j
Let j = 211 + -107. Let d = j + -45. Let f = d - 22. Are 37 and f equal?
True
Let i be 1024/612 + (-22)/187. Let n be 4 - (-3)/9*-21. Let o be -3 + (n - (-11)/2). Which is bigger: o or i?
i
Let r = 1556 - 61. Let h = -1496.081 + r. Let w = h + 0.081. Which is bigger: -20 or w?
w
Suppose 46*d + n - 3114 = 47*d, d - 3*n + 3118 = 0. Do -3112 and d have different values?
False
Let k(f) = -14*f - 247. Let a be k(-32). Let n = a + -166. Suppose g - 12 = -2*g, 2*g - 82 = -2*s. Which is bigger: n or s?
s
Let q be ((-12)/14)/(5 - (-249)/(-42)). Let o = 11/26 - q. Is -1 at most o?
True
Let r(n) = 20*n + 1008. Let o be r(-43). Which is bigger: 139 or o?
o
Suppose 41*m + 798 = 55*m. Suppose m*d - 39*d + 126 = 0. Do d and -13 have the same value?
False
Let k = 1106 + -1121. Let s(p) = -p + 7. Suppose 27 = 2*j + j. Let i be s(j). Which is bigger: k or i?
i
Let r be 322/35 + -1 - (-2)/(-10). Suppose 0 = 2*m, w - r*m + 10*m - 162 = 0. Which is smaller: 163 or w?
w
Let z = -38 - 1. Let m be -114*(-8 - -10)*1/(-3). Let y be (27/(-18))/(3/m). Is z at least as big as y?
False
Let z(k) = 2*k**2 + 66*k + 150. Let x be z(-12). Does x = -2.5?
False
Suppose -6*t + t = 11*t. Let y be (219 - (0 - t))*140/(-84). Do y and -366 have the same value?
False
Let z = -174 + 836/5. Let a = 37/5 + z. Let n = 75.7 + -76. Is n != a?
True
Let x be -5 + 874896/72888 + -7 + 0. Which is smaller: x or 0?
0
Suppose 3*l - s - 22 = 0, -3*l + 0*s = s - 26. Suppose 5*c - 10*v + l*v = 802, 3*c - 4*v = 484. Which is smaller: 161 or c?
c
Let q(l) = l**3 + 36*l**2 + 34*l - 29. Let s be q(-35). Suppose j = j + s*j. Is -50 at least j?
False
Suppose -56*g = -3*y - 51*g - 2940, -4*y = -4*g + 3936. Is -988 != y?
True
Let y = -0.7 - -2.6. Let w = y + -2. Let c = -4463 - -4531. Is w equal to c?
False
Suppose 13*l + 114 = -81. Let w(o) be the second derivative of -o**4/6 + o**3/3 - o**2/2 - 4*o. Let d be w(-2). Do l and d have the same value?
False
Let s be 6 - ((-5 - -2) + 121/55 - -4). Is s greater than or equal to 97?
False
Let u = 643 - 644. Does u = -2/4071?
False
Let b = -22501.05 + 22501. Let d = 3 + -3. Let g be -2 + d/(-1) - -1. Which is bigger: b or g?
b
Let s = -135 - -133. Let q = -25571/11 + 2323. Let l = q + 97/66. Is l equal to s?
False
Let z be (-2)/(2 + 0)*(-36)/(-36). Do z and -3/5041 have the same value?
False
Let c be 1/2*(11 - 3). Let i be (434/105 - c) + 17/210. Suppose 2*n - 6*n - 5 = 3*z, z + 5*n = -9. Which is smaller: z or i?
i
Let d be (2 + (-30)/12)/((-5)/90). Suppose 12*a - 69 = d*a. Which is smaller: a or 14?
14
Let q = 15 + -2. Let g(w) = 53*w**2 + 13*w + 39. Let b be g(-3). Let y = b - 471. Which is greater: y or q?
q
Let c be (286/(-3))/((-145)/174*(-12)/(-15)). Is 17 bigger than c?
False
Let c be 4*((-14)/(-42))/((-2)/(-3)). Suppose -g - 5 = 0, c*g + 310 = -4*s + s. Which is smaller: -101 or s?
-101
Let d = 60 - 41. Let o = -46.79 - -0.79. Let i = -46.1 - o. Which is greater: d or i?
d
Let r = 4 + -2. Suppose -5*a = -3*a + r*a. Is -3/38 > a?
False
Let h = 635272880/16899 + -4478936/131. Let y = 3402 - h. Let l = 444 - 443. Is y not equal to l?
True
Suppose -4*r = 0, 21*a - 20*a = 3*r - 786. Do -0.3 and a have different values?
True
Let n = -26.15 + 27.4. Let k = 10.75 + n. Which is smaller: k or 1/5?
1/5
Let u = 229561/3 - 537161/7. Let b be 7361/34 + (-1)/(-2). Let i = b + u. Which is smaller: i or 2/3?
i
Let a be (-1)/(-5) + ((-88524)/(-15))/12. Suppose -a = -13*d + 249. Is 56 not equal to d?
True
Let w(l) = l - 1. Let j be w(10). Let f = -65/376 + 3919/376. Which is greater: j or f?
f
Let i = 443/418 + -179/76. Which is smaller: i or -2?
-2
Let m = -214 - -218. Suppose m*w - 108 = -0*w. Which is bigger: w or 24?
w
Suppose -12001 + 12153 = -4*u. Is -49 greater than or equal to u?
False
Suppose 4