 - 0*u, 3*z - 2*u = 7. Let k be z - 5*(-1)/(-1). Which is greater: k or 1.9?
1.9
Let w = -6993 + 8120. Which is smaller: w or 1128?
w
Let u = -219 - -222. Let s be (-4 - (-20)/u)/(188/(-12)). Which is smaller: 1 or s?
s
Let f = -164 + 167. Suppose t - f = 0, 0*v - 4*v - 111 = -t. Which is greater: -26 or v?
-26
Let z be ((-1364)/62)/((-3)/6). Which is smaller: 987/23 or z?
987/23
Let o = 1041 + -433. Let n = -608.3 + o. Let b = 2.6 + -16.6. Is b at most as big as n?
True
Let c = -341 + 118. Let d = 226 + c. Does d = 2?
False
Let w be ((-2508)/99)/38 + (-917)/(-6)*-16. Which is greater: w or -2445?
-2445
Let v(p) = 2*p**2 - 6*p - 67. Let w be v(-14). Let c = -307 + w. Is c at least 102?
True
Let b be (-27092)/94626 + (-2 - ((-65)/7 - -7)). Is 1 less than or equal to b?
False
Suppose -2*d - 52 = -3*d + 5*h, 4 = h. Let s = d - 124. Is s >= -53?
True
Let i = -38.1 - -19.1. Let y = 33 - i. Is 1 at most y?
True
Let t = 18478 - 18477. Is t equal to 411/5?
False
Let u be ((-316)/642)/(66/(-917829)). Let a = 6845 - u. Which is smaller: a or -1?
-1
Suppose -7*u = -8 + 1. Let o be (18/386)/((-18)/60). Let j = o - -2516/13703. Is j >= u?
False
Let j = -9948.63 - -10001. Let x = j - 52. Let k = x - 74.37. Which is smaller: 0 or k?
k
Let s be (0/((-6)/(-2) - 1))/((-4)/4). Suppose 3*x + 3*h - 7*h = 50, -4*x - 2*h = -30. Let i = -10 + x. Is s equal to i?
True
Let k be (-23)/((-5)/(20/(-4)) - 0). Let c be -28 + 32 + 2*k. Let w = 44 - 85. Is c < w?
True
Let v = -3510 - -3535. Suppose 0 = -a - a + 36. Let z be 5/(-12) + 12/a. Which is smaller: z or v?
z
Let l = 6364.3 - 6364. Let w = -964/215 - -38/43. Which is smaller: w or l?
w
Suppose -32*m + 11421 = 11357. Let p(q) = 17*q - 9. Let b be p(3). Are b and m equal?
False
Let m(a) = -a**3 - 2*a**2 + 6*a + 6. Let g be m(-3). Let b be (g - (-26)/8) + (-8229)/(-12). Let j = b - 10981/16. Which is bigger: j or -1?
j
Let b be 12/90 + (-8604)/(-270). Suppose 32 - b = 27*l. Which is bigger: l or -3/205?
l
Let x = 64 - 56. Let w(u) = 11*u - 104. Let p be w(x). Is p at most as big as -15?
True
Suppose 2*u - 2*j - j = 0, -u - 2*j = -14. Let x = -193/189 - -205/27. Is x less than u?
False
Let p = -5008598 + 19743893197/3942. Let a = 1/27 + p. Let v = -35/219 - a. Is -1 greater than or equal to v?
False
Let s be 308/198*(-12 + (-2 - -5)). Let t = -23 + 14. Are s and t unequal?
True
Let m be (5 - -69)*1/2. Let t = 200 - 91. Suppose 119 = 6*w - t. Which is smaller: m or w?
m
Suppose -9*w = 466 + 2018. Let n = w - -464. Which is smaller: 187 or n?
187
Suppose 39 = j - 1. Let l be 2 + 41/(-48) + j/(-30). Let w be 1/(-2) + 15/10. Which is smaller: w or l?
l
Let k = 22712.7 + -22713. Which is bigger: -2/645 or k?
-2/645
Suppose -11*j + 6*j = 4*i - 108, 132 = 4*i - j. Let y = -86 + 30. Let x be 136/(-14)*y/16. Which is greater: i or x?
x
Let x = 1.79 - 0.19. Let p(t) = -t**2 - 5*t - 10. Let u(b) = -b**2 - 5*b - 8. Let m(i) = 2*p(i) - 3*u(i). Let q be m(-4). Is x >= q?
True
Let j be (3/(-2))/((-75)/(-4) + -18). Let i = -5.5 - -0.9. Is i bigger than j?
False
Let k = 1 - 3. Suppose -43 = -20*t + 97. Let p be t/(-12) + (-6)/8. Which is smaller: k or p?
k
Let y(v) = v**3 - 9*v**2 + 7*v + 12. Let b be y(8). Suppose -5*h + 5 = n, 4 - 1 = 3*h - b*n. Which is greater: h or -7/48?
h
Let g(u) = 2*u**2 + 3*u - 30. Let j be g(6). Suppose h = 2*l - 16, -3*l = 4*h + 14 - j. Which is smaller: l or -0.07?
-0.07
Let d(v) = v**3 + 2*v + 2. Let q be d(-2). Suppose 3*s + 7 = -2*x, -4*x - 1 = -5*s - 20. Let j be x/(-5) - 22/q. Which is smaller: j or 6/7?
6/7
Let n be 510/36*(-2)/(-165). Let g = n - -5/99. Is g greater than or equal to -1?
True
Suppose 0 = -t - 0*t, 0 = 3*v + 3*t + 525. Let u(z) = -2*z**3 + 16*z**2 - 39*z - 1. Let o be u(7). Which is smaller: v or o?
o
Let w(q) = -q**2 - 2*q - 1. Let r be w(-3). Suppose 8*x = 1366 + 1386. Let z be (-2)/(-8) + x/(-96). Which is bigger: r or z?
z
Let l be -50 - -77 - ((-7)/28 + (-11)/4). Let b be (152/(-84))/((-4)/66) + -1. Are l and b nonequal?
True
Let j(d) = -12*d - 16. Let w be j(-18). Let m be 28/(-42) + w/3. Let l be 199/m + (-20)/110. Are 3 and l nonequal?
True
Let s be 94304/617032 - 26/169. Is s less than -1?
False
Let r = -32943 + 493709/15. Let f = r - 43/30. Let g = 31 + f. Which is bigger: 0 or g?
g
Let g be (-153)/(-27) + 3/9. Let a(t) = -t**3 + 6*t**2 - t + 10. Let f be a(g). Suppose o + 5 = f*c, -4*c = 5*o - 0*c + 25. Which is greater: -4 or o?
-4
Let d = -11 - 7. Let i = d - -17. Let w = 3504/26245 + 4/905. Which is greater: i or w?
w
Let r = -8518 + 8649. Is 1053/8 smaller than r?
False
Suppose 574 = -28*j + 546. Let f be ((-6)/5)/(3/(-20)). Are f and j unequal?
True
Let m be ((-85)/(-510))/(2/48). Suppose -2*n = 3*b - n - 28, 4*b - m*n - 32 = 0. Do b and 11 have the same value?
False
Suppose 0 = 4*d + 24, 5*x + 63*d - 62*d = -621. Which is smaller: -0.19 or x?
x
Let s = -1 - 0. Suppose 0 = 3*r - 15, -4*z - 5 = -2*r + 45. Let m be (18/15)/(4 + 7/z). Which is bigger: s or m?
m
Let f = -37704/5 + 7541. Which is bigger: 2/105 or f?
f
Let a = 469 + -472. Let u = -0.49 + -1.01. Which is greater: a or u?
u
Let l be -30 + 2303 + (-2)/1. Are l and 2271 equal?
True
Let f be (6 + -2 + -4)/(27 - 26). Which is smaller: f or -2/24965?
-2/24965
Let q(a) = -a**3 + 19*a**2 + 161*a + 29. Let p be q(-6). Is 31 less than or equal to p?
False
Let b be 8/(-36)*(-6 - (-9 + 1)). Is 58 less than b?
False
Suppose -463 = 4*y - 59. Let j = y - -1011/10. Let x be 2/12 + (655/(-30))/131. Is j >= x?
True
Suppose -28*l + 302 = 274. Which is bigger: l or 14/137?
l
Let y = -2085400 + 72983017/35. Let b = 171 + y. Do b and -0.3 have the same value?
False
Suppose -f - 3*b = -4*b, 4*b = -4*f + 40. Suppose -5*v - 34 = -3*g, 0 = f*g - 2*v - 25. Which is smaller: g or 46/17?
46/17
Let p = 7137/28 - 255. Let w = p - 1/7. Is w bigger than 72?
False
Let d be (-6692)/(-240) + (-36)/120. Let s = d - 303/11. Is -1 not equal to s?
True
Let p = -36119/4 + 8941. Which is smaller: p or -89?
-89
Let s = 5995.1 - 5995. Is 5134 bigger than s?
True
Let m = 0.19723 + 0.00277. Which is bigger: 2855 or m?
2855
Let u be (5 - (9/(-18))/((-1)/11))*634. Is u < -314?
True
Let j(x) = -3*x + 21. Let r be j(12). Let c be 6/144 + r/40. Is 2/5 bigger than c?
True
Suppose 3*n = -3*l + 38580, 43*n - 45*n = 3*l - 25716. Which is greater: n or 12863?
n
Let t be (107 + -101 - 0/(4/(-2))) + -1319. Does -1313 = t?
True
Let u = -399203523/4025 - -99181. Is 1 at least u?
True
Let w = 312059 + -2184411/7. Let y = -13 + 13.07. Let t = 0.01 - y. Which is greater: t or w?
w
Let c = 0.4 - -2. Let m be (2/(-6))/(1/12)*28/(-280). Which is bigger: m or c?
c
Let m = 92 - -47. Suppose 0 = -5*u - 5, 0*k = 3*k - 5*u + m. Let f be ((-6)/(-205))/(k/(-80)). Which is smaller: 1 or f?
f
Let i be -7 - 1802 - 1/(-1). Let l = 12625/7 + i. Let z(o) = -o - 11. Let r be z(-6). Are r and l equal?
False
Let f = 34 - 28. Suppose 12 = -6*n + f. Let c(x) = 18*x**3 + x**2 - x - 1. Let m be c(n). Which is greater: -18 or m?
m
Suppose -2*t = -3*t + 25. Suppose 75*j - 112 = 188. Suppose -23 = j*u - 4*b - 3, 5*u + 2*b = -t. Is -8 > u?
False
Suppose 7*r + 836 = 2894. Suppose a + 13*a - r = 0. Is 41/2 greater than or equal to a?
False
Let h(a) = a**3 - 7*a**2 + 8*a + 3. Let l be h(6). Let m = 19 - l. Let w = 550 + -550. Which is greater: m or w?
m
Suppose 4*l + 495 = -3*r, l + 59 = -r - 66. Which is smaller: -123 or l?
-123
Let p be (-36)/144 - 7654/8. Let j be ((-321)/p - (-6)/33) + -1. Are 1 and j equal?
False
Let n = 173 - 168.19. Let q = -0.81 + n. Which is smaller: 2 or q?
2
Suppose -44168 = 2*w - w. Let y be w/77 + 70/22 + -3. Let v = y - -576. Is 2 != v?
True
Let r be 7140/(-22) - 222/(-407). Do r and -353 have different values?
True
Let t = 100 - 74. Suppose -l - t = -31. Let n be 1 + 4 + 3/12. Is n <= l?
False
Let p(f) = -f**2 - 29*f + 66. Let l be p(-27). Let i be ((-2)/(-45)*3)/(l/(-1725)). Is i at most as big as -1?
True
Let f(p) = -p**3 - 3*p**2 + 5*p + 4. Let o = -578 + 574. Let a be f(o). Is a bigger than -8?
True
Let n be -4 + -11 + 264 + -5 + 11. Is 286 at most n?
False
Let f = -5609 + 5608.806. Which is bigger: -1/2 or f?
f
Let k = 0.15 + 0.05. Let v = 240 - 295. Which is smaller: v or k?
v
Suppose 4*p - 71 = -y, -p + 2*y = -3*y - 44. Let j(c) = -4*c + 21. Let h be j(p). Whi