(t). Suppose 2 + 2 = 4*d. Let i be k(d). Which is bigger: 5 or i?
i
Suppose 5*j + 12 = 2. Let v be (j - -2) + 2/1. Suppose -v*i - i = -3. Which is bigger: i or -1/16?
i
Suppose -4*u + 16 = -2*g, -11 - 9 = -5*g. Let b = -2 + 7. Suppose 0 = b*s, 10*s - 5*s + u = -j. Is j < -8?
False
Let k = -606 + 608. Which is smaller: -24 or k?
-24
Let l = -1.99 - 2.01. Let k = -10 + 7. Is l less than or equal to k?
True
Let s = 39 + -33. Let g be (54/444)/(3 - s). Do g and 1 have the same value?
False
Let b = -101 + 79. Which is bigger: b or -70/3?
b
Let r(h) = -11*h. Let p be r(-2). Suppose 0 = b + 2*d - 7*d - 26, -5*b + 107 = -2*d. Which is smaller: b or p?
b
Let t = 25 - 52. Let z = t - -26.74. Which is smaller: z or 1?
z
Let q = 37 + -22. Let j be (5/6)/((-16)/(-96)). Suppose -b = -0*s - 5*s - 3, -s = -3*b - j. Is q at most as big as s?
False
Let j(z) = z**3 - 9*z**2 - 7 + z + 0*z**2 - 2*z**2. Suppose -v = -2*g + 13 + 6, 4*g + 4*v - 56 = 0. Let l be j(g). Is 2 != l?
True
Suppose 5*m + 20 = 0, 5*m - 6*m = -2*i + 750. Is 374 < i?
False
Let p = -39.1 - -39. Let t = -1 - -5. Suppose -4*x = t + 20. Is x not equal to p?
True
Let i(j) = j**3 - 25*j**2 - 2*j + 10. Let s be i(25). Is -40 at most s?
True
Let b(z) = -z**3 - 4*z**2 - 1. Let t be b(0). Is t greater than or equal to 15/43?
False
Let d = 2 - 2.04. Suppose -10*n = -8*n + 50. Let o = -51/2 - n. Which is smaller: o or d?
o
Let z be (-1 - -5 - -1)*(-1 + 4). Which is smaller: z or 153/11?
153/11
Suppose -2*y - 13 = 3*p, -3*p - 4 = -y - p. Is y not equal to -6/5?
True
Let c be (-110)/(-15)*(-2)/4. Suppose -23 - 4 = 9*l. Is c at most as big as l?
True
Suppose -5*l - 28 = -j, 5*l + 35 = 5*j + l. Suppose -j = -5*i + 47. Suppose 0 = 2*c - i. Do 6 and c have different values?
True
Let a = -0.122 - 49.878. Let v = a + 57. Let u = -3 + 2. Which is greater: u or v?
v
Let t = 23 + -17. Suppose -t = -b + 4*b. Let x be (1 + b)/((-2)/8). Which is smaller: 6 or x?
x
Let w(h) = h**3 + 7*h**2 - 2*h - 10. Let y be w(-7). Suppose 2*j + 6 = y*j. Let k be 58/(-8) + j/(-12). Do k and -8 have the same value?
False
Suppose p + 6*z + 3 = 2*z, -4*p = -5*z - 9. Suppose 8 = -7*d + p. Which is greater: -1/5 or d?
-1/5
Suppose 3 = -5*j + 13, -5*u - 7 = -j. Let l be 7 + -11 - 8/u. Let c be l + 4 + 324/(-40). Which is bigger: c or -1?
c
Let m = 47 + -46. Suppose 1 = -5*x + m. Is x greater than 2/37?
False
Let o be (1 - 53/(-5))*7/(-14). Let s(w) = w**3 + 12*w**2 + 21*w + 5. Let p be s(-10). Is o bigger than p?
False
Suppose 244 = -11*m + 7*m. Let c = 63 + m. Which is bigger: 3/5 or c?
c
Let p(r) = r + 4. Let l be p(7). Let b = -213 + 213. Suppose -3*i - 4*o + 28 = 0, b - 4 = 2*o. Which is smaller: l or i?
l
Suppose 16 + 104 = -24*d. Is -11 at most as big as d?
True
Let k be (2/(-8))/(34/(-12))*-4. Which is bigger: 0 or k?
0
Let l = -1.62 - -1.52. Which is smaller: 3/4 or l?
l
Let q(d) = 146*d - 19. Let l be q(0). Is -26 greater than l?
False
Let h be -2 + (0 - -6 - 4)/2. Let v = 1061/10 + -106. Is h at least as big as v?
False
Let b = 30 - 30. Let t = 71/33 + -4/3. Which is greater: t or b?
t
Let o be 14*(-5 - (-228)/45). Which is smaller: 2 or o?
o
Let x(p) = 7*p - p + 17 + 6*p + 0*p**2 - p**2. Let z be x(13). Let c be 4/8*z + -3. Is c at least -2/13?
False
Let t(f) = f**2 - 7*f - 3. Let y = 6 + 0. Let w be t(y). Let x be 6/(-21) - 122/14. Are w and x equal?
True
Let i(t) = t**3 + 5*t**2 + 4*t - 2. Let d be i(-4). Let b(u) = 2*u**2 - 8*u - 46. Let v be b(-3). Do d and v have different values?
True
Let t = -0.039 + 3.039. Let f = -11 - -8. Let n = 4 + f. Is n >= t?
False
Let y(z) = -6*z**2 + 32*z + 63. Let o be y(-13). Which is greater: -1366 or o?
-1366
Let s be 0/((-2)/3*-3). Let q = s + -1. Let i be (56/252 + (-2)/(-9))/(-2). Which is greater: i or q?
i
Let p be (-46)/3*(1 - -6). Let g = p + 108. Is 1 at most g?
False
Let r = -10024/13299 + 74/93. Let y = -2753/858 + r. Is y > -3?
False
Let p = 0.03 + 17.97. Let u = -18.21 + p. Let i = 0.23 + u. Do i and 2/9 have the same value?
False
Let c = 357 - 313. Which is greater: c or -1?
c
Let n = 133 + -47. Suppose -6*i - 5*l = -7*i + 107, -194 = -2*i + 5*l. Do i and n have the same value?
False
Suppose -15*k + 63 = 48*k. Are k and -1/1355 equal?
False
Let g be 7/(-18)*(-4 + 7 + -36). Which is smaller: g or 12?
12
Suppose 4*x + 6 = 26. Suppose 0 = -3*q + x*g + 4, -g + 0 = -1. Suppose 3*h = q*y + h - 16, -y - 3*h - 13 = 0. Which is smaller: 1 or y?
1
Let z be 1/(-6) + (-1460)/96. Is z >= -14?
False
Let y = 70 - 66. Let b = 1609/372 + 1/124. Which is greater: y or b?
b
Let i(h) = 8*h + 20. Let y be i(4). Let w = -53 + y. Is w at least -1/63?
False
Let i be 14/(0 + 1/1). Let l be (4/i)/(6/14). Let p = 3818.9 + -3819. Is l at most p?
False
Suppose -8*w + 50 = -3*w. Suppose 18*r = 20*r - j - 20, 2*r - 12 = -j. Which is greater: w or r?
w
Let u = 402 - 405.09. Let d = u + 0.09. Let y = d - -2. Which is smaller: 4/9 or y?
y
Let q be (-5 - 114) + 7 - (2 + -3). Is q at most -559/5?
False
Let o(k) = k**3 - 11*k**2 + 7*k + 27. Let m be o(10). Let d be (-1)/(2 + 26/(-16)). Is m > d?
False
Let d be -4 + -586*(2/(-292))/1. Which is smaller: d or 0?
0
Let c(g) = -g**3 - 14*g**2 - g - 6. Let t be c(-14). Let y = -29 - -33. Let z be (16 + -32)*(-2)/y. Is t smaller than z?
False
Suppose 5*i = -4*d - 162, 48 = -2*i - 0*i + 4*d. Let q = i + 86. Let x be q/(-16) - (-2 + -1). Is x smaller than 0?
True
Let d = -260 + 261. Which is smaller: d or 2/241?
2/241
Let u = 11 + -16. Which is smaller: u or 17?
u
Suppose 0 = -7*o + 2*o + 115. Let t(y) = 2*y**2 - 1. Let r be t(-3). Let u = r - o. Which is bigger: u or -7?
u
Let r = 29 + -20. Suppose 0 = -4*u + 18 - 10. Let d be (u + 2)/1*(0 + 2). Is d > r?
False
Let t = -579 + 696. Which is greater: 114 or t?
t
Let g = 2471/13 - 190. Let q(v) = v**2 - v - 1. Let w be q(1). Which is bigger: w or g?
g
Let d be 736/(-20) - 3 - 1/5. Let c be d/(-12)*(-12)/10. Let u = -1 - 5. Which is greater: c or u?
c
Let f = 477697/15 - 31868. Let r = -884/5 - -196. Let z = r + f. Which is smaller: z or -3?
-3
Suppose 45*x = 28*x - 4658. Are x and -272 unequal?
True
Let c(t) = t**2 + 4*t - 6. Let k be c(-6). Let d(s) = -s**2 - 10*s - 3. Let o be d(-4). Suppose -5*b + 2*b = -o. Which is smaller: k or b?
k
Let z = -1.353 - 0.647. Which is bigger: -105 or z?
z
Let u = -13 - -18. Let o be (6/u)/((-6)/(-20)). Let y = 2144/5 + -426. Which is smaller: o or y?
y
Let x(g) = 2*g**2 - 6*g - 40. Let l be x(6). Suppose -h = -0*h + 5*s - 30, 2*h + 5*s - 35 = 0. Let m = l + h. Which is greater: -1/8 or m?
m
Let b = 32 + -26.2. Let i = -5 + b. Let m = 66 + -64. Is m greater than or equal to i?
True
Let j be (-25114)/(-3828) - 2/(-12). Which is bigger: j or 6?
j
Let b = 26 - 26.052. Is 0.1 greater than b?
True
Let j(z) = 2*z - 8. Let l be (-9)/4*(-32)/12. Let r be j(l). Suppose -2*k = 4*y - 8, -r*y + 8 = -6*k + k. Is -2/3 smaller than k?
True
Let v = 0.342 + -0.842. Let y = 0.02 + 1.98. Which is bigger: y or v?
y
Let k = -1.13 - -3.83. Is k not equal to -3?
True
Let o be 1 - -149*9/(-915). Let d = -8426/130357 - 2/2137. Let i = o - d. Is i bigger than -0.1?
False
Let m = -59 - -22. Let n = m + 38. Is 1/6 bigger than n?
False
Let i = 3051/738994 + -2/2447. Is i at least -1?
True
Let z = -6 - -9. Suppose -3*g + z = 0, 5*g - 1 = 2*b + 2*g. Which is bigger: -4/11 or b?
b
Suppose -3*a + 15 + 18 = 0. Suppose 0 = 5*h - a*h - 78. Is -14 != h?
True
Let h = 87 + -102. Let c be (-2)/(-10)*(-25)/h*2. Is 29 != c?
True
Suppose -4*g + 8 = 0, -4*y + 9 - 21 = -4*g. Suppose 4*x = -70 - 18. Let k be -1*((-46)/x - 2). Which is smaller: k or y?
y
Let w = -32.7 - -38. Let o = 3.3 - w. Which is smaller: -0.13 or o?
o
Let b = -46 - -46. Suppose -x = -b*x. Which is smaller: -2/81 or x?
-2/81
Let v = -1.2 - 3.8. Let i = 5.1 + v. Let b = -1.8 + 0.3. Is i != b?
True
Let p(f) be the third derivative of 13*f**4/24 + 5*f**3/6 + 7*f**2 + 3*f. Let d be p(-1). Let q(r) = r + 4. Let b be q(-7). Is b > d?
True
Let t = 1.31 + -0.11. Let a = 0.372 + -0.572. Is t at most as big as a?
False
Let z be 5/21 + 2/(-3). Let h = 2.07 - 0.07. Let k = 0 + h. Which is smaller: k or z?
z
Let p = 64 + -65. Let v be (-79)/2 - p/(-2). Is v bigger than -40?
False
Let i(r) = -32*r - 1. Let h be i(3). Let p = -385/4 - h. Suppose 4 = 2*g - 0*g. Is g < p?
False
Le