o = t + -3. Let q(h) = -h**3 + 10*h**2 + 8*h - 159. Let s be q(9). Are s and o equal?
False
Let d = 4.3 - 4.51. Let o = d + 0.21. Is o at least -21?
True
Let m = 1.1 - -1.1. Let v = -1.2 + m. Let a = 3 - -7. Is a at most v?
False
Let k be (-2 - (-1)/(-4))/((-42)/(-496)). Which is bigger: -27 or k?
k
Let b = 47 + -66. Let p = b + 19. Let j be (-4)/(-6)*(-3)/(-9). Is j < p?
False
Suppose 3*h + h + 12 = x, -3*x = -5*h - 22. Let u(k) be the second derivative of k**4/12 + k**3/3 - 6*k. Let y be u(h). Is -2/11 < y?
True
Suppose -2*x - 898 - 236 = -4*b, 4*x = 5*b - 1416. Is b at most -1?
False
Suppose -5*z = 15, 3*v - 125 = -z + 178. Let i = 101 - v. Which is smaller: 1/101 or i?
i
Suppose 27 = 15*s - 108. Let f be -1*(-3)/s + (-16)/(-24). Are f and 16/7 unequal?
True
Let w(o) = -o**2 + 4*o - 3. Let z be w(2). Let m = 13822/9 - 1536. Which is greater: m or z?
z
Let v be 2 + -3 + (7 - (-18)/3). Let r be (-1)/(-4) - (-86)/8. Which is greater: r or v?
v
Suppose 7*f = 32*f - 925. Is 41 at most as big as f?
False
Let t = 122 + -48. Which is smaller: t or 73?
73
Suppose 87*o - 35987 = 34*o. Is o less than 679?
False
Let j be (-4*2/1056)/(10/15). Suppose 4*y - 2*n = 6*y - 4, -2*n = -3*y - 9. Which is smaller: j or y?
y
Let k = 64 - 69. Let z be (-110)/(-25) - (-4)/(-10). Let q = z + -8. Which is smaller: k or q?
k
Let c be (4 - 5)*-2 - -2. Let f be (-481)/(-52) - 1/c. Suppose y = f - 20. Is -23/2 at most y?
True
Let c(h) = -h**3 - 24*h**2 - 24*h + 46. Let d be c(-23). Let b = d + -67. Which is smaller: b or -4?
-4
Let p = -3 + 2. Let t be ((-4641)/9)/7 + (-1)/3. Let x be t/38 + 5/((-15)/(-6)). Is x at least as big as p?
True
Suppose 4*m = 33*m - 435. Is 43/3 <= m?
True
Suppose -5*z = -25, -2*v = -5*v - 2*z + 112. Suppose -h + 4*f - v = -4*h, -h + 5 = -5*f. Let w be (-2)/h - (-29)/(-5). Which is smaller: -7 or w?
-7
Suppose -i = 2*i - 3. Let m be 11/3 + (-3)/(-9). Let q be -4 + 2/(-8) + m. Which is bigger: q or i?
i
Let s be 2/6*36/3. Suppose m = -s - 5. Let r be (-22)/3 + (-66)/99. Is r greater than m?
True
Let f be (6/4)/(6/8). Suppose r - f*y - 11 = 0, -y = -4*r - 1 + 17. Suppose 0 = -r*u - 5*h + 3, 3*u - 2*h = -18 - 0. Is u at most -4?
True
Let u = 7 + 2. Let o be (-3480)/(-420) - (1 - (-10)/(-14)). Is u greater than or equal to o?
True
Suppose -14 = 2*t - 54. Let s = t - 23. Which is smaller: s or -8/5?
s
Suppose 0 = 21*u + 2458 + 62. Which is smaller: 2 or u?
u
Let c(x) = -x + 24. Let d be c(10). Let q be (-38)/(-14) - (-4)/d. Let b be 2/q + (-10)/30. Is b <= -0.03?
False
Suppose -28*s - 28 = -21*s. Is -6 > s?
False
Let d be (5/4)/(4/4144). Suppose -4*x + d = x. Let j = x - 5441/21. Which is greater: -1 or j?
j
Let f(k) = k**3 - 13*k**2 - 14*k + 8. Let v be f(14). Is 7 at least v?
False
Suppose -4*n + 148 - 838 = -2*l, 0 = -2*n + 5*l - 365. Is n at least as big as -169?
False
Suppose -242 + 252 = a. Let t(c) = -c**3 - 2*c**2 + 4*c - 5. Let j be t(-4). Is j != a?
True
Let o = 7 - -38. Let t = o + -28. Is 16 >= t?
False
Suppose -78 + 791 = -31*n. Do n and -36 have the same value?
False
Let y be (2/2 - 1)/(-2). Do 4/115 and y have different values?
True
Suppose -188 = -3*j - 38. Is j bigger than 49?
True
Let n be 24/84 + (-136)/(-14). Let l be ((-16)/n)/((-2)/(-10)*-34). Suppose 2*q + 0*q = 0. Which is smaller: q or l?
q
Let f = 75.94 - 76. Let a = -0.115 - f. Is a != -0.1?
True
Let y = -149/2 - -80. Which is smaller: 1 or y?
1
Let v(t) = 0*t + 0 - 3 - 2*t + 3*t. Let i be v(9). Let d be (i - 2)*(-2)/(-76). Is d greater than 0.1?
True
Suppose -s + 10 = 3*z, 4*s - 6*s + 3*z + 56 = 0. Suppose -2*n + 168 = -9*n. Let j = s + n. Which is smaller: -3/5 or j?
j
Let y = -85 - -70. Which is smaller: y or -76/5?
-76/5
Let v be 35*(-6*1)/(66/(-44)). Which is smaller: v or 138?
138
Suppose 3*y = 4*y - 1. Suppose 3*t = f - 1, 5*f - 4*t + y + 5 = 0. Is f at least -11/5?
True
Let g be (-7)/35 - (-12)/(-390). Let q(o) = o**3 + 2*o**2 - 4*o - 3. Let v be q(-3). Is g at most as big as v?
True
Let g = 157 + -164.7. Let o = g + 8. Let k = 1.7 + o. Which is smaller: k or -0.3?
-0.3
Let g be -5 + (10 + -5 - 2). Let u be (-3)/(-30)*g + (-88)/10. Are -9 and u non-equal?
False
Suppose 5 = y, -4*y + 13 = 5*r - 7. Is -2/547 bigger than r?
False
Let u(y) = -42*y + 78. Let c be u(-3). Which is greater: c or 205?
205
Let m(l) = -4*l + 3. Let o be m(4). Let i = -11 - o. Suppose 3*x = -4*t + 8, -x - 2*x - 2*t + 10 = 0. Which is greater: x or i?
x
Let o = 64 - 63.7. Let s = 9 + -9. Which is bigger: o or s?
o
Let u = -1/6229 - 11866243/12458. Which is bigger: -952 or u?
-952
Let z = 29 - 27. Let s be (4/(-8))/(z/(-16)). Is 4 > s?
False
Suppose -2*g - 4*k = -20, -30 = -4*g - k - 2*k. Let w be (44/g)/(-11) - (-1)/(-3). Which is smaller: -8/7 or w?
-8/7
Let l = 155 - 154.9. Let j be 3447/(-7) - (-12)/42. Let m = -491 - j. Which is greater: l or m?
m
Suppose 2*r - 5 = 6*g - 3*g, -3*g + 1 = 4*r. Let b = -2/1383231 - 5855216777/31814313. Let z = 184 + b. Which is smaller: g or z?
g
Let a be (164/(-78))/(8/(-12)). Let c = -589/195 + a. Which is greater: -1 or c?
c
Let d be 3/(60/(-56)) - -3. Let o be ((-3 - -1)*1)/(-1). Suppose 0 = -o*r - 2*r + 4*c - 16, 0 = r - 5*c + 16. Which is bigger: r or d?
d
Let n = -110.955 - 1.045. Are 0.02 and n equal?
False
Let q = 1959 - 1955. Which is greater: -8 or q?
q
Let t = -331.08 + 331. Let j = 1.77 + -0.17. Let d = 0.6 - j. Is t less than d?
False
Suppose -3*r = 2*g + 5, -4*g + 7 = -r - 18. Suppose g*k + 30 = 6*a - a, -4*k = -5*a + 33. Is a smaller than 10?
True
Let j(y) = -y**3 - 5*y**2 + 3*y + 19. Let x be j(-5). Is x at most 243?
True
Let o(a) = a**2 - 8*a + 5. Let n be o(5). Let d = -3 + -59. Let t = 62.1 + d. Which is smaller: t or n?
n
Let p(z) = 5*z + 65. Let j be p(-10). Suppose 0 = 8*m - 1 - j. Which is bigger: m or 8/7?
m
Let y(n) = -n**2 + n + 5. Let h(o) = -o**2 + 1. Let j be h(1). Let l be y(j). Let g = 0.276 - -0.024. Which is smaller: l or g?
g
Let z(l) = -3*l**2 + 4*l**2 + 0*l + 0*l**2 + 5*l. Let h be z(-6). Is h at most as big as 6?
True
Let h(q) = -q**3 - 2*q**2 + 19*q + 20. Let v be h(6). Is -156 >= v?
False
Suppose u = -u - 2. Which is smaller: -8/57 or u?
u
Suppose 3*v = 3, -3 = -l - 2*v - 1. Suppose s - 6 = 3*s. Let z be (-9)/s + (-112)/36. Are z and l unequal?
True
Suppose -3*p - 152 = 4*n - 5*p, -n - 47 = -5*p. Let s = -60 + 22. Which is greater: n or s?
n
Let o be -8 - (-100)/(-70) - -9. Is -0.1 less than or equal to o?
False
Let g = 2787 - 2749. Which is smaller: g or 510/13?
g
Let x be 102/(-30) + (-14)/(-10). Let o = 16.93 + -17. Which is smaller: x or o?
x
Suppose 5*c + 9 + 51 = 0. Let m = c + 22. Let l be 8/2 - (m - 6). Does -0.2 = l?
False
Let x = 0.009 - -0.079. Let j = 0.028 - x. Is j <= 0.1?
True
Suppose -20 = -2*d - 3*d. Suppose -g - 3 = -d*g. Suppose 9*m - 6*m - 13 = 5*p, -3*m - 3 = 3*p. Is p != g?
True
Let k(p) = p + 16. Let a be k(-12). Suppose 3 = u + 4*o - 4, a*o = -4*u + 28. Suppose f + 3*m = -4, 20 = -4*f + 9*f + 5*m. Is f at least as big as u?
True
Let w = 1461 - 1483. Is w <= 31?
True
Suppose 4*x + 3*h + 0*h = 33, 15 = 4*x - 3*h. Let u be x/5*((-20)/46)/2. Which is smaller: u or 0?
u
Let t = -77 + 80. Suppose 0 = 3*u - z + 89, 7*z = -3*u + t*z - 79. Which is greater: -31 or u?
u
Suppose -3*o + 0*l - 42 = 3*l, 2*o = -3*l - 25. Suppose 479 = -9*v + 335. Which is smaller: o or v?
o
Suppose -5 = -5*b - 2*l - 31, 0 = -4*l + 8. Which is smaller: -170/27 or b?
-170/27
Let r = 794 - 951. Is -163 at least as big as r?
False
Suppose -4*h + x - 2 - 17 = 0, 0 = -3*x - 3. Is h >= -11/2?
True
Suppose -5*p + 4*x = 4, 2*x + 2 = 4*x. Let d be (-19)/10 + 2 + 0. Is d at most as big as p?
False
Let d = 0.0305 - -0.3195. Is d bigger than -2/9?
True
Let w = -9.78 - 5.22. Is w greater than 3/8?
False
Let i(j) = j**2 - 11*j + 46. Let u be i(12). Are u and 63 unequal?
True
Let q be (3/2)/(345/46). Let i = -0.33 - -0.25. Which is smaller: i or q?
i
Let f(n) = -9*n + 35. Let g be f(5). Is g at least as big as -38?
True
Let f = 31 - 18. Let g = 10 - f. Let p = -4 - 1. Is g > p?
True
Suppose i + 7 = -3*s, -s - 2*s - 17 = -i. Let p = 353/2 - 171. Is i equal to p?
False
Let f be (-19)/(-3) + 2/3 + -1. Let q be (-4)/(-204) - (-2)/f. Let v = 538/5 - 108. Is v < q?
True
Suppose 0 = -55*i - 70*i - 4000. Suppose -2*t = 11 + 55. Which is greater: 