e
Let d = -146765 - -25830707/176. Which is smaller: d or -1?
-1
Let s be (-27)/12*(-7)/(189/72). Let z be 1 - 3/15*-22. Which is greater: s or z?
s
Let n = -9762 - -3006681/308. Which is greater: n or 1?
1
Let v = -204 - -112. Let j = -92.017 - v. Let p = -0.087 - j. Is p > -4?
True
Let t(m) = m + 21*m**2 - 22*m**2 - 9*m - 12. Let b be t(-5). Let z be ((-2)/b)/((-28)/(-21)). Is -2 < z?
True
Let y = -6672 - -3439. Which is smaller: -1 or y?
y
Let n(i) be the first derivative of i**2 - 25*i + 24. Let g be n(11). Suppose s - 4*q = 2 - 7, 3*s - 3*q + 6 = 0. Is g <= s?
True
Let j = -836985 + 20091287/24. Let x = 152 - j. Suppose 0 = -3*q - 0*q. Is q greater than or equal to x?
False
Suppose -k - 85 = -127. Suppose 842 - 2690 = k*i. Let a = -2 - 43. Which is bigger: a or i?
i
Let h be (-6)/(-4) - (-126)/(-28). Let t be (-2)/2*-2*h/(-2). Suppose -o = -t*o - o. Which is bigger: -3 or o?
o
Let m = 601 + -603. Is m not equal to -53/12?
True
Suppose r = 34 + 23. Let i = r + 91. Let w = 148 - i. Do w and 2/57 have the same value?
False
Let x = -0.028 - -0.05. Let o = -0.0738 + -0.6482. Let m = o + x. Is 1/4 greater than or equal to m?
True
Let h be 17/153*(-3 + 3). Which is smaller: 8.61 or h?
h
Let m = 15009505207141/3191815400039 - 2/895822453. Let v = -28744/279441 + 50/549. Let f = m - v. Is f greater than or equal to 4?
True
Let a(g) = -4*g**2 - 2 + 12*g + 7 - 2*g + 3*g**2. Let x be a(10). Suppose -300 = -x*y + 11*y. Is -50 < y?
False
Let v be ((-405510)/19300)/(-21) - 1. Which is bigger: v or 0?
v
Let o be (19/(-3) + 0)*(-3 - -45). Let d = o + 244. Which is smaller: d or -29?
-29
Let m = 51 - 25. Let f = m + 2. Suppose 3*a = -g + 6*g - f, 2*a + 3*g = -25. Is -53/5 smaller than a?
False
Let y(h) = 29*h - 759. Let c be y(25). Let f(w) = 3*w - 5*w**2 + w - 3*w**3 + w**2 - 3. Let z be f(2). Which is smaller: z or c?
z
Let a = -2039 + 2032. Do a and -4/71 have different values?
True
Let q be (-1152)/(-1368)*(-13)/12. Is -1 <= q?
True
Let f = -5.68 + -36.92. Let x = f - -37.6. Which is bigger: x or 13?
13
Let c be (-1*(-116)/(-8))/((-5)/10). Suppose 2*m - k = -20 - 14, 3*m + 4*k = -c. Which is greater: -124/9 or m?
-124/9
Let d = -671 - -670.93. Is d less than -41?
False
Let n be ((-2)/(-18))/((-22)/(-12)). Let c be (((-621)/(-18))/(-23))/(6/(-748)). Let w = c - 188. Is w greater than or equal to n?
False
Suppose -5*o - 7*z + 1 = -8*z, -3*o = z - 7. Which is smaller: o or 2/4145?
2/4145
Let l = -15 + 27. Let x(m) = m**2 + m + 11. Suppose y - 5*p = 5*y, 2*p = 2*y. Let s be x(y). Which is smaller: l or s?
s
Let l = -10 - -8. Let d = 3 + l. Let j = -2656 - -156706/59. Which is bigger: d or j?
d
Suppose -q = 2*q + 9. Let l be 15*(-1)/3 + -7. Let a be 6/l*(-2)/q. Is a at least 27/2?
False
Let b = -97 - -94. Let n be (-4)/14 - 1840/616. Is b at least n?
True
Let w = -71.2 - -104. Let f = w - 41.8. Which is greater: f or -1?
-1
Suppose -960 = 56*g - 248*g. Is g smaller than 228?
True
Suppose 18*a - 60*a = -6395 - 15991. Is 539 at least a?
True
Let d = -2/2117375 + 4278256/46059258375. Does d = 1?
False
Let s be (26/(-10) + 3)/((-1)/(-5)). Let v be 2*((-27)/6 - (-2 - s)). Let u be (4/66)/(v/(-3)). Is u at least -1?
True
Let n be 5 + 3*2/(-3). Suppose 0 = n*x + i - 10, -3*i + 4 + 12 = 2*x. Suppose -2 = 2*l + 4*u, x*l + 17 = -0*l + u. Which is smaller: l or -6?
l
Suppose 4*i + 2*d + 205 = 901, 0 = 5*i - 4*d - 909. Is i greater than 180?
False
Let l = -0.03835 - 97.53165. Let i = l + 104. Let d = 0.57 + i. Is d >= 3?
True
Let f = -0.6167 - -2745.6167. Is -2/7 greater than f?
False
Let y be (-746)/14 - (-6)/21. Let a = 41 + y. Let m = 139 - 137. Which is smaller: m or a?
a
Suppose 47*s - 1861 = 3027. Let i = 1.7 - 0.7. Which is bigger: i or s?
s
Let r = -84.872 - -84.94. Let h = -1043.068 + 1041. Let j = r + h. Which is bigger: 20/9 or j?
20/9
Suppose 14*m - 10*m + 5*o + 2318 = 0, 5*m - 5*o = -2875. Let r = m + 6360/11. Which is smaller: r or 2?
r
Suppose -10*x = 688 - 548. Which is smaller: 1.16 or x?
x
Let q = -148.3 + 163. Let l = 3.7 - q. Is -1 less than l?
False
Suppose 4*w - 845 = -5*o, -o - 685 = -5*w + 364. Let i be -2 + (-2 - -3) + w/(-40). Let a be ((-12)/(-9))/((-4)/18). Do i and a have the same value?
False
Let k = -5757997355/19563 + 294331. Which is smaller: 1 or k?
k
Let v be (4/(-2))/((-9867)/3291 - -3). Let c = 1109 + v. Suppose f + 5 = 4. Are c and f non-equal?
True
Suppose 58*h + 6177 - 1189 = 0. Is h greater than -345/4?
True
Let l = -712 + 610. Let i = -198 - l. Which is bigger: 2 or i?
2
Suppose -59*o + o = 37*o - 95. Which is greater: -5/221 or o?
o
Let t(j) = 9*j + 56. Let k be t(0). Let z = 89 - k. Let n = -29 + z. Is 2 smaller than n?
True
Let r be ((-12)/189)/(14/(-63) - (-32)/(-72)). Is 2/9 greater than or equal to r?
True
Let j be ((-56)/(-126))/((-1)/(-45)). Let g = -1 + 3. Let c be 74/(-4)*(-2)/g. Is c < j?
True
Suppose 20 = 3*b + o, 5*b = -4*o + 13 + 18. Suppose 4*y - 9*l + 8*l + 511 = 0, -l + 253 = -2*y. Let k = 131 + y. Is b at most as big as k?
False
Let l = 3115/2768 - 1/2768. Let u = -9/5 - -2. Which is smaller: l or u?
u
Let z be ((-35)/44 - -1)/(-6). Let l be (1224/4752 - 1*(-1)/(-11))*-6. Is z less than l?
False
Let g = -62 - -56.4. Let s = g + 17.7. Let d = 12.1 - s. Are -3/13 and d unequal?
True
Let i = -29 - -30.84. Let s = -1.9 + i. Let g = s - -0.16. Are g and -56 unequal?
True
Let p = 27 + -30. Let y(h) be the second derivative of -h**3/6 + 3*h**2 - 34*h. Let j be y(p). Which is bigger: 5 or j?
j
Suppose 2*r = n - 3*n + 114, 2*r + 161 = 3*n. Suppose -60*f + n*f = -185. Let a be f/(-10) + 2 + 2. Which is smaller: 1/6 or a?
1/6
Let a = -12.2 - -13.195. Let b = 153 + -153.005. Let d = b - a. Is 0 > d?
True
Let s = -112.9361 - 0.0639. Let i = -4 + 6. Which is bigger: i or s?
i
Suppose -4*l = -0*l - 16. Let z = -6783 - -6849. Is l less than z?
True
Let y(i) = 725*i - 18 - 699*i - 175 - i**2. Let x be y(13). Which is smaller: -172/7 or x?
-172/7
Let a = 408.3 - 407.3. Which is smaller: 3.7 or a?
a
Let g = -196 + 196. Suppose g = -3*t - 4*k - 445, 4*t + 5*k = -737 + 143. Which is bigger: t or -152?
t
Let d = 11029861 - 121427250/11. Let i = 8961 + d. Is -19 greater than i?
False
Let u = 1336275 + -1150533007/861. Let w = -154490/123 + 1256. Let h = w + u. Is -2/73 at most as big as h?
False
Suppose 0 = -90*o + 144*o + 54. Is 2462 less than o?
False
Let h be (-2)/((-72)/(-6))*(-6 - (2677 + 11)). Is h bigger than 460?
False
Let u be ((-5)/4)/((34/(-72))/(-17)). Let w be u/75*29/(-1). Which is smaller: w or 18?
w
Suppose -5*y = 0, -98 = -4*t - 2*y + 58. Is -4 less than t?
True
Let x be (-7 + 3)*(-123)/(-12). Let o = 44 + x. Suppose n + 2*g + 11 = -2*g, -o*g = -2*n + 11. Which is smaller: -9 or n?
-9
Let u = 38382 + -38388. Which is smaller: -96/19 or u?
u
Let y = 1122 - 5584/5. Let m = y + -213/40. Let k be -2 - (-2 - -1) - -1. Is m at least k?
False
Suppose -6 = 3*x - 8*x - 3*l, l - 2 = -5*x. Suppose -14*w = -165 + 53. Let r be (w/(-3) + 2)/(134 - -31). Is x < r?
False
Let q(l) = 4177*l + 20839. Let z be q(-5). Suppose -2*x + 24 = 108. Is x < z?
False
Let c be 3*((-285)/(-57) + (-186)/37). Let z be (64/12)/((-1)/(-3)). Let l be (-10)/6 + z/24. Do c and l have the same value?
False
Let z be 28/(-105)*-6*(-93 - 2). Let o = z + 457/3. Let p = 18 - 18. Is p bigger than o?
False
Suppose -1632 - 240 = -8*c. Let j = 234 - c. Is j >= -6/91?
True
Suppose 0 = u - 3, 5*u = 5*j + u - 3. Suppose 0*z + z = j*w - 122, -3*w + 124 = z. Do 37 and w have different values?
True
Let o be 4/(-6) - 370/3. Suppose 2*p + 255 = v, 1040*v = -4*p + 1036*v - 492. Which is smaller: o or p?
p
Let q be ((1519 - 2)*(-6)/12)/(1/(-2)). Which is bigger: q or -0.1?
q
Let m(t) = -t**3 - 3*t**2 - 2*t - 65. Let i be m(-5). Let n = -5/172 + -5125/1204. Is n at least as big as i?
True
Suppose -2*k - 3*v = -45, 0 = 3*k - 0*v + 4*v - 65. Suppose -5*m + 4*m = -k. Let c = m + -11. Is c smaller than 5?
True
Suppose 11*l + 4*o = 10*l - 4, 4*o - 20 = -4*l. Suppose -4*n + 11*n = -l*n. Let v = 1169 + -29219/25. Is v > n?
True
Let n = -16.7 + 26.7. Let d(k) = -k**3 - k**2 + 2*k + 7. Let y be d(0). Which is smaller: y or n?
y
Let z = 30879/7 - 168913/35. Is z less than -416?
False
Let z be (-11 - (-85918)/56)/((-78)/4 - -3). Which is bigger: -91 or z?
-91
Let p(t) = 55*t + 3. 