)). Which is bigger: h or r?
h
Let f be 1*((-24)/8 + 8)*14466/(-15). Do f and -4821 have different values?
True
Let f = 19.37 + -19.47. Is f less than -3208?
False
Suppose 2555*l - 2545*l + 9 + 11 = 0. Which is smaller: l or -32/11?
-32/11
Let u = 231 - 224. Suppose 0 = x + 5*d - u, 0*x - 3*x + 21 = 3*d. Which is greater: 9 or x?
9
Let i be (6*(-21)/(-14))/(-1). Let w be 3/(i/47) - (-15)/(-45). Which is greater: w or -14?
-14
Let f be (-4)/6*5/(-4) + (-98)/(-84). Let n = -10 - -16. Let u(g) = -g**3 + 5*g**2 + 8*g - 9. Let z be u(n). Which is smaller: z or f?
f
Let z = -2 - -7. Suppose 5*s = 3*v - 37, 1 = -z*s + 2*v - 37. Let u = s + 2. Is u at most as big as -5?
True
Let l be 7 - 2 - (-8 - 80/(-10)). Are 2/323 and l nonequal?
True
Let l = -70 + 73. Let g be 75/21 - (-24)/(-42). Suppose -8*c + g*c = -10. Which is smaller: c or l?
c
Suppose -u - 720 = -11*u. Suppose 16*m + 56 = u. Is m smaller than -1/162?
False
Suppose -3*k + 5 = -10, -3*j = -5*k + 25. Let w be (-1)/(-4) + (-429)/(-44). Let v be w/7*10/(-25). Which is smaller: j or v?
v
Let f = 404980/291545517 + 2/68907. Which is bigger: -1 or f?
f
Suppose 3*j = 665 + 1096. Let g = 316 - j. Is g less than or equal to -271?
True
Let m(f) = -4*f**2 - 56*f + 31. Let l(i) = 25*i + 112. Let j be l(-5). Let p be m(j). Is p >= 85?
False
Suppose 0 = -17*b + 18*b. Suppose 3*y + k = 6, 13 = y - b*y + 4*k. Let j be -2*y*(-5)/((-10)/(-4)). Is j bigger than 3?
True
Let z = -96.892 + -0.408. Let p = z + 107. Let a = p + -10. Is 2 less than a?
False
Suppose -2*x - 4 = -2*n, 0 = -3*n + 8 + 1. Let v = 25 - 25. Suppose -6 = -3*h, -4*o + 5*h - 2 = -v*h. Which is smaller: x or o?
x
Let h = -10651 - -10497. Which is greater: h or -461/3?
-461/3
Suppose 0 = -64*h - 80*h + 1296. Let g be 4/24 + 884/96. Which is bigger: h or g?
g
Let u be -1 + 1 - (-1)/4. Suppose -26*s + 16*s = -30. Suppose s*c = -12, 4*c = 4*r + c - 16. Which is smaller: r or u?
u
Let a = -19 + 19.3. Let t be (1 + (-22)/4)*176/(-66). Suppose 0 = -0*c + 3*c + 3*m + 15, 4*m = 4*c - t. Which is smaller: c or a?
c
Suppose 0 = -76*u + 71*u - 10. Let n = 1064/3 - 18127/51. Which is smaller: n or u?
u
Suppose 0*z - 6*z = -954. Let r = z + -202. Which is smaller: -39 or r?
r
Suppose -846 = -4*a + 2*m, a - 3*m + 115 = 329. Suppose a*r = 201*r - 160. Which is smaller: r or -21?
-21
Let t = -2741 - -2741.0233. Is t < 4?
True
Let p = -0.8 - -0.5. Let s = 0.0021 - 460.0021. Let d = s - -455. Which is smaller: d or p?
d
Let q = -41 + 29. Let t be 5 - (-5 + (-117)/q). Does -9/2 = t?
False
Let b be (-4)/14 - (-51)/7. Let d = -289 - -290. Let u be ((-2)/6 + (-70)/(-30))/d. Which is bigger: u or b?
b
Let t = 126 - 91. Let c = t + -34. Let v be (1 + (-6 - -4))*(c - -16). Which is smaller: 0 or v?
v
Suppose 0 = -14*c + 23 + 215. Suppose -10*y + 2*d = -5*y - 16, -4*y + 3*d = -c. Suppose 110 = -y*u + 104. Is u greater than 5?
False
Suppose h + 10 = 5*l - h, 4*l - 20 = 4*h. Let n = -33401.91 - -32999. Let g = -403 - n. Which is bigger: g or l?
l
Let o be (-4 - -8) + 5 + -5. Let j be (o/(-11))/(6 - 7). Which is bigger: 0 or j?
j
Let w be (-10)/(-40)*((-284)/20 - -3). Is -3 >= w?
False
Let q = 119 - 69. Let r be (q/(-10))/30 + (-1)/(-3). Is 1/8 bigger than r?
False
Let u(c) = 134*c - 1444. Let b be u(12). Is b bigger than 184?
False
Let k(v) = 4*v**2 + 3*v + 1. Let s be k(-1). Suppose -9*l = -s*l + 63. Suppose -4*c - c + g - 10 = 0, 2*g = -c - 2. Is l not equal to c?
True
Let k = 5942/33 - 180. Let y(w) = -w**2 + 13*w - 19. Let q be y(9). Let m = -14 + q. Which is greater: k or m?
m
Suppose 167*z + 985 + 1042 - 357 = 0. Which is smaller: z or -8?
z
Suppose 898 = -3*y - 5*p, 2*y = 3*p - 518 - 87. Let m = -227 - y. Is 74 less than or equal to m?
True
Let n = -284183 + 284185.3. Let p be (-5)/4 + -1 + 2. Which is bigger: n or p?
n
Suppose -2*b = 2*d - 2274, 4*b + 565 + 1751 = 2*d. Is 0.4 at least as big as d?
False
Let l be 24/36 - (-5232)/9. Let h be (-18)/(l/(-66) + 9). Is -98 smaller than h?
False
Suppose -5*p + 2*q = -400, 178 = 3*p + q - 73. Which is greater: 165/2 or p?
165/2
Let b = -5.07 - -5.07. Which is greater: -729/4 or b?
b
Suppose -30 = 29*k - 32*k. Let w = -3 + k. Is w at least as big as 1.4?
True
Suppose -107*m + 505324 = -80*m - 88*m. Are m and -8284 non-equal?
False
Let c = 58 - 170. Let m = -139 - -28. Is c <= m?
True
Let f(g) = -4*g - 29. Let k be f(-8). Let d(z) = -8*z**2 + 5 + z**k + 0 - 4 + 4*z**2. Let j be d(4). Which is greater: j or 1/14?
j
Suppose 2*w + 4*s = 2*s + 12, -w + 3*s - 6 = 0. Let z be -4 + ((-4)/4 - (-2 - w)). Is -338 at most as big as z?
True
Let f = -6036.72 - -6036.72. Let q = -203 - 105. Is q smaller than f?
True
Let z = -3514 - -3643. Is z >= 114?
True
Let c(j) = 5464*j - 11. Let f be c(-7). Let o = f + 43615357/1140. Let k = o - 2/57. Which is smaller: -1 or k?
-1
Let f = 92.68 + -88. Let g = f - 4.67. Is 2.3 > g?
True
Suppose -7*x - 5*x - 20184 = 17*x. Which is greater: x or -9042/13?
-9042/13
Suppose 0 = 4*j - m - 8, -4*m - 8 = 3*j - 33. Let h = -270 + 1359/5. Which is greater: j or h?
j
Let v = 23730/11 - 165552/77. Which is greater: 7 or v?
v
Suppose 2*y - 24 = 4*o, 12 = 2*y + 3*y - 2*o. Is y not equal to 1/120?
True
Let r be (-10 + (-51)/(-6))*(-1168)/3. Is r greater than or equal to -0.01?
True
Let m = -3923 + 3923. Which is bigger: 1340 or m?
1340
Suppose -145*c = -111*c + 68. Which is smaller: 1/1919 or c?
c
Let u(i) = 401*i + 386. Let n be u(12). Is 5197 bigger than n?
False
Let p(w) = -15*w**2 + 31*w + 1. Let k be p(2). Let m = -2 + 3. Suppose -k*c + m = 2*y - 1, -c - 1 = -y. Is 2 <= y?
False
Suppose -4*c - 35 = 5*a, -11 - 14 = 5*c. Suppose 5*s - 105 = -5*d, 3*s - 2*s + 3 = 0. Let i be (6/d)/(a/9). Is i greater than or equal to -1/2?
False
Let f = 896231 + -163114477/182. Let q = 1/26 - f. Is q less than 2?
False
Let z be (19/6 - (78 - 75)) + (-11)/12. Which is bigger: z or -17?
z
Let w(i) be the second derivative of i**4/12 + 11*i**2 + 31*i. Let u be w(-8). Let c be (2*(-1)/u)/(1/(-4)). Do 0 and c have the same value?
False
Let d(y) = y + 8. Let v be d(-8). Let x = -10.046 - -4.77. Let f = 0.276 + x. Is v bigger than f?
True
Let x be -7 - ((-12194)/518 + 16). Which is smaller: 2/3 or x?
x
Let b(r) = -6*r**3 - 72*r**2 + 6*r + 189. Let z be b(-12). Do 117 and z have different values?
False
Suppose -3 = -4*b - 5*c, 70*b + 2*c = 65*b - 9. Let y = 1452/5 - 292. Is b != y?
True
Let r be (-2)/6 - 41/(-33). Suppose 5*b + 5*s - 45 = 0, -2*s + 0*s = -2*b + 6. Suppose 6 = 6*q + b. Is q != r?
True
Suppose -162*n - 185*n + 59684 = 0. Which is greater: n or 1/33?
n
Suppose 5*x - 12 = 8, -224 = 5*k - x. Let a be (-9)/11 + 8/k. Let y = a + 22. Is 21 less than y?
False
Let r be -1 + 261*182/(-5943) + 9. Which is smaller: 3 or r?
r
Let y = -16 + 22. Let d be ((-32)/y)/(2/(-9)). Suppose -4*c + 5*o + 50 = -71, 4*o = 4*c - 116. Is c <= d?
True
Suppose -p - 4*i = 4*p - 192, 0 = p + 4*i - 32. Let n be (-12 - (-54)/6)*-14. Which is smaller: n or p?
p
Let s(l) = -2*l**2 - 106*l - 377. Let y be s(-4). Let q be (3 + -4)*-13*1. Is y greater than q?
True
Suppose -1129 = -3*p + i, -p + 3*p - 734 = -4*i. Let a = 1878/5 - p. Let v = 4 + -3. Is v at least as big as a?
True
Let g = 145 + -118.1. Let b = -27 + g. Let x = -0.027 - 36.973. Which is bigger: x or b?
b
Let q(h) = 99*h - 4234. Let v be q(40). Is -274 bigger than v?
False
Suppose 2*x + 97 = 49 + 50. Which is bigger: x or -4/1807?
x
Suppose -15*b = -13*b - z + 7, 4*z - 28 = 0. Which is greater: b or 1/7953?
1/7953
Let o be 8/(-10) + 10626/(-30). Which is bigger: -2125/6 or o?
-2125/6
Suppose 4*q - 2*x = -26, -2*q = x - 3 + 6. Let p(u) = -u**2 - 6*u - 6. Let w be p(q). Suppose 6 = n - w*h, -6 = 3*n - 4*n - 2*h. Is n > 20/3?
False
Suppose -3*x - 12 = 2*m, x + 512*m - 511*m = -6. Is 2/2981 at least x?
True
Let c be (8*5/(-200))/((-2)/10). Let r be 5 - ((c - 4422/(-1482)) + 1). Is 0 > r?
False
Let w be (-10)/35*(2 + 1013/120). Let q = -3953/30 - -132. Let h = q + w. Which is smaller: h or -2?
h
Suppose 0*b + 2*b + 3*m + 2 = 0, 4*b = 2*m + 28. Let n(d) be the third derivative of d**4/6 + 25*d**3/6 - 70*d**2 + d. Let w be n(b). Which is bigger: 0 or w?
w
Let d = 65/6 + -103/10. Let k(g) = g + 3. Let s be k(-2). Suppose 11 = 5*f + s. Is f >= d?
True
Let k(t) = t**3 - 40*t**2 + 51*t - 120. Let s be k(