maller: z or 708?
z
Suppose 5 = 5*x + 3*t, -2*t = -2*x - t + 2. Let a be (3/(-3))/((2/x)/(-74)). Let s = a - 41. Is -1 less than s?
False
Let r(n) = -2*n + 18. Let c be r(-6). Let i = -77 - -53. Let b be (c/(-34))/(i/(-16)). Which is bigger: b or -1?
b
Let a(t) = -6*t + 30. Let v = 90 + -85. Let n be a(v). Is 7/43 >= n?
True
Let g be (-59)/118*(1 - 675). Is g bigger than 356?
False
Suppose -5*w = -10*w + 5*g + 20, -w - 4*g - 21 = 0. Let l be (-132)/(-190) + 24/30*w. Is -13/6 less than l?
True
Let u be 15/(-25) + 133/5. Suppose j - u = 3*j. Let y(d) = -d**3 + 7*d**2 + 7*d - 59. Let c be y(7). Which is bigger: c or j?
c
Suppose -36 = -x - 0*m + 2*m, 0 = 4*x - m - 109. Let q(f) = -f**2 - 16*f + 30. Let v be q(0). Which is greater: v or x?
v
Let k(j) = j**3 - 4*j**2 - 2*j + 11. Let i be k(4). Suppose 2 = -i*a - 4. Let q be (-24)/36*a/4. Which is smaller: -10/13 or q?
-10/13
Let n = 24.83 - 4.33. Let b = 19.5 - n. Let w = -36.962 + -0.038. Is b less than w?
False
Let k(l) = -14*l - 471. Let a be k(-34). Suppose 5*j - 3*r + 92 = 6*j, -4*j = -a*r - 300. Which is smaller: j or 75?
75
Let a = -28/9783 + 83438/26873901. Which is greater: a or -1?
a
Let j = 0 - -1. Let x = 9447/11 - 47247/55. Which is smaller: x or j?
x
Let u = -1799 - -1875. Is u at most 2/7?
False
Suppose -3*a - 1980 = f, -17*f + 19*f = -3*a - 1983. Let g = -711 - a. Which is smaller: g or -45?
g
Let s = 4012/5 - 493511/615. Let u = -15 - -15. Is s smaller than u?
True
Let m = 1847 + -1847.3. Which is bigger: -14 or m?
m
Let q = -102 + 34. Let v = q - -176. Let r = v + -849/8. Is 2 greater than r?
True
Suppose 144*h + 142*h = 271*h + 1620. Let d be 751/7 - (-4)/(-14). Which is smaller: h or d?
d
Let l = -7791/5 + 1563. Let z = -2 + 5. Suppose 0 = z*b - 6 - 6. Is l equal to b?
False
Let m = -790/17 + 21194/459. Do 2 and m have the same value?
False
Suppose k + 5 = -4*k. Let y be (8 + -2)*(k - 0). Let d = 595 - 595.1. Are y and d non-equal?
True
Suppose 89 = 12*j - 295. Let x be ((-3)/(-8)*-2)/(j/(-128)). Is -8 at least as big as x?
False
Let o = 323 - 318. Let l be (-5)/(650/695) + o. Is l <= -1?
False
Let g be 8/18 - (-9600)/(-19170). Let a be ((-1)/(-1))/(-3 + 2). Which is bigger: g or a?
g
Let l = 476.98 + -476. Let r = 2.72 + l. Which is bigger: r or 0?
r
Suppose -6985*l = -6983*l - 12. Which is smaller: l or 109?
l
Suppose 0 = -k - 4*f + 912, 2*k + 2*k + 4*f = 3612. Suppose -k = 5*p - 2*z, -36*p - 720 = -32*p + 2*z. Which is smaller: -179 or p?
p
Let z be -1*5/(-15)*-12. Let w be (-77)/357 - 2/(z + -2). Is 4 > w?
True
Let n = 673 + -1221. Let i = -549 - n. Are i and 1/58 non-equal?
True
Let j(t) = -43 + 17 + 29 + 2*t. Let b be j(4). Let u be (3 - (-63)/(-15))*-5. Is u equal to b?
False
Let n = 1994 - 1996. Let s be 4/5*10/(-23). Let k = -304/345 - s. Is k not equal to n?
True
Let o = 99 - 96. Suppose 5 = -2*k + o. Is -3/67 smaller than k?
False
Let m be 66/176 + (-3)/(72/61). Let b be 17 + (-6 + 2)/2. Suppose -4*w - 7 = 2*d + b, -4*w - d = 17. Which is greater: w or m?
m
Let t(i) = 23*i + 53. Let o(n) = -26*n - 52. Let x(d) = 6*o(d) + 7*t(d). Let g be x(-8). Which is greater: 21 or g?
21
Let m = -12.281 - 6230.719. Is m equal to 2/3?
False
Let f = 268.046 - 268. Let q = f + -0.146. Let z be (-1 + (-1)/3)*3. Which is bigger: q or z?
q
Let f = 2541 + -2541. Is f <= 158/343?
True
Let z = -205.87 - -205. Let y = z + 19.87. Does y = -2?
False
Suppose 0*n = -4*n + 16. Suppose -36 - 20 = -n*p. Suppose -17*w = -p*w. Are w and 3/8 equal?
False
Let f = -11.91 + 12. Let w = 0.38 - 0.27. Let x = f + w. Are 14 and x non-equal?
True
Suppose -12 - 28 = -8*w. Suppose 2*y = -3*p, 2*y + 3 + w = -5*p. Suppose y*l = -3 - 9. Which is greater: -5 or l?
l
Let c = 99587377/4464 + -22309. Is -1 at least c?
False
Let s(m) = -274*m + 13050. Let c be s(0). Which is smaller: 13049 or c?
13049
Let i(z) = -5*z + 21. Let c be i(6). Let j be (-624)/(-126) + 6/c. Let t be (3/8)/(4/32). Which is bigger: j or t?
j
Let u = -0.05999 + -71.92401. Let z = -0.016 + u. Let c = z + 71.9. Which is smaller: c or 40?
c
Suppose -83 + 199 + 238 = -177*r. Is -55/72 smaller than r?
False
Let o(h) = -h**2 + 9*h - 3. Let m be o(7). Let d(r) = 7 - m - r - 3*r + 0 - r**2. Let t be d(-1). Is t less than or equal to -0.3?
True
Let c(r) = -3*r + 21. Let q(w) = w**3 + 11*w**2 - 3*w - 23. Let a be q(-11). Let b be (12/a)/((-20)/(-100)). Let f be c(b). Is 7/2 > f?
True
Suppose -3*j + 24 = -4*x + 8, 0 = 2*x - 2*j + 10. Let n = 7351/1419 + -680/129. Which is greater: n or x?
n
Let s = -132 + -39. Let w be (2/(-15))/(76/s). Which is smaller: 2 or w?
w
Suppose -73*s + 16*s = -34*s. Which is smaller: -1/3052 or s?
-1/3052
Let j(m) = 2*m - 4. Let q be j(3). Let g(l) = -189*l**2 + l**3 + 25*l - q*l**3 + 9 + 184*l**2. Let z be g(-8). Are z and 5 equal?
False
Suppose -3*t + 3*p + 2233 = 8*p, t = -2*p + 744. Suppose 12*a = -370 - t. Which is smaller: a or -187/2?
-187/2
Let t(l) = -121*l - 3886. Let g be t(-32). Is g equal to -168/11?
False
Let h = -165709/57 - -2907. Let l = h + 526/399. Which is smaller: l or 3/8?
3/8
Let v = 13535 + -12892. Which is smaller: 652 or v?
v
Let y = -732/4147 + -2/377. Are -305 and y equal?
False
Let k(y) = -17*y + 827. Let r be k(68). Which is bigger: -321 or r?
-321
Let m = 45705.9 + -45706. Let t = -0.14 - 22.86. Is t bigger than m?
False
Suppose -5977 = 29*a - 496. Which is greater: a or -186?
-186
Let s = -324 - -319. Let t be (-47)/9 + 4 - (s + 4). Is t less than -161?
False
Let f(x) = x**2 - 5*x + 16. Let k(r) = -r**3 + r - 1. Let c(g) = f(g) - 2*k(g). Let l be c(4). Is 2 greater than l?
False
Let z = 3648/7 + -528. Let v = 1167 - 1173. Are v and z nonequal?
True
Suppose -5*c + 2*j = 3217 + 1052, 0 = 2*c + 5*j + 1725. Which is bigger: c or -857?
c
Let u = 25890.03 - 25890. Let m(j) = -j**2 - 7*j - 1. Let x be m(-7). Is x greater than u?
False
Let p = 1494133 - 97116509/65. Let t = 162/5 - p. Is 0 at most t?
False
Suppose -5*c - 381 = -4*u + 67, c + 56 = -4*u. Which is smaller: -39 or c?
c
Let o(s) = 17*s**2 + 11 + 15*s - 6*s - 9*s - 10*s + s**3. Let r be o(-18). Which is smaller: -2/3 or r?
r
Suppose -2*d + 3*d + 2534 = 4*n, -2544 = -4*n - 4*d. Let c = -8238/13 + n. Suppose 27*f + 43 = -16*f. Which is smaller: c or f?
f
Let x be (-3060)/(-2652) + (-2)/13. Is x <= 4/2469?
False
Suppose -1 + 3 = 2*f. Let o = 509 + -515.7. Does f = o?
False
Let y = 12 + -9. Suppose u = -y*h + 157, -25 = 3*u + 2*u. Let j be (4 - (-840)/h)*(-6)/(-8). Is 15 greater than or equal to j?
True
Suppose 0 = 79*w + 1668 - 8857. Do w and 1081/12 have the same value?
False
Let a(v) = -v**2 - 19*v - 41. Let n be a(-17). Let r(w) = -w**3 - 6*w**2 + 8*w + 1. Let m be r(n). Let g be (7 - -15)*3/m. Is -9 greater than g?
True
Suppose -3*x - 2*b = -509, x + 5*b - 49 = 112. Is -2/11 <= x?
True
Let n be 2/9 + 10006/(-43164) + 167/(-3674). Which is smaller: 0 or n?
n
Let v(k) be the first derivative of -k**2 - 8*k - 83. Let i be v(13). Are i and -34 non-equal?
False
Let c(p) = -70*p - 1. Let b be c(-1). Suppose -b*k = -65*k - 104. Which is bigger: k or 1/4?
k
Let s be (-177)/(-9) + 114/18 + -6. Let p be -6*2/s*45/3. Are -8 and p equal?
False
Suppose 0*n - 21*n - 189 = 0. Let d be (5 + 7)*(2 - (-6)/n). Is 16 > d?
False
Let u = 14.82 + -10.45. Let r = 2.37 - u. Which is greater: r or 75?
75
Let j = -10971 - -1777295/162. Which is smaller: j or -1?
-1
Let m(t) = t + 7. Let o = 51 - 55. Let v be m(o). Let b be v + -23*(-3)/(-18). Is -2 greater than b?
False
Let d = -1801 - -1804. Let q be (60/(-18) - -4)/((-4)/(-18)). Do q and d have the same value?
True
Let u = 27312 + -27313. Let m = -31 + 17. Is m bigger than u?
False
Let n = -2210 + 2713. Is n <= 498?
False
Suppose 29 = 2*b + 23. Let w be (-58)/b - (299/39 - 8). Let i(g) = -g**3 + 5*g**2 + 2*g + 3. Let d be i(6). Do d and w have the same value?
False
Let t = 9/46 - 377/2162. Let r be ((-63)/(-282))/(-1*6/(-14)). Let g = r - t. Is g smaller than 49?
True
Let d = 2.25 - 2.2. Let g = d + -0.07. Let z = 142/3 + -47. Which is smaller: g or z?
g
Let t(f) = f**2 + f + 1355. Let v be t(0). Suppose 124*y + v = 119*y. Is y at least -1?
False
Let j be 180 - -3 - 3 - (-20 - -17). Is 9 < j?
True
Let f be (-3163)/(-7) - (7 - 800/112). Is f at least as big as 452?
True
Let x(s) = -312*s + 129. Let f be x(1). Is f