o = -0*d - d + 5, o - 11 = 3*d. Let w = d + -62. Is w < -64?
True
Let v = 40 - 28. Let h be ((-8)/v)/((-2)/12). Let y be (h/(-30))/(9/30). Which is bigger: -1 or y?
y
Suppose 2*h = 4*m + 20, 5*m - 6 + 43 = 4*h. Suppose -9*r = -5*r + h. Is r greater than 3?
False
Let a = -6613 + 26179/4. Which is smaller: -69 or a?
-69
Let v = -10 - -11. Suppose 0 = -5*d + v + 14. Suppose d*n - 13 = -n + 5*r, 11 = 3*n - 5*r. Which is greater: n or 3?
3
Suppose -5*g - 1 = -21. Let a be (g + -3)*(-2)/6. Let s be 0*((-21)/6 + 3). Is a > s?
False
Let a = -990 + 1252. Is a > 263?
False
Let t be (-10)/15*18/24*-2. Are -2/381 and t non-equal?
True
Let h = -110485/67 + 1649. Which is bigger: -37 or h?
h
Let a be 4/5 - 9/15*-2. Let i = 1 - a. Do i and 3/8 have the same value?
False
Let g = 26.1 - 25. Let w = 1.06 - g. Let m = w - -1.04. Which is bigger: m or -0.3?
m
Let w be (-8)/(-32) - (-706)/(-8). Let t = w + -41. Let a be -3 - t/18 - 4. Which is smaller: a or 1?
a
Let l(w) = -w**3 + 11*w**2 - 6*w + 20. Let z be l(10). Let v be 6/1*90/z. Suppose 2 - 29 = -3*a. Is v > a?
False
Let t(j) = 5*j - 1. Let w be t(1). Suppose n + 0 + 6 = -5*s, -9 = w*s + 5*n. Which is greater: 1/25 or s?
1/25
Suppose 5*a = -155 + 5. Let t = 169 + -167. Let c be 3/a*-22 - t. Which is greater: -1 or c?
c
Let t be 22/6 + 13 + (-4)/(-3). Which is smaller: -24 or t?
-24
Let a(v) = -132*v + 3. Let m be (-1 - 7)*1/(-2). Let g be a(m). Let i be 4/14 + 108/g. Are -1 and i nonequal?
True
Let a = 1198/99 - 104/9. Let u be (-54)/(-36)*1/(-3). Is a smaller than u?
False
Let y(m) = -m + 4. Let t(a) = -4*a + 12. Let g(w) = -2*t(w) + 7*y(w). Let p be g(-3). Let x be 5/(1 + -2 + 2). Which is smaller: p or x?
p
Let t(b) = b**3 + 4*b**2 - 4*b + 9. Let y be t(-5). Let f be 372/(-72) - (0 - y). Are -2 and f equal?
False
Let q be 1*-21*(2 + (-40)/14). Suppose 4*k = -3*m + 7*k + q, 24 = -m - 5*k. Which is smaller: 8/7 or m?
m
Let b = 733 - 737. Is b >= 2/31?
False
Suppose 0 = 5*o - 5, -o + 54 + 12 = 5*d. Which is greater: 0 or d?
d
Let r(c) = c**2 - c + 1. Let p be r(0). Let j be p*3/(-4) + 0. Suppose -a + 9 = -27*x + 23*x, 2*x = 4*a - 22. Which is greater: j or x?
j
Let t = -1 + -107. Let q = 107 + t. Is q greater than -2/147?
False
Let x be (-3)/(-9) + 2/3. Let t be (7/4)/((-51)/8). Let k = 133/51 + t. Is k less than x?
False
Let o be 12793/(-15015) + (-26)/(-14) + -1. Do 1 and o have different values?
True
Suppose 5*q - 25 = 0, 0 = 5*p + q + 2*q - 85. Suppose 0 = -2*s + p - 34. Which is smaller: s or -7?
s
Let m = 0.4409 + -0.1009. Which is greater: m or 0.5?
0.5
Let h(k) = -k**2 + 4*k + 4. Let w be h(5). Let u be ((-40)/(-28) + w)/3. Which is greater: 1 or u?
1
Let a = -33 + 40. Is a less than 11?
True
Let s(f) = -3*f**2 - 3*f - 4. Let p(k) = k**3 + 5*k**2 + 7*k + 8. Let u(o) = 2*p(o) + 5*s(o). Let b be u(3). Let z be (3/2)/3*2. Which is smaller: z or b?
z
Let k = -71.8 - -73. Let x = k + -3.2. Is -1/2 less than x?
False
Suppose -u - 27 = -4*u. Suppose 3*w - u - 15 = 0. Is w greater than or equal to 1?
True
Let i be 10/8 - 18030/14520. Is i equal to 1?
False
Let x(m) = m - 4. Let f be x(8). Suppose 0 = -2*l + f*l. Suppose l = -3*d - 0*d - 3. Which is smaller: d or -3/4?
d
Suppose 6*p = 14*p - 80. Which is greater: p or 8?
p
Let g be 8054/(-897)*66/(-12). Let v = -15/299 + g. Let j = v - 50. Which is smaller: -0.2 or j?
j
Let w = 4 - -7. Let z = w + -10. Suppose 0 = -3*t + d - 1 + 5, -2*t + 2*d = 4. Do z and t have different values?
True
Let b = 407.85 - 408. Let c = 3.35 + -3. Let a = b + c. Is -0.3 <= a?
True
Let n be 0/((-2)/(-2)*2). Let h be (n/(-1) - 1) + -2. Let a be (-10)/(-8) + -6*(-2)/(-4). Which is greater: h or a?
a
Let l(k) = k + 4. Let m be l(5). Suppose s = -z - 9 - 39, s + 136 = -3*z. Let a = z - -51. Is a equal to m?
False
Let o be (2 + 1)/(2 - 1). Let l = -175 + 168. Which is bigger: l or o?
o
Let d = -169.8 - -183.58. Let l = 0.22 + d. Let r = 14.4 - l. Is 0 equal to r?
False
Let w = -4 - 6. Let g be (-72)/(-15) - 2/w. Suppose 3*k + n = -g, 3*k - 5*n + 29 = -0*k. Which is smaller: -3/2 or k?
k
Let d = -11.5 - -30.5. Let f = d + -18.929. Is f at most as big as -2/7?
False
Let w(f) = 3*f - 485. Let p be w(54). Is -324 < p?
True
Let o = -2108 + 2154. Which is bigger: o or 36?
o
Let s = -291 - -297. Is 37/5 at least s?
True
Let s = 1.24 - 0.24. Which is smaller: 215 or s?
s
Let u = -158.8 + 161. Are 24 and u nonequal?
True
Let a be ((-2)/1)/(1/(-2)). Let p be ((-3)/a)/((-10)/(-8)). Suppose -3*n = -4*n - 3*w - 10, -2*w - 3 = -3*n. Do n and p have different values?
True
Let a be 14772/(-33) - (4 - 0). Let m = -451 - a. Is m at most as big as 1?
True
Let q be (14/(-6))/((-6)/(-7 + -497)). Let y be q/6*42/28. Which is bigger: 0 or y?
0
Let t(y) = -y**3 + 10*y**2 - 12*y - 7. Let w be t(7). Which is smaller: w or 53?
53
Suppose 1059 - 110 = 13*o. Suppose -4*i = o - 37. Do -12 and i have the same value?
False
Let h = 0.2277 + 81.7723. Does h = 7?
False
Let w be 25348/20 + 2/5. Let r = 6628/5 - w. Let l = r + -59. Is l bigger than -1?
False
Let q(n) = n**2 - 4*n - 3. Let u be q(5). Let j be (-133)/3 + (-5)/(-15). Let r = j - -49. Is u > r?
False
Let j = 1921259/78859 + 3/7169. Let v = j - 6131/253. Which is smaller: v or 1?
v
Let b(j) be the first derivative of -j**4/4 - 2*j**3/3 + 2*j**2 + 2*j - 8. Let k be b(-4). Let f be (1/(-87))/((-3)/k). Which is greater: 0 or f?
f
Let f = 1094 + -1101. Are 24 and f equal?
False
Let p = 1987 - 1994. Which is smaller: -0.9 or p?
p
Let g = -420665/47 + 8950. Is 1 greater than g?
True
Let q be (-60)/(-2 + -1)*1. Suppose 23*j - 6 = q*j. Which is smaller: 15 or j?
j
Let p(t) = 4*t**2 - 128*t + 4. Let b be p(31). Which is smaller: -119 or b?
b
Let p be 21/(0 + 3/15). Let x be p/(-95) + (-1)/(-1). Let m = -0.08 + 0.18. Is m less than or equal to x?
False
Suppose 0*l + 12 = 4*l. Suppose -2*z - 2*q - 2 = 0, 0 = -4*z + 5*q + l - 7. Which is smaller: 3/101 or z?
z
Let s(g) = -9*g + 4. Let h be s(-4). Suppose -6*d + 2*d = -h. Let l be (8/d)/((-10)/125). Is l < -10?
False
Let n = -75 + 111. Suppose -n + 36 = w. Is -6/71 less than or equal to w?
True
Suppose 3*m - 162 = 9*m. Let a(w) = -14*w. Let q be a(2). Which is smaller: m or q?
q
Suppose 0*b + b = 3*x + 7, 0 = x + b - 3. Let n be (-10)/20*(1 + x). Suppose -3*w + 7*w - 4 = n. Are -1 and w nonequal?
True
Let q = -238.98 - -236. Let n = 0.02 - q. Let z = -3.1 + n. Which is bigger: 2/15 or z?
2/15
Suppose 25*f = 24*f + 3*r - 31, 3*f - 4*r + 108 = 0. Is -42 less than f?
True
Let f = 20 - 36. Let j be f/(-88) + (-26)/22. Which is greater: j or -1/12?
-1/12
Let w be (-30)/(-1 + 6) - 6525/(-1107). Which is smaller: 1 or w?
w
Suppose 0 = -f - 0*x - 2*x + 1, 5*f - 5*x - 5 = 0. Are -14 and f equal?
False
Suppose 2*f + 4*c = 18, f + 4*f + 20 = 3*c. Let r be -2 - -4 - (-32 - f). Which is smaller: 32 or r?
32
Let a be (4/(-12))/(32/78). Which is bigger: 0 or a?
0
Let d be (2/(-94))/((-13)/(-26) - 16). Which is smaller: d or 1?
d
Suppose 1 + 7 = 2*o - 4*p, -5*p + 53 = 2*o. Suppose -4*a + 6 + o = 0. Is 5 at least as big as a?
True
Let w be 3/(-6)*-62 + 36/(-9). Which is bigger: 30 or w?
30
Let x = 132 - 78. Let j be 2/(-7) + x/42. Let s = 3/7 + -25/42. Is j <= s?
False
Let d be (-2 + -2 + 7)/((-3)/(-4)). Suppose -x + d*s = -15, 0 = -0*x + x - s - 18. Are x and 19 nonequal?
False
Let a = -11 + 15. Suppose -12*m = -11*m - a. Suppose -m*q = -f - 3*q - 2, f + 3*q - 6 = 0. Which is greater: f or -2/23?
f
Let u = -0.10371 - -80.37371. Let h = 81 - u. Which is smaller: 0.1 or h?
0.1
Let t be 8786/(-6555) + (-6)/(-5). Which is bigger: t or 1?
1
Suppose 3*x - 3*h = 6*x - 21, h = 4*x - 28. Let d be 3 + (40/x)/(-2). Is -1/5 >= d?
False
Let o = 27.4 - 0.2. Is -0.3 < o?
True
Let s(w) = 2*w - 13. Suppose 3*f + 3*b = 72, 5*b - 3*b - 88 = -4*f. Let v = f + -13. Let j be s(v). Which is smaller: j or 0?
0
Suppose -1044 - 918 = -18*v. Which is bigger: v or 0?
v
Let u(c) = -4*c**2 + 1. Let r(j) = j**2 - 10*j - 1. Let d be r(10). Let v be u(d). Let m = v + 4. Does 2/3 = m?
False
Let r = 0.188 - 0.16. Let n = r - -2.272. Let i = -2.24 + n. Do 1 and i have the same value?
False
Let u = 14 - 12.8. Let i = -2.29 - 5.91. Let c = i + u. Which is greater: -1/2 or c?
-1/2
Let s(r) be the third derivative of -r**4/8 + 35*r**3/6 - 22*r**2. Let w be s(-9). Is w at le