t least as big as t?
True
Let o = -132 + 131. Let r be (-184)/126 - 87/(-58). Which is greater: r or o?
r
Let u be -12 + 30 + -1 + (-758)/12. Let c = -11 + -34. Which is smaller: u or c?
u
Let n(o) = o**3 + 15*o**2 + 6*o + 20. Let i be 60/(-4) + 0/(-1). Let f be n(i). Let w be 15/45 + f/3. Is -23 >= w?
True
Let j = 692068 + -465761848/673. Is -1 not equal to j?
True
Let k = -152 + 2127/14. Let i(m) = -5*m**2 + 3*m - 10. Let g be i(0). Let z be ((-290)/(-30) + g)*(-1 + 4). Which is greater: z or k?
k
Let q = -0.177568 - 0.022432. Let a = 24.47 - -0.53. Which is smaller: a or q?
q
Let i = 3526 + -3548. Is -2.9 less than or equal to i?
False
Suppose 0 = z - 65 - 47. Let v = z + -112. Let n = 30305/37 + -819. Is v greater than or equal to n?
False
Let c = -0.04 - 0.96. Let g = -1.02 - 64.98. Let s = g - -59. Does s = c?
False
Let v = 3527/331687 - -1/1853. Let u = -17632 + 17633. Which is smaller: v or u?
v
Let d be 3/((84/(-8) - -11)/(2/3)). Do 18 and d have different values?
True
Let j = -51 - -54. Let g be (48*1)/(j + 231/(-88)). Are g and -0.1 nonequal?
True
Let g(z) = z**3 - 41*z**2 + 266*z + 93. Let f be g(32). Which is smaller: -607 or f?
f
Let t = -0.017 + 84.017. Let u = t + -83. Which is bigger: u or 179?
179
Let x = -2.16 - -1.86. Let j = -0.09 + 0.19. Let d = j + -1.1. Does d = x?
False
Suppose 0 = -u - 6 + 3. Let k be -3 - (384 - (u + 7)). Let t = k - -787/2. Is 11 at least t?
True
Let t be ((-1)/((-5)/10))/(4/(-10)). Let h = 9 + -6. Suppose 6*f + 63 = h. Is t less than f?
False
Let f = -5758/3 - -46067/24. Is 38.3 <= f?
False
Suppose -g + 6*g = 5. Let t be ((-1 - 5)/3)/(0 - g). Suppose -5 = t*b - 5. Are -10/13 and b nonequal?
True
Let u(o) = -3*o**3 - o**2 + 2*o + 4. Let p be u(4). Let h = -139 - -140. Do h and p have different values?
True
Let h = -712 + 698. Are h and -8/9 non-equal?
True
Let l = -4252/5 - -850. Which is bigger: l or -2.994?
l
Let p(f) = f**3 + 3*f**2 + 5*f + 1. Let v be p(-4). Suppose -5 - 4 = 3*y - 3*g, -2*y = 4*g + 6. Let k be (-9)/3 - v*(y + 2). Which is smaller: -39 or k?
-39
Let v = 21051 + -1115728/53. Is 1 at least as big as v?
True
Let t(s) = -6*s + 121. Let c be t(20). Let g be -4 + 15*c/5. Which is smaller: g or -12/131?
g
Let c be 10/30 + 0 + 14/3. Suppose -c*o - 48 = -58. Let s(w) = w**2 - 2. Let g be s(2). Is o at least g?
True
Let r(g) = -2*g**2 + 28*g - 179. Let a be r(7). Let y(x) = -4*x**2 + 3*x + 4. Let v be y(5). Is a smaller than v?
False
Suppose -20 = -g + 21*g. Let x be 6*(1 - 3) - 0. Let f be (-14)/(-6)*x/16. Which is smaller: g or f?
f
Let k(x) = -9*x**3 - x**2 - 4*x - 4. Let t be k(-2). Suppose -9*p + 5*p + t = 0. Let u be ((-9)/342)/(3/p). Which is greater: u or 1?
1
Let g = -3500 - -3500. Which is bigger: -7/185 or g?
g
Suppose 4*b = 5*y + 5, -91*y - 2 = -b - 89*y. Which is smaller: 1/3909 or b?
b
Let h(z) = z**3 - 17*z**2 + 64*z + 41. Let t be h(7). Which is greater: -104/97 or t?
t
Suppose 7964 = 16*b - 36020. Are 2750 and b equal?
False
Suppose 0 = -6*y - 10 - 1088. Let a be ((-2046)/(-513) - 4)*y/14. Let c = a + -2/19. Is c at most -1?
False
Let v = -186 - -280. Let u = -48 + v. Is u >= 45?
True
Let d(t) = -4*t**2 + 3*t + 2. Let r be d(-1). Let f be -1*2 - (6/1 + r). Let n be (-1)/f + (-14)/(-21) - 0. Which is greater: n or 0?
n
Let v be (-101)/8 + (-7)/(21/(-15)). Let p = 8070061/3720 - 67010/31. Let l = v + p. Which is bigger: l or -1?
l
Let a be (-22)/((-726)/957) + -54. Let f be 1/4 - (-19)/4. Is a greater than f?
False
Let d be (-72)/3815*((-35)/15 - 4/4). Which is smaller: 1 or d?
d
Suppose -12 = 4*u + 4*i, -11 = 4*u + 6*i - i. Let t be u/(-16) + 1757/(-196). Is -8 != t?
True
Let h be 29 + -5 - (-382)/(-13). Suppose -12 = 3*p - 0. Which is greater: h or p?
p
Let k = 961 + -965. Which is bigger: k or -2587?
k
Suppose 60 = 152*q - 149*q. Suppose -n + 2 - 6 = -3*w, -w + 5*n + q = 0. Is 1/90 less than or equal to w?
False
Let z(p) be the second derivative of p**4/6 - 17*p**3/2 - 8*p**2 + 12*p + 1. Let x be z(26). Which is smaller: 8 or x?
8
Let d = -2297 - -11681/5. Which is bigger: d or 39?
d
Let d = 17.6 - 16.6. Let x = 0.1772 - 0.0112. Is x at least as big as d?
False
Suppose -6*u - l - 18 = -8*u, -5*u = -5*l - 40. Let z be (-5)/(75/u)*15/25. Do z and -10 have different values?
True
Let p(s) = 164*s + 1414. Let w be p(-2). Is w equal to 1084?
False
Suppose -2*h - 2*h + 5*u = 167, 73 = -2*h - u. Let a = h - -69. Suppose -a*y = -27*y - 112. Which is bigger: y or 29?
29
Let f = 18794 + -18796. Suppose 5*p = 4*p - 1. Let d(h) = -6*h**2 - 2*h - 1. Let a be d(p). Which is smaller: a or f?
a
Let a be -1 - (25/15)/(5/(-15)). Let v be a/(-48) - 75/(-36). Let t(x) = 2*x - 4. Let s be t(4). Which is greater: s or v?
s
Let q = -77 + 79. Suppose q*r + r - 11 = -4*s, 0 = 4*s + r - 1. Is 4/67 not equal to s?
True
Suppose 72*t = 75*t + 720. Let h = 239 + t. Which is smaller: h or 2/201?
h
Let q = 13.076 + -13. Let a = 0.024 + q. Which is smaller: 12/19 or a?
a
Suppose -5*p + 97 + 31 = 4*h, 0 = 4*p + 2*h - 94. Let v be 1 + -2 + 0 + 23. Suppose -41 - v = -3*b. Which is bigger: p or b?
b
Let l(t) = t**2 + t - 16. Let z be l(-7). Let p be z + (-9)/((-45)/(-20)). Let w = 19 - p. Which is bigger: -2 or w?
-2
Let o be (2/(-48))/(160/15). Suppose 2*y = 3*j - 10, 0 = -11*y + 8*y - j + 7. Do o and y have the same value?
False
Let b = -6997 + 6999. Let f(m) = -m**3 + 3*m**2 - 2*m - 1. Let v be f(2). Which is smaller: b or v?
v
Let h = -45.5 - 6.5. Which is smaller: 4 or h?
h
Suppose 11*r = 19598 + 13468. Suppose 544 = 25*a - r. Are a and 142 non-equal?
False
Suppose -6327 + 6327 = 82*j. Let f be (-7)/(-65)*-1*1. Which is smaller: f or j?
f
Let m be ((-1)/(52/(-1368)))/((-62)/(-31)). Which is greater: m or -0.1?
m
Suppose -6*n = -4*g - 9*n + 35, -3*g = -n - 23. Let k be (-2 + g)/((-338)/(-39)). Suppose 5*c = 0, 0*c - c = 3*v - 6. Which is bigger: v or k?
v
Suppose -8*d - 11*d = 57. Let q be (8/d)/((-760)/12). Which is smaller: q or 0?
0
Let d = 27/847 - 22525/759759. Is d at most as big as 1?
True
Suppose -16*f + 96 = 8*f. Suppose f*j = -6*j - 10. Which is smaller: 2/339 or j?
j
Let l(v) = -6*v - 265. Let w be l(-45). Let x be 795*((-38)/w + 8). Which is bigger: x or 317?
x
Let k be (-57)/(-4*9/(-24)). Let v be (k/(-4) - (-1 + -3))*-6. Is v at least -79?
False
Suppose b - 1614 = -j, -3*b + 4400 = -j - 426. Suppose -6*v = -20*v + b. Does v = 115?
True
Let v be ((1 + 0)/(-1))/((-161)/21896). Let n be (v/(-85))/((-1)/5). Is 10 at least n?
True
Let u = -18.8 - -52.9. Let a = u - 34. Let g be 2/(-2 + (-7)/(-4)). Is g < a?
True
Let p = -19.1401 + 19.3401. Suppose 0 = -3*m - 65 - 250. Which is smaller: p or m?
m
Let q(k) = k**2 + 4*k - 3. Let a be q(-5). Suppose 3*b + 27 = a*n - 2, -4*n + 3*b = -73. Let r be n/(-20) + (-3)/(-3). Is -1 at most as big as r?
True
Let z = -76 + 226/3. Let c = 114 + -109. Let f be (c + 265/(-50))*(-1)/(-3). Is z at most f?
True
Let b = -354/125 - -145562/375. Which is greater: 385 or b?
b
Let r be (-49)/(-147) + (-4)/12. Is r not equal to -29/801?
True
Let s(u) = u**2 + 4*u + 11. Let v be s(-5). Suppose 0 = -7*m + 40 + v. Suppose -m = -2*a - 6. Which is smaller: a or 1/48?
1/48
Let m = 812 + -716. Let w be 2/m*11/((-616)/126). Which is bigger: w or 0?
0
Suppose -b = 5*o + 2*b - 25, -3*o = -5*b - 49. Let n be 4 + 3/(12/o). Let l be (-10)/(-15) - (-8)/n. Does l = 2/13?
False
Let v = 340 + -338.41. Let y = -2.52 + v. Let u = -7.93 - y. Is 1 equal to u?
False
Let k(i) = 2*i**2 + 4*i + 8484. Let t be k(0). Which is greater: t or 8485?
8485
Let k = -21 + 21. Let z be (58/6)/(14457/333). Let m = -15/79 + z. Do k and m have the same value?
False
Let k(g) = -4*g + 4. Let b be (-8)/(-14) - (-9)/21. Suppose 3*a - 4 = -b. Let q be k(a). Which is smaller: q or -3/4?
-3/4
Let m = -481168/101 + 4764. Suppose -37*q - 46*q = 7*q - 14*q. Which is bigger: q or m?
q
Let f be 1 + 1 + ((-2)/(-5))/((-12)/(-9180)). Let i be 2*(3 + -2) - -307. Which is smaller: f or i?
f
Let c = 36549374032930/1409171773 + -70946383287929334517431/2821064758154030656. Let l = -5/19436224 - c. Let j = l + 788. Which is smaller: j or 0?
0
Suppose -9*s = 14*s - 161. Let m be (-3 - -9)/((-2)/(-4)). Suppose -m*n + 75 = -s*n. Which is smaller: n or 14?
14
Let t(c) = 197583*c**2 - 3. Let n be t(3). Let f be (-32)/n*42743*3. Let