*c + 2672. Let m be n(-70). Is m < 993?
True
Let m(r) = -53*r - 667. Let q(n) = 13*n + 168. Let x(z) = 6*m(z) + 22*q(z). Let k be x(-10). Which is greater: 17 or k?
17
Let f = -426318 + 1289963/3. Let r = f - 3592. Which is smaller: 77 or r?
77
Let k(l) be the third derivative of l**6/120 + l**5/30 + l**4/12 - l**3/2 + l**2. Let j = 4534 + -4538. Let b be k(j). Which is smaller: -44 or b?
-44
Suppose 3*u + 6 = x - 3*x, 2*x - 10 = 5*u. Let m = -320155/23 + 13919. Which is greater: m or u?
m
Let u be 63170/(-26775) + 0 + 2/1. Let w = u + 2/315. Suppose 2*q = 5*h - 2*q + 21, -3*h = 5*q - 17. Is w greater than h?
True
Let n(a) = -12*a + 88. Let q be n(7). Suppose -q*m = 102 - 94. Is m at most -20/11?
True
Let f be (-5)/(-1286)*320/3600. Which is bigger: f or -1?
f
Let g = 12 - 81. Let t(i) = 113*i**2 - 52*i - 2. Let j be t(2). Suppose -5*b - j = 3*o, -3*b = -5*o + 4*o + 216. Which is bigger: g or b?
g
Let u(r) = 92*r**2 + 7*r - 6. Let h be u(1). Suppose 4*c + 127 = 5*s, -h = -4*s - 5*c + 25. Suppose -29*z - 4 = -s*z. Is -3/5 greater than or equal to z?
True
Let l be (4 + -5 - -676) + (14 - 3). Suppose w + 3*r - 692 = 0, 3*w - 3436 = -2*w - 3*r. Is w at least l?
True
Let y = 6928 + -6921. Suppose 0 = -4*b + b + 15. Suppose -b*h = -4*h - 8. Which is smaller: y or h?
y
Let h be ((-26)/12 - -3)*(47496/4740 - 10). Which is smaller: h or -1?
-1
Let r = 87 + -220. Let l = -156 - r. Is l greater than or equal to -70/3?
True
Let p = 3/265 + -698/795. Suppose 5*s - 55 = -5*y, 5*y - 1177 + 1102 = 5*s. Is s bigger than p?
False
Let a = -0.3 + 0.1. Let r be 16380/(-964) + (-1 + 36 - 18). Is a <= r?
True
Let y(h) = 3*h + 37. Let b be y(-11). Suppose d = t + 3*d - 12, -4*t = -5*d + b. Suppose -j = -4*m + 48, -3*m = -2*j + 4*j - 36. Is t at least m?
False
Let g = -606 - -606.802. Let f = -0.198 - g. Is f less than -1.8?
False
Suppose 0 = -4*z + 6*z - 28. Let f(h) = z*h - 2 + 1 - 16*h. Let w be f(4). Is -9 less than or equal to w?
True
Suppose -q - 5*j = -32, 5*q - 2*q - 24 = 3*j. Suppose 0 = 4*s - 8 - q. Suppose -170 = -s*l - 60. Which is smaller: l or 24?
l
Suppose 5*f = 5*b + 5 + 465, 0 = -2*f + 5*b + 200. Suppose -9*y + f - 396 = 0. Is y less than -34?
False
Let r = 20 + -26. Let k be r/(-36) + (-1)/6. Let a = -1463 - -1466. Do a and k have different values?
True
Suppose -2*t = 5*m + 3798, 0*m + 4*t - 2284 = 3*m. Is m >= -767?
True
Let g be -5*37021/123406 - 36/(-24). Which is bigger: g or 1?
1
Let i = -14931 - -24919840/1669. Which is greater: 0 or i?
i
Let t = 17.266 + -42.266. Is t at least as big as -168?
True
Suppose 0 = 4*u + t - 10, -3*t = -4*u - 11 - 3. Let b = 2/3249 + 55187/74727. Which is smaller: u or b?
b
Let j = 114.05 + -117. Let l = j + 1.95. Does -42 = l?
False
Let m = 15 - 38. Let z = m - -93. Let n = z - 87. Which is smaller: n or -19?
-19
Let b be (14/3)/((-112)/(-60) + -2). Let v(c) = 5*c + 33. Let h be v(-6). Suppose x + 4 = 0, 0 = -3*k + 6*k + h*x + 114. Which is smaller: k or b?
b
Let c(d) = -6*d**3 - 53*d**2 - 55*d + 12. Let z be c(-8). Which is bigger: 131 or z?
z
Suppose a - 4*x = -8*x - 426, -4*a - 1614 = -2*x. Let j be (-1)/3*(-63)/a. Let k be (-2 - (-1 - 1)) + -1. Which is smaller: j or k?
k
Suppose i = 3*b - 122, 7*b - 5*b = 2*i + 236. Which is greater: -115 or i?
-115
Let j = 3916 + -4794. Which is smaller: j or 1/4?
j
Suppose -4*x = -958*l + 954*l + 272, -5*x - 868 = 28*l. Let y = 179 + 88. Suppose -y = 3*j - 12. Which is bigger: j or x?
x
Let y = 0.34 + -0.22. Let o = y + -0.42. Let k = 2.3 - 0.3. Which is smaller: o or k?
o
Suppose 2*c - 6*k = -3*k + 1660, 0 = 4*c + 4*k - 3280. Which is smaller: 2 or c?
2
Let m = -15 - -15. Suppose m = -6*g + 527 - 59. Let o be (-3)/4*598/g. Which is greater: o or -1?
-1
Let d = 90 - 151. Let w(t) = 41*t**2 + t. Let b be w(1). Let p = d + b. Is -19 >= p?
True
Suppose -15*t - 19*t = 11*t. Let c be 9/(81/2) - t. Is 148 less than c?
False
Let i be -2 - ((-8 - -7) + 2*58). Let s be 9/(i/(-20)) + 2/(-1). Is 0.8 > s?
True
Let n = -7.5 + 5.72. Let p = n - -1.08. Which is smaller: 0.1 or p?
p
Suppose 3*p + 19 + 2 = 0. Let n(x) = 4*x**2 + 104*x - 714. Let q(k) = -3*k**2 - 69*k + 476. Let m(s) = 5*n(s) + 7*q(s). Let w be m(29). Is p not equal to w?
True
Let u be (-34)/68*-16*19*4/(-16). Is 12.4 at most u?
False
Let f(y) = 3*y + 2. Let k(i) = -13*i - 9. Let m(l) = -9*f(l) - 2*k(l). Let p be m(2). Is -58 > p?
False
Suppose 0 = i + 3*s - 1519 + 1509, i - 6 = -s. Let h(a) = 2*a + 5. Let q be h(8). Let t be 4/(-12) + 1/q. Which is bigger: i or t?
i
Let z = -399 - -388. Which is greater: z or -214/21?
-214/21
Let b = -432/13 - -3362/91. Let y = 225/4 + -7863/140. Let j = b + y. Which is smaller: j or 1/3?
1/3
Suppose 17*h + 740 = 12*h + 5*t, 0 = -2*h - t - 290. Let p = h - -729/5. Is -138 smaller than p?
True
Let f = 1707/236 - -1/59. Suppose -62*g = 73*g - 41*g - 564. Is g != f?
True
Let l(g) = -16*g**2 - g - 1. Suppose 0 = -14*s - 0*s - 28. Let p be l(s). Let x = 64 + p. Which is greater: -1/37 or x?
x
Let d be (-4)/(-14) + 13742/(-23940). Let f = -2/171 + d. Suppose -q + 0 - 14 = -3*h, 5*q + 60 = 5*h. Are h and f nonequal?
True
Suppose 524*p + 8142 = 518*p. Which is bigger: -1359 or p?
p
Let n = 28.791 + -28.591. Let l = -59 + 34. Which is bigger: n or l?
n
Let o = 96205/21 + -55515/14. Is 617 < o?
False
Let b be 2 + 17/(40205/(-4734)). Let v = b - -514/49665. Which is bigger: v or 0?
v
Let h = 628 - 627. Suppose -6 = 2*d - 4*d. Suppose 3*z + 36 = k, -d*z + h + 65 = k. Which is smaller: k or 49?
49
Let f be (30/12)/((-2 - 1)/(-30)). Suppose 0 = -7*g + 633 + f. Is g > 92?
True
Let h(m) = m**2 - 34*m - 54. Let v be h(30). Let t = -102 - v. Which is bigger: 75 or t?
75
Suppose -2693 = -5*l + 2407. Let y be (-6)/(-10) + (-224)/l*18. Is -3 <= y?
False
Let n(y) = 2*y**3 - 2*y**2 - y. Let t be n(-1). Let s be (-75)/(-50) - ((-15)/(-44))/((-11)/(-154)). Which is smaller: t or s?
s
Let y = 876115/154 + -5689. Is y greater than or equal to 1?
False
Let d(h) = 3*h + 44. Let a = 66 - 33. Let q = a + -48. Let w be d(q). Which is bigger: -2/11 or w?
-2/11
Let o be ((-1458)/(-10))/1*3/(-6). Is o at least -72?
False
Let x = -316718/202051 - -44/2083. Is x less than or equal to -3?
False
Let u = 3464 - 3175. Which is bigger: u or 285?
u
Let q = -1.45 - -0.572. Let b = -0.178 - q. Which is smaller: b or -15?
-15
Let p(s) = 10*s + 139. Let n be p(-12). Suppose -u = -5, -3*r + 4*u + n = 6*u. Which is bigger: 23/9 or r?
r
Suppose -4*c = -4*o - 1720, 2*o + 5*c + 111 + 707 = 0. Which is smaller: -437 or o?
-437
Suppose 44*k + 17*k = -2623. Is -214/5 bigger than k?
True
Let n be (5/310*-1)/(-1). Let a be ((0/1)/(1 - 0))/2. Let u(k) = -k**3 + 2*k**2. Let y be u(a). Which is smaller: n or y?
y
Suppose 4*s + j - 3302 = 0, -7*j = -3*j - 8. Are -0.4 and s equal?
False
Let k = 0.07529 - 0.07529. Which is bigger: k or -2.183?
k
Let p = 1020124 + -7153136/7. Let l = -1749 - p. Let t(o) = -4*o**2 + 126*o - 987. Let y be t(16). Is y bigger than l?
True
Suppose -6*d - 169624 = 8*d + 12*d. Which is greater: -6525 or d?
d
Let r be 7/(-35)*((-8)/(-20))/((-420)/125). Suppose 0 = 2*o + o. Let n = o + 0. Which is greater: r or n?
r
Let c(p) = -p**3 - 15*p**2 + 36*p + 33. Let t be c(-17). Let y be 5185/(-85) - (-1 - t). Is y less than -65?
False
Let m be (-922)/6 + 5 - (-1 - 1). Are m and -147 equal?
False
Suppose -916 = 5*w + 2654. Do w and -2 have different values?
True
Let n = 2491 + -27391/11. Which is smaller: -13 or n?
-13
Let o = -137 - -34. Let u = o + 103.4. Let z = u - 7.4. Which is bigger: z or -6?
-6
Let l be 1/8 - (207/(-24))/3. Suppose -4*w + 5*o + 194 = 3*o, 153 = l*w + o. Is w greater than 50?
False
Let t(b) be the second derivative of -b**4/12 + b**3/2 - 3*b**2 + 10*b. Let w be t(0). Let r be (3/w)/(1 - 39/36). Is r > 9/2?
True
Let s = 717 + -5017/7. Let g be (2 + 159/(-72))/(14/378). Which is smaller: g or s?
g
Let q = -1317.98 - -1342. Let o = -24 + q. Which is bigger: -0.01 or o?
o
Let k = -9.63 + 0.63. Which is smaller: 5/3 or k?
k
Let g be 0/(((-9 + 8)*1)/(-1)). Does 15/28 = g?
False
Let q = 9 - 9. Suppose -3*g + 61 + 14 = 5*w, q = w + 2*g - 15. Let o = -14 + w. Which is bigger: o or 2/7?
o
Suppose -2024 = 33*d + 2358 - 719. Which is smaller: d or -116?
-116
Suppose -2*v - 2135 = -5*w + 2861, 5*w + 5*v = 5010. Let u be 