rue
Let t = -3730 - -3732. Suppose -3*s + 16 = 2*u, 3*u - 14 = 3*s - u. Suppose -h + t = s*r + 4, 2*h = -2*r. Are h and 10/9 nonequal?
True
Let f be 57/45 + (-2)/3. Let o(s) = 2*s**3 + 41*s**2 + 20*s + 6. Let y be o(-20). Suppose 0 = y*g - 10*g - 4. Is f >= g?
True
Let m = 466 + -465. Which is greater: m or 250/123?
250/123
Let l = 4821605/586 + -8228. Which is greater: -1 or l?
l
Let l be ((-454)/681)/((-76)/(-36) + -1). Let w(k) = k. Let x be w(-6). Let n be 4/(-6) + x/(-9). Which is smaller: l or n?
l
Let f = 116 - 116.433. Let o = f - 0.567. Is o >= -0.6?
False
Let r = 246138/17 - 14476. Which is greater: 3 or r?
3
Let q be 95 + (2 + 1)*-1. Let m be (-4)/7 - q/(-14). Let z be (-15)/m + ((-36)/8 - -4). Is -3 at least as big as z?
True
Let j = 389/35 + -111/10. Let c = j - -17/35. Is c > -12?
True
Let p(r) = -38*r**2 - 21*r + 38. Let h be p(2). Suppose -2*b - 10 = 304. Is b > h?
False
Let o = 34752 + -34766. Let x be (1 - -4)*-1 + 1. Is o != x?
True
Let r = 766 - 799. Let v(s) = 4*s - 5. Let d be v(4). Let l be 13/(-3) + d/r. Which is bigger: l or -5?
l
Let b = -10.13 - -335.13. Let j = 325 - b. Are j and 5/12 non-equal?
True
Suppose 5482 = 4*m - 3*o, -3*m + 4120 = -7*o + 9*o. Suppose 12*x - 8*x = m. Let v = 2397/7 - x. Which is smaller: v or 2/5?
v
Let j = -34989 - -446354674/12757. Which is greater: 1 or j?
1
Let z be (1357/236)/(1/20). Let g be (-1 - 4/(-3))*342. Are z and g equal?
False
Let b = -41 - -62. Suppose -3*q = 12 - b. Suppose q*c - 5*c - 2*h = -4, -c + 2 = -2*h. Which is bigger: c or -7?
c
Let t be -1*-4*3/(-4) + -306. Let d be (-145)/30 + 5 + t/18. Is d less than or equal to -10?
True
Suppose 10*o - 3*h - 2663 = 9*o, 13315 = 5*o + h. Which is smaller: 2664 or o?
o
Let o(t) = -4*t - 42. Let a be o(-12). Suppose c + 5*f - 23 = 0, 0 = c - 6*c - 5*f + 115. Suppose c = a*h + 35. Which is smaller: 2 or h?
h
Let o = -114 - -114. Let m be (o - 2)/(5/((-10)/4)). Is m > 13?
False
Suppose -32*x - 2048 = -4*x + 4*x. Is x <= -73?
False
Let s = 701 + -695.07. Let f = s + -4.93. Are f and -19 non-equal?
True
Let o be ((-10)/(-4))/(3/(-6)). Let u(f) = f**2 + 9*f. Let l be u(o). Let g(y) = 4*y**2 + 70*y + 214. Let h be g(-13). Are h and l nonequal?
False
Let b = -2366 - -7198/3. Which is bigger: -1 or b?
b
Let u = -1228/41 + -7461/820. Do u and -40 have different values?
True
Let k = 1778 + -1813. Let t be (-2223)/63 - 2/(-7). Is t smaller than k?
False
Let t = 10754/549 + -2/61. Suppose 2*b = 4*b - 38. Which is smaller: b or t?
b
Suppose 10*u - 10 = 70. Suppose -18*b + 230 = -u*b. Suppose b = 18*y - 19*y. Is -24 at least y?
False
Let a = -3432 - -8706. Which is greater: 5275 or a?
5275
Let l(m) = -3*m**2 - 11*m - 1. Let p be l(-8). Let b = p + 67. Which is bigger: b or -147/4?
-147/4
Suppose 15*k + 23 = -26 + 34. Let u be 2/(-8) - (-141)/(-204). Which is greater: u or k?
u
Let g = -43830 - -43830. Let n be (2 - 3) + 59/39. Which is smaller: g or n?
g
Suppose -2*q - 301 = 5*d - 337, -3*d + 34 = -5*q. Which is smaller: q or -79/86?
q
Let l = 4718 + -4720. Is -93 less than l?
True
Let v be 4/6 + (-70)/(-3). Suppose -4*u + 488 = -2*x, -2*x - 492 = -4*u + x. Suppose -6*l + u = -l. Is l greater than or equal to v?
True
Let m be ((-20)/(-15))/(4/(-6)) - 2. Let c be (-30)/m*2/3. Suppose 0*g = c*g - 5*j - 20, 12 = 3*g + 2*j. Is g at least as big as 11/4?
True
Let v(p) = -p**3 - 18*p**2 + 22*p + 27. Let o be v(-19). Let x = 218/7 + o. Which is smaller: x or -2/9?
-2/9
Suppose 0 = 4*f + 2*s + 162, 4*f - 5*s + 144 - 17 = 0. Is -21 equal to f?
False
Let q = -272 + 265.07. Let w = 55.2 - 62. Let f = q - w. Do 0 and f have the same value?
False
Let k = 1504 - 698. Suppose -2*n + 3*t - 410 = 0, -5*n = -3*t + 201 + k. Which is bigger: n or -198?
-198
Let f = 135 + -90. Suppose -17 + f = 2*w. Which is greater: w or 18?
18
Let r be 8/(-5) + (3742/2470)/1. Which is greater: -1 or r?
r
Let m = -26.7 - 7.3. Let p = m - -34.5. Which is smaller: p or -5/2?
-5/2
Let f = 2382 + -2381. Are f and -3659 equal?
False
Let q(j) = 2*j**2 + 80*j + 349. Let b be q(-5). Is b equal to 4/2149?
False
Let n be ((-6)/75)/((-8)/(-170)). Let x = -5/2 - n. Suppose -5*u + 3 = -5*m + m, 5*m + 10 = 0. Is x equal to u?
False
Let u be (-567)/(-56) + -5 + -5. Let s = -9/56 - u. Does s = -2?
False
Let l = 453 + -459. Let f be (1442/(-12) + l/(-36))/1. Is -120 less than f?
False
Let f = -14233/3 + 4744. Let v = -188.1 - -198. Which is smaller: v or f?
f
Suppose 0 = 4*n - 32, 5*o + 25*n - 9690 = 20*n. Which is greater: o or 1938?
1938
Let z = 21671.346 + -21671. Which is smaller: -20 or z?
-20
Let i(l) = l**3 - 90*l**2 - 189*l + 466. Let j be i(92). Let f = -10 - -15. Suppose -f*o = 4*g - 22, 0 = 5*g - 2*o - 8 - 3. Do j and g have the same value?
False
Let o = 1593/2684 - -77/244. Which is bigger: 1/115 or o?
o
Suppose 127*r - 293*r = 0. Which is smaller: r or 4/9475?
r
Let o be 6/15 - 2/5. Let l = 261 - 208. Let c = 799/15 - l. Which is greater: o or c?
c
Suppose -69*o - 5365 = -13852. Are o and 174 unequal?
True
Let s = -0.264 + 119.264. Let z = 119 - s. Suppose 5*q - 2*q - 21 = 0. Which is greater: z or q?
q
Let g(n) = 5*n**2 - 68*n - 104. Let a be g(36). Is 3929 bigger than a?
True
Let k = 9 - 182. Let h = 130 + k. Is -43 at most as big as h?
True
Let t(f) be the third derivative of f**6/120 + f**5/60 + f**4/24 - 5*f**3/6 + 14*f**2. Let s be t(-2). Which is greater: s or -14?
s
Let k = -101 - -106. Suppose -4*l + k*f = -17, -3*l + 26 = -2*f + 22. Let j be -2 - ((-1)/5 - 1). Is l greater than j?
False
Let o = -2 - 5. Let q be 1128/861 - 1 - 20/70. Let s = q + -1194/205. Which is greater: s or o?
s
Let c be 18/(-12)*(-2)/9*3. Let y be c/((-136)/(-46) - 3). Let h = -0.007 + 0.107. Is y <= h?
True
Let i(n) = n - 38. Let v be i(17). Let a be 20/1*v/28. Let p be 2*-1*a/(-1545). Is p bigger than 1?
False
Let p = 0.241 - 333.241. Let t = p - -332.9. Which is bigger: -137 or t?
t
Let m = 224 - 212. Let q be 18/28*m/(-558). Which is smaller: 1 or q?
q
Let n(h) = h**3 + 5*h**2 + 2*h + 12. Let i(o) = o**2 - 17*o + 10. Let r be i(16). Let l be n(r). Let x be (-6)/(-16)*(-56)/l. Which is smaller: x or 2?
x
Let j(f) = -f**3 + 15*f**2 + f - 14. Suppose 16 = p - 5*n - 19, p - 27 = 3*n. Let h be j(p). Let x be (-3)/(-18)*(-12)/(-92). Which is bigger: x or h?
h
Let y = 63/95 + -5/19. Let p = -53.6 - -31.5. Let a = p + 9.1. Which is greater: y or a?
y
Let f = -6279 + 6952. Is 3 bigger than f?
False
Let h = -10573 - -10117. Which is smaller: h or -1367/3?
h
Let s(c) = c**3 + 10*c**2 + 45*c + 13. Let y be s(-6). Suppose 3*b - 4*h + 12 = -311, 0 = -5*b + 2*h - 557. Is b equal to y?
True
Let g = 698 - 520. Let i = g + -178. Is i <= -48?
False
Let u be (-864108)/216036 + 9 + -5. Which is smaller: -1 or u?
-1
Let b = 72 + -63.8. Let c = b + 34.8. Let a = c + -43.06. Is a less than 2?
True
Suppose 3*t = 2*t - 13. Let g(c) = c**2 + 12*c - 22. Let w be g(t). Let z be w/(18/(-4)) - 1. Which is smaller: 4/33 or z?
4/33
Let v = -107.6 - 365.4. Let n = -472 - v. Which is smaller: n or 0?
0
Let i be (-8)/(-912)*12 + (-22456)/342. Which is bigger: i or -66?
i
Let n(r) = r**3 + 24*r**2 - 56*r - 62. Let h be n(-26). Suppose 45*i - h*i = 39. Is 14 <= i?
False
Suppose 27 = 2*n + m, -m = 2*n + 2*m - 21. Let k be 54/15 - (-6)/n. Suppose g + k*d - 8 = 0, -24 - 20 = 5*g - d. Is 0.1 greater than or equal to g?
True
Let r = -10705/7461 + -8/829. Which is bigger: 0.9 or r?
0.9
Let x = -22919 - -22918. Is x equal to 2/24489?
False
Let w(r) = -3*r**3 + 218*r**2 + 64*r + 125. Let v be w(73). Is v less than -530?
True
Let o = -4604 - -3002. Is -1601 != o?
True
Let s = -74.4 + -330.8. Let p = s + 405. Which is smaller: p or 97?
p
Let a be (5 + 15855/1800 - 2/(-3)) + -5. Which is bigger: 8 or a?
a
Let x = 4565 - 4555. Which is smaller: x or -1/4?
-1/4
Let z = -2171 - -2171. Is z less than or equal to 5/954?
True
Let h = -3.10338 - -0.00338. Which is greater: h or -138?
h
Let f = -13.029 - -13. Let b = -0.205229 + 0.005229. Are f and b non-equal?
True
Let y = -176 - -187. Let n be y/(-44) - (-1)/4. Is -18/73 at most as big as n?
True
Let a be (-3 + 11)*118482/413. Let h = -2295 + a. Which is smaller: h or -1?
-1
Let p(a) = -427*a - 4450. Let s be p(-11). Which is bigger: s or 14?
s
Suppose -3*k - 5*z = -5, -3*z - 33 = -5*k + z. Suppose 3