= m + -4/9. Which is bigger: v or 2/23?
2/23
Let g = 575.1 + -575. Is -20.4 > g?
False
Let x be (-69)/(-162) - 3*(-4)/(-24). Let u = -3 + 0. Let b be (-3)/1*(-1)/u. Is b at least as big as x?
False
Let v be ((-16)/(-10))/((-18)/(-45)). Is 2 bigger than v?
False
Suppose -15 = -3*k, 2*k + 3*k - 5 = 4*h. Suppose -h = l - 2. Is -6 greater than or equal to l?
False
Suppose 4*y = -5*i - 40 - 35, -4*i - 4*y = 64. Let u = -6 + -5. Is u at least as big as i?
True
Let z = 6388 - 38525/6. Which is smaller: -33 or z?
-33
Let l = -210.1 + 210. Do 62/7 and l have different values?
True
Let x(u) = 1. Let g(i) = -i**3 - 15*i**2 - 3. Let y(r) = -g(r) - 4*x(r). Let o be y(-15). Is o at most -3?
False
Let i = -589.9739 + 590. Is i at least 0?
True
Suppose 2*m + 8 = 2*c - 0, 2*c + 5*m + 20 = 0. Let y = 9 + -10. Let d(x) = -4*x - 2. Let j be d(y). Which is smaller: j or c?
c
Let b(h) = h**2 + 22*h + 39. Let i be b(-22). Let g be (-3899)/(-105) + (i/45 - 1). Is g less than or equal to 38?
True
Suppose 3*b - 3*t = 9, -2*b - 2 = -5*t + 1. Suppose -3*a - b = -15. Suppose 4*f - 2*z + 29 = -21, -4*f - 25 = a*z. Does f = -10?
True
Suppose 0*f = n - f - 132, -5*f - 402 = -3*n. Which is smaller: 126 or n?
126
Let d be (-7)/7 + (2 - 1). Let y be 4/((-13)/3 + 1). Which is smaller: d or y?
y
Let s = 31.9 + 7.1. Let x = s - 41. Is -1/2 less than or equal to x?
False
Let q be ((-26)/(-8))/(-7*(-18)/(-12600)). Which is bigger: q or -324?
-324
Suppose -12 - 6 = -3*f. Let i be ((-330)/100)/(1/f). Let l = i + 20. Which is greater: l or -1/4?
l
Let b = -82 - 49. Is -133 at most as big as b?
True
Let k(n) = 3 - 9*n + 22*n - 8*n - 9*n. Let q be k(1). Which is smaller: 34 or q?
q
Suppose -3*z + 2*r + 7 = 0, 2*r + 2 = z + 5. Let o be -2 + 5 - (-6*4 + z). Do 22 and o have the same value?
True
Let b = 307.06 + -307. Is b > -1.3?
True
Let k(b) = -2*b + 3. Let m be k(1). Let h be ((-9)/(-48))/(-3 + 0). Is m equal to h?
False
Suppose -o + 21 = -4*d, 9*d - 5*d + 15 = -5*o. Is 3 less than d?
False
Let o(z) = z + 6. Let k be o(0). Suppose x - k = -x. Suppose -v + 2*v - x*a - 18 = 0, -v = -4*a - 18. Which is smaller: v or 19?
v
Let f be (3/(-2))/(63/(-28) + 2). Let p = 1 - -2. Suppose 0 = -3*s - p + f. Is 2/5 at least s?
False
Let p = 313 + -582. Are -269 and p nonequal?
False
Let b = 5 - -13. Let h = b - 15.6. Let z = h + -2.4. Which is smaller: z or -1/6?
-1/6
Let j = -1 + 10. Is 0.14 at least j?
False
Let l = -229 + 1141/5. Is -1 less than l?
True
Suppose -42*a + 44*a = -3*s - 16, -3*s = -6. Suppose -5*w + 9 + 18 = -2*h, 4*w - 16 = -4*h. Which is bigger: a or w?
w
Suppose 4*q - 3 = -3*l - 4, 4*q + 4 = -4*l. Let d be -6*(0 + l/(-6)). Let m = 524 - 525. Which is greater: d or m?
m
Let k = 15 - -3. Suppose 2*p - 11*p - k = 0. Let b(x) = x**3 + 4*x**2 - 5*x - 3. Let f be b(-5). Which is smaller: f or p?
f
Let j be (6/24)/((-2)/12). Let h = 22 + -51. Let y = h - -28. Which is smaller: y or j?
j
Suppose -6*g - 8 - 4 = 0. Let k be g/4 + (-2)/4. Which is bigger: -4 or k?
k
Let m(z) = z + 4. Let g(w) = -w**2 + 12*w - 3. Let n be g(12). Let q be m(n). Let p be (-3)/(-2 + 5)*(-1)/3. Are q and p equal?
False
Let h(c) = 3*c + 23. Let l(y) = -y - 8. Let z(j) = 6*h(j) + 17*l(j). Let d be z(2). Suppose 7 = -w + i + 2, 0 = -3*w + d*i - 20. Which is greater: w or -5/4?
w
Suppose 9 = -3*d + 3*b, 3*d - b - 3*b = -14. Suppose 0 = -2*y - d*y - 28. Let v(i) = i**3 + 8*i**2 + 8*i + 5. Let a be v(y). Which is smaller: -5/3 or a?
a
Let t be (-1)/3 - 874/(-57). Suppose 0 = -4*x + 41 + 27. Which is smaller: t or x?
t
Let d = 22720/7 + -5611838/1729. Is d smaller than 1?
True
Let o(u) = u**2 - u - 6. Let c be o(4). Which is greater: 7 or c?
7
Let u = -8 + 4. Let a = 7 + u. Let r = 26 - 26. Which is smaller: a or r?
r
Let n(k) = -k**3 + 14*k**2 + 2*k - 14. Let z be n(14). Is z smaller than 15?
True
Suppose -2*u - 5 = -47. Suppose -190 = 3*z - 8*z. Let k = 60 - z. Is k less than or equal to u?
False
Let m be ((-8)/42)/(2/(-3)). Suppose 2*i - 3 = 7. Let k be (-45)/(-6)*1/i. Is m less than k?
True
Suppose 2 = 10*z - 12*z. Suppose 1111 = 3*d + 5*o, 0 = 5*d + 4*o - 1446 - 384. Let j = -2540/7 + d. Is z <= j?
True
Suppose -7*q + 6*q + 785 = -4*f, 4*f - 4*q = -776. Which is smaller: -192 or f?
f
Suppose 7*y - 2*y = -3*t - 115, 5*y = 5*t - 155. Is y bigger than -27?
True
Let p = -482 - -593. Is 332/3 smaller than p?
True
Let k = 26 - 17. Let x = 19 - k. Let g = x + -9. Is 5 greater than g?
True
Suppose -m + 14 + 21 = -n, 0 = -m + 5*n + 43. Is 34 smaller than m?
False
Suppose 4*c + 0 - 8 = 0. Let q(n) = n + 7. Suppose 3*i + 13 - 1 = 0. Let v be q(i). Is v at most as big as c?
False
Let o = 38.3 - -9.7. Let r = o + -47.96. Is r smaller than 4?
True
Let s be 1 + (-646)/24 - -4. Let r = -26587/1212 - s. Is 0 > r?
True
Let p(a) = a**2 + 36*a + 111. Let b be p(-4). Is b > -15?
False
Let u(p) = -p**2 + 12*p + 2. Let q be u(-1). Is q at least 7?
False
Let f = -501 + 501. Let l = -137 + 1495/11. Do l and f have the same value?
False
Let u = 34.5 + -29. Let h = -2.45 + -0.05. Let n = h + u. Is n equal to 3?
True
Let c = -16 - 7. Let o = -20 - c. Let v be (-1)/(-3)*(-18)/o. Is v greater than or equal to 0.4?
False
Let c be 1*((-40235)/(-45) - 2). Let z = 893 - c. Is 0 less than or equal to z?
True
Let a be 2/(-84)*(-5 - -7). Do 2/19 and a have the same value?
False
Suppose -6*l + 4*l - 36 = 0. Let y be 1/(-25)*(-15)/l. Is y <= -1?
False
Let v = 3 - 2.9. Let i = 135.789 + 0.211. Let q = i + -136. Which is smaller: v or q?
q
Let t = -9 + -23. Let z = 23.07 + -0.07. Let p = z + t. Are -1 and p non-equal?
True
Let z = -617/21190 - -6/163. Which is greater: 5/2 or z?
5/2
Let h be (5/(-2))/((-5)/(-20)). Let g = h - -5. Let x(o) = -2*o**2 - 31*o - 19. Let u be x(-15). Is u at least as big as g?
True
Suppose 2*h + o = 0, 4*h - 3*o + 26 - 16 = 0. Is h at most 3/2554?
True
Let n be ((-2)/(-12))/((-6)/16). Let i = 6 - 3. Let j be ((8/6)/4)/(i/9). Which is smaller: n or j?
n
Let k(h) = 127*h + 797. Let i be k(-17). Is i bigger than -1362?
False
Suppose 2*a - a = 0. Suppose 4 + a = -4*i. Is 3/26 at least as big as i?
True
Let m be 1/7*-2 - (-26)/(-7). Let x be m/(-8)*(-2)/6*0. Is x bigger than 1/17?
False
Let c = -11 + -10. Let y be 70/8*(-54)/c. Let w = y + -28. Which is bigger: w or -6?
w
Let d be -2 + 0 + 13 + -3. Let n be 16/6*(-2 + 5). Suppose 0*s + s = n. Is d at most s?
True
Let v(r) = -r**3 - 4*r**2 + 3*r. Let h be v(-4). Let l = 10 + h. Let k be (l - (0 - 0)) + 1. Which is smaller: k or 2/21?
k
Let q = -1753 + 1757. Suppose 0 = -0*y - 2*y + 4. Let h be 1 - (1 + (-5)/y). Is h equal to q?
False
Let d(q) = 2*q + 1. Let l be d(2). Suppose -l*m + 20 + 10 = 0. Let j = m - 4. Is 3 < j?
False
Let c be 12/(-9)*(-12)/(-8). Let f = -557/345 + 1/69. Is f smaller than c?
False
Suppose 3 = a - 8. Let f be 10 + -10*(-3)/6. Are a and f nonequal?
True
Let v = 121 + -119. Let x(b) = 7*b**2 - 2*b - 1. Let o be x(-1). Suppose 5*t = z + o, -5 + 1 = -2*t. Is z greater than v?
False
Suppose -j + 15 = -4*j + 3*h, 3*h = 6. Let p be 60/8 + j/2. Let i be (p/3 + 2)*1. Is i at least 4?
True
Let d = 16.48 - -24.58. Let a = d + -41. Which is greater: a or 2/5?
2/5
Suppose 0 = 3*y - 4*a - 11, -2 = 3*y - 3*a - 11. Let d = 41053 + -3571562/87. Let n = d - -3/29. Which is smaller: n or y?
n
Let i be (-12)/8*(-6)/(-9). Let u be ((-5)/(-18))/(-5)*(-13)/(-13). Which is greater: i or u?
u
Let u(a) = a**3 + 11*a**2 + 14*a - 17. Let j be u(-9). Let o = j - 53. Is o > -36?
True
Let k be (-239)/4 - (-1 - 5/(-4)). Let q be -3 + -4 + k/(-4). Which is smaller: q or 10?
q
Let w = 3/182 - 619/15470. Let q = -10 + 10. Is w at most as big as q?
True
Let f(j) = -123*j**3 - j**2 - j + 2. Let a be f(1). Which is smaller: -121 or a?
a
Let h(s) = 3*s**3 - 18*s**2 - 10*s + 24. Let o(x) = -2*x**3 + 17*x**2 + 10*x - 25. Let c(k) = 3*h(k) + 4*o(k). Let j be c(-13). Which is bigger: j or 7?
j
Let z(i) = 2*i. Let b be 10/4 + (-3)/(-6). Let y be z(b). Let c(r) = -r + 5. Let j be c(y). Which is smaller: 2/17 or j?
j
Let k = -226 + 217. Is 0 >= k?
True
Suppose -5 = 2*x + 2*p + p, 0 = -5*x - 5*p - 10. Let h = x + 7. Which is smaller: h or -1/4?
-1/4
Let c = -6 - -6.07. Which is bigger: -0.01 or c?
c
Let w(z) = -7*z + 20. Let v be w(40). Is v less than or equal to -259?
True
Let b = 1.67 + 0.13. Let p = 