Which is smaller: u or 1?
1
Let t be 5*((-198)/75 - -3). Which is smaller: t or 1?
1
Let y = -9 + 15. Suppose -4 = u + y. Let c = 8 + u. Is 0 >= c?
True
Let v be ((-11)/(-3) - 3)*3. Let s be v/(1*3/(-6)). Which is smaller: s or -2?
s
Suppose 6 = -4*o + 2. Let n = -17 + 12. Let y = n - -6. Is o equal to y?
False
Let m be 21/(-14) + 3847/42. Let x = m + -90. Which is smaller: x or -1?
-1
Suppose 0 = -4*s - 19*s - 0*s. Is -3/79 at least as big as s?
False
Let n(m) = 2*m - 8. Let j be n(3). Is j bigger than -0.1?
False
Let w(c) = -c**3 + 3*c - 2. Let f be w(2). Let n be f/10*(-5)/1. Let g = -3 + n. Which is smaller: g or 0?
g
Let t = -0.4 - 0.2. Let v = t - -0.61. Let f = 0.01 - v. Which is smaller: 0.2 or f?
f
Suppose s - 2*j = 3 + 5, 2*j = -2*s - 2. Suppose -q - 5 = -y, -5*y + 5*q - q + 20 = 0. Let m be (-1)/(-1) - (0 - y). Which is smaller: s or m?
m
Let s(c) = 2*c**3 + 2. Let f be s(-2). Let x = f + 18. Which is greater: x or 3?
x
Let c be 4/(-18) + (-58)/(-18). Let s = 9 - c. Let p be (-17)/21 - (-4)/s. Is 0 less than p?
False
Let s(k) = -k**3 - 10*k**2 - 8*k + 10. Let v be s(-9). Does -1/16 = v?
False
Let n(b) = 59*b - 3. Let p be n(-3). Let d = 1258/7 + p. Let k be (-3)/2*8/(-18). Is d bigger than k?
False
Let m = 25 + -23.4. Is 0.1 greater than or equal to m?
False
Let i = -57 - -67. Are 9 and i unequal?
True
Suppose -3*t - 2*y + 10 = 0, 3*t - 4*y = -0*y - 2. Is t >= 7?
False
Let y(o) be the first derivative of -o**2/2 - 2. Let n be y(-5). Suppose -3*m + 4 + n = 0. Which is bigger: 3/2 or m?
m
Let j(s) be the first derivative of -s**4/4 + s**3 + 2*s**2 - 2*s + 2. Let c be j(3). Let o = c - 19/2. Which is smaller: o or 0?
0
Let m = 0.01 - -3.99. Let t = -11.9 - -12. Do t and m have the same value?
False
Suppose -t - 3 = 1. Is -5 greater than or equal to t?
False
Let t(j) = 2*j**3 + 2 + 5*j + 4*j**2 - 2*j - 6*j - 3*j**3. Let w be t(2). Is 2 greater than w?
False
Let k(j) = -4*j + 33. Let o be k(10). Which is greater: o or -4?
-4
Let l be 0 - -1 - 116/14. Let u be (-2)/10 + 702/(-105). Let t = u - l. Which is greater: t or 0?
t
Let y = 422 - 3794/9. Let j = -55 + 54.8. Is j > y?
False
Let v(y) = -18*y + 18. Let u be v(6). Which is greater: 1 or u?
1
Let o be (-1 + 3)*4/36. Is o > -2/5?
True
Let q(h) = -h**2 + 3*h + 4. Let i be q(4). Which is smaller: i or -2/31?
-2/31
Let a(j) = 2*j + 5. Let y be a(-4). Let m(t) be the third derivative of -t**6/120 + t**5/60 + t**4/24 - t**3/6 - 4*t**2. Let d be m(2). Are y and d non-equal?
False
Suppose 5*x + w + 125 = 0, 0*x + 3*x - 4*w + 75 = 0. Let b be ((-15)/x)/((-18)/(-20)). Which is smaller: b or -2/3?
-2/3
Suppose 3*t = -4*b - 49 - 93, -3*t + 2*b = 136. Is t bigger than -46?
False
Let f = 9 + -22. Let d = -5 - f. Suppose 2*c + d = 6*c. Is 2 less than or equal to c?
True
Let y be (88 + 4)*2/4. Suppose 0 = -g - 5*q + 6, -q + y - 7 = 2*g. Suppose 0 = -2*r - r - 5*x - g, -2*r + 8 = -4*x. Which is bigger: r or -1?
-1
Let v = -125.09 + 125. Is v >= -0.1?
True
Let a = 8 - 13. Do a and -24/5 have different values?
True
Let d = -0.3 + 0.2. Let n = 31945/27 - 1183. Let q = n + 26/189. Is d smaller than q?
True
Let q = 51 + -50.9. Is -8 smaller than q?
True
Let t be 94/188*(2 - (2 + 0)). Let c = 169 + -841/5. Which is smaller: t or c?
t
Let f = -103/3 + 35. Do f and 1 have different values?
True
Let g = -0.048 - -0.048. Which is smaller: 2/75 or g?
g
Suppose 4*k + 5 = 3*p, -k - 3*p - 16 = 4. Which is smaller: k or -1?
k
Let u = -42 + 38. Is 0 less than u?
False
Let z(h) = 9*h + 8. Let q be z(-2). Is q <= -10?
True
Suppose 0 = -4*v + 3 + 9. Suppose r - 1 = v. Is -1/2 at most as big as r?
True
Let a be 4/2 - (-864)/(-438). Is a >= 1?
False
Let v = -2 + 1. Do 1 and v have the same value?
False
Let w be 2/1*((-196)/(-8))/7. Is 7 smaller than w?
False
Let b = 5 + -4. Let m be 0/((-3)/(6/(-4))). Is m greater than or equal to b?
False
Let j be 27/12 - 2/8. Let c(x) = -x - 6. Let w be c(-8). Is w < j?
False
Let u be 28/(-35)*10/(-52). Let d = u - -20/39. Which is smaller: 2 or d?
d
Let b(x) be the second derivative of -x**4/6 - 4*x**3/3 - 3*x**2/2 + x. Let g be b(-3). Do g and 4 have different values?
True
Let p = 0.04 - 4.04. Let k = p - -2. Which is greater: -1 or k?
-1
Let t(r) = r - 1. Let y be t(5). Which is smaller: y or 7/2?
7/2
Let x be 12/(-28)*2/(-48). Is 1 != x?
True
Let c be 0/(-2*2/(-4)). Let x be (14/84)/(4/(-30)). Which is bigger: c or x?
c
Suppose 3*p - 14 - 28 = 0. Suppose -3*z + p = 5. Let a be 1/1 - (-2)/2. Is a at least as big as z?
False
Let v = -10.13 + 0.13. Let h = 9 + v. Let q = 775/7 + -111. Which is smaller: q or h?
h
Let g = 2.61 - -0.34. Let r = 0.05 + g. Is r at most 3?
True
Let v = 6 - 4. Let g = 1 + -7. Let t be -1 + 3/g*-8. Which is greater: v or t?
t
Let k(a) = -a**2 + 20*a - 46. Let v be k(19). Is -27 > v?
False
Let j = -0.01 + 7.01. Which is greater: 3 or j?
j
Let l = -29.9 - -30. Which is bigger: l or -5?
l
Suppose 3*q + 0*q = 189. Let w = q + -39. Let z be (-2)/8 + (-2)/w. Which is bigger: -1 or z?
z
Let t = -19 + 57. Let f = -27 + t. Let j = f - 7. Is j at most 1?
False
Suppose 2*s - 5*s - 9 = 0, -4*s = 5*v + 37. Is -1 at least v?
True
Let h(w) = -w**3 + 7*w**2 + 12*w - 11. Let u be h(8). Let m be 6/u + 15/(-126). Which is bigger: m or -1/2?
m
Let r be 2/3 - (-2469)/(-585). Let d = -17/5 - r. Suppose -3*c - 5 = -2*p, 4*c - 3*p - 1 + 8 = 0. Which is greater: d or c?
d
Let q be 1/7 + (-20)/189. Is 1 greater than or equal to q?
True
Let x(l) be the first derivative of l**4/4 + l**3 - l**2/2 - 3*l - 1. Let s be x(-3). Suppose -5*i - 4*f - 4 = s, -3*f = 5*i - 8*f + 40. Is i less than -4?
False
Let c(i) = i**2 + i - 8. Let d be c(0). Let l be (4/d)/(6/4). Suppose -2*w + 2*o = 2, -w = 2*o - 0*o - 5. Does l = w?
False
Let d = 16 + -15. Which is smaller: 1/21 or d?
1/21
Let b = 11/12 - 101/84. Is b greater than 2.2?
False
Let n be -1*1*(-3 - -2). Let i(p) = -p**2 - 6*p - 5. Let r be i(-5). Which is greater: r or n?
n
Suppose 0 = -i - 4 + 2. Let c be -1 - i - 10/(-28). Let w = -6/7 + c. Which is greater: w or 0?
w
Suppose 62 = -6*d + 266. Which is greater: 33 or d?
d
Let m(a) = a + 2. Let n be m(-3). Let v be 3*2*n/(-2). Suppose 2 = v*d - 1. Is d equal to 0?
False
Let j = 5 - 0. Let u = 0 - j. Suppose -p + g = 2*g + 6, 0 = 5*p - 3*g + 14. Is u >= p?
False
Let d = -67 - -66. Which is bigger: 4.6 or d?
4.6
Let r = 5831/19 - 307. Is -1 <= r?
True
Let v = 19 + -19.9. Let t = v - -0.8. Which is smaller: t or 1?
t
Let d be (12 - 14)*(-1)/(-12). Which is bigger: d or 3?
3
Let d = 12 - 16. Suppose -11*w = -3*w + 8. Which is bigger: w or d?
w
Suppose 0*c + c = n - 16, -5*c - 90 = 5*n. Is c at most -18?
False
Suppose 0 = -3*g - 5*s + 1, 0 = 4*g - 4*s - 10 - 2. Suppose 3*p = -0*p + 3*r - 6, g*p - 3*r = -7. Suppose 2*z + 2*z = -4. Is p <= z?
False
Let h = -124.06 - -124. Which is smaller: h or -6?
-6
Suppose 0 = -3*n - n. Let y = -295 - -294. Which is smaller: n or y?
y
Let n = -477 - -4297/9. Let q = n - 7/9. Let y = 2.8 + -3. Is y > q?
True
Suppose -2*p + 28 = -6*p - 4*l, -4*l = -4. Let b = -8 - p. Let n = 0.2 + -0.2. Is b bigger than n?
False
Let v = 8.4 - 3.4. Is 1 != v?
True
Let p be (-62)/42 - 3/(-9). Which is bigger: p or 0?
0
Suppose 20 = 5*x - 25. Let f = 4 - x. Let s(h) = -h**3 - 4*h**2 + 5*h. Let b be s(f). Is -2/5 at least as big as b?
False
Let c be (-6)/(-14)*7/(-10). Which is greater: 4 or c?
4
Suppose f + 4*f = 3*w + 3, f - 2 = 2*w. Let r(s) be the first derivative of s**4/4 - s**3 - 3*s**2/2 - 5*s - 1. Let z be r(4). Is f not equal to z?
True
Let u = -13528/21 + 644. Let g = u + -10/21. Is g > 0.4?
False
Let g(u) be the first derivative of -u**2/2 - 4*u - 1. Let f be g(0). Let v be f*(2 + (-39)/18). Is 1 greater than v?
True
Suppose 0 = 3*t - 7 + 19. Let f be (-48)/28 - t/(-14). Let y be (1*-4 - f)/(-1). Is 2 greater than y?
False
Suppose -x - 5*l = -6*x + 25, l + 11 = 4*x. Let f = 5902 + -40974/7. Let h = f + -48. Is h smaller than x?
True
Let m be (-5)/((-15)/(-9)) + 1. Does -5/8 = m?
False
Suppose i + 45 = -4*i. Let t be -6 + i*(-3)/9. Is t less than -3?
False
Suppose -8*o = -6 - 2. Are 9/4 and o non-equal?
True
Let w be 6 + -3 + (-7)/((-21)/(-12)). Which is smaller: w or -0.22?
w
Let l be (2/(-3))/(1/6). Let k(q) = q**2 + 6*q + 4. Let t be (-1)/((-3)/(-9)) + 0. Let y be k(t). 