et g = -188/7 + 185/7. Suppose 0 = v - 1 - 0. Is v >= g?
True
Let c(o) = 2*o - 2. Let p be c(-3). Let w be (-3)/(-12) - (-10)/p. Is w at most 2/7?
True
Let l be 0/3*5/15. Which is bigger: -6/17 or l?
l
Let l = -27 + 27.08. Do -4 and l have different values?
True
Let t = -1/13 + 32/247. Is 0 != t?
True
Let d = -69.1 + 79. Let z = d - 10. Does -5 = z?
False
Let a = 46 + -30. Is a < -1?
False
Let s = -0.73 + 0.73. Which is smaller: 10 or s?
s
Suppose 0 = -2*c + 4*x + 12 - 4, 4*c + 5*x = 68. Let v be (36/10)/(c/40). Let l be (-6)/(-9)*(-63)/v. Is -4 greater than l?
False
Suppose -4*c = 5*n - 36, -4*n - c + 21 = 1. Suppose -n*l = -5*b + 4, 6*l - l + 5 = -5*b. Which is bigger: l or 1?
1
Let k = 0.013 - -14.487. Let v = 6.2 - k. Let y = v - -8. Which is bigger: 0 or y?
0
Let y = -0.3 - -1. Let n = -267.8 - -268. Is y less than n?
False
Suppose z - 3*z - 2 = 0. Let w be (-3)/(42/(-8))*(-30)/120. Which is smaller: w or z?
z
Let u = 1284836422/1065 - 1206419. Let i = 3/71 - u. Suppose -3*y = -2*y. Which is bigger: i or y?
y
Let c be (1/2)/((-12)/(-1656)). Do c and 70 have the same value?
False
Let f be -1*((-32)/(-14) + -2). Which is bigger: f or 11?
11
Let k = -3 + 3.1. Let f = -5 + 1. Which is bigger: k or f?
k
Let i(g) = g - 1. Let t(o) = o + 5. Let r(x) = -4*i(x) - t(x). Let q be r(2). Which is smaller: -10 or q?
q
Suppose -2*d + 30 = d. Let v be d/(-6)*2/(-10). Is 0.2 <= v?
True
Suppose d = -0*d + 3. Is d equal to 15/7?
False
Let c = -183/2 + 289/3. Let u be (4/3)/(2/8). Let p = u - c. Which is smaller: 2 or p?
p
Let o(x) = x**3 - x**2 - 5*x + 3. Let h be o(3). Is 5 <= h?
True
Let r be 8/42*54/9. Is 0 equal to r?
False
Suppose 0 = -3*w - 27 - 9. Do -13 and w have the same value?
False
Let h = 13 - -5. Do 2/3 and h have different values?
True
Let t(n) = n**3 - 5*n**2 + 6*n - 4. Let i be t(4). Suppose 0 = w - i*w + 5*s + 3, s = -3. Which is smaller: w or -2?
w
Let c = -1.19 - -1.19. Is -16 != c?
True
Let h = 8.9 - 4. Let d = h + -5. Which is smaller: 2 or d?
d
Let t(g) = g**2 - 3*g - 1. Let w be t(3). Let a be 3008/(-266)*(-1)/102. Let h = a + -2/357. Are h and w non-equal?
True
Let j be 2/((-3)/(63/(-6))). Let w = j + -1. Suppose 0 = -5*v - 4*r + 34, 0 = -v + 3*r + 2 + 1. Is v at most w?
True
Suppose -2*r + 5*j - 14 = -r, -j = 0. Suppose 0*f + 5*f = 40. Let s be (r/f + 2)*1. Is 0 greater than or equal to s?
False
Let f = -116 - -123. Let v be (1 - 2)*-2 - -4. Which is smaller: f or v?
v
Let f(q) = -q**3 - 4*q**2 + 2*q - 18. Let z be f(-5). Suppose d - 3*i + 15 = -0*d, 0 = -2*d + 3*i - 18. Do z and d have the same value?
True
Let n = -130 - -257/2. Do 3/5 and n have the same value?
False
Let h = -3 + 2. Let l be 20/(-16) - h/(-4). Does l = 2/7?
False
Let w(d) be the second derivative of d**4/12 - d**3/2 + d**2 - 3*d. Let r be w(2). Is 1/7 at most as big as r?
False
Suppose 0*l = 6*l - 18. Which is smaller: 40/19 or l?
40/19
Let o = 0.72 - -0.18. Which is smaller: o or 0.1?
0.1
Let d = 48 - 70. Is d at most -23?
False
Let x = -41/7 + 4722/805. Is -1 at most x?
True
Let a = -26 - -24.9. Let q = a - -0.1. Is -1 not equal to q?
False
Let m(a) = 10*a**2 + a + 1. Let g be m(-1). Let i be (30/(-12))/(2/4). Let o be (1 + -1)/(g/i). Which is greater: 1 or o?
1
Let p be (4 - 4)/(-1) - 0. Let y be ((-8)/(-14))/(45/(-35)). Which is smaller: y or p?
y
Let p = 44 + -51. Is -10 at most as big as p?
True
Let i(r) = r - 29. Let f be i(10). Is f less than or equal to -20?
False
Let j be (-2)/2 + 2/2. Let a be 11/(-22) + 2/4. Suppose -t + j - 1 = a. Which is bigger: t or -2?
t
Let i(o) be the third derivative of 5/6*o**3 + 0 + 0*o - 1/24*o**4 - o**2. Let s be i(4). Is -1/3 at least as big as s?
False
Suppose -4 = -2*q, -5*q = 2*l - 27 + 11. Which is smaller: l or 5?
l
Let n(f) = f**3 - f**2 + 7*f - 16. Let v(y) = -y**2 - y + 1. Let b(o) = n(o) + 6*v(o). Let c be b(7). Let t = -7 + 4. Is t bigger than c?
False
Let l be 32/(-21) + 4/6. Suppose -2*a + 0*a + 2 = 0, -2*c + 13 = 3*a. Suppose -k - 4*k - c = 0. Which is smaller: l or k?
k
Suppose 0 = -91*o + 96*o - 465. Is 93 greater than or equal to o?
True
Let u = 121.18 + -121. Which is bigger: -4 or u?
u
Suppose -4*r + 3*v + 5 = 0, 6 = 4*r - 2*v - 0. Let z be ((-8)/(-12))/((-2)/r). Which is greater: 1 or z?
1
Let g = 89/411 + 518867/411. Let s = g - 1223. Let c = s + -40. Which is bigger: 0 or c?
0
Let s(v) = -v**2 + 9*v - 4. Let c = -17 + 26. Let p be s(c). Which is smaller: p or -6?
-6
Let a be (-12)/9*-6 - -1. Is a not equal to 9?
False
Suppose a + a - 14 = 0. Let h = a + -9. Which is smaller: h or -2/3?
h
Suppose 134 = 4*d - 2*i, -2*i + i = d - 29. Let m = d + -45. Is m not equal to -13?
False
Let v = 6 + -11. Which is bigger: -11/3 or v?
-11/3
Let n be -1*((-1)/6)/(3/6). Is n not equal to -2/11?
True
Let j = 11 + -11. Is 0.3 < j?
False
Suppose -55 = 5*s - 0*s. Is -11 at most as big as s?
True
Let t = 9 - 6. Is t at least as big as -9?
True
Let b be 1/(-15)*6/(-9). Which is smaller: b or -1?
-1
Let w = 2/503 - -988/4527. Is w equal to -1?
False
Let w(c) = 2 + 4*c**2 - 4*c - 1 + 6*c. Suppose 0 = y - 0 + 1. Let k be w(y). Which is bigger: k or 2?
k
Let m be 22/10 - (-6)/(-3). Suppose 4*x = -0*n + 2*n + 8, 8 = -5*n + 4*x. Suppose q + q = n. Which is smaller: m or q?
q
Let m = -4 - -2. Let x be (m + 0)/((-7)/(-7)). Are x and -1/2 equal?
False
Let m = -5/13 - -12/65. Suppose -5*c + 26 + 28 = 2*b, 0 = -4*c + 5*b + 63. Let x be (-8)/c + (-2)/6. Is x at most as big as m?
True
Suppose j - 3*j = -3*z + 13, -5*z = j. Let o be (15/20)/(z/(-4)). Let l = -2 - o. Which is greater: -1/4 or l?
l
Let q be 15/(-60) - ((-1470)/8)/3. Which is bigger: q or 60?
q
Let r be 2/(6/(-2) - -5). Is r at least 3/7?
True
Let l = -8 + 4. Which is smaller: -2 or l?
l
Suppose -5*c + 0*c + 10 = 0. Let p be (-20)/8*(-18)/15. Let m be c/p - (-2)/(-6). Which is bigger: m or 1?
1
Let u(h) be the first derivative of h**3/3 + 7*h**2/2 + 4*h - 1. Let i be u(-5). Let a(g) = g**3 + 7*g**2 + 7*g + 8. Let m be a(i). Which is smaller: m or 3?
m
Let p(l) = 9*l**3 - 15*l**2 + 8*l + 3. Let a(g) = -5*g**3 + 8*g**2 - 4*g - 2. Let q(v) = 7*a(v) + 4*p(v). Let y be q(3). Which is smaller: 2/5 or y?
2/5
Let d = -61 + 35. Let b be (-10)/d*4/(-10). Let s(l) = l**3 + 4*l**2 + 3*l + 1. Let r be s(-3). Which is smaller: b or r?
b
Let k be (-10 + -51)/((-2)/(-2)). Which is smaller: k or -60?
k
Suppose 44 = 24*f - 20*f. Suppose 0*s = 5*o - 3*s - f, 2*o + 2*s + 2 = 0. Are 4 and o non-equal?
True
Suppose 4*u + 82 = 3*x + 6, -57 = 3*u + 3*x. Let b = u - -19. Which is smaller: b or 2?
b
Let y = 0.1 + -0.5. Does 2/7 = y?
False
Let t(x) = -x. Let f(y) = y**2 - 9*y - 4. Let d(g) = f(g) - 4*t(g). Let m be d(5). Let o = -15 + 10. Is m equal to o?
False
Let b be 9/(-5) + 4/5. Is 1/41 >= b?
True
Let f = -1 + 2. Let d = f + 1. Suppose 2*b + 6 = -4*r - 0, 5*b - 3*r - 24 = 0. Which is smaller: d or b?
d
Let s be 8/(-6)*(22 - 25). Let y(x) = x + 3. Let h be y(0). Which is bigger: h or s?
s
Let w = 0.058 + 25.942. Let l = w + -26.21. Let z = -0.01 - l. Is z greater than -0.1?
True
Let t = 4.6 + -5. Let f = 13.8 - 14. Are t and f equal?
False
Let b(j) = -j**2 - j. Let u be b(0). Suppose x + 417 = 5*s, -4*s + 7*s - 261 = -3*x. Let z be (-35)/s + (-1)/(-6). Which is bigger: z or u?
u
Let v = 200 - 2202/11. Which is smaller: v or -8?
-8
Let q = 0.3 + -0.3. Which is greater: 0.38 or q?
0.38
Let u = -5 + 8. Let o be 1 - u - (-48)/21. Which is bigger: -1 or o?
o
Suppose 5 + 13 = -3*n. Let g(c) = -c**3 - 7*c**2 - 6*c - 6. Let j be g(n). Let a be 4/j + 114/144. Do 0 and a have different values?
True
Let k(o) = o**3 + o. Let a be k(-1). Suppose -5*l + y = 3, -3 = -2*l + l + 2*y. Is l greater than a?
True
Let x = -2 + 0. Let g = -0.02 + 0.02. Which is smaller: x or g?
x
Let o = 6 - 6. Is 0 <= o?
True
Let n = 1 - 2. Let b = -0.16 - -7.16. Let u = -4 + b. Which is smaller: n or u?
n
Let x be 2/((-2)/(-7)) + -5. Are 5 and x nonequal?
True
Let f = -20.9 - -21. Which is bigger: f or -5?
f
Let q be 2/(-36)*3*6/(-21). Which is bigger: q or -1?
q
Let d = 2 + -10. Which is smaller: -2 or d?
d
Let m be (2/96)/((-1)/(-2)). Suppose 2*t + t = -0*t. Is t > m?
False
Let f = -16 + 20. Suppose -f*p + 4*l - 25 = -l, 5*p = -l + 5. Is p less than or equal to -1/4?
False
Suppose 0 = -f + 3*f + 8, -f = -2*s - 28. Which is gr