: 1/3 or i?
1/3
Let d = 19/3 - 20/3. Does d = -1?
False
Suppose -3*t + 6 = -3. Suppose 0 = -u - t*u - 4. Which is bigger: -2/23 or u?
-2/23
Let j = 9 + -5. Suppose 1 = 3*b + j. Suppose g + 3 = -5*c, -3*c + 4 + 5 = -3*g. Is g <= b?
True
Let f = -0.599 - -0.64. Is f less than -2/7?
False
Let i = -0.8 - 2.2. Let y = -1 + i. Let l = -4.3 - y. Is -1/2 less than l?
True
Suppose 3*v + 8 = 4*c, 4 = 4*v + 4*c - 32. Suppose 0 = -4*l + v - 0. Let k = l + -2. Is k at most as big as -2/3?
True
Suppose -4*g = 2*d - 14, 0 = g + 2*g + 4*d - 13. Suppose g - 1 = u. Let s = 3 - u. Do s and 2/3 have different values?
True
Let q = 2.1 - 2.2. Which is greater: q or 0?
0
Let d be -2*(-3 - (-46)/8). Is -1/2 >= d?
True
Suppose -j + 1130 = 4*w, 9*j - 4*j - 10 = 0. Let n = w - 1699/6. Which is smaller: n or 0?
n
Suppose -4 = 2*f - f, 5*a - 5*f - 80 = 0. Let n = -7321/627 + 2/209. Let r = a + n. Which is smaller: 1 or r?
r
Let h be 6 + (0 - -2) + -2. Suppose -o - 20 = -h*o. Suppose 0 = o*a - j + 4*j + 35, -3*a = -j + 10. Is a != -5?
False
Let l be -1*(-108)/14 + 40/140. Are l and 8 equal?
True
Let w = -1588/5 + 312. Is w at least -5?
False
Suppose j + 0*j + 8 = 3*l, -2*j = 4. Let m be (-1)/l - 5/(-14). Is 0 smaller than m?
False
Let n = 5 + -4.9. Let m = -9 - -5.5. Let y = 0.5 + m. Which is smaller: n or y?
y
Suppose 2*u + 12 = 5*j, -j + 2*j - 4 = 0. Let f be (1 - -1) + (-1)/u. Is f greater than or equal to -0.1?
True
Let w be 150/(-42) - (-5 + 2). Let g be -1*(2 - 1) + 7. Suppose 20 = -y - 4*h, 2*y + h - 25 = g*h. Is y > w?
True
Let r(y) = -4*y - 1. Let g be r(1). Let k(t) = 2*t + 7. Let n be k(g). Is n greater than -4?
True
Suppose p = 3*w + 5, -5*w + w = 2*p. Is 1/7 bigger than w?
True
Let k(o) = -o**2 - 12*o. Let f be k(-13). Is -14 at least f?
False
Let u be (-2)/(-3)*6/(-10). Let s be (1/(-2))/((-9)/216). Let j be 1/(-4) - (-3)/s. Is u less than j?
True
Let v = 2728 - 1091199/400. Let k = -819/7600 + v. Which is smaller: k or -1?
-1
Suppose 4*q = -5*h - 52, 2*q - 2*h - 4 = 3*h. Let o = -13 - -15. Let v be (-10)/q + o/(-8). Is 1/5 less than or equal to v?
True
Suppose 14 - 32 = -2*r. Let h be (-4)/(-6) - (-3)/r. Which is greater: h or 11/5?
11/5
Let u(t) = t**3 - 5*t**2 + 7*t - 4. Let w be u(4). Which is smaller: 7 or w?
7
Let u = -20 + 13. Suppose b = -7 + 3. Let l = b - u. Do 2 and l have the same value?
False
Let g = 0 - -0.2. Let p = -0.1 + g. Let t = -19 + 21. Is p at least as big as t?
False
Let q be (-5)/(-4)*((-96)/30 - -3). Is q smaller than 2/37?
True
Let d(q) = -2*q**3 - q**2 - q - 1. Let v be d(-1). Let a(h) = -h**2 - 7*h - 6. Let l be a(-6). Suppose 3*p - 6*p + 12 = l. Is v greater than p?
False
Let f = -19/45 + 2/9. Let p = 1 + 0. Let r = p - 0. Which is smaller: f or r?
f
Let f = 138 + -125.3. Let m = 13 - f. Is 2/7 < m?
True
Let c = -53 + 56.1. Let v = 3 - c. Let u be (1/1 + 0)*2. Which is smaller: v or u?
v
Let r(k) = -k**3 - 3*k**2 - 2*k - 4. Let v be r(-3). Let h be 0 - ((2 - v) + 1). Let j be (-4)/(-8)*16/(-36). Is h less than j?
True
Let g be 4/10 - 53/(-5). Are 12 and g non-equal?
True
Let j = -0.63 - -0.43. Which is bigger: -2/127 or j?
-2/127
Suppose 3 = -4*u + 3. Is u bigger than -4/27?
True
Suppose 5*s = -0*s + 40. Which is bigger: 7 or s?
s
Let d be 6/(-104)*-38*2. Let x = d - 385/156. Let i = x - 13/4. Which is bigger: i or 0?
0
Let j = 62 + -43. Which is greater: 1 or j?
j
Let x(l) = l + 7. Let m be (-48)/9 + 1/3. Let j be x(m). Let n be -1 - j - (-33)/12. Is 0.1 not equal to n?
True
Let a = -7 + 8. Let q = -3 + 1. Which is smaller: a or q?
q
Suppose 0 = -0*p + 2*p - 2*k - 34, -5*p + 3*k + 77 = 0. Is 10 at most p?
True
Suppose 8*w - 6*w = -6*w. Which is smaller: w or -1?
-1
Let l = -20 + 20. Is l greater than 0?
False
Let p be 3 - (0 + (-6)/(-2)). Suppose p = -3*t + 6*t. Suppose -2*h + 3*y - 2 = 8*y, 5*h - y = -5. Are h and t non-equal?
True
Suppose 0 = w - 9*x + 4*x - 4, -5*x - 22 = 2*w. Let u be ((-10)/w)/(-5)*3. Let n be (4*2/4)/2. Which is smaller: n or u?
u
Let m be 10/(-35) + (-4)/(-14). Suppose -2*c = -m*c - 10. Is c bigger than 0?
True
Let z = 38 + -344/9. Is z at most 16?
True
Let v(t) = t + 12. Let u be v(-12). Let f = 28 - 14. Let q be 4/f + 6/28. Is q at most u?
False
Let y be 4/6*-1*1. Let p = -5 + 5. Let h = 1 - p. Which is smaller: h or y?
y
Let x = 402/89 - 51138/445. Let k = -110 - x. Which is bigger: k or -1?
k
Let j(v) = v**3 - 5*v**2 - 5*v - 6. Suppose 0 = 4*i + 2*c - 32, -4*i - c + 6*c + 4 = 0. Let d be j(i). Let s = -57 + 629/11. Does d = s?
False
Suppose 9 - 1 = -3*a - 4*k, a + 4*k + 8 = 0. Suppose a = u - 5, -4*u + 9 + 15 = 2*r. Suppose -2*l - 7 - 1 = s, r*s + 10 = -2*l. Which is bigger: s or -3?
s
Let p be 22/(-3) - (-4)/12. Which is smaller: p or -6?
p
Let z = 2 + -3. Is 5/11 at most as big as z?
False
Let d = 3 - 2. Suppose d = 4*t - 3. Let z = 0.197 - 5.197. Is z greater than or equal to t?
False
Let s(v) = -5*v + 1. Let h be s(1). Suppose 6*u - 25 = u. Suppose -3*t + 4*t = -2*i - 11, 2*i = -u*t - 23. Is h < i?
False
Let k(a) = a**3 + a. Let r be k(0). Does 2/147 = r?
False
Let s = -2 + 2. Suppose -2*t = -5*m + 135, 100 = 5*m + t + 4*t. Let r be (-1)/(-2)*20/m. Which is bigger: r or s?
r
Suppose -4 = -4*j, -4*m - 4*j = -7 - 1. Let y = 26/11 - 167/66. Is m < y?
False
Suppose 3*q + 224 = 4*y, 5*q - 3*y + 350 = -8*y. Is -71 != q?
True
Let f = 0.3069 - 0.1069. Let b be 6898/5040 - (2 + -1). Let c = -2/315 - b. Which is smaller: f or c?
c
Let g(t) = -2*t**3 + t**2. Let r be g(1). Let q be (-45)/102 + 2/4. Which is bigger: r or q?
q
Let g = 0.1 + 0.05. Let z = g - -5.85. Let r = z - 6.2. Is r <= 0.2?
True
Let o = 1239/16 + -3/80. Let a(p) = -p**2 - 3*p - 7. Let x be a(7). Let l = o + x. Is l > -1?
True
Let j(l) = -l - 4. Let n be j(-2). Let k be ((-1)/(-1))/(n/(-14)). Let x be (-2)/7 - (-2)/k. Which is greater: 2/13 or x?
2/13
Let x = 17/32 - 1/32. Let v(y) = 5*y**3 - 2*y**2 + 2*y - 1. Let i be v(1). Suppose -i = w, -2*m + w + 4 = -4*m. Which is bigger: m or x?
x
Let c = -0.39 - 0.21. Let q = -30/203 - 4/29. Which is smaller: c or q?
c
Suppose -2*y + 11 + 1 = 4*s, -2*s = 5*y - 6. Is y <= -3/19?
False
Let k be ((-3)/(-3))/(2/10). Suppose k*u - 5 - 5 = 0. Which is smaller: u or -0.2?
-0.2
Let s(p) = p - 2. Let g be s(6). Let f be 26/g - 4/8. Is 5 > f?
False
Suppose 65 = -d + 2*z - 7*z, 228 = -3*d - 4*z. Which is bigger: -79 or d?
-79
Let v be (2/(-7))/((-87)/42 - -2). Is 21/4 not equal to v?
True
Let h = -5/727 - -262472/3635. Let x = -72 + h. Is x bigger than 0?
True
Let k(n) = -n - 1. Let q be k(-14). Let s = -9 + q. Is 7/2 at least as big as s?
False
Let u be (-2)/((2/(-4))/(-1)). Let a(x) = x**3 + 2*x**2 + 2. Let n be a(-2). Let h be (-3)/n*u/33. Is h at least as big as 1/2?
False
Let u be 12/16*(3 - -1). Suppose 0 = -u*w + 6, -3*g + 5*w = -2*g + 10. Is 8/7 equal to g?
False
Suppose 0 = k + 4*k - 2*c - 3, 0 = -3*k + 3*c. Let v be k/(-2*(-4)/(-8)). Is v equal to -2?
False
Suppose 0 = 2*p - 2 - 10. Let w(i) = -4 + 1 + i**2 + p - 1 - 5*i. Let d be w(5). Which is bigger: d or 3?
3
Suppose 0*u - 8 = -2*u + 3*i, -7 = 3*u + 5*i. Let j = 1 - u. Is 0 less than or equal to j?
True
Let q(h) = -h**2 - 9. Let y be q(0). Which is smaller: y or -7?
y
Let t = 340 - 1709/5. Let w = 32 - 34. Is t greater than w?
True
Suppose 0*u - 5*u - 25 = 0. Let p be (1 + 24/(-15))*u. Suppose -3*y = -2*y + p*v + 4, -4*v = y + 7. Which is greater: 4 or y?
y
Let l = -193/1560 - 1/104. Is l greater than 1?
False
Let l(h) = h**3 - 9*h**2 + 8*h. Let f be l(8). Do -4/11 and f have the same value?
False
Suppose -4*o = -4*p + 44, -54 = 4*o + p - 3*p. Let s = o + 17. Is s greater than -1/3?
True
Let g = 31 - 61/2. Let z = -125 - -112. Does z = g?
False
Let x = -30 + 24. Is x bigger than 3?
False
Let s = -8 + 7. Which is greater: s or -0.6?
-0.6
Let s be 3*2/12*0. Let w be 51/18 + -3 + s. Which is smaller: w or -1?
-1
Let h = -15 - -8. Which is greater: h or -1/4?
-1/4
Let s(o) = 4*o + 1. Let l be s(1). Suppose -l*q = -7 - 8. Suppose q + 22 = 5*t, -g + t = 7. Is g smaller than 1/4?
True
Let h = 3.5 - 1.5. Which is greater: -0.1 or h?
h
Let m = -3 - -4. Let c be ((-4)/18)/((-20)/65). Let q = c + -2/9. Which is smaller: q or m?
q
Let l = -827/15 - -55. Suppose 2*j = -3*g - 11, 2*g + 4 + 2 = -j. Is g at least l?
False
Let q = 0.1 - 0. Let d be ((-266)/2