1 + -57)/(-1). Which is bigger: x or -59?
-59
Let u = 691 + -599. Which is greater: u or -4?
u
Let x be 1/(2*4/40). Suppose 5*f - 20 = 2*c + 3*c, -x*c + f = 8. Let h be (-5 - -6)/(c/(-4)). Which is greater: 3 or h?
h
Let n be (6/(-7))/(10/(-28)). Let j = -402 + 404. Is j > n?
False
Let c = -0.88 + -229.12. Which is smaller: 2/5 or c?
c
Let r be (-204)/(-34) + (-182)/10. Which is bigger: -11 or r?
-11
Let b = -712 - -1117. Let q = b + -3231/8. Is q smaller than 1?
False
Let n(m) = 2*m - 10. Let j be n(-6). Let q = -24 - j. Is q > -15/13?
False
Let x(o) = o - 4. Let d be x(6). Suppose d*m - 21 = 3*g - m, -5*m = 3*g - 11. Let l be (-3 + (-12)/g)*-1. Which is smaller: -3/8 or l?
l
Let u be (-150)/(-24)*1 - 6. Is 139 not equal to u?
True
Let w be 3/(-3) + ((-7344)/1227)/(-6). Which is smaller: 0 or w?
w
Let v = 9 + 0. Suppose -4*a = -0*a - 8. Let s be (-27)/(-3) + 1 - a. Are s and v nonequal?
True
Let b(g) = g**3 - 5*g**2 + 6*g - 4. Let j be b(4). Suppose 2*n - j*n = 0. Let m = 2/9 - 20/171. Which is smaller: n or m?
n
Let b(r) = 3*r**3 + 2*r**2 - 7*r - 9. Let l be b(3). Is 349/5 bigger than l?
True
Let m(y) = -4*y + 7. Let z be m(3). Let n be (1/z)/((-288)/270). Is n at most as big as -1/4?
False
Let f be (-312)/(-84) + -2 + -2. Let c = 26 - 23. Does c = f?
False
Suppose n - 2*n = -1, d = -n - 55. Let a = -56 - d. Is a greater than -3/4?
True
Suppose 0*v - 3*v = 2*c + 4, 4*c - 5*v = -8. Is -12/13 at least c?
True
Suppose 0 = -2*i + 8*x - 4*x - 6, -5*i = 3*x + 2. Which is smaller: i or 1/211?
i
Let s = -9/7 - -11/7. Is s > -55/6?
True
Suppose 0 = -8*t - 3*t + t. Which is smaller: t or -3/4?
-3/4
Suppose 0 = -4*v + 3 + 33. Let o = -23 + 42. Suppose u - i - o = i, -i - 41 = -4*u. Is v at most as big as u?
True
Let o be (3 - 4)*3/(-3). Let d = -1 + o. Let j be 2 - 0 - (-62)/(-32). Is d smaller than j?
True
Suppose 13*u - 10 = 11*u. Is u != 25/7?
True
Let d(r) = -r - 31. Let o be d(14). Let b be 364/18 - (-4 + (-190)/o). Are 20 and b nonequal?
False
Let b = 25 + -15. Let q = 3 + 2. Suppose 0 = -3*k - q*d + 42, -k + 3 = -2*d - 0*d. Which is smaller: k or b?
k
Let c = -30 - -29.5. Let m = c - -0.5. Let n = 0.3 + m. Is -1/7 at least n?
False
Let p(x) = x**2 + 6*x + 2. Let i be p(-6). Let r = -1797 - -5401/3. Which is smaller: r or i?
i
Let b(d) = 956*d**2 + 53*d + 53. Let r be b(-1). Which is greater: r or 0?
r
Let r(i) = 2*i. Let h be r(3). Suppose -y - 10 = 3*m, -5*y - 2*m - 2*m - h = 0. Let b be (1 - -2) + y - 0. Is b > 5?
False
Let a(g) = -4*g + 3. Let i be a(6). Let x be 14/i - 58/(-6). Let v be ((-6)/x)/(1/3). Do v and -1 have the same value?
False
Suppose -3*m - 4*d - 39 = -7*d, 32 = -2*m + 4*d. Suppose -70*i + 5*g - 99 = -66*i, -i + 4*g - 44 = 0. Is i bigger than m?
False
Let o = 0.836 + 0.364. Is -4 bigger than o?
False
Let b be (-6)/(-45) + 78/90. Let g be (b + -3 - -1)*2. Let l be (-6)/(-2) - (-2)/(-1). Which is smaller: l or g?
g
Let n be (-24)/(-6) + -3 + -1. Let b = 32215/27 + -1193. Which is greater: n or b?
b
Let o(c) = 11 - 15*c + 5 - 2 + c**2 + 4. Let w be o(14). Suppose -w - 2 = 3*v. Is 3/7 < v?
False
Let n be (-791)/36 + 20/90. Let c = -45/2 - n. Are c and -2 equal?
False
Let w(a) = 6 + 7*a**2 + 4*a**3 + 2*a**3 - 5*a**3 - 2. Let s be w(-7). Let q be ((-6)/s)/(36/(-96)). Which is greater: q or 1?
q
Suppose -5*t - 4*n + 16 = 0, 5 = 2*t - 4*n - 7. Suppose t*b = -6 + 22. Is 5 smaller than b?
False
Let d = -5206/465 - 19/93. Is -11 > d?
True
Let c = 72305/11 - 6565. Which is smaller: c or 8?
8
Let l = -315 + 221. Let b be 1 + -3*(-30)/l. Is b smaller than 0?
False
Suppose 43*u - 46*u = 15. Let f = 0.93 - -0.07. Let m = 3 - f. Which is smaller: m or u?
u
Let h(f) be the second derivative of f**5/20 + 3*f**4/4 - 4*f**3/3 + 9*f**2 + 7*f. Let n be h(-10). Is -2 less than n?
False
Let t(h) = 10*h - 12. Let m be t(6). Let a be (-32)/m + 14/9*3. Which is bigger: 19/4 or a?
19/4
Let g = 8.2 + -7.81. Suppose 14*m + 29 - 15 = 0. Which is greater: m or g?
g
Let b(o) = -o**3 - 8*o**2 + 8*o - 1. Let w be 19/(-3) + (-2)/(-6). Let l be 266/(-30) - w/(-45). Let a be b(l). Do a and 8 have different values?
False
Let v be 90/18*6/(-45). Suppose -4*s - 2*l = -8, -l - 3*l = s - 2. Which is bigger: v or s?
s
Let w(r) = 2*r**2 - 8*r + 1. Suppose -k + 10 = 3*s - 2*s, 5*k - 2*s - 22 = 0. Let u be w(k). Is u less than 25?
False
Let c(a) = 137*a - 13. Let q be c(9). Let k be -2514*3/((-4)/((-64)/(-99))). Let t = q - k. Is t != 0?
True
Let h = 2596 - 2597. Let r = 0 - 0. Is h greater than or equal to r?
False
Let a(i) = -i**3 - 5*i**2 - 25*i - 181. Let k be a(-8). Which is greater: 209 or k?
k
Let f be (0 - -23 - -1) + 2. Let l = -26 + f. Is l at least as big as 2?
False
Let b = 1.36 + -0.16. Let o = 1.123 - -0.277. Let d = b - o. Which is smaller: 2/15 or d?
d
Let i be (-6)/(-10) + 104/(-240). Suppose 2*l - 9 = -l. Suppose 2*f + 5 = -l*f. Is i at most f?
False
Let v(m) be the third derivative of m**5/60 - m**4/3 - 5*m**3/3 - 2*m**2. Let t be v(6). Is t bigger than -23?
True
Let z(p) = -p**2 - 9*p + 9. Let y be z(-10). Let j = 30 - 28.1. Let b = j + -3.9. Which is bigger: b or y?
y
Let z(m) = -m**3 - 4*m**2 - 1. Let c be z(-4). Let r(w) = 5*w - 18. Let a be r(4). Let q be (a/(-8))/(2 - 45/20). Is c bigger than q?
False
Suppose 2*v + 9954 = 7*q - 12*q, 3*q + 5964 = 3*v. Is -1990 not equal to q?
False
Let d be -4 + (-1)/((-1)/9). Suppose s + 5*h - 2*h = d, -4*h - 5 = 3*s. Let m be (0 - s)/((-2)/(-2)). Which is greater: m or 8?
8
Let p = -0.5 + 0.14. Let c be ((-68)/(-34))/(-2 + 0). Is p less than c?
False
Suppose -5*n + 25 + 60 = -5*i, -3*i - 5*n - 59 = 0. Suppose -4*x = -2*x + 2. Which is smaller: x or i?
i
Let t = -515 - -221. Is -293 > t?
True
Let p(a) = -3*a - 25. Let m be p(-10). Suppose k - 10 = -2*g - k, -k = -m. Let f be (-5)/46*(-6)/5. Which is smaller: g or f?
g
Let c = -2.1 - -2.018. Let x = 1.082 + c. Is x < 1/14?
False
Suppose w + 5*x = 12 + 22, -3*x = 0. Let c = 41 - w. Is c at least 5?
True
Let z = 40 + -77. Let y = -42 - z. Are -4 and y nonequal?
True
Let w(x) = -x**2 - 8*x + 4. Let i be w(-8). Suppose 0*j + i*c = -4*j + 12, 2*c - 6 = j. Suppose 5*m = -4*l, j*l = 2*l - 4*m. Is -10/9 not equal to l?
True
Let o = 0 + 1. Let q = 1.5 - o. Let b = -92.82 + 92.62. Which is smaller: q or b?
b
Let i be (-18 - 8146)/13*2/(-4). Is i > 313?
True
Let j be 6/16*24/(-468). Which is bigger: j or 0.8?
0.8
Let b(h) = 5*h**2 - 2*h + 1. Let f = -12 - -13. Let a be b(f). Suppose q + q = o - 5, -3*q + a*o = 15. Do q and -2 have the same value?
False
Let j = 3 + -6. Let x = 703 + -702. Is j less than or equal to x?
True
Let z = 1655/3 + -553. Suppose 3*l = 3*w + 9, 5*l - 6*w - 13 = -2*w. Let i = l + -3. Does z = i?
False
Let w = -0.1 - -24.1. Let i = 30.9 - 8.9. Let x = i - w. Is x equal to -0.12?
False
Let n = -318445763 + 32162754011/101. Let c = -2654 - n. Which is greater: 1 or c?
1
Let u be 36/(-33) - (-2)/22. Let v be u/2*-2*176/16. Is v at least as big as 7?
True
Let g = -0.0493 - -4.1293. Which is smaller: 1 or g?
1
Let y be (-4*(-6)/9)/((-10)/15). Let u be (2 - (-31)/(-19))/(-5 - y). Is -1 less than or equal to u?
True
Let q = 348/5 + -69. Is q equal to 1?
False
Let b = 0.1 + 0.1. Let w = 0.2 + 0.7. Let s = 0.8 - w. Is b equal to s?
False
Let n = 289 + -290. Let u = 83/532 + -1/76. Does n = u?
False
Let v(m) = -m**3 + 11*m**2 - 13*m + 50. Let g be v(10). Is 28 greater than or equal to g?
True
Let r = 10 - 21. Let d = r - -11.2. Let i = -9 - -7. Is i <= d?
True
Let q = -1493 + 1481. Which is smaller: q or 22?
q
Let a be 22 - ((-7 - -4) + 11). Which is smaller: a or 0?
0
Let r(h) = -11*h**2 - 8*h + 20. Let s be r(2). Let w = 3 - -2. Let j be (-1)/w - 218/s. Which is greater: 4 or j?
j
Let l = 1069 - 1062. Which is smaller: 42 or l?
l
Let u be (4/10)/(44316/(-30))*-3. Is u >= 0?
True
Let l = 337.3 + -359. Let g = 22 + l. Which is smaller: -8 or g?
-8
Let x = 903 + -989. Are -86 and x nonequal?
False
Let n(h) = -4*h - 12. Let z be n(-5). Let r = z + -17. Let m = -9 - r. Are m and 1/7 unequal?
True
Let f = -1313 + 1455. Which is greater: 707/5 or f?
f
Suppose 0 = -3*x + 4*u + 798, -3*x - 525 = -5*x + 5*u. Which is greater: x or 269?
x
Let z = 1426 - 1431. Is z not equal to 58?
True
Let t be (-6233)/28 + (-11)/385*5. Which is smaller: -222 or t?
t
Let f = -114 - -79.