. Which is smaller: d or r?
d
Let f = -42239/3176173 + 17/2171. Is 0 greater than f?
True
Let o = 81.2 + -72. Let n = o - -31.8. Let l = 141969 + -141967. Is n less than or equal to l?
False
Let q = -0.04415 + -1.45585. Which is smaller: q or -25.7?
-25.7
Suppose 8*u + 312 = 11*u. Suppose 4*j + g - u = 0, j + 4*g - 24 = 17. Let w = j - 11. Which is smaller: 11 or w?
11
Let p = -292978639/798 + 367141. Let i be (((-8)/(-38))/4)/(42/(-12)). Let o = p + i. Is 1 smaller than o?
False
Let x be (-6 - -4 - -2)/(-2 + 1). Suppose x = 2*r - 38 - 16. Suppose 0 = n - 9 + r. Is -18 != n?
False
Let s be -1*(-1 - -3 - 99). Let z = 112 - s. Suppose z + 15 = -3*w. Is -21/2 greater than or equal to w?
False
Let n be (-43)/110 + (-50)/(-125). Let t = n - 61/110. Which is bigger: t or 0?
0
Let n be 2/128 + (-4)/24*2. Let v be (-1 - -2)/((-448)/((-49)/7)). Let c = v - n. Which is bigger: c or -0.1?
c
Suppose -427*i = -426*i - 10. Let c be 7 + i/(-20)*12/1. Let d be 2/9 - (-104)/(-711). Is d equal to c?
False
Let i = 43.8 + -10.3. Let a = 34 - i. Let c be (2 - (-176)/(-84))/((-18)/(-27)). Does c = a?
False
Let i be -1 - ((0 - 14) + 1). Let d = -573 + 596. Let l = -24 + d. Is i > l?
True
Let d = 27/107 + -27673/108819. Is d >= 0?
False
Let n = -3.146 - -2.97. Let s = n - -1.176. Which is greater: s or -6?
s
Suppose -3*j = 5*b - 26, -285*b = -288*b + 4*j - 25. Is b equal to -16/113?
False
Let u = 828 + -825. Which is smaller: u or 1/417?
1/417
Let g = -2132 + 2132. Suppose 5 + 1 = t. Let m be (-16)/(-46)*t/24. Do g and m have different values?
True
Suppose -12 = -l + 4*l. Let b be l/(-10) + (-249)/(-15). Let h = b + 6. Which is smaller: h or 24?
h
Suppose -2*m + 10 = -0*m. Let g be 2/m - (-7)/(-105). Let b = 17.776 + 3.224. Is g <= b?
True
Suppose 11*h = 4*h - 161. Let n = h - -22. Let m = -21/5 - -62/15. Which is smaller: n or m?
n
Let z = 5 - -2. Suppose 1709 = 3*g - 5*w, 2264 = 13*g - 9*g - 3*w. Let u = g + -555. Do u and z have the same value?
False
Let a = -43661 - -1266289/29. Is 0.1 > a?
False
Let q = -703.12 - 2.88. Let j = q - -692.94. Let f = 13.3 + j. Which is smaller: f or 2/9?
2/9
Let y(h) be the second derivative of h**4/12 - 7*h**2 + h + 13. Let a be y(4). Is a greater than or equal to -2/403?
True
Let h = 7049321/563 + -12521. Suppose 6*n = 5*a - 46, 5*n + 16*a - 14*a - 11 = 0. Which is bigger: n or h?
h
Let s be 493/(-2480) - (30/(-275) + 13/(-143)). Which is greater: s or 1?
1
Suppose 0 = 4*g + l + 3002, 5*l - 7*l + 746 = -g. Let n = g - -11242/15. Which is greater: n or 0?
0
Let i = -4.2 + 0.2. Let o = 4.1 + i. Let v = 9.9 - -1.1. Which is smaller: v or o?
o
Let p(c) = 2*c**2 - 5*c - 4. Let x be p(3). Let m be (-80)/12*(-2)/(-144). Which is smaller: m or x?
x
Let c = -69 + 70. Suppose 2*t = -k - 13, -4*k + t - c = 6. Suppose 2*o + 4 = -2. Are k and o unequal?
False
Suppose -165 = -5*m + v + 146, 0 = 4*m + v - 247. Suppose 86*g = 4*j + 89*g - 265, -2*j = 4*g - 150. Which is bigger: m or j?
m
Let c(o) = 6*o**2 + 21*o + 101. Let a(w) = w**2 + 8*w + 3. Let f be a(-6). Let g be c(f). Is 397 at most g?
True
Suppose 5*x = 15 + 315. Suppose 9*j = -x - 681. Is 1 greater than j?
True
Suppose 3*j = -0*n - 4*n + 28, 5*j - 3*n = 8. Suppose -20 = j*d, -7*d + 18 = -3*f - 10*d. Is f less than or equal to 3/7?
True
Let p be (4/10 + 0)/(42/55440). Let x be 14/p - (-36)/198. Is 0 less than or equal to x?
True
Let y = 279 + -472. Let f = -5017/26 - y. Is -1 not equal to f?
True
Let i = -6345 + 6250. Is i < -64?
True
Let c be (1 + 135)*(-11 - -6 - -3). Let w = 272 + c. Which is smaller: 1/201 or w?
w
Suppose 10*i = -3*k + 11*i - 739, 5*i = 2*k + 471. Let b = k + 249. Is b bigger than 1/36?
True
Let g = -14700 - -14553.54. Let n = g - -147. Is n greater than -1?
True
Let f = 13/170 + -1771/25160. Which is smaller: 1/3 or f?
f
Suppose 0 = 134*z + 9191 - 1821. Let f = -15 + 15.7. Which is smaller: z or f?
z
Let f = -286 - -293. Let z be (-3 + -1)/((1645/(-10))/f). Which is bigger: z or 0?
z
Let z = 96 + -99. Let o be z + (3 - 0) - 2. Let w be 2 - (86/(-8) + o). Is w >= 15?
False
Let m be (-1)/(2/5)*6. Let p = 494 + -494. Let t be ((-25)/m - 2)*p. Are 0.9 and t equal?
False
Let k = -1 + 1.1. Let z = 267 + -171. Let h = 96.028 - z. Which is smaller: k or h?
h
Let b = -6.6337 + 1.5337. Which is smaller: b or -30?
-30
Let m = 184 - 125. Let x = 60 - m. Which is smaller: -3/50 or x?
-3/50
Let h = 14069 - 14263. Let i be -195*((0 - -2) + -1). Is i at most as big as h?
True
Let b be (-14805)/(-81) - (-6)/27. Let z = b + -174. Which is smaller: z or 105/11?
z
Suppose 4*q + 138 = 3*x, -6*q + q - 46 = -x. Let w = x + -41. Let z(f) = f**2 - 6*f + 6. Let h be z(w). Does h = 3/7?
False
Let w(j) = -145*j + 1622. Let d be w(11). Which is greater: d or 20?
d
Suppose -5*d + 2*a + 16 = 0, 0 = -2*d - 5*a + 2 - 42. Is -2/14715 at most as big as d?
True
Let n = -11 + 18. Let k = 640 + -604. Suppose -11*a - k = -n*a. Which is greater: a or -8?
-8
Let k be (-47616)/(-896)*(-14)/(-9). Which is greater: k or 84?
84
Suppose -97 = -5*v - 2*n, v + 59 = 4*v + n. Suppose v = 2*w + 9. Which is greater: w or 56/9?
56/9
Let x(u) = 2*u**3 - 17*u**2 - 29*u - 10. Let n(r) = r**2 - 30*r + 171. Let f be n(23). Let i be x(f). Which is smaller: 3/169 or i?
i
Suppose -7 = 6*m + 5. Let z(f) = -6*f - 6. Let s be z(m). Suppose -10*v + 4*v = -s. Which is greater: v or 1/7?
v
Let c be 28/21 - (42/(-9) - -4). Let p be 1/((c/16)/((-38)/(-152))). Are -3 and p nonequal?
True
Let o = 26.6 - 29. Let v = o - -52.4. Is 0 bigger than v?
False
Let q(w) = -4*w**2 - 16*w - 28. Let b be q(-5). Let i = -12/431 + -62459/1293. Does b = i?
False
Suppose -7*m + 19*m = -m. Let f = -326 + 328.9. Is m less than or equal to f?
True
Suppose -f - 4*u + 16 = -3*f, -3*f + 2*u = 16. Let p be (-7*254/(-70))/(f/5). Which is bigger: -31 or p?
-31
Let f be 40/80*0/(-5). Let z = 101662/147 + -2074/3. Is f <= z?
True
Let x = 3517 + -3790. Which is smaller: x or -282?
-282
Let w = -228 - -60. Let s be 1106/w - 5*-1. Is s < -3?
False
Let w = 1186.9 + -1196.9. Is w smaller than 5?
True
Let a(j) = j**3 + j**2 - 9*j - 6. Let q be a(-4). Let i be (1 + 2/(-1))/(3/q). Suppose -14*k = -i*k. Which is greater: k or -2/15?
k
Suppose -5*z + 3*y = -20, -16*z = -15*z - 5*y - 26. Are -33/164 and z non-equal?
True
Let l be ((-16)/5)/((-1)/5). Let c(a) = -2*a**3 + 17*a**2 + 8*a + 12. Let q be c(9). Suppose 16*p = q*p + 182. Which is smaller: l or p?
p
Let w(y) = -308*y - 791. Let o be w(-5). Which is bigger: 751 or o?
751
Let u be (15/((-45)/6))/(18/(-45)). Let r be 5 + (-2 + 0)*-1. Let f be (r/2)/(3/6). Is f <= u?
False
Let w = -8921 - -8922. Which is smaller: -10/227 or w?
-10/227
Let a = -23 - -17. Let n be (12/(-172))/(a/4). Let y = -768 + 769. Are y and n nonequal?
True
Let d = 165496 - 834971/5. Let b = d + 1515. Which is smaller: b or 18?
b
Let l(b) = -b**2 + 24*b - 62. Let p(n) = n**2 + 17*n + 52. Let g be p(-15). Let d be l(g). Which is bigger: -11 or d?
-11
Suppose i = 3*i - 224. Let u be 60/i + 2/(-8). Let j be (3/752*4)/((-6)/(-16)). Is j at least u?
False
Let n be 2088/(-1392)*(8/6 - 1). Is n at least as big as -26?
True
Let i be ((0/(-3))/6)/(-1). Suppose -4*w + 9 = -5*w - 5*h, i = -4*w + 5*h + 39. Is 12 at most w?
False
Let b be 70/4*(-3948)/(-35). Suppose 294 = -8*q + b. Suppose q = -28*g + 33*g. Is g smaller than 40?
False
Suppose 34*u = 20*u. Which is bigger: -1/3952 or u?
u
Let v = -0.201 + 0.0134. Let y = v + -0.0124. Which is greater: -6 or y?
y
Let u(q) be the first derivative of 8*q**2 - 351*q - 25. Let b be u(22). Let x be 2 + (-2 - 10/(-8)). Is x smaller than b?
False
Suppose -3*g = -0 + 3, 4*n - 26 = 2*g. Let z = 59 + -47. Suppose 0 = 2*d + m - 6 - 8, 2*d - z = -2*m. Are d and n equal?
False
Let g be -10*9/24 - (-765)/306. Is g bigger than 1043?
False
Suppose 0 = -2*d + 3*c - 155 - 47, 2*c = -d - 94. Let y = -98 - d. Let h be (-54)/135 - (29/(-35) - y). Which is smaller: h or 2?
h
Let p be (7510/(-46) - -6) + -5. Let v = 162 + p. Which is greater: 0 or v?
0
Let f = -76 - -82. Suppose 0 = 3*l + 2*s + f, -3*l - 2*l = -5*s - 15. Let z be (-3 + -28 + (l - -4))*-1. Is z greater than or equal to 27?
True
Suppose 0 = v + 72 - 58. Suppose 7*j = 4*j + 3. Let c = v - j. Is -14 at most as big as c?
False
Let h(b) = -b**2 + 4. Suppose 10 = 7*w - 5*