True
Let n = 10 - 8. Let f be ((-6)/(-4))/(2 - 15/10). Which is smaller: f or n?
n
Let t be 81/(-18)*(1 - 3). Let w be 2 - t/((-171)/(-40)). Are w and -1 non-equal?
True
Let k = 768 + -772. Let f = -6 - -3. Let q = k - f. Do 2 and q have the same value?
False
Let r = -705 - -521. Are -0.1 and r equal?
False
Suppose 0 = -4*f - 3*i + 5, -4*f - i = -6*i - 13. Let x be (-9)/f*12/18. Which is greater: x or -8?
x
Suppose 0 - 63 = 7*x. Let s(o) = -o**2 + 10*o + 1. Let h be s(10). Are x and h non-equal?
True
Let r be 64/70 - (-2)/(-10). Let c(g) = g**3 + 4*g**2 - 2*g + 16. Let a be c(-5). Which is smaller: r or a?
r
Let f = -3389/785 - 13/157. Is -2 at most f?
False
Suppose -48*z - 6324 = 14*z. Is -1/4 less than or equal to z?
False
Let x(g) = g**3 + 4*g**2 + g - 7. Let p be x(-3). Is -5/27 != p?
True
Suppose -v - 46 = 27. Let u be 8/20*5/v. Is -1 > u?
False
Let n = 1.351 + -1.341. Let x = -1.12 + 0.22. Which is greater: x or n?
n
Let v = 9 + -7. Suppose 8 = -v*k - 16. Let t be (-2)/k - 3/6. Is t less than 3?
True
Let n(r) = -r**3 + 14*r**2 - 34*r + 79. Let f be n(12). Which is smaller: f or 14?
f
Let r(a) = -a**2 - a - 4. Let k = -17 + 15. Let n be r(k). Let x(b) = b**2 + 7*b + 4. Let u be x(n). Which is bigger: -1.8 or u?
-1.8
Let s = -15 - -28. Suppose 6 = h - 6. Is s at most as big as h?
False
Let l(o) = -o**2 + 2*o + 2. Let f(j) = -j**3 - 3*j**2 + 4*j - 2. Let k be f(-4). Let d be l(k). Let s be (-6)/d*(-2 + 1). Is -2/35 != s?
True
Let y = 1611 + -422081/262. Which is bigger: 1 or y?
1
Let c = -1 - -1. Suppose 0 = -c*i + 5*i - 10. Let r be 162/(-108)*(-4)/((-16)/(-6)). Is i greater than r?
False
Suppose -j - 15 = -4*j. Suppose -j*q = q + 48. Is -6 smaller than q?
False
Suppose 3*h + 4*p + 2 = 5, h - 5*p = 1. Suppose 4*q = -c + 17, 2*c - 7 + 1 = -q. Which is smaller: h or q?
h
Let o = 0.3 + -0.4. Let p = -35 + 37. Let u = p - 2.1. Is o greater than u?
False
Let z = -949 - -949. Is z less than or equal to 2/529?
True
Let u = -251 - -250.9. Which is smaller: 43 or u?
u
Let i(f) = -f**2 - f - 24. Let l be i(0). Let z be 18*(-4)/(l/(-9)). Which is greater: z or -26?
-26
Let x = 7 + -1. Suppose -z + 2*h = -h - 17, x = -2*h. Suppose -3*a + 1 = -z. Is a greater than or equal to -0.1?
True
Let d(x) = -x**3 - x**2 + 4. Let s be d(0). Let k be (-16)/12 - s/6. Let u be -1 + (-2)/(4 + -2). Is k != u?
False
Let f(h) = h**3 - 5*h**2 + 5*h - 1. Let g be f(4). Let v = 1 + g. Suppose v*x + 2 = 3*t - x, 2*t + x + 3 = 0. Is -12/7 bigger than t?
False
Let z(i) = 3*i - 1. Let p = 6 + -10. Let x be z(p). Let b = 7133 - 7146. Is x at least as big as b?
True
Let s be ((-5350)/(-340) - 13)*-2. Which is bigger: s or -4?
-4
Let f = 41 + -17. Let n be 1/(-4 + 124/f). Let o be ((-5)/3 + 2)*2. Is n greater than o?
True
Let p = 4/1469 - -26038/148369. Which is bigger: -1 or p?
p
Let g = -93/10 + 1189/130. Is -1 > g?
False
Let a(i) = -29*i + 14. Let j be a(-2). Which is greater: j or 1/2?
j
Let p = -1 - 1. Let w(f) = f**3 - 2*f**2 - 3*f - 1. Let c be w(3). Let g(x) = x**2 + 2*x + 2. Let z be g(c). Does p = z?
False
Let s = 202 - 1007/5. Let r = 9315 - 9321. Is s at most r?
False
Suppose o - v + 10 = 2*v, 8 = -2*v. Let c be (8/o)/((-2)/(-3)). Let j = -3 + 2. Are j and c equal?
False
Let i(c) = -c**3 - 2*c**2 - 9*c - 7. Let r be i(-2). Is r smaller than 81/7?
True
Suppose 11 = -2*h - 2*h - 5*v, -2*v - 7 = -h. Which is smaller: 4/753 or h?
4/753
Let g be 118/168 + 8/(-28). Let k = g + -2/3. Which is bigger: -2 or k?
k
Let h = -528 - -532. Suppose -t - 18 = -4*t. Suppose -h*k - t = 2. Is -1/2 less than k?
False
Suppose 3*u + g + 0*g + 35 = 0, -3*u + 4*g - 40 = 0. Is 6 greater than or equal to u?
True
Let x(b) = -72*b**3 - 2*b**2 - b. Let j be x(-1). Suppose 209 + 714 = 13*y. Are j and y non-equal?
False
Suppose -c = 3*a - 33, 4*a - 153 = -5*c + a. Suppose -2*t - y = -6*t - c, -2*y - 28 = 3*t. Let s be 2/(-22)*(-10 - t). Is s <= 0?
False
Let v = -59999/65 - -923. Is v at most 0?
True
Suppose 0*d = 11*d + 110. Which is smaller: -15 or d?
-15
Let m(w) = w**3 - w + 2. Let i be m(0). Suppose 3*q = i*q - 3*l + 13, 3*q = -l + 15. Suppose 2*h + 0*y = 3*y - 10, q = 3*h + 5*y. Which is smaller: h or 5?
h
Let p = 4728/77 + -426/7. Let y(h) = h**3 - 5*h**2 + 6*h - 6. Let a be y(4). Suppose 9 = -v - a*k, 4*v + v - 2*k - 15 = 0. Which is bigger: v or p?
v
Let i(d) = -d**2 + 32*d - 174. Let x be i(25). Is 1/24 equal to x?
False
Let a = -37 + 39. Let s = a + 1. Is 4 equal to s?
False
Let v(i) = i + 7. Let o be v(-6). Let d be -2*-813*o/(-189). Let p = 80/9 + d. Is -5 less than p?
True
Let c be 1 - (2 - 2 - 4). Suppose -5*x + 44 = -2*k, 0 = -0*x + 4*x + 2*k - 46. Suppose 0 = 4*u + u - x. Which is smaller: u or c?
u
Suppose 3 = -3*f - 9. Let x be (1 - (9 + f))*1. Let c = -13 + 14. Which is greater: c or x?
c
Let u(t) = t + 5. Let s be u(-5). Suppose 2*g + 6*v - v + 9 = s, -2*g = 2*v + 6. Let q = 22 - 21. Which is greater: q or g?
q
Let j = -0.76 + -0.24. Let w = 0.04 - -0.01. Let l = 2.05 - w. Is j < l?
True
Let z be ((-4)/(-3))/((-10)/(-45)). Let y(x) = 7*x**2 - z*x**2 + x**3 + 7*x**2 + 7*x + 1. Let n be y(-7). Is n equal to 2?
False
Let s = 22531/4565 + -11/415. Which is smaller: s or 5?
s
Let c = -25/1760552 + -109223600721/2200690. Let m = c - -49629. Let k = 25/8 + m. Which is smaller: 1 or k?
k
Suppose 3*u - 36 = f, -17 - 7 = -2*u - 2*f. Let y = 39 - 26. Which is bigger: y or u?
y
Let r = 33 + -32.7. Let j = 86.1 - 87. Which is smaller: j or r?
j
Let m be (-420)/(-102) - 4/34. Suppose 0 = 5*n + 4*f - 27, -12 = -5*n + 2*f - f. Suppose -n*w = w - m. Is w at least as big as -1/50?
True
Suppose n + 4*r - 10 = 0, -n - n + 2*r = 20. Is -62/13 < n?
False
Let m = -146 - 122. Which is bigger: m or -270?
m
Suppose -6*x - 8 + 14 = 0. Let b(q) = -26*q + 3. Let p be b(x). Is p != -21?
True
Let y be (-1)/(-6) + (-15)/(-18). Suppose 0 = -5*u - f + 3*f - 56, -f + 33 = -3*u. Let g be 2/u - (-306)/405. Which is greater: g or y?
y
Suppose -4 = -2*f + 14. Suppose 0 = 5*l + 31 + f. Does l = -8?
True
Let w(y) = 3*y + 13. Let g be w(-5). Let t(m) = -m**3 + 9*m**2 - 8*m - 6. Let x be t(8). Let c = x + 4. Is g equal to c?
True
Let j = -24 + 21. Let o be (-4)/j*3/(-18). Which is greater: 1 or o?
1
Let f = 4.23 - 0.33. Let v = -21.1 - f. Which is smaller: v or -1?
v
Let n(f) = -35*f - 4. Let g be n(-3). Let b be (362/g)/(28/35). Let x = b + 2/101. Is x at least as big as 5?
False
Suppose -4*t = -t + 9. Let x be 1/t*-9 - -8. Is x at least 7?
True
Suppose -4 = -t + 1. Suppose 3*o + 2*l - 30 = 0, -o + t*o + 3*l = 39. Suppose -4*s + o = 2*y, 0*y - y = -4. Which is greater: s or 0?
s
Let v = -5.1 - -4.66. Let x = v + 0.1. Is -1/2 != x?
True
Let v be 1 + 0 - (-451)/(-454). Is -1 < v?
True
Suppose 3*k = 5*l + 39, -3*k = 2*k + 10. Let o be ((-2)/6)/(l/27). Suppose 6 = -r - o. Is r greater than or equal to -7?
True
Let b = 79 - 69.8. Let v = b - 9. Is 0.3 at most as big as v?
False
Suppose -2*i = -0*i + 128. Let t = 65 + i. Which is greater: t or -2/15?
t
Let h = -5.62 - -0.02. Let d = 6.6 + h. Let x = 2.97 + -3. Which is smaller: x or d?
x
Let h be ((-669)/12)/(5 + (-105)/20). Is h bigger than 221?
True
Let h = -0.19 + 20.19. Let u = 40 - h. Let o = 2.1 + -2. Which is bigger: u or o?
u
Suppose 5*n + 530 - 53 = 3*j, 2*n = -4*j - 196. Is -662/7 less than n?
False
Suppose 0 = 4*x - 4*m + 30 + 18, -56 = 4*x - 2*m. Suppose 2*o + 3*o + 65 = -4*f, -4*o - 4*f - 48 = 0. Which is bigger: x or o?
x
Let u = 0.35 + -0.05. Let z = u - -2.7. Let w = -81 - -82. Which is greater: w or z?
z
Let i = -217 - -217.99. Let s = 0.79 - i. Is s < -1?
False
Let f be (1/2)/((-1)/14). Let k = 8 + f. Let o(z) = -z**2 - z + 1. Let r be o(k). Is r bigger than -2?
True
Let r be (-130)/14 - 8/(-28). Let d be 42/(4 + -2)*(-144)/(-56). Suppose -5*l = 4*c + 50, -4*l - d = 3*c - 16. Is r greater than c?
True
Let p be (-94833)/492 + 6/8. Are -193 and p non-equal?
True
Let c be 3/6*-2 + 5 + 1. Suppose -3*m - c*i = -42 - 4, 2*i - 24 = -2*m. Which is smaller: -2 or m?
-2
Let k = 1.84 + 0.115. Let g = k - -0.045. Are g and 10 equal?
False
Let i = -19.6 + 26. Let v = i - -0.8. Let g = 2.2 - v. Which is greater: 1/2 or g?
1/2
Let w(s) = s + 90. Let q be w(-17). Is q less than or equal to 76?
True
Let x = 1.9 + -4.4. Let q = -5.5 - x. Let h = -65/28 - -18/7. Which is g