190/7 or h?
h
Let k(h) = -h**3 + 4*h**2 - 4*h + 4. Let g be k(3). Let r(l) = -5*l**3 + 2*l**2 - 3. Let s be r(-4). Let z = s + -13613/39. Which is smaller: g or z?
z
Let n = 12.6 + -12. Let q = n - 1.6. Let j = q + 2. Which is smaller: j or 0?
0
Let v = 73 + -41. Suppose -2*l + v = 4*q + 3*l, -5*q + 31 = 4*l. Let s be ((-6)/(-9))/((-2)/q). Which is smaller: 2 or s?
s
Suppose -3 = 3*h - 3. Which is bigger: -2/287 or h?
h
Let y(q) = -7*q**3 - 7*q**2 - q. Let g(n) = -n**3 - n**2. Let m(o) = 6*g(o) - y(o). Let h be m(-1). Is h greater than -2/85?
False
Let u = 3 - 5. Let a be (-2)/10 - u/10. Let h = -0.3 - 0.1. Is a greater than h?
True
Let q = 21.5 + -20.8. Which is bigger: q or 4?
4
Let j = 22130/3 + -7728. Does j = -351?
False
Let o = 284115/29 + -9798. Is -2 >= o?
False
Let u(z) = 2*z**3 + 3*z**2 - 10*z - 13. Let o be u(-2). Let f = 5 + -3. Which is greater: o or f?
o
Suppose -4*m = 4, -4*m = -b - b - 30. Let u be (-2)/(180/627 + (-2)/11). Is b > u?
True
Let r = 808 - 807. Are 70.5 and r unequal?
True
Let c = 2 + -2. Let o = -138 + 140. Let r = o - c. Which is greater: r or 1?
r
Suppose 5*m = -2*y + 33, 2*m = 6*m - 20. Let f be (150/(-14))/(y + -3). Let p = f - -274/21. Which is smaller: p or -0.1?
-0.1
Let q = -97/6 - -1249/78. Let g = -7 + 9. Suppose -g*m + 6*m = 0. Does q = m?
False
Suppose -2234 = -3184*h + 3182*h. Which is greater: h or -1?
h
Let f(s) = s**2 - 4*s - 2. Let b be f(5). Suppose -v + 4 = 0, 0*u = -4*u - b*v + 16. Which is smaller: 2/11 or u?
2/11
Let o(m) be the third derivative of m**4/24 - m**3/2 - 25*m**2. Let q = -8 + 12. Let p be o(q). Which is bigger: p or 1/4?
p
Let x = -1/116 + -997/5452. Is -1 >= x?
False
Suppose 15*g - 2835 = -12*g. Is 105 at most g?
True
Let y = 34 + -50. Let c = -16.1 - y. Let l = 53.5 + -54. Is c at most l?
False
Let c be (4/(-12))/(-1)*15. Let p(k) = k**3 + 2*k**2 - 2*k - 3. Let z be p(-3). Let t be (-33)/z - (-2)/4. Which is greater: c or t?
t
Suppose -150 = -8*x + 3*x. Let u = 80 + -80. Which is smaller: u or x?
u
Let q be (9/12)/((-3)/30). Let r = q - -31/4. Is r at least 1?
False
Let s be 624/(-705) + 4/6. Let y = s - -2/15. Is y > -1?
True
Let f(p) = -p**2 + 7*p + 4. Let b be f(7). Suppose -2*x - 124 = -b*o, -2*o = x + 3*x + 228. Let g = -286/5 - x. Which is greater: g or 0?
g
Let w = 0 + -1. Suppose -3*q + 5*c + 404 = 0, -3*q + 185 + 207 = -2*c. Let k = -894/7 + q. Which is smaller: w or k?
w
Suppose 3*w + 16 = o + w, 0 = 4*o - 4*w - 68. Suppose -5*h + 3 = o. Is -25/6 greater than h?
False
Let l = -195 - -195. Is l less than -1/28?
False
Let g be 174/15 + (-2)/(-5). Let b be g/18*((-30)/4)/(-5). Let u = 1 - -1. Which is bigger: u or b?
u
Suppose 4*p + 4 + 0 = 0. Let h be (-1)/(-1)*p/1. Are h and 2/31 nonequal?
True
Let v = 1672 - 1846. Is -175 less than v?
True
Let p be -2*(-114)/(-36) + 4/12. Let d(y) = y - 3. Let a be d(-4). Is p not equal to a?
True
Let w = 536 + -371. Let s be 2/33*(w + -3). Which is smaller: 9 or s?
9
Suppose -j + 4*l + 7 = 0, 0*l = -2*j + 5*l + 8. Let h = -8655/28 + 309. Which is greater: h or j?
h
Let k be 8/(-24) - 19/(-3). Suppose 40 = 4*i - k*b + 2*b, b = 0. Suppose 0 = -4*y - y + i. Is y <= 2?
True
Let t(g) = -g**3 + 2*g**2 + 2*g + 2. Let m be t(0). Is 42/43 not equal to m?
True
Let r = 1079 - 50711/47. Is 0 greater than or equal to r?
False
Let x = 0.3 + -1.1. Let f = x + -0.2. Is f not equal to -0.01?
True
Let j be -4 + 1 - 5385/(-1805). Let r = j + -5391/1444. Which is bigger: r or -4?
r
Let o be -3 + -1 - (13 + -219). Which is greater: 203 or o?
203
Let y = 216 - 283. Is 0.14 > y?
True
Suppose 0 = 2*v - 214 - 126. Suppose -172*r = -v*r + 2. Is -2/181 > r?
True
Suppose -5*s = -5, 2*s + 2 = -3*w + 4*w. Suppose 5*o = -4*d - 524, -w*d - 454 = o + 54. Is d less than -127?
False
Let n be ((-2)/(-4))/(5/((-400)/(-4))). Let b be 9/(135/(-12)) + 4/n. Which is smaller: 0 or b?
b
Suppose 3*g + 45 = -3*v, 4*g - v + 35 = -0*v. Let b = 2 - g. Is 13 < b?
False
Let m = 16 + 11. Let a = m - 35. Is a != -8?
False
Suppose -2*t + 573 - 577 = 0. Is t at least -15?
True
Let p be 14/6 - (-10)/(-15). Suppose -14*m + 18*m - 8 = 0. Which is smaller: p or m?
p
Let l = -1325607/6428 - 42/1607. Let f = l + 205. Is -1 >= f?
True
Let o = 1/14 + 10/7. Let r = o + -1. Let w = r - 1. Is w >= 0?
False
Let d = -0.75 + -13.05. Let t = d + 13.9. Is t >= -0.072?
True
Let h be 87/4 + -4 - -1. Let v = h - 19. Let u be 1*((-1 - -1) + 0). Is v > u?
False
Let h = 213 - 207. Is h greater than -0.8?
True
Let g(d) = -4*d - 13. Let u be g(-3). Let p be u/(-3)*(-3 - (-6 - 111)). Is p < 38?
False
Let w be (-2 + (-380)/(-8))/(-1). Which is smaller: -45 or w?
w
Let x be (4/(-24))/(10/15). Is x not equal to 1/10?
True
Let v(x) = 5*x + 111. Let k be v(-28). Are k and -31 equal?
False
Let t = -63701/98 - -650. Let n be (1556/(-48))/(49/(-2)) + 1. Let v = n - t. Is v > 2?
True
Let s be (0 - 2)/((81 - -2) + 2). Is s >= 0?
False
Let x = 0.6 - 1. Let n = x - -0.6. Is n bigger than -0.05?
True
Let k = -95576920/1869 + 51138. Which is smaller: -1 or k?
-1
Let u be 18/99 - (-8)/(-44). Is u at most -1/946?
False
Let a be (2/(-5))/((6 - -4) + -11). Which is smaller: a or 2/3261?
2/3261
Suppose -5*b + i + 3 = -164, -4*i = 5*b - 182. Suppose 2*r = -b + 32. Are 23 and r unequal?
True
Let y = -859053/301 + 2854. Is 1 greater than or equal to y?
True
Suppose -f = 2*o - 7, 3*o - 5*o = 3*f - 5. Let k = -1052/195 - -74/15. Is k greater than f?
True
Suppose 3*r - 4 + 373 = -3*d, 4*d + 507 = -r. Which is smaller: -129 or d?
-129
Suppose 3*q = 2*q + 3*i + 17, 5*q - 2*i - 33 = 0. Suppose -q*a = 3*s - 91, -s = -5*a - 0*a + 3. Let y be (66/(-21))/((-7)/49). Is s > y?
False
Let b = -9 - -11. Suppose s = -s + b. Suppose s = -i + 2*i, i = -5*z + 26. Which is bigger: z or 4?
z
Let m be ((-8)/(64*-1))/(2815/(-20)). Which is smaller: m or 0?
m
Let o(r) = 3*r**3 - 5*r**2 + r + 6. Let c be o(3). Are c and 45 non-equal?
False
Let p be (-5)/4*8/60. Let v = 1121 - 1121. Which is bigger: v or p?
v
Suppose 0 = -4*a - 1 + 5. Let t = -4027350304/6892421 - 6/362759. Let s = 584 + t. Which is smaller: s or a?
s
Let p = -100 + 92. Let t be (-3 - 3/p) + (-18)/6. Which is greater: -6 or t?
t
Let i = 0.05 + -3.05. Let k = -3 - i. Suppose n - 5*n = 12, -n = -4*w - 9. Do w and k have the same value?
False
Let n be (76/(-20) - -3)*8460/(-24). Is n <= 281?
False
Let j be (-12)/10*(-5)/(-15). Which is smaller: 19/2 or j?
j
Let h be 14/10 - 444/185. Is 2/13 at least as big as h?
True
Let r = -10783/2271940 + 4/2245. Which is smaller: 0 or r?
r
Suppose -175 = 3*i + 2*i. Let o = -557 + 524. Do o and i have different values?
True
Let s(z) = 27*z**3 - 5*z**2 - 2*z + 3. Let r be s(-1). Is -22 at least r?
True
Let n(a) = -a + 4. Let o be n(5). Let k = 20913/29 + -721. Which is smaller: k or o?
o
Let a = 46.08 - 44. Let r = a + -1.8. Let u = 0.18 - r. Is u greater than 1.2?
False
Suppose -15*v + 38*v = -23. Is -6/199 at least v?
True
Let i = 0.91 - 69.41. Let m = 68 + i. Is m at least -0.17?
False
Let c = -45 + 45. Which is greater: -2/17 or c?
c
Suppose -5*f + 4*d + 32 + 34 = 0, d = -4*f + 36. Let b be (1 - 1)/(11 - f). Which is bigger: 3 or b?
3
Suppose 0*p - 2*p + 4*b + 20 = 0, -4*b - 16 = -p. Suppose w - 10 - p = 0. Suppose 46 - w = -4*t. Is t at least 1?
False
Let i = -3 + 3. Let r be 28/8*8/14. Suppose 2*g - r*f = -2*g + 4, -5 = -5*g - f. Is g less than i?
False
Let o(j) = 7*j**2 - 1. Let d be o(-1). Let a(n) = 3*n**2 + 9*n - 1. Let r be a(-3). Let p(b) = -b**2 - 4*b + 1. Let u be p(r). Is d greater than or equal to u?
True
Let i be (-4)/(-4) + 45/(-85). Suppose -3*u + c - 5*c + 9 = 0, -u + 5*c = 16. Which is bigger: i or u?
i
Let i = -0.1781 - -0.0781. Which is bigger: -44.5 or i?
i
Let t(h) = h. Let w be t(-4). Let v = 172.91 - 173. Let p = v + 0.19. Which is bigger: w or p?
p
Let d = 272.9 + -273. Which is smaller: d or -3/8?
-3/8
Let c = 38 + -42. Let y be 24/116*(-1)/4*c. Is y at most -1?
False
Suppose 2*m - 18 = -5*n + n, 10 = 2*m. Let s be 6*(1/(-3) - -1). Suppose -16 = -s*b - 4*z, 8 = 5*b + 4*z - 13. Is b greater than or equal to n?
True
Let s be 36/15 - 9/(-15). Let k(z) = -3*z - 3*z**s + 2*z**3 + 3*z + 12*z**2 - 2. Let r be k(12). Which is bigger: -5/7 or r?
-5/7
Let j = -0.558 - -0.358. Are 122 and j unequal?
True
Let f be (-20)/(-225)*3/2. Which