 -1 equal to m?
True
Suppose -3*z = -5*i - 0 - 6, 5*i = -3*z + 6. Suppose j = -j - z. Is j greater than -1?
False
Let r(z) = 2*z - 2. Let f(m) = m**2 + m - 1. Let n(j) = 6*f(j) - 3*r(j). Let k be n(1). Let w = k + -6. Is -1 <= w?
True
Let n(s) = -4*s + 43. Let w be n(14). Let x(j) = -j**2 + 5*j - 7. Let t be x(6). Is t at least as big as w?
True
Suppose 4*c = 4, 3*x + 4 = 3*c - 2*c. Suppose -5*i + 8 = -4*p - 2, 5*i = -4*p - 30. Let l be 25/(-15)*i/(-5). Do x and l have different values?
True
Let k = 3.7 + 0.3. Let u = -4.03 + k. Let r = 0.03 + u. Do 0 and r have the same value?
True
Let a be (-7586)/(12/(-16)*-18). Let l = a - -562. Which is smaller: 0 or l?
0
Let u = -20 + 11. Let w = u - -8. Which is greater: w or -2/9?
-2/9
Let t be (-8)/(-12)*45/6. Suppose -7*n = -2*n - t. Let k be 2/(-3)*6/(-4). Is n at most k?
True
Let c be -1 + -1*((-56)/(-29) - 3). Which is bigger: c or 2?
2
Let l = 9 - -11. Is l at most 20?
True
Let g = 9 - 13. Let k be 2 + (g - 0/(-1)). Let z be 7 + -12 + (-22)/(-5). Which is smaller: z or k?
k
Suppose 0 = 3*z - 4*z + 1. Suppose 14 = 5*h + 2*h. Suppose 0*x + 3*l - 1 = -4*x, -z = h*x + 3*l. Which is smaller: x or 2?
x
Suppose -2*o + 8 = -36. Is 21 equal to o?
False
Suppose j + 4*j - 20 = 0. Suppose 5*l - c = -23 + 6, -j*l - 2*c = 8. Is l != -1?
True
Let b = 3 + 21. Are b and 24 nonequal?
False
Suppose 11*u - 476 = -3*u. Is u at most 36?
True
Let r = -128 - -88. Which is smaller: 1/2 or r?
r
Let z = 0.71 + -0.66. Which is bigger: 5 or z?
5
Suppose -2*u = 4*a + 26, 4*a + 17 - 5 = 0. Let m be 3 - (1 + -4 - u). Which is greater: -1/14 or m?
-1/14
Suppose -11 = 2*s + 3*s + 4*t, 0 = -s + t + 5. Which is smaller: s or -3/8?
-3/8
Suppose 6*z = 4*z. Let y be 0 + 0 + (-8)/(-12). Are z and y equal?
False
Suppose -3*i - 25 = 5*l - 2*i, -i - 1 = l. Which is bigger: l or -8?
l
Let n = -9.77 - -4.84. Let s = -0.07 + n. Are 2/9 and s equal?
False
Let r be (-252)/(-8) + 4/(-8). Suppose 0 = -3*h - 14 - r. Which is smaller: h or -14?
h
Let g be 4/2 - 8/5. Suppose 6*i = i. Which is bigger: g or i?
g
Let m = -44 - -45. Which is bigger: m or -6/41?
m
Suppose -d - 3*w = -5 - 11, -d + 26 = 5*w. Let f be 0 - d - -1 - -1. Let g be -2 + 568/220 - (-6)/(-33). Which is bigger: g or f?
f
Suppose -11 = -4*q + 5. Suppose x + 3 + 2 = q*h, -2*x = -h + 10. Suppose 4*f + 3*k + h*k = 0, 0 = -4*k + 16. Which is smaller: f or -2?
f
Let y(d) = d**2 - 5*d + 1. Suppose -i = -4*a + 25, 0 = -5*a + i + 3*i + 45. Let p be y(a). Which is greater: 2/13 or p?
p
Let p = 1.172 - -0.078. Does -1 = p?
False
Let i(x) be the third derivative of 2*x**4/3 + 7*x**3/6 - 2*x**2. Let o be i(-5). Let l = o + 363/5. Which is smaller: -1 or l?
-1
Let n(x) = x**2 + 4*x - 7. Let g be n(-6). Suppose 3*b - g*b = -2. Is b greater than -1/12?
True
Let s = -1.2 + -0.8. Which is greater: s or 0.2?
0.2
Let x(q) = 2*q**2 - 7*q + 5. Let a be x(2). Suppose -3*p = 3, 5*c = 4*p - 3*p + 56. Do c and a have different values?
True
Let n = 91 - 47. Let w = n - 130/3. Is 2 >= w?
True
Let u be -6*4/(12*1). Let b be 20/14 + 2/u. Which is smaller: b or 1?
b
Let x be 1/1 - (-1 - -1). Let f = -1249/10 - -125. Let w = 17/20 - f. Is w greater than or equal to x?
False
Suppose 0*c + 5*c = 0. Suppose -7*y + 14 = -0*y. Let f = y + -5. Are f and c equal?
False
Suppose -57 + 219 = -9*q. Is -18 bigger than q?
False
Let v be (46/42 - 1)/(-15 - -13). Which is smaller: v or 0?
v
Let u = -172/33 + 14/3. Is -1 < u?
True
Let n = -34 - -22. Let r = -12 - 1. Is r > n?
False
Let q(u) = 2*u - 1. Suppose h = 2*h + 5, 2*c - 5*h = 27. Let j be q(c). Which is bigger: 1/5 or j?
j
Let c = -158 + 155. Let j(z) = z - 1. Let m be j(0). Which is bigger: m or c?
m
Let g = 9.1 + -1.1. Let q = -7 + g. Is -2/7 < q?
True
Let a = 57 + -38. Let t = -206/11 + a. Is t greater than 1?
False
Let n(t) = t**3 + 6*t**2 - 9*t - 10. Let j be n(-7). Let b be (-160)/(-88) - 2/(-11). Suppose -3*z + 15 = b*z. Is j less than or equal to z?
False
Let a = 59925 + -659639/11. Let i = a + 42. Suppose 2 = 5*x - q, 0*x = -3*x + 5*q + 10. Is i > x?
False
Let g be 1/(2 - (-21)/(-11)). Suppose -4*p + 5*m = -g, m + 5 = -p - p. Which is bigger: 2/9 or p?
2/9
Let y(a) = a - 6. Let o be y(14). Let p be 2/o - (-322)/56. Is 4 bigger than p?
False
Let s = -12 + 28. Let f = 14 - s. Which is greater: f or -1/2?
-1/2
Let i be (-10)/14 + -2*4/28. Which is smaller: i or -4/83?
i
Let d be -4*3/12*-1. Let p = -1 + 0. Let r be (-8)/(-18)*p/2. Does d = r?
False
Let n = 3/74 + -465/518. Which is greater: -1 or n?
n
Let a = 0.3 + -0.2. Let q(j) = -2*j**2 - 25*j - 20. Let n be q(-12). Which is greater: n or a?
a
Let i be (2/(-4))/((-5)/80). Let m = 8 - i. Is m greater than or equal to -2?
True
Let c = -49778 - -447040/9. Let b be 638/(-6) - (-4)/(-6). Let n = b - c. Which is greater: 0 or n?
0
Suppose -4 = -b - 1. Suppose -b*q + 5 = -2*p + 3, 0 = -4*q. Do p and 2/5 have the same value?
False
Suppose -j - 1 = t, 4*j + 5 = -t + 2*j. Let u = 16 - 8. Suppose u*a - 3*a = -w - 2, t = w. Are -1 and a nonequal?
False
Let t(h) = h**2 + 11*h + 23. Let p be t(-6). Is -7 greater than or equal to p?
True
Let h(y) = y**2 + y. Let b be h(3). Let o = -12 + b. Which is bigger: -1/9 or o?
o
Let x = -488/493 + 18/17. Is x equal to 1?
False
Let f = -22 - -33.1. Let r = f - 11. Is 0 greater than or equal to r?
False
Let v be ((-3)/(-4))/((-4)/16). Let l = v + 2. Is -1 != l?
False
Let k be ((-323)/(-4))/(9/6). Suppose 3*l = 6*l - 162. Let s = l - k. Is 3/2 != s?
True
Let k = -94 + 847/9. Which is smaller: 1 or k?
k
Let n = -31 - -30. Let y(d) = d**2 - d - 2. Let a be y(2). Which is smaller: n or a?
n
Let a be (0 - (0 + -3)) + 10. Suppose -a*c = -8*c. Suppose -9 + c = 3*s. Is s < -2?
True
Let j(t) = -5*t**3 + t + 1. Let k be j(-1). Suppose d + 0 = 4*o + 8, 3*o + k*d = 17. Let b = -121 + 967/8. Which is smaller: b or o?
o
Let s(n) = n - 7. Let t be s(5). Let l be (28/(-6))/(t/3). Suppose l*g - 5 = 2*g. Do 1 and g have the same value?
True
Let y = -125 + 124.96. Let v be (1 + 1 - 3)*1. Which is smaller: v or y?
v
Let o = 61/3 + -20. Which is greater: o or 1/7?
o
Suppose 15*s + 12 = 16*s. Is 11 < s?
True
Let i = -123 + 406. Let n = 281.01 - i. Let f = n - 0.01. Which is smaller: f or -1?
f
Suppose 5*l - l = 20. Let w(t) = t**3 - 5*t**2 + t + 1. Let z be w(l). Are z and 5 unequal?
True
Let d be 4*1*6/(-8). Let f(m) = m**2 + 5*m + 2. Let j be f(-4). Is d at most as big as j?
True
Let h be 3 + (-1288)/214 + 3 + 0. Which is bigger: 0 or h?
0
Let h = 16 + -32. Let k = -20 - h. Is -1/4 at least as big as k?
True
Let l = -3.4 + 0.4. Let v = l - -1. Let s = v - 0. Is s at most 1?
True
Let t(m) = m + 1. Let l be 0/3*1/(-2). Let y be t(l). Is -2 > y?
False
Let u(o) = -92*o + 1. Let c be u(-2). Let h = -1293/7 + c. Suppose 0 = 5*m + i + 3*i + 13, 2*m - 8 = 5*i. Do m and h have different values?
True
Suppose k = 5*k - 16. Suppose 3*q + 1 = 3*c + 5*q, 3*c - q = k. Which is smaller: c or -11?
-11
Let f be (-4)/(-18)*(-2 - 1). Suppose 3*k + 24 = -0*k. Let a be ((-1)/(-2))/(3/k). Is a <= f?
True
Suppose z - 3*z + 64 = 0. Suppose z = 4*h - 3*n, 3*h - 1 = 2*h - n. Suppose 0 = 6*l - l - h. Is 0 bigger than l?
False
Let q be ((-4)/(-3)*(-180)/24)/(-1). Which is greater: q or 11?
11
Let v = 9 - 3. Let y = -11 + 21. Let p = v - y. Are -4 and p non-equal?
False
Let p = 15 - 13. Suppose -4*s + 5*s = i, p = s. Let z be -3 + 6 - (3 - 1). Are i and z unequal?
True
Suppose -494 - 622 = 4*k. Let j = 2235/8 + k. Is 0 bigger than j?
False
Let h(r) = 3*r + 9. Let v be h(3). Which is bigger: v or 1?
v
Let n = 3 + -2. Let f(v) = -v**2 + 2*v - 1. Let z be f(n). Is 0 smaller than z?
False
Let v = 0 - -3. Suppose 5 - 2 = -v*m. Let c = 0 - 1. Is c != m?
False
Let w(n) = -11*n + 48. Let t be w(-7). Is t < 125?
False
Let p be 4/(-18) + (-110)/(-9). Suppose 0 = -4*h + 4*g, 5*h + 2*g = -p - 2. Let k = h + 2. Which is bigger: k or -3/4?
k
Suppose -6*f + 5 = -f. Is f at most as big as 2/21?
False
Let s be ((-2)/4)/((-2)/(-28)). Let a = s + 5. Suppose -3*w + 4*f - 4 = w, -4 = 4*w + 3*f. Are a and w unequal?
True
Suppose 3*q - 23 - 1 = -s, 5*s = 3*q - 24. Let k(f) = -f**3 + 9*f**2 - 7*f - 5. Let d be k(q). Suppose 0*h + d*h = 0. Which is smaller: -1 or h?
-1
Let d = -2.2 + -8.8. Let j = d - -7. Let h = 2 + j. Is -1 at least as big as h?
True
Sup