Suppose -h - 6 = -4*k. Is t at least k?
False
Let o be (-15)/(-4) + 1/4. Suppose -4*s + 19 = 3*b, 0 = 2*s - 4*b + 4 - 8. Suppose h - s*h = i, 4*h + o*i - 8 = 0. Which is smaller: h or 0.1?
h
Let z = 2 - 2. Let q = 13 - 7. Let b(w) = -w**2 + 5*w + 7. Let h be b(q). Do h and z have the same value?
False
Suppose 2*f + 6 - 30 = 0. Let u be f/(-10)*2/(-4). Which is smaller: u or -2/5?
-2/5
Let w be (12/14)/(5/(-14)). Suppose 3*f - 2 = f. Is w less than f?
True
Let w = 10.03 + -10. Let b = w + -1.03. Are 1/4 and b non-equal?
True
Suppose 2*z = 3*j + j + 12, 24 = -4*z - 4*j. Suppose -3*b = -3*f - 0*b - 9, -2*f - b = -9. Let t = -4 + f. Do z and t have different values?
False
Let c = 8.5 + -18.5. Do c and 0.2 have the same value?
False
Suppose -3*q - o + 2 + 5 = 0, -o = -5*q + 9. Suppose 5*h - q*x = -20, 0 = 3*h + 5*x - 13 - 6. Let y(m) = m + 4. Let g be y(-7). Is g less than h?
True
Let w(q) = 3*q**3 + q**2. Let s be w(1). Let c = s - 8. Which is smaller: -3 or c?
c
Suppose 0 = -5*v + 8 + 27. Suppose -3 = -2*n - v. Which is bigger: n or -1?
-1
Suppose -8 = -5*q - 3. Let s be (-18)/44 - 1/(-2). Is q at most as big as s?
False
Suppose 0 = -2*p, -4*k - 2*p + 8 = -0*k. Suppose k = -5*b - 3. Which is smaller: b or -2?
-2
Let g(y) = -3*y - 5. Let u(a) = -a**3 + 5*a**2 - 2*a + 6. Let r be u(5). Let t be g(r). Is 8 not equal to t?
True
Suppose -5*u - 10 = t - 2*t, -2*t - 4*u - 8 = 0. Which is greater: 10/47 or t?
10/47
Let o = 6 + -8. Let f be 0 - -1 - 5/3. Is f <= o?
False
Let f(c) = -c - 6. Let m be f(-6). Let r(j) = j**2 + 6*j - 1. Let t be r(-6). Which is smaller: t or m?
t
Let i be (-2816)/(-280) + (-4)/(-5). Let x be (1/21)/(4/(-1038)). Let l = x + i. Which is bigger: l or -3?
l
Let b = 385 - 386. Suppose 0*h + h = -4*m - 79, 43 = -2*m + 3*h. Which is greater: m or b?
b
Let u(m) = m - 4. Let w be u(0). Let y = 1 - 5. Is w <= y?
True
Suppose 5*m + 3 = -3*q, -5*q - 3 = m + 2. Suppose k + 32 = 34. Which is greater: k or m?
k
Let n be (-1)/(-3) + (-52)/273. Suppose -5*r - t = -r + 4, 5*t + 20 = 0. Which is smaller: n or r?
r
Let q be (1/(-4))/((-2)/(-262)). Suppose -4*v + 160 = 2*j + 38, 5*v = -5*j + 140. Let y = q + v. Which is bigger: -1 or y?
y
Suppose c + 603 = -2*c. Let r = 1413/7 + c. Which is greater: 2 or r?
2
Let p = -18 + 16. Let w be (4/(-6))/(p/(-6)). Which is greater: w or -1?
-1
Let m(d) = d**3 + 6*d**2 - d - 3. Let j be m(-6). Let u = j - 2. Let r be 1/(-5) + 11/30. Is u less than or equal to r?
False
Suppose -12 + 4 = -2*g. Suppose 0 = -s + 1 - 3. Let n = g + s. Which is smaller: 0 or n?
0
Let d = 8 - -5. Which is smaller: d or 16?
d
Let l be -3*(-3)/9*-5. Let y(h) = 2*h + 7. Let m be y(l). Suppose 4*s = -6 - 6. Do s and m have the same value?
True
Let l be (1/3 + -1)*3. Let y be ((-1)/l)/((-10)/(-24)). Let w be ((-4)/14)/((-10)/70). Is w bigger than y?
True
Suppose -2*r + 5 = -3*t - 8, 0 = -5*r + 2*t + 27. Suppose 4*w = -w - r. Which is smaller: 0 or w?
w
Let a be (-15)/10 - (-1022)/20. Let v = 49 - a. Which is bigger: v or -2?
v
Let m(j) = 4 - 5 + j - 5. Let c be m(5). Is c smaller than -3/8?
True
Let z = -18 - -17.9. Is -0.02 greater than z?
True
Suppose 4*c + 264 = 2*d, -c + d = -0*c + 68. Which is smaller: c or -63?
c
Let n(q) = q**2 + 4*q. Let z be n(-6). Let d(m) = m**2 + 4*m - 6. Let t be d(-6). Let v be (-8)/z - 2/t. Which is smaller: 1/5 or v?
v
Suppose -3*j - 4*d = -5*j + 10, 5*j + 3*d = 12. Suppose -4*y = -y - 3*i - 3, -6 = -j*i. Suppose 0 = -5*v - y - 12. Is v greater than or equal to -1?
False
Let u be 6/(-4)*(-2)/15. Do u and 10 have different values?
True
Let z(x) = 2*x**2 + 3*x + 1. Let g be z(3). Is g at least 28?
True
Let f = -320 + 2244/7. Do -0.3 and f have different values?
True
Suppose 0 = -0*v - 5*v. Suppose 3*s = -v*s + 3. Let h(f) = -f**3 - f**2 + f. Let b be h(s). Is b <= -4/3?
False
Let m(p) = -p**3 - 3*p**2 - p - 1. Let g be (8/4)/((-4)/6). Let y be m(g). Suppose -5*d + t + y - 9 = 0, 0 = -d - t + 1. Is d <= -2/11?
True
Suppose 5 = 3*p - 40. Let w = 9 - p. Do w and -6 have the same value?
True
Suppose 4*q + 3*b = 1, -5*q + 2 + 3 = 3*b. Let l = -5 + q. Which is bigger: l or 2/11?
2/11
Suppose 0 = -j - 3*j + 2*k + 40, j - 5 = -2*k. Is j >= 8?
True
Let y = 37.3 - 39. Let r = y + 1.5. Which is smaller: 1 or r?
r
Let i = 77 - 37. Is i greater than 40?
False
Let h be (3/6)/(2/(-16)). Suppose -4*c = 12, -4*d + 4*c + 27 = -7*d. Let z(l) = 2*l + 7. Let y be z(d). Which is smaller: h or y?
h
Let d be 27/(-36) - 26/(-24). Is 0.1 < d?
True
Let h(t) = t**3 - 9*t**2 + 9*t - 1. Let v be h(8). Let o be -3 + v + (-73)/18. Is -1 greater than o?
False
Let p(x) = -2*x + 9. Let t be p(7). Let o = -5 - t. Let j be -1 + (-1 - 10/(-6)). Which is greater: j or o?
o
Let r be -1*(0 - 3)/3. Suppose a = x - 0*a - 4, -4*x + 2 = 3*a. Which is bigger: x or r?
x
Let n(x) = -x**3 + 5. Let a be n(0). Suppose 0 = 4*w - 7*w + 12. Which is smaller: w or a?
w
Let s = -5 - 0. Let m be 4/(-10) + 3/s. Do m and -2 have the same value?
False
Let y(a) = 4*a - 45. Let m be y(11). Which is smaller: m or -5/21?
m
Let p be ((-9)/6*-1)/(18/24). Is 19 not equal to p?
True
Let x(w) = w**2 - 6*w - 8. Let n be x(7). Which is greater: n or 1/46?
1/46
Let b = 2.13 + 0.17. Let w = 0.3 - b. Which is smaller: 2/5 or w?
w
Let q be ((-5)/5)/(-2 - -1). Suppose -f = -1 - q. Let n be (f/(-4))/((-1)/2). Which is greater: 3/5 or n?
n
Suppose 2*y = p - 3*y - 24, 2*p = -2*y - 12. Let j be 3*(-2 - (-1 - 0)). Which is bigger: p or j?
p
Let z = -82 - -81. Are z and 2/173 equal?
False
Let l(t) be the third derivative of -t**5/60 - t**4/8 + 2*t**3/3 - t**2. Let o be l(-3). Suppose 5*f = 15 - 5. Is o != f?
True
Let r(l) = -5*l**2 + l + 5. Let v(b) = 3*b**2 - b - 3. Let a(t) = -4*r(t) - 7*v(t). Let w be a(4). Is -3 at most w?
True
Let v = 145 - 131. Let r(k) = -k**2 + 8*k + 2. Let f be r(6). Is v less than f?
False
Let r = 12 - 7. Suppose r*i + 5 - 20 = 0. Suppose 0 = i*w + 3 - 0. Which is smaller: -2/3 or w?
w
Suppose 0 = 4*c + 7 + 5. Is -0.1 > c?
True
Let x(t) = -t**3 - t**2 + t + 1. Let a be x(-2). Suppose -3*d + 5*j - 10 = 0, -2*j = -d - 0*j - 4. Suppose a*i = -d*i + 6. Is 2 < i?
False
Let s be (-2)/10 + (-62)/(-10). Suppose -p + s = -1. Is 6 greater than p?
False
Let o be (-336)/(-42) + -4 + -1. Are 0.29 and o non-equal?
True
Let i be (2 - 0) + 52/(-32). Is 0 != i?
True
Suppose 0*s = s + 20. Which is greater: -19 or s?
-19
Suppose -11 = -q + 4*q + 5*w, 51 = -3*q + 3*w. Let g = 12 + q. Is g smaller than -1?
False
Suppose -o = -3*x - 14, 2*o - x = -2*o + 12. Let m = 73 + -72. Is o less than or equal to m?
False
Let a be (-20)/(-8)*(5 - 3). Which is smaller: a or 3?
3
Let k be 4/(-8)*55/1. Let g be (-3)/((-3)/(-26)) + -1. Let y = k - g. Is y less than 3?
True
Let i be (-13)/((-429)/213) - 7/1. Let a be (-14)/8 - (-1)/(-4). Which is greater: a or i?
i
Let b = -2 - 2. Are -4 and b equal?
True
Let r = -1.5 + -6.5. Which is smaller: r or -1?
r
Let t = -6 + 7. Suppose 3*x + t + 4 = -f, 3*x - f = 5. Is 1 greater than x?
True
Let f be 8 - 3/((-12)/(-8)). Let x be 46/(-22) - (4 - f). Is x bigger than 1?
False
Let l be (-6)/33*(-3)/4. Let r = 13/66 + l. Are r and -1/3 non-equal?
True
Suppose -5*l - 79 + 14 = -2*d, 0 = 3*l - d + 39. Let t = 16 + l. Suppose 2*i + 0*i - 4*f = 22, -5*i = 4*f + 1. Is t less than i?
False
Let c = 153/2 - 78. Is c > -2?
True
Let j = -1/41 + -73/369. Let x = 2 - 2. Suppose x = 4*r - r - 3. Which is bigger: j or r?
r
Let a = 6.9 - 7. Which is smaller: a or 10/3?
a
Let s be (-2)/(-4)*(-74 + -8). Let g = s + 201/5. Is 0 at least g?
True
Let h be 2/(-12) + 472/(-48). Is h at most -10?
True
Suppose -2*g + 3*g + 5*c - 9 = 0, 27 = -3*g + 3*c. Let y be (2/g)/((-147)/(-18)). Is y greater than 0?
False
Suppose 3*d = -0*d. Let k = -38/45 + 4/9. Is k greater than d?
False
Let o be (-10601)/22*2 - -2. Let i = o + 961. Which is smaller: i or -2?
-2
Let l be (0/(-2))/(2/(-1)). Let o = l + 1. Let d be ((-4)/6)/(o*-2). Is -1 at most d?
True
Let w be (-158)/(-14) - (-2)/(-7). Let d(o) be the second derivative of -o**3/6 + 4*o**2 + 3*o. Let j be d(w). Is j at most -3?
True
Let n = -3273 - -140733/43. Which is smaller: 1 or n?
n
Suppose -9 = -5*k + 11. Suppose -2*n = -6 - k. Suppose o + 0*o = 4*d + 4, -4*o + 5*d = -n. Are -2 and o nonequal?
True
Suppose a - 10 = -p, -p + 0 = -3*a +