 smaller: x or i?
i
Let i = -5409 - -611213/113. Let v(n) = n**2 - 269*n - 3372. Let y be v(-12). Is i less than y?
True
Let v(y) = -2*y**3 + y**2 + 2*y + 1. Let t(g) = -2*g**3 + 14*g**2 - g + 16. Let d be t(7). Suppose 0 = d*o - 7*o + 4. Let i be v(o). Which is greater: i or 18?
18
Suppose 0 = -g + 2*z + 372 - 82, 4*g = -5*z + 1173. Is 290 greater than g?
False
Let h = -137 + -166. Let a = h - -1511/5. Which is greater: -3 or a?
a
Let o = -213047756/6063 - -35139. Which is smaller: o or 0?
0
Suppose 22*k = 21*k - 2*n + 8, 4*n - 16 = 0. Which is bigger: -3/8825 or k?
k
Let d = 254.6 - 258. Let i = 3.33 + d. Do 0 and i have the same value?
False
Let h be -1*(-550 - -1) + -5*(-4)/10. Is 553 at most h?
False
Suppose -84*b + 129 = d - 86*b, d + 5*b - 143 = 0. Which is smaller: d or 129?
129
Let f = 1097/2 - 95443/174. Let r = 79 - 80. Which is bigger: r or f?
f
Let v = -124.11 + 124. Let x = -1209 - -10879/9. Is v at least as big as x?
True
Suppose 9 = -3*g, 0 = -2*n + 7*g - 9*g - 270. Is -130 equal to n?
False
Let l = -352 - -158. Let r = l + 194.1. Is r at most -4/219?
False
Suppose a - 4*o - 4 - 1 = 0, 5*o + 36 = -3*a. Let u(k) = 32*k + 91. Let h be u(-10). Let s = -233 - h. Is s at least as big as a?
True
Let p be 5/15*-15 + 97. Let a = p - 92. Which is greater: -2/33 or a?
a
Let t be (5472/399996)/(2/731) - 5. Which is smaller: t or -1?
-1
Let c = -4.511 + 3.511. Which is smaller: c or -2.032?
-2.032
Suppose 0*c = -13*c + 26. Suppose 0 = -5*t + 5*i - 460, 4*t + 70 = c*i - 298. Is -91 greater than t?
True
Let j = -352 - -276.8. Let v = j + 77. Suppose 2*s + 3 + 1 = 0. Which is smaller: s or v?
s
Let o(m) = m**3 + 8*m**2 + 14*m + 2. Let i be o(-3). Suppose 2*z + 45 = i*g, 4*z - 4*g + 25 = -59. Is z < -20?
False
Let z = -8322902/13 - -639380. Is -844 bigger than z?
False
Let s(k) = -k - 11*k**3 + k**2 - 155 + 12*k**3 + 0*k. Let m be s(0). Let l = 1685/11 + m. Is l bigger than -3?
True
Let z(k) = -15 - 26*k + 65*k - 35*k. Let d be z(3). Let u be (-2)/(-12)*d - 15/34. Which is bigger: u or 0?
0
Let k = -0.06 + -4.94. Let c = k + 5.1. Let a = 830 - 839. Which is smaller: c or a?
a
Suppose -86*t + 4745 - 2853 = 0. Let g = 1211/3 + -383. Is t greater than g?
True
Let k be ((-9)/(-3))/(-15) - 351/(-5). Suppose -k = -6*a + 14. Let b be 26/((6/9)/((-4)/(-12))). Which is bigger: b or a?
a
Suppose 13*z - 368 + 56 = 0. Suppose -9*k - z*k = 33. Which is smaller: k or -4/17?
k
Suppose 0 = -4*l + 8*r - 4*r - 40, 4*l + 3*r = -5. Let d be (-132)/20 + 6 + 617/l. Let p = d + 125. Which is smaller: p or 0.7?
0.7
Let i = 250 + -427. Let a = i + 160.4. Let j = 16 + a. Which is greater: j or -0.08?
-0.08
Let s be (250/(-126) + 2)*2. Suppose 25*m - 17*m - 40 = 0. Suppose -8*q - 4*g + 4 = -11*q, 5*q - m*g + 5 = 0. Which is bigger: s or q?
s
Let u be (-51 + 56)/(15/249). Are u and 67 unequal?
True
Let y = 146 - 200. Let o = y + 54. Is o at most as big as -2/173?
False
Let i = -444 + 450. Suppose 2*z - 2*g = -8, 0*z = 5*z + 2*g + 34. Is z less than i?
True
Let v = 672 + -1072. Let y be (-1)/((((-15)/v)/3)/2). Is y < -160?
False
Suppose 0 = y + i + 16128, -y = 4*i + 19374 - 3222. Which is smaller: -16119 or y?
y
Let c = 442 + -1769/4. Suppose 2*m + 3*m - 20 = 0. Let v be 2 - m*(-3)/(-4). Which is greater: c or v?
c
Let j = 134 - 118. Let d be (301/13 - j/104)*1. Is d bigger than 121/5?
False
Let x(n) = n**3 + 6*n**2. Let g be x(-6). Let l = -496261524 + 10987230139427/22140. Let a = l - -16/205. Which is smaller: a or g?
a
Let f be 3 + (-232431888)/58069125 - (-1)/1. Let y = -2/26625 + f. Which is smaller: -1 or y?
-1
Let f = -1132/9 + 356/3. Let c = -79 + 71. Which is greater: f or c?
f
Let u = -129 + 126. Suppose -5*g = -3*g + 16. Let m be g*(u - -6)/(-24). Is -1/69 less than m?
True
Let m = 79 + -78. Let j(i) = -15*i + 3. Let t be j(m). Let c be (-3)/(-6)*(-268)/10. Is t less than or equal to c?
False
Let t = -8067 - -8066.9. Is 179.93 < t?
False
Let x = -23726 - -23722.8. Suppose 2*r - 1 - 3 = 0. Is x at least as big as r?
False
Suppose -3*a + o - 395 = 3*o, o - 261 = 2*a. Do a and -521/4 have the same value?
False
Suppose -9*a = 10*a - 665. Let x = 112 - 71. Let i = -8 + x. Are a and i non-equal?
True
Let i be (-3 - 701/45) + (-10)/45. Let l = 747/40 + i. Is 1/7 <= l?
False
Let w(l) = 144*l + 865. Let n be w(-6). Which is smaller: n or -1/3738?
-1/3738
Let m be ((-2)/(-3))/((64 - 31)*(-2)/(-1017)). Which is smaller: m or 11?
m
Let n be ((-4)/2)/(-11 + 13). Let t be n - (19 + 16/(-4)). Let a = 42 - t. Is a at most 58?
True
Let n be ((-4)/(-8))/1*(0 - -16). Let d be 1/(-2) - ((-780)/n)/(-13). Suppose 0 = 7*j - 6 + 76. Do d and j have different values?
True
Let y be (-162)/108 - 9619/2. Which is bigger: y or -4812?
y
Suppose -3 = d - 0*d. Let j = -2 - d. Let o be (-24)/168*-77 - (-1460)/(-132). Which is bigger: j or o?
j
Suppose -2*i - 70 = m - 6*m, 3*i + 119 = 4*m. Suppose -7*j = -4*j. Let d(u) = -u**2 + u - 44. Let k be d(j). Is k equal to i?
False
Let b be 2/(-11) - 39/(-33). Let r be (-21)/(-33)*-1*b. Let c(v) = 12*v + 11. Let d be c(-1). Which is bigger: r or d?
r
Suppose -3*f = 2*x - 4*f - 163, -71 = -x + 4*f. Let t be (-1)/x*(-4 + 2). Suppose z + 40*o = 45*o - 70, 2*z = 2*o - 28. Is t equal to z?
False
Let c be 385980/24*(2 - (-20)/(-11)). Let g = 2927 - c. Is 4 > g?
True
Let l(o) = o**2 - o + 1. Let z be l(0). Let u = 3913/961 - 22080173/83607. Let w = u + 260. Which is smaller: z or w?
w
Suppose 45 = -42*l + 51*l. Let r(q) = -2*q**2 - 8*q + 3. Let d(x) = x**2 + x - 1. Let s(o) = 3*d(o) + r(o). Let a be s(l). Are 2/5 and a nonequal?
True
Suppose 98*d - 15416 = -1304. Which is bigger: d or 134?
d
Let g = 1973 - 1213. Let n be 20/(-90) - g/(-18). Let w be (-34)/24 + n/28. Is 1 < w?
False
Let z = 2264 + -11333/5. Let m(c) = -2*c + 3. Let w be m(-3). Let f be 1 + -6*6/w. Which is greater: z or f?
z
Let m be 2 + (-3 - 0 - 0). Let y = 10139/185518 + -3/5014. Which is greater: m or y?
y
Let c be (-4)/2*(-21)/6. Let f(u) = -u**2 + 8*u. Let p be f(c). Let g = -1881623/4 - -470406. Is p greater than g?
True
Let k = 20.4 - 11. Let y = k + -9.427. Let h = y - -0.187. Is h smaller than 1/2?
True
Suppose -l = 6*l - 28. Suppose g = -3*z - 39, -l*g - 3*z - 167 = -2*z. Is -40 smaller than g?
False
Suppose -i - 2*o + 9 = 0, 8*o - 22 = -3*i + 3*o. Let c be i/((-8)/4)*4. Suppose -12 = 3*a, 18 = 2*h - 2*a + 4. Is h at least as big as c?
True
Let p(b) be the first derivative of b**3/3 - 6*b**2 + 4*b + 1. Suppose 8*g = 55 + 41. Let j be p(g). Is j less than -2?
False
Suppose 4*f = -17 - 3, -4*o = -4*f + 128. Let n be o - -33 - (-15)/4. Which is smaller: n or 235?
n
Let z be ((-8)/24)/((-8)/(-12)). Let n = -41/16 - -1159/496. Which is smaller: n or z?
z
Let w be ((-13)/(-4))/((-2)/(-8)*62/(-1426)). Is -11 greater than w?
True
Let n(s) = -19*s + 134. Let y be n(7). Are -52/121 and y equal?
False
Let r be 2/((-236)/114) + 1. Let q = 0.081 - 24.981. Let j = q + 25. Is r at least as big as j?
False
Let d be 0/2 + 21641/4465. Let o = -21/47 + d. Is -0.1 greater than o?
False
Let u = -161 - -186. Let x = -172 + 1206/7. Which is smaller: u or x?
x
Let c = -6234 - -57530/9. Let v = 158 - c. Suppose -2*t = -3*t + 3. Which is smaller: t or v?
v
Let b = -0.02301 + 585.02301. Do b and 0.1 have the same value?
False
Let b = -2/99 + 349/2574. Let w = -26027 + 26028. Is w less than b?
False
Suppose 1681 = y - o - 515, -3*y = 4*o - 6644. Which is greater: 15430/7 or y?
15430/7
Suppose 98*l - 96*l = -2*r + 14290, -2*r = 4*l - 28574. Is 7141 greater than l?
False
Let h = -330 - -397. Let d = h - 152. Does -85 = d?
True
Let t be 11*(4 + (-15)/5). Let b = 11 - t. Let s be b/3 - 2*1. Do s and -4 have different values?
True
Let f = -219 - -220.21. Let t = f + -9.51. Let q = t - -28.3. Is 0.1 smaller than q?
True
Let u(d) = -d**3 - d**2 + 3. Let q be u(0). Suppose -126 = -q*f - 57. Is 17 >= f?
False
Let y = 53.94 - 52.94. Which is bigger: y or -21.36?
y
Let r be (-8)/12*465/(-10). Let m = -41 - -46. Suppose -s = 2*c + 3*c - 12, -4*c + 144 = m*s. Which is greater: s or r?
s
Let o = 580 - 2347/4. Let s(d) = -d**3 + 7*d**2 - 5*d - 12. Suppose 13*r = 16*r - 18. Let n be s(r). Which is smaller: o or n?
o
Let l = 24.518 + -0.118. Let h = 3.6 + -1.2. Let x = l - h. Is x smaller than 1?
False
Let d(z) = 2*z**3 