((3 + -2)*0)/2. Let u(h) = h + 39. Let o be u(0). Let l = o - 194/5. Which is smaller: l or v?
v
Let k = 16.1 - 14.1. Which is smaller: k or 6?
k
Let k be (-26)/24 - 0/(-4). Let u = -4/3 - k. Suppose 5*v - 2 = 3. Is u < v?
True
Suppose h + 35 - 13 = 0. Let y be 9/4*h/33. Which is greater: y or 1?
1
Let p be (1 - 3) + -4 - 1. Let a = p - -12. Suppose 5*k = -3*o + 25, -a*o + 3*k = 9 + 6. Which is greater: o or 1?
1
Let j = 50 + -61. Which is smaller: j or -0.2?
j
Suppose 2*x - 5*o = 20, -50 = 5*x - 10*x - 5*o. Suppose -x*w + 5*w + 10 = 0. Suppose -19*c - 6 = -21*c. Which is smaller: c or w?
w
Let k(n) = n**2 - 1. Let x be k(1). Suppose x = -3*l + 21 + 3. Let z be (l + -6)*2/(-4). Which is smaller: z or 2/5?
z
Suppose 5*q + 35 = -5*n, -2*q + 5*n = -3*q - 19. Suppose -v + 2*u - 17 = 6*u, -2*u + 19 = -5*v. Which is smaller: q or v?
v
Suppose -3*x - 12 = 4*k + x, 5*k + 6 = -2*x. Which is greater: 1/166 or k?
1/166
Let g(u) = -u**3 - 4*u**2 + 2 + 14*u**2 - 7. Let d be g(10). Let m(v) = v**3 + 6*v**2 + 6*v + 2. Let i be m(d). Are -2 and i unequal?
True
Let i = -9533/12 - -794. Let w = -2/3 - i. Is w at least as big as -1/4?
True
Let i = -190667/95 - -2007. Which is smaller: 1 or i?
i
Let h be 3/(-3) + 2 - 6. Let j = h - -6. Is 3/8 >= j?
False
Suppose 4 = 2*s + 48. Which is smaller: -20 or s?
s
Let i(p) = -1 + 6*p**2 - 4*p**2 + 6*p + p**2 - 2*p**2. Let t be i(-6). Which is smaller: 1/12 or t?
t
Let q be (12/(-10))/((-28)/21). Do q and 1 have the same value?
False
Let d = -2 + 10. Which is greater: d or 6?
d
Let s = 58 + -55. Does s = 1?
False
Let s be -19 + 22 - (4 + 1). Is s <= -1?
True
Let o be (2/(-3))/((-10)/45). Suppose 9 = -2*z - o*g, -5*z + 6 = -4*g - 6. Let m be (-6)/(-4)*(-2)/(-3). Which is greater: m or z?
m
Suppose -31*k = -24*k - 357. Is k smaller than 51?
False
Suppose -12*k + k = -1089. Which is greater: 100 or k?
100
Suppose 0*z = -6*z + 30. Is z >= 5?
True
Let l = 0.12 + 0.98. Let d = 91 - 92. Which is greater: l or d?
l
Let r = 0.22 - -0.78. Let y = 23/96 - -3/32. Is y at least as big as r?
False
Let j = -0.14 - 0.02. Which is smaller: 2/3 or j?
j
Let k(f) = f**3 - 7*f**2 - 5*f - 1. Let q be k(7). Let r be (0 - -1) + q/40. Let w = -1 - -1. Which is smaller: w or r?
w
Let z(c) = 3*c - 12. Let h be z(4). Let g = 2/143 - -133/715. Is g >= h?
True
Let b = -0.2 - 0.8. Is b less than 3?
True
Let q = 21 + -20.4. Which is smaller: 0 or q?
0
Let l be -5 - 48/(-6) - (-1)/2. Which is smaller: l or 5?
l
Let b = 40 - 39.9. Which is smaller: 21 or b?
b
Suppose -5*f - 3*s - 2 = 0, -2*f - 3*f - 9 = -4*s. Suppose 2*o - 4 = -0*o. Suppose 4*p + 11 = 3*t, 0 = -2*t - o*t + 4. Are p and f equal?
False
Suppose -3*x = x + 4. Let c(m) = m + 2. Let o be c(-4). Let h be (-2 - -2)/o - 1. Is x < h?
False
Let k be 51/(-12) - 3/(-12). Let z be 5/k - (0 + -1). Is z not equal to 5/4?
True
Let b = -0.1 + -2.9. Which is greater: b or -0.02?
-0.02
Let s = -3 - -2. Let f = -5 - -6. Is f less than or equal to s?
False
Let l = 2281/260 - 116/13. Which is smaller: -2/3 or l?
-2/3
Let u = 11 - 7. Let t(o) = -o**3 + 4*o**2 + 6*o - 5. Let m be t(5). Suppose m = -u*h - 0*z - 4*z + 4, -z + 5 = 0. Are h and 1/3 equal?
False
Let s(u) = u + 3. Let b be s(-8). Let h = -7 - b. Is h greater than or equal to -4/5?
False
Let s = 40 + -41.9. Which is bigger: s or 0?
0
Suppose 2*r - 3*b = 10, 8 + 7 = 5*r - 5*b. Let i be 2*(r + (-4)/(-5)). Which is smaller: i or -1?
-1
Suppose -3*f = 4*o - 3*o - 3, 0 = -f - 3*o + 9. Suppose f = 4*q - 15 + 3, j = 2*q - 3. Suppose 7 - 2 = 5*g + 5*b, j*g = b + 7. Which is bigger: 3 or g?
3
Let g = -2/43 - -96/215. Which is smaller: g or 2?
g
Let m = 2 - 1. Let f = -2.73 - 0.27. Is f at most m?
True
Suppose 5*g + 12 = 7. Which is smaller: g or 1/21?
g
Let c(d) = -d**3 - 13*d**2 + d + 14. Let y be c(-13). Is -2/37 not equal to y?
True
Let p(x) = x**3 + x**2 - x - 3. Let a be p(0). Suppose 8*k + 10 = 2. Is a greater than k?
False
Let q be -1 - 0 - (0 + -2). Let u be (-152)/(-603) - 14/63. Let n = u + 61/201. Which is smaller: q or n?
n
Suppose -4*h - 6 = 2*s - h, 22 = 2*s - 4*h. Let v(g) = -g - 4. Suppose 4*t - 5*t = 6. Let l be v(t). Is s at least as big as l?
True
Let c(b) = b**2 - 3*b - 9. Let i be c(4). Is i smaller than -4?
True
Let s = -93 - -100.8. Let j = 8 - s. Which is greater: -1 or j?
j
Let q(z) = z**3 - 3*z**2 - 5*z + 3. Let k be q(4). Let t be -3 - k*(-3)/(-6). Which is smaller: t or -4?
-4
Let k = -505/2 + 248. Which is smaller: -4 or k?
k
Let x = -5.86 + -0.14. Let l = 133 + -134. Is x not equal to l?
True
Let h be 2/(-6)*(-16 + -11). Suppose 4*u - h = 3. Is 5 bigger than u?
True
Let w = -26/53 - -12108/265. Let n = -180667 - -6321743/35. Let z = w + n. Which is bigger: -1 or z?
z
Let u be (-46)/(-4)*6/5. Which is smaller: 15 or u?
u
Let m = 37.9 - 38. Suppose 7*n = 2*n. Are m and n unequal?
True
Let x = 3/2 - 25/14. Which is smaller: x or 2.7?
x
Let c = 1.19 - 0.19. Is c less than or equal to -2/7?
False
Let x = 18 - 19. Let q be 10/(-12) - (-3)/3. Which is smaller: q or x?
x
Let s = -5/7 - -3/14. Which is bigger: s or 18?
18
Let j = -66 + 51. Do -15 and j have different values?
False
Suppose 3*n = -1 - 5. Is n smaller than -3?
False
Let d(w) = w**3 - 5*w**2 - 5*w - 7. Let l = 16 + -10. Let j be d(l). Let p = 6 - 13/2. Is p smaller than j?
False
Let b be 1/((3 - 0)/(-3)) + 2. Which is smaller: 22/9 or b?
b
Let q = -5 - -7. Which is smaller: q or 4/5?
4/5
Let f(i) be the third derivative of -i**6/120 - 3*i**5/20 - i**4/24 - 7*i**3/6 + 3*i**2. Let w be f(-9). Suppose w*d = 5*d - 12. Which is bigger: 3 or d?
d
Suppose -4*v + v = 0. Which is bigger: v or -2/13?
v
Let d = 0.1 - -0.3. Let x = d + -0.2. Is 0.2 at least x?
True
Suppose 5*i - 13 = 2*f + 12, 3*f - i = -5. Is f > -4?
True
Let t(w) = 3*w - 10. Let j be t(4). Suppose -2*u - 4 + j = 0. Is u at least as big as -1?
True
Suppose -4*n + 5 + 7 = 0. Suppose -n*x = -5*x - 2. Let o be x/(-5)*(-20)/8. Is o less than or equal to -1?
False
Suppose 5*l = -2 - 8, 2*h - 4*l = -40. Which is bigger: h or -123/5?
h
Suppose 2*w = -4*y - 0*w + 32, 18 = y - 2*w. Suppose -2*p = -4*p + y. Do 5 and p have the same value?
True
Let i = 14 - 14.2. Let j = i + -0.8. Is 1 >= j?
True
Let b be ((16/6)/4)/2. Let k = b - 1/12. Is 4/3 smaller than k?
False
Let x be 20/9 + 6/(-27). Suppose -u + p - 1 = -x, -2*u + 5*p + 11 = 0. Which is smaller: u or 0?
u
Let n = 13 + -19. Suppose d + 3*v - 3 + 34 = 0, 2*d = 4*v - 32. Let b be d/(-24) - n/(-8). Which is smaller: b or -1?
-1
Let q(a) be the second derivative of -a**5/20 + 7*a**4/6 - 13*a**3/6 + 4*a. Let h be q(13). Which is smaller: 1 or h?
h
Let x = 1/5 - -23/10. Let r(u) = u**2 - 2*u + 1. Let d be r(3). Are x and d equal?
False
Let s = 0.6 + 0.1. Let t = s + -1. Let u = -0.1 - 0. Which is greater: t or u?
u
Let c be (30/9)/((-4)/(-6)). Let x be 4/c*(-1)/2. Suppose -5*b + 3*f - 2 = 3, -2*b + 5*f = 2. Do x and b have the same value?
False
Suppose 0*b + 13 = -b - 4*p, -3*p = -4*b + 5. Let c = 3 + b. Suppose -2*k = -0*s - s - 9, 0 = 4*s + 12. Which is smaller: c or k?
c
Let b = 0.3 + 2.7. Does b = -3?
False
Suppose 58 - 19 = -l. Let x be 6/l - 160/(-26). Suppose -x*k = -k. Which is bigger: 3/8 or k?
3/8
Let f = 86 + -3355/39. Is f <= 1?
True
Let u = 2.16 + -0.16. Let h = 1.5 - 0.5. Let a = u - h. Is a <= -2?
False
Let h be (1 - 3) + 183/76. Let k = h - 3/19. Which is greater: k or -1?
k
Let y = -358 + 380.1. Let b = 22 - y. Is b at most -10?
False
Let l = -177 + 112. Let v = -46 - l. Which is smaller: 0 or v?
0
Let l = -127/3 - -42. Is 6 > l?
True
Let p be -2*12/(-8) + -9. Is p greater than or equal to -2?
False
Let o = -0.1 - 0.1. Let i = o - -1.2. Let z = 1.127 - 0.127. Is z >= i?
True
Let c(y) = -y**3 + 7*y**2 + 7*y + 9. Let b be c(8). Let u = -2 - -1. Which is smaller: b or u?
u
Let o = -0.06 - -0.12. Let h = -0.46 + o. Is 0 less than or equal to h?
False
Suppose 0 = 4*h - 8. Let v(z) = z**2 + 11*z + 3. Let b be v(-11). Suppose -12 = -3*f - b. Is h greater than f?
False
Let b be 2 + (3 - (5 + -3)). Let v(q) = -q + 7. Let p be v(3). Let n = p - b. Which is smaller: 0 or n?
0
Let q = -70 - -143/2. Let n = q + -2. Which is smaller: -1 or n?
-1
Suppose 2*w + 1 = w - 4*g, 5*w + g - 71 = 0. Is w greater than or equal to 15?
True
Let p = 0.4 + -0.4. Suppose 6*j - 2*j - 16 = 0. L