ose 6 = -u + 2*s, 0 = 2*u + s - 1 - 12. Let z be (-70)/u*24/(-14). Suppose 3*d + z = -2*d. Which is smaller: d or -7?
-7
Let o be (-7)/2 - 4/8. Let s = -33 - -34.7. Let j = 2.7 - s. Is j equal to o?
False
Suppose 0 = -3*h + 11 + 1. Let g be -1 + h/(3 + 1). Let x = 1/4 + g. Is x > -0.4?
True
Let c be (746/(-80))/((-535)/(-175) - 3). Let j = c + 163. Which is smaller: -1 or j?
-1
Suppose -3*t = -2*w - 1, 3*t + 1 = 4*w - 0. Which is greater: -1/89 or t?
t
Suppose 24 = -4*i + 4*q, 2*q - 23 = 2*i + i. Let m be i/(-55) - (-176)/(-30). Let u = m - -6. Which is smaller: 1 or u?
u
Let x = 389 - 389.21. Is x equal to -1?
False
Let q be (-3)/(-6)*7*42/245. Does q = -19?
False
Suppose 0 = -7*s - 5 - 2. Let x be 9/((-3807)/30)*(-18)/(-15). Which is greater: x or s?
x
Let t(r) = -r**2 + 1 - 5 + 0*r - 11*r + 11. Let x be t(-8). Which is greater: x or 32?
32
Suppose -9*v = 10*v - 4*v. Is v less than or equal to 4/1111?
True
Suppose 2*p = -4*x, -4*p + 0*x + 3*x = -44. Let f be p/90*(-2884)/16. Let c = f - -79/5. Which is smaller: c or 0?
c
Suppose 5*c = 15 - 5. Suppose c*a - 7 = 3*g, 0 = 4*a - g - 3*g - 20. Suppose 19 = -x + 4*f, -4*f + a = 3*x - 15. Which is smaller: x or 0.1?
0.1
Let f = -30 - -17. Suppose 20*i - 15 = 15*i, -3*i = -5*q - 69. Are q and f equal?
False
Let x(v) = -v**2 - 11*v + 1 + 10*v + 0. Let k be (2/(-6))/(2/(-6)). Let y be x(k). Which is greater: 1/8 or y?
1/8
Let l(s) = -4*s**2 - 4*s + 2. Let h be l(-2). Let j be h/(1 + (-17)/14). Suppose 0 = -2*r - j - 2. Which is smaller: r or -16?
-16
Suppose -14*a + 3*a - 33 = 0. Let f be (5 + a)/(3/(-2)). Which is bigger: -4 or f?
f
Suppose -5*z + z + 12 = 0. Let s be (-9)/(-2)*8/z. Let t = -3.27 + 3.17. Is s less than or equal to t?
False
Let v = 154725/94 + -1646. Is v at least -1?
True
Let h = 502 - 297. Let z = -2047/10 + h. Is z >= 1?
False
Let g(h) = -3*h**2 - 2*h - 1. Let l be g(-1). Let w be l/4*4 + 3. Which is greater: w or -2/9?
w
Let c = -940 - -1055. Is -3 at least as big as c?
False
Suppose 5*p = 4*x + 21, -3*p + 9 = -4*x - 2. Suppose p + 1 = t. Suppose t*c = c. Which is smaller: c or 1/6?
c
Let y = 9.11 + -0.11. Let f = 0.283 - -2.717. Which is smaller: y or f?
f
Suppose b + 119 = -0*b. Let z be (68/b)/((-12)/70). Which is smaller: 2 or z?
2
Let o(k) = k**3 - 14*k**2 + k - 14. Let g be o(14). Let u(i) = -i**3 - 11*i**2 - 13*i - 3. Let p be u(-9). Let a be (2/(-4))/((-28)/p). Is a < g?
True
Let i = -304 + 293. Let u(h) = 2*h - 3. Let z be u(-6). Is i less than z?
False
Let j be (4 - 3)/(0 + (-2)/(-4)). Is j at most -341?
False
Suppose -m - 10 = 5*g, 3*g + 10 = 8*g - 3*m. Which is smaller: g or -6/95?
g
Let f = -48 + 55.2. Let p = f - 7. Which is greater: 0.6 or p?
0.6
Let g(r) = 2*r**2 + 7*r - 3. Let u(l) = -3*l**2 - 10*l + 5. Let v(o) = -7*g(o) - 5*u(o). Let m be v(-3). Suppose 15 = 3*c + m*c. Is 3 at most as big as c?
True
Let z(r) = r + 2. Let i be z(-8). Let u be (9/i)/1*16/4. Which is smaller: u or -29/5?
u
Let x = 612/5 + -122. Let n = 12 + -7. Suppose 5*d = -z + 20, 5*z + n*d - 33 = 7. Which is bigger: z or x?
z
Suppose 3*t + 0*v - v + 76 = 0, 64 = -3*t - 2*v. Let w = t - -16. Let f = 4 + -11. Is w > f?
False
Let c be (-30)/981*21/14. Which is greater: c or 1?
1
Suppose k + 5 = 2*i - 0, -i - 4*k + 16 = 0. Let n be ((-3)/(-1) + (-4 - -2))*2. Suppose -2*a + w + i = -3*w, n*a = -w - 1. Is 0.3 less than or equal to a?
False
Let h be ((-18)/24)/((-12)/2192). Which is greater: 139 or h?
139
Let o = 2/29 - 64/87. Let q = 71 + -56. Suppose 0 = -16*s + q*s. Is o greater than s?
False
Suppose v - 168 = -v. Suppose v = -0*j - 2*j. Let d be ((-4)/j)/((-4)/(-18)). Which is bigger: 1 or d?
1
Let s = -15/518 - -3335/3367. Which is bigger: s or 0?
s
Let w = -4 - 10. Let i = 38 + -34. Suppose 0 = -i*m + 2 - 54. Is w at most as big as m?
True
Let m = 1318672/9 - 146961. Let f = -443 - m. Let d be 2*-1 - (-2 + 0). Is d greater than or equal to f?
True
Suppose 136 - 298 = -2*l. Is l <= 9?
False
Let l = -906 + 934. Which is greater: 0.07 or l?
l
Let b = -271.6 - -231. Let w = -40 - b. Is w != 2?
True
Let o = -0.749 + 1.118. Is -1 < o?
True
Suppose 4*m + 16*m = 2*m. Suppose 14*c + 93 - 387 = m. Is -2 less than c?
True
Let p be 29725/(-203) + 20/14. Which is bigger: p or -144?
-144
Suppose -3*f + 12 = -f. Let r be (-2)/f + (-32)/(-6). Suppose -r*y = -10*y. Do y and 1 have the same value?
False
Let x be 2/2*(-55)/(-385). Suppose 5*s = -3*p - p + 12, -4*s = -3*p - 22. Let c = p + 2. Is x at least as big as c?
True
Suppose -2*a = 4*x + 1026, 3*x + 2*a + 147 + 621 = 0. Is x at least as big as -259?
True
Let o = 1950 - 2883. Which is bigger: -932 or o?
-932
Suppose -5*m = -h + 6003, -4*h - 9 = -7*h. Do -1200 and m have the same value?
True
Let x be 3/(-6) + 2/4. Let f(m) = 11*m**2 + 20*m. Let u(d) = 4*d**2 + 7*d. Let a(j) = -6*f(j) + 17*u(j). Let h be a(1). Which is greater: h or x?
h
Let v = 160 + -155. Which is smaller: 13 or v?
v
Suppose 4*m - 8 = 12. Let u = -12 + m. Suppose -13 - 11 = 5*h - 4*a, 0 = -3*h - 2*a - 32. Which is greater: u or h?
u
Let h = 75.31 - 75.1. Which is greater: -1 or h?
h
Let p = -100.9 - -101. Are -130 and p nonequal?
True
Let t be 9/((-18)/4)*13. Let q = 4 + t. Which is bigger: -23 or q?
q
Let r be (3489/(-12) - -1) + 4. Let m = 284 + r. Let l = m - -223/132. Is -0.1 equal to l?
False
Let t(c) = c**3 + 8*c**2 - 9*c + 5. Let h be t(-9). Suppose m = 4*m + 2*x + h, -2*x - 2 = 0. Is 2/55 bigger than m?
True
Let k(f) = f**2 + f + 2. Let j be k(0). Let h(g) = -2*g**2 - 2*g + 2. Let s be h(j). Let m be s/(-6) + (1 - 2). Does m = 9?
False
Let t = 38.77 + -39. Let v = -1.23 - t. Is 0.2 > v?
True
Suppose -1 - 69 = -5*f - 4*a, 5 = -f + 3*a. Let g = -12 + 26. Is f less than or equal to g?
True
Let n = 15 - 13.6. Let g = n + 1. Let x = 2 - g. Is -1 equal to x?
False
Let x = 1029.405 + -0.405. Let s = x + -1037.11. Let t = 8 + s. Which is bigger: t or 0?
0
Let o be 10/(-75)*3*-1. Which is smaller: 194 or o?
o
Let a = 369 - 421. Is -51 > a?
True
Let s be 8/10 - (-24)/(-60). Which is smaller: s or -2?
-2
Suppose 0 = 2*g + 5*r - 977, 1764 = 3*g - 5*r + 261. Let k be g/(-308) - 8/14. Which is smaller: k or -2?
k
Suppose 5*c + 5 = -0. Suppose 3*s - 2 = 7. Suppose -s*a = -5*p - 9, -2*p = 2*a + 8 + 2. Which is greater: c or p?
c
Let a = 0.41 + 0.465. Let k = -0.125 - a. Which is smaller: k or 79?
k
Suppose 5*y + 3*a + 0*a = 45, 2*y - 18 = 5*a. Suppose y*b + 205 = -173. Is b at least -42?
True
Let q = 43 + -97. Let w = -28 - q. Is w less than or equal to 26?
True
Let h be 30/20 + (-2)/4. Let t be ((-20)/(-16))/(-5) + 146/136. Are h and t equal?
False
Let q(l) = l**2 - 4*l - 3. Let c be q(5). Suppose c*u - 1 = -19. Let g be -2 + 2/(-1) + -5. Is u <= g?
True
Let l = -416/11 - -7061/187. Which is smaller: -5 or l?
-5
Let y = -1.04 - -0.6. Let k = y + 0.17. Let u = k + 0.17. Do u and -1 have the same value?
False
Let w(n) = -n + 2. Let k be w(5). Let i = 2 + k. Suppose -13*t + 33*t - 20 = 0. Which is greater: t or i?
t
Let l = -10/317 + 5499/3487. Which is bigger: 1 or l?
l
Suppose 7*r - 96 = 3*r. Is r at least 15?
True
Let f = -265 - -366. Which is smaller: f or 100?
100
Let b = 9313/59223 + 2/3117. Is 53 not equal to b?
True
Suppose -4*j - d + 208 = -j, 5*j - 349 = -4*d. Suppose j*q - 57 = 66*q. Is q != 1/2?
True
Let o = -27/47 + -919/282. Suppose -3*b + 0*b - 12 = 0. Is b at least as big as o?
False
Suppose g = 6*g - 10. Suppose -8 - g = -2*p. Let z = 645 - 640. Is p <= z?
True
Suppose 2*m + v = m + 4, -4*v + 10 = -2*m. Suppose 0*j - 4*j = -4. Let p = j - m. Is p > -2/9?
True
Suppose -3*m + 43 = -41. Suppose 4*k - 4 = m. Suppose -2*q = -2 - k. Are q and -0.2 non-equal?
True
Let t be (-4)/20 - (-1494)/20. Let m = -75 + t. Let i be 2/3 + 5/(-3). Which is smaller: i or m?
i
Let t be -2 - (-4 - (0 + -5)). Let v be 65/10*(2 + 0/t). Which is bigger: 10 or v?
v
Let g = 15 + -13. Let z(m) = m**3 + 9*m**2 + 8*m + 1. Let t be z(-8). Let l be 4 + -3 + 0 + t. Does l = g?
True
Let f be 2/345*-4*(1 + -6). Are 1 and f nonequal?
True
Let g be 0 + 12 + 20/5. Let z be 4/g - (-10)/(-8). Does -1 = z?
True
Let k = -1/229501839 - 13816076279729/5737545975. Let p = 2408 + k. Is 1 bigger than p?
True
Let m = -344 - -258. Is m at least as big as -82?
False
Let x = 3.39 + -4.39. Which is smaller: 0.19 or x?
x
Let j = 203 -