 = s - 7 - 1, 2*s + 4*b - 8 = 0. Suppose s = -5*t + 15, 0 = h + 5*t - 4*t + 69. Which is smaller: -71 or h?
h
Let g be 4 + (1 - (7 - 3)). Let x be 136/(-51)*(-22)/24. Which is smaller: x or g?
g
Let t = 8/15 - 17/60. Let f be ((-72)/(-15) + -5)/(-1 - (-78)/30). Which is greater: f or t?
t
Let c = -116 + -378. Let i = -355 - c. Is 139 smaller than i?
False
Let v = 102.81 - 103.11. Which is smaller: v or 4/275?
v
Let p(s) = -s**2 + 7*s - 4. Let b be p(5). Suppose 5*i = b*i + 5*r + 18, -6 = 3*i + 3*r. Let q be (-1)/((-35)/20 + i). Which is smaller: q or -2?
q
Let p = -697.72 - -698. Let r = 2.42 - 2.8. Let b = p + r. Is b equal to -5/2?
False
Suppose -910 = -17*k + 147*k. Are k and 93 nonequal?
True
Let h = -121 + 189. Let c = h - -33. Let p = c - 98. Which is smaller: 10 or p?
p
Let q = 6301/3 - 78826/39. Let h = 3038 + -2959. Let l = h - q. Which is bigger: -4 or l?
l
Let b = -41 - -40.33. Let i be 0/(5/1 - 7). Are i and b nonequal?
True
Let h = 2/8425 + 788578/8425. Let a = -1365 - -1459. Is a at most h?
False
Let c be (-15 + 12)/(297/(-128058)). Let l = -1294 + c. Is 0 at most l?
False
Let s be -2*(4/8 + -5). Let b(t) = t + 31. Let v be b(s). Which is smaller: v or 34?
34
Suppose 4*h = -2*r - 146, 2*r = r - h - 74. Let s = r - -73. Let y be s/((-10)/457) - 8/20. Do y and 91 have the same value?
True
Let t = -52382/483 + -142/161. Let b = t - -12154/111. Suppose -2*f - 3 = f. Which is bigger: f or b?
b
Let t(h) = 4*h**2 - 4*h + 4. Let q be t(2). Suppose -5*c = -a + 34, 9*c - q*c = 2*a - 3. Which is smaller: 7 or a?
7
Let f = -46 + 50. Suppose 18 = 3*l + f*o - 3*o, -3*l + 3*o = -6. Suppose -5*q - 27 = -5*i - q, 5*i - l*q = 30. Is i equal to 3/2?
False
Let p(x) = 7*x + 767. Let n be p(-40). Which is smaller: n or 491?
n
Let q = -1738/57 + 15400361/505077. Which is smaller: 1 or q?
q
Let g = -7417/2 - -3708. Are g and 1.674 non-equal?
True
Let h be (6/(-32) + 0)*59/(-295). Let z = 9/16 + h. Which is smaller: 0.2 or z?
0.2
Let d = 0.0098 + -30.3098. Let n = d + 30.4. Is n < -122?
False
Let y be (-4 - -632)*(8 - 87/12). Which is smaller: 473 or y?
y
Let n = -553811 + 220969787/399. Let i = -40/21 - n. Is 0.03 less than or equal to i?
True
Let s be 4 - (0/6 - -49). Let u be ((-12)/s)/((-6)/15). Let v = 0.2 + -10.2. Which is bigger: v or u?
u
Let g be ((-120)/315)/((-4)/(-40626)). Let z = -3862 - g. Let b = -35/96 + 1/32. Which is greater: b or z?
z
Suppose 4*z + 3*x + 1 = -2, 4*x - 18 = 2*z. Let l(i) = 5*i - 6. Let a(o) = -2*o. Let c(j) = 6*a(j) + 2*l(j). Let y be c(-4). Are z and y nonequal?
True
Suppose -24 = -8*x + 7*x. Let v be 416/x - (1/3 - 1). Let y be 23 - v - 38/5. Is -2 >= y?
True
Let q be ((-8)/(-24))/(1/(-3)). Let d(y) = -67*y - 5. Let p be d(q). Suppose -5*u = -f - 201, -p = -0*u - 2*u + 5*f. Are 41 and u unequal?
False
Let v be (-13335)/42*((-66)/10 - -1). Is 1776 > v?
False
Suppose -3*s + 59 = -4. Let g be 24/s*-2 + -2 + 4. Is 19 greater than or equal to g?
True
Let c(q) = 3*q**2 - 6*q - 506. Let s be c(14). Which is smaller: s or -88/47?
s
Let r = -12549/56 + 1146/7. Let h = -6367/104 - r. Is h greater than -2?
True
Let j(t) = -11*t + 6. Let n be j(-3). Suppose 36*m = n*m + 75. Is m at least -25?
True
Suppose 0 = -5*t - 25, 5*u + 7564 + 11086 = t. Let s = u - -1589407/426. Are s and -1 nonequal?
True
Let j(f) = -f**3 - 21*f**2 - 90*f - 2. Let o be j(-15). Which is bigger: 756 or o?
756
Let b(l) = -2*l**3 - 17*l**2 + 15*l + 22. Let u be b(-7). Let z = 3591 + -6737/2. Let s = z + u. Is -9 smaller than s?
True
Let n = -1718 - -1717.4. Which is smaller: 1/3 or n?
n
Let g = 1/98 - 563/64778. Let a = g - -1946/24457. Is 0 != a?
True
Let h = 4.68 + -4.81. Does 7.77 = h?
False
Suppose -4*i - 66*h + 56*h = -98, -4*i + 5*h = -143. Are 95/3 and i equal?
False
Let y = 82 - 80. Suppose 0*i - n = 2*i - 6, -5*i + y*n = 3. Let o be 448/(-2706) - 4/(-22). Which is bigger: i or o?
i
Let o(h) = 3*h + 108. Let u(x) = 2*x + 53. Let f(y) = -2*o(y) + 5*u(y). Let w be f(-12). Which is smaller: 3/20 or w?
3/20
Let v be ((-34)/24)/((-7260)/30976). Which is smaller: v or 7?
v
Suppose 42 + 71 = -27*c + 86. Let i be 3*((-2)/106)/(-1). Is i < c?
False
Let w = -15.6 - -14.7. Let o = w + -3.1. Which is smaller: o or 4?
o
Suppose -1834*o + 1825*o - 5292 = 1359. Which is bigger: -742 or o?
o
Let j(g) = -g**2 + 2*g + 2. Let f be j(0). Suppose -3*d - d = -3*k + 27, -d + 18 = f*k. Suppose 8*w - k = 15. Which is bigger: w or 17/4?
17/4
Let d(j) = 368*j + 2. Let n be d(2). Let h be n/(-20) - (-4)/(-40). Let a = 58 - 96. Is h equal to a?
False
Suppose -133*p + 40 = -57 - 36. Do p and -3/13279 have the same value?
False
Let i = -11 + 11. Suppose 0 = -5*g + 5, 4*t - g + 3 + 18 = i. Let p be -13 - 25/(-5) - -4. Which is smaller: p or t?
t
Let d be ((-6)/(-4))/(9/102). Suppose -18*z = -d - 73. Are 10 and z equal?
False
Let o = -11.67 - -12.2. Let n = 17.53 - o. Let h = n - -22. Is 1 at least as big as h?
False
Let j(h) = -80*h**3 + 2*h**2 + h. Let v be j(-1). Let t be ((4/(-3))/1)/(18/v). Let q be t/10 + (-11)/(-10). Are q and 0 equal?
False
Suppose 14*x - 16 = 12. Suppose x*k + p = 14, 5*k - 130 = -p - 92. Which is smaller: -1 or k?
-1
Let n(o) = -2*o**2 + 40*o - 205. Let q be n(9). Which is greater: q or 6?
6
Suppose -3*w = -4*a + 2*w + 164, -2*a + 5*w + 72 = 0. Suppose 25*f - 56 = 17*f. Suppose -m + f = -38. Does a = m?
False
Let q(g) = 3*g**2 - 11*g - 3. Let h(c) = 4*c**2 - 21*c - 4. Let y(i) = 3*h(i) - 5*q(i). Let w be y(-3). Is w at least -7/29?
True
Let m be (15 - 5 - 4) + 79. Suppose m*g - 88*g = 168. Which is bigger: -57 or g?
g
Let g(o) be the second derivative of -o**4/12 - 7*o**3/6 + 5*o**2 + 12*o. Let p be g(-5). Let f be 754/(-10) - (3 + (-68)/p). Is f at most as big as -76?
False
Let i = -253903 + 26151793/103. Which is smaller: -3 or i?
-3
Suppose -26*r + 28*r = 0. Let p be (r - (-6)/3) + 16/(-7). Which is smaller: p or -12?
-12
Let t = -64 + 57. Let j be 2*-5*6/4. Let v = t + j. Is v less than -23?
False
Suppose -4*n = 4, c - 5*c - 5*n = -15. Suppose -c*a - 14 + 89 = 0. Let i be (-34)/(-4*3/6). Is i > a?
True
Let s = -0.7 - 5.3. Let q = s + 6.2. Let j be ((-459)/(-34) - 14)*(-2 - 0 - -4). Which is smaller: q or j?
j
Suppose 0 = -4*n + 254 + 10. Let l = n - 69. Let g be -7 - (-1 - -1) - l. Is -8 less than g?
True
Let r be 0 + (-2 - -2) - -47. Suppose r*g = 49*g - 22. Which is smaller: g or 8?
8
Let l = 277.8 - 275. Let w = -3.53 + l. Which is bigger: 2/7 or w?
2/7
Let r = 27 + -24. Suppose 42*o + r = 43*o. Suppose 4*a - 17 - 5 = k, o*a - 49 = 4*k. Which is smaller: -11 or k?
-11
Suppose s = 5*x - 1078, 5*s = 249*x - 254*x - 5570. Which is bigger: s or -5539/5?
-5539/5
Let i be -12*2*(-2)/6. Let x(m) = 30*m + 2270. Let d be x(-76). Is d not equal to i?
True
Suppose a + 3*r - 3922 = 0, 5*r = a - 3862 - 12. Do a and 3906 have different values?
True
Let t be (252/35 + -8)*-20. Suppose 3*o = 2*q + o - 6, 2*q - 4*o = t. Is -11/7 > q?
True
Let r = 0.3 + -2.3. Let k = 4.8 - -10.3. Let d = -6.1 + k. Which is smaller: d or r?
r
Let k be -3845*2/(-5480) + 5/(-4). Let z = 16366/411 - k. Which is smaller: z or 0?
0
Let g = 0 + 2. Let m = -1947 + 39029/20. Let h = 29/4 - m. Which is bigger: g or h?
h
Let l(w) = w**2 + 3*w + 55. Let t = -166 - -156. Let a be l(t). Is 2 greater than a?
False
Suppose -6*s = -47*s + 12*s. Are 34/1237 and s nonequal?
True
Let t = -204 - -195. Let m be (-3)/t - 127/(-3). Does m = 44?
False
Let r(i) = 3*i**2 - 11*i - 1. Let w be r(6). Suppose 3*k + w - 158 = 0. Let y = 38 - k. Is -13/4 less than y?
True
Let w = -12779 + 12843. Let g(n) = 3*n**2 + 7*n - 2. Let s be g(-6). Does w = s?
True
Let g = 5.921 - -0.079. Suppose -45 = -k + 3*j, -7 = -4*k - 3*j + 128. Which is smaller: k or g?
g
Let l be (-10290)/66 - -1 - 13/(-1). Is l < -143?
False
Let h be (-5 - 84/(-16)) + (-38)/(-8). Suppose 2*i - h*i + 3*p = 9, -3*p = -12. Are i and -1/704 unequal?
True
Let g be 0 + -5 + 30 + 0/(-7). Let i(h) = 4*h - 41. Let a be i(17). Are g and a equal?
False
Let d(t) = -328*t - 342*t + 657*t - 21. Let u be d(-2). Suppose 4 = q - u*q. Are q and 8 nonequal?
True
Let i = 101225/644 + 417/92. Which is greater: 161 or i?
i
Suppose 143909 = -123*v - 22879. Is v at most -1356?
True
Let f be (21/36)/((-1)/(-3)). Let r(h) = 14*h**2 + 190*h - 3. Let t be r(-14). Let j be 