/(-22) + 4/(-9). Which is bigger: f or w?
f
Suppose 10*r + 8 + 32 = 0. Suppose 5*f + 14 = 3*v, 4*f + 6 + 14 = -2*v. Is f > r?
False
Suppose 4*q = 2*q. Let c be (-424)/(-330) - 2/15. Let r = 20/11 - c. Is q less than r?
True
Let y = 1 + -3. Suppose 3*q + 5*t + 4 = 3*t, -3*t = -4*q - 11. Does y = q?
True
Let s be (0 - 1) + -1 + -2. Let p be ((-8)/(-6))/(s/(-78)). Suppose -p = 2*m - 0*m - 4*u, -m + 4*u = 23. Is -2 smaller than m?
False
Let f = -720/7 - -3949/42. Are -9 and f non-equal?
True
Let y = -540 - -9174/17. Suppose -5 = 4*m + m. Is m at least y?
False
Let o = -6.6 + 6. Let z = -0.7 - o. Which is smaller: 3 or z?
z
Let v = 3 - 5. Let x = v - -3. Is x < 3?
True
Suppose -3*j = 2*p - p - 6, p - 5*j = -10. Let s = 12 + -7. Suppose p = c - s*c - 8. Is c != 0?
True
Suppose 2*u + 6 = -x - u, -x = -u - 2. Let k be (4 + x)*7/(-98). Is k smaller than 4?
True
Let m = 37 - 187/5. Which is smaller: 3 or m?
m
Suppose -8 - 268 = -4*z. Is 68 < z?
True
Let x(c) = c + 3. Let q be x(-5). Let n be ((-8)/(-26))/(4/q). Let a = -50 - -50.1. Does n = a?
False
Let a be (1/(-6))/(4*3/(-36)). Is -35 > a?
False
Let i = 32/51 + -5/17. Is 0.1 at least i?
False
Let r = 25.859 - -0.041. Let y = r + -26. Which is smaller: -10 or y?
-10
Let x be 417/12 - (2 + -4). Let w = x - 37. Is w greater than or equal to 0?
False
Suppose 4*l + 5*j - 37 = 0, -5*l - 2*j + 13 = -12. Let m = 13 + -8. Suppose 15 = 5*s - m. Which is greater: s or l?
s
Let q(l) = 2*l + 4. Let k(h) = -h + 3. Let r be k(-4). Let n be q(r). Suppose -4*w - 4 = -4*g - 16, -g + 4*w = n. Is g <= 2?
True
Suppose 0 = 4*k - 2*k. Which is smaller: k or 2/21?
k
Let z be 1 + 0/3 - -2. Suppose 2*p = -z + 7. Let m = p + -1. Which is smaller: 2/3 or m?
2/3
Let j be (1/(-6))/((-8)/(-24)). Do j and 0 have the same value?
False
Let f be 1*(-4)/8*2. Which is smaller: f or 0.8?
f
Let w be ((-608)/(-5) - -2) + 0. Let q = w - 124. Which is smaller: 2 or q?
q
Suppose -9 = 2*p - 5. Let y(q) = -q**3 + 4*q + 3. Let o be y(p). Let a be o + -4 + (-2)/(-6). Which is greater: 0.04 or a?
0.04
Let x(i) = -i + 9. Let w be x(8). Suppose w = -u - 0*u. Let c = 2/205 + -88/615. Which is smaller: c or u?
u
Let a = -2.13 + 1.99. Do -1/5 and a have different values?
True
Let s = 3 - 3. Suppose 3*x + 0 + 15 = s. Let w be (3/(-9))/(x/3). Is -1 < w?
True
Let g = -3 + 5. Suppose 2*i + g = -4*k, -2*i + 15 = -5*i. Suppose -5*b = x + 8, -3*b - 3*x - 10 = -k*b. Is b > -2/3?
False
Let h = -1 + 3. Let z = -0.2 - -0.3. Which is smaller: z or h?
z
Let z = -4 - 6. Which is bigger: -9 or z?
-9
Suppose -2*p = p + 5*s - 15, 5*p + s - 47 = 0. Let d = p + -23/2. Let u be (24/10 - 2)*-5. Which is smaller: d or u?
u
Let m = 40 - 56. Suppose 3*u = -4*i - 2 + 16, 4*u = i + 44. Let z be 6/10 + m/u. Which is smaller: 1/5 or z?
z
Let n be (3 - (-1)/(-2))*8/(-1110). Let m = 825721 - 458275276/555. Let l = n - m. Which is smaller: -1 or l?
-1
Let g(f) = -f**2 + 5*f - 3. Let i be g(4). Let t be -2 + i - (-56)/52. Is -1 at most t?
True
Let j = -125/2 + 60. Let t = 3 + -7. Which is smaller: t or j?
t
Let h be (0/(-1))/((-52)/13). Which is bigger: h or -2/11?
h
Suppose 0 = -5*r + 4*g + 30, -g + 3*g = -10. Suppose 0 = 4*x + z - 8, 0 = -3*x - 3*z + 12 + 3. Is r smaller than x?
False
Let w = -3.3 - -0.3. Which is smaller: w or -2?
w
Let y = -7 + 14. Let q = y + -3. Let u = q + -4.05. Is 1 > u?
True
Let i = -16.69 - 0.31. Let r = -26 - i. Is -0.1 bigger than r?
True
Let n(v) = -v**3 - v**2 - 1. Suppose 0 = -2*f - f. Let t be n(f). Which is greater: t or 1/24?
1/24
Let x = -647/5 + 129. Which is smaller: -3 or x?
-3
Suppose -3*y - j = -8*y - 30, -4*y + 4*j - 24 = 0. Let k = 5 + 0. Let t = k + y. Is t bigger than 1/10?
False
Let v = 5 + -2. Suppose l = -v*l + 4. Which is bigger: l or -4/9?
l
Let c be 15/(-115)*(-5578)/(-3). Let t = -436625/1794 - c. Let a = -9/13 - t. Which is bigger: -1 or a?
a
Let a be (-2)/8 + 1/4. Let h be -2*7/(-36)*4. Let p = h + -43/45. Which is greater: a or p?
p
Let x be -3 + -1*(-52)/6. Which is smaller: 7 or x?
x
Let h be (24/(-16))/(-2 - -5). Suppose -y - 16 = 5*n, 0*n - 5*n - 13 = -2*y. Which is greater: h or y?
h
Let n be -1 + (-4)/(-6)*1. Which is smaller: -1 or n?
-1
Suppose -2*t + 4*t - 2*f = -16, 0 = -4*f + 8. Let c be -2 + t*6/(-27). Which is bigger: -2 or c?
c
Suppose 2*x = -3*x. Is 0 less than x?
False
Let f be (-1 + 3)*(-21)/(-90). Let j = 4/5 - f. Are j and -1 unequal?
True
Let j = -215.6 - -215. Which is smaller: j or -1/2?
j
Let m = 45/2 - 22. Which is smaller: -2/7 or m?
-2/7
Let q(o) = -5*o + 0*o + 2*o - 4 + 4*o. Let u be q(5). Let g be 1/(-4)*8/10. Which is smaller: g or u?
g
Suppose 5 = -5*k - 0*k. Do k and 3 have different values?
True
Let h = -0.31 + 14.31. Which is bigger: h or -1?
h
Let t be 1 + (-1 - -2) - (1 - -2). Let w be (-2 - 16/2)/(-2). Suppose w*i + 8 = -2. Does t = i?
False
Let w = -0.2 - 1.8. Let r = 15.9 + -16. Does r = w?
False
Let s = 5 + -13. Let z = s - -4. Suppose 5*p - x = -16, -4*p - 3*x - 4 - 5 = 0. Is p != z?
True
Let r be (5/((-5)/19))/(-5). Is 5 at least as big as r?
True
Let k = -41.2 - -41. Is k smaller than -2/7?
False
Suppose 0 = j - 2*j + 4*l + 11, -l + 2 = 0. Is j not equal to 19?
False
Let q(x) = -x**3 - 20*x**2 - x - 21. Let z be q(-20). Is z smaller than 5?
True
Let c be (2/(-4) - -1)/((-1)/2). Is -1/5 smaller than c?
False
Let s be 3 + 2/4*34. Let m = 15 - s. Let r = 12 - 18. Is m less than or equal to r?
False
Suppose -3*d - 3*c + 300 = 0, -3*c - 47 = -2*d + 133. Is d at most 96?
True
Suppose 0 = h - 5*o + 22, 0 = -4*h + 2*o - 15 - 1. Are -4 and h unequal?
True
Let t = -3 + 2. Let h = -2 - -3. Is h less than t?
False
Suppose -m + 11 = -5. Let f be (m/(-3))/((-2)/(-33)). Let r = -266/3 - f. Is -2 smaller than r?
True
Let a = -205606/33 + 29441935/4686. Let q = 105/2 - a. Let n = q + -79/284. Which is smaller: n or -0.3?
-0.3
Suppose -4*h - h = 55. Let w be h/(-22) + 1/(-2). Which is bigger: 1/3 or w?
1/3
Suppose -2*p + 1 = -4*s - 13, 0 = 2*p - 2*s - 10. Is p less than -2/9?
False
Suppose 4*l + 5 = 4*w + 1, 5*l + w - 7 = 0. Suppose f - 2*f = -3*g, 5*g = 2*f. Let r be (-21)/9 - f - -2. Which is bigger: l or r?
l
Let n = 44.8 - 45. Let f = 0.4 - -1.6. Which is smaller: n or f?
n
Let a be 4 + -2*(3 + -1). Which is bigger: a or 0.01?
0.01
Let f(u) = 5*u**3 - 4*u**2 + 4*u + 1. Let s(k) = -k**3 - 1. Let h(o) = f(o) + 4*s(o). Let y be h(3). Suppose y*p = 2*p. Is p smaller than -2/7?
False
Suppose 16 = -2*r - 4*d, r - 2*d - 8 = -0*d. Let x(s) = -s**3 - 7*s**2 + 9*s + 6. Let a be x(-8). Let h = r + a. Is h greater than or equal to -2?
True
Let i = 5 - 9. Let y = i - -2. Is -1 bigger than y?
True
Let p = 0.9 + 0.1. Let l = p + -1.1. Is l bigger than 5/6?
False
Let j(a) = -a**2 + 4*a + 1. Let m be j(4). Do m and 3/10 have the same value?
False
Let p = -1033/7 - -148. Let k = 27 - 26. Which is bigger: k or p?
k
Suppose -4*s = 20, 0 = v + 3*s + 5 + 18. Let w = v + 3. Let l = 5 + w. Which is greater: 3/7 or l?
3/7
Let o = -8 + 4. Let x = o + 3. Let w = -45 - -179/4. Which is smaller: x or w?
x
Let b be (-4)/6 - (-20)/3. Let j be (4/(-6))/(4/b). Let h be 3/9 + (-26)/24. Is j <= h?
True
Let r = 20 - 19. Let o = -2.3 - -14.3. Is o bigger than r?
True
Let c = -4 + 2. Let v = 0.5 + 0.1. Let g = v + -0.5. Which is smaller: g or c?
c
Let y = 280309/35 + -8008. Let f = y + -3/7. Is f at least as big as -0.1?
True
Let i = -157967 + 14374601/91. Let l = -31/7 - i. Is 0 bigger than l?
True
Let s = -9.08 - -9. Let p = s + 0.08. Let r = 3.06 - 0.06. Which is smaller: p or r?
p
Let q(v) = v**3 + 4*v**2 + 3*v + 1. Let d be q(-3). Let t = 582/5 + -12833/110. Let w = t - 3/22. Which is bigger: w or d?
d
Suppose -5*f - 5*s + 5 = -2*s, 2*s = 3*f - 3. Is f at most as big as 2/17?
False
Let q(c) = 2*c + 11. Let d(s) = -3*s - 21. Let m(i) = 6*d(i) + 10*q(i). Let o be m(8). Which is smaller: o or 1/2?
o
Suppose 6*t - t = -d + 216, -3*t - d = -130. Which is smaller: t or -1/3?
-1/3
Let z = 8 + -8.1. Is 1 bigger than z?
True
Let z be (4815/(-564))/(-5) - 2. Let r = z + 2/47. Does r = -2?
False
Let k be 112/423 + (-10)/45. Let w = k + -108/329. Let m = -0.1 - 0. Which is greater: w or m?
m
Suppose -2*q + 0*y = 5*y + 18, 3*q + 27 = -2*y. Which is smaller: -8 or q?
q
Let y(v) = -v**3 + 9*v**2 - 6*v - 6. Let t be y(8). Let u be (-668)/14 - t/