.06 - -0.06. Is -0.1 < t?
True
Suppose 0 = 5*s - 122 - 403. Which is smaller: s or -1?
-1
Let s be 3*(1 - (-10)/16). Is s greater than 5?
False
Let l be (-7)/(-3*(-3)/9). Let q = -2/83 + -75/332. Which is smaller: q or l?
l
Let l(n) = n**3 - 4*n**2 - 3*n + 1. Let x(t) = -t**3 + 3*t**2 + 2*t - 1. Let p(q) = -3*l(q) - 4*x(q). Let o be p(0). Is o <= -1/5?
False
Suppose 2*n - 16 = 3*x, -7 = 5*x - 4*x - n. Let q be (-36)/64 - 1/x. Does 0 = q?
False
Suppose 3*g + 8 = -5*c, 0 = 4*g - g - 5*c - 32. Suppose 9 = -7*h + g*h. Is h equal to -2?
False
Let a = 8.3 + -1.3. Let b = 11 - a. Which is bigger: b or 2/3?
b
Suppose -19 = c + j, 5*c - j = 2*c - 61. Which is greater: -21 or c?
c
Let t = -19.3 + 19. Which is bigger: t or -7?
t
Let d = -2/47 + 292/235. Let g = -13 + 14. Suppose -3 = -2*f + g. Which is greater: f or d?
f
Let s be ((-26)/(-3))/(2/3). Is s != 13?
False
Let h = -0.5 - -12.5. Let o = 7 - h. Let w = -7 - o. Which is smaller: 0.1 or w?
w
Let f be 1 - 0/(3/(-3)). Let z(w) = 2*w**3 - w**2 + 1. Let u be z(f). Suppose -6*n = -u*n. Which is smaller: n or -1?
-1
Let g be 3 - (0 - (1 + -1)). Let s = g - 0. Let z = 2 - s. Are z and -2/9 unequal?
True
Let j be (4/9)/(7/21). Let x = 3 - 6. Let f = x - -3. Are j and f nonequal?
True
Suppose -5*c - 22 = -0*c + 4*w, 0 = -c + 5*w + 13. Let z be (c*1)/(7 + 2). Does z = -2?
False
Suppose v = -4*r + 82, -r + 2*v = 2*r - 56. Suppose r = 4*a - 6*a. Are a and -10 unequal?
False
Suppose -6*h + 3*n = -h + 2205, -4*n = 0. Let s = -7500/17 - h. Which is smaller: s or 0?
s
Let f be 2/7 - 486/(-14). Let s = 25 - f. Is -10 less than s?
False
Suppose -r = 3*r. Is 2 <= r?
False
Let h be (-8)/(-5)*(8 + -3). Suppose 3*g - h*g = 0. Which is smaller: g or -2/21?
-2/21
Let h = -156.7 - -148. Let u = h - 0.3. Do u and 0.1 have the same value?
False
Let v = -194 + 136. Do 1/4 and v have the same value?
False
Let l = 0.67 - -1.33. Is -0.09 less than or equal to l?
True
Suppose 7*q = 3*q. Let h(z) = 8*z + 6. Let w be h(5). Let t be 1 + w/42 + -2. Is q at least as big as t?
False
Let j = -95 + 88.9. Let a = -6 - j. Let i = 0 + 0.1. Is a equal to i?
True
Let v be (-15)/2*(-11)/(-55). Is v bigger than 2/5?
False
Let t = 40.84 - 49. Let o = 0.16 + t. Is o less than or equal to -2?
True
Let p be ((-1)/(-5))/(54/15). Which is greater: 1 or p?
1
Let l = 111 - 111.1. Which is smaller: l or -1/31?
l
Let m(z) = -2*z + 3. Let p = -2 + 4. Let o be m(p). Is o less than -4/3?
False
Let q be (-15)/(-6) + (-2)/(-4). Suppose -2*n - h = 3*h, q*n - 3*h - 18 = 0. Suppose 2*j + 7 = -j - 2*f, -n*j = 5*f. Which is smaller: -4 or j?
j
Let r(y) = y**3 - 11*y**2 - 17 - 2 + 2*y**2 + 9*y. Let i be r(8). Is -10 >= i?
True
Let m = -65032/5 + 12958. Let l = -48 - m. Is -1/6 at least as big as l?
False
Let h = 8 + -14. Which is bigger: -11/2 or h?
-11/2
Suppose -480 = -3*y - 5*v, 0 = 5*y - 4*v + 279 - 1116. Let o = y - 3136/19. Which is smaller: -1 or o?
-1
Let g = -421/9 + 47. Let a = -0.2 - -1.2. Which is greater: g or a?
a
Suppose 2*y - 6 = -18. Let j be (3/9)/((-1)/y). Which is greater: 4/3 or j?
j
Suppose 0 = 48*c - 54*c + 324. Is c at least as big as 54?
True
Let v(n) = 24*n**2 + n - 1. Let w be v(-1). Which is smaller: 24 or w?
w
Let g be 8/28 - (-18)/(-14). Let h be g/(21/6) - 0. Are h and -8 nonequal?
True
Let b = 46/85 + -16/17. Let k(w) = w + 3. Let v be k(-3). Are b and v unequal?
True
Let q = -1.4 - 0.08. Let n = q + 8.58. Let w = -7 + n. Which is smaller: 0.2 or w?
w
Let u = 0.3 - 0.4. Let h = -0.1 + -1. Let l = h - u. Which is smaller: l or 2/3?
l
Let a be ((-5)/10)/((-26)/2842). Let x = -109/2 + a. Which is greater: 1 or x?
1
Let c = -6 + 9. Which is smaller: c or 2?
2
Let z = 1.8 - 0.8. Let x(q) = 2*q**2 - 3*q - 5. Let s be x(5). Let l be (s/8 - 2) + -2. Which is bigger: l or z?
z
Let l = 17 - 52/3. Let f = 2 + -2.3. Let r = f + 0.2. Which is bigger: l or r?
r
Suppose c = -3*c. Suppose 3*l - 4*l - 7 = y, -4*l + 2*y + 2 = c. Let j = -11/26 + -1/13. Is j at most l?
False
Let c = -11 + 23. Let f be (4/24)/((-9)/c). Which is smaller: 0 or f?
f
Let c be (120/(-54))/(-10) + 22/(-18). Which is greater: c or -10/9?
c
Let f(c) = c**2 - 4*c - 1. Let o be f(3). Let b = 2 + o. Let m be (-4)/(-10)*3/(-2). Is b equal to m?
False
Let f be (1 + 1)/(20/3). Suppose -2*q + 2*i - 2 = -3*q, -4*i + 4 = -5*q. Is f at least q?
True
Let y be ((-1)/(-1))/(7/2). Let f = -135 - -131. Is f greater than y?
False
Suppose -3*j = -109 - 38. Which is smaller: j or 50?
j
Let v be 2 - (12/(-8))/(-3). Suppose 5*p + 7 = 17. Do v and p have different values?
True
Suppose -3*t = -7*t + 4. Let x(b) = b**2 - 7*b + 6. Let i be x(6). Let g be 1*3*(t - i). Is 2 equal to g?
False
Let c = 2/29 + -95/116. Let q = 1 + 3. Let r be 2/(-2) - q/(-3). Is r less than c?
False
Suppose -1 + 3 = -j. Suppose -4*g + 16 = -9*g + 3*b, g - 3*b = -8. Is g bigger than j?
False
Let z = -9/7 - -167/119. Let t = -7/85 - z. Is t <= -1?
False
Suppose 0 = 7*v - 3*v + 52. Which is smaller: v or -0.1?
v
Let i be -8*(-2 - 20/(-8)). Is -4 less than i?
False
Suppose 0 = 3*v - 7*v - 20, -2*t + 13 = -3*v. Let b = 108 + -110. Let n = b - t. Is n at least 3/10?
False
Let n(v) = v**2 - 2*v + 3. Let l be n(0). Let s be (l/(-6) + 0)*2. Is s at most 1/16?
True
Let c(m) = -m**3 + m**2 + 2*m + 7. Let f be c(3). Let y be (6 + 2 - 2)/(-1). Let h = f - y. Which is smaller: 2 or h?
h
Suppose 2*f + 12 = -3*v, 4*v + 0*v = 4*f - 16. Let s = f + 0. Is s <= -2?
False
Suppose -3 = -5*g - 2*r, 0*g = -g - r. Is -0.35 smaller than g?
True
Let l = 2 + -6. Let b = l + 2. Suppose -4*v + 4 = -2*v. Which is bigger: b or v?
v
Let g = 11 - 11.1. Which is bigger: g or 1/3?
1/3
Let h(r) be the first derivative of r**3/3 + 5*r**2/2 + r - 3. Let p be h(-8). Suppose -2*o = -7*o + p. Which is greater: o or 3?
o
Suppose 6*i = i. Suppose i*m = -3*w + 5*m - 4, 4*w + 4*m - 16 = 0. Suppose 0 = -o - 3*o - 2*c + 30, w*o - 5 = c. Which is smaller: 1 or o?
1
Let u be (-2)/8 + 26/8. Suppose u*k - k = -18. Is k > -8?
False
Let t(f) = f**3 + 9*f**2 - 9*f + 10. Let g = -16 - -6. Let i be t(g). Which is greater: i or -1?
i
Let k = 5 + -3. Let f be (-5)/k*4/(-35). Do 0 and f have the same value?
False
Let b be ((-6)/(-8))/((-30)/10). Let c(f) = f + 8. Let t be c(-6). Suppose -t*z - 4 = 2*z. Which is smaller: z or b?
z
Let c be (3/2)/(26/(-52)). Are c and -7/4 unequal?
True
Let u be ((-72)/(-44) + -3)/(-1) + -1. Is u != -1?
True
Let b(d) = -d**2 + 5*d + 5. Let t = 25 - 13. Suppose 5*q - t = 3*q. Let x be b(q). Which is smaller: -2 or x?
-2
Suppose 5*m - 35 = -3*p + 6*p, -p - 17 = -3*m. Which is smaller: 1/3 or m?
1/3
Let b = 3 - 1. Let u be (-3)/(-6) + 3075/(-18). Let x = -169 - u. Which is greater: x or b?
b
Let v = 22 + -19. Which is smaller: -0.2 or v?
-0.2
Let r = -0.26 - 2.64. Let u = -3 - r. Is -2 less than or equal to u?
True
Let g be -1 - (4 - 72/15). Is -10 at most g?
True
Suppose 0*z - 4*j = 3*z - 38, 3*z - 23 = -j. Let u = 5 - z. Let a be (-20)/6 - (-1 + -1). Is a != u?
True
Let b = -0.7 + 1. Let z = 3.3 - b. Let v = z + -1. Which is greater: 1 or v?
v
Suppose 5*b = 4*v - v + 2278, -b + 3*v + 458 = 0. Let f be 52/b*10/4. Which is bigger: f or -3?
f
Let q = 8 + 13. Let o = q + -41/2. Let d(n) = -n**2 + 5*n - 4. Let h be d(4). Which is smaller: h or o?
h
Let c(w) = -8*w + 11. Let y(t) = -3*t + 4. Let b(j) = -4*c(j) + 11*y(j). Let k be b(0). Let o be ((-2)/6)/(13/(-6)). Is o > k?
True
Let s be -21 + 17 + -1*1. Which is smaller: 4 or s?
s
Let d(q) = q - 8. Let u be 12 + 2/(-4)*4. Let o be d(u). Are 10/3 and o unequal?
True
Let h(q) = -q + 15. Let x be h(6). Let n = -1 + 1. Suppose -2*j - j - x = n. Are j and 1 nonequal?
True
Let a be (4/10)/(7/(-5)). Let h = 6.3 + 1.7. Let y = h - 7. Is a at least as big as y?
False
Let d = -8 + -8. Let g = d - -16. Let x be (1/(9/(-4)))/(-2). Which is greater: x or g?
x
Suppose -3*s + 6 = -0*s. Suppose 5*r = -3*c + 27, -5*r - 2*c + 11 = -3*c. Which is smaller: s or r?
s
Let m(y) = y**2 + 4*y - 1. Let w be m(-5). Suppose w*z + 5 = -3. Is z bigger than 2/5?
False
Let h(c) = -c + 1. Let q be h(-4). Let j = 13 + -7. Suppose -3*z - j = -4*z. Is q at most as big as z?
True
Let r = 0.1 - -0.1. Let s = r - 0. Which is smaller: -1 or s?
-1
Let u = -22 - -10. Let m be (-3)/u - (-26)/(-8). Let c(l) = -l + 4. Let j be c(7). Is m at most