
True
Suppose 0 = -2*w - 0*w + 18. Let t be w/(-12) - 3/60. Which is bigger: -1 or t?
t
Let g be 43*1 - ((-8)/(-4))/(-2). Which is greater: 43 or g?
g
Let g = -32/51 + -2/51. Let x be (-4)/14 - 60/35. Is g != x?
True
Let n be (1/(-3))/(0 - 2/(-6)). Is n at least as big as -3/22?
False
Let i be (-1 - -2)/(4/(-12)). Suppose -o + 5*k + 5 = 4*o, -5*o + 29 = 3*k. Let q = i + o. Which is smaller: -1/3 or q?
-1/3
Let z be (-5)/(-2)*-1*2. Let x be (-112)/(-11) + 18/(-99). Let j be (-52)/x - (-2)/10. Do j and z have the same value?
True
Let m be (2 + 6/(-3))*-1. Suppose 2*b - 3*b = m. Let p = -0.1 - 0.1. Do p and b have different values?
True
Let o = -0.05 - -3.05. Let f = o + -2.3. Let k = -0.5 + f. Which is smaller: k or -2/5?
-2/5
Let d(c) = -c**3 + 6*c**2 - 4*c - 8. Let u be d(5). Which is smaller: u or -6?
-6
Let l be ((-2)/(-2))/((-1)/(-5)). Suppose -24 = -l*t + 6. Let j(x) = x**3 - 6*x**2 + x + 1. Let o be j(t). Is 7 less than or equal to o?
True
Let m be (-510)/4*(-16)/(-36). Let n = m + 56. Is n less than 0?
True
Let t = -61 + 11. Let w = t - -148/3. Which is greater: -1 or w?
w
Let c = 10 + -8. Suppose -s + 0*s - c = 0. Which is greater: s or -4/7?
-4/7
Let x = 4.5 - 5. Let o = x + 0.7. Which is smaller: o or 0?
0
Let k be 3 + (-95)/100 + -2. Is k bigger than 0?
True
Let o = 2 + -13. Let d = 8 + o. Let v = 2/105 + -24/35. Is v > d?
True
Let v(j) = -j**2 + j + 1. Let w be v(0). Do 5 and w have the same value?
False
Let c(y) = y - 3. Let f be c(6). Let a = 3 - f. Let o = a + 2. Which is smaller: 1 or o?
1
Let t be (-54)/(-10) + 22/(-55). Let s be ((-3)/t)/(4/(-10)). Do -0.2 and s have the same value?
False
Let r be (6/8)/(4/48). Which is bigger: r or 10?
10
Let c = -10.8 - 9.3. Let j = 20 + c. Is j > 0.11?
False
Let q be ((-6)/4 - -2)*16. Let a = q + -25/3. Suppose 0 = o + 4*z - 4, 0 = 7*z - 10*z + 3. Which is greater: a or o?
o
Let t(p) = p**3 + p**2 + p - 1. Let m be t(0). Let r = -199/88 - -21/8. Is m greater than or equal to r?
False
Let n be -3 - 1*447/(-147). Which is smaller: 1 or n?
n
Let h be 16/6*4*(-414)/(-96). Which is smaller: 45 or h?
45
Suppose -w = w + 4. Which is greater: w or -16/7?
w
Let g = -16 + 25. Is 9 less than g?
False
Let a = 20 + -18. Do 6/11 and a have different values?
True
Let x be 87/84 - (-6)/(-8). Let k be -1 + (1 - -2) - 0. Let n = k + -3. Is n > x?
False
Let z = 278/17 + -25525/1564. Is z >= 0?
True
Let p be (-108)/(-30) + (-6)/10. Suppose -2*i = 3*h + 4, -10 = p*h + 2*i + 3*i. Suppose h = 4*z + z. Are z and -2 nonequal?
True
Let h = -0.12 + 0.22. Which is greater: -2/5 or h?
h
Let t = -2367/20 + 633/5. Is t <= 8?
False
Let d = -19/3 - -20/3. Let s = 5 - 2. Suppose s*f + 2*y = 3, -y - 12 = -5*y. Is f smaller than d?
True
Suppose 4 = -4*f - 0. Let i be -1*(-12)/(-4)*f. Is 2 equal to i?
False
Let b = 448 - 255. Let c = -2/51641 + 69663723/361487. Let p = c - b. Which is greater: p or 1?
1
Suppose -5 = 2*w + 75. Is -41 != w?
True
Suppose -2*z - 3*n - 20 = -8*n, 0 = -2*z - 5*n. Let b = z + 7. Suppose 0 = l - b*l + 2. Which is greater: 3/2 or l?
l
Let r(x) be the third derivative of -x**5/60 - x**4/3 - 5*x**3/6 + 3*x**2. Let j be r(-7). Do 1/2 and j have different values?
True
Let b be (-2 - 258/(-132))*(-1 - 0). Which is smaller: b or 0?
0
Suppose -2*h + 6 = 4*f - 0, 5*h - 30 = 5*f. Let a = f + 0. Let i = 203 - 409/2. Which is bigger: a or i?
a
Let r = -1.96 - -2. Let d = 0.24 - r. Is 1 less than or equal to d?
False
Let p be ((-5)/(-15))/((-4)/3). Suppose 3*b + 4*x - 3 = 0, 2*b + x - 2 = 4*x. Is b at least p?
True
Let r(c) = c**2 - 5*c - 3. Let a be r(6). Let j be 6/a + -3 - -1. Is j greater than 4/5?
False
Let j = -20 + 46. Let a be (-27)/(-18) - 45/j. Which is smaller: a or 0?
a
Let c = 33 + -20. Which is smaller: 0.1 or c?
0.1
Let l(b) = -b**2 + 3*b + 7. Let y(s) = -3*s**2 + 9*s + 22. Let q(n) = -7*l(n) + 2*y(n). Let v be q(4). Which is smaller: v or 2/15?
v
Let t = 0.03 - -0.07. Is 2.5 less than t?
False
Let x be (-2 - -5)*(3 - 1). Which is bigger: 0 or x?
x
Let r = -12 - -9.9. Let f = 0.5 + -2.5. Let g = r - f. Is g >= -1/4?
True
Let j(u) = 2*u**2 + 15*u. Let f be j(-8). Which is smaller: f or 12?
f
Let k = -50 - -80. Let h be 14/k + 2/(-6). Let d be (-2)/(-4)*22/(-11). Which is smaller: h or d?
d
Suppose 8 = 4*a - 4*k, 8*a - 3*a - 16 = 3*k. Let o = a - 3. Is 2 at most o?
True
Let a be ((-2)/(-21))/((-4)/11). Let q = -2/21 - a. Which is smaller: q or -1?
-1
Suppose 2*g + 258 = 2*v, 5*g + 3*v = 6*v - 643. Let x be ((-54)/g)/((-3)/(-4)). Let a = x + 53/48. Is 3 less than or equal to a?
False
Let y = -2.09 - 0.31. Let v = 0.6 - y. Is -2 at most v?
True
Let h be -2 - (-1 - 2) - -9. Let w be ((-12)/(-15))/(4/h). Suppose 0 = -w*f + 5*f + 9. Which is greater: f or 1/4?
1/4
Let n be 2 - 0 - (-1 - 2). Suppose -2*j + j + 29 = n*m, m = -2*j + 4. Let w be (3/(-12))/(m/8). Do w and 0 have different values?
True
Suppose 22 = 5*h - 16*h. Let z be -5*(3 + (-40)/14). Which is greater: h or z?
z
Let p = 2.966 + 0.034. Which is smaller: 13/4 or p?
p
Let n = 76/3 + -1207/48. Let k = 7/48 + n. Are 2/9 and k equal?
False
Let m(y) = 2*y - y - 12 + 3. Let q be m(10). Let j be (3/(-6))/(q/(-2)). Which is bigger: j or 2/9?
j
Let g = 9 + -1. Let m be ((-48)/(-32))/((-6)/g). Is -1.1 bigger than m?
True
Let m = -14 - -13.85. Which is smaller: 2/5 or m?
m
Let j = 2 + -3. Let l = j - -3. Suppose -3*f = -4*y - 22, 3*y + y + 8 = -4*f. Is l < f?
False
Let g = 2.2 + -2.2. Let q = 4/9 - 10/9. Which is bigger: g or q?
g
Let o = 3 - 1. Suppose 0*q - o*q - 12 = 0. Let w = 6 + q. Which is bigger: -1 or w?
w
Suppose 5 = -3*z + n, 0 = -3*z + 2*n + 4 - 11. Which is greater: 1/164 or z?
1/164
Let n = 15.8 + 1.2. Let b = 25 - n. Let i = -10 + b. Is -0.2 equal to i?
False
Let m(o) = o**2 + 6*o - 7. Let t be m(-11). Is t greater than 49?
False
Suppose -6*f + 55 = -f. Suppose f - 1 = -5*p. Let r be (-3 - p - 0)/(-3). Is 0 less than or equal to r?
True
Suppose 0 = v + 5, 2*d - 2*v - 1 = 29. Is 9 >= d?
False
Let x(y) = -y**3 - 6*y**2 - 7*y. Let k be x(-5). Let b be 4/k - 48/20. Is -2 <= b?
True
Let j = 697 - 45307/65. Let z = j - 112/585. Let r = 4 - 3. Which is smaller: r or z?
z
Let h be (2/1*1)/(-2). Suppose 0 = -5*r - 3 - 2. Is r equal to h?
True
Let v be (-4)/(12/(-9))*1. Let c be (-10)/v*(-3)/15. Suppose -2*j - 12 = -4*z, 2*z - 8 = 4*j - 2*z. Which is bigger: j or c?
j
Suppose 0 = u - 2*a + 4, -u + 4*a = -0*u + 8. Let k = 2.96 + -0.06. Let q = -3 + k. Is q < u?
True
Let y = 1802/7 + -257. Is y bigger than 0?
True
Let z = -57846/13 - -4452. Which is smaller: 1/4 or z?
1/4
Let m be -1*(33/30 + -1). Let l = 92 - 91. Which is smaller: l or m?
m
Let s = 2.9 + -3. Let m = 1 - 3. Let f = m - -1.9. Is f > s?
False
Let m(r) = -r**2 + 4*r + 1. Let o be m(4). Let l be (42/(-49))/((-6)/3). Which is greater: o or l?
o
Suppose 0 = -b + 5*b - 12. Let z = -2 + b. Let q be 9/(-25)*(-5)/3. Is q > z?
False
Let v = 0.08 + 3.72. Let y = -4.06 + 0.06. Let g = v + y. Is 0 >= g?
True
Let l be (-7)/28 + 51/(-4). Let y = l - -15. Is 2 bigger than y?
False
Let b(o) = 3*o + 3. Let g(h) be the first derivative of 2*h**2 + 2*h - 3. Let n(p) = 5*b(p) - 4*g(p). Let k be n(5). Is 2/3 less than k?
True
Let l = -33 + 24. Is l less than or equal to -11?
False
Let m = -220 + 218. Let z = -3/25 - 16/75. Which is greater: z or m?
z
Let n = -12 + 7. Let j = 27 + -31. Which is smaller: j or n?
n
Let b(h) be the third derivative of -h**4/12 + 3*h**3/2 + 2*h**2. Let w be b(8). Which is bigger: -6 or w?
-6
Let j = -6 - -6. Suppose 0 = -v + 2 - j. Suppose v*p = 5*p. Is p less than or equal to 3/5?
True
Let n = 0.7 - -0.49. Which is greater: n or 1?
n
Let h(l) = -3*l - 4. Let o be h(-5). Let t = 138 + -139. Are o and t non-equal?
True
Let s(i) = -i - 3. Let b be s(-5). Suppose -2*f + 8 = -b. Is 4 bigger than f?
False
Suppose 4*u + 69 = 4*n - n, 5*n - 15 = 0. Which is smaller: -13 or u?
u
Let d be ((-1)/66)/((-18)/3537). Let s = d + -30/11. Which is smaller: 1 or s?
s
Suppose 5 = -4*r + 5*m, -5*r + 1 + 1 = 2*m. Let j = 75/92 - 3/46. Which is bigger: j or r?
j
Let x(r) = r**2 - 33. Let j be x(5). Which is greater: j or -6?
-6
Let q = 33 + -32.9. Is 1.2 equal to q?
False
Let i = 4 - 7. Let o = 2.8 + i. Which is greater: o or -2/5?
o
Suppose 0 = -y - 1 + 3. Which is smaller: 8/9 or y?
8/9
Suppos