 is smaller: d or 23/235?
d
Let s(o) = o**3 + 9*o**2 + 7*o - 4. Let t be s(-8). Let b be -6*(-13)/26 - -4. Which is smaller: b or t?
t
Let q = -0.4005 - -1.1005. Which is bigger: q or -37.1?
q
Let a(g) = 31*g**2 + 4*g + 5. Let m be a(-1). Suppose k - 15 = -3*v, 5*k + 5*v - m = k. Let l be 558/(-171) - (-3 + 2 - k). Which is smaller: l or 2?
l
Let p(s) be the third derivative of 0*s - 24*s**2 - 1/24*s**4 + 0 + 5/6*s**3. Let b be p(4). Are b and 3/19 non-equal?
True
Let y = 2731 - 2562. Is -9/2 greater than or equal to y?
False
Let k = -793 - -60267/76. Let t = -251/7524 - k. Which is smaller: -8 or t?
-8
Let i = 3212 + -4196. Which is smaller: 3/2 or i?
i
Suppose -j = 2*u - 4 + 19, 0 = 4*j + 2*u + 36. Let r = -5 + j. Let y be (-4)/(r/8 - 3/(-3)). Which is smaller: 10 or y?
y
Suppose 0 = 17*l + 30*l + 18847. Let b = 431 + l. Which is greater: b or 1?
b
Let g = 32 + -35. Let u = 41 - 34. Is u greater than or equal to g?
True
Let x = -291 - -290.545. Let c = 4.545 - x. Which is bigger: c or 6?
6
Let p be (0*(-1)/2)/(-2). Suppose p = -o - o - j + 5, o - 2*j - 10 = 0. Let r be o/(-63)*(-18)/(-12). Is r at least as big as 0?
False
Suppose 7 = -3*f - 4*h + 2*h, 0 = -4*h - 20. Let r = -3492170 - -143196148/41. Let j = 419 - r. Which is greater: f or j?
f
Let c = -0.10581 + 3.10581. Let s be -1 - (-8 - (0 - 0)). Is c != s?
True
Let m = -18884 - -18390. Which is greater: 0.2 or m?
0.2
Suppose 3*p = 4*m + 6*p - 1350, -5*m = -p - 1678. Suppose -2*x + 306 = m. Suppose -y = -6*y - 75. Is x >= y?
True
Let q be 1/(-3) - 21460/24. Let v = q - -895. Is v greater than 694?
False
Let d = 33 + -32. Suppose d = -3*r - u, r - 6*u = -u - 11. Let m be 3066/(-1512) + 0 + 2/(-9). Is r at most as big as m?
False
Let b be (35845/(-321))/(-2*1/90). Which is greater: 5023 or b?
b
Let h = 0.15 - 0.2. Let s = -1.091 + -8.959. Let m = s - h. Is -1 bigger than m?
True
Let q(g) = g**3 + 7*g**2 + 4*g - 5. Let a be q(-6). Suppose a*o = -3*h + 8*o - 7, -3*h - 4*o + 13 = 0. Is -3/41 > h?
True
Suppose 2*s + 694 = -w + 3*w, 1033 = 3*w - 5*s. Is w at least 352?
False
Let z(s) = s**2 - 4*s - 4. Let w be z(4). Let o be ((-2)/3 - 20/12) + (-53 - -52). Which is bigger: w or o?
o
Let w = 16214 + -599920/37. Which is bigger: 8 or w?
8
Let w = 4.6455 + -4.6645. Suppose -4*q - 4 = 2*m + 2, -3*q = -4*m - 12. Which is smaller: w or q?
w
Let i be ((-35)/(-105))/(1/(-9)). Let j be (i/36)/(-1)*3. Which is smaller: j or -22?
-22
Let j = -3556 + 3559. Which is smaller: -2.84 or j?
-2.84
Let r = 3047 - 3048. Is r at most -5/44?
True
Let d = -6 + -27. Let q = -695 + 701. Suppose q*b + 208 = 16. Is d != b?
True
Let b = 82.87 - 79.27. Which is bigger: 13 or b?
13
Let d(o) = 51*o + 34. Let b be d(-3). Let j be 1/(-2) - 2/(364/b). Is 1 equal to j?
False
Suppose 3*t - 2*v - 6 = 0, -t + 3*v = -v - 2. Suppose -4*d - 24 = -t*d + 3*z, 5*d - z + 94 = 0. Let s be (-56)/d*(65/(-40) + 2). Do s and 2 have the same value?
False
Let s be 22 + 1005*939/(-42894). Which is smaller: -0.2 or s?
-0.2
Let m be (36 - -1) + -1 + -2. Let v be ((-2)/3 - -2)/m. Suppose -d = -13*d + 6*d + 6. Which is smaller: v or d?
v
Suppose 13*m + 201 = -4*f + 18*m, -3*f + m - 159 = 0. Suppose 0 = 2*y - 1 - 1, -2*y + 10 = -2*z. Let g be z - (-1 - -1 - -51). Is g at least as big as f?
False
Let m(r) be the first derivative of -r**4/4 - 22*r**3/3 - 11*r**2 - 9*r - 64. Let o be m(-21). Let a be ((-21)/(-4))/(6/16). Is a smaller than o?
False
Let v(h) = h**3 + 11*h**2 - h - 20. Let l be v(-11). Let p be (-4)/30 - l/(675/385). Suppose -p*c - t + 135 = 0, -3*t + 33 = c - 8. Is 26 bigger than c?
False
Let y = 11839 - 1408823/119. Is -1 smaller than y?
True
Let f be (8 - (22 - 2))/(488/4). Are f and 1 unequal?
True
Suppose -5*f - 13 = -13. Let v be ((-1)/2)/(24/(-16))*f. Suppose v = -9*p + 7 + 2. Is 0 at most p?
True
Let s = 549/380 - 28/95. Let p = -9/10 + s. Which is bigger: -1 or p?
p
Suppose -4*x + 223 = 1687. Let o be (-6)/(-10)*(-30)/x. Let t be 3/8 - 39/(-1040)*-10. Is t at least o?
False
Suppose -78 = -o - o. Let v be -2 + 0 + 42/o. Let z = v - -10/39. Which is greater: -1.1 or z?
z
Let n be (-546942)/(-264) - 3/(-12). Do 2071 and n have the same value?
False
Suppose 29*l + 226 + 22 = -219*l. Which is smaller: 3689 or l?
l
Let w = 1.064 + -1.164. Which is greater: w or 804?
804
Let p = -34305 - -2812949/82. Which is smaller: 0 or p?
p
Suppose 4*b + 729 = -39. Let p = b - -259. Are 69 and p equal?
False
Let z be 3/2 - (-88)/32*-6. Let t be (87/z - -6) + 16/(-30). Which is smaller: t or -1/24?
t
Let v = -11 + 15. Suppose 8*q = v*q + 56. Let l be 12*(-5)/200 - 123/(-10). Are q and l unequal?
True
Let q = 590 - 869. Let c = q - -250. Is 0.3 at least c?
True
Let d be (12/(-16))/(21*(-15)/(-232680)). Are -565 and d nonequal?
True
Let q be (3/(-10))/((-12)/(-32)). Let j = 0.174 + -1.574. Which is smaller: q or j?
j
Suppose 4*x = -h + 54 + 10, 0 = -4*h. Let g = 219 + -206. Is g at least as big as x?
False
Let j(z) = -4*z**2 + 7 + 19*z + 26 - 5 + 3*z**2. Let t be j(20). Suppose t*a + 43 = 147. Which is smaller: -2 or a?
-2
Let r be 0 - (0 + (0 - 5)). Let z = 2913 + -2896. Suppose z - r = 6*i. Are 3 and i unequal?
True
Let x(g) = 11*g**3 - 419*g**2 + 45*g - 86. Let d be x(38). Which is smaller: 175 or d?
175
Let z(w) be the first derivative of -w**3/3 + 3*w + 15. Let u be z(6). Let c be (-270)/u + 2/(-11). Is 11 at least c?
True
Let n = -171 - -170. Let u be ((6/15)/1)/(26/6). Which is smaller: u or n?
n
Let k = -377 - -209. Suppose 24*q - 3*q + 22599 - 19113 = 0. Is k at most as big as q?
True
Suppose -740*q + 1050 = -790*q. Which is smaller: q or -31?
-31
Let w be ((-1)/(-4))/(845/104 + -8). Suppose -4*r + 4 = 2*o - 4, o - w = -r. Which is smaller: 5/98 or o?
o
Let u(m) = 20*m**2 - 22*m - 27. Let c be u(-1). Do 2/395 and c have the same value?
False
Let u = -53 + 57. Let i be (4/5)/(u*(-5)/(-100)). Is i greater than 10/3?
True
Let h be 2 + (-20)/5 + 17. Suppose h*c - 42 = 18*c. Let b be c/12 - (-2)/12. Which is smaller: -1/46 or b?
b
Suppose 2*v - 2 - 2 = 0. Suppose -5*a + t = 2*t - 81, -4*t + 18 = v*a. Let b = a - 26. Is -4 less than or equal to b?
False
Let d = -8/19 + 157/418. Let t = -5.1 - -6.1. Let h = -2 + t. Which is bigger: h or d?
d
Let r be (1 - (8 - 292))/(-1). Which is bigger: r or -291?
r
Let a = -2718 - -785501/289. Let g be (-18)/(-99) - (-13)/(-11). Which is bigger: a or g?
a
Suppose -3*d - 123 = 3*o, -3*o = 5*d + 18 + 107. Let h be 36/126 + 30026/(-770) - (-1)/(-11). Is h equal to o?
False
Let d be 12 + 1 - 25 - 58764/(-30). Is d smaller than 1947?
True
Let x be 8280/(-3450)*(-750)/(-4). Which is greater: x or -454?
x
Let n(l) = -l**2 + 4*l + 19. Suppose 6*i - 1 = 5*i + m, -2*m = 5*i + 23. Let z be n(i). Is z at least as big as -10?
True
Let h = -19.24 - 2.76. Which is bigger: h or -0.08?
-0.08
Let r be 2/(58704/4192 + -14). Is -2 at most r?
True
Let h = -7443 + 9535. Which is greater: 2099 or h?
2099
Suppose x = -4*v + 10, -2*x - 5 = 4*v - 33. Let m be (12/x)/(0 + -1). Is 53 smaller than m?
False
Let p = 47612 + -101689. Let c be 8/6*p/(-68). Let w = -1050 + c. Which is bigger: w or 11?
11
Let q(r) = r - 11. Let l = -25 + 51. Suppose -14 = -2*y - l. Let n be q(y). Is n < -17?
False
Suppose 33*k - 229*k = 46*k - 13794. Is 955/17 at most as big as k?
True
Let y be 6/((-24)/(-292))*(-2 - -1). Let l = 73 + y. Suppose l = -17*t + 21*t + 8. Does -5/7 = t?
False
Suppose 0 = -383*h + 387*h - 5*q + 151, -5*h + 5*q - 185 = 0. Is -4/5 != h?
True
Let r(y) = -3*y**2 + 3*y + 3. Let p be r(0). Suppose 0 = -p*k + 5*x - 57, 13*x + 95 = -5*k + 14*x. Does -19 = k?
True
Suppose -5*b + 4*d = -60, -3*b = -0*b - d - 29. Suppose 0 = 3*m + l - 5*l + b, l - 2 = 2*m. Suppose 0 = -4*a + 4*t - 36, -a + 4*t - 2*t - 10 = m. Is -10 >= a?
False
Let y = -1/122 - -7263/488. Which is smaller: y or 15?
y
Suppose 0 = 17*y - z + 1451 - 10669, y - z = 546. Does y = 545?
False
Let h be ((-1)/5 - -1)/((-510)/425 - -1). Let l = -22 - -12. Is h less than or equal to l?
False
Let j = -2.1 - -2. Let h = 0.188 + -1.358. Let m = h - 1.83. Which is bigger: m or j?
j
Let r = 42.686 - 0.786. Let u = r + -41.88. Which is smaller: 7 or u?
u
Let s = 5112 + -138026/27. Which is smaller: s or 169?
s
Suppose 241*d - 1086 = 7405 + 3559. Let z be 51 - 2/(3 - 2). Which is smaller: d or z?