e -3*m - 7 = 23. Which is bigger: d or m?
m
Let o be -6*1*(-35)/14*1/(-38305). Which is bigger: o or -2/7?
o
Suppose 0*o - o = 0. Suppose -3*g - r + 112 = o, 0 = 6*g - g - 3*r - 168. Suppose 99 = 3*l + 3*k, 2*l - 172 = -2*l + 4*k. Which is smaller: g or l?
g
Let z be 17 + (-6438)/377 + 1/(112151/8653). Which is smaller: z or 1?
z
Suppose 23 = 2*i - 3*z, 4*i - 4*z + z = 49. Suppose 2*k + 323 = -5*t, -4*t - 2*k - 197 = -t. Let h be 4/26 - t/i. Is h at least 3?
True
Let b be 2/(-3) - 32/(-66). Let n = -316.7 - -327. Let i = n - 10.4. Is i less than b?
False
Let j = -522.792 + 0.792. Let h = 491 + j. Is h bigger than -6/7?
False
Let d = 20.1 - 20.2. Let s = -369.16 + 368. Which is bigger: d or s?
d
Let f be 14 + -8 - (-21267)/7086*-2. Is f at least -1?
True
Let a be 2 - 33/12 - (-377)/(-4). Let l = -181 - a. Which is smaller: -87 or l?
-87
Let d be (-10)/(-36)*(-8 + 888/110). Which is smaller: d or 140?
d
Let y = 12/4835 + -1128501/4835. Let a = 1121497/4805 + y. Is 1 at least a?
True
Suppose 0 = -4*r - 3*c - 2057, -5*c = -14*r + 13*r - 543. Let t = r + 686. Which is smaller: t or 169?
t
Let p(x) = -x**3 + 2*x**2 + 83*x - 168. Let i be p(8). Which is smaller: -12 or i?
-12
Let i = -1380/13 + 106. Which is smaller: -24.3 or i?
-24.3
Let i = -329.1 + 328.1. Is i smaller than -4675?
False
Let u = 1 - 1.5. Let p = -0.19116 - 63.80884. Is u > p?
True
Let f(h) be the third derivative of -h**4/12 + 5*h**3/2 + 15*h**2. Let u be f(7). Let k be (-4)/(-7) + -10 + 11325/1190. Which is smaller: k or u?
k
Let x(u) = -33*u**2 + u + 1. Let w = -46 - -45. Let s be x(w). Let b(h) = h**3 - 8*h**2 + 2*h + 3. Let g be b(7). Which is bigger: s or g?
g
Let y be (-8)/(-10)*65/(-26). Let i be -2 + 0 + 1 + 19. Let p = y - i. Is -23 <= p?
True
Let v be 2/(-5) + 9118/(-130) - (437 - 436). Is v at least -71?
False
Let d be (406/(-126) + 7)*-42. Which is smaller: d or -158?
d
Let r = 0.04 + -0.07. Let f = 0.02 + r. Let k = -53.9 - -55.9. Which is greater: k or f?
k
Suppose 0 = 29*j - 47 - 11. Let b be 1 + (26 - 1) + -4 + j. Which is bigger: 123/5 or b?
123/5
Let q be (-76)/8854*(6/657)/(14/21). Which is greater: 0 or q?
0
Let y be (1 - 0) + -3 + 2 + -2. Let c be ((-5)/y - 3) + (-36)/(-8). Which is smaller: 19/4 or c?
c
Suppose -4*f + 4 = 4 - 4. Which is greater: -1/77 or f?
f
Let l be (-8 - -18)*(-11)/22. Which is smaller: 6 or l?
l
Let a = 0.1 - 0. Let q = -190.5 - -50.5. Let s = q + 185. Which is greater: s or a?
s
Let u = -161 - 247. Let x = u - -604. Let q = 1370/7 - x. Which is greater: 27 or q?
27
Suppose -4*p + 211 = 7. Let z(r) be the second derivative of -r**4/12 - 31*r**3/6 - 58*r**2 + 176*r. Let j be z(-24). Are p and j equal?
False
Suppose -4*u - 2*u - 16401 = -5637. Is u less than -1792?
True
Let w be (-13)/(-52)*(-6)/(-7). Let o = 276/11 + -25. Which is bigger: w or o?
w
Let u = -2125 + 23339/11. Suppose -c - 5*g + 3 = -4, -5*c - 5*g = 5. Which is bigger: c or u?
c
Suppose 3*j - 180*j - 177 = 0. Which is smaller: j or -238?
-238
Suppose -3*x - 3*j - 18 = 0, -2*x + 4*j = 5*j + 7. Let c be 4/(-6)*(46/70 + x). Let m = -2/35 - c. Does m = 1?
False
Let l(q) = -5*q - 19. Let m be l(-2). Let r be (2 - 4)*((-30228)/(-760))/11. Let v = r - 45/19. Is m less than v?
False
Let n = -2 - 3. Suppose b = 5*c + 7, 0 = -6*c + 2*b + 479 - 493. Which is smaller: n or c?
n
Let o = 1788 + -275353/154. Let t = 281/4 - 70. Is t at most o?
False
Let s = -2.04 - -0.04. Let r(n) = -18*n + 203. Let i(b) = -20*b + 204. Let l(o) = -5*i(o) + 6*r(o). Let v be l(27). Which is smaller: s or v?
v
Suppose 0 = -2*q + 2*o - 1490, 10*q - 2*o + 3722 = 5*q. Let g = 5907/8 + q. Which is bigger: -7 or g?
g
Suppose 5*t + 6*q - 3*q = 505, -2*q = -4*t + 426. Which is greater: 8 or t?
t
Let g = 493 + -346. Let k = 161 - g. Is 0 less than or equal to k?
True
Suppose -i + 3*i - 8 = 0. Suppose 2*a = 2*w - 10, -a + 4 = 7. Suppose -g - i*g + 14 = -3*x, g - 3*x + w = 0. Are g and 13/5 nonequal?
True
Suppose k + 5 = -3*k - 3*n, 2*n = -6. Let t = 456/169 + -11569/4225. Is t equal to k?
False
Let a = -294 - -297. Suppose 0*s + 9 = a*s + 3*c, -s - 2*c + 7 = 0. Let b = 46/9 - 403/63. Is s >= b?
True
Let v be 115/(13 - 228/18). Which is greater: 346 or v?
346
Let j = -40997 + 119248/3. Let q = -1265 - j. Is -17 at most as big as q?
False
Let g be 1 + -5 - 37440/(-9312). Let c(b) be the third derivative of -b**4/24 + 4*b**3/3 - 2*b**2. Let q be c(7). Which is greater: g or q?
q
Let b = 346.3 + 11.9. Let y = b + -363. Which is greater: 0.1 or y?
0.1
Let h = 14803 + -9175. Is h < 5627?
False
Let t be (-329)/(-94)*(1 - (1 - 2)). Let n(u) = -4 + t*u - 1 + 0 - 6*u. Let f be n(4). Which is smaller: -1/89 or f?
f
Suppose y - 2*r = -0*y - 13, 0 = -3*y - 2*r + 1. Suppose 5*b = -o + 56, -10*o + 6*o - 4*b + 176 = 0. Suppose -5*i - o = -31. Is i >= y?
True
Let l = -0.021 - 0.285. Let g = 0.106 + l. Let x = -2 + 2. Which is bigger: g or x?
x
Let x = 44 + -40. Suppose -i + 6 = 4*b, -2*i - x*b + 17 = -b. Suppose 0 = -4*d + d + z - i, 2*z = 2*d. Which is smaller: -11/3 or d?
d
Let w be ((-3)/9)/((-135184)/(-168)). Does w = 1?
False
Let o be ((-2088)/64 - -22)/(-11). Is 0 > o?
False
Let v = 1.13 + -1.128. Let b = -0.838 - v. Let r = 0.92 + b. Which is smaller: r or -3/4?
-3/4
Let y be (-12)/22 - (-56428)/103411. Does y = 0?
False
Suppose 2*w + 4 = -2*m, -3*m - 6*w = -w + 8. Let b be (62/8)/(-31)*(-3 - -1)/(-4). Which is bigger: m or b?
b
Let b be (-2)/(((-9)/(-2))/(-9)). Let d be (34/21)/(b/9). Let o = d + -1915/518. Is o at most as big as 1?
True
Suppose 2*v - 2*p = 2054, 2*v - 5*p = 3*v - 1015. Let n = 8189/8 - v. Is -2 equal to n?
False
Suppose -6*v + 21131 + 1239 = -2992. Is v at least as big as 16903/4?
True
Let v be ((-3922)/333)/((-8)/(-18)). Which is bigger: v or -27?
v
Let o(a) = -4*a**2 + 5*a - 3. Let g be o(2). Let u = 9348/35 - 1941/7. Is g >= u?
True
Suppose 7*z = 11*z - 2*q - 138, 3*z + 5*q = 136. Which is smaller: z or 676/19?
676/19
Suppose 0 = -3*z - 34 - 80. Suppose -5*x - 208 + 73 = 0. Let u = z - x. Which is smaller: u or -8?
u
Let s = 1.53 - 154.53. Let u = s - -152. Is u < 4/7?
True
Let z = 6 + -16.5. Let a = z - -11.5. Let l = a - -2. Which is smaller: 1.2 or l?
1.2
Let q = 10354/13 - 797. Let j = -397 + 396. Let v be -2 - (j + -8 + 7). Which is bigger: q or v?
v
Let l be 158*(472/(-2596) - (-7)/22*-1). Is l greater than -81?
True
Suppose -153 = -4*r + 7*r. Suppose 0 = 17*t - 733 - 117. Let c = t + r. Which is smaller: c or -22?
-22
Let z = -4545.98 - -4550. Is -0.4 > z?
False
Let i be ((-1)/(-2))/(11 + 15220/(-1384)) - -3. Is i not equal to 174?
True
Let y = 4643 + -1110. Let o = y + -3496.11. Let t = -37 + o. Which is bigger: -3 or t?
t
Suppose 24*m = 22*m - 2454. Let s = -3638/3 - m. Is s bigger than 13?
True
Suppose -2*f = -24*f + 88. Suppose -2*u + f*b - 2 = -0, -5*u - 3*b + 8 = 0. Let r be 1 - 1/(0 + 9). Which is bigger: r or u?
u
Let f = 42 - 0. Let h = -36 + f. Which is greater: h or -5?
h
Let c = -9.166 + -2.834. Let o = 24 + -12. Let k = c + o. Which is greater: -21 or k?
k
Suppose -5*x - 4*a - 599 = -612, 2*x = -4*a + 10. Which is bigger: x or -4/31?
x
Let z be (-16 + 15 - -4)*1 + -5. Let m be -9*(6/(-10))/(-3). Which is smaller: z or m?
z
Suppose -254 = 5*l + 451. Let w = 174 + l. Is 29 less than or equal to w?
True
Let k(r) = -4*r - 144. Let f be k(-8). Let n be (462/f)/(18/8). Is -0.03 at least as big as n?
True
Let k(t) = -t**3 + 22*t**2 + 3*t - 37. Let r be k(22). Which is smaller: r or 48?
r
Let n(c) = -3*c - 9. Let z be n(-2). Let s be (-540)/770 - z/7. Suppose -4*b = 3*b - 3*b. Is b greater than s?
True
Let y(o) = -o**3 + 14*o**2 + 17*o + 36. Let q be y(15). Let f(i) = -4*i - 8. Let b be f(-19). Do b and q have different values?
True
Suppose 3*u - 40 = 4*h + 7*u, 0 = -h - 4*u - 19. Let i = h + 8. Let o = 585 + -8771/15. Which is smaller: i or o?
o
Let b = 274549/12 - 22842. Is b < 37?
False
Let m = -82 - -80. Let z be m/((-824)/(-138) + -6). Which is smaller: 68 or z?
68
Let q be (-16)/14*162/(-8). Let f = 310 - 288. Is q > f?
True
Let z(n) = 145*n - 1818. Let m be z(13). Are 70 and m equal?
False
Let j be 38/(-8) - (-3)/(-12). Let f = 1272 + -961. Let k = 321 - f. Which is bigger: k or j?
k
Let i = -8.08 + 0.78. Let h = -7.9 - i. Let t be 2/9 + 32/18. Which is greater: h or t?
t
Let n(k) = 6