 -13. Which is smaller: 4/15 or u?
u
Let g be (-4)/(-17)*(2 - (-35)/(-21)). Is g > 1?
False
Suppose -2*h + 5*h = -156. Which is greater: h or -53?
h
Let k = -0.01 - 5.99. Let x = 5 + k. Are -3/7 and x nonequal?
True
Let x = 3.98 + 0.02. Let s = 3.1 - x. Let z = s - 0.1. Which is bigger: z or -0.3?
-0.3
Let q = 0.79 - -1.21. Which is greater: q or 39?
39
Let g = -44 - -41. Which is smaller: g or -4?
-4
Let p = -63 + 62.88. Which is smaller: -1 or p?
-1
Let p(l) = -l. Let y be p(-5). Suppose -j + y*o = -24, 6 = 4*j - 2*o - 0. Which is bigger: 1/8 or j?
1/8
Suppose -2*m = -j + 5, -4*j + m = 3*m. Suppose -j = -n, 6 = -u + 3*n + 5. Suppose -3*l + 0*l = -4*i + 19, 0 = -3*l + u*i - 11. Which is bigger: -4/5 or l?
-4/5
Suppose z = 4*z + 3. Let u be z - (-4)/26*7. Is u at least -1?
True
Suppose 142 + 42 = -4*f. Let h = f - 103. Let n = 1343/9 + h. Is 0 greater than or equal to n?
False
Let z = -5 - -5. Suppose z = 4*x - 5 - 19. Suppose -3 + x = 3*s. Is s bigger than -1?
True
Let t = 0.2 + -0.2. Let k = t - 0.1. Let d = -5/6 + 3/2. Which is greater: d or k?
d
Let c(z) be the first derivative of z**3/3 + 5*z**2/2 - z + 2. Let s be c(-5). Which is smaller: 1 or s?
s
Let s = -2 - 12. Let v = -13 - s. Which is smaller: 10 or v?
v
Let a = 8 + -8. Let y = a + -1. Which is bigger: y or -1/6?
-1/6
Let z be (-3)/(-27)*2 + 88/(-477). Which is smaller: z or 1?
z
Let n = -3.04 + 0.04. Let p = n + 4. Let o = 1.97 + 0.03. Which is greater: o or p?
o
Let t(m) = m - 6. Let u(j) = -j**3 - 7*j**2 + 4*j - 4. Let o be u(-8). Suppose 5*n = 7 + o. Let g be t(n). Which is smaller: -2/9 or g?
-2/9
Suppose 2*o - 31 - 1 = 0. Let j = 14 - o. Is j at most -3?
False
Let f = -65 + 64. Suppose -4*d - 40 = -2*p - p, 3*d = 5*p - 85. Let z be 2/7 + p/(-21). Is z > f?
True
Let y be ((-20)/(-14))/(1/7). Suppose 2*d + 8 - y = 0. Let t = -317/3 + 107. Which is smaller: d or t?
d
Suppose -b - 1 = -2*b. Let d be ((-2)/4)/((-1)/(-2)). Let a be 2 + d + (-18)/14. Are a and b equal?
False
Let b(t) = -t. Let p be b(5). Let a = -1 + 2. Which is greater: p or a?
a
Let f = -1.03 - -1. Let g = f - 7.97. Which is smaller: -0.1 or g?
g
Suppose 2 + 2 = 4*o. Let i be 114/135 - (-4)/(-10). Is i > o?
False
Let s be 14/3 - 3/1. Is 3 at least as big as s?
True
Let r = 53/66732 + 1126434623/1935228. Let g = r - 582. Is -1 greater than g?
False
Let x = 0.02 + 0.08. Let d = 13/102 + -5/17. Which is greater: d or x?
x
Let d = 4 - 2. Let o = -2.52 - -5.52. Which is smaller: o or d?
d
Let v = 1333/11 + -121. Do v and -9 have the same value?
False
Suppose -2*q - 3*t + 14 = 1, -3*q - 3 = -3*t. Suppose -4*z = -8, -q*z = -5*g + g. Suppose -4*l + 1 = -3*j, -3*j = -5*j + 2*l. Is j <= g?
True
Let i be (2 - (8 - 5))/(0 + -1). Is -1/15 at most as big as i?
True
Suppose -18*s + 228 = 732. Is s bigger than -30?
True
Let g = 5.7 + -5. Let k = -14 + 14.3. Let y = k + g. Are y and 0.2 non-equal?
True
Let q be (-2)/((-8)/(-10))*-2. Which is bigger: q or 4?
q
Let l = -12 + 7. Let t = 4 + -7. Let x be 10/t - (-8)/(-12). Which is bigger: l or x?
x
Suppose -4*q + 2 = 14. Are q and -5 non-equal?
True
Suppose -b + 3 - 1 = 0. Let n(j) be the third derivative of j**5/60 - j**4/8 + j**3/2 - 4*j**2. Let u be n(b). Are 1/2 and u nonequal?
True
Let u = 38 - 33. Is u > 8?
False
Let t = -9.9 - -10. Let c = t - 0.1. Let a = -0.8 - 0.2. Which is bigger: a or c?
c
Let h = 17/59 - -741/295. Which is smaller: h or 3?
h
Suppose u + u - 14 = 0. Let p = u + -7. Is p smaller than -2/21?
False
Let q be 7/(-5)*(-30)/(-36). Let x = -11/6 - q. Let j be 6/(-3)*1/2. Which is smaller: j or x?
j
Suppose 8*o = 5*o - 12. Let p = o + 4. Suppose p = -c - i - 0 - 1, 5*c - 27 = 3*i. Is 1 smaller than c?
True
Let n = -1 - 1. Let k be n + (-2 + 5)/3. Is k at least as big as -1?
True
Let n = -0.18 + 0.38. Let z = 0.04 - -1.46. Let t = z - -0.5. Which is greater: t or n?
t
Let i be 5/(-4)*(-6)/210. Is i > -1?
True
Let u = -9534/13 + 734. Let n = 1 + 1. Is n smaller than u?
False
Let x = -1/51 + 6/17. Let v = -1 - -3. Suppose d - v*d = 0. Does x = d?
False
Let z(t) = t**2 - 8*t + 3. Let m be z(7). Which is smaller: -0.2 or m?
m
Suppose -4*k = -12, -3*w - k + 75 = -0*k. Which is smaller: w or 23?
23
Let x be -2 + (1/2 - 2). Is -5 >= x?
False
Suppose 7*v - 5 = 2*v. Which is bigger: v or 4/65?
v
Let h = 9.1 - 2.1. Which is smaller: -2 or h?
-2
Let s be (-2)/5 - (-16)/(-10). Let b be 2/(-16)*s/1. Is b <= -14?
False
Let k = 12 - -13. Let m be (-6)/50 - (-5)/k. Which is greater: -1 or m?
m
Let w be 15/7*10/(-20). Let b = w - -4/7. Do 0.8 and b have the same value?
False
Let q = 46 - 183/4. Let m(l) = l**2 + 5*l + 6. Let a be m(-5). Let u = 5 - a. Is q less than u?
False
Let n = -17 + 49/3. Suppose 6*h - 5*f = h, 0 = 2*h + 3*f - 15. Suppose -5 = -2*k - h*c, 0 = -2*k + c - 1 - 6. Is n <= k?
False
Let b = -5.3 + 5.5. Suppose -6*k - 4 = -2*k. Let g be k + 1 + (-10)/(-15). Is g != b?
True
Let x = 8 - 10. Which is smaller: x or 1/17?
x
Let a(u) = u**3 + 7*u**2 - u - 7. Let q be a(-7). Is 1 >= q?
True
Let v(p) = -p. Let s(o) = -4*o - 5. Let y(i) = -s(i) + 3*v(i). Let j be y(-4). Is 1/3 bigger than j?
False
Let o = -2 + 1.5. Let j = o + 0.4. Which is smaller: 0.2 or j?
j
Let v(y) = y**2 + 4*y + 3. Let p be v(-3). Is -2/5 equal to p?
False
Suppose -4 = -p - p. Let u be (-10)/(-2)*p/45. Is -0.2 <= u?
True
Let h(x) = -2*x + 9. Let z be h(11). Let j = 14 + z. Which is smaller: 1/9 or j?
1/9
Let s(q) = q. Let v be s(-5). Let y be ((-786)/v)/3 - 2. Let p = y - 50. Which is smaller: p or 1?
p
Let i be 1 - (22/(-24) + 2). Let r be 0/3 + -2 + 1. Which is smaller: i or r?
r
Let z(p) = p**3 - 3*p**2 - 2*p + 5. Let y be z(3). Is y less than or equal to -1?
True
Let n(f) = -f - 5. Let x be n(-4). Are -6 and x non-equal?
True
Let x = 7193/17 - 423. Let k be (-4)/(-6) + 6/(-9). Which is greater: x or k?
x
Let d = 4 - 4.12. Is d at most 0?
True
Let d = -1.35 - -0.35. Which is smaller: 0.2 or d?
d
Let z = 20 + -1. Is 19 smaller than z?
False
Let j be (-22)/(-6) + (-4)/6. Suppose 0 = 4*f - 6 - 2. Suppose -3*s + j*a + 24 = 0, -f*a = a + 12. Which is smaller: s or 3?
3
Let m(l) = l**3 + l**2 - 3*l - 1. Let x be (6/(-4))/((-6)/(-8)). Let j be m(x). Let c be ((-5)/5)/(j - 2). Is c < 2/3?
False
Let w = 3 + 0. Suppose -w + 0 = 4*l - c, -3 = -3*l - c. Which is bigger: 7/5 or l?
7/5
Let l be ((-54)/(-15))/((-3)/10). Let i = -60 - -48. Is i at most l?
True
Suppose 0*k = -6*k - 12. Which is greater: -0.03 or k?
-0.03
Suppose -13*v + 12*v + 2 = 0. Is v != 5/8?
True
Suppose -21 = l - 4*z - 4, -5*z = 4*l - 37. Suppose 2*s = 1 + l. Suppose -5*u = 2*t + 3, 4*t = -u + 5 - s. Is -1/4 greater than u?
True
Let g be (-662)/18 - (-15)/((-270)/4). Is -35 <= g?
False
Let f = 0.43 + -0.33. Which is smaller: f or 0.9?
f
Suppose -10*z - 4 = -6*z. Do 1/21 and z have the same value?
False
Let c = -23 + 31. Are 8 and c nonequal?
False
Let i = -1816/429 + 46/11. Is 1 < i?
False
Let b(j) = 2*j + 2. Let o be b(-10). Suppose -97 = 4*f - 29. Is o bigger than f?
False
Let p be (-17)/4 - 4/(-16). Let g = 1 - p. Which is greater: g or 7/2?
g
Let i be (-3)/((-5)/(20/(-3))). Let m = i - -8. Let s = -0.1 - 0. Is m != s?
True
Let z be ((-13)/(-1) - 2) + -1. Let p = z - 10. Is p > -1/8?
True
Let p(m) = m**2 + 6*m + 5. Let t(v) = v**2 + 7*v + 5. Let f(y) = 3*p(y) - 2*t(y). Let q be f(-4). Is q != 5?
False
Let g = -18 + 19. Is g greater than or equal to -13?
True
Let d be 2/7 + 64335/(-385). Let h = d + 167. Is h at most as big as -1?
False
Let u = 24 + -1415/59. Is u <= -1?
False
Suppose -3*x = -8 - 7. Suppose x*h + 4*q = 105, -h - 3*h = -2*q - 58. Suppose -a - 3 = -i, -4*a = -i - 2 + h. Is 1 less than or equal to i?
False
Suppose 0*d + d - 8 = 0. Let b(m) = m - 6. Let x be b(d). Is x at least as big as 7/4?
True
Let g be -1*(-29)/16 - 2. Let z be 1/6*(-18)/(-3). Which is greater: g or z?
z
Let x(u) = -3*u + 3. Let f be x(2). Let t be 4/10 - (-24)/(-60). Let c = f - t. Which is bigger: 1 or c?
1
Let i be (1/(-3))/((-2)/42). Let u be i/(-12) - 6/(-24). Let m = 1 - -1. Is m equal to u?
False
Let w = -17 + 20. Which is smaller: 2 or w?
2
Let x(w) = -9*w**2 - w + 1. Let h be x(2). Is -36 at least h?
True
Let g = 11 + -5. Let o = g - 8. Let v be (1/2)/((-70)/(-20)). Which is greater: o or v?
v
Let a = -19 + 19.3. Which is greater: a or 0?
a
Let