t values?
True
Let m = -1419 - 992. Let x = m + 26545/11. Let c = 0.1 - 0.1. Is x <= c?
False
Suppose 44753 = -28*g - 111319. Let p be g/80 + 2*(-6)/96. Is p at most as big as -71?
False
Suppose o + 9 = -5*m + m, -m + 4*o + 19 = 0. Which is bigger: m or 11/806?
11/806
Suppose 0 = -3*i - 3. Let z be (-24)/(-30) - 5110/5950. Is i smaller than z?
True
Suppose 1285 = 3*t - 5*t - 3*c, -2*c = -5*t - 3203. Is -641 equal to t?
True
Let r = -14/143 + -777/2288. Which is smaller: r or -1?
-1
Let h = 3120.622 + -3134. Let f = 0.122 - h. Let b = f - 15.5. Is b less than -6?
False
Suppose 20*q - 11*q = -5*q + 252. Let p(n) = n**3 - n**2 - 3*n - 4. Let r be p(-2). Is q less than r?
False
Let m = 741.1 + -743.1. Does 4.093 = m?
False
Let v = 35294 + -100940839/2860. Which is smaller: 1/8 or v?
v
Let b = 5731 + -5729. Is b <= -898?
False
Let h = -7.82 + 7.47. Let b = h + -0.65. Which is smaller: 1.68 or b?
b
Suppose 4*t + 2 + 4 = p, -4*t = 4*p - 4. Suppose -p*r - y = 5, 2*r + r + 2*y + 9 = 0. Does r = -3/10?
False
Suppose -i = -3, 0 = 5*j - 9*j + 2*i - 6. Is 4/2523 at least as big as j?
True
Let i be (-3066)/126*(-744)/2. Are 9051 and i equal?
False
Let g be (82/1*4/84)/((-6)/(-351)). Is 227 at most as big as g?
True
Let y be 2/(14/(-746)*(-18)/(-63)). Which is greater: -374 or y?
y
Suppose 3*a + 2*b + 2363 = 0, -29*b + 712 = -4*a - 2502. Which is smaller: -776 or a?
a
Suppose -2*j - 8 = s, 3*s + 2*j + 8 = s. Let w be -2*(18/(-36))/((-173)/(-2)). Are s and w non-equal?
True
Let p = -9.55312 - -0.03012. Let a = p - 0.477. Is -17 < a?
True
Let d = -438 - -498. Suppose 0 = 26*c - d + 2608. Which is smaller: -99 or c?
-99
Let q be (-13)/(-65) - ((-384)/(-10))/(-3). Suppose 9 = -2*m + 5*m. Suppose 0 = -m*y + 13 + 29. Which is bigger: q or y?
y
Suppose 5*r = 4*r - 4*n + 78, 2*r - 4*n - 120 = 0. Let v be (-17 - 11843/(-143)) + 2/11. Are v and r unequal?
False
Let w be -16*(15/(-36) + 4/(-12)). Let u = -231 - -238. Is w at least as big as u?
True
Let v(o) be the third derivative of -o**5/30 - 7*o**4/24 + 5*o**3/2 - 61*o**2. Let r be v(-6). Are r and -14 non-equal?
True
Let o = 11059 - 10846. Is o > 222?
False
Let n = 86/105 - 2252/2835. Let i be (-1)/(-4) + 3/(-12). Which is smaller: i or n?
i
Let q = -495 - -701. Let n = q - 206.036. Is 0.1 less than or equal to n?
False
Let i = -723 + 743. Suppose -i*v - 206 = 154. Which is bigger: -135/8 or v?
-135/8
Let c be (42/(-15) - -3) + 630/(-1400). Is -569 less than or equal to c?
True
Let a be 11*45/165 - -1*881. Is 884 at most as big as a?
True
Let z(c) = -c + 7. Let i be z(9). Let u be (-1335)/1380 + (-1 - i). Is u greater than or equal to 0?
True
Let f be 10*45/(-150) + 15772/5260. Is 1 less than or equal to f?
False
Suppose 8*t = -2277 + 565. Let n = 240 + t. Which is greater: -2 or n?
n
Suppose 3*g + 5*n - 122 = 0, 0 = -g - 4*n + n + 46. Suppose k - g = -32. Suppose -k*i + 2 - 4 = 0, 0 = -2*b - 3*i + 19. Which is smaller: b or 35/3?
b
Let i = -37.7 - -47.1. Let h = 9.42 - i. Which is smaller: 3/14 or h?
h
Let k(d) = 9*d + 2339. Let f be k(-75). Is f <= 1662?
False
Let z(y) = -y**2 - 6*y - 6. Let x be z(-2). Suppose -x - 18 = 4*w. Let h be 9/(-2)*2/(-3). Is w greater than or equal to h?
False
Let t = 15971 + -95821/6. Which is bigger: t or 14?
14
Let w(k) = -k**2 + 1. Let d be w(-1). Let m be 1448/2172 - (20/66 - 0). Is m equal to d?
False
Let n = -8 - -5. Let m = 840 + -976. Let x be 290/m + (-1)/68*8. Is x bigger than n?
True
Let o = 244317/127610 - 1/3646. Which is greater: o or 2?
2
Let p be (4 + 7 - (-1 - -8)) + (-1497)/6. Is -247 < p?
True
Suppose 18*a = 6 + 30. Let x be a*(-3)/(-15) - 17/5. Are -22 and x non-equal?
True
Let w(j) = 101 - 7*j + 64 - 206. Let m be w(-3). Which is smaller: -21 or m?
-21
Suppose -10*g + 11*g + 2 = 4*q, -2*g + 5*q + 2 = 0. Let i be (948/(-188) + -1 + g)*3. Which is greater: 0 or i?
0
Suppose 0 = 3*y - 5*y + 10. Suppose y*k = 7*k. Suppose 5*r - 167 = -3*z - 16, k = 3*z - 2*r - 116. Is z != 42?
False
Suppose -15*v + 16*v = 0. Suppose v = 3*p, p + 123 = l - 2*p. Is l bigger than 124?
False
Suppose -u - 47 = -3*v, 2*v + 1 = 9. Is u smaller than -648/19?
True
Let j be (-1)/27*105906/119054. Let u = 10/241 + j. Is u < 0?
False
Let h = 6819 - 6818. Which is smaller: h or -5/379?
-5/379
Suppose 4*h - h = 2*x + 2137, 4*x = 3*h - 2141. Is h greater than 713?
False
Suppose 78 = -15*k + 180 - 27. Let j be 1120/325 - (-2)/5. Is j < k?
True
Let m(v) = 2*v**3 - 7*v**2 + 4*v + 12. Let x be m(-4). Let u = x + 94. Which is bigger: u or -149?
-149
Suppose -45 = -5*s - 5*z, 3*z - 12 - 3 = 0. Suppose s = -0*i + 2*i. Is i less than 11/9?
False
Suppose -h = -7 + 3. Suppose 8*v - 3*v = -5, -h*p + 5 = -v. Is -3/134 at most p?
True
Suppose y + 129 = 5*g + 10, 2*y - 84 = -4*g. Let q = 5/2762 + 1371/5524. Is g greater than or equal to q?
True
Let w = -29 - 147. Let h = -179 - w. Is h less than or equal to -5?
False
Let f = -26.833 - -27. Let a = f + -18.967. Is a >= -2/5?
False
Let a = 204 - 351. Let m = -218 - a. Which is smaller: m or -72?
-72
Let h = 497439777/4925 + -101003. Which is smaller: 1 or h?
h
Let m = -127.32 + -1717.68. Which is smaller: m or 2/3?
m
Let v be -5 + -70*7*(-12)/1008. Is v smaller than -0.61?
False
Suppose 7*b + 0*b = 3*i - 31, -5*b - 20 = 0. Which is bigger: -6/905 or i?
i
Suppose 22*z - 5*d = 23*z + 2079, z + 2087 = -d. Is -2088 at most z?
False
Let g = -1539 - -1346. Which is smaller: g or 1?
g
Let t = -3834/4117 + 64/69. Which is greater: 1 or t?
1
Let v = -93/8 - -675/56. Suppose 1641 = -5*z - 909. Let y = 17848/35 + z. Which is smaller: y or v?
y
Suppose r = 5*k - 4, 2*r - 4*r - 4*k - 8 = 0. Let i be 1/r*(0 - 2). Let u = -2.48 - 16.52. Which is smaller: u or i?
u
Let l = 2.74 + -11.74. Do -1.4 and l have the same value?
False
Suppose -168*b - 16*b = -52*b + 660. Let o(m) = -m - 6. Let k be o(-5). Let r be k/5 - 1/b - 0. Is 2/73 smaller than r?
False
Let g(z) = z**3 - 98*z**2 + 19*z + 3266. Let l be g(97). Is l <= -4300?
True
Suppose 0 = m + 4*b - 28, -4*b = -m - b - 7. Suppose m*i + 28 = -12. Let d(f) = -f - 10. Let p be d(i). Is -5 at most as big as p?
True
Let y be (-24)/(-5 + 7 + 14/(-4)). Let s be (-15)/((-360)/y)*20/(-12). Let q = 0.2 - 0.2. Is q not equal to s?
True
Let j be (-5 + 1)/(10/(-15)). Let i be 1/((-3290)/(-4)) - (-6 + j). Let w = i - -32878/18095. Which is smaller: w or 2?
w
Let z = -245 - -2136. Is z != 0?
True
Suppose 69*z + 679 + 649 = -673. Is -126 greater than or equal to z?
False
Let b(n) = -3*n**3 - 4*n**2 - 19*n - 29. Let u be b(-3). Let i = -184 - -258. Is u at least i?
False
Let g = -18264 - -18595. Which is smaller: g or 34?
34
Let a be (2130/(-27))/(-1) + 25/((-100)/(-16)). Do a and 82 have the same value?
False
Suppose -19*w = -17*w. Suppose 0 = 6*s - 159 - 111. Let f be ((-30)/608)/5*(-20)/s. Is w less than f?
True
Let d(v) = -60*v - 3. Let j be d(6). Let f be 374/j + 2/3. Suppose 3*s = -15*s. Is f != s?
True
Let a be (-8013)/((-45)/5 - -6). Suppose -4*s = 695 - a. Is s greater than or equal to 495?
False
Suppose 100*q - 137*q - 10138 = 0. Is -274 smaller than q?
False
Suppose -53*w - 26 = -51*w. Let c be (-4)/(-18) - w/((-234)/(-5)). Is c less than or equal to 12?
True
Let y = -4448 - -4449. Is y at least as big as -1/1687?
True
Let f = 392484107 - 642888994637/1638. Let j = f + -1/234. Which is smaller: j or -16?
j
Let m = -19774/5 - -228963141/57895. Are m and 0 unequal?
True
Let r be 1/(-2)*7/(182/4). Let m = 4.88 - 7.88. Which is smaller: m or r?
m
Let j(u) = 6*u**2 - 13*u - 6. Let a be j(-6). Suppose 2*p - 4*b + a = 0, p = -4*p + 3*b - 748. Is p less than or equal to -756/5?
True
Suppose -3*i + i + 8 = 0. Let k = -2 - i. Let v be (129/(-344))/(3/50). Which is smaller: k or v?
v
Let k = -69 + 104. Suppose 4*j - 2*z = 2*j + 10, z = -4*j + k. Suppose -3*l - 4 = j. Which is bigger: 2 or l?
2
Let i(o) be the first derivative of -17*o**3/3 - 4*o**2 + 9*o + 117. Let a be i(1). Which is greater: -110/7 or a?
-110/7
Let b = -117 - -147. Suppose -9*c = 6*c - b. Which is smaller: c or 1/2?
1/2
Suppose 0 = 9*g + 25 - 43. Let c be -27 + -2 - (g + -3 + 2). Is c at least as big as -30?
True
Let k = -105/4 - -26. Let r = -197.43 + 198.13. Is r greater than or equal to k?
True
Suppose -3 + 2 = -r. Let u be 4*(7 - 72/12). Which is bigger: u or r?
u
Suppos