 -5099.5. Is -2 > g?
False
Let h(y) = -111*y + 2. Let l be h(1). Let j = -2.6 + 2.7. Is j < l?
False
Let o = -127 - -195. Which is greater: -4 or o?
o
Suppose 0 = -35*p - 82*p + 32*p + 167280. Which is greater: p or 1967?
p
Let g be (50/4)/(-5) - 3/(-6). Let a(r) = -11*r**3 - 1 - 1 + 12*r**3 - 4*r**2. Let w be a(4). Is g at most w?
True
Suppose 5*u + 30 = -3*t, t = 7*u - 3*u - 10. Let m(g) = 3*g**3 - 2*g**2 + 1. Let k be m(1). Let h be 2 - ((12 - k) + 2). Is h equal to t?
True
Suppose 18*y - 180 = 6*y. Let z be 4 + (-39)/y - -5. Suppose -d - 20 = -6*d, -2*d + 3 = -p. Is z equal to p?
False
Let q be -18*((-96)/(-12) + 367/8). Is q at least as big as -969?
False
Let n(q) = 33*q**2 + 14*q - 14. Let y be n(1). Let v be (-293 - y) + (5 - -1). Does -320 = v?
True
Let t = 30 + -25. Let j be 10/(t/(45/(-51))). Let s = -223/136 - j. Which is greater: -0.2 or s?
s
Suppose -14*u = 458 + 802. Let r = 38 + u. Is -52 not equal to r?
False
Let g be 58/8 - (182/(-8) - -22). Let h(x) = 4*x. Let q be h(1). Suppose -6*m - 4*v = -2*m + g, 3*m + 2*v + q = 0. Which is smaller: 2 or m?
m
Let n = -0.1039 + 0.8039. Which is bigger: n or 2.07?
2.07
Let h(y) = -49*y + 10. Let a be -4 - (-5 + 1 - 0). Let q be h(a). Suppose n - 2*r = 0, 2*r - 12 = n - 3*r. Do n and q have different values?
True
Let i = -22767/31 + 734. Are 0 and i nonequal?
True
Let w = -211 + 211. Suppose w = r + 2*b - 13, b + 22 = r - 0*b. Is 20 at most as big as r?
False
Let m be ((-72)/(-4845))/(288/960). Which is bigger: 0 or m?
m
Suppose -b + 709 = 4*k, 12*k + 3*b = 9*k + 534. Which is smaller: k or 178?
k
Suppose -10 = -2*x + 4*h, -4*x + 5*h + 4 = -7. Let f be (-1)/x + (-4 - 43/(-11)). Let g(m) = -2*m - 15. Let n be g(-8). Which is greater: f or n?
n
Let z be 2/(1/3*-1). Suppose 5*l - v = -54, 0 = -5*l + 2*v - 41 - 17. Let t be l/45 + 154/(-36). Which is smaller: t or z?
z
Let y(q) = q**3 - 10*q + 1 + 3 + 10*q**2 + 7. Let l be y(-11). Let z be 2/20 - 0/(-3). Is l less than z?
True
Let q = -147.289 + 6.289. Which is greater: q or -0.1?
-0.1
Let x = 134227/122460 - -2/30615. Which is bigger: 1 or x?
x
Suppose -u + 0*u - 5*p = -15714, 8 = 2*p. Let n be 2/(-7) - (-6080)/u. Which is greater: 0 or n?
n
Let g(k) = -6*k + 39. Let y(m) = -2*m**2 + 11*m + 1. Let f be y(5). Let l be g(f). Is l < 50?
True
Let b be 2/(-9) - (-1480)/180 - 9. Is 3/725 bigger than b?
True
Let q = 6385 + -108601/17. Let j be ((-5)/((-25)/20))/4*(-4 - -1). Which is smaller: j or q?
q
Let i = 3 + -4. Let g(q) = -2*q**3 - 30*q**2 + 258*q + 3982. Let k be g(-15). Is k > i?
True
Let p = 42071.87 - 42245. Which is smaller: p or 0?
p
Let o be 114/(-190) + 1571/85. Is o at most 19?
True
Let d(w) = -3*w**3 - w**2 - w - 1. Let a be d(-1). Let p(s) = 3*s**2 + 233*s - 77. Let h be p(-78). Let m be h/a*(-1 + -1). Which is greater: m or 6/29?
6/29
Let f(a) = 5*a**2 + 3*a + 2. Let z be f(-1). Suppose -2*p + 10 = -y, -y = z*p + 4*y - 20. Let k = -3 + 3. Which is greater: k or p?
p
Let s(l) = 132*l - 5538. Let f be s(42). Is 20 smaller than f?
False
Let z be 61*1/(-21) - -3. Let t = -10843 - -10854. Is z less than or equal to t?
True
Let u be 9*(-1 - (-4)/3). Let c = 2.1483 - -117.8517. Are c and u unequal?
True
Let y = 188 - 150. Suppose -18 = d - y. Let g = -5 + 24. Do g and d have different values?
True
Let l be (((-2)/20)/(148/32))/2. Let s = l - 364/555. Is 21 greater than or equal to s?
True
Suppose 87*o = 5*r + 86*o - 493, 469 = 5*r + 2*o. Is 87 less than or equal to r?
True
Let r = 16 - 15. Let i = -15 - -18.3. Let f = 6 - i. Which is greater: f or r?
f
Let c(z) = -320*z - 1944. Let f be c(-6). Do -21 and f have different values?
True
Let k(u) = u**2 - 158*u + 1717. Let y be k(127). Is y at most as big as -2220?
True
Let h(w) = 1748*w - 4750. Let b(a) = 53*a - 144. Let q(j) = 133*b(j) - 4*h(j). Let s be q(4). Is s <= 76?
True
Let w(z) be the third derivative of z**5/60 - 3*z**4/8 - 5*z**3/3 + 5*z**2. Let v be w(10). Let l be (-7 + 11)/(1 + -23). Which is smaller: v or l?
l
Let o = 7.4 - -38.6. Let a = -46.114 - -0.114. Let h = o + a. Which is smaller: h or 0.13?
h
Let a = 3.1392 + -0.1392. Let k = 7 - 8. Let w = k + -3. Does w = a?
False
Suppose -f - 1938 = -2*m, -2*m + 3*f + 1507 = -427. Is m != 971?
True
Let d = 4179 + 3021. Which is bigger: -2 or d?
d
Let y be (-21)/(-9) + 3 + 35/(-15). Suppose y*k - 95 = 5*c + 22, 113 = -5*c + 2*k. Is c smaller than 0?
True
Let z be (468/(-48) - -10)*5552. Which is greater: 1385 or z?
z
Let p be (-2376)/(-11) + (-2 - (0 + -4)). Let h be -4 + (-22)/(-11)*p/110. Which is bigger: -1 or h?
h
Let x be (-6 - -1) + (9 - -1). Let g(c) = -10*c + 56. Let p be g(x). Which is greater: p or 2?
p
Suppose -25 = 83*k - 58*k. Is k < -2.726?
False
Let s be (-8)/(-20)*-1396*5/(-38). Let j = 420082/5719 - s. Which is smaller: j or 1?
j
Let x be ((-32)/(-20))/(2/35). Suppose 0 = -5*k + 4*z + x, k - z = -k + 13. Suppose -3*n = -k - 37. Is 15 greater than n?
False
Let t = -24887/9 + 2769. Let i(y) = -473*y**2 - 1891*y + 8. Let c be i(-4). Which is smaller: t or c?
t
Suppose 0 = 51*z + 10 - 10. Which is smaller: z or 1/4990?
z
Let o(t) = 9*t + 6. Let d be o(0). Suppose -4*q - 5 + 1 = 0. Let w be q/d*24/(-12). Is -1 bigger than w?
False
Let v(c) = -c**2 - 222*c - 1913. Let g be v(-9). Which is greater: 127 or g?
127
Suppose 0 = n + 8 + 6. Let j be ((-121)/(-22) - (4 + 2))*-12. Let d be (j*8/36)/n. Is d <= 0?
True
Let j = -1582 - -1886. Let x be (15292/(-50))/(-1) + -2. Let z = j - x. Which is bigger: 1 or z?
1
Let b = -92 + 95. Suppose -l = -b*v + 79, 5*v - 3*l - 80 - 57 = 0. Let h(x) = -x**2 + 24*x + 26. Let c be h(v). Is c at most as big as 18?
True
Let s = 6550/12519 + -10/963. Let h = s - 280/39. Which is bigger: -7 or h?
h
Suppose 5*d + 80 = -60. Let c(j) = j**3 - 374*j**2 - 1105*j - 9831. Let k be c(377). Does k = d?
False
Let f be (8601728/(-3363))/34 + (-4)/38. Suppose d = 3*d + 152. Are d and f equal?
False
Let f(g) = -20*g - 2. Let d be f(-3). Let y be (-6608)/(-70)*135/216. Which is bigger: y or d?
y
Let o = 2083 + -2167. Let w be 1/4 - 327/(-4). Let a = w + o. Which is greater: 2/15 or a?
2/15
Suppose 91 = 7*j + j - 1077. Which is smaller: 7 or j?
7
Let w(n) = 3*n**2 - 156*n - 558. Let i be w(60). Is 881 <= i?
True
Suppose -300 = -21*m + 456. Suppose 12*h = 36 - m. Let i be 18/(-10)*1/(-6). Which is smaller: h or i?
h
Let x(o) = o**3 - 7*o**2 + 5*o + 3. Let d be x(4). Let m = 1465 + -1440. Let g = m + d. Are 3/11 and g non-equal?
True
Let u(z) = -1357*z - 6285. Let c be u(-5). Which is bigger: 496 or c?
c
Let h = -1747 + 1746. Which is smaller: h or 2619?
h
Let n be (-7880)/((-36)/9) - -11. Is n bigger than 1982?
False
Let z(k) be the third derivative of k**5/60 - 7*k**4/8 + 5*k**3/6 - 18*k**2. Let p be z(21). Does p = 52/11?
False
Suppose -2*l = -60 + 24. Let k be (2/(-30))/((-135)/450). Is k > l?
False
Let v be (4 - 4 - -2)/(8/96). Let p(r) = r**2 - 2*r. Let f be p(2). Suppose -5*o - v + 24 = f. Which is smaller: o or -18?
-18
Let t = -3035.5 - -3036. Let y = 22 + -18. Let a = y + -2.8. Are a and t non-equal?
True
Let h be (0 + -4089)*(-23 + (-952)/(-42)). Is 7 at most as big as h?
True
Let x = -3008/51 + 63156/1105. Let k = 9/5 + x. Is -1 less than k?
True
Let v be -6 + 1 + 0 - (-9)/1. Suppose -p + 4*b + 222 = 0, 2*p - v*b - 461 + 5 = 0. Is 234 >= p?
True
Let c be (-14)/(-49) + 1224080/(-308). Is c at least -3974?
True
Suppose 3719 = 6*i - 1267. Is i less than or equal to 831?
True
Let i(w) = -3*w**3 + 41*w**2 - 22*w + 257. Let b be i(12). Is 4995/7 at least as big as b?
True
Let d(t) = t**2 + t - 1. Let z be d(-3). Let x = 9 - z. Suppose l + 110 = -x*l. Which is bigger: l or -21?
-21
Let z be ((-23)/7)/(15/16130) - 1. Let y = -3537 - z. Let f = -2104/777 - y. Is f > 1?
False
Let f = 683 - 15712/23. Suppose -3*u + 412 = 409. Which is smaller: u or f?
f
Let d = 0 + -1. Let b(f) = f**3 + 14*f**2 - 13*f + 21. Let y be b(-15). Let s be (4/6)/((8265/y)/(-19)). Is d at most s?
True
Let o(a) be the third derivative of 3*a**4/8 - 91*a**3/6 + 197*a**2. Let u be o(10). Is 30 != u?
True
Suppose 621 = 14*w + 117. Suppose -w*n = -34*n - 2. Let r be (-22)/(-3)*2/12. Which is bigger: n or r?
r
Let h be 10/(-6) - (190/(-15))/19. Is h less than -0.3?
True
Let u be ((-21)/(-2) - 1/(-2))*1. Suppose -4*m + u = -5. Let l be m - 