 -25 - -11. Let u be 2 - 0/((-2)/2). Suppose -u*t - 4 = 0, 0 = -5*m - 3*t + 11 - 77. Which is bigger: m or o?
m
Let n be (70/(-21) + 4)/(1/144). Let w be 3/4*208/n. Which is bigger: 2 or w?
2
Let d = -770 - -607. Let o(l) = -l**2 + 14*l - 15. Let h be o(-7). Is d at least as big as h?
False
Let k be 4 - 18/4 - 6/(-48)*-10028. Do k and -1249 have the same value?
False
Let q = 66 - 21. Let d = 50 - q. Let s be 24 + (8 - (d + -2)). Is s >= 29?
True
Let f(a) = 6*a - 16. Let c(k) = 18*k - 46. Let v(s) = 3*c(s) - 8*f(s). Let q be v(-1). Is -17 greater than q?
False
Let c = -288 + 296. Let h be ((-1485)/(-44))/((-14)/c). Is -20 < h?
True
Suppose j = -0*j + 3, -2*i = 2*j - 8022. Which is smaller: 0.2 or i?
0.2
Let a = 5064 + -5065. Which is greater: -1374.1 or a?
a
Let b = -122/25 + 11549/2300. Which is smaller: -1 or b?
-1
Suppose -m - 2*m = 3*m. Let d be 8 - (-5 + -7 - m). Let z be 1 + 0 + 40/2. Which is smaller: z or d?
d
Let u = 2575 - 18056/7. Suppose -3*o - 44 + 14 = 5*b, 3*b = 5*o + 16. Do u and o have the same value?
False
Suppose 15 = -z + 5*x, 3*z - 8*z = -2*x - 17. Suppose 47*q - 5 = 48*q, -3*n - 19 = z*q. Which is bigger: n or 45/22?
45/22
Let f(p) = 122*p**2 - 10*p + 55. Let j be f(4). Is 1969 > j?
True
Let v = -0.373 - -0.173. Is v < -1245?
False
Let w(p) = -p**3 + 12*p**2 + 4*p - 35. Let z be w(12). Let c be z/(-78) - 2/((-12)/(-491)). Let u = c + 327/4. Which is smaller: u or 2/13?
u
Let z(f) = -f. Let p(y) = -3*y**2 - 6*y - 1. Let u(r) = -p(r) + 4*z(r). Let x be u(-2). Let s = -37/4 + x. Is s at most 1.8?
True
Suppose -3*u = -4*u + o + 347, 3*u - 1061 = -2*o. Which is smaller: u or 1/2?
1/2
Let n = 991.72 - -96.28. Does -10/7 = n?
False
Let v = 208.5047 - 0.0047. Let d = 236 - v. Is 2/3 <= d?
True
Let b = 597.627 - 0.627. Let r = 595.996 - b. Let u = -0.004 - r. Is 12 bigger than u?
True
Let d = 0.16 + 98.84. Let z = -143 + d. Let c = -47.2 - z. Which is greater: -1 or c?
-1
Let t = -288.8 - -304.9. Which is smaller: t or -3/7?
-3/7
Let m = 567 - 566. Let b = -733/29 - -25. Is b != m?
True
Let k(q) = -37*q + 221. Let f be 62/(-155)*(-30)/(-8)*-4. Let l be k(f). Suppose 0 = -3*t - t. Does l = t?
False
Let h(x) = -7*x - 63. Let t be h(-6). Let m(a) = a**3 + 18*a**2 - a + 4. Let i be m(-18). Let j = i + t. Is 2/91 at least j?
False
Suppose -5*r = -2*y + y - 60, 0 = 3*r - y - 38. Let v be 411*4/1056 - 2/r. Is v greater than or equal to 0?
True
Let p be ((-9)/(-2))/(6/(180/5)). Suppose l = -2*b + 2 - p, -4*l - 5*b = 91. Let a(n) = -n**2 - 19*n - 5. Let q be a(l). Which is bigger: q or -1?
-1
Let w = 82 + -116. Let x = -33.97 - w. Let s = 6 + -6. Is x equal to s?
False
Let n(z) = -2*z**2 - 59*z + 431. Let b be n(7). Which is smaller: b or -79?
b
Let u be (8562598/145)/(36/(-15) - -1). Let p = -42270 - u. Which is smaller: -89 or p?
p
Let w(c) = -c**2 + 4*c - 15. Let y be w(9). Let p be (-141)/(-45) + (-232)/y + -4. Suppose 4*i = 5*i - p. Which is bigger: i or 4?
4
Let r = 0.1 - -0.9. Let y = -38 + 38.75. Let z = -2.35 + y. Which is greater: z or r?
r
Let f = 186 - 1556. Let j be (-9)/(-30)*f/12. Let g = 1427/44 + j. Which is greater: -3 or g?
g
Let y(h) = -32*h**2 + 5*h - 5. Let w be -1*(-14)/(-35)*-5. Let n be y(w). Is -124 at least as big as n?
False
Suppose 0 = 3*w + 5*d - 7 - 12, -3*d = -2*w + 19. Suppose 13 + w = -7*g. Let p(y) = y**2 + 2*y - 6. Let l be p(0). Is g equal to l?
False
Let p be (-10)/6 + (-46875)/(-45). Do p and 1042 have the same value?
False
Let h = 45 + -307/7. Let p = 76 - 76.66. Let z = p - -1.66. Which is smaller: z or h?
z
Let m(c) = 20*c + 19 + 3*c**2 - 2*c**2 + 4*c**2 - 26*c - 4*c**2. Let i be m(-9). Are 154 and i unequal?
False
Let d be 6 - (0 - (0 + 1)). Let k(h) = 19*h - 967. Let p be k(51). Suppose 2*g - 4*g + p*c = -12, -2*c - d = 3*g. Which is smaller: 7/2 or g?
g
Let v = 487.628 - 29.628. Is 1.9 smaller than v?
True
Let w be -1 + (-1)/3 + (-5564)/(-24) + -4. Which is greater: w or 228?
228
Let j = 671 + -987. Let x = j + 322. Let f be 10 + (-1 - -1) + -1. Which is bigger: f or x?
f
Let d = 2734 + -2652. Let f be -97*(-3 + 1 + 1). Suppose 3*z + d = 4*b, 3*z + f = -0*z + b. Which is greater: z or 1?
1
Let y be (-8)/18 - (-650131)/2061. Is 308 < y?
True
Let i be 3/2*(736995/525 - (-1)/5). Which is smaller: 1 or i?
1
Suppose -8830*f + 8821*f - 1512 = 0. Is -166 bigger than f?
True
Let u(d) = -47*d - 1. Let z be u(-1). Let o be ((-75)/(-4))/((-42)/16 - -3). Let g be (3 + (-160)/o)*5/(-4). Which is smaller: z or g?
g
Let n = 0.97 + -529.97. Let m = n - -864. Is 0.1 at most m?
True
Let d = -0.06 + -2.94. Let m = 252 + -248. Suppose m*n = 36 - 4. Is d != n?
True
Let l = 5406 + -8019. Is l at least -2614?
True
Let x = 638 + -770. Does x = 4?
False
Let w = -5862.2 - -5859. Is w > 2/245?
False
Let j = 308 - -934. Is j >= 1241?
True
Suppose -5*o + o = -3*d + 71, -57 = -3*d - 3*o. Suppose -4*k + d = i, -i + 2*i = -2*k + 9. Is 1 < k?
True
Suppose 7 + 5 = -w + 2*i, 20 = 4*i. Let j be ((-2)/3)/(531/(-27) + w). Let q = 3 + -2. Which is smaller: q or j?
j
Let x = 5662.744 - 5662. Do x and 1 have different values?
True
Let b be -41 - (297/(-54) + 3/2). Let o = 163 - 160. Which is smaller: b or o?
b
Let r = -115299/14 + 16269/2. Which is greater: r or -5?
-5
Let w = -17 + -3. Let q = 2142 - 2167. Is q less than or equal to w?
True
Let w be ((-12)/10)/(2/(80/52)). Let m = -79 - -82. Suppose -m = 3*y + 3, -3 = r + y. Is w at least as big as r?
True
Let f = -17 + 8. Let s be (-2)/(-9) + 74/f. Suppose 0 = -14*a - 133 + 35. Are s and a non-equal?
True
Let a = -2.3 + 2. Let w be ((-2)/(-5))/((-31)/5). Which is smaller: a or w?
a
Suppose -545*o = 5*z - 540*o - 645, -8*z - 2*o + 1020 = 0. Let v(h) = h**3 + h**2 + h + 127. Let q be v(0). Are z and q nonequal?
False
Let t = 24 + -8. Suppose t*z = 12*z + 20. Suppose -3 = -2*q + h, -3*q - h = 2*q - 4. Do q and z have the same value?
False
Let g be (-4 - -1) + (-7)/(35/(-90)). Suppose 538*t + 85 = 543*t. Are g and t nonequal?
True
Let u = 7179 + -10795. Which is bigger: u or 1?
1
Suppose -12*i + 1903 - 343 = 0. Suppose -53*t - i = -48*t. Which is bigger: -25 or t?
-25
Let n = 11919 - 11918.9. Is n greater than or equal to 0.7351?
False
Suppose -1320 = -4*h + 3*q, 3*h + 8*q - 13*q = 979. Let u = 7327/22 - h. Which is bigger: 1 or u?
1
Let a be 13838/(-1038) - (-7 - -9). Let s = a + -1/519. Is s less than or equal to -1?
True
Suppose 0 = 2*w + 18*j - 15*j + 11, 3*w + 4*j + 15 = 0. Let n be ((-1)/(-12))/((-2590)/(-1184)). Is w != n?
True
Let q(v) = 8*v + 124. Let g be q(-15). Suppose -3*d = 4*y + 93, 2*d + 3*d = 5*y - 155. Are d and g equal?
False
Let p be (-84)/(-10) + 4/(-10). Suppose 2*u + 3*k = 0, 5*u - 3*k + p*k = 0. Which is bigger: 3/76 or u?
3/76
Let v(q) = -9*q - 22. Suppose 2*o + 4 = -5*z, -4*o + 2*z - 9 = -1. Let n be v(o). Let t be (-20)/(-65)*(-1)/n. Which is bigger: t or 1?
1
Let i = -259 + 263. Let z be i/(-14) - 320/(-140). Which is smaller: z or 13?
z
Let r be (-822)/(-90) - (-12)/(-90). Suppose 3*n + 3 = -r. Which is bigger: n or -19/7?
-19/7
Suppose 3*q = -4*d + 25, 3*d = -2*q + 24 - 6. Suppose d*w - 36 = -4*g, -5*w = -6*g + g + 75. Suppose g*u = 17*u. Which is bigger: u or 6/7?
6/7
Suppose 0 = -3*s + 4*g - 4, 5*s + 507*g - 511*g - 4 = 0. Which is smaller: -75 or s?
-75
Let k be 4/3*(27/18 + -3). Let p(y) = -3*y**2 - y + 1. Let x be p(k). Which is smaller: -11 or x?
-11
Let r = -0.63 + 0.03. Let j = -84.4 - -83. Let f = j + r. Are 0.02 and f equal?
False
Let l be (-11480)/(-85) - 35/595. Are l and 135 unequal?
False
Let y = -51 + 27. Suppose -653*u + 650*u - 6 = 0. Is y at most u?
True
Let v be -4 + ((-20)/(-35) - (-7816)/2198). Let n = v - 3543/29045. Are 1 and n non-equal?
True
Let s be (-195954)/50 + ((-20)/(-210) - (-16)/(-1050)). Which is smaller: -3920 or s?
-3920
Let m be (264/(-121))/4 + 13904/(-242). Let r(i) = i**2 + i. Let q be r(0). Which is greater: m or q?
q
Suppose 0 = -7*r + 9*r. Let w(a) = -23*a - 1. Let p be w(r). Which is smaller: p or -5/46?
p
Let o(s) = -4*s**3 + 8*s**2 - s + 27. Let a be o(4). Let m = a + 103. Which is greater: m or -4?
m
Let t be 242/(-1573) + 2076/(-26). Are t and 0.09 equal?
False
Let l = -2515/1967 + -2/281. Suppose 2*o = -4*v + 2, -1 = 3*v + 3*o + o. Which is smaller: l or v?
l
Let a = -473/303 + 9064439/5806995. Is a at mos