- -1408. Let v = -0.1 + 0.02. Which is smaller: y or v?
v
Suppose 2*t = t + 18. Suppose -5*a + 7 + t = 0. Let z = -13 - -18. Do a and z have the same value?
True
Suppose u = -16*u - 2533. Is u equal to -150?
False
Let h be 1 + -4 + (-1 - -445*1). Let l = 9699/22 - h. Which is smaller: 0 or l?
l
Suppose 32 - 22 = 10*x. Do -2/469 and x have the same value?
False
Let o = -3566/11 + 147473/462. Let l = o + 36/7. Suppose 10 = 5*y - 5*z, 0 = -5*y - 5*z + z - 17. Is y at least as big as l?
False
Let f(w) be the third derivative of -w**6/120 + w**5/5 - 11*w**4/12 + 3*w**3/2 - 11*w**2. Let c be f(10). Is -7 at least c?
True
Let o be -36*((-16)/(-3))/(-4). Let l be 4 - (1 + 146/o). Which is smaller: 1 or l?
l
Suppose 0 = 5*l - 40 + 5. Let y be 0 + 1 + (l - 0). Let s be (y + -5)*3/(-12). Which is greater: s or -1?
s
Let r = -50 + 53. Let z be ((-5)/4)/((-1)/4). Suppose -1 = 3*a - z*f, -a - 5*f = r*a + 48. Is -7 at most as big as a?
True
Suppose j + 2 = 3*j. Let o = 493/28 - 125/7. Is j != o?
True
Let j be (4 + 0 + 3)/(-1). Let v(c) = -c - 16. Let a be v(j). Which is greater: a or -10?
a
Let w(p) = 14*p - 456. Let f be w(41). Which is greater: f or 119?
119
Let u = 5 - 7. Let i = -2603/2 + 1301. Is u > i?
False
Let y(q) = -q - 8. Let d be y(-8). Let g = -182 + 48. Let s be -1 + (-3 - g/34). Which is bigger: s or d?
d
Let v = -1095 - -1119. Which is greater: v or 25?
25
Suppose -3*l = -3*d + 192, d - l - 3*l - 55 = 0. Is 732/11 < d?
True
Suppose 5*k = 1421 - 1426. Which is smaller: 1/163 or k?
k
Let v(i) = i**3 - 9*i**2 + 4. Let s be v(9). Suppose s = -z + 2*z. Suppose -z*t = -8 - 0. Which is smaller: t or 8/5?
8/5
Let o be (-186)/(-28) + (-5)/30. Let p = 1529/168 - o. Which is smaller: 4 or p?
p
Let f = 125 + -123. Suppose 2*w = 2*z - 34 - 6, 3*w = f*z - 43. Which is greater: 20 or z?
20
Suppose 4*m + 19 = 5*m. Let f be ((-54)/(-5))/((-96)/(-180)). Which is greater: m or f?
f
Let l = -0.9 + 1. Let s = -96.2 + 79. Let b = s + 17.12. Are b and l nonequal?
True
Suppose 3*r - 1178 = -5*t, 5*t + 4*r = 652 + 527. Suppose 6*d - t = -1153. Let l = d + 2297/15. Are l and -1 nonequal?
True
Let f = 0.0137 + -0.0137. Let t = -0.3 - -15.3. Is f less than t?
True
Let a = 10 - 25. Let o = a + 14.94. Is 0 at least o?
True
Let n = -2057/1200 + 27/16. Let i = 1450 + -1451. Which is greater: n or i?
n
Suppose -42 = 3*q - 3. Let v = q - 17. Are -30 and v nonequal?
False
Let l be (-16)/(-22) + 44/(-726). Which is smaller: l or 32?
l
Let g = -333.4 + 363. Let m = 26 - g. Let n = m + -0.4. Does 0 = n?
False
Suppose -f - u + 3 = 2, u - 2 = -2*f. Which is smaller: 2/489 or f?
2/489
Let k be 2*(1/(-6))/(7/(-63)). Suppose 0*y = -y - 5*l + 6, -k*y = l + 24. Suppose -p - 4*p - 45 = 0. Is y at most p?
True
Let t = 2021/6 - 338. Suppose 0 = -4*c - 4*r - 12, 7*r - 3 = 4*c + 2*r. Which is smaller: c or t?
c
Suppose -20 = 2*b + 3*b. Let l(p) = -5*p**2 + 2*p - 15. Let r(v) = 4*v**2 - 2*v + 14. Let s(t) = -5*l(t) - 6*r(t). Let m be s(b). Which is smaller: 4 or m?
m
Suppose 0 = 5*i + 4 + 16. Let o = i - -10. Let u be (-6)/8 + o/12. Which is smaller: 1 or u?
u
Let r(i) = 2*i**2 - 5*i + 5. Let x be r(2). Suppose 4*p - x*c + 7 = 2*p, -3*p - 5*c + 18 = 0. Do -1/22 and p have the same value?
False
Let i = 1.085 - 4.185. Are i and -0.6 equal?
False
Let x be -2*1*-1*1/(-2). Which is smaller: x or -6/133?
x
Let a be 7/(-308)*(-120)/21. Is a <= 0?
False
Let y = -1396/5 + 280. Suppose 5*b = 3*b - 2*p + 4, 5*p - 10 = 2*b. Let d be ((-1 - b)*0)/(-2). Which is bigger: d or y?
y
Let o be -12 + (2 - 0 - 0). Let l be (-2)/(-5) - 6/o. Let w = 1990 + -19899/10. Is w greater than l?
False
Let t be ((54 + -6)/8)/(6/4). Which is greater: t or 3?
t
Let x = 1166 - 1065. Is x greater than -2?
True
Let o = 13.94 + 0.06. Let g be (24/34)/((-6)/9). Let k = g + 124/85. Is k equal to o?
False
Let x be (-5 - 72/(-14))*-15. Let o(d) = d**3 - 9*d**2 + 7*d + 5. Let c be o(8). Which is bigger: x or c?
x
Let x = -2138.162 - -2138. Is 2/7 less than x?
False
Let o = -5846/7 - -836. Which is smaller: 1 or o?
o
Let u = 0 + -1. Are u and 2/1123 equal?
False
Let i(t) = 5*t + 49. Let w be i(-10). Which is smaller: w or -9/22?
w
Let z = 294 + -157. Which is smaller: 1 or z?
1
Let h = -4 - -2. Let g = 72.9 + -68. Let y = -1.9 + g. Which is smaller: y or h?
h
Let p = 83702/155 + -540. Let t(v) = v - 2. Let s be t(2). Which is smaller: s or p?
s
Suppose -2*t + 6*t - 203 = -j, -3*t = 3*j - 150. Is t equal to 51?
True
Let s be (-1626)/(-78) - (-4)/26. Suppose h - 4*h = -s. Is h at least as big as 12?
False
Let q be ((-44)/(-5))/(14/(-35)). Let i be q*5/60 - -2. Are i and 2 nonequal?
True
Let z = -251/18602 + 3/142. Which is bigger: z or 1?
1
Suppose -8610 = -12*l - 30*l. Does -0.1 = l?
False
Let g be 2/8 - (3945/20 + 11). Are g and -417/2 nonequal?
True
Let n = -4 + 6. Let l be n*5/(-210)*-1. Which is greater: l or 1?
1
Let h be 2/33*12/(-2). Suppose -9 + 7 = -2*u. Let f be (1*(-2 + 1))/u. Which is smaller: f or h?
f
Let y = 5 - -9. Suppose -3*g + r + 26 = 0, -y = -3*g + 2*r + 17. Suppose 10*b = g*b. Which is smaller: 2 or b?
b
Suppose -60 + 50 = 2*z, -3*z - 25 = 5*h. Are -0.457 and h non-equal?
True
Let z = -7.7 + 15.3. Let o = 1.4 + z. Let t = -10 + o. Is -0.12 at least as big as t?
True
Let j(b) = -b + 4. Let n(z) = 4*z - 1. Let w be n(1). Let q be j(w). Is q smaller than 2/17?
False
Let t = -707 + 706. Suppose 0 = 2*l - 3*l. Suppose 2*a - c + 3*c - 8 = l, 0 = -4*c + 20. Is t at least as big as a?
True
Suppose 2*t + 1 = 5. Suppose x = -t*h + 10, -3*x - 23 = -5*h + 2. Let s = -103 + 102. Which is greater: x or s?
x
Suppose 21 = 7*v + 189. Let w = v + 32. Suppose -3*u + 6*t = 4*t - w, -5 = -2*u + t. Which is bigger: -0.3 or u?
u
Let u be (10*1/(-2))/(-1). Let b(y) = y - 4 - u + 6. Let g be b(-3). Which is bigger: -7 or g?
g
Suppose 4*f - 7*l - 9 = -6*l, f - 2*l = 11. Which is greater: f or 27/16?
27/16
Let s = -15 + -12. Let k(p) be the first derivative of -p**3 + 3*p**2/2 + 8*p - 7. Let z be k(-3). Is s less than or equal to z?
False
Let j(z) = z**2 - 21*z - 45. Let a be j(23). Let x be 0/(-1) + 1/31. Is x <= a?
True
Let j = -8 + 10. Let q be 0/(j/5*5). Suppose b - 6 = 3*a, -2*a + q*a + 1 = b. Is a bigger than 1/20?
False
Let t be (-33)/42 - (-4 + 0 + 4). Let w = -5/14 + t. Which is greater: -1 or w?
-1
Let n = -14 - -13.46. Let l = 0.6 + n. Let y = 0.3305 - 0.1305. Is l greater than or equal to y?
False
Let n = 28621/20 + -1430. Let b = n - 1/4. Which is smaller: 1 or b?
b
Suppose -509 = -2*b - w + 122, -b - 2*w + 308 = 0. Which is smaller: 317 or b?
317
Let j be (-1976)/(-16) - (1 - 1/2). Is j > 123?
False
Let d = 27.5 + -27.6. Suppose 2*n + 43 + 79 = 0. Which is greater: n or d?
d
Let c = -8 - 9. Let u = c - -15. Is -2 less than u?
False
Let i = 184 + -185. Is -1 bigger than i?
False
Let s be (10 - 3)*9*-2. Let g be 176/s - 22/(-77). Which is greater: 0 or g?
0
Let v = 11.8 + -3.8. Let p = 0.9 - -6.1. Let n = p - v. Which is bigger: n or 0.1?
0.1
Let j = -16 - 4. Let i = j + 17. Let n = -365/159 - 2/53. Which is bigger: n or i?
n
Let q be 0/((-5)/(25/(-10))). Is q > 24?
False
Let p be 3 + (0 - 4124164/(-5)). Let i = 11366238449/13780 - p. Let y = -1/212 + i. Which is smaller: 0 or y?
0
Suppose u - 9 + 4 = 0. Suppose u*f - 6*f + 23 = 0. Which is bigger: 24 or f?
24
Suppose 0 = -2*j - n + 9, -j + 1 = -5*n + 2. Suppose 5*y + 2*h + 18 = 0, -j*h - 1 = y - h. Let x be 33/(-44)*y/(-5). Is x less than or equal to -1?
False
Let q be -6*1923/(-22) - (1 - 4). Let r = -527 + q. Which is greater: r or -1?
r
Let i = 2.06 + -2. Let y = i - -0.02. Let b be 10/4 - (-193 + 195). Which is greater: y or b?
b
Suppose -2*q = -5*n - 19, 5*q - 12 = 2*n + 4. Let z be (28/(-10))/(q/(-5)). Is z < 4?
False
Let a(v) = -v**3 - 6*v**2 - 5*v - 6. Let r be a(-6). Let s = r - 22. Which is greater: s or 6/11?
s
Suppose 0*w + 2*w + 10 = 0. Let z(g) = -4*g + 4. Let c be z(w). Let l = c + -73/3. Which is smaller: 1 or l?
l
Let r = 29004/7 - 4158. Is -14 <= r?
False
Suppose 5*v = -0 + 10. Let h = 342 + -3748/11. Which is smaller: v or h?
h
Let u be (-4)/22 - (-22)/121. Let d be 235/(-110) + (-9 - -11). Do u and d have different values?
True
Let x be (-665)/(-14)*1/(15/12). Which is bigger: 1/3 or x?
x
Let m = -13.8 - -12. Let w = 3.57 - -0.23. Let a = m + w. Is -3/5 