-54 or t?
-54
Let d = 285/91 + -22/7. Let m = d + 2/13. Let v = m + -10/7. Which is smaller: -2 or v?
-2
Let z = -3821 - -3827. Let p = 5 - 11. Let j = p + 11. Which is smaller: z or j?
j
Let h = -8814 + 35257/4. Which is smaller: h or 911?
h
Suppose -2*w - 24*b = -21*b + 1683, 0 = -4*w + 2*b - 3342. Is w not equal to -2?
True
Suppose 0 = -5*j - 259 + 54. Let g = 12 + j. Let p be -1 - (g/4)/((-279)/(-36)). Is 0 less than or equal to p?
False
Let c(l) = 32*l + 20*l - 65*l + 29*l + 30 + l**2. Let f be c(-12). Is -182/11 > f?
True
Let r be (-1)/(3/(-15)) - 49290/1767. Which is greater: r or -22?
-22
Let k = -1349 - -1317. Suppose 0 = -g + 1, 5*g + 230 = 2*p + 1. Let n be (-28)/(-45) + (-26)/p. Is n bigger than k?
True
Let d = -178 - -93. Let i = d - -83.39. Which is greater: -0.2 or i?
-0.2
Suppose 0 = 18*i + 331 - 349. Which is smaller: i or 91/125?
91/125
Let x(z) = z**2 + z. Let u be x(0). Suppose 0 = j + 4*f - 200, 4*j + 8*f = 6*f + 744. Let t = j + -10669/58. Which is smaller: u or t?
u
Let b(y) = -3*y**3 + 39*y**2 + 9*y - 117. Let s be b(13). Which is bigger: s or 12/313?
12/313
Let v(b) = -144*b + 6992. Let t be v(47). Which is bigger: 238 or t?
238
Let l = -0.6 - -0.8. Let z = 19 + -37. Let t = z - -16. Is t at least l?
False
Let k = -29691 - -32390. Is 2702 at least k?
True
Let z(h) = -h**3 - 9*h**2 + 14*h + 39. Let n be z(-10). Let r be n*8/28 + (-309)/(-714). Which is smaller: 0 or r?
0
Let l(t) = t**3 + 8*t**2 + t - 15. Let p be l(-8). Let x = -27 - p. Let r be (-122)/280 + x/(-14). Is r less than or equal to 1?
True
Let j = 2/151 + 276/1963. Let u = -32 + 32. Suppose -w + 8*w - 7 = u. Which is smaller: w or j?
j
Let l = 98059 + -913223465/9313. Let c = 18324/1406263 + l. Let b = -175/1812 + c. Which is smaller: b or 0?
b
Let p = -8.8 - -8.9. Is p greater than -74/51?
True
Let z(w) = w**3 - 3*w**2 + 10*w - 6. Let l be z(4). Suppose -l = 5*c - 15*c. Let m = 0 + c. Are 17/3 and m equal?
False
Suppose -103 = -4*b - 7. Let m(z) = z**3 + z**2 + 31. Let n be m(0). Let l = b - n. Is l greater than or equal to -1/6?
False
Let l = 14239/112 + -1775/14. Are -1 and l nonequal?
True
Let b be (-59683)/52 - 81/(-72)*-2. Which is bigger: b or -1142?
-1142
Suppose 12*o - 931 - 161 = 0. Is 88 at least as big as o?
False
Let y be (-110)/294 + (-1)/(-3). Let b(g) be the second derivative of -7*g**3 + 168*g**2 + 378*g. Let q be b(8). Is y bigger than q?
False
Let u = -9 + 29. Suppose 3*p - 30 = 4*t - 7, -4*t = u. Is -0.14 at least p?
False
Suppose 2*d - 152 = -136. Let p be 4/d*-22*(-3 - -26). Which is greater: -252 or p?
-252
Suppose 23*z + 25 = 28*z. Let j(f) = f**2 + 14*f - 9. Let i = 29 + -44. Let h be j(i). Which is greater: h or z?
h
Let l = -10261950210610850/294749 - -34815894916. Let k = l + -2/3731. Which is greater: k or 0?
0
Let r be 21/((-3)/(-1)) - 0. Suppose -6*z + 12 = -r*z + 2*s, 0 = -3*z - 3*s. Let g = 0.02 - -2.98. Are g and z nonequal?
True
Let k(h) = -767*h + 6842. Let n be k(20). Is -8497 less than or equal to n?
False
Let z(c) = 1 - 4*c - 35*c**3 + 17*c + 9*c**2 + 33*c**3. Let v be z(6). Which is smaller: -19 or v?
v
Let r be ((-18)/(-24) - 221/300)*6*-1. Which is bigger: r or 0.106?
0.106
Suppose -n = 2*f - 18, 0*f - 5*f = -n - 45. Suppose 0 = -5*y + i - f, -i - 7 = 3*y. Let t be y - -4 - (-4)/((-8)/18). Which is smaller: -17/3 or t?
t
Suppose -5*k - 12475 = -985. Let o be 3*-1*1*k/81. Let v = -78916/927 + o. Which is bigger: 0 or v?
0
Let r = -175509 + 175480. Suppose 3*m + 67 = -4*k, 3*k = -4*m + k - 106. Is r bigger than m?
False
Suppose 21*o = -50*o + 7*o - 323840. Is -5057 > o?
True
Let s(g) = 314*g + 1883. Let n be s(-6). Is n at most as big as -29/52?
True
Let j(q) = -14*q**3 + 166*q**2 + 27*q - 36. Let a be j(12). Let s = -10.15 - -10. Is s bigger than a?
False
Let c = 98.872 + 0.128. Let z = -99 + c. Which is smaller: -8/19 or z?
-8/19
Let y = -25.74 + 26. Let p = -1.74 - y. Is p <= -28/5?
False
Let v(u) = 166*u + 10573. Let i be v(-65). Which is smaller: -0.016 or i?
i
Let p = -130 + 130. Suppose l + p*l - 21 = -2*i, -5*i = 4*l - 54. Suppose 0 = 4*f + 3*r - 72, -i + 100 = 5*f - 3*r. Do 16 and f have different values?
True
Let a = 5/6 - 1381/1686. Let t(d) = -d**3 + 25*d**2 + 25*d + 27. Let g be t(26). Is g not equal to a?
True
Let f = -2736 + 3414. Which is smaller: f or 681?
f
Let g = 65.13 + -68.1. Let t = 1.63 - g. Are t and -0.2 nonequal?
True
Suppose -4*s + 5*y = 1420, 684 = -s - s - 4*y. Let u be 11938/(-34) + 60/510 - 11/(-11). Is s equal to u?
True
Let x = -162898 + 1464418/9. Which is greater: -184 or x?
-184
Let d = -34397/32 - -1075. Suppose -12*o = -8*o + 6112. Let l = o - -6113/4. Which is smaller: d or l?
d
Suppose 43148 = -25*o + 6223. Is -1475 less than o?
False
Let z = 124 + -55. Suppose -v - 29 = -z. Suppose 2*l + r = 2*r + 84, r - 156 = -4*l. Is l smaller than v?
False
Let q = 17085 + -17083. Which is greater: -6877 or q?
q
Let i(o) = 2*o + 9. Let t(d) = -3*d - 17. Let v(m) = -7*i(m) - 3*t(m). Let a be v(6). Let y be a/(-9) + (-1)/(-3). Do 4 and y have the same value?
False
Suppose 0 = 3*j + k - 434, -34*k + 726 = 5*j - 33*k. Suppose 145*x + 42 = j*x. Suppose 3*v + 4*d = 148, 0*v + 2*v + 4*d - 104 = 0. Which is smaller: v or x?
x
Let d = -19497/2 - -9748. Let l = -4 + -2. Let b = 6.16 + l. Is b less than or equal to d?
False
Let w = 25659 - 22395. Are w and 3262 nonequal?
True
Let s be (130 + 3)*(-6)/63*-3. Suppose 4*v = 3*y + s, 2*y - 8*v + 11*v + 31 = 0. Is -6 < y?
False
Let o = 40059/14 + -2863. Let k = 53/14 + o. Is -0.3 > k?
False
Let f = -5928.04 + 5928. Let l = -9.8 + 9. Is f > l?
True
Let f(d) = -439*d**3 - 4*d**2 + 15*d + 18. Let p be f(-1). Is 436 != p?
True
Let i be ((2/3)/((-6)/45))/(-1). Suppose i*p + j + 68 = 0, 0*p = -3*p + j - 44. Let s = p - -10. Are -5 and s equal?
False
Let n = 7421313/401 - 18507. Let z = -383/1203 - n. Is -2/733 greater than or equal to z?
True
Suppose -67 = 6*s + 89. Let q be (-1066)/(-12) + s/(-156). Is 87 at most q?
True
Let a(d) = d**2 - 3*d + 14. Suppose c - 16 = 2*l, 10 - 53 = -3*c + 5*l. Let j be a(c). Let g be j + -37 - (-20 + -1). Is g greater than or equal to 13?
True
Let w = 3774 + -3745. Is -2/15 less than or equal to w?
True
Let i = -516826 - -516819. Let a = -26819/32 + 838. Is a greater than or equal to i?
True
Let x = 6344 + -44426/7. Suppose -6*g - 2*r = -3*g + 14, 3*g - 3*r + 9 = 0. Is g at least x?
False
Let r(c) = -62*c + 4. Let f be r(-5). Let t = -5765 + 6079. Is f smaller than t?
False
Let h = 1454/35 + -208/5. Let r = h + 76/105. Is 5 < r?
False
Let h(i) = 2*i - 14. Let b be h(-7). Let z(t) = -6*t + 108. Let s be z(16). Let f(g) = -2*g**2 + 19*g + 30. Let o be f(s). Is o bigger than b?
False
Let g be (-2)/(6/15)*(-144)/5. Suppose -20*z - g - 816 = 0. Let s be 2 + 0 - 24/9. Which is smaller: s or z?
z
Let r = 0.2 - -237.8. Let s = 217 - r. Does 5 = s?
False
Let x be ((-12)/10)/((-62)/(-110)) + 71 + -69. Let d(y) = y + 5. Let p be 1/(-2)*(3 - -5). Let k be d(p). Which is greater: k or x?
k
Suppose 28*s = 927 + 3329. Suppose -88 = -3*o + h + 4*h, 0 = 4*o + 2*h - s. Which is bigger: 31 or o?
o
Let r = 145 + -146. Let b be (1/r)/((-46)/(-322)). Is -8 <= b?
True
Let x = 16/531 - 1238/5841. Let c = 2 - -1. Suppose -3*v = -0*v + c. Which is greater: x or v?
x
Let d(y) = -y**3 - 5*y - 6. Let n be d(0). Let l be 2 + -5 + 19 + n. Which is greater: 2 or l?
l
Let t(n) = 27*n**2 + 4*n + 4. Let y be t(-6). Let v be (-2162)/y + -2 + 4. Let c = 1/68 - v. Which is smaller: c or 0.1?
0.1
Suppose 0 = -l + 3*w + 103, -24 = 4*l - 4*w - 404. Suppose 9*n - 1671 + 205 + 647 = 0. Is n at most as big as l?
True
Let p be (-10)/(-12) - 3/3. Let f = -209.3 - -209.3893. Let w = f - 0.0593. Is p less than w?
True
Let s = 38787 - 450278284/11609. Which is greater: s or -1?
s
Let g = -556.737 + 557. Let l = 0.35 - g. Is l less than 1?
True
Let z be (-651)/12 - (-2)/8. Let k = 305 - 77. Let y = 229 - k. Which is greater: z or y?
y
Let n be -3 - (3 - (14 - -3)). Suppose 5*j - n = -0*j - 2*y, -5 = -2*j - y. Let t(u) = u + 5. Let m be t(-2). Which is smaller: m or j?
j
Suppose 3*f = 5*t - 185, -19 = -t - 2*f - f. Let c be ((-8)/(-18))/(t/3). Let h be (2/11 - (-46)/(-11)) + 5. Which is smaller: c or h?
c
Suppose -154 = -23*j + 214. Suppose 0 = -j*f - 3540 + 1348. Is -137 < f