et k be (1 + -1)*(-1)/2. Let t be 0/3 - -1 - 3. Which is bigger: k or t?
k
Let c = -215 - -3226/15. Is 1 equal to c?
False
Let x be ((-3)/30)/(5/(-60)). Is x bigger than 1?
True
Let i(v) = v. Let z(x) = 4*x - 2. Let h(n) = 3*i(n) - z(n). Let b be h(3). Which is smaller: 0 or b?
b
Let j = 45 + -45.2. Which is smaller: j or 0?
j
Suppose -a + 6*x - 3*x + 5 = 0, 5*a - 25 = 2*x. Let q(g) = g - 1. Let h be q(7). Suppose -1 + h = a*l. Is 1/5 at least l?
False
Suppose -4*i + y + 2 = 6, -2*i - 3*y = -12. Suppose 1 + i = -s. Is -3 less than or equal to s?
True
Let h be 3/((130/(-115) + 1)*-1). Which is bigger: h or 20?
h
Let l = 831/4 + -209. Are -1 and l non-equal?
True
Let t(k) = 3*k**3 + k + 1. Let f be (-4)/10 - 10/(-25). Let o = f - 1. Let c be t(o). Is c != -3?
False
Let q be -2 + (-27)/(-12) + 1/(-2). Is 1 at most q?
False
Let x(r) = r**2 + 2*r - 2. Let c be x(-3). Let n = 2 - c. Is n at most as big as 1?
True
Let s = 0.2 + -0.1. Let x = s - -0.9. Let k be 9/(-15) - (-5)/25. Is k smaller than x?
True
Let r be (-104)/18 + 2/(-9). Let s(b) = b + 5. Let k be s(r). Let y = 41 - 122/3. Is k less than or equal to y?
True
Suppose 2*v = -3*z - z, 0 = -3*z - 3*v. Let s = 4/5 - 47/65. Which is bigger: z or s?
s
Suppose 7*z - 9*z = 0. Let u = 0.2 - 0.5. Is u greater than or equal to z?
False
Let b = 0.78 + -0.83. Which is smaller: b or 0?
b
Let k = 75 - 69. Which is greater: k or 28/5?
k
Let k be ((-4)/8)/((-27)/(-4)). Let z = k - -8/27. Is -1 equal to z?
False
Let p = -2857/16021 - -7/433. Is 0 less than or equal to p?
False
Let w = 1530 - 93332/61. Is 1 <= w?
False
Let p = 1 + -1. Let w(h) = -3*h**2 - h + 3. Let x be w(-3). Let m = x - -41/2. Which is smaller: p or m?
m
Suppose 0 = u - 2*u - 1. Which is smaller: 2 or u?
u
Let u = -63557/14 + 4505. Let n = u + 69/2. Which is greater: n or 0?
0
Let d = -24 - -23.8. Is d > -2?
True
Suppose 5*c + i + 4 - 9 = 0, -5*c + 5 = 4*i. Suppose -4 = -r - 3*g + 56, 2*g = 4*r - 310. Let k = 677/9 - r. Which is smaller: c or k?
k
Let s = -10540/79 + -228934/1343. Let j = s + 304. Let x(h) = -7*h - 76. Let k be x(-11). Is k at least as big as j?
True
Let x be 3 + 1/(-1)*-2. Suppose 27 - 9 = x*s - 2*t, -3*t - 10 = s. Suppose o - 8 = -3*o. Do o and s have the same value?
True
Let b(q) = -q**2 + 6*q - 5. Let j be b(5). Let h be (-22)/15 + 14/21. Is j less than h?
False
Let u = -15 - -26. Let c = 14 - 22. Let g = u + c. Do g and 1 have the same value?
False
Suppose -4 = -9*p + 5*p. Which is bigger: p or -1/5?
p
Let q = -0.5 + 0.1. Let o = q + -0.1. Is o bigger than 0.1?
False
Let l = 3 + -2. Suppose x = -0*x + l. Suppose 2*k - 8 = -4*o, k - 4*o = -4*k + 6. Which is bigger: k or x?
k
Let y be 104/(-14) + (-16)/28. Let m be (-10)/(-14) - y/(-8). Which is bigger: 2 or m?
2
Let o = 13249/3615 + 2/1205. Is 4 equal to o?
False
Let p(z) = 3*z**2 - 6*z. Let m be p(2). Do -1/6 and m have the same value?
False
Suppose 5*p - 47 = 18. Which is smaller: p or 14?
p
Let h = -118.22 - -116. Let s = -1.21 - h. Let u = -1 + s. Which is bigger: -1 or u?
u
Let w = -4 - -3. Let q be (3/2)/((18/1)/6). Which is smaller: w or q?
w
Let w be (-32)/(-306) - 8/36. Let s be 1/(-1)*(1 + -2). Is w bigger than s?
False
Suppose -2*n + 2 = -3*n. Let m(s) = s**3 + 10*s**2 + 10*s + 8. Let c be m(-9). Is c >= n?
True
Suppose l = -5*k - 16, 4*l + 2*k = -15 + 5. Is l at least as big as -3?
True
Let q = -1/92 - -371/276. Is q <= 0?
False
Let j = 10 + -15. Suppose 0 = x - 3*x. Is j smaller than x?
True
Suppose 3*u - 2*u - 6 = 0. Let b be (-3 - 9)*(-2)/u. Suppose 0 = 2*o + o - 9. Are o and b nonequal?
True
Let a = 2.6 - -0.4. Is -1/4 at least as big as a?
False
Let j be (-2)/4 + (-125)/(-10). Which is smaller: j or 13?
j
Suppose -v = -5*v + 8, 1 = w + v. Is -3/2 at least as big as w?
False
Let l(x) = -2*x - 4. Let w be l(9). Let d = w + 13. Let a be (-4)/d*(-3)/(-8). Are a and -1 nonequal?
True
Let c be (3 - 0) + (0 - -1). Let h be 1/(2 - 1)*4. Suppose 3*g - h*v = 9, -2*v - 5 - 4 = -3*g. Which is bigger: g or c?
c
Let r = -790/21 - -118/3. Which is greater: 1 or r?
r
Let f = -1.81 - 0.19. Which is smaller: f or 0.06?
f
Let v(f) be the second derivative of -7/2*f**2 + 0 - 2*f + 7/6*f**3 - 1/12*f**4. Let k be v(7). Is -8 greater than k?
False
Let q = -156 + 147.7. Let y = 8 + q. Let m = 0.3 + y. Which is bigger: -1 or m?
m
Let g = -17/8 - -19/8. Let o = -0.05 + 0.15. Does o = g?
False
Suppose -4*a + a = 4*k - 27, 0 = 2*a - 4*k + 2. Suppose 0 = -a*i - 9 + 4. Is -8/11 bigger than i?
True
Let n be (0 + 1)*(4 + -3). Let z be (2 - n)/(-2 - -1). Let a = z - -3. Is a greater than or equal to 2?
True
Let k = 72 + -719/10. Which is bigger: k or 4?
4
Let s = 48.9 + -49. Which is smaller: -32 or s?
-32
Let r(p) = -p + 3. Let v be r(5). Let b be (3/(-2) + 2)*v. Let o be b + 2/(-6) + 1. Is -1 <= o?
True
Let f = -3.1 + 3. Let t = 1 - 1.1. Let z = 0 - t. Which is bigger: z or f?
z
Suppose -3*d + 18 = -5*d. Let g(i) = i + 9. Let s be g(d). Is 2 bigger than s?
True
Suppose -4*d = 4*s - 3*s - 7, 2*s = -2*d + 2. Which is greater: -5 or s?
s
Suppose 3*b + v = -7, -30 = -2*b + 5*v - 12. Let p = 66/5 + -647/30. Let m = -41/5 - p. Which is greater: b or m?
m
Let f = -3.6 + 4. Let x = f - 0.3. Let y = -4 + 1. Which is greater: y or x?
x
Let f be (11 + -10)/((-1)/(-6)*3). Is f greater than or equal to 3/5?
True
Let a be 1/2*-6 - 3. Let k(f) = -f**3 - f**2 - f - 5. Let d be k(0). Which is greater: a or d?
d
Let x(q) = q**3 - 6*q**2 + 2. Let b be x(6). Are 1 and b unequal?
True
Let v = 0.97 - 0.97. Is v not equal to -111?
True
Let d = 8 + -7.7. Let h be (-18)/24 - 0/(-2). Let y = -5/12 - h. Is d not equal to y?
True
Suppose 4*w - 34 = -2. Which is smaller: w or 9?
w
Let k(q) = -3*q - 1. Let t be k(-1). Suppose 0*h - t = -r - h, h = r. Do 0 and r have different values?
True
Let a = -1 + -1. Let j be 0/(a - (-3)/3). Let w(q) = -q**3 - q**2 + q + 2. Let s be w(j). Is s less than or equal to 3/2?
False
Suppose 2 = 3*w + 5. Let q = -3 - -3. Are w and q nonequal?
True
Let h = 1.8 + -0.8. Which is smaller: h or 0?
0
Let c = -1176 + 27034/23. Is -2 smaller than c?
True
Let c = -2.84 - 0.16. Suppose 2*p - 12 = 4*l + 3*p, 5*l + 22 = -3*p. Let i be (-3)/(-6) - l/4. Which is smaller: c or i?
c
Suppose z + 120 = 5*z. Let m be z/(-50)*(-4)/6. Is -0.1 bigger than m?
False
Let t = 0.14 - -0.56. Let g = -2.7 + t. Which is smaller: g or 2/9?
g
Let o(a) = -2 - 7 - a**2 + 10*a - 2. Let w be o(9). Is -1 >= w?
True
Let g = -86 + 859/10. Let j be 3/(-5) + 27/45. Which is greater: j or g?
j
Let j = 6 + -6. Let v = -3 - j. Which is smaller: v or -4?
-4
Let q = -14.5 + 14.5. Let r = 2.04 - 0.04. Which is greater: r or q?
r
Let a = 3 + -4. Let g be a/(-2)*-2*3. Let o be 6/(-4)*2/g. Is 1 != o?
False
Let a = 23 + -24. Is -6 bigger than a?
False
Suppose -s = -5*s - 24. Let n be -2*s/4 + -2. Are n and 2/17 unequal?
True
Let t = -15 + 87. Let i be t/(-546) - 6/39. Which is smaller: 2/3 or i?
i
Suppose 4*h - 2*h + 4 = 0. Let i be (0 - 2)*(-1)/h. Let t be (-200)/32 - i/4. Do -6 and t have the same value?
True
Let c = 2074/9 - 231. Is c smaller than 0?
True
Let v = 1.3 - -4.7. Let i = 43/2 - 22. Which is greater: i or v?
v
Let l = -318 + 1596/5. Is l greater than 0.1?
True
Suppose h = -h. Let y = -250 - -461. Let b = 1480/7 - y. Which is bigger: b or h?
b
Let z(u) = u - 3. Let p be z(5). Suppose g + 2 = p*g. Let r = 0 + g. Which is bigger: r or 2/7?
r
Let o = -0.72 + 0.67. Which is smaller: 2 or o?
o
Let c be (-2)/(-4)*0/2. Which is greater: c or 2/83?
2/83
Let z(i) = -i + 6. Let h be z(6). Suppose 2 = -h*y - 2*y. Suppose 5*g - 5 = d, -2*g = -1 - 1. Is y < d?
True
Let q(y) = y - 10. Suppose -5*i + 4*i + 9 = 0. Let r be q(i). Is -7/3 less than r?
True
Let w be 4 - 6 - 106/(-10). Let n = w - 321/35. Which is bigger: n or -1?
n
Let o = 110 - 109.37. Let i = o - -0.07. Is 1 at most i?
False
Suppose 4 = s - 0*s + m, -4*m = -4*s - 16. Suppose -2*w + 5*y + 10 = -17, s = 3*w - 4*y - 23. Let b be (48/15 - 3)/w. Which is smaller: -1 or b?
-1
Let u be (-4)/30 + 2/15. Is -1/10 at least u?
False
Let u be 7/6 - 2/(-6). Suppose 0 = -7*n - 0*n + 7. Which is greater: u or n?
u
Suppose -u + 20 = -6*u. Let b = 4 + -3. Suppose b = g + 4. Does u = g?
False
Suppose -5*d - 5*x + 33 = 3, -x + 5 = 0. Which is bigger: d or -1/20?
d
Let y = -11 + 11. S