= 3.957 + 0.043. Which is bigger: -0.87 or f?
f
Suppose -8*w + 3206 = 3422. Which is bigger: w or -36?
w
Let w(v) = v**2 - 12*v + 18. Suppose 8 + 7 = m. Let z be w(m). Let y = -123/2 + z. Is 1 equal to y?
False
Let x(l) = l**2 - 11*l - 9. Let y be x(12). Suppose -2*j = -3*j + y. Suppose -j*g + 38 = 14. Is g less than or equal to 9?
True
Let d(x) = -7*x + 741. Let v be d(74). Which is greater: 224 or v?
224
Let s(n) = n**2 - 10*n - 27. Suppose -2*x = -2 - 22. Let i be s(x). Let y be 4/6 + 99/(-27). Is i bigger than y?
False
Let b = 29454/9515 - 4/865. Let f = b + -554/165. Which is smaller: f or -1?
-1
Let l = -2.3913 + 2.41. Which is smaller: 1 or l?
l
Let y be (-15)/(-6) + (-2)/(-4). Suppose w + 1 = -2*n - 3, 0 = n - y*w - 5. Let r be (-85)/29 + n + 4. Which is bigger: 0.1 or r?
0.1
Suppose 4*m - 3*m = -54. Which is smaller: -55 or m?
-55
Suppose -10 - 32 = -3*p - 3*h, 4*h - 8 = 0. Does p = 0.1?
False
Let h = 27 - 142/5. Let i be -11 - -12 - 1*3. Is h bigger than i?
True
Suppose -g = 9*g - 280. Let u be ((-15)/(-35))/((-1)/(g/272)). Is u less than -0.1?
False
Let d(g) = -19*g**2 - g**3 - 49*g - 49*g + 80*g - 45. Let o be d(-18). Which is bigger: o or 2?
2
Let c = -633 - -633. Let v(r) = -r**2 + 2*r - 1. Let n be v(-3). Let l be ((-1)/(-2))/(20/n). Which is greater: l or c?
c
Let k = 99 - 99. Let l be -6 + 2 + (-3)/(-1 - k). Let v be (-1 - 9/(-7))/(-2). Which is smaller: v or l?
l
Let p = -7 - 868. Let y = 16631/19 + p. Which is greater: y or 1?
1
Suppose 2*y = -o - 137, 2*o = 2*y - y + 76. Let c be (8 + y)*-3*(-3)/18. Which is greater: -28 or c?
-28
Let z = 3.5 + -3.5. Let y = -0.054 - -8.054. Which is smaller: z or y?
z
Suppose -86*o - 50 = -91*o. Let r be o/35*(-10)/15. Is -1 >= r?
False
Let h(v) = -5*v - 1. Let n be h(-1). Suppose 5*b + 4*o = -o - 140, -n*o - 139 = 5*b. Let x(a) = -335*a + 5669. Let p be x(17). Which is bigger: p or b?
p
Suppose 0 = u + 3, 4*v + 4*u - 21 = 3*u. Suppose v*i - 24 = 4*i. Let k = 2 + 9. Which is smaller: k or i?
k
Let n(v) = v**3 - v**2 - 16. Let w be n(0). Suppose -p - 61 = -2*a, 53*a - 2*p + 18 = 54*a. Let k be (a/(-3))/(w/24). Does k = 0?
False
Let b = -2/291 - -1123/36375. Is -1 greater than b?
False
Let a = -22.1 + 22. Let s = 25.89 - 26. Is s > a?
False
Let a = -809 - -818. Which is greater: -1 or a?
a
Let o = 946 + -940. Which is smaller: o or -8/9?
-8/9
Let w = 524 + -1570/3. Is -513 at least w?
False
Let y = 334 - 342. Do -15 and y have the same value?
False
Let p = 356.4 + -21.4. Let m = 338.42 - p. Let d = m + -3.4. Which is bigger: 2/7 or d?
2/7
Let j(c) = c**3 - 25*c**2 + 27*c - 70. Let v be j(24). Suppose 2*p - 11 = -3*b, -b - 4*p - 18 = -3*b. Let f = b - 2. Which is smaller: v or f?
v
Let g = 4177/319 - 1922/29. Let r = -14559/275 - g. Which is smaller: r or 1?
r
Let f be (-6)/21 - (2 + 3380/(-315)). Which is smaller: f or 8?
8
Let s be 2/(-2*4/20). Let d be 1 - 8/(-20)*s. Is d < -1?
False
Let f = 31 - 317. Which is greater: 0.1 or f?
0.1
Let b be (3/(-36))/((-92)/16). Let o(v) = -2*v + 39. Let h be o(19). Does b = h?
False
Let g be 69495/(-780) + (-4)/26. Let t = g + 93. Is t bigger than 3?
True
Suppose -p - 2*k = 410, -5*k = -0*p - 3*p - 1175. Which is smaller: p or -398?
p
Let c be (13 - 5) + -1 + 0. Suppose -c - 41 = 2*o. Let z = 5 + -30. Which is bigger: z or o?
o
Let l be ((-12)/(-15))/(-1 + 14/10). Suppose l = -3*j + j. Which is bigger: -4/7 or j?
-4/7
Let c be (-3)/(-534)*-33*2. Which is bigger: c or -1?
c
Suppose p = -6*v + 19, 2*p + 42 = 5*v + 12. Suppose 3*a + 17 - 89 = 0. Suppose -v*q + 0*q - a = 0. Which is greater: q or -4?
-4
Suppose -160 = -3*x - x. Let b be (x/(-75))/((-2)/(-5)). Let z be (0 + -1)/(4/(-2 - -6)). Is z at most as big as b?
False
Let l(k) = 2*k**2 - 23*k + 13. Let o be l(7). Is o >= -48?
False
Suppose 6*g - 20 - 40 = 0. Suppose g*o = 9*o - 4. Is -7/2 greater than o?
True
Let b = 872 + -871.9. Which is bigger: b or -7/15?
b
Let t = 17 - -79. Suppose 4*w - t = 4*c, 3*c + w = 2*w - 68. Let z be (55/c)/(1/(-2)). Is 5 smaller than z?
False
Suppose -5*z - 615 = 5*h, -171 - 75 = 2*h + z. Do h and 1/2 have the same value?
False
Let p be 10/(-25) + 306/(-10). Let f = 27 + p. Let r = 1 - 2. Which is smaller: r or f?
f
Let f be 6/(-4) + (-180)/(-40). Suppose -71 = -f*i - 5*v + 19, 2*v + 146 = 4*i. Is i less than or equal to 35?
True
Let r(k) = -4*k + 9. Let l be r(1). Let h be (l + (-203)/49)*14/(-46). Is 0 bigger than h?
True
Suppose 572 = -4*v - 22*v. Are v and -18 equal?
False
Let m be (-101)/7 + 60/140. Let f = m - -15. Which is greater: 2/39 or f?
f
Let v = 164/255 - -2/85. Let x = -1 + 0.6. Let k = -0.6 - x. Which is bigger: v or k?
v
Suppose -5*z - 136 = -0*z - 4*u, 108 = -4*z + 4*u. Let w = 14 + z. Let r(j) = -j**3 - 15*j**2 - 14*j + 8. Let i be r(w). Is i not equal to 10?
True
Let p be 9/36 - (-43)/4. Let u(v) = 3*v + 9. Let y be u(-7). Let a = p + y. Is -3 at least as big as a?
False
Let a(y) = -y**2 + 47*y - 104. Let c be a(45). Suppose 5*b - 2 - 83 = -5*x, -2*x + 62 = 4*b. Let j be (4/b)/((-5)/c). Which is bigger: j or 2?
2
Let m = 338 - 371.2. Let s = -33 - m. Let o = 24 + -21. Is o greater than or equal to s?
True
Let q be -1*2/(-2)*1. Let u be q/(-1) + -20 + 16. Let a(h) = -h**2 - 6*h - 4. Let c be a(u). Which is bigger: c or -4/9?
c
Suppose 3*q - 2*j + 5*j = 54, -3*j + 34 = 2*q. Let a be (-1)/(3 - 56/q). Is a <= -19/3?
False
Let i be (-6)/(-9)*65/60. Which is smaller: 0 or i?
0
Let l(d) = -20*d - 210. Let g be l(-11). Which is smaller: g or 1?
1
Suppose 2*h = 5*k - 1108 + 63, -h = -3*k + 627. Is k < 209?
False
Let z be (-38)/(2*(-4)/8)*-1. Let j = z - 0. Does -73/2 = j?
False
Let d(o) = -o**3 + 4*o**2. Suppose 0 = -3*t - 4*j + 20, 3*t = -2*t - 4*j + 28. Let v be d(t). Suppose 2*s + 4 = -v*s. Which is bigger: -4 or s?
s
Let c = -3.07 - 1.03. Let r = 4.1 + c. Which is smaller: 2 or r?
r
Let j be (12/3 - -2)/(-44 + -5). Which is smaller: -1/4 or j?
-1/4
Let d = -62 - -42. Let z = d + 22. Let l be 2/6*6/(-4). Is z equal to l?
False
Let f = 224 + -688/3. Let c(z) = z**3 - 12*z**2 - 10*z - 45. Let p be c(13). Which is smaller: f or p?
p
Let l be (1239/12)/7*-4. Let f be (8 - (-5 + 11))/(4/(-122)). Are f and l equal?
False
Let p = 37 - 25. Let a(v) = v**3 + 5*v**2 - 9*v - 7. Let d(g) = g**3 + 3*g**2 + 2*g. Let i be d(-3). Let m be a(i). Which is greater: m or p?
p
Let l = 2295.16 + -2306. Which is smaller: l or -0.1?
l
Suppose 4*x - 5*g + 0*g + 270 = 0, -4*x - 256 = 2*g. Suppose -11*a + 9 = 31. Let j be (-120)/x - (4 + a). Is j less than or equal to -1?
False
Let g = 104 + -206. Let y = g + 101. Is y > 0?
False
Let k = 1420.2 - 1420. Are k and -334 nonequal?
True
Let c(w) = w**3 - 9*w**2 + 10*w - 4. Let n(z) = z**3 - 8*z**2 + 10*z - 4. Let o(t) = -2*c(t) + 3*n(t). Let b be o(6). Is b at least as big as 57?
False
Let k = -630 + 407. Is -2/7 at most as big as k?
False
Suppose -8 = -2*m + 6*m. Let s be (-218)/10 - m/(-20)*2. Is -22 < s?
False
Let o be ((-68)/(-9))/(-2) + (-22)/99. Let r be (-2)/(-1)*o*(-11)/24. Which is bigger: r or 4?
4
Suppose -115 = -5*a + 5*p, -5*a + 2*p - 52 + 179 = 0. Which is smaller: a or 7?
7
Let l(t) = 5*t**2 + 9*t - 1. Let h be l(-2). Is 8/13 bigger than h?
False
Let n be (4 - (-126)/(-12)) + 5. Which is greater: n or -3?
n
Let p be (-18800)/(-3132) - (4 + -6)*-3. Is p at most 0?
False
Suppose 2*k - 1 = 9. Suppose -k*g + 12*g = 14. Which is smaller: g or 11/4?
g
Let a be 0/(0 - (1 - 0)). Suppose -13*l - 436 = -98. Let w be (-54)/l + -2 + a. Which is greater: w or 0?
w
Let q = -315 + 318. Which is smaller: 36/5 or q?
q
Let l = 1 - 0. Let s = 66.9 + -68. Let f = l + s. Which is smaller: f or 0.1?
f
Suppose -f - 4*i = 39, -2*f - 5*i - 167 = 2*f. Let t = f + 55. Is 13 greater than t?
True
Suppose 0 = 4*c + a - 335, -3*c + 3*a = 2*c - 423. Is 2 > c?
False
Let c be (-18)/81 - 7/9. Suppose a = -4*a + 5. Is a <= c?
False
Let o be ((-312)/(-2145))/(2/(-2) + 0). Which is smaller: o or -1?
-1
Let s be 36/22 + -1 + 0. Let w = s - 130/187. Is w >= 1?
False
Suppose -5*s - 4*m + 8 = -9*s, 4 = 4*m. Which is bigger: s or 0.32?
0.32
Let x = -792 + 800. Which is smaller: 14 or x?
x
Let o = -1299 - -1298. Which is smaller: o or 22/79?
o
Let p = 2571.63 + -2559. Let t = 13.4 - p. Let f = -0.23 - t. Which is greater: 0.1 or f?
0.1
Let n = 7 + -5. Let l(w) = 1