ch is smaller: h or 2/3?
h
Suppose -18*t + 1932 = -3414. Let p be (-54)/t + -10*(-21)/66. Which is smaller: p or 170?
p
Let q = -233.0234 - -0.0234. Let p = q + 233.6. Do p and 0.1 have the same value?
False
Let l = -140643 + 4360941/31. Is l less than or equal to 32?
False
Let y = -10 + 15. Let p be ((-36)/45)/((-6)/(-15)) - -7. Suppose 0*f = -p*f + y. Which is bigger: -0.06 or f?
f
Let j = -343 - -504. Let b be (-14)/j + (-44)/23. Which is smaller: -19/12 or b?
b
Let n = 430378 + -1721511/4. Let u be (-1)/5*(-663)/(-33). Let k = u + 21/5. Is k < n?
True
Let w(i) = -26*i + 893. Let h be w(36). Suppose 2*g + 11 = -75. Is h at least g?
True
Let x(z) = -68*z + 9. Let a be x(3). Let m be (3*(-1)/a)/(8/(-20)). Which is smaller: -1 or m?
-1
Let t(a) = -a**3 + 17*a**2 + 19*a - 17. Suppose -n - 6 + 49 = -5*v, -3*n + 29 = 5*v. Let c be t(n). Do c and 3/16 have different values?
True
Suppose -q + 2*g = 7878, 8338 + 31094 = -5*q + 4*g. Does -7893 = q?
False
Let g be (-8)/10*(-8 + 711/90). Let z = 0 + -3. Let f = z - -4. Which is smaller: f or g?
g
Suppose 72 = 5*a + 2. Suppose -2*u + r = -25, 4*r - a = -5*u + 81. Let h be (-6)/(-10) - u/35. Is -1 smaller than h?
True
Let j = -0.4229 + -2.5771. Which is greater: -148 or j?
j
Let n be ((-9)/24)/((-78)/(-122928)). Is n < -589?
True
Let x be -5 + 10906/2380 - (-4)/34. Is x > 69/2?
False
Let o be (22/8)/(129*9/(-432)). Is o bigger than 0?
False
Let t(n) = -n**2 + 19*n + 113. Let b be t(-8). Let a = b + 102. Is 3/490 > a?
True
Let l = 0.16854 - -0.04746. Is 0 bigger than l?
False
Let t = 17 - 15. Let f = 83.57 + -0.57. Let o = f + -82.6. Which is bigger: t or o?
t
Let c(y) = 288*y - 430. Let w be c(6). Which is smaller: w or 1300?
w
Let k = -21880 + 21879. Is k greater than or equal to -111/292?
False
Suppose -2*d + 68 = -7*a - 6*d, -d + 64 = -5*a. Let f(u) = -u**2 + u + 5. Let i be f(4). Which is greater: a or i?
i
Let u be (-39)/195 + 14/(-30). Which is bigger: u or -188?
u
Let b be 10/330*11*-3*6*3. Is -26 less than or equal to b?
True
Let j(s) = -32*s**2 - 5*s - 4. Let w be j(-1). Let d = 497 - 524. Which is smaller: d or w?
w
Suppose -74*s + 76*s = -8. Is s at most -246/83?
True
Suppose 46*u + 27715 + 96391 = 8462. Is -2515 != u?
True
Suppose 1132 = -30*z - 3368. Which is smaller: -140 or z?
z
Let u be (-1 + -1)*(-58)/(-4). Let m = 2627 - 2656. Let p = u - m. Do 4/17 and p have the same value?
False
Let a be ((-3)/2)/(3/(-6)). Let k be (a + -2)*-2*(4 - -1). Let n = k + -22. Which is smaller: n or -33?
-33
Suppose 543459 = 34*m - 41*m - 42*m. Which is smaller: m or -11090?
m
Suppose -n + 4*v - 1713 = 0, -5*v = -2*n - 8*v - 3426. Which is greater: -1719 or n?
n
Let a = -0.2 + 8.2. Let d be 24/(-16) - (-15)/18. Does d = a?
False
Suppose -2*x = -5*f + 24, x = 3*f - 5 - 10. Suppose 46 = -2*t + 2*v, 5*t - f*v + 116 = -2*v. Are t and -101/4 equal?
False
Let x = 5127.2 - -566.8. Which is bigger: -0.1 or x?
x
Suppose 637 = 8*t - 15*t. Let d = 77 + t. Is d not equal to -8?
True
Let r(u) = 2*u**3 - 10*u**2 + 4*u + 7. Let n be r(4). Suppose 104 = 2*s - 2*m - 14, 4*m - 276 = -4*s. Suppose 5*y + s = -3*y. Is y < n?
False
Let x be 3 - (14668/(-40) - -3). Let s = 367 + -734. Let t = x + s. Which is greater: -1 or t?
t
Let g = -3821 + 3825.682. Let q = 1707.7 - 1703. Let h = q - g. Is -1 at most h?
True
Let h be (-13)/(585/20) - (-1437)/135. Let r = h - -92/15. Is r smaller than -0.1?
False
Suppose -4 = 4*v + 4. Let u(r) be the first derivative of -r**3 - 4*r**2 - 3*r - 390. Let l be u(v). Does l = 4/33?
False
Let g = -0.084 - -8.284. Let c = 54.8 + g. Let s = 63 - c. Which is smaller: 5 or s?
s
Let a = 18658 + -18658. Is -1/1514 at least as big as a?
False
Let j = 280 - 169. Suppose h - 117 = -4*n, 113 = h + 24*n - 22*n. Which is greater: j or h?
j
Let r = -325.4 + 325. Are r and -4/9 equal?
False
Suppose 0 = 468*t - 442*t + 5304. Do -207 and t have different values?
True
Let a = -800/7 + 114. Let n(r) = -3*r**2 + 3*r - 1. Let y be n(1). Let b be (-1)/4*1 + (y - -1). Which is smaller: b or a?
a
Let t = 159486 + -1336971140/8383. Is -1 at most as big as t?
True
Let x = -7437 + 7418. Which is smaller: -17 or x?
x
Let a = 102 - 72. Suppose -168 = -10*o + 13312. Suppose 61*u - 543 - o = 0. Which is bigger: a or u?
u
Let b be 498/82 - (7 + -1). Let h be (-6)/(-8) + (-5)/(-4). Let a = -2 + h. Which is bigger: a or b?
b
Suppose 3*p - 2*l - 5 = 12, 2*p - 3*l - 3 = 0. Let t be 36/p - (180 - 12/4). Is t greater than -173?
False
Let q = 2408 - 3967. Do -1555 and q have the same value?
False
Let s = -0.1706 + 929.1706. Let x = s - 930. Suppose 2*f + 45 = -f. Which is smaller: x or f?
f
Let y(d) = 91*d - 1087. Let c be y(14). Which is greater: 2045/11 or c?
c
Let k(q) be the third derivative of 0 + 13*q**2 + 1/8*q**4 + 5*q**3 + 0*q. Let g be k(-15). Is -17 less than g?
True
Let g = 945 - 420. Let a = g - 467. Which is bigger: a or 61?
61
Let i = 350186/3 + -118414. Is -1686 less than i?
True
Let z = 307.5 + -365.5. Are -7 and z equal?
False
Let a(v) = 13*v + 11. Let s be ((-90)/(-75))/(0 - 6/(-20)). Let p be a(s). Let i = -65 + p. Which is greater: -3 or i?
i
Let v be (130/20)/((-2)/4). Let r(g) = -g - 1. Let i(a) = a**2 + 9*a - 1. Let s(p) = i(p) - 5*r(p). Let q be s(v). Which is smaller: q or -8?
q
Let l be (-5)/(-25)*(0 + -205). Let j(q) = 5*q**2 - 4*q + 12. Let x be j(6). Suppose -3*c + 7*c + x = 0. Which is smaller: c or l?
c
Suppose 12 = 2*r, -g - 3*r = -44 + 28. Which is bigger: g or 227?
227
Let i = -389.765 - -1.765. Which is smaller: -7 or i?
i
Let j = 4141472/585 + 11204/117. Let v = j - 7206. Let t = v + 31. Which is greater: 5 or t?
5
Let j = 118 - 20. Suppose 47*t = 50*t - 297. Which is greater: t or j?
t
Suppose 4*k = -5*c - 23, -2*c - 3*k - 20 = -5*k. Let y(t) = 50*t - 446. Let o be y(9). Suppose h + o = 3*r - 12, -2*h - 2*r = 0. Which is smaller: h or c?
c
Suppose -4*p - 1771 = 5*f, -30 = 7*p - 12*p. Let y = 2 + -2. Which is greater: y or f?
y
Let x be 112 + -100 - (-36768)/(-3070). Is x at least as big as 1?
False
Let b be (0 - (0 - -3))/((-32)/(-96)). Let i(d) = -d**3 - 11*d**2 - 2*d + 9. Let u be i(b). Let j be -2 - (-20)/9 - 240/u. Which is smaller: j or -16?
-16
Let y = 89 - 86. Suppose p + p = y*p. Suppose 3 = -4*o - 17. Is o at most p?
True
Suppose -3*b = -2*o - 9, -o - 4 = -b - 2. Let c = 6 - b. Let h = 406/9 + -16637/369. Which is greater: h or c?
c
Let w = -406 + 402.75. Let k = 3.55 + w. Which is smaller: 63 or k?
k
Let x = 11514 - 11332. Is -30 at most x?
True
Suppose 3*k - 10 = -s - 5, 4*k + 5 = s. Suppose x = -5*f + s, -4*f = 3*x + 2 - 6. Let j(q) = -1003*q + 18055. Let c be j(18). Which is smaller: c or x?
x
Let n be (-8)/(-3) - (2 + -4). Let k(t) = 68*t**2 - 403*t - 25. Let c be k(6). Is c <= n?
False
Let j be (-11612667)/22 - 3/(-2). Let z = -8976937/17 - j. Let v = z + 208. Is 1 at most as big as v?
False
Let b(q) = q**2 - 9*q. Suppose 46 = 5*c + 1. Let g be b(c). Let x be -4*(-15)/80 + g. Which is bigger: 1 or x?
1
Let q be 5031/989 - (-2)/(-23). Suppose 0*f - 36 = -2*i - 4*f, q*i + 4*f - 120 = 0. Let r be (-2*15)/(0 + -1). Which is greater: i or r?
r
Let y be 6/2 + -305 + (-15)/(-3). Let o = 284 + y. Let l be (-1 - -2) + 16*-1. Is l greater than or equal to o?
False
Let n be (5 - 3)*(1 - 4). Let m(t) = t + 1. Let h be m(0). Let q be 46/(-14)*h - 4. Is q > n?
False
Let f(r) = -r + 15. Let v be f(10). Suppose 2*g + 2*g = 2*m + 202, -m - 248 = -v*g. Suppose 19 = 4*i - g. Is 17 > i?
False
Let d(b) = -b**3 + b**2 + 1. Let a(n) = -n**3 + 4*n**2 - 15*n - 13. Let s(p) = a(p) - 2*d(p). Let z be s(-5). Suppose -x = 3 + 12. Is x less than z?
False
Let u be 40 + 3 + (-3)/3. Let j = -3103 + 3116. Let t = j - u. Is -29 greater than t?
False
Suppose -21*c = 5*k - 20*c - 2302, 5*c = -2*k + 907. Which is smaller: k or 459?
459
Suppose z + 7 - 3 = 0. Let j be 4*z/(-3)*(-21)/(-14). Let d = -17.1 + 17. Is j > d?
True
Let l = 3104 - 2795. Is 306 > l?
False
Let j = -1/521 - 11980/1563. Suppose -5*l + 1622 = -4*i, 2*l - 2*i = -0*i + 650. Let d = 314 - l. Is j < d?
False
Let r = 7026 + -5936. Is 2177/2 >= r?
False
Let v be (-48)/21 + 2 - (-49552)/(-28). Let f be (4/12*-5)/((-10)/v). Is -296 less than f?
True
Let w = 577 + -317. Let g = 256 - w. Which is greater: g or -7/3?
-7/3
Let a be 4*12 - (-8)/4*2. Suppose -a*