-1?
True
Suppose 3*t + 41 = -49. Let c be t/12*(-2)/(-20). Which is smaller: 0.5 or c?
c
Let p = -418/9 + 12104/261. Let f be (2 + 8/(-5))*-5. Let i = 1 + f. Which is bigger: i or p?
p
Suppose j = -5*f - 1, -3*j - 2*j - 5 = -f. Which is greater: f or -5/8?
f
Let m be (-14)/(-6) - 1/3. Suppose 2*d = 4*i - m*d + 12, 4*i + d = -12. Suppose 3*w + 18 = -3*f - 0, -4*w + 11 = -3*f. Is w > i?
True
Let u(w) be the second derivative of -w**3/6 + 7*w**2/2 - w. Suppose r - t = 5*r - 24, 4*t + 16 = 0. Let h be u(r). Is 3/5 at least h?
True
Let y = 29 + -40. Which is smaller: y or -4/5?
y
Let o = 23/32 + -961/1248. Which is smaller: 1 or o?
o
Suppose 0 = -3*c - 3*x + 108, -2*c = 3*x - 101 + 33. Suppose c = -4*y + 12. Let q be 2/(-6)*y/7. Is q > 0?
True
Let d(m) = m**3 - 5*m**2 + 4*m - 1. Let o be d(4). Let w = 678/5 + -136. Which is smaller: w or o?
o
Suppose -4*a + 3*i = -9, 5*a = a + 4*i + 8. Suppose -a*g - 3 = 2*g - 2*w, -3*w = -5*g - 2. Which is smaller: g or 3/14?
g
Let q = 23 - 14. Let n = 0 + -0.1. Which is smaller: n or q?
n
Suppose -1 = -g + 1. Let r be -1 + 1846/614 - g. Let y = -1543/1228 + r. Is 0 greater than y?
True
Let w = -5.1 - -0.1. Let o = w - -7. Let c = 3 - o. Are c and 0.4 equal?
False
Let s = 3 + -4. Let i = s - -0.9. Is i > 2/13?
False
Suppose 15 = -2*f - 0*f + m, 4*m + 12 = -4*f. Let z = f + 33/5. Which is smaller: z or 2?
z
Let d be 12/81*15/(-10). Are d and 0 nonequal?
True
Suppose -2 = 3*x - 8. Let y(k) be the third derivative of -k**5/60 + k**4/8 - k**3/3 + k**2. Let q be y(x). Are 0 and q equal?
True
Suppose 3*t - 3*w = -2 - 7, 2*w - 7 = 3*t. Which is smaller: 1 or t?
t
Let j be 4/3 - (-1)/4. Let a = j + -5/4. Are a and 3 non-equal?
True
Let l = 555/4 + -653/4. Suppose -5*h + 55 = -70. Let i = l + h. Which is greater: 2 or i?
2
Let d be 9/2*2/(-12). Suppose -1 + 5 = -4*n. Which is bigger: n or d?
d
Let g be 3 - 1 - (-8)/(-3). Let j(v) = v**3 + 15*v**2 + 13*v - 15. Suppose i - 5*d + 34 = -0*i, -4*i - 60 = -d. Let s be j(i). Which is smaller: g or s?
s
Let h = -14 + 14. Let l be 0 + (1 + h - 6). Which is smaller: l or -4?
l
Let z be 1 - 0 - (-99)/(-9). Let j = -24 - z. Which is smaller: -13 or j?
j
Let w be 56/20 - 1/(-5). Let m be (-1)/((w + 0)/(-3)). Do -1/3 and m have different values?
True
Let u = 322 - 4182/13. Are 0 and u nonequal?
True
Let d be ((-16)/60)/((-68)/(-10)). Do -1 and d have the same value?
False
Suppose -5*f + 2 + 3 = 0. Is 1/2 at least as big as f?
False
Let q = -9 - -21. Let n = -13 + q. Is n at least -1/14?
False
Let q = -9 + 4. Let m = -3 - q. Which is smaller: m or -2/9?
-2/9
Suppose 0 = -2*l + 2, 0*l = 3*k + 4*l - 10. Let s be k/(-5) - (-198)/45. Which is bigger: s or 2?
s
Let r = 3 - 2. Let t = 8 - 10. Which is greater: r or t?
r
Let x = -3 + 3.2. Let o = 2 - 2. Which is smaller: o or x?
o
Suppose 0 = -5*q + 7 + 13. Let t be 0 + 2 + -2 + 2. Suppose t = 2*j - 6. Is q != j?
False
Suppose 3*g = 5*i + 12, -5*i - 5*g + 29 = 9. Let m be 0/((-1 - i) + 2). Suppose -20 = 5*q - u + 6*u, 0 = 5*q - u + 2. Which is greater: q or m?
m
Let k = 0.14 + -0.2. Is k greater than 0?
False
Suppose 0*n + 5*n - 10 = 0. Let r = 3 - n. Let w be (-2)/(r*(-1 + 0)). Is 2 smaller than w?
False
Suppose -6 = -t - 5*y + 4, -3*t - 2 = -y. Suppose 4*s + 2*r - 4*r + 14 = 0, s + 5*r - 24 = t. Which is bigger: 1/28 or s?
1/28
Let p = -1.9 + 14.9. Is 0 equal to p?
False
Let q(l) = -l**3 - 5*l**2 + l + 5. Suppose -2*k = 1 + 5, 5*k = w - 10. Let s be q(w). Is s smaller than -2/13?
False
Let p = -82 - -172. Suppose -2*w - 3*w - p = 0. Let a be 0 - (w/3 - -2). Is 3 at least a?
False
Suppose 4*p + 48 + 48 = -m, 3*p + 5*m + 89 = 0. Suppose 0 = -5*c - 2*f - 114, c = 5*c + 2*f + 92. Which is bigger: p or c?
c
Let x = 0.063 - -2.857. Let d = 0.08 + x. Is d < -2?
False
Suppose -4*m + 5 = -15. Let x be (-6)/(1*6/(-4)). Let s be x + (4*-1)/(-2). Is m less than s?
True
Let l(n) = 5*n. Let v be l(-1). Which is smaller: -6 or v?
-6
Let v = -2 - -5. Suppose 2*y - 1 = v. Suppose -2*n + 2 = 2*a, -17 = -y*a - 3*a - n. Is a at most as big as 3?
False
Let y = -21 + 8. Which is smaller: y or -14?
-14
Let f be (-100)/12 + 5 + 1*4. Which is smaller: f or 3/2?
f
Let j = -7/354 + 2299/8850. Is j > -1?
True
Let m = -0.08 - 15.92. Let w = -15.9 - m. Is -1.1 at most as big as w?
True
Suppose 0*l = -3*l. Let b(a) = a + 2. Let m be b(3). Suppose 0 = -5*o + 5, m*o + 15 = 5*u - l*o. Is u at most as big as 3?
False
Let p be 51/(-70) - (-3)/6. Let m = p - -11/70. Let o = -15 - -16. Which is bigger: o or m?
o
Let z be (6 - 5)/(9/6). Is 2 greater than or equal to z?
True
Let q = -1.9 + 1.8. Is q >= 1/8?
False
Let n be 1*-8 - 0/5. Let i(q) = -q**3 - 8*q**2 - 1. Let t be i(n). Is t > -1?
False
Let q = 18.2 - -0.8. Let z = 21 - q. Let w = -0.1 - -0.1. Is w <= z?
True
Let a = 19 + -20. Is a greater than 1/29?
False
Let v be (-3)/(-18) + 57/(-2862). Let y be 2/(-7) + (-402)/(-1113). Let x = v + y. Which is greater: x or 1?
1
Let b be (-16 + 18)*2/(-16). Is 1 smaller than b?
False
Let a = 8 + -4. Suppose -2*n - 4*d = 24, -2*n - a*d - 19 = -d. Which is bigger: n or -1/4?
-1/4
Let p be (-2)/6 - 2/(-6). Suppose -4 = 4*s - p. Let g be s/(-2 - 27/(-6)). Is g greater than 1?
False
Let v be (-11)/(-33) + (-4)/3. Suppose 2*r = -0*r. Which is smaller: r or v?
v
Let z = 45 - 26. Let w = -23 + z. Suppose -3*m + 4*h = 26, -m - 16 = -0*m - 5*h. Do m and w have different values?
True
Let m be 2490/(-69) + (-6)/(-69). Is -34 less than m?
False
Let g = 1.2 - -0.8. Let u = -0.3 + 0.5. Which is bigger: g or u?
g
Let h = 72 + -71.9. Which is bigger: h or -40?
h
Let s = 43/4 - 219/20. Suppose x + 10 = 3*x. Suppose -d = 2*u - x, -d - 2*u + 8 = u. Which is greater: d or s?
s
Let z = -2/37 - -43/111. Which is greater: z or 3?
3
Let o(p) = -p**3 + 17*p**2 + 14*p + 18. Let v be o(18). Which is bigger: v or 0?
0
Let c(a) = a**2 + 6*a. Let i be c(-6). Suppose i = -0*d - 3*d. Suppose 4*k - 4 = -d*k. Which is bigger: -2/5 or k?
k
Suppose k + 2*y = -0*y - 6, 2*k - 9 = 3*y. Let s = 2/43 - -64/473. Which is bigger: k or s?
s
Let v(l) = 4*l - 3. Let f(p) = -2*p - 9. Let x be f(-6). Let y be v(x). Is 9 bigger than y?
False
Let v be 1*-2*-4 + -2. Let f = v + -4. Suppose -k = -4*g - 16, -2*k + 3*k = f*g + 8. Are 1/4 and k nonequal?
True
Let b = -6 + 9. Suppose -3*p + 7*p - 5 = f, -2*f = -2*p + 10. Let o(q) = q**2 + 4*q - 3. Let z be o(f). Which is bigger: z or b?
b
Suppose 4*d - 2*d + 8 = 0. Let h be (2/(-2))/((-2)/d). Let l = -0.579 - 0.421. Which is smaller: h or l?
h
Suppose -4*t - 3*h = -18, 0 = t - h - 6 + 5. Suppose 0 = 2*b + 1 + 1. Which is greater: b or t?
t
Let i = -22 + 6. Which is greater: i or -17?
i
Let v = 131 - 203. Is v >= -72?
True
Suppose j - 3*j - 12 = 0. Let b be (12/25)/(j/15). Let o be 6/(-8) + (-2)/8. Which is smaller: b or o?
b
Suppose -2*i + 0*i - 8 = 0. Let w be (-4)/(-12) + i/(-6). Is w smaller than 3/8?
False
Let l be 1 + 0 + 122/2. Are l and 62 non-equal?
False
Let z(m) = -m**3 - 13*m**2 - 11*m + 35. Let p be z(-12). Do p and 21 have the same value?
False
Let a be 2/3*-3 - 0. Which is smaller: -3 or a?
-3
Let a = -2 - -1. Suppose -5*p + 64 - 24 = 0. Let i = 6 - p. Which is smaller: a or i?
i
Let y(m) = -m**2 - 2*m - 1. Let u(i) be the second derivative of i**4/12 - 2*i**3/3 - i**2/2 - 2*i. Let a be u(4). Let p be y(a). Which is greater: p or -2/7?
p
Let g be (0 - (2 - -136)) + 1/(-1). Which is smaller: g or -138?
g
Let r = -171/35 + 23/5. Which is bigger: 0.05 or r?
0.05
Let b(j) = -2*j**2 - 9*j - 8. Let q be b(-4). Let n be (6/(-16))/(q/16). Which is smaller: n or 2?
n
Let f be (-30)/(-26) + (-20)/130. Let l be (6/(-52))/((-6)/(-8)). Which is smaller: f or l?
l
Suppose -p + 60 = 4*p. Let i be p/8 + 2/(-4). Let n be ((-1)/(-1))/(-2)*-2. Is n smaller than i?
False
Let i = 0.12 + 3.88. Let s = 4.3 - i. Which is greater: 1/2 or s?
1/2
Let n = 7 + -3. Let m be (16/n)/4*0. Let u be 1/(-5) - (-4)/(-10). Is m at most as big as u?
False
Let o = 34 + -24. Let b = 10 - o. Let v = 1/112 - 227/336. Which is smaller: v or b?
v
Let g = 328/15 + -91/5. Let h = -52/15 + g. Is -1/3 at least h?
False
Let j(s) = -s**3 + 5*s**2 - 4*s - 2. Let q be j(4). Let k(x) = -x**3 + 6*x**2 + x - 7. Let z be k(6). Let o be z/(-42) + q/12. Is 1 equal to o?
False
Let f = 35 + -34. Let k = -0.5 - 0. Which is smaller: k 