than -0.16?
False
Let m(a) = 8*a + 9. Let t be m(-1). Which is bigger: t or -2/49?
t
Let l = 1509131/26132 + -2/6533. Let f = -58 + l. Which is bigger: f or -3?
f
Let u = 5406/11 + -492. Let t(c) = -c - 5. Let b be t(-5). Is u > b?
False
Let o be ((-9363)/42)/(57/6). Let b = -165/7 - o. Is b >= 0?
False
Let d be 112/21 - 2/(-3). Let q be 2/d*18/30. Is -1 less than q?
True
Suppose 5 = 3*u - 7. Suppose -2*i - i - 3 = u*o, 0 = -5*i + 4*o - 5. Is 2/29 bigger than i?
True
Suppose -4*p - 2 = p - j, 5*p - 5*j - 10 = 0. Is -30/13 greater than p?
False
Let q = 8 - 22. Let y = q + 16. Let n = -124/3 - -41. Which is smaller: n or y?
n
Let c be ((-22)/10 - -1) + 1. Which is smaller: c or -2/3?
-2/3
Suppose -4*c = 3*y - 8, -c = -4*c + 4*y + 6. Let d(h) = -h - 1. Let q be d(-2). Is q < c?
True
Let h be 4 + 78/(-22) + 1 + -1. Are h and 1 equal?
False
Let n(o) = -6*o**3 - 2*o**2 + 3*o - 2. Let j be n(2). Are j and -53 equal?
False
Let k(r) = r**3 - 3*r**2 - 3*r - 1. Let h be 5 - (-3)/(2 + -5). Let s be k(h). Which is smaller: s or 2?
2
Let h be 2/(-4)*10*1. Suppose -30 = -5*q + 3*q. Let l be 18/(-5) - 6/q. Which is smaller: h or l?
h
Suppose 7*w = 2*w. Let l = -15.7 - -15. Let q = l - -0.5. Which is smaller: w or q?
q
Let y = 90.8 - 100. Let z = y + 9. Do -1/3 and z have the same value?
False
Let c = -3 + 2.7. Let i = 0.7 - c. Which is greater: -0.1 or i?
i
Let m be (1/5)/((-21)/35). Let k be 2 + 0 - (4 - 3). Which is greater: k or m?
k
Let v(h) = h. Let p be v(-2). Which is smaller: p or -16/11?
p
Suppose 0 = 3*u - 2*c - 7, 4*u = -c - c - 14. Let i = 6 - 2. Suppose 3*n - n + i = 0. Is n less than u?
True
Let z be -2 + (-3 - 122/(-5)). Let v = 706/13 - 14399/195. Let k = z + v. Do k and 1 have different values?
True
Suppose -4*m = 13 - 9. Let w be (-10)/24 + (-2)/8. Is m greater than w?
False
Suppose -7*v = -30 - 12. Which is greater: 7 or v?
7
Let c = -63 - -62. Is c not equal to -4/47?
True
Let c(z) = -z**2 - 5*z - 6. Let n be c(-5). Let l be (26/8 - 3)*n. Which is bigger: -2 or l?
l
Let a = 20532724/45 - 456310. Let y = -134/5 - a. Which is smaller: y or 0?
0
Let m = -63 - -60. Suppose n + 0*b - 3*b = -15, -4*n - 12 = 4*b. Let k be n/9 - (-7)/(-3). Is k <= m?
True
Let a = 20 + -14. Let q be (-1)/(1 + a/(-5)). Which is smaller: q or 3?
3
Let h(i) = i + 1. Let u(r) = r**2 + 13*r + 3. Let s(t) = -6*h(t) + u(t). Let w be s(-8). Let b be (w/(-20))/(3/(-10)). Which is smaller: b or 1?
b
Let z = -121 - -79. Which is greater: -43 or z?
z
Let u(p) = p**2 + 6*p + 4. Suppose -6 = -o + 4*y, o - 3*o = 4*y + 24. Let f be u(o). Let a be f*3/6 + -2. Is -2/11 greater than or equal to a?
False
Let p = 12 - 34/3. Do -0.03 and p have different values?
True
Let l be -3 - (-19)/(2 - 1). Let d be 3/(-4) + (-12)/l. Suppose 5*h + 9 = 3*m, -3 = -5*m + 4*h - 1. Which is smaller: m or d?
m
Suppose 4 = o - 5*o. Let t be (2 - (-15)/(-7)) + 0. Let i = t + -5/14. Is o > i?
False
Let u be (6/9 + 24/(-9))/(-2). Which is smaller: 0.2 or u?
0.2
Suppose 12 + 4 = -16*w. Which is bigger: -2 or w?
w
Let z be 0*(3 + (-21)/6). Let j = -5.6 - -2.6. Which is smaller: z or j?
j
Let q(m) be the third derivative of m**5/30 - m**3/6 - 2*m**2. Let r(c) = c**2 + c. Let k(g) = q(g) - r(g). Let z be k(2). Which is smaller: 0 or z?
0
Let f(j) be the third derivative of -j**6/120 + j**5/60 - j**4/24 + 13*j**3/6 - 3*j**2. Let m be f(0). Is m less than 13?
False
Let x = -0.4 - -0.3. Let y = -1/37 - -42/185. Is y less than or equal to x?
False
Let o = 36 + -33. Which is bigger: o or -2?
o
Let p be 2 + (-5 - (-2)/((-6)/(-9))). Is p bigger than -3/10?
True
Let s(p) = p**2 + 7*p - 7. Let a be s(-8). Let l(n) = -n**2 - n + 1. Let k be l(a). Which is smaller: -1/5 or k?
k
Suppose 0 = -2*h + 5*h - 30. Which is greater: 0 or h?
h
Let h(d) = d**2 + 10*d + 8. Let s be h(-12). Let c be s/(-36) + 2/3. Is c >= -1?
True
Let b = -19 + 12. Let d = b - -7.6. Let n = d + -1.6. Which is greater: 2/3 or n?
2/3
Let s be 1 + -2 + 5/10. Let h = -2 + 3. Let d = h + 1. Is d greater than or equal to s?
True
Suppose 0 = d - 3*d - 10. Let v be (1 + d)*2/28. Is v > 1?
False
Let p(d) = d - 6. Let w be p(5). Let u be (1/3)/((-20)/24). Which is smaller: u or w?
w
Let v be (2 + 22/(-12))*(-8)/2. Suppose 5*l = -5*b - 15, -3*b - 5 = -3*l - 26. Suppose 0*g + b*g = -2. Is g at most as big as v?
True
Let j = -2 + -2. Let s = j - -0.2. Let u = 4 + s. Which is smaller: u or -1?
-1
Let a = 4 + -9. Let j be -5 + 3 + 0 + -3. Let o = 0 + j. Do o and a have the same value?
True
Let m be 3 + (-1)/(-25)*-77. Which is smaller: 0.1 or m?
m
Suppose 4*x - 6*x = -5*w, -2*w = -5*x. Is x smaller than -5/7?
False
Let y be (6/12)/((-2)/32). Suppose -4*w - 7 = 25. Is y smaller than w?
False
Let d = -4397 - -74773/17. Which is smaller: d or 2?
d
Let i = -13 - -11. Which is bigger: -5 or i?
i
Let w(j) = -j**2 + j**3 - 2*j - 3*j - 2 + 5*j**2. Let p be w(-5). Is 5 <= p?
False
Let z = -5542/21 - -1612/3. Let f = z + -273. Are f and 1 nonequal?
True
Let f(w) = w - 1. Let g be f(4). Let z(i) = 2*i**2 - 11*i + 7. Let o be z(5). Which is smaller: o or g?
o
Suppose -k + 2 + 1 = 0. Suppose 0 = -4*p + k*p - 5. Is p at least as big as -5?
True
Suppose 2*h + 2*h + 128 = 0. Let s be 2/6 - h/(-72). Is s at most as big as -1?
False
Let p = 39 - 39.3. Do p and 0.23 have different values?
True
Let j = 19 + -42. Do j and -23 have the same value?
True
Suppose -c - 9*u - 83 = -7*u, 4*c + 2*u + 314 = 0. Which is bigger: -76 or c?
-76
Let b = 4 + -8. Suppose -3*s = -6*s + 3. Suppose o - 2*a + 3 + s = 0, a = 0. Is o less than or equal to b?
True
Let j = -170 + 169.95. Which is greater: -2 or j?
j
Let q = -3 - -5. Let h be 0/((2 - q) + 3). Suppose 0 = -h*v + 3*v - 3. Which is smaller: 0 or v?
0
Let o = -17 + 117/7. Is -0.072 at most o?
False
Let v = 32.3 - 33. Let s = -9.2 - -10. Let p = v + s. Which is bigger: p or -2?
p
Let v = -0.5 - -0.7. Which is bigger: v or -2/13?
v
Let l(g) = 40*g + 2. Let r be l(-2). Suppose -a - 9 = 2*a. Let k be (-38)/r + a/9. Is k != 1?
True
Let x = -123 + 116. Let i be (-2)/3 + 19/(-3). Is i at least x?
True
Let p = -4 + 14. Let y be 4/p - (0 - 0). Suppose 0 = -0*u - 5*u. Is u greater than y?
False
Suppose 0 = -d + 1 - 12. Is d equal to -1/3?
False
Suppose 3*p + 135 = -0*p. Let d be 18/(-30) - (-78)/p. Which is smaller: d or 1?
d
Suppose -3*l + k + 0*k + 2 = 0, -2*k - 4 = 0. Suppose 2*p = 6 - 2. Let s be 1/p - (-9)/(-42). Which is bigger: s or l?
s
Let j = 3 - 5. Let a = 2 + j. Which is greater: 1 or a?
1
Let z = -1.4 + 1.5. Let j(p) = p**3 - 5*p**2 + 3*p - 5. Let k be j(4). Is k < z?
True
Suppose -27*j + 76 = -8*j. Let y be (-7)/(-2) - (-1)/2. Is j <= y?
True
Let i(h) = -h**3 - 7*h**2 + 9*h + 11. Let k be i(-8). Suppose -8*w + k*w + 5 = 0. Which is greater: w or 6/11?
w
Let w(l) = -l - 5. Let t be w(-8). Let q be (8/4)/(t/(-2)). Suppose r + 3 = -s, 3*r - 3*s + 1 = -2*s. Which is bigger: q or r?
r
Suppose 0*c - c - 2 = -w, -5 = -5*w. Let d(u) = 13*u - 1. Let m be d(-2). Let y = -82/3 - m. Which is bigger: c or y?
y
Let h = -26747883/539 - -49625. Let w = h - -17102/539. Let b = w - 32. Which is greater: 1 or b?
1
Suppose -n + 2*b - 8 = 5*b, -4*n = 5*b + 25. Let y be 16/5 - (-15)/n. Which is smaller: y or -1?
-1
Let j be (3 + 2)*(4/10 - 0). Which is smaller: j or 6?
j
Let z = 1.6 + -14.6. Let y = z - -16. Let q be ((-1)/3)/(2/3). Which is greater: q or y?
y
Let f = 13157/174 + -10/87. Suppose 0 = -j - 0 + 77. Let g = f - j. Is -2 less than g?
True
Let n = -0.014 + 1.014. Let k = 0.2 + -0.2. Is n < k?
False
Suppose 6*t = 5*l + 3*t, 0 = 2*l - 2*t. Which is bigger: -1/8 or l?
l
Suppose 20*k = 15*k - 135. Which is smaller: -28 or k?
-28
Suppose -3*i - 5*p = 8, 3*i - 5*p + 34 + 24 = 0. Which is bigger: i or -10?
-10
Let x = -19 + 19.6. Are x and -2 unequal?
True
Let s = 63.6 - 66.61. Let t = 0.01 + s. Which is bigger: 0.2 or t?
0.2
Suppose -2*p = -6*p. Let v = -2 + p. Which is bigger: 1 or v?
1
Suppose -6 - 16 = 2*w. Does -12 = w?
False
Let q = 1 + -1. Let a be (6/(-4))/(q + -6). Suppose 4*m = -1 + 5. Which is smaller: a or m?
a
Suppose -6 = -b + 8. Which is smaller: b or 0.1?
0.1
Let d = -5 - -7. Let s = -7.1 - -8.1. Is s greater than d?
False
Suppose 0 = -5*q - y + 15, 2*y - 5 = 5. Let k(v) = 2*v + 7. Let z(n) = 3*n + 8. Let m(t) = -4*k(t) + 3*z(t). Let a be m(5