2*q. Which is smaller: -2 or q?
q
Let x be -4 - (4/14 + (-69)/21). Is 2/65 greater than or equal to x?
True
Suppose -3*u = -2*u - 5, -5*h - 45 = u. Do h and -9 have different values?
True
Suppose -7*d = -154 + 42. Suppose 2*g - 40 = 4*g. Let c be g/d + (-2)/(-8). Is c less than 0?
True
Let r = -208 - -1460/7. Let g = -2 + 3. Does g = r?
False
Let f = 3 + -3. Let v = 2 - 2.1. Let x = f - v. Is -2/3 less than or equal to x?
True
Suppose 2*z + 2 = -4*h - 0, 3*h = z - 14. Suppose -w + 0*w = -4. Suppose -w*k + 4 = 5*n - 1, 3*k + 4*n - 3 = 0. Is z smaller than k?
False
Suppose -4*q + 10 = -9*q. Which is smaller: -1 or q?
q
Let t = -0.043 - 0.157. Let u = 0.1 - 0.4. Is u > t?
False
Let q(v) = -v**3 - 3*v**2 - 2*v + 2. Let d be q(-2). Let g be (d - 3)/(3/1). Which is smaller: g or 0?
g
Let n = -3 - -5. Suppose -n*x = x. Which is smaller: 1 or x?
x
Let l(u) = 2*u - 15. Let r be l(8). Which is greater: r or -1/47?
r
Let f = 0.01 + 3.99. Let i = 13 + -9. Let z = f - i. Is z smaller than -6?
False
Let o(w) = -w**3 + 12*w**2 + 3. Let j be o(12). Which is bigger: 3/2 or j?
j
Let t = -2 + -2. Let u be (2/4)/(2/24). Let r = t + u. Is r < -0.1?
False
Suppose 0*z - 8 = -4*z. Suppose -3*b + z = -1. Is 3/7 >= b?
False
Let d be (-9)/(-15) - 0/3. Let n = -8 - -8.1. Is d < n?
False
Let g(n) = -2*n - 2 + 9 - n**3 - 6*n**2 - 13. Let v be g(-6). Do v and 5 have the same value?
False
Let d = -3 - -2.91. Let h = -1.09 - d. Which is greater: h or 2/15?
2/15
Let r = 3/94 + -121/846. Is r >= 1?
False
Let k = 21 + -50. Let l = k - -49. Suppose 0 = -4*h - h + 5*a + l, -a = -2*h + 3. Which is smaller: h or -3/7?
h
Let u be (-1)/((-5)/(-2) - 1). Which is smaller: u or -0.1?
u
Let o = 0.8 - 0.9. Which is smaller: o or 14?
o
Let g be 36/8 - 1/(-2). Let c be g/(-2)*(-15)/(-100). Are c and 1 equal?
False
Let t = 77.5 + -28.2. Let v = t + -51.33. Let y = v + 0.03. Which is bigger: 0 or y?
0
Suppose 2*s - 1 = 3*m, 2*m - 2*s - s = -9. Suppose -3*w + 2*w = 3, b + m = -w. Let l be 3*3/9*(-4)/(-14). Is b greater than or equal to l?
False
Let r(p) = -2*p - 2. Suppose 2*j + j = 4*s - 18, 0 = 4*s - 12. Let n be r(j). Are -1 and n nonequal?
True
Suppose 0 = -135*x + 140*x - 5. Is 2/25 at most as big as x?
True
Let d = -1 - -1.5. Let z = 0.6 - d. Is -3/4 > z?
False
Let y(a) = a**2 - 3*a + 2. Let c be 1*3*4/6. Let n be y(c). Which is smaller: -3 or n?
-3
Suppose -4*m = 4*f, 4*f - 2*m + 0 = 6. Let u = -241 + 4099/17. Is u equal to f?
False
Suppose 0 = -x - 0*x. Let y be (1/2)/(4/8). Let q be y + -2 + 55/88. Which is smaller: q or x?
q
Let y be (1/(-3) + 1)*60. Suppose -y = -3*f + 7*f. Let u be f/45 + 11/9. Which is greater: u or -1/5?
u
Let k = 60 + -59. Which is smaller: 3/17 or k?
3/17
Let t = 75 + -81.8. Let x = 7 + t. Let d = x - 0.1. Is d greater than or equal to -7?
True
Suppose o = 3*g - 15, -o - 4*o = g - 5. Suppose g*u - 2*u = 9. Let y = u - 5. Which is smaller: y or -3?
-3
Let a be -7 + (3 - 2)*2. Let t be (16/(-14))/((-10)/35). Let i = t + a. Do i and -1 have different values?
False
Let j be ((-160)/(-50))/(4/10). Is j != 9?
True
Let v(f) = 2*f**2 - 1. Let o be v(-1). Is o != 4/5?
True
Suppose 5*r = 3*k - 6*k + 5, -r + 5*k + 1 = 0. Which is smaller: r or -3/34?
-3/34
Suppose g = -0*y - 5*y - 26, -5*g + 2*y = 76. Let p be (g/28)/((-4)/14). Do 1 and p have the same value?
False
Let f be 2/(-7) + (-5)/56. Suppose 4*v = -a - 1, -a + 2*v - 1 = -v. Is a >= f?
False
Suppose -3*d = 2*d - 5. Let u = 12 + -12. Which is greater: d or u?
d
Let d = 15 - 2. Suppose 0 = -12*u + 9*u + 36. Which is smaller: d or u?
u
Let d = -3 + 6. Let u be (3/2)/(d/1). Let r be ((-9)/3)/1 - -3. Is r smaller than u?
True
Suppose -5 = -4*p - 3*v, -v + 1 = -2*v. Suppose 4*a = -5*z - 12, -a + p*z = -2*z + 24. Which is smaller: a or -7?
a
Let y = -1/51338 + 1796947/6006546. Let h = -1/13 + y. Which is smaller: -2/7 or h?
-2/7
Let n = 2576/11 + -234. Suppose 2*f - f = -4*a - 10, -2*a - 16 = -5*f. Suppose 3 = 2*g - 3*g + 3*z, g - 2 = -f*z. Are n and g nonequal?
True
Let g be (-3)/(-2*1/(-2)). Is -2 at least as big as g?
True
Let p(u) = -u**2 - 17*u + 15. Let t be p(-16). Is 31 >= t?
True
Let p(q) = q - 1. Let k be p(4). Suppose 0 = k*u - 2 + 8. Which is bigger: u or -9/5?
-9/5
Let j = -1.2 - -0.2. Let x = -0.01 + -0.02. Let s = 0.07 - x. Is s <= j?
False
Let v(i) = i**2 - 8*i + 2. Let w be v(8). Suppose 0 = -2*o + 3*p - 5, 0*p - 4*p = 2*o - w. Is -1 smaller than o?
False
Suppose -16 = a - 4*u + 1, -2*u + 13 = -5*a. Let q be ((-2)/(-6))/((-26)/6). Which is smaller: a or q?
a
Let v = 41 + -20. Let b be (-1)/v + 1/3. Which is smaller: b or 2/9?
2/9
Let n = -0.11 + -1.89. Let o = -3 - n. Which is bigger: o or -2?
o
Suppose -4*j - 3*y = y - 24, j = 4*y + 1. Suppose -3*h = c - 2*c + 2, 4*c = j*h - 13. Let s = c - -3. Is s smaller than -5?
False
Let u = -11 + 18. Suppose -12 = 3*s - u*s. Let w = 3 + -1. Which is greater: s or w?
s
Let i = 7 - 4. Let h = -1 + 5. Is h bigger than i?
True
Let b be (-2 - 0)/((-2)/10). Suppose b = -y + 3*u, -5*u + 23 = -3*y + 5. Which is smaller: 1/7 or y?
y
Let h be ((-21)/(-49))/(4/(-7)). Is h at least as big as 2/17?
False
Let a be (3/4)/((-5)/10). Which is smaller: -2 or a?
-2
Let u = 0.4 + -0.37. Let r = u + 0.01. Let d = -0.06 - r. Which is greater: 3 or d?
3
Suppose -3*t + 6*t - 6 = 0. Suppose 0 + 2 = -t*p. Is p at most as big as -2?
False
Suppose -f + 2 = 4. Let z be 1/(f*1/6). Is -2 greater than z?
True
Let b = 1 + 1. Let f be 56/40 + b/(-5). Is 2 less than or equal to f?
False
Let k be 3/10*(-204)/(-9). Which is bigger: 6 or k?
k
Let h = 0 + 3. Let j = 4 - -2. Let v = j - h. Which is bigger: v or 1?
v
Suppose 5 = 3*x - 1. Let d(n) = -2 - 2*n + n**2 - x*n**2 + 2*n**2. Let o be d(3). Which is smaller: o or 2?
o
Let h be (1 - 1)*(-2)/(-4). Is 6/7 less than h?
False
Let f = -2 - -5. Suppose -5*x - 5*t = 25, 0 = -f*x - t - 19 - 4. Let w = -3 - x. Is w not equal to 0?
True
Let m = 5/6 + 5/3. Is 4 at least m?
True
Suppose -k = -8 + 10. Suppose 2*r - 4 + 6 = 0. Is r bigger than k?
True
Let s = 67 + -66. Is s at least 2/157?
True
Let x(z) = -z + 4. Let o be x(4). Suppose 2*a - 7*a = o. Let k be 2 - 4*(-2)/(-5). Which is bigger: k or a?
k
Suppose -3*v + 103 = -i - 19, 4*v - 4*i = 176. Is v >= 40?
False
Let n be 7 + -4 + 3 - (1 + 2). Which is smaller: 7 or n?
n
Suppose -5*t + 3*z + 11 = 0, -t - t + 4*z = -10. Let y = t + -1. Let f be ((-84)/330)/14 - 1/(-5). Is y equal to f?
False
Suppose 0 = -b - 2*b + 6. Suppose y = -0*y - b*d + 1, -4*d - 1 = 5*y. Let u = 35/172 + 2/43. Is y greater than u?
False
Let w(k) = k**2 + 2*k - 2. Let d be w(-3). Let f = 8 - d. Which is greater: f or 6?
f
Let j = -1.63 + 1.53. Is 29 at most as big as j?
False
Let c be (13 + -1)*2/8. Is 1 < c?
True
Let p = 3 - 5. Let z = -115 - -113. Is p > z?
False
Let g = 20 + -24. Let u be ((-2)/(-10))/(-6 + g). Which is smaller: u or -1?
-1
Let h = 2 - 4. Let z(x) = -x + 9. Let y be z(9). Let u be 3 + h + y + 0. Which is smaller: 0 or u?
0
Let z = -20.61 + -0.39. Which is greater: -2/5 or z?
-2/5
Suppose 0 = 5*m - 39 + 14. Let j be 3/2 - m/4. Which is smaller: 0 or j?
0
Let w = 3.64 + 0.16. Let a = -4 + w. Let k = 1.7 - 0.7. Is a less than k?
True
Let w(x) = -x + 6. Let c be w(5). Let k = -199552/127275 + 36/1697. Let p = k + 42/25. Which is smaller: c or p?
p
Let n(i) = -i**3 + i**2 - 6*i + 6. Let o be n(-6). Let d be (-2)/(-4) - o/(-4). Let w = d - 369/5. Which is smaller: w or 1?
w
Suppose 60 = -2*s + 7*s. Suppose 3 = 3*f - s. Let a be 2/(-12) + f/(-6). Is -2/7 at most a?
False
Let m = -10 + 17. Suppose -9 = 4*k - m*k. Is k at least 3?
True
Let u = -97/18 + 31/6. Let l = -23 - -24. Is u >= l?
False
Let k be (0 - 2) + -1 + 0. Let p be (3 - k)*(-2)/(-3). Suppose p*r + r = 0. Which is bigger: r or -2/3?
r
Let t = 5.9 - 6. Let p = -9 - -8. Which is greater: t or p?
t
Suppose 3*g - 315 = -2*g. Let q be 29/9 - 14/g. Suppose q*j + 1 = 4. Is j at most as big as 1/10?
False
Let d be 2 + ((-300)/27)/5. Let s = -36 + 33.2. Let f = s - -3. Which is smaller: d or f?
d
Let t = -1 - 0. Let u = 10 + -11. Is t less than u?
False
Let f = 5 + -5. Let k be f/((-9)/3*1). Is k greater than or equal to -3?
True
Suppose 0 = -3*x + 7 + 2. Suppose -4*p + 4*i + 16 = 0, 15 = 3*p - x*i - i. Let z = 6 - p. Which is smaller: 4 or z?
4
Let c be 2/6 + (134/(-24)