0 + 4/14). Is t != f?
True
Let y be -1*-2*(-3)/(-2). Let f = -1 - -6. Suppose -y*k + f*k = -4. Which is bigger: -1 or k?
-1
Suppose 4*h - 2*h - 4*t = 8, t - 3 = -2*h. Suppose -f + 3*g + 10 = 0, -h*f = 3*g - 2 - 0. Which is bigger: 5 or f?
5
Let i(r) = -r**3 + 3*r - 1. Let q be -2*(0/(-2) + -1). Let x = q + 0. Let g be i(x). Is g equal to -4?
False
Suppose -4*p - 12 = -4*w, 5 - 25 = -5*w. Let q(k) = k - 5. Let u be q(10). Let c = u + -3. Is c at most p?
False
Let v = 0.031 - -0.049. Do v and 2/7 have different values?
True
Let u = -434 - -19529/45. Which is smaller: 0 or u?
u
Let g = -0.1 - -0.12. Let b = -3.02 + g. Let z = -1.1 - -0.1. Is z greater than b?
True
Let i be 5/(-30)*31 + (-2)/(-12). Which is bigger: -15/4 or i?
-15/4
Let k be 4 - (3 - 3)*-1. Which is smaller: 0 or k?
0
Let n be 36/6*-1*1. Let r be (-18)/(-44)*(-8)/n. Which is smaller: r or 1?
r
Let b = -39 - -55. Let y = -9 + b. Is y smaller than 1?
False
Suppose 12 = 2*c + 4*x, -3*c - 2*x + 5*x = 0. Suppose -4*l - s + 2*s - 21 = 0, -5*l + 2*s = 30. Let w = l + c. Is -2/3 <= w?
False
Let h be 5*(40/25)/4. Let r = -18 + 73/4. Which is greater: r or h?
h
Let y(z) = z**2 + 4*z + 2. Let o be y(-4). Let m be (-62)/4 + -1 + 0. Let p = m - -17. Do p and o have the same value?
False
Let l = 11 - 9. Suppose -2*q = -4*w + l*w + 8, 3*w = -3*q - 6. Which is smaller: w or -2?
-2
Suppose -5*m - b = 40, -3*b - 4 = -m + 4. Which is smaller: m or -6?
m
Suppose 2*a - 4 = -12. Let j(n) be the third derivative of n**6/120 + n**5/12 - n**4/4 - n**3/3 + 2*n**2. Let k be j(-6). Is a smaller than k?
True
Suppose 2*i + 2*f = 2, 3*i + 3 = -f + 2. Let r = 1 - i. Let l be -3 + r - -1*2. Which is greater: -2/5 or l?
l
Let r = -9 + 19/2. Let m(h) = h + 2. Let i be m(-1). Which is smaller: r or i?
r
Let h = 3 + -2.9. Let y = 0.05 - 0.85. Let a = 3.8 + y. Which is bigger: a or h?
a
Let u(n) = -8*n + 4. Let o be u(3). Let v = o - -15. Is -4 greater than v?
True
Let n = -19/2 - -31/3. Do n and 2 have the same value?
False
Suppose -11 = -4*m + 3*t, 2*m = 7*m - 4*t - 15. Is m >= 1?
False
Let h = 57 + -62. Which is greater: -3 or h?
-3
Let j = 70 + 90. Let n be -4 - (2 + j/(-28)). Which is bigger: 1 or n?
1
Let j = 0 - 6. Let r = 10 + j. Is r < 3?
False
Let g = -0.09 + -1.91. Is g greater than or equal to 0?
False
Let x be (4/14)/((-24)/(-56)). Are x and 0.1 nonequal?
True
Suppose 0 = 8*n - 3*n - 30. Let g be (5 - n)/((-1)/(-7)). Is g smaller than -8?
False
Suppose -2*m = -v + 7 + 1, 8 = -5*v - 2*m. Are 4 and v nonequal?
True
Let k = 0.9 + 2.7. Let b = k - -0.4. Let y = 0.083 + -0.083. Is b bigger than y?
True
Let p = 0.5 + -0.7. Suppose 20 = -2*z - 4*c, z = -z + 4*c - 12. Is p not equal to z?
True
Let k = 3.3 + -2.2. Let j = k - 0.9. Which is bigger: 2 or j?
2
Let q = 11/24 - 521/1032. Which is greater: q or -1?
q
Let m = 86/9 - 28/3. Are m and 1 equal?
False
Let m(s) be the third derivative of s**6/120 + s**5/12 + s**4/24 + 5*s**3/6 - 8*s**2. Suppose 3*y + 5 + 10 = 0. Let k be m(y). Is 0 at least as big as k?
True
Let p = -0.59 + 0.59. Which is bigger: p or -130?
p
Let w(g) = g**2 + 2 + g + 3*g**2 + 0*g + g**3. Let n be w(-3). Let a(o) = -o**2 + 9*o - 7. Let j be a(7). Which is smaller: j or n?
j
Let b(v) = -v**2 - 11*v + 44. Let f be b(-14). Which is smaller: f or -3?
-3
Let p be 5/(-35) - (-57)/7. Let v be (-9)/6 + (-4)/p. Which is smaller: v or -1/2?
v
Suppose 0*l = l + 3*l. Is l at least as big as -1?
True
Let u = 0.5 + 3. Let t = u + 0.5. Is t greater than 2?
True
Let a(l) = l**3 - 11*l**2 + 6*l - 6. Let u be a(5). Let s = -1888/15 - u. Which is smaller: -1 or s?
-1
Let w be -1*(0 + 1 + -1). Suppose u + u = w. Do -4/9 and u have the same value?
False
Let w = 75 + -61. Which is bigger: 16 or w?
16
Let p be 92/20 - (-4)/10. Let t(j) be the second derivative of -j**3/6 + 3*j**2 + 2*j. Let k be t(p). Is 1/2 at most as big as k?
True
Suppose 5*o = 5*k - 55, 4*o + 3*k + 30 = -0*k. Does o = -7?
False
Suppose 720 = 3*b - 0*b. Let m = b - 375. Let d = 673/5 + m. Do d and 0.2 have the same value?
False
Let q be (-4 - -2)/(40/(-6)). Which is smaller: 2 or q?
q
Let w be (-80)/(-15)*(-3)/(-2). Suppose -3*r - c = 2*r - 4, -2*c = -3*r - w. Is 0 > r?
False
Let o(r) = -r**2 + 11*r - 6. Let q be o(12). Do -18 and q have the same value?
True
Let h = 46 - 15. Let k be (8 + 1)/((-10)/(-35)). Let r = h - k. Which is smaller: r or 0?
r
Let m = 0.12 - -15.88. Let k = m + -15. Is 1/2 bigger than k?
False
Suppose 2*a + 9 = -7*a. Is 0.3 <= a?
False
Let j(y) = -y**3 + 2*y**2 + 3*y + 3. Let n be j(3). Suppose 2*f - 5 = n. Let x be ((-6)/(-4))/(f*-1). Is 1 at most as big as x?
False
Let l be (-1)/(-2) - (-1)/(-4). Let b = 5 + -7. Let d be -1 - b*(-1 - -2). Do d and l have the same value?
False
Suppose v - 12 = 3*h - 0*v, 3*h + 4*v = 3. Is h > -2?
False
Let f be (2 - 1)*(-10 - -15). Suppose f + 7 = 4*k. Suppose -2*j - 18 = -5*q + j, 4*j = 5*q - 19. Is k at least as big as q?
True
Let g = 7 + -5. Let o(t) = 6*t + 2*t + 2*t**2 - 4*t**2 + t**g - 1. Let j be o(8). Does -3 = j?
False
Let a = -25 - -100. Which is smaller: a or -1?
-1
Let p be (0 + 0 + -3)/(-1). Suppose -g = -x + 4, -p*g + g - 9 = -3*x. Is x less than 2?
True
Suppose -2*v - 3*y = -8*y - 6, 5*v = 2*y + 15. Suppose 6 = -2*o + 2*g, -2*o - 16 = -v*g - 5. Suppose j - 3*j + o = 0. Which is smaller: -1 or j?
-1
Let f = 22 + -17. Is f > -2/11?
True
Let q = 2 - 2. Let w = 22/21 + -5/7. Which is smaller: w or q?
q
Let s = 15 + -11. Suppose s*r = -0 + 4. Let p be (-6)/9*3/r. Is -3/5 bigger than p?
True
Let d be 22/8 - 1/(-4). Let o be 4/(-12) + 4/(-6). Let z be -1*(o + 2) + 3. Is z at least as big as d?
False
Let w = -101011/17052 - -10/1421. Let d = w - -25/4. Is d < -2/5?
False
Let q(i) = i - 7. Let u be q(9). Suppose 5*a + 2*n + 152 = 0, 9 + 53 = -2*a - 2*n. Let l be 12/30 - (-22)/a. Do u and l have the same value?
False
Let v = -6 - -4. Let s = -1.9 - v. Are -2/3 and s equal?
False
Let t be ((-3)/45)/(7/(-402)) + -4. Which is smaller: t or 0?
t
Let c(v) = -5*v**2 + 18*v**2 - 12*v**2. Let n be c(-1). Is n less than -3?
False
Let q = 10 - 4. Suppose 2*l + 45 = 5*r, -3*r - 3*l + 3 + 3 = 0. Which is greater: r or q?
r
Suppose -3*t = -5*z + 58, -z - t - t = -9. Suppose 4*k - s + z = -0*k, -k - 5*s - 29 = 0. Let x be k/(-14) - 23/7. Is -2 < x?
False
Suppose -4*n + 3*n - 5 = v, 15 = -3*v. Suppose 5*w + 3*g + 17 + 15 = n, w = 2*g + 4. Which is smaller: -5 or w?
-5
Suppose -5*z = -2*z + 3. Let b = 203/4 + -51. Which is smaller: z or b?
z
Let r(f) be the first derivative of -f**3/3 - 4*f**2 + 2*f - 2. Let u be r(-8). Is 2 <= u?
True
Suppose -13 + 1 = -6*m. Is -2 at most m?
True
Let n = -19/18 - -881/522. Let o = -12034/29 - -415. Let l = n + o. Which is greater: l or 1?
1
Let k be (2/4)/((-2)/12). Let w = -1.15 + 0.15. Which is greater: k or w?
w
Suppose 0 = 3*x - 3*x - x. Is x < -1/45?
False
Let o = -7 - -7. Let w = o + -0.1. Is -1 <= w?
True
Let n be ((-12)/(-128))/(1/(-4)). Which is greater: 1 or n?
1
Suppose -2*n + 4*n + 14 = 0. Let q = n + 7. Which is greater: 1/9 or q?
1/9
Let a = -32 - 27. Which is greater: a or -60?
a
Let u = 23 + -23. Which is bigger: -5/12 or u?
u
Let x = -85 - -87. Is -0.7 equal to x?
False
Let d = -0.054 + 0.097. Which is bigger: d or 0.1?
0.1
Let p be 4/16*(8/161 - 0). Are -1 and p nonequal?
True
Let b = 172571/4 + -419180483/9716. Let j = -1/347 + b. Which is smaller: j or 0?
j
Let b = -122 + 113. Suppose -3*p = 22 + 5. Do p and b have different values?
False
Let q = 3.53 - 3.4. Do 0 and q have different values?
True
Suppose -10*j = -14*j + 12. Let c(i) = i**3 - 5*i**2 + i - 5. Let f be c(5). Suppose f = -3*h + 9 - 0. Is j at least h?
True
Let q = 2 + -6. Let m = 3.74 - -0.36. Let b = m + q. Is b less than or equal to 0.1?
True
Let m(d) = 2*d - 4. Let y be m(2). Which is smaller: -0.07 or y?
-0.07
Let y be 3/1*8/6. Suppose 5*g - d - 20 = -0*d, 4*d + 32 = y*g. Is g less than 4?
True
Let x = 8.9 - 9. Which is greater: x or 2/7?
2/7
Let r = 3.3 - -0.7. Let x = 4 - r. Let h = 4 - 2. Is h less than x?
False
Let w be (56/49)/8 - 194/1652. Which is greater: w or 1?
1
Let p(i) = 1 + 3*i - 2*i - 2. Suppose -t + 6 = -2*t - 4*z, -2*t = 2*z. Let v be p(t). Is 3/2 smaller than v?
False
Let v be (-44)/(-3) + (-10)/15. Let m be 4/v - 676/14. Let c = 193/4 + m. Is c at least as 