ger: s or 6?
6
Let m = -126 + 127. Let w be (3 - 2)*16/14. Which is smaller: w or m?
m
Let q = -2/7495 + 15024/127415. Let d be -1 + 3 + 0/(-3). Which is greater: d or q?
d
Let j = -13 + 13. Let f be 18/(-72)*(j - 0). Is 2/213 less than or equal to f?
False
Let t = -14 + -84. Is t less than -99?
False
Let z(r) = r**3 - 2*r**2 + 17*r - 85. Let u be z(4). Let s be ((-6)/5)/(8/(-20)). Which is smaller: u or s?
s
Let m(b) be the second derivative of -b**4/6 - 5*b**3/3 - 9*b**2/2 - 2*b. Let f be m(-6). Let l be f/18 - (-6)/9. Which is smaller: 4 or l?
l
Let f be 1/((-1)/(-2 + 1)). Let b = -25.972 + -0.028. Which is smaller: f or b?
b
Suppose -2*k = 3*k. Let p(d) = d**3 - 6*d**2 - 5*d - 20. Let b be p(7). Let g be b + (-1 + k)*-4. Is g greater than 0?
False
Let x = 0.082 - 0.482. Does x = -56?
False
Suppose 3*g - 72 = 99. Suppose 8*r + g = -127. Which is greater: -24 or r?
r
Suppose 25 = 5*a + 3*v, -2*a - v - 1 = -5*a. Suppose -3*s = -a*g + 13, -3*g - s = -0*s + 8. Are g and -0.1 non-equal?
True
Let c = -3/5524 + -143543/149148. Let z = c + 289/216. Is z > 0.3?
True
Suppose -8*l - 228 = -44. Which is smaller: l or -25?
-25
Suppose 5*d - 9*d - 40 = 0. Let b(i) = -i - 23. Let a be b(d). Let v = -9 - a. Do 2 and v have different values?
True
Suppose -2*f + 5*j = 2*j + 8, 8 = -2*f - 2*j. Let x = 9 + -10. Let y be (x/(-38))/((-1)/f). Is y bigger than -1?
True
Let k(y) = -2*y + 33. Let d be k(5). Suppose 0 = 4*v + 19 - d. Let o = 137 - 953/7. Which is bigger: o or v?
v
Let k be ((-9)/(-135))/((-2)/(-12)). Is -0.1 >= k?
False
Suppose 5*v + 10 = 3*v, -747 = -3*b + 3*v. Suppose -a + w - 2 = 0, w = -3*a + 6*w - 6. Let g be b/(-348) - a/3. Which is bigger: g or -1?
g
Let u(s) = 2*s - 62. Let r be u(12). Suppose 0 = 2*o + 3*o + 195. Which is greater: o or r?
r
Suppose -3 = 21*m + 18. Is -8 at most m?
True
Let o = -11/7 + 69/35. Let p be 1 + (-12 + 3)*-1. Let a = 21/2 - p. Is o greater than or equal to a?
False
Let x = 10/19 - 108/133. Which is smaller: 166 or x?
x
Suppose 0 = 2*t + 289 - 19. Let r be (0 - (2 + -5)) + t. Let q be (r/(-11))/(2*1). Is q smaller than 3?
False
Let h be 574/((9/(-6))/((-15)/20)). Let n be 5/(-35) - (-62)/h. Is n < 0?
False
Let o = -2 - -5. Suppose 0 = o*r - r + 2. Let y be 3/(-12) - (-1)/(-4). Is y at most as big as r?
False
Suppose 0 = -2*u - 7 - 5. Let s(t) = -t**2 - 6*t. Let v be s(-5). Suppose -3*b = -l + 5, -39 = v*l + 4*b - 3*b. Which is smaller: u or l?
l
Let n(x) = -x**3 + 5*x**2 + 14*x - 4. Let a be n(7). Let w be -2 + 2 + (-10 - a). Is w at least as big as -14/3?
False
Let o be 6/(-10) - (-1 + 85/25). Let t be (3 + -4 - o/2)/14. Are -0.1 and t equal?
False
Let m = -11.02 - -11. Let y = -0.01 - m. Let c = -0.51 + y. Which is smaller: c or 2?
c
Let o = 1310/279 - 87/31. Which is greater: o or 3?
3
Let v = -227 - -371. Suppose -v = -9*z + 522. Which is bigger: z or 73?
z
Let t be (-5291)/52 - (-3)/(-12). Which is bigger: -107 or t?
t
Let b be (-3)/(-9)*3 + 8. Suppose -d + 6 = 3. Which is smaller: b or d?
d
Let s = -6.5 + -0.5. Let u = -38 - s. Which is greater: -2/5 or u?
-2/5
Let k = 6.04 - 0.04. Let g = 5 - k. Which is smaller: g or 4?
g
Let t = 3 + -3.04. Let a = 0.1 + t. Let b be -2*(0/1 + (-1)/(-2)). Which is bigger: a or b?
a
Suppose -3*w + 10 = 4*v + v, v + w - 4 = 0. Let k be ((-42)/24 - (-3)/(-12)) + v. Which is smaller: -5 or k?
-5
Let c be 1404/39*((-14)/(-8) + -1). Which is bigger: c or 25?
c
Suppose 55 = -t + 6*t. Suppose 42 = 4*k - 5*j, 18 = 2*k + 2*j - 6*j. Let l = t - k. Which is smaller: l or -4/3?
l
Let d be 198/2475 - (602/25 + 1). Is d less than -16?
True
Let r(h) = 1 + 0 - 2 - 173*h. Let t be r(4). Let j be (-352)/t + (-4)/14. Which is smaller: 1 or j?
j
Let l be (-250)/123 - (20/5 + -6). Which is greater: -1 or l?
l
Let f be 1*(-1 + (0 - -7)). Let a(d) = -d + 6. Let m be a(f). Suppose -9 = -g - 5*z + 15, m = -5*z + 20. Which is smaller: 5 or g?
g
Suppose 4*p + 4*j = 8, -4*p + 9 = j + 7. Which is smaller: 1/24 or p?
p
Let l(k) = -k**3 - 7*k**2 - 4*k + 1. Let z be l(-6). Let n = -13 - z. Let d be n/6 - 5/(-33). Which is smaller: d or 4?
d
Let k(r) = r**3 + 4*r**2 + 5*r - 11. Let h be k(-5). Let q be ((-11)/(-22))/(h/(-4)). Which is smaller: q or -1?
-1
Let x = -47 - -7. Let q = -25 - x. Suppose 3*y - 3 = -q. Is y at least as big as -4?
True
Suppose 4*g - 18 = -0*g + 2*p, 2*g + 3*p = -11. Suppose 2*l + g*l = 0. Suppose -f = -13*b + 12*b + 4, -3*b - f = 0. Is l <= b?
True
Let p = -25008/481 + 678/13. Is p smaller than 1?
True
Let t = -0.9587 + -0.0413. Let k = -2.5 + 0.5. Let j = k - -2.4. Which is smaller: t or j?
t
Let u = -1.726 + 1.926. Let a = 0.09 - 0.01. Which is smaller: u or a?
a
Suppose 0 = 5*x - 5*a - 85, 3*a - 5 - 19 = -2*x. Suppose 0 = -2*p + 5*p - x. Suppose -1 = 2*n + d - 0, -p*d = n + 23. Is n <= 3/5?
False
Suppose 0 = 2*q + v - 3, q + 3*v + 7 = 3*q. Suppose q*l - l = -2. Suppose -4 = 5*c - 3*y - y, -3*c - 3*y = 24. Is l != c?
True
Let h(x) = -x - 7. Let c be h(-6). Let u = -330/1807 - -4/139. Which is greater: c or u?
u
Let j = 21 + -21. Let f = 17 + j. Let x = f + -16. Which is bigger: -0.12 or x?
x
Suppose 100 = 3*m - 2*i + 6*i, 0 = -m - 3*i + 35. Let u = -31 + m. Do u and 6 have the same value?
False
Suppose -5*k = w + 4*w - 10, -2*k + 2*w = 0. Let s be (1/(-2 + 46))/(k/2). Which is greater: 1 or s?
1
Let n = -369 - -384. Let p = 2.1 + 0.9. Which is greater: n or p?
n
Let a be 1*-1 + (-10)/2. Let j(x) = 7*x**2 + 139*x - 26. Let i be j(-20). Is a bigger than i?
False
Let v = 6 + -4. Let s = -135/7 - -738/35. Is v greater than s?
True
Let u = -382 - -390. Which is smaller: 34 or u?
u
Suppose 2*t - 6*t - 12 = 0. Let z be ((-85)/15)/((-1)/t). Let o = z - -25. Is o greater than 1?
True
Let p = 1672 + -1673.67. Which is bigger: p or -0.4?
-0.4
Suppose 5*q - 4*q = 5, -2*x + 2*q = 12. Which is smaller: x or -5/24?
x
Suppose -4 = -i, -i - 42 - 224 = 5*y. Do y and -53 have different values?
True
Let m be (5 + -4)/(((-4)/37)/(-4)). Which is smaller: 41 or m?
m
Let x = 1391/18 - 883/9. Which is smaller: -20 or x?
x
Let t = -58 - -83. Suppose -3*f - 2*f = t. Let s be ((-6)/(-27))/((-80)/180). Is s greater than f?
True
Suppose -8 = -y + g + 4*g, -4*y + 3*g = -15. Let p be ((-6)/27)/(-1) + (-32)/(-18). Suppose -2 = 4*j - p*v, 5 = -j - 3*j + 5*v. Which is bigger: j or y?
y
Let n = 1.6 - 4.7. Let z = -3 - n. Which is smaller: z or 5?
z
Suppose -j - 5*d - 45 = -85, 0 = -5*j + 4*d + 113. Which is smaller: j or 26?
j
Suppose j - 28 = 5*j. Let s = j + 12. Let c = 4.9 + -5. Which is greater: c or s?
s
Let q be (-1*13)/((-4)/(-8)). Let v = q - -209/8. Suppose 5 = 2*h + 7. Is h greater than or equal to v?
False
Let w be (-1809)/450 - (-8)/2. Let r = w - -107/350. Is 5/3 at least r?
True
Let s be (-1)/((-8)/(-6)) + 1. Let j = 5 + -3. Let o be j/4*(-6 + 4). Which is smaller: o or s?
o
Let y(r) = -5*r**3 - 3*r**2 - 5*r - 2. Let m(j) = -j**3 - j**2 - j - 1. Let t(k) = -6*m(k) + y(k). Let w be t(-3). Let f = w - 11/13. Which is greater: 1 or f?
1
Let t = -65 - -75. Let g be (-1)/2 + 38/4. Let n = t - g. Is 2/3 < n?
True
Let o be (-1 - (-1997)/(-1245)) + -2. Let d = -1/249 - o. Let h = -130 - -134. Which is greater: d or h?
d
Suppose 41 - 5 = 9*b. Let q(p) = 2*p - 12. Let h be q(7). Suppose -h = -r + 2. Is b greater than r?
False
Let a = 2744 + -2743.9. Which is smaller: 0.516 or a?
a
Let j(c) = -4*c**3 - 3*c**2 + 4*c - 12. Let b(g) = g**3 - g**2 + g. Let r(t) = -5*b(t) - j(t). Let h be r(7). Which is smaller: h or -3?
-3
Let v = 4.05 + -0.05. Let t = v + -3.9. Let y = 0.098 - 3.098. Which is bigger: t or y?
t
Suppose 5*s - 310 = -3*a, 0 = -4*s + 2*a - 4*a + 250. Let g be 10/s*(1 - 2). Which is smaller: g or -1?
-1
Let h = 1.13 + 0.07. Let t = h - 0.5. Let n = t + -0.8. Is n at least as big as -0.5?
True
Let h = 106 + -107. Do -11 and h have the same value?
False
Let v = 1.2 + -0.2. Suppose 4*l + 4*f + 72 = 0, -14 = l - 4*f + f. Let a = l - -19. Are a and v unequal?
True
Suppose 0 = 4*j + j - 10. Let l be 72/16 - 1/j. Let d(i) = i**2 + 4*i - 6. Let q be d(-6). Which is greater: l or q?
q
Let i be 2 - (-10)/((-70)/21). Which is bigger: 9/64 or i?
9/64
Let b be 1/(0 + -1) - -15. Let s be (-1)/(1/b) + 0. Let i = s - -12. Which is greater: -8/7 or i?
-8/7
Let x be 26/(-7) - (-48 - -52). Which is greater: -9 or x?
x
Le