51/8 + -1794. Is t != 0.01?
True
Suppose -2*c + 6 = 3*g - 11, -g = -3. Let q be (3 - 2)/(c/(-4)). Let f be ((-8)/(-66))/((-864)/(-324)). Which is bigger: q or f?
f
Let q be (-171)/(-114) + (-1302)/(-4). Let w be 1/q*15/20. Which is greater: w or 0?
w
Suppose -107*c - 18*c = 15*c + 6*c. Which is bigger: 13/241 or c?
13/241
Suppose 2*f = 10 - 0. Suppose f*w - a - 40 = 0, 4*a = -4*w + w + 47. Suppose -o = -3*j - w, 3*j + 5*o = o + 6. Is j >= -11/3?
True
Let f be 3/393*(1 - 3). Let t(j) = -126*j - 1511. Let k be t(-12). Which is greater: k or f?
k
Let n(t) = t - 2. Let a be n(6). Let j be 763/218 + (-6)/4. Let l be (22/(-44))/(j/a). Is -1 < l?
False
Let r be (-2)/16 + 1/4. Suppose 0 = 2*a + 2*i - 66, 4*i + 36 = -a + 3*a. Suppose 1 = a*w - 29*w. Which is smaller: w or r?
w
Let w = 15 + -6. Let m be w/25*(-1)/(-1). Let t = -174/275 + m. Is t bigger than 1?
False
Let z(r) = 2*r**2 - 8*r + 4. Let o be z(3). Let k be (o - -2)/(3 + 0). Suppose k = -5*p - 3 + 8. Which is greater: -5/13 or p?
p
Let r = 4496 + -4496. Is 353/4 less than r?
False
Suppose p - 2*t = 72, -5*p + 229 = -4*t - 161. Suppose -79*r + p*r = -597. Is r >= -198?
False
Suppose -930*o + 928*o = -62. Is 51 != o?
True
Suppose -4*q - 16*n + 2505 = -13*n, 3*q - 3*n - 1842 = 0. Is 616 <= q?
True
Let m = 33/2 + -227/14. Let c be 1*20 + 0 - (6 - 2). Suppose -5*d + c*d = 55. Is m greater than or equal to d?
False
Let r(g) = -5*g**2 - 256*g - 168. Let c be r(-53). Are c and -646 equal?
False
Suppose -781*d + 780*d = -18. Suppose 0 = -w - 1, 2*r + 2*w + d = 6. Which is greater: r or -13?
r
Let t(w) be the first derivative of -2*w**3 - 7/2*w**2 - 14 - w - 1/4*w**4. Let a be t(-5). Is -0.1 greater than a?
False
Let r = 4161 + -4161.7. Let f = 7 + -9. Which is bigger: f or r?
r
Let s be -9 - 433*(4 - 3). Is s greater than -2209/5?
False
Let y be 24/105 + 15/(-35). Suppose i + 4*b + 10 + 7 = 0, 0 = -4*i - 5*b - 24. Which is smaller: i or y?
i
Let h be (-42*(-2)/2)/(2 - (-11 - -12)). Let y = 1.9 + 1.1. Let t = y - 4. Is t not equal to h?
True
Let d = -0.0099 - 5.9901. Let q be (0 + -1)*1*-4. Suppose -q*m = m. Which is smaller: m or d?
d
Let d be (8 + (5 - 12))*(3069 + -2 + 4). Which is greater: 3073 or d?
3073
Let z(i) be the second derivative of -i**4/12 - 23*i**3/6 + 9*i**2/2 - i - 5. Let d be z(-15). Which is smaller: 130 or d?
d
Let l = 2/549 + -1661/3843. Let f = 1139 + -1140. Does l = f?
False
Let x = 618 + -594. Suppose 209 = 5*n + x*w - 28*w, 3*n - 127 = 2*w. Which is bigger: n or 49?
49
Let x = -203479/8 + 25435. Let n be (-10)/(-25) - 1/(-2). Which is smaller: x or n?
x
Suppose -3*t + 422 = -2*g, 3*t + 2*g = 350 + 68. Let j(o) = -3*o + 8. Let u be j(4). Let c be (t/7)/(u/(-2)). Which is smaller: 7 or c?
7
Suppose 0 = 159*q - 178*q + 665. Is 69 >= q?
True
Let t = -288/17 + 4693/272. Let p(a) = -a**3 + 10*a**2 - a + 10. Let c be (-10)/15 - 192/(-18). Let s be p(c). Which is smaller: t or s?
s
Let h = -317.838 + 318. Let f = h - 0.062. Is 14 at most f?
False
Let t be (-2)/3*(-135)/5. Let w be (-4)/t + (-224)/(-36). Let k = 2605 - 18196/7. Which is greater: w or k?
w
Suppose -4*p = -2*o - 24, -o + 15 = -4*p + 39. Which is bigger: -1249 or p?
p
Suppose -132 = -9*t - 51. Let r be (t/2)/((-7)/(-14)). Let f = -9 + r. Is -4/7 > f?
False
Let c(s) = -s**2 - 7*s + 63. Let r be c(-12). Suppose -f = -3*m + 74, -93 = 2*f + r*m + 73. Which is smaller: f or -81?
-81
Suppose -2*y + 42 = -4*q, 9*y - 6*y = -4*q - 67. Let k be 4 + -5 - q/23. Which is greater: k or 1?
1
Suppose 1 + 1 = -2*x. Suppose -4*c + 5*b - 2 = 45, -3*c = -5*b + 29. Let r be c/15 - 1/(-5) - x. Is 2/21 less than r?
False
Let y = -159913/35 + 4569. Which is smaller: -180 or y?
-180
Let x(d) = d**3 + 6*d**2 + 5*d + 4. Let j be x(-4). Suppose -2*n - n - 789 = -3*a, 0 = 4*a - j. Let m be 4*1*-1 + n/(-74). Is m equal to 5?
False
Let m(l) = 1617*l - 6468. Let v be m(4). Do v and 5/1469 have the same value?
False
Suppose i + 8 = 5*b - 3, 5*b - 15 = 0. Let q be (-2 + 4)/(3/(1374/i)). Let w = q + -2753/12. Which is greater: -1/3 or w?
-1/3
Let b be 1 + 2 - 89716/36542 - (-126)/(-231). Is 0 at least as big as b?
True
Let c = 3 - 5/2. Let g = -735.21 + 739. Let x = g + -3.92. Is c equal to x?
False
Let r(a) be the first derivative of 2*a**3/3 + 3*a**2 + 5*a + 3. Let n(t) = 11*t - 112. Let y be n(10). Let m be r(y). Is m at most as big as 4/5?
False
Suppose -2*t - 4 = 0, -6*t + 14 = -4*w - 5*t. Let u be (1/w)/(106/(-64)*6). Which is greater: u or -0.1?
u
Let t = 1463/3 - 487. Do -12.3 and t have different values?
True
Suppose -3*l - 10 + 4 = 0. Suppose -62*x + 39 = 68*x - 117*x. Let n = l - x. Is -5 at most as big as n?
True
Suppose -s - 12 = 4*k, -4*k + 1 = -3*s - 3. Let q(d) = -4*d + 91. Let t(l) = 19*l**2 + 8*l - 7. Let g be t(1). Let j be q(g). Which is smaller: s or j?
s
Let t be 149 + 0 - (7 - 4). Let l = 3195 + -3049. Is t greater than l?
False
Let i = -66896 - -6488918/97. Let d be 6/8 - 1/(-4). Which is smaller: i or d?
i
Let j = 417264/23 + -18142. Let s be 0/(-3) - (-1 + 0). Which is smaller: s or j?
j
Suppose -4*z - 2 = -2*z. Let f(a) = -a**3 + 22*a**2 + a - 14. Let t be f(22). Suppose t*o = -44 - 324. Is z at least o?
True
Suppose -4805 = -70*s + 28*s + 11*s. Which is bigger: s or 154?
s
Let x be -1 + -2*2/8. Let w be (-72)/(-38) - (0 - (-14)/(-133)). Suppose 0 = -5*u + 16 - 6, 3*u = -w*g. Is g bigger than x?
False
Let x(j) = -j**3 + 54*j**2 + j - 58. Let a be x(54). Let c = 124 + -176. Is a > c?
True
Let g = -3936 + 19678/5. Which is smaller: g or 1043?
g
Let q = -2.957 + 51.837. Let d = q - 1.88. Which is smaller: d or -2?
-2
Let h(v) be the first derivative of 2*v**3/3 + 8*v**2 + 14*v + 10. Let q(k) = -3*k**2 - 3*k - 1. Let w be q(-2). Let f be h(w). Is f greater than 6/23?
False
Let v be (-20)/150 - 12/(-90). Let d be (-5)/20 + 678/8. Let t = -83 + d. Which is greater: t or v?
t
Let s(k) = 3*k**2 - 8*k + 38. Let g(n) = 7*n**2 - 15*n + 77. Let j(v) = -4*g(v) + 9*s(v). Let m be j(-14). Let d = -7 + m. Is -3/17 >= d?
True
Let g(c) = -13*c**2 - 42*c - 10. Let h be g(-3). Which is smaller: h or -2/14745?
h
Let a = -17/673 - -8012/77395. Let w = -1 + 1. Which is bigger: a or w?
a
Suppose 424 = -2*x - 4*f + 24, 3*x + 635 = f. Is x > -199?
False
Suppose 4359 = 16*s - 2681. Which is bigger: 439 or s?
s
Let r(s) = -2*s**3 + 33*s**2 + 254*s - 95. Let o be r(-6). Let l be 0 + (-3)/(-215) - 0. Which is bigger: o or l?
o
Suppose 172 = 5*k + 3*s, -17 = -2*k + 4*s + 31. Suppose -3*g - f + 104 = 0, -4*g = -5*f - k - 75. Let l(o) = -35*o - 107. Let t be l(-4). Is g != t?
False
Let b be 2/(-13) - 162/(-39). Suppose 7 = -b*v + 27. Suppose 0 = 3*z + v - 2. Which is bigger: z or -1/10?
-1/10
Suppose 2*r = u - 4*u - 4, 5*r + 3*u - 8 = 0. Suppose -15 + 36 = s - 5*a, -17 = -s + r*a. Let j be 0/53 - 2/142*2. Are s and j non-equal?
True
Let r(i) = 3*i**2 + 69*i + 67. Let l be r(-1). Let u(j) = -7*j**3 + 2*j**2 - j + 2. Let s be u(2). Let p be (-4)/l + 592/s. Is -17 equal to p?
False
Let z = 17.5 - 25.6. Let m = 9.1 + z. Let t = -0.7 + 1.1. Is m greater than or equal to t?
True
Suppose -t + 5*g = 4*t + 5, -1 = -5*t - g. Let k = -72201/103 + 701. Which is smaller: k or t?
t
Let c(p) = 10*p - 66. Let y be c(-10). Let s = y + 155. Let j be (-1)/(0 - 1/(-13)). Which is bigger: j or s?
s
Let i be 1 + -1 - (-6)/447. Let m be (-3)/5364*-173 + 8/(-24). Let p = m - i. Which is bigger: p or -2/5?
p
Let z = 2.88 + -4.6. Let f = 1.52 + z. Which is bigger: f or 4/3?
4/3
Let y be ((-50)/35 - -2)/(2/7). Suppose 4*p + y*t - 7 = -3*t, -3*t + 17 = 4*p. Let q = -7 + 15. Is p != q?
False
Suppose 7*g - 660 = -128. Suppose 136 = -5*x + x. Let w = x + g. Which is bigger: 40 or w?
w
Let i be ((-2)/8)/(2526/(-84) + 24). Does 0 = i?
False
Let h = -430 - -178. Let u = h + 258. Let w = 23/6 + -109/30. Is u not equal to w?
True
Let g be 11/((-11)/280) - 207/23. Which is bigger: g or -5?
-5
Let u(k) = -2*k**2 + 11*k - 8. Let r be u(6). Let m(q) = -q**3 + 3*q**2 + 8*q - 10. Let d be m(4). Let x be (7/r)/(d/(-4)). Does -24 = x?
False
Let o = -73.684 + 21.684. Is -182 bigger than o?
False
Let j = 64 + -831/13. Suppose -4 - 5 = -9*m. Let t be (m/(-2))/((-1)/(-2)). Do t and j have the same value?
False
Let n = -19082 + 19032. Which is greater: 103 or n?
103
Let j(l) = 5*l**2 - 13*l - 7. Let i be 