. Is l less than n?
True
Let k = -13 + 15. Suppose 2*h - 1 = -5*u + 8, -2*u = -2*h + k. Is u >= -0.1?
True
Let g = 0.94 + -1. Let u = 0.16 + g. Let j = -0.9 - -1. Are u and j non-equal?
False
Suppose 2*l - 2*x + 36 = 0, 2*l + 3*x + 37 = -2*l. Is l > -14?
True
Let h = 6 + -6.09. Let s = -2.11 + h. Let i = s + 0.2. Which is smaller: -0.1 or i?
i
Let b = 45 - 44.8. Let i = -4 - -3.97. Is b bigger than i?
True
Let q = 6899/7 - 984. Which is smaller: q or 3?
q
Let z(n) = 3*n**3 + 10*n**2 - 6*n - 10. Let r(k) = -2*k**3 - 7*k**2 + 4*k + 7. Let x(t) = 7*r(t) + 5*z(t). Let y be x(-2). Is y not equal to -2?
True
Let t = -126/5 - -25. Which is greater: t or 0?
0
Suppose -6*q - 2*q + 5*q = 0. Suppose 395 - 65 = 2*s. Let f be 2/5 + (-36)/s. Which is smaller: f or q?
q
Let p be 6/4 - 140/8. Let j = 23 + p. Is 7 < j?
False
Let t be (-4)/((-4)/1) + -1. Is 6/13 smaller than t?
False
Let v = -13/16 - -1/16. Which is bigger: v or -1?
v
Let c be -1 + -2 + (1 - -1). Let t = -1791595/462 + 11635/3. Let m = 3/22 - t. Is c less than or equal to m?
True
Suppose -2*z + 4*z + 4 = 0. Is -4/3 at least as big as z?
True
Let n = -58 + 404/7. Let k(w) be the first derivative of w**3/3 + 2*w**2 + 2*w + 2. Let u be k(-3). Is n at least as big as u?
True
Let g = 48 + -145/3. Let y = -1.07 - -0.07. Is g equal to y?
False
Let o(b) = 23*b**2 - 20*b + 5. Let g(q) = 8*q**2 - 7*q + 2. Let f(j) = 17*g(j) - 6*o(j). Let t be f(-2). Which is greater: t or -4?
-4
Let n(q) = -1. Let y(i) = i**2 - 3*i - 2. Let s(z) = -n(z) + y(z). Let c be s(3). Which is bigger: c or 0.1?
0.1
Let n = 0.4 + 0.1. Let p = n - -0.5. Which is bigger: p or -1/3?
p
Let h be 12/(-55) + (-4)/(-16 + -4). Are 1 and h equal?
False
Let f = 3835/7 - 549. Is f > -2?
True
Let s be (-9704)/(-16) + (-1)/2. Let v = s + -3019/5. Is v greater than or equal to 1?
True
Let v = 1 + -3. Let u = -7 + 9. Suppose -5*a + 5*x = 20, u*a - a = -x - 2. Which is smaller: a or v?
a
Let h(i) = -i**3 - 12*i**2 - 12*i - 12. Let d be h(-11). Let b be -1 + d - 0 - -2. Suppose b*v + 4*r + 7 = -3*v, -15 = -v + 3*r. Is 2 at most as big as v?
True
Let o be ((-8)/(-12))/(2/3). Let w = -0.07 + 0.07. Which is smaller: w or o?
w
Let q be 3/(-27) + 2/18. Which is greater: -1/13 or q?
q
Suppose 0 = -2*x - 3 + 7. Suppose -x = -s - 7. Which is bigger: s or -4?
-4
Let r(z) = z**2 - 8*z + 9. Let j be r(5). Let h be -1 + (3 - (-10)/j). Do -1 and h have the same value?
False
Let o = -13.07 + 13. Let r = o - -0.05. Let d = -0.28 + r. Which is bigger: d or -0.1?
-0.1
Suppose d + 3*d - 12 = 0. Let t be d*(-3)/(-15)*1. Suppose 2*p = -2*p. Is t smaller than p?
False
Let m = 547/20 - 118/5. Is 4 > m?
True
Let g be (2/(-30))/(10/(-570)). Which is bigger: 3 or g?
g
Let w = -83 - -302. Let z be 1/(-2)*w/(-120). Let o = z + -21/16. Which is smaller: -1 or o?
-1
Suppose 3*h = -f, 5*h - 2*f = -3*f. Which is smaller: 7 or h?
h
Let r = 13 + -8. Suppose r*l - l = 0. Is l smaller than 1?
True
Let b(l) = -l**3 + 4*l**2 + 3. Let z be b(4). Is 4 less than or equal to z?
False
Let a = 6 - 8. Is a greater than -16/7?
True
Let o = -0.15 + 6.15. Let t = -6.2 + o. Let j = 0 - t. Which is smaller: -0.1 or j?
-0.1
Let a(w) = w**2 - 4*w + 2. Let p be a(4). Suppose -3*l + 5 + 7 = 0, 2*l - 6 = -b. Let m = b + p. Which is bigger: -2/3 or m?
m
Let u = -4/85 + 352/255. Let f(d) = 4*d - 1. Let v be f(-2). Let i be 15/v*(-2)/(-5). Which is bigger: i or u?
u
Suppose -4*o - 5*q - 76 = 0, -15 = 2*o - 2*q + 41. Let t be o/6*46/(-8). Let z = t - 93/4. Do 1 and z have the same value?
False
Let h = -15 - -35/2. Let z(c) = -2*c + 16. Let m be (3 + 0)*35/15. Let l be z(m). Which is bigger: h or l?
h
Let r = -5 + 3. Let v = 6 - 8. Let h = v - r. Which is smaller: -1/3 or h?
-1/3
Suppose 3*x = -0 + 6. Suppose 5*h - 21 + 6 = 0. Which is smaller: x or h?
x
Let y = 155 - 159. Is y greater than 3?
False
Let w be 87/15 + (-2)/(-10). Let r = -4 + w. Let u be 2/r - 30/27. Is -1 greater than u?
False
Let b be 1/2*48/4. Let x be b*(-1)/((-3)/12). Suppose -m + 17 = -5*h + 2*m, x = -4*h + 5*m. Which is greater: h or 1/5?
1/5
Suppose 758 = 5*t - 52. Do 162 and t have different values?
False
Let p = -45/2 - -16. Which is smaller: p or -7?
-7
Let r(c) = -c. Let a be r(-3). Suppose -5*o = 5*z - 4*o - 20, -a*z + 4*o + 12 = 0. Suppose l + z = -3*l. Which is smaller: l or -2?
-2
Let l = -7788/17 + 458. Let f(b) = -b**2 + 6*b + 2 - 3*b - 5. Let m be f(2). Is l at least as big as m?
True
Suppose 0 = 3*q - 0*t + 3*t + 15, -5*t = -5*q - 35. Let n = q + 6. Which is smaller: n or 1/2?
n
Let a = -55 - -55. Does 0.02 = a?
False
Let x = -39/25 + 87/200. Which is bigger: x or 0?
0
Let w be (26/(-5))/((4/(-5))/4). Which is greater: 25 or w?
w
Let h(x) = x**2 + 5*x - 5. Let j = 4 + -10. Let f be h(j). Which is bigger: f or 3?
3
Let d = 23.95 + -24. Let v = -2.05 - d. Is -2/7 > v?
True
Let w = 19 - 18. Is w bigger than 2/17?
True
Let b be (2 + (-6)/2)*-4. Is 3 bigger than b?
False
Suppose 6*i - 15 = 2*i - 3*p, 11 = 2*i + 5*p. Suppose 4 = i*v - 5. Which is smaller: 4 or v?
v
Suppose -2*p - 10 = -4*s - p, 0 = -2*p + 4. Let d = -2 + 2. Suppose -3*y + y + 10 = d. Which is smaller: y or s?
s
Let d(u) = u**2 + 4*u. Let n be d(-5). Suppose -j + 23 = -4*x, -n*x - 33 = -4*j + 26. Is 12 at least as big as j?
True
Let x be (2 - (-8)/60) + -2. Is 1 != x?
True
Let o = 0.25 - 2.25. Is o greater than or equal to -11?
True
Suppose -w + 3*w = -8. Let f(u) = u + 5. Let x be f(w). Which is smaller: x or 1/3?
1/3
Suppose -8 + 3 = 5*c. Let f(k) = k**2 - 6*k + 8. Let g be f(8). Let u = g - 49/2. Is c > u?
False
Suppose -4*t - 15 = -t. Let b be 5*(9/t + 1). Are b and -5/2 non-equal?
True
Let j be (-2)/(2/(-8) - 0). Let h = j + -5. Suppose -i + 3*u = -u - 15, -h*i + 9 = -3*u. Which is greater: 0 or i?
0
Let v be 0/(-6 - (-4 + 1)). Let m = 29 - 15. Let i be 4/4 + (-18)/m. Which is smaller: v or i?
i
Suppose -5 = -5*z - 0. Let x be ((-6)/z)/(1/(-6)). Let h be x/21 + (-4)/(-14). Is h bigger than 1?
True
Suppose 0 - 4 = -u. Let l = -7 + u. Let f = 1 - 0. Which is smaller: l or f?
l
Let d(u) = -u + 27. Let w be d(11). Suppose 3*y - w = 7*y. Let j = y + 1. Which is greater: j or -0.1?
-0.1
Let y = 12 - 14. Let l be (-60)/(-12)*(-2)/y. Which is bigger: 8 or l?
8
Let o = -32 + 31. Which is bigger: 0.5 or o?
0.5
Suppose -4 + 2 = -2*p. Let d = 15 + -29. Let k be (-42)/18*4/d. Which is smaller: p or k?
k
Let o(q) = -2*q - 10. Let a be o(-7). Suppose -3*z = 3, a = -2*w + z - 3*z. Is w >= 1/3?
False
Suppose -10 - 62 = 4*x. Is x at most as big as -19?
False
Let k be -4 - ((-6)/1 - 1) - 8. Which is smaller: k or 5?
k
Let f = 136/3 + -5041/111. Is f at least -1?
True
Let m be ((-32)/(-864))/((-18)/4). Is 1 > m?
True
Let d = 59 + -58.92. Which is bigger: 9 or d?
9
Let a be 51/15 + (-8)/20. Let s be 6/8 - a/4. Which is bigger: 7/5 or s?
7/5
Let u = 2/39 - 5/13. Let l be (0 + 1)/(2/6). Are u and l equal?
False
Let k = -4473/242 - 2/121. Let l = 19 + k. Suppose 0 = -5*y + 2*y + 3. Which is bigger: l or y?
y
Let l = 2333/5 + -468. Let k be 1/(((-36)/(-16))/9). Suppose p + 3*p - 2*d + 8 = 0, -k*d = -3*p - 11. Is l at most p?
True
Let r be (-4 - (-3)/(-3)) + 0. Let z be (-57)/9 - (-1)/3. Which is greater: z or r?
r
Let o(w) = w + 7. Let j be o(-5). Suppose -5*m = -4*m + j. Let z be 2/3*6/(-4). Is z at most m?
False
Let b be ((-64)/(-12))/((-2)/(-24)). Let x = 5146 + -20837/4. Let k = x + b. Are k and 0 equal?
False
Suppose -5*d + m - 664 = 0, 3*d + 335 = 5*m - 81. Is d greater than -132?
False
Let u be (-2)/6 - (-491)/6. Suppose 3*n + 5*m - 244 = 0, 0*n - 5*m + 327 = 4*n. Let r = n - u. Which is smaller: 2 or r?
r
Let u(j) = 4*j + 46. Let g be u(-11). Let z = 0.2 - 0.2. Let d = z - 0. Which is greater: g or d?
g
Let q = 35 - 35. Which is greater: 1/81 or q?
1/81
Let z = -0.08 + 4.08. Let i = 2.8 - 3.8. Is z != i?
True
Let y be 8 + -15 + (-4 - -2). Let k = y - -3. Is k less than 0?
True
Suppose 2*h + 4*d = 0, -4*d = -6*d - 4. Suppose f + 3*m = -6 + h, -4*f - 4*m = 0. Let b be (42/12)/(f/(-2)). Is b <= -6?
True
Let a be (6/(-3) - -2) + 2. Suppose -a + 12 = 5*y. Let o(w) = w**2 + 6*w + 6. Let n be o(-5). Are y and n nonequal?
True
Let x = -6.1 + 1.1. Suppose 3*k - 1 = 2. Let z be 7*3/15 - k. Which is smaller: x or z?
x
Let b = 6 - 9. Let v = b + 6. Which is smaller: -1/3 or v?
-1/