 = -3*v, -2*v = 4*s - 13 + 1. Suppose 10 = -3*a + 5*d, 4*a - 9 = -s*d + 36. Is 4 != a?
True
Let f(z) = -z + 6. Let o be f(-5). Let y = 7 - o. Which is smaller: -3 or y?
y
Let u(b) = b**3 - 2*b**2 + 2*b - 3. Let m be u(3). Let d be (m/5)/2 + -1. Let i = -6 - -7. Which is greater: i or d?
i
Let p = 2.37 + -2.3. Which is bigger: 1 or p?
1
Suppose 0*s - 7*s = 14. Is -1/2 < s?
False
Let s = 3 - 2. Let g be (1 - (-2)/(-1)) + -3. Let p = g + s. Which is bigger: -2 or p?
-2
Let m = -12.03 - -12. Let b = -0.07 + m. Let k = -0.1 - -0.1. Which is smaller: b or k?
b
Let p be (1/(21/6))/6. Which is greater: 0 or p?
p
Let b = -61 + 86. Which is greater: 24 or b?
b
Suppose -v - 3*s - s = 11, 5*s = -3*v - 26. Is 3 < v?
False
Suppose b = 4*a - 19 - 9, a + 4*b = -10. Suppose 3*g - 16 = -1. Which is smaller: g or a?
g
Let g = -73 - -61. Is g > -8?
False
Let f = 157/156 - 12/13. Let n(z) = -z**3 - 17*z**2 - 32*z - 30. Let j be n(-15). Which is bigger: j or f?
f
Suppose -24 = 4*j - 0. Let h be 9/j + (-6)/(-4). Is h greater than or equal to 4/5?
False
Let c = -82 + 89. Which is bigger: c or 4?
c
Let l = 0.403 - 0.303. Suppose -18 - 7 = -5*n + 5*q, q + 11 = 3*n. Is n greater than or equal to l?
True
Let o be 6/69*27/(-2) - -1. Is 0 greater than or equal to o?
True
Suppose 8*m - 6*m + 4 = 0. Which is greater: m or 2?
2
Let o(h) = -h**3 + 7*h**2 + 8*h. Let g be o(8). Suppose g*p + 3*p = 27. Which is smaller: 1 or p?
1
Let o(t) = t**3 + 2*t**2 - 2*t + 3. Let z be o(-3). Suppose 2 = -2*g - 2*s, -5*s - 11 = 2*g - z*s. Are 1 and g unequal?
True
Let k be (4/(-6))/(195/(-63) - -3). Let o = 3 - 3.1. Is k != o?
True
Let j be (-3)/(-4)*(-24)/(-15). Which is greater: 2 or j?
2
Let n(y) = -2*y + 1. Suppose 2*h = -10 - 2. Let p be n(h). Suppose -4 - p = -3*f - 4*q, 0 = 4*f - 5*q - 2. Is 3 at most f?
True
Let p(d) = -d - 4*d - 6 + 6*d. Let b be p(5). Which is greater: 2 or b?
2
Let z = -6 - -3. Let n = 4 + -4. Suppose n = 5*d + 5 + 5. Are z and d non-equal?
True
Suppose -k = -3*f - 22 - 21, -31 = 3*f + 2*k. Let l = -41/3 - f. Which is smaller: l or -2?
-2
Let f = -0.11 - 2.79. Is f at most as big as 1?
True
Let h = -41 - -42. Is h equal to 1/11?
False
Suppose 0 = -5*o + 25, 3*o = 3*s + 4 - 1. Suppose s*f + 3*y = 2*y - 1, -3*f = -3*y - 18. Is 5/12 less than or equal to f?
True
Suppose -3*h + 31 + 47 = 0. Do h and 27 have the same value?
False
Let a = -0.14 - 0.06. Let g = a + 4.2. Let o = 0 - 1. Is o greater than or equal to g?
False
Suppose -3*u + 4*u - 3 = 0. Let v be 1 - 2 - (-8 - -2). Are u and v unequal?
True
Suppose 0 = -0*c + c - q + 2, -5*c - 10 = 3*q. Are c and -2 equal?
True
Let f = -120 - -116.95. Let h = -0.05 - f. Suppose -4*l + 20 = -4*q, l + l = -q - 2. Is h not equal to l?
True
Suppose 0 = 4*w + 33 - 13. Suppose -4*h + 5 = -5*a, -4 - 21 = 3*h + 2*a. Is w at least as big as h?
True
Let n = -1.1 - -1.3. Let y = -0.2 - 0.8. Let g = -2 - y. Is n >= g?
True
Suppose 5*c + 2*k + 0*k = -16, -2*k + 4 = 0. Let a = c - -5. Which is bigger: a or 1/4?
a
Let p = 0.04 + 0.06. Which is bigger: p or -6?
p
Let r be 0/(-2) - (-1 - -38). Let w = 22 + r. Let d be (-3)/9 + (-8)/w. Is d smaller than 1?
True
Let w = 20 - 21. Which is smaller: -29 or w?
-29
Let o be 6/(-15)*(-10)/(-36). Are o and 1 non-equal?
True
Let m = 10.2 + -10. Which is greater: m or 1?
1
Let n = 3 + -4. Let q be 1*1*(n - 0). Let m = -1824/11 + 166. Is q <= m?
True
Let q(f) = f**2 + f + 4. Let h be q(0). Let p = h - 5. Let i be 35/11 + -2 + p. Is 1 at most as big as i?
False
Suppose 8*u + 95 = 3*u. Is u at most -19?
True
Suppose 0 = 2*h + g + 42, -3*h - 6 = -5*g + 83. Is -23 less than or equal to h?
True
Let r = 12 - 11. Suppose -11 - r = -3*h. Which is smaller: h or -1?
-1
Let l be 1*((-5)/(-10))/(75/(-18)). Which is smaller: l or -1?
-1
Suppose 4*v = -10*v + 12*v. Is v less than or equal to 5/19?
True
Let h = -45 - -45.1. Which is smaller: -22 or h?
-22
Let t = -0.12 + 6.12. Let s = t + -4. Let o = s + -2.2. Is o less than or equal to -0.2?
True
Suppose 0*v = -5*v - 220. Is v at most as big as -45?
False
Suppose 2*z - z = 6. Suppose -3*q = -3*o, 12 = -z*q + 4*q - o. Which is smaller: q or -3?
q
Suppose 0 = -2*v - 2*n - 22, 50 + 9 = -4*v + n. Let i be 1/2 - 81/6 - 2. Which is smaller: i or v?
i
Let t(x) = x**3 + 7*x**2. Let k be t(-7). Let y = k - -1. Let l = 3 + -3. Which is greater: y or l?
y
Let g(h) be the third derivative of -h**4/24 - 5*h**3/3 - 3*h**2. Let v be g(-9). Let p be 4/3*v/(-6). Which is smaller: -1 or p?
-1
Let q(v) = -v**2 + 12*v + 16. Let t be q(11). Let m be (t/(-45))/((-28)/10). Which is smaller: m or -0.1?
-0.1
Suppose 64*g - 60*g - 12 = 0. Which is greater: 1 or g?
g
Let m be (-8)/(-18) - (-4)/(-6). Let y(n) = n**2 - 3*n + 1. Let o be y(2). Which is smaller: o or m?
o
Suppose 0 = 3*y - 1 - 2. Is 1/2 < y?
True
Suppose -y - 9 = -1. Let f = -8 - y. Is -1/9 at most f?
True
Let q = -7 + 1. Let p be 2/4*q/4. Are -1/3 and p nonequal?
True
Let y = 430/9 + -3100/63. Are y and 0 equal?
False
Let a = 133.4 + -133. Let q be (-6)/(-4)*8/(-42). Is q != a?
True
Let s = -30 - -30. Are -1 and s non-equal?
True
Let d = 38 + -14. Let f = d + -23.7. Which is smaller: f or 1/2?
f
Let f be ((-6)/4)/((-4)/(-8)). Let b = f + 3. Let h(k) = k**2 + 3*k + 1. Let j be h(-3). Which is smaller: j or b?
b
Suppose 6*d - 4*d = 0. Suppose a = -4 - d, -4*j + 4*a = -40. Is j <= 7?
True
Let a = -7 + 6. Let h = 2 - a. Suppose -2*b = h*b. Is b at least -3/4?
True
Let n = 21 + -41/2. Let m(l) = -l**2 + 3*l - 2. Let i be m(2). Let c = i - -1. Which is smaller: c or n?
n
Suppose m + 12 = -4*i, -i = -0*i + 4*m - 12. Let t be (-16)/68*2/i. Is 1 at least t?
True
Let v be 2/5*(-16)/(-32). Are v and -0.4 equal?
False
Let c = -0.7 + 1.28. Let t = -0.7 + c. Let m = 0.02 + t. Is -4 greater than or equal to m?
False
Suppose -2*l + 2*n + 10 = 0, 5*l + 2*n - 3*n - 21 = 0. Let h be 1 + l*(2 + -3). Does h = -2?
False
Let n = 10 - 21. Let h = -19 - n. Let k = -10 - h. Which is smaller: 2 or k?
k
Let b(m) = -m + 23. Let z be b(12). Let l = -15 + z. Which is smaller: l or -1?
l
Let c = -1939/5 + 389. Is c at least 2?
False
Let t be (2/12 - -2)*8. Is t not equal to 17?
True
Let x = 0 - -5. Let v = 265 + -258. Which is bigger: x or v?
v
Let c = 26 + -14. Suppose -2*l + c = -l. Let y = 7 - l. Which is smaller: y or -2?
y
Suppose -4*g + 26 = 3*o, 3*o + 2*o - 40 = -5*g. Let t = o - 7. Let i be (-8)/(-6)*3/(-6). Is i at least as big as t?
True
Suppose 2*j + 2*j = 5*w - 70, -5*w - 3*j + 35 = 0. Let k = w + -32/3. Which is smaller: 0 or k?
k
Let q(i) = -i**2 + 6*i - 7. Let g be q(5). Let r = g + 0. Are r and -2/3 equal?
False
Let k = 85.05 - 85. Is 1/6 greater than or equal to k?
True
Let h = 0.04 - 0.08. Let m = 0 + h. Let b = m + 1.04. Does b = 1/3?
False
Let r be 28/175*(-10)/(-4). Is -4 <= r?
True
Let q(c) = c**2 - c - 10. Let z be q(-3). Which is greater: z or 11/4?
11/4
Let m(h) = 2*h - 3. Let a be m(3). Suppose -g + 1 = -3. Suppose g*r - 2*r - a = -o, 5*r + o = 0. Are 0 and r nonequal?
True
Suppose -w + 5*w = -8. Suppose -2*v = -3*c + 12, -5*v + 4*c - 25 = -c. Let s be v*(-3)/(4*-3). Is s <= w?
False
Let h = 0 - -1. Let m = -2 + 11/5. Is m smaller than h?
True
Let y be 9/(-330)*(0 - -432). Let f be (-174)/(-10)*2/3. Let w = f + y. Is w equal to -1?
False
Let o = -0.2 - 0.9. Let u = o - -1. Let s be (8/(-90))/(4 + (-66)/15). Which is greater: u or s?
s
Suppose u - 5*u = 4. Suppose 4*j - 1092 + 316 = 0. Let z = 2136/11 - j. Which is greater: z or u?
z
Let r be 28/(-9) + (5 - 2). Let l = -16 + 9. Let v be (-10)/(-14) - 2/l. Which is smaller: v or r?
r
Let j = 238/3 + -80. Which is smaller: 0 or j?
j
Let f = 0.072 + -0.042. Which is bigger: f or -0.1?
f
Let n(c) = c**3 - 4*c**2 + c + 4. Let j be ((-18)/5 - -3)*-5. Let o be n(j). Is o greater than -2/3?
False
Let q be 22/4 - 4/(-8). Let f be q/4*4/3. Are f and -6 nonequal?
True
Let q = -8 - -8.1. Which is greater: -0.05 or q?
q
Suppose 4*r - 5*l + 357 = 0, -4*r - l - 280 - 47 = 0. Let u = r + 413/5. Is u < 0?
True
Suppose -4*f + 6 = b + 2, -2*f - 4 = -b. Let k = -2 - -2.3. Which is bigger: f or k?
k
Let w = 30.11 + -30. Let g = -0.21 + w. Is g >= 1?
False
Let d = 7 - 7.1. Let z = 0.6 + -0.4. Let f = -0.3 + z. Are f and d equal?
True
Let a be -4 - -5 - (0 - -2). Let i be (-8)/5 + 4/(-10). Is a less than