. Is 1 >= q?
True
Let c be (4/25)/(2 - 4). Suppose 2*a + 2*a = 0. Suppose a = -2*y - 3 + 5. Does c = y?
False
Suppose 6*t - 2*t + 16 = -2*u, 4*u - 18 = 2*t. Suppose u*x + 3*v + 3 = -1, 5*v = -20. Suppose -8 = x*p, 3 = -3*c - p - 5. Are -1/2 and c equal?
False
Suppose -5*v + 102 = 4*u + 21, 0 = 5*u + 5*v - 100. Suppose u*h = 24*h - 45. Which is smaller: h or 29/3?
h
Let x = -0.09 + 0.21. Let y = 0.18 + x. Let v = 1 - 2. Which is greater: y or v?
y
Let v = 349 + -398. Suppose 3*s + 100 = s. Is v less than or equal to s?
False
Let h be (-3 + 1)*(35 - 6). Let m = h + 76. Which is bigger: m or 19?
19
Let f = -471 - -471. Let z be (-14292)/70 - 4/10. Let x = 205 + z. Is x greater than f?
True
Let i = -98 + 137. Suppose -6*o + 3*o + i = 0. Suppose 52 = o*a - 9*a. Is 13 at least a?
True
Suppose 0 = 14*r - 54 - 2. Suppose -3*o + r = -o. Let t = 1139/11 + -103. Are o and t equal?
False
Suppose 12 = -5*z - 4*o, -9 = 5*z - 0*o + 3*o. Let j be (10/(-30))/((-22)/393). Let u = j + -6. Which is greater: u or z?
z
Let q = 0.24 - 0.2. Let s = 0.1 - q. Let o(g) = 62*g + 62. Let h be o(-1). Which is smaller: s or h?
h
Let i = -69/35 + 1537/105. Are i and 13 nonequal?
True
Let x(c) = -3*c**3 - 2*c**2 + 3*c. Let v be x(1). Let h be (-2*11)/(v/2*10). Which is smaller: -5 or h?
-5
Let f = -41306 - -41305. Let d be -1 + 1 + (-8)/(-70). Which is smaller: f or d?
f
Let i be ((-5588)/10)/2 - -1. Let t(l) = -l**3 + 13*l**2 + 4*l - 3. Let p be t(6). Let a = p + i. Which is smaller: a or -6?
-6
Let b(s) = -32*s + 111. Let j be b(4). Is j >= -17?
True
Let o = 407/2 + -205. Let z = 59/84 - 5/12. Are o and z equal?
False
Suppose -9 = 3*j + 249*o - 246*o, -3*j = -5*o - 23. Which is smaller: 11/133 or j?
11/133
Let s be (0*(-1)/2)/1. Let t = -2 + s. Is t equal to -14?
False
Let h = 94 + -32. Which is bigger: h or 64?
64
Let s be (-12 - 19312/(-1608))/((-50)/6). Which is smaller: s or 1?
s
Suppose b + 152 = -3*b. Let s = b + 35. Let c = s + 0. Is c greater than or equal to -3?
True
Suppose -3*k + 26 = -b, 2*b - 2*k - 78 = 5*b. Let z be 1 - (-1)/b*30. Let l(v) = -v**2 + 5*v - 4. Let n be l(4). Is n equal to z?
False
Let p = 0.075 + 0.925. Which is smaller: 17/3 or p?
p
Let z = -3.122 - -2.122. Which is bigger: z or -3/295?
-3/295
Suppose g + 1 = -1. Suppose -4*v - 24 + 8 = 0, 0 = 4*t - 2*v - 20. Is t less than g?
False
Let s be 17/(155/20 + -8). Is -474/7 >= s?
True
Suppose -q + 4*q - 69 = 0. Let z be (19 - q)*1/(-4). Suppose -3*c + x - 4 = 0, -c = 4*x - 4 + z. Which is bigger: c or 2/75?
2/75
Let w = 0.168 - -0.132. Which is bigger: -34 or w?
w
Let b = -0.504 + -0.096. Let j = -0.55 - b. Let l be (-1)/7*2 - 0. Is l at least as big as j?
False
Suppose 5*v = 5*w + 660, v + 396 = -3*w + 5*v. Let x = w - -108. Is x bigger than -24?
False
Suppose 4*c = -0*c + h - 1263, 4*c = 2*h - 1258. Is -317 less than c?
False
Let g be (2 - (-4)/(80/4))*-5. Which is smaller: -208/17 or g?
-208/17
Let l = -19 + 16.6. Let v = -1.4256 - -0.0256. Let m = l - v. Which is bigger: m or 1.7?
1.7
Let b = 313591/143 - 2193. Which is greater: b or 0?
0
Let b(f) = -5*f - 3. Let y be b(-5). Let r be 4704/y - (-2)/11. Let j = r - 5563/26. Which is bigger: j or 1?
1
Let q be (-1)/2*(-1 + (-9 - -8)). Is 74/33 greater than q?
True
Let n = -92 + 87. Let s be (1 - -1)*225/(-70). Which is smaller: s or n?
s
Let g be (-21)/(-189) + (-538)/(-18). Which is smaller: g or 34?
g
Let a = 3.7 - -12.3. Let v = -14.16 + a. Let m = 1.8 - v. Which is smaller: 0.1 or m?
m
Suppose -3*n = 2*w + 235, w = 5*w - 4. Which is smaller: n or -66?
n
Let k be 2/((-20)/335*1). Let m = k + 32. Is -1 < m?
False
Let s(q) = -7*q - 130. Let v be s(-20). Is -2 != v?
True
Suppose 0 = 12*j + 15416 - 5444. Is 0.1 at least j?
True
Let r = -846 + 846. Is -12/11 <= r?
True
Let d = 496 - 498. Is d at least -11/12?
False
Suppose h - 3*z - 16 = -2*z, -5*h + 56 = 3*z. Which is smaller: h or 5?
5
Suppose -19 = 4*d + 5*i, -5*i + 8 = -2*d + 21. Let z be (2/7)/(d/(-7)). Let u(v) = -v**2 + 11*v - 3. Let b be u(11). Is b at least as big as z?
False
Let s = -25 + 32. Let q = 7 + -2. Which is smaller: s or q?
q
Let k(c) = -c**3 - 6*c**2 - 19*c - 201. Let f be k(-6). Is f != -87?
False
Suppose -3*x - 2*x = 60. Let h be x/(-3)*(1/(-4) + 0). Let i be 2/(-18) - (-8)/(-36). Which is greater: i or h?
i
Let i be (3 + -29)/(-1 - -3). Let a(t) = -4*t + 2. Let c = -6 - -10. Let p be a(c). Is i < p?
False
Suppose 119 = -17*z - 459. Which is smaller: -30 or z?
z
Let b be (3/2)/((-13)/(-26)). Let h be (2*(-18)/8)/b. Suppose 4*l = -0*l - 4. Which is smaller: l or h?
h
Suppose 144 = 4*t - 0. Let y = t + -37. Is 44 greater than or equal to y?
True
Let s(u) = -u**2 + 18*u + 13. Let q be ((-3)/6)/(2 + (-73)/36). Let o be s(q). Is 13 at most o?
True
Suppose 0 = 5*m - 2*m. Suppose m = -2*l + 4*t - 9*t, 4*l = 4*t. Let a be -1*(8/(-20) - l). Which is bigger: a or 12?
12
Let f be 34/(-176) - 45/(-120). Is f greater than or equal to -39?
True
Suppose -4*y = 4*o + 8, -6*y = 5*o - 4*y - 5. Let g be (80/25)/(o/90) + 1. Which is greater: g or 98?
98
Let a = -28 - -31. Let g = 9 - a. Which is bigger: g or 3?
g
Let u = 362 + -248. Suppose -3 = -f + u. Are 118 and f unequal?
True
Let i = -89 + 29. Let z = -60.2 - i. Suppose 3*v + v + 20 = 0. Which is smaller: v or z?
v
Let c = -90 - -88. Let d = 12 - 12. Which is greater: c or d?
d
Let d(m) = m**3 + 6*m**2 + 4*m - 6. Let p be d(-5). Let i(q) = 3*q**2 + q. Let j be i(-2). Let r be j/15*3*p. Is r greater than -5/6?
False
Let x = -1109 + 1109. Let b be ((-12)/45)/((-2)/36). Is b >= x?
True
Let d be (8/(-18))/((-136)/102). Is 1 smaller than d?
False
Suppose n - 63 = -1. Let d = n - 64. Which is smaller: d or -4?
-4
Let l = 459313/173 - 2655. Suppose -3 = -2*n - 9, -2*n - 6 = 4*y. Which is smaller: y or l?
l
Suppose 17*l - 15*l = -a - 883, 0 = 5*l - 4*a + 2201. Which is greater: -440 or l?
-440
Let l = 100 - 100. Let x be (2 + 925/(-465))/((-2)/6). Is l at least x?
True
Suppose -2*s + 0*s = -5*r - 160, 0 = -2*r + 2*s - 64. Let q = -10 - r. Let y = 65 + -44. Which is smaller: q or y?
y
Let k(z) = -z + 7. Let v(h) = -4*h + 34. Let r(w) = 14*k(w) - 3*v(w). Let b be r(-3). Suppose 4*a - 4*y - 8 = 16, -4*a - b*y = 6. Are 2 and a nonequal?
True
Let y be ((-4)/(-6))/((-34)/(-153)). Suppose -t + 2*n - 7*n = 25, 0 = -y*t - 3*n - 15. Is -2 not equal to t?
True
Let x = 1/665 - 4661/3990. Let u be 8/3 + (-2)/3. Suppose -u*h + 4*h + 4 = 0. Is h less than x?
True
Let o = -33/5 + 39/5. Let n(i) = i**2 - 11*i + 11. Let q(d) = -d**3 + 9*d**2 - 13*d + 3. Let x be q(7). Let h be n(x). Which is bigger: o or h?
o
Let y = -1193 - -1194. Which is bigger: y or 46/29?
46/29
Let d = -1 - -1. Let n = 3311/3 + -1085. Let t = n - 271/15. Which is smaller: t or d?
d
Suppose 0 = 92*f - 87*f + 45. Which is smaller: -7 or f?
f
Let y(h) = -h**3 - 11*h**2 - 10*h - 7. Suppose 5*q + 59 = 9. Let o be y(q). Let w be 14/o + (-5)/(-1). Which is greater: w or 2?
w
Let y be ((-1)/4)/(4495/496). Is y > 1?
False
Let j be (0/2)/(42/(-7)). Is -2/411 <= j?
True
Suppose -3*a = -4*v + 2, 4 = -3*v + 10. Which is greater: 108/55 or a?
a
Let x be 8/6 - (50/(-15))/(-10). Is x bigger than 2/5487?
True
Let l = 20 + -36. Suppose 5*v - 7*v - 2*n = 24, 3*v + 33 = -4*n. Which is smaller: l or v?
l
Let j(f) = -f**2 + 18*f - 71. Let p be j(6). Are p and 2/137 non-equal?
True
Let t = 0.57 - -1.95. Let p = -0.02 + t. Let x = 2.3 - p. Which is smaller: x or -2?
-2
Let f = -84 + 16. Is -0.1 > f?
True
Let j be 3 - -4*3/(-12). Let y be ((-2)/8)/(j/(-8)). Let b be (104/(-176))/(1/(-2)) + -1. Which is smaller: b or y?
b
Let f be (31/(-6))/(58/(-348)). Is f equal to -8?
False
Let t(r) = -17*r + 951. Let b be t(56). Let y be 4/8*(0 + 0). Let v = 5 + y. Which is smaller: b or v?
b
Let f be (110/(-15))/(17/51). Which is greater: -14 or f?
-14
Suppose 5*x + 400 = 4*w, -5*x - 2*w = 434 - 34. Is -157/2 at most x?
False
Let j(p) = p**3 - 3*p**2 - 2*p + 4. Let b be j(4). Suppose 3*q + 8 = -22. Let v be 4/20*q/(-8). Which is smaller: v or b?
v
Suppose -4*t - 38 = 3*u, -17*u + 14*u - 62 = -2*t. Which is bigger: u or -22?
u
Let h(o) = o**2 - 5*o - 1. Let y be h(3). Let u = -7 - y. Which is smaller: 1/11 or u?
u
Let u = -6259 + 6234. Let j = 169/644 + -2/161. Which is bigger: j or u?
j
Let c be 6 - (172/28 + 8/(-56)). Is c at m