 1. Let c = -115.84 - -13.84. Let t = c + j. Which is smaller: 1/17 or t?
1/17
Let l = -554.2 + 554. Do -703 and l have the same value?
False
Let r be 10/(-14) - (-4)/(-14). Let l be (-8)/(-6)*(-7 + -110)/(-13). Suppose -43*f + 46*f = -l. Is f greater than r?
False
Suppose -u = 5*i + 234, u + 31*i - 34*i = -258. Is 7 >= u?
True
Let a be 8160/(-287470)*(0 + (-3)/(-6)). Which is greater: 1 or a?
1
Suppose 0*b - 5*b + 55 = 0. Let i(n) = -n**3 + 11*n**2 + 4*n + 4. Let f be i(b). Which is smaller: -0.1 or f?
-0.1
Let t be (14/(-10))/((-17)/(-85)) + 17. Let u be (-7)/(42/(-64)) + 0. Is u greater than or equal to t?
True
Let h = 1039/6280 - -3/314. Let g = -3/40 - h. Are -1.8 and g equal?
False
Let a be 9755/(-10) + 9/18. Let d be 2*a/50*(-1)/(-3). Which is smaller: -18 or d?
-18
Let i be -26*((-58)/(-12) - (-8)/12). Let h = 279 - i. Which is smaller: h or 423?
h
Let a(i) = -i**2 + 15*i - 29. Let f be a(13). Let x(w) = -w**2 + 16*w + 26. Let u be x(17). Let y = 7 - u. Which is bigger: f or y?
y
Let l = 71.49 + -71.39. Which is greater: l or 7828?
7828
Let m = 77 + -53. Suppose -7*n + 137 + m = 0. Is n >= 19?
True
Let o = 185985 + -18784667/101. Are -1 and o equal?
False
Suppose 2*t = 3*t + 2*n - 26, t + 5*n - 14 = 0. Let d(p) = -39*p + 4013. Let v be d(102). Which is smaller: t or v?
t
Let j be 3 - (-15)/((-90)/42) - (-51234)/12806. Which is bigger: j or -1?
j
Let d(o) = 12*o + 2. Let f be d(4). Let r be 3 + 6 + -12 + -2 + -1. Let x be ((-81)/18)/(r/68). Which is smaller: x or f?
f
Let k = -17 + 25. Suppose -15 = 5*t, -k*f + 2*t = -10*f. Suppose 35 = -f*x - 5*o - 17, -22 = x + 4*o. Which is smaller: -63/5 or x?
x
Suppose -n = m - 48, -4*m = 8*n - 5*n - 193. Let p be (-30)/(-4)*(-16)/(-6). Suppose 4*q + 0*x + 5*x = -m, -5*q - p = -2*x. Which is bigger: -7 or q?
q
Let d = 46 + 12. Suppose -9*g = -157 + d. Does 13 = g?
False
Let m = 167 - 107. Suppose -c - u + m + 126 = 0, -2*u - 180 = -c. Which is bigger: 1 or c?
c
Let h be 1245131/(-4293724) - ((-3)/12 + 0). Let s = h + 12/271. Which is smaller: 1 or s?
s
Let s(h) = -h**3 - h**2 + 7. Let j be s(-4). Let o = -20 + -79. Let m = -45 - o. Is j at most as big as m?
False
Let n = -0.059 - -3.359. Let u = -5.6 + n. Let h = u - 0.7. Are -2 and h equal?
False
Let u = -174347/2492514 - -77/1062. Which is smaller: 0 or u?
0
Suppose -1085 = -2*j - 3*g - 1077, 5*g = 5*j + 30. Which is smaller: j or -26/43?
j
Suppose -5*u + 9*u + 2*k = -1260, -4 = -k. Let g = u + 331. Is g smaller than 14?
False
Let j = 221 + -194. Let u be (4/((-72)/j))/(3/44). Is u at least -8?
False
Let r be (3/9)/(2*(-9)/(-32022)). Let g = r - 587. Which is smaller: -5 or g?
-5
Suppose 3*m + 0*k + 4*k - 29 = 0, -5*m + 40 = 5*k. Let l = 289 + 136. Let z = l - 2117/5. Which is bigger: z or m?
m
Let d(f) = f + 7. Let w be d(-7). Suppose w = 9*x - 4*x - 5. Let q be -1 - x - 33/(-11). Is q <= -13?
False
Suppose -169911 = -49*p + 80*p. Is -5481 at most p?
True
Let v = 1199 - 2213. Let s = v + 1013. Let k be (2 - 3)*(-4)/118. Which is smaller: k or s?
s
Let k be (0/(-1) + 412)*2. Suppose -1032 = 5*g - 3*n, 3*g + g + k = 2*n. Is -205 greater than or equal to g?
False
Let m = -36111/5 - -7082. Which is bigger: m or -140?
-140
Let p(y) = -2*y + 1. Let r be p(2). Let o be (r + 5)/(4/(-42)). Let j = o + 22. Which is smaller: j or -2/69?
-2/69
Let v be 788/16 + 1/(-4). Let q(n) = 90*n - 400. Let i be q(5). Which is greater: i or v?
i
Let r = -0.15 + -88.85. Let g = -88.43 - r. Let s = g + -0.47. Do s and -26 have different values?
True
Let w = -7/186 - -2323/2418. Let g(l) = -l**2 + 5*l - 8. Let p(j) = j**2 - 4*j + 7. Let a(o) = 3*g(o) + 2*p(o). Let q be a(3). Which is bigger: w or q?
q
Let w = -33 + 18. Let m = 89 + w. Let y = -74.01 + m. Which is smaller: -0.3 or y?
-0.3
Suppose 17 = 23*p + 17. Suppose -f + 1 = u, p = -5*f - u - 22 + 11. Which is bigger: f or 85?
85
Let p = -1627 - -1635. Is p < -112?
False
Suppose 1 + 1 = 2*x. Let f = -110152764/1801 - -61162. Is f > x?
False
Let a = 0.397 - 0.467. Which is smaller: a or -1.46?
-1.46
Let j = 21351 + -19171. Is 2182 < j?
False
Suppose 2*x + v + 15 = 0, -3*v - 40 = x + 4*x. Let y = x + -7. Suppose 132 = -15*l + 4*l. Is y equal to l?
True
Let a = 101 - 244. Let p = a - -87. Let s = 54.1 + p. Which is smaller: -0.1 or s?
s
Let m = -15.57 + -150.23. Let v = -167 - m. Is v > 10?
False
Suppose -z + 70 = z - 5*i, 84 = 3*z + 3*i. Let g be 68720/z*2/(-20). Let o = g + 229. Which is smaller: o or -1?
-1
Suppose -v = -2*v + 5*z + 402, 804 = 2*v - 4*z. Let q = -394 + v. Which is smaller: q or 13?
q
Suppose 3*d = 5*k + 2*d - 17, 2*k - d = 8. Let c = -2 + k. Let n = 2/1213 - -7264/8491. Does c = n?
False
Let b(p) = -p**3 - 5*p**2 + 2*p + 2. Let i be b(-4). Let h = 5 - i. Is h at most as big as 25?
False
Let r(l) = 3*l + 22. Let g be r(-6). Let j be 5 - 2 - (g - 1). Suppose -2*x - 32 = s - j*s, -5*s - 25 = x. Which is bigger: -17 or x?
x
Let z = 46262 - 46262.76. Let q = -1 + 1. Is q at most z?
False
Let s = -4182.3 - -1369.3. Which is bigger: -1 or s?
-1
Let m(l) = -l**3 + 34*l**2 + 27*l + 347. Let u be m(35). Suppose 0 = -0*c + c - 70. Is u less than or equal to c?
True
Suppose -2*o - 50 = -5*s, o + 21 = 2*s + 2. Let p be (s/20)/(11/(-220)). Which is bigger: p or -6?
-6
Let b = 12.1 - -29.5. Let t = b + -49. Let o = 19.4 + t. Which is smaller: o or 3/5?
3/5
Let x = -8738 - -8781.11. Let j = 146.89 + -146. Let r = j + x. Which is smaller: r or -2/3?
-2/3
Let c be 4/(-18) - 190/(-45). Let t(w) = -w**2 - 25*w + 2. Let a be t(-25). Suppose a*s - 20 - 2 = -p, 42 = c*s + p. Which is bigger: s or 12?
12
Let h = -38827 - -465925/12. Which is smaller: h or -151?
-151
Let m = -80 + 148. Suppose 174 = -3*b - 3*a, b - 3*a = -10 - m. Are b and -65 non-equal?
True
Let z = 0.35 - 0.35. Let c be (-30)/(-9)*192/180. Which is bigger: z or c?
c
Let d be 18/81 + 34/(-87). Let z = d + 7360/49851. Is z at least 0?
False
Suppose -3*w + 3724 = -2*m, -4*w - 35573 = -3*m + 22*m. Is -1868 >= m?
True
Suppose 4*c - j - 35 = -4*j, 4*c = 5*j + 27. Let d(v) = v - 5. Let l be d(c). Let u = 133 + -130. Is l less than u?
False
Let g = -1104 + 1296. Which is bigger: -1/4 or g?
g
Suppose 5*a = 8*a + 39. Let h = -13 - a. Suppose 2*n + n + 6 = h. Do -15 and n have different values?
True
Let s(p) = -76*p + 569. Let n be s(8). Let d be -40 - 1 - (16 + -8 - 12). Is d equal to n?
False
Let l be (-2862)/(-216) + (-14)/(-8). Is l != 422/29?
True
Let t be (12/(-9))/2*(8800/895 + -10). Which is smaller: t or -1?
-1
Let b be 712/3916 + 1678/(-8866). Which is smaller: -1 or b?
-1
Let j be (-2 - (-1953)/765) + (1 - (-6)/(-5)). Let v(s) = s**2 - 3*s - 4. Let w be v(4). Which is smaller: w or j?
w
Let q = -126 + 1136/9. Let r = -188.917 + 189. Let y = r + -0.083. Is y at most as big as q?
True
Let p = 27532 + -523316/19. Which is smaller: p or -11?
-11
Suppose 9*h - 461 + 38 = 0. Suppose -34*a = -h*a + 1313. Is 101 != a?
False
Let v be 1/4 + (-2)/(-40). Let c = -93 - -101. Let f(r) = -r**2 + r + 56. Let s be f(c). Which is smaller: s or v?
s
Let x = -43.9 - -49.6. Suppose 8*m + 23 = 12*m + 5*s, s = m + 1. Is m at least as big as x?
False
Let t be 0 - (2 + -1) - 8. Let y(r) = 2*r**2 - 34*r + 13. Let o be y(17). Let q = o - 25. Is q less than t?
True
Let a = -41 - -40. Let w = -21 + 26. Let y be 12/(-7) - (-5)/w. Which is smaller: y or a?
a
Let z(t) = -2*t**2 + 22*t + 29. Let v be z(12). Suppose 2*d + v*s + 44 = -18, -3*s + 30 = -2*d. Are -17 and d equal?
False
Let d be 8/12 - (-15983)/(-12). Let n = 1377 + d. Let l = n + -46. Which is smaller: l or 1?
l
Suppose 9 = 2*c + c. Let k be 2/4*(-1 + c). Let t = 58747/19 - 3092. Is t greater than or equal to k?
False
Suppose -544 = -8*r - 136. Let g = r + -44. Suppose g*p + 7 = -0. Which is smaller: p or -1/48?
p
Let v(b) = -19*b - 368. Let w be v(-50). Which is smaller: w or -1/2?
-1/2
Suppose 0*m = 4*m - 4. Suppose -454*p - 204*p + 186*p + 1416 = 0. Let a be (p + -5)/m - -2. Which is smaller: a or 1/4?
a
Let d = -1178825/258027 + -140/3351. Let w = d + 57/11. Let a = 92.69 - 92.89. Is w bigger than a?
True
Let w(l) = 8*l + 90. Let j be w(-11). Suppose 4*b - 308 = -5*z, j*z - 102 = -2*b + 52. Is b less than or equal to 77?
True
Let d(a) = 1588*a**3 + 3*a**2 + 2*a - 2. Let b be d(1). Which is greater: b or 1596?
1596
Let p