 is smaller: j or 3/7?
3/7
Let u = 38 - 0. Is 38 at least as big as u?
True
Let g = 17 - 17.2. Let t = 3 - 3.1. Let r = t - 0. Are r and g non-equal?
True
Let c be (-8)/(-8)*(1 + -1). Is c equal to 2/53?
False
Suppose 7*n = 5*n + 10, 2*d - 5*n = -27. Is d >= 1/36?
False
Let h = -66 - -66.29. Let z = -0.01 - h. Let b = -3 - -3. Is b > z?
True
Let j be ((-143)/6)/(-11) + -3. Is -2 less than or equal to j?
True
Let r = 12 + -16. Let h = r - -9. Which is greater: h or 4?
h
Suppose p = 2*p - 15. Suppose 0 = -3*g - 2*g + p. Let m = 506/15 - 100/3. Is m >= g?
False
Let n = 13 - 0. Suppose -3*d - 5*h + 19 = -n, 12 = d + 3*h. Suppose -5*s = -15, -d = 5*u - s + 3*s. Do -2 and u have the same value?
False
Let s = 8 - 5. Let x(b) = b - 5. Let a be x(9). Let y = -2 + a. Does y = s?
False
Let h = 29 - 38. Is h > -9?
False
Let f = 79 - 78. Do -4 and f have different values?
True
Let o be (-69)/46*8/66. Is o greater than or equal to -0.4?
True
Suppose -3*b = 9 + 3. Let l = 5 + b. Which is bigger: -3/13 or l?
l
Let u be -1*(111/(-113) + 1). Which is greater: -1 or u?
u
Let f = -56/9 - -262/45. Which is smaller: -2 or f?
-2
Let z be ((-2)/6)/((-4)/(-6)). Let q(m) be the second derivative of -m**4/12 - 2*m. Let f be q(0). Which is greater: f or z?
f
Suppose -12 - 4 = -4*p. Suppose 0 = 3*l + 3*s - 27, l + p*l - 21 = s. Let u be -7 + l - (-2 + -1). Which is smaller: -2/5 or u?
-2/5
Let v be 0/(8/(-5 - -1)). Which is greater: v or 1/5?
1/5
Let l = 35 + 28. Are -0.1 and l equal?
False
Let x be 0*3*(-1)/(-6). Suppose 3*w + 0*l = 5*l + 5, x = -w + 5*l + 5. Let q be (((-16)/3)/(-4))/1. Which is smaller: w or q?
w
Suppose m - 7 - 1 = 0. Suppose -3*o - 2*x = -0*x + m, 5*o + 12 = -4*x. Is -4 bigger than o?
False
Let v(k) = k**2 + 3*k - 5. Let c be v(-4). Let u be 0*(3 - (-21)/(-6)). Let o = u + c. Are 2/3 and o non-equal?
True
Let p = -12 + 10.2. Let h = 1.8 + p. Which is greater: h or -0.2?
h
Let f(s) = -s**2 - 25*s - 30. Let y be f(-23). Which is greater: y or 65/4?
65/4
Suppose -2 - 16 = l. Is -18 < l?
False
Let g = -31 - -25. Is -1 at least as big as g?
True
Let f = 4 + -12. Which is bigger: f or -7?
-7
Let v(z) = z**3 + 2*z**2 - z - 1. Let i be v(-1). Let a = -9 - 5. Which is bigger: i or a?
i
Let k(s) = -s**2 - 2*s - 2. Let o be k(-2). Let n be -3 + (-1)/(o/14). Does 4 = n?
True
Let w = -107 - -431/4. Is 6 equal to w?
False
Let l be ((-5)/(-2) + -3)*0. Which is smaller: 4/5 or l?
l
Let y be 0/(2*(-1 + 0)). Suppose 4*z = 5*t + 5 + 19, 4*z = 4*t + 20. Let f = y + z. Which is bigger: -2/5 or f?
f
Suppose 0*j + 5*j = 65. Is 13 at least j?
True
Let m be (28 - -3)/((-2)/(-2 - -12)). Which is smaller: -154 or m?
m
Let b = 19 + -18.9. Which is smaller: b or 0?
0
Let c = 1/2998 - -5927/206862. Is 1 at most c?
False
Let t = 0 - -5. Let x = t - 5. Which is smaller: x or 2?
x
Let g = -2.6 + 1.3. Let p = 1.2 + g. Let x = 0.8 + -1. Which is greater: x or p?
p
Let k(u) = -u**3 + 4*u**2 + 5*u - 2. Let l be k(5). Let a be (l/(-3))/((-4)/16). Suppose -3*t - 3 = 6. Which is smaller: a or t?
t
Let q be 12/(-4)*(-300)/18. Which is bigger: q or 48?
q
Let j = -174 - 76. Let p = -384 - j. Let u = p - -936/7. Do u and -0.2 have the same value?
False
Let s(b) = -b + 4. Let o be s(3). Is 0.04 not equal to o?
True
Let j be (-74 - -3) + 0 + -1. Let m be 3*4/j*-10. Is m less than or equal to 3?
True
Let u = -7 - -7. Let i(p) = p**2 + 4*p - 2. Let d be i(-4). Let w be (0 + d + 3)*u. Is -1/3 at most w?
True
Let r be -2*(0 + 2/4). Let o = r + -2. Are -3 and o nonequal?
False
Let l(s) = 3*s**2 + s. Let k be l(1). Let r be 1/(-6) + 116/(-24). Let a = r + k. Is -1 < a?
False
Suppose -a = 3*l - l + 12, -l = -2*a + 6. Let m be l/4*8/(-6). Suppose 5*y + 3 = -m. Is -1 at least as big as y?
True
Let m = -0.5 + -3.5. Let o = m + 4. Do -1 and o have the same value?
False
Suppose 0 = y - 1 + 5. Which is smaller: -3 or y?
y
Let o be (-45)/(-6) + 2/4. Let z = -4 + o. Suppose -3*m - p - 5 = 0, 4*p = -0*p + z. Which is smaller: m or -1?
m
Let u = 46/111 + -3/37. Suppose 5*i = 29 + 26. Let h = i - 9. Is u less than or equal to h?
True
Let j = 2 + -1.96. Is 0 bigger than j?
False
Let n = -6 + 5.4. Let g = n - 1.4. Which is smaller: 0 or g?
g
Let s = 101739/157 + -648. Let d = -293/1099 - s. Let w be (-1)/(-3) + (-1)/3. Is d <= w?
True
Let a be (-10)/(-4)*86/10. Let l = a - 20. Are l and 1 equal?
False
Let d(f) = f + 10. Let p be d(-7). Let n be 3 + (-124)/154*p. Let u = -8/11 + n. Are u and 1 unequal?
True
Let i = 2 + -2. Suppose i = 5*k + 2*n - 6, -k - 4*n + 12 = 3*k. Let w be 0 + -1 + (-9)/(-7). Does k = w?
False
Let j be (-555)/145 + 3/1. Let m = j + 22/29. Which is smaller: m or -1?
-1
Suppose 4*u - 23 = 5*q, 2*u = -3*q - 3*u + 1. Let k be (-3 - q) + -3 + 1. Which is greater: k or -3/4?
-3/4
Let h(w) = -144*w - 6. Let q be h(-1). Which is greater: q or 139?
139
Let d be (-2)/(-11) + (-4)/22. Suppose -b + 2 + d = 0. Suppose w = 5*k - 8 - 2, 4*w + b*k - 4 = 0. Is 1/2 at most as big as w?
False
Let n = 3938 + -634016/161. Is n less than or equal to 1?
True
Let j = 20 - 21. Which is smaller: j or -2/17?
j
Let q = 29 - -3. Which is bigger: q or -0.2?
q
Let t = 1 + 0. Let i = -0.021 - -0.421. Is i bigger than t?
False
Let r(n) = -n**3 - 3*n**2 + 4*n - 2. Let x be r(-4). Let c be -3 + 1 + -10 + 1. Let l(h) = h**2 + 12*h + 8. Let v be l(c). Is v at most as big as x?
True
Let j = 112 - 562/5. Which is bigger: j or 0.05?
0.05
Let t be (12/10*-1)/((-338)/65). Is t < -1?
False
Let v = -1 - 2. Let u(c) = c**3 + 2*c**2 - 4*c - 1. Let n be u(v). Do n and 1 have the same value?
False
Suppose 2*q + 2*q = 0. Let i = 8231/13 + -633. Which is greater: q or i?
i
Suppose 2*l = -3*l + 15. Let i = l - 4. Which is smaller: i or 1/5?
i
Let t = -49 + 38. Is 2 smaller than t?
False
Suppose -5*v - j + 264 = -2*v, -v = 3*j - 88. Suppose -3*t = -260 - v. Let o = -1046/9 + t. Which is smaller: -1 or o?
-1
Let m = -133 - -398/3. Let o be 19/(-15) + 2/3. Which is greater: o or m?
m
Let h be -7 - -12 - (-1 - 87/(-12)). Let p = 0 - 0. Is h bigger than p?
False
Let s(q) = -q**2 - 4*q - 3. Let c be s(-2). Is c at least -1/8?
True
Let g = -1/12 - -5/36. Which is smaller: g or 0?
0
Let z be ((-2)/5)/(6/(-60)). Suppose 3*i - i = -4*g + 4, 0 = z*g - i + 8. Is 0 > g?
True
Let p be -10*(-3 + (-2)/4). Suppose -w - 3*z - 24 = -2*z, 4*w + 3*z + 92 = 0. Let b be (-4)/p + (-8)/w. Is 2/5 at least as big as b?
True
Let q = 166.1 - 174. Let a = -3 - -11. Let p = a + q. Which is greater: p or 3?
3
Let a(w) = -w**2 + 10*w - 11. Let y be a(9). Let l = -12 + 20. Suppose 2*u = -2*u - l. Are y and u equal?
True
Let w be (3 + (-27)/7)*7. Are w and 1/4 nonequal?
True
Let d = -23 + 18. Let g be (2/(-4))/((-3)/(-18)). Which is smaller: d or g?
d
Suppose j + 3*h = -0*h + 9, 5*h + 5 = 5*j. Suppose -3*c = -t - 0*t - 27, -36 = -4*c - j*t. Which is smaller: c or 8?
8
Let s = 792/5 + -159. Do -5 and s have different values?
True
Suppose -j - 17 + 7 = 0. Are -0.1 and j unequal?
True
Let w = -4.95 - -4.85. Let f = 0 - -0.3. Is w smaller than f?
True
Let c be ((-7)/98)/((-1)/16). Which is smaller: 0.1 or c?
0.1
Suppose 5*k = -0*k + 30. Let v be k/(-8) + 14/8. Which is greater: v or -1/5?
v
Let q(w) = -2*w + 17. Let i be q(7). Let v be (-1)/i - (-25)/3. Which is smaller: v or 9?
v
Let l = -0.2 + 0.3. Let d = 0 + l. Is -2 equal to d?
False
Suppose -4*y + 0*y = 4. Let r be 2/(-4) - y/2. Suppose r = -0*j - 3*j + 9, 2*j - 6 = 2*o. Are -2 and o unequal?
True
Let z = 22/423 - -8/47. Which is smaller: 1 or z?
z
Let s = 5215293637/8408751897 - 243/1644422. Let m = 1/974 - s. Let o = m + 1/3. Which is smaller: o or 2/5?
o
Let f be (1/3)/((-3)/(-36)). Let d(g) = -g - 2. Let b be d(-5). Does b = f?
False
Let y(t) = t**3 - 7*t**2 + 8*t - 11. Suppose 6*r = r + 30. Let w be y(r). Is w less than 4/3?
True
Suppose -3*k + 4 = 13. Let t be 3/(-6)*2/k. Is t greater than or equal to 6?
False
Let f = 1 + -2. Let o = -2 - f. Let x = -5.8 - -6. Is x != o?
True
Let u = 96/13 + -3116/429. Which is greater: 0 or u?
u
Let q = 8 - 17. Let b = q - -10. Are b and 2/7 nonequal?
True
Let f(c) = -c**2 + 4*c. Let n be f(4). Is -3/14 < n?
True
Let k = 0.98 - -0.02. Which is smaller: -12/13 or k?
-12/13
Suppose 70*u = 75*u + 5. Is u greater than or equal to 1/106?
False
Let p = -156 + 176. Which is bigger: 3 or 