). Let g be o + -6 + 1*v. Is 3 greater than or equal to g?
False
Suppose 0 = -10*q + 3*q + 77. Suppose 0 = -4*x + q + 5. Let j be 30/69 + (-2)/x. Is 1 bigger than j?
True
Let w be (-28)/(-6)*4/(-16)*6. Let b(v) = -2*v - 14. Let x be b(w). Suppose x = c + 21 - 22. Which is greater: c or 1/20?
c
Let t(a) = -3*a**3 + 16*a**2 + 76*a - 63. Let c be t(8). Is c > 0?
True
Let y = 1.14 + -0.41. Let r = y + -2.73. Let u = r + 2.1. Which is smaller: u or -0.12?
-0.12
Let d be 18/21 + 61146/(-72072). Let n = -4739/2288 + d. Is -0.2 at most as big as n?
False
Let n = 5396 - 5396. Which is bigger: n or 2370?
2370
Let l = 5/851 + -36673/13616. Does -4 = l?
False
Suppose -24653 = 47*b + 11*b + 31*b. Is -1661/6 < b?
False
Let v = -50 + 55. Suppose 0 = -v*x - 20, t + x - 20 = 2. Suppose t*d = 30*d - 48. Which is greater: d or 14?
14
Let x = 9.542 + -15.542. Which is bigger: -0.986 or x?
-0.986
Let j = -28 - -31. Suppose -3*f - 120 = j*m, 5*m + 23 = -3*f - 103. Let s = -37 - f. Which is smaller: 9/7 or s?
s
Let n = -17818 + 17819. Let m be -1 + 53*(-1)/(-43). Is n greater than m?
True
Suppose -4*s + 63*p = 67*p - 36, -5*s + 4*p = 0. Suppose -19*v + 15*v + s = 0. Which is bigger: -3/202 or v?
v
Let y = 2766.1 - 2930. Let u = y + 163. Are -0.04 and u equal?
False
Let a be (((-828)/15)/(-3))/(8262/930 + -9). Which is smaller: -159 or a?
-159
Let r = -2703 - -2682. Let l = -164.6 + 165. Is l > r?
True
Let v(x) = x**2 - 8*x + 28. Let c be v(3). Which is smaller: c or 16?
c
Let m = -102937/4 - -25734. Is 3626 less than m?
False
Let n = 1/30695 - -25721/18079355. Is n less than 0?
False
Suppose 4*q - 32*q + 728 = 0. Let f be 1 + -9 + 7 + q. Which is smaller: f or 224/9?
224/9
Let q(z) = 14 + 6 + 12*z - 15*z**2 - 20 - z**3. Let h be q(-16). Let o = -62 + h. Which is bigger: 0.3 or o?
o
Suppose 43 = -16*o - 99 - 2. Is o at most as big as -10?
False
Suppose -3*m + 22 = -5. Suppose 1 = 5*y - m. Let p be -25 + 23 + -1 + 1. Is y greater than p?
True
Let l = 12055 + -15074. Is l > -3021?
True
Suppose -24*c + 342 = -6*c. Suppose -y - 5*t + c = 0, -2*y - 6 + 20 = 4*t. Do y and 2/17 have the same value?
False
Suppose -i + 4*g = g - 3, -4*i - 5*g = -29. Suppose 697 = i*m - 335. Does m = 173?
False
Suppose s = 6*s + 5. Let j = -61324/91 + 4714/7. Is j > s?
True
Suppose 5*u - 3*q - 68087 = 0, -2*q + 3446 = u - 10161. Which is bigger: u or 13613?
u
Let z = -60746 - -308042965/5071. Which is greater: z or -1?
z
Let r = -0.16618 - -167.46618. Is r less than 4?
False
Let f = 0.2874 + -0.233. Let a = 0.0156 + f. Which is smaller: 29 or a?
a
Let y(u) = -4*u - 28. Let l be y(-9). Suppose -l = -4*c - 2*z, -2 = 5*c - z + 2. Suppose c = 4*b - 3*b + 38. Which is greater: -39 or b?
b
Suppose -31*s + 20 = -26*s. Suppose -4*f - s - 20 = 0. Let x be 2*(2/(-15))/(4/f). Which is bigger: x or -0.5?
x
Let q = -49307/42744 - 1/3288. Let b be (-10)/(-12) - 17/6. Is q equal to b?
False
Let f(y) = -3*y**2 - y + 1. Let t be f(-1). Let l(o) = o + 2. Let s(g) = -23*g - 76. Let m(a) = t*s(a) - 6*l(a). Let h be m(-6). Is -37 at least as big as h?
True
Let t be (54/45)/((-4)/(-10) - 5/(-25)). Is t less than 100/71?
False
Let k(i) = 3*i**2 - 18*i - 31. Let t be k(-5). Suppose -50*v - 17*v + t = 0. Which is smaller: 1/41 or v?
1/41
Let w = 1969/5889 + -2/1963. Suppose 26 - 5 = -3*y. Which is smaller: y or w?
y
Suppose 2 + 13 = -k + 5*q, -3*q + 9 = 0. Which is bigger: k or 1/502?
1/502
Suppose r - 9*q + 5*q = 24, 2*r = -q + 3. Let n(h) = 8*h**2 - 3. Let t be n(-1). Are r and t equal?
False
Let l be (6 - 184/24)*(-34555)/175. Let z be -1 + (167 - 2)*2. Let u = l - z. Is 0 smaller than u?
True
Let n be 56/126 - 956/(-36). Let f(c) = -10*c - 31. Let m be f(n). Is -300 greater than or equal to m?
True
Let y(f) = 90*f**2 + 14*f - 26. Let d be y(-11). Suppose -8*j - d = 26*j. Is -313 <= j?
False
Let l be -4 + 0 - ((225072/(-2888))/6 - -9). Are 0 and l non-equal?
True
Suppose 5*h + 17*n + 6 = 18*n, 5*h - 5*n + 10 = 0. Is h bigger than 2/997?
False
Let k be (-68)/(-3) + 12/(-18) - 1. Suppose -20*u = -k*u - 1. Suppose -2*c + 10 = 0, 2*g + 4*c = 6*g - 20. Which is bigger: u or g?
g
Let c(b) = 2*b**2 + 8*b - 5. Let q be c(-6). Suppose 23*i - q*i - 76 = 0. Is 5 bigger than i?
False
Suppose d + 2 = -25. Let q = d + 48. Let t be 3*4/(-18) - (-14)/q. Which is bigger: t or 2/37?
2/37
Let t = -176 - -94. Let h be (27/(-6) + (-4 - -8))*t. Is h less than 41?
False
Let a = -12785 - -23662. Are a and 10875 unequal?
True
Suppose 28*n = 23*n. Suppose n = 8*q + 101 + 331. Which is smaller: -56 or q?
-56
Let i(z) = 3*z**2 + 17*z + 108. Let p be i(-9). Suppose -20*o + 9*o - p = 0. Which is smaller: o or -19?
-19
Suppose 0 = -9*g - 18281 - 9610. Let r = g + 728263/235. Let f be (-10)/16 - (-114)/(-304). Is r at most as big as f?
False
Let z be -18 + 0/((-3)/(-1)). Let y = z - -12. Let w = 999 - 1005. Do y and w have the same value?
True
Let g be (-2)/(-10) - (-532266)/2320. Which is smaller: 230 or g?
g
Let i(s) = -4*s**2 - 34*s + 36. Let b be i(-10). Let g = 157/5 + b. Suppose 3*z - 12 = z. Which is smaller: z or g?
z
Let z = -0.059 - -39.059. Let i = 38.65 - z. Let q = -9.35 - i. Is 0.2 at most q?
False
Let b(q) = -29*q**3 - q**2 - 3*q - 2. Let y be b(-1). Let i = -2 + -27. Let w = y + i. Which is bigger: -6/7 or w?
w
Suppose -5*p = n - 3*n + 946, 4*p = 4*n - 752. Let k = p - -191. Which is smaller: k or 131?
k
Let m = -9 - -7. Let j(c) = 2*c**3 - 9*c**2 - 7*c + 22. Let s be j(4). Let b be (-400)/8250 + (-4)/s. Which is bigger: b or m?
b
Let a = 10.855 + -10.6. Let i = 0.145 + a. Which is greater: -12/11 or i?
i
Let p(q) = 7*q + 5. Let m be p(-6). Suppose 9*h - 3*x = 10*h + 13, -10 = -2*x. Let c = m - h. Is c greater than -7?
False
Let v = -1 - 3. Let c = -538 + 541. Suppose -c*t - 18 - 6 = 0. Is v at most as big as t?
False
Let t be (-47 - -26)*(-1 - 40/(-38)). Let x = 203/57 - t. Is x greater than 5?
False
Suppose i = -4*p + 1, -2*i + 4*i = 3*p + 13. Let w = -14955709/9587025 - 2/383481. Is w at most p?
True
Let u = 111/4 - 225/8. Let j = 14761 + -14765. Which is greater: j or u?
u
Let o = 0.97 - 0.888. Let s = -1717.052 - -1717. Let g = s + o. Which is bigger: g or -1?
g
Suppose 234 = 8*d - 11*d + 2*l, -3*l = -2*d - 151. Let o be (-1)/(-3 + (-249)/(-246) + 2). Is d at most as big as o?
False
Let k = -16 + 12. Let g = -186.06 + 195.06. Is k greater than g?
False
Let p = 506720/81 + -1427026309/228096. Let k = p - 1/256. Let b = 922 + -922. Which is smaller: k or b?
k
Let s = 916962/25 - 36672. Which is greater: 5 or s?
s
Suppose 3*v + d - 12 = 0, -v - d = 24 - 30. Let m be ((-2)/(-4) - 0)*-8. Let n = v + m. Are -1 and n non-equal?
False
Suppose -3*s + 63 = 3*g, -5*g + 0*s + s + 75 = 0. Let m be (2 - 1)/(7*2/252). Is g less than or equal to m?
True
Suppose 3*s - 255 + 258 = 0, -f = -4*s + 1171. Which is smaller: f or -1172?
f
Suppose -3277 + 3385 = 2*v. Which is bigger: v or 67?
67
Let u(d) = d**3 - 8*d**2 - 8*d - 4. Let h be u(9). Let p be (-70)/((-4)/(-16)*4). Let l be (p/15 + 2)*-3. Which is smaller: l or h?
h
Suppose 4 - 7 = -q. Suppose 2*m - c - 7 = -m, 0 = -q*c + 6. Suppose m*i + 12 = 0, 2*f + 25 - 5 = -i. Is -7 equal to f?
False
Let w = 79330/9 + -8824. Suppose -143 = 26*g - 13*g. Which is bigger: w or g?
w
Let c = -168 + -62. Let n = c + 112. Is -1 greater than or equal to n?
True
Let s be (-2)/(-2)*(2 + -1). Let o be (-17370)/(-82530) + (-6)/28. Is o != s?
True
Let k(a) = -7*a + 108. Let w be k(15). Let g be (-10 + 6 + 4)/w. Which is bigger: g or -1/13?
g
Let x = 0.133 - -0.867. Let l = -19387/69 + 281. Which is greater: x or l?
x
Let b(n) = -6*n**3 - 51*n**2 - 5*n + 66. Let r be b(-8). Which is bigger: -115 or r?
r
Suppose -4*b + 2*o = -3*o + 52, 3*o = -12. Is -117/7 != b?
True
Let f(c) = -c**3 - 28*c**2 + 17*c + 92. Let j be f(-29). Let r = j - 439. Are 15/17 and r equal?
False
Let s(h) = 2*h**3 + 2*h**2 - 3*h + 1. Let a be s(-3). Let t be (-31)/((-279)/54) - -568. Let v = -602 + t. Which is bigger: a or v?
a
Suppose -3*l - 34 - 11 = 0. Let x(o) = -5*o - 30. Let d be x(-15). Let u = 32 - d. Is u greater than l?
True
Suppose -20*r + 19*r - 173 = 0. Let f = r + 116. Let c = f + 62. Is 3 at most as big as c?
True
Let k = -23499.8134 - 5.1866. Which is smaller: k or 1/4?
k
Let t be 3 - 52/20 - (-2)/(-5). Suppose z = t, -4*y 