 <= -1?
False
Let l be (-136)/(-2)*(3 + (-4)/2). Which is smaller: l or -0.1?
-0.1
Let w(a) = -a - 1. Suppose 0*i - i = 5*f - 2, 0 = -2*f + 2. Let c be w(i). Suppose -4*l - l + 16 = c*q, -2*l - 3*q + 2 = 0. Is l <= 5?
True
Suppose 0*d = 4*d. Which is smaller: 1/16 or d?
d
Suppose -w - 8 = 2*w + 2*x, 2*w - 2*x + 12 = 0. Let n = w - 5. Are -9 and n nonequal?
False
Let l = -32 + 31. Which is bigger: l or -1/3?
-1/3
Suppose 9*y - 2*z = 4*y - 10, -2*y + 10 = 2*z. Suppose y*d + 2*d = 2*u, u = 2*d. Which is smaller: -1 or d?
-1
Let w = 7729/4 + -1923. Is w <= 9?
False
Let o(s) = -s**2 + 3*s - 7. Let a be o(6). Let l be 155/a + 1/5. Which is bigger: 0 or l?
0
Suppose -4*v + 2 = -2. Let j be 2/(-4)*8*v. Which is bigger: -5 or j?
j
Let p = 8 + -7.7. Let o = p + -1.3. Which is greater: o or -1/4?
-1/4
Suppose 4 = r - 0. Let j(i) = 2*i - i**3 - r*i - 2*i - 2*i**2 + 5*i. Let g be j(1). Is g at most as big as -2?
True
Let g = 0.1 - 12.8. Let d = 13 + g. Which is smaller: 6 or d?
d
Suppose 0 = -2*z - 2*p + 14, -z + 6*p = p + 11. Let q = z - 19/5. Are q and 1/3 equal?
False
Let k = -1.09 + 1.19. Which is smaller: 8 or k?
k
Suppose 2*v = -3*q + 128, 0*q = 2*q + 3*v - 92. Suppose -5*k + q = -k. Is k bigger than 8?
True
Suppose 4 = 2*x, 3*o = x - 3*x + 1. Is o at least as big as 4?
False
Suppose 4*v + 8 = -4*f, 4*f = f + 4*v - 34. Let d be (-7)/f - 2/6. Let z = 18.9 - 18.8. Which is smaller: d or z?
z
Let h = -0.1 - -3.1. Let u = 2.8 - h. Suppose w + 0*w = -2, -2*o = w. Is o greater than or equal to u?
True
Let y = -4 - -9. Suppose 30 = y*w - 2*w. Let g be 2/3 - w/15. Which is greater: g or -1?
g
Let u(q) = q**2 + 2*q - 3. Let h be u(-4). Suppose -2*i - h*t = -i + 5, -t + 17 = 2*i. Let z be (16/i)/((-2)/(-5)). Is z not equal to 5?
True
Let f = 45 - 30. Which is smaller: 14 or f?
14
Suppose c = 11*c + 530. Is -52 bigger than c?
True
Let y be 0 + 43/(-36) - -1. Let i = y + 4/9. Let u = -8 + 9. Do u and i have different values?
True
Let z = 75 - 75.1. Let x be 1*6*2/(-8). Is z < x?
False
Suppose 0*t - 3*t = 0. Suppose t = 5*u - 7*u + 2. Let d = -3 + 4. Is u at most d?
True
Let p be (-57)/950*2/(-6). Is p >= -1?
True
Let h = 4 - 2. Suppose -q - 3 = -h. Which is bigger: -2/15 or q?
-2/15
Let t = -6 - -8. Let c = -1.4 + -1.7. Let b = c + 3. Which is smaller: b or t?
b
Suppose -5*a + 22 = -4*u, 0 = -2*a - 5*u - 2 - 9. Let h = 61/60 - 5/12. Which is bigger: h or a?
a
Let p = 68 - 99. Let s = 52 + p. Let o be 3/(-5) - s/15. Do o and 1 have the same value?
False
Let l be ((-5)/(-25))/(1/(-3)). Suppose -3*i = 1 + 2. Which is greater: l or i?
l
Let l(c) = 4*c. Let p(g) = 11*g - 1. Let f(k) = 8*l(k) - 3*p(k). Let m be f(3). Is 1 > m?
True
Let z be (-4)/50*(-5)/3. Which is bigger: z or -1?
z
Suppose 2*k + 35 = 5*c, c + k - 10 = -2*c. Suppose -2*x = 3*x - c. Which is greater: x or -2?
x
Let a(l) = -2*l**2 + 19*l + 3. Let r be a(10). Suppose h = -2*j + 6*h - 11, -4*j + 3*h - 29 = 0. Which is smaller: j or r?
j
Suppose 0 = -5*g - 5. Let i = g + 0. Let b = 137/33 + -13/3. Which is greater: i or b?
b
Suppose 0 = 8*x - 3*x - 5. Which is bigger: 2/39 or x?
x
Let q be ((-3)/(-6))/(2/5). Suppose -3*y = 1 - 7. Which is greater: y or q?
y
Suppose -5*b - 4*z = -26, -4*z + 20 = -b + 3*b. Suppose 22 = 2*t - 4*l, 5*t = 2*l + b*l + 25. Which is greater: 1/3 or t?
t
Let j = 489 - 273. Let q = j - 2370/11. Which is smaller: q or 2?
q
Let w = -10 + 18. Let h be (2/w)/(1/4). Let p = -577/9 + 64. Do p and h have the same value?
False
Let p = 3 + -3. Suppose 0 = -t + 2 - p. Which is smaller: 3/4 or t?
3/4
Let t = -1 - -1. Let u(p) = p**2 + 8*p + 2. Let z be u(-8). Let i be z + -2 - (-3)/3. Which is smaller: i or t?
t
Let z be (-4)/((-16)/119) + (-2)/(-8). Is 31 at most as big as z?
False
Suppose 2*m - 4 = 2*a, -2*a + 2*m - 14 = 5*m. Suppose 4*w - 1 = 7. Suppose -q = -3*g - 10, 3*g + 4 = -w*q + 6*q. Is g equal to a?
True
Let b = -23 + 23. Which is bigger: b or 1?
1
Let d = 72 - 72. Which is greater: 8/25 or d?
8/25
Suppose -4*u + 4*i = -32, -3*u + 6*i + 28 = 2*i. Let t = u + -2. Suppose -m + 7 = g, g = m + t*m - 1. Is -1/4 at least as big as m?
False
Let m(k) = k**2 + 6*k + 7. Let s be m(-5). Let f = s - 3. Is f at least as big as -1/2?
False
Suppose 9*b - b = 216. Is b at least 26?
True
Let k(c) = -c**2 - c + 1. Let j be k(2). Let x = 3 + j. Let t = 0.1 + -0.1. Which is bigger: t or x?
t
Suppose 0 = 5*f + 2*v + 11, 0*f + 5*v - 4 = -2*f. Let x = -3 - f. Suppose 4*a + 16 = -a - 3*w, a - 2*w - 2 = x. Is a < -3?
False
Let h = 4754/2189 - -2/199. Let c = -190/77 + h. Let o = 0 + -0.3. Which is greater: c or o?
c
Suppose 0 = -2*q - 3*q + 5. Let j be (-16)/(-6)*q/(-4). Do 0 and j have the same value?
False
Let b be (8/(-5))/(4/20). Which is bigger: b or -28/3?
b
Let f(s) = s**2. Let v be f(1). Let g be -1 + 1 + v - 0. Is g greater than or equal to 1?
True
Let g = -0.24 + 0.34. Which is smaller: -35 or g?
-35
Let z = 0.1 + 0.1. Let x = 0.1 - z. Which is smaller: 4 or x?
x
Suppose 3*n + 2 = -4*i - 2, 6 = 3*i. Is -4 at least as big as n?
True
Let c = -3 + 2.99. Let v = 0.19 + -0.18. Let s = v + c. Is s at most 1?
True
Let a = -3 - -3. Suppose 2*y = -a*y. Suppose h + h = y. Is 3/10 at least as big as h?
True
Let s be (-5192)/(-7635) + (-2)/3. Let d = 3549/16288 + s. Let a = -1/32 + d. Which is smaller: a or -2/7?
-2/7
Let s(j) = -j**2 - 3*j - 1. Let d be s(-2). Suppose 3 = 3*z, -2*t + z + 9 = -0*t. Suppose 2*l = 5*w - t, 4*w - l - 4 = -4*l. Is w > d?
False
Suppose 9 = 3*o + 3*d, d + 45 = 5*o - 4*d. Suppose k = -2*k - o. Is k bigger than 2?
False
Suppose 0 = -7*b + 31 + 25. Which is smaller: b or 9?
b
Suppose 2*c = -3*d - 11, 7 = -3*d - 4*c - 6. Let u be d*(-1 - 6/(-9)). Let k be -2 - 5/(190/(-72)). Which is greater: u or k?
u
Suppose -10 = z - 13. Are z and 3 nonequal?
False
Let u(g) = -g**3 - 3*g**2 + 3*g - 3. Let b = -3 + -1. Let z be u(b). Let t(m) = 2*m**2. Let p be t(z). Which is bigger: 2/9 or p?
p
Let h = -1.5 + 1.4. Let g be -11 - ((-2 - -7) + -2). Which is greater: h or g?
h
Let n be (2/3)/((-24)/(-9)). Let q = 1 - 0. Suppose -y + 4 = -3*f, -5*y + 1 = 3*f - q. Which is smaller: n or y?
n
Let h = 4 + -1. Suppose -h*v + 2 = 4*u, -4*v = -0*v - 8. Which is bigger: u or 2/19?
2/19
Let o = 3 - 5. Let d = 115/428 + -2/107. Which is greater: o or d?
d
Suppose -7*v + 35 = -161. Is 26 equal to v?
False
Let t be -6*1*2/68. Does t = 1?
False
Let f = -187/387 - -5/129. Is -1 smaller than f?
True
Let n = -22/347 - -10279/47192. Let o = n - 1/34. Let r = -44 + 44. Is o >= r?
True
Let l(x) = -4 + 0*x - 2 + 2*x. Let c be l(5). Suppose 0*r = -r + 3, c*r - 17 = 5*p. Do p and 2/9 have the same value?
False
Let w = -1 - 4. Let o = w - -5.6. Let j = o - 0.4. Are j and -0.3 non-equal?
True
Let j = 242 - 1204/5. Which is bigger: 2 or j?
2
Let j(v) = -13*v - 1. Let r be j(-1). Let l be (r/3)/(6/3). Let c be -2 + (l - (-1 - -2)). Which is greater: 1 or c?
1
Suppose 0 = -f + 2*b - 6, 0 = -4*f - 4*b + b + 20. Let v = 5/2 - 3. Is f > v?
True
Suppose -3*b = 2*b. Suppose 3*f - 9 = b, 5*f - 737 = 5*v + 48. Let o = v - -1388/9. Which is bigger: 0 or o?
o
Let i(s) = -6*s + 79. Let m be i(13). Which is greater: m or 1/37?
m
Let a = 176 + -2817/16. Which is bigger: a or -1?
a
Let i = 3 + -5. Let v = i - -3. Let q be 2/4*(v - 1). Which is greater: -1/2 or q?
q
Let t = -2/81 - -53/1053. Is t equal to 1?
False
Suppose -r - 5*c - 13 = 0, 4*r + 0 + 1 = -3*c. Is r >= 2?
True
Let u be -3 - -501*(-4)/15. Let m = u - -137. Which is smaller: m or 1?
m
Let n = -204 - -104. Which is greater: -99 or n?
-99
Suppose -2*o = -4*o. Suppose o = 4*f - 2*f - 4. Let c be (2/(-4))/(1/(-6)). Does c = f?
False
Let w be -4 + 0 - 1452/(-374). Let r be 0/1 + 0 + -1. Is r > w?
False
Let x = 5 + -9. Suppose 7 + 13 = 5*s. Suppose -2*p = -p + s. Are x and p nonequal?
False
Let b = 526969/3913 - -24/559. Let q = b - 135. Do q and -1 have the same value?
False
Let u be -2 + 0 + -1 + 108. Let y be 1 + ((-2980)/14)/2. Let w = u + y. Which is smaller: -1 or w?
-1
Let z(s) = -2*s + 22. Let i be z(11). Is 2/39 equal to i?
False
Suppose 4*c + 20 = 3*p, 16 - 1 = p - 3*c. Suppose p = a + a - o + 6, 0 = -3*a + 4*o - 9. Is -6 < a?
True
Let g = 10 - 15. Let z(c) = c**3 + 4*c**2 - 5*c - 2. Let p be z(g). Which is bigger: p or -1?
-1
Let i = 18 + -17. Which is smaller: -25 or