2*b - 10. Let x be q(11). Which is smaller: x or c?
c
Let z = -1 + 3. Suppose 12 = z*k + 56. Let m be (-4)/k + 140/(-44). Is 1/4 >= m?
True
Let d = -0.02 - 0.1. Which is bigger: -1 or d?
d
Let b(u) = u - 3. Let p be b(5). Are 1/2 and p non-equal?
True
Let d be (8/36)/(2/18). Let k = -7 - -8. Is k > d?
False
Suppose -3*d + 65 = 2*d. Let u(y) = -y**2 + 12*y + 16. Let h be u(d). Suppose -5*o + 12 = -o. Is h at least as big as o?
True
Let n = -3 + 4. Let o = -3 + 5. Let k = o + 1. Is n smaller than k?
True
Let i(p) = p - 2*p**3 + 10*p**2 - 14 + p**3 + 0*p**2. Let s be i(10). Suppose 1 = n + 4. Are s and n nonequal?
True
Let t = 115 - 127. Do t and -11 have the same value?
False
Let s(t) = t - 5. Let z be s(6). Which is smaller: z or -6?
-6
Let r = 5 - 7. Let f = 0 + r. Do -3 and f have the same value?
False
Let y be (-16)/(-20) + -2*(-41)/(-40). Let z(h) = h - 4. Let i be z(3). Which is bigger: y or i?
i
Suppose 0 = u + 3*u. Which is smaller: 1 or u?
u
Let f = -11 + 12.8. Let h = f - 0.8. Is 6 smaller than h?
False
Let s = -377 + 385.05. Let v = s + -0.05. Is 0 not equal to v?
True
Suppose -d + 4*q = -7, q + 4 = -q. Let x be (-2)/18 + 2/6. Is d bigger than x?
False
Let i = 3/94 - -229/188. Which is bigger: 2 or i?
2
Let w(v) = v**2 - 6*v + 6. Suppose 2*q - 3*m = 4 + 3, 0 = -q + 5*m. Let s be w(q). Which is greater: -3/10 or s?
s
Suppose -4*z = -3*s - 222, -s - 220 = -4*z + s. Is z greater than or equal to 52?
True
Let w be (-2)/(-2)*2 - 0. Let h be (-35)/15 + w/6. Let p = -4 - h. Is p at least -2?
True
Let l = -27/5 + 103/20. Let v = 5 + -4. Let i = 0 - v. Which is bigger: i or l?
l
Let c be -3 + (70/8)/7. Which is greater: -2 or c?
c
Suppose 0 = 3*l + l. Suppose 0 = -3*d - d, -3*s - 27 = d. Let c(u) = u**3 + 9*u**2 - u - 10. Let o be c(s). Which is smaller: l or o?
o
Suppose -3*h - 71 = -2*q - 0*q, -2*q = 3*h + 55. Let u = h + 21. Which is greater: 4/9 or u?
4/9
Let j = 5.54 + -8.5. Let p = -0.04 + j. Which is greater: -1 or p?
-1
Suppose 23 = h + 22. Is 1/5 >= h?
False
Suppose 0 = 18*o - 19*o - 11. Is -10 smaller than o?
False
Let k = 2.1 + -2. Let w = -0.1 - k. Which is bigger: w or 0.1?
0.1
Let m = -17.9 + 18. Let x = -328/555 + -1/111. Which is bigger: x or m?
m
Let z be 66/30 - 2 - -1. Let q = -1 + 0. Let v = 1 - q. Which is greater: v or z?
v
Let g be 6*-65*3/(-9). Let c = g - 908/7. Let n = 0.3 - 0.1. Which is smaller: n or c?
n
Suppose 11*j + 675 = 2*j. Is j bigger than -75?
False
Let h = -0.4 - -0.9. Let i be (0 + 3/6)*2. Which is bigger: h or i?
i
Suppose d + 2 = 3. Let i be (-1 - -2)/((-3)/(-4)). Which is bigger: d or i?
i
Suppose -9 - 3 = -4*u. Is u greater than 1?
True
Let y = -16009/6 - -2657. Let g = y - -25/2. Which is greater: 1 or g?
g
Let f = -0.7 + 0.3. Let a = f - -0.32. Which is smaller: 0 or a?
a
Let b = 2.2 + -0.2. Let s = 2.1 - b. Let f = 0.1 + -0.3. Is s less than f?
False
Let z be 3 + (-185)/75 - 2/6. Which is smaller: 7 or z?
z
Suppose -14 + 98 = -12*k. Is -7 at most as big as k?
True
Let u be 3/(-14)*(-27)/(-6). Let f = u - -3/28. Suppose -1 = i + 1. Is f < i?
False
Let q be 164/9 - 12/54. Suppose 3*z = 5*z - q. Which is bigger: 8 or z?
z
Let z = 22.28 - 22. Let a = -0.18 - -0.2. Let p = z + a. Which is bigger: p or -1?
p
Let g = 7 - 24. Let q be (g - -2)*1/(-3). Suppose 5*p + 4*r + 3 = 0, -5*r + 6*r + q = 3*p. Are 1 and p equal?
True
Let l = -0.04 + 2.04. Are l and 2/5 equal?
False
Let d = -6 - -7. Let z be ((-1)/(-2))/((-2)/(-4)). Is z > d?
False
Let p = 0.06 + 1.94. Let s = -2.96 + -0.04. Let v = s + p. Which is smaller: v or 0?
v
Let n(p) = -p**3 + p**2 + 2*p + 2. Let r be n(3). Let t = 14 + r. Let u(v) = 2*v**2 - 4*v + 3. Let g be u(2). Is g >= t?
False
Let o = -8 - -13. Let a be (-5)/o - (-6)/1. Suppose 0 = -2*f + a*t - 2, 2*t = -0*t. Which is greater: 5 or f?
5
Let y = -176 - -883/5. Which is greater: 2 or y?
2
Let f(u) = u**3 - u**2 + 1. Let n(t) = 6*t**3 - 2*t - 1. Let m(q) = 5*f(q) - n(q). Let a be m(-5). Let v = 1 - a. Is 6 at least v?
True
Let m = -43 + 27. Is m < -16?
False
Let q = -0.13 + 8.13. Let b = q - 8.9. Which is bigger: b or -0.1?
-0.1
Suppose 59*m - 58*m = -20. Which is smaller: m or -17?
m
Let k = 7 - 14. Which is greater: k or 1?
1
Let n = -21 + 30. Suppose 0*d = d - 9. Is n bigger than d?
False
Let g(y) = 2*y + 12. Let i be g(-6). Let c(v) = 3*v**3 + v**2. Let n be c(1). Suppose n*b - 3*z = -i*z + 17, -b - 3*z = 7. Which is smaller: 3 or b?
b
Let m(c) = c**2 - 6*c + 6. Let n be m(4). Let v = 0 - 0. Is v != n?
True
Let n = 148 + -589/4. Let d = -6 + 6. Suppose 0 = c - 4, -l + 0*l + 4*c - 16 = d. Is n < l?
False
Let z be 2246/562 - (0 - -4). Which is bigger: z or -1?
z
Suppose 0 = 4*t - 4*c - 54 + 6, 2*c = -5*t + 60. Suppose 0 = -3*u + t, 0 = -5*o + 2*u - 4 - 4. Which is smaller: o or -1?
-1
Suppose 5*h = 5*i + 25, 2*i = -h - i - 11. Suppose 2*j - 4 = -0. Does h = j?
False
Let t be 6237134/(-1232)*(3 - 1). Let a = t + 70879/7. Let l = -3/44 + a. Which is smaller: 0 or l?
0
Let q = -2.56 - -0.06. Let x = -0.5 - q. Let s be 4/(-6) - (1 - 2). Which is bigger: x or s?
x
Let m = -0.8 - -1. Let s = 5 + -9. Let v be 2*2/s - -3. Which is smaller: m or v?
m
Let q = 0.13 + -0.33. Is q < -64?
False
Let q(w) = -w**3 - 6*w**2 - 6*w - 41. Let v be q(-6). Is -0.1 greater than or equal to v?
True
Let c = 0.02 + 0.28. Let p = -0.2 + c. Is p at least as big as 0.03?
True
Suppose -2*n + 0*n = 2. Let z be ((-1)/1 - (6 + -9))/(-31). Is n greater than z?
False
Let d = 13 - 12.89. Let c = d + -0.01. Let u be -2 + 24/9 - 0. Which is greater: c or u?
u
Let q(o) = 7*o + 2. Let n be q(-1). Are -0.1 and n unequal?
True
Let j = -1443 + 5867/4. Let b = -681/28 + j. Is -1 < b?
True
Let p be 32/(-20) - 2/(2/(-3)). Is 1 greater than p?
False
Let v = 4 + -9. Are v and -1/4 unequal?
True
Suppose -20*j + 18 = -17*j. Let x(q) = 2*q**2 - 15*q - 12. Let r(m) = -m**2 + 7*m + 6. Let c(z) = -5*r(z) - 2*x(z). Let s be c(j). Are 2/19 and s equal?
False
Let h = -0.3 - 0.3. Let t = -0.4 + h. Is -0.1 at least t?
True
Let z(u) = -u**3 + 11*u**2 + 10*u + 24. Let r be z(12). Suppose -4*c - 15 = -c. Let j(g) = g**3 + 6*g**2 + 6*g + 4. Let a be j(c). Which is smaller: a or r?
a
Let c be 2/(-6) - (-95)/15. Which is greater: c or 5?
c
Let y(v) = v**2 + 9*v - 4. Let j be y(-10). Let p = 12 - j. Let t = -6 + p. Which is smaller: -1/5 or t?
-1/5
Let z = -23 - 4. Do -27 and z have the same value?
True
Let d(n) = n**3 + 6*n**2 + 4*n - 7. Let z(s) = -5*s**2. Suppose 0 = c - 4 + 5. Let h be z(c). Let u be d(h). Which is greater: u or -3?
u
Let f = -3619/78 + 93/2. Let r = -50/273 - f. Which is smaller: r or -1?
-1
Let w = 59 - 59.1. Does 0 = w?
False
Let a = 6 + -5.8. Which is greater: 2 or a?
2
Let h = 12.07 - 13. Let x = h + -0.07. Which is bigger: -0.06 or x?
-0.06
Let c = 5.7 + -5.73. Is -4 at least as big as c?
False
Let l(m) = -m**3 + 2*m**2 + 2*m - 1. Let p be l(2). Suppose -14 = -p*w - 2. Suppose -4*v = 5*t - 21, -4*t = -w*v + 9 + 3. Is t <= 2?
True
Let r be (4 - 2)*(-15)/430. Is r greater than 0?
False
Let q be 9/(-12) - 9/(-18). Is -1/4 less than or equal to q?
True
Let y be (-310)/8*(-2)/(-5). Suppose -5*x - 19 + 92 = 2*h, -2*x - 5*h = -25. Let f = y + x. Is f bigger than -2?
True
Let t = 46/25 - 667/50. Do t and -13 have the same value?
False
Let i(p) = p**2 + 5*p - 7. Let a be i(-6). Is 24 > a?
True
Let o(i) = -i**3 - 7*i**2 - 6*i + 5. Let n be o(-6). Let a = n - 5. Is a != -2?
True
Let q = 4 - 4.3. Let i = q + 1.3. Let d be 2/5*(-10)/(-12). Which is bigger: d or i?
i
Let k = -3 + 4. Let y be (2 - 1 - 0)*k. Which is bigger: 3/7 or y?
y
Let a(w) = -w**2 + 11*w - 30. Let v be a(7). Does v = -2?
True
Suppose 4*q = -3*y + 31, 3*q - 3*y + 41 = 8*q. Is 11 less than q?
False
Suppose 4*o = h + 20, -3*o = -5*h - 0*h - 15. Which is smaller: h or 3/16?
h
Let f = -1233/34 + 27969/850. Let y = f - 1/25. Which is smaller: -3 or y?
y
Suppose 5*n - 2*f = 8, -3*n + 4 = n - 4*f. Which is smaller: n or 0?
0
Suppose 3*v = 5*y + 81, 5*v + 0*y - 166 = -2*y. Are 1/4 and v equal?
False
Suppose 3*q - 1 = -4. Suppose 2 + 0 = t. Suppose -d + t*d = -1. Are q and d unequal?
False
Let a = -4.2 + 3.2. Let z = -180612/97 + 1862. Let o = 105/388 - z. Is o equal to a?
False
Let i(q) = -3*q - 21. Let w be i(-5). Let a be -8 + (-2 + 0)/(-2). Is a greater than w?
False
Let