hich is bigger: n or f?
n
Let g = 304.1 - -78.9. Let u = g + -382.3. Is 0 less than u?
True
Let n = 2728 - 2728. Is n < -11/273?
False
Let m(k) = k**2 - 38*k + 14. Let q be m(35). Let y be (-605)/1820 + (-14)/q. Which is greater: 0.1 or y?
0.1
Suppose 134*t + 76 + 55 = -271. Which is greater: t or -487?
t
Let b = 4211 - 4213.5. Is b > -0.41?
False
Suppose 0 = -4*k + b + 1601, -3*k = 2*k + 3*b - 2014. Let x = k + -273. Let t be (-8)/6*112/x. Do 0 and t have the same value?
False
Let l = -76124 - -697448087/9162. Which is smaller: l or -1?
-1
Let p = 591/10 - 59. Let x = -1502.792 + -0.208. Let w = x - -1503.5. Are w and p unequal?
True
Suppose -s = 3, 2*s + 0*s - 294 = 5*n. Suppose 0 = 590*l - 231*l + 21181. Do n and l have the same value?
False
Suppose 58*x = 2046 + 3174. Let t be (2/6)/((-1)/3). Which is greater: t or x?
x
Let r = -76 + 531/7. Let o = 9 - 4. Let d be (-16)/12 + o/15 + -1. Is r < d?
False
Let v = -336 + 346. Suppose -v = -3*w - 2*c + 7*c, -2*w - c = 2. Let m(d) = -d**3 + d - 1. Let s be m(1). Is w equal to s?
False
Let i be ((-60)/45)/((-54)/(-5)). Are -1 and i non-equal?
True
Suppose 0 = 2*m + 5*w - 114, 3*w - 266 = -4*m - m. Which is smaller: m or 93?
m
Suppose -29*j - 1384 = 4097. Is -2450/13 less than or equal to j?
False
Suppose -2970 = -11*q - 4*q. Let o be ((-1176)/q)/(-7) + -1. Which is greater: o or -1?
o
Let w = -317.8 + 372. Let h = 6.6 - 60.6. Let l = h + w. Is 0.02 at least l?
False
Let m = 318405928 - 58904947202/185. Let l = -808 + m. Suppose -6*k = -3*k. Is k at least l?
True
Let g be (92/24 - 4)*3*2. Let m be g*(-2 - -1 - 11). Suppose -10 + m = -2*t. Which is greater: -6 or t?
t
Let g = 4.1 - 18.1. Let w = 5 - g. Let b = w + -19.1. Are b and -20 equal?
False
Suppose 163 = -6*g + 19. Which is smaller: 4.5 or g?
g
Let k(j) = j**3 - 26*j**2 + 3*j - 48. Let f be k(12). Do -2/7 and f have the same value?
False
Let n = 0.9 + -6.9. Let o = -81.3 + 87. Let y = n + o. Is y greater than or equal to 1?
False
Let r = 125 - 125.134. Let u = r - -16.134. Which is bigger: u or 4?
u
Suppose -4119 = f + p, -4*p - 4553 + 12839 = -2*f. Which is smaller: f or -4128?
-4128
Suppose -64 = 3*v - 5*c, -c - 7 = -v - 5*c. Are v and 22 non-equal?
True
Let g be (1 - 44232/(-6318)) + -13 + 5. Do g and -1 have different values?
True
Suppose -34*n - 100 + 1188 = 0. Is n less than 7/2?
False
Let m = 176165 + -1583894/9. Let z = m + -176. Which is bigger: 0 or z?
z
Let f be 54/((119/(-14))/17). Let q be (-12)/3 - (7 - -98). Is q at most f?
True
Let x = 55/1833 - 2/39. Let n(v) = -v**2 - v + 1. Let b be (-1)/(4 + -7 + 4). Let y be n(b). Which is smaller: x or y?
x
Let w = 2 - 4. Let n be (w/4)/((-2)/16). Let d(b) = b**2 - 59*b + 219. Let o be d(4). Which is smaller: o or n?
o
Suppose 325 + 85 = 10*c. Suppose c = 3*k - 94. Let r = -88 + k. Is r less than or equal to -43?
True
Let k = 2.56 + -2.966. Let w = 0.306 + k. Is 2/7 smaller than w?
False
Suppose -6*w = -12*w - 126. Let j(v) = 6*v + 145. Let u be j(w). Which is bigger: u or 4/9?
u
Let r = -3247 + 126631/39. Suppose m - 4 = 4. Suppose -4*j + 0*k + 2*k - m = 0, 6 = 3*k. Which is smaller: j or r?
j
Suppose 0 = -17*u + 478 + 304. Let d be 126/u - (25 - 24). Is d greater than 2?
False
Let x = 14929 + -14928. Is 2515 <= x?
False
Let q be 1248/30*(-210)/28. Which is greater: q or -307?
-307
Let t be 561/(-55) + (-1)/(-5). Let q be 1*4/t + 78/645. Are -1 and q unequal?
True
Let l = 0.282 - 0.182. Which is smaller: l or -15.65?
-15.65
Let f = -98 - -80. Let d be (-10 + 19 - 10) + (-2)/f. Let s = -25 - -24. Which is bigger: d or s?
d
Let y(n) = n**3 - 37*n**2 + 32*n + 122. Let x be y(36). Is -26 greater than x?
False
Let g(j) = -12*j**2 + 2*j - 5. Let l(p) = -23*p**2 + 4*p - 9. Let a(w) = -5*g(w) + 3*l(w). Let q be a(1). Is q smaller than -10?
False
Let t(v) = 2*v + 51. Let o be t(9). Suppose 4*h + 2*a = -a + 103, 2*h - o = -5*a. Which is smaller: 2 or h?
2
Suppose y = -4*k + 4, 10*k + 14 = 17*k. Are -48/13 and y nonequal?
True
Let b be (2 - 3 - 1)/((-12)/(-96)). Let y be (-2 - b/12)*-24. Suppose y = o - 5*o. Which is smaller: -5 or o?
-5
Let r = 2092 - 2020. Are r and 34 unequal?
True
Suppose z = 103 - 47. Let x = z - 32. Let c be (-4)/x*(1 - -1). Which is smaller: -0.028 or c?
c
Let o = 40 - 43. Let v be 2/o + 136*1/186. Let j = 0.0408 - 6.0408. Is v >= j?
True
Let w = 0 - -3. Suppose -3*l = 5*o - 11, 0*l + w = 2*l - o. Let x be (11/((-66)/52))/(2/(-6)). Is x at least l?
True
Suppose 4*u - 4*o = 232, 123 = 6*u - 4*u + 5*o. Let t = -60 + u. Let i be ((-6)/8)/((-1)/(8/t)). Do -6 and i have the same value?
True
Let t be (-4)/(-3) - 560/(-12). Let v = 126 + -77. Which is smaller: v or t?
t
Suppose 4*l = 4*r - 68, r - 13 = l - 4*l. Let a be r/(-20) - 4/20. Let x be (-4 - a)/((-117)/(-2)). Which is smaller: 0 or x?
x
Let w = 50367 + -232947377/4625. Is 1 equal to w?
False
Suppose 25*t - 6 = 28*t, 2*r = t + 462. Which is greater: 231 or r?
231
Suppose -57 = 3*i - 54. Is i less than or equal to 4/1185?
True
Let q be (-4)/(-10) - 68/95. Let y(h) be the second derivative of 8*h**3/3 - 97*h**2/2 - 7*h - 3. Let v be y(6). Is q equal to v?
False
Suppose 270*r + 72*r + 126198 = 0. Is r bigger than -2215/6?
True
Let c = -7394 - -7382.1. Which is smaller: -1.3 or c?
c
Let g = 158 - 159. Let q be (-1)/2*(-30 - -4). Let p be (16/24)/(q/(-3)). Which is bigger: g or p?
p
Let i(r) = -28*r + 6. Let u be i(3). Let d = u - -120. Let c = d + -42. Is c equal to -2/241?
False
Suppose -42*c - 34491 = -106437. Is c at least as big as 1712?
True
Suppose 3*w + 1161 - 372 = 0. Is -282 at least w?
False
Let n = 0.02 + -0.22. Suppose 2*r + 262 = -2*p, 5*r - 5*p = -867 + 222. Is r greater than n?
False
Let u = -3380.8 - -3396. Is u at most as big as -4?
False
Let r = -0.223 + 0.277. Let u = r + 0.946. Which is greater: u or -65?
u
Let v(i) = -97*i + 2043. Let z be v(21). Which is bigger: z or 224/33?
224/33
Let m be (-22)/8 - 0/(-91). Which is bigger: -1/133 or m?
-1/133
Let j = 19678728/955 + -20606. Let m = -583/4775 - j. Which is smaller: m or -1?
-1
Let j(i) = -2*i**2 + 101*i - 1121. Let q be j(34). Suppose -72 = -6*a + 2*a. Let p be (0 - 2)*2/a. Is q <= p?
False
Suppose -9 = -5*a + 2*a. Let z = 2777024482/803 - 3458309. Let u = -15/73 + z. Is a equal to u?
False
Let q be 48/14 - 4/(-7). Suppose -q*p - 6 = -2*p. Let u be 3/(-3) + (p - -3 - 3). Is u greater than or equal to -6?
True
Let t be 4/(-22) + (-4)/(-88)*136. Let c be (t/(-8))/(-3) - (-125)/(-340). Let l(b) = b**2 + 3*b - 3. Let v be l(-4). Is v smaller than c?
False
Let r = -15 + 14. Let c(o) = -o**2 + 5*o - 5. Let f be (4 - 2) + (9 - 7). Let z be c(f). Is z <= r?
True
Suppose -5*u = -2*d - 2*d + 95, 4*u - 20 = 0. Suppose 0 = 6*n - n - d. Suppose -29 = n*h + 25. Which is bigger: h or -5?
-5
Suppose 172 = -5*m - 248. Suppose 3034 - 4490 = 269*j + 20602. Is j < m?
False
Let r be (-5040)/(-432)*((-4)/(-6) - 11/12). Let u = 3 - 5. Which is bigger: u or r?
u
Let d(n) = n**3 + 16*n**2 - 3*n - 49. Let r be d(-16). Let v = 43/65 + -1/5. Which is smaller: v or r?
r
Suppose 0 = 7*f - 96 - 9. Let g be -1 + f/18 + (-23181)/(-90). Let l = g + -2563/10. Which is smaller: 0 or l?
0
Suppose 0 = 85*x - 546 + 2671. Is x at most as big as 235?
True
Suppose 2*s - 210 = -2*t, 8*s + 526 = 5*t + 12*s. Suppose -2*u + 554 = -5*h, 2*u - t = h - 0*u. Is -113 > h?
False
Let j = -1 - -5/4. Let s = -0.1266 + -252.5734. Let z = s - -254. Which is smaller: j or z?
j
Suppose 8675 - 1747 = -8*w. Let v = w + 557. Which is bigger: -310 or v?
v
Let g = -0.198 + -7.902. Let i = 0.1 + g. Let w = 4888 - 4887.8. Which is greater: i or w?
w
Let v be 46/(-3) + 2/(-3). Let k be ((-63)/(-70))/(2/v). Suppose -140 + 78 = 23*d + 99. Is d < k?
False
Let c = 22 - 19. Let u be 41/c - 19/(-57). Suppose 0*j = 7*j - u. Is j smaller than 2/11?
False
Let b(m) = m**2 + 16*m + 24. Let a be b(-12). Let n(z) = -3*z - 1. Let c be n(-1). Let k be (18/a*4)/(3/c). Which is smaller: -4 or k?
-4
Let c be (4 + -6)*2/688. Suppose -3*w = -4*q - 0*q - 11, -q - 2*w = -11. Which is greater: c or q?
q
Let h(f) = 22*f**2 + 3*f + 1. Suppose -328*y + 10 = -338*y. Let b be h(y). Is b at most as big as -3/11?
False
Let t be (1893 - 20)*2/2. Which is greater: t or 1874?
1874
Suppose 0 = -2*q - 28*q - 1500. Let t be q/(-66) - (-9)/(-99). Whic