*t. Let p be t/12*32/2. Let z be 2/3 - 50/(-6). Is z bigger than p?
True
Let s = 22 + -15. Let n be (-2)/s - (-16)/7. Suppose -n*z = -39 + 11. Which is bigger: 13 or z?
z
Let p be ((-16)/(-5))/((-2)/(-5)). Let t be (p/(-20))/(1/4). Is t > -1?
False
Let d = -32.3 - -31.3. Is -148 bigger than d?
False
Suppose 0 = 5*p - l - l + 5, 5*p - 25 = -4*l. Suppose -b = 4*x - 5*b - 108, 0 = 5*x - b - 143. Is x bigger than p?
True
Let u(r) = -3*r**3 - 2*r**2 + r - 1. Let q be u(-3). Let s = 121/2 - q. Let v = -32 + 31. Which is smaller: v or s?
v
Let u = -0.1 + 1.1. Let x be (-26)/(-8) - (-7)/(-28). Suppose 0*j - 4 = 4*j + x*m, 3*j - 2*m = -3. Which is bigger: j or u?
u
Let r(i) = 8*i - 43. Let d be r(6). Let y be (4/(-10))/((-9)/d). Let p = -1.5 + 0.5. Is y >= p?
True
Let r be 12/(-36)*(45/(-6))/5. Is -26/11 less than or equal to r?
True
Let t = 19 + -28. Let r = t - -13. Suppose 0 = d + 2*i + 11, 3*i = r*d + i + 4. Is d at most -3?
True
Let k = 449 + -428. Which is greater: 0.2 or k?
k
Suppose 58*v - 12 = 54*v. Suppose 2*x + b = 0, -x + 0*x - v*b + 10 = 0. Let n(t) = -t**2 - 7*t + 8. Let i be n(-8). Are x and i equal?
False
Let d = 47.29 + -47. Let j = 74 + -74.06. Let o = j + 1.06. Is o at least as big as d?
True
Let v(w) = 4*w**3 + 29*w**2 + 6*w + 2. Let f be v(-7). Let p = -2 + 3. Let a be (p/3 - 0) + 0. Which is greater: a or f?
f
Let u = -69 + 425/6. Let x = -25/12 + u. Which is bigger: -4 or x?
x
Let h(x) = 3*x**2 + 2*x - 2. Let c be h(1). Suppose -3 + c = -10*s. Which is smaller: -5/6 or s?
-5/6
Let z = -51 - -27. Let p = z - -23.7. Is 2 at least p?
True
Let x be (16/6)/((-34)/(-6987)). Is 549 at most as big as x?
False
Let t be (8*2/(-6))/((-12)/(-72)). Let v(a) = -5*a**2 - 2*a - 1. Let y be v(-2). Is t at least as big as y?
True
Let f(q) be the second derivative of 17*q**3/6 - 19*q**2 + 20*q. Let g be f(6). Is 64 bigger than g?
False
Suppose 6 = -3*g, -7*s = -2*s + 2*g + 4. Is -15.1 >= s?
False
Suppose 2*o - 194 = -2*o - 2*m, -4*o + 188 = 4*m. Let i = o + -52. Is i > 5?
False
Suppose -6*p + 80 = -2*p. Let w(d) = d + 17 + 0*d - p. Let x be w(2). Which is bigger: x or -1/20?
-1/20
Let q = 130 - 132. Do -4/7 and q have different values?
True
Let t = -10.151 + -0.049. Let i = t - 0.8. Let x = -4.9 + 5. Do i and x have different values?
True
Let p = 342 - 372. Is p at most -152/5?
False
Let f be 12/42 - 1968/14. Let i = 140 + f. Are i and -2 non-equal?
True
Suppose -5*w = -z - 494, z - 3*w + 2580 = -4*z. Let r = 3639/7 + z. Is r at most as big as 2?
True
Let f be (10/(-20))/(1/4). Let r be (-214)/(-10) + f/5. Which is bigger: r or 20?
r
Let i = -21.3 + 36.3. Which is greater: i or 2/7?
i
Let u be (-3368)/(-14) + 117/273. Is u at most as big as 242?
True
Let r be (20/(-70))/((-12)/(-161)) - -4. Which is smaller: r or -5/4?
-5/4
Suppose -10*b - 17 = -9*b. Let p = -17 - b. Let o(w) = w + 2. Let l be o(p). Is l >= 4?
False
Let f = -0.685 - -0.6. Let y = f + 0.585. Which is greater: y or -2/5?
y
Suppose -3*x + 6 = -0. Let z be (x/4)/((-18)/(-516)). Let i = 15 - z. Is i greater than -1/3?
True
Suppose -d = -2*j - 4, 0 = 2*j + 3*j + 5*d - 20. Suppose 0 = 9*p - 6*p + 6. Let b be p - 5/(5/(-2)). Is j at least as big as b?
True
Let c = -13 + 20. Suppose c*z - 2*z = -30. Is z > -6?
False
Let f = -233/522 - -13/58. Are 19 and f non-equal?
True
Let z be ((-9)/2)/(7/14). Let u be z/18 - (1 + 14/(-4)). Let d(y) = -y**3 + 3*y**2 + 5*y. Let r be d(4). Which is greater: r or u?
r
Let n = 6.17 + -0.17. Suppose -5*c + 1 = 2*a, 2*a - 2 = -4*c - 0. Let m be (-10)/8 + c/(-4). Which is bigger: m or n?
n
Let k = -194 - -194.3. Which is bigger: k or -1.5?
k
Let u = -629/6 + 310/3. Does -1.6 = u?
False
Let y(m) = -66*m + 195. Let p be y(3). Which is smaller: p or -112/45?
p
Suppose -4*c + 809 = 801. Is -11 less than c?
True
Let n = -4.8 - -4. Let h = n + 0.93. Let q = h - 3.13. Which is smaller: q or 0?
q
Let a = 5.2 - 4.6. Is -1/5 smaller than a?
True
Let f = -795 - -795. Let y be (-110)/8 - (-2)/8. Which is greater: y or f?
f
Suppose g + 6 = 4*g. Let r be 3/1 + g + 9. Let o = -122 - -135. Is o equal to r?
False
Let p(h) = 12*h**3 + 216*h**2 + 3*h + 9. Let u be p(-18). Is -44 <= u?
False
Suppose 2*v - 5*v = -6. Suppose -4*h = 3*t + 160, h - 1 = -v. Let z be -2 + (-172)/t + -1. Which is smaller: z or 0?
0
Let o be 8/(-1 - (-69)/15). Suppose 3 = -3*q + 6. Which is bigger: q or o?
o
Let m = 1.29 - -0.11. Let p = -1.6 - m. Let z = 0.3 - 0.2. Which is greater: z or p?
z
Let p(x) = x**3 + 6*x**2 - x + 5 - 5*x + x. Let b be p(-7). Do -7 and b have the same value?
False
Suppose 3*a + 66 = -2*t + 5*t, -a - 76 = -3*t. Suppose 7 - t = -d. Suppose -8 + d = -4*m. Which is greater: 2/3 or m?
2/3
Suppose 16*x - 2800 = 6688. Is x >= 591?
True
Let a = -30 + 39. Let m(r) = r - 8. Let l be m(a). Is l equal to 3/89?
False
Suppose l - 392 = -6*l. Which is greater: l or 55?
l
Let m = 20 + -4. Let d = -27 + m. Let q = d + 12. Which is bigger: q or 10?
10
Let c be (0 + -1)/((-3)/42). Let n(q) = q**2 + 15*q - 6. Let g be n(-14). Let z be g/(-5) + (-61)/c. Which is bigger: 0 or z?
0
Let v = 901/129 - -15/43. Let q = 8 - v. Which is bigger: q or 0?
q
Let q = -0.0153 - -0.0695. Is -1/3 smaller than q?
True
Suppose 0 = 5*o + 2*o + 84. Is o smaller than -74/7?
True
Let d = -0.605 + 63.005. Let l = 62 - d. Is l <= -2/11?
True
Suppose 21*s - 23 = 40. Suppose s*a + 73 = -23. Which is greater: a or -33?
a
Let t = -39 + 41.3. Let d = -3.3 + t. Which is bigger: d or 1/27?
1/27
Let a = -11 + 7. Suppose -4 = -8*q + 6*q. Is a < q?
True
Let a = -284 - -172. Let u = -113 - a. Which is bigger: u or 0.2?
0.2
Let n(o) be the first derivative of -o**4/4 + o**3 - o**2 + 2*o - 4. Let d be n(2). Suppose d*u + 3*g - 6*g - 1 = 0, -4*u - 2*g - 6 = 0. Is u less than -1?
False
Suppose -2*f - w = 60, 0*f + 3*w + 20 = -f. Do f and -33 have the same value?
False
Let v = 10 - 10. Let s = -1360504642/12195 + 1673434/15. Let j = s + 2/271. Is j >= v?
False
Let l be (-4)/(-18) - 42/(-54). Let c be (4 - 2)*(-3 + (-318)/(-105)). Which is smaller: c or l?
c
Let f be 3/9 + (-9)/15. Suppose -1 - 17 = -g. Let p be g/(-54) - 8/(-6). Which is greater: p or f?
p
Let f = -3373027/55 - -61326. Let l = -26/11 - f. Is l less than -1?
False
Let u be (3 - (-1)/(-2)*6)*-1. Which is smaller: u or -9/5?
-9/5
Suppose 2*c = -l + 64, 105 + 55 = 5*c + l. Is c equal to 9?
False
Let s = 0.0408 + -0.1408. Which is smaller: 440 or s?
s
Let w = 12215/31 - 394. Is w greater than 1?
False
Let k(i) = i**3 - 10*i**2 + 10*i - 9. Let q = -6 - -22. Let y be 136/q + (-2)/(-4). Let d be k(y). Which is smaller: 1 or d?
d
Let o be 6 - 4 - (5 + (-155)/53). Is 1 at most as big as o?
False
Let u be (-16)/(-32) + (-25)/(-10). Which is bigger: 2 or u?
u
Let z = 350 - 3493/10. Let q = z + -1/5. Let k = -9.416 - -0.416. Is q less than or equal to k?
False
Let d = -0.6 + 1.8. Let j = 1.8 + 0.6. Let s = d - j. Which is bigger: s or 0?
0
Suppose 0 = -l - 4*t - 2, 2*t + 3 = 1. Let m = 2464/9 - 274. Do m and l have the same value?
False
Let a(m) = 6*m - 92. Let h be a(17). Let i be 2*-1 - (72 + -10 + h). Is i >= -74?
True
Suppose 33*t = 36*t + 1329. Is -443 greater than or equal to t?
True
Let g(u) = -7*u + 86. Let b be g(12). Which is bigger: 60 or b?
60
Suppose 0 = v + 13 + 1. Let f(j) = j**2 + 15*j + 21. Let o be f(v). Is o smaller than 3?
False
Let p = -3 - -4. Let f = 7.79 - 8.19. Is p smaller than f?
False
Suppose 3*t = 3, -2*w = -3*t - 7 + 2. Which is bigger: w or 3?
w
Let y(b) = -9*b**3 + 3*b**2 + 2*b. Suppose 5*n = 15, -4*n + 7*n = -q + 7. Let u be y(q). Let g be (-20)/(-8)*(-4)/u. Is g < 1?
True
Suppose 32*w - 646 + 550 = 0. Let n be 0*(1 + -1 + 1). Which is bigger: w or n?
w
Let w be ((-216282)/(-24))/11 + (-2)/8. Let k = 10640/13 - w. Is k at least 0?
False
Let u be ((-35)/(-10))/(5/(-30))*30. Is -628 smaller than u?
False
Let k = 17 + -16.94. Let i = -0.94 - k. Let y = 607/7 - 87. Which is smaller: i or y?
i
Let l(z) be the first derivative of z**3/3 + 15*z**2/2 - 17*z + 1. Let q be l(-16). Which is smaller: -4 or q?
-4
Let m(i) = -i**3 - 14*i**2 - 2*i + 4. Let l be m(-6). Let b be l/288 + 6/4. Which is smaller: b or 1?
b
Let c = -3.13 + 3.03. Let m = -52/759 - -2/253. Which is bigger: m or c?
m
Let i(f) = 8*f + 10. Suppose 0*h + 4*h - 11 = p, 4*p - h = -29. Let j be