s than r?
False
Suppose 15*f - 13*f = 0. Suppose -3*o + 3*m - 8 - 1 = f, 0 = 3*o - 2*m + 8. Let a be (2 - o/(-1)) + -4 + 3. Which is bigger: a or -4?
a
Let b = -6383.8 + 6384. Is 2669 bigger than b?
True
Let k be 37/(666/72) - -3. Let s = -1 + 1. Which is greater: k or s?
k
Suppose 84*z - 83*z = -23. Let l = z + 22. Is 1/55 greater than l?
True
Let f = 1351 + -1350.97. Suppose 4 = 2*p - 4*p. Let o be p/4 + 22/28. Which is smaller: o or f?
f
Let d = -8088.04 - -8088. Is d at most 0.93?
True
Suppose 3*y + 4*i - 1 = 37, 54 = 4*y + 2*i. Suppose 0 = s + 4*m + y, s - 3*m - 12 = -5. Let v be ((-21)/(-63))/(1/15) + -24. Is s equal to v?
False
Let c be 1/4 - (-22421)/(-2516). Let k be ((-879)/204 + 1)*(-352)/(-132). Let t = c - k. Which is bigger: -1 or t?
t
Let t = -29/18 - -11/6. Let k = -67.053 - -0.053. Let r = k + 84. Which is smaller: r or t?
t
Let l = -0.2 + -1.87. Let b = l - -2.27. Do b and 1.2 have the same value?
False
Let j = 21 + -25. Let q be (-4)/(j - -3) - 4. Suppose -2*w - 7 - 3 = q. Do -5 and w have different values?
False
Let d be 3/12*-6 + 561/(-2). Let m = -1417/5 - d. Let o(y) = y + 4. Let t be o(-5). Which is greater: t or m?
t
Let y = -0.3 + 1.3. Let h(q) = -3*q - 5. Let s be ((-18)/(-10) + 1)/(3/(-15)). Let z be h(s). Which is greater: z or y?
z
Let j = -0.116 - -2.116. Let o = 849.78 + -850. Is o at least as big as j?
False
Let n = 171 + -180. Let a be (120/70)/(n/(-84)). Is a greater than 3/4?
True
Let n = 409 - 413. Let h be ((30/n)/(-1))/(60/1040). Is 131 at least h?
True
Let q = -2/957 + -433/957. Let l(c) = -c - 2. Suppose 5*y + 6 - 31 = 0, 5*z - 5 = -3*y. Let d be l(z). Which is bigger: d or q?
d
Let t(x) = 5*x - 10. Suppose 0 = 8*b - 13*b + 50. Let u be t(b). Let r be 30/u + (-131)/20. Which is smaller: r or -5?
r
Let k = 1412 + -1066. Which is bigger: -5 or k?
k
Let s(a) = -247*a - 529. Let k be s(-2). Is k <= 0.2?
True
Let b = -0.0201 + 77.0201. Let x = b - 69. Let a = -12 + 8. Which is greater: a or x?
x
Let s be -124 - (30/120 + 54/8). Are -171 and s equal?
False
Let w be (-22)/120 - (-10)/40. Let y(n) be the first derivative of -n**3/3 + 9*n**2/2 - 8*n - 32. Let b be y(8). Is w greater than b?
True
Let v = -6/143 + -76/5005. Let o = 38.3 - 39.5. Is o at most as big as v?
True
Let c = -4729 + 4731. Is c != 0.57?
True
Let a be (7 - 3)/8 - 3/((-18)/(-471)). Is a bigger than -5?
False
Let l = -5226 + 5367. Is l greater than -10?
True
Suppose -799 = i + 13*i - 813. Is -1/47 less than i?
True
Let i(j) = -155*j**3 - j**2 + 2*j - 7. Let c be i(-2). Which is smaller: 1227 or c?
c
Let a = -22 - -21.7. Let k = a + 0.34. Let v = k + 0. Which is smaller: -2/3 or v?
-2/3
Let s be ((-1)/(-2))/(1/42). Let p(t) = -208*t - 14337. Let b be p(-69). Which is smaller: b or s?
b
Let o(u) be the first derivative of 2*u**3/3 - 2*u**2 - 6*u + 219. Let f be o(-1). Which is smaller: -4.09 or f?
-4.09
Let z = 171/188 + -5677/5828. Which is smaller: -67 or z?
-67
Let u be (-45)/(-25100)*(-5185)/(-696). Let t = -5/928 + u. Is 1 < t?
False
Let n(u) = -u**3 + 13*u**2 + 8*u + 12. Let g be 0 - (-13)/(26/20). Let d be n(g). Suppose -d + 56 = -8*h. Is h less than 43?
True
Let a(t) = -2*t**2 + 4*t + 34. Let q(h) = -h**2 + 4*h + 32. Let l(p) = -2*a(p) + 3*q(p). Let k be l(-5). Which is bigger: k or 29?
k
Let j be 2292/(-15) - (-2)/(-10). Let d be (2 + (-2887)/(-7))/(j/(-762)). Let g = d - 2064. Which is bigger: g or 0?
g
Let z(d) be the third derivative of -d**5/30 + d**4/24 - 92*d**2. Let y be z(-1). Let q be 12/14 + 8/(-28). Which is greater: y or q?
q
Let v = 576 - 81. Let k = -486 + v. Do -0.11 and k have different values?
True
Suppose 56 = 2*w + 2*a, 25*a - 21*a = -w + 40. Is w equal to 343/15?
False
Let j(i) = i**3 + 10*i**2 - 13*i - 22. Let z = 129 - 140. Let w be j(z). Is 9/7 smaller than w?
False
Let x = 0.93 + -1.13. Let d be ((-20)/4)/(16/104). Which is bigger: x or d?
x
Let y = -9176 - -8655. Are y and -4 unequal?
True
Suppose 12*f - 33*f + 225158 = -124*f. Are -0.1 and f equal?
False
Suppose 0 = 6*x - 8*x. Let k be (-534)/(-865) + 132/(-220). Which is bigger: x or k?
k
Let t(q) = -q**3 + 0*q**3 - 3*q**3 + 3*q**3 - 17 - 5*q - q + 9*q**2. Suppose 0 = 4*u - 25 - 7. Let z be t(u). Is -3 > z?
False
Let x(r) = 2*r**2 + 34*r - 22. Let b be x(-22). Suppose 4*n - b = -7*h + 4*h, -5*h = -5*n + 265. Is 50 > n?
False
Let h be (-24314)/42 - (107/21 - 5). Which is greater: -581 or h?
h
Let z = 0.1 + -0.13. Let y = -0.28661 - 0.21339. Is y <= z?
True
Let u = -3023/1332 - -7/148. Let m = 9 + -12. Is m <= u?
True
Suppose -3*s + s = -0*s + 2438. Is -1217 bigger than s?
True
Let g be 2 + 1 - ((-420)/5)/(-28). Which is bigger: g or -84/451?
g
Let y = 2/127211 + 122885816/636055. Is -1/6 >= y?
False
Let t = -693 - -731. Let v be (t/10)/(17/85). Which is smaller: v or 24?
v
Suppose 0 = -58*j + 36 - 964. Let w be ((-5)/(-15)*417)/(-8). Is w less than j?
True
Let t = -1388 + 1415. Let z = -0.026 + 44.026. Let g = t - z. Does g = 0.3?
False
Suppose 3*v + y - 4 = 0, -5 = -5*v + y - 1. Let w = -6433/41 + 157. Which is bigger: v or w?
v
Let j be (84/(-56))/(-2 - -1)*(2 - 3966). Do -5944 and j have the same value?
False
Let c = 0.010348 - 0.000348. Let q(j) = -4 + 4*j - 5*j + 9. Let k be q(4). Are c and k unequal?
True
Suppose -12*k - 17 = -5. Let n be (-1865)/72 - k/8. Is -27 >= n?
False
Let d = -214 - 235. Which is smaller: d or -2?
d
Let f = -2/3 + 1. Let m = -14 - -13.87. Let c = m + -0.17. Which is smaller: c or f?
c
Let d(y) be the first derivative of -24*y + 1/4*y**4 + 11/2*y**2 + 31 + 14/3*y**3. Let g be d(-13). Is 17/9 > g?
False
Let r = -2592.7 - -2593. Let f = 0.78 + 0.02. Which is greater: f or r?
f
Let g be ((-12)/(-6))/(-2) + -805. Let d = -867 - g. Is -312/5 != d?
True
Let j = -1.97 + -0.03. Let f = 2/153037 + 305960/8723109. Which is bigger: f or j?
f
Let h = -12 + 7. Let a(u) = -1122*u**3 + 166 + 1121*u**3 - 190 - 5*u**2 - 5*u. Let m be a(h). Do 2 and m have the same value?
False
Suppose -a - 3*a = h - 347, 4*a + 2*h = 350. Suppose -5*x + a - 46 = 0. Suppose 32 - x = 3*j. Is 8 at least j?
True
Suppose -4485 = -3*t - 2*c, 5*c - 1328 - 6147 = -5*t. Let w = t + -40352/27. Is w greater than 1?
False
Let j = 7759234/8965 - -174/1793. Which is smaller: 867 or j?
j
Let d = 3289 - 1816. Which is smaller: 4417/3 or d?
4417/3
Let v = 5/6316 - -326967/1850588. Which is smaller: v or 0?
0
Suppose -16 = -105*g + 103*g. Suppose 4 = 2*i - 2*s + s, 4*s + g = 0. Is i greater than 3/37?
True
Let s = -27841/3 - -8982. Is -297 at least s?
True
Let f be -4*(-1 + 0)*-1. Let u(y) be the first derivative of -2*y**3 - 45*y**2/2 + 17*y - 59. Let z be u(-8). Do f and z have the same value?
False
Let s(w) = -22*w**2 - w + 2. Let r be s(1). Let y be 364/r + ((-32)/(-6))/4. Which is greater: 8 or y?
8
Let i = 50/101 - 553/505. Suppose 66 = -2*r - r. Which is smaller: i or r?
r
Let j(n) = -11*n - 220. Let q be 15/(-2)*(-896)/(-336). Let s be j(q). Let u be ((-2)/18)/(2/(-3)). Is s smaller than u?
True
Suppose 0*v = -2*v + 80. Let p be v*(-3 - (-18)/4). Suppose -68*m + 72*m = -p. Are m and -46/3 equal?
False
Let b(h) = h**2 + 71*h - 453. Let l be b(-77). Which is smaller: l or -0.024?
-0.024
Let s be 1*1/(-2 - -1). Let b = -880 - -871. Let w be ((-12)/18)/(s/b). Which is smaller: w or -8?
-8
Let a(d) be the second derivative of -d**3/6 - 5*d**2/2 + d. Let z be a(-4). Let k = -9292 + 232302/25. Is z > k?
False
Let u = 0.868 + 7034.132. Which is smaller: u or 3?
3
Let h = 4386 + -4390. Which is smaller: 17 or h?
h
Suppose 0 = 192*d - 191*d - 17. Let s be 119/d + (-153)/(-4). Is s less than or equal to 46?
True
Let f be 11/66 + 105/18. Let p be f/((-24)/220)*-1. Let c = -101 + p. Which is bigger: -47 or c?
c
Let i = 7362 + -7361.98. Is 43/2 at most i?
False
Let b(u) = -3*u**2 + 2*u + 8. Let n = -28 + 25. Let m be b(n). Let s be (-6)/(-15) - (-35)/m. Which is bigger: s or 1/9?
1/9
Suppose 5*a - r = 5, 0 = -0*a - 5*a - 2*r + 20. Let s(j) = -j**3 + 12*j**2 - 31*j + 9. Let p be s(10). Which is bigger: p or a?
a
Suppose 37443 + 1539 = -219*b. Is -6/11 bigger than b?
True
Let c = -104.068 + 92.8. Let k = c - -11.2. Let p = -0.14 - k. Are p and 0 non-equal?
True
Let f = 0.1248 - -145.4752. Let q = -104 + f. Is q smaller than 0.1?
False
Let d = -7885/14 + 563. Let u(n) = 34 + 2*n + 5*n + 3