 u = 99/28 + -13/4. Is g smaller than u?
True
Let i = 3 - -17. Suppose 0*s + i = -5*s. Is s <= -6?
False
Let g(o) = -3*o**2 + 3*o + 7. Let v be g(2). Which is greater: 2/2439 or v?
v
Suppose 0 = -6*o + 102*o + 92928. Which is smaller: -969 or o?
-969
Let r = -1146 - -1182. Is r bigger than 38?
False
Let o(x) = -15*x + 61. Let z be o(4). Which is bigger: z or -3/26?
z
Suppose -k - 2 = 2*w + 163, 2*w = -2*k - 340. Is k at most -174?
True
Suppose 5004 = -39*h - 2289. Is -187 bigger than h?
False
Let u = 418.9 + -417. Let j = 27.1 + -24. Let g = j - 3. Which is greater: u or g?
u
Let i be 6/(8/18 - (-1505)/(-774)). Which is smaller: -18/7 or i?
i
Let a be (0 - 3/(-39))/(950/250). Is a less than or equal to 0?
False
Suppose -8*u + 18*u = -20. Let p be ((4/u)/2)/(-4). Is p less than or equal to -7/4?
False
Let c = -6.9 - -4. Let p = c - -2.79. Let v = -0.01 - p. Which is bigger: 10/3 or v?
10/3
Let t be ((-553)/(-91) + -6)*-36. Is t < -3?
False
Suppose 9*d - 3*d = 90. Which is smaller: 14 or d?
14
Let q be (1/(-2))/((-831)/(-414) - 2). Let l = 33 + q. Is -35 not equal to l?
True
Let w(r) = -r - 29. Let y be w(-13). Let p be -1 - -18 - (-13 - y). Which is smaller: 15 or p?
p
Let j(w) = -13*w - 1. Let c be j(-2). Suppose c = -5*f + 4*k - 0*k, 5*f = 3*k - 20. Let o = 3/160 - -607/1760. Which is smaller: f or o?
f
Let a = -151 + 253. Let b = 102 - a. Which is bigger: 0.3 or b?
0.3
Let d = -194192/143 - -1358. Does d = 1?
False
Let w = -65 - -59. Let r = 473 - 2398/5. Which is greater: w or r?
w
Suppose 2*f = -3*f - 3*f. Which is smaller: 1/14 or f?
f
Let m(u) = -u**2 - 6*u + 4. Let l be m(-7). Let a be -6*((-9)/(-6))/l + -1. Which is greater: 8/7 or a?
a
Let z(u) = 13*u - 70. Let h be z(6). Suppose 0 = -h*m + 21*m + 195. Suppose 3*n = -2*n - 80. Which is smaller: n or m?
n
Let m = -449 - -117. Does m = -333?
False
Let z = 21381/130 - 816/5. Let l = z - 10/13. Which is greater: -3 or l?
l
Let r = -73 + 52. Let q = r - -85/4. Is 8 bigger than q?
True
Let k(h) = -26*h - 4. Let i be k(0). Let z(b) = -5*b**2 + 1. Let n be z(1). Do n and i have the same value?
True
Let g = -138 + 138. Which is greater: g or -15/19?
g
Let i be 1668/30 + 3/(-5). Let w = i + -53. Which is smaller: 1 or w?
1
Let w be ((-2)/5)/((-1)/(-5)). Let m be 3 + (-39)/21*3. Which is bigger: m or w?
w
Let q = 22 - 29. Let f = 17 + -12. Suppose -4*w = -m - f, -7 = -2*m - w - 17. Is q less than or equal to m?
True
Suppose -13*m = -22*m - 1593. Is m at least as big as -175?
False
Let p = -14 - -14. Let h = p + -12. Let b = h + 11.8. Is 0.1 at most b?
False
Let v(f) = -14*f - 1. Let s be v(-1). Suppose -m - 5*p - 15 = 0, 2*p + 1 + 17 = -m. Let u = m + s. Do -6 and u have different values?
True
Let u = 138 - 136. Let h = -0.04 + 1.74. Let l = h - u. Is 0.2 < l?
False
Let q be 0 + 425/(-10) - -2. Let v = -40 - q. Which is smaller: 1 or v?
v
Let u be (-133)/(-2) - 24/48. Let x = u + -66. Are 2/3 and x equal?
False
Let c be (-3)/(-4 - 15/(-6)). Let x be (-4)/22 - (6 - 210/66). Which is bigger: x or c?
c
Let s be 0/(-1) - 5*-1. Suppose 0*a + 10 = -2*a + i, 2*a + s*i = 2. Let t = 12 + -17. Which is smaller: a or t?
t
Let g(r) = 11*r + 102. Let m be g(-10). Is -12 smaller than m?
True
Suppose 69*g = 71*g. Let o(k) = -3*k - 9. Let q be o(-6). Let h be ((-3)/q)/(5/18). Do g and h have the same value?
False
Let y(w) = w**2 + 19*w + 88. Let v be y(-13). Which is greater: v or 51?
51
Let f = 2041 - 218383/107. Which is smaller: 1 or f?
f
Suppose 5*i + 216 = -3*r - 0*r, 0 = 4*r - 5*i + 253. Let f = 59 + r. Does f = -49/6?
False
Let r(d) = -12*d**2 + 19*d + 34. Let c be r(-2). Do c and -52 have the same value?
True
Let n be 1254/(-18) + -1 + (-4)/(-6). Are n and -0.3 equal?
False
Let i = -250 - -249. Suppose -x + 4*s = -0*x - 9, -s = 2*x - 9. Suppose -x*f - 6 = 4*h + 8, 5*h - 3*f = 1. Is h != i?
False
Let q(u) = -u + 4. Let n be q(0). Suppose i = -z - i - 1, 4*z + n*i = 0. Suppose -5*l + z - 6 = 0. Is l bigger than -4/5?
False
Let o be -5 + 10 + 3 - -3. Is o < -2/5?
False
Let n = -235 - -229. Which is smaller: -57 or n?
-57
Let n(q) = -3*q**2 + 9*q - 17. Let b be n(5). Let w = b - -54. Let o = 2 - -6. Is o at most as big as w?
False
Let t = 1479 + -1468. Let c be (3 + -1)/((-1)/1). Which is smaller: t or c?
c
Let f = 279/2 - 5325/38. Let j = 4627 + -4629. Which is smaller: f or j?
j
Let f be (-12)/8 + (-195)/(-6). Let q = f + -26. Which is smaller: -1 or q?
-1
Let u = -1634/745 - 1/149. Let i(a) = -a**2 - 13*a - 15. Let n be i(-11). Suppose n = -5*g + 2. Which is greater: u or g?
g
Let w = 7/16 - 113/112. Which is greater: -3/4 or w?
w
Let l be 9/6*-2 - 11. Let m = 7 + l. Let k(z) = 2*z**3 + z**2 - 2*z. Let c be k(-2). Is c at most m?
True
Suppose 22*t = 18*t - 60. Which is bigger: -12 or t?
-12
Let o be 7/(-28) + (-133)/308. Are -2 and o unequal?
True
Suppose 0 = p + 3*p - 8. Let d be p/45*(-55)/33. Is d not equal to -1?
True
Let q = -0.6 - -0.4. Let o = -34.4 - -30.4. Which is bigger: o or q?
q
Let v = 0 - 0.06. Let j = -5.06 - v. Let y = j - -8. Which is bigger: -1/4 or y?
y
Let j be 5 - (74 + 7/((-7)/(-2))). Are j and -74 non-equal?
True
Let b = 3.2 + -1.2. Let v = 135 - 1213/9. Do b and v have different values?
True
Suppose 2*i + i - 23 = -5*m, -4*i = -4*m + 44. Which is smaller: m or 5?
5
Let s be (-2)/6*(0 - -1). Let h(o) = -13*o**2 + o. Let x be h(1). Let l(b) = -b**2 - 11*b + 11. Let m be l(x). Is m != s?
True
Let r be (-22 + 24)/(3 - (-174)/(-57)). Is -33 equal to r?
False
Let u be (8/(-14))/(10*(-5)/(-35)). Is -15.6 greater than u?
False
Suppose 6*w - 10 = w. Let t be -1 - (1 - w - -1). Is 2/39 > t?
True
Suppose y + 226 = 3*k + 3*y, -k + 84 = 5*y. Let w = k + -512/7. Is w at least 2/7?
True
Let m = -18998 - -208750/11. Is -20 greater than or equal to m?
True
Let h = 521 + -520. Which is smaller: 383 or h?
h
Suppose -3*v - 99 - 144 = 0. Which is greater: 1 or v?
1
Suppose 0 = -2*r - 5 + 15. Let y be (-12)/(-4) + -1 + 2. Suppose y*a + 5*m = 2*m - 3, 4*a - 3 = -r*m. Which is smaller: a or -0.3?
a
Let z = 24 + -25. Which is smaller: z or -3/10?
z
Let x be 1/(4/51)*(-20)/(-15). Which is greater: x or -13?
x
Suppose 5*r + 1037 = -p, 4*p - 2*p + 418 = -2*r. Let s be 73/r + 14/63. Which is smaller: s or -1?
-1
Suppose 0 = 25*y - 26*y + 12. Suppose -3*o - y = -7*o. Is -6 at most as big as o?
True
Let o = -2087.07 + 2025. Let f = 62 + o. Are 0.2 and f equal?
False
Suppose -106*f + 73*f + 29172 = 0. Which is smaller: f or 883?
883
Suppose -3*v = 4*b + 7, 0*v + 2*v + 4*b + 6 = 0. Let f be (-154)/450 - 4/(-18). Which is smaller: v or f?
v
Let g = 6307142 - 857779207/136. Let l = g + 455/8. Is l at most as big as 0?
True
Let h = -1 - 0. Let m be (-5 - (-19974)/4158) + (-14)/(-63). Do m and h have the same value?
False
Let r be (-30)/105 + (-173)/(-14)*12. Which is smaller: r or 146?
146
Let k be (-3)/6 + 5 + 549/6. Does 97 = k?
False
Let j(o) = -o**2 - 5*o - 17. Let p be j(16). Let t be (-46)/(-253) - p/55. Are 6 and t equal?
False
Suppose -a = -2*j - 1, -2 - 3 = -4*j - 5*a. Let o = -1368 - -299594/219. Does j = o?
False
Let m(t) = t**2 + 4*t - 7. Let k be m(-6). Let r be 11 + -13 + 26/4. Is k greater than r?
True
Let c = -11/305 + -43711/5795. Which is bigger: c or -7?
-7
Let g = 99 + -102.8. Let d = 3.8 + g. Let s = -12.96 + -0.04. Is d smaller than s?
False
Let t = 804 - 51457/64. Is 0 bigger than t?
True
Let z = -3.2 + 9.9. Let f = -0.3 - z. Which is smaller: -2/7 or f?
f
Suppose 8*o + 0 = -8. Let v be (-11 - -12)*o/2*-2. Is -3 not equal to v?
True
Let d(t) be the second derivative of 4*t**5/5 + t**4/6 + t**3/2 + 38*t. Let u be d(-1). Is u > -17?
False
Suppose -5820 = 68*c - 56*c. Which is greater: -484 or c?
-484
Let l be ((-16 - 2)/(-9))/(1/17). Which is smaller: 23 or l?
23
Let q = -4.4 - 1.6. Let l = 8 + q. Which is smaller: l or -0.2?
-0.2
Let z(u) = -u**2 - 3*u + 8. Let m be z(-6). Let j be (m/(-4))/(5/15). Do 7 and j have different values?
True
Suppose 4*j - j = -3. Let m be j/(27/(-14) + 2). Let x be m/(-3 - -6 - 1). Is -7 at most x?
True
Suppose -6 = -3*t + 3*d, 2*t - 8 = t + 4*d. Suppose 0 = i - t*z - 3*z, 0 = 2*i + 3*z. Suppose i = l + 4*h, 0 = -2*l + 4*l + h. Is l not equal to -1?
True
Let v = 0.18 - 42.68. Let h = v + 45. Are h and -1 non-equal?
True
Suppose -3*n = -4*m, n - 6*n = 0. Let s(