 5*i + 4 = -u - u, 0 = -2*i - 5*u + 11. Suppose -4*l = 2*d + 5 - 1, -2 = d - 4*l. Let v = d + i. Is -4 at least as big as v?
True
Suppose 4*y + 296 + 4 = 0. Let s = -85 - y. Is -10 at least as big as s?
True
Let w = -118 - -118.1. Is 5/22 != w?
True
Let i = -2 - -1. Let f = 1571 + -1590. Is f bigger than i?
False
Suppose -3*u = 15 - 3, -3*i - 2*u - 458 = 0. Let g = 249 + i. Let a be 130/(-144) + (-22)/g. Which is greater: -1 or a?
-1
Suppose 4*h = 4 + 12. Let a be (2/h)/((-4)/80). Let p be ((-24)/a)/((-540)/200). Which is smaller: -2 or p?
-2
Let m be (4 + -3 + -2)*1. Is -6/829 at least as big as m?
True
Let v = 6622/292235 - -8/1385. Is -1 equal to v?
False
Let c(d) = -21*d + 110. Let t be c(5). Which is smaller: 0.05 or t?
0.05
Suppose -14 = -p + 3*z, -p + 0*z - z = 6. Let i = -54 + 215/4. Which is smaller: i or p?
p
Let j be (-13)/(12/8*2/(-24)). Which is greater: j or 109?
109
Let m = 2369 + -3150. Which is smaller: -1 or m?
m
Let o = -0.34 - -0.54. Let y = 14 - 10. Is o less than y?
True
Let m = -352 + 343. Let c be 6/10 - (-164)/(-15). Which is greater: m or c?
m
Suppose 11*b = -14*b - 50. Let v be ((-8)/14)/((-12)/42). Suppose y = -v*p - 4, y - 5*p + 12 = -2*y. Is y <= b?
True
Suppose -510 = -3*r - 135. Which is smaller: 2 or r?
2
Let b be (-84)/882 - (-3776)/(-42). Is b not equal to -90?
False
Suppose 4*d - 2*d = -6. Let h(v) = -v**2 + 22*v + 19. Let n be h(19). Let g be 1*(n/28 + d). Which is bigger: g or -0.1?
-0.1
Let i = -6 + 4. Let o = i + 6. Suppose -21 = l - 5*k - 0, k = -4*l + 21. Is l at least o?
True
Let s be ((-34)/35 + 1)*(-3 - -134). Let b = s + -22/7. Which is smaller: 0 or b?
0
Let z(n) = -4*n + 64. Let b be z(15). Let c be -9 - 2*(-1)/b*-2. Is -12 bigger than c?
False
Let t = -131.2 - -131. Let n = 1 + 10. Which is smaller: t or n?
t
Let s = 2439 - 2460. Which is bigger: s or 2/181?
2/181
Suppose 72 = b + 3*b. Let w be 4/(-6)*b/30. Which is smaller: w or -11/3?
-11/3
Let l(b) = -b**2 - 12*b - 9. Let k(n) = -5*n. Let x be k(2). Let h be l(x). Suppose h = 5*p + 2*r, r = 2*r - 3. Which is smaller: 3/2 or p?
p
Suppose 2*j + j - 76 = 2*x, -5*j = -2*x - 76. Let h = x - -38. Suppose 3*n - k - 10 = 0, 2*k - 13 = n - 6*n. Which is greater: h or n?
n
Let j = -76181/310 - -1228/5. Which is greater: j or 1?
1
Let f(t) = -t**2 - 6*t - 1. Let v be f(-5). Suppose -4*r - 9 = -4*h + 31, -5*h - v*r = -50. Let c be (h/(-6))/((-1)/(-6)). Which is smaller: c or -0.1?
c
Suppose 4*m - 5 = -3*d - 6, -m = 2*d - 1. Which is bigger: -1/582 or m?
-1/582
Let s be (-715)/70 + 4/14*-1. Let d(v) = -v**3 - v**2 + 2. Let y be d(2). Which is bigger: s or y?
y
Let o = 68 + -38. Let v = -29 + o. Suppose a - 3 = -4. Are a and v unequal?
True
Let z = 1753/7189 - 21/79. Are z and 1 unequal?
True
Let o be ((-15)/4 + 4)*(1 + 106). Is 28 at most as big as o?
False
Suppose -m + 2*m = 14. Let t = 120 + -121. Which is bigger: t or m?
m
Let d = 360 - 307. Is d <= 53?
True
Let i be (-18)/(-2) + 0 + -1. Suppose -2*u = 3*u. Suppose -i*y + 12*y + 4 = u. Is y at most as big as -2/3?
True
Let r be ((-5)/15 - 0)*0. Which is greater: r or 6/493?
6/493
Suppose 13 = 2*v + y, -4*y + 0*y = 2*v - 28. Suppose 15 = v*r - 3*z, -5*r + 14 = -z - 13. Let n be (-12 - 0)*1/(-2). Are n and r unequal?
False
Let y(z) = z**3 + 7*z**2 + z + 3. Let c be y(-6). Suppose -5*v = -c + 18. Which is smaller: 5 or v?
v
Let m = -0.51 + -61.49. Let b = m + 91. Do b and 1 have different values?
True
Let s = 0.0287 + 7.9713. Which is smaller: 25 or s?
s
Let h = 15/4 - 5/4. Suppose -l + 2*l + 4 = 0. Let s be 3/(-4) - l/4. Is h smaller than s?
False
Suppose 9*n = 13*n - 32. Let l be -2*(-7)/(70/n)*15. Which is bigger: 22 or l?
l
Let f = -0.038 - 39.962. Let v = 292 + -332.19. Let t = v - f. Which is smaller: t or 0?
t
Let z = 10.023 + -0.123. Let v = -10.7 + z. Which is smaller: -2 or v?
-2
Let a = -4/215 - -227/645. Which is greater: a or -0.132?
a
Suppose -5*m - 109 = -f, -4*f - 4*m + 278 = -206. Which is smaller: f or 120?
f
Let v = -99.495 - -99.5. Is 0.4 != v?
True
Suppose 7 = -x - 30. Let l = -38 - x. Let j be (-2)/(-10)*(-20)/128. Which is bigger: j or l?
j
Let q(j) = j**2 - 13*j + 1. Let n be q(16). Suppose 4*l + 263 = -n. Let z be l/(-21) - (-4)/(-1). Which is bigger: -1 or z?
z
Let p(d) = d - 10. Let q be -4 - ((4 - 4) + -22). Let z be p(q). Which is greater: z or 15/2?
z
Let s(p) = p**3 - 8*p**2 + 8*p - 6. Let y be s(7). Let f be (2 - (0 - -3))/y. Let j be 4/3 + f/3. Which is smaller: j or -1?
-1
Let s be -4 + ((-5512)/(-32))/13. Let z be 3/((-18)/(-4))*15. Is z >= s?
True
Suppose 0 = 3*s + 3*c + 57, 4*s - c = 3*s - 9. Suppose -3*k = -4*f + k - 32, -2*k = -3*f - 29. Let z = f - s. Does z = -2?
False
Let n = -60.26 + 61. Let o = 0.54 - n. Which is smaller: 2/7 or o?
o
Let t = -64 + 63.923. Let s = 20.077 + t. Which is greater: -0.1 or s?
s
Suppose -5*a + 2*r - 22 = -2, -15 = -3*r. Let w = 446 - 449. Which is smaller: a or w?
w
Suppose 436*q + 4 = 432*q. Let p be 6*5/10 + (-225)/73. Which is smaller: q or p?
q
Let h(r) = -r**3 + 9*r**2 - 10*r + 20. Let t be h(8). Suppose -t*a - z = -60, -1 - 9 = -a + z. Is 14 less than a?
False
Let l be 9/20 + 5/(-25). Is -67 smaller than l?
True
Let b(k) = -114*k**2 - 7*k - 8. Let i be b(-1). Are i and -115 non-equal?
False
Suppose 1 = 4*r - 15. Suppose -2*h = -r + 2. Suppose 18*m = 19*m - 6. Which is smaller: h or m?
h
Let f = -85.94 + 84. Let k = -0.06 + f. Is k <= -2?
True
Let t = -650.033 + 652. Let l = t - 0.067. Which is smaller: l or -2?
-2
Let d(o) = -o**2 + 13*o + 9. Suppose -5*c + 10*c - 60 = 5*m, -2*c + 4*m + 22 = 0. Let t be d(c). Suppose -n - t = -3. Does -7 = n?
False
Let u = 161 - 40. Let y = u - 119.82. Let g = y + -0.18. Which is smaller: g or 9?
g
Let b = -1933/151782 - -1/1851. Let y = b + 413/246. Is y > 3?
False
Let w = -183 - -175. Do -5 and w have different values?
True
Let i(k) = -3*k + 4. Let o be i(4). Suppose -s - 2 = -h, 0 = -2*h - 7*s + 2*s + 32. Let n be ((-20)/(-5))/(h/(-9)). Is n bigger than o?
True
Let r(g) = -g**2 - g. Let m be r(-1). Let j be m/(((-2)/(-1))/2). Suppose j*b = -2*b - 2. Is 2 less than or equal to b?
False
Let i be (40/(-700))/((-7)/5). Are 1 and i equal?
False
Let w be 5 + (11 - (-390)/(-24)). Which is greater: 482 or w?
482
Let o be (-2)/(576/(-280) - -2). Which is bigger: o or 33?
o
Let z be ((-2)/(-3))/(((-8)/303)/(-4)). Does z = 103?
False
Let x be (45/(-2))/((-27)/(-36)) - 4. Which is bigger: -0.2 or x?
-0.2
Suppose -5*z - 1675 = -5*g, 3*g + 1604 + 63 = -5*z. Which is greater: -333 or z?
-333
Let v = 23 - 31. Let b be ((-20)/v)/(2/4). Let n(k) = -k**3 + 5*k**2 + 10. Let y be n(b). Is 9 not equal to y?
True
Let g = -7 - -15. Let o(l) = l**3 + 8*l**2 + 11*l. Let v be o(-2). Let n be (g/v)/4 - 2. Does 2/77 = n?
False
Let l be 140/(-18) - (-2)/(-9). Suppose 0 = -5*z - 10, -70*t + 6 = -74*t - 5*z. Are t and l non-equal?
True
Suppose -5*q + 6 = -14. Suppose 7*i - q*i = 0. Let w be (2 + i)*(-9)/30. Is 0 greater than w?
True
Let r = 1153001 + -686035758/595. Let l = 62 - 5269/85. Let o = r - l. Which is smaller: 1/5 or o?
o
Let l = -0.463 - -37.463. Which is bigger: l or 7/5?
l
Suppose 0*w - 2*w = -44. Let q = w + -22. Suppose -f - 2*f + 15 = q. Is 4 at most f?
True
Let f(c) = -c**2 + 16*c - 18. Let w be f(15). Let a = 4 - w. Suppose -19 = 2*j - a. Is -7 greater than or equal to j?
False
Suppose -z - 2*c - 18 = 0, -5*z + 7*z + 27 = 5*c. Let k = z + 16. Let h = -38 + 340/9. Which is smaller: k or h?
h
Suppose 2*v + 70 = 3*i - 159, 0 = 3*v + 6. Let w = 8 - -68. Which is bigger: i or w?
w
Let i(b) = -2*b - 2*b - 3 - b**2 - 4*b. Let o be i(-5). Let m be (13/o - 1)/(-1). Is m > 1?
False
Let d be 7 - (1262/(-6))/(27582/(-918)). Which is bigger: 1 or d?
1
Let n = 78 - 27. Let j = -26 + n. Suppose -t - j = -5*b, 4*t + b = -0*t + 5. Is 0 != t?
False
Let u be (5 - 4) + (-381)/45900*142. Let a = -1/450 - u. Which is greater: a or 0?
a
Let y = -29.8 - -45. Let d = -15 + y. Which is smaller: d or 3/8?
d
Suppose f - 3*h + 7 = 0, -6 = -2*h - 0*h. Let u be (f/(-4))/(6/96). Suppose y = 2*y + 7. Which is bigger: u or y?
y
Suppose -5*q - a - 10 = 0, 2*a + 25 = 15. Let n be (-1)/(-5) - 107/460. Are q and n nonequal?
True
Let u(a) = -a**3 + 6*a**2 - 9. Let j be u(6). Let k = 8 + j. Let s be 2 + (k - 3/9). Are s and 1 equal?
False
Le