: r or v?
r
Let l = 17 + -18. Suppose -3*d + 12 = -3. Suppose -3*u = -4*k - 11, 2*u - u + 9 = -d*k. Is k < l?
True
Let y be 12/(-5)*(-7 - (-85)/10). Is y at least -3?
False
Let t = 10 - 6. Let u = -8 - -8.7. Let c = u + 0.3. Does t = c?
False
Let f(j) = j**2 - 5*j + 5. Let o be f(4). Let q be (-4)/(-2)*o + 1. Let l = -3 + q. Which is bigger: 1 or l?
1
Suppose 0 = a + 1 + 8. Let k be -2 + (-49)/a + -3. Which is bigger: 1 or k?
1
Let c = 18 + -18. Let r = -19064/27 - -706. Which is smaller: c or r?
r
Let k = -6 + 5. Let a = -4 + 6. Let s be 1/(a/(-2)*-4). Which is greater: k or s?
s
Suppose 0 = -2*k - 2*k - 20. Suppose h - d + 3*d = 0, 3*h - 5*d + 22 = 0. Which is smaller: h or k?
k
Suppose 3*d - 22 = -3*n - 73, -5*d - 73 = 4*n. Let x be 9/n*1*4. Which is smaller: x or -2?
x
Let m = -22 - -22. Let n = -1 - -2. Is m smaller than n?
True
Let k = -235 + 205. Which is smaller: k or -28?
k
Let t be (((-12)/4)/(-3))/(-7). Is t smaller than 0?
True
Let t = -1 + 0. Let l(n) = -n**3 - 5*n**2 - 3*n + 2. Let f be l(-4). Let r = f - -2. Which is smaller: r or t?
t
Suppose -2*u = 10*u + 12. Is u at most as big as 2/135?
True
Let d = -13/76945 + 748367317/1461955. Let j = d - 512. Which is smaller: -1/4 or j?
-1/4
Let a be 15/27*-5 - -3. Is a < 1/4?
True
Suppose -4*l + 11 = g, -g + 4*l - l - 3 = 0. Suppose 4 = -0*n + g*n + i, -n + 4*i = 16. Which is smaller: -1 or n?
-1
Let o = -8 + 5. Let j(p) = -p - 2. Let d be j(o). Suppose d + 15 = 4*t. Which is smaller: t or 1?
1
Let h = -0.46 - -0.06. Let c = -8 + 10. Is h greater than c?
False
Let z be 744/22 + (-2)/(-11). Suppose 2*v = z + 2. Suppose 10*r = 7*r + v. Which is bigger: 7 or r?
7
Let p = 0 - -8. Suppose p*s = 3*s + 10. Let r be s + -4 - (-2 + -1). Is 1 smaller than r?
False
Let u be (10/3)/((-1)/3). Let l be u/(-6) + (-1)/(-3). Suppose 2 = -4*s + 10. Is l equal to s?
True
Suppose 5*y + 44 + 31 = 0. Which is bigger: y or -13?
-13
Let z(d) = -8*d - 1. Let f be z(4). Let u be 12/(-42) + f/7. Is -7 bigger than u?
False
Suppose j - p + 1 = 0, -27 + 7 = -5*p. Suppose -4*v - h + j + 6 = 0, -5*v + 12 = 2*h. Which is greater: v or 3?
3
Let o be (-4)/10 - 314/(-390). Let z = -7/13 + o. Which is smaller: -1 or z?
-1
Suppose -5*a + 5 = -0. Let k = -53.7 - -50. Let j = 1.3 - k. Is a smaller than j?
True
Suppose 3*i + 0*j - 8 = -j, 0 = -i - 3*j + 16. Which is smaller: 2/39 or i?
2/39
Let v = -17 + 20. Which is bigger: v or -2/9?
v
Let a be (-2)/(-7) + 24/14. Suppose -3*u = a*u. Which is smaller: 5/4 or u?
u
Suppose -3 = -12*q + 9. Which is bigger: -3 or q?
q
Let m be 316/(-966) - 5/(-15). Let z = m + -488/805. Is 0 at most z?
False
Let p be 12/16 + 9/(-12). Let u = -1 + 0.7. Let y = -0.4 - u. Which is smaller: p or y?
y
Let s = 3 + -5. Let n = -2.1 - s. Let v = -67/114 + -3/38. Which is smaller: v or n?
v
Let y = 326 + -350.78. Let m = -25 - y. Let k = m - -0.02. Which is greater: k or 4?
4
Let d be (-8)/28 + 4/14. Let m be -1 - (-1 + (-9)/786). Let x = m + -557/2882. Is d > x?
True
Let q be -1 + 1 - (-2)/(-2). Let c = 1 + q. Suppose 0 = v - c + 2. Is v greater than or equal to -3?
True
Let o = 0.054 - -0.206. Which is greater: o or 0.1?
o
Let y be (-2)/(-4) + (-35)/(-2). Let j be (y/15)/(7/5). Which is greater: j or 1?
1
Suppose 2*d + 6 = -d. Let q be (d/8)/((-9)/(-24)). Let z = 655/9 + -73. Which is smaller: z or q?
q
Let g = 2/289 + -363/10693. Does 0 = g?
False
Let r = -6 - -4. Let m = -10 + 10.2. Is m at most r?
False
Let y = -0.02 + -0.05. Is -1 smaller than y?
True
Let p = -1/9 - -29/99. Suppose -3*m - 6 = 2*f + m, -4 = f + 3*m. Let t = 2 + f. Is t less than p?
False
Let t(v) = -v**2 - 6*v. Let m be t(-6). Let d = 11 + -18. Let w be (-1)/d*(-4 + 3). Is m not equal to w?
True
Let h be (-4)/(-100)*10 - (-6)/(-10). Is h <= 1?
True
Suppose 4*d - 1 = -j, 3*d + d - 3*j + 19 = 0. Let w(z) = -z - 7. Let g(k) = -k - 6. Let m(s) = -4*g(s) + 3*w(s). Let y be m(-4). Do y and d have the same value?
True
Let y = -3.5 - -2.9. Do y and -3 have the same value?
False
Suppose 3*z = 2*g + 5, -4*g + 2 = -3*z - 3. Suppose 3*b - 36 = g*l, -7 + 1 = l - b. Let s be (-12)/l - (-1)/(-3). Which is bigger: s or 2?
2
Let m = 148 - 56. Let j be (3 + m/(-32))*-18. Which is bigger: -2 or j?
-2
Let f = 166.1 - 179. Let a = f - -13. Is a bigger than -0.1?
True
Let y = -64 - -63.9. Is y not equal to 82/7?
True
Let c = -22 + 37. Let q = 14.8 - c. Is q equal to -0.1?
False
Suppose -2*i - 5*j = 2 - 30, 0 = -2*i + 2*j. Let l be -1*1 - (-20)/i. Suppose -4*d = -8*d - 4. Which is smaller: l or d?
d
Let s = 0 - -4. Let c = -439 - -2193/5. Is c less than or equal to s?
True
Let y be 1/4*-3 + 3 + -2. Which is smaller: 23 or y?
y
Let l = 1.33 - 0.27. Let b = l + -0.06. Let w = -6.2 - -6. Which is smaller: w or b?
w
Suppose -p = -4*o + 10 - 128, p = -5*o + 109. Suppose -p + 12 = -5*w - l, 3*l = 6. Which is bigger: w or 21?
21
Let u = -3 + 3.1. Let q be (-2)/(-9) + (-22)/(-144). Is q less than u?
False
Let f = 14 - 14. Let b = f + 1. Is -6 equal to b?
False
Let u = 4 - 3. Let f be (-9)/3 + (2 - u). Let p be -1 - (-1)/(-12)*f. Which is bigger: p or 0?
0
Let k = -9/7 - -20/21. Which is smaller: 1 or k?
k
Let n(g) = -g - 5. Let k = -1 + -3. Let x be n(k). Is x smaller than -3?
False
Suppose 3*c = -c + 8. Let l be c/5 - (-28)/(-20). Let y be (l/(-14))/(3/12). Which is greater: y or -1?
y
Let t be 9/((-36)/8) + 2. Is -3/4 at least t?
False
Let f = -1 - -1. Let z = -11 - -45/4. Is z not equal to f?
True
Let m = -3/767 + -1327/52923. Which is smaller: m or 1?
m
Let p = 4 + -1. Suppose p*f + 0*f + 15 = 0. Is -5 >= f?
True
Let u(t) = t**2 + 3*t - 12. Let c be u(-6). Suppose -c = 2*g + 3*k, 2*g + k + 2 = 5*g. Which is greater: g or 2/31?
2/31
Let a = 4.3 + -4. Let f = -1.2 + 0.2. Let l = -1 - f. Which is bigger: l or a?
a
Let u be (2/(-3))/((-2)/6). Suppose -q + u = -0*q. Let k be 6*q/4 - 1. Is 2 at most as big as k?
True
Let a(p) = 9*p**3 + 2*p**2 + 4*p + 2. Let i be a(-1). Is i not equal to -8?
True
Let y = 186 - 184.06. Let o = y - -0.06. Which is smaller: o or 0.7?
0.7
Suppose -4*y = y. Suppose -5*t = -y - 5. Is t greater than or equal to -9?
True
Let c(k) = k**3 + 12*k**2 - 13*k - 2. Let w be 10/15*(-78)/4. Let s be c(w). Which is bigger: s or -0.2?
-0.2
Suppose 3*m - 2*f = m, 5*f + 7 = -2*m. Let y be (-3)/(-6) + m/(-2). Which is greater: -6 or y?
y
Let f be (-4)/(-10) + (-9)/(-15). Let w = 0.22 + -1.22. Which is smaller: w or f?
w
Let b = 10 - 4. Which is greater: 2 or b?
b
Let y = -92 + 92. Are 2/27 and y unequal?
True
Let x be (-7)/(-14) + (-30)/44. Which is bigger: -1 or x?
x
Let c(h) = -8*h**3 + h**2 - h + 1. Let k be c(1). Is k at least -7?
True
Let z = -3932/3479 - -54/49. Let r = z - 67/142. Which is greater: r or -2/7?
-2/7
Let f be (3/(-2) + -1)*4. Let j be (-27)/f + 2 + -5. Which is smaller: j or 0?
j
Let r(j) = j**2 - 22. Let v be r(5). Is 4 < v?
False
Let q be (2/(-7) + (-10)/14)/(-12). Let v(g) = -g**2 - 4*g - 3. Let z be v(-3). Which is greater: q or z?
q
Let m = -2.7 + 6.6. Let b = m - -0.1. Which is greater: b or -2?
b
Let p = 38 + -31. Which is smaller: 6 or p?
6
Let g be 1 + -5 + 1 + 1. Let m(o) = -o**2 - 2*o. Let x be ((-6)/8)/((-2)/(-8)). Let r be m(x). Which is smaller: r or g?
r
Suppose -7*c = -3*c. Suppose c = l - 5*l. Let i = -18/95 + -4/19. Is i > l?
False
Let p = 4.4 - -0.5. Let c = -3 - 2. Let a = p + c. Which is bigger: 2/7 or a?
2/7
Let x be (-30)/(-8) - 3/(-12). Suppose 9 = -x*b + 5. Do b and 1/6 have different values?
True
Suppose -4*i = 2*c + 18, -3*c + 2*i + 11 = -2*c. Which is bigger: c or 2/11?
c
Let s be (-6)/2*4/(-12). Let v = s - 2. Let o = 6 - 7. Is v > o?
False
Let u = 1.4 - 1.2. Let q = u - -0.8. Which is smaller: 0 or q?
0
Let h = 6 + -8. Let l = h + 2.1. Let p = 0.1 - l. Is -2/5 at most as big as p?
True
Suppose -4*s = -20 - 0. Suppose -1 = -3*t + s. Which is bigger: 1 or t?
t
Suppose 3*a - w - 2 + 3 = 0, -6 = -4*a + 5*w. Is -95 smaller than a?
True
Let j be 84/10 + 10/(-25). Let w be (-4 - 0)*(-2)/j. Let h be 161/105 + 1/(-5). Which is smaller: h or w?
w
Let j = -0.02 - 5.98. Let w be (357/510*16/(-14))/(-2). Which is smaller: j or w?
j
Let r = 29 + -115/4. Let q(i) = -i - 1. Suppose -3*f - f = 0. Let v be q(f). Which is bigger: v or r?
r
Let z = 7 - 2. Suppose 2*w = z + 7. Which is smaller: -2/3 or w?
-2/3
Let k = 