*k + 65. Let t be s(22). Which is smaller: f or t?
t
Let n be (5 - 7)/(-2 - 1359/(-603)). Is n >= -6/5?
False
Suppose -4 = 4*s + 3*b, 38*b = 3*s + 40*b + 3. Let j be (s + 2)*0/(-59). Do -2/317 and j have the same value?
False
Let o = 371 + -5563/15. Let x = -105 - -115.3. Let i = -11.3 + x. Is o > i?
True
Let g = -11499 + 11498. Which is smaller: -2/12637 or g?
g
Let i = -108 + 346. Suppose -4*q - i = 3*b + 379, 2*b + 426 = q. Which is bigger: b or -210?
-210
Let s be -14*(-1)/2 + 1. Let a be (-27 + 28)*(15 - 8/(-1)). Is s smaller than a?
True
Let p = -31.1 - -31. Let i = p + -1. Let f = 1/2 - 0. Which is bigger: i or f?
f
Suppose 2*k = 5*c - 26 + 7, 2*k - 3*c + 9 = 0. Suppose 2*m - 4*q + 0*q = 34, k*m - 19 = -2*q. Let o = 19092 - 19084. Do m and o have different values?
True
Let c(y) = -2*y**3 - y**2 + 7*y - 6. Let i be c(4). Let k be (3 + -11 + 8)/(3/1). Let d be -5 + (k - 0) - (-209 + 327). Which is smaller: i or d?
d
Let n be 1/((36/(-16))/(-9)). Suppose 4*h - 2*h + n*k - 72 = 0, 5*k = h - 1. Suppose -f - h = f. Which is greater: -14 or f?
f
Suppose 4*k + 698 = 5*b, -5*k = b + 160 + 698. Let f be k - -1 - -3 - 1. Which is smaller: -168 or f?
f
Let t = 2.02 - 1.82. Is t less than or equal to 116?
True
Let y = -0.5 + -1.99. Let m = y + -130.51. Let j = m + 134. Is 24 greater than or equal to j?
True
Suppose 4*c + 140 = 4*d, 0 = -0*c + 4*c + 4*d + 148. Let k be (c/(-30))/((-2)/(-5)). Suppose z + k*u = -u - 9, -5*u + 10 = -3*z. Is -25/4 less than z?
True
Let d = -0.19141 + -12993.80859. Which is greater: d or 2/5?
2/5
Let v be -13 - (20 + -6)/(-2). Let l be (((-894)/25)/(-6) + v)*-4. Let f be 2/(-7) - 5/7. Do f and l have the same value?
False
Let k be ((-304)/(-7220))/((-1)/(-390)). Which is bigger: k or 16?
k
Let z be 3/(-6)*26/39. Let d = 97.79 - 97. Is d bigger than z?
True
Let v(w) = -w**2 - w + 27. Let z(i) = -i**3 - 6*i**2 - i + 6. Let t be z(-5). Let k be v(t). Let q be k/2 - 4/8. Which is smaller: -79 or q?
-79
Let n = 14.7 + -96.7. Let y = -164.6 - n. Let c = y - -7.6. Which is smaller: c or 0?
c
Suppose 115 = 6*i - 251. Let m = i - 54. Which is greater: m or 6?
m
Suppose -l + 4 + 32 = u, -3*u = 3. Suppose -6*i - l = -x - 5*i, -2*i = 5*x - 199. Is x > 36?
True
Let k = -130 + 106. Let p be ((-5)/10)/(2*3/k). Which is smaller: p or 45?
p
Suppose 5*p = -q + 16, 11 = 12*p - 9*p + 2*q. Let k be -2 + (-77)/(-21) - 35/p. Which is smaller: -4 or k?
k
Let z be (0 + 7)/(3 - 3 - 9). Let n = 153 - 153. Are z and n non-equal?
True
Suppose 0 = -5*v + 18 + 42. Let u be (-8)/v - 35/(-3). Suppose -4*d + 3*s = -51, -4*d - 5*s + 11 = -32. Which is greater: u or d?
d
Let k(x) = x**3 - 10*x**2 + 16*x - 12. Let n be k(8). Let u be ((-999)/n)/((-3)/12). Let b be u/27 + (2/3)/2. Which is smaller: b or 1/2?
b
Let q = 1265 + -11384/9. Suppose -2*v = 3*v + b + 118, 30 = -v + 3*b. Let d be (6/8)/(27/v). Is q greater than d?
True
Let g = 45 + -42. Let k be 0*(-2)/18*g. Suppose -2*a - 5 = -3*i - 2*i, i - 4*a - 1 = k. Is i != -2/9?
True
Let w = 383892.013 + -383692. Let a = 0.013 - w. Which is greater: a or 1/4?
1/4
Suppose -2*u + 16 = 4*p - 6*u, -4*p + 2*u + 18 = 0. Let r be 0 + (p/5 - 5). Let t be (11 - 1) + 3 + 10/r. Is t equal to 11?
False
Let v = -317.474 - -0.474. Let y = 316.9 + v. Is y smaller than 2?
True
Let h(n) = -4*n - 5. Let k be h(4). Let x be 1*(-8 - -5) + 8/1 - 26. Is x > k?
False
Let u = 26908/3189071 + 2/13687. Let g = 225/932 + u. Which is smaller: g or 162?
g
Let v(h) = -4*h - 52. Let y be v(5). Let b be (1 - y/(-66))*-2. Which is smaller: 2 or b?
b
Suppose 35*s - 68*s + 99 = 0. Suppose -x - 38 = 4*l, s*x - 2*l + 12 = -32. Are -113/6 and x equal?
False
Let m = 4/223 - 2461/446. Suppose -4*i = 26 - 2. Which is greater: m or i?
m
Let t = 161136 + -4350722/27. Let h(q) = -q**2 + 3*q + 2. Let d be h(4). Which is bigger: d or t?
t
Suppose 0 = -w - 3 + 1. Let g be 6/((-1410)/354 + 4). Let u = g - 355. Is w not equal to u?
True
Let z be 8/10*(-20)/(-8). Suppose x + m - 22 = 6*m, 2*m = z*x - 12. Suppose 4 = 2*h - x. Which is greater: h or 8?
8
Let p(m) = 16*m**2 - 87 - 4*m**3 + 20*m**2 + 8*m**2 + 86. Let g be p(11). Which is bigger: g or 2/81?
2/81
Let c = -197640/299 - -661. Let l be ((-21)/49*-7)/3. Which is bigger: c or l?
l
Let c(q) = -5*q - 91. Let u be c(-20). Suppose -10*i - u = -49. Which is greater: i or 5?
5
Suppose -269*d - 13689 = -42*d + 7195. Which is greater: -96 or d?
d
Let h(f) = f**3 - 31*f**2 + 59*f - 45. Let y be h(29). Let b be 15*(y/(-4) + -7). Is b not equal to -46?
True
Let p = 0.332 + 139.668. Let o = -157 + p. Let v = o + 20. Are v and -1/7 equal?
False
Let j = 198.5 + -198.57648. Which is bigger: 3 or j?
3
Suppose -5213*l + 100 = -5203*l. Are l and -106 equal?
False
Let m = -31.72 - -32.72. Which is smaller: m or 205/21?
m
Let k be (-17842)/(-4653)*(-45)/12. Let h = 27/94 - k. Is h < 14?
False
Let c be 1 + (-30966)/37 - 0. Let w = -836 - c. Suppose 56 = -2*i + 54. Is w smaller than i?
False
Let s(y) = -2*y**3 - 11*y**2 - 2*y + 19. Let d be s(-5). Let r be (-755)/35 - d/(-7). Let n be ((-1)/4)/(r/(-140)). Is -3 bigger than n?
False
Let l = -290 - -293. Let k be (l - (-129)/(-45))/(-1). Is -2/25 less than or equal to k?
False
Let f(z) = -6*z**2 + z - 11. Let b be f(-6). Let c = -3027/13 - b. Which is smaller: c or 0?
0
Let c(d) = 4*d**2 + 11*d + 6. Let p = 61 + -56. Let o(l) = -3*l**2 - 7*l - 4. Let u(i) = p*c(i) + 7*o(i). Let x be u(6). Which is greater: x or -0.7?
x
Let v = 1/283 - 313/8490. Let o = 17/90 - v. Let i = o - 28/45. Which is smaller: 1 or i?
i
Suppose k + 2552 = 3*k - 3*p, 1258 = k + 3*p. Suppose c = 5*v + 280, 5*c - k = 2*v - 3*v. Let z be 1 + (3/(-4) - c/(-20)). Which is smaller: z or 0?
0
Suppose 86*g + 1058 + 404 = 0. Are -193 and g equal?
False
Let j = 1547 - 10831/7. Which is smaller: 1097 or j?
j
Let r = -2.652 - 0.518. Let k = r + 6.17. Is k >= 25?
False
Let p = -192 + 193. Suppose -p = -4*z + 5*u, -1 = -3*u - 4. Which is smaller: z or -3/20?
z
Suppose 12*r = 9*r - 36. Let t be r - (-8)/(4/(-2)). Let s(y) = -18*y**3 - 6*y**2 + 4*y + 2. Let o be s(1). Is t less than o?
False
Let d = 13.7048 + -2.7358. Let n = -0.031 - d. Which is smaller: 1 or n?
n
Suppose 0 = j + 3*j. Suppose j = 5*d - m - 66, -2*d - 3*m + 82 = 3*d. Let p be 18/(-22) - d/77. Is 2/179 at most as big as p?
False
Suppose -444 - 352 = -22*k + 1382. Let l = 231 + -143. Let x be (2/(-24))/(k/l). Which is greater: x or 1?
1
Let d(z) = 3*z + 136. Let t be d(8). Let s be (-24)/t*5 + (-1778)/8. Which is bigger: s or -224?
s
Let f(q) = q + 174. Let t be f(23). Let v = t + -206. Is v at least -54/7?
False
Let r = -277 - -284. Suppose -r*f = -43*f + 1908. Which is smaller: f or 52?
52
Let v = 2200.18 - 2200. Is -14 != v?
True
Suppose 5*c + 2104 = 2*l, -12*l + 14*l - 4 = 0. Let r = -819/2 - c. Which is greater: 12 or r?
12
Suppose 5*a + 2*u = -5954, -8*a + 3*a = -4*u + 5912. Which is bigger: -1186 or a?
-1186
Let x be (-3492)/(-679)*1218/4. Are 1566 and x nonequal?
False
Suppose -46 - 28 = -5*o - 2*i, -4*i - 60 = -3*o. Suppose o = 13*j - 11*j. Suppose -4*y = -j, y = -5*q - 4*y + 40. Is 3 less than q?
True
Let s = -0.085 + 0.013. Let m = -0.072 - s. Which is bigger: m or 0.049?
0.049
Let b = -0.07743 + -128.92257. Let j = -2 - -2. Is b less than or equal to j?
True
Let o be (26/(-42) - 36/(-126))*9. Let s be 1*(2 + o) - 148/(-144). Let j = -1 + 1. Is j at most as big as s?
True
Let o be (1 - -1)/((-2)/1091) - (57 - 54). Which is smaller: o or -1091?
o
Suppose 0 = 96032*j - 96040*j + 13048. Is j bigger than 1636?
False
Let w = 1048290/1727 - 607. Let d = w - 327/22451. Which is greater: 0 or d?
0
Suppose -t = 5*g - 51, 0*t + t = -g + 59. Let i = t + -60. Let z be (i + -4)/((-186)/(-64) + -3). Are z and 31 nonequal?
True
Suppose -2775*c + 2776*c = -d - 6, 3*c = -4*d - 22. Suppose -2*j + 1 = -0*j - 3*o, -5*j + 2*o = 25. Which is smaller: c or j?
j
Let k(a) = a**3 - 5*a**2 - 54*a - 19. Let f be k(-5). Is f bigger than -2/7833?
True
Suppose 5*g - 5 = 4*o, 6*o + 3 = 2*o + 3*g. Suppose -2*r + 27 = -5*t, o = -r + 2*r - 2*t - 11. Let d be (-10)/6 - 80/(-30). Is d smaller than r?
False
Let c(x) = -x - 43. Let q be c(-44). Is 2/5841 less than q?
True
Suppose i - 3*w = 2*w + 79, -4*i + 4*w + 300 = 0. Let v = i - 212. Let s be v/(-88) + 1 + (-9)/12. Which is g