 5*s - 90, 0 = -5*r - 2*s - 96. Let j = k + r. Is -1 <= j?
False
Let w = -17.3 - -5.3. Let y = -15.4 - w. Which is bigger: y or 1?
1
Let s = -91 + 86.9. Let l = 4 + s. Let n = -1329/5 + 265. Which is bigger: n or l?
l
Suppose -5*p + j = -12 + 4, 0 = 2*j + 6. Do p and 1/144 have the same value?
False
Let w = 5.1 + -5. Let d = -303/614 - 2/307. Is w less than d?
False
Let f(l) = 2*l + 7. Let h be f(-11). Let z be h/10 + (-2807)/110. Let w = z + 136/5. Are 1 and w equal?
False
Let c(v) = v - 3 + 2 + 3. Let z be c(3). Suppose -3*x - z*o = 23, -4*o + 7*o + 8 = 4*x. Which is bigger: x or 4?
4
Let o be (23 + 21)/(1*2). Let m be 744/(-9) - o/(-33). Which is smaller: m or -81?
m
Let y = -11 + 12. Suppose 30 = -4*n + 7*n. Let v be (-311)/(-215) + -1 - 4/n. Is y != v?
True
Suppose 3*c - u - 13 - 13 = 0, 2*c - 32 = -3*u. Let k be 0/(-1) + 14 + -12. Which is smaller: c or k?
k
Let w = -392.7 + 392. Which is smaller: -0.24 or w?
w
Let q = 153.036 + -152. Let l = -0.036 + q. Which is smaller: -20/7 or l?
-20/7
Let f be (-5 + -205)*(-4)/(-10). Let o = -329/4 - f. Which is bigger: 0 or o?
o
Let g = 579793/85 + -6821. Are -1 and g non-equal?
True
Let m(f) = -4*f**2 - 60*f + 15. Let i be m(-14). Which is bigger: 74 or i?
74
Suppose 2*u - 5*j + 188 = 0, u + 100 = 3*j + 4. Which is greater: -82 or u?
-82
Let j = 66954/17 + -3940. Let a = 736/459 + j. Is a less than or equal to 1/5?
True
Let k = -369 - -560. Is 193 at most k?
False
Suppose 0 = 3*a + w - 12, -a + w = -0*a. Suppose 2 = -s + a*s. Let y be (22/(-33))/((-8)/(-3)). Do y and s have the same value?
False
Let k = 7.5 - 7.72. Let u = -4.15 - -4. Let n = u - k. Which is smaller: 0.2 or n?
n
Suppose 0*r = r + 3*i - 18, -5*r + 2*i + 5 = 0. Suppose r*d = d + 992. Let y be 3/((-732)/d) + 2. Which is greater: -1 or y?
y
Let w = 67265 + -676217/10. Let y = w + 357. Which is smaller: 0 or y?
0
Let q = -0.024 + 24.024. Let t = q + 1. Is 1 greater than t?
False
Let j = 291 - 321. Which is smaller: -3 or j?
j
Let p = -985 - -984.943. Is p < 8?
True
Let x = 50 + -67. Let f = x + 18. Which is smaller: f or 2/15?
2/15
Let z = 28 + -30. Let c be ((-5)/(-2))/((-1)/z). Suppose 0 = -2*i - 2*i - 5*g + 6, 4*i + 14 = c*g. Which is bigger: 1/18 or i?
1/18
Let w be (21/70)/(21/(-35)). Which is greater: -934 or w?
w
Let u be ((-2070)/(-120))/((-6)/(-304)). Which is smaller: 876 or u?
u
Suppose 0 = 21*m + 2*m - 3588. Is m not equal to 156?
False
Let d be (23 + -3 - -6)/(-2). Which is smaller: -156/11 or d?
-156/11
Let v = -646 - -1263/2. Is -16 bigger than v?
False
Suppose -15*j = -310 + 11185. Which is smaller: j or -724?
j
Let t(c) = 47*c + 301. Let w be t(-7). Which is smaller: w or 2/3?
w
Let z = -36 + 42.1. Let v = -18 + 12. Let i = z + v. Which is smaller: -2 or i?
-2
Let q = 2 + 2. Suppose 0 = -4*v, 2*t - 33 = 5*t - q*v. Which is greater: t or -3?
-3
Let m be ((-24)/(-21) - 1)*-1. Let f be (-4)/6*(-3)/2. Let n be 2 - -1*(3/f + -4). Is m > n?
False
Let n(b) = 6*b - 52. Let k be n(9). Is k equal to 6?
False
Let j be 1/(-4)*((-128)/28)/(-8). Which is smaller: j or 3?
j
Let k = 1/5821 + -151363/98957. Which is bigger: -1 or k?
-1
Let n = -35 + 59. Suppose 3*l = 9*l - n. Let f be 2*(-3 + 14/l). Is 12/7 < f?
False
Let w = -1.11 + 3.11. Suppose 0 = 3*r - 3*t - 15, 5*t = -4*r - 21 - 4. Let i be ((3 + r)/6)/(-1). Are w and i nonequal?
True
Let g = -2/1703 - 8511/3406. Let z = 4 - 4.3. Is g greater than or equal to z?
False
Let m = 67.991 - -0.009. Let r = -67 + m. Let w = 8.3 - 8. Which is smaller: r or w?
w
Let g(j) = -j**2 - j + 21. Suppose 4*n - 5*q + 9 = -16, -2*q - 18 = 4*n. Let m be g(n). Which is bigger: m or 1/11?
m
Let n = 157 + -1415/9. Let v(t) = t**3 + t**2 - 4*t. Suppose -5*s - 6 = -2*a + 4*a, -4*a + 2*s = -12. Let g be v(a). Which is greater: n or g?
g
Suppose 0 = -4*w, 3*w - 2 = -2*d + 6. Suppose d*y = 12 + 24. Is 1 greater than y?
False
Let m = -2 - -2. Let u = 1.9 + -1.65. Which is smaller: m or u?
m
Let j be 1/(-2) + (-5)/(-14). Let x be -2*(2/(16/6)*-2 + 2). Which is smaller: j or x?
x
Let z = 177.5 + -178. Let f = -2 - -4. Let s = -3 + f. Are z and s unequal?
True
Suppose -36*c + 34*c = 94. Is c at least as big as -46?
False
Let d = -1/179 + -174/895. Which is greater: 5/2 or d?
5/2
Suppose -3*y - 5*s = 22, -4*y - 3 + 17 = -2*s. Is y less than or equal to 3/5?
False
Suppose -4 = 2*q + 4*o, 13 = 5*q + o + 5. Let t = 6619673/1960 + -27013/8. Let i = t - -2/49. Is i > q?
False
Let r = 56/17 - 125/136. Is 2 at most r?
True
Let p be 88/(-3894)*(-1 - 5/(-2)). Let k be 2/5 - 17/5. Let n(i) = i + 4. Let y be n(k). Do p and y have different values?
True
Suppose -7*f = 2*p - 2*f + 22, 5*p - 3*f = -24. Suppose 2*i - 4*t - 5 - 11 = 0, 2*i = -4*t + 16. Let g(y) = -y + 2. Let m be g(i). Are p and m non-equal?
False
Suppose 2*g = -5*k - 17, -5*k = g + 9 + 2. Let h(l) = -l**3 - 5*l**2 + 5*l - 6. Let f be h(g). Which is smaller: f or 6/17?
f
Let f = 105.9 + -106. Which is smaller: f or -75?
-75
Suppose -1 = -j - 0. Suppose 5 = -6*t - j. Suppose -3*h = 2*z, 5*h + 5*z - 2 = -7. Is t at least as big as h?
False
Let d(i) = i**2 + 12*i + 2. Let n be d(-12). Let j be 0/(0/(-8) - -1*n). Is j != 3/7?
True
Let m = -3 - -3.1. Let v = -155 - -3409/22. Which is smaller: m or v?
v
Suppose 0 = 4*u + 3*r + 35, 0 = r + 10 - 13. Is u != -39/4?
True
Let j = 137 + -138. Which is smaller: j or 5/286?
j
Let q = 457 + -439.3. Is -0.5 smaller than q?
True
Let p be 4/6*21/(-2). Let s = 15 + p. Let z = 35 + -26. Which is bigger: z or s?
z
Let z be 0 - -1 - (-3)/5. Suppose -2*t + 248 = 244. Which is greater: z or t?
t
Suppose 0 = 2*v + v. Suppose 10 + v = -5*w - 4*b, 0 = w - 2*b - 12. Do w and 7 have the same value?
False
Let a(k) = -k**2 - 8*k + 24. Let j be a(-14). Which is smaller: j or -182/3?
-182/3
Let k be (-598)/(-330) + (-18)/33. Are 2 and k unequal?
True
Let b be (-1054)/(-174) + (-3 - -13 - 16). Is -1 < b?
True
Let o be (-2 - -4 - 1)*0. Let i be 3/6 - (-10)/4. Suppose -i*n = -5*n. Is n != o?
False
Let h = -8.68 + 8.58. Let g be -26 - ((1 - 1) + 2). Let o be 24/g*1/3. Which is smaller: o or h?
o
Let j = -517/342 - -2/171. Which is bigger: -1 or j?
-1
Let s = 19 + -19. Suppose -5*n = -4*c - 0 - 11, s = 5*c + 3*n - 14. Let a be -5 - -3 - (c + -2). Is a at most -3/11?
True
Suppose 0 = -4*r + 8*r + 4*i - 40, 0 = 2*r + 4*i - 14. Suppose 4 - r = -9*a. Which is smaller: a or 4/17?
4/17
Let y = -7 - -6. Let q be (8/(-3))/(7/(-21)). Suppose -q*g = -4*g. Which is smaller: g or y?
y
Let n = 42 + -42. Suppose n = -2*d + 7*d + 85. Which is greater: d or -18?
d
Let a = 273311/6490 - 927/22. Which is smaller: 1 or a?
a
Suppose 3*m - 2*x = -16, -m - 2*x - 16 = 4*m. Let i be 3/((-3)/m) - 1. Let u = 507 + -504. Are u and i equal?
True
Let a = 2 + -1. Let v(r) = 0*r**3 + 14 + 8 - 12*r**2 + r**3 - 4*r + 2*r. Let g be v(12). Is g <= a?
True
Let p = -0.2 - -0.4. Let d = -4.19 + 2.19. Let z = d + 1.91. Is p >= z?
True
Suppose -z + 0*z + 9 = 0. Let l be 4/((-12)/13)*-3. Let t = l - z. Is 4 less than t?
False
Let w be 132/(-220) + 1801/3035. Is w at least 1?
False
Let z = -61.63 - -62. Let u = z - 0.369. Which is smaller: -2/5 or u?
-2/5
Let x(p) = -p**3 + 13*p**2 + 13*p + 16. Let c be x(14). Suppose c*z = -21 - 3. Does z = 3/4?
False
Let g = -920 - -57958/63. Let c = g - -1/7. Let i = c - 43/63. Which is greater: i or 0?
0
Let a = -3.4 + 4.1. Let u = a - 0.85. Is -1 != u?
True
Let h be -3 - (12/(-3) - -1). Let b = 48 - 26. Let k = b - 52. Is h bigger than k?
True
Let p = 109/690 + -4/69. Let c = p - 0. Which is smaller: c or -0.2?
-0.2
Let f = -24 - -40. Let t = 35739/13 - 2749. Are f and t nonequal?
True
Let f(w) be the third derivative of -w**4/12 - w**2. Let m be f(-3). Suppose -m = -5*y - 5*x + 2*x, 4 = -2*y + 2*x. Which is greater: y or 2/31?
2/31
Let b be ((-6)/4)/((-1)/(14/(-21))). Let s(l) = l**3 + 4*l**2 - 5*l - 3. Let v be s(-5). Let p = -5 - v. Is b at most as big as p?
False
Suppose -16*n + 10 = -15*n. Suppose -n*r - 25 = -9*r. Do -25 and r have the same value?
True
Let y be (-14)/30 - 4/20. Is 67 at least y?
True
Let u = -802 + 797. Which is bigger: -7 or u?
u
Let h be (-5827)/(-15)*(-15)/10. Let p = h + 582. Which is smaller: p or 0?
p
Suppose 2*i = 2*d + 282, -4*i + 561 = -8*d + 3*d. Which is bigger: i or -0.2?
i
Let p be ((-55)/44)/((-51)/(-60) - 1).