= -4*g. Is g > -28?
False
Let u be ((-6)/15 - (-3)/(-5))*5. Let q = -23 - -37. Suppose -4*x - q = 5*a, -a = -x + 5 + 5. Is a equal to u?
False
Suppose r + 5*l = 75, r + 99 = 2*r - 3*l. Which is smaller: 91 or r?
r
Let x = -0.1 + -0.1. Let d = -0.2 - x. Let f = d - -0.1. Is f at least as big as -0.2?
True
Let g = 0.37 - -0.03. Let d = 1.5 - 2.4. Let l = 1 + d. Is l greater than g?
False
Let o = 0.49 - 0.59. Let f be ((-3)/(-5))/(4/(-5)). Which is bigger: f or o?
o
Let n = -0.3 + -0.1. Let z = n - -0.5. Is 0.1 > z?
False
Let a = -13.84 - -14. Let p = 0.23 - a. Are -1/3 and p equal?
False
Let f(q) = 2*q**2 + 5*q + 2. Let a be f(-5). Let j be (-9)/a + (-7)/(-3). Suppose j*m + 4 = -2*m. Which is bigger: -2/5 or m?
-2/5
Let u be (-4)/(-5)*((-49)/6 + -1). Which is smaller: 2/7 or u?
u
Let j be 1 - (-1)/(-8)*6. Let y(s) = s**3 + s**2 - 1. Let z(f) = -3*f**3 + 4*f**2 + 6*f + 8. Let o(v) = -2*y(v) - z(v). Let g be o(7). Is j at most as big as g?
True
Let l be ((-1)/3)/(3/(-36)). Suppose 2*t - 2 = l. Suppose -u = t*u + 8. Is -2 bigger than u?
False
Let s(t) = 6*t + 6*t**2 + 2*t - 10 - t**3 + 0*t. Let f be s(7). Let c be 6/(-4)*f/(-9). Which is bigger: -2 or c?
c
Let w = 4 + -14. Is -9 at least w?
True
Let a be 1 + -2 + (0 - -1). Let n be (-2)/144 + 65/520. Which is bigger: a or n?
n
Suppose 0 = 5*c - 7*c + 14. Which is greater: 2 or c?
c
Let b(q) = -q**3 - 4*q**2 + 4*q - 5. Let y be b(-5). Is -2/21 at least as big as y?
False
Suppose i - 3 = 1. Suppose i*z = z. Which is smaller: z or -1?
-1
Let f = 4.804 + -0.004. Let u = -5 + f. Which is greater: u or 0.3?
0.3
Let f = -5 + 9. Suppose g + 4*a + f = -3*g, 0 = -2*a - 4. Let j = -12 - -59/5. Is j < g?
True
Let d be 27/(-2) - (-2 - 0). Let z be 2 + (0 - 411/30). Let j = z - d. Which is greater: j or 1?
1
Let g = -1 + 1.05. Let m = 0.05 - g. Let j = 2.01 + -0.01. Is j greater than m?
True
Let s = -1.2 - -0.2. Let m = -12.8 - -13. Which is bigger: m or s?
m
Suppose -u = 2*u - 3. Which is smaller: u or 2/23?
2/23
Let a(b) = -3*b**3 - b**2 + 3*b + 1. Let t be a(-2). Let w be (-18)/t - 2/(-10). Is w >= 2/29?
False
Let s(i) = i**3 - 8*i**2 + 5*i + 13. Let t be s(7). Does t = -3?
False
Let t = -39/8 - -289/56. Suppose 2*v = 2 - 0. Which is bigger: t or v?
v
Let z = -2.125 + 0.025. Let c = -2 - z. Is -1 greater than c?
False
Let d = -4 + 7. Do d and 0 have different values?
True
Suppose 0 = 3*s + 9, -2*f + 4*s = -f - 16. Is f not equal to 4?
False
Let g = -0.36 - -2.06. Let h = 3.7 - g. Which is bigger: 1 or h?
h
Let q = -1 - -1/3. Do q and 2 have the same value?
False
Suppose -6*w = -2*w + 16. Let v(h) = -h**2 - 6*h - 1. Let o be v(w). Let l(t) = -t**2 + 8*t - 2. Let c be l(o). Is 5 at least as big as c?
True
Suppose -5*s = 3*o - 12, -4*o - 4*s + 8 = -0*o. Let p = o - 0. Is p >= 1/4?
False
Suppose -2*p = -6 - 2. Suppose -h + 10 = p*h. Let v = 415/4 - 103. Is v bigger than h?
False
Suppose 2*b + 1 = -11. Let f = -4 - b. Let y be 19/10 - (-2)/(-5). Is f >= y?
True
Let b be ((-5)/75)/(1/(-2)). Is -1 at most as big as b?
True
Suppose 3*f - 1 = -4*b + 2*f, -f = -5*b - 1. Are -66 and b nonequal?
True
Suppose 0 = 4*r - 16 - 52. Which is greater: r or 16?
r
Let j be 27/18 - 3/2 - 2. Which is smaller: -6 or j?
-6
Let l(q) = -q - 9. Let x be 2 - (3/(-3) - -1). Suppose 6*h + 32 = x*h. Let i be l(h). Is -2 smaller than i?
True
Let c be 233/(-58) - (-8)/2. Which is greater: c or -1?
c
Let a be ((-35)/10 + 2)*2/(-9). Let j = -1 + 2. Which is smaller: a or j?
a
Let i = 21.5 - 19. Let z = i + -1.5. Which is bigger: z or 1/3?
z
Suppose -5*s = -0*s - 20, 0 = 2*x - 3*s + 18. Let h be (-4)/2 + 0 + 0. Which is smaller: h or x?
x
Let a = 8 - 26/3. Which is smaller: 0.1 or a?
a
Suppose -10 = 4*i + 2. Let w be (-4)/3*i/2. Suppose -2*s + 2*n = -8, -n - 7 = 2*s + w*n. Which is bigger: -2/9 or s?
s
Let p(x) = x**2 + 7*x + 2. Let i be p(-3). Let k = -7 - i. Which is smaller: 4 or k?
k
Let o be ((-5)/2 + 1)*-2. Let z be (-6 + 6)/(-1 + 3). Which is greater: o or z?
o
Let s be ((-190)/60)/((-2)/12). Is 19 at most s?
True
Let p be (-4*1)/(2/(-5)). Suppose -2 + p = -2*c. Let m be 3 + c - (2 - 1). Which is smaller: -1 or m?
m
Let d be (2 - 36/15) + 96/(-10). Is -49/5 < d?
False
Suppose 2 - 8 = 3*m. Let f be m - (1 + -2) - -2. Is f greater than or equal to 2?
False
Let i be 1/(-1) - (-4)/1. Suppose 0 = -p - 15 + 19. Which is smaller: p or i?
i
Let p(u) = -2*u**2 + 2*u - 1. Let b be p(2). Which is smaller: b or -4?
b
Suppose 10 = b + 4*b. Which is smaller: b or -2?
-2
Let z(u) = -u**3 - 4*u**2 - 5*u - 6. Let s be z(-4). Let h = s + -9. Suppose 0 = 3*n + 5*g - 10, -g = -10*n + h*n - 2. Which is smaller: n or 1/5?
n
Suppose -7 = 4*d + 1. Do -1/2 and d have different values?
True
Suppose -2*a + 8 = a - 4*b, 6 = 2*a - 3*b. Let w be -2 + (2 - (-1)/(-7)). Which is smaller: a or w?
w
Let q(c) = 13*c. Let z be q(-2). Let v = z + -1/2. Let h = -26 - v. Is h > 0?
True
Let k = -13 + 7. Let a = -1 + k. Let r(s) = -s**3 - 6*s**2 + 6*s - 6. Let y be r(a). Which is greater: y or 3?
3
Suppose 6*m = -1 + 13. Let u be (-10)/60*m*-1. Do -3 and u have different values?
True
Suppose 34 = -2*p + 20. Let t(i) = i**2 + 26. Let w be t(0). Suppose -7*d + 2*d + 9 = -2*o, -5*d - w = 3*o. Is o equal to p?
True
Let t(u) = -u**3 + 16*u**2 - 13*u - 41. Let q be t(15). Which is smaller: q or 1?
q
Let o = -9 - -4. Let l = 1 - o. Let z = l + -5. Is z < 1?
False
Let m be -3 + 2/(3*(-42)/(-243)). Do m and 1 have the same value?
False
Let l(x) = -x**3 + x**2 - 1. Let r(d) = 2*d**3 - 2*d**2 + 2. Let p(c) = -9*l(c) - 4*r(c). Let u be p(-1). Is u bigger than -1?
False
Let h = 20 + -7. Let j = h + -12. Which is greater: -1/5 or j?
j
Let x = 37 - 36.95. Do -3 and x have different values?
True
Suppose -220 = 2*b - 7*b. Let h = b - 310/7. Let s be (-6)/(-5)*(-1)/3. Which is greater: s or h?
h
Suppose 2*d = -0*d. Suppose d = -4*w - w. Let u be 6/11*2/(-6). Which is bigger: w or u?
w
Let r = 12 - 8. Suppose r*o - 9*o = 50. Is o greater than or equal to -11?
True
Let c(n) = n**2 - 7*n - 3. Let x be c(7). Let y be 20/x*(-33)/(-22). Which is bigger: y or -11?
y
Let i = -17 + 2. Is i less than or equal to 0?
True
Let z be (-4)/(-8) - (-2)/(-4). Let b = 1 + z. Which is smaller: -2/11 or b?
-2/11
Let z = 88 + -84. Does z = 9?
False
Let f(i) = -i + 1. Let l be f(1). Suppose -5*p - 9 = 41. Let h be p/(-8)*3/(-15). Is h equal to l?
False
Let z be 2/(-2)*1 + 1. Let p(h) = -h**2 - 5*h + 1. Let u be p(-3). Does u = z?
False
Let d be (4 - -11)*1/3. Let a be (1 - 6) + (8 - d). Let v be (1 + 4)*a/(-5). Which is smaller: 3/4 or v?
3/4
Let y = 1.6 + -1.6. Let i = -9175/7 - -1378. Let d = i - 67. Is y greater than d?
False
Let s = -1.6 + 0.8. Let x = s - -2.8. Let u = -1.8 + x. Is 0 at least as big as u?
False
Let y be (1/2)/((-16)/(-32)). Let b = 0.13 + -9.13. Which is greater: b or y?
y
Let p be (4/8)/((-7)/(-28)). Let q be (-3)/7 - (-2 + 1). Which is smaller: q or p?
q
Let m(w) = -w**2 + 5*w + 2. Let p be m(5). Suppose p*g = -0*g. Which is smaller: g or -1/3?
-1/3
Let w(m) = -m**2 + 8*m - 6. Let x be w(5). Is x bigger than 9?
False
Let w be 28/21 - 10/(-24). Which is bigger: 2 or w?
2
Let j = 44 - 48. Which is bigger: -6 or j?
j
Let k = -27 + 20. Let m(c) = -2*c + 1. Let i be m(-2). Suppose -2*u + i*t = -u - 4, 3*u + 20 = -t. Are k and u non-equal?
True
Let v = 2 + 1. Suppose 0 = o - 9 + 6. Is o equal to v?
True
Let x = 105 + -88. Is x <= 49/3?
False
Suppose -2*k - 2*j = -4 - 8, 4 = -4*k + 3*j. Suppose c - 2*d = 8, -2*c + 18*d = 17*d - 4. Which is smaller: c or k?
c
Let l = 2 - -3. Suppose 0 = -4*p + 6*p - l*b + 2, 0 = -2*b + 4. Let c = 0.19 - -0.01. Are c and p non-equal?
True
Let g(d) = -d**2 + 28*d - 19. Let r be g(22). Is 112 > r?
False
Let a be (360/(-7))/((-34)/(-2982)). Let b = 4591739/1020 + a. Let o = -44/5 - b. Which is smaller: 1 or o?
o
Let w = -955/2 - -4773/10. Let x = 2 + -1. Which is greater: x or w?
x
Let g = -0.3 + 0.5. Let t = 5.2 - g. Let b = t - 3. Is b bigger than -2?
True
Let s = -52 + 209/4. Let q = 46 - 98. Let w = q - -154/3. Which is greater: w or s?
s
Suppose -12 + 8 = -4*d. Is -2/43 at least d?
False
Let g(w) = w**2 + 4*w - 1. Let z be g(-5). Let s be 1 + -1 + 0 - -5. Suppose 5*v - t = 2*t + 3, -s*v = 4*t - 31. Does z = v?
False
Let n be 1*(0 - 12)/(-2). Let k be (-32)/(-10) - 