0. Let z be 0 + (4 - l) + 2. Which is smaller: z or -2/5?
-2/5
Let z(o) = -313*o - 2503. Let t be z(-8). Let d be 178/182 - (-6)/(-21). Which is bigger: d or t?
t
Let m = 41 - 41. Suppose m = 8*p - 0 - 64. Suppose 2*k - 2*n - 6 = 0, p = -2*k - 3*n - 6. Is k less than or equal to -4?
False
Suppose -3*y + 24 = -b - 8, 5*b + 70 = 5*y. Let f be (-3)/(y/(-2)) - 190/15. Which is greater: -11 or f?
-11
Let i(s) = s**2 - 8*s - 34. Let n be i(8). Which is smaller: -33 or n?
n
Let t(k) = 12*k - 44. Let m be t(3). Which is greater: 2 or m?
2
Let k = 170 + -140. Suppose -p - p = k. Let u(i) = 4*i - 2. Let a be u(-3). Which is smaller: a or p?
p
Let o = -35816/21 + 1706. Which is bigger: -1 or o?
o
Let c = -491 + -1275. Which is bigger: -1767 or c?
c
Let w = -13.994 + 14. Let n = w + -2.006. Is -14 less than n?
True
Suppose 0 = -4*q - 0*q + 2*i - 676, -5*i - 662 = 4*q. Let f be 26/q + 15/60. Which is greater: 0 or f?
f
Let v be ((-4)/(-6))/((-224)/210). Which is smaller: 5 or v?
v
Let o = 116.95 + -117. Is o at most -0.5?
False
Suppose -4 + 4 = -3*u. Suppose -3*y + 28 - 1 = -5*a, 3*a = u. Which is smaller: 0 or y?
0
Let q = 161 - 161. Let v = -51 + 48. Which is bigger: q or v?
q
Suppose 3*t = 4*t. Let u be (-14)/(-7)*(t + 4). Suppose 4 = 4*d - 24. Do u and d have the same value?
False
Suppose -33 = 5*x - 63. Suppose 7*u + 1 = x*u. Let y = -107/606 + 1/101. Which is greater: y or u?
y
Let s = 990.29 - 990. Is s > 17?
False
Suppose v - 7*w + 7 = -5*w, v + 15 = 4*w. Let n be (-4)/(-2) + (-27)/4. Let i = -407/84 - n. Which is greater: v or i?
v
Suppose -2*p = -5*w + 13, -5*p - 20 = -w + 1. Are -11/3 and p unequal?
True
Let s(w) = w**3 - 6*w**2 + 7*w - 6. Let g be s(5). Let a be g/6 - (-10)/30. Let x be a - (-12 + (-1 - 0)). Is 15 at least x?
True
Let u be (-638)/957*(45/6)/((-2)/12). Let n be (-2)/(-8) - 230/(-8). Is u not equal to n?
True
Suppose 137*k = 132*k + 400. Suppose k = -5*y + 10*y. Which is smaller: 17 or y?
y
Let w be 9/48*4*64. Suppose h = -5*b + 1, 3*h + w = 5*b + 11. Is -8 greater than h?
True
Let f(p) = -p + 3. Let s be f(4). Let l(c) = 5*c**3 + 2*c**2 - 1. Let k be l(s). Let i = 3 - k. Is i greater than or equal to 8?
False
Let s = 1120 - 1119. Which is smaller: s or -10/509?
-10/509
Suppose -20 = 5*o + 3*v, 0*o - v = 2*o + 7. Are -5/284 and o non-equal?
True
Let x = -263 + 256. Which is smaller: -8/9 or x?
x
Let g = -1305/7238 + -1/658. Let b = -3 - -1. Is b not equal to g?
True
Let i(s) = s - 3. Let k be i(-5). Let a be 1242/39 - k/52. Let u be 6/20*a/(-24). Which is greater: 1/3 or u?
1/3
Suppose 5*d + 4*f = 2 - 3, 3*d = 3*f - 6. Let i(g) = 4*g + 1. Let p be i(-1). Which is smaller: p or d?
p
Let j = 75 + -75.01. Let b = 2.2 + -1.5. Let k = 0.7 - b. Is j less than k?
True
Let y = -2026 + 2070. Is 0.01 <= y?
True
Let v(h) = h**3 + 8*h**2 + 6*h - 34. Let y be v(-6). Is 5 > y?
True
Let y(d) = 21*d + 165. Let c be y(-8). Let a(b) = -b**3 - 6*b**2 - 5*b - 1. Let v be 3*(2 - 11/3). Let t be a(v). Is c at most as big as t?
True
Suppose -v = -3*d + 1, v + 0*v + 3 = 4*d. Suppose -3*k - 32 = -d*o, 0 = -0*k - 2*k - 5*o - 15. Let h = 9 + k. Is h less than or equal to -2/43?
True
Let a = 26.13 - 28.13. Which is bigger: a or 7/25?
7/25
Let j = 554/675 + -20/27. Let i be (-3 - -8) + 27 + -7. Suppose 1 = i*p - 26*p. Which is bigger: j or p?
j
Suppose -2*i - 4 = -3*i. Suppose i*v = 6*b - b - 13, 0 = -5*b + 5*v + 10. Let r(q) = 5*q**2 + 6*q + 5. Let h be r(-1). Which is smaller: b or h?
h
Let n = 581 + -573. Is n at least as big as 51/7?
True
Suppose -3*m + 5*w + 53 = 0, 2*m + 3*w = 5*m - 51. Suppose -x + 60 = 4*i, -2*x + 3*x = -i + 15. Which is smaller: i or m?
i
Let h(q) = 6*q - 4*q**3 + 0*q**3 + 3*q**3 + 2 - 4*q**2. Let p be h(-5). Let r be 1 + ((16/(-4))/1 - 3). Are p and r unequal?
True
Let c = 44623/175 + -255. Suppose y = -2*x - 11, -2*x = y - x + 6. Which is smaller: y or c?
y
Let m be (-7 - -5)*2/4. Suppose 5*u - 111 = -1. Let q be -13 + 9 + 84/u. Which is smaller: m or q?
m
Let x = 323 - 408. Which is greater: x or -86?
x
Let c = -9 - 1. Let k = c - -14. Which is smaller: 3 or k?
3
Let g = 321 + -209. Let i = g + -125. Is i smaller than -72/5?
False
Let g = -0.1 + 9.1. Let f = 16 - g. Suppose 0 = 8*m - 1 + 1. Is f less than m?
False
Let r = 376699/1009173 - 14/6347. Let o = r + -1/3. Which is smaller: o or -1?
-1
Let i(y) = -24*y + 1 - 7 + 27*y - 3. Let m be i(6). Is m greater than 9?
False
Let a(c) = -5*c + 5. Let q be a(5). Suppose 2*g = 3*g - 14. Let v be -3 + -1 + (-3 - g). Which is smaller: v or q?
v
Let a(j) = -j**2 - 6*j + 14. Let p be a(6). Let o = p + 67. Is o greater than or equal to 9?
True
Let m = 50 - 45. Let z be (8/(-6))/((m + 1)/36). Which is bigger: -7 or z?
-7
Suppose -5*u - n = -109, 3*u - 79 = -3*n - n. Let k be u/4 - 4/(-8). Is k at most as big as 5?
False
Let g = 103.4 - -0.6. Let b = -101 + g. Is b equal to -13?
False
Let v be 5*(-1402)/(-2256) - 3. Let q = v - 7/47. Is 1 less than q?
False
Let z(i) = i - 7. Let q be z(8). Let c be (1/34)/(q/4). Suppose 3*a + 2*m + 9 = 6, 2*a - 4*m - 14 = 0. Do c and a have different values?
True
Let t = 21 + -32. Let b be t/6 + 1/3. Let f = 1422 + -1421.9. Is b != f?
True
Let a = -0.82 - -1.82. Are 45/8 and a unequal?
True
Let o be 4*(7/2 - 3). Let i(k) = -2*k**2 + 0 - 2*k - 2*k**3 + 3 + 3*k**3 + 0*k**3. Let t be i(o). Which is smaller: t or -0.4?
t
Let v(q) = 5*q - 21. Let p be v(3). Let h be 2/6 + -3 + 0/p. Suppose 5*i + 2*z + 5 = 0, -z - 2*z = 3*i - 6. Is h < i?
False
Let w(s) = -s**2 - s + 3. Let f be w(-3). Let z = 130 - 130. Let g be z + (f - 0 - -2). Is g < 0?
True
Let v be 5*(-17)/(425/(-280)) - 1. Which is greater: 32 or v?
v
Let r = 6 - 16. Let b be 20/(-6) - 1/(-3). Let t = -11 - b. Is t greater than r?
True
Let x be 4/12 + (0 - (-280)/(-21)). Is x bigger than -11?
False
Let j(g) = -g**3 + 9*g**2 + g - 5. Let s be j(9). Suppose 70 = 4*x - 2*y, -2*x + s*x - 39 = -3*y. Is x >= 18?
True
Let x(q) = q**3 - 8*q**2 + 7*q + 1. Let t be x(7). Let g = 8 + t. Suppose 10*v - g*v = 0. Which is greater: v or 3/10?
3/10
Let i = -3.9 - -3.56. Let u = 1.64 + i. Let s = -1.3 + u. Which is bigger: s or -3/4?
s
Let l = 39.6 - 40.6. Which is smaller: l or -143?
-143
Let c = -353 + 388. Which is bigger: c or 1?
c
Let p = 2849831/35 - 81493. Let y = p + 468/7. Is -1 not equal to y?
True
Suppose 7*y + 12 = 4*y, -2*x - 5*y - 22 = 0. Let n = 25/823152 - 3/1559. Let p = 2/33 - n. Which is greater: x or p?
p
Let s be (-126)/15*15/(-6). Suppose -4*j - 20 = 4*g, 7*g - 3*g + s = -5*j. Let t be j/((-4)/(-8)*1). Is t >= -4/7?
False
Suppose 2*q + 0*q = 0. Let u be 66/77 - (-1)/(-2). Is u not equal to q?
True
Let a(u) = -218*u + 1. Let r be a(1). Let z be (20/4)/(3/r). Let t = 365 + z. Which is bigger: t or 2?
t
Let y = 1.048 + -0.948. Is y at least 384?
False
Let p be (-6)/(171/(-38) + (-3)/(-1)). Suppose 19 = -p*w + 35. Which is smaller: w or 6?
w
Let g be 2*26/34*-1. Let b = -148/119 - g. Let r = 22 - 20. Which is bigger: b or r?
r
Suppose -7*o + 35 = -0*o. Suppose 3*x = 3*p - 5*p - 7, 11 = -o*x - 3*p. Let n = -1 - 0. Is x smaller than n?
False
Let c be (-1 - (-6)/10)*10. Let v be (c + 2)*(-1)/(-2). Let s = 86 + -428/5. Is v at most as big as s?
True
Let a = -389 - -380. Let h = -45 - -20. Let f = h + 16. Is a less than or equal to f?
True
Let y = -46119/32 + 1441. Which is greater: 0 or y?
0
Let l = -2.2466 + -0.0534. Which is bigger: 0 or l?
0
Suppose -2227*z + 2226*z = -1. Is 11/42 equal to z?
False
Let m = -1 - -6. Let p be (0/(-7))/12*1/(-2). Suppose m*a - 6*a = p. Which is smaller: a or 1/3?
a
Let b be (6/8)/(65/80). Let i be ((-1)/(-7))/(60/28 + -2). Do b and i have different values?
True
Let h = -182/6633 + -1/2948. Let t(r) = -r**3 - 5*r**2 - r - 6. Let s be t(-5). Is h > s?
True
Suppose -4*s - 84 = -0*s. Let p = -977/66 + -107/22. Is p at least s?
True
Suppose 3*q + 92 = -88. Let w = 64 + q. Is w < 5?
True
Suppose 11 - 3 = u. Suppose 2*y - 6 + u = 0. Does y = -4/9?
False
Let a = 24 - -37. Which is smaller: a or 308/5?
a
Let b = -21 - -24. Suppose -c - b*c = 12. Let a be (-18)/(-30) + c/5. Which is greater: 1/3 or a?
1/3
Let g(o) = 9*o**2 - o - 1. Let r(d) = -d**2 - d - 1. Let l be r(-1). Let s be g(l). Suppose -3*n + 5*u = -2, -3*u + 4 = 2*n + s. Are -3 and n non-equal?
True
Suppose -f = -13 - 5. 