smaller: s or 29?
s
Suppose -2*v = -v. Let g be (8 - -2) + v + 2. Let x = g + -25/2. Which is greater: -1 or x?
x
Suppose -4*z + 4*v + 86 + 122 = 0, -z + 46 = -3*v. Suppose 0 = 2*g + 3*g - z. Which is greater: g or 2?
g
Let g(s) = -s**3 + 24*s**2 - 42*s - 17. Let r be g(22). Is 27 < r?
False
Let f be (0 - -8)*126/(-4). Let r be (-6)/16*(-48)/f. Suppose 15 = -2*i + 4*d + 7, 3*i = 5*d - 10. Is r bigger than i?
False
Suppose 3*z = 16 - 4. Suppose 5 = 4*k + 5*l + 2, z*k = 5*l + 13. Which is smaller: k or 3?
k
Let a be (-4)/6 - 5/(-9). Suppose 12*r - 13 - 47 = 0. Suppose n + 3*c + c = 8, -5*n + r*c = 10. Which is smaller: a or n?
a
Suppose -2*p + 0*p - 5*z = 31, -17 = 4*p + z. Let m = -237 + 230. Which is smaller: p or m?
m
Suppose 9*k = 4*k + 2*f + 21, -3*k - f = -17. Suppose 0 = z - k, -r = 5*z + 4 + 1. Let c be (-4)/30*50/r. Is 0.6 not equal to c?
True
Let t = -0.2 - -0.18. Let s = t - 7.98. Let c = s + 8. Which is bigger: 4 or c?
4
Let s be (-16)/(-136) - (-704)/(-5406). Is 0.1 at most s?
False
Suppose -44*t + 4*c - 22 = -42*t, 4*t - c + 51 = 0. Which is greater: -11 or t?
-11
Suppose j + 354 = 4*a - 1259, -5*a + 2*j = -2014. Is 405 equal to a?
False
Let n(j) = j + 8. Suppose t = s - 3*t - 20, s + 5*t + 25 = 0. Suppose 0 = -s*v - 3*v - 27. Let c be n(v). Which is bigger: -1/5 or c?
-1/5
Let o be (0 + 2)*(-3)/2. Let a be 5 - -1 - (-18)/6. Let d(x) = x**3 - 9*x**2 + x - 12. Let w be d(a). Is w <= o?
True
Let r = 121 - 120. Suppose -58 = 5*n + 2. Let a be (114/n)/(1/2). Is r less than or equal to a?
False
Let x be 8/6*(-72)/(-16). Let b = -1 + 4. Suppose 2*s - 3 = y, -5*s + 3 + b = -3*y. Is y smaller than x?
True
Let x(k) = -k**3 - 2*k + 3. Let u = 1 + -1. Let q be x(u). Suppose -n = -q*n - 12. Is n greater than -5?
False
Let r = 505.012 - 505. Let n = 119 - 831/7. Is n at least as big as r?
True
Suppose -2*o + 2 = -8. Suppose -5*v - o*p + 130 = 0, 0 = -3*v + 2*p + 2*p + 85. Let h = -31 + v. Is h at least 2?
False
Suppose -62 = 2*b - d - 97, -b + 25 = d. Let s = -7 + 25. Which is smaller: b or s?
s
Suppose -2*v - 14 = -0*u - u, 4*u = -4*v - 4. Suppose -u*j - 18 = 38. Are j and -14 nonequal?
False
Let r be 0 - 2*(-3)/(-12). Let s = -96 + 95. Which is smaller: s or r?
s
Let y = -28 + 2998/107. Is y at least 0?
True
Let o be (3/(-10))/(1/((-4)/3)). Let r = -25.1 - 28.9. Which is smaller: o or r?
r
Let x = -0.5801 - -0.8801. Let j be 2/(-3) - (-2)/(-3). Is x greater than j?
True
Let p = -2/600349 - -21613370/241940647. Let z = 8/89 - 282/1157. Let v = p + z. Which is greater: 0 or v?
0
Let t(c) = -c + 12. Let b be t(9). Suppose b = 5*f - 2. Let s be 14*(-1)/(-12) - 0/25. Is s > f?
True
Let n = -49428592/3191 + 15490. Let r = -22385/76584 - n. Let u = r + 1/24. Which is smaller: u or 6?
u
Let a be (-1 - -2)*4 - 2. Let n(x) = x**2 - x - 4. Let f be n(4). Suppose s + f = 9. Is a less than s?
False
Let z be (-8)/(-10)*(-35)/(-2). Let m be -1 - 5/10*-6. Which is smaller: m or z?
m
Suppose 0 = 5*w - 3*m + 55, -4*m + 4 + 48 = -4*w. Let g be ((-75)/4)/(w/(-32)). Let q be (-12)/16 - g/(-12). Which is bigger: q or -4?
-4
Let p = 20 + -53. Let s = p + 34. Which is smaller: -0.4 or s?
-0.4
Let o = 851/525 + -29/21. Which is smaller: 3 or o?
o
Let h = -2976 - -2976.01. Which is bigger: 1.6 or h?
1.6
Let u = -60 + -18. Let a be (-441)/(-30)*u/9. Let g = -127 - a. Are g and -1 non-equal?
True
Suppose -11 = -5*k - 41. Suppose 0*q - 30 = 5*n + 5*q, 0 = -3*n + 3*q. Which is greater: n or k?
n
Let w = 3513/98 + 32/49. Which is smaller: w or 37?
w
Let j be (-57)/38 + (-5)/(-4). Which is greater: j or 1/277?
1/277
Let h = -2.837 - -0.137. Let s = -3.6 - h. Which is smaller: 0 or s?
s
Let z be 1 + (-1312)/9 + (-10)/45. Let q = z - -172. Is -1 at most as big as q?
True
Let a = 8.7 + 1.3. Let k = a - 3. Let x = 2663/95 - 525/19. Is x <= k?
True
Let o = -41 - 12. Let f = o + 50. Is f < 3?
True
Let f = -6093/89930 - 3/1058. Which is greater: 1 or f?
1
Let z be 52/26 + 1 + (-1505)/501. Which is smaller: 1 or z?
z
Let j(n) = n**3 - 6*n**2 + 2*n + 3. Let y be j(5). Let w = y + 10. Let c be w - (-2 - (-3 - 1)). Is -2 less than or equal to c?
False
Suppose -5*j = -4*j + 3*a + 1, 3 = j + a. Is j < 52/11?
False
Suppose -2*t + 6 = -2, -2*t = -2*d + 94. Let c = d + -16. Which is greater: c or 36?
36
Let d(u) = -u**3 - 19*u**2 - 60*u + 7. Let f be d(-15). Which is smaller: f or 12?
f
Suppose 2*g - 8 = -2*y, -2*g - 2*y = 2*y - 12. Suppose 0 = -g*p + 10 - 8. Which is greater: p or 2?
2
Let w(b) = -b**2 - 4*b + 3. Let c be w(-4). Let m = 16129/2 + -8066. Are c and m unequal?
True
Let l = 8 + -8.1. Let d = -13.75 + -0.25. Which is greater: l or d?
l
Suppose 2*p - 7 = 4*r + 19, 0 = -p - 5*r - 15. Let x(k) = -k**2 - 13*k + 63. Let g be x(-15). Suppose -p*l + 2 + g = 0. Which is bigger: 8 or l?
8
Let a(c) = -c**2 + 4*c + 10. Let s be (48/20)/((-3)/(-10)). Let l be a(s). Let x be (-23)/l - 0 - 1. Is x <= 0?
False
Let y be 4/16*0 + -2 + -29. Let m = y + 25. Let i = -181/5 + 36. Is i < m?
False
Suppose -4*l + 5*b - 32 = 0, -b - 4 = 4*l + b. Let i be -1 - -2 - (l - -4). Suppose -z - 2 + 3 = i. Which is smaller: z or 1/3?
1/3
Suppose 26*i = 18*i - 784. Which is greater: -99 or i?
i
Let s be 1/189*-41 - 13/(-91). Suppose 0 = -2*r + 3*r - 1. Let h be (r - -2)*3/(-9). Which is greater: h or s?
s
Suppose -12 = -4*z - 0*z. Suppose -4 = d + z*p - 26, -p + 121 = 4*d. Let c = d - 20. Is c bigger than 10?
True
Let f be 38/48 + (3 - 4). Let x = f + 107/24. Which is smaller: x or 1?
1
Let a = 4.8 - 3.8. Let l = -0.9 + a. Which is bigger: l or 1?
1
Let q(t) = 3*t + 2. Let g be q(-4). Let k be ((-55)/g)/((-10)/(-124)). Let y = k - 68. Which is greater: -1 or y?
y
Suppose 8*f - 30 = -2*f. Suppose 2*t + f*d - 2 = 0, 4 = 12*t - 8*t - 3*d. Let v = 3434/13 + -264. Which is smaller: v or t?
v
Let a be (-3 + 0 - -8) + -3 - 2. Suppose a = -2*f - 4*f. Which is smaller: 10/7 or f?
f
Let l be (0 + 1)/(16 - 15). Let h be 2 - ((-1215)/6)/3. Let o = -68 + h. Which is smaller: l or o?
l
Let o(b) = 6*b - 11. Let j(k) = -12*k + 21. Let f(d) = 2*j(d) + 5*o(d). Let s be f(4). Suppose 0 = -g + s. Is 12 < g?
False
Let d be 82/7 - (-4)/14. Suppose -d - 38 = 5*x. Let a be (-41440)/4640 + (-4)/58. Which is smaller: x or a?
x
Suppose -6*a - 619 = 29. Which is bigger: -107 or a?
-107
Let n = -25808 + 45938241/1780. Which is smaller: n or 1?
n
Let n = 17 - 20. Let v be 2/(-3)*n + -20. Let w = -66 - -48. Is w at least as big as v?
True
Let z = 62 + -62. Do z and -13/9 have different values?
True
Suppose 13*w = 240 - 45. Is 15 at most w?
True
Let c = -39 + 37. Let q = -2 + -7. Let d = -6 - q. Which is smaller: c or d?
c
Let c be ((-1)/(-1))/(1271/(-82)). Which is smaller: c or -3?
-3
Let z = 57 + -51. Let a(i) = i**3 - 5*i**2 - 8*i + 11. Let u be a(z). Do u and 2/177 have different values?
True
Let t be 104 + -96 - (1 + 6). Which is smaller: t or -26/105?
-26/105
Let h be -3037*((-32)/28 - -1). Let m = 433 - h. Let s(q) = -q**3 + 8*q**2 + 9*q - 2. Let p be s(9). Which is smaller: p or m?
p
Let k = -2 - -1.7. Let m = 24.6 + -25. Let p = m - k. Is p equal to 5/4?
False
Let b = -0.336 + -0.664. Is -40/11 greater than or equal to b?
False
Suppose 0 = 2*u + r + 14, -u + r - 34 = 3*u. Suppose 44 + 71 = -5*v. Let l = v - -14. Is u > l?
True
Let p be (-15)/6*8/10. Which is bigger: p or -9/11?
-9/11
Let i = -2.5 + 0.5. Let r = -133 - -129.8. Which is smaller: i or r?
r
Suppose 3*d - d = 0. Let g = 42 - 6. Suppose d*m = -6*m + g. Which is greater: 7 or m?
7
Let h = -1 - -2. Let y = h - 14. Let x = -751 - -752. Is x != y?
True
Suppose 3*t + 13 = 85. Let h = t - -5. Is h smaller than 30?
True
Let x = 123 - 115. Let q be (x + -7)/(2/46). Which is bigger: q or 21?
q
Let x be 59/((3 - 2)*18/6). Suppose 0 = -3*w + c - 61, w - c + 13 + 8 = 0. Let o = w + x. Is o bigger than -1?
True
Let f be (121/(-77) + -7)/(3/21). Suppose -2*t - 59 = -t. Is f > t?
False
Suppose 10*l = -883 + 4763. Let u be 1/7 - l/168. Is u < -2/3?
True
Let y be ((-3)/(-2) + 3)/(342/(-3)). Is 1 >= y?
True
Let v = -10.1 - 31.9. Let q = -42 - v. Which is greater: q or 0.3?
0.3
Let g be -3 - -5 - (-1)/(-1). Let y be -1 - (-25 + 1 + 2). Let h be (-8)/(-4) + y/(-3). Does g = h?
False
Suppose 9 = -3*v - 2*v + 3*c, 4*v - c + 10 = 0. Let b be 120/(-8)*(2 + v). Which is bigger: 17 or b?
17
L