-24 + (-1)/(-2). Let v be 1/(-3) - (-4)/3. Is m less than v?
True
Suppose 0 = 4*n + 2*l + 14, -3*l = -n + 4*n + 12. Let i be n/(-9)*6 + 37. Let y be (-2)/(i/(-3) + -2). Do y and -2 have the same value?
False
Let u be 0 - ((-57)/(-432))/1. Let k = u + -5/16. Suppose 4*j = 5*q - 10*q + 16, 2*j = -4*q + 8. Which is greater: q or k?
q
Let a be 8/(-6) + ((-8)/6)/(-1). Suppose a = 23*y - 9*y - 126. Suppose -2*p = 3*p - 25. Is y > p?
True
Let y = -18.41 - -3.03. Let x = 42.38 + -42. Let q = x + y. Which is smaller: q or -0.1?
q
Let q = 0.0291 + 0.0009. Is q bigger than 22?
False
Suppose 155*t = 157*t - 5*o - 46, -3*o = 6. Is 22 at most as big as t?
False
Let c(g) = -6*g + 46. Let w be c(7). Suppose -4*j = -4, y = -j + 5 - 21. Let u = -13 - y. Is w > u?
False
Let h = -833 - -832.92. Is 71 > h?
True
Suppose -12 = 4*k, 0 = -5*v + k - 4*k + 41. Suppose 5*t + 4*a = 5, 0*t + 5*t - v = -3*a. Suppose -o = -3*g - 0*o - 4, g + t*o = 20. Which is greater: 1 or g?
1
Let a = 22.1 + -30.1. Is -4/9 <= a?
False
Let s = 11.9 - 10. Let w = -0.1 - s. Let n = -2.2 - w. Is -0.2 < n?
False
Let v = 31 - 37. Let z be ((-7)/2 - -3)/(v + 2). Let q(b) = b**2 - 5*b + 4. Let h be q(4). Is z greater than h?
True
Suppose -168 = 4*z - 4*k, -2*k = -3*z + 4*z + 36. Let t = z + 40. Do t and 9 have the same value?
False
Suppose 5*r + i + 205 = 0, -5*r - 82 = -3*r + i. Let f = -169 + 169.1. Which is smaller: f or r?
r
Suppose n - 601 = -3*c, -2*n - 65*c + 64*c + 1187 = 0. Is 593 less than or equal to n?
False
Let l = -45 - 3. Let j be (-9)/(-3) + 2 + l/10. Is -1 <= j?
True
Let u be (-4)/(-28)*(-42)/(0 + 7). Which is smaller: 1/5 or u?
u
Let p = -349/2 - -2423/14. Let k(c) = -8*c - 2. Let g be k(-1). Suppose 0*f - 12 = g*f. Is p smaller than f?
False
Let k(d) = -2*d**3 + 38*d**2 - 2*d - 39. Let p be k(19). Is -77 at most p?
True
Let b = 41.9 + -35.9. Is b <= -1/2?
False
Let z be -2 + -4 - (-288)/44. Which is smaller: 0 or z?
0
Let f be ((-108)/(-45))/((-2)/140). Let u = -96 - f. Suppose -2*d = -6*d - u. Which is smaller: d or 1?
d
Suppose 3*d + 3*n = 6*n - 228, -d = n + 74. Let v = d + 90. Let y = -25 + 41. Is y greater than v?
True
Let l = -0.254 + -1.746. Which is smaller: l or 40/3?
l
Let h = -558 - -369. Let j = -164 - h. Let z be (24/(-7))/((-1)/7). Which is smaller: j or z?
z
Let b be (-6)/(-8)*(4 + -296). Let w be 9/(-12) - b/228. Let n = w + 11/38. Which is bigger: 0.4 or n?
n
Let k = -58.6 + 58.6. Do -518 and k have different values?
True
Let o be 4/(-18) - 4/(-18). Let u = 30 - 32. Let b be ((-36)/(-204))/((-3)/u). Which is bigger: b or o?
b
Let x be 0*(-2)/(-8)*-2. Let l be 10/(-14) - 72/(-252). Is l != x?
True
Let h = 8/1775 - 6/71. Is h < 14/3?
True
Let y = -3527 - -3521.004. Let u = -0.004 + y. Which is bigger: u or 3?
3
Let z = -0.5 + 0.3. Let o = 359.2 - 359.1. Which is smaller: o or z?
z
Let d = 986 - 986. Let z = -5 + 0. Is d >= z?
True
Let s be 528/11*(513/(-129) - -4). Which is greater: 2 or s?
2
Let u = 0.34 - 0.09. Let w = u + -0.35. Is 14 smaller than w?
False
Let g be (-6)/(-14) - (-75)/(-175). Which is smaller: g or -14/31?
-14/31
Suppose -2*z - 5*q - 104 = 0, -q + 52 = -z - 2*q. Which is smaller: z or -51?
z
Let n be -4 + 11 - (-407)/(-55). Is 185 at least n?
True
Suppose -6*d = -d - 20. Let w be 1/(2/10)*34/34. Is d smaller than w?
True
Suppose 5*q - 30 = k, 5*q - 30 = -k - 0*k. Let p(f) = f**2 - 2*f + 6. Let u be p(q). Suppose 8*z - 13*z + u = 0. Which is greater: z or 3?
z
Let q = 3.6 + -4.6. Let o = -1.2 - q. Is -0.2 smaller than o?
False
Suppose -x = 4*x + 225. Let c be 189/x - (1 - 5). Which is smaller: 0 or c?
c
Let q(j) = 89*j - 85. Let b be q(7). Which is bigger: b or 537?
b
Let m = -560 - -556. Is m <= -11/4?
True
Let g = 33953/4074 + -1/1358. Which is smaller: 8 or g?
8
Suppose p - 4821 = v, v = -2*p + 10601 - 962. Let u = -14602/3 + p. Let s = -47 - u. Is s equal to 1/2?
False
Let i = 1321 - 1234. Are -2/7 and i nonequal?
True
Let m = -1.298 + -0.702. Which is smaller: -126 or m?
-126
Let r = 1346 + -1345. Is 4/211 less than or equal to r?
True
Suppose 0 = 40*v + 40 - 0. Let d = 34851/74 - 471. Is v greater than d?
False
Let w = -90 + 93. Suppose 0 = w*h - h - 5*g - 7, 3*g - 63 = -3*h. Are h and -0.1 nonequal?
True
Let s be -6 - -1*(0 + 1). Suppose -40 + 52 = 6*f. Let g be f/6*(-8 - s). Which is smaller: g or 0?
g
Let n = 983/312 - 25/8. Let h be 11/(-286)*187/(-12). Let g = h + n. Is 2 at least g?
True
Let h(r) = -35*r**3 + 2*r**2 - 1. Let u be h(1). Let d = u + 38. Let x be (-779)/57 + d/(-3). Which is greater: x or -1/3?
-1/3
Let u = -170 + 51. Which is smaller: u or -235/2?
u
Suppose 2*a = 6*a. Let v be (7 + -8)*(2 - (1 + 0)). Does v = a?
False
Let i = 212.2 - 43.2. Which is smaller: 2/9 or i?
2/9
Let t = -1581 - -67987/43. Let k = t - 111/731. Suppose 4*p + 117 = 4*b + 121, 2*b - 5*p = -8. Which is greater: k or b?
b
Let j = -68 - -41. Let l = -19.57 - 6.43. Let f = l - j. Is -4 != f?
True
Suppose 15 = 3*r, -5*m = -8*m - 2*r - 521. Let i = -158 - m. Is i > -3?
True
Suppose y + 1 = -q, 2*y - 1 = 4*q - 3. Let j = 0.068 + 5.632. Let h = -2.3 - j. Which is bigger: h or q?
q
Suppose -4*c + c - 15 = 0. Let d = -1454266933/886640 + 1/177328. Let p = d + 1635. Which is bigger: p or c?
c
Let z = -2/1581 - 4727/12648. Is -3/34 not equal to z?
True
Suppose 5*g - 5*z - 5 = 0, -4*z = -0*z. Is 2/1815 smaller than g?
True
Let f = -0.045 - -6.145. Let a = f + -6.2. Which is smaller: a or -0.058?
a
Let j = 521926/3 - 28682869/165. Let x = -692/5 + j. Are x and 1 equal?
False
Let u = -943 - -1130. Which is bigger: u or 186?
u
Let x be (-1)/((-15)/(-12) + -1). Let d(m) = -2*m - 3. Let w be d(x). Suppose -6*l + w*l - 8 = 0. Does l = -10?
False
Let d(x) = 2*x**2 - 25*x - 2. Let z be d(5). Let t = -59 - z. Which is smaller: t or 16?
16
Let y = 1039/4 + -264. Let n = -259/60 - y. Which is bigger: n or 0?
0
Suppose -3*f + 2*w = 7*w + 13, 2*f + w = -11. Suppose 4*q = -m - 4, 0 = 8*m - 3*m - 3*q - 26. Suppose 2*g + 12 = m*v, -10 = 2*g - 0*g - 2*v. Is g > f?
True
Let v = 1.218 - 2.318. Which is smaller: v or -1?
v
Let l = -40579/25 - 166672/175. Let a = 2583 + l. Which is smaller: 7 or a?
7
Let d be 0 - (-17)/(-130) - 459/765. Is d bigger than -1?
True
Let z(w) = 8*w**2 + 40*w - 13. Let y be z(-5). Which is greater: -81/7 or y?
-81/7
Let n(h) = -h**3 + 9*h**2 + 2*h - 13. Let r be n(9). Suppose 0 = r*t - 5, -f - 4*t - 6 = -3*f. Let o be (4 - 8)/1 - -9. Are f and o equal?
True
Let a = -28.24 + 29. Which is bigger: 0 or a?
a
Suppose -2*y + 0*y + 22 = 0. Suppose 2*z + 6*q - 3*q - 11 = 0, 0 = -4*z + 5*q - y. Let d be 93/33 - 2 - z. Which is bigger: d or 1?
1
Suppose -3*d = -2*k - 66, 0*d + 5*k = 2*d - 44. Suppose d*m - 18*m = -160. Which is bigger: m or -79/2?
-79/2
Let u be 0 + 3*(-4)/(-78). Suppose -5*v + 27 = -23. Suppose -1 = v*i + 9. Which is bigger: i or u?
u
Suppose -3*s - i - 59 = -0*i, 0 = -s - 3*i - 9. Let q be (204/(-13))/3 + 25 + s. Which is bigger: 0 or q?
0
Let k(f) = f**3 + 4*f**2 + 8*f + 6. Let g be k(-2). Let l be (-6)/(-7)*g - -3. Does l = 2?
False
Let i = -5/926 - -1883/691722. Let g = 5998/8217 + i. Let c be 1/(-1*(-1)/2). Which is smaller: c or g?
g
Let w = 68.6 + -411.6. Is w at least as big as 0?
False
Let p = 1.5 + -1.66. Let w = 0.09 + p. Is 0.1 at most w?
False
Let i(c) = -c**2 + 18*c - 27. Let g be i(16). Suppose -4*s - 4*u = -u - 85, 0 = -s + g*u + 4. Which is greater: 18 or s?
s
Let w be 4/(-6) + (-2)/6. Let z = 115198/15 - 7680. Are z and w equal?
False
Let j be (340/1785)/((-22)/18). Which is greater: j or -1?
j
Let b = 26 - -14. Let f be -1 - 2 - (5 - (5 - -42)). Which is smaller: f or b?
f
Suppose -4*q + 2*z + 38 = -9*q, 0 = 3*q + 4*z + 34. Let l(i) = 5*i + 4. Let g be l(-2). Let x = q - g. Which is smaller: -2 or x?
-2
Suppose 4*i + 23 = -3*f, -2*f - 8 = 3*i + 9. Which is smaller: f or -2/385?
f
Let y be (1/(-7))/(16/(-952)). Let i(j) = j**2 + 10*j - 2. Let o be i(-11). Which is greater: y or o?
o
Suppose 3*f + 221 = 5*h, 186 = 5*h - 4*f - 37. Let t = -425 + 425.1. Which is smaller: h or t?
t
Let x = 8 + 12. Is 2 smaller than x?
True
Let y = 94 - 91. Are 1.7 and y unequal?
True
Suppose 5*l - 5*p = l - 10225, 5*l + 2*p + 12806 = 0. Let i be ((-12)/(-10) + 0)/(192/l). Which is greater: i or -20?
i
Let w = -2 + 13. Let i be ((-29)/(-20))/1*(