h is bigger: v or 0.1?
0.1
Let p(q) = 59*q + 8. Let s be p(-1). Let j = -43 - s. Is j less than or equal to 8?
True
Suppose f + 6 = 2*f. Suppose -3 = o, 3*g - 3*o = -0 - f. Which is bigger: g or -44/9?
-44/9
Let j be (1 - -1)*-1 + 1674/(-20). Let o = 177/2 + j. Are o and 3 nonequal?
True
Let r = 0.23 - -5.77. Let z = r - 6. Is z not equal to 0?
False
Let f = 27 - 40. Let y = f + 12. Is y <= -1/10?
True
Let z be (41 + -1)/(2/4). Suppose -4*v - z = -0*m + 5*m, -5*m = 20. Suppose n = 3*t + 14 - 22, 4*n + 60 = -2*t. Which is bigger: n or v?
n
Let s = -12 - -22. Suppose -4*o = -2*k - s, -2*k + 0*o - 4*o + 14 = 0. Suppose c + 14 = k. Is -14 at most as big as c?
True
Let h = 6 - 5.7. Let a be (-3)/24 - 639/568. Is h < a?
False
Let b = 415 - 411. Suppose 0*h - 8 = -4*h. Suppose -5*n = -h*n - 15. Are b and n unequal?
True
Let t be (-7)/14 + 5/(30/796). Let p = -133 + t. Let y be 6/(-88) - (-2)/8. Does y = p?
False
Let y(z) = z - 7. Let l be y(-14). Let o(c) = -2*c**2 + 7*c + 8. Let n be o(6). Which is smaller: n or l?
n
Let p(g) = 4*g**3 + g**2. Let q be p(1). Suppose 0 = -2*x - a - a - 6, x - 3*a - q = 0. Is -2/73 greater than x?
True
Let l(k) = 2*k**2 - 19*k - 92. Let n be l(13). Which is smaller: 1/429 or n?
n
Let v(t) = t - 4. Let l be v(3). Let g be (2/(-177))/((-17)/(-51)). Which is bigger: l or g?
g
Suppose -3*m = -49 - 44. Let w = m - 10. Do w and 39/2 have different values?
True
Let x = 83.3 + -83.2. Is x at least -897?
True
Suppose h = -2*h + 3. Suppose -y + h = -5. Suppose 0 = -4*q + r - y*r - 12, 2*q + 5*r = -16. Which is smaller: 5 or q?
q
Let l be 1 - (2/(-12) + 55/(-66)). Suppose -4*k + 10 = -5*i + k, 4 = -3*i + l*k. Is i smaller than -5/6?
False
Suppose 74 = 5*m + 4*b, 82 = 3*m + 2*m + 2*b. Let h be 106/6 + 6/(-9). Is h not equal to m?
True
Let y be (-64)/256 - 986/(-40). Which is smaller: 24 or y?
24
Let l(q) = -q**3 - 10*q**2 + 8*q - 16. Let c be l(-10). Which is greater: -94 or c?
-94
Let z = -0.05 + -0.05. Is z < -16/3?
False
Let i(g) = g**2 - 4*g - 6. Let f(q) = q + 2. Let h be f(4). Let l be i(h). Which is greater: l or 5?
l
Let l = 0.0833 + 2.9167. Is l not equal to 108?
True
Suppose 11*c - 10*c = -25. Let v = 33 + c. Is v at least 8?
True
Let y = 50 - 72. Let x be 2 - 2*165/6. Let g = x + 31. Is g at most as big as y?
True
Let q be (0/(-8))/(-4 + 3 + -1). Let h be -4 - (-2 - 4)/3. Let u be -1 + h/24*-2. Is q greater than u?
True
Let z = -959/2 + 480. Which is greater: z or 1/15?
z
Let n be 1/(1/(-6)*-2). Suppose h - 2 = n*h. Let t be 3 + h + 48/(-27). Which is bigger: 1 or t?
1
Let v be 3 + -1 + -2 - -9. Let i be (-82)/(-232) - v/36. Is i bigger than -1?
True
Suppose -24 = -4*o + 2*o. Suppose -k = 13 + o. Which is greater: -24 or k?
-24
Suppose -5*y - 2 = -b + 24, 2*b = 3*y + 17. Which is smaller: 1/251 or b?
1/251
Let c(o) = o**2 - 22*o - 3. Let j be c(23). Suppose 11*m - 6*m = j. Is m less than 0?
False
Let o(x) = 2*x + 3. Let z be o(-3). Let v be -1*((-35)/(-105))/((-2)/(-6)). Is z < v?
True
Let h = -0.12 - 0.03. Let c = -0.05 - h. Let z = -8 + 8. Which is smaller: z or c?
z
Let z(k) = k**2 + 6*k - 16. Suppose n = 4*i - 12, 3*i = -2*n - 9 - 4. Let o be z(n). Which is smaller: 1/96 or o?
o
Let u be 133/(-76) - 6/(-8). Let b be (-1 - (-3 - -2)) + u. Are b and -1/14 non-equal?
True
Let o be 20/3*(-12)/10. Let b be 6/21 - (-5)/7. Let x = -6 - b. Which is smaller: x or o?
o
Let z(n) = n**3 - 8*n**2 + 5*n + 16. Let m be z(7). Suppose t + 5 = m*t. Which is smaller: t or 9?
t
Suppose 2*n - 5 = -2*b - 1, -4*b - 2*n + 10 = 0. Let u be (-5)/(-3) - 2/b. Which is greater: -2/11 or u?
u
Let d = -77 - -63. Is -17 greater than or equal to d?
False
Let u(r) = -15*r + 0*r**2 - 8 - r**2 + 3*r**2 + 0*r**2. Let j be u(8). Which is bigger: 1/13 or j?
1/13
Let l = -152668/1171 - -981724499/7504939. Let c = l + 24/2465. Let t = 3/65 - c. Is 0 at most t?
False
Suppose -15*d - x + 3 = -16*d, 4*d - x = 0. Is d < -2/5681?
False
Let m = -0.24 - 0.06. Let h = 0.1 - 29.1. Let b = h + 27. Which is greater: m or b?
m
Let r be (2 + (-13)/3)*(1 - 4). Let t be (-18)/(-4)*(-6)/(-9). Let d be r*(92/28 - t). Which is smaller: d or 13/4?
d
Suppose 0 = b + 38 - 60. Let j be 48/b - (-4)/(-22). Is j at most 2?
True
Suppose -5*s + 5 = 10. Suppose -150*k - 977 = -377. Which is smaller: k or s?
k
Let f = 497 - 642. Which is bigger: f or -1/2?
-1/2
Let d be (-2 - -4)*(0 + 2 + -3). Let t be 4/((15 - -3) + d + -2). Which is smaller: t or 0?
0
Let w = 459539/4476 - 1/1492. Let a = 102 - w. Let p be (1/2)/(-1)*2. Which is bigger: p or a?
a
Let l be 6/(-9) + -5 + 1. Suppose 3*u + 65 = 8*u. Suppose 6*i = -u - 17. Do i and l have the same value?
False
Let h = 0.8 + 0.2. Let m be 560/144*9*(-1)/(-5). Is m < h?
False
Suppose 7 = -g - u, -3*u = -6*g - 4*u - 27. Is g greater than or equal to 15?
False
Let b = -9/12002 + -10609687/108018. Let p = b + 98. Which is greater: -0.2 or p?
-0.2
Let h be (60/40)/((-678)/8). Is 1 != h?
True
Let k(g) = 13*g**3 + 5*g**2 + 13*g + 1. Let x be k(-2). Is -111 smaller than x?
True
Let o = -1/136 + -265/952. Which is smaller: o or -19?
-19
Suppose 3*b = -5*n + 29, 55 = 5*b + 9*n - 4*n. Suppose b*m - 10*m = -6. Which is smaller: m or -3?
-3
Let w(y) = -4*y + 40. Let t(n) = -6*n + 60. Let o(s) = 5*t(s) - 8*w(s). Let x be o(14). Suppose -x*h + 3 + 5 = 0. Which is smaller: h or 3/8?
3/8
Let w be (50/(-40))/(((-1)/16)/(-1)). Let n = w - -19. Which is bigger: n or 0?
0
Let k be (-110*(-5)/80 - 7)/(5/(-20)). Suppose -7*x + 184 = -3*x. Which is greater: k or x?
x
Let v(c) = -c + 9. Let z be 153/15 - 2/10. Let j be v(z). Let i = j - -2. Which is smaller: i or 0?
0
Suppose -188 = 5*t - t. Let h = -30 - t. Which is bigger: h or 16?
h
Let w = -4.785 - -0.785. Which is greater: -18 or w?
w
Let h be (-4278)/(-1428) + 0 + -1*3. Which is greater: -1 or h?
h
Suppose 0*z + 2*z + 84 = 0. Let g = 43 + z. Is 3/2 at least g?
True
Let w be (-1)/(2 + (-355)/180). Let y = w + 34. Which is smaller: -4/3 or y?
y
Let a = -1289 + 3908/3. Suppose 79*n - 3*q = 74*n + 51, 5*q = 40. Which is greater: a or n?
n
Let r be 13/39 + 57/(-9). Which is smaller: -75/16 or r?
r
Suppose -11 = 4*q - 2*w - 1, -w = -q - 4. Let a = 3 - 6. Is q bigger than a?
True
Let x(t) = -2*t + 6. Let r be x(-7). Let f be ((-68)/r - -3)*30. Is -14 at least f?
False
Let x be -5 + -4 + 2 + 3. Let o be (1 + x - 1)/(-2). Suppose -o*b - 2*b + 21 = 3*u, b = -3*u + 21. Is u at most 7?
True
Let m be (-26)/(-12) - (-1 + 3). Let u = 36.3 + -36.101. Let d = u - -0.001. Is m <= d?
True
Let t = 4 - -101. Let a = t + -104. Let h be 4/(-30)*3/(-2). Is a at most as big as h?
False
Let a(f) be the second derivative of -f**5/20 + f**4/3 - f**3/3 + 3*f**2/2 - 12*f. Let k be a(4). Which is greater: k or -1?
-1
Let o = -0.7 - -1. Let p be 156/(-130) - 39/(-20). Is o at least as big as p?
False
Let l be -4 - (-4 - (-2 - -25)). Let v = l - 91/4. Is v < 1/6?
False
Let y = 42 - 38. Let w = 15 - y. Which is smaller: w or 37/3?
w
Let b = -667 + 39354/59. Which is smaller: b or -1?
-1
Let h = 21 - 27. Let m = 64/11 + h. Which is bigger: -1 or m?
m
Let a = -9 + 10.4. Let b = 1.1 - a. Let d = 9/35 - -1/7. Which is smaller: d or b?
b
Let t = 6 - 8.3. Let s = -2.31 - t. Let j(o) = -o**3 - 6*o**2 + 7*o. Let b be j(-7). Which is greater: s or b?
b
Let h = 2 - 1. Let z be -3*-2*5/150. Let a = z - 9/20. Which is smaller: h or a?
a
Let h(n) = -n**3 + 7*n**2 + 9*n + 7. Let l be h(8). Let a(f) = 2*f + 2. Let s be a(2). Suppose -x = -s*x + l. Which is greater: x or 4?
4
Suppose 154*i + 12 = 155*i. Which is greater: i or 0?
i
Suppose -26 = -3*l - 2. Suppose 5*u + l = 3*n + 3*u, -1 = -2*n - 3*u. Suppose 0 = n*w - 33 + 9. Which is bigger: 13 or w?
13
Let y be (41/(-3))/((-2)/4). Let i = -27 + y. Which is smaller: i or 16?
i
Suppose 7*i = 2*i + 30. Let s be (-23)/52 - i/144*6. Which is smaller: s or -2?
-2
Let k(h) = -12 + 16 - 2*h**3 + 3*h**3 + h**2. Let j be (-2)/5 - (-6)/15. Let o be k(j). Is 5 <= o?
False
Let t = -4 + 14. Let k = 10.145 + 0.055. Let n = t - k. Which is smaller: 1 or n?
n
Suppose -4*r = -1 - 7. Suppose 2*i - 5*j + 5 = -0*j, 4*j = i - r. Suppose -f = -0*d - 5*d - 60, 5*f = -5*d - 30. Is i greater than d?
True
Let j(z) = -9*z + 239. Let n be j(27). Is 11 less than or equal to n?
False
Let r(o) = 2*o - 5. Let u be r(5). Suppose u*t 