. Let v = 0.45 + -0.5. Let n = u + v. Is n <= 6?
True
Let u = -157/165 - -17/15. Suppose -4*l - 3 = -7*l. Which is smaller: u or l?
u
Suppose -6*a = 4*a - 10. Which is greater: -3/23 or a?
a
Suppose -b - b + y + 1 = 0, 4 = -5*b - 4*y. Suppose b*n = 2*n + 4. Let u be ((-5)/((-5)/n))/3. Which is greater: u or 0?
0
Let q = -0.75 + -0.35. Which is bigger: 0.1 or q?
0.1
Let o = -9 - -5. Let f = 0.02 - 5.02. Let r = o - f. Which is smaller: 0.1 or r?
0.1
Let z = 361 - 11915/33. Is -1 less than or equal to z?
True
Suppose -7*z = -8*z - 5. Which is smaller: z or -4?
z
Suppose 5*s + 5*u + 35 = 0, 3*s - 4*s - 10 = 2*u. Suppose -n + 2*z = -3, -3*n + 5*z = n. Which is smaller: n or s?
n
Suppose -2*d = 0, -5*d - 47 - 3 = -5*g. Suppose -5*m + g = 15. Is m at most as big as -1?
True
Let i(n) = -27*n - 299. Let s be i(-12). Let y = 75 - 50. Is y at least s?
True
Let s(j) = -j**3 + 7*j**2 - 1. Let a be s(7). Let r be (a/(-2))/((-2)/(-4)). Are r and 3 equal?
False
Let f = 51/40 + -7/5. Let m(k) = k - 2. Let a be m(2). Which is bigger: a or f?
a
Suppose -3*o + 1 = -11. Suppose -o*i + 8 = -2*i. Is 4 less than or equal to i?
True
Suppose -v = 3*v. Is 1/6 at most as big as v?
False
Suppose 0 = -2*d - 4 + 6. Suppose 3*n - 39*x + 41*x = 14, -4*x + 10 = -3*n. Is n != d?
True
Suppose -2*t - 13 = 5. Let a = 9 + t. Let w = 5/56 - -67/504. Which is smaller: w or a?
a
Let f be -1*2/(-4)*4. Let x be f - (10/(-2) - -2). Suppose 4*n = x*h - 14, 2*h + n - 7 = -2*h. Are h and 2 nonequal?
False
Let c be 0 + (-5 - 0) + 0. Is c less than -5?
False
Let i be (2 + 10/(-5))*1/2. Let d(a) = a**3 + 4*a**2 + a - 3. Let x be d(-4). Which is smaller: x or i?
x
Suppose 3*t = -15, -c = 4*t + 11 + 12. Let i = -6 + 4. Which is greater: c or i?
i
Let h(i) = i**2 - 10*i + 11. Let c be h(9). Let m be 5 + 3/(-2 + -1). Which is smaller: c or m?
c
Let h(p) = 11*p**2 + 19*p + 13. Let g(a) = 4*a**2 + 6*a + 4. Let x(u) = -8*g(u) + 3*h(u). Let q be x(-8). Which is smaller: -3 or q?
-3
Let w = 0 + 0. Let s be 6/8*2/90*24. Which is bigger: s or w?
s
Let p = -11 + 2. Let d = p - 1. Is -11 not equal to d?
True
Let r = 2 + -4. Suppose 5*i = 3*a + i - 49, -3*a - 3*i = -42. Let s be (-4 + 1)/a*3. Which is smaller: s or r?
r
Suppose -7 + 0 = -7*p. Let z be (-2 + 2)/(6/(-3)). Which is greater: p or z?
p
Let b = 0.3 + -0.35. Let w = -1.95 + b. Let t = w - -2. Is t <= -3?
False
Let z = 14/3 - 31/6. Which is smaller: z or 24?
z
Let p be 0 - (355/6)/1. Let a = p + 60. Let l(z) = -5*z - 33. Let o be l(-7). Is o less than or equal to a?
False
Let l = 4.13 + -0.13. Let p = l + -3.9. Which is greater: p or 0.04?
p
Let l be 788/20 - (-3)/5. Let d be l/(-10)*1/(-4). Which is smaller: d or 2?
d
Suppose 0 = i - 3*u - 5 + 16, -2*i = u - 6. Let f be (i*(-4)/12)/(-2). Which is smaller: f or -0.2?
-0.2
Let x = -31.15 - -3.25. Let q = 29 + x. Let f = 1 - q. Which is smaller: -2 or f?
-2
Let u = 8 + -10. Do -0.02 and u have the same value?
False
Let s(r) = -r - 10. Let h be s(-10). Is h at most as big as -1/8?
False
Suppose 2*q + 2 = -0. Which is smaller: -2/7 or q?
q
Let u = 1/1283 - 709503/5132. Let x(s) = -70*s + 1. Let g be x(2). Let p = g - u. Which is smaller: -1 or p?
-1
Let n = -100/29 + -8751/145. Let z = n - -64. Which is smaller: z or -1?
-1
Let j(d) = -2*d**3 + d**2 - 2*d + 1. Let v be j(1). Let u be (2/(-4))/((-2)/4). Let i = v + u. Do i and -2/9 have the same value?
False
Let a be -2 + (-26)/(-14)*1. Suppose 0 = -12*t + 14*t. Is a > t?
False
Let w be (0 - 1/(-1))/1. Let y be 1 + 2 - (-190)/(-57). Which is smaller: w or y?
y
Let k(h) = h**3 - 6*h**2 + 6*h - 5. Suppose 2*m = -0*m + 10. Let v be k(m). Does v = -3/8?
False
Let t = -2 + 4. Let j(k) = k**3 - k**2 + 2*k - 1. Let h be j(t). Suppose -h = -r - 0*r. Is 8 >= r?
True
Suppose 0*u - u = -24. Let f be 4/3*33/u. Is 1 >= f?
False
Let x be (1 - 0) + -1*2. Let s be (-53)/(-11) + (-2)/(-11). Suppose 2*v - s*v + 3 = 0. Is v equal to x?
False
Suppose 5*i + 4*p = 1 + 45, -5*i + 38 = 2*p. Let t(k) = -k**3 + 6*k**2 - 5*k - 5. Let r be t(4). Is i < r?
True
Let p be 2/4*(-4)/1. Suppose 5*g = -5*x + 50, 2*x = -3*g - g + 28. Suppose 2*q + 3*f = -4, -3*q + 2*f - x = -f. Is p >= q?
True
Let c = 0.34 + -0.14. Is c greater than -1?
True
Suppose n + 3*l = 13, 5*n + l + 2*l = 17. Let t be 2/(-30) + (-1)/3. Is t at most as big as n?
True
Let a = 19324/13 - 1488. Is a at most -2?
False
Let o(s) = s**3 + s + 1. Let a be o(0). Which is smaller: a or 3/4?
3/4
Let l(n) = -n - 5. Let j be l(-6). Suppose 3*z + 14 = -0*z + 4*f, -2*z = 2*f. Are j and z unequal?
True
Let s = 0.5 - 0.9. Let r = -2.9 - -3. Which is bigger: r or s?
r
Let c = 4 - 1. Suppose -2*z = h, z + 0*z + 2*h = -c. Is z bigger than -1?
True
Suppose -3*d = 3*r - 42, 0 = 3*r + 4*d - 35 - 12. Suppose -r = 6*w - 3*w. Let f be (-3)/9*w/(-2). Is f <= 1?
True
Let z = -1.4 - -0.2. Let g = z + 1.3. Which is bigger: 8 or g?
8
Let m = -22697 - -30073523/1325. Let v = -11911/9275 + m. Which is smaller: v or -0.1?
v
Let f be 2/(-3) - 188/(-3). Let n be -2*(-1065)/36 - -3. Let m = f - n. Is -1 at least as big as m?
False
Let n = -0.2 + 0.4. Let h = -0.09 + 3.09. Are h and n equal?
False
Let z = 15 - 1. Are 25/2 and z equal?
False
Let k be 2/(-39) - (-2 - 33/(-18)). Is k at most as big as 0?
False
Let d = 16 - 16. Which is greater: d or 0.9?
0.9
Let s = -701 - -2150/3. Let a = -16 + s. Are a and 0 non-equal?
True
Suppose 15 = -4*h + h. Let c be (-2)/h*(-15)/(-21). Let q(n) = -n - 3. Let x be q(-3). Which is smaller: c or x?
x
Let r(z) be the third derivative of -z**4/24 - 2*z**2. Let p be r(-4). Let g = 6 - p. Which is greater: g or 3?
3
Let y(h) = 2*h**3. Let j be y(-1). Are -2 and j nonequal?
False
Let r = 0 + 2. Suppose -g = -3*g - r. Let m = -1 + g. Which is bigger: -4/5 or m?
-4/5
Let y = -2 + 1. Let b = -56670/7 - -8068. Let w = 28 + b. Which is smaller: w or y?
y
Let o be (-6)/21 - (-10)/(-14). Let c be 2/9 - 2/9. Is o less than c?
True
Let g = -703/8 - -88. Which is smaller: 1 or g?
g
Let o = -0.02 - 0.04. Let m = -7.44 + 7.5. Let k = m + o. Which is smaller: k or -4?
-4
Let n = -2/20967 + -7736809/146769. Let p = 53 + n. Which is smaller: p or 0?
0
Let s(h) = h**3 - 3*h**2 - 1. Let w be s(3). Let p = -8 - -5. Let i = -4 - p. Is i greater than w?
False
Let g = 3 + -10. Let x = -8 - g. Suppose 0 = -2*k - i + 4*i - 7, k + 2*i - 7 = 0. Which is smaller: x or k?
x
Let q = -5 + 4. Is q less than or equal to -5?
False
Let n = -1.1 - -1. Let w = -14.3 + 14. Is n > w?
True
Suppose 0*t - 3*t - 2*l = -16, 22 = 3*t - 4*l. Let u be 15/(-6) + 3/t. Is -6/7 smaller than u?
False
Suppose -4*t + 3 = -4*r - 5, -5*t + 10 = -r. Is 2/3 at least r?
True
Let q = 27 - 16. Let x = q - 11.06. Let r = -0.14 + x. Which is smaller: 0.3 or r?
r
Let c = 99 - 54. Is 45 bigger than c?
False
Let o(t) = t**3 - 8*t**2 + 7*t + 4. Let r be o(7). Suppose 7 = n - r*f, -2*f = 2*n - 6*f - 6. Which is smaller: 1/14 or n?
n
Suppose 2*t = -5*l + 24, 3*t = -t - 12. Let y = l - 5. Which is smaller: -2/5 or y?
-2/5
Let p be (4/14)/((-3)/(-2082)). Let m = p - 198. Is 0 at most m?
True
Let y(w) = -w**2 + w - 4. Let n be y(3). Which is smaller: n or -12?
-12
Let q(g) be the second derivative of g**3/3 - 3*g**2 + g. Let c be q(4). Is 2 < c?
False
Let v = 1.7 + 0.3. Let t = 1 - v. Which is bigger: t or -2/5?
-2/5
Let z(d) = 15*d + 99. Let a be z(-5). Let q = -8 + 31. Is q > a?
False
Let w be (-68)/(-18) + (-4)/(-18). Suppose -5 = -3*z + 5*f, f = -w*z + 3*z - 1. Suppose b - 1 = -z. Is 1 at most b?
True
Let k be (-30)/2 - 15/15. Do -15 and k have the same value?
False
Suppose m = -19 + 25. Do 3 and m have different values?
True
Let w be (-2)/(-6)*(-3 - -9 - 7). Is w equal to -0.06?
False
Let d(n) = n + 5. Let i be d(-11). Which is greater: -5 or i?
-5
Let m = 0.027 + -0.237. Let d = -0.09 + m. Which is bigger: 1 or d?
1
Let w = -7 - 10. Is w greater than -17?
False
Let n(p) = 3*p - 11. Let s be n(4). Which is greater: s or -7?
s
Let z = -32/105 - 2/21. Let y be 72/154 - 4/14. Which is smaller: y or z?
z
Suppose -3*u = -9*u + 18. Which is smaller: 1 or u?
1
Let x = 68 - 67.9. Is x less than -11/2?
False
Suppose -i = 11 - 18. Let z = 10 - -2. Suppose v + 3*v + 4*j = z, -4*v + 21 = j. Which is greater: v or i?
i
Let s = 801058/45 + -17802. Let w = 10/9 + s. Let c = -61/63 + 10/9. Which 