Let o = -8 - -6. Is o less than or equal to m?
True
Let r = -197/30 + 1/15. Let u = r + 6. Let v be 1 - (-1 + 2/1). Is u at least as big as v?
False
Suppose 0 = -5*v + v + 52. Let q = 12 - v. Which is bigger: q or -2?
q
Suppose c + 3*c = 4*k - 16, -5*k = -4*c - 19. Which is bigger: c or 2?
2
Suppose 9 - 93 = -d. Which is smaller: d or 83?
83
Let h be (1/6)/((-10)/15). Suppose -5*w = 5*n - 3 - 7, 4*n = -5*w + 8. Let o = -1 + n. Which is smaller: h or o?
h
Let h = 21.4 - -5.6. Let v = h - 27.1. Which is smaller: -0.09 or v?
v
Suppose 0*d - 2*d = 0. Let q(h) = -h - 5. Let v be q(-5). Suppose -y + v + 1 = d. Is y at least 1?
True
Let k be ((-4)/(-12))/((-3)/(-6)). Is 0.03 != k?
True
Let g be 6/40*1/(-3). Is 0 < g?
False
Let q = -3 - -2. Let j(d) = 2*d**2 + d + 1. Let n be j(q). Suppose 0 = -w + n - 1. Is w smaller than -2/5?
False
Let w be -1*5/(-10) + (-20)/(-8). Which is bigger: w or -7?
w
Let l be ((-4)/(-6))/(5/30). Let c(z) = -z**2 + 12*z - 22. Let v be c(9). Which is bigger: l or v?
v
Let g = -11 - -11. Which is smaller: g or -6/7?
-6/7
Let c = 892/9 - 99. Which is smaller: c or 1?
c
Let f = -4.5 - 1.5. Let g = -9 - f. Let j = 4 + g. Which is smaller: j or -0.3?
-0.3
Let m = 1 + -1. Let i(n) = n**2 - 6*n + 7. Let r be i(3). Which is bigger: r or m?
m
Let t = 73 - 73. Let p be (-34)/(-60) - (-1)/(-2). Which is smaller: p or t?
t
Let t = -0.22 - -11.22. Let q = -10.8 + t. Which is bigger: -3 or q?
q
Let j = 1 - -1. Suppose 2 + 0 = j*t. Suppose -i - 2 = i - 3*f, -4*f = 0. Is i at least t?
False
Let r(l) = l - 1. Let j be r(4). Let s be j/(-45)*3/(-2). Is -1 != s?
True
Let o = 60.2 - 58. Is o not equal to -1?
True
Let g = -15 + 14. Which is greater: g or 1/4?
1/4
Let j(c) = c**2 + 9*c - 9. Let l be j(-10). Which is smaller: l or -2/47?
-2/47
Let b be -4 + 2 - (-6)/7. Which is bigger: b or 2/9?
2/9
Let c(f) = -5 - 2*f - f**2 + 2 + 2*f**2. Let s be c(3). Let x = -5 - -5. Is s <= x?
True
Suppose -10 = -4*l - l. Let v = l - 3. Suppose 0*k = -2*j - 2*k - 10, j + 2*k + 7 = 0. Which is greater: j or v?
v
Let g be ((-6)/6)/((-2)/(-24)). Let p be 3 + (39/g - 0). Which is smaller: p or 2/7?
p
Let y = 22 - 24. Let x be 0 + -1 + (1 - -1). Let l be y/1 + 2 + x. Which is smaller: l or 1/4?
1/4
Let s = -5.17 + 0.07. Let p = s - 0.9. Which is bigger: -2/7 or p?
-2/7
Suppose -15 = w + 5*h + 6, 5*w - 5 = -3*h. Which is smaller: w or 2?
2
Let t be 2/4*(0 - 0). Suppose -4 = -y, -3*x + 4*x - 3*y + 10 = t. Suppose 2 = 4*k + x*m, 4*k - 5 = -0*k + m. Is 1 > k?
False
Let u = -15.6 + 15. Let f = 2.4 - 2. Let d = f - u. Which is bigger: -3 or d?
d
Let q = -24 - -25. Let k be 26/(-140) + 6/21. Which is smaller: k or q?
k
Suppose -2*c = -3*c - 11. Is c less than -11?
False
Let t be 624/(-990) - (-4)/6. Which is greater: 0 or t?
t
Let m = 1681 - 28585/17. Is m greater than 0?
False
Let t(k) = k - 1. Let c be t(2). Which is bigger: c or 1/33?
c
Let g(j) = -4*j - 6. Let m be g(-2). Suppose -m*h + 10*n - 5*n = 10, h + 5 = -n. Is -7 < h?
True
Suppose -7 - 14 = -2*m + 3*c, m + 17 = -4*c. Are m and 6 non-equal?
True
Let r = 1.87 + 0.13. Is -2 smaller than r?
True
Let d be (-20)/10 - 5/(-3). Is 0 at least d?
True
Let y be 2/3 - (-112)/(-186). Is 0 less than y?
True
Let u be (-6 - -10)/(-4)*142/2. Which is bigger: -70 or u?
-70
Let m(v) = v**2 + 7*v + 4. Let g be m(-6). Let q be (2*-1)/(g - 0). Let h = -33 - -33. Which is smaller: h or q?
h
Let g = 4441/140 + -127/4. Is -1 != g?
True
Let p be 12/42 - 26/(-7). Let m = 5 - p. Which is bigger: m or 1/2?
m
Let y be (117/(-6) - 2)/1. Is y > -22?
True
Suppose 8 + 22 = -5*i. Let x(p) = -p**2 - 7*p - 6. Let z be x(i). Which is greater: z or 1?
1
Suppose 18 = m - 5*l, -l + 1 = -3*m - 1. Let r(f) = -f + 3. Let d be r(5). Let b be (d/4)/((-8)/(-24)). Which is smaller: b or m?
m
Let a be (0 + 1 - (-4)/4) + 50. Is 52 != a?
False
Let h(v) = -15*v - 13 - v**2 + 0*v + 0*v**2. Let s be h(-14). Which is bigger: 3/10 or s?
s
Suppose u = -3*v + 1, 4*v - 3*u = 2*u - 24. Which is bigger: v or -5?
v
Suppose 2*b = 4*c + 32, -3*b + 4*c - c = -51. Let g = -3 + b. Which is smaller: g or 14?
14
Let l = -3.6 - -0.6. Which is smaller: -4/3 or l?
l
Let h(v) = 3*v + 4. Let s(w) = 2*w + 4. Let b(l) = 5*h(l) - 6*s(l). Let d be b(3). Suppose -d*a - o + 3 = -4, -4*a = 4*o - 12. Which is greater: 2 or a?
2
Let w = -15 - -29. Let v = w - 8. Is 6 > v?
False
Let z = -10.1 - -10. Is 11 < z?
False
Let a = 184/9 - 22. Is a at most as big as -2?
False
Let i be 4*((-5)/(-2) + -2). Let p be -6*i/(-63)*3. Let u(s) = -s**3 + 20*s**2 + 23*s - 41. Let g be u(21). Which is smaller: g or p?
p
Suppose -2*k + d = -d, -2*d = -3*k. Is 2 < k?
False
Let o = 2 - -8. Let c = -4 + o. Let p = 5 - c. Is 1/3 smaller than p?
False
Let q be 4/(-6) - (-2)/(-6). Suppose -2*n = 2*p + 2*n + 8, 5*p + 8 = -4*n. Let t = q + p. Is t > 2/11?
False
Suppose 5*w - g = 436, 5*w = 4*w - 4*g + 83. Let b be w/36 + 3/12. Is 3 smaller than b?
False
Let q = 1 + -5/4. Let s(i) = i**2 - 8*i - 2. Let t be s(8). Do t and q have the same value?
False
Let i = -22 + 31. Let f = 10 - i. Is f at most as big as 1?
True
Suppose -5*x = -5*l + 75, -4*x - x = 2*l - 58. Which is greater: 18 or l?
l
Let k = -0.61 + 5.61. Is 1 bigger than k?
False
Let t be 62/(-228) + (-14)/(-84). Does t = 1?
False
Let w be (-2)/(-24) - (-4)/16. Is -2/5 at least as big as w?
False
Let w = 13 + 62. Suppose -6*n + w = -n. Is 16 smaller than n?
False
Let x be (-2)/8*-2*0. Let h = x + 1. Is 2/7 less than or equal to h?
True
Let i be 4/(-16) + 15/12. Let y be (-33)/(-6) - i/(-2). Let a be (1/1)/(-5 + y). Which is greater: a or 2?
2
Let g(l) = l**3 + 3*l**2 - 4*l + 3. Let k be g(2). Is 14 >= k?
False
Let l(m) = -538*m**3 - m**2 - m. Let f be l(-1). Let d = f - 11296/21. Which is bigger: d or -1?
d
Suppose 13*j - 48 - 82 = 0. Which is smaller: j or 11?
j
Let a be 1*(-2)/15*54/(-8). Is a at least as big as 1?
False
Let h = -167383 - -25609493/153. Let y = 8/17 + h. Which is bigger: y or 2/5?
2/5
Let t = 5 + -7. Suppose 4*h - 2 = 2. Suppose -y - h = -0*y. Which is greater: y or t?
y
Suppose 24*t - 27*t = 0. Let b = -8 - t. Is b smaller than -9?
False
Suppose 5*g = -6 - 4. Let p = -6 - g. Is -2 greater than or equal to p?
True
Let k be 60/(-2)*-2 - -1. Let i = k + -306/5. Which is smaller: i or -1?
-1
Let c be (-1)/(-15) + 5/60*4. Which is smaller: 0.16 or c?
0.16
Suppose -5*r = -0*r - 15, 3*q + r + 3 = 0. Let x be ((q - -2)*1)/2. Suppose 5*z + 0*z = x. Which is smaller: z or 2?
z
Let o(k) = k**3 + k**2 + 3. Let p(r) = -r**2 - r + 3. Let j be p(-3). Let w be o(j). Which is smaller: w or -13?
w
Let v be 0/(1 - (1 + -1)). Let j(k) = k**3 + k**2 - 4*k - 3. Let g be j(-2). Is g at least as big as v?
True
Let m be 4/(-14) + 2/7. Let q = -652/7 - -93. Are m and q non-equal?
True
Let r(c) = 0*c + 0*c - 3 + c. Let u be r(4). Let h = u - 1. Is h at least 0?
True
Let c(y) = y**3 - 4*y**2 - 4*y - 5. Let w = 8 - 3. Let p be c(w). Let k = -9/7 - -52/35. Is k at most as big as p?
False
Let g = -13 - -9. Let s be (-9)/(-2)*g/(-6). Let x be 2 + (-10)/6 - 0. Is s smaller than x?
False
Let z(q) = q**2 + 10*q - 2. Let m be z(-10). Let k = 3 - m. Suppose -3*v - 7 = k. Is v smaller than -4?
False
Let y(w) = w**3 - 4*w**2 + 4*w. Let j be y(3). Suppose 4*f = -j*d + 73, d - 31 = -f + 3*f. Let x be (2/6)/(3/d). Which is bigger: x or 1?
x
Let k be (4 - (5 - 1)) + -1. Which is bigger: k or 2/17?
2/17
Let w be ((-45)/(-10) + -1)*-2. Let a = -11 - -15. Suppose -28 = a*b - 0*b. Is b at most w?
True
Let y(g) = -g**3 - 4*g**2 - 5*g + 7. Let s be y(-5). Let d be 2/(-6) + s/9. Suppose -5*h - 15 = -u, u + 3*h - 3 = -4. Which is bigger: u or d?
d
Let g = 1358/3 - 443. Let t = g - 28/3. Suppose 1 = r + 2. Which is smaller: r or t?
r
Let t be 2/(4/72*4). Which is smaller: t or 8?
8
Suppose 0 = 9*k - 13 + 4. Is 1 less than k?
False
Let z = 0.1 - 0.1. Let v = 2.08 + -2. Let u = -0.12 - v. Is u at most as big as z?
True
Let d(h) = h**3. Let w(o) = -7*o**3 + 5*o**2 - 1. Let f(g) = 6*d(g) + w(g). Let l be f(5). Is l greater than or equal to 1/10?
False
Suppose 7*k + 14 = 21. Are k and -2/93 nonequal?
True
Let j(r) = 18*r**3 - r**2 - r + 1. Let k be j(1). Let g = k - 69/4. Is 0.2 at most g?
False
Let q be 1/2 - (-3)/(-2). Let n be 12/2 - (q + 2). Let m be 1/(2 - 35/20). Is n at most m?
False
Let v