 v = -2 + a. Which is smaller: 1/2 or v?
v
Let l = 5 + 1. Let j = -8 + l. Is -1 greater than j?
True
Let s be 1/(1 + 6/(-4)). Let d be (5 + -3)*(-25)/(-2). Let w = d + -53/2. Is s greater than or equal to w?
False
Let i = 0.68 - -0.22. Let p = 0.8 - i. Which is bigger: p or -4/9?
p
Let y = 3/31 + -71/93. Which is bigger: y or -12?
y
Suppose -3*l + 2 = y, y + 2*l + 4 = 3*y. Let x be (3/(-3))/(y/(-10)). Is 6 >= x?
True
Let f = 0.3 + -0.5. Suppose -3*i + 4*b = 14, -6*b - 2 = 5*i - 2*b. Let k be (i + (-16)/(-6))/(-1). Which is greater: k or f?
f
Let o = 9.9 - 9.94. Are 6 and o nonequal?
True
Let o = -0.189 + 2.529. Let v = o - 0.44. Let f = v + -2. Is f equal to 4?
False
Let z(v) = -v + 2. Let j be z(-2). Suppose a = -3*d + 5*a + 8, -5*d + 2*a + j = 0. Is -5/7 <= d?
True
Suppose -4*l - s = -6*s + 38, 5*l + 25 = -5*s. Let n = 6 + l. Which is smaller: 0 or n?
n
Suppose 3*o - 47 = -4*s, 0 = -0*o - 3*o - 3*s + 51. Is 20 equal to o?
False
Let n(m) = -m**2 + 8*m - 4. Let x be n(6). Let g = -274 + 281. Is x at least as big as g?
True
Let g(n) = 1. Let r(k) = k - 4. Let d(u) = -4*g(u) - r(u). Let c be -2*((-1)/2 + 0). Let x be d(c). Which is smaller: x or -2?
-2
Let z(w) = -w**2 - 15*w - 10. Let d be z(-14). Suppose -2 = 5*i - d*i. Suppose -10 = -2*o + 7*o. Do i and o have the same value?
True
Let u = -13 + 18. Which is greater: 3 or u?
u
Suppose -5 = 2*k - 3*k. Suppose -5*o - p + k = -0*p, 5*o = -5*p + 5. Is o smaller than -1/4?
False
Suppose 9*z = 4*z + 5*k - 10, -7 = 5*z - 4*k. Let o = -13/9 + 149/72. Let s = -7/24 + o. Are s and z unequal?
True
Let n = -18.1 - -5. Let w = -13 - n. Do w and -0.09 have the same value?
False
Suppose -o - 8 = -4*s, -o + 1 + 3 = 2*s. Let d = o + 0. Let j be 12/(-50)*(-10)/3. Which is greater: d or j?
j
Let h = -7 - -4. Is 3 > h?
True
Let w = 2.7 - 2.3. Which is smaller: w or 1?
w
Let r = -15/4 + 79/20. Which is bigger: 1 or r?
1
Let n = 3533/31 + -114. Which is smaller: 1 or n?
n
Let q = -0.1 + 0.3. Let z = 13 + -8. Let k = z + -3. Which is smaller: k or q?
q
Let u = -9 - -22. Let j = 13 - u. Which is greater: j or 4?
4
Let d(c) = 7*c**3 + 2*c**2 + 2*c + 1. Let k be d(-1). Let h be 3/2*(-4)/k. Let x be -1 + (1 - 4/(-22)). Which is smaller: h or x?
x
Let q = 8.5 - -31.5. Is q less than or equal to 0?
False
Suppose 2*s = -a - 75, -5*s - 2*a - 230 = -44. Suppose 5*t - 305 = 5*g, 0*g - 256 = -4*t - 2*g. Let x be 4/t + (-8)/s. Is x less than or equal to 0.2?
False
Let z = 53 + -37. Is z at least 17?
False
Suppose 4*k - 12 + 8 = 0. Which is bigger: k or -1.2?
k
Let u be (2 + 10/(-4))/((-1)/(-2)). Is u less than -4/11?
True
Let v be (6/(-15))/(2/(-20)). Suppose 6 = v*a - 6, 0 = -4*o + a + 17. Let r = -7 + o. Are r and -3 non-equal?
True
Suppose -5*f = -2 - 33. Suppose -2*q - 30 = 5*g, 0 = -3*q + 4*q - 3*g - f. Let n be q + (-6)/(-9)*3. Is n != -2?
True
Let t = 48 - 53. Are -10 and t unequal?
True
Let x(b) = -b**3 + 3*b**2 + 2*b. Let q be x(2). Suppose -3*n - q = 4*v + 4, 3*v = -n - 4. Are -4 and n non-equal?
False
Let g = -83 - -76.1. Let t = g + 7. Which is smaller: 0.2 or t?
t
Let z be (-42)/4*8/12. Is -15/2 smaller than z?
True
Let u be 1 - -302*1/70. Let h = 40/7 - u. Is h equal to 1?
False
Suppose 2*t - 3*p - 1 = 0, 5*p = -4 + 19. Suppose 3*s - 17 = -4*v, 4*v - 15 = -t*s - 0. Which is smaller: 2/21 or s?
s
Suppose i + 5*b = -25, -i = -2*b - 13 + 3. Which is smaller: -2/37 or i?
-2/37
Let h be 42/(-9) - (-3)/(-9). Let p = 3 + h. Which is bigger: 0.1 or p?
0.1
Suppose 3*u - 20 = -5*x, -u + x + 1 = -3. Let a = u + -9. Let k be (-18)/4*a/3. Is 5 equal to k?
False
Let o = -417/440 + 4/55. Which is bigger: 0 or o?
0
Suppose 4*f - f = 2*r, 0 = 5*f - r - 7. Let k be (0 + -2)/f - 2. Let b be 0/(k + -2 + 3). Which is smaller: -2/3 or b?
-2/3
Suppose f - 15 = 6*f. Let n(b) = -2*b - 7. Let y be n(-6). Let i(w) = w**2 - 5*w - 4. Let m be i(y). Are m and f non-equal?
True
Suppose -r = 3*j - 0*r + 23, -4 = 2*j - 5*r. Is -3 < j?
False
Let v be 4/(-9)*(-18)/12. Is 11 <= v?
False
Suppose 3*q + 69 = -0*q. Let k be q/4 - (-1)/(-4). Let x = k + 5. Is x <= -1?
True
Suppose -3*k = -r - 14, k - 5*r + 7 - 21 = 0. Let p = 14 - 13. Suppose -5*f + p = -k. Is -2/5 > f?
False
Let n = 0.1 + -1.1. Let w = 116 + -108. Which is smaller: w or n?
n
Suppose 0*x + 4*x = 20. Suppose 5*f + x*s = s + 26, -3*s + 27 = 5*f. Let i be ((-4)/f)/(-2)*-3. Is -1 bigger than i?
False
Let y = -0.3 + 0.4. Do 0.5 and y have the same value?
False
Let b = -142 + 143. Which is greater: 9/7 or b?
9/7
Let d = -73/7 + 393/35. Which is bigger: d or 0.1?
d
Suppose -n - l = -69 - 43, 0 = -3*n - 5*l + 340. Let y = n - 325/3. Are y and 1 equal?
False
Let n = -106 - -102. Which is bigger: -6 or n?
n
Let h be (-3)/(-6) - (-2)/(-4). Suppose 3*f = f + 34. Let o = f - 52/3. Which is greater: o or h?
h
Let h(w) = -w**2 - 3*w - 1. Let f be h(-3). Suppose 2 = 30*l - 31*l. Are l and f unequal?
True
Let p(y) = y**3 - 5*y**2 - 7*y + 4. Let w be p(6). Let o = 0.1 + -0.3. Let l = -0.1 - o. Which is smaller: l or w?
w
Let t be (-104)/(-70) + -6*(-2)/(-8). Is 0 equal to t?
False
Suppose 7 = -3*m - 8. Let l = m - -9. Is 3 > l?
False
Suppose -4*y = 4*o + 164, y - 2*y = -2*o + 38. Let n be (-11)/y + (-4)/10. Is n at most as big as 0?
True
Let d = -5 + 5. Suppose -k - 3*k + 8 = d. Does 2 = k?
True
Let b = -14 - -14. Let m = 16 + -17. Is m >= b?
False
Let f = 6 + -9. Let h be (4 - 4)*(-1)/f. Is -6/11 > h?
False
Let n = 835 + -5835/7. Let j = 13/14 + -3/7. Which is greater: j or n?
n
Suppose -2*g + 29 = 5. Let f = -10 + g. Is 6/5 at least as big as f?
False
Let u(f) = 5*f**2 + 4*f - 10. Let l be u(-3). Is 45/2 less than l?
True
Let m = 72 + -77. Which is smaller: -0.3 or m?
m
Let n = 3 - -8. Is 10 at least n?
False
Let h(n) = -5 - 2*n**2 - 3*n - 4*n - n**3 - 3*n**2 + 5*n. Let p be h(-5). Which is greater: 4 or p?
p
Let j be 40/(-25)*15/(-3). Suppose 5*h + 2 + j = 0. Which is greater: h or 1?
1
Let i(o) be the second derivative of o**5/20 - o**4/2 + 7*o**3/6 - 7*o**2/2 + 2*o. Let z be i(5). Suppose -b = z*b. Is -1 >= b?
False
Suppose -1 = 4*s + 3. Let p(q) = -q**2 + q - 3. Let c be p(0). Is s less than c?
False
Let v be ((-3)/(-24))/((-4)/(-8)). Let j be 2 + 2/2 - 2. Is v != j?
True
Let t(n) = -n**2 + 4*n + 12. Let v be t(6). Which is smaller: 6/7 or v?
v
Let r = -11.4 + 12. Let n = r - 0.7. Which is bigger: n or 0.2?
0.2
Let o = -1 + 0. Suppose -17 - 1 = -3*u. Suppose -s = -u*s + 15. Is o equal to s?
False
Let f(k) be the second derivative of -k**4/12 - 4*k**3/3 + 11*k**2/2 + k. Let z be f(-9). Let c be (3 - 2) + z*-1. Is c < -1?
False
Let n = 54.76 + 0.24. Let q = n + -52.7. Let c = q - -0.7. Which is bigger: c or -2?
c
Suppose -3*d + 49 + 11 = 0. Let b be (6/(-16))/(135/d). Which is bigger: -1 or b?
b
Let t = 9 - 15. Let z = 6 + -5.9. Which is smaller: z or t?
t
Let t = -1574/19 + 83. Is 1 at most as big as t?
False
Let u(g) = -g**3 - 17*g**2 + 16*g - 19. Let s be u(-18). Is s bigger than 17?
False
Let p = -0.28 - 0.02. Let l = 0.2 - 0.2. Let j = 0 - l. Which is smaller: j or p?
p
Let d = -34 - -33. Suppose -2*o + 7*o = -5. Are d and o unequal?
False
Let d be -1 - (-1 - (-1 + 0)). Let x = -310 - -617/2. Is d not equal to x?
True
Let g be -3 + -1 - (1 - 3). Which is smaller: g or -3/2?
g
Let v = -2000/83187 - 2/3081. Which is smaller: v or 1?
v
Let a be (-2)/(-8) + (-74)/8. Suppose 5*g = -15, n + 6*g + 11 = 5*g. Which is smaller: n or a?
a
Let p be (-1)/2 + (-11)/(-30). Let s = 1.9 + -1.8. Which is bigger: s or p?
s
Let n be 63/5 + 36/(-60). Are n and 53/5 equal?
False
Let a be 10/(-2) + 12 + -11 + 68. Which is greater: a or 65?
65
Let x be -2 + 9/24*6. Let n be (6/8)/(5/(-80)). Let g = n - -13. Which is smaller: g or x?
x
Let c = -74/3 - -25. Which is greater: 3 or c?
3
Let m = 119983072004/135106851 + -2/12282441. Let u = -888 + m. Which is smaller: u or 0?
0
Let b(t) = -t**3 + 9*t**2 - 9*t - 7. Let w be b(7). Suppose 4*o - 2 + w = 5*i, 10 = i + 4*o. Suppose 0 = -q, 2*j - 3*q + 8*q - i = 0. Is j less than 1?
False
Let y(w) = w**2 - 11 - 3*w**2 - 3*w**3 + 2*w**3 + w + 12*w**2. Let s be y(10). Is -3/5 smaller than s?
False
Let i be (3/(-6))/((-1)/16). Is 8 at most i?
True
Let q = 2.92 + 0.08. Let h = -88.2 + 91. Let g = q - h. Do -2 and g have different values?
True
Let i = 4 - 6. Let f = 2 + 2. Let y =