. Is r at least i?
True
Suppose 42 = -2*p + 4*p. Is p at most as big as 20?
False
Suppose 0 = p - 0*p - x, 4*x = -3*p - 28. Let c be p - -7 - (2 - 0). Which is smaller: -0.02 or c?
-0.02
Suppose -21 = -5*l - 6, 5*l = -3*t + 21. Let h = 2482/5 - 494. Is h greater than or equal to t?
True
Let l be (9 - 9)/(1 + 1). Which is smaller: 1/5 or l?
l
Suppose 4*j = 6*j - 2. Is j less than -1?
False
Let o = 3 + -1. Let u be (o/(-8))/(2/6). Which is smaller: -1 or u?
-1
Let y be 3/((-6)/4) + 6. Suppose 0 = q - y*q + 3. Is q greater than 0.02?
True
Suppose 3*d = 3*f + 3, -5*d + d + 5*f = -5. Let u be -1 - 5*(d - 1). Is u > 4?
False
Let h(j) = -j**2 + 12*j + 9. Let p be h(13). Let w(l) = l**2 - 8*l + 7. Let x be w(6). Which is bigger: x or p?
p
Let h be -2*(0 + (-26)/4). Let o = 29 - h. Let b be o/6 - 3/(-9). Are 4 and b nonequal?
True
Suppose -42 = 5*c - 3*c. Is -21 less than or equal to c?
True
Suppose -5*f + 15 = 3*m - 20, 0 = 5*f - m - 15. Is 1 bigger than f?
False
Let b = -5 + 4.7. Let l = b + 0.2. Let r = -0.16 + 0.36. Which is bigger: r or l?
r
Let w be 44/(-11)*(-1)/2. Let q = -13677/25 + 547. Let y = 29/50 + q. Is w smaller than y?
False
Let s = 1 + -1. Let i(a) = -50*a + 2. Let x be i(1). Let k be 2/5 + x/195. Is s less than or equal to k?
True
Let d = -0.1 + 0. Let y = 4 - 4.5. Let h = y + 1.5. Which is smaller: h or d?
d
Let u = 7 + -1. Let f be (-7)/(-14)*(2 + 0). Is f > u?
False
Let q = 0 - -3. Suppose -q*f = f. Let g(a) = -a**3 - 1. Let w be g(f). Which is smaller: w or -3/4?
w
Suppose -5*f - 5 = 5. Which is greater: -4 or f?
f
Let z = -13 - -16. Is z > 10/3?
False
Let v be ((-6)/(-15))/((-2)/10). Let j be (-2 - v)/(2 + -4). Suppose 2*q + q - 3 = j. Which is smaller: q or 0?
0
Suppose -5*o + 0*o = -10. Let t = 2 - 3. Let l(k) = -3*k. Let w be l(t). Which is smaller: o or w?
o
Let t be 3*(11 - 2)*(1 - 2). Is -26 < t?
False
Let d = 1.8 - -0.2. Let a = 1 - d. Let z = a + 2. Do -2/7 and z have the same value?
False
Let c be (-4)/10 + 158/45. Which is greater: c or 2?
c
Let i = 0 + -3. Let q = -28 - -19. Let h = 7 + q. Which is smaller: h or i?
i
Let o be 104/20 + 1/(-5). Suppose -o*r = 2*k, 4*r = r. Let n(c) = -c - 4. Let g be n(-4). Is k smaller than g?
False
Let s = -14 - -13.6. Let c = -2.4 - s. Let q = 2 + -5. Is c >= q?
True
Let m be -7*(0 + 1)*-1. Let l be 4*30/8*4/10. Which is smaller: l or m?
l
Let r = -12 + 12.5. Let a = r + -0.5. Let v be 0 + ((-4)/5)/(-2). Which is smaller: a or v?
a
Let v = -2 + 1. Let f be 0/(-4 - (-1 + -2)). Is v greater than f?
False
Let m be (-3)/12 - (-42)/8. Suppose -3*u = -1 - m. Are u and 2 nonequal?
False
Suppose -4*j + 3*j + 5*r = 5, 4*j = -r + 43. Suppose 3*y = -2*y - j. Is y greater than -1?
False
Let v be 3 - (-2)/(0 + -1). Let s be 2/(-2)*v + 5. Let u be 8/21 + s/(-6). Is 1 at most u?
False
Let b = 11 + -10.6. Which is smaller: 2 or b?
b
Let f be (-10)/(((-1464)/37)/4) - 1. Is 0 greater than f?
False
Let h = 0.06 - 0.56. Let t = -0.4 - h. Let k = -1 + 2. Which is bigger: t or k?
k
Suppose -5*q + 25 = 0, 19 = 2*h + 3*q - 0*q. Suppose -h*v = 2*v - 12. Suppose -4 = x - v. Which is bigger: 1 or x?
1
Suppose -12 = 3*y - 54. Let o = 8 - y. Let k be (28/(-21))/((-4)/o). Which is smaller: -1 or k?
k
Let i = -31 + 32. Which is smaller: -6 or i?
-6
Let i be 18/30*4/(-6). Suppose 2*h = b - 0*b + 9, -5*b - 33 = -4*h. Suppose 2*r = -t + 7, 0*t - h*t + 7 = -3*r. Is i at most as big as r?
True
Let n = 15 - 66/5. Are 3 and n equal?
False
Let n = -13 - -15. Let a be (2 - -11)/(n/(-2)). Which is smaller: a or -12?
a
Suppose 2 = -2*z + 8. Let p = -2 - z. Which is smaller: -6 or p?
-6
Let m be (1 + 2)/(-1) + 0. Let l be (-7)/(-9) + 4/18. Is l greater than or equal to m?
True
Let v(k) be the second derivative of -k**5/20 - 5*k**4/12 - 2*k**3/3 + k**2/2 - 2*k. Let f be v(-3). Let b = -1 + -5. Is b bigger than f?
False
Let r(m) = 1 - 3*m**2 + m**2 + m**3 - 2*m**3. Let t be r(-1). Is t at least as big as 6/13?
False
Suppose -7 - 5 = -3*d. Suppose -7 = -w - t, -3*w + 4 = 2*t - 14. Are w and d equal?
True
Let a be (-2)/4 + 7/2. Let t = -527 - -529. Is a smaller than t?
False
Let x be ((-3)/(-7))/((-45)/30). Suppose -3*z - 2*r - 4 = -1, 13 = z - 4*r. Are x and z unequal?
True
Suppose -6*f + s + 8 = -4*f, 3*f - 3 = -3*s. Suppose -v + f*v = -16. Let i be (10/v + 1)*1. Is 0 smaller than i?
False
Let s = 1 + -1. Suppose s = -5*q + 13 - 3. Let l be 1/(3 + q/2). Which is smaller: 1 or l?
l
Suppose 3*l + 4 = 4. Which is smaller: l or 12/19?
l
Suppose 29 = 2*a - 3. Suppose -28*y + 30 = -26*y. Is y >= a?
False
Let f be 1*(-1)/((-3)/6). Suppose -6*u + 8 = -f*u. Which is smaller: 1/2 or u?
1/2
Let v be 86/((-25)/(-5) - -1). Which is greater: -1/3 or v?
v
Let d = 839/92 + -20/23. Let k = 101/12 - d. Suppose -2*i - 4 = -2. Which is bigger: k or i?
k
Suppose -2*t + t = -3*m + 8, 0 = -3*t + m + 8. Which is greater: t or 5?
5
Suppose -7 + 5 = -2*j. Let t = -2594462/55 + 47174. Let m = t - 26/11. Which is smaller: j or m?
m
Let w(i) = -i - 12. Let l be w(-5). Let f be ((-4)/(-14))/((-4)/l). Which is smaller: f or 0.3?
0.3
Let w be (-2)/(-2) - 0/(-1). Suppose 5*p - 1 + 16 = 0. Let m = p + 4. Is w at least m?
True
Let a(w) = -2*w + w**2 + w**2 - w**3 + w. Let q be a(2). Let u = 3 + -2. Is u < q?
False
Let t be -4*(26/12 - 2). Let i = 3 - -3. Suppose w + i = 3*w. Which is smaller: t or w?
t
Let c(o) = o**3 - 6. Let w be c(0). Let v = w + 9. Let i = 6 + -4. Which is greater: v or i?
v
Let l = -0.076 - -0.176. Which is smaller: 38 or l?
l
Suppose -2*x = -3*x. Is x equal to 2?
False
Let d = 4 - 4.04. Let f be ((-2)/4)/(2/4). Which is smaller: f or d?
f
Let k = -39 - -21. Is -17 < k?
False
Suppose -c - 3*l - 11 = -3*c, 0 = -3*c + 4*l + 14. Let d be (-4)/6*9/(-2). Suppose -d*j + 1 = -2. Do j and c have different values?
True
Let q be 0 - -3 - (-20 - -1). Which is smaller: q or 23?
q
Suppose 60 = -3*b + 8*b. Is 11 bigger than b?
False
Let r be (-3 - -3 - 3)/(6/(-34)). Is r greater than or equal to 16?
True
Let b = 2.295 + -2.4. Is b >= -1?
True
Suppose 2*v = 4*v + 4*p - 20, -3*v - 5*p = -25. Let s = -16 + 4. Let y be (7/(-63))/(2/s). Which is bigger: v or y?
y
Suppose q = -4*d - 1, 5 = 3*d + q + 6. Which is smaller: d or -1/36?
-1/36
Let r be ((-1)/(-7))/((-1)/(-5)). Let p = 8/21 - r. Let m = 1 - 2. Which is smaller: p or m?
m
Let t = 5432 - 271591/50. Let z = t + -213/350. Is z > 1?
False
Let u(n) = -n + 6. Let t be u(5). Let c be 1/1 + 1 - t. Which is bigger: 0 or c?
c
Let a = 7 - 3. Let z be (-21)/27 + a/(-18). Is z equal to -2/5?
False
Let i be 1*(-15)/9 + 2. Which is bigger: i or 4/3?
4/3
Let q = -2/409 - -832/2863. Suppose 4*j - v = -0*v, -5*j - 3*v + 17 = 0. Which is smaller: q or j?
q
Let t be (2 - 3)*(-5)/80. Which is smaller: 1 or t?
t
Let g be (-94)/(-4) + (-1)/(-2). Suppose -p = 19 - 3. Let x be (-2)/18*g/p. Which is smaller: x or 1?
x
Let u = -8757/19 - -461. Is 0 at least as big as u?
False
Let o be (24/3)/4*1/(-5). Are o and -6 unequal?
True
Let p be (-3)/(-2) + (-3)/6. Let n be (p/2)/(1/2). Which is smaller: n or -4?
-4
Let o be 4/10 - 182/(-195). Which is bigger: 0 or o?
o
Let u(b) = -b**3 - 2*b**2. Let w be u(-2). Suppose w*z - z = -3. Which is greater: 1 or z?
z
Let f = 2194 - 186488/85. Which is bigger: 1 or f?
1
Suppose -12 = d + 3*d. Let f be (d/20)/((-18)/16). Which is greater: -1 or f?
f
Let y = -8 + 17. Let l = -9.1 + y. Which is bigger: -2 or l?
l
Let l = -0.04 - 0.06. Let z = l - 0. Let c = -0.2 - z. Does c = -1?
False
Suppose -k - 4*o = -5*k - 12, -5*k - 15 = -o. Let a(t) = t**2 + 2*t. Let v be a(k). Suppose v = -u - 2*u. Which is bigger: u or 2/7?
2/7
Suppose c - 5*l + 3 = -14, 0 = 2*c + l - 10. Let x(t) = t - 3. Let b be x(c). Let a = -211/4 - -53. Is b < a?
True
Let y be 39/9 - 2/6. Suppose -4*n - 7 = y*f - 35, 0 = 4*f - 2*n - 16. Suppose f*a + 2*w = 3, -a = 2*a - w + 7. Which is smaller: 2/17 or a?
a
Let i = 0.237 + -0.027. Let w = -2.21 + i. Which is greater: w or -4?
w
Let p = 40 - 40.04. Which is bigger: p or -3/4?
p
Suppose -q - 5*m - 127440 = 148944, 4*q + 1105536 = -m. Let g = -139574011/505 - q. Let z = -2/101 + g. Which is greater: z or 0?
0
Let t = 22.9 - 23. Which is smaller: 4 or t?
t
Let n = 20 - 20. Let w be 6/(-27) - (-68)/(-18). Let r be (0/1 - w) + -2. Which is greater: n or r?
r
Let w(v) = 3*v + 17. Let