 <= r?
True
Let z = 9.9 - 5.9. Let w = 11.1 + 1.9. Is z > w?
False
Let t(o) = -7*o**3. Let s be t(-1). Let a = 7 - s. Let j = -911/9 + 101. Is j at least as big as a?
False
Let t(a) = -a**2 + 3*a - 2. Let w be t(4). Let y be (7/6)/(2/(-9)). Which is smaller: y or w?
w
Let a = 7899 + -165629/21. Which is bigger: a or 11?
a
Let a be 6*(182/93 - (2 + 0)). Which is bigger: -1 or a?
a
Let k = 0.4 + -5.4. Let b = 4.9062 - -0.1038. Let o = b + k. Is o <= 0?
False
Suppose 483 - 38 = -5*f. Let v = f + 84. Suppose 4*n - 3*l + 36 = l, -2*n - 27 = -5*l. Is v greater than or equal to n?
True
Let y = 6904533 + -655937846/95. Let z = 379/5 + y. Is z <= -0.1?
True
Let i be -12*((-200)/66 + 3). Let d = -118/385 + i. Is d at most 0?
False
Let i = 2 - 1.5. Let u = 76 + -71.5. Let z = i - u. Is 1 at most z?
False
Suppose -83 + 2 = 3*q + o, -2*q = -o + 54. Which is greater: -26 or q?
-26
Suppose 4*w = 3 + 25. Suppose 9*c = 10*c - w. Suppose -13 = g - c. Which is bigger: -5 or g?
-5
Suppose -2*h - 78 = h. Let u be ((-93)/(-155))/(1/30). Let w = u + h. Is -7 greater than w?
True
Let x be 4 + -3*17/3. Suppose 2*h + 33 = 5*n, 2*n + 2*h = -3*n + 37. Suppose n - 31 = 2*t. Do t and x have different values?
True
Suppose 41 = m - 19*r + 18*r, 0 = m + 2*r - 56. Which is smaller: m or 41?
41
Let v(j) = -j + 2. Suppose -2*f - 1 = -3*f. Let a be v(f). Is -1/5 not equal to a?
True
Let c be ((-10)/8)/((-1)/4). Suppose -d + 5*w + 114 = 39, 5*d - 463 = 3*w. Let h = d + -93. Which is bigger: h or c?
c
Let g(v) = v**2 + 18*v - 4. Let t be g(-20). Let l = -37 + t. Is 5/14 greater than or equal to l?
True
Let k(n) = n**2 + 6*n - 9. Let s be k(-7). Let j = 4 - s. Suppose 3*u + 7 = -4*w, 0 = u - j*u + 5*w. Which is bigger: -2 or u?
u
Suppose -5*u = -3*o - 151, -3*o - 66 = u + 91. Let a = o - -88. Which is bigger: a or 37?
37
Let t(p) = -p**2 + 33*p - 37. Let j be t(18). Is j at least 0?
True
Let z = -1.725 + 1.7. Let s = 20.975 - z. Which is smaller: s or -0.1?
-0.1
Suppose -3*l = 3*i - 7*i - 17, 0 = 5*l - 4*i - 15. Is l smaller than 1/37?
True
Let y(s) = -s**3 - 5*s**2 - 5*s - 2. Let p be y(-4). Let f be (-63)/15*24/(-84). Which is greater: f or p?
p
Let z be ((-6)/4)/(-2 - 1). Let k = -325 + 6177/19. Let g = -27/76 + k. Are z and g unequal?
True
Let o = 2.93 - 3.03. Let h = -1 - -0.8. Which is greater: h or o?
o
Suppose 2*w - b = 10 - 0, 4*w - 18 = b. Is 70/23 less than or equal to w?
True
Suppose 29*v + 275 = 1522. Which is bigger: v or 46?
46
Let n be -1*(-4 + 3/(-3)). Suppose n*w - 11 = s, -2*w = -3*s + 2*w - 11. Let p be 3 - (s - -3) - 2. Is p != 0?
True
Let m be -34 - -2 - (-25 + 21) - -3. Which is smaller: -19 or m?
m
Let r = 22 - 62/3. Which is smaller: -5/6 or r?
-5/6
Suppose 0 = 5*g - 71 - 9. Suppose -g = -4*h - 0. Which is greater: h or 40/9?
40/9
Let n = -770119/260 + 2962. Which is smaller: n or 0?
0
Let w = -3.578 - 0.422. Is 4 at least as big as w?
True
Suppose -2*w - 94 = -3*w. Let b = w + -97. Are 0 and b unequal?
True
Let a = -0.3 - -0.2. Suppose 17594 = 238*p + 696. Is p smaller than a?
False
Let t(i) = 6*i**2 - 2*i. Let k be t(5). Is k >= 141?
False
Let t = 203 + -159. Is t <= 42?
False
Let s = 32 - 83. Is s less than or equal to -41?
True
Let q = -3.4 - -5.7. Let i = 0.7 + q. Which is smaller: i or -3?
-3
Let l be 6/(-8)*(-72)/189. Which is smaller: l or -18?
-18
Let q = 783 - 606. Which is smaller: 174 or q?
174
Let f(h) = h**2 + 70*h + 2 + 3 - 65*h. Let o be f(-2). Is -3/31 < o?
False
Suppose -2*g - 5*g - 574 = 0. Let d = g - -82. Which is bigger: 1/74 or d?
1/74
Let y(t) be the first derivative of 3*t**2/2 + 25*t - 6. Let a be y(-8). Is a less than -2/25?
False
Suppose 0 = 3*h - 4*u - 43, 0 = 4*h + 6*u - 3*u - 99. Let i = -21 + h. Which is greater: 1/11 or i?
1/11
Let p be ((-18)/32)/3*20/5. Is p greater than -1?
True
Let f = -123/2 - -61. Let i(d) = -d**2 - d. Let a be -3 - (-2)/(0 - -2). Let n be i(a). Which is greater: n or f?
f
Let f be -2 + 18/3 - 0. Let q = 4 + -5. Let a be f*(q + 1/2). Do -2 and a have different values?
False
Let s = -133 + 86. Let u = 33 + s. Let b = -15 - u. Which is greater: b or -1/27?
-1/27
Suppose 0 = 2*p + 3*o - 19, -5*o + 18 = p + 5. Suppose -p*v = 126 + 2. Suppose -7*z - 80 = -2*z. Is v < z?
False
Let u be 10/(-1)*12/(-20). Suppose u*t - 7 = -2*g + 3*t, 0 = -5*g + 4*t - 17. Which is greater: 2/5 or g?
2/5
Suppose 2*v - 6 = 2*u, 8*v + 3 = u + 4*v. Let a be (-1 - u)*(-45)/18 + -1. Is -9 equal to a?
False
Suppose -5*s + 2*p = 5*p + 15, 0 = p + 5. Is -12/59 equal to s?
False
Let o be -10*(-5 - -1 - -1). Suppose -z + o = -3*z. Is 0.1 less than or equal to z?
False
Let f = 12.8 + -13.1. Let x = -0.2 + 0.2. Let o = x - 1. Is o greater than f?
False
Suppose 20*t - 958 = 762. Is t bigger than 87?
False
Let x = 113 - 63. Which is bigger: x or 49?
x
Let f(n) = 2*n**2 - n - 3. Let t be f(2). Suppose s + 3 = 5, -5 = -t*x + 5*s. Let v be 4/x*(-15 + 5). Which is greater: v or -6?
-6
Let i be -1 + -3 + 2 + 23. Suppose -5*p = 75*p - 1440. Is p bigger than i?
False
Let v(k) = -k**2 + 6*k - 7. Let t be v(3). Let c be 12/t - 3 - -13. Let f = 13 - c. Which is smaller: f or 1?
f
Let b be 1 + -3 - (-7094)/36. Let r be 1/(2344/780 + -3). Let z = r - b. Which is smaller: z or 1?
z
Let i = -26 + 46. Suppose -3*r + 32 - i = 0. Let h be r/(-22) - (-16)/22. Is h at most 0?
False
Let x = 730 - 730. Suppose 3*r - 6 = 0, s + 0*s + r - 5 = 0. Which is smaller: x or s?
x
Let v(r) = r**2 - 18*r + 40. Let o(p) = p - 2. Let q(n) = 6*o(n) + v(n). Let l be q(4). Is 0.8 < l?
False
Let i(s) = 3*s - 13. Let u be ((-16)/(-12))/((-2)/(-3)) + 2. Let g be i(u). Is g at least as big as -2?
True
Let n be (12/8*2/(-3))/1. Let z = 0 - n. Is z bigger than 17/7?
False
Suppose -k - 5*v = 4*k - 65, 0 = -k + 2*v + 4. Is 47/5 not equal to k?
True
Let t = 63/2 + -30. Suppose -3*m + 3*j = 6, j + 3*j - 20 = -2*m. Which is bigger: m or t?
m
Suppose 0 = 2*u + 2*u. Suppose 0 = -4*r + c - 3920, -c - 2940 = 3*r - 4*c. Let p be 5*(8/r - u). Which is bigger: 0 or p?
0
Let l = -39.16 + -0.84. Let v = l - -37.7. Let j = -2.2 - v. Is j less than or equal to -3?
False
Suppose 4*d - 7*d = -45. Suppose d = -3*c + 3*m, -2*c + 20 = -3*c + 4*m. Let k = 153/370 - 1/74. Are k and c equal?
False
Let w(t) = 65 + 12*t - 1 - 4. Let h be w(-5). Is h at least as big as -2/71?
True
Let s = -87 + 62. Let w = -26 - s. Which is smaller: w or 0.11?
w
Let t = -53 + 34. Which is smaller: t or 0?
t
Let x = -1286.84 - -1287. Is x at most as big as -40?
False
Let c = 19.38 - 0.38. Let j = c + -19.8. Let r = 3.2 - j. Does r = 0?
False
Let f be 575/510 - 5/(-15)*-1. Which is smaller: 0 or f?
0
Let n = 5.7 - 11.9. Let u = n + 3.2. Is u less than 2?
True
Let j be (-2 - -27) + (-1 - -1). Suppose -n - 3*k = 10, 3*n + n - k = j. Let q = 28 - 23. Is q at most as big as n?
True
Let g = 14495 - 188314/13. Which is smaller: 10 or g?
g
Let z be ((-147)/(-14))/(-7)*(-2)/33. Is 12 equal to z?
False
Let w = 269678365494895/130938 + -2059588244. Let j = w + -1/942. Which is smaller: j or -1?
-1
Suppose -5 - 1 = -6*w. Let u be (2 + (w - 1))*-8. Which is greater: -19 or u?
u
Let g be 1 + 1*1/(-3). Let p = -2479.6 + 2482. Is g at least as big as p?
False
Let c(i) = -i**3 - i**2 + i - 7. Let d be c(0). Let y(r) = -2*r - 6. Let q be y(d). Suppose g - q = -9. Which is greater: g or 2/63?
2/63
Let a = 0.23 + 16.37. Do 1/4 and a have the same value?
False
Suppose 0 = 5*u + 6*j - 2*j - 425, -4*j = u - 101. Is 82 smaller than u?
False
Let z(f) = -2*f**2 + 16*f + 12. Let h be z(14). Let c be (-2)/(3*(-1)/h). Let s = -937/9 - c. Which is smaller: 0 or s?
s
Let l = -100 - -108. Suppose 8*j = -l*j + 192. Which is bigger: j or 1?
j
Let j(l) = l**3 - 8*l**2 - 6*l + 12. Let d = 5 + 3. Let i be j(d). Let n be ((-6)/i)/(4/(-6)). Is n > -1/6?
False
Let d be (14/(-4))/(3/(-6)) - -1. Suppose -2*m + d = 4. Which is smaller: m or 8/13?
8/13
Suppose 2*y = 4*y + 8. Let u be y/(-2) - 150/80. Is -1 < u?
True
Let w = -1517 - -1983. Is 465 != w?
True
Let i = -172 + 248. Let o = i - 75. Is o != 0.2?
True
Suppose -8*l + 13*l - 80 = -2*o, -5*o = -4*l + 31. Let a = -1 - -4. Suppose -2*h = 2*w + l, 21 = -4*h - a*w - 12. Is -13 less than h?
True
Let o = -27 + 29.4. Let r = o + 0.9. Let g = r + -3. Is g <= -1?
False
Suppose -2*g = -4*m - 26, -5*g = -0*g + 3*m. Suppose