 Let o = v - 3.7. Which is bigger: u or o?
o
Let u = 32 + -32. Suppose 6*q + u = -6. Is -2 at least as big as q?
False
Let l(r) = -r**2 + 4*r. Suppose -3*s - 8 = -20. Let x be l(s). Suppose x = -q - 0*q. Is q greater than 0?
False
Let g be 1958/(-12) - (-60)/360. Which is bigger: -164 or g?
g
Suppose -26 = -2*p - 5*t, 0 = -5*p + 5*t + 2 - 7. Let q = 1 + -1.1. Are q and p unequal?
True
Suppose 19 = -2*q + 59. Let m be 0 + -2 + 48/q. Suppose 0 = 3*y - y + 18. Which is bigger: m or y?
m
Let q = 3253/6 - 544. Let a = -2342 - -2341. Is q at least a?
False
Let o = -3 - -2. Let h be (0 + o)*(-11 + -85). Let k = h - 478/5. Is k <= -1/5?
False
Let q be (-1)/(5/(-5))*-4. Let s be (-4 + (-29)/q)*36. Let o = s + -583/5. Which is bigger: o or 0.24?
o
Let f be (-23)/(-115) + 61/(-5). Let n be 0 - -4*3/f. Is n bigger than 1/28?
False
Suppose -4*m + 1 = -m - 4*o, 2*o + 3 = m. Which is smaller: m or -0.1?
m
Let o(s) = -s**2 - 8*s - 5. Let p be o(-11). Let f be 17/(-19) + 4/p. Which is smaller: f or 6?
f
Let d(h) = -5*h + 39. Let k be d(6). Suppose 3*b + k*b - 24 = 0. Is b greater than or equal to 1?
True
Suppose -35*u = -38*u - 12, -u = -2*q + 4. Which is greater: q or 1/9?
1/9
Let p be (-848)/1474 - (-324)/594. Which is smaller: -1/2 or p?
-1/2
Let l(j) = j**2 - 1. Let c be l(-1). Let u be (4/(-2))/((-2)/(-4)). Let d be u/(-18) + (-140)/549. Is c bigger than d?
True
Let d = -23.5 + 2.5. Let s = 20.94 + d. Is 2 greater than s?
True
Suppose -2*j - 60 = 5*a, -4*j - 9 = a + 3. Let z = a + 10. Let r be 2/((-4)/(-3) - z). Which is greater: 0 or r?
r
Let s = 399 - 378. Does 19 = s?
False
Let o(g) = 4*g**2 - 33*g + 19. Let t(r) = 2*r**2 - 17*r + 10. Let a(l) = -6*o(l) + 11*t(l). Let q be a(7). Let z = 22 + q. Which is smaller: z or 0.3?
z
Suppose 16 = w - 4*a, -w = -5*a - 16 - 4. Let x be -3 - (w - 22 - 0). Is 20 greater than or equal to x?
True
Let m be (0 + 35)*(-2 + 1 + 2). Suppose -9*h + m = -4*h. Let b be (-5)/1*(-12)/10. Are b and h unequal?
True
Let g(a) = -a - 19. Let d be g(-16). Let r be d - (-5 - 3/2*-2). Which is greater: r or 1/43?
1/43
Suppose 2*x - 10 = 4*x - 5*b, 4*x = -b + 2. Which is bigger: 5/347 or x?
5/347
Suppose -5*q = 4*d - 0*q - 21, -q = 4*d - 1. Let m be 15/25*d/2. Suppose -5*r = 5*y - 15, -3*r + 0*y - 1 = -2*y. Are r and m non-equal?
True
Let n = -2.9 + -9.1. Let x = -60 - -59.923. Let w = -0.077 - x. Which is greater: w or n?
w
Let f = 6 + 9. Let d = f + -19. Is d not equal to 2?
True
Let m(j) = 15*j - 1. Let c be m(5). Let i = 76 - c. Which is greater: -2 or i?
i
Let a = 582 - 582.1. Are a and 0.129 unequal?
True
Let r = -21.9 + 8.61. Let f = -2.39 - r. Let t = -11 + f. Which is bigger: 0.1 or t?
0.1
Let u = 1805 - 2210. Is u greater than or equal to -404?
False
Let n = -99 + 86. Which is greater: n or -16?
n
Let n = 0.05 + -0.75. Which is smaller: n or -19?
-19
Let a(x) = x**3 - x**2 - 4*x - 2. Let v be a(-3). Let g = 27 + v. Let t = -5/3 - -7/4. Is g != t?
True
Let l = -365 - -382. Let g = -0.1 + 0. Is g <= l?
True
Let y = -278 - -297. Let d = -2 - -1. Which is smaller: d or y?
d
Let v(m) = -m + 8. Let k be v(7). Suppose -3 = 4*n + k. Let f = 6446 + -6448. Is f not equal to n?
True
Let s be 6/12 - 150/348. Is 16/5 at most as big as s?
False
Let l = 843955/300768 + 53/3133. Let q = -35/12 + l. Which is smaller: q or -1?
-1
Let c = 133 + -94.3. Let a = c - 39. Is a less than or equal to -23?
False
Let c = -15503 + 604705/39. Let x = 266/117 - c. Which is smaller: x or -1?
-1
Let m = 24/127 + -487/1905. Which is greater: -11.2 or m?
m
Let v(l) = l**2 + 1. Let g be v(2). Suppose -g = -5*u + 10. Suppose -2*i = -n - 15 - 2, -2*i = 3*n + u. Are i and 2 unequal?
True
Let c = 533 + -535. Which is smaller: 9/11 or c?
c
Let d(c) = -c. Let s(q) = -2*q - 4 - q + q + q. Let g(o) = -2*d(o) + s(o). Let n be g(3). Do 1/4 and n have different values?
True
Suppose 490 = -u + 15*u. Let s = u + 6. Does s = 43?
False
Let s = -6.161 - -0.141. Let k = 0.6 + -6.6. Let n = k - s. Which is bigger: -2 or n?
n
Suppose 2*c - 16 = 2*b - 5*b, -2 = -3*b + 5*c. Let i be (-3)/(-6) + (-1)/b. Do 1.8 and i have different values?
True
Let n be -2 + 32/34 - -1. Let o(q) = 3*q**2 - 2*q - q**3 + 2 - 2*q**2 - 3*q + 3*q. Let p be o(1). Is n greater than p?
False
Let w = 444/35 - 2/105. Do 13 and w have the same value?
False
Let b = 11/5 - 19/45. Is 3 > b?
True
Let w = -11 + 11. Let l be (-5)/((-15)/18) + w. Let d = -2 + l. Is d smaller than 3?
False
Let l(i) = i**2 - 6*i + 9. Suppose 2 = -2*r - 3*q - 3, 3*r = -2*q + 5. Let y be l(r). Let o be (-10 - -10) + y/(-5). Are o and -3/2 nonequal?
True
Suppose -r - 2*q - 15 = -4*r, r = -5*q - 12. Suppose r*x - 23 = 43. Are x and 22 unequal?
False
Suppose -11*f = q - 12*f + 8, -3*q - 32 = -f. Is q <= 6?
True
Let k(m) = -m**3 - m**2 - 1. Let r be k(-2). Suppose -r*p = -6*p. Suppose p = -g - 1. Is 2 greater than or equal to g?
True
Let n be 20/(-50) + (-6)/10 - -5. Which is greater: 32/7 or n?
32/7
Let x = -15 + 14. Let k be (-3)/(-15) - (x - 268/(-140)). Which is smaller: -1 or k?
-1
Suppose -2*t - 7 - 5 = 0. Let g = t + 13. Let l = 12 - 6. Is g <= l?
False
Let k = -620 + 591. Is k at least as big as -49?
True
Let w(f) = 13277*f**2 - 13282*f**2 - f**3 - 3 - 7 + 4*f. Let o be w(-6). Which is smaller: o or -8?
-8
Let b = -1131/3349 + -3/197. Suppose -6*h - 12 + 18 = 0. Is h equal to b?
False
Let m(l) = -9*l**3 + 3*l**2 + l - 2. Let p be m(-2). Let z be p/156 + 2/13. Suppose 4*c = 2*n, 0 = 6*n - n. Which is greater: z or c?
z
Suppose -3 = -i + 5. Let o(k) = -i*k**2 + 2*k**3 - 2*k**3 + k**3 - 2 + 8*k + 0*k. Let q be o(7). Is 5 greater than q?
False
Let l = -1752906 + 3066462. Let n = l - 899785596/685. Let s = 2/137 + n. Which is greater: -4 or s?
s
Let w = 16313/15 - 1088. Is w greater than or equal to 1?
False
Let s(x) = 2*x**3 - 3*x**2 + 2*x + 1. Let m be s(2). Suppose -4*h = -h - m. Suppose n = 5*t + h, 0 = t - 4*n + 3*n + 3. Is -2/29 equal to t?
False
Suppose 5*w - 22 + 122 = 0. Which is greater: w or -21?
w
Let m(f) = f**3 + 11*f**2 - 14*f - 18. Let s be m(-12). Let o = s - 9. Let u be 63/(-154)*(2 + (0 - -2)). Does o = u?
False
Let z be 2/1*(6 + 5 + 326). Which is smaller: z or 672?
672
Suppose 4*b - 5 = -g, b + 2*g - 5 = 3*g. Suppose 0 = 3*q - b*h + 4*h + 314, -498 = 5*q - 3*h. Is -102 >= q?
True
Let g(k) = -11*k - 98. Let n be g(-11). Which is greater: 31 or n?
31
Let m = 4727/15 + -5731/30. Suppose 4*z = 2*o - 492, -o = -0*o + 2. Let c = m + z. Which is bigger: 1 or c?
1
Let u be 7 + (-2 - -1)*21. Is -15 at least u?
False
Suppose -659*x = -666*x. Do x and 133 have different values?
True
Suppose -7*o + 3 = -4*o. Suppose -4*a = 5*x - 13, -2*a + o = -5*x + 2. Suppose x = -s - 10. Which is smaller: s or -10?
s
Let m be -1*(1/(-1) + 0). Let z be (-705)/(-225) + m*-3. Let r = -0.2 - -0.2. Is r greater than or equal to z?
False
Let k = -569 + 567.815. Let a = k - -0.085. Is -0.1 less than a?
False
Let d = -62 - -193/3. Suppose 0 = -52*b + 49 + 107. Which is smaller: b or d?
d
Let j be 4771/2860 + (-16)/10. Which is smaller: 0 or j?
0
Let l = 801 - 8796/11. Let x be 0*(2 + 15/(-5)). Which is smaller: x or l?
x
Suppose 2*d + 128 + 0 = 0. Let f be d/(-10) - (-2 - -6). Is 3 less than or equal to f?
False
Let v(n) = -5*n - 139 + 139. Suppose 0*k - 5 = -5*k. Let d be v(k). Which is smaller: d or -6?
-6
Let y be (1 + 1 + 0)/(-4). Let k = 12 + -20. Is k > y?
False
Suppose -12 = 2*q - 2*g, -3*q = -5*g + 16 - 0. Suppose 6*v = 2*v. Suppose -3*d + 7 - 37 = v. Which is bigger: d or q?
q
Let d = -10 - -7. Let j be (d/(-63))/(5/30). Which is bigger: j or -1?
j
Let i be 146/4 + ((-3)/(-6))/(-1). Does 35 = i?
False
Let q be (-2 - -3)*(-3 - -4). Let z be q + 12/8*-1. Is z < 0.05?
True
Let f be -2 - (2 + 1 + -33). Let k be 2528/79 - (2 + (2 - 0)). Do f and k have the same value?
True
Suppose 54 = x - 0*c + 3*c, -c = 0. Which is bigger: 387/7 or x?
387/7
Suppose 30*l - 34*l + 16 = 0. Let i be -51*(l + 0 + -5). Are 51 and i nonequal?
False
Let h = 0.121 - -92.879. Let x = h - 93. Is x bigger than 4/33?
False
Suppose -3*z = z - 20. Suppose -v + h = 2, 4 = z*v + 3*h + 6. Which is smaller: v or -1/5?
v
Let g be (-4)/16 + (-47)/4. Let y be (-355)/(-175) + g/28. Which is smaller: 3 or y?
y
Let n = -32.069 + 0.069. Let p = n - -33. Which is greater: 30 or p?
30
L