 -0.2 + 0.4. Let n = -2.9 - -3. Let d = n - f. Is -2 > d?
False
Let c(a) = 8*a + 2. Let u be c(3). Let b be (-4)/22 - u/(-22). Which is smaller: b or 0?
0
Let x be 128/(-22) - 26/143. Is -8 > x?
False
Let r be (6/1)/(-1 + -1). Let d = 4 + r. Suppose -3*i = -2*i - d. Which is smaller: i or 4/5?
4/5
Suppose -3*j + 0*j = 0. Does j = 0?
True
Let u = -117 + 131. Do 12 and u have the same value?
False
Let j(q) = -q. Let v be j(5). Let c be (3 - (-347)/(-115))*v. Suppose g + 0*g + 1 = -5*m, -g - m = 1. Is c greater than or equal to g?
True
Suppose 3*s - 150 = -2*s. Suppose -4*d - s = d. Let j = 6 + d. Is j greater than -2/9?
True
Suppose 32 = h + h - 5*v, 3*v = -2*h. Let m be -2 - (h/9)/(-1). Is -2 != m?
True
Let t = 4 + 0. Let b be (-3 - (1 - t))/(-1). Let w(q) = q + 6. Let i be w(b). Which is greater: 0 or i?
i
Let c(s) = s - 2. Let g(i) = -1. Let x(n) = c(n) + 4*g(n). Suppose -3*d = 5*j - 24, -5*j + 0 + 32 = -d. Let f be x(j). Is 1 less than f?
False
Suppose -5*a - t = -3*t + 2092, -2*a = -2*t + 838. Let v = a - -11284/27. Which is smaller: v or 0?
v
Suppose -3*b + 7 = 5*w - 11, -3*w + 8 = -b. Suppose w*g = -2*g + 5. Which is greater: g or 0?
g
Let n(y) = -y**3 - 3*y + 4*y + 0*y**3 + y**2 - 5. Let s be n(0). Let a be s/2*8/50. Is a != 1?
True
Suppose -4*o = -o. Suppose -4 = -7*m - 11. Let s = m - o. Is s equal to 0?
False
Let v(r) be the second derivative of 2*r**4/3 + r**3/6 - 3*r. Let c be v(-1). Which is smaller: c or 1/3?
1/3
Suppose 0 = 7*a + 3*a - 570. Is a smaller than 57?
False
Let b(y) = y**2 + y - 4. Let t be b(0). Let p be (-2)/(-40) + t/(-20). Which is smaller: p or -2/3?
-2/3
Let g(j) = j - 3. Let q be ((-11)/4)/((-1)/4). Suppose -5*o = q + 4, -2*i + o + 3 = 0. Let w be g(i). Is w bigger than -3?
False
Let d = 0.221 + -1.111. Let n = d - 0.11. Are -1/4 and n non-equal?
True
Let r(n) = n**3 + 7*n**2 + 5*n - 25. Let w be r(-5). Which is greater: 4/43 or w?
4/43
Suppose 5*s - 2*s = -3*i + 9, 2*i = 4*s - 12. Which is bigger: -6/11 or i?
i
Let d be 14*(-2)/(-60)*-282. Let i = d + 131. Which is greater: -1 or i?
i
Let i be 2 + 4 + -1 + -2. Let r be ((-9)/(-6))/i*0. Let u be (1 - r/3)/(-1). Which is smaller: 2/5 or u?
u
Let u = -32 + 53. Let t be ((-4)/17)/((-14)/u). Is 1 smaller than t?
False
Let c = 25 - 17. Let f = c - 9. Is 1/3 at least f?
True
Let f = -1.4 + 0.4. Which is bigger: f or 1/2?
1/2
Suppose 0*w = -5*w - 15. Suppose b - 30 + 32 = 0. Is w <= b?
True
Let r(a) = a**2 - 5*a + 12. Let p be r(3). Is p greater than 21/4?
True
Suppose 5*y + 3*z = 32, -y + 8 = -3*y + 4*z. Let d(t) = -t - y*t + t - t**2. Let q be d(-4). Do -1 and q have different values?
True
Let y = -14 - -11. Which is smaller: -2/9 or y?
y
Let q = 108 + -108. Which is smaller: q or -33?
-33
Let f = 51 - 55. Let a be 3/9 - 41/(-3). Let l be -2 + 2*a/12. Which is bigger: f or l?
l
Let p = 0.06 + 2.94. Let b = 3/14 - 13/28. Does p = b?
False
Let i = 76 - 6. Let w = 19 + -13. Let n be 8/i + w/21. Which is greater: 1 or n?
1
Suppose 29*f = 35*f + 540. Which is smaller: -89 or f?
f
Let g be (-94)/(-184) - 1/4. Let u be (-2)/6 + 64/69. Let o = u - g. Is o less than -4?
False
Let s = 16.5 - 9. Let n = -7 + s. Which is smaller: n or 1?
n
Let h(z) = -z - 1. Let u be h(-8). Let l be (-2)/u - (-60)/14. Is l less than 3?
False
Let g = -2 + 2. Let c(a) = -a**3 - a + 3. Let u be c(g). Suppose -25 = 5*n - 5*w - 10, n + 2*w = -u. Which is smaller: n or -2?
n
Let j be -2 + (2 + -4)/(-6). Let w = j + 17/12. Suppose -5 = 3*c - 8*c. Which is smaller: c or w?
w
Suppose 0 = -2*y - z - 4, -9 + 1 = y + 2*z. Let a = 34 - 137/4. Which is bigger: y or a?
y
Let z(l) = -6*l**2 + 3 - 3*l**3 - 4*l + 2*l**3 + 0*l**3. Let q be z(-5). Let g(y) = -y**2 - y - 2. Let j be g(q). Is -4 greater than j?
False
Let u = -2106/17 + 124. Let a(p) = p**3 - 6*p**2 + p - 6. Let k be a(6). Which is greater: k or u?
u
Suppose -121 - 47 = -5*a - o, -4*a - 5*o = -126. Which is bigger: a or 32?
a
Let b = -16 + 17. Which is smaller: b or -2/63?
-2/63
Let a be 3/2*(-176)/24. Let s = a - -57/5. Which is greater: -11 or s?
s
Suppose -l + 5*d = 13 + 10, -31 = 5*l - 4*d. Let j = 4 + -3. Let g = j - l. Is 4 <= g?
True
Suppose 745 = 10*c + 225. Which is bigger: 51 or c?
c
Let o = -324.2 - -339.23. Let y = -15 + o. Which is smaller: 2 or y?
y
Let a = 116 - 115.8. Are -8 and a nonequal?
True
Let z be (-66)/(-54) + (-2)/9. Let k be z*2*2/(-4). Which is smaller: 0 or k?
k
Let p = -93 + 92.97. Are p and -1 nonequal?
True
Let f = 12 - 6. Suppose 2*m - 4*z - 42 = 0, 3*m - 2*z = f*m - 79. Suppose -5*p - m = -5*d - 0*d, -20 = -2*d + 4*p. Which is smaller: d or -1?
-1
Suppose 0 = -5*f + 5*m - m, 0 = -2*f + 2*m. Suppose 5*d - w = -f*d - 6, -3*d - 2*w = 1. Which is greater: d or 6/17?
6/17
Let b(r) = -r**3 - 2*r**2 - 3*r - 1. Let q be b(-2). Suppose -9*t = -4*t - 15. Is t equal to q?
False
Suppose -z = 5*d - 5, -2*d + 4 = -2*z + 2. Which is greater: z or -4/19?
z
Let i = 9 - 13. Let c = -10 - -13. Is c <= i?
False
Let h = -38 - -46. Is 8 less than or equal to h?
True
Let l be (-2)/8 - (-1)/4. Suppose -h + 6 - 4 = l. Suppose 0 = -2*d + 5*d - 4*y - 14, -2*d - h = 3*y. Are d and 1 equal?
False
Suppose -5*y + 3*t + 7 = -9, y = -t. Let j be (98/21)/(y/(-6)). Is j less than or equal to -14?
True
Let d = -12 - -11.93. Let l = -0.03 + d. Which is bigger: 1/3 or l?
1/3
Suppose -h = h - 94. Let l be (-156)/16*28/(-6). Let b = l - h. Which is greater: -2 or b?
b
Let t be 45/(-13) - (-2 - 1). Is t at least 1?
False
Let w = 26 + -38. Let z be (-10)/42 + (-8)/w. Which is smaller: z or -1?
-1
Let m = -34 + -47. Which is smaller: m or -80?
m
Let f = -4 - -6. Let a be 1/((2/f)/(-1)). Suppose -5 = -4*d - j, -j + 4 = -2*d - 1. Which is smaller: d or a?
a
Let j be -1*(-5)/25*-5. Which is greater: -1/18 or j?
-1/18
Let k = -2 - -2. Let j = -0.18 - -2.18. Which is smaller: k or j?
k
Let z = -32/651 + -15509/868. Let x = z + 18. Which is smaller: x or -1?
-1
Suppose 4*m = 18 - 14. Which is greater: m or 4/123?
m
Suppose -76 = -4*v + b + 2*b, -76 = -4*v + 4*b. Is v bigger than 17?
True
Let v(l) = l + 9. Let o = -8 - 1. Let u be v(o). Suppose 4*z - 2 = 2. Is u less than or equal to z?
True
Let g(h) = -h**2 - 12*h - 22. Let a be g(-10). Which is smaller: a or 2/21?
a
Let s = 8 - 6. Suppose -26 = 4*l - 5*o, 4*l - s*o + 7*o = -6. Which is smaller: l or -2?
l
Suppose 25*v - 30*v = 85. Which is bigger: v or 0.1?
0.1
Let d = 104.5 + -104. Which is smaller: d or -1/2?
-1/2
Let s = -0.02 + 0.06. Let z = -0.04 + s. Is z bigger than -1/11?
True
Let r be (-33)/(-6) + (-3)/2. Which is greater: -0.4 or r?
r
Suppose -3*d + 1 + 82 = 2*q, -5 = -5*d. Let k be 12/9*2/q. Is -1 at most k?
True
Let h = -3 + 3. Which is bigger: h or -2/5?
h
Let x = -11108/10833 + 95/157. Let s = 2/23 + x. Is s less than 0?
True
Let z(i) = -5*i**3 - 2*i**2 + 1. Let c be z(-1). Let l be 2*((-10)/c + 2). Is l not equal to -1?
False
Let x = 8 + -6. Suppose -2*c - 7 = -x*i + 31, -c = i - 11. Let o = i + -29/2. Which is bigger: o or -3/4?
o
Let v be (-8)/(-14) + (-19)/((-665)/50). Which is smaller: 9/7 or v?
9/7
Suppose 0 = -4*w + 5 + 15. Suppose -2 + 7 = w*u. Are -2/7 and u nonequal?
True
Suppose -3*h + 0 = k - 10, 2*k = 4*h - 20. Suppose 0*q - 2 = 2*q. Which is smaller: q or k?
k
Let h = -29/264 + 16/33. Which is bigger: h or 0.1?
h
Suppose -2*j + 127 = 339. Let c = 421/4 + j. Which is bigger: -2 or c?
c
Let f = 19/5 + -39/10. Let r = -23/30 - f. Let n = 0.3 - 0.2. Which is smaller: r or n?
r
Suppose -3*k = 4*i - 69, -i + 2*i = 5*k + 23. Let n be 4/(-8) - i/4. Which is bigger: n or -6?
n
Let j = -0.5 - -0.2. Let c = -0.5 - j. Let o = -33 + 34. Which is bigger: o or c?
o
Suppose 30 = 5*l - 60. Suppose g = 4*p - 29, 2*p - 4 = -2*g + l. Is p at least 9?
False
Let o be 3/4*((-16)/(-7) - 2). Suppose 0*c + 2*c = 0. Is c greater than o?
False
Let d = -3 + 7. Let s = d + 0. Suppose 4*m + m = -q - 6, s = -q - 3*m. Which is bigger: q or -2?
q
Suppose 4*y + 1 = 5. Let x = 0 - 0. Let g = x - y. Is 0 not equal to g?
True
Let n(j) = j - 4. Let z be n(5). Which is smaller: z or -2/5?
-2/5
Let x be (-42)/(-35)*20/(-6). Let u = x - -6. Are 0.2 and u non-equal?
True
Suppose -4 = -4*y - 0*y. Which is smaller: 1/2 or y?
1/2
Suppose -b + 8 = -2. Let r be (-12)/b - 2/(-10). Let p be (4/90)/(r/3). Are -1 and p non-equal?
True