 - -44. Is m at least as big as v?
False
Let k be (6/5)/((-21)/28). Let i = 53 - 53. Let w be -2 - i - 0/(-3 - 2). Is w less than or equal to k?
True
Let j(o) = -18 + o + 2 - 21 - 3*o. Let d be j(-19). Let i = -624/1585 - 2/317. Which is greater: d or i?
d
Let c = -557 - -556. Is -1.3 less than c?
True
Let h(i) = 6*i**2 - 4*i - 20. Let b(r) = r**2 - r - 1. Let w(n) = -5*b(n) + h(n). Let k be w(-6). Which is greater: k or 14?
k
Let v = -16 + 10. Let m = 38 + -22. Let c be (0 - 1)/(2/m). Is v less than or equal to c?
False
Let t be ((2 - 3) + 509)*561/748. Is t less than 382?
True
Suppose -114 = 4*p + 150. Is -72 bigger than p?
False
Let z be (3/33)/(-3 + (-102)/(-30)). Is 0 <= z?
True
Let b = -222967/5 + 45549. Let w = 959 - b. Which is smaller: 3 or w?
3
Suppose 0 = -4*i + 3*c - 6, -4*i - 4*c = 22 - 2. Suppose -l + 3 - 7 = 0, -5*h + 3*l - 3 = 0. Do i and h have the same value?
True
Let a(q) = -2 - 118*q - q**3 - 2*q**3 + 4*q**3 + 109*q - 3*q**2. Let p be a(3). Which is greater: -28 or p?
-28
Let y be 1*-3 - (-24)/(16/8). Suppose 12 = 4*p + 3*w, -3*p = -4*w - 0*w - y. Is -1 greater than p?
False
Let c(p) = p**3 - 22*p**2 - 3*p - 52. Let b be c(22). Is b at most as big as 5?
True
Let v = -269 + 284. Which is smaller: v or 0?
0
Let o(f) = -3*f + 3. Let a be o(1). Let t = 6.2 + -7. Is a equal to t?
False
Let y be 13/((-4)/(-6)*3/(-12)). Let x be (6/(-7))/2*y/(-9). Which is smaller: x or -5?
-5
Let z be (-9*(-7)/(-105))/((-2)/(-10)). Let m be 0/((1 - 0)*z). Do 5/9 and m have the same value?
False
Let j = -2.2 - 7.8. Let y = -1015/1527 + -1/509. Which is bigger: y or j?
y
Let q = -537.8 + 537. Which is greater: 8/15 or q?
8/15
Let y = -0.2234 + -9.7366. Which is bigger: -1 or y?
-1
Let s be 10/35 - (-6)/(-21). Let k(v) = -v**2 + 5. Let m be k(s). Is 1/5 at most as big as m?
True
Suppose 2*g - 76 = -2*g. Let t = -1855 + 1855. Which is smaller: g or t?
t
Let r be (-1 - -12)/((-1)/1). Let c = 14 + r. Suppose -4*j + 3*j - 2*q - 12 = 0, c*q = 2*j + 3. Which is bigger: j or -8?
j
Let k = -209 + 202. Is -59/8 > k?
False
Suppose -w = b + 127, -w - 150 = 5*b - 3. Let j be (-10)/(-30) + w/(-3). Is j less than 41?
False
Let x = -22 - -16. Let t = x - -4. Let o = t - -7. Is 4 > o?
False
Let r = -125/4 - -31. Let g = r + -1/4. Let l = 1892 - 1894. Which is smaller: l or g?
l
Let f = 8.24 + -8.3. Is f less than 2/9?
True
Let n be 4 - (-3 - -5) - 3. Let w be 5/(1260/(-16)) + n. Let v = w - -41/21. Do v and 1 have the same value?
False
Suppose 0 = 2*v + i + 3*i, v = 2*i + 12. Let o be (-110)/(-12) + (-1)/v. Suppose 0 = -m - 2*m - o. Which is bigger: -2 or m?
-2
Suppose -2*k - 10 = 4*r - 0*r, 3*k = 3*r + 3. Let o = 1042/11 + -96. Is o greater than or equal to k?
False
Suppose 3*z + 933 = -2*l - 184, 8 = 2*l. Let g = 9377/25 + z. Which is smaller: g or 1?
g
Let t(s) = -s. Let m be t(-5). Let b = m - 0. Suppose 0 = -2*u - 5*k + 33, 21 = 4*u + 4*k - 3*k. Which is bigger: u or b?
b
Let s be (1235 + 1)*(-7)/(-70) - 0. Let r be (-1 - 7)/(205/(-3166)). Let y = r - s. Is y < 0?
True
Suppose 3*t = 5*d - 2*t - 355, -4*t = 5*d - 337. Which is greater: 67 or d?
d
Let h be -6 + (-70)/(-5) - 5. Suppose 0 = 3*q - 2*w + 7, 0*q - 3*q - w = 10. Does q = h?
False
Let u = -61.062 + 61. Let b = 2.062 + u. Suppose m + 0*m = 0. Are b and m nonequal?
True
Suppose 4*b = 3*s - 253, -8 - 7 = -3*b. Is 91 at least as big as s?
True
Let v be ((-4)/8)/(15/50). Let c = -26 - -24. Which is smaller: c or v?
c
Let w = -28 + 8. Let k = w - -41/2. Which is smaller: 52 or k?
k
Let p = 874/15 + 72/5. Let n = p - 73. Are 1.1 and n unequal?
True
Let j be 3/(-4)*(19 + 1). Suppose 47 = 3*z + 95. Is z at least as big as j?
False
Let z(k) = -k + 4. Let i be z(0). Suppose 9*b = i*b. Let w = -0.439 + -0.061. Is w at most as big as b?
True
Suppose -7*b + 4 = -5*b. Let t be 414/36*(2/b - 3). Are -24 and t non-equal?
True
Let r = -14590/21 + 2098/3. Is 5 not equal to r?
True
Let x be (2/(-36))/((-1)/(-4)). Let y(t) = 451*t + 2707. Let p be y(-6). Are x and p unequal?
True
Let t(h) = -h**2 - 6*h. Let w be t(-6). Let k be -3 + (-2 - -2 - w). Is k at least -3?
True
Let m be ((-6)/(-72))/((-4)/(-18)). Let d = -1783 + 42817/24. Let a = d - m. Is a bigger than 1?
False
Let u be (-224)/3472 + 32/1457. Let w = -1 - -2. Is w less than u?
False
Let j(b) = 44*b - 1. Let i be j(-1). Let f = 42 + -44. Let r be (-8)/f - (-198)/i. Which is bigger: r or -0.3?
-0.3
Let w = 82/5 - 271/15. Suppose -3*n = -4*t - 79, 0 = -5*n + t + 27 + 82. Suppose -5*s - n = 2*v, -24 = -2*v + 6*v + 4*s. Which is greater: w or v?
w
Let i(p) = -264*p**3 + 2*p + 4. Let t be i(-1). Which is greater: t or 265?
t
Let u = -294 + 11171/38. Let t(k) = k**2 - 4*k - 5. Let d be t(5). Which is smaller: d or u?
u
Suppose 0 = -8*w - 2*w + 660. Is 4 bigger than w?
False
Let j(d) = d - 4. Let u be j(9). Suppose -u*r + 2*r = 0. Suppose 0 = -r*y + 3*y + 3. Which is smaller: -1/2 or y?
y
Let i = -29954/11 - -2716. Which is bigger: i or -6?
-6
Let g be 759/(-423) - 450/(-270). Suppose -7*m - 3*s = -3*m + 4, m - 2*s + 1 = 0. Which is bigger: g or m?
g
Suppose 4*b + c = 3*c + 820, -4*c = -b + 219. Is 205 equal to b?
False
Let q be 9/((-1)/12*1). Let l be (18/q)/(2/(-12)). Let x be 34/(-18) + 1 + 1. Which is smaller: x or l?
x
Let i(q) = 7*q + 7. Let m be i(-3). Let p = 7.1 - 8.1. Is p less than m?
False
Let l be 1/2 + (730/(-4))/(-5). Which is bigger: l or 32?
l
Let w(t) = t**3 - 6*t**2 + 5*t - 7. Suppose -4*x = f + 4*f - 10, f = -5*x + 23. Let d be w(x). Is d at least as big as 1?
False
Let b be (-123)/63 + 4 + -3. Let f = 782/777 + b. Which is bigger: f or -1?
f
Let s = 4.8 - 5. Let u = -4.8 + 6. Let l = -1 + u. Are l and s nonequal?
True
Let r be (-1)/2 + -119*10/(-2396). Is -1 smaller than r?
True
Let q = -1801/130640 + 3/368. Which is smaller: q or -1?
-1
Let g(p) = -4 + 11*p - 6*p + 3 - 4*p. Let j be g(0). Which is bigger: 1 or j?
1
Let t be (-10 - -4)*(-5)/(-10). Let a(w) = w**2 - 11. Let i be a(t). Which is bigger: -12/7 or i?
-12/7
Let w = -173 - -243. Which is bigger: 2 or w?
w
Let l = 8038936822/11599885 - 102/210907. Let o = l - 693. Which is greater: o or 1?
1
Let b be (-1)/7 + (-3)/21. Let r(y) = -2*y + 7. Let g be r(5). Let p be 1/2*(g + 1). Does b = p?
False
Let a be (-1)/37*10/(10/3). Which is bigger: a or 1?
1
Let v be (6 + 28/(-5))*3*5. Let o = -5 - -1. Which is bigger: o or v?
v
Suppose -k = -v - 7, -3*v + 4*v = 5*k - 51. Suppose -n + 2*n = k. Which is smaller: n or 9?
9
Let h(v) = v**2 + 5*v + 4. Let w be h(-4). Which is smaller: -4/87 or w?
-4/87
Let k(o) be the second derivative of 0 + 1/2*o**5 - 1/2*o**2 - 1/12*o**4 - 4*o + 1/6*o**3. Let n be k(1). Is n smaller than 4?
False
Suppose p + 67 = 4*w, 0*p + 4*w = 3*p + 169. Which is bigger: -53 or p?
p
Let r(x) = x**2 + 8*x - 10. Let v be r(-9). Is -1/1102 less than v?
False
Let y = -0.3 + -19.7. Let s = 19.84 + y. Let d = s + 0.26. Is -4 less than or equal to d?
True
Let y = -283536/19 + 15208. Let o = y - 285. Suppose -5 = 5*h, -5*c + 6*h - h = 0. Which is smaller: o or c?
c
Let f be -1 + (0 - (-3 - -2)). Suppose -3*b = -5*k + k + 215, 5*k - 25 = 0. Let h be b/(-156)*(-27)/10. Which is bigger: h or f?
f
Let l = 4 + -4.3. Let n = 0.32 + l. Let i = 151.4 + -152.4. Which is bigger: n or i?
n
Let d = 1.5 + -1.8. Let q be (1/(-2))/((-2)/20). Suppose -4*i = 2*t - 0 - 16, q*t - 7 = i. Which is smaller: d or t?
d
Let p(w) = -9*w**2 + 20*w + 7. Let k(a) = -3*a**2 + 7*a + 2. Let z(i) = -7*k(i) + 2*p(i). Let f be z(3). Let r be (-10)/(-6) + (-4)/6. Is r at most as big as f?
False
Suppose 0 = 5*x - 4*x - 32. Let q = -31 + x. Which is smaller: -1/16 or q?
-1/16
Let y be 11/(-8) + (-54)/(-144). Suppose -9 = 2*v + 21. Let i be (-1)/2*4/v. Is i != y?
True
Let l = 4666 + -3066. Let h be (4 - l/408)/((-2)/(-12)). Let t be ((-4)/(-6))/((-6)/9). Do h and t have the same value?
False
Suppose 0 = -5*x - 52 + 127. Which is bigger: 14 or x?
x
Let c = 3.8 - 5.52. Let t = 0.32 + c. Which is greater: 0.2 or t?
0.2
Let y = 365/10354 + -1/334. Suppose u + 5 = -2*x, -2*x - 2 - 5 = 3*u. Which is bigger: y or u?
y
Suppose 2*g - 4*g + 26 = 0. Suppose -200 = -11*j + g*j. Let o be (-67)/j - 3/4. Which is smaller: o or 0?
o
Let i = 9 - 1.8. Let c = i - 1.2. Let z = c + -6. Is -3 greater than z?
False
Let a = -1.02 - 51.98. Let x = a