= 11 - 8. Suppose 0 = h + 3, -x*w + h - 2*h - 9 = 0. Is w >= 1?
False
Let x = -2 + -22. Let m = 19 + x. Let u = m - -6. Is 1/4 less than or equal to u?
True
Let p = -20 + 26. Let o = 5 + -4.6. Let k = -0.6 + o. Are k and p non-equal?
True
Let q = 10 - 8. Let u = -2.33 + 2.2. Let v = 4.13 + u. Is q <= v?
True
Let m be (1 + -1)/(7/7). Let p = 10 - 11. Let w be (p/(-10))/((-10)/12). Is w != m?
True
Suppose c + 3*c = 2*k - 12, -4*k = 16. Let q be ((-1)/(-5))/(4/c - -1). Is 6/13 greater than q?
False
Let n(y) = -y**2 + 4*y. Let v be n(3). Let a be 30/(-8) - (v + -7). Is 0.4 at least as big as a?
True
Suppose -6*r + 2*r + 4*t = 8, -11 = 3*r + 2*t. Which is smaller: -6 or r?
-6
Let a = -19 + 16. Let o be (-13)/(-2) + a + -1. Which is greater: o or 2?
o
Let m = 15 - -9. Let w be 8/m*2*9. Is w bigger than 8?
False
Let t(r) = r**3 + 28*r**2 + 56*r + 52. Let m be t(-25). Is 528 less than or equal to m?
False
Let b(m) = 22*m - 8. Let k be b(-6). Let o be (-4)/10 + (-16)/k. Is -1 greater than or equal to o?
False
Let u be (56/6)/(-4) - (-8)/24. Let k be (u/(-4)*1)/((-649)/(-44)). Which is smaller: 1 or k?
k
Suppose 13 = o + 4*l, -3*o - 7 - 2 = -4*l. Let r be (-2)/(-3)*66/40. Is r <= o?
False
Let a(i) = -4*i + 0*i + 4*i**2 - 6 - 7*i + 18. Let j be a(5). Is 58 at most j?
False
Suppose 0 = -3*j - 2 - 160. Let t be (j/63)/(2/(-7)). Suppose q = -5*d - q - 3, -t*q = -3. Which is greater: 4/11 or d?
4/11
Let j = 15 - -20. Let i be 2/5 + (-119)/j. Let l be 3 - (i + 3 - -5). Is l bigger than -3/5?
False
Let h be -2 + 3 - (4 + 3). Let j be ((-45)/12)/(h/(-16)). Are -9 and j nonequal?
True
Let c(g) = g**2 + 5*g + 1. Let l be c(9). Does 127 = l?
True
Let k(x) = -2*x + 4*x - 18 - x. Let d be k(10). Let s = 75 - 74. Is s smaller than d?
False
Suppose -5*g + 3*w = 19, -3 - 6 = g + 2*w. Is g at least -2?
False
Let o = 6.41 - 0.51. Let f = o - -4.1. Which is greater: f or 5?
f
Let r(o) = 10*o + 15. Suppose -d = -a, 2*a + 0*a + 35 = -5*d. Let j be r(a). Let q be 126/j + 1*4. Is q at most as big as -2/11?
False
Let f = 46/657 - -3/73. Let a = 12 + -8. Suppose a*y = -0*y. Which is bigger: y or f?
f
Suppose 7*x = -6*x. Which is bigger: 4 or x?
4
Let x(f) = f**3 + 11*f**2 - 13*f - 13. Let i be x(-12). Which is smaller: -17/8 or i?
-17/8
Let p be (6/30)/((-6)/(36/(-6))). Which is smaller: -1/149 or p?
-1/149
Let i = -5 - -10. Let w(u) = -u**2 + 5*u - 6. Let h be w(i). Let o(g) = -g**2 - 6*g + 1. Let m be o(h). Which is greater: m or -1?
m
Let z = 3 - 3. Suppose -4*i + 2*i + 2 = z. Let s be 0 - (-3 - (-10)/i). Are s and -8 nonequal?
True
Let k be (-130)/5*7*3. Is k >= -544?
False
Let r = -0.41 - -0.492. Is r less than -0.2?
False
Suppose -l = 2*v - 3 - 2, -l + 5 = -v. Suppose -3*u + 98 = 5*p, -l*u - p = 4*p - 170. Which is bigger: u or 35?
u
Let u = -7.5 - -8.39. Let g = -0.11 - u. Is g smaller than -2?
False
Let j(w) be the first derivative of w**4/4 - w**2/2 + 4. Let l be j(0). Suppose l = 2*n + 3*n + 15. Is n >= -3?
True
Suppose 5*c - 398 + 78 = 0. Let l be c/322 + (-18)/63. Let d = -2 + 1. Which is bigger: d or l?
l
Suppose 5*u - 3*b = -123, 0*u + u + 4*b = -20. Suppose -6*m - 461 = 8*m - 125. Is m less than u?
False
Suppose 0 = -5*v + 5*i - 60, 2*v + v - 5*i + 40 = 0. Which is bigger: v or -15?
v
Let m(y) = -y + 2. Let p be m(-2). Suppose 8 = p*a - 2*a. Let x be (3 - -9)*1/3. Is a at least as big as x?
True
Suppose -10*i - 520 = -5*i. Let d be i/(-112) - (-6)/(-14). Is 2/5 greater than d?
False
Let z be 4/6 - (-22)/(-6). Let f(w) = -w - 3. Let m be f(z). Let y = -58/9 - -235/36. Is m less than y?
True
Let d = -7 + 6.89. Let x = d - -0.21. Let s = 0.1 - x. Is s at least as big as 1/6?
False
Suppose 5*t - 1382 = -2*m, 4*t + 3*m - 166 - 934 = 0. Suppose t = 5*i + 4*k, k + 3 = -0. Which is smaller: 0 or i?
0
Let c = 79.1 - 79. Let s be (-4)/(-5)*35/(-49). Is c at least s?
True
Let d = -1042 + 21881/21. Is -3 != d?
True
Let g be (-9 - -5) + (-181761)/12. Let f = -14992 - g. Let p = -158 + f. Is 1 < p?
False
Let j = -735 + 733. Is j < -47/26?
True
Let h(c) = -13*c**2 - 4*c + 8. Let n be h(2). Let v = -51 - n. Is v greater than or equal to 9/7?
False
Suppose 0 = -g - 0 - 10. Let p be 8/10*(-25)/g. Suppose -14 = -p*i + 4. Is i at least 10?
False
Suppose 0 = a - 3*a + 112. Let s = 2801 + -2745. Is s > a?
False
Let m(l) = 7*l**2 + 16*l + 7. Let r(i) = -15*i**2 - 33*i - 15. Let c(j) = 13*m(j) + 6*r(j). Let z be c(-10). Which is bigger: -0.9 or z?
z
Let k(y) = -y**3 - 2*y**2 + 2*y - 24. Let a be k(-6). Which is greater: 2/5 or a?
a
Let q = -239 - -145. Which is smaller: -95 or q?
-95
Let o = 119501765/274822 - -2/412233. Let b = o - 436. Which is greater: b or -1?
-1
Let x = -1461 + 5845/4. Which is greater: x or -292/17?
x
Let k = 1814/199 - 895206/102485. Let c = 2/103 + k. Which is greater: c or -2/13?
c
Suppose 2*r - n + 5 = 0, 57*n - 9 = 2*r + 52*n. Let z be (9/15)/((-3)/15). Which is greater: z or r?
r
Let l = 0 + -5. Let z = 800 - 1611/2. Which is bigger: l or z?
l
Let l = -197/935 + 2/187. Let m = l + 13/15. Let r = -0.3 + 0.4. Which is bigger: r or m?
m
Let k = -496/3 - -169. Let z(m) = 8*m**2 + m + 4. Let l(a) = 4*a**2 + 2. Let x(v) = -5*l(v) + 3*z(v). Let w be x(-1). Which is bigger: k or w?
k
Let l = -0.056 - -36.056. Let q = l + -36.1. Which is greater: 13 or q?
13
Let f(w) = w + 2. Let q be f(0). Suppose 3 = -q*c + 11. Suppose c*y + 4 = 5*y. Is y < 1?
False
Let t be (-2321)/581 + 6 + -2. Do t and 0 have the same value?
False
Suppose -22 = 3*y - 2*b, -9*y + b = -4*y + 46. Which is greater: 16 or y?
16
Suppose -15 + 11 = -4*h, -h + 1 = -q. Is q equal to -38?
False
Let t(l) = -l**2 - 9*l - 7. Let a be t(-8). Let q = -10 + 14. Suppose u - 3*n + 21 = 2*u, -q*u = -3*n - 9. Is u > a?
True
Let r be (-8 + -1 + 0)*(-5 + 6). Let g(y) = y**3 - 4*y**2 - 7*y. Let n = -3 - -8. Let f be g(n). Which is bigger: r or f?
r
Let n = 26 - 23. Suppose 0 = n*j + 6*j - 171. Is j < 18?
False
Let l(a) = 5*a + 2. Let i be l(-2). Let u = -7 - i. Let h be 42/46 + -2 + u. Which is smaller: h or -1?
-1
Let i be 1 + 2*(-6)/3. Is -5 < i?
True
Let n = 149 + -167. Which is greater: n or -204/11?
n
Let m = 5.74 + -5.54. Which is smaller: 311/4 or m?
m
Let l(d) = -d**2 - 22*d + 60. Let h be l(4). Is -46 at most as big as h?
True
Suppose -5420 + 740 = 8*v. Which is smaller: v or -584?
v
Let v = 7.07 + -0.07. Let w = v - 7.3. Let h = -41 + 38. Which is smaller: h or w?
h
Let s(d) = d - 7. Let y(t) = t**2 - 5*t + 2. Let b be y(6). Let a be s(b). Let v = a - 0. Is 1 <= v?
True
Let g be (147 + 1)*((-30)/(-24) - 1). Let x = -68 + 103. Is x at least g?
False
Let g = 1789/30 + -3643/10. Which is smaller: -305 or g?
-305
Let y be 0 + (-10)/(350/21). Which is smaller: 0.6 or y?
y
Let n(j) = -j**3 + 28*j**2 - 68*j + 416. Let s be n(26). Let c = 1 - 0. Is s smaller than c?
True
Let r = -305.9 - -281. Let l = 25 + r. Is -15 greater than or equal to l?
False
Let f(d) = -d**2 - 20*d - 95. Let x be f(-7). Does x = -46/13?
False
Suppose -10 = w - 2*h - 45, 4*w = 2*h + 122. Suppose -w = -y + 5*k - 0*k, -y = 3*k + 3. Suppose 4*c - 2*s + 6*s - 36 = 0, -24 = -2*c - 5*s. Is c <= y?
True
Let r(t) = -t**3 + 5*t**2 + 1. Let z be r(5). Suppose 3*u - 2*g - 1 = z, -12 = -2*u + 4*g. Does u = -13/6?
False
Suppose 4*d - 64 = 2*z, 0 = -8*z + 3*z + 4*d - 184. Is z at most as big as -42?
False
Let z be ((-6)/(-16))/(4/180). Let t be (193/396)/((-12)/(-414)). Let j = z - t. Is -1 <= j?
True
Suppose -3*s + s - x = -13, -4*x + 8 = -3*s. Suppose 7*g = 5*g. Suppose 0 = -0*o + 2*o - 2*p, -s*o + 2*p + 6 = g. Is o less than 7/2?
True
Let g be -6*(-6)/(-36) + (1 - 0). Is g greater than -236?
True
Let y be (14 + -6 - 8)/1. Let u be (0 + 6/8)/(-3). Which is smaller: y or u?
u
Let h be (-92)/20 - (2 - 4). Let c = h + 37/20. Are 1 and c equal?
False
Suppose 0 = -4*a + 2*a + 356. Which is bigger: a or 177?
a
Let f = 291.6 - 294. Let p = -4 + -0.4. Let j = p - f. Is j less than or equal to 6?
True
Let n be (13 + 4480/(-343))*(-4)/(-6). Let s = -4 - -3. Which is bigger: s or n?
n
Let t = -6 - 24. Let y = t + 26. Is 4 equal to y?
False
Suppose 5*p = 3*s + 69 + 12, 3*p - 119 = 4*s. Suppose 2*j + 111 = -j - 3*z, -173 = 5*j + 2*z. Is j >= s?
False
Let t(p) = p**2 + 2*p - 181. Let g be t(12). Does -38/3 = g?
False
Let k = -24 - -32. Suppose -1 = k*c - 9. Is 2/