 is smaller: u or -2?
u
Let p = -115.18 + 114.9. Let f = 0.06 - -0.04. Which is bigger: f or p?
f
Let q = -28106/9 + 6688841/2142. Let p be ((-1)/17)/(35/20). Let t = p + q. Which is smaller: -1 or t?
-1
Let f = -0.87 + 0.97. Let c = 1408.022 - 1402. Let v = c - 0.022. Is f > v?
False
Let h be 3/(22/(-4) - -7). Suppose -h*l - 10 = -2, t - 3*l + 33 = 0. Which is greater: 2/19 or t?
2/19
Let i = 284 - 322. Let o(u) = u**2 + 38*u + 10. Let h be o(i). Let c be 1/(-3)*10*-3. Do c and h have the same value?
True
Suppose 13*b = 8*b. Suppose l + b*l = 4*s + 3, 4*l - 5*s - 34 = 0. Let t be 18*(1/(-3) + 1). Which is smaller: l or t?
l
Suppose -14*q = -1944 - 492. Is q greater than 174?
False
Suppose 10*u - 12*u + 4 = 0. Suppose -3*y - 3*g + 291 = -0*g, 97 = y + u*g. Let m = y + -97. Are 8/21 and m equal?
False
Suppose -6 = 3*b, -4*y - 3*b - 102 = -1572. Let l = -328 + y. Which is smaller: 42 or l?
l
Let v(c) = -c**3 + 4*c**2 - 3*c + 4. Let j be v(5). Let d be (1 + 22/(-10))/(38/(-380)). Let m be 2 + 9/(-4) + (-429)/d. Is j at most as big as m?
True
Let b be (-2)/1*(29 + (-627)/22). Is b smaller than -9/52?
True
Suppose -14*q = -6*q + 32. Let d be (-2)/q - (-315)/126. Suppose 3 = 2*u - 3. Is u less than d?
False
Let t be ((-18)/(-10) - 0) + (-4)/(-20). Suppose -o + t = 0, -2*o + 177 = p - 0*o. Suppose 0 = 7*q + 19 - p. Which is smaller: 24 or q?
q
Let o = 187 - 186. Let q be (o - 91/(-14))*(-18)/33. Are q and -4 nonequal?
True
Let a = -0.128 - -0.028. Let b = -4.96 + 6.64. Which is smaller: b or a?
a
Suppose 3*h + 2*t = -3*t - 990, 4*h + 5*t + 1320 = 0. Let v = 396 + h. Which is greater: v or 65?
v
Suppose -4*l = -3*l - 3*y - 12, 3*l = -5*y + 36. Let t be 2 - (1 - (-2 - -1)) - -155. Let i = -145 + t. Which is smaller: l or i?
i
Suppose 0 = 4*y, 11*y - 14*y - 5 = u. Let p(j) = -3*j**3 - 4*j**2 - 2*j. Let m be p(-2). Let z be m/(-9)*3 - -1. Which is smaller: z or u?
u
Let r be -3*(56 - (0 + -5)). Let d = r + 203. Which is bigger: d or 62/3?
62/3
Suppose z = -0*z + 13 - 9. Let k = 4 - 2. Suppose z*w = 3*w + k. Which is smaller: 3 or w?
w
Let p(s) = s**3 - 3*s**2 + s - 2. Let d be p(3). Let q(f) = -39*f - 126. Let k be q(-4). Let j be ((-3)/(54 - 0))/(4/k). Which is smaller: d or j?
j
Let o be (5 - -1)*(-2)/3. Let j be (-3*10/45)/(o/522). Suppose 27 - j = 12*y. Which is bigger: y or 1/2?
1/2
Suppose 2*g + i = 59, -5*i = -5*g + 35 + 120. Let h(b) = -b**3 - 8*b**2 + 7*b + 16. Let n be h(-8). Let q = n + g. Is q at least -1?
False
Let d = 2155 - -22671. Is d <= 24826?
True
Let i = -2 + 1. Let q be (-2037)/(-75) + 500/(-3125). Which is smaller: q or i?
i
Let t(l) = 2*l - 10. Let p be t(7). Suppose -57*f = -9*f - 336. Is p less than or equal to f?
True
Suppose 3*g + 2*y = -0*y + 1503, 0 = 2*g + 3*y - 1002. Let h = 504 - g. Which is smaller: h or -73?
-73
Let g = -2879.08 - -2879. Which is bigger: 50 or g?
50
Let v = -0.386 - -40.386. Let z = 38 - v. Is -1.37 less than or equal to z?
False
Let r be ((-658)/(-42))/((-104)/60) + 9. Are -2/23 and r equal?
False
Suppose -2*n = q + 511, q = -3*n + 2*q - 769. Let u = 386 + n. Let v = -144 + u. Which is smaller: -43/3 or v?
-43/3
Suppose 0 = -0*d + 2*d - 10. Suppose -5*l + 260 = -d*t - 0*t, 5*t = l - 268. Let a = 39 + t. Which is bigger: -14 or a?
-14
Suppose 46*c + 5 = 51*c. Suppose 3*o - 3 = -3*h, 0*h + c = -4*h - 5*o. Let d be (h/20)/(4/(8/(-3))). Which is smaller: d or -1?
-1
Let d = 155 + -246. Let y = d + 94. Which is greater: 13/6 or y?
y
Let u = -2757 + 2757. Is u at least 3/809?
False
Suppose -7*o = -2*o - 110. Suppose o = 5*q - 4*q. Let x = 35257 - 35234. Is x less than or equal to q?
False
Let z(r) = -72*r - 2519. Let d be z(-35). Is 45/301 equal to d?
False
Let m(f) = 125*f + 280. Let i(t) = 9*t + 20. Let a(o) = 55*i(o) - 4*m(o). Let k be a(-4). Let c = -2039/325 - -80/13. Which is smaller: c or k?
c
Let s be ((-969)/38)/(18/(-48)). Let w = 21 - -46. Which is bigger: w or s?
s
Let k(m) = 500*m - 2001. Let q be k(4). Are q and -3/3415 equal?
False
Let d = 58 - 126. Let g = -556 - -488. Let i = g - d. Which is greater: i or -16?
i
Let s be 1/((-2)/2*1). Let z = -13.8 + -188.7. Let y = z - -199. Is y > s?
False
Let z(m) = 159*m**2 + 777*m + 6. Let w be z(-5). Suppose f = -0*g + 4*g - 393, 0 = -5*g + 4*f + 505. Which is greater: w or g?
g
Let d be (-203)/58 + 4 + 3458/(-4). Is -866 at most as big as d?
True
Let b = 920 + -863. Suppose -75*c - b = -18*c. Is -1/1351 greater than c?
True
Suppose -18*i - 19553 = 23413. Do -2387 and i have the same value?
True
Let n be (((-39)/(-3))/(-13))/(1/(-7)). Let z be (-4 - (7 - n))*51/(-6). Which is smaller: 246/7 or z?
z
Suppose -a = -2*v - 2, 2*a = -0*v + 2*v + 6. Suppose 3*b - a*m = -2, 3*b + 3*m - m = -8. Let t be (-14 - 1)*(-2)/(-156)*4. Which is smaller: t or b?
b
Let g = 736 - 770. Let s(o) = -o**2 - 38*o - 131. Let x be s(g). Let r be (12/14)/(1/7). Which is bigger: x or r?
r
Let u be ((-52)/(-39))/(1/18). Suppose -8*s = 4*s + u. Let d be (1/s)/(6/4 - 1). Which is greater: d or -5/9?
-5/9
Suppose 6416*j - 6415*j - 2186 = 0. Which is smaller: 1/2 or j?
1/2
Let t be (-9)/56*7 + 1/8. Which is bigger: 3910 or t?
3910
Let m be (55 + -73)*(739/(-4))/(33/(-8)). Which is smaller: -806 or m?
m
Let g be (-4)/(-3) - (4 + 14/(-3)). Suppose g*u - 11*u - 90 = 0. Let q be u/110 + (-201)/(-1485). Which is smaller: q or -1?
-1
Let w be ((-10)/(-49))/(26/91*-7). Is 1 smaller than w?
False
Suppose -4*j + 76 + 46 = 2*o, 5*o = 2*j + 269. Suppose -52*w + o*w = 18. Is w less than or equal to 2/27?
False
Let d = 6.9 + -19.9. Let i = -524 + 513. Which is greater: i or d?
i
Let d = -6329 + 6325. Which is smaller: d or 4/131?
d
Suppose s - 6*s + 24 = 4*o, 4*s + 5*o = 21. Let a = 7 - 5. Suppose 2*u - 56 = -4*v - a*u, -s*u + 38 = 3*v. Are 20 and v unequal?
True
Let g = 0.17915 - 160.20915. Let k = -164.64 + 5.64. Let c = k - g. Is c less than or equal to 0.1?
False
Let n(w) = 402*w + 11295. Let q be n(-28). Which is smaller: 1521/40 or q?
1521/40
Let m(t) = -20*t - 103. Suppose -19*g - 27 = 68. Let v be m(g). Let i(k) = k**3 + 9*k**2 - 12*k - 13. Let q be i(-10). Which is greater: v or q?
q
Let s = -88 - 5. Let w = 5.11 + -5.01. Which is smaller: s or w?
s
Let j = -3.827 + 4.527. Which is bigger: 192 or j?
192
Suppose -121*x + 130*x = 1152. Let n = x + -21503/168. Which is greater: n or 1?
1
Suppose 3470*x - 3459*x = 80 - 3. Which is bigger: -80/9 or x?
x
Let c(q) = 5*q**2 + 0*q + 9*q - 6*q**2 + 15 + 2*q**2. Let y be c(-5). Which is smaller: -44/7 or y?
-44/7
Let w be ((-771)/5)/((-1177)/(-110) - 11). Is w at least 515?
False
Let m = 1826 + -1825.6. Let t = 45 - 85. Which is smaller: t or m?
t
Suppose -z - 46 = -25. Let m be -5*(z/(-5) - 4). Let b = -2834 - -121852/43. Which is smaller: m or b?
m
Let h = -319 - -373. Suppose -3*v + i + 2*i = -h, 4*v + 4*i - 112 = 0. Which is smaller: v or 20?
20
Let q be (-2093)/1120 + 17/(153/18). Which is smaller: q or -1?
-1
Let x be (14 - 22) + 2/2*82. Is 63 at most x?
True
Let x be 9655/30 + (-28)/6. Do x and -0.1 have the same value?
False
Suppose 240 = -90*t + 94*t. Let d = t - 59. Which is smaller: -4/161 or d?
-4/161
Let c = -7592 - -6301. Which is bigger: c or -1290?
-1290
Let f = 587 - 585. Let o be f*(-2151)/17400 + (-2)/(-8). Are 1 and o nonequal?
True
Let n(h) = 2*h + 31. Let g = 40 - 54. Let o be n(g). Is -15 < o?
True
Let x = 512 - 512.8. Let f = x + 0.79. Which is smaller: f or -19?
-19
Let k(h) = -h**3 - h**2 + 80. Let x be k(0). Suppose 154*v = -123*v - 91*v + 29808. Is x at most v?
True
Let t(g) = -5*g**2 - 399*g + 487. Let p be t(-81). Which is smaller: 8/27 or p?
8/27
Let m = 4 + -3.6. Let v = 359 + -355. Let c be (-8 + v)/((-32)/56). Which is bigger: c or m?
c
Let y(t) = 7*t - 59. Let p be y(9). Suppose 8*n - 12*n + b = 27, -n - p = -3*b. Which is greater: n or -46/7?
-46/7
Let y = 4496 + -556. Which is bigger: y or 1?
y
Suppose -5*h + 3*f - f + 60 = 0, 25 = 3*h + f. Suppose -5*c = -2*p, -8*p + c = -h*p. Is 1/231 at least as big as p?
True
Let s(o) = o**3 - 10*o**2 + 19*o + 1. Let l be s(8). Let n = 26 - -1. Which is bigger: l or n?
n
Let w = -210 - -210. Let n = -275677/627 + 1319/3. Which is greater: n or w?
w
Let q(k) = 260 - 224 - 2*k - 16*k. Let u be q(22). Let z be (-1108)/(-15) - 48/u. Is 75 greater than or equal to z?
True
Let k