d be q(7). Let x be 102/d - (17/2 + -9). Which is bigger: -1 or x?
x
Let s = -427 - -506. Do 0.5 and s have different values?
True
Let d = 1/152 + 279/3800. Let m = d - -61/175. Let x = -13.11 - -12.11. Which is smaller: x or m?
x
Let l = -74925/8 - -9352. Let z = l + 1361/104. Which is smaller: 0 or z?
z
Suppose 1 - 142 = -j. Is j greater than 140?
True
Let n = -1449/220 - 9/55. Suppose 0 = 5*x + 19 + 21. Which is smaller: x or n?
x
Let r = 397 - 349. Is r at most as big as 48?
True
Suppose -38*d + 45*d = 0. Let v(m) = 2*m - 3*m + 2 - 1. Let o be v(-3). Which is smaller: d or o?
d
Suppose -2735 = 10*w - 2715. Let j(h) = -h + 1. Let x be j(2). Let l = -4 - x. Which is greater: w or l?
w
Suppose a = 3*a + 16. Let q = -5/13 - -948/65. Let l = q - 203/15. Is a > l?
False
Let f = 426 + -65174/153. Is f >= -1?
True
Let u be (60/(-25) - -2)*-1 - 126/(-385). Suppose 0 = 2*t + t. Is u <= t?
False
Suppose -4*u + 26 = 3*r - 8*u, 3*r = u + 11. Which is smaller: -15/49 or r?
-15/49
Let z = -221 - -228. Is 2 at most as big as z?
True
Let a(t) = -2 - 7 + 6*t - t**2 + t + 2*t. Let o be a(8). Which is smaller: o or 2/17?
o
Suppose 2 - 8 = -2*t. Suppose -i - 9 = t*i - d, -i = -2*d + 11. Which is smaller: i or 1/21?
i
Let k = 15593/8502 + -1/1417. Suppose 4*n + 4*a - 2*a = 4, -4*a = -5*n + 31. Is n not equal to k?
True
Let v = -2 - -1. Let u = -84667/441 - -1729/9. Is u greater than v?
True
Let m = 1.3 - 0.3. Let q(z) = -z - 13. Let t be q(5). Let f be 3/t + 1/2. Which is smaller: m or f?
f
Let d(h) = -h**3 + 4*h**2 - 3*h. Let t be d(3). Suppose 3*q - 6*q + 3 = t. Let c be (12/(-4) - q) + 3. Is c smaller than -2/19?
True
Let y = -0.823 + 0.423. Which is greater: y or 25?
25
Let n = 295.52 - 298. Is 0 greater than or equal to n?
True
Let f be (-186)/15 - (-4)/10. Let g(l) = -l**2 - l - 3*l - 8 - l + 3*l. Let z be g(-3). Are f and z unequal?
True
Let i be ((-1)/179*-2)/1. Let x(p) = p**3 - 32*p**2 + p - 31. Let v be x(32). Which is smaller: v or i?
i
Let h = 21324/17 + -1254. Let m = h + -52/51. Let s = -0.5 + 0.4. Which is smaller: m or s?
m
Let g be (28/(-12) + 2)*1. Let v = 0.4 - 0.7. Let j = -0.7 - v. Is g equal to j?
False
Let n be (-3 + 6)*8/(-12)*6. Is n < -94/7?
False
Let f(i) = 2*i**2 + 4 + 1 - 4 + 6*i**2. Let m be f(1). Let h(u) = u**3 - 2*u**2 + u - 4. Let r be h(3). Which is greater: m or r?
m
Let j be 2 + -1 + (-20)/18. Let w be (0 - 24)/(6/3 - 3). Let g = -25 + w. Which is greater: j or g?
j
Let l be (-137860)/(-1400) + (-1)/2. Let i = l + -98. Is i less than -1?
False
Let i = -7 + 59/8. Let p = 9 + -5. Suppose d - 4*n + p = 0, d = -3*n - 2*n + 5. Is d > i?
False
Let p be (27/45)/(4/40). Which is smaller: 11 or p?
p
Let v(l) = -7*l**3 - 47*l**2 - 33*l + 33. Let h(g) = -4*g**3 - 24*g**2 - 16*g + 16. Let j(u) = 5*h(u) - 3*v(u). Let d be j(-20). Is d at least as big as -104?
True
Suppose -26861 = 2*s - s. Let y = s - -160813/6. Let f = y + 193/3. Which is smaller: 7 or f?
f
Let l = 18.7 - 41.7. Let q = 419.1 + -396. Let c = l + q. Which is bigger: c or 6?
6
Let d = 135 + -180. Which is smaller: -3 or d?
d
Let w be ((-55)/165)/(2/(-6)). Is w < 2/193?
False
Let v be ((-1156)/(-21))/(-17) + 2. Is -2 not equal to v?
True
Let z be 3/(-18) - 7385/(-30). Let h be 12/30 + z/10. Does h = 23?
False
Let t(o) = o**2 - 4*o - 10. Let x be t(6). Suppose -2*k - 8 = -4*d + 2*k, 0 = x*k + 4. Is 3/25 smaller than d?
False
Suppose -5*q + 3*v = 2 - 5, -5*q - v = -19. Suppose -x + 7 = -q*n, -4*n = -0*n + 4*x + 36. Let l = -12 - n. Which is smaller: l or -7?
l
Let d be (-5)/(0 - -25) - (-146)/(-70). Which is smaller: -2 or d?
d
Let a = 196 - 151. Which is greater: 131/3 or a?
a
Let j be (-4)/(8/(-46)) + 1. Let h = j - 13. Let o = h + -16. Which is smaller: -7 or o?
-7
Let w = -0.75 - -0.97. Is -0.1 < w?
True
Let t = -3 + 2. Let v be (4 - 767/195) + 1/(-3). Is t at most v?
True
Let d = -1467 + -49. Is d less than -1517?
False
Let h(c) be the second derivative of c**3/6 - c**2/2 - 46*c. Let p be h(2). Which is smaller: p or -1/127?
-1/127
Let h = -52 + 52. Suppose h = 2*s - 4*s + 2. Is s < 1/2?
False
Let w be (-1)/(-12)*98/(-70). Is -1 at most as big as w?
True
Let v be -1 - 180/5 - -2. Let p be -37 + 0 - -2 - 0. Are p and v non-equal?
False
Let l be (-10 + 12 - -2) + 19. Which is smaller: l or 27?
l
Let v(j) = -j + 2. Let f be v(0). Suppose -5*u + 31 = f*k + 81, -9 = -2*u + 5*k. Let t = -7 - u. Is t at most 2?
True
Let t = -201 - -121. Is -1/2 < t?
False
Let b be (-3 + 5)*(1/(-2) + 1). Let x be 19 - (-1)/b - (4 + -2). Which is bigger: 15 or x?
x
Let i = 14 - 13.88. Let v = i + -0.14. Let j = v - -0.02. Which is smaller: j or 3?
j
Let u = -127 - -120.9. Let h = 6 + u. Let v = -0.0311 + 24.0311. Which is smaller: v or h?
h
Suppose 3*t = a - 41, 8*t - 4*a + 38 = 5*t. Which is greater: -214/15 or t?
t
Let r(p) = -70*p - 109. Let k be r(-2). Is -0.09 smaller than k?
True
Let d = -566 + 518. Which is smaller: -53 or d?
-53
Suppose 8 = -4*f + 2*i, -2*f + 7*i - 5*i - 6 = 0. Which is smaller: f or -2/301?
f
Let p = -0.6 - -0.4. Let h = p + 0.2. Let n = -3/8 - 1/8. Is n at least as big as h?
False
Let z = 1724 - 769. Is z less than 955?
False
Suppose -22*o - 23 = o. Which is smaller: 1/12 or o?
o
Let a = 6 + -1. Suppose -b - a*w - 1 = -24, -4*w + 14 = 3*b. Let n be (2/(-6))/(b/18). Which is bigger: n or 5/2?
n
Let r = -37/11306 + -4017245/9259614. Let n = -518156/273 - -1898. Let c = n + r. Which is greater: c or 1?
1
Suppose -g - 4 = 0, -5*d = -9*d + g + 660. Which is greater: 165 or d?
165
Let h(z) = 162*z - 42. Let s be h(4). Are 606 and s nonequal?
False
Suppose 3*i + 0 = -4*c + 5, 3*c + i - 10 = 0. Let f be 2/5 + (-246)/(-10). Suppose f = m - 3*m - c*g, -4*m + 15 = -3*g. Is m at least 2/19?
False
Let w = 1.1 - 0.5. Let s be (-8)/(-12)*54/(-48). Which is smaller: s or w?
s
Let k = -43232/111575 - 872978474101/20306650. Let p = k - -42990. Let i = p + -3/26. Is 1 at most as big as i?
False
Let p(s) = -s**3 + 7*s**2 - 5*s - 6. Let t be p(6). Suppose t = 6*z + 24 - 0. Is -4 less than z?
False
Let z be -2 + 4 - 66/4. Let g be (-4440)/220 - -6 - -3*(-4)/(-66). Does g = z?
False
Suppose 2*k = 6*k - 16, 20 = 2*x - 2*k. Let t(f) = 14*f - 63. Let s be t(5). Let i be (-24)/s + (-8)/x. Which is bigger: i or -2?
-2
Let n = 98 + -243. Are n and -145 equal?
True
Suppose 0 = -7*a - 307 - 183. Let r be (-5)/(a/37) + -3. Which is greater: r or 1?
1
Let s be 367/(-6) + 12/72. Let l = s - -57. Are -3 and l nonequal?
True
Let d = -300 + 194. Let l = -111 - d. Is l greater than 0.07?
False
Let k = -1279 + 1275. Let m(c) = -c**2 - c + 1. Let f be m(1). Let o(i) = -3*i**2 + i. Let a be o(f). Is k greater than a?
False
Suppose -2*a - 6 = -24. Suppose -23 = 5*b + 2. Let k = a + b. Is k at most as big as 5?
True
Suppose -2*q = -12 + 4. Suppose -q*o = -6*o + 5*g - 30, -2*o + 2*g = 18. Which is smaller: o or -6?
-6
Suppose 0 = -300*d + 304*d + 32. Which is smaller: d or -77/9?
-77/9
Let y = 29 + -22. Let j = -26 + y. Let v = j + 19. Which is greater: 2/51 or v?
2/51
Let z(d) = 3*d**3 - 5*d**2 - d + 3. Suppose 0 = 3*m + 8 + 1. Let u be z(m). Let p be 2/(-5) - 33/u. Which is smaller: -1 or p?
-1
Let h = 10/21 + -172/273. Which is smaller: h or 1?
h
Let y(d) = 2*d**2 - 4*d - 1. Let h be y(3). Let f be (h/(-2) - -3)*0. Suppose -l - 4 = 0, f = 2*a - 3*a + 2*l + 15. Which is greater: 9 or a?
9
Let i = 1.3 - 43.3. Is -1 greater than or equal to i?
True
Let w = -44 - -49. Suppose -w*z + 3 + 27 = 0. Suppose -35 = -2*i - 3*i. Which is greater: i or z?
i
Let z be ((-12)/387)/((-34)/(-3)). Let g = 3673/6579 + z. Is g greater than 1?
False
Suppose 0 = 2*u + 3 - 5. Let c = 582/186293 - -4/773. Let b = c - -1918/1205. Is u at least b?
False
Let z = 0.9 + -1. Let n = -12 - -28. Let p = 15 - n. Is p greater than z?
False
Suppose 0 = -q - 4*s + 336 - 4, -5*q - 4*s + 1644 = 0. Do 329 and q have the same value?
False
Let l = 1881151 - 94105303/50. Let x = l + 955. Is 1 greater than x?
True
Let z be 28/30*(-550)/(-5160). Let q = -1/86 - z. Which is smaller: 1 or q?
q
Let r(d) = -d**3 - d**2 - 2*d + 43. Let i be r(0). Let j be i/7 - (-11)/(-77). Let x be (6/234)/((-2)/j). Which is bigger: -1 or x?
x
Let l = 52 - 28. Suppose -l = 5*i + 21. Let u be (12/i)/((-10)/15). Is u bigger than 1?
True
Let v = 29 - 25. Suppose b = -v + 5