= -1637/6 - -272. Let k = 37/30 + s. Which is bigger: -3 or k?
k
Suppose 48 = 4*h + 4*a, -3*h + 5*h + 5*a - 27 = 0. Are 9 and h non-equal?
True
Let p = -68/3 + 26. Is 1 > p?
False
Let n = -7 + 4. Let j = 0.2 - -0.8. Which is smaller: j or n?
n
Suppose 0 = 8*n - 4*n. Is n <= 1?
True
Let p = 21 - 20.84. Which is smaller: -1/2 or p?
-1/2
Let v be 9966/168 + 8/(-14). Let s = 57 + 2. Let y = v - s. Is y at most -1?
False
Suppose 0 = 3*l - 4*p - 0*p + 8, 3*l = -3*p + 6. Is l greater than -1?
True
Let o = 0 + -2. Let j be (-2)/(60/9)*(-4 - -6). Which is greater: j or o?
j
Let d be (0 + -3)/3*-2. Let p be 2/(-4)*12/933. Let n = p + 628/933. Is d equal to n?
False
Suppose 2*u - 17 = b, -5*u + 0*u = 4*b - 62. Let x be (-10)/u + 4/10. Is x < -3/5?
False
Let t be 24/38*21/(-42). Let u = t - -5/76. Is 0 less than u?
False
Let t be (44 - -3) + -3 + 1. Let s be (4/t)/(2/(-5)). Which is smaller: 1 or s?
s
Let s = 0 + 2. Suppose 1 + s = -z. Let p be z*2/(-9)*1. Do p and 1 have the same value?
False
Let p = 0.1 - 0.7. Let w = p - 0.4. Let t = 3 + w. Is -0.2 smaller than t?
True
Let u be (-185)/15*-1*6/2. Which is smaller: u or 35?
35
Let t = 354026/5181 + 3/1727. Let d = -69 + t. Let c = 401.9 - 402. Which is smaller: c or d?
d
Let d be 3*(-4)/(-12324)*53. Let h = d - -2/79. Which is greater: h or -1?
h
Let k = -9 - -13. Let j(p) = -p**3 + 5*p**2 - p - 2. Let g be j(k). Let c = g - 19/2. Which is bigger: -0.2 or c?
c
Let x(s) = -s**2 - 7*s - 4. Let m be x(-6). Suppose y - 5 = -m. Let c(r) = r + 29. Let b be c(-26). Is y at most b?
True
Let b = 3 + -4. Let a(g) = -g**3 - 2*g**2 + 1. Let x be a(-1). Let o = 1 + x. Which is smaller: o or b?
b
Let d = 0.3 + -0.2. Let z = 14 - 15. Do z and d have different values?
True
Let f = 0.2 - -0.5. Which is bigger: 0.1 or f?
f
Let u = -3.9 - -4. Which is smaller: 5 or u?
u
Let b = -7 - -6. Is b equal to 1/3?
False
Let d = -3533 + 883251/250. Let o = -688/125 + d. Which is smaller: -7 or o?
-7
Let j(q) = -q**2 - 5*q. Let t be j(-4). Let u be ((-1)/(-2))/(2/t). Is -2/35 smaller than u?
True
Let i be 0 - -2 - (-12 - -3). Suppose 4*x - b - 205 = 0, 0 = -3*b - i - 4. Let y be x/(-88) + 6/(-33). Which is smaller: y or -2?
-2
Let p = -25.1 + 24. Let m = 1.3 + p. Is 0.1 at least m?
False
Let k = -53 - -52. Is 44 at most as big as k?
False
Let g(m) = m**3 + 5*m**2 + 3*m - 2. Let f be g(-4). Let k(z) = -z + 3. Let n be k(f). Is 4 < n?
False
Let v = -60 + 416/7. Does -1 = v?
False
Let x be ((-20)/(-12))/(-3 - -4). Which is smaller: x or 3?
x
Let h = -3/119 - 2817/1547. Is h less than -2?
False
Let l = -74 - -818/11. Is l < 0.04?
False
Let h = 289 + -10117/35. Is 1 at most h?
False
Let w be 2/(((-1)/3)/((-35)/21)). Which is bigger: w or 8?
w
Let z be (1/(-10))/((-15)/10). Which is bigger: z or 0.2?
0.2
Suppose 0 = -3*f - 3, -f = 4*o + 9 + 12. Let n be (219/12)/(o/(-4)). Let k = -71/5 + n. Which is greater: k or -1?
k
Let m(z) = z**3 - 2*z**2 - 2*z + 3. Let r = -1 - -1. Let h = r - -2. Let p be m(h). Which is bigger: 0 or p?
0
Let o = -0.3 - -0.8. Is o equal to 3?
False
Suppose 0 = 5*q - 5 + 10. Let o = q + 4. Suppose -o*l = l. Which is smaller: l or -1/3?
-1/3
Let k = -6 + 7. Let p = 63 - 317/5. Which is smaller: k or p?
p
Let f = -3 - -2.8. Let l = 0.14 + f. Let u = l + 0.16. Are u and -0.3 equal?
False
Suppose -3*j = -15, -3*x + 5 = -0*x + j. Let w = -6 - -10. Suppose -w*v - 8 = 0, 2*v + v = 3*c - 9. Which is smaller: x or c?
x
Let j = 44 - 44. Let o = -14 - -55/4. Which is smaller: j or o?
o
Let l = 14.9 - 15. Which is smaller: 1 or l?
l
Let w(a) = -a**2 - 6*a. Let h be w(-8). Is h greater than -15?
False
Let f(s) = -s**3 + 3*s**2 - 2*s + 2. Let u be f(2). Suppose -g + u*g + 4 = 0. Is -4 at least as big as g?
True
Suppose 23*m - 5 = 18*m. Let d(r) = -r + 3. Let f be d(6). Is f equal to m?
False
Suppose -2*f - h + 34 = -3*h, 5*f - 55 = -h. Let s be 12/(-16) + 9/f. Which is smaller: -1/6 or s?
-1/6
Let c be (-26)/(-8) + (-3)/1. Let h = -3 - -3.1. Which is smaller: c or h?
h
Let j = 5.2 + -5. Let u = j + -0.6. Let v = -23/7 - -55/21. Which is smaller: v or u?
v
Let o be 4 - (-2)/3*-7. Let h = 2 + -2.1. Are o and h equal?
False
Let y(m) = m**3 + 4*m**2 - m - 2. Let f be y(-4). Let j(x) = -7*x**2 + f*x**2 + 54*x**3 + x - 53*x**3 - 7. Let l be j(5). Does -4 = l?
False
Let t = 0.1 - 0.1. Let f = t + -0.2. Let j = f + 0. Which is greater: j or -1?
j
Let v = 3 + -3.1. Let s = 0.3 - v. Let j = s + -0.39. Is 0.1 < j?
False
Let z be ((39/(-18))/13)/(1/3). Which is smaller: z or -2.2?
-2.2
Let w = 3 + -1. Let q be (-5)/15*(-3)/w. Which is smaller: q or -1/4?
-1/4
Suppose 0*u - 8 = -2*u, 2*c + 8 = u. Which is smaller: 4 or c?
c
Let n = 14.9 - 3.9. Let b = 488/5 - 98. Which is smaller: n or b?
b
Let p = -2 - -1.8. Let a = -26.7 + 27. Which is smaller: p or a?
p
Suppose -69 = -5*u + 3*s, 9*s = -3*u + 4*s + 55. Suppose w = -2*b - w - 12, 5*b - 4*w - u = 0. Let q be (10/(-8))/b + -1. Which is smaller: q or 2/9?
2/9
Let k be 11/2 - 1/2. Suppose 0 = -k*f - 2 - 3. Is 1/7 < f?
False
Let g = 3.1 + -0.1. Let l = -0.12 + -5.88. Let b = g + l. Is 0.1 <= b?
False
Let a(r) = -15*r + 35. Let n(x) = 7*x - 17. Let y(i) = -6*a(i) - 13*n(i). Let j be y(6). Suppose z = j*z. Which is bigger: z or -1/5?
z
Let h(i) = -i**3 + 8*i**2 + 2*i - 12. Let y be h(8). Suppose g + 0 = -2*r - 1, 0 = 3*r + y*g + 4. Let o = 3 - 2. Is o bigger than r?
True
Suppose -3*m + 2*r - 6 = 0, -3*m - 11 = 3*r + 10. Which is smaller: m or 3?
m
Suppose 6*v + 144 = 9*v. Let m = -92 + v. Let o be (6/(-8))/((-55)/m). Is -1 at least as big as o?
False
Let z(h) = -h**3 - 5*h**2 + h + 4. Let p be z(-5). Let l be p/(-6) + (-2)/(-6). Let t be 0 + 2 + 12/(-7). Which is greater: l or t?
l
Let a = 692.9 - 693. Let m = 66 - 71.4. Let s = m - -6. Which is greater: a or s?
s
Let m = -4/525 - -3751/9975. Does m = -1?
False
Let j = -0.5 + 0.2. Which is smaller: j or -0.1?
j
Let k = -5 + 7. Suppose t + 0*t - k = 0, 3*s + 32 = -2*t. Let g be (-22)/s - (-6)/(-12). Which is bigger: 1 or g?
g
Let b(o) = o**2 + o - 2. Let x be b(2). Suppose 0 = s - x*h - 11, -9*s - 3*h = -5*s + 13. Let l be 4/8 + s/10. Which is greater: -1 or l?
l
Suppose 5*k = -5*y + 10, 3*k = 2*y + 3 + 8. Let r be 0 - 5*2/6. Is r at most as big as y?
True
Let j = -10 + 8. Which is smaller: -7/8 or j?
j
Suppose -4*a = -3 - 1. Let s be (4 + 2/((-8)/4))/3. Is s > a?
False
Let n = -1476.9 - -1402. Let x = n - -71. Let v = x + 4. Is v greater than or equal to -0.3?
True
Let m = 2 + -28. Let o be -1 + -1 + m/(-12). Which is smaller: o or 0?
0
Let z(l) = -5*l. Suppose -4*w + 60 = -9*w. Let k be 15/w + (-2)/(-8). Let p be z(k). Is p smaller than 5?
False
Let u(l) = -2*l**2 + 2*l - 2. Let h be u(2). Let z be ((-12)/(-9))/(h/(-9)). Suppose z*q = q. Is 0 at most as big as q?
True
Let w be (-11)/(-6) + -6 + 111/18. Which is bigger: 6 or w?
6
Let u(j) = 2*j + 42. Let r be u(-15). Is r at least as big as 12?
True
Let b = -2 - -2.2. Are -3/7 and b equal?
False
Let b = -6875/322 - -149/7. Which is greater: 1 or b?
1
Let w = -0.126 + -43.874. Which is bigger: w or 2?
2
Let l be ((-54)/(-8))/(48/(-392)). Let z = 55 + l. Which is smaller: z or 0?
z
Let w = 4 - 3.4. Let y = -0.4 - w. Let v = 1 - 1. Is v != y?
True
Suppose -4*n - 41 = -37. Is n bigger than -6/11?
False
Suppose 0 = f + 5*x + 18, -4*f + f = -5*x - 26. Is 2 at least as big as f?
True
Let p = 19 + -11. Suppose 3*s = -1 - p. Is s at least as big as -4?
True
Let w(s) = s**3 + 4*s**2 + s + 4. Let t be w(-4). Which is greater: t or 2/277?
2/277
Let o(a) = -a**2 - 6*a. Let k be o(-6). Suppose 3*q - 6 = -0, 27 = 5*r - 4*q. Let v = -7 + r. Does v = k?
True
Let g(z) = z + 3. Let y be g(-3). Suppose 0 = 3*r - 3 - y. Which is smaller: -2/5 or r?
-2/5
Let y = 0 + -0.1. Let s = 0.12 - 0.09. Is s less than y?
False
Let s be 3 + 9/(-2 + -1). Suppose s = d - 3*d. Which is smaller: d or -1?
-1
Let t(s) = 3*s - 4. Let q be t(3). Are q and 6 equal?
False
Let o(s) = -2*s - 4. Suppose -4*z - 3 = -5*r, 2*z - 2*r - 15 = -5*r. Let i be o(z). Which is smaller: 1/2 or i?
i
Let z = 4 - 1. Which is bigger: z or 4?
4
Let b(o) be the third derivative of -o**6/120 + 11*o**5/60 - 5*o**4/12 - o**2. Let l be b(10). Which is greater: -2 or l?
l
Let l = -1/340 + 693/4420. Let k be (2 - 0) + (-11)/11. Which is smaller: l or k?
l
Let k = 5