 Let b be c(-2). Let d be n(b). Are 0 and d unequal?
False
Let k = 1 - 0.97. Let b = 1.97 + k. Let w = -18/5 - -116/35. Which is greater: w or b?
b
Suppose v + 4 = 3. Is v at most -3?
False
Let z = -1 + 16. Let v be (-3)/12*z/6. Which is greater: -2 or v?
v
Suppose -163 + 23 = -5*t. Let b be (21/t)/(0 + -3). Suppose 0 = -5*q + 3 - 8. Which is greater: q or b?
b
Let p = 0.1 + -0.2. Let h = -3.349 - -0.369. Let x = h - 0.02. Which is greater: p or x?
p
Let v = -2 + -2. Let b = v + 4.01. Let g = b - -0.09. Which is greater: 2 or g?
2
Let b = -16 + 7. Let w be (-95)/15 + (-3)/b. Let q = -2 + -5. Which is smaller: w or q?
q
Let d(q) = q - 16. Let w be d(9). Which is smaller: -8 or w?
-8
Let h be (-4)/10 - 24/15. Let o be 2*h/2 + 1. Let g be (o/(-3))/(12/(-9)). Which is greater: 0 or g?
0
Let i = -13/36 - 1/72. Are 0 and i equal?
False
Suppose 2 + 1 = -3*a. Let b be (-1 - (-1)/2)*-4. Let l be b/(-4) - (-6)/28. Which is bigger: a or l?
l
Let m(d) = d**3 - d. Let j be m(0). Let w = 3 - j. Let b(v) = -v - 1. Let i be b(-2). Is w < i?
False
Let y = 6 - 0. Suppose 0*b = -3*b - y. Let l be 1/b + 9/2. Is l smaller than 5?
True
Let v be 1/3 - ((-8)/6)/(-4). Is v less than -2/93?
False
Let d be (-9)/6 - 11/(-2). Let z be 4/(-3)*(-9)/(-6). Let n be d/2 - (z - -2). Which is smaller: n or 3/4?
3/4
Let w be -3 - 0 - (-3 - -3). Let g be 1 - (w/(-2) + 1). Let x = -0.9 - 0.1. Which is smaller: g or x?
g
Let p = 3/146 - -253/1898. Let v = 1.9 + -2. Which is smaller: p or v?
v
Suppose -5*v = -16 + 11. Which is greater: v or 1/9?
v
Let u be (-9)/12 + 78/8. Let p be (24/u)/(4/6). Let g be (p + -2)*(-1)/2. Is -2 at most as big as g?
True
Suppose 5*m = -l + 21, l + 2 = m - 7. Let n be -2 + 8/m - -1. Is n less than 2?
True
Suppose 2*r - 6 = -r. Suppose 3*h = -4*g + 1, 6*h - 5*g - 25 = h. Suppose 1 = -r*b - h. Is b <= -1?
True
Suppose -5*k = 6*h - 2*h, -3*h - 5*k = 0. Suppose h = -3*v + 4*u - 19, -u = -v - 5*u + 15. Is -3 less than or equal to v?
True
Suppose 3*f - 6 = -3*d, 3*d - 4*f + 12 + 3 = 0. Let v(p) = p + 1. Let b be v(-2). Is b greater than d?
False
Let l be (38/7)/((-3)/(-21)). Is -0.1 less than l?
True
Suppose -3*i = 5*p - 5, 5*i + 0*i + 2 = 2*p. Let z = 0 + p. Let k = -42 + 127/3. Which is smaller: k or z?
k
Let n = 4 + -3. Let i = n - -4. Suppose -3*b - 2*c = -i, 0 = c - 2 + 1. Which is greater: 2/7 or b?
b
Let u = -371/3 + 123. Let i(q) = q**2 + 4*q - 1. Let x be i(-4). Is u <= x?
False
Let b = -0.152 + 0.032. Which is smaller: b or -5?
-5
Let t = 21 + -21. Let z = 3.7 + -4. Let d = t + z. Is d smaller than 0.1?
True
Suppose -4*b = -5*b + 4. Which is smaller: b or 3?
3
Let h(j) = 4*j**2 + j. Suppose 9 = t + 2*k, 5*t - 2*k = 3*t - 6. Let r be h(t). Is 4 >= r?
False
Let y = -3 + 4. Let f = -1.64 - -0.04. Which is smaller: y or f?
f
Suppose 5*r = 5*g - 10, -3*g - r - 2*r + 24 = 0. Let s = -6 + g. Which is bigger: 0 or s?
0
Let q be 1/(2 - 1) - 2. Let n be (-10)/(-35) + 1698/(-14). Let b = n - -601/5. Are q and b unequal?
True
Let v = 43 + 7. Is v less than 0.1?
False
Suppose -57 = -2*v - 4*x - 15, 0 = 5*x - 25. Is 14 greater than or equal to v?
True
Suppose 7*i = 2*i - 25. Let r be i*(2 - 264/135). Which is smaller: r or -1?
-1
Let r = 5 - 11. Let w = r - -3. Which is bigger: w or -2/5?
-2/5
Suppose 0 = -9*z - 6 - 3. Which is greater: 1/5 or z?
1/5
Let r(o) be the first derivative of -2*o + 1/2*o**2 + 2. Let h be r(3). Is 1 bigger than h?
False
Suppose -5*j = -j + 3*q - 22, 5*j - 16 = 2*q. Let s = 4 - j. Let u = 1 + s. Which is smaller: u or 1/2?
1/2
Suppose -2*n + 2*x = 5 - 1, 0 = -5*x + 25. Let p(c) = -c**2 - 5*c + 4. Let i be p(-5). Suppose i*f - n*f = -4. Is -5 at most f?
True
Let m be ((-4)/35)/((-18)/(-45)). Let q = 3/14 - m. Which is greater: q or 3?
3
Suppose 0*r + q = -r + 5, -q = -2*r + 1. Let b be -3 + 1 + 0/(-2) - -2. Which is bigger: b or r?
r
Suppose -n = 4*g - 47, -24 - 12 = -2*g + 2*n. Suppose -2*j = -g - 5. Which is bigger: 8 or j?
j
Let b = -22 + 66. Suppose -b = -0*g - 4*g. Are 11 and g equal?
True
Let j be (3/2)/(3/(-9)). Which is bigger: j or -5?
j
Let o = 14 + -13. Let f = o + -0.9. Which is greater: -6 or f?
f
Let n be 3/(3/3) - -1. Suppose 0 = 3*r - n - 2. Which is smaller: r or 3?
r
Suppose 3 = 3*u + 3*b, 2*u = 4*u - 5*b + 19. Let c = u + 1. Suppose -25 = 5*s - 20. Is c less than s?
False
Let t be ((0 - -3) + 2)/1. Let m = -3 + t. Which is smaller: 2/3 or m?
2/3
Let c = -4 + 4. Suppose 0*r - 4*r = c. Suppose o - 5*v + 18 - 3 = r, -2*o + 6 = 2*v. Which is greater: o or -2?
o
Let x(i) = -i**3 - 3*i**2 - 2*i - 2. Let n be x(-2). Let m = 2 + n. Is 3/7 less than m?
False
Let m = -412/3 + 131. Is -7 smaller than m?
True
Let x = 1 - 1. Suppose x = -u - 2*u - 6. Let f be (-4)/((-1)/((-4)/8)). Are u and f unequal?
False
Suppose 113 = -5*c - 4*i + 415, 4*i = -4*c + 244. Do 58 and c have the same value?
True
Let y = -3 + 8. Suppose 10*v = 5*v - y. Let g be (7/(-9) - 0) + 1. Is v >= g?
False
Let s = 0.27 - 0.3. Let m = s + -0.97. Let q = 0.1 - 0.1. Does q = m?
False
Let g(y) = -y**3 - y**2. Let w be g(-1). Suppose -2*x - 12 = -w*x + 2*h, 3*h + 11 = -2*x. Let c be x/(-5) - (-16)/(-40). Are -2/7 and c equal?
False
Suppose -l = -1 + 2. Let r be (-27)/(-18) + 0 + l. Let j be (1 - -2)*2/3. Which is smaller: j or r?
r
Let d be (32/96)/(7/(-2)). Which is greater: d or 1?
1
Suppose 8 - 48 = -5*y. Let h(j) = -5*j - 3. Let r(c) = 14*c + 10. Let n(p) = y*h(p) + 3*r(p). Let u be n(-5). Which is smaller: -5 or u?
-5
Let x be (-10)/((-7)/2 - -3). Suppose -x = -2*o - 2*o. Suppose 2*b - 9 = 3*w, -o*b + w + 3 = -0*b. Is 2/3 at most b?
False
Let o = -0.4 - -15.4. Do o and 1 have the same value?
False
Let b be 2 + 5/3 + -3. Let j = 5 - 3. Which is smaller: j or b?
b
Suppose 120 = 7*r + 36. Which is greater: 14 or r?
14
Let f = 5 + -4. Suppose -2*p - f = -p. Let a be ((-2)/(-3))/((-10)/6). Which is greater: a or p?
a
Suppose -5*r - 131 + 41 = 0. Which is smaller: r or -17?
r
Suppose 9 + 18 = 3*c - 5*h, -3*c = h - 45. Suppose 2*s + 0*s - c = 0. Let q be (1/s)/((-4)/(-12)). Which is smaller: q or -1?
-1
Let x = -21 + 21.15. Which is greater: -0.1 or x?
x
Suppose -q + 14 = -4*n - 3*q, 4*q + 4 = 0. Is -8/3 < n?
False
Let q(x) = x**3 + 2 + x**2 - 1 + 2*x - 2*x**2. Let w be q(2). Which is smaller: w or 7?
7
Let y = -9 + 15. Let i(b) = -b + 6. Let h be i(y). Is 0 < h?
False
Suppose -g - 7 = n + 2*g, 3 = 3*n - 3*g. Is n != -3?
True
Let s = 2 - 2.05. Let b = 50.95 + -51. Let r = s + b. Which is bigger: -1 or r?
r
Let a(m) = -m**2 + 2*m - 2. Let w be a(3). Let d = 10 - 6. Suppose d*y = y - 18. Which is smaller: w or y?
y
Let v = 17 + -25. Let r be 2/v - 2/8. Which is greater: -4 or r?
r
Let b be 2/(-9) - 176/18. Let y be 0 - (b/(-2))/(-1). Suppose y*j - j + 12 = 0. Is -1 greater than j?
True
Let m = 95 - 286/3. Which is bigger: 2.5 or m?
2.5
Let o = 4 + -4. Let g = o + 3. Suppose -g*b = 2*b. Is 0 at most as big as b?
True
Let j(r) = r**3 - 8*r**2 + r - 7. Let y be j(8). Suppose 4*t + y = -7. Does t = -2?
True
Suppose 0*u + 1 = u. Let v be (2/(-16)*-2)/(-1 - -3). Is u >= v?
True
Suppose 3*s - 10 = s - 5*a, 2*s + 3*a = 6. Let o = -1/11 - 4/77. Are o and s unequal?
True
Let d(i) = -i**3 - 7*i**2 - 17*i - 20. Let j be d(-4). Suppose 4*y + y - 550 = 0. Let b = 768/7 - y. Which is bigger: j or b?
j
Let o be 2 - 4/4 - 0. Which is smaller: o or 5/6?
5/6
Let b be (1/2)/((-3)/(-12)). Let v(w) = -w**3 + w**2 + 3*w - 1. Let j be v(b). Which is greater: 2/21 or j?
j
Suppose 3*y - 3*o - 15 - 3 = 0, -2*o + 9 = y. Is 8 equal to y?
False
Suppose -7*g + 3*g + 2*a = 266, -g + 5*a = 53. Which is bigger: -67 or g?
-67
Let y = 16 - 18. Let b(q) = -2*q + 1. Let s be b(3). Do s and y have the same value?
False
Let o = -1.8 + -0.1. Let a = o + 2. Is a <= -1/2?
False
Let w be 140/245 - (-1)/(-7). Let z = -1.7 + -0.3. Is w > z?
True
Let t(w) = 2*w + 1 - 3*w - 3*w. Let n be t(4). Is n <= -15?
True
Suppose 3*z - 4 + 1 = 0, 0 = 5*h - 4*z - 11. Which is smaller: 5 or h?
h
Let s = -7.06 + 7. Let a = 17 - 45. Let r = a - -111/4. Which is bigger: s or r?
s
Let z = -11083126785 - -3014600666339/272. Let l = z + 36100. Let o = l - 3/16. Which is greater: o or 0?
0
Let c(s) = 2*s - 6. Let v = 3 - -1. Let o be c(v). Let p be (2 + o)*1/(-2). Which is smaller: p or -3?
-3
Let u be (-1 - (-6)/(-2))/((-6)/(-21)). S