((-68)/119). Which is smaller: d or 0?
0
Suppose 5*m - 806 = 564. Let x = m + -237. Which is smaller: x or 35?
35
Let w(b) = 16*b**3 + 9*b**2 + 68*b - 321. Let g be w(4). Which is greater: 1122 or g?
1122
Suppose 0 = -17*t + 518 + 1097. Suppose -2*f = -5*r + 152 + 297, -258 = -3*r + 5*f. Suppose -r*m = -t*m. Which is bigger: m or -9/8?
m
Let m = -1169 + 107547/92. Let i = 29/23 + m. Is 0 >= i?
False
Suppose -4*j - 1828 = k - 6*j, -5*j = 4*k + 7390. Which is smaller: -1842 or k?
-1842
Let s = 1009 + -1012. Is s equal to -9?
False
Let p = 1 + -22. Let x be (30/24)/(-5) + 162/8. Let m = x + p. Which is greater: m or 10/33?
10/33
Let c be -15*((-20)/(-6))/1. Let t be (32 - 27)/((-35)/350). Is c greater than or equal to t?
True
Let f = 2078/21 + -2418799/24444. Which is greater: -1 or f?
f
Let g = -11391/7 + 1638. Is 11 <= g?
False
Suppose 4*g + 4*w + 45 = g, -4*g - 61 = 5*w. Let j = g + 13. Suppose 2*l + 6 - 1 = -3*h, -5*l + h - 38 = 0. Which is bigger: j or l?
j
Let b = 301374 + -37973785/126. Let s = b + 116/21. Let o be 2*(-2)/(-4)*(-26 + 25). Is o less than s?
True
Let h = 801 + 311. Let l = -1728 + h. Which is bigger: -617 or l?
l
Let y = -2257 - -194099/86. Suppose -24 = 90*i - 96*i. Suppose -i*o + 12 = 0, 0 = 4*w + o - 4 + 1. Which is smaller: w or y?
y
Let x(t) = t**2 - 5*t + 5. Let p be x(5). Let q be (-28)/((-35)/p) - 7. Is q bigger than -12/7?
False
Let t be (-10 + 15)*1*(12 - 1). Let r = -15.8 - -15.7. Is t smaller than r?
False
Let z(n) = n**2 + 23*n + 174. Let g be z(-12). Suppose 6*u = f + 10*u + g, -3*f - 126 = 4*u. Which is bigger: -36 or f?
-36
Let b be 22/8 + (2 - 4). Let k(n) be the first derivative of -5*n**4/4 + 11*n**3/3 - 3*n**2/2 + 4*n + 93. Let m be k(2). Is b >= m?
False
Suppose 7*g - 793 + 4104 = 0. Let b = g - -472. Are b and 2/1639 equal?
False
Let t be (-6)/6 - -2 - -181. Suppose -5*p = -3*b - t, p + 4 = 3*b + 50. Which is bigger: 65/2 or p?
p
Let q = 1352/23645 + 17861331/2813755. Let c = q + -3/595. Is 7 <= c?
False
Suppose -4*u - 5*i = -433, 4*u = 5*i + 319 + 104. Let t(r) = -r + 2. Let w be t(3). Which is smaller: u or w?
w
Let r be ((-1915)/(-10))/(9/(-108)). Which is smaller: r or -2305?
-2305
Suppose v + 5*z = 5006, 3*v - 8*z - 14976 = -9*z. Does 4991 = v?
True
Let r(g) = 10*g**2 - 3*g + 9. Let n be (40/15 - 3)/((-1)/12). Let a be r(n). Which is bigger: a or 158?
158
Suppose 2*p + 131 = 515. Suppose -7*a + 136 = p. Suppose 0*w = 2*v + 5*w + 35, 15 = v - 4*w. Which is greater: a or v?
v
Let w(q) = -13*q**2 - 1051*q + 183. Let o be w(-81). Are 578/27 and o nonequal?
True
Let j be 194/(-532) + 8/28. Let n = -15892/19 + 836. Let d = n + j. Which is smaller: d or -1?
-1
Let z(w) = -w**2 - w + 1. Let r be (0 + 0)*2/(-4). Let u be z(r). Is u at least 1/14?
True
Suppose 41*q = 115*q + 43216. Do q and -590 have the same value?
False
Let f be (-2)/120*-2612 - 20/15. Which is smaller: f or 43?
f
Suppose -46*a = -42*a - 32, 0 = -q + 2*a + 95. Is q < -4.7?
False
Let j = 17552 + 13033. Are j and 30585 non-equal?
False
Let a = 700967992501123735/5635446 + -248771079521/2. Let b = 8/3093 + a. Let v = b - -3694/22775. Which is smaller: v or 0?
0
Suppose 3*y = 6*y + 9. Let h(x) = x**2 + 3*x - 5. Let b = -82 - -84. Let q be h(b). Is q greater than y?
True
Let l(a) = -a**3 - 13*a**2 + 51*a + 511. Let w be l(-14). Do 0.0653 and w have different values?
True
Let o be -138 - ((1 - -4) + -3). Suppose 15*s = 7*s - 1112. Which is smaller: o or s?
o
Let s = 1326 + -1087. Let k = s + -239. Let l = -1.3 + 0.3. Which is smaller: l or k?
l
Let u(o) = o**3 + 6*o**2 + 67*o - 8. Let g be u(-9). Is g smaller than -854?
False
Suppose 112*a - 144*a + 2528 = -111*a. Let o be (-3)/(-6) - (-67)/(-2). Which is smaller: a or o?
o
Let x = 5.41047 - 0.10047. Which is bigger: 4 or x?
x
Let k = -126.13434 + 0.22434. Let a = 0.09 - k. Let f = -126 + a. Is -16 less than f?
True
Suppose 518*v - 3264 = 552*v. Is -104 less than v?
True
Let n be (-24)/(-6)*2/7*(-7)/(-4). Let f be (-1 + 2)*1 - 7. Let d be -2*(-9)/f + 6. Do n and d have the same value?
False
Let b = 5572 - 5571.932. Let o = -0.83 + 1.898. Let h = o - b. Which is smaller: h or -23?
-23
Let q(v) = -62*v**2 + 51*v - 231. Let p be q(9). Which is smaller: -4793 or p?
p
Let z(f) = -28*f**2 - 14*f + 24. Let w be z(3). Let y be (-4 - w/65)*6 - 1. Which is greater: y or 0?
0
Suppose 0 = 3*x + 38*o - 34*o + 1099, -4*x - 4*o - 1468 = 0. Is x >= 18?
False
Let t(m) be the first derivative of -m**4/2 + 4*m**3/3 + 3*m**2/2 - 3*m + 10. Let i be t(-2). Let w be (-12)/90 + i/(-15). Which is bigger: -1/5 or w?
-1/5
Suppose 4*l = -23*n + 18*n - 7052, -3526 = 2*l - 4*n. Is l less than -1763?
False
Suppose 0 = 7*u - 2*u. Let f = 532351/3930657 + -80/1371. Let o = 6/61 - f. Is u bigger than o?
False
Let l = -1899 - -1880. Which is bigger: -42 or l?
l
Let a be (7/10)/((-1)/4). Let n = -3.71 - 18.29. Let z = 22 + n. Which is greater: a or z?
z
Let p be (-37 + 17)*7494/75. Let y = p + 1983. Which is bigger: y or -15?
-15
Suppose 0 = -539*y - 191114 - 698775. Which is greater: y or 3?
3
Let g = -60 - -59. Let b = -0.1058 + -0.0772. Which is bigger: g or b?
b
Let s = -186566484/2633 + 70857. Is s smaller than 0?
True
Let d = -3 + 3. Let y = 15 + 0. Let a = y + -11. Do d and a have different values?
True
Suppose 135*p + 1746 - 7505 = 2341. Is 319 < p?
False
Let b be 33/(-44) + (-3)/(-4). Let y be (b - 1)/((-2)/42). Suppose -10*u = -y*u + 561. Which is smaller: u or 52?
u
Let r(k) = -3*k**2 + 3*k - 53. Let f(y) = -4*y**2 + 4*y - 80. Let c(w) = 5*f(w) - 7*r(w). Let x be c(6). Is x less than or equal to -10/27?
False
Let g(r) = 113*r + 3280. Let j be g(-27). Let t(u) = -47*u - 5. Let i be t(-5). Which is smaller: j or i?
j
Suppose 0 = 3*b - 2*p + 14, 2*b - 3*p + 9 = -b. Let z be (b/(-12))/(2/5). Let v = 0.153 - 0.253. Which is smaller: z or v?
v
Let d be 772/7 - 4/14. Let u be 1 + -4 + 26461/235. Let n = d - u. Is -10 less than n?
True
Let r(l) = -l + 35. Let v be r(7). Let t = 75 + -46. Let o = 56 - t. Is o at least v?
False
Let w = -3716/25305 - 4/723. Which is greater: 0 or w?
0
Suppose 0*x - 4*x + 216 = -t, -4*t = 5*x - 291. Suppose -3*q + 44 = -m, -5*q + 6*m - 8*m + x = 0. Which is smaller: q or 86/7?
86/7
Let m be (-3)/(-57)*63981 - (-96)/912. Let f = m + -3369. Which is smaller: f or 0?
f
Let a = -11605/351654 - -8/1363. Which is bigger: a or 0?
0
Let n = 16.236 + 27.764. Let h be 7/(-7)*1/1. Is h >= n?
False
Let b(s) = s**2 - 10*s. Let c be b(10). Let j = 4 + c. Suppose r - 2*w = 2 - 3, -5*w + j = -4*r. Which is smaller: r or -2?
-2
Let l be 3/5922*(-502)/(-3). Let x be -4 - ((-2540)/315 - -4). Let i = l - x. Which is smaller: 0 or i?
0
Let n be -13 + 4952/240 - (-1 - -8). Is 1 at most as big as n?
False
Let w be 153924/(-312) - (-18)/(-117). Is -494 equal to w?
False
Let s = 0.439 + -0.47. Let t = -0.331 - s. Let r = t + -2.7. Which is bigger: r or 0.03?
0.03
Let o(p) = -p**3 + 9*p**2 - 20*p + 102. Let n be o(8). Let w be 42 + (n - 0) + -2. Are w and 48 nonequal?
True
Let j(d) = 263*d**2 - 264*d**2 - 9*d - 2*d + 1. Let n be j(-11). Suppose 3*q = -q - 24. Is n > q?
True
Suppose -101*x - 46*x + 4714878 = 0. Which is smaller: 32075 or x?
x
Let m = 23 - 22.8. Suppose 4*g = -9*v + 13*v + 388, -3*g + 299 = v. Is g <= m?
False
Suppose -44*x + 32*x + 18*x + 66 = 0. Is x at least -642/59?
False
Let l(i) = 5*i**2 + 185*i - 1050. Let m be l(-42). Is m <= 16252?
True
Let d(j) = j**2 - 18*j + 30. Let r be d(14). Let c = -26 - r. Suppose c*t - 9*t = 9. Does 4/25 = t?
False
Let z = -3.7 + 0.7. Let g = 3.1 + z. Suppose 0 = 42*s + 328601 - 327467. Which is smaller: g or s?
s
Suppose -5*a + 5*f = -10, 3*a + 4*f - f + 24 = 0. Let n = 15 + -4. Suppose -2*p - 2*h + 2 = 0, -3*h + 20 + n = -4*p. Which is smaller: p or a?
p
Suppose 3*r = 5*f + 12, -4*r + 21 + 12 = -f. Which is smaller: 74/9 or r?
74/9
Let w be 24*36/(-532) - (-5 - -2). Let z = -1/19 - w. Let k = z - -36/35. Is k at most as big as -1?
False
Let s = -1623.7 + 1609.7. Which is greater: -49 or s?
s
Let f be 0*(-2 + 2 + 1). Suppose -3*h + 0 + 24 = f. Suppose -h*i = -5*i. Is 2/17 less than i?
False
Suppose -322 = -44*g + 74. Let x = g + -169/21. Do 0 and x have the same value?
False
Let q = 509 - 507. Which is greater: 62 or q?
62
Let j be 8/(-474)*(-121932)/(-288) + 7. Which 