*j - 4*w + g = 0, r*j - 20 = -0*j + 5*w. Which is smaller: 4 or j?
4
Let y be 2 + 0 + (-20)/6. Let o = -201 - -199. Which is smaller: y or o?
o
Let w be 12/(-10)*(-43 + 13). Suppose -2*p + w = 5*a, -4*a - 2*p = -6 - 24. Let m be (a/(-12))/(14/6). Are m and -1 nonequal?
True
Suppose -3*c - 22 = -w, 4*c + 10 = 2*c. Let b = 46 - 36. Which is bigger: b or w?
b
Let s = 2.5 - 2.6. Let z = 0.4 - 1. Let u = 0.7 + z. Which is smaller: s or u?
s
Let l = 2548.05 - 2548. Is 11/9 greater than or equal to l?
True
Let o = -0.11 + -0.11. Let n = o + 0.22. Which is smaller: -0.03 or n?
-0.03
Let i = -411 + 3701/9. Is i >= -76?
True
Let k(b) = b - 1. Suppose -5*f = 3*c + 14, -4*c + 2 = c + 2*f. Let o be k(c). Let p be o + -1 + 28/(-7). Which is smaller: p or -5?
-5
Let y be -7*(2/8)/1. Let i = 98 + -101. Which is bigger: i or y?
y
Let z = -17/142465 - 217681879/38892945. Let u = 39/7 + z. Let o = -211 - -212. Which is bigger: u or o?
o
Let z = 0.06 - -2.94. Let l = 28 + -254/9. Are z and l nonequal?
True
Let b(o) = -o**3 + 2*o**2 - 3*o + 2. Let q be b(3). Let r = 13 + q. Is 0.1 less than or equal to r?
False
Let c = 592 + -546. Is c bigger than 45?
True
Let j be (-2)/10 + (1 - (-20)/(-25)). Which is bigger: j or 1/10?
1/10
Suppose 5*d = -30*d + 33355. Which is greater: 1 or d?
d
Let m(c) = -c**2 - 11*c - 17. Let i be m(-9). Suppose 10 + 36 = 2*h. Let y = h - 45/2. Which is smaller: y or i?
y
Suppose -3*p + 18 = -3*j, -2*p - 12 = -5*j - 39. Is 33/29 at most as big as p?
False
Let b be -1 + 57 + (-2)/(-2). Let o be 1459/26 - (-747)/(-6474). Is o at least as big as b?
False
Let y = -111 + 112.1. Is y > 7?
False
Suppose -4*n = -2*a - 30, -2*a - n - 32 + 7 = 0. Suppose -34 = 4*x + 14. Which is smaller: x or a?
a
Let j = 889 - 856. Is 33 at least j?
True
Let b = 0 - -9. Let q(z) = 4*z + 110. Let h be q(-29). Let l = h + b. Are l and 3 nonequal?
False
Let i(k) = -7*k - 11. Let r be i(-13). Suppose -5*v - 4*j + r = 0, -v - 3*j = 4*v - 80. Let t be -1 + v/4*-2. Which is smaller: -11 or t?
-11
Suppose -3*n = 0, -k - k - 2*n = -92. Which is smaller: k or 45?
45
Suppose -2*v + 3*w + 719 = -130, -6*w = -3*v + 1278. Which is bigger: v or 2?
v
Let r(g) = 9*g + 3. Let c be r(5). Let w = 9421/6 + -3045/2. Let b = w - c. Do 3 and b have different values?
True
Let r = -4.85 - -4.55. Is r > -7.9?
True
Let t = 2460.7 - 2589. Let w = t + 135. Let a = 7 - w. Which is smaller: -6 or a?
-6
Let h be 0 + 0 + (8 - 3). Suppose -5*i + 2*l + 0*l - 4 = 0, -4*l = -h*i + 2. Suppose -b - k - 1 = -6, -5 = -2*b - k. Do i and b have different values?
True
Suppose -10 = -3*z + 140. Let k be (-10)/(-25)*z/16. Suppose 298*v = 300*v - 2. Is v at least as big as k?
False
Let t = 42.1 - 42. Let p = 297 - 297.02. Which is greater: p or t?
t
Let w = 145 - 135. Which is greater: 6 or w?
w
Let r(w) = -3*w**2 - 17*w + 11. Let j(p) = -16*p**2 - 87*p + 54. Let a(f) = 2*j(f) - 11*r(f). Let y be a(-13). Does y = -10?
False
Let k(o) = -22*o + 3. Let r be k(-1). Suppose 5*c = -v - r, 4*c - 2*c + 10 = -4*v. Which is greater: -19/3 or c?
c
Let s(n) = -4*n**3 - 2*n**2 - n + 30. Let f be s(-4). Let g = 256 - f. Let y = 3 + -6. Which is smaller: g or y?
y
Let y = -14.4 + -19.6. Is y less than -1?
True
Let o = -1035 - -1033.4. Are o and 0.26 equal?
False
Let f = 4901/19 - 258. Is 0.1 smaller than f?
False
Let x = 15 - 16. Let j be (-12 + 9)*(x + 2). Let l(y) = -y - 1. Let n be l(j). Which is smaller: n or 6?
n
Let j(i) = 3*i**3 - 2*i**2 + i - 3. Let m be j(2). Suppose 3*b + m = 0, 4*b - b = 5*z + 165. Let d be (-4 + (-148)/z)*3. Is d equal to 4?
False
Let q = 85 + -91. Let z be ((-9)/3 + (-3 - q))*1. Is z < -1/12?
False
Suppose 0*r - 8*r = -632. Let q = r - 68. Suppose -2*p + 5*p - 47 = 2*x, -16 = 4*x. Which is greater: p or q?
p
Let p be 3 + -2 - 43276/44526. Let s = -2/543 + p. Is 0 at most s?
True
Suppose 5*a - 14 = -2*n + 4*n, 0 = n + 4*a - 6. Let o = -95 - -103. Let x be (5 - 26/5)*o. Which is greater: x or n?
x
Let f(y) = -10*y - 143. Let h be f(-15). Is 12 at least h?
True
Let w be 9/6*2/492. Let u = -191/4428 + w. Let j be (5/10)/((-3)/(-6)). Do u and j have the same value?
False
Suppose 0 = -30*o + 35*o. Suppose -c = 5*r - 49, o = 3*r + 2*c + 9 - 37. Which is greater: -4/3 or r?
r
Let c be (-4 - -3)/(1/3). Let m be -2 - ((-3285)/168 - 1). Let y = m + -143/7. Which is greater: c or y?
y
Suppose 14 = -2*t - 28*q + 25*q, -5*q = -4*t + 16. Which is smaller: t or 8/65?
t
Suppose 2*o = -0*o + 4, -3*y = -5*o - 20. Which is greater: -4/13 or y?
y
Let r(q) = -q**2 + 7*q + 8. Let u be ((-33)/9)/(2/(-12)). Suppose 4*b - u = 2*b - 3*k, -38 = -5*b + k. Let a be r(b). Is a < 1/5?
True
Let y be (-40)/288*9/(-15). Is y less than or equal to -19?
False
Let w = 0 + 0.03. Let g = -0.6 - -1.3. Let l = g + -0.7. Is w less than l?
False
Let x = 19.98 + -20.4. Is x greater than 0?
False
Let k = -597 - -536.2. Is k greater than -0.1?
False
Let j be (-10)/(-4) - 1/(-2). Suppose s + s + 28 = -j*r, -5*r = 4*s + 52. Let c be ((-1)/(-4))/(2/s). Is c less than -2/63?
True
Suppose 6*x - 11*x + 15 = 0. Let u be (188/8)/(x/(-36)). Let m be (-411)/u + (-9)/6. Is m < -2?
False
Let h = -44 - -24. Let o = h + 17.2. Let a = 3 + o. Which is smaller: 4/9 or a?
a
Let z = -1.0446 + 0.0446. Which is bigger: z or -0.0594?
-0.0594
Let f = 304 - 65. Is f at most 239?
True
Let v(z) = 2*z**2 + 55*z - 27. Let i be v(-28). Is i >= -2/6137?
True
Let r be (2/4)/1*-2. Let v be 3/4 + 11/(-4) - 5. Let d be (0 + 4)/(18/v). Which is smaller: d or r?
d
Let o be (1*-13)/(8/(-40)). Suppose -o = -6*d + 19. Is d smaller than 1?
False
Let s = -28.227 - -4.337. Let k = s + 0.89. Which is greater: 1 or k?
1
Suppose 2*u - 17 = 4*c + c, -c = -3*u + 45. Suppose 5*p = -2*n + 83, 3*n - 4*n + 79 = 5*p. Does p = u?
False
Let t = -0.1 - 0. Let z be (-154)/3465*10/6. Which is smaller: t or z?
t
Let i = -30 - -42. Suppose -4*m = 8, -n + m + 18 + i = 0. Are n and 28 non-equal?
False
Let x(n) = 6*n - 1. Let w be x(-3). Let q(l) = l**3 + 19*l**2 - l - 15. Let d be q(w). Which is smaller: 1.6 or d?
1.6
Let z = -53 + 58. Suppose -6*x + 2*x + 36 = 4*d, -3*x = -z*d + 21. Which is smaller: d or 33/5?
d
Let w = 64 + -64. Let l be (-58)/108*4 + 2. Which is greater: w or l?
w
Let f(z) = -22*z**2 + 3*z - 4. Let r be f(1). Suppose 3*n + 79 - 9 = -k, -20 = 5*k. Do n and r have the same value?
False
Let q be (-6)/(-592)*4 + 0. Which is smaller: 0 or q?
0
Let r(j) = -j**2 + 8*j - 5. Let w be r(8). Let p(y) = 12*y - 4. Let z be p(w). Let q = z + 449/7. Is -1 >= q?
False
Let k(j) = -9*j + 34. Let a be k(4). Suppose -2*x + 6*x = -8. Let u be 117/(-24) - x - -2. Is a >= u?
False
Let c be (-1056)/(-1089)*(-54)/8. Which is smaller: -7 or c?
-7
Let v(d) = -55*d**3 + d**2 + 2*d - 4. Let b be v(-3). Let m be b/(-200) + (-1)/3. Let f = -47/6 - m. Which is bigger: 0 or f?
0
Let l = -291511/3185 - -1190/13. Is l at most 0?
False
Let g = -0.127 + -2.973. Let t = 3.1 + g. Are -71 and t non-equal?
True
Let l = 1223 + -24467/20. Which is bigger: -1 or l?
l
Let i(t) = -21*t + 2. Let x(j) = 43*j - 3. Let v(r) = -10*i(r) - 6*x(r). Let k be v(-1). Let o be ((-8)/k)/(-2 + 0). Which is smaller: 0 or o?
0
Suppose 1 = -2*l + 5*c + 8, -2*l + 2*c + 4 = 0. Let o = 587/629 + -28/37. Which is smaller: l or o?
o
Let c be (-44)/393296*-2*78. Let g = c + 2/523. Are -1 and g nonequal?
True
Let m be 9/(-6)*10/(-3). Let w be -17 + 19 + m*-5. Which is smaller: -21 or w?
w
Let l = 23 - -33. Which is smaller: l or 0.1?
0.1
Let p = 98.227 + -98. Are -2/9 and p non-equal?
True
Suppose 6*a = -108 - 144. Which is greater: a or -548/13?
a
Suppose -106*h - 456 = -114*h. Does 170/3 = h?
False
Let z be (30/(-25))/((-6)/40). Suppose 0 = 2*t + 2*t + z. Let j be t/15 - 8/(-60). Which is smaller: 6/5 or j?
j
Let h = -30 - -6. Let r be 12/(-8)*h/9. Suppose -j + r = -4*z, 6*j - 4*z = 2*j + 4. Is 2 > j?
True
Let v = -2867/4 - -718. Which is greater: 14 or v?
14
Let w = -11/13 + 35/26. Is 1/11 at most w?
True
Let q = -6744/5 - -1353. Is q >= 3?
True
Let z(o) = -2*o - 3. Let q be z(-4). Let s = 12 - 13. Which is bigger: q or s?
q
Let c(r) = 9*r + 1. Let q(f) = -18*f - 2. Let v(j) = -5*c(j) - 2*q(j). Let g be v(1). Suppose -8*y + 4*a - 23 = -7*y, 0 = 2*a - 6. Which is bigger: y or g?
g
Suppose 7*a - 8 = 9*a + 5*l, 1 = -a - l. Let r be ((-2)/(-4))/((-4