*2 + 47*h. Let w be o(v). Which is smaller: 3 or w?
3
Let f = -17834 - -17835. Is f equal to 5/4931?
False
Let l be (-17 - 0) + 11 + -5. Let t be (-4)/(l*4)*(-8)/8. Which is bigger: 0 or t?
0
Let t = 62 - 42. Suppose 2*n = 3*m + t + 3, 3*m + 43 = 4*n. Is n not equal to 17?
True
Let x = -0.54 + 0.61. Let f be (-14)/24*(-36)/168. Is x < f?
True
Let l = 3127461/1246 + -2510. Which is smaller: l or 1?
l
Let p(o) = -7*o - 58. Let l be (30/4 - 2)/(1/(-2)). Let n be p(l). Which is smaller: 0 or n?
0
Let k = 247 + -456. Let w = k + 209.008. Is -0.2 greater than or equal to w?
False
Let o(a) = -553*a - 171. Let g be o(-3). Suppose -2*z - g = 5*r, 16*r - 21*r + 3*z = 1468. Is r less than -298?
False
Let i = -2101/2 + 1087. Let r = i + -37. Which is bigger: r or 130?
130
Let b be (-110)/56 - (0 - 0 - 2). Suppose -16 = -4*y + 4*n - 48, 3*y - 5*n = -34. Let g be y*(-3)/(6 + 3). Which is bigger: b or g?
g
Let g be (48/5350)/12*(3 + 2). Is -1 bigger than g?
False
Let d = -0.139 - -244.139. Let c = -243.5 + d. Is -36 at most as big as c?
True
Let o = -72533/10 + 7254. Which is bigger: 0.09 or o?
o
Suppose 0 = t - 13 + 10, d = t + 998. Is 1001 greater than or equal to d?
True
Let f be 3 - (-3 - 1449/6)*(-4)/276. Which is bigger: f or -9?
f
Let y = 6018 - 5926. Is -11 greater than y?
False
Let l be 3986/51 + 0 + 1. Let z be (-81)/(-39) + -2 + (-142186)/(-1794). Let h = l - z. Which is bigger: -1 or h?
h
Suppose -30 = -4*s + 14*s. Let n be (-1128)/4576 - s/12. Which is smaller: n or 0?
0
Suppose -4*f - 12 = 0, -3*f - 231 = -10*n + 8*n. Let y(q) = q**3 + 9*q**2 - 2*q - 3. Let s be y(-4). Let d = s - n. Which is smaller: -24 or d?
d
Let h = -28.284 - -28.784. Which is greater: 3.2 or h?
3.2
Let j(k) = k - 6. Let g be j(6). Let o = 4280005/29 - 147587. Which is smaller: o or g?
o
Let p(u) = 2*u**3 - 2*u**2 - 2*u. Let f be p(2). Suppose 4 = -4*n - 4*g, -3*g - 2 = f*n + 4. Let h = -1450/427 - 2/61. Is h not equal to n?
True
Let x = -94 + 99. Let t be ((-8)/(-10))/(7*(-1)/x). Do t and -1 have different values?
True
Let m = -566 - -640. Let k = -73 + m. Let v = 1/40 - -63/680. Which is bigger: k or v?
k
Let p = -157522/11 + 14280. Is p at most as big as -41?
False
Let n = -276 + 476. Let d = -200.3 + n. Let q = 1071/4 - 269. Which is bigger: q or d?
d
Let h(f) be the second derivative of f**5/20 - f**4/2 - 2*f**3/3 - 6*f**2 + 7*f + 6. Let b be h(8). Is b >= 85?
False
Let q = -275 - -434. Is -0.04 <= q?
True
Let a = 132 + -82. Let i be ((-1)/(-31))/(a/550). Which is smaller: 1 or i?
i
Let p be (-1)/((-62)/140) - 2. Let h be (8/6820)/((7/7)/530). Let r = h - p. Is r >= -0.1?
True
Let i = 7/17 + 3/34. Let j be (16/10)/(4/70). Let z be 2/(-4)*j/(-6). Is z at most i?
False
Let x be 15/(-12)*(-1)/(-2). Let l(z) = -3*z**3 + 2*z**2 + 63*z + 9. Let c be l(5). Which is bigger: x or c?
x
Suppose 2*z - z - 3 = 0. Suppose 2*j - 74 = 2*h, z*j - h = -0*j + 117. Suppose -k = -2*g - 40, 0*g + 41 = k - 3*g. Is k < j?
True
Let s(h) be the second derivative of -h**3/6 - 9*h**2/2 - 106*h. Let q be s(-4). Is q < -69/11?
False
Let x be (9/(189/28))/(2/3). Suppose -x*l = 4*v + 18, 3*v + 19 = -l - v. Which is bigger: -2/43 or l?
l
Let q = 10 + -5. Suppose 554*o - 140 = 553*o. Suppose 0 = -q*b - 4*c + 82, 3*c + 61 = -5*b + o. Is 12 at least b?
False
Let d be (-12)/(17 + -23 - -7). Is -390/29 != d?
True
Let y(k) = -k. Let j(w) = w**3 + 12*w**2 + 8*w + 11. Let x(b) = -j(b) + 4*y(b). Let h be x(-11). Suppose h = 5*d + 26 - 86. Does d = 13?
False
Let x be ((-561)/558)/11 + (-1)/(-3). Let l = -5289/434 - x. Which is greater: l or -11?
-11
Let i(u) = 62*u - 32*u + 1 - 4. Let m be i(3). Suppose 0 = -11*t - 21 + m. Do 8 and t have the same value?
False
Let k = -298 - -71. Let v = 225.3 + k. Let g = -3 - 0. Is v less than g?
False
Suppose 0 = 3*y - 4*m - 1398, -258 = 2*y + 3*m - 1173. Let b = 454 - y. Is 5 <= b?
False
Suppose 0 = 5*m - 4*a - 8, -390*a + 4 = -3*m - 392*a. Which is greater: -1/2000 or m?
m
Let p be ((-3)/(-2) - 1)/(-1). Let i(y) = 14*y + 230. Let a be i(-17). Let n be 2/(a - -4) + -1. Which is greater: n or p?
p
Let v = 0.61335 + -0.06035. Which is bigger: -0.2 or v?
v
Let a = -1.5787 - -0.5787. Which is smaller: -1.9 or a?
-1.9
Let m(q) = -q**3 + 18*q**2 + 20*q - 16. Let z be m(19). Let s be 108/(-17) + 3 + -1 + z. Is s smaller than 0?
True
Let i(l) = -296*l + 2384. Let n be i(8). Is n != -191?
True
Let z(x) = -4*x**2 - 8*x - 10. Let j be z(-1). Let g be (j + 80/15)/(2/(-114)). Which is greater: -2 or g?
g
Let o be (-5)/1025*(-5)/(-76). Let s = 6067/514140 - o. Do s and -1 have the same value?
False
Suppose 58*r = 23*r - 34*r - 124683. Is r <= -1807?
True
Let j be (-25)/(-15)*(-3)/5. Which is smaller: j or 12/4799?
j
Let g = 9926 - 10028. Which is smaller: -506/5 or g?
g
Suppose 4*f + 0*f - 8 = 0. Let g be 0/(4 - f) + 0. Suppose 23*w = 19*w + 25*w. Is w less than g?
False
Suppose -6*t - 3*t = -342. Suppose -p + t = -5*b - 82, -2*b = -p + 108. Let y = p + -93. Are 6 and y equal?
False
Suppose -b = -12 - 10. Suppose -2*v = -3*v + b. Suppose 3*w = 6, -v = 3*y - 5*y - 2*w. Which is smaller: y or 10?
y
Let s be 5/20*(-455448)/21. Which is smaller: s or -4?
s
Let r = -69 + 82. Let g = r - 27. Is -15 bigger than g?
False
Suppose 432*w - 407*w - 525 = 0. Which is greater: w or 155/7?
155/7
Let r = 3804 + -3805. Which is smaller: -122/49 or r?
-122/49
Suppose 8*i + 8006 - 32094 = 0. Let m = 8899/3 - i. Is m equal to -44?
False
Suppose 4*x - 7*f = -2*f, 2*x + 22 = -3*f. Let u be 60 + (1/5 - (-1)/x). Let r = u + -106. Which is greater: r or -1?
-1
Let x be 16/(-18) - (-2)/6. Let t = -11/9 - x. Let k = -11123 + 11115. Which is greater: t or k?
t
Let a = 1.16 + -1.308. Let n = a + 16.148. Which is smaller: -4 or n?
-4
Suppose 0 = 4*h - 3*d - 25, 0 = 2*h + d + 32 - 37. Let f be (h/(-36)*-3)/((-24)/(-72)). Let p = 12970/741 + -228/13. Is p > f?
False
Let r(o) = o**2 + o - 38. Suppose 20*j + 54 + 46 = 0. Let u be r(j). Is -20 equal to u?
False
Let n be 2/(-1) + -138 + 3. Let z = 221 + n. Suppose -52*s = -50*s - z. Which is bigger: s or 41?
s
Let j(f) = -f**3 + 50*f**2 - 142*f + 33. Let t be j(47). Let o be (8/t)/((-14)/49) + -5. Is o less than -62/27?
True
Suppose -144 = z + 24. Let v be 8/34*(-162)/z. Let h = -1/17 - v. Is -0.11 greater than or equal to h?
True
Let i = -11904 + 226269/19. Is i less than or equal to 5?
True
Suppose -5*r - 77 = -c, -3*r - 4*c - 55 = -9*c. Which is bigger: r or -73/5?
-73/5
Let b(u) = u**2 + 13*u - 11. Let r be b(-14). Suppose 1 = 2*m + r. Let p be ((-147)/1225)/(6/4). Which is bigger: p or m?
p
Let c be (-10)/130 + 56832/(-52). Which is smaller: c or 0.1?
c
Let q = 10925723523/48655 + -224555. Which is smaller: q or 0?
q
Let f(g) = -23*g + 84. Let l be f(4). Let u be (720/81)/l + 1 + 0. Do 1.7 and u have the same value?
False
Let p be -2 + ((-1)/(-2))/((-31)/(-15934)). Which is smaller: p or 268?
p
Suppose 0 = -44*p + 72*p - 161644. Do 5774 and p have the same value?
False
Let m be (-2)/32 + (-1602)/992. Are m and -2 equal?
False
Let m(w) = -w**3 + 9*w**2 - 7*w. Let v be m(6). Let p be 2/34 - 222/306. Is p less than v?
True
Let v be (-9)/(-4)*(0 + 8 - -4). Suppose 0*j = -3*j + v. Which is smaller: 43/5 or j?
43/5
Let k = -11381.922 - -11382. Which is bigger: 5.8 or k?
5.8
Let g = 3382 + -3380. Is g < 69/49?
False
Let c(a) = 20*a - 161. Let j be c(9). Suppose j*q - 34*q = 720. Is -40 < q?
False
Let u be (6/(-2) + 3*2/1)/29. Let z = 1 + 2. Suppose -1 = 4*o - z*o. Is o <= u?
True
Let v = 292 + -13. Let r = v - 279.3. Is r < 0.26?
True
Suppose -13*b + 1766 = -5*f, -13*f + 1375 = -17*f + 5*b. Are -344 and f equal?
False
Let f = -5993/183 + 98/3. Which is smaller: 0.17 or f?
f
Suppose 0 = -3*i - 6*y + 2*y + 12, -5*i = 3*y - 31. Suppose -107 = -i*a - 99. Which is greater: -7/31 or a?
a
Let z(f) be the third derivative of 2*f**5/15 + f**4/12 + 4*f**3/3 + f**2 - 19. Let t be z(-2). Which is smaller: 39 or t?
t
Let r = 68 + 127. Let y = -212 + r. Is y smaller than -0.2?
True
Let u = 37398 - 37488. Is 2.1 >= u?
True
Let u = -14/1173 + 536/634593. Let m = -8072/630265 - u. Is 0 less than or equal to m?
False
Let c = 218 - 122. Suppose -5*n - 18 = 7, -4*r + 4*n + c = 0. Let g = 0.14 + -0.24. Is r at most g?
False
Let c be (2320/5740 - 6/14)*(-9)/(-8). Is c at least -0.1?
True
Le