 o or 5.1?
5.1
Let d(i) = -i**2 - 2*i + 2. Let k be d(-3). Let o = 930 - 932.2. Is o less than k?
True
Let n be (1/4)/(16 + 2919/(-280)). Are n and -1 equal?
False
Suppose -229 = -21*o + 590. Is o equal to 38?
False
Let k be 1/(3/1725)*(-20)/325. Which is smaller: k or -36?
-36
Let k(z) = 6*z + 295. Let j be k(-49). Which is bigger: 68/53 or j?
68/53
Let q be (-1)/42 - 31/(-186). Which is smaller: -1 or q?
-1
Let f be ((-26)/(-429))/(2/9). Which is bigger: f or 1?
1
Let s(z) = 50*z**2 - 201*z + 5. Let i be s(4). Suppose -w + 0*w = -17. Suppose w = 4*m - 7. Which is bigger: m or i?
m
Let w be ((-220)/(-30) - 8)/((-26)/(-6)). Which is greater: w or -1?
w
Suppose -7*v - 183 + 22 = 0. Which is bigger: -36 or v?
v
Suppose 8*d = 6*d - 626. Let m = d + 7819/25. Let s = -32/75 + m. Is s less than or equal to -2?
False
Let k = -633 - -644. Is 109/11 at most as big as k?
True
Let g = 278 + -278.1. Let d = 1347/28 + -197/4. Which is greater: g or d?
g
Let i = 16616/11 - 1509. Is i > 2?
False
Suppose -2*h + 75 = h. Let r = h - 30. Let l be -1*(2 + 15/r). Which is smaller: l or -1/5?
-1/5
Suppose 5*z = 3*x + 284, -z = -3*x - x - 67. Which is smaller: 57 or z?
z
Let r = -0.21 - -0.45. Let x = r - -0.76. Let k = -1061/42 + 76/3. Which is smaller: x or k?
k
Let j = -1.2 + -100.8. Let r = j - -97. Is 2/25 less than r?
False
Let r = -189139/81 - -2335. Is r less than 0?
True
Suppose -12*z = 41 - 17. Let k be z - -15*6/(-6). Suppose -15 = -3*f - 69. Are f and k equal?
False
Let t = -5.69 - -123.29. Let f = t - 117. Which is smaller: f or 3?
f
Suppose g - 6*g = 1050. Let b be 14/g*(-6)/(-8). Which is bigger: 1/3 or b?
1/3
Suppose 0 = 7*n + 5 - 26. Suppose -n = -3*h - 6. Is h smaller than 2/109?
True
Let z(l) = l**3 - 11*l**2 - 11*l - 9. Let i be z(12). Suppose -i*k - 9 = f - 4*f, 9 = 2*f - 5*k. Which is smaller: 3 or f?
f
Suppose 36*n - 651 = 15*n. Which is bigger: 52 or n?
52
Let q = -2428 + 2712074/1117. Is q != -1?
True
Let x(p) = -p**2 + 3 + 5*p - p + 5*p. Let v be x(8). Suppose 236*c + 140 = 250*c. Which is smaller: v or c?
c
Let g = -2.5 - -1.3. Let o = -22.95 + -0.05. Let r = o + 23.1. Is r < g?
False
Suppose -4 = -3*m - j, -4*j = -3*m + 194 - 180. Which is bigger: m or -92?
m
Let l(b) be the third derivative of -b**6/120 + 7*b**5/30 - b**4/2 - b**3/6 + b**2. Let p be l(13). Let y = -12 + p. Do y and 1/3 have the same value?
False
Let d be -5*(-4)/7 + -72 + 68. Which is smaller: d or 0.2?
d
Let d(p) = p - 3. Let l be d(2). Let b be (-144)/(-54)*l/4. Let s = -43 - -343/8. Is s less than b?
False
Let v(u) = -8*u - 46. Let s be v(-19). Let f = -118 + s. Suppose -33 = w + 2*w. Which is smaller: w or f?
f
Suppose -10*q + 88 = -212. Let a(l) = -l**3 - 3*l**2 + 5*l + 5. Let z be a(-5). Is q <= z?
True
Let i be (20/7)/((-18)/49). Which is smaller: -9 or i?
-9
Let d = 638/3 - 213. Let w = -77/31 + -1/62. Which is bigger: d or w?
d
Suppose -28 = 11*l + 17*l. Let z(n) = 4*n + 1. Let f be z(1). Let p be (-10)/5*f/12. Which is smaller: l or p?
l
Suppose -29*y + 5*y = -2952. Which is smaller: y or 122?
122
Let l = -858 + 747. Is -2 not equal to l?
True
Let b = -771.9 + 772. Is 484 less than b?
False
Let n(q) = 10*q**3 + 49*q**2 - 44*q - 54. Let f(w) = 3*w**3 + 16*w**2 - 15*w - 18. Let c(o) = -7*f(o) + 2*n(o). Let v be c(-15). Is -12 at most v?
True
Suppose 14*x - 284 = 570. Suppose -x*k = -60*k - 110. Is k at most 111?
True
Let z = -6 + 5. Let s = 140 - 140.5. Which is bigger: s or z?
s
Suppose 4*s + 12 = -0*s. Let q be (-4)/52*(-3)/s. Do q and 0 have the same value?
False
Let q = 18447/35 + -527. Let p = -2818.9 - -2819. Is q at least p?
False
Suppose 3*v - 12 = 15. Is -2/5 at least v?
False
Let y(n) = n**3 + 14*n**2 - 18*n + 26. Let c be y(-15). Which is greater: c or 70?
c
Let s = 144.95 + -145. Let y = -0.45 + s. Let v be (1/3)/(-1 - 0). Which is greater: v or y?
v
Let k = -2671/32 + 167/2. Which is smaller: k or 1?
k
Let t = 1473279/11 + -134099. Let c = -164 - t. Which is smaller: c or 0?
0
Let p be ((-825)/(-72))/11 - 2/2. Let x = 11 + -10. Which is smaller: p or x?
p
Let u(o) = 11 + 100*o**2 - 53*o**2 - 7*o - 46*o**2. Let a be u(4). Let h be (-1 - -1) + (-8)/(-52). Which is smaller: a or h?
a
Let c be (525/(-114))/7 + (-1)/(-2). Which is bigger: 1 or c?
1
Let w be (6/27)/(-8 + (-90)/27). Which is bigger: w or -7/4?
w
Let s = 28 + -25. Let b(o) = 2 - 2 - s - 15*o + 0. Let p be b(1). Is p less than or equal to -18?
True
Let t = -16 + 18. Suppose -t*q + 124 = -5*u, -2*u + 4*u = 4*q - 56. Let f be (-7)/6 - 16/u. Are f and -1 non-equal?
True
Let j be 2 + 7/(-4)*-3. Let n be (-45)/(-7) + (128/28 - 5). Which is smaller: j or n?
n
Let c = -16 + 15.92. Let m = 0.18 + c. Let n = 0.06 - m. Is n greater than 2?
False
Let i = -24.057 + 0.057. Let r = 25 + i. Let h = -6.6 + 7. Is h at most r?
True
Let b(h) = 4*h**3 - 2*h**2 + h + 1. Let z be b(1). Suppose 2*i + 2 = -f + 4*i, -z*i + 24 = 3*f. Is 18/7 >= f?
False
Suppose -77 - 28 = -5*z. Let c be (-12)/(-7) + 6/z. Is 10 greater than c?
True
Let y = 79 + -83. Let n be -6*(-2)/y*(-52)/6. Is n != 27?
True
Let x be -197 + ((-20)/(-35))/(2/(-7)). Is -199 less than x?
False
Let u = 0.1 - 0.145. Let a = u - -22.045. Let v = a + -21.8. Is -0.1 < v?
True
Let n = 143900/19 - 7578. Which is smaller: -4 or n?
n
Let l(p) = p**2 - 11*p + 13. Let d be l(9). Let c be (-1 + 2)*2 + d. Is c smaller than -3?
False
Let q(x) be the third derivative of 13*x**4/24 + 5*x**3/3 - 26*x**2. Let p be q(-3). Is -29 bigger than p?
False
Suppose 0*u - 2*u - x = -4, 4*u = -4*x + 8. Which is smaller: 4 or u?
u
Let i(j) = -27*j - 7. Let p be i(-4). Let u = 120 - p. Which is smaller: 17 or u?
17
Let s be ((-18)/60)/(3/(-5764)). Let x = s - 573. Which is smaller: x or 2?
2
Let l = 22 - 14. Suppose -l*x = -7*x - 27. Suppose -2*q = -7*q + o + 21, -3*o + x = 3*q. Do 5 and q have the same value?
True
Let a(p) be the second derivative of 4*p + 2*p**2 + 0 - 1/3*p**3. Let g be a(3). Which is smaller: -3 or g?
-3
Let h(f) be the first derivative of f**6/360 + f**5/120 - f**4/24 + f**3/3 - 3. Let m(l) be the third derivative of h(l). Let x be m(-2). Does x = -4/9?
False
Let p = -13 - -13. Let a = 1.6 + -2. Let w = a - 0.1. Is p <= w?
False
Let l(s) = -s**3 + 7*s**2 - 6*s - 3. Let y(m) = -m**2 - 6*m - 2. Let w be (1 - 2)/((-5)/(-20)). Let o be y(w). Let a be l(o). Is -3 smaller than a?
False
Let m = -3.04 - -2.7. Let v = 0.44 + m. Are v and 37 equal?
False
Let i(t) = -t**3 - 19*t**2 - t - 17. Let b be i(-19). Let p be (-1)/((-3)/b - -2). Which is smaller: -10 or p?
-10
Suppose 84 = -0*t - 6*t. Let y be 4 + -3 + t/18. Let i = 213/55 + -36/11. Is y greater than or equal to i?
False
Suppose 2 + 3 = -5*o. Let v = 3 - o. Suppose x = v*x. Is 0 > x?
False
Let l(u) = -u**3 - 3*u**2 - 4*u - 3. Let a be l(-2). Let h be 18/63 - 96/(-7). Let y be 26/h + -1 + 0. Which is smaller: a or y?
y
Suppose 2 = 7*f - 5. Let q be ((-6)/(-8))/(f/(-20)). Is -16 at most q?
True
Let m = 30 - 28. Suppose 0 = -4*h - m*h + 18. Let v = 2 - 1. Are v and h nonequal?
True
Let c = 8.1 - 8.3. Are c and -22/19 equal?
False
Suppose 2*r - 3 = 1. Suppose -4*n + 24 = -68. Suppose n = 5*v + 8. Which is smaller: v or r?
r
Let c = -1397/5 - -206771/740. Is c < 1?
True
Let m = 41 - 45. Is m less than -50/11?
False
Let j be 75/6*(4 + -3)/20. Let m = j + -1/8. Let r = 16/9 + -19/9. Which is bigger: m or r?
m
Suppose -g + 6*y + 19 = 2*y, 3*g - 5*y - 50 = 0. Suppose k - 4*k + g = 0. Suppose k*d = d + 5*f - 15, 4*d - 2*f = -6. Is d at most as big as -2/5?
False
Let w be (-2)/(24/356) + (-6)/(-3). Is w <= -28?
False
Let k be (1/12)/((-8)/12). Which is smaller: 15 or k?
k
Let p(d) = -4*d + 17. Let j be p(12). Let g = j + 35. Which is greater: 0 or g?
g
Suppose 2*v - 5*v = -9. Suppose 5*u = 4*d - 63, -4*u - 2*d - v*d = 75. Let s be 2/(-7)*35/u. Is 0.2 >= s?
False
Let d be (339/(-117) + 3)*(-1)/2. Do d and 0.5 have different values?
True
Let x be ((-1638)/455)/(14/5). Let k = 0 - 0. Which is greater: k or x?
k
Let n = -35 + 43. Suppose -2*q + 4 + 2 = 3*z, 4*z = n. Which is smaller: q or -4/7?
-4/7
Let x be (-16)/136 + (-144)/(-68). Let w be 91/21 + 4/6. Is w < x?
False
Let v = -59 - -66. Are 13 and v unequal?
True
Let v = 0.2 + 1.8. Let p = -41.4 + 75.5. Let a = p - 34. Which is greater: v or a?
v
Let t = 0 - 1. Let s be 4*