 22 = -38. Let l be (-1)/(-2) - 4/g. Which is smaller: 3/7 or l?
3/7
Let a = 126 - 52. Let h = a - 665/9. Is h less than or equal to 1?
True
Let h be (2410/12*4/4)/334. Let i = 3/167 - h. Which is smaller: 1 or i?
i
Let o(l) = -l**2 + 3*l + 5. Let n = 48 - 3. Let d be n/12 - 1/(-4). Let v be o(d). Are -2/11 and v equal?
False
Let p = 30.931 - -0.069. Let u = p + -33. Which is greater: -4/7 or u?
-4/7
Let f = 43165 + -30992475/718. Let i = 911/75390 - f. Is 1 greater than or equal to i?
True
Let z = 66 - 65.981. Which is greater: -1/3 or z?
z
Let h = -3071 - -2153. Let x be (-4)/14 + h/(-126). Suppose -x*u = -2*u. Which is smaller: -5/4 or u?
-5/4
Let d be -4 + (-64)/3 + 4. Let c = d - -22. Is 11 greater than c?
True
Let h = -1193.99 - -1189. Which is bigger: h or 0?
0
Suppose 0 = -3*d - 15, 6*p - 3*p - 2*d - 4 = 0. Suppose -2*b + 39 + 9 = -2*x, 2*b = 5*x + 45. Let w = b + -25. Which is greater: w or p?
w
Let m = -21.1 - -22.2. Let u = 11 + -12.1. Let q = m + u. Are q and 2 equal?
False
Let i = 373 + -4110/11. Let z = i - -251/429. Is 1 greater than z?
True
Let z = -2.16 + 3.16. Is z < -1288?
False
Let k = 177 - 176.931. Which is bigger: k or 0.2?
0.2
Let w be (-18)/2*(-5)/15. Suppose 0 = w*k - k + 3*k. Are -8/19 and k nonequal?
True
Suppose 2*z + 3*p - 4 = 0, z = -3*p + 1 + 1. Let r be 2275/26*(-2)/(-10)*z. Is r not equal to 35?
False
Let l be ((-7)/5)/((-6)/(-10)). Which is smaller: -3 or l?
-3
Suppose 37*h + 900 = 7*h. Which is greater: h or -16?
-16
Suppose 0*o - 2*o - 20 = -4*k, 5*k - 3 = -3*o. Suppose 4*p - 4*z + 68 = 0, -3*z = -p + k*p + 9. Do -12 and p have the same value?
True
Let c be 0/(4 + -1) - -2. Let u(k) = 2*k + 1 + k**c + 3*k + 0*k**2. Let q be u(-2). Which is bigger: -4 or q?
-4
Let q = 592 - 593. Let m = -0.1 - 1.3. Let f = m + 2. Is q < f?
True
Let c be 2/29 - (0 + 112/(-58)). Which is smaller: 0.146 or c?
0.146
Let f = -29 - -32. Let y = 488/5 - 96. Is f equal to y?
False
Suppose 3*b + 64 = -27*v + 28*v, 5*b - 3*v = -104. Is b bigger than -8?
False
Let m be 130/156 - (-118)/(-12). Which is bigger: m or -39/4?
m
Let p be (-1216)/84 - (-1)/3. Is -14 != p?
True
Let r = 58 + -99. Let n = 43 + r. Are 3 and n nonequal?
True
Let f = -0.36 + 0.3. Let r = -0.068 + 0.008. Let a = f - r. Which is greater: a or 0.1?
0.1
Suppose y + 0*y = -20. Let g = y + 25. Which is bigger: 6 or g?
6
Let m = 1.3 - 0.3. Let v = -1.5 - -9.9. Let z = 6.7 - v. Is z != m?
True
Suppose -5*t - 23 = 2*h, 35 = -5*h - 4*t - 31. Let b be h/(-658)*(0 - 2). Is b <= 1?
True
Let o = 38 - 45. Let p be (-14)/7 + (-2 - (1 + 0)). Is p bigger than o?
True
Let j be (12/(-8))/(133/(-42) - -3). Is j less than 49/5?
True
Suppose 2*k + 1 = -2*s + 7, -5*k + 3 = s. Which is smaller: -15/13 or k?
-15/13
Let f = 2.1 - 1.91. Let d = f - 0.29. Is d < -15?
False
Suppose -o + 9*o = -144. Let l = -19 - o. Let a be ((-2)/(-3))/(60/(-54)). Is l at most as big as a?
True
Suppose 5*a = 12 - 2. Suppose a*n = -8, 4*r + 0*n + 60 = -3*n. Let q be ((-3)/5 + (-61)/(-10))*-2. Is r bigger than q?
False
Let a = 1260/17 + -5637/85. Let q = a + -107/15. Let v = 33 - 32. Which is bigger: q or v?
v
Let p = 1.55 - 0.95. Which is smaller: p or -0.09?
-0.09
Let x be (-10)/(-20)*((2 - 64) + 0). Is -28 equal to x?
False
Let v = 76181/29 + -2626. Is 0 != v?
True
Suppose -2*v + 7*v - 10 = 0. Suppose 5 = -v*m + 31. Is 14 greater than or equal to m?
True
Let r = -6 + 3. Suppose 6*s = 24 + 42. Suppose -7*h = -s + 4. Is r at most as big as h?
True
Let i(w) = -w**3 - 7*w**2 - 13*w - 12. Let a be i(-5). Suppose -a*n - 3 = 0, b + 2*n + 3 = -4. Is b at most as big as 0.07?
True
Suppose -b = -4*b. Let m = -731 - -46052/63. Which is smaller: m or b?
m
Let v(a) = -a + 8. Let y be v(4). Suppose 0 = 6*h - 4*h - y*c - 18, -5*c = -h + 21. Which is smaller: h or 6/11?
6/11
Let q(u) = u**2 + 12*u + 25. Let p be q(-10). Suppose p*h = -6 - 9. Which is smaller: -2 or h?
h
Let y = -156 + 157. Which is bigger: 2/1811 or y?
y
Let g = 25 + -12. Is g less than or equal to 11?
False
Let l = 948 + -792. Which is greater: 159 or l?
159
Let w = 38 + -33. Suppose u = -2*v - w, -4*u = -u - 9. Suppose l = -l - 4. Is l at least as big as v?
True
Suppose -2*g + 4*g - 4 = 0. Suppose -37 = -4*z + 5*r - 8, g*z - 3*r = 17. Suppose -5*s - 20 = 0, f + s = -0*s - 4. Which is smaller: z or f?
f
Let m = 18 + -11. Let d = 6.9 - m. Is d at least -11?
True
Let m = -0.4 - 0.1. Let i be 1 + -3 - (-60)/(-27)*-1. Are m and i nonequal?
True
Let l(h) = h**2 + 16*h + 1. Let t be l(-16). Let j(x) = x**2 + 13*x - 2. Let n be j(-12). Let y be n*(-4)/36 + 0. Which is greater: t or y?
y
Let z = -59 - -60. Let r be -1 + -5 - (-2 - -3)/z. Which is greater: -6 or r?
-6
Suppose -3*b + 33 = w - 13, -4 = -4*w. Which is smaller: 5 or b?
5
Let l = 232 + -232.1. Which is smaller: l or 11?
l
Let i = -58.8 - -60.8. Let b(p) = p. Let m be b(-11). Which is bigger: i or m?
i
Let k = 42179/635 + -3/127. Let t = 66 - k. Let u = -1 + -7. Which is smaller: u or t?
u
Suppose 15 = -9*g - 12. Let d = 6 - 10. Is d at most as big as g?
True
Let j(h) = -h**3 + 6*h**2 + h. Let d be j(6). Let w = d + 11. Let a(o) = -8*o - 96. Let z be a(-14). Which is bigger: z or w?
w
Let i = -29 + 29. Let o(t) = -t**3 - t**2 - t + 1. Let d be o(i). Which is bigger: d or -4/11?
d
Let m = -0.03 + -0.67. Let y = 0.07 - -0.43. Let v = m + y. Which is bigger: 4 or v?
4
Let t = 366 + -271. Which is bigger: t or 96?
96
Suppose -22*z = -13*z - 108. Let s = -11 - -4. Let l be s/2 - z/(-8). Which is greater: 3/4 or l?
3/4
Let q(w) = w - 1. Let z be q(3). Let b be (2 - 5)/6*z. Let j be (6/65)/((-2)/(-20)*-2). Which is greater: j or b?
j
Let o be 5*-1 - (-9 + (-20)/(-4)). Suppose -7*p = -3*p - 8. Let z = -4 + p. Which is bigger: o or z?
o
Let h be (3/1)/(-3) + 10. Suppose -4*g + 43 + 1 = 0. Let s = g - 1. Is h less than or equal to s?
True
Let w be (4/6)/((-14)/6). Let n = -76 - -154. Let d = -78.12 + n. Which is smaller: w or d?
w
Let t(x) = 3*x - 7. Let r be t(-5). Let z be 10/35 + r/28. Which is smaller: -2/29 or z?
z
Let x = 743 - 743.05. Is -1/23 greater than x?
True
Suppose 5*a = -y, 2*a + y + 3*y = 0. Suppose -8 = -6*p + p - 3*m, -5*p - m + 6 = a. Let z be (30/385)/(p/7). Which is smaller: 0 or z?
0
Let j = 13318/54495 + -949/519. Let t = j + 7/45. Which is smaller: 0.1 or t?
t
Let f = -7 - -10. Suppose -5*g - 63 + 21 = -3*k, g = 5*k - 26. Let y = f + g. Is -3 at least as big as y?
True
Let o = -18 - -2. Let x = 20 + o. Is 4 bigger than x?
False
Let v = -474 - -474. Let o be 2/3 + 1316/(-12). Which is greater: o or v?
v
Let q be ((-1)/(-3))/((-8)/12). Let t(m) = m**3 + 4*m**2 - 13*m - 42. Let s be t(-5). Which is smaller: q or s?
s
Let b = 2117 + -2107.07. Let h = -109.07 + 109. Let c = h - b. Is c at least -1?
False
Let o be (-1)/(-2 - (-9)/6). Suppose 0 = 2*b - 0*b - o. Suppose 5*j - b = -11. Is -3 at most j?
True
Let y(j) = j - 1. Let t be y(7). Suppose 0 = b + 2*o + 4, 3*o - 5*o = 2*b + t. Let r be -2 + (-9)/6*b. Is r <= -2/5?
False
Let s = -30 + 46. Let z be 256/(-20) - s/(-20). Do z and -11 have the same value?
False
Let q = 1 + -4. Suppose -k - k + 11 = p, -2*p - 14 = -5*k. Suppose k = -6*s - 2. Which is greater: q or s?
s
Let v be (-4)/(-10) + 39/15. Suppose -7*y - 7 = -2*y - 3*d, -4*y = v*d + 11. Let p be (3/(-4))/(2/120*25). Which is smaller: p or y?
y
Let a = 0 + 2. Let q = -56 + 56. Suppose q*u = 6*u - 18. Is u at least a?
True
Let n = 30.2 + -7.2. Let p = n + -23.28. Is p < 0.1?
True
Let m = 605/190986 + 1/834. Which is smaller: m or 0?
0
Let d(j) be the first derivative of j**3/3 - 5*j**2 + 12*j - 5. Let h be d(8). Let b be ((-12)/40)/((-1)/h). Which is greater: b or -2?
b
Let r(m) = -m**3 - 13*m**2 - 12*m - 1. Let k be (3*12/(-9))/(-1). Let c be (-268)/22 - k/(-22). Let i be r(c). Which is smaller: i or -3?
-3
Let i(q) = 2*q**3 - 14*q**2 + 32*q - 13. Let j be i(7). Which is bigger: j or 212?
212
Let k be 81/99 + 4/((-40)/6). Do -1 and k have the same value?
False
Let k = 103 - 93. Suppose 2*y - 8 = -2*y. Suppose p - y = n, 0*p - k = p + 5*n. Is -2/77 < p?
True
Suppose 7*f + 15 = 6*f. Let g = f - -227/15. Which is greater: 0.7 or g?
0.7
Let d = -1008 - -1018. Which is bigger: -8/5 or d?
d
Let d = 1237 - 917. Is d at most 317?
False
Let u(j) = -j**3 - 4*j**2 + 3*j - 1. Let t be u(1). Let a be