ch is smaller: j or b?
j
Let c = 2478 - 2477. Which is smaller: -5/1309 or c?
-5/1309
Let a = 29420 + -244862654/8323. Which is bigger: a or -1?
a
Suppose -5*h - 12400 = 5*m, 1796 = 2*h + 5*m + 6771. Is -2478 >= h?
False
Suppose -5*t + 25*t - 196 + 1696 = 0. Is t at least as big as -51?
False
Suppose -5820 = 26*h - 30*h. Let c be ((60/25)/(-6))/((-6)/h). Let j be 5 + -2 + (-293)/c. Is j <= 0?
True
Let b(a) = a**3 + 24*a**2 + 26*a + 29. Let h be b(-23). Let w be (-356)/h + -7 - 6/15. Which is greater: 1 or w?
w
Suppose -62 = 5*b + 48. Let k(y) = -y**3 - 4. Let f be k(-3). Suppose -g - f = n, n = 5*g - 3 - 20. Is b smaller than n?
False
Let w be 22/88 + 13070/8. Which is smaller: w or 1638?
w
Suppose -97*f + 750 = -82*f. Is f at least as big as -3?
True
Let a = -6115 + 5549. Which is smaller: a or -558?
a
Let h be 3*1*(-4)/6. Let o = -63941 - -63775. Which is smaller: h or o?
o
Let i = -37832 - -81300970/2149. Is i at least 0?
True
Let u = -661.844 + 7.244. Let a = u - -656. Do 28 and a have the same value?
False
Let b be ((-2)/7)/((-464)/448 - -1). Which is smaller: 265/33 or b?
b
Let f = -144 + 146. Let i be (5/(-30))/(f/(-6)). Which is smaller: i or 68?
i
Let b = -428 - -429. Does b = -3/1075?
False
Let x(m) = -4*m - 16. Let d be x(-5). Let b be (d + (-728)/189)/(70/6). Which is greater: b or 0?
b
Let f = -30 + -22. Let d be -34*((-8)/f - 34/52). Suppose 3*w - 22 = -5*l, 3*l = -3*w - l + d. Is -2 smaller than w?
True
Let t(f) = 361*f - 6498. Let b be t(18). Let j = -740738/125 + 5926. Is b less than j?
True
Let g be 12872/(-2488) - (-14 - -7 - -2). Is 1 at most g?
False
Suppose 0 = 3*x - 98 + 260. Let g = 55 + x. Let i be 111/360 - 2/6. Which is bigger: g or i?
g
Let p be (24/16)/((-10)/4). Let k = 3.1 + -3.077. Let q = 0.077 + k. Is q greater than or equal to p?
True
Let g = 53204939/18975 + -70096/25. Let t = g + 5/69. Which is smaller: t or -27?
-27
Let z = 3.78 - 1.06. Let x = 578 - 578.28. Let j = z - x. Is 5/2 != j?
True
Let t(o) = -o**3 + 13*o**2 - 40*o - 2. Let z be t(8). Let v = -12525/17 + 737. Is z greater than v?
False
Suppose -1653 = 3*d - 2*x, -11*x + 8*x = -4*d - 2206. Which is greater: -548 or d?
d
Let h(k) = k**2 - 3*k + 6. Let g be h(8). Let u be (0/2 - 23/g)*-38. Which is smaller: u or 1/3?
1/3
Let d = 0.28657 + -0.03657. Is 0.37 less than or equal to d?
False
Let g be (15/(-12))/(-1 - (-9)/12). Suppose 6 = g*f + 16. Let l be 0 - (-2 - (f - (-1)/(-1))). Is -2/173 < l?
False
Suppose 0 = -31*s - 19*s - 21450. Is s equal to -428?
False
Let r(c) = -c**3 - 20*c**2 + 53*c + 26. Let y be r(-22). Let p = y - -67. Is -104 less than p?
False
Suppose -2*j - 18 = -7*j - 2*v, 3*v = 2*j - 11. Is 35/12 not equal to j?
True
Let x = -153 + 186.5. Let u = x - 75. Let y = 42 + u. Is y greater than or equal to 0.04?
True
Let u = -2.01 - -1.2. Let o = u + 0.71. Are o and -6 unequal?
True
Suppose 0*p = -2*p - 30. Let n(h) = -7*h**2 + 3*h - 16. Let r(k) = 3*k**2 - 2*k + 6. Let m(o) = 4*n(o) + 9*r(o). Let w be m(-3). Which is bigger: p or w?
w
Let h be (720372179/(-117))/(-1) - 74/333. Let s = -6157402 + h. Let j = s + 375. Which is smaller: j or 1?
j
Suppose -26 = -3*k + 2*o, -k - 4*o + 1 = -31. Let t = -171 - -176. Suppose -2*i + 2*y + 27 + t = 0, -5 = y. Which is smaller: k or i?
i
Suppose 0 = -4*v - r - 104, 3*v - 2*v + 35 = 2*r. Let o = v + 29. Suppose 3*y - o*m - 2*m = -30, 5*m = y + 21. Which is smaller: y or -4?
y
Suppose -9*r + 8 - 170 = 0. Let t be ((-2349)/r)/(3/(-44)). Let k be 315/t - (-10)/55. Is k < 0?
False
Suppose -15 = 115*t - 118*t, -3*y = 2*t - 7879. Is 2624 greater than or equal to y?
True
Let c be (-2)/3*6/32. Let z(u) = -u - 1. Let m(t) = 12*t - 179. Let n(d) = m(d) + 6*z(d). Let a be n(31). Which is smaller: c or a?
c
Suppose -2*q + 7040 = 3*a, 0*a = -22*q - 4*a + 77614. Which is smaller: q or 3531?
q
Let q be (-8)/(-5)*165/(-22). Let u be 76/(-24) - -1*(-2)/q. Let m be 3*u/78*(-8)/(-6). Is 1/7 greater than m?
True
Let x be -50*(-1018)/5656 - 531/59. Which is smaller: x or 1?
x
Let u be ((-2)/(-5))/((-560)/224525). Let k = 159 + u. Let r(x) = -x**2 - x + 1. Let j be r(-2). Is j greater than or equal to k?
True
Let g = 242686581/530 + -2295311/5. Let z = g - -1163. Is z at most -2/7?
False
Let r = 8156 - 8157. Let j be 8/64*(-2)/(-13). Which is greater: j or r?
j
Suppose 4*m + 33 - 57 = f, 0 = m - 6. Which is smaller: -63/53 or f?
-63/53
Suppose -13*f + 21 + 96 = 0. Let h be (-8)/f + 1 - (-8684)/(-37575). Let b = -4 - -3. Which is bigger: b or h?
h
Let j be (-4)/6*(5 - (-304)/(-56)). Let c = 54.7 - 51. Let t = c + -13.7. Is t equal to j?
False
Suppose 45 = 5*y - 120. Suppose 4*s - y = 7*s. Which is smaller: -15 or s?
-15
Let u = 1.3134 - 1.2134. Let v = -20 + 1. Which is bigger: u or v?
u
Let w = 222 + -92. Let i = -129.9 + w. Which is smaller: i or -9/5?
-9/5
Suppose -33864 = c + 2*t, 2*c - 2*t + 92830 = 25102. Let l be (2/(-3))/(17/(c/(-16))). Which is smaller: l or -81?
l
Suppose 2*c + 134 = 5*v + c, -2*v = -2*c - 52. Suppose -v = -4*t + 33. Suppose -176 = -t*k + 19. Which is bigger: k or -3?
k
Let x(q) = 16*q - 4. Let r be x(6). Is r < 99?
True
Suppose 0 = 2766*w - 2778*w - 5364. Are w and -455 non-equal?
True
Let a(p) = -3*p + 0*p**2 - 4 + 2*p**2 - p**2. Let b be a(4). Suppose b = 5*c - 12 - 33. Which is smaller: 8 or c?
8
Let i = -322732 + 46796354/145. Which is bigger: 2 or i?
2
Let t(o) = -10*o + 71. Let z be t(7). Let k be (-9)/(72/32) - (-33)/z. Do 30 and k have the same value?
False
Let b = -6439 + 6468. Let n = -36 - -65. Is b > n?
False
Suppose 9*m = 3*m - 2058. Let l = m + 179. Which is smaller: l or -165?
-165
Let d = -11/4 + 7/2. Suppose -3*r - 5*b = r - 176, -2*b + 86 = 2*r. Let h = r - 37. Which is smaller: d or h?
d
Let s be 12/(4/2) + -4. Let j be -1 - s*(-3 - -2). Let a be 2/8 - 261/612. Is j < a?
False
Suppose -6 + 1 = 5*m. Let c be ((-46)/(-38) + -1)/(22789/(-1753)). Is m greater than or equal to c?
False
Suppose 2*m - 4*d - 384 = 6*m, -2*m = 3*d + 192. Let h = 5 - m. Let r = 208 + -106. Which is smaller: h or r?
h
Let i be (-2 - 2)*(-37)/(-2). Let a be ((-158)/316)/((-2)/(-292)). Which is smaller: a or i?
i
Suppose 43*v + 2*v + 3960 = 0. Let y be (-8 - 0 - -9)/((-1)/86). Which is greater: y or v?
y
Let o be 12/24 + (-1005)/(-6). Let x be 3 - (-13)/((-52)/o). Which is bigger: -37 or x?
-37
Let k = 0.1 + -3.1. Let h = -1461.4 + 1494.4. Does h = k?
False
Let j = -1807 + 1784.26. Let z = 22 + j. Which is smaller: z or 2?
z
Let l = -60.301 - -60. Let t = l - -0.201. Which is smaller: 6/31 or t?
t
Let y = 0.1 - 0.2. Let x = -14918 + 134272/9. Is x not equal to y?
True
Suppose 13*a - 199 = -5*z, -5*z + a = 56 - 3. Let o be 24/15 + (-4)/(-10). Which is smaller: z or o?
z
Let b = 10726 + -10725.3. Is -0.78 bigger than b?
False
Let d = 41 - 18. Let n = d + -15. Let k be 4 - 8/((-8)/(-3)). Which is greater: k or n?
n
Let c = 2390 + -2389. Are 6/331 and c non-equal?
True
Let p(t) = -t**3 - 15*t**2 + 53*t. Let i be p(3). Let s be ((-52)/(-5))/((-22)/(-55)). Let u = s - 23. Which is greater: i or u?
u
Let b = 98 + -96. Let x be (5 + -1)*(-1)/b. Let o be -1 - (-45)/54*8/(-5). Are o and x non-equal?
True
Let j = -627 - -808. Let w = 83 - j. Is 1/4 bigger than w?
True
Let b(v) = -64*v + 447. Let w be b(7). Which is smaller: w or 1/1127?
w
Let z(x) = -93*x**2 + 3*x + 6762. Let l be z(0). Are l and 6762 equal?
True
Let w(f) = -53*f - 3757. Let p be w(-73). Are p and 149 non-equal?
True
Let j = 2424 - 1121. Suppose j = -8*k + 247. Is -134 greater than k?
False
Let b be ((-1)/3 - 2) + 1463/627. Which is smaller: b or 3/17843?
b
Suppose -3*u = -2*v + 277, -2*u - 207 + 66 = -v. Is 129 > v?
False
Let d = 0 - 3. Let n = 0.35997 - 1.85997. Which is smaller: d or n?
d
Suppose -l - t = -24, -l + 18*t - 13*t = 0. Let h be ((-6)/8)/(-11 - 3464/(-316)). Which is greater: l or h?
l
Let q be ((-772)/3 - 21) + 8/(-6). Is q at least as big as -281?
True
Let j = 0 - -4. Suppose 3*p - 14 - j = 0. Let q be (-11)/77 - (-1150)/210. Which is bigger: q or p?
p
Let g = 891 + -905. Is g > -109?
True
Let p(l) = l + 6. Let o be p(-5). Let n be ((-39)/130)/(6/8) - 5871/(-14915). Which is bigger: o or n?
o
Suppose 5*g - 3*i = 4 + 20, -2*g = -3*i - 15. Suppose 7 = 2*p - 7*p - 4*h, p - 10 = g*h. Which is smaller: p or -5?
-5
Let f = -0.0095 - 2.