
Suppose 78 - 87 = -t + 3*a, -4*t + 5*a = -29. Is -7/75 at most t?
True
Let m(s) = -s**2 - s + 37. Suppose -2*u - 10 = 2*j - 4*u, 4*u - 20 = -3*j. Let f be m(j). Suppose 5*k - 4*o = 218, 2 = -3*o - 19. Which is smaller: k or f?
f
Let u = 691.707 + -692. Let k = -9336 - -9335. Is u bigger than k?
True
Let x be 1*(-4 - (-2 + -5)) - 0. Suppose 277*b + x = 274*b. Is -1 equal to b?
True
Let f(o) be the first derivative of o**3/3 + 15*o**2/2 + 13*o - 3. Let i be f(-14). Is -5/41 less than or equal to i?
False
Let r(i) = -2*i + 6. Let o be r(5). Let x be ((-2)/o)/((-3)/36). Let b be x/18 + 46/102. Which is bigger: -1 or b?
b
Let f = 14/25 + -148/175. Is -21 smaller than f?
True
Let j be ((-39236)/(-255))/((-16)/(-120)). Which is smaller: 1151 or j?
1151
Let q(f) = 2*f + 22. Let i be q(-7). Suppose 2967*o = 2965*o - 6. Is i at most o?
False
Let w(d) be the third derivative of d**6/120 - d**5/6 - 7*d**4/6 + 4*d**3/3 + 2*d**2 + 58*d. Let k be w(9). Which is greater: -324 or k?
-324
Let v(q) = q**2 - 11*q - 441. Let i be v(-17). Does i = 4?
False
Let m = -16/901 + -111841/44149. Are m and -2 nonequal?
True
Let p be (2/(-20))/(246/(-135136)) - (1 - 2). Which is greater: 57 or p?
57
Let d = 795 + -883.1. Let c = 88 + d. Which is greater: c or 1.57?
1.57
Let o be 209/(-1815) + (-4)/(-22). Let z = -21 + -53. Let m = -74 - z. Do o and m have different values?
True
Suppose -6*w = -8*w + 22616. Let h be -1 + 13331/w + (-10)/55. Let k = h + -12303/11308. Is k less than 0?
True
Let t = 97 + -93. Let p be (-2)/t + 15*4 + 2. Let j = -61 + p. Is -39 > j?
False
Let q = -51 + 64. Let n be q/((-3354)/1476) + 6. Is 1 greater than or equal to n?
True
Let o = 1.0798 + -0.0798. Let l = 0.54 - 0.4. Let j = -5.86 - l. Are j and o equal?
False
Let a = 2/14505 - -28009151/29010. Is a at least as big as 965?
True
Let l = -247528 + 1976855/8. Which is smaller: -421 or l?
l
Suppose 3*w = 3*v + 2124 - 3, -2*w - 3*v + 1424 = 0. Let j = w + -792. Let o = -90 - -6. Which is bigger: o or j?
j
Let z be 2/(((-1)/(-9))/((-21)/18)). Is z less than -27?
False
Let v = -4.97 + 5. Let j = 0 - v. Let s = 2/759 + -140/759. Which is smaller: s or j?
s
Suppose -2*o + 775 = 589. Let v be (-3)/6*(-82)/(-1). Let c = o + v. Is c greater than -1?
True
Let s = 9 - 4. Suppose -s*g + 347 = -d - 53, g - 80 = -4*d. Suppose -75*i - 68*i + 11297 = 0. Which is smaller: g or i?
i
Suppose 3*m - o + 32 = 3*o, -o + 13 = -2*m. Let t be (m - 30/(-8)) + (-7)/(-12). Let v be (-2)/(-7) + 2/(-7). Which is greater: t or v?
t
Let b(j) = j**3 + 27*j**2 - 55*j + 86. Let n be b(-29). Is n at most as big as -2/5545?
True
Suppose b = -5*p - 1812, -170 = p - 5*b + 182. Let h = -289 - p. Is 73 <= h?
True
Suppose i - l = 1 - 4, 2*i + 2*l - 14 = 0. Suppose -4*g - 3*p = i - 45, g = 4*p - 13. Is g at most -0.2?
False
Let m be (-44)/286 - (-8)/13*-3. Let s be 33/m + 78/12 + -7. Is s greater than or equal to -14?
False
Let t = -8663 - -8638. Which is greater: t or -308/13?
-308/13
Let x(k) = 2*k**3 + 49*k**2 + 26*k - 87. Let f be x(-24). Which is smaller: -153 or f?
-153
Suppose 0 = 16*n - 213 - 779. Suppose -n = -3*s - 14. Let d be (2*2*-1)/(-2). Which is smaller: s or d?
d
Let p = -16246 - -16246. Which is smaller: p or -1/3153?
-1/3153
Let f(y) = 133*y**2 + 3*y - 2. Let n = 457 - 456. Let v be f(n). Is v >= 2/7?
True
Let z be 1339511/287 - 2/7. Suppose -463 - z = 27*k. Is -190 greater than k?
False
Let b(k) = k**2 + 9*k. Let x be b(-8). Let f be -1*(-7 + 13)*x/3. Is 16 bigger than f?
False
Suppose -11*l = 1546 + 115. Let r = 88 + l. Let u = r + 53. Is u at least -13?
True
Let i be ((-5)/2)/((-3)/6) + 250. Let k = i - 291. Which is bigger: k or -145/4?
k
Let q = 25 - -27. Suppose -1 = -32*m + 1695. Is q >= m?
False
Suppose -3*m + 17 = -4*c, 6*c = 2*m + c - 23. Is m greater than 4/605?
False
Suppose 0 = -v - 2*p + 13928, 2*p + 6 = 14. Let r be v/(-3663) + 4 - 8/44. Is r > -1?
True
Suppose 0 = -2*k + 4*i + 16, -15 = -2*k - 5*i + 1. Let d be (0 - k/(-32))*8. Is d >= 7?
False
Suppose 0 = 3*d - 5*d + 2. Let a be 5*8/120 - d. Which is greater: a or 27/16?
27/16
Suppose 5*q - 4*x - 27 = -0, 5*q - 33 = x. Suppose 10 = -2*d + 5*d - a, -4*a + 5 = 3*d. Suppose -b - b + q = j, -b - d*j = -11. Is b != 20?
True
Let d be 38/5 - 0 - (-32)/80. Let a(s) = -s**3 + 4*s**2 + 14*s + 12. Let k be a(d). Is -132 <= k?
True
Let x be -86 - -4 - (-63)/63. Suppose 5*o = 11 - 461. Let b = x - o. Which is bigger: 5 or b?
b
Let o = 18557520 + -23475264328/1265. Let i = -2/253 - o. Which is greater: -0.7 or i?
i
Let p be 88*5 - (-1 + -3). Let l be 2 - (0 + 0) - p/240. Does 1 = l?
False
Let u be -2*(-1)/(-58)*2. Let s = 13509 - 13509. Which is smaller: u or s?
u
Let k = -11496 - -8890. Which is greater: 1 or k?
1
Let o = 24076/21 + -1146. Let f = 91056 + -91056. Which is greater: f or o?
o
Suppose -4*q - 10 = -2, -x + 3*q + 7 = 0. Let h be 1 - (-1 + x) - -1. Suppose 4*d - 30 = -h*d. Do d and 6 have the same value?
False
Let b be ((-95)/30 - -3) + 93/(-306). Let l(z) = z**2 - 9*z - 9. Suppose 0 = -3*m + 7 + 23. Let v be l(m). Which is smaller: b or v?
b
Suppose -2*z - 3*d - 582 = 0, 5*z - 3*d = -334 - 1079. Which is greater: -1418/5 or z?
-1418/5
Suppose 3*n + 33907 = -a, -4*a + 22628 = 33*n - 35*n. Are -11304 and n equal?
True
Let h = -1688.2 - -1688. Which is greater: h or -0.0432?
-0.0432
Let g = -524 - -537. Is g < -14?
False
Suppose -3*a = -0*a - 39. Let f = 2619 + -10421/4. Which is smaller: f or a?
a
Let x = 0.904 + -0.004. Let m be (12/(-45))/(203/35 + -6). Which is greater: m or x?
m
Let r = 94247/2 - 1939320515/41154. Is 1 < r?
False
Let m = 271 + -7786. Is -7515 smaller than m?
False
Let j be ((-14)/(-84)*2/(-8270))/(2/(-5)). Are -1 and j unequal?
True
Suppose 5*f = -2*r - 80, 0*f - f - r - 13 = 0. Let t = f + 17. Let n be (-20)/(-30)*((-1)/(-4) + t). Is -0.29 equal to n?
False
Suppose -3*v + 5*v + 136 = 0. Let u be (-140)/(-34) + 8/v. Suppose -2*o - 5*s = 59, -u*s - s = -5*o - 130. Which is smaller: o or -26?
o
Let a = -34 + 66. Let j be (-5)/30*a/6. Is j at most 0.2?
True
Let c be 2853/634*(-5 + 3 + 349/174). Suppose -3*d + 6*m - 2*m = -4, 5 = 2*d - 5*m. Which is bigger: d or c?
c
Let v = 163.38 + -163. Let u = v - -126.62. Which is bigger: u or -1?
u
Let w = 23 + -25.1. Let x = 0.57 - -1.53. Let t = x + w. Which is bigger: 1.4 or t?
1.4
Let k(q) = q**3 + 7*q**2 + 14*q + 2. Let j be k(-2). Let z be ((-78)/36 - -2)*j. Is z at most -8/93?
False
Let m = -10110 - -212350/21. Let a(g) = 8*g**2 - 786*g + 972. Let j be a(97). Which is bigger: m or j?
j
Let a be 4 - (-67)/268*((1 - 2) + -6627). Which is bigger: -1651 or a?
-1651
Let o = -3267187253/1536596 + 2/384149. Which is smaller: -2125 or o?
o
Let f = -641776/1881 + 3071/9. Are 1 and f unequal?
True
Let h = 2493616/97 - 25708. Is h less than -2?
False
Let m(i) = i**2 - i - 57. Let v be m(15). Which is greater: v or 1998/13?
1998/13
Let a = 3 + -2. Let m = 16818.3 + -16981.3. Is m equal to a?
False
Suppose 4*g + 0*x = 4*x + 24, -2*g - 2*x + 4 = 0. Suppose -g*i + 8 + 12 = 0. Let w(o) = -o**3 - 15*o**2 + 128*o + 50. Let y be w(-21). Which is bigger: y or i?
y
Let n = 7.3 + 0.7. Let q = -20 + 2. Let a = 17.9 + q. Is a > n?
False
Let s be 81638/(-10204) - (-35)/(455/104). Are s and 1 equal?
False
Let f be (2450/(-435))/10 - (-1)/3. Which is greater: f or 0?
0
Suppose 142 = 6*s + 4. Suppose -38*k + s*k - 765 = 0. Are k and -48 nonequal?
True
Let l = 7303 + -7303. Which is bigger: 2/5477 or l?
2/5477
Let r = -1044 - -4441. Are r and -0.1 nonequal?
True
Let v(x) = x**2 - 2. Let k be v(-2). Suppose k*w - 9 = 5. Let n = -51.67 + 44.67. Which is smaller: w or n?
n
Let r = -321.6 - -351. Let p = r - 148.4. Let l = p - -118.82. Is -0.2 at least l?
False
Let y be 27/(-6)*(-624)/108. Does 28 = y?
False
Suppose 0 = 2*z + 5*p, 0*z - 5*z + 4*p = 0. Suppose -5*a + 1479 + 226 = z. Let k = a - 1371/4. Which is smaller: k or -3?
-3
Let n(u) = 42*u + 1070. Let s be n(-30). Is -200 at least as big as s?
False
Let h be (-8)/(-6) - (-7)/(133/(-38)). Which is smaller: h or 0.68?
h
Let w = 681 - 1099. Let l = 437.1 + w. Let k = -5.1 + l. Which is bigger: -2/7 or k?
k
Let u = 0.042 - 0.0923. Let m = 6.9497 - u. Which is smaller: 27 or m?
m
Let n = -3720/161 + 492/23. Which is smaller: 3 or n?
n
Suppose 83 = 323*r - 240. Which is