0.1. Does t = u?
False
Suppose 9*j = 4*j. Is -1/11 != j?
True
Let l = -10 + 11. Let z be (-1)/(-2)*(l + 11). Let s be 0 + -1*z/57. Which is smaller: s or 1?
s
Let q be (0 - -1)*(-5 - -5). Suppose q*n = -2*n - 2. Is 0 >= n?
True
Let p = 5 - -1. Let m be 0*-3*(-1)/p. Which is bigger: m or 1/4?
1/4
Let t be (-170)/(-6) + 2/(-6). Suppose -4*z - t = -12. Is z at most -0.1?
True
Let w = -108604/99 - -1097. Let a be (-1246)/(-792) - (52/16 - 3). Let r = w - a. Is -2 not equal to r?
True
Suppose 10*d - 9*d = 10. Which is bigger: 9 or d?
d
Let x(r) = -r**2 + 9*r - 6. Let u be x(8). Suppose u*z - 5*z + 6 = 0. Do 1/10 and z have the same value?
False
Let p be 0*2*(-2)/4. Let v = -10/9 - -4/9. Is p bigger than v?
True
Suppose -4*i - 2 = 2*d, -2 = -2*d - i + 8. Let n = -12 - -22. Suppose -4*z = -38 + n. Is d greater than or equal to z?
True
Let j be (-16)/(-6) - (-2)/6. Let n(v) = v**3 - v - 1. Let k be n(-2). Let t = k - -9. Is j at least as big as t?
True
Suppose 2*i = 3*i - 2. Let n = -1 + i. Is n >= 2/7?
True
Let s be 10/(-55) + (-218)/11 + 3. Which is bigger: -18 or s?
s
Let t(o) = o - 3. Let k be -1*2*30/(-12). Let r be t(k). Is r at least as big as 1?
True
Let q be (5 - 5) + (0 - 180). Let u be 2/7 + q/385. Let m = -10 + 10. Which is bigger: u or m?
m
Let h be 12/9*9/2. Suppose h*s - 2*s = -12. Let v be (3/6*2)/s. Which is smaller: v or 0?
v
Let v = -24/23 - -123/184. Let u = 194 + -614/3. Let a = u - -31/3. Which is smaller: v or a?
v
Let i(w) = -w - 1. Let r be i(-3). Suppose -5*m + r*n + 17 = -8, -5*n - 34 = -3*m. Suppose c - m = o - 0*c, -3*o - c = 1. Which is smaller: -5 or o?
-5
Let i = -1.73 + -1.19. Let y = i - 0.08. Which is smaller: y or 1?
y
Let i = 0.12 + -0.82. Let o = -0.1 + i. Let b = o + -0.2. Does 2 = b?
False
Let w(q) be the first derivative of -q**2/2 + 7*q - 2. Let r be w(8). Let o(g) = g**2 + 7*g. Let z be o(-7). Which is greater: z or r?
z
Let r = 407/3 - 136. Which is greater: 15 or r?
15
Suppose -y + v + 2 = -3*v, 4*y = -3*v + 27. Let f = 8 - y. Let d = -1 + f. Which is bigger: -1 or d?
d
Let t be (-1 + (4 - 2))*1. Suppose -r + 0*r = t. Let s be (-12)/135 - 3/(-15). Is s bigger than r?
True
Suppose 0 = 3*r - r. Let s = -1 - -2. Is r > s?
False
Let w = -15 - -9. Let x be ((-6)/4)/(w/(-8)). Is -3 at least as big as x?
False
Let b = -19 - -12. Is -7 smaller than b?
False
Suppose -4*v - 3*y = -5, 4*v - 3*y = -10 - 3. Which is greater: v or -1/11?
-1/11
Let p = -1.3 + -0.9. Let c = p + 2. Is c greater than -0.2?
False
Suppose 22 = -o - 0*o. Let p = o + 16. Is -6 equal to p?
True
Let c be (2 - 6/4)*2. Let q(s) = -5*s**3 + 2*s**2 - s. Let u be q(c). Let n be -4*(0 - -2)/u. Which is smaller: n or 4?
n
Let x be ((-4)/(-10))/((-48)/(-200)). Which is bigger: x or 3?
3
Suppose n = -0 + 1. Let z = -7/11 - -239/341. Which is bigger: n or z?
n
Suppose -y = -2*y + 16. Is y at most as big as 15?
False
Suppose -5*o = -4*o + 74. Let x be (-2)/(-7) - o/(-14). Do -5 and x have the same value?
True
Let p = 14.1 - 14. Which is smaller: p or 0.9?
p
Let c = 823/15213 + 3/461. Let p = -142/165 + c. Which is smaller: -1 or p?
-1
Let a be (3 + 11/(-2))*-2. Suppose -2*z - h + 0*h - a = 0, 0 = 5*z + 3*h + 15. Is z bigger than -4?
True
Suppose 0 = -5*h + 2*y - 95, h + 0*y = -5*y - 19. Is -19 at most as big as h?
True
Let n be (5 + -9)*1/(-2). Is n smaller than 3?
True
Suppose k - 13 = -5*j, 3*j + k = -k + 12. Let u be 2/6 + (-5)/(-21). Is j greater than or equal to u?
True
Let b = -13 + 11. Is b bigger than -2?
False
Let r(g) = 2*g - 12. Let b be r(8). Suppose x = -b*x. Suppose x = -2*s + 2. Is 2/5 smaller than s?
True
Let w = 3 - 6. Let s = w + 2.94. Which is smaller: -1 or s?
-1
Suppose -35 - 316 = -5*f + p, 217 = 3*f + p. Which is bigger: f or 72?
72
Let n(i) = i**3 - i**2 - i + 1. Let d be n(0). Let p be 3 + (-314)/106 - 0. Let r = p - 120/371. Are d and r equal?
False
Let j(u) = u**3 + 5*u**2 + 8*u + 5. Let v be j(-3). Is -2/41 at least as big as v?
True
Let h = 1 - 2. Let v = 15 - 17. Which is smaller: v or h?
v
Suppose -2*n - n = -2*k - 31, -5*k = 3*n - 17. Are n and 8 equal?
False
Let m be -1 - 0/2*-1. Let z be (-44)/34 + 2/1. Let w = -31/68 + z. Which is bigger: w or m?
w
Let z be -4 - (-1)/(3/24). Which is greater: 8/3 or z?
z
Suppose 4*h - 6 - 18 = 0. Suppose -2*x - 47 = -59. Is x >= h?
True
Let m be (8/60)/((-22)/(-55)). Suppose -5*f + 33 = 103. Is m at most as big as f?
False
Let f = 5 - 11. Let n = 7 + f. Is -2/3 equal to n?
False
Let k = 487/5895 + -5/131. Let d = 0 - 0. Which is greater: k or d?
k
Suppose -j + 3 = 0, -4*j + 9 = 3*h - 4*h. Let l be -12*(-1)/8*2. Is h smaller than l?
False
Let v = -0.01 - -0.1. Is v != -0.1?
True
Let j = -2136389/19705 - 28/2815. Suppose -3*n + 4*n = -109. Let q = n - j. Is -1 equal to q?
False
Let c(b) = b**2 + 3*b + 2. Let u be c(-2). Let v = 0 + u. Let w = 5 - 5. Is v at least w?
True
Let y = -50.9 - -51. Which is bigger: 9 or y?
9
Suppose -4*h + 5*h + 49 = 3*a, -5*a = 2*h + 54. Is h <= -1?
True
Let a = -69/308 + -2/77. Let p = 2.3 + -2. Let k = 0.2 - p. Which is bigger: k or a?
k
Suppose 15*u = 16*u. Is u less than 2/475?
True
Suppose 1 = 2*a - 1. Let u be ((-9)/(-90))/(2/12). Is a at most as big as u?
False
Suppose -g + 2*g = -4*t + 17, -5*t + 23 = 3*g. Which is smaller: 6/7 or g?
6/7
Suppose 5*a + 20 = -5*t, t - 2*a + 3 = 2. Let l be (-3 - 0)/t - 2. Is l > -1?
False
Let r = 85 + -83.9. Which is bigger: r or 3?
3
Let c(k) = 4*k - 11. Let m(f) = -5*f + 11. Let v(x) = -6*c(x) - 5*m(x). Let i be v(-9). Is 3 greater than or equal to i?
True
Let w = -1 + 0. Let x = 2 + -3. Are w and x unequal?
False
Let m(k) = k**3 - 2*k**2 + k. Let i(u) = -u + 1. Let f be i(0). Let c be m(f). Let w be 1/(-10)*2*1. Do w and c have the same value?
False
Let y(s) = s - 2. Let n be 2/5 + (-36)/(-10). Let v be y(n). Suppose -3 = m - 5. Is m != v?
False
Suppose -10*o = -8*o. Suppose 5*d - 44 = 2*x, 0 = -6*d + 2*d + 4*x + 28. Suppose -4*r + 3*j = 8, 5*j = -d*r + 5*r - 10. Is r greater than or equal to o?
False
Suppose -5*s + 8*s = 0. Suppose -d + 1 = -s. Suppose 0 = -2*j - d + 3. Is -2/17 <= j?
True
Let m be 2 - (-2)/(-3) - (-20)/(-15). Which is bigger: -62 or m?
m
Suppose r + 3 = -2*w - 0, -3*w = 2*r + 6. Suppose -u + 0*u - 4 = w. Let o = 0 + -2. Which is greater: u or o?
o
Suppose 3*l + 6 = 2*i, 0 = 2*i + 3 - 9. Let k(z) = z + 2. Let m be k(6). Let s = m - 70/9. Is s greater than l?
True
Let m(p) = p**3 - p**2 + p. Let u(i) = 5*i**3 - 3*i**2 + 3*i - 1. Let g(c) = -4*m(c) + u(c). Let o be g(0). Which is smaller: -5/3 or o?
-5/3
Let v(b) = 2*b - 6. Let i be v(0). Which is smaller: -33/5 or i?
-33/5
Let p = 7.09 - 0.09. Let b = p - 9. Which is greater: b or 0?
0
Suppose -3*p - 115 = -4*m, -4*m + 112 = 8*p - 12*p. Which is smaller: 33 or m?
m
Let s be -1 - -5 - (2/(-3) + 4). Which is smaller: s or 1?
s
Let g be 1/(-2)*10 - -2. Is g at least -1?
False
Let y(l) = 2*l - 3. Let r be y(4). Suppose r*c - 2 = 18. Are 5 and c nonequal?
True
Let z be -4 - (-5)/(5/9). Are 19/3 and z unequal?
True
Let q = 2302842/1540799 - 818/4087. Let v = q - 42/29. Let c = 2 + -3. Which is bigger: c or v?
v
Let z = -238/3 - -80. Is z greater than -8?
True
Let q = 7 + -7. Suppose -4*v + k = -q*v - 1, -2 = 5*v + 2*k. Are v and 3/13 equal?
False
Suppose -2*l + 2*h = -4, 5*l - 24 = 3*h - 8. Suppose -3*t - 3*d = -6*t + 30, t + l*d = -20. Suppose -c + t*c - 12 = 0. Which is bigger: 4 or c?
4
Suppose -4*q + 16 = t, 0 = 2*q - 3*q + 3*t - 9. Suppose 0 = o - 2, -q*c + 2 = -3*o - 10. Suppose w + w = c. Are 4 and w nonequal?
True
Suppose 2*n - 7 = 5*c + 6, 0 = -5*c - 5. Suppose 0 = -5*a + n + 6. Which is greater: a or 0.1?
a
Let h = 0.11 + -0.31. Are h and 3 non-equal?
True
Let x(l) = l + 3. Let k = 8 - 13. Let n be x(k). Suppose 0 = -2*h + h. Is h at least as big as n?
True
Let c = -25676/11 - -2336. Is c != 3?
True
Let a be (0 - 6/4)*(-4)/(-21). Let q = 1 + -1. Is q equal to a?
False
Let n = -42.1 - -42. Suppose z = 3 + 1. Let p be 10/z + (-1)/(-2). Is p at most n?
False
Let y be (-10 + -1)*(20 + -2). Let c be y/(-40)*(-54)/3. Let g = c + 89. Which is bigger: -1 or g?
g
Let v = 2.5 + -2.4. Do 2 and v have the same value?
False
Let k = 11.4 + -12. Which is bigger: 2/7 or k?
2/7
Suppose m = 3*j + 4*m - 72, j + 4*m = 36. Let q be 1*j/(-4) - -4. Let l = -3/22 - 1/154