 -1/5 != g?
True
Let w = -52 + 53. Is w not equal to 10/7?
True
Let m = 2 - 2. Let c be (-8)/28 - 800/(-2702). Let z = c - -183/965. Is z at least m?
True
Let f(d) = d**3 + 4*d**2 + 3. Let w be f(-4). Suppose u - 4*z - 10 = z, w*z = -4*u - 6. Which is greater: u or -3/10?
u
Let y = 0.93 - 1. Let x = y - 0.13. Which is bigger: x or 0.1?
0.1
Let r(g) = -7 + 0*g - g + 3. Let q be r(-5). Let f be 2/(-6) + (-10)/(-42). Which is bigger: f or q?
q
Suppose -3*t + 9 = -0. Suppose 0*u - 12 = -3*u. Is t greater than u?
False
Suppose 2*m - 8 = -7*p + 4*p, 3*m = 12. Let r(s) = -2*s + s + 16 - 22. Let a be r(-4). Is a at most as big as p?
True
Let i be 2*1 + (-3 - -2). Let l(x) = -x**3 + 2*x**2 - 2*x + 1. Let s be l(i). Let t = -40/527 - -6/31. Which is smaller: t or s?
s
Let i = 67 + -97. Let t = 21 + i. Let d be 11/9 - (-2)/t. Is d at least -1?
True
Let o be (0 - -2) + 6/3. Suppose u + 5 = o*c, 2*u + 7*c = 3*c + 2. Which is bigger: u or -2?
u
Suppose 0 = 3*p - p - 4. Let r be -1 - (-6)/(4 - p). Suppose -5*j + w + 4 = 4*w, -j - 7 = -r*w. Is 2/17 greater than j?
True
Suppose -2*p + 1 = -3*t, -3*t + 14 = 2*p - p. Which is smaller: 3 or p?
3
Let f(o) = -o**3 + o**2 - 1. Let m be f(-1). Let w be (-5)/(-27)*6/(-20)*-1. Is m >= w?
True
Suppose -l = -0*l. Is -2/49 less than or equal to l?
True
Suppose -3*t + 0*i = -5*i - 26, -16 = 4*i. Suppose -t*v - 6 = 2. Is v equal to -4?
True
Suppose -2*n - 13 = 5. Let j be (-1)/(1/7) + -3. Is n not equal to j?
True
Let o be 3873/33 + -1 - 2. Let d = o + -114. Which is smaller: 0 or d?
0
Let j be (-2)/2*-1 - -1. Suppose -4 = -x + 6. Let p be -1 - 1 - (-26)/x. Which is smaller: j or p?
p
Let z = -2 - -2.02. Is z equal to -1?
False
Let b(m) = -m**2 - m + 1. Let d be b(0). Let q be (4/2)/(-11 + d). Is q greater than 1?
False
Let a = -74/21 + 20/7. Which is bigger: 5/21 or a?
5/21
Let h = 11 - 14. Let p = 2.2 + h. Let z = 0.7 + p. Which is smaller: -2/9 or z?
-2/9
Let x = -0.79 - 0.11. Let o = 11 + -10.1. Let l = x + o. Which is smaller: l or 0.1?
l
Let k(i) = i**2 - 5*i - 3. Suppose 30 = 3*p + 3*p. Let u be k(p). Are -2/9 and u unequal?
True
Let j = 1 + 1. Suppose -q - 2*z - 4 = 0, -j = -5*q + 2*z + 2. Let b = -380/9 + 42. Do q and b have different values?
True
Let a be 3 + -3 - (6 + 4 + -1). Is -52/5 at least a?
False
Suppose 2*f + 13 = -3*f + 2*r, -r = -4. Let u be f*3/(-9) - 0. Which is bigger: -1 or u?
u
Let a = 4 + 0. Suppose a*f + 7 = 3. Is f < 1/16?
True
Let n(k) = 4*k - 2. Let t(v) = -5*v + 2. Let a(f) = 4*n(f) + 3*t(f). Let y be a(5). Are 1 and y unequal?
True
Let z = -2697 + 10701/4. Let m = z - -1487/68. Which is bigger: m or 1?
1
Let u(g) = g**2 + 5*g + 3. Let l be u(-4). Is 1 < l?
False
Let j be 3 - -4*(-3)/4. Suppose -2 = -2*x - j. Which is smaller: x or 0.2?
0.2
Let h(l) = -l**3 + 9*l**2 - 3*l - 9. Let v be h(9). Let q be 8/v*(-6)/(-4). Is q smaller than -2/3?
False
Let n(b) = 2*b**2 + 3*b + 2. Let u be n(-1). Which is greater: u or 3/10?
u
Let i be 2/19*(-6)/24*8. Is i less than 0?
True
Suppose -3*f = 8*f - 2*f. Which is bigger: -6/25 or f?
f
Let u be 5*(4 + (-3288)/820). Which is bigger: 1 or u?
1
Let x(r) = r**3 + 15*r**2 - 16*r - 1. Let c be x(-16). Does c = -2/85?
False
Let c = 23/5 - 41/10. Which is greater: -30 or c?
c
Let w = 53 - 63. Let h = -21 - -12. Is w equal to h?
False
Suppose 13*v - 125 = 8*v. Let f be 3/5 + 10/v. Which is bigger: f or -2?
f
Let k be (-154)/50 - (-3)/1. Which is smaller: 0 or k?
k
Suppose 2*y + 3 = 5*f, -10 + 2 = -3*y - 5*f. Which is greater: -2/15 or y?
y
Suppose 5*v - v + 240 = 0. Let x be (v/(-8))/((-1)/(-2)). Let t = x - 22. Is -7 < t?
False
Let m = -6.9 + -1.1. Let f = m - -6.4. Is 1 at least f?
True
Let m be (6/(-4))/((-2)/(-12)). Is -8 greater than or equal to m?
True
Let j = 27 + -15. Which is greater: j or 13?
13
Let c(l) = l - 8. Let d be c(6). Which is greater: d or -3?
d
Let j = 0.075 - -1.165. Let m = -0.24 + j. Which is smaller: 5/4 or m?
m
Suppose 2*f = -3*x + 4*x + 8, 10 = 2*f. Let q be x - (70/(-8))/(-5). Let g = -6 + 7. Which is smaller: g or q?
q
Let u(d) = 4*d**3 - 3*d**3 - 6*d - 4*d**2 + 1 - 2*d**3 + 2*d**3. Let t be u(5). Let p = 2.9 - 3. Is p < t?
False
Let f(x) = -x**3 + x**2 - 1. Let d be f(1). Suppose 4*s = -0*s + 52. Let k be 2/8 + s/(-4). Which is bigger: k or d?
d
Let c be (-3)/((-9)/6 + 3). Suppose -3 = y + 3*x, -3*y + 4*y = -4*x - 5. Let g = c + y. Is g >= 2?
False
Suppose 5*m - 29 = -4. Suppose -5*p - 12 = k, m*k - 12 - 3 = 0. Let v(b) = b**2 + 4*b - 6. Let c be v(-5). Which is greater: p or c?
c
Let t(f) = f**3 - 6*f**2 + 5*f + 3. Let n be t(4). Suppose 6*i + 35 = i. Let m = n - i. Which is smaller: -1 or m?
m
Let n = 10 + -9. Let l = -9 + n. Which is smaller: l or 2/5?
l
Let n be 52/6 + 1/3. Suppose -4*s = -2*s + 2. Let d = s - -9. Are d and n non-equal?
True
Let o be 6/21 + (-99)/(-21). Which is bigger: o or 7?
7
Let w = -125/28 + 19/4. Let u = 4.98 + -5. Let c = u + 0.02. Which is smaller: c or w?
c
Let l = 15 - 11. Is l less than 4?
False
Let r = 20 - 11. Let m = r + -9. Suppose h = -3*y - 10, -5*h - 22 = -m*y + y. Is -3/4 at least as big as y?
True
Let s = -1045/18 - -115/2. Which is bigger: 0 or s?
0
Let p(d) = -d**3 - 2*d**2 + 2*d - 3. Let z be p(-3). Is -1 < z?
True
Let k(y) = -12*y - 32. Let h be k(-3). Are -19 and h non-equal?
True
Let x = -35/3 + 12. Is 0.26 > x?
False
Let s = -12 + 14. Let p = -7/4 - -41/28. Is s greater than or equal to p?
True
Let b(d) = d + 2. Let k be b(-4). Let y be ((-3)/(-6))/(-1 - k). Which is greater: 1 or y?
1
Let s be (-154)/35*(-5)/1. Suppose 2*w - s = -5*v, 2*w - 2*v = -0*v - 6. Is w at least 0?
True
Let w(l) = -l + 8. Let g be w(7). Which is smaller: g or -4/15?
-4/15
Let u = 28 - 19. Let f be (-2)/3 - (-42)/u. Let h = -6 + f. Which is smaller: -3 or h?
-3
Suppose -12*p = 11 - 131. Which is smaller: p or 32/3?
p
Let a = 5 - 1. Which is greater: -2 or a?
a
Suppose l = -3*l - 8. Let g be 4/(-3) + l/(-6). Is g less than -3/2?
False
Let r(t) be the second derivative of t**3/6 + 3*t**2/2 + 3*t. Let y be r(9). Suppose -3*k + 3 = y. Which is greater: k or -10/3?
k
Let t be (3 + -4)/((-1)/2). Let l be t/(-5) - (-4)/10. Suppose l = -a + 2 - 1. Is a >= 2?
False
Let g be (-3)/(18/(-4)) - (-40)/(-33). Are 0 and g equal?
False
Let r = -29 + 27.9. Let q = r + 1.2. Let b = -0.2 + 0.1. Which is smaller: q or b?
b
Suppose 0 = 2*j + w - 4, 4*j - w = j - 4. Let h = -21 - -20. Which is smaller: j or h?
h
Let z be ((-2)/3)/((-3)/27). Is z at least 6?
True
Let c be (-2 - 1)*-3*6/(-27). Suppose -2*x + 8 = 2*x. Let r = x - 3. Is c not equal to r?
True
Let o = 26 + -28. Suppose -3*z - 2*z = 10. Let y = z + 1. Do o and y have different values?
True
Let i = 0.92 - -0.08. Let q = 1.6 - 1. Is q at least i?
False
Let k(v) = -6*v**3 - 2*v**2 + v - 1. Let m be k(2). Let p be 1/(-2) + m/(-80). Which is greater: p or 1?
1
Let h be (-3 - 0)*(-1)/(-3). Suppose -z + 1 = -0*z. Suppose 0 = 4*i - 4*p - p - z, 5*i - p = -4. Is i >= h?
True
Let t = 82 + -78. Which is smaller: t or -2/3?
-2/3
Suppose -2*h + 5*i = 18, 2*h + 13 = -h + 4*i. Is h at most 0.038?
False
Let y = 4 + -1. Let m = 4 - y. Which is bigger: 1/3 or m?
m
Let l(n) = n**3 - 5*n**2 + 8*n - 15. Let f be l(4). Which is greater: 1/56 or f?
f
Let x be (-14)/(-21) + 1/3. Which is smaller: x or -1/5?
-1/5
Let x = 9 - 4. Let h be (18/45)/(2/x). Let n = 3 + -1. Which is smaller: h or n?
h
Let k = 5 + -6. Let x = 0 - k. Let v = -1.1 + x. Is v greater than 2/9?
False
Let h = -27/5 - -76/15. Let q be 6/(-9) + 4/6. Which is smaller: h or q?
h
Let z = 23 - -1. Let r = z - 16. Which is smaller: r or 1?
1
Let c = -4.4 + 1.4. Which is greater: -7 or c?
c
Suppose 13 + 12 = 5*y. Suppose -5*k - 3*n = -2*n - 10, 0 = k - y*n + 24. Which is smaller: -3/11 or k?
-3/11
Let l = 4 + 0. Let v = 4.3 - 2.3. Is l equal to v?
False
Let y = 61 - 61. Let d = -0.1 + 0.1. Let b = 0 + d. Do y and b have different values?
False
Let w = -9 + 10. Let s = -111/119 + 11/17. Is s less than w?
True
Let m = -33 + 34. Let k = 0.1 + -0.2. Is m less than or equal to k?
False
Let w = 15/8 - 37/24. Which is greater: -2/9 or w?
w
Let j be 4 - (2/3)/((-23)/(-201)). Which is smaller: j or -2?
-2
Let s = 13 + -10. Are s and -1 equal?
False
Let o = 1.2 + 9.3. Is o > -1?
True
Suppose 0 = -2*s - 3*y + 12, -y = -2*s + 15 - 3. Is -7/2 s