ch is smaller: 1 or h?
h
Suppose 11*j = 15*j - 28. Let a = 8 + -2. Which is smaller: j or a?
a
Let v = -27 + 161/6. Suppose -o + 2 - 3 = 0. Which is smaller: v or o?
o
Suppose 0 = -5*n + 3 + 22. Suppose 2*q - 26 = i, -n*i - 3*q + 5*q - 130 = 0. Let w be 1*-1 - 30/i. Which is smaller: w or 1?
w
Let b be (5/(-4))/((-9)/(-36)). Suppose 0*m + 18 = -2*l + 5*m, 2*l + 2*m + 4 = 0. Is b not equal to l?
True
Let f = -143 + 180. Is 37 < f?
False
Let i = -0.111 - -0.111. Do i and -2/123 have the same value?
False
Let c = 29.83 + -30. Do c and -0.1 have the same value?
False
Let d(q) = -q**3 - 14*q**2 - 16*q - 11. Let a be d(-13). Is 28 greater than or equal to a?
True
Let p = 3 + -4. Let f = 6 + -10. Let a be p/4*f/3. Which is bigger: 1 or a?
1
Suppose -5 + 2 = 3*a - 3*y, -2 = 2*a - 4*y. Let p be 69/(-217) - (-2)/7. Are p and a non-equal?
True
Let z = 3 - 1. Let l = -5 - -9. Suppose -3*d - 2*h + 4*h = -8, -l*d = -z*h - 8. Which is smaller: -1/8 or d?
-1/8
Suppose 5*y - 18 = -2*q + 13, -y = -5*q + 10. Suppose 0 = -0*s + s. Let c be s + -1 + 3/q. Which is bigger: 2 or c?
2
Let s(m) = -m**2 + 3. Let k(q) = -q**3 - 5*q**2 + 7*q + 8. Let i be k(-6). Let f be s(i). Which is bigger: f or -2/15?
-2/15
Let t be (-1)/(1/(-5)) + -3. Suppose -t*f + 14 = 4. Is 6 smaller than f?
False
Let v be (-6)/15 - 4/(-2). Suppose 0 = 4*g - 3*n + n - 16, -6 = 3*n. Is g >= v?
True
Let q = 4.9 - 5. Let x = -0.3 - -0.2. Let h = q + x. Are h and -0.2 non-equal?
False
Let j = 70 + -70.09. Which is greater: j or -4?
j
Suppose 4*b = 16 + 48. Are b and 15 unequal?
True
Let f be 6/14 - 22/(-14). Is 6/7 > f?
False
Let s = -1561 - -104589/67. Let m be 8335/(-1340) + 2 - -3. Let q = m - s. Is q <= -1?
True
Let z be (-4)/(-14)*-8 + 3. Are z and 1 non-equal?
True
Suppose h + 2 = 3*h. Let b(c) = 6*c. Let v be b(h). Suppose -f + v = 7. Which is bigger: 0 or f?
0
Let v = -1.8 + 8.8. Let i = -0.1 - 0. Which is smaller: i or v?
i
Suppose -3*i = 3*c + 1 + 26, -4*c + 4*i - 44 = 0. Let q be (4/(-10))/(2/c). Are 0 and q nonequal?
True
Let j = 1.1 + -0.1. Let t be (-3)/(-12) - (-105)/(-196). Let c = -4/7 - t. Is j less than or equal to c?
False
Suppose -2*a - a + 5 = 5*u, 5*a - 17 = -4*u. Suppose -3*z + 2*z = 2. Are z and u unequal?
False
Let c(m) = m**2 - 5*m + 7. Let z be c(6). Let i = -9 + z. Are i and 4 nonequal?
False
Suppose c + 3*c - 16 = 4*s, -s + 6 = 4*c. Suppose 8 = 2*o + c*o. Which is smaller: o or 1?
1
Let m be (1259/(-4))/(13/4). Let h(p) = 2*p**3 - 7*p**2 + 3*p + 7. Let d be h(5). Let a = d + m. Does a = -1?
False
Suppose -5*o = 3*a - 23, -a + 24 = 3*a + 5*o. Suppose 0 = s - 4 - a. Let n be -1*(6/(-3) + s). Which is greater: 0.2 or n?
0.2
Let l be ((-2)/(-8))/(5/52). Which is smaller: 3 or l?
l
Let p(v) = 3*v. Let h be p(2). Do 6 and h have different values?
False
Let t be 19*(-58)/(-630) - 2. Let g = -5984/35 + 171. Let p = t + g. Is p at least as big as 1?
False
Let n = 24 - 21. Do n and 0.1 have different values?
True
Let b = 9129/65975 + -1/2275. Is 1 greater than b?
True
Let m = -223 - 372. Let h = -599.98 - m. Let t = h + 5. Which is bigger: 1 or t?
1
Let l(m) = m + 24. Let u be l(-12). Let j be ((-10)/3)/(8/u). Is -5 greater than or equal to j?
True
Let b be 3/(-15) + (2 - 1). Let o = 2/15 - b. Let m = -11/21 - o. Is m < -1?
False
Suppose 5 = 2*t - 1. Suppose 3*d = 6 + t. Is d less than or equal to 1?
False
Suppose -2*r = -0*r + 8. Suppose 2*f + 1 + 5 = -2*q, 0 = -3*q + 6. Which is smaller: r or f?
f
Let o = 1 - 1. Let s be (-946)/(-12) + (-2)/4. Let n = -77 + s. Which is greater: o or n?
n
Let k = 12 + -9. Suppose -k = -2*d + 3. Is d at least as big as 2?
True
Let w = -0.06 + -0.84. Let x = -1.1 - w. Which is smaller: -3 or x?
-3
Suppose 10*q = 5*q - 10. Suppose -11 = 3*f - 2. Is q greater than or equal to f?
True
Suppose 2*d - 3*d + 84 = 0. Suppose -d = v + 6. Let g = v + 363/4. Is 1 < g?
False
Suppose p + 9 = -4*d - d, 4*p = 4*d + 12. Suppose 0 = s - 3, 3*t - 6*s = -s - 51. Let m = t + 11. Which is smaller: m or d?
d
Suppose -3*o = 2*g + 1 + 4, o + 3 = 0. Let n be (-6)/210 - (-6)/10. Which is smaller: n or g?
n
Suppose -f + 0*f = 0. Let w = f + 1. Which is bigger: 0 or w?
w
Suppose -4*c + 5*c + 18 = 0. Is -16 greater than or equal to c?
True
Let i be -1*(-2)/(-2)*155. Let x = -1547/10 - i. Is x at most 1?
True
Suppose 0*y = -3*y. Let d be 1/(4 + 52/(-20)). Which is greater: y or d?
d
Let f be ((-4)/3)/(88/(-36)). Is 0 > f?
False
Let p(u) = 11*u - 10. Let w(t) = 5*t - 5. Let h(k) = -6*p(k) + 13*w(k). Let y be h(-5). Suppose y*q - 2*q - 2 = 0. Is q less than -4/5?
True
Let p be (-10)/63 + 8/(-28). Let y be -2 + ((-182)/(-45) - 2). Let g = p + y. Is 1 < g?
False
Let k = 3/11 + 2/33. Let d = 2.1 + -2. Is d bigger than k?
False
Let l = -1 - -2/3. Let w(d) = d**3 + 4*d**2 + 2*d - 3. Suppose 2*p = -3*z - 21, 14 = -5*z - 11. Let j be w(p). Which is bigger: l or j?
j
Suppose 0*n - 3*f = 2*n - 26, 2*f = 8. Which is smaller: 6 or n?
6
Let i = 2 + -2. Let t = 70258/5 - 14226. Let y = t - -175. Are i and y nonequal?
True
Let g = -0.05 + 2.05. Let m = 85/3 - 28. Is g at most as big as m?
False
Let g = 5 - 1. Let u(j) = -j + 4. Let b be u(3). Which is smaller: b or g?
b
Let t = 12 + -16. Let s = t - -17. Is s bigger than 0.1?
True
Let w = 0.09 + 4.91. Let k = 4.9 - w. Let r = k + -0.9. Which is greater: -4/9 or r?
-4/9
Let r = 67 - 29. Is 36 > r?
False
Suppose 3*h + 2 = 5*i + 4*h, 2*h = 5*i - 11. Is 10 smaller than i?
False
Let g = -8 - -4. Let x = 5 + g. Which is bigger: x or 4?
4
Suppose 970 = -14*q + 9*q. Let n = 2130/11 + q. Is n <= 1?
True
Let g = 5 + -2. Let f = 1 - g. Let b = 1.6 + 0.4. Is b smaller than f?
False
Suppose 0 = 4*u - 3 - 1. Suppose 5*j = -u + 6. Which is bigger: 0 or j?
j
Let q be ((-9)/4)/(3/12). Let w = q + 11. Let t be w/(-8) + 15/(-12). Do t and -2 have different values?
True
Let k = 213/4 + -53. Which is smaller: 8/3 or k?
k
Let k = -29 + 24. Is k bigger than -2/3?
False
Suppose -5 = -5*y - 10. Let u = -494/35 - -96/7. Which is smaller: u or y?
y
Let s(w) = w - 3 + 4 - 5. Let q be s(6). Let j = -3 - -5. Does j = q?
True
Let l be (-172)/22 + 2/(-11). Is l at most -6?
True
Let o = -0.7 - -1.1. Is -11 at least as big as o?
False
Let p(n) = -2*n + 1. Let x be p(3). Let z = 4 + x. Which is bigger: z or 1/6?
1/6
Let p(s) = -2*s + 1. Let y be p(-1). Suppose u - 4*n = -17, -5*n + y = -17. Let r(w) = w**2 + 3*w - 4. Let c be r(-4). Which is bigger: u or c?
c
Suppose 33 = 3*o + 36. Is 2/23 at least as big as o?
True
Let x(g) = -g**3 + 3*g**2. Let o be x(3). Let r = -25 + 324/13. Is o < r?
False
Suppose r = -3*s + 5*s + 15, 0 = -5*s + 2*r - 35. Let j be (2 + -1)/((-1)/s). Suppose -j*n = m - 24, 3*m - 8 = m - 2*n. Which is greater: m or -3?
m
Let z(u) = u**3 - 4*u**2 + u + 1. Let k be z(4). Suppose -k*c = -0*c. Which is smaller: c or 2?
c
Let f be (34/(-51))/(20/1422). Let c = f - -47. Let k(t) = -t**2 + 4*t - 3. Let s be k(3). Is c >= s?
False
Let p be 0/(12/(-4) - -2). Let o = -5 + 4.6. Which is greater: p or o?
p
Suppose 41*p - 42*p = -4. Is 19/6 not equal to p?
True
Let t be -1 - ((-72)/14)/4. Which is smaller: -1 or t?
-1
Suppose 12 - 2 = -5*z. Which is smaller: z or -8/3?
-8/3
Let o be 13/(-26) + 2/4. Let q be o/((-2)/(-3)*-3). Let z be 1/(-2) - 1/(-2). Is z at most q?
True
Suppose 10*s - 10 + 50 = 0. Which is smaller: 1 or s?
s
Let l(z) = z**3 - 3*z**2 - 2*z - 1. Suppose 0 = 2*b + 3*b - 15. Let o be l(b). Let c(r) = r**2 + 7*r. Let j be c(o). Which is smaller: j or 3/5?
j
Let b = -98 - -98. Which is smaller: -1/4 or b?
-1/4
Suppose 6*k - 4*k + 46 = 0. Which is bigger: -24 or k?
k
Let k be 2/(-4) - (-3)/6. Let z be 1*-1*(-1)/(-1). Is z less than or equal to k?
True
Suppose 12 = 4*d - 0. Suppose 5*f - d*u = 1, 7*u - 4*u - 9 = 0. Let i be (-2 - 12/(-10))/f. Is 5 smaller than i?
False
Let s = 2234/9 - 248. Let b = -0.8 - -1. Let r = b - 0.2. Which is smaller: s or r?
r
Let b be (-5 - -2) + -1 + 10. Let m = 4 - 10. Let h = b + m. Is -2 at most as big as h?
True
Let n = 22 + -8. Suppose -3*d = -1 - 29. Let h = d - n. Which is smaller: h or -3?
h
Suppose -4*i = -2*u - 0 - 2, 3*u - 3*i = -18. Which is greater: u or -12?
u
Let y(z) = -z**2 + 11*z + 14. Let h be y(11). Let o = 12 - h. Suppose -2*d - 4 = 0, 2*d + 3*d + 10 = 4*u. Which is smaller: o or u?
o
Let d be (36/16)/(1212/