 smaller: -8/383 or r?
-8/383
Let f be -3*3 - (-6 + 5) - (-3 - -976). Are -986 and f non-equal?
True
Let a(g) be the third derivative of g**5/60 + g**4/4 + 19*g**3/6 - 2*g**2 + 7. Let q be a(0). Is q at least as big as 17?
True
Suppose -12 = 3*g - 105. Let r(c) = -c**2 - 75*c - 1037. Let f be r(-56). Which is smaller: g or f?
f
Let t = 13486197/74158 - 5/10594. Let v = t + -177. Which is smaller: 5 or v?
v
Let w = 38.2 + -38.3. Which is smaller: w or -5304?
-5304
Suppose 2*s - 628 = -2*r - 3*r, -r + 121 = 5*s. Let j = r + -121. Is 2 >= j?
False
Let m be ((-3)/2)/(1/2). Let i be (-30)/(-40) + 70/(-4). Let r = i - -161/12. Is m <= r?
False
Let z(n) = -8*n - 310. Let j be z(-43). Let v be (j/(-1836))/((-14)/(-4) + 0). Is 1 <= v?
False
Suppose 0 = -4*p + 2*h + 3*h + 116, 5*p = -4*h + 145. Suppose p*d - 34*d = 85. Let a be d/(-17) - 39/35. Which is greater: a or -1?
a
Let d = -2837 - -2839. Let x be 1/1 - (-66)/11. Suppose -2*j + 1 = -x. Which is bigger: d or j?
j
Let w = -3526.74 - -3489. Let b = 37.9 + w. Is b < 1/7?
False
Let a be (2 - 0)/((-10)/(-60)). Let i be 2 - (a + -9 + (-32)/(-1)). Which is smaller: -2 or i?
i
Suppose -28 = 2*h + 2*h. Let x = 69 + -67.5. Let t = -1.5 - x. Which is smaller: t or h?
h
Let z = 22894 - 22863. Are z and 362 non-equal?
True
Suppose -182 - 56 = -17*g. Let h be (3/(-36))/(2750/(-915) - -3). Is g at least h?
False
Suppose 2*y = -2*b + b - 1, 2*b + 2*y - 6 = 0. Let h(t) = -t**2 + 7*t - 1. Let l be h(b). Let s = l + 7/4. Which is smaller: 0 or s?
0
Suppose 25873*r - 25897*r = -120. Is 13/47 less than or equal to r?
True
Let q = -70099 - -489824/7. Which is bigger: q or -124?
-124
Suppose -20*k + 5*k = -315. Suppose 0 = -5*g + 2*d - 448, k*g - 4*d + 456 = 16*g. Which is smaller: g or -268/3?
-268/3
Let c be (1/((-42)/(-372)))/(23/161). Is c not equal to 60?
True
Let k(w) = -w**2 + 3*w + 7. Let p(v) = -v**2 + 2*v + 7. Let h(o) = -6*k(o) + 7*p(o). Let z be ((-7)/(-42))/((-7)/210). Let m be h(z). Is m bigger than 3?
False
Let q = 17820 + -17820.7. Which is smaller: 1.62 or q?
q
Suppose -3*h - r + 3 = 0, -2*h - 15 + 6 = -3*r. Suppose -25 = -h*l + 5*l. Which is smaller: l or 7/6?
l
Let q be (5/25)/((-3)/(2940/8)). Let n = q + 15. Which is bigger: -11 or n?
n
Let v be ((-210)/20)/(-7) + 170/4. Suppose 0 = 52*r - v*r - 224. Which is bigger: 27 or r?
r
Suppose 30 = -3*x + 30. Suppose x*w - 5226 = -3*w - 3*j, 0 = -4*w + j + 6963. Let o = w + -384759/221. Which is smaller: o or 0?
0
Let s = -84 + 112. Suppose -3*k = -2*o + 49, 0 = 5*o - 0*o - 2*k - 139. Suppose -c - o = -s. Which is smaller: -20 or c?
-20
Let o = -324 - -323.3. Which is smaller: o or -444?
-444
Let f = -230 + 129. Let o = -92 - f. Let m = o - 13. Which is smaller: m or -1?
m
Suppose -2*p + 36 = -t, -9 = t - 4*p + 25. Let l(n) = n**3 + 37*n**2 - 32*n + 115. Let q be l(t). Which is smaller: q or -114?
-114
Let w = -15159 - -15159. Suppose 3 = -4*p - 1. Let a be (p/2)/((-15)/6). Is w at most as big as a?
True
Let v(y) = y + 1. Let u(c) = 13*c + 56. Let f(o) = -u(o) + 5*v(o). Let h be f(-6). Suppose 0 = 6*m - 4*m + 10. Is h smaller than m?
False
Suppose -l - 3*l - 20 = -2*k, 2*k - 24 = 3*l. Let v = k + -6. Suppose v*w - 2 = 11*w. Does w = 26?
False
Suppose -5*r + 2267 = 341*i - 339*i, -4*r + 5710 = 5*i. Is i less than -5?
False
Suppose j + 22 = -3*q, -16*q - 36 = -11*q + 2*j. Let n be (12/q)/(2 - 29/13). Is n at most as big as 6?
False
Let n = 317 + -220. Suppose -12 = -17*h - n. Does h = 15/4?
False
Let p be 52/(-39)*9693/24. Which is smaller: -540 or p?
-540
Let s(c) = c**3 - 13*c**2 - 13*c - 12. Let p be s(14). Let y be -2*(p + 2)/16*-6. Suppose -2*w + 0*v = -2*v + 2, -38 = y*w + 4*v. Which is greater: w or -12?
w
Let g = -0.185 - -0.22. Let y = g + -17.035. Which is smaller: -3 or y?
y
Let x = -56.32 - -11.89. Is -3 smaller than x?
False
Let l be 3 + 2/(-1) - -4. Suppose -s + 127 = -3*s + l*q, -15 = -3*q. Is -51 greater than or equal to s?
True
Let y = 437 - 224. Let s = y + -213.1. Are s and 2/135 non-equal?
True
Let q be (2 - (-52)/90) + 24/20 - 4. Is -35.2 smaller than q?
True
Let j = 4 + -2. Let m = 38 + 32. Let t = 73 - m. Which is smaller: t or j?
j
Let a be 7 - 3 - 5/(10/(-156)). Let r = -66 + a. Let u be (r/(-36))/((-22)/(-6)). Which is smaller: 1 or u?
u
Suppose -4*i - 13 = 39. Let b(h) = -h**3 - 12*h**2 + 5*h - 10. Let s be b(i). Suppose 0 = -211*p + 231*p - 1900. Which is smaller: p or s?
s
Let u(q) = q**3 - q**2 - 25. Let l be u(9). Is l < 625?
True
Let r be (-10)/(-12)*8/14. Let s = 136 - 136. Suppose -23*t + s = -23. Is t <= r?
False
Let y = -113.79 + 0.79. Let b = -361 + 244. Let r = b - y. Is -0.01 >= r?
True
Let j = 1228 + -1217. Which is bigger: j or -0.0026?
j
Suppose 0 = -2*m + 4*r + 8, -3*m - 3*r + 24 - 3 = 0. Suppose -n - 3*a = -m, -4*a = -3*n - a - 18. Let j be (-8)/5 + 1*(-1 - n). Is j > -11?
True
Let i = 0.5662 - 0.4662. Which is smaller: 296 or i?
i
Let d be (-1511)/280 - (-40 - -37). Let f = d + 49/20. Are 0 and f non-equal?
True
Let u(g) = -g + 8. Let q be u(6). Suppose 4*m + 322 = -2*v, 4*m + 3*v - q*v = -321. Let w = m - -81. Is -1/16 smaller than w?
True
Let p = -12688 + 456751/36. Is p at most 0?
True
Let a(o) = 18*o**2 - 300*o - 83. Let k be a(24). Is k not equal to 3086?
True
Suppose -5*w + 138 = -8*w. Let g = 50 + w. Let z be g*-2*3/372. Is 1 less than or equal to z?
False
Let i = -10630 - -8769748/825. Is i not equal to -7?
True
Let t(u) = u - 105. Suppose -2*h = -12*h + 110. Let g(c) = 21. Let f(b) = h*g(b) + 2*t(b). Let j be f(-11). Is j <= -3/11?
True
Let s be 12*-3 - (0 - 1). Let l = s + 31. Let k be l/(-36)*-3*0. Is k smaller than -1/22?
False
Let d be 3 - ((-1)/(-1) - -12 - 3). Let v be 1 - 0 - d/(6762/(-3565518)). Let x = v + 3690. Is x bigger than 0?
False
Let a be (-3)/12 + (-131)/4. Let y = -30 - a. Suppose 131 = 5*i + y*j, 0*i = -i - 2*j + 29. Which is bigger: 23 or i?
i
Let l be 1/1*-6*20/8. Let i be (-316)/6*l/10. Is i smaller than 79?
False
Suppose -2*h - 405 = -s, -2*h + 928*s - 925*s = 419. Is h bigger than -197?
False
Let v be (3 - 9 - -7)*92. Which is smaller: 83 or v?
83
Let z be 24/(-5) + 36/45. Suppose 3*n + 4*m + 2 = 6*m, 4*n - 2*m = 0. Which is smaller: n or z?
z
Suppose 0 = -3*c + 7*c + 32. Let h = 234/7 + -1422/35. Which is greater: h or c?
h
Let u be 8*(-3)/10*(-6480)/(-96). Let n = u - -149. Let j(r) = r**3 - 3*r**2 - 3*r - 2. Let f be j(3). Which is smaller: f or n?
n
Suppose 0*n + 3*p = -n + 176, 5*n - 931 = 2*p. Let l = -93 + n. Let h be (-1)/7 + (l/7 - 1). Which is smaller: h or 75/7?
75/7
Suppose 3*c - 71 = -32. Let k(z) = z**3 - 13*z**2 + 2. Let w be k(c). Suppose 2*h + w*h + 92 = 0. Which is smaller: -22 or h?
h
Let b = 4436269/8928 + -5/992. Are b and 497 equal?
False
Suppose -20*s + 2942 = 2962. Which is smaller: -1/1483 or s?
s
Let a = 253.91 + -254. Is a > 234?
False
Let r(h) = -h**2 - h + 31. Let i be r(3). Which is bigger: i or 18?
i
Let g = -2/293 - -596/1465. Let k = 106/15 - g. Which is smaller: k or 7?
k
Suppose 0 = -2*b + 2*z + 116, -b + 3*z = 8*z - 64. Which is smaller: b or 2/103?
2/103
Suppose c + 3*x = -637, -4*c = 5*x - 1377 + 3960. Which is smaller: c or -654?
-654
Let j = -8471 + 4984. Which is smaller: -1 or j?
j
Let x be 2/(0 - (-4)/(-7)). Suppose 0 = -10*m - 58 - 82. Let i be (m + 0)*(-12)/(-42). Which is smaller: i or x?
i
Let j(r) = 14*r**2 - 2 - 3*r + r**3 + r - 11*r**2. Let v be j(-3). Suppose -x - t + 16 = 0, v*x - 76 + 16 = -3*t. Is 12 less than or equal to x?
True
Let y = 66.52 + -66.62. Which is bigger: y or -70.12?
y
Suppose -11710 = 8*s - 32766. Is s < 2632?
False
Let t(f) = f + 44. Let p be t(-31). Suppose -p*r = 12 + 79. Is -11 greater than or equal to r?
False
Let j be (-4 - (0 - 4) - -1) + 3. Suppose 0*x + x + 50 = 0. Let u be x/360 + 1/j. Is u < -1?
False
Let z(s) = -3*s**3 + 2*s**2 - s + 2. Let i be z(2). Let w be 2 + -2 + (-2)/i. Let v = 94 - 94. Which is smaller: v or w?
v
Let h(z) = -z**2 + 20*z + 124. Suppose 2*t - 5*y = 60, t - 3*y = 62 - 31. Let d be h(t). Does -1/8 = d?
False
Let n = 1.4708 - 1.4708. Let i = -8 + 8.25. Let u = i - -12.75. Which is smaller: n or u?
n
Let b = 146026473 + -31472063540266/215523. Let w = b - -2/2177. Let j = 29093/9009 + w. Does 1 = j?
False
Let p be (2 + -2)/(-7 - -8) + (-247 - -2). Are p and -251 non-equal?
True