-3). Suppose u*h + 16 = 3*d, d - 5 = h - 1. Is d < v?
True
Let p(b) = -b**3 + 5*b**2 - 3*b - 12. Let h be (5 + -4)*-2*-3. Let u be p(h). Which is bigger: u or -196/3?
-196/3
Let n = -15460 - -15448. Which is greater: n or -92?
n
Let n = 32 - 33. Suppose 3*b - 2*b = 5*t + 17, -b - 13 = t. Let x(i) = i**2 + 2*i - 50. Let p be x(b). Which is bigger: n or p?
n
Suppose -10*b + 2081 = -7*b - 4*j, 2*j = 3*b - 2095. Is 701 < b?
True
Suppose -4*a + 98 - 154 = 0. Let k = 14 + a. Which is greater: k or 4/179?
4/179
Let d be 9405/44 - (-1 + -2 + 0). Is 218 > d?
True
Let k = 3755 - 29995/8. Suppose -4*h = -7*h - 9, 0 = -z + 3*h + 16. Does z = k?
False
Suppose -25*s = -21*s - 48. Suppose 18 = s*u - 10*u. Suppose -35 = 4*x + u. Is -21/2 at least x?
True
Let g(x) = 1607*x**2 + x**3 - 1609*x**2 - 6 - x - 1. Let l be g(0). Is -0.1 at most l?
False
Let w be ((-128)/(-22080))/(36/(-20)). Which is greater: w or -1?
w
Suppose 0 = 15*w - 13*w + 10, -2*w = -3*t + 10. Suppose t = -g - 3*i + 108, 0 = -i + 1 + 2. Is g < 99?
False
Let i(t) = t**3 + 14*t**2 + 9*t - 239. Let v be i(-11). Suppose 63 = 2*j + 3*c, -4*c = 2*j - 0*j - 68. Is j bigger than v?
False
Suppose -42 = d - 3*p, 0 = -3*d + 2*p + 2 - 107. Let c be (-120)/(-55) + 6/d. Suppose 4 = -x + k, k = 5*x - c*k + 12. Is x at least as big as 1?
False
Suppose -p + 23 = -3. Let r = p + 27. Let z = 36 - r. Is -17 at most z?
True
Suppose -4*o = o - 25. Suppose -j - o = 4*j. Let t = -429 - -3435/8. Is t less than j?
False
Let b = 41982 - 418182703/9961. Is -1 at least as big as b?
False
Let l be 6/9 + (2 - 1042/6). Let a = 172 + l. Let v = 3/2218 + -3423/70976. Is v greater than or equal to a?
False
Let l = 115 - 120. Let z be (-629)/19 - 4/190*l. Which is smaller: -34 or z?
-34
Suppose s + 527 = 4*r - 876, -2*r = 2*s - 714. Suppose 899*g - 903*g + 1404 = 0. Which is smaller: r or g?
g
Let t = 876 + -849. Let w(j) be the second derivative of -j**3/2 + 23*j**2 + 3*j. Let b be w(t). Is b less than 0?
True
Let k = -69 - -90. Let x = k - 21.1. Is x at least -1?
True
Let s be -176 - (1 + 14/4)*156/234. Which is smaller: -178 or s?
s
Let p = -617 - -286. Let y be 6 - (2 + (-72)/30 + 339). Let m = y - p. Which is bigger: -1 or m?
-1
Let l be ((-24)/21 + 2)/(25/175). Let m be (-9)/l + (-1194)/(-24). Which is smaller: 47 or m?
47
Suppose 163*s + 99*s = 105324. Which is smaller: s or 27?
27
Let b be (-5)/2 - (2 - (11 + 3897/(-810))). Which is bigger: 2 or b?
2
Suppose -803 = -56*w - 243. Suppose -13*y = 4*m - w*y + 5, -3*m = -y - 6. Which is smaller: m or 1/7?
1/7
Let q be (11 + (-342)/30)/(3/(-930)). Which is smaller: 118 or q?
118
Let r(x) = 4*x + 3. Let f(w) = w + 1. Let z(k) = 2*f(k) - r(k). Let n be z(5). Let i(p) = p**3 + 6*p**2 + 6*p - 6. Let h be i(-5). Is n != h?
False
Let r = -545533/28 + 146458/7. Let l = 1408 - r. Let g = l - -31. Which is greater: g or 52?
52
Let g be ((800/32)/(-375))/(1262/(-70)). Does -1 = g?
False
Let o(d) = d - 2. Let a(k) = 2*k - 2. Let y(q) = -2*a(q) + 3*o(q). Suppose -4*p = -3*s + 15, -14*p + 17*p = s - 10. Let c be y(p). Is 4/23 less than c?
True
Let v = 4203 + -4201. Are 84/41 and v equal?
False
Let t be (-6)/10 + (-129624)/(-40) + 13. Suppose 0 = -56*x + 677 - t. Which is greater: x or 2/5?
2/5
Suppose 3*s + 23 = 2*j, 3*j - 15 = s + 2. Suppose -11 = -j*p - a, 0*p + p + 2 = -5*a. Suppose p*i + 216 = 9*i. Is -1 > i?
False
Let x be (4 + 2)/(-48) + 1/8. Suppose x = 191*a - 192*a + 25. Let v be 2/7 + (-2188)/(-84). Which is smaller: v or a?
a
Let l = 123.8 + -122. Let z = -8.8 + l. Is 0.18 less than z?
False
Suppose 2*k - 5591 = 5*f, 4*k - 4*f - 3835 - 7317 = 0. Which is bigger: k or 2782?
k
Let y be ((-20)/66)/((-9072)/2079). Suppose -5 = 5*v - 0. Which is smaller: v or y?
v
Let d = -111 - -115. Suppose 3*w + n = 1, w + d*n = 7*n - 3. Which is smaller: w or -8/47?
-8/47
Let f = -5.147 + 4.777. Which is greater: f or -22?
f
Suppose 6*q = 281*n - 277*n - 1970, -4*n + 8 = 0. Which is bigger: q or -324?
-324
Let x(l) = 19*l + 3943 - 1983 + l**2 - 8*l - 1984. Let h be x(-12). Are h and -76/7 unequal?
True
Let h(k) = -k**3 + 8*k**2 - 52*k + 145. Let u be h(4). Does u = 252/107?
False
Let d = -93.32413 + -0.67387. Let l = 3490 + -3584. Let v = d - l. Is v at most as big as -1?
False
Let n = 896 - 1789/2. Is -575 smaller than n?
True
Let c = 29 + -51. Let x be 11 - (33/c)/(1/(-2)). Suppose 0 = 7*y - x*y - 6. Is y less than or equal to -6?
True
Let v(h) = 22*h - 1. Let f be v(0). Let c = 103/5 - 1051/51. Do c and f have different values?
True
Let y = -1026 - -1026.88. Which is bigger: y or -14?
y
Suppose 4*k + 195 = 199. Is k not equal to -4/213?
True
Let u be 4 + -36 + -37 + 68. Let d = 306 - 751. Which is greater: d or u?
u
Suppose -3*j - 4*l = 8, 2*j = -3*j - 2*l + 10. Let f(b) = j*b**2 + 10 - 26 - b + 12. Let a be f(-3). Are a and 35 non-equal?
False
Let r be 159/(-12) - -1 - (-7)/28. Let z be (15/(-10) + -3)/(1/r). Suppose -4*l - 2*v = z, -1 = 4*l - 4*v + 23. Which is greater: -6 or l?
-6
Suppose 19*n - 272 = 36*n. Let h be -2 + (n/132)/((-8)/(-300)). Is -6 <= h?
False
Suppose -3*a + 20 = 17. Let f be (-13)/a + 1 + 5 + -5. Let t be 2/(-9)*-8 + f/(-54). Is 2 greater than t?
False
Let a = 1.56 - 2. Let j = 89 - 89.74. Let i = a - j. Do -1 and i have the same value?
False
Let v be 0 - ((-1)/(-4))/(-1). Let x be (10/(-6))/(8995/771). Is x at most v?
True
Let b(h) = h + 3. Suppose 6*v - 15 = -5*y + 4*v, -2*v + 6 = -4*y. Let a be b(y). Suppose t - a = 10. Which is smaller: t or 10?
10
Suppose -3*d + 5*b - 4 = 0, 0 = 5*d - d + 2*b - 12. Suppose q + 3 = d. Let j be q/(-5)*(-85)/(-238). Which is smaller: j or -1?
-1
Suppose -84*n = -80*n + 256. Let u = n - -94. Let b be (-3 - (-85)/u) + 0. Is b equal to -0.3?
False
Let q be (6 - 8)/2 - 0/1. Let k be (52/8)/(q/(-88)). Let w be k/438 + (-12)/9. Which is smaller: w or -1?
-1
Suppose 5*i + 0*i = 0. Suppose -69 + 15 = 27*t. Let d be 2 + 1555/(-750) - t/(-12). Is i equal to d?
False
Let z = 0.00355 + -0.30355. Are -704 and z equal?
False
Let q(r) = r + 13. Let m be q(-7). Suppose v = m*v. Let w = 182 - 189. Is v < w?
False
Let w be ((-12)/8)/(4/(-8)). Suppose -w*p = p + 496. Let b be (-16)/p - (-2 + 0 + 2). Which is smaller: b or 1?
b
Let v = 43935 + -44994. Is -1056 smaller than v?
False
Let w(m) = m + 1. Let n(j) = 2*j**2 + 14*j + 16. Let v(r) = -n(r) + 2*w(r). Let p be v(-4). Let q(c) = -c**2 + 9*c - 6. Let b be q(8). Is p < b?
False
Let h(l) = -l**3 + 4*l**2 - 3*l - 3. Let w be h(5). Let a(d) = -d**2 + 54*d - 340. Let m be a(47). Let j be (8 + m - 0)*15. Which is greater: j or w?
w
Suppose 92*k = 94*k - 4*v + 240, -2*k = -v + 207. Let o(n) = -34*n + 1. Let d be o(3). Is d equal to k?
False
Let z be (-798)/162 - (-2 - 3). Let v = -3 + 8. Suppose v*q = 6*q. Which is bigger: z or q?
z
Let o = -2.4478 - -2.2578. Is o at least as big as -211?
True
Suppose 3*l - 4*l - 5*v + 14 = 0, -3*l + 4*v + 4 = 0. Suppose -5*o = -2*g - 5, -1 = 2*o - g - l. Let m be 8/(-20) - (0 - 44/260). Which is bigger: m or o?
m
Let p = -9 - 31. Let m = p - -40.05. Let b = 0.05 - m. Is b > 9?
False
Let c be 180/120*(240/(-117) - -2). Does c = 25?
False
Let g(n) = -n**2 - 3*n + 20. Let p be g(-6). Suppose p*q + 3 = 3*q. Let b be (-5)/q*(-72)/60. Is 2 not equal to b?
False
Let h = -17 + 16.224. Let t = h - -0.376. Which is greater: -77 or t?
t
Let w = -34 + 151. Let a be (-2)/30*w/3. Suppose 2*h - 6*h = -2*k + 14, -2*h - 10 = 0. Which is smaller: a or k?
k
Let l = -5533.163 - -5533. Which is bigger: l or 18?
18
Let z = 10831 - 10831.2. Which is smaller: 159.9 or z?
z
Let t = -52170 + 52170.1. Let n = -4.9 - 58.1. Which is bigger: n or t?
t
Let m = 867779/44338 + -3/6334. Let p = -3960 - -3979. Which is smaller: p or m?
p
Let p = 38 + -130. Let x = p + 92. Which is bigger: 1/3 or x?
1/3
Let o be (-7 - 473/561) + (9 - 3). Which is bigger: o or -2?
o
Let d = 321 + -319. Let w be 70656/(-106605) - d/(-3). Is w less than -1?
False
Suppose -5*f + 8 + 7 = -3*k, -5*k - 25 = -5*f. Do -1/68 and f have the same value?
False
Let f = 14 - 10. Let b be (-1)/((f - 2) + 11). Let k = -1374 + 1373. Are k and b nonequal?
True
Let h = -6588 - -6586.82. Which is smaller: h or -1/8?
h
Suppose -v - 13 = -o - 0, 0 = -3*o - 5*v + 63. Let m be (-5)/28 + (4/o - 0). Is -4 greater than or equal to m?
False
Suppose -2