 47998. Is -156 equal to h?
False
Let q = 172 + 33. Let y = q - 204. Which is smaller: y or 11.8?
y
Suppose 5*x = -5*a + 865, 0 = 2*a - 8*x + 11*x - 347. Is a at most as big as 1198/7?
False
Let o be (6/4)/((-6)/1588). Let v = -396 - o. Which is smaller: -1 or v?
-1
Let b = -1.963 + -59.737. Is 0 equal to b?
False
Suppose -2*b = 10 - 2. Let m = 1 + b. Let f be (-2*(-10)/140)/(2/(-38)). Is m not equal to f?
True
Let d = -302 + 874. Suppose 4*c + 185 = -2*h - 277, 5*c - 3*h = -d. Is c at least -114?
False
Let i(s) = 924*s + 5544. Let y be i(-6). Is y <= 3/1592?
True
Let u = -1849 - -1874. Let t(n) = n**3 + 4*n**2 - 5*n + 4. Let j be t(-6). Let o = j + u. Which is smaller: -2 or o?
o
Let i = 813.8 + -814. Let s = 10.04 + -10. Let n = -0.14 + s. Is i less than or equal to n?
True
Let h be ((-13746)/(-725))/((-3)/10). Which is bigger: -64 or h?
h
Suppose -3*p = 0, 3*p + 10 = u - 29. Let s = 20 - u. Let r = 19 - s. Is r smaller than 40?
True
Let s be 1/(-2) - (-4530)/8900. Let g = -167/68085 + s. Is g < 0?
False
Let t(r) = r**3 + 27*r**2 - 32*r - 111. Let h be t(-28). Let n = 174389/7 - 24962. Let a = n - -360/7. Which is smaller: h or a?
h
Suppose -3*i = -5*h - 16 + 59, -12 = -3*i. Suppose -7*x = h*x + 18. Which is greater: -2/13 or x?
-2/13
Let u(p) = -3*p**3 - 15*p**2 - 4*p + 5. Let w be u(-4). Let g be 153/(-6) - (-1)/(-2). Let r = w - g. Which is greater: r or 1/18?
1/18
Let x be 4 + 0 - 4 - -3. Let k = -43 - -32. Let m be 4/(-9)*(k + 5). Are m and x equal?
False
Suppose -8*g = -g - 28. Suppose 80 = g*t - 28. Suppose 2 - 72 = -5*j - 2*b, 3*b = -j + t. Which is greater: j or 4?
j
Let w = 11.392 + -10.392. Which is greater: -8012 or w?
w
Let t = 14 - 15. Suppose -x + 4*h = 530, 5*x - 6*h = -h - 2590. Let i = x + 34437/67. Which is smaller: i or t?
t
Let j be -121 + ((-36)/48)/(1/4). Let k = j - -126. Is k at most as big as 111?
True
Let p = 58 - 41. Suppose 10 = 5*r + 4*j, -6 = -4*r - 3*j + 2. Suppose -5*y = r*v - 4*v + 59, 0 = 3*v - 5*y - 76. Is p less than or equal to v?
True
Suppose 292 + 68 = 8*a. Let p be (a/(-81))/(-2 - 2 - -1). Is p smaller than 1?
True
Let g = 5393 + -5163. Which is smaller: 233 or g?
g
Suppose 674 = -5*f - 5*s - 4001, -4*f + 2*s - 3740 = 0. Which is smaller: f or -10290/11?
-10290/11
Let u = -22238 - -22239. Are 2/595 and u unequal?
True
Let h be 8/10 - 1716/(-1430). Which is greater: h or -2759?
h
Let s be (3596/24)/29*14. Suppose -13*o + 511 = -6*o. Which is smaller: s or o?
s
Suppose 53*h - 420 = 25*h. Suppose 5 = -20*r - h. Which is bigger: r or 16?
16
Suppose -3*h + 5*l + 28 = 0, l = -4*h - 2*l - 11. Which is smaller: 1/2320 or h?
1/2320
Suppose 103*j - 104*j = 4. Let z be -4 + (j/(-18) - (-14392)/(-126)). Which is smaller: -119 or z?
-119
Let r = -504/661 - -1117974/4627. Which is bigger: r or 240?
r
Let i be ((-4)/(-3)*-1)/(13/3549). Which is smaller: -365 or i?
-365
Let r = -80725 - -80724. Let s be -7 + 10 - (-843)/(-280). Is r smaller than s?
True
Let p be (8/104)/(5/65). Which is smaller: 267 or p?
p
Suppose -x = -2*x + 17. Let w be 166/9 - 1 - (-6)/27. Which is smaller: w or x?
x
Let q be (-18)/5*(-62 - -47). Suppose -80*x - q = -53*x. Are x and -47 non-equal?
True
Suppose -20*q = 1661 - 161. Is q less than -58?
True
Suppose -17 = -5*t + 18, 2*w + 4*t + 72968 = 0. Which is greater: w or -36499?
w
Let z = -48 + 50. Suppose w = -z*g + 466, -w + 4 - 8 = 0. Which is greater: g or 704/3?
g
Let r be 87/340 + 76/(-1520). Which is smaller: 5 or r?
r
Let p be 6 + ((-747)/13)/9. Which is smaller: p or 1?
p
Let j be 2/15 - (-10560)/4050. Is 4 at most as big as j?
False
Let c = -8278 + 8276. Is c > -697?
True
Suppose a + 10*v = 7*v, 0 = -3*v. Let f be (2 - 1)/((-1)/(-1)). Let h be (-876)/441 + 2/f. Are h and a unequal?
True
Let w = -158.4 - -194. Let x = 35.1 - w. Which is smaller: x or 2?
x
Suppose -6*h + 4*h = -1256. Suppose 0 = -4*j + 2*p - 4*p + 5002, 1268 = j + 4*p. Let c be -2 + 1 + j/h + -1. Which is greater: 1 or c?
1
Let j = -173853/716 + 369/179. Let q = 209 + j. Which is bigger: q or -33?
q
Suppose z - 25 = 2*m - 11, 0 = 5*z - m - 79. Let u be (z/(-30))/((-4)/6). Suppose -3*b + 5*h = -20, 2*b + 12 = b - 3*h. Is b equal to u?
False
Let z = -45135 + 2888583/64. Which is smaller: -1 or z?
-1
Let i be (9/(-126))/(56/8960). Which is smaller: 1/5 or i?
i
Suppose 0 = -w + 2 + 2. Suppose 713 - 1889 = -w*t. Suppose -5*i + q + 28 - t = 0, 2*i - 4*q = -110. Are -53 and i non-equal?
False
Let a = 137 + -136. Let l be (-36)/((-1 - a)*-4 + -1). Is l >= -4?
False
Let b be 2/16*(1 - -1). Suppose 0 = 6*k - 7*k - 4*r + 12, 5*r = 4*k + 15. Suppose k = -197*f + 188*f + 27. Is f not equal to b?
True
Let m be 2/(-220)*1*1. Suppose -2*w + 22 + 24 = 0. Suppose 9*j - w = -14. Is j less than or equal to m?
False
Let x(k) = -k**3 + 15*k**2 + 19. Let u be x(15). Suppose 4*l = -5*d + 102, 25 = 2*l - d - u. Let a be 1 + 0 + l/(115/(-180)). Is a greater than -35?
False
Let f(m) = -7*m**2 - 4*m + 5. Let x be f(1). Let q be (x/8)/((-588)/(-32)). Is q >= 0?
False
Suppose -19*q + 23*q + 11449 = -3*u, -5*u = -4*q + 19071. Is -3816 < u?
True
Let v(w) = -w + 8. Suppose -5*k = -3*a - a - 26, 3*k + 5*a - 23 = 0. Let b be v(k). Let p be 9/(-27) - (0 + 14/(-12)). Which is bigger: p or b?
b
Let n(h) = 7*h**2 - 9*h - 1. Let q be n(2). Suppose -287 = 5*r - q*r + 5*p, 297 = 4*r - 3*p. Do 77 and r have different values?
True
Suppose u - 3*s = -1 + 4, -4*s - 42 = 5*u. Let c be (-2 - -8) + -3 - -9. Let f be (-2)/u - 4/c. Do f and 2/119 have different values?
True
Let p(i) = -i**2 - 9*i - 3. Let j be p(-6). Suppose 86*n + 88*n + 415 = -455. Which is smaller: j or n?
n
Let z = 56 + -56. Suppose 6*a - a = -3*b - 27, z = -b - 3*a - 13. Let c be ((-22)/(-759))/(b/(-18)). Which is smaller: 1 or c?
c
Let r = 3.64 - -6.36. Suppose 7*k - 4*k = -24. Which is smaller: k or r?
k
Let f(l) = 7*l**2 + 290*l + 103. Let w be f(-40). Is w at most as big as -3851/13?
True
Let l be ((-96)/(-8) - -2) + -14. Which is greater: l or -2/485?
l
Let o be 105451/544*-8 - -22. Which is greater: o or -1529?
o
Let t be (-8)/(-52) - (-8)/(-156)*27381. Let p = t + 1440. Let g(b) = -8*b + 5. Let z be g(-4). Which is greater: z or p?
z
Let n(h) = -h**2 - 45*h + 47. Let a be n(1). Let y be 1 - (3 - (-5760)/(-2883)). Which is smaller: a or y?
y
Suppose -3*o = 2*l + 647, 0 = -3*l + 4*o - 978 - 35. Which is smaller: -328 or l?
l
Let t be (9/(-36))/((-3)/12). Let m be 6 + (4 - (4 - t)). Let k be 9 + 0*3/(-12). Which is bigger: k or m?
k
Suppose 11*a + 234 = 3. Suppose -4*q - 68 = 2*c, -q + 2*c - 4*c - 14 = 0. Which is smaller: q or a?
a
Suppose 31*j - 30*j - 5 = 0. Let o be j - 3 - (3 - 0). Is -14/43 != o?
True
Let s = 270645/44321 + -36/1081. Which is smaller: 7 or s?
s
Let v = 1827 + -1856. Which is bigger: -32 or v?
v
Let w = 39 + -44. Let d be (-3)/(-9) + (70/(-3))/w. Suppose d*m + 20 = 10*m. Are 5 and m nonequal?
True
Suppose -2*f - m + 3 = 0, 6*m - 9*m + 20 = -5*f. Let y = 13 + -8. Let n be 6/105*y/(-10). Which is smaller: f or n?
f
Suppose t = -3*t - 4, 0 = 5*w - 3*t - 173. Suppose 3*u - 2*y - 43 = 0, 4*y = -3*u + w - 3. Suppose u + 17 = 5*a. Which is smaller: 0.4 or a?
0.4
Suppose 0 = 4*g - 4*g + 5*g. Suppose g = 2*w + 6, -4*j - 4*w = -9*j + 67. Suppose -p = -2*p + j. Are 0 and p equal?
False
Suppose -10*g + 5*g = 5*b - 1370, 0 = -4*g - 12. Let h be (-46)/(-207) - 2482/(-9). Is b bigger than h?
True
Let f = -178224 + 178396. Suppose 4*y + 700 = -p + 5*p, -3*p - 5*y + 501 = 0. Are p and f non-equal?
False
Let l = -53 - 61. Let g = 113.94 + l. Is 13 >= g?
True
Let g = 505 - 508. Let o be (g/((-72)/400))/(-3). Is o > -3?
False
Let q be -5*-12*11/(-660)*-173. Which is greater: q or 520/3?
520/3
Let f be (-7)/140*16/(-1286). Let d = f + -64322/35365. Are d and -1 non-equal?
True
Let y = 110297/1102 + -1940/19. Are -3 and y equal?
False
Let m be ((-260)/(-60))/((-20474)/(-828)). Let s = m + -5/29. Is 1 at least s?
True
Let f be 2 + -1 + -2 + 918/930. Let a be (-6)/9 + 4/12. Which is smaller: f or a?
a
Let k(w) = 2*w - 7 - 10*w - w**2 - 3*w. Let c be 3*(-2 + -1 - (2 + -2)). Let z be k(c). Is z not equal to 12?
True
Suppose 31*m = 5*l + 35*m - 16, -3*l + 4 = m. Suppose l = -r - 5*q + 10*q - 2, r + q = -2. Is -8 at most as big as r?
True
Suppose 5*k = 3*z + 2*k - 3, 0 = -5*z - 4*k - 22. Let d 