56. Suppose q + 2*m - 222 = 0, -2*m + 485 = f*q - 625. Suppose d + 4*d + 4*l = -q, -2*d = -3*l + 75. Is -43 at least d?
False
Let u = -33.7 - -34. Let j = u + 3. Let d = -6.7 - j. Is 2 at least as big as d?
True
Let j = -0.148 + -23.052. Let d = -19.78 - j. Let t = 0.42 - d. Is t bigger than 5?
False
Let q = -40477/11 + 3677. Suppose u - 12 = 2*s - 3, 0 = 3*u - 5*s - 23. Suppose p = -3 - u. Is p at least as big as q?
False
Let v = 191.8 - -2.2. Let x = -189 + v. Let n = -7 - -5. Is n at least as big as x?
False
Let f(x) = -8*x**2 - 158*x - 723. Let t be f(-16). Is t != -248?
True
Let s be (-4)/6*(25 - 31). Suppose s*i + 29 - 25 = 0. Which is bigger: i or 3/25?
3/25
Let a be (-125)/(2 - 117/65). Which is bigger: a or -630?
a
Let l = -568 - -567. Let f be (l/2)/(292/(-72)). Is 0 < f?
True
Let s(i) = 11*i**2 - 90*i + 14. Let q be s(8). Is -64/59 > q?
True
Suppose 4*g + 286 - 1378 = 0. Let z be g/65 + 4/5. Let s be 3/z + 143/(-55). Is 0 <= s?
False
Let m = 589 - 606. Suppose -3*w - 1 = -g, 4*g + 3 = 4*w + 7*g. Does m = w?
False
Let f be (8/(-34))/(4/(-2)). Let p = -188.5 - 12.5. Let a = -202 - p. Which is smaller: a or f?
a
Suppose -m + 99 = 98. Let g be (-6)/4*-2 - (3 - m). Let i = -3 + 2. Which is smaller: i or g?
i
Suppose -13*g + 33 = -65 + 33. Is 178/41 smaller than g?
True
Let g = -13770 - -13869. Is 84 <= g?
True
Let f(w) = -w**3 + 9*w**2 - 8*w + 9. Let t be f(8). Let s = 3 - t. Suppose -8*k + 5*n - 42 = 11, -k - n - 5 = 0. Is s at most k?
True
Suppose -4*u + 6 = -5*w, 2*w + 2*u - 3 = 9. Suppose 4*t - t = -2*f + 379, 3*f = -w*t + 566. Let r = f + -365/2. Is 0.3 at least as big as r?
False
Suppose n = -2*v + 5, 3*v - 3*n = 4*v - 5. Let r be 1/v + (-1 - (-347)/(-2)). Let d = -1923/11 - r. Does -1 = d?
False
Suppose 5*a + 20 = -5*z, 4*z = 2*a + 3*a - 16. Let k be ((-18)/2943)/(2/(-3)). Which is greater: k or a?
k
Let u be 8 + -3 - ((-2 - 1056/(-2)) + 4). Which is greater: u or -3155/6?
u
Let v be 4/(-36)*0/29. Is v at most 1/384?
True
Let w = 0 - 10. Let l(f) = f**2 + 10*f - 3. Let t be l(w). Let n be 1 - -1 - (t + 4). Is -0.5 less than n?
True
Let s(g) = g**2 + 6*g - 7. Suppose 0 = -2*q + 5 - 19. Let d be s(q). Suppose -4*u = -8*u. Is u at least as big as d?
True
Suppose 2399*f - 2402*f = 3. Which is greater: f or 30/383?
30/383
Let b = -10/13929 - -24071/52930200. Is b < 0?
True
Let j = -2.894 - -2.9. Let h = 0.048 - j. Let p = h - 0.142. Are 0.08 and p equal?
False
Let n = -645 - -561. Let g = 39 + -39. Which is smaller: n or g?
n
Let s = 127703/525065002 - 3/47146. Which is smaller: -1 or s?
-1
Let n = 995 - 4007/4. Let x(f) = -2*f**3 - 5*f**2 + 10*f + 14. Suppose 0 = 3*m - 5*p - 1, m - 5*p + 19 = 26. Let c be x(m). Is n bigger than c?
True
Let h = -1.83 + -6.07. Let l = -8 - h. Let d = 260.303 - 260.3. Which is smaller: d or l?
l
Let d = 1.6 - 1.5. Let h = 207 + -226.6. Let w = 10.6 + h. Is w at least d?
False
Let b = 18079 - 17302. Which is bigger: 772 or b?
b
Suppose -47*a - 27*a + 93*a = -15694. Which is smaller: -825 or a?
a
Let j(t) = 3963*t - 3. Let b be j(-16). Let d = b - -12999332/205. Let n = 1/41 + d. Are 0.3 and n equal?
False
Let s be (68/(-8) - -7) + 11/(-2). Let p be (-14)/(-14) - 11/s. Which is smaller: p or 0?
0
Let s(i) = -i**3 - 13*i**2 - 15*i - 30. Let y be s(-12). Suppose 6*p = 9*p - y. Is p at most as big as 7/5?
False
Let s be (52/6)/((-10)/30). Let p(f) = 2*f**2 + 16*f - 55. Let q be p(-11). Suppose -5 = q*j - 6*j. Which is smaller: s or j?
s
Let d(u) = 37*u + 3. Let h be d(0). Suppose 22*j = 21*j + h*x + 3, 0 = 3*j - 4*x - 14. Let i(k) = k**2 + k + 4. Let y be i(-3). Which is smaller: j or y?
j
Let h = 23 + -21. Let r be (-1)/(107/(-53) + h). Let t be r/(-365) + (-10)/(-50). Is 1 bigger than t?
True
Suppose 2*f - m + 4467 = 0, -2574*f = -2575*f - 5*m - 2272. Which is smaller: f or -2234?
f
Suppose 22*c = 2491 - 71. Let n be (24/c)/((-5)/100). Suppose 0*o + 5*o + 15 = 0. Do o and n have different values?
True
Suppose 2*u = -3*f + 111, 9*f - 185 = 4*f - 2*u. Suppose 2*b + f = 31. Which is bigger: 11 or b?
11
Let h = 37260.9 + -37260.5. Let t = -64 - -63.937. Is t smaller than h?
True
Let j = 0.04 - -0.03. Let y = 123 - 331. Let o be (-12)/2 - y/39. Is o less than j?
True
Let h = 3294 - 3293. Which is bigger: 4/1063 or h?
h
Suppose -d + 4 = 3*f - 0*f, 3*d = -2*f + 40. Let k(a) = -a + 28. Let q be k(d). Let p be ((154/q)/(-7))/(1/2). Which is smaller: p or -5?
-5
Let b = -75857537/132 - -574673. Let i = -16/3 - b. Which is smaller: -1 or i?
-1
Let t = -2312 + 3863. Let q = 1553 - t. Suppose 0 = 2*l - 0 + 2. Is q < l?
False
Let d be 0*1*(3 - (2 - 0)). Suppose 0 = -x - d + 4, 0 = 4*o - 4*x - 112. Let m = 24 + 9. Is m at least o?
True
Let g = 2692.1 - 2692. Is 2/881 at least as big as g?
False
Suppose -3*v + 3*g = 15, 40 = -2*v - 0*g - 4*g. Let k(i) = -5*i - 15. Let y be k(12). Let l = y + 66. Is v > l?
False
Let f = 19293 - 6331. Is 12961 != f?
True
Let s be 325 + (-2)/(-10) + 63/(-15). Suppose s = -6*a - 441. Is -127 != a?
False
Let k = -14974 + 14973. Which is smaller: k or 7/167?
k
Let u = -3 - -252. Let b = 162 - u. Let j = 86.86 + b. Which is bigger: -1 or j?
j
Let b = 0.05 - 0. Suppose -8*c + 11*c + 4*u + 1843 = 0, 0 = c - u + 605. Let f = c + 610. Is f less than b?
False
Let z = -1289 + 1479.9. Let n = -191 + z. Which is smaller: n or -483?
-483
Let z(j) be the third derivative of -j**5/60 - 31*j**4/24 - 65*j**3/3 - 4*j**2 - 32. Let x be z(-5). Let w = -252 - -77362/307. Is w > x?
False
Let r(v) = 7*v - 6. Let c be r(6). Let f be (-4)/(4*5/(-10)). Let l be (f - (-32)/(-7))/((-4)/56). Is c at most l?
True
Let h(t) = -39*t + 192. Let l be h(6). Let i be ((-30)/2)/(6 - (-287)/l). Is i != 16?
True
Let k = -667 + 669. Let p be k*3/(18/753). Are 253 and p equal?
False
Let o = -4571.2111 + 0.2111. Which is smaller: o or -1/4?
o
Let x = -373 - 18. Let s = x - -588. Which is bigger: 196 or s?
s
Suppose 6 = z - 10. Suppose 0 = -z*o + 13*o - 12. Let x(i) = i**3 + 2*i**2 - 2*i + 2. Let q be x(o). Is -23 at least q?
False
Let s be 4/18*429/22. Which is smaller: 64 or s?
s
Suppose 3*z = 2*p + 141 + 91, -z = -p - 114. Let i be ((-25)/60)/(-4 - p/27). Which is smaller: i or -5?
i
Suppose -5*x = -o + 13, -3*x + 2*x = -o + 5. Let c = 63 + -61. Suppose -5*l - 2*i = -7*i, -3*l = c*i + 5. Are l and x nonequal?
True
Let r = 110126 + -110163. Let n be ((0 + 42)/1)/(-1). Which is smaller: n or r?
n
Let j = -123 - -261. Let u be ((-20)/(-30))/(4/3)*j. Is u greater than or equal to 71?
False
Let f(n) = 58*n + 41. Let c be f(3). Let h = 215 - c. Which is smaller: h or -1/54?
-1/54
Suppose 2*o - 2*l = 8, 4*o - 7*l - 4 = -9*l. Suppose 2*p - 4*g - 40 = p, -2*p + 50 = o*g. Let q be 25 - (0 + -2*1). Which is smaller: q or p?
q
Let i = 38.03 + -0.03. Let a = -346 - -129. Let j = -217.1 - a. Which is smaller: j or i?
j
Let f(q) = q**2 - 14 + 5 + 3*q - 3 - 2*q. Let y be f(-4). Let g(u) = 6*u - 13. Let i be g(y). Is i at least as big as -14?
True
Let w be -2 - 1 - (0 - -4 - -11). Let y be 517 - (-7)/((-63)/w). Is y equal to 520?
False
Suppose -d + 2*d - 4*b - 26 = 0, -2*d + 30 = 3*b. Suppose -r + 4*c + 26 = 7*c, -c = -r + d. Let w = -39/38 - -1579/76. Which is greater: r or w?
r
Let a = -119520/12181 + -32/937. Do a and -0.2 have different values?
True
Suppose -21 = -u - 4*n, -u = -5*u + n - 1. Let j be (0/4 + -1)*u. Let q = -251683/119 + 2115. Which is greater: j or q?
q
Let a(z) = -z**3 - 5*z**2 + z + 2. Let k be a(-5). Let i(r) = r**2 + 31*r + 180. Let d be i(-19). Let m be d/72 + (31/24 - 3). Is m > k?
True
Let l = -0.089 - -0.074. Let f = 2.185 - l. Let b = 1.2 - f. Which is smaller: 6/5 or b?
b
Let q(a) = 6*a + 38. Let w be q(-6). Let m(v) = 5*v + 3*v - 6*v + 1 + 2*v**w - 2. Let b be m(2). Which is smaller: 9 or b?
9
Let t = 1/5427 + -6043/3343032. Let l = t - 461/616. Which is bigger: 2/7 or l?
2/7
Let p be -2*(1 - 63/18)*(1 - 0). Suppose x + 3 + 2 = 0. Which is smaller: x or p?
x
Suppose 0 = -j + 5*j + 892. Let m = -9181/41 - j. Let p = m + 77/82. Is p bigger than -1?
True
Let u = -2455/2 + 12279/10. Is -5381 != u?
True
Suppose 0 = -2*l + 6*l - 204. Suppose -2*s + s = -5*j - l, 5*j = 3*s - 43. Let k be j*(3 - 4) - -1. Is k at most 11?
False
Let c be ((-6777900)/(-603))/(-10) - 2. Let j = 1126 + c. Which is bigger: j or -11/5?
j
Let w =