 h or u?
u
Suppose -3*n + 4*c + 3 = 0, 1 = 5*n + c - 4. Let k be (-3)/197*16/24. Is k < n?
True
Let l = 495 + -492. Which is smaller: 2/9 or l?
2/9
Suppose 2*b + 69 = 5*x, -2*b + x = 3*x + 76. Let g = 137 + b. Let u = g - 498/5. Is u > -0.16?
True
Suppose -43*r + 42*r = -15. Suppose -r*l - 1009 = -259. Which is bigger: -51 or l?
l
Let b be 13/(-65) + (-38)/10. Suppose -2*g = 3*a + 3*g - 24, 4*a = 2*g + 32. Let h = a + -14. Is b at most as big as h?
False
Let c be 4*(-1)/1*3/(-12). Let v(o) = -o**3 + o**2 - 1. Let h be v(0). Let t be -6 + 3 - (h + 1). Is t at most c?
True
Let p be (10/(-3))/(16/24). Let v(b) = b**3 + 6*b**2 + 6*b + 4. Let g be v(p). Which is bigger: -2 or g?
g
Let l(h) = h - 3. Let s be l(3). Let z = -0.79 + 1.19. Are z and s non-equal?
True
Let l be (31/(-51))/(-4 + 7). Let v = 1/51 - l. Is v not equal to 1?
True
Let q be (-141)/(-188) + 95/(-4). Is q equal to -24?
False
Let c = 2 - 2. Suppose r - 2*r - 1 = c. Let u = 0 + r. Which is smaller: -2 or u?
-2
Let h(l) = l**3 + 21*l**2 + 20*l - 1. Let n be h(-20). Let a = -30 - n. Which is smaller: a or -28?
a
Suppose -2*p - 785 = -p. Let w be ((-6)/5)/(-4 - p/200). Which is smaller: w or 18?
w
Let x = 0.6 + 2.4. Let c = 2.9 - x. Let s = -3407 - -91991/27. Is c > s?
False
Let q be 111/185*(-1)/3. Is q greater than or equal to -0.2?
True
Let o(w) = -5*w + 32. Let b be o(9). Which is smaller: -19 or b?
-19
Suppose -o + 125 = -5*y, 5*o = 2*y - 29 + 56. Which is smaller: y or -24?
y
Let c be 4/(12 + (-29458)/2453). Is c < -447?
False
Let d = 3.52 + -3.62. Which is greater: d or 200?
200
Suppose -4*o = -4*l + 16, -o - 2*l = -l. Let n(q) = -2*q**2 - 35*q - 8. Let t be n(-17). Let z be t + -4 - 1 - o. Are 6 and z non-equal?
False
Let m be (-7788)/472*(-1 + 3). Suppose 0 = -3*w - 78 - 18. Are w and m unequal?
True
Let c(l) = l**2 - 8*l - 66. Let b be c(-5). Is b greater than -13/48?
False
Let u = -8 + 4.6. Let a = u + 1.4. Which is smaller: a or -3?
-3
Let c = -169/3 - -1823/33. Let p be (-7)/(35/20) + 4. Which is smaller: p or c?
c
Let f = 3 + -3.2. Let k = f - 0. Let w = 13792 + -13785. Is k greater than or equal to w?
False
Suppose -3 = -4*r + 5. Suppose -3*v + 50 - r = 0. Let w be (-4)/(-10) + v/(-40). Are w and -1/9 unequal?
True
Let l = 228 + -235. Which is smaller: 4 or l?
l
Suppose -31*q = -27*q + 572. Let f = 281/2 + q. Are 4 and f equal?
False
Let h = -24 - -24.34. Let f = -16.66 - h. Let v = f + 17. Which is smaller: v or 9?
v
Suppose 48*y = -36835 + 6259. Which is smaller: y or 0?
y
Let a(o) = -1 - 14*o - 4 - o**3 - 3 + 15*o**2. Let f be a(14). Let i = 5 + f. Which is smaller: i or -1?
i
Suppose -21*d + 25*d - 288 = 0. Suppose 5*g - 48 = d. Is 25 equal to g?
False
Let l be (-58)/(-7) - (-2)/(-7). Let b be 1 + -1 - l/2. Suppose 48 = -11*j + 4. Is b >= j?
True
Suppose -5*l + 37 = -18. Suppose 52 + 80 = 12*q. Are q and l unequal?
False
Suppose -44*y - 48 = 4*y. Which is bigger: y or -139/5?
y
Let f = 88 - 86. Let r = -2 + 1. Let m = f - r. Are -1 and m non-equal?
True
Suppose -q = 3*q + 2*w - 14, -3*q + 23 = 4*w. Let j = 0 + q. Let p = 65/36 - 14/9. Is p greater than j?
False
Let u be 6/(-9)*21/6454. Is 0 at most as big as u?
False
Let r(p) = -p**3 + 14*p**2 - 14*p + 18. Let s be r(13). Suppose 4*o + 11 = -1, 2*d - o = -s. Which is smaller: d or -3?
d
Let h = -37 + 35. Is 0.514 bigger than h?
True
Let c = -178 + 169.9. Let u = -146 - -138. Let a = c - u. Which is greater: a or -0.06?
-0.06
Let p = 509/2149 - -15/307. Let w = -8 - -8.32. Let g = -0.3 + w. Is g > p?
False
Suppose -3*n - 276 = -3*z, 2*z + 2*n - 315 = -135. Let o = z - 1455/16. Let m be (-1)/(-3) - (-4)/(-3). Is m <= o?
True
Let h = 18 - 13. Let d = 37/12 + -10/3. Which is smaller: h or d?
d
Let q be 4*3*(-9)/((-27)/16). Let p = 70 - q. Does 4 = p?
False
Let x be ((-64)/(-12) + -7 - -2)*0. Which is bigger: x or 103?
103
Suppose 9*y - 6*y = 3*l - 45, -4*l = 4*y + 60. Let k be 226/(-15) - (-4)/10. Does y = k?
False
Let y be (3 - 448/35)*(1 + -6). Suppose -5*p - v + 188 = -p, -2*p + 84 = 3*v. Is p greater than y?
False
Let i be (-50)/(-5)*(-4)/(-10). Suppose 0*t = i*t + 5*r - 5, 0 = -2*t + 5*r - 5. Suppose t = 3*x - z - 3, -4*x - 4*z + 5 - 1 = 0. Is 9/5 greater than x?
True
Suppose 2*i + 90 = 3*l, l + 24 = i + 55. Is l smaller than 21?
False
Suppose 12*o - 17*o = 0. Let z be o + 39/(-15) + 3. Is z >= 4?
False
Suppose 27*k - 712 = 31*k. Which is smaller: -0.1 or k?
k
Let f = 794 - 910. Are f and -461/4 non-equal?
True
Let s be 2 + 4/(-2) + 1. Let u be (0/(-12))/(2*s). Is u less than 3/20?
True
Suppose -6 = 2*d + 4*q, -2*d - 2*q - 7 = -5*d. Is d >= 2/101?
True
Let p = -17 - -5. Let b = p + 9. Let u = 4 + b. Which is greater: -0.08 or u?
u
Let r(g) = 6*g**3 - g**2 - 2*g + 2. Let q be r(1). Suppose -q = -a + 6*a. Let n be (-3)/(-7)*(0 - 14/(-40)). Is n at least as big as a?
True
Let j = 0.159 - -0.141. Is j at most as big as -4/21?
False
Let y = -1 - -0.86. Let k = -4.25 + 6.25. Which is smaller: y or k?
y
Let q = 20 - 8. Let o = 3.6 + 1.4. Let m = q - o. Is m greater than or equal to 0.2?
True
Let u(c) = -c**3 + 7*c**2 - 8*c - 1. Let y(i) = -i**3 + 7*i**2 - 7*i - 1. Let j(h) = 5*u(h) - 6*y(h). Let z be j(7). Is z greater than or equal to 15?
True
Let k = 422 - 422. Which is smaller: k or 1/1396?
k
Let g = -6.192 - -0.192. Let x be 0/(-6) + (-2)/8. Which is smaller: g or x?
g
Let g = -11299/7 + 122782/63. Let z = g + -334. Is z less than 2?
True
Suppose -5*n - 2*x + 1186 = -2106, 2*x - 1972 = -3*n. Does 661 = n?
False
Suppose -5*k + k = -2*i + 180, -145 = 3*k + i. Let w = k - -39. Do -4 and w have the same value?
False
Let z be ((-10)/(-7))/(8/14). Let m be 6/(-21)*322/184. Which is greater: m or z?
z
Let h = -59 - -59. Let n be (-1)/4 + 5073/(-12). Let f = n - -7193/17. Are h and f nonequal?
True
Suppose 9*q = 7*q + 4*t - 24, 56 = -3*q + 2*t. Which is smaller: q or -26?
-26
Suppose g - 5*w = 180, 3*g = g - w + 349. Suppose r = -4*r + g. Let x be -4*9*(-2)/2. Is r bigger than x?
False
Suppose 0 = -p + 4*j - 21, -3*p + 4*j - 12 - 11 = 0. Let z = 120/77 + -14/11. Are z and p non-equal?
True
Suppose -2*v - 2*s = -96, -6*v + 204 = -v - 4*s. Is 43 at least as big as v?
False
Let q(j) = -54*j**3 + 5*j. Let k be q(2). Are -422 and k equal?
True
Let q be (-2 + 11)*(-2 - -3). Let x be q/(-6) + 3/2. Is 7/12 at most x?
False
Let l = -105350247/2015 - -52283. Is 0 at most as big as l?
False
Let z(u) = u**3 - 6*u**2 + 11*u - 20. Let s = -285 + 289. Let d be z(s). Suppose -3*t - 31 = 3*x - 8*x, 5*t = -5*x - 25. Which is smaller: d or t?
d
Let v(p) = 4*p - 6. Let q be v(2). Let r = 5002/33 - 452/3. Does q = r?
False
Let i = -3753 + 3756. Let p be (-12)/((-6)/9*7). Which is greater: i or p?
i
Let y = 374/7 + -741/14. Which is smaller: -91 or y?
-91
Suppose w + w - 3*m = -2476, 5*w + 5*m = -6215. Let k = w - -6256/5. Do k and 9 have different values?
True
Let r = -11 + 25. Suppose -2*p + 3 = 4*u - 19, -r = p - 3*u. Suppose p = -h - 0. Is h != -2?
True
Suppose -198 = -18*c + 51*c. Suppose 0 = -y + h + 4*h + 60, -5*h - 10 = 0. Suppose -4*v - 5*g + 16 = 61, -5*g = 5*v + y. Which is smaller: v or c?
c
Let m = 0.025 + -21.025. Let w = -20.99 - m. Let b = -0.09 - w. Which is greater: b or -2/5?
b
Let l = 23 + -21.9. Let q = -1.36 + l. Let p = q + 0.36. Which is greater: -12/5 or p?
p
Let k = -7 + 5. Let f = -883/15 - -53741/930. Let x = 18/31 + f. Which is greater: k or x?
x
Let o be (-74)/8 + (-12)/(-48). Let n be -3*((-12)/o)/2. Is -3/5 > n?
True
Let v be (-15)/(-6) + 3/2. Let b = -13 + 15. Which is smaller: b or v?
b
Let t = 18.4 + -19. Let c = t + -1.4. Which is smaller: c or -5?
-5
Suppose 2*a + 92 = -4*o - 72, o - 292 = 4*a. Are -72 and a equal?
False
Let a(n) = n**2 + 8*n + 10. Let k be a(-7). Suppose -h - k = -2*h. Suppose i + 2*t = h - 2, -3*i = t + 2. Which is smaller: -2/15 or i?
i
Let l = -1.523 - 0.777. Is l less than or equal to 0.8?
True
Let j(n) = 54*n**2 - 1. Let x be j(1). Let i be x/246 + 3/(-18). Let g(z) = z**3 - 10*z**2 + 14*z + 16. Let a be g(8). Which is smaller: a or i?
a
Let y(q) = -6*q - 16. Suppose 0 = 2*o - 4*o - 6. Let a be y(o). Is a bigger than 13/5?
False
Let t = 667 + -668. Which is smaller: -16/35 or t?
t
Suppose -2*t - 2 = 4*b, 5*t - 21 - 7 = b. Suppose 2*k + 2*m + 7 = 3*k, 22 = t*k + 3*m. Suppose 0 = -4*i -