t v = z + -14. Which is smaller: -6 or v?
-6
Let d = -25.5 - -25.4. Let j = -0.4 - -4.4. Is d != j?
True
Let m = 10 + -9. Let n = 5/6 - 7/6. Which is smaller: n or m?
n
Suppose -27 = -3*p - 3*w, p - 5*p + 34 = 3*w. Let j = p - 6. Is j greater than 1/16?
True
Let n(a) = a - 7. Let v be n(5). Which is smaller: -12/17 or v?
v
Let b = -210 - -67. Let u = b - -719/5. Which is greater: 1 or u?
1
Let w = 7 - 7. Let c = w - -0.05. Are -0.1 and c equal?
False
Let u(l) be the first derivative of -2 + 3*l - 1/3*l**3 + l**2. Let i be u(3). Which is smaller: i or 2/5?
i
Let a(d) = -d**3 - 5*d**2 + 4*d + 1. Let q be a(-6). Let t = -11 + q. Which is smaller: t or -2/3?
-2/3
Let q = 0.4 - 0.2. Let i = 1.2 - q. Let s = 10 + -10. Which is smaller: s or i?
s
Let w = 116042/77 - 1507. Are 1 and w nonequal?
True
Let p = 35849/16 + -2077/80. Let j = 2202 - p. Let k = j - -61/5. Is k < 1?
True
Let r = 14/11 - 67/44. Is 0.8 greater than r?
True
Let p be ((-484)/(-132))/((1 - 2)*2). Which is smaller: p or -1?
p
Suppose 2 = 3*j - 7. Suppose -g + 3 = -0*g. Is j less than g?
False
Suppose -w - 4*w = 20. Let t(d) = d + 1. Let n be t(w). Is n not equal to -7/2?
True
Suppose 50 = 12*i + 2. Does i = 3?
False
Let k = -12.72 - -2.42. Let c = k + 10. Is 1 smaller than c?
False
Let w(o) = -8*o + 1. Let t be w(2). Let s be 2/(-25)*t/36. Which is smaller: s or -1?
-1
Let z(r) = r**3 - 14*r**2 - 17*r + 2. Let n be z(15). Let o be 15/n + (-2)/(-8). Which is smaller: -0.5 or o?
-0.5
Let a(g) = g - 1. Let k be a(2). Suppose -4*c - 5 = 11, 3*c + 4 = -v. Let w be (v/(-6))/((-4)/6). Is w greater than k?
True
Let z(b) = -b + 8. Let a be 8/((-9)/12 - -1). Suppose -4*y = -0*y - a. Let n be z(y). Which is bigger: n or -2/9?
n
Suppose 3*q - q + 16 = -4*f, -f + 11 = -2*q. Is -7 >= q?
False
Let q be (4/(-16)*4)/((-52)/(-3)). Is q less than or equal to 1?
True
Let r(l) = -l**3 + 4*l**2 + 7*l - 7. Let v be r(5). Is v at least 3?
True
Let y = 2 - 6. Let m = y + 3. Let l = 1157/7 + -165. Is m >= l?
False
Let j = -730 + 727. Let y be 22/(-6) - 4/(-6). Are y and j nonequal?
False
Let m be (12/81)/(-1)*3. Let s = 2/9 + m. Let i = 26.1 - 26. Is i greater than or equal to s?
True
Suppose -2*x + 6 = x. Suppose b = -0 - x. Suppose t - 2 = -m, -3*t + 0 = 2*m - 3. Is b less than t?
True
Let o = 0.005 + 0.245. Does o = -2/3?
False
Let l = 34.9 - 35. Is -6 at least l?
False
Let d(h) = -h**3 - 6*h**2 + 20*h + 12. Let q be d(-8). Is q > -20?
False
Let f be 74/35 + (-2)/1. Let g = f - -2/7. Which is bigger: -5 or g?
g
Let q be 52*1/4 + 6. Is q at least 17?
True
Let a = -0.27 + -1.73. Let l = a - -2.2. Is l != -0.03?
True
Let r be (-256)/10 + (-14)/35. Is -27 != r?
True
Let s = 42/23 + -386/161. Do s and -1 have different values?
True
Let r = 2 - 2. Suppose r = 5*c - 26 - 14. Suppose -5*o = -l + 22, 3*o + l + c = -10. Is -2 > o?
True
Suppose j = -j - 4. Let g be 2 + 0/2 + j. Let i be 1 - ((-10)/(-7) - g). Which is bigger: 1 or i?
1
Let x = -6 + 18. Suppose 8 = -n - 3*n - 2*q, 5*n - x = 3*q. Is n not equal to 2/11?
True
Suppose j + z = 0, j + 4*z + 1 = -2*j. Suppose j = -2*x - 1. Let p = 8 - 9. Is x at most as big as p?
True
Suppose -144 - 120 = -2*g. Let d be (38/g)/((-4)/6). Let c = d + 2/11. Which is greater: c or -1?
c
Suppose 0 = 2*j - 5*j + 15. Suppose -4*l - 10 = 2. Let n = l + j. Is n less than 3?
True
Let v = 21 - 692/33. Which is smaller: 0 or v?
0
Let n = -1.47 - 6.63. Let z = 0.1 + n. Which is bigger: z or 1?
1
Let h(j) = -j**2 - 10*j - 11. Let w be h(-9). Let i(y) = y**2 + y - 1. Let q be i(w). Which is greater: q or -1/4?
q
Let b = 2 - -2. Suppose 4*g = 6*g + m - 5, -3*m - 13 = -g. Do g and b have the same value?
True
Let d(h) = -h**2 + 13*h - 25. Let x be d(12). Is -12 at most x?
False
Suppose 3*z + 2*g + 32 = 0, 3*g - g = 2*z + 8. Suppose 0*a = 5*a - 25, -2*r = 5*a - 11. Which is smaller: r or z?
z
Let r = 44.7 - 37. Which is smaller: 1 or r?
1
Let s be ((-98)/(-28))/((-135)/14). Let n = s - 1/27. Are 0 and n equal?
False
Let u be (36/8)/(-9)*(-108 + -2). Which is greater: u or 54?
u
Let t(s) be the first derivative of s**5/60 + s**4/6 - s**3/3 - 4. Let j(h) be the third derivative of t(h). Let g be j(-3). Is -2 >= g?
True
Suppose 2*q = 3*u - 3, u + 4*u = 2*q + 9. Let w be (-3 - (-7 - -1)) + -3. Suppose w = u*p - 1 - 2. Does -1/3 = p?
False
Let c = -8 - -10. Let b = c - 1.6. Let k = b - -0.6. Is k bigger than 1/3?
True
Let t = 10/91 - 1/26. Which is smaller: t or 1?
t
Let n = 14 - 10. Suppose 2*b - 7*b = 0. Suppose b = 5*p - z + 1, 4*z = p + 2*p + n. Which is greater: -1/3 or p?
p
Let c = -18.9 - -19. Which is greater: c or 2/7?
2/7
Let p = -15 - -43/3. Is p at most as big as 1.1?
True
Let p(s) = -s**3 + 7*s**2 - 5*s - 3. Let h be p(6). Suppose 0 = 5*o - 4*g + 3*g - 93, -h*g = 9. Let v be 4/o - 39/54. Do v and 0.1 have different values?
True
Let l be (-4)/(-26) + 135/(-117). Which is smaller: -1/11 or l?
l
Let x = -45 - -45. Is 15 smaller than x?
False
Let x = -3 + 7. Let j(g) = g + 9. Let f be j(-6). Which is smaller: x or f?
f
Suppose -4*w = -4*l - 20, 0*l = -3*w + 2*l + 12. Are 4/7 and w equal?
False
Let u = 1/693 + -475/9009. Is -1 smaller than u?
True
Let d = -0.263 + 0.063. Which is bigger: -1/7 or d?
-1/7
Let f = 0.1 - 0.5. Let l = f - -0.6. Let n = 0.4 - l. Are 0 and n non-equal?
True
Let x be (-2)/7 - 160/(-364). Is x at least 0?
True
Suppose 0 = -2*b + 1 + 1. Which is smaller: b or 1/12?
1/12
Suppose -4*k = k + 25. Let h be ((-4)/k)/(2/(-4)). Let x = h + 21/10. Which is greater: x or 1/3?
x
Let h = -1369/66 + 8/33. Is h at least as big as -21?
True
Let g = 5 - 10. Let c = g + 5. Let y(h) = h**2 - 7*h. Let r be y(7). Is c at least r?
True
Let t be (46/8)/(3/(-12)). Let z = 163/7 + t. Which is bigger: 0 or z?
z
Let y(p) = p**3 - 4*p**2 + 3*p. Let a be y(2). Let m = 3 + a. Let n = 808/9 - 90. Are m and n unequal?
True
Suppose 2*s - 8 = -0*s. Let t be -3*(-2)/3 - s. Which is bigger: 1 or t?
1
Let x(a) = 3*a - 5. Let z be x(2). Let w(j) = j**2 - 4*j - 5. Let t be w(5). Which is greater: t or z?
z
Let i = 1 + 2. Let q(v) = -6*v**3 + 1 - 8*v**2 + 10*v**2 + 2*v - v**i + 2*v**3. Let r be q(-1). Is r not equal to 5?
True
Let p = -1 - -1. Suppose p*b = -2*b. Which is smaller: -3/8 or b?
-3/8
Let t = -76.6 - -77. Let n = 1/10 + -1/2. Is t equal to n?
False
Let x = 16/31 + 495/62. Which is smaller: x or 10?
x
Let l = -7 + 8. Let r be (8*(-1)/(-32))/(1 - 2). Which is bigger: r or l?
l
Let m be (-8)/(-10) + 117/(-90). Which is bigger: 8 or m?
8
Let l(z) = z**2 + 5*z - 5. Suppose -3*o = 5*k + 13, -2*o = -3*o - 3*k - 3. Let m be l(o). Which is smaller: -1/14 or m?
-1/14
Suppose 5*h + 4*i = -9, -5*i + 1 = -2*h + 4. Let m be 4/(7/(-5) - h). Let u be -1 + ((-26)/m - 2). Which is bigger: u or 0.1?
0.1
Let m = -11 + 11. Which is greater: m or 10?
10
Let q = 5/347 - -85679/2082. Let j = 41 - q. Which is smaller: j or 1?
j
Suppose 3*u - u = -6. Let y be 0/(6/(2/1)). Which is smaller: u or y?
u
Let o be (5 + -4)*(2 + 2). Is 0.2 not equal to o?
True
Let k = -0.3 - 0.1. Let b = -4 + 4.4. Let s = k + b. Which is smaller: -2/9 or s?
-2/9
Suppose 3*p = 6 + 3. Suppose p*b - 2*b = 0. Which is greater: b or -3?
b
Suppose 0*q + 1 = 5*q - n, 5*n + 5 = -2*q. Suppose q = 2*w - 28 - 20. Suppose -4*l + 4*h - w = 0, -8 = -2*h - 0*h. Which is bigger: l or -3?
l
Let z = -0.15 - -0.05. Is z > 9?
False
Suppose -c - 11 + 4 = 0. Let r = 13 + c. Which is greater: r or 2?
r
Suppose -14 = -5*x - 4*v, -3*x = -5*x + 5*v - 1. Is x smaller than -2?
False
Let q(v) = v**2 - v + 8. Suppose s + 3*p + 13 = -2, s - 4*p = 20. Let y be q(s). Suppose -y + 3 = -5*m. Which is bigger: m or -2/13?
m
Suppose -3*c - 4*q + 9*q + 179 = 0, -q - 59 = -c. Which is greater: 57 or c?
c
Suppose 3*f = -6*q + 3*q - 33, f = -3*q - 29. Let y be 2/3*q/3. Let x be (0 - y)*(-4)/12. Is -1 >= x?
False
Let p be 3/(-54) - (-2)/(-12). Is p not equal to -1/5?
True
Suppose 0 + 8 = 4*c. Suppose -c*i - i = -6. Which is smaller: 1 or i?
1
Suppose 20 = -4*z, -5*w - 5*z - 24 = 196. Which is bigger: -38 or w?
-38
Let c = 961/1585 - 2/317. Which is bigger: 2 or c?
2
Let v = 2053/7 + -292. Which is smaller: 0 or v?
0
Suppose -b + 5 = -0*b. Suppose -5*m = -0*m + b. Which is smaller: 2/17 or m?
m
Let j = 1.1 - 0.6. Let h = 0.9 - j. Is h >= 0.1?
True
Let i = 16.4 - 16. Is 4 greater 