e
Let h be 3*(2/(-6))/(5/5). Let v = 106/19 + -8605/1539. Which is bigger: v or h?
v
Suppose 3*d - 51 = -2*f, 4*f = 77*d - 80*d + 63. Let w = -1 + 19. Which is smaller: d or w?
d
Let a = -94 - -38. Let c be ((-12)/a)/(1/(-4)). Suppose 5*f + 5*v - 25 = 0, -3*f - 21*v + 26*v = 1. Which is smaller: f or c?
c
Suppose 2*g - l = 52, -g - 2*g = -4*l - 83. Suppose 0 = -3*y - 0*y - 15, 0 = -3*v - 5*y - g. Suppose -52 = -5*t - 17. Is v less than t?
True
Let m = 991 - 991. Which is smaller: 846 or m?
m
Suppose -8*z + 3*z = -f + 21, -52 = -4*f + 4*z. Let n be (-14 - (4 - f)) + 4. Which is greater: n or -33/20?
-33/20
Let p be (-3)/9*(26 + -29). Is -923 at most p?
True
Let g = 107795 - 1833051/17. Are g and -31 equal?
False
Let g = 393.8 - 394.02. Is g >= -39?
True
Let l = 1194 - 389. Let y = l - 793. Which is smaller: y or 98/9?
98/9
Let k be ((12/15)/(-1))/(2/(-5)). Let a be (9/2)/(18/120). Let w be 6/(-15)*a/(-16). Which is bigger: w or k?
k
Suppose -a + 7*a + 336 = 0. Let i be 35794/(-84630) - 24/a. Let q = 1/195 + i. Which is smaller: -1 or q?
-1
Let i = -102308 - -2353086/23. Let m(o) = -o**2 + 4*o + 1. Suppose 0 = 4*j - 5*j - 1, 5 = 2*s + 3*j. Let f be m(s). Is f not equal to i?
True
Let q(k) = 913*k - 10957. Let d be q(12). Let x = -4.755 + -0.045. Do x and d have different values?
True
Let o be 356/8*1*(4 - 152). Is -6586 at most o?
True
Let z = 69 + -345. Let g = z + 276. Let h = 10/37 - 103/518. Which is smaller: h or g?
g
Let h = -307 - 196. Let l = -500.5 - h. Which is bigger: -9 or l?
l
Let w(q) = -36 + 5*q + 12*q + 2*q - 15*q. Let i be w(9). Is i not equal to -3/7?
True
Let y = 2/160147 + 79112600/1441323. Let u = y - 4033/72. Which is smaller: u or 0?
u
Suppose 12813 - 4650 = -4*x + 3*j, x + 2*j = -2027. Let a = 26503/13 + x. Which is smaller: 1 or a?
1
Let c = 167 - 165. Suppose -5*q - 3*w + 16 = -6*w, 0 = -c*q + 5*w - 5. Are q and 1 nonequal?
True
Let t = 434 - 227. Let s = t + -207. Which is greater: 1/64 or s?
1/64
Let h = -116 + 149. Let f be 2/(-11) - 2*184/h. Suppose 26 = -2*j + 2*t, 3*j = j + t - 24. Is j greater than or equal to f?
True
Let f = -44 - -45. Let h = -4.6 + f. Let q = -3.5 - h. Which is smaller: q or -0.17?
-0.17
Suppose c - 182 = 8*c. Let f be (c/(-4))/(9/18). Let u be f/26 + -2 + 1. Which is smaller: -3 or u?
-3
Let p = -262 - -111. Let w be (3 - 2)/(1/((-2)/p)). Which is smaller: 1 or w?
w
Let q(z) = z**3 + 43*z**2 - 5*z - 284. Let d be q(-43). Let c(y) = -6*y**2 - 3*y - 2. Let t be c(3). Which is greater: t or d?
t
Let h = 6102.311 - 6102. Which is bigger: h or -1.9?
h
Let o(t) = -2*t**2 - 4*t - 2. Let b be o(-2). Let n(s) = 0 + 12 + 2*s + 13. Let d be n(-15). Which is bigger: b or d?
b
Suppose 48*t - 5*t + 2960 = 15258. Which is greater: -7 or t?
t
Let g(k) = -4*k + 79. Let c be g(20). Suppose -5*p - 3*w = 14, -4*p + 5*w + 11 = -0*w. Let s be p/5 + (c - 95/(-100)). Which is bigger: s or -32?
s
Let o(p) = p**3 - 52*p**2 - 66*p + 4214. Let a be o(54). Is a < 6480?
False
Let l be (-2)/(-9) - 399/(-27). Let s be (-6)/l + (-728)/(-20). Let n be (-6)/(-18)*(-2)/s. Is 1 smaller than n?
False
Let z = -186 - -24. Let h = 212 + z. Is h equal to 47?
False
Let q(g) = -3*g**2 + 3*g + 1. Let r be (8/(-6))/(2/108). Let x = r - -74. Let c be q(x). Is -5 < c?
False
Let m be 7/1 + 2 + (-599775)/66645. Which is bigger: m or -1?
m
Let c = -734 - -695.1. Let w = -43.9 - c. Which is smaller: w or -2/7?
w
Let g = 6522 - 6350. Is g smaller than -17?
False
Let w = 101915/3 - 33972. Let m = 4405/11 - 400. Is w less than m?
True
Let v = 22 - 52. Let d = v + 31. Let z = 53 + -52.86. Which is bigger: d or z?
d
Suppose 0 = 2*c + 8, -3*c + 3097 = 3*f - 1550. Suppose -42*d + 3737 - f = 0. Is d less than 54?
True
Let v = -159 - -150.7. Let w = v + 40.3. Let g = w + -39. Are 1 and g nonequal?
True
Let v be (((-22932)/(-104))/(156/44 - 3))/(-3). Is v at most as big as -136?
False
Let d = 513 - 508. Which is greater: d or 56/15?
d
Let b = -1247 + 717. Let j = -523 - b. Which is smaller: j or 3?
3
Let v(i) = -2*i**3 - 85*i**2 + 36*i - 59. Let d be v(-43). Which is smaller: 249 or d?
d
Let m = -554 + -51. Let u = m + 599. Is 0 < u?
False
Suppose -5*u + 59 = 2*l, u - 3 = l - 3*u. Let g = l + 41. Let a = g - 60. Is a bigger than -7/10?
False
Let h be ((-344)/(-260))/((-1)/(-5)). Let o = h - 654/91. Is 1/8 bigger than o?
True
Suppose -4*n - 135 = 5*c, 26*c + 5*n - 149 = 30*c. Is c greater than -6.1?
False
Let x = -57 + -223. Let s = 286 + x. Is s less than or equal to -6?
False
Let t be 370/930 + 65/(-15) + 4. Suppose 5*u = -15, 4*y + 4 = 4*u - 8*u. Suppose -d + 2 + 0 = -5*s, -y*s = -5*d + 10. Is s less than or equal to t?
True
Let f be (-12)/4 + (69 + -1)/(-2). Let g = f + 59. Is g <= 22?
True
Let t = -31572 - -34029. Is t >= 2457?
True
Let z = -18564 - -19322. Which is greater: 3033/4 or z?
3033/4
Let a = -0.46 - 16.54. Let t = a - -17.116. Let x = -0.016 + t. Is x > -27?
True
Let p = 33 - 100/3. Let m = 45.28 + -91.28. Is p smaller than m?
False
Let a = -0.02 - 0.006. Let j = a + -24.774. Is j bigger than 1?
False
Let b = -301.12 + 3.12. Let k = b - -277. Are k and 5 equal?
False
Let b be -2*((-1143)/162 + 7). Let d(j) be the third derivative of -j**4/24 + 5*j**2. Let a be d(-4). Which is smaller: a or b?
b
Let j be 76/6*9/3. Let a be (-1341)/16*(-1424)/3204. Which is bigger: a or j?
j
Let q = 42862 - 44539. Which is smaller: -1676 or q?
q
Suppose -10*b + 316 = -254. Suppose 4*u - 5*j - 73 = -0*j, -3*j - b = -3*u. Is 19 < u?
True
Suppose r = -4*r. Suppose -28*d + 32*d = r. Let k = 831 + -51521/62. Which is smaller: d or k?
d
Let q be (62/(-5735))/((-1)/5). Let l = q + -43/111. Which is smaller: -420 or l?
-420
Suppose 0*k + 96 = 6*k. Let w be -2 + (k/(-19) - (-2 + 0)). Which is greater: w or -1?
w
Let h = 307 + -45. Let j = 242 - h. Suppose 0 = -2*w - 28 - 12. Do j and w have the same value?
True
Let l = 379 + -383. Let m = 8259/13 + -635. Are l and m unequal?
True
Let g = -10/4133 - 78467/24798. Let z(s) = s - 12. Let k be z(9). Which is bigger: k or g?
k
Let y = 1300 - 1380. Let b(q) = -4*q + 1. Let k be b(-2). Suppose -316 = k*d - 5*d. Which is smaller: d or y?
y
Suppose 4*k - o - 2845 = 0, 4*k + 2*o - 1169 - 1673 = 0. Suppose 2*i - 950 = -4*d, 67*d + k = 70*d + i. Which is smaller: 235 or d?
235
Let o = -23626 + 23522. Which is smaller: -0.66 or o?
o
Let k = 306 - 306. Suppose -3*y = 3*r - k*r - 417, -3*y + r + 429 = 0. Which is smaller: 565/4 or y?
565/4
Let n = -9396/283 - -2/1415. Does n = -34?
False
Let o be 25333/44 + -2 + 5/4. Let k = -952 + o. Is k at most as big as -377?
True
Let b be (0 - -8) + -5 - (-1 - -3). Suppose -b = -3*o + 14, -s = -2*o + 11. Is 1.4 > s?
True
Let y be 2/(-11) + (-95885)/(-524645). Let v = 13659947/104929 - y. Let j = v + -130. Which is smaller: 2 or j?
j
Let r be (-250)/(-4) - (-30)/20. Suppose -r + 34 = -3*g. Is g <= 19/2?
False
Let h be -1586*5/1360 + -5. Let u = -148/17 - h. Is -2/9 less than u?
True
Suppose 3*q + 16 = 2*o - 0*q, -4*q = 4*o - 52. Suppose -111 = -o*z + 10*z. Let m = 109 - z. Which is greater: m or 1?
1
Let n be ((-24471)/3060 - -8)/(-2*16/(-30)). Do 1 and n have different values?
True
Let s be (((-8252)/48)/((-19)/(-304)))/((-2)/(-3)). Is s at most as big as -4127?
False
Suppose v = -5*v + 6. Let o be ((-5)/(-3))/(((-180)/(-8))/(-5)). Is v bigger than o?
True
Suppose 0 = 2*v + 3*w - 16, 0*v - w = 5*v - 27. Let n be ((65/(-1053))/v)/(2/3). Is n less than or equal to 0?
True
Let o = 657.07 + -651. Let b = 5.8 - o. Let l = b - -2.27. Is 0.2 equal to l?
False
Let g be 10/12815*264/(-176). Which is bigger: g or 1?
1
Suppose 49*a + 25*a - 17187 - 52595 = 0. Which is bigger: a or 945?
945
Let z be (-2)/(-9) + 140/18. Let n(m) = 56*m + 59. Let j be n(-1). Which is greater: z or j?
z
Suppose 70477 - 314777 - 366203 = -197*a. Is 3099 at least as big as a?
True
Let s = -16160 - -371674/23. Does s = -3.6?
False
Suppose -24*t + 29*t + 20 = -4*u, 4*t + 5*u + 25 = 0. Let x = 21.1 - -3.9. Let d = x - 42. Is t at least as big as d?
True
Let j be (6/8)/(-5 + 82/16). Suppose -4*i + d + 997 = j*d, 2*d + 962 = 4*i. Let l = i + -1696/7. Is l at most 2?
True
Suppose 3800 = -42*n + 32*n. Let l = n - -362. Which is greater: l or -17?
-17
Suppose 5*b = 3*q + 72, -21*q + 25*q = b - 28. Suppose -7 = n - b. Is n at most