 -2 < c?
True
Suppose -m + 18 = -3*k, -5*k - 48 + 18 = -3*m. Let v = 19 - 25. Do v and k have the same value?
True
Let m = -2 + 10. Let l = m - 7.9. Is 0 <= l?
True
Let r = 43176313/28242 - 5871/1046. Let l = -1523 + r. Let m = -1/27 - l. Which is smaller: 1 or m?
m
Let x be 4/8 + 14/4. Suppose x*d - 1 = 3. Let o = -1 + 2. Is d smaller than o?
False
Let l = -23 + -3. Let y be (-2)/4*218/4. Let q = l - y. Which is bigger: 0 or q?
q
Suppose -5*w + 0*w + 40 = 0. Which is smaller: w or 11?
w
Let n = -358 + 3935/11. Let a = -2.1 + 2. Which is bigger: n or a?
a
Suppose -7*x - 60 = -4*x. Let f = x + 538/27. Are -1 and f nonequal?
True
Let p = 1 + 4. Suppose 4*r + 7 = -p. Let s be r/18 - 14/(-12). Which is smaller: s or 2/13?
2/13
Let o be 7 - (-2 - (2 - 6)). Is o at least as big as 5?
True
Let f be 4 + -1 + (-3495)/(-105). Let c = -36 + f. Suppose 4*s - 3 = 3*s. Which is smaller: c or s?
c
Suppose -5*z + 2*z = 0. Suppose 4*r + r = z. Which is bigger: r or 1/5?
1/5
Let n(d) = d**3 - 7*d**2 - 7*d + 4. Let g be n(8). Suppose -2*u = u - g. Suppose -7*f - 12 = 5*t - u*f, -4*f = -5*t + 16. Is t at least -3/5?
True
Let w = 0.026 - -0.974. Let j = 0.2 - 0.1. Is w not equal to j?
True
Let x be ((-2574)/1284 - (-2)/1)*2. Is 1 at most x?
False
Let c = -1 - -1. Is c smaller than -2?
False
Let u(q) = -q**2 + 6*q - 4. Let o be u(6). Suppose g - 2*a + 4*a - 4 = 0, 4*g - a + 20 = 0. Is g less than or equal to o?
True
Let k(c) be the second derivative of 3*c**5/20 - c. Let a(s) = s**3 + s + 1. Let n(h) = -a(h) + k(h). Let j be n(-1). Is j greater than or equal to -1/2?
False
Let b be 6/12*(-4)/(-2). Let x = -7 + 4. Let j be b/(-1)*(x - -3). Is 0 smaller than j?
False
Suppose 2*y - 5*y = 3. Let t = 109 - 61. Let x be -1 + 3 + t/(-22). Which is greater: x or y?
x
Let q = 177 + -182. Which is smaller: 1 or q?
q
Let z be (-185)/(-825) - 6/45. Let u = 0 - 1. Which is smaller: u or z?
u
Let c(h) = -69*h**3 + h**2 - 4*h + 2. Let l be c(1). Which is smaller: l or -71?
-71
Let x = 9 + -7. Suppose x = a - 0. Which is smaller: 1 or a?
1
Suppose 0 = 16*l + 3*l + 2432. Which is smaller: l or -129?
-129
Let k = 11/2 + -6. Which is smaller: k or -1?
-1
Suppose 0 = 2*t - 2, -2*g + 2*t = 3*t - 7. Suppose -j - 3 = g*m + 3, -m - 22 = -3*j. Is j smaller than 6?
False
Suppose 4*l + 2*o = 56, -4*o = -0 - 8. Suppose 5*x - 11 = z + l, -3*z - 5*x + 8 = 0. Which is bigger: -2/5 or z?
-2/5
Let h be ((-40)/30)/((-1)/3). Suppose 0*v - 5*v = h*u - 32, -3*v - 4*u = -24. Which is smaller: 5/2 or v?
5/2
Suppose f = 6*f - 40. Which is smaller: 10 or f?
f
Let t = 0.45 - 0.35. Is t less than -2.4?
False
Let h = -0.3 + 0.32. Let f = 1.02 - h. Is f > -0.1?
True
Suppose -5*s = -0*s. Suppose 0 = 2*c - 3*h + 14, 2*c = -4*h - s*h. Do c and -4 have different values?
False
Let w = -6 + 7. Which is smaller: w or -1/3?
-1/3
Let n = 1 - 0. Let b be 56/171 - (-26)/(-117). Is b bigger than n?
False
Let y = -3454 + 480108/139. Let d = -149/695 + y. Are d and 0 equal?
False
Suppose -i + 4*i + 3 = 0. Let b = i + 4. Let u(f) = f**2 - 8*f - 6. Let d be u(9). Is b > d?
False
Let i = 6 - 4. Suppose -4*v + 2*r = i, -2*v = -0*r + 3*r + 5. Suppose -22*f + 20*f + 2 = 0. Is v at most as big as f?
True
Let v = -497 + 283. Let t be (v + -4)*1/(-2). Let r = t + -543/5. Which is greater: r or -1/3?
r
Let v(p) = -5*p + p**2 + 1 + 0*p - 8. Let z be v(6). Do 2/13 and z have the same value?
False
Let c = -590718577/715 + 826180. Let o = c - 1/55. Is 1 equal to o?
False
Suppose 2*j + 8 = 4. Let t be j - (195/12)/(-5). Let c(x) = -x - 7. Let g be c(-7). Is g <= t?
True
Let z(w) = w**3 - 8*w**2 + 12*w. Suppose -2*a - y = 2*a - 27, -5*a + 45 = 5*y. Let v be z(a). Is v <= -2/39?
False
Let r = -38 - -37. Which is greater: -6 or r?
r
Suppose -4*j - 25 = -1. Which is greater: j or -7?
j
Suppose 3*k + 3*l = -18, 4*k + 5*l + 23 = -6. Let j be 1 - 1 - (1 - -1). Which is greater: j or k?
k
Let h = 46 + -45. Which is bigger: 16 or h?
16
Let l = -6 - -5. Let c be l/(-4) - (-105)/28. Are c and 4 non-equal?
False
Let f(h) = -1 + 16*h - 9*h + 5*h**2 - h**3 - 8 + h**2. Let l be f(7). Let o = 1 - 9. Is l != o?
True
Suppose 0 = f - 5*f + 132. Which is bigger: f or 34?
34
Suppose -7 + 1 = -3*i. Suppose 2*f + 3*f - x = 12, -i*x = 5*f - 6. Suppose f = 2*z, -z = -4*v - 0*v - 17. Is v at most as big as -3?
True
Suppose 31 = -3*o - 2*o - 4*g, -o + 5 = -2*g. Let j(l) = -l - 6. Let q be j(o). Which is greater: q or -3/2?
-3/2
Suppose -229 = 5*m - 0*k + 3*k, 3*k - 6 = 0. Let l be m/220 + 10/(-25). Let b = -4/11 - l. Which is smaller: 5 or b?
b
Let x = -10 + 7. Let q = x + 2. Let a be (-6)/(-27) - (-40)/(-585). Is a >= q?
True
Suppose -2*k + 4 = -4. Let o(j) = -j + 7. Let s be o(k). Is s > 3?
False
Let h be (-31)/(-15) - ((-24)/15 + 2). Which is smaller: h or 2?
h
Suppose 14 = -5*p + x + 20, 2*p + 3*x = -1. Let r(u) = u - 6. Let t be r(6). Which is smaller: t or p?
t
Let k = -10/9 + -2/9. Let z(p) = -p**3 - 6*p**2 + 9*p + 8. Let j be z(-7). Let c = 4 + j. Does c = k?
False
Let o = 2/89 + -97/356. Let v = -0.252 - 1.768. Let q = -0.02 - v. Which is bigger: o or q?
q
Suppose 2*k - 3 = k. Suppose 2*s = k*s. Do 0 and s have different values?
False
Let t = 32 - 30. Which is smaller: t or -0.09?
-0.09
Suppose -3*z + 29 = 3*o - 8*z, 4*o = -4*z - 4. Suppose -l - o*l = -32. Suppose -4*s = l, 4*b = 2*s - 4*s + 8. Is 3 < b?
False
Let n(h) = 6*h + 87. Let y be n(-14). Let f be ((-1)/2)/(1/(-8)). Which is smaller: y or f?
y
Let z = 65/2 + -33. Is -24/5 at most as big as z?
True
Suppose -1 - 3 = 4*y. Suppose -7*k = -3*k - 8. Is k bigger than y?
True
Suppose -4*j - 13 = -5*b, 0 = 3*b - 3*j - 0 - 9. Let r be (-4)/2 - 240/(-115). Which is smaller: b or r?
r
Let o = -209 + 1445/7. Do o and -2 have different values?
True
Suppose -2*k - 55 - 33 = 0. Is k at least as big as -2/5?
False
Suppose s - 1 = 4. Suppose 3*y + 5*h = 8*y, 2*y = -s*h. Is y smaller than -1?
False
Suppose -5*s = -2*s - 123. Let v = s + -163/4. Let u(w) = w**3 - w**2 - 3*w + 2. Let h be u(2). Do h and v have the same value?
False
Let j be 2/(-8) - 24/32. Is j smaller than -1?
False
Let c = 0 + 5. Let v = c - 6. Is -0.3 < v?
False
Let m(t) = 3*t**2 - 6*t + 7. Let c be m(3). Suppose 2*l + 3 = 4*y + 5, 0 = -y - 5*l + c. Which is smaller: y or 1/2?
1/2
Suppose -5*n - y = 157, 3*n + 10*y - 5*y + 103 = 0. Which is smaller: n or -30?
n
Let x = 11 + -16. Are x and -5 equal?
True
Suppose -r = -3*r + 34. Suppose -2*y - 1 = -4*f - 21, 0 = -3*f + y - r. Is -6 at least as big as f?
True
Let i(v) = -v**3 - v**2 + 6*v - 1. Let s be i(-3). Let x be (-1)/(-4) - (-47)/4. Suppose -4*h - d = 0, 3*h - x = 4*d + 7. Which is bigger: s or h?
h
Let g = 728 + -91711/126. Let y = 2/63 + g. Which is greater: y or 1/3?
1/3
Let v(b) = -3*b**2 + 4*b**3 - 4 - 3*b**3 + 0 - 3*b + 0*b**2. Let j be v(4). Let c = -2 + 1. Which is smaller: j or c?
c
Let c = -381/4 + 96. Are -1/2 and c equal?
False
Let f = -14 - 1. Is f < -14?
True
Let f(l) = -l**2 - 4*l - 3. Let p be f(-4). Let j = -6 + 11. Suppose 3*o - 6 = -4*b, -j*b - 1 + 16 = 0. Which is smaller: p or o?
p
Let d be ((-4)/5)/(4/30). Let c be (-2)/2 - (d - -4). Which is smaller: 7/6 or c?
c
Let b be (-36)/(-126) - (-2)/(-7). Which is smaller: b or -6/35?
-6/35
Let y = -161 - -161. Let t be 0 - -1 - (-66)/(-69). Which is smaller: y or t?
y
Let s = -426 - -426. Let q be (2*-1)/(11*-3). Which is smaller: q or s?
s
Suppose -2*u - 3 = -3*u. Suppose -4 = u*z + 2. Let r = 2 + -4. Is r greater than z?
False
Let f be (9/4 - 2)/1. Let b = 2.8 - 1.8. Let a = -2 + b. Which is smaller: a or f?
a
Let r = 4.9 + 0.1. Let h = r - 4.9. Is h != 1?
True
Let q = -1 + 12. Let p = q - 10. Let a be (-4)/(-6) + 1 - 2. Do p and a have different values?
True
Suppose -4*c + s - 128 = 0, 21 = -3*c + 2*c + 3*s. Which is smaller: c or -32?
c
Let x be -4 - 0 - 730/(-185). Which is bigger: x or -1?
x
Let s(v) = -v + 9. Let d = -6 + 8. Suppose 3*z = -3*g + 21, 0*z = 5*z - d*g - 35. Let q be s(z). Are 2/3 and q unequal?
True
Let u be -104 + -2 + 7 + -9. Let r = u + 534/5. Which is smaller: r or -2?
-2
Let z be (-1 - 0/(-1)) + 4. Let p = -3 + z. Which is greater: 1 or p?
1
Let z = 3.1 - 1.1. Is z at least 3/2?
True
Let f be (-18)/(-5)*111/6. Let j = -67 + f. Let a be 9/6*(-6)/(-9). Which is greater: j or a?
a
Let w(m) be the third