 smaller: 0.44 or c?
c
Suppose 0*b + 15 = 3*b. Let l be ((-1884)/(-78) - 1) + 2/(-13). Suppose -24*q + 4 = -l*q. Which is bigger: q or b?
b
Let r = 113 - 108. Let a be 3 + -2 + r + -7. Is a < 10/31?
True
Let l(t) = -19*t - 2415. Let c be l(-64). Which is smaller: c or -1201?
-1201
Let f(q) = q**3 + q**2 + 3*q + 9. Let i be f(-4). Let x = -3333 - -3279. Which is greater: i or x?
i
Let m = -1816 - -1841. Suppose -28 = -4*o + 4*y, -5*y - 3 = 4*o - 4. Suppose -f + o*t = -0*f - 20, -5*f + 2*t + 118 = 0. Which is bigger: m or f?
m
Let q be (-1000)/(-102)*(8/24*45 - 9). Which is smaller: q or 60?
q
Let g be 14/((-112)/(-66)) + (-2)/8. Let u = g + -5. Let w = -569/2 + 4015/14. Which is bigger: w or u?
u
Let w be (974/(-56) + 21/147)*32/(-12). Is 98 not equal to w?
True
Let f(b) = 4*b**3 - 2*b**2 - b + 2. Let q be f(2). Let s be (-10)/45 - (-3)/(54/3028). Let x be s/(-36)*(-72)/14. Is q at most as big as x?
True
Let b = -169.12 - -169. Let t = 0.02 + b. Which is bigger: -91 or t?
t
Let i be 3/(-12)*((-6)/14 - (-1300)/(-364)). Which is smaller: -1/7681 or i?
-1/7681
Suppose -32*x - 22 = -150. Let p be (x/(-4))/(4410/1104 - 4). Is 183 at least p?
False
Let t = -9069 + 9069.1. Let d = -20/143 + -136/143. Is t != d?
True
Let q be 1 + 1/(6/(-18)). Let r be q/(-3) - 407/858. Which is smaller: -1 or r?
-1
Let r = 8.6 + -24.1. Let t = -49.5 + r. Is t less than 0?
True
Let a = 38 + -38.065. Let j = -1.065 - a. Do -0.01 and j have the same value?
False
Let c(v) = -v**2 - 15*v - 5. Let j be c(-3). Let k = 29 - j. Is 23 not equal to k?
True
Let w = 1829 + -1815. Is 16 equal to w?
False
Let h be -62 + 62 + (2/6 - (-28)/(-21)). Let x be -2 - ((-17476)/10178 - (-2)/(-7)). Is h >= x?
False
Suppose 13 = 3*k - 41. Let h be (8*k/20)/(6/(-20)). Let u = -25 - h. Is -1 >= u?
True
Let s(f) = -f - 2. Let g be s(-3). Let l = -437 - -465. Let r be 74/8 + g + (-7)/l. Which is smaller: r or 8?
8
Let t = 54 - 45. Suppose t*r - 784 = 2*r. Let y be (-4)/((-8)/6) - 294/r. Is y greater than -1/3?
True
Let d = 36.3 + -1.3. Let g = d + 3. Let a = 36.3 - g. Which is bigger: 2 or a?
2
Suppose -26*l - 53*l = -790. Let q(y) = -3*y + 9. Let b be q(6). Let a = l - b. Which is smaller: 20 or a?
a
Let d be 2329/(-476)*16/2. Which is greater: 2/5 or d?
2/5
Suppose -478 + 698 = 5*r. Let d be 0 + 10/4*r/110. Is d equal to 2/123?
False
Suppose -676*h + 584*h = 283544. Is -3082 equal to h?
True
Let g = 1/3314 - -271717/102734. Is g greater than 2?
True
Let a be 5 - 0 - 553/119. Let p be 2/(-13) + (-205)/(-65). Suppose -v + b = 2, 0 + p = b. Which is smaller: a or v?
a
Let m = -916529559/6871 - -133391. Let r = m - 446637/75581. Which is smaller: r or -6?
-6
Suppose -243*m + 1212 = -239*m - 2*t, -m = 4*t - 294. Which is greater: 1207/4 or m?
m
Suppose 2*g = 2*l + 6, 10 + 1 = 2*g + 3*l. Let z be (6/21)/((-293)/(-7) - g). Is z greater than -1?
True
Suppose 3*a - 4*i + 6 = -2*a, 5*a + 5*i = 30. Suppose 12*r - 3*r = 27. Let j be ((-40)/4)/(r/6*-6). Is j equal to a?
False
Let n be 3/(6/(-8)) - 1. Let d be (2 + n)/(-1)*(0 - -1). Let y be ((-33)/(-12))/(14/8). Which is bigger: d or y?
d
Let d(v) = -125*v + 1124. Let t be d(9). Is t bigger than 301?
False
Let d be (-30)/(-735) - (-25355)/(-539). Let w be 102/(-2) - (-2 + 2). Which is smaller: w or d?
w
Let v(k) be the second derivative of -k**6/360 - 11*k**5/60 - k**4/6 + 14*k. Let h(c) be the third derivative of v(c). Let a be h(-11). Are 3/23 and a nonequal?
True
Let x = -2083/3102 - -5/1034. Let u = 0 - -0.12. Let j = -12.12 + u. Which is smaller: x or j?
j
Let a = 2118 + -2422. Let d be ((1 - 3) + -303)/1. Which is smaller: a or d?
d
Suppose -5*y = 4*f, 3*y + 0*y = f. Let j be ((-595)/199)/(-1) + 171/(-57). Which is smaller: j or f?
j
Let v = 14195/38511 - 37/99. Let y = v + -1927/3501. Let h = 6 - 8. Which is smaller: h or y?
h
Let v be -12 - -3 - 4/(2 - 1). Is -19 >= v?
False
Let t(r) = -23*r - 25. Let h be t(-2). Let x = -5 + h. Is 8 at least as big as x?
False
Let a = -134 + 131.4. Let g = 4.6 + a. Let f = 43 - 48. Which is smaller: g or f?
f
Let k = 98053/30 - 9751/3. Let m = -11771/650 + k. Which is greater: m or -1?
m
Let x = -2721361/8 - -340603. Are 434 and x non-equal?
True
Let b(h) = 16*h - 89. Let n be b(6). Suppose 8*x = 3*x + 95. Suppose -n*q + x = 75. Which is smaller: q or -7?
q
Let m be -458*(-5 - (-45)/10). Suppose 0*p + 4*x - m = 3*p, p + 77 = x. Which is greater: p or -80?
p
Suppose 0 = -21*l + 40*l - 38. Suppose 6*p - 8*p + l = 0. Let r be (6/(-220))/(18/24). Is r less than or equal to p?
True
Let s = 9270 + -9263. Which is bigger: 10/7 or s?
s
Let n(b) = -2*b**2 + 2*b - 6. Let q be n(4). Let l = q + -20. Suppose 237 = -4*h + 3*j + 24, -4*j = h + 39. Which is bigger: l or h?
l
Suppose 0 = -2*v - 29*o + 27*o + 6062, -3*v - 2*o + 9097 = 0. Which is bigger: 3034 or v?
v
Suppose -o - 2*k = -k - 607, -2*o + 2*k + 1230 = 0. Let b = 323 - o. Is b less than -288?
False
Let k = 11485 - 11470. Is 399 greater than k?
True
Let v(y) = -y**2 + 3*y + 21. Let n be v(6). Suppose 0 = 4*q - n*c - 8, 3*q = -2*c - 3*c - 23. Let x be ((-3)/(-1) - 2)/(q/(-2)). Which is bigger: 7/11 or x?
x
Suppose -31301*l - 19 = -31320*l. Is 348/149 less than l?
False
Let b(u) = 8*u - 14. Suppose 0 = 2*o + 21 - 19. Let p be b(o). Which is smaller: p or -1/3?
p
Let p = 2787 + -25115/9. Suppose -10*w + 77 + 73 = 0. Suppose 0 = -19*j + 16*j - w. Does j = p?
False
Let q = 876.1 + -889.1. Is 0.1 < q?
False
Let k be (6/(-8) - 0)/(1/(-8)). Suppose 9*u = 12 + k. Let w be ((4/u)/(-1))/23. Is -1 not equal to w?
True
Let o = 140079/1976 + -922/13. Is 0 >= o?
True
Suppose -66*z = -186 + 252. Suppose -2*s = -0*r - 4*r + 378, 5*s + 5*r + 870 = 0. Let q = s + 3758/21. Is q smaller than z?
False
Let k be (31926/15)/((-18)/(-135)*3). Which is smaller: k or 5322?
k
Let g(j) = -57*j + 1. Let z be g(-1). Let b = -899.9 + 900. Which is bigger: b or z?
z
Let h = 67 - 23. Let r = 3214 + -3172. Which is smaller: h or r?
r
Let j(d) = 11*d - 3 - 1 - 3 + 0. Let x be j(6). Let c be (-11)/(-33) - x/(-3). Which is smaller: 19 or c?
19
Let t(g) = g**3 - 145*g**2 - 167*g + 3141. Let c be t(146). Which is smaller: 102 or c?
c
Let j(m) = 32*m**3 - 2*m**2 + 37*m - 109. Let k be j(3). Is k >= 3?
True
Let s(f) = -817*f + 2867. Let x be s(4). Is -397 bigger than x?
True
Let s(a) = 3*a + 3. Let t be s(7). Suppose 0 = k + 3*k + t. Let u be (-1)/k*6/23. Which is smaller: u or 1?
u
Let f = 4.944 + -2.78. Let a = 0.164 - f. Is -8/9 at most a?
False
Suppose 0 = -224*z + 219*z + 2*n - 1540, 0 = -z + 4*n - 308. Let m be 6/4*(-1236)/6. Do m and z have different values?
True
Let r = -18444 + 18616. Which is greater: r or 23?
r
Let l(o) = 2*o**2 + 9*o - 3. Let c be l(-6). Suppose -f - 17 = 3*f + 5*y, 5*f + c = -5*y. Is f < -6?
False
Let a = -2510513/231948 - -184/17. Is a at least as big as 0?
False
Let p be 451/6314*4/5. Let b be 621/(-12) - 2/8. Let d = -362/7 - b. Is p greater than d?
False
Let j = 7012 - 7010. Let u = 149017/43 - 3465. Which is smaller: u or j?
u
Let h = 53113/43 - 1235. Let n be ((-5)/(-35))/(8/56). Does h = n?
False
Let v be (-2856)/112*(-2)/3. Let k be (v - 30)/((-2)/(-46)). Is -300 >= k?
False
Suppose 1389 = 5*m - b, -2*b - 551 = -2*m + 3. Which is smaller: 1942/7 or m?
1942/7
Let w be 70/(-15) + (-4)/(-6). Let s = -17328 + 623713/36. Let p = -10/9 + s. Which is smaller: p or w?
w
Suppose 246*d - 498*d + 245*d + 14 = 0. Let u = 2/2301 - -2042/3835. Is d >= u?
True
Let u = -4327/3780 - -23/20. Let o = -32625 + 32626. Is o smaller than u?
False
Suppose -143 + 1695 = 8*t. Suppose 11*r + t = 40. Which is greater: r or -10?
-10
Let p(s) = -s**3 + 23*s**2 + s - 10. Let z be p(23). Let j be 11/(22/4)*376/64. Which is smaller: z or j?
j
Let v be ((-1)/(-2))/(14/112). Suppose v*u - 16 = -z - 3, -103 = -5*z - u. Which is smaller: z or 20?
20
Suppose -5*l = 2*z - 59, l = -4*z + 48 + 61. Let f = -61 + 34. Let t = f + z. Which is smaller: 1/83 or t?
t
Let a(k) = 2*k**3 + 4*k**2 + 22*k + 8. Let w be a(-5). Let q be (1/12)/((-7)/(w/(-171))). Are q and 0 nonequal?
True
Let s = -112.1 + -4.9. Let c = -96 - s. Is c at most -6?
False
Let i be ((-1025)/(-63))/(-5) - -2. Let v = i + 8/7. Suppose 6 = 2*g - 14*q + 19*q, 4*g = -5*q + 2. Which is greater: v or g?
v
Let y = -4732 + 2192. Let n = -63491/25 - y. Is n 