(i). Which is greater: 4 or u?
4
Suppose -4*r - 3*r = 217. Let i = r + 45. Which is smaller: i or 13?
13
Let t = -49 + 35. Let c = 9 + t. Let d be 22/(-4) - 2/(-4). Is c at least d?
True
Let a = 1 - 0. Let j = -97/198 + 6/11. Which is smaller: a or j?
j
Let w = -33.69 + 34. Let f = w - 2.31. Is 0.4 >= f?
True
Let y = -50 - -50. Suppose -8*l + 3*l - 170 = y. Do -34 and l have different values?
False
Let g = 0.349 + 23.351. Is -1 < g?
True
Suppose 5 + 25 = -5*a. Suppose 3*z - 2*c = -z - 30, -z = -3*c. Let t = a - z. Which is smaller: t or 4?
t
Let l be ((-180)/8280)/(1 + 234/(-232)). Is 3 >= l?
True
Suppose -5*m - 2*l + 3*l = 1, -3*m + 2*l + 5 = 0. Suppose 0 = -4*j - 0*t - 5*t - 33, -j + 2*t - 5 = 0. Which is greater: m or j?
m
Let p = -3904105/68 - -57406. Let b = -69/17 - p. Which is smaller: b or 3?
3
Suppose 0 = 98*c - 96*c - 134. Is c less than 65?
False
Let r = -0.04 + -0.24. Let b = r + 0.08. Which is greater: b or 1/2?
1/2
Let x(d) = 3*d**2 + 3*d - 4. Let g be x(3). Let k be (-44)/g - (0 - 2). Suppose r = s - 7 + 3, 4 = -2*r. Is s < k?
False
Let h(f) = -6*f**2 - 17*f + 3. Let a be h(-3). Which is smaller: a or 6/55?
a
Let v be (-2)/(-85) - 0/(-4). Let m = -5.38 - -0.38. Let b = 5 + m. Is v <= b?
False
Suppose -7*f + 33 = -9. Let m be (867/34)/(f/8). Are m and 34 nonequal?
False
Suppose -19*q = -2*a - 23*q - 26, -5*q = 20. Which is smaller: a or 3.8?
a
Let q = 165 + -3467/21. Which is smaller: -1 or q?
-1
Suppose 0 = 9*r - 29 + 11. Suppose -r*p = -5*p - 213. Which is smaller: p or -72?
-72
Let u = 738 - 1365. Do u and -625 have the same value?
False
Let c = 327 - 207. Is c <= 120?
True
Let b be (130/(-3))/(10 - 168/18). Which is smaller: -64 or b?
b
Let l = -1606 - -308357/192. Which is greater: l or -1?
l
Suppose 1 + 2 = -l. Let w = 766 - 772. Are l and w non-equal?
True
Let f(g) = -g**3 + 5*g**2 - g + 6. Let p be f(5). Let n = -45 + 52. Suppose -5*c + 2*q = -14, 4*c - 12 - n = -q. Which is greater: c or p?
c
Let f = -304 + 309. Which is greater: -37 or f?
f
Let l = -202.609 - -202.6. Are l and 2 unequal?
True
Let n be ((-30)/24 + 2)*8/(-3). Which is bigger: 110 or n?
110
Let z(j) = -6*j - 3. Let t be z(-5). Let o = t + -271/10. Which is greater: o or 2/9?
2/9
Let p(d) be the second derivative of d**5/20 + d**4/2 - d**3/3 - 13*d**2/2 + 5*d. Let n be p(-6). Is n less than -4/11?
True
Suppose 7*l - 88 = 3*l. Suppose 0 = -5*z + 117 - l. Is 19 at least z?
True
Let x be (-543)/(-5) - (11 - 10). Suppose -2*g + 231 = 5*i, 3*g - 403 + 88 = 3*i. Let z = x - g. Is z less than -1?
False
Suppose -7*x - 34 + 216 = 0. Let g = x + 7. Is g greater than 35?
False
Suppose w + 2*w - 3 = 0. Let n = -5510.01 - -5484. Let f = 26 + n. Which is bigger: w or f?
w
Suppose 48*n - 50*n - 4*f = 2476, 3*f + 4967 = -4*n. Do n and -1245 have the same value?
False
Let l(x) = -x**2 + x. Let n(a) = a**3 + 9*a**2 - 11*a - 8. Let w(t) = l(t) + n(t). Let p be w(-9). Which is bigger: 1/30 or p?
p
Let d = 4 + 4. Let a = -13 + d. Let m = a + 3. Which is bigger: -1 or m?
-1
Let q = 16.731 - 0.731. Are -2/11 and q unequal?
True
Suppose -10 - 11 = 3*y. Suppose b = 13 - 2. Suppose -3*w - b = 7. Is y at most as big as w?
True
Let d(y) = 4*y - 2. Let v be d(-2). Let s be v/(-2)*(-10)/(-25). Suppose s*j - 2 = -4*a, -a = 2*j - 5 - 0. Is j <= 5?
True
Let g be (-6)/(-3) - 2 - -3. Suppose -2*o = g*o. Suppose -3*j - 5*f - 5 = -4*j, o = -5*j + f - 23. Which is smaller: -9/2 or j?
j
Let a = 23 + -23.052. Let p = a + -0.028. Is p less than or equal to -2/15?
False
Suppose -23 - 28 = -17*f. Let d = 31 - f. Which is smaller: d or 29?
d
Let o(z) = -7*z - 89. Let n be o(-11). Are 6 and n unequal?
True
Let t = -11 + 24. Let d be 774/70 - (-8)/(-140). Which is smaller: d or t?
d
Let g be ((-1335)/240 - -5)/(2/(-8)). Is 1 < g?
True
Let h = 101 + -260. Is -637/4 > h?
False
Suppose -17*o = 12*o - 957. Is o less than 158/5?
False
Suppose 0 = h + 4*a - 26, -2*h - h + 146 = -5*a. Let u be (h/(-10))/(-7) - (-4)/10. Which is greater: 0 or u?
u
Let m be (-147)/(-196) + (-294)/328. Is -1 greater than m?
False
Suppose -6*l + l = -255. Let k = 52 - l. Which is bigger: -6/25 or k?
k
Suppose 0*s + 5 = 5*s. Let v = -746421 + 21623993/29. Let h = 766 + v. Which is bigger: h or s?
s
Let q = 7 + -3. Suppose 3*h + 5*x - 12 = 0, -5*h + 2*x = -0*x - 20. Do h and q have different values?
False
Let v(g) = -2*g**2 + 12*g - 17. Let n be v(8). Is n != -48?
True
Let k be 2/11 - (-590)/22. Let b = k - 80/3. Which is smaller: -5 or b?
-5
Let t(w) = -56*w**3 + w**2 - 4*w - 4. Let z be t(-1). Which is bigger: z or 59?
59
Suppose 164*z = 159*z + 260. Is z greater than or equal to 61?
False
Let u be (-63)/(-28)*(-1 - -5). Is 6 >= u?
False
Let b be 4/24 - (995/6)/5. Is -36 at most b?
True
Let g = 0 - 0.3. Let h(d) = d**3 - 9*d**2 - 12*d + 5. Let y be h(10). Let j = y - -13. Is g <= j?
False
Suppose -4*b = q + 288, -203*b + q = -199*b + 288. Which is greater: -70 or b?
-70
Suppose 0 = 5*n + 3*p + 32, 3*p - 2*p - 16 = 5*n. Let u be n - (3 - 9 - 0). Suppose 4*a - u*a = 0. Which is bigger: 2/21 or a?
2/21
Suppose 2*t - 6 + 0 = 0. Suppose t*u = 54 + 21. Suppose -l + 3*q = -13, -45 = -0*l - l - 5*q. Is l >= u?
True
Let o = -1.328 + 9.328. Which is bigger: -9/4 or o?
o
Let v = 18.38 + -5.38. Which is greater: v or -10/9?
v
Let t(y) = -y + 2. Let d be t(-2). Suppose d = g + 1. Let z be (80/(-14) - -3) + g. Is z < -1?
False
Let o = -0.829 - -0.029. Is -0.6 greater than or equal to o?
True
Let j be (-2)/(-4) + (-100)/8. Let u = 15 + j. Suppose u*c = -3*i, 2*c + 10 = -0*c + 3*i. Which is greater: -3 or c?
c
Let p be 161/49 - (-2)/(-7). Suppose 17 = 4*k - k - 5*f, -5*k = -5*f - 25. Let w = 0 + k. Which is greater: w or p?
w
Let h = 0 - 0. Let g be ((-5)/(-20))/(69/(-116)). Let y = g - -2/23. Are y and h unequal?
True
Let g be (-3)/(-9) + 547/15. Let i = g + -9026/245. Let w = 137/245 - i. Is w equal to 1/3?
False
Let h(f) be the first derivative of f**3/3 - 9*f**2/2 + 2*f + 29. Suppose -5*n - 46 = -4*y, -3*n + n - 31 = -3*y. Let d be h(y). Which is bigger: d or 6/7?
d
Let h be 18*12/96*-4. Which is greater: -54 or h?
h
Suppose 5*d + 15 = 20. Let s be (-2 + (-14)/(-4))*6. Let a be ((-6)/100)/(s/(-6)). Which is greater: a or d?
d
Let k = 416.1 - 416. Which is smaller: k or 0.032?
0.032
Suppose v + 2*y - 4 = 0, 4*v - 22 = -y - 4*y. Let z be (14/1)/(v + -6). Suppose -z*o = -3*o + 16. Which is greater: -5 or o?
o
Suppose 5*k - 10 = 15, 0 = 3*w - 4*k + 8. Let j be 2/(-12) - -1 - (-4)/2. Which is bigger: j or w?
w
Suppose 5*j = -81 + 81. Let l be j*(4 - 2)/2. Which is bigger: 1.9 or l?
1.9
Let z = -4 - -5. Let x = 3/19 - 40/133. Is z equal to x?
False
Let l be (-20)/6 - (-6)/18. Let p be 1/(-7)*-2*l. Is -1 >= p?
False
Suppose -3*t - 3*x - 7 = 182, -2*x - 254 = 4*t. Is -67 < t?
True
Let t be (-504)/140*(-2 + 1). Which is smaller: t or 5?
t
Let t = 131.07 + -0.07. Let k = -132 + t. Is k less than or equal to 80?
True
Suppose 0 = -5*n - 12 + 27. Suppose 4*f = -2*w + 2, n*w - 7*w + 1 = 5*f. Is f greater than or equal to 3?
False
Let j(z) = -z**2 - 5*z + 2. Let c be j(-5). Let s = c + -15. Let v = -13 - s. Is v > -4/3?
True
Let p be 2/1 + 32 - 0. Suppose 5*u + 2*n + n = -42, n + p = -5*u. Let b be (-2)/(-15)*u/4. Does 0 = b?
False
Let t be (1197/28)/(6/(-4)). Which is greater: t or -30?
t
Let b = -281 - -280. Which is greater: b or 1/5?
1/5
Let d be 1 - ((-22)/3)/2 - 3. Which is smaller: d or 2?
d
Let y be (-5)/(-15) + (-155)/(-12). Which is smaller: y or 12?
12
Let l be ((0 - 2)/(28/(-7)))/(-1). Which is greater: l or 1/46?
1/46
Let g be 450/5580*8/(-10). Are -1/7 and g nonequal?
True
Suppose 0 = -755*d + 765*d. Which is greater: d or -1/952?
d
Let n(i) = -i**3 - 6*i**2 - 4*i + 7. Let l be n(-5). Suppose -2*a = 5*a - 14. Suppose -l*h = a*h - 8. Is h equal to -1?
False
Let f = -831 - -23265/28. Suppose 0 = 2*o + 3*x - 5, o + 2*o + 4*x - 7 = 0. Is o at most f?
False
Suppose 4*r - 2*u = -4*u - 46, -3*r - 3*u - 36 = 0. Let s = 12 + r. Let x be (-5 + -5)/(s - -1). Which is smaller: x or -6?
-6
Let c = 2278/3 - 752. Is c at least 6?
True
Let q(d) = d - 7. Let h be q(5). Let v = 5 + h. Let i be 15/(-135) + 19/9. Is i >= v?
False
Let x be 29/(1392/(-8244)) - (-1 + 1). Which is greater: x or -173?
x
Let y = -149/564 + 2/141. Suppose -55 = -5*c + 70. Let d be