s smaller: 975 or d?
d
Suppose -137*y + 139*y + 23 = -3*l, 4*l + 4*y = -36. Which is smaller: -26/7 or l?
l
Let l = -13/1023 - -4/93. Let r = 48 - 48. Which is smaller: r or l?
r
Let b = 80.837 + 0.163. Let n = b - 80.975. Let w = -5.975 - n. Which is greater: 1 or w?
1
Let s be 1/(-7) + (248/7)/(-4). Let r(l) = -3*l**2 - 12*l + 217. Let x be r(-11). Which is smaller: s or x?
x
Let y be ((-1394)/(-153) - 8)/(2/(-4)). Let m(d) = -2*d**3 + 21*d**2 - 10*d - 1. Let f be m(10). Which is smaller: f or y?
y
Let f = 124 + -123. Let a be (-4)/(-12) + f + 106/6. Is 71/4 >= a?
False
Let v = -0.7759 + 0.8. Let b = v + -0.0241. Let k = 153 + -107. Is b smaller than k?
True
Let c be (-1 + (-1 - 18))*(-1122)/20570. Let y = 0.033 - 0.093. Which is smaller: c or y?
y
Let g = -26842 + 28158. Is g smaller than 1321?
True
Let a = 783 - 11065. Is a greater than -10282?
False
Let g = 75553/178 - 700/267. Let b = g + -422. Which is greater: -0.04 or b?
-0.04
Let z(f) = f**3 + 3*f**2 + f - 2. Let b be z(-2). Let g(a) = 36*a - 142. Let y be g(4). Let o be y/(-138) - -8 - 8. Which is bigger: o or b?
b
Suppose -45*a - 120 = -53*a. Let g be (-15)/25 + 24/a + 4. Is 5 != g?
False
Let b(m) = -m**3 + 9*m**2 + 27*m - 11. Let y be b(11). Suppose -4*v - 7*v = y. Let s be (12/v - 1) + 3. Is s equal to -3/34?
False
Let r = -4.52 - -3.62. Which is greater: 0.657 or r?
0.657
Let x = 4636 - 4637. Let m = -2063/24 + 86. Which is greater: x or m?
m
Let k be ((-126)/2556)/7*(-12)/9. Which is bigger: 1/23 or k?
1/23
Suppose -263*b + 96*b = 63961. Let d(z) = 47*z**3 - 2*z**2 - 2*z - 2. Let p be d(-2). Is b less than p?
True
Let b be 83186/(-237)*(-3)/1. Let k = -1053 + b. Let y = -188 + 188. Which is bigger: y or k?
y
Let d = -7.9 + -2.1. Let f = -976.1 + 1122. Let a = f - 146. Which is greater: a or d?
a
Suppose 5*q = -5*z - 180, q + 35 = 5*z - 19. Let x be (1209/q)/(11*-1). Is 2 >= x?
False
Suppose -3*f + 21780 = -41*f - 28*f. Is f at least as big as -336?
True
Let a be 8*((-5)/(5/1))/1. Let t be (-4)/a + 7/(28/18). Which is bigger: 2/71 or t?
t
Let z = -66.31 - -383.41. Let i = z - 317. Is i bigger than -13?
True
Let s be (2 - 10/4)*0. Let g = 29/2344 + -79615/6814008. Is s greater than g?
False
Let k = 85.3 + -85.4. Which is smaller: k or -2/5?
-2/5
Let r = -1.2807 - -0.6707. Which is bigger: 50/7 or r?
50/7
Let a be (-21 - (-25 - -7))*7/((-7518)/(-4)). Which is smaller: 14 or a?
a
Let a be 9/(-6)*828/27. Let g = -465 - -420. Is g smaller than a?
False
Let f = 5101 - 15313. Which is smaller: f or 1?
f
Suppose 6*n - 23*n = 68. Let y be (6/(-5))/(3/(-6)*n). Which is bigger: 0 or y?
0
Let v(x) be the third derivative of 0*x + 0 + 2*x**2 + 5/2*x**3 + 1/12*x**4. Let l be v(9). Are 33 and l equal?
True
Let q = -2599 + 7475. Suppose q = 31*l - 8*l. Which is greater: 211 or l?
l
Let q = -6133 - -6057. Which is smaller: q or -0.7?
q
Suppose 0 = -l + 5*t + 38, 184*l - 186*l + 76 = 4*t. Suppose -3*k + 8 = -16. Suppose -2*h + l = k. Is 16 != h?
True
Let t(c) = -c**3 + 5*c**2 + c + 14. Let r be t(7). Let j be (-187)/r + (-6)/14 + 2. Let l be j/(-6)*6/2. Which is bigger: -4 or l?
l
Let r be (3 + -3 + 2)/((-10)/(-11830)). Suppose 15*v + r = -94. Is v at least as big as -161?
False
Let y = 0.61 + 0.01. Let c = y - 0.3. Let l = 21.32 - c. Is l >= 0?
True
Let r be 6*(-2 - -1)*18. Let m(f) = -f**3 - 31*f**2 - 27*f - 18. Suppose -27*i - 120 = -23*i. Let z be m(i). Is z < r?
False
Let j(m) = -5*m + 38. Let i(u) = 15*u - 114. Let f(t) = 4*i(t) + 11*j(t). Suppose 0 = -k - 2*k - 15, -33 = -v + 4*k. Let x be f(v). Is x at least as big as 27?
True
Suppose 0 = -2*j + 5*s - 4*s + 1, 3*s - 3 = 3*j. Let k be (-5)/(-10)*(-444 - j). Is -223 bigger than k?
False
Let u = 7/12 - 71/24. Suppose 2555*m - 2850*m = 885. Is m less than u?
True
Suppose -3*g + 6 + 15 = 0. Let z = -5 + 6. Suppose -2*b + g = z. Which is smaller: 9/5 or b?
9/5
Let a = -763 + 758. Is -168/29 equal to a?
False
Let g be (-140)/(-77) + 14/77. Let h be (-384 - (13 + -10))*g/(-10). Which is smaller: 77 or h?
77
Suppose -5*g - 14*i + 7 = -16*i, -g + 2*i + 3 = 0. Suppose t + 15 = 3*b + g, b - 8 = 2*t. Which is smaller: t or 0.002?
t
Suppose -2*w + 1486*f = 1488*f - 826, -874 = -2*w + 4*f. Do w and 7146/17 have different values?
True
Suppose 0 = -85*z + 34*z - 6171. Which is greater: 4 or z?
4
Let q = -10646/11 - -136883/66. Which is smaller: q or 1107?
q
Let n(b) = b**3 - b**2 - 17*b + 21. Let j be n(5). Which is greater: j or 316/9?
j
Suppose 0 = 5*q - 2*x + 20850, -346*q - x = -341*q + 20850. Which is greater: q or -4169?
-4169
Let c be 141/(-24) - 10/80. Let f(d) = -9*d - 58. Let n be f(c). Which is smaller: n or -62/15?
-62/15
Suppose 2*f - 17 + 3 = 4*h, 0 = 2*h - 3*f + 13. Let k be h - (0 + (-2)/4*2). Does 3/13 = k?
False
Let t = 3 - 3.2. Let u = -0.0653398 - -1.4653398. Which is smaller: t or u?
t
Let o = -1.02357 - -0.02357. Do o and 0.0879 have different values?
True
Suppose 93 = 98*m + 191. Is 2/13265 smaller than m?
False
Suppose -428 = 3*d + 5*a - 1361, -15 = 5*a. Suppose 2*x = b + d + 73, -3*x + 596 = b. Is x at most as big as 198?
True
Let j = -6895.17 - -6898. Is -0.04 bigger than j?
False
Let x(u) = 5*u - 2. Let i be x(5). Let q = -860 + 884. Is i at least as big as q?
False
Let x = 0 + 0. Suppose -14 = -32*q + 39*q. Let n be ((-48)/732)/((-12)/q). Is x >= n?
True
Let d be (463 + -1)*(34244/(-1428) - -24). Is 8 smaller than d?
True
Let t = -183 + 154.8. Let c = t - -40. Is c at most as big as 1?
False
Let b = -1581.825 + 1583. Is b < 0.2?
False
Let m = -417.5 - -357.538. Let g = 60 + m. Let h = g + -15.038. Is -2 at most as big as h?
False
Let n = 1/9950 - 2328323/228850. Which is greater: n or -10?
-10
Let x be 105/182 - 18/234. Which is bigger: x or 0.323?
x
Suppose 2*l + 5*u = -5819, 4*l - 4*u + 3*u + 11671 = 0. Do l and -2917 have the same value?
True
Let f be (-146)/(-77) - (-4)/14. Let a = -38 + -148. Let u = a + 187. Which is smaller: u or f?
u
Suppose 1622 = -165*c + 180*c - 11803. Is 904 equal to c?
False
Let z = -879 + 1279. Suppose 0 = 11*i + 1239 + z. Is -147 at least i?
True
Suppose 2*f + 51 = 5*m - 9, -2*m = 5*f + 5. Suppose 49*z = 68*z - 171. Are m and z unequal?
True
Suppose -6*l - 1645 - 1574 = -35*l. Is 125 at least l?
True
Let p = 0.19 + -2.49. Let m = -2.39 - p. Let a = -0.01 + m. Is a greater than -0.17?
True
Let r = -318 + 271. Is r greater than or equal to -54?
True
Let p = -349 - -342. Which is smaller: p or 99?
p
Let w = 2301 + -1609. Is w less than or equal to 691?
False
Let r = 845/9 - 69119/738. Let b = r + -5381/574. Suppose 2*q = -21 + 5. Which is greater: b or q?
q
Let s = 1.87 + -1.97. Are -4237 and s equal?
False
Let c be (-68)/34 - (-8)/276*96. Is c smaller than 3/2?
True
Let z = -19204 + 518506/27. Which is bigger: z or 624?
624
Let p = -111.8 + 113.8. Is p > 0?
True
Let g = 215 - 223. Let q be 3/(-6)*g/30. Are -0.16 and q unequal?
True
Let t = 5597993/56 + -99961. Which is bigger: 3 or t?
t
Let h = -3011713 - -1590184991/528. Let l = h - 15/16. Let m be (1 - 1 - 0) + 0. Which is smaller: l or m?
m
Let g = -545 + 545. Suppose g = -4*f + 3*z + 10, -3*f = -44*z + 42*z - 8. Which is greater: 70 or f?
70
Let z = 134269/34 - 3949. Is -10 at most z?
True
Let w = 4830.3 - 4828.3. Is w at least as big as -10177?
True
Let v = 4426/3 - 221783/150. Which is bigger: -3 or v?
-3
Suppose -2*t = -3*p - 3, 0 = 3*t - 0*p + 2*p + 15. Let v be (-104160)/16120*13/2. Is t less than or equal to v?
False
Let l = -42364.45 + 42248. Which is bigger: l or -0.1?
-0.1
Let d = 127 - 112. Suppose -d*r - 5136 = -9*r. Let z = 40230/47 + r. Are z and 0 equal?
False
Suppose 2*c + 209 = -311. Let b = -258 - c. Let h = 2 - -3. Is b < h?
True
Let t = -9.3 - -9.4. Let b = t + 0.1. Is -1 less than b?
True
Suppose 0 = 3*f - 6*f + 21, -z + 3*f = -1851. Are z and 1870 unequal?
True
Let x be 1*(-7)/(-1) - (-75616068)/(-10802260). Is 1 bigger than x?
True
Let s be 4/14 - 128/(-91). Let u be ((-798)/2926)/(1/(-11)). Which is smaller: u or s?
s
Let y = -8.969 - -9. Let o = y + -21.031. Let h = 27 + o. Is h not equal to 0?
True
Let g(h) be the second derivative of h**4/6 - 19*h**3/6 + 4*h**2 + h. Suppose 219*n + 108 = 231*n. Let r be g(n). Is -2/87 > r?
True
Let g be -2 - (2 - (0 + 136/12)). Let s be 1/(-6) + (-25)/(-6). Let t be (-14)/3*(-6)/s