Let t be 2/((247/(-78))/1). Is t less than i?
True
Let r(u) = 0 - 2 + 0 - u. Let l be r(-2). Suppose -5*n = 5*c - 20, 2*c + 3*n - 7 = 2*n. Which is smaller: c or l?
l
Let p = -16 + -42. Which is smaller: p or 2/11?
p
Let a(o) = o**2 + o - 243. Let v be a(0). Let m = v - -3161/13. Let p = -6 - -6. Which is smaller: m or p?
p
Let r = 1 - 9. Let i = -9 + 17. Let f = r + i. Which is smaller: 1/7 or f?
f
Let v = -106877/94 - -1137. Are 1 and v nonequal?
True
Suppose l = 5*c - 31, -4*c - 11 = l + 2. Let w(p) = -p**3 - 22*p**2 - 20*p + 16. Let i be w(l). Which is bigger: -3/5 or i?
-3/5
Let h = -0.08 - 4.92. Let t = h + -7. Let r = t + 11.8. Which is bigger: 3 or r?
3
Let a be 110/130 + 2/13. Let n be a + (-6)/(-56)*4. Let o(y) = 2*y. Let g be o(1). Is g > n?
True
Suppose 2*x = -j - 2*j + 22, -20 = -4*j + 2*x. Suppose -j*y + 1 - 13 = 0. Are -5/6 and y unequal?
True
Let r(y) = -8*y + 395. Let f be r(27). Is f equal to 178?
False
Suppose 0 = -5*v + 10*v + 105. Let d be v/(-7) - (-87)/(-17). Let y = d + 703/340. Which is smaller: y or 0?
y
Let m be -3*4/(-24)*15/(-6). Let x = 4 + -1. Suppose 20 = 4*z, -x*z + 19 = -4*a - 0. Which is smaller: m or a?
m
Let m be 10/(-12) + (-7889)/210. Is m at most as big as -37?
True
Let g be (-3)/2 - (-1 + 10/(-4)). Which is bigger: g or -6?
g
Suppose -122 = 5*i - z, -32 - 78 = 5*i + 5*z. Let k = i - -24. Is -2/71 > k?
False
Let p be (238/(-234))/1 - -1. Let m(a) = a**2 - 5*a - 695. Let f be m(29). Is p <= f?
True
Let c = 793 + -792.97. Is 1/7 bigger than c?
True
Let w be (-8)/348*12/(-16). Suppose 2*h + 0*h = 0. Are w and h unequal?
True
Suppose -11*q = -13*q + 6, -5*r - 5*q = -110. Which is greater: r or 10?
r
Suppose 0 = -6*f - 47 - 67. Let d = -17 - f. Suppose 2*o + d*i = 7 - 3, o = 4*i + 12. Are o and 3 non-equal?
True
Suppose -11*r + 6*r + 5*c = 715, 2*r = -c - 274. Are r and -419/3 non-equal?
True
Suppose 8*x = 5*x - 39. Suppose 3*w + 11 = -4*r - 54, -2*r = -2*w + 22. Is x != r?
True
Let z = 0.172 - 0.072. Suppose 5*p - 50 + 20 = 0. Let g be (p/(-68))/(3/4). Is g smaller than z?
True
Let l(r) = r + 4. Let j be l(0). Let w = j - 4. Let q be 1 + 0/1 - w. Is q greater than 8/5?
False
Suppose -a - 2*f = -3*a - 42, 5*a + f + 99 = 0. Let x be (-42)/40 - 16/a. Suppose 0 = 3*v + 6, -8 = -o + 5*v - 1. Is o smaller than x?
True
Suppose t = 22*t + 12*t. Is -1/612 less than t?
True
Suppose 143 = -5*v + 3*n - 113, 118 = -2*v - 4*n. Is -51 >= v?
True
Let b = 5.58 - 5.6. Let j be (-29)/(-9) + (-2)/((-2)/(-3)). Which is smaller: j or b?
b
Let u = -12 + 131/11. Let z be 1/(-3) - (-4)/3. Which is greater: z or u?
z
Let f = -768 + 881. Which is greater: f or -1?
f
Suppose -8*i + 537 = 161. Let p = -20 + i. Which is smaller: p or 25?
25
Let m be (336/(-182))/(-12) - (-20)/(-1313). Which is bigger: 0 or m?
m
Let f = 1 - 1. Let p = 1/3065 - -174698/21455. Let l = 53/7 - p. Is l < f?
True
Let k be 16/(-66) - (4 - 2)/(-6). Let y be 1/(-2) + (-5)/10. Which is greater: k or y?
k
Let b be 14 + -21 - (-2 + -1). Let u(g) = g**2 + 10*g - 61. Let i be u(-13). Which is smaller: i or b?
i
Suppose 12 = 4*y - y. Let r be ((-52)/(-32) - 2)*y. Is r greater than or equal to -9?
True
Suppose -3*g + 67 = 34. Is 31/3 at least as big as g?
False
Let i = -28/23 - -160/207. Does i = 2/69?
False
Let w = 766 + -42139/55. Which is smaller: w or 0?
w
Let d = 2.05 - 2. Let o = 472 - 473. Which is greater: o or d?
d
Let h = -435 + 13487/31. Suppose -s = 4*s + 20. Let g be (s/6)/(4/6). Which is smaller: g or h?
g
Let h(f) = 13*f**2 + f - 8. Let x be h(4). Suppose 6 = 5*t + 3*k - x, -k = 0. Is t <= 42?
True
Let h = -303 - -541. Let x = h - 4043/17. Suppose v + i - 3*i = 7, v + 4*i + 11 = 0. Is x < v?
True
Let o = 133 + -111. Is 30 less than or equal to o?
False
Let q(n) = -2*n**3 + 2*n**2 - 2*n + 1. Let y be 1/(-3 + (5 - 3)) + 2. Let b be q(y). Do b and -30/19 have the same value?
False
Suppose 3*i + 3 = 6*p - 3*p, 2*i + 4 = 0. Let b(z) = z**3 + 10*z**2 - 2*z - 7. Let t be b(-10). Suppose 3 = -j + h, t = j + 2*h + h. Which is greater: p or j?
j
Let o = 1361/4 + -338. Let u(k) = k**2 - 2*k + 3. Let t be u(2). Suppose -t*m = -5*j - 26, 2*m - j = -2*m + 12. Is o equal to m?
False
Suppose -5*p = -p - 16. Let d(b) = -b**2 + 10*b + 13. Let v be d(11). Suppose -3*o + 0*o = v*u + 1, o + p*u - 3 = 0. Is 1/4 bigger than o?
True
Suppose 2*n - 3*g = -16, -n + 3*g - 19 + 5 = 0. Let j be 2*(n/7)/(16/(-28)). Is -1/58 greater than or equal to j?
False
Let t be (-1 - 2 - -2) + 7. Suppose s = -s - t. Are s and -2 nonequal?
True
Let y = 4175/6 + -699. Which is smaller: y or -4?
-4
Let v be 13/((-65)/2660)*2/372. Let m = v + 6/31. Is -3 less than m?
True
Let d be 12 - -1 - (0 + -4). Let l = 9 - d. Which is smaller: l or -9?
-9
Let k = 0.6 - -25.4. Let l = 25.8 - k. Is 9 > l?
True
Suppose -5*w - 14*d + 9*d = -300, 4*d - 177 = -3*w. Which is smaller: w or 15?
15
Let b = -1.8 + 0.8. Let t be (42/72 - 8/6)*-2. Is t >= b?
True
Suppose -4*t + 64 = -2*r, -5*r + 4*t + 63 = 253. Let n be r/104 + 6/24. Let p be -1 + 2/1 + -1. Is p > n?
True
Let c = 334 - 568. Let r = c - -3980/17. Let l = 1.4 + -1.3. Is r less than l?
False
Let x = 3861/7 - 553. Is -1 less than x?
False
Let z be 105/20 - ((-27)/(-12) + -2). Let q be 21/35*z/6. Which is bigger: 0.045 or q?
q
Let z = 15250 - 259248/17. Let x be 2/(-5) - (-6)/15. Suppose x = -2*w - w. Is w greater than or equal to z?
False
Let h = 1.3 - 0.3. Let o = h - 0. Let f be -3 + (-416)/36*3/(-12). Is f < o?
True
Let m = 628 + -6903/11. Do -1 and m have the same value?
False
Let j = 42 - 80. Let w = j + 41.1. Let i = w + -26.1. Which is greater: 2/7 or i?
2/7
Suppose 107 = p - 4*o, -o + 2*o - 1 = 0. Do p and 0 have the same value?
False
Let u be 10/55 - 42/(-11). Let k(s) = s**3 - 3*s**2 - 4. Let j be k(u). Suppose 0 = 3*r - 9, -5*r + 3 + j = 3*h. Are 4/19 and h equal?
False
Suppose 2*u - 12 = u. Let w be u/54 + 11/(-9). Is -8/5 at most w?
True
Let s = -90/31 - -86/31. Suppose 45 = -6*o + 39. Is s at most as big as o?
False
Let h = -22 + 22. Suppose h = -2*v - d - 2, d - 2 = -3*v - 3. Which is greater: -3/37 or v?
v
Suppose -5*l - 5*w + 290 = 0, 3*l - 170 = -0*w - w. Suppose 24 = 59*r - l*r. Let z(q) = -q**2 + 8*q + 6. Let m be z(r). Which is bigger: 9 or m?
9
Let f = -5400 + 5447.02. Let s = f + -47. Which is greater: 1/4 or s?
1/4
Suppose -v - 7 - 6 = b, b + 5*v = -5. Let r = -21 - b. Are r and -4 nonequal?
True
Let t = 14 - 19. Let h be t/(-35) + 82/14. Suppose 2*x - h*x = 84. Is x bigger than -21?
False
Suppose -3*r - 18 = 3*z + 6, r + 13 = 4*z. Let n = r + 5. Which is greater: -1 or n?
-1
Let s = -25228/34865 - -69/95. Which is smaller: 0 or s?
0
Let v = 19.3 - 13.3. Let u = 12 + -21. Let a be u/4 + 1/4. Which is bigger: a or v?
v
Let s = 9914/9 + -1105. Let o = 8/9 - s. Which is greater: 5 or o?
5
Let k = 42 + -37. Suppose -k*a + 2*a + 3 = 0. Which is greater: a or 2/27?
a
Suppose 0 = a + 2*a + 4*l + 1, -4*a = -3*l - 7. Let y = 563 + -567. Which is bigger: y or a?
a
Let d = -6.16 + 6. Let g = d - -1.56. Let t = -1.675 + 2.675. Which is greater: t or g?
g
Let i(w) = -2*w**3 - 10*w**2 - 5*w + 13. Let b be i(-6). Is b less than 116?
True
Let x = -0.53 + 9.63. Let t = -8.1 + x. Do 3 and t have the same value?
False
Let x = 2.5 - -10.5. Let o = x + -7. Let s = 9 - o. Which is greater: -1/3 or s?
s
Let j be 6/10 - (-54)/10. Let i be ((-27)/j + 0)*(-9)/(-27). Is i greater than -0.1?
False
Let f be (-2 + 6 - 4) + (0 - -1). Let p = -65 + 178. Let l = -447/4 + p. Is f greater than l?
False
Let k = -12.21 + 12.28. Which is bigger: k or 5?
5
Suppose -4*w + 8 + 0 = -2*m, -4*m - 12 = -4*w. Which is smaller: -18/59 or w?
-18/59
Suppose -2*z - 15 = z. Suppose -3*y - 13 = 4*l, -19*l - 2*y = -15*l + 10. Is l greater than or equal to z?
True
Let g = -1 + 1. Suppose -t = -g*t + 7. Let l(y) = -y**3 - 5*y**2 + 2*y + 3. Let n be l(-5). Does t = n?
True
Let n = 9.9 + -10.1. Let m = -4.5 - -5. Let x = 0.4 - m. Is n <= x?
True
Suppose -9*r = u - 6*r + 61, -5*r + 193 = -4*u. Let j(m) = -3*m + 10. Let b be j(21). Is u at most b?
False
Suppose -f + 4*b - 50 = 234, -3*f + b - 874 = 0. Is f > 1?
False
Suppose 3 + 0 = -j. Let y = j - -2. Let h be (-5)/25*(-3 - -2). Which is smaller: y or h?
y
Let d be (-2)/(-4) + (-49)/(-14). Suppose i - 2 = 2*v + 26, -d*i - 80 = 4*v. Let q be 