832)/5). Is m equal to -1?
False
Let x = -111.568 + 117. Let d = x + -5.4. Let j = d + -0.032. Which is smaller: 0.1 or j?
j
Suppose -44*w = -47*w - 2367. Which is smaller: w or -790?
-790
Let k be -5*(4242/(-525) + 8). Let d = -15.2 - -2.2. Let b = 14.7 + d. Is k >= b?
False
Let b be (-5)/(-3) - (-12)/18*-1. Let y be (-135)/(-30)*(-10)/6765. Is b less than y?
False
Suppose 3*l = 0, -7595 + 1317 = -2*s - 3*l. Which is smaller: 3140 or s?
s
Let b = -24.143 + 0.143. Let p = -26 - b. Let l = -3.1 - -3. Is l > p?
True
Let t = 320/123 - 52/41. Which is smaller: -999 or t?
-999
Let d be 6/(-20) - (-8)/16. Let q be (70/(-15))/((-2)/9). Let o = q - 6. Which is bigger: o or d?
o
Suppose -24 - 12 = -3*a. Let d(w) = -w**3 + 2*w**2 + 13*w + 18. Let q be d(-2). Which is smaller: q or a?
q
Let j(s) = 11*s + 46. Let k be j(-4). Suppose -k*t - 237 = 5*a, 0 = 5*a + 2*t - t + 236. Which is smaller: a or 1?
a
Suppose 81 = 4*z + w, -5*z + w = -2*w - 114. Let u = 16 - z. Let v = -52 - -48. Is u smaller than v?
True
Let s = 1.6253 + -2.6253. Which is greater: s or 413?
413
Let h be 1/1 - (-110053)/(-111276). Let k = 1/1124 - h. Let s = 1104575 + -1104576. Which is smaller: k or s?
s
Let a be (-144)/24*(3/3)/2. Let s be 26/16*a + 7. Is s at least as big as 2?
True
Let u = -6826 + 6844. Is u greater than 16?
True
Let p = 0.0139 + -715.0139. Which is bigger: p or 2/7?
2/7
Let q(a) = a**3 - 8*a**2 + 10*a - 5. Let v be q(7). Let b = -29 - -28. Let l be -21*b/v*2. Which is greater: 4 or l?
4
Suppose 0 = 153*x - 369 + 522. Let a = -12 - -11. Do x and a have different values?
False
Let h = -0.03 + -0.56. Let s = -23 + 22.99. Let l = h + s. Which is smaller: l or -2?
-2
Let r be 3*(-150)/(-45) - (-139 + 1). Which is bigger: r or 129?
r
Let c be (-17)/(-9) - (3/(-2))/(21/(-35)). Let y be 3/1 + (-8 - -4). Is c >= y?
True
Let u = 32624.01 + -32624. Which is smaller: u or -28/29?
-28/29
Suppose o - 21 = -17. Suppose o = 5*j + a + 3*a, -4*j + 4 = 4*a. Let p be 2/3 - 1/42. Which is greater: j or p?
p
Let z(m) = 2*m**2 + 4*m - 33. Let v = -208 - -218. Let b be z(v). Is 413/2 at most as big as b?
True
Let t(h) = 2*h**3 - 14*h**2 + 7*h + 21. Let a(c) = -8*c - 74. Let p be a(-10). Let v be t(p). Is v at most -9?
True
Let c = 1212/83 - -146727/166. Which is smaller: c or 898?
898
Let s = -28 + 31. Suppose 0 = -s*i - 4*i. Let l be -3*(-1 + 0 + i). Which is smaller: l or 7?
l
Let m(q) = -3 - 31*q - 111*q**2 + 108*q**2 - 7. Let i be m(-10). Is -4/5 <= i?
True
Suppose 2*n = 5*f - n - 21, -3*n = 2*f. Suppose 3*o = 3 + f. Suppose -3*y = -h - o*h + 168, 5*y = 15. Are 60 and h unequal?
True
Let x = 68597/1722 + -2/861. Let a be 55 + (3 - -4)*-2. Which is smaller: a or x?
x
Suppose -3*k = -d + 2, -3*d + 9 = -4*k + 13. Let g = -5 - -9/2. Is g less than k?
False
Let h be (-6)/4*3 - (-1)/2. Let c be ((-10)/h)/((-14)/(-28)). Let s(p) = p**3 - 5*p**2 + 4*p - 21. Let x be s(c). Which is bigger: -4/91 or x?
-4/91
Suppose -2*x = b - 17, -x = -2*b + 4*x - 11. Let y = 2.84 + -1.96. Let s = y - 0.98. Is s at most as big as b?
True
Let p = -32295 + 36379. Which is smaller: 4086 or p?
p
Let b be 1*1/2*2. Let o(r) = -7*r + 10. Let g be o(8). Let n = g + 602/13. Are b and n nonequal?
True
Let w = -2962 + 2921.008. Let d = w - 0.008. Let n = 44 + d. Which is smaller: -0.03 or n?
-0.03
Let j(n) = 91*n + 2. Let u be j(-2). Let m = -375 - -475. Let k = u + m. Which is smaller: k or -79?
k
Let v(d) = -2*d**2 - 16*d - 20. Let z be v(-6). Suppose -u + z*u - 3 = -3*a, -a - 9 = -4*u. Which is smaller: 22/37 or u?
22/37
Suppose -7*l - 5491 = -80167. Let d be (-4600)/l - 12/(-28). Is 1 < d?
False
Suppose -m + 29 = -28. Suppose 0 = -5*g - 5*p + 85, -4*g + 3*p + m + 11 = 0. Suppose -2903 = -5247*r + 5144*r - 1049. Which is greater: r or g?
r
Let q = -21250 + 19033. Do q and -4435/2 have the same value?
False
Let u be (8/3)/(12/18). Let w be (2 + -6)/u - -2. Let b = -2176472/405 + 5374. Which is bigger: b or w?
w
Let f(g) = -g**2 - 8*g + 7*g - 16*g. Let j be f(-11). Suppose p + j = -2*p. Is -23 != p?
True
Let z = -11056/43 - -436528/301. Does z = 1193?
False
Let x = -0.08742 + 0.19642. Is 4/5 at most x?
False
Suppose 0 = 48*l + 72*l - 4857 + 897. Which is smaller: l or 29?
29
Let q be (-31290)/480 + (-3)/(-16). Which is greater: q or -1236/19?
q
Let j = -1067 - -1072.91. Let f = j - 5.87. Is -20 < f?
True
Let b = -0.05 - -63.05. Let z = 6 - b. Let w = z + 55. Is 0.9 >= w?
True
Suppose -t + 4171 = 3*j, -18*t - 4129 = -19*t + 4*j. Is 4154 > t?
True
Let c(h) = -h**2 - 6*h - 4. Let o be c(-4). Suppose -o*t + 16 = 0, -3*t = -3*r - 2*t - 10. Let s = 150 + -152. Do s and r have the same value?
True
Suppose 2*u + 12 - 4 = -4*i, -i + 4 = 0. Let k be (-20)/50 + u/(-5)*1. Suppose 0 = -k*l + 2. Is l greater than or equal to 0.24?
True
Let k be 124/136 - (-1)/(-2). Let r(q) = q**3 - 3*q**2 - 7*q + 11. Let t be r(4). Let h be (t + 1 - 0)/(-2 - -1). Is h != k?
True
Let r = -3339 + 3340. Is r bigger than 1959?
False
Let d(o) = -17*o - 71. Let u be d(-27). Let q = u - 15910/41. Is -2 less than or equal to q?
True
Let v = -52 + 54. Suppose -3*l = -5*l + v. Let m be (10 - 1)*l/(-3). Is -15/4 not equal to m?
True
Suppose -2*b - 4 = -2*f, 0 = -5*b - 2*f - 3*f - 10. Let y be (48/15 - 4)*5/b. Suppose 4*r = -3*m - 9, -2*m + 0*r = -y*r + 6. Which is greater: -7/2 or m?
m
Suppose 7*o = 33*o + 12382 + 16894. Which is smaller: o or -1127?
-1127
Let h be (-30)/(-80) - (-13)/8. Let x = 0.249 + 0.451. Is x greater than or equal to h?
False
Let u be 22890792/4515 - (-4)/70. Is 5072 != u?
True
Let x = -86 - -85.9457. Let q = x - 2.9457. Let g = -0.12 + 0.1. Is g > q?
True
Let t be (-10)/(-4)*(((-6144)/3088)/(-1) - 2). Which is smaller: 0.05 or t?
t
Let g be 837/(-96390)*-24 + 11/(-5) + 2. Let f(y) = y**2 - 4*y - 4. Let a be f(5). Which is bigger: g or a?
a
Suppose -8 = 2*x + 12. Suppose -3*f + 17 = 5. Let c = f + x. Is -6 less than or equal to c?
True
Suppose -4*i + 8*i - 4*z = 53388, 53370 = 4*i + 2*z. Is i < 13344?
False
Suppose 71*y - 4*n = 73*y - 38, -4*y + 3*n = -32. Which is smaller: y or 8?
8
Let a be (4 + -16)*(-504)/(-898992). Which is smaller: 1 or a?
a
Let a = 17.01 - 1.61. Let o = -2.4 + a. Let j = -8.6 + 8.4. Is j bigger than o?
False
Let k = 93161 + -463684/5. Which is bigger: k or 423?
k
Let m be 621/1380 + 2/(-8 + -2). Which is smaller: -349.3 or m?
-349.3
Let b = 117687/965 - 609/5. Is -1 equal to b?
False
Let g = 3213.6 + -3739. Let p = g + 525. Are -0.6 and p equal?
False
Suppose -4*p = -2*p - 8. Let o be (0 - (2 + -1)) + (8 - p). Let c be -4*o*24/(-9)*2. Is 63 equal to c?
False
Let j be ((2 - 2) + -4 + 3)/(-11 - -12). Which is greater: j or -17/1963?
-17/1963
Let f = 3170 - 3510. Is f smaller than -1?
True
Suppose -d - 10 = -3*f, -9*f + 5 = -11*f - d. Is f smaller than -1269?
False
Suppose 1807 = 5*f + 18*f - 7301. Is f greater than or equal to 395?
True
Let k = -2176.51 - -2176. Is k bigger than -2?
True
Let b(k) = -k**2 + 20*k - 2. Let o be b(12). Suppose 0 = 17*p + o + 212. Which is smaller: p or -37/2?
-37/2
Let k be 1*-4 + (-189)/(-21). Suppose k*j - 2*j = -4*y - 593, 5*y - 4*j = -749. Which is smaller: -147 or y?
y
Let x be 1593/(-590) + (-6)/20. Let u be 83/9 + 8/(-36). Which is smaller: u or x?
x
Let a = -318661/117 + 39080/13. Let g = a - 282. Is g less than or equal to 2?
True
Let r(t) = t**3 + 9*t - 109 + 109 + 7*t**2. Let w be r(-5). Suppose -a + w*g = -3*a + 35, 14 = 2*a - 2*g. Does a = 12?
False
Suppose -132 = 21*r - 17*r. Let s(n) = -n + 57. Let y be s(r). Which is smaller: y or 89?
89
Let i = -1.179 + 0.179. Which is bigger: -1/4523 or i?
-1/4523
Let z = 3.828 - 3.7. Let y = 12.628 + -12.6. Let m = y - z. Which is bigger: m or -24?
m
Let t = -398 - -174. Let v be t/(-20) - 11 - (-34)/(-150). Which is greater: -1/2 or v?
v
Suppose -2*r - 49*p + 50*p = -7, 35 = -5*p. Let f = 3/79 - 321/2212. Which is greater: f or r?
r
Suppose 64*k - 38099 = 55021. Is 1452 <= k?
True
Let s = -28121 - -28122. Is s smaller than 24/331?
False
Let b = -0.5644 - 15.6656. Is b less than or equal to -1?
True
Let w = 1.426 + 80.674. Let g = w - 8.1. Let h = g - 74. Is 29 less than h?
False
Let n(h) = -h**3 - 31*h**2 + 38*h + 185. Let c be n(-32). Which is bigger: 6 or c?
6
Let t = -6909 - -780724/113. Which is bigger: -5 or t?
t
Suppose -3*