 - -9. Let c = 26.69 + -27. Let b = -2.31 - c. Is b equal to h?
False
Let t = -498 - -497.56. Is t >= -0.13?
False
Let n = -304 + 302.7. Let y = 0.07 - -0.63. Let z = -0.3 - y. Which is smaller: n or z?
n
Let s = 1209 - 737. Let r = -6140/13 + s. Which is bigger: -1 or r?
r
Suppose 0 = 11*r - 16*r + 185. Suppose -9 = -2*i - r. Let m = i - -14. Is 0.4 greater than or equal to m?
True
Let x be 51/135*3 - 4/(-20). Are 1 and x nonequal?
True
Let g(j) = -16*j + 268. Let v be g(11). Is v at most 89?
False
Let d = -28 - -57/2. Let f = -4 - -15. Let g = 14 - f. Which is bigger: d or g?
g
Let p be (-56)/98 - (-28462)/(-441). Which is bigger: p or -66?
p
Let m be ((-8)/14)/((-14)/49). Suppose m*a + 5*v + 23 = 6*a, 5*v + 25 = 5*a. Suppose -a*i - 5*u - 6 = 0, 4*u = -0*i - 2*i - 4. Which is bigger: 3 or i?
3
Let x = 138 + -127. Is x < 3?
False
Let k = 15 - 13. Suppose 5 = k*q + 3*q. Let f be q/(-3) + 2/(-3). Is f not equal to -1?
False
Let z be (-154)/(-5) - (3 - 104/40). Is z less than 31?
True
Let m = 0.1 + -0.2. Let f = 9.5 + -1.5. Let n = f - 17. Is m greater than n?
True
Let y(l) = -4*l**3 - 5*l**2 - 10*l - 5. Let h(a) = -a**3 + a**2. Let o(d) = 5*h(d) - y(d). Let c be o(11). Is c >= -2/19?
False
Let r be (4/10)/((-5)/(-150)). Let t be 15/20 + (-129)/r. Which is smaller: t or -11?
-11
Let l(a) = -4*a + 28. Let g be l(5). Suppose 2*v = -5*q + 110, 3*v - 5 = 2*v. Let c = q + -11. Which is greater: c or g?
c
Let g be 0 - (110/33)/((-2)/3). Suppose -5*k = -g*n + 25, 0*n - 5*k = -3*n + 25. Is n equal to 2?
False
Let o = -0.061 - 8.639. Let z = 8.94 - -0.06. Let m = o + z. Is m > 2/3?
False
Let x = -39 - -42. Suppose -x*a + a + 2 = 0. Is a smaller than 2/49?
False
Let u = -2.404 + 2.344. Let x = 4 + -6. Do x and u have different values?
True
Let w = -7847 - -518513/66. Let g = 55/6 - w. Let s(b) = b**3 + 4*b**2 - 4*b + 4. Let p be s(-5). Which is bigger: g or p?
g
Let b = -93.74 - -93. Let y = -0.54 - b. Let g = 63 - 755/12. Is g at least y?
False
Suppose 0*m - 4 = -m. Suppose -2*h + m*h = -96. Let n = h - -191/4. Is n equal to 0?
False
Let s be (-1)/2*(18/(-4))/9. Is 368 != s?
True
Let v(f) = f**2 + 2*f - 9. Let o be v(-7). Let l = o + -30. Let d be (((-36)/33)/l)/(-1). Which is smaller: 0 or d?
d
Let j be (106 + 0)*(12 + 275/(-20)). Which is greater: -186 or j?
j
Let p(u) = 12*u - 292. Let i be p(-30). Is -652 <= i?
True
Let k = -0.22 - 0.01. Let j = k - -0.33. Which is greater: -25 or j?
j
Let i = 999 + -643. Which is smaller: i or -2?
-2
Let n be ((-22)/33)/(2/(-21)). Let v be (-2)/1 + 2/1. Suppose -5*f = -v*f - 30. Which is bigger: n or f?
n
Let b(m) = 15*m - 14. Let v be b(1). Which is smaller: 10/7 or v?
v
Suppose -2*t - 15 = -t. Let c(g) = 0*g - 3 - 2*g - 13 + 5*g. Let a be c(5). Is t < a?
True
Let j = 0 - 3.3. Let r = j - -3.4. Is r equal to 17?
False
Let h be (-1)/(-4) - (964/(-336) - -3). Which is smaller: 1 or h?
h
Suppose 0 = -3*i - 13 - 5. Let x = 10 + i. Let o = 8 - 5. Is x greater than or equal to o?
True
Let w = -83/3 + 27. Let j = 181.95 - 180. Let i = 1.96 - j. Do w and i have the same value?
False
Let w(b) = 37*b + 18. Let h be w(0). Are h and 18 nonequal?
False
Suppose 0 = -4*x + 12, -23 + 2 = 3*d - 2*x. Let i(w) = 2*w + 2. Let u be i(d). Are u and -37/4 equal?
False
Let j = 174 - 264. Let k be (-4)/10*j/(-1566). Is 1 bigger than k?
True
Let j = -107278572391/41175539100 + 1/74056725. Let c = 3/556 + j. Which is greater: c or -3?
c
Let y = 796.26 - 796. Which is greater: -2/11 or y?
y
Let w = 60 + -53. Suppose -4*o - w + 3 = 0. Which is smaller: -1/2 or o?
o
Let l = 40189/65675 - 113/185. Is 1 at most as big as l?
False
Let b = 19300/3 - 6506. Which is bigger: b or -72?
-72
Suppose 0 = 5*s + 3*o + 13, -2*s + 5*o = 53 - 54. Which is greater: s or -18/17?
-18/17
Let a(n) = 3*n + 7. Let r be a(3). Let h be 38/8 + 4/r. Let i = 2 + h. Which is bigger: -0.2 or i?
i
Let l = -16 - 2. Let n(w) = w**2 + 14*w - 83. Let p be n(-18). Let u = l - p. Which is smaller: u or -8?
-8
Suppose -2*f - 47 = -4*g - 5, 2*f + 2*g + 18 = 0. Let y = -10 - f. Is y < 2?
False
Suppose 73*v = 69*v + 4. Which is greater: v or 6/49?
v
Let f(u) = u - 16. Let v be f(12). Let y(h) = -4*h - 13. Let j be y(v). Let r = 2 - -1. Is r != j?
False
Let k be (-15)/75 - 11*2/(-10). Let n be 1/k + (-407)/154. Which is smaller: -3 or n?
-3
Suppose -13*r = -8*r + 75. Let o = r + 22. Suppose 4*x = 5*n + 47, -5*x + 41 = -5*n - 14. Is x >= o?
True
Let k(j) = j**2 - 5*j. Let v be k(3). Suppose 0 = 9*r - 26*r - 102. Is v at least as big as r?
True
Let f = -18 + 18.015. Let c = f + -8.015. Which is smaller: c or 1?
c
Suppose 0 = -3*n - a - 62, -3*n + n - 40 = a. Let r = -13 - n. Suppose -3*c - 24 = -4*h - r, -h - 2*c - 10 = 0. Which is smaller: -2 or h?
-2
Let a be 0 + 39 - (-7)/(-7). Let v be a/3 - (-12)/(-18). Let k = v + -11. Which is bigger: k or 0?
k
Let f = 794 - 455. Are 339 and f nonequal?
False
Let a = -0.094 + -3.506. Which is smaller: a or 0?
a
Suppose -3*x - 3*x + 60 = 0. Suppose 3*s = -5*i + x, s + 2*i - 4 = -2*s. Is s at least -2/41?
True
Let u = -7727/407 - 1013/37. Which is smaller: u or -47?
-47
Let w = 31 + -51. Which is bigger: 5 or w?
5
Let j = 2 + -3. Let w be 12*(-4)/(-8) - 2. Let x be (-2 + 4)/w*1. Which is greater: j or x?
x
Let x be -991*(-5)/(-100) + (-15)/(-20). Which is smaller: x or -50?
-50
Let o(a) = 41*a - 35. Let c be o(1). Which is smaller: c or 58/9?
c
Let j(v) = v**2 + 8*v + 9. Let w be j(-8). Let q be w/(-2 + 14/4). Let b be 0*((-21)/q + 3). Is b less than 2/7?
True
Let n be 270/(-40)*-7*2/4. Let c = -7367/312 + n. Is c bigger than 1?
False
Let q = 150.96 - 143. Let z = q + -8. Let m = 0.4 + -0.3. Which is smaller: m or z?
z
Let x = 13696 - 137151/10. Which is smaller: x or -18?
x
Suppose 0 = -d + 5*d. Let x be 1098/135 - (-5 - -13). Is d bigger than x?
False
Let q(y) = -y + 11. Let d be q(0). Let n = 114 + -64. Suppose 7*j = 2*j + n. Which is smaller: j or d?
j
Let n be ((-8)/6)/((-25)/15). Let h = -145 - -147. Which is bigger: n or h?
h
Let g be (136/(-16) - -9)/(34/(-12)). Let l(r) = -5 - 2*r + r - 3 + 2. Let c be l(-5). Which is greater: c or g?
g
Let o = 585.8 + -586. Which is bigger: 0.53 or o?
0.53
Suppose -5*k + 13 = 7*d - 10*d, -5 = -3*k - d. Let i = 0 + 0.1. Is i at least k?
False
Let u be ((-11)/(-110))/((-2)/195)*4. Which is smaller: -38 or u?
u
Suppose 4*z + 3*j + 98 = 0, -5*z - j = -3*j + 134. Let b = -117 + 110. Let d be z/b - (9 - 5). Is d bigger than 21?
False
Let i = 726.9 + -727. Which is smaller: -280 or i?
-280
Let r be (-1)/(-4) + 6/8. Let b be ((-96)/18)/(-4) + (-226)/(-6). Which is bigger: b or r?
b
Let f = 78 - 69. Is -3/2 >= f?
False
Suppose -3*d + 5*f - 2 = 0, -f = -3*d - 4*f + 30. Let l be d/(-3*(-4 - -3)). Is -1 greater than l?
False
Let u = 47.12 - 47. Let a = 3.03 - 0.03. Let y = 4 - a. Is y smaller than u?
False
Let t = 0.101 + -8.051. Let u = t - -8. Let v = -1.3 - -0.3. Is u less than or equal to v?
False
Let s(z) = -3*z - 3. Let m be s(-1). Let q(y) = y**3 - y**2 + y + 36. Let k be q(m). Is k greater than 36?
False
Suppose -2*g = -0*g. Let u be (20/25)/(4/10). Let x = g + u. Is x bigger than 1?
True
Let n be 10/(-16)*(250712/(-13930) - -18). Are n and 1 unequal?
True
Suppose -11*b = 21 + 45. Let r(v) = -v**3 - 6*v**2 - 2*v - 13. Let q be r(b). Is q bigger than -2?
True
Let t = 65 + -43. Suppose 0 = 2*r + t - 20. Which is smaller: r or -5?
-5
Suppose -11*i = -6*i - 9055. Let t = 396607/219 - i. Is 1 at most t?
False
Let n(z) = 3*z + 4*z - 3 + z**2 - 2*z. Let v be n(-6). Is 6 at most v?
False
Let i(z) = 10*z**2 - 12*z + 13. Let b be i(4). Is b at least 124?
True
Let y = -6.5 - -4. Let x = 3.05 - 0.65. Let o = y + x. Which is greater: -2/11 or o?
o
Suppose 3*q - 15 = 21. Suppose -w - q = w. Which is greater: w or -3?
-3
Suppose -71*c + 73*c - 18 = 0. Are 105/11 and c non-equal?
True
Let q = 844.22 - 844. Let c = 10.22 + -10. Let t = q - c. Is -0.21 less than t?
True
Suppose 4*h = -2*y + 14, 4*h - y = 2*y + 29. Suppose 5*q + 3*w + 2*w = -h, -q - 2*w - 2 = 0. Is 1/9 greater than q?
True
Suppose 0 = 3*q + d - 0*d + 166, 2*d + 112 = -2*q. Is q at least as big as -60?
True
Suppose 3*l - 2 - 4 = 0. Suppose l*o - m + 59 = -2*o, -65 = 4*o + 5*m. Let x = -4 - -3. Is o bigger than x?
False
Let f = -28 + -32. Let n = f + 63. Whic