. Let i be m(93). Which is bigger: d or i?
i
Let g = 132.1 + -741.1. Let y = -598 - g. Which is smaller: -2/17 or y?
-2/17
Let i = 0.8367 - 53.8367. Which is bigger: i or -6.9?
-6.9
Let n be (-1 - -4)/(30/70) + 4139/(-591). Which is smaller: 1 or n?
n
Suppose -q - 5*p - 20 = 0, -2*p + 3 = 11. Which is bigger: q or -1/610?
q
Let y = 32 - -27. Let u be y - 0 - (4 + -3). Let o(j) = -58*j + 465. Let t be o(7). Which is bigger: u or t?
t
Let u = 6892902/8015 - 860. Is -1 less than u?
True
Let i = 128 + -106. Let s = -34 + -6. Let n = s + 63. Is i < n?
True
Let w = -108.7 + 133.7. Does w = -0.57?
False
Let s(u) = -3*u**3 - 11*u**2 - 4*u - 5. Let a be s(-8). Which is smaller: a or 854?
854
Let p be 1 + (7 + -17 - -6)/2. Is p at least -29/161?
False
Let l = -946.5 + 942.5. Let h = 0.04 + 2.96. Which is smaller: h or l?
l
Let z(v) = v**3 - 3*v**2 - 30*v + 21. Let i be z(10). Suppose 2*t - 3*k + 57 = -140, -4*t - 3*k = i. Which is smaller: t or -105?
-105
Suppose 49 = 5*i - f, -3*i + 4*f + 34 = -i. Suppose 21*d - i*d + 1128 = 0. Which is smaller: d or -93?
d
Let h(w) = -962*w - 6065. Let n be h(-6). Which is smaller: n or -287?
n
Suppose -2*w + 32185 = 2*p + 10667, 0 = -2*w - 5*p + 21524. Let t = w + -64279/6. Let a = -43 + t. Is a at most 0?
False
Let w be 4/((-16)/14)*(-3402)/273. Is 43 less than or equal to w?
True
Let s = -192867379/193815 + -9/21535. Does -996 = s?
False
Let p = -37 - -54. Let q = p - 17.4. Let h = q + -1.6. Which is bigger: h or 3?
3
Let s = 218201/123 + -1774. Let m(w) = 56*w - 225. Let r(y) = 2*y**2 + 21*y - 46. Let o be r(2). Let c be m(o). Which is smaller: c or s?
c
Let u = 6695/18 + -372. Let k = 154 - 74. Let i = k + -80. Is i at most as big as u?
False
Let m be (-7)/(-4) - 2*(-2)/16. Let g be (-1 - (m - 1))*14/(-4). Suppose -g*y - 23 + 93 = 0. Is 14 > y?
True
Let y = -44 - -30. Let f be (-56)/(-14) - (2 + -13). Let j = y + f. Which is smaller: 1/30 or j?
1/30
Let b = -130882/671079 - -19440222955/61778190582. Let n = b + -1/4122. Which is smaller: n or 0?
0
Let d be -2 - (-2)/(-21)*-3. Suppose -5*y = -24 - 11. Suppose 6*r + 2 = 2*r + n, -3*n - y = r. Which is smaller: d or r?
d
Let o = 0.16869 - 0.27441. Which is smaller: o or 1/2?
o
Suppose 358*m - 417*m = 0. Do 5/3619 and m have the same value?
False
Suppose -4*d = -5*r + 74, -5*d - 3*r - 53 = 58. Let f be (-20 - d)/(13/(-2)). Do f and -1/27 have different values?
True
Suppose 4*g + 18 = -5*l, 5*g + 0*l = -l - 12. Let r be (320/448)/(g/(-3)). Let b = -1 - -1. Which is smaller: r or b?
b
Let y be -423 - (-34 - (-391)/23). Do -411 and y have the same value?
False
Let a = 1429321/13516 - 1/3379. Let n = -5314 + 5419. Is a not equal to n?
True
Let c be (3360/(-128))/((-1)/(-4)). Let r = c - -1049/10. Suppose n - 5*f = 26, -3*n - 3*f - 22 = 2*f. Are r and n unequal?
True
Let q = 29.35 - -0.65. Let y = 29 - q. Let v = 2.4257 + 0.0743. Does y = v?
False
Let k(q) = q**3 - 12*q**2 + 2*q + 19. Let m be k(11). Let c be m/32 + -1 + 2 + 3. Is c bigger than 77?
False
Let g be ((-4)/(-10))/((-1)/25). Let a(w) be the first derivative of -w**2/2 - 28*w - 98. Let v be a(-16). Which is smaller: v or g?
v
Suppose -5*j = 2*j - 6*j - 449. Which is smaller: j or 448?
448
Suppose 6*l + 52 - 28 = 0. Let f(w) = -5*w - 7. Let k be f(l). Suppose 8*r - 35 = k. Which is smaller: 8 or r?
r
Suppose 0 = -8*m + 7*m - 4. Let l be (-1580)/225 - m/5. Which is smaller: -5 or l?
l
Suppose -3*t + 3*m = -12, 10*m - 12*m = -t + 3. Suppose 33*n = -t*n - 646. Is 2 at least n?
True
Let y be (-258)/574*7 - (-6 + (3 - 0)). Suppose -6*a = -2*a + 4. Let n = a + 0. Is n at least as big as y?
False
Let k(s) = 13*s**3 - s**2. Let x be k(1). Let w be (-5)/10 + 4194/12. Suppose -w + 409 = 6*z. Is z > x?
False
Let s be (1/10)/(2494/(-7224)). Are -1 and s nonequal?
True
Suppose -13*c = -52*c + 117. Which is greater: 0.23 or c?
c
Let k = 274.6 - 256. Let w = 25 - 43. Let x = k + w. Do x and 2/9 have the same value?
False
Let r = 6 + 83. Let c = r - 89.152. Let x = 0.152 + c. Which is smaller: -12 or x?
-12
Suppose -4*w + 94 = -74. Let y = -114 - -240. Suppose y*v = 135*v - 387. Is v > w?
True
Let r(g) = g**2 + 24*g - 340. Let k be r(10). Does k = -3/1124?
False
Let g = 2469 + -2512. Let s = -2 - -25. Suppose 63 + s = -2*l. Do l and g have different values?
False
Suppose 2*i - 22 = -4. Let w be i/(135/(-366)) + (-4)/(-10). Is w at least -127/5?
True
Let h be (90/(-60) - (-6)/(-4))*(-3)/(-9). Which is smaller: -1/651 or h?
h
Let n be 1*50*(3 - (-4 + 6)). Let i = -10 - n. Let b be ((-3)/(-8))/(-4*18/i). Which is greater: 1 or b?
1
Suppose 378 = 11*v - 10*v. Suppose 13*t - v - 363 = 0. Suppose -19 = 4*j + t. Is -19 >= j?
True
Let w = 122 - -466. Let g = w + -632. Which is bigger: -41 or g?
-41
Let j be (16/(-28) - 965/(-35)) + -3. Suppose -68*l = -58*l - 280. Which is smaller: j or l?
j
Let i(q) = 37*q - 30. Let a = -365 - -368. Let n be i(a). Is n smaller than 81?
False
Let v(o) = -5*o - 15. Let g be v(-3). Suppose 2*w + 5*p + 1 = g, -2*p + 6*p + 2 = -2*w. Let y be w/6 - 1/2. Is -2/27 equal to y?
False
Let u(x) = 4*x**2 + 3085*x - 3086. Let b be u(1). Let j(q) = q**3 + 5*q**2 - 8*q - 9. Let g be j(-6). Is g at least as big as b?
True
Let u(j) = 3*j + 239. Let m be u(-21). Suppose n + m = -3*x - 57, 2*n - 2*x + 442 = 0. Which is smaller: n or -447/2?
n
Let p be (-120)/(-56) - 1/7. Suppose -8*o + 241 = p*b - 3*o, -b - o + 128 = 0. Is b at most as big as 134?
True
Let o = 4265 - 4265.01. Are o and 0.35 non-equal?
True
Let g = 39.62707 - -0.08393. Let x = g + 0.289. Which is smaller: x or -0.5?
-0.5
Let i = 8519689/520 + -16384. Which is smaller: i or 0?
0
Let b = -54/185 - 4/37. Let o be (5 - 4)*(7 + -12). Let h be 1/(4 - (5 + o)). Which is bigger: b or h?
h
Let r(i) = 4*i**3 + 6*i**2 - 4*i + 1. Let b be r(-2). Do 155/116 and b have the same value?
False
Suppose 0*m = -5*m + 10. Let x be -3*(3 + -22*m/12). Let t be (-2)/(-1) + (x - 1 - 0). Is 16/5 < t?
False
Let s = -0.6131 + -118.3569. Let n = 119 + s. Which is smaller: n or -2?
-2
Let z = -0.23 - -2.634. Let x = z - 0.404. Let c = -1.98 + -0.02. Is c less than x?
True
Let m be (-485)/(-23) - (261 - 240). Which is smaller: m or -2535?
-2535
Suppose -371*y - 39 = -384*y. Suppose -y = -6*n + 9*n. Let i = 70/9 + -1181/153. Which is smaller: i or n?
n
Let n be 2*(-3)/(-9)*174/102254. Which is smaller: 1 or n?
n
Let o = 141 - 128. Suppose -12*d - 4 = -o*d. Suppose -6 = 3*i - d*r, 2*i + 5*r - 17 - 2 = 0. Do -1 and i have different values?
True
Let d be (10336/(-380))/((-2)/(-285)). Which is smaller: -3874 or d?
d
Let o = 326/377 - 5/29. Let s(p) = -2*p**2 + 16*p. Let n be s(0). Is o less than or equal to n?
False
Let j be 1988/10 + (-4)/5. Let y = j - 198. Is -2/377 at least y?
False
Suppose -19*m + 20*m - 73 = 0. Suppose -10 = 3*u - m. Let x be (u/(-56))/(27/2). Is 0 less than or equal to x?
False
Let w = 2 - 1. Let s(b) = 9*b - 120. Let h = 122 - 107. Let l be s(h). Is w < l?
True
Suppose -3*l = -63 + 54. Suppose -24 = m + l*m. Is m less than or equal to -31/6?
True
Let b be (111507/16920)/(-11) + 0 + (-12)/(-20). Which is smaller: b or 1?
b
Suppose 0*u - 4*u = -5*x + 248, 3*x - 154 = 5*u. Suppose 33*j - x*j = -570. Is 38 at most j?
True
Let m = 2087 + -3088. Let g be -5*1*2443/m. Let x = g - 141/11. Which is greater: 0 or x?
0
Suppose 0 = 13*s - 52*s + 72 - 969. Is s smaller than -36?
False
Let n = -2/57945 + -170699/90857760. Which is bigger: 0.3 or n?
0.3
Let s = -158.35 - -158.4. Let q be -1*3 - (-40)/12. Which is smaller: s or q?
s
Let m be 250/(-75) + 23680/48. Is 494 != m?
True
Suppose 2*i = -3*d, -4*d + 0*i = 5*i. Suppose 0 = -2*v + 2*f + 5 + 5, d = -v - 5*f - 25. Is -1 equal to v?
False
Suppose -w + 5*s - 1330 = 882, -2*s - 8848 = 4*w. Which is smaller: w or 1?
w
Let j(b) = -b**3 - 20*b**2 - 70*b - 497. Let s be j(-15). Is -574 at least as big as s?
False
Let y = -46161 + 370179/8. Which is smaller: y or 111?
111
Let d = -27/85 - -6/5. Suppose 1382 + 1436 = 162*v + 1247*v. Which is smaller: v or d?
d
Let q = -102 + -85. Let y = q + 247. Which is bigger: 64 or y?
64
Let i be (-1421)/147 + (-9)/(-1). Which is greater: i or -988?
i
Let r(o) = o + 9. Let h be r(-7). Let g = -2713 - -46163/17. Which is greater: h or g?
g
Suppose -4*c = -4*l - 2568, -9*l + 3*c = -14*l - 3258. A