True
Let y = -48 - -241/5. Let i = 1.06 - 1. Which is smaller: y or i?
i
Let u be (7 - -1)/(2*1). Suppose -u*l - 5*m = -l + 121, m = 1. Let q = -376/9 - l. Which is smaller: q or -1?
-1
Let f(o) = -o - 6. Let g be f(-6). Suppose -4 = -3*d + 5. Let v be (-5)/d - 8/24. Which is smaller: v or g?
v
Suppose -s + 61 = 62. Which is bigger: s or -4/61?
-4/61
Let t = 14 - 14.03. Let d = 6.97 - t. Is 0 less than d?
True
Let m be (-389)/4*(-12)/(-9). Let f = m - -131. Is 0 bigger than f?
False
Let i = 89.043 - 89. Which is greater: i or -1?
i
Let m = 6 + -4. Suppose m = -x - 2. Is 0 at least x?
True
Let y be (-2)/16 - 0/(-2). Let w = 2 + -1. Suppose 2*d + w = 3. Which is bigger: d or y?
d
Let u be (-9)/(-5) - 6/(-30). Let m(k) = -2 + 6 + 11*k**u + 5*k**3 + k - 4*k**3 - 4*k**2. Let d be m(-7). Is d at most as big as -3?
True
Let m = -0.37 - 0.03. Let p = m + 0.4. Let i = 0.1 + p. Is -1/3 smaller than i?
True
Let d = 230 - 235. Let k = 0 - 5. Is d less than or equal to k?
True
Let k = 1.8 - 0.6. Let m = 0.2 - k. Are m and -1/2 nonequal?
True
Let w(o) = -o - 4. Suppose -23 = 3*n - q, 4*q - 23 = -3. Let g be w(n). Suppose g*l = -0*l. Which is greater: l or -1/6?
l
Let p(z) = 9*z - 5 - 3*z - z**3 - 4*z**2 - 2*z**2. Let d be p(-7). Which is smaller: d or 4?
d
Let k = 13 - 11. Let r be k/(-4) - 2/(-8). Which is smaller: -0.07 or r?
r
Let w be (-1)/(-2) - 6/28. Let f = 9 + -6. Suppose f*p - p = 0. Is p != w?
True
Let v = 0.2 - 0. Let b = -2.8 - v. Let s = -2 - b. Which is smaller: s or -0.1?
-0.1
Let x be (98/21)/((-4)/42). Is x >= -49?
True
Let d = 10.9 - 10.9. Which is smaller: d or -1?
-1
Let g be (-1787)/(-5) - (-9)/15. Let c = g - 5368/15. Which is smaller: c or -1?
-1
Suppose -4*l - 6 = 2*s + 6, -12 = 3*s. Which is greater: -4/5 or l?
-4/5
Let o = -149 - -153. Is 2/5 smaller than o?
True
Let x be ((-6)/4)/(6/(-8)). Suppose l + 3 = x. Let c be (-25)/75*6/16. Is c smaller than l?
False
Let f = 43/2 + -23. Let l = 6 + -4. Suppose 0 = -2*c - 4 - l. Which is smaller: f or c?
c
Let l = 7 - 26.5. Let h = l + 19. Let j = -1 - 0. Which is greater: j or h?
h
Let o be (-4)/(-8) - 14/(-4). Are 4 and o nonequal?
False
Suppose -5*r + 27 = 7. Suppose -3*y + 0*l - r*l + 3 = 0, -4 = -4*y - 4*l. Suppose 4*d - 5*n + 19 = 0, -2*d + n + 4 = 3*n. Which is smaller: y or d?
d
Let b(i) = -16*i**2 + 4*i - 4. Let m be b(2). Let a = m + 178/3. Which is bigger: a or -1/4?
-1/4
Suppose 5*r + 2 = -3. Let n be r/(-11)*(0 + 2). Is n equal to -1?
False
Let y be 235/35 - (-6)/21. Which is smaller: 4 or y?
4
Let i = -17 + 16. Is i < -1/43?
True
Let d = 67/5216 + 3/163. Which is bigger: 1 or d?
1
Suppose -5*l = x + 15, 2*l - 2*x = x - 6. Let v = -3 - l. Let p be (-4)/10 + 6/10. Which is bigger: v or p?
p
Let v = -1760/3 - -581. Which is smaller: -7 or v?
-7
Let i(b) = -b**2 - 8 + 2 - 4 - 10*b. Let w be i(-9). Let l = 0.2 + -0.1. Is l less than w?
False
Let h(k) = -k**3 + 8*k**2 - k + 10. Let d be h(8). Suppose -d*y - 3 = y. Suppose -5*c + 2 + 6 = 3*g, 0 = 5*c - 5. Is y >= g?
False
Let f = 99 - 98. Is f >= 22/9?
False
Suppose 8 = -2*v + 26. Which is smaller: v or 8?
8
Suppose a + 3*a + 4 = i, 0 = -2*a. Suppose -i = -0*z + 4*z. Let v = z + -1. Which is greater: v or -1?
-1
Let n = 369 - 238. Is n <= 1?
False
Suppose j - 29 = -0*j. Let c = j + -11. Are 18 and c nonequal?
False
Let r = -13/21 - -225/371. Which is greater: 1 or r?
1
Let c = 9 + -7. Suppose -1 = c*t + u, 16 - 4 = t - 2*u. Is 5/2 less than t?
False
Suppose 3*m + 10 = 5*m. Suppose 4*r - 15 = 5*a - 1, 0 = 5*r - m. Which is smaller: a or -3?
-3
Let r = 1.988 + -2. Let w = r - 6.288. Let a = w - -6. Which is greater: -1 or a?
a
Let p = -59/3 - -20. Which is greater: 10 or p?
10
Suppose 0 = -u + 5*u - 12. Suppose 0 = u*i + j - 3, 4*j = 2*j. Let t = -1 - i. Is t at least as big as -2?
True
Suppose 5*r = 4*q, 4*q = 3*r + 2*q. Suppose -8 = -r*o - o. Suppose -2*g + 4 = 3*h + 20, h + 2*g + o = 0. Is -3 bigger than h?
True
Let l = -1 + -2. Let h be (4/l)/(78/(-9)). Which is bigger: -1 or h?
h
Let r be (-5)/4*(-8810)/(-61325). Let b = 1/446 - r. Do -0.1 and b have the same value?
False
Let b = -7.2 - -7. Let y = -0.3 + b. Let m = y - -3.5. Which is bigger: m or -0.2?
m
Let v(j) = -12*j**3 + j**2 - 1. Let o be v(-1). Suppose 0*h = -4*h - 20. Let i be 12/40*h/o. Is 1 smaller than i?
False
Let a = 1 - 1.4. Let z = 0.4 + a. Suppose -r + 2 = -0*r. Which is greater: z or r?
r
Let v(q) be the third derivative of -q**5/60 - q**4/4 - q**3/6 + 6*q**2. Let a be v(-6). Which is bigger: -5/7 or a?
-5/7
Let g = -21 + 18. Is g at most -2/9?
True
Let d be -1*1/23*2. Is 1 less than d?
False
Let a = 49 + -67. Does -18 = a?
True
Let z = 0.1 - -4.9. Let m = z - 5.2. Is m equal to 1?
False
Suppose 0 = -3*v - 5*z - 7, 0 = -2*v - z - 0*z. Is -1/37 at least v?
False
Suppose c + 2*r - 274 = -3*c, 5*c - 2*r = 356. Is 71 equal to c?
False
Suppose 0 = 2*p + 2*r - 2, 0*p + 2*p = -r. Suppose -4*s - 6 = -2*s. Is s >= p?
False
Let n(f) = -2*f**3 + 2*f**2 - f. Let m be n(1). Let u be (-1 - (1 + m))*-1. Let l = 15 - 151/10. Which is greater: u or l?
u
Let r = 5.79 - 0.78. Let x = r - 5. Which is smaller: x or 0.2?
x
Let f = -10.9 - -11. Let g(o) = -2*o**3 + o**2 - 1. Let b be g(1). Which is bigger: b or f?
f
Let r = 8398/5 - 1669. Which is greater: 11 or r?
11
Let l = 0.15 - -0.05. Let g = -0.3 - l. Are -0.1 and g equal?
False
Let y = 7 + -8. Suppose 4*h = -5*x + 12, -4*x - 8 = -2*x. Let u = h + -25/3. Is y at most as big as u?
True
Let o = 0 - 0.5. Let s = o + -0.5. Let n be 8/(-6) - (1 - 2). Which is greater: n or s?
n
Suppose 0 = -c + 3*v - 12, -v + 2 = -2. Let m be -1 + c + (6 - 2). Which is greater: 2 or m?
m
Suppose -4*r + 2 = t - 3*t, 3*r - 5 = 5*t. Suppose -3*i = 12, r = -d + 5*i - 10*i - 25. Let l be d*(-6)/315*3. Which is smaller: l or -2/3?
-2/3
Let b = -12 - -17. Let u be -6*(-2)/18 - (-48)/9. Which is smaller: u or b?
b
Let i = 89 - 59. Which is bigger: i or 28?
i
Let t(g) = g**3 + 7 + 8*g**2 + 0*g**3 + 7*g + g. Suppose 0 = 3*d - 5*r + 21, 4*r + 0 = -d - 7. Let o be t(d). Which is smaller: -2 or o?
-2
Let q(y) = -y**2 + 6*y + 3. Let n be q(6). Let i = 10 - 8. Is i >= n?
False
Let y(v) = -v**2 - 5*v - 3. Let p be y(-4). Let r be (p/(-2))/(1/(-2)). Let i be (24/84)/(18/(-14)). Which is smaller: r or i?
i
Let i be (4/(-3) - -1)/((-33)/12). Is -1 at most i?
True
Let v(b) = 3*b**2 - b. Let a be v(1). Let c(m) = m**2 + 2*m + 1. Let p be c(-1). Which is greater: p or a?
a
Let d = -3 + 7. Suppose -15 = -z - 3*n, 4*z - 13 = n - 5. Which is greater: z or d?
d
Suppose -4*f - 33 = -3*w, -f = -3*w + 5*w. Which is greater: f or -7?
f
Let w = 50 - 39. Let v be 0 + 2 + (-4 - -3). Which is bigger: v or w?
w
Let j = -1.8 + 2. Let o be 1 + 35/15*(-8)/14. Is j at most o?
False
Let x = -25/14 + 9/7. Suppose -3*g = -8*g. Does x = g?
False
Suppose -2*x + o - 4 = 0, 0 = -x - x + 4*o + 8. Let b be -1*1 + (x - -10). Suppose 2*s = -13 + b. Is 0 not equal to s?
True
Suppose -x = 3*i - 1, 4 = 3*x + 5*i - 3. Suppose 3*y - x*r + 2 = 3, -3 = y - 3*r. Let b be (3 - (1 - 1)) + -1. Is y != b?
True
Let k = 9.98 - 0.48. Let w = k - 1.5. Let z = -13/10 - -4/5. Is z equal to w?
False
Let h be -31 - 0*3/9. Is h at least as big as -32?
True
Let b = 148 - 123. Is b > 26?
False
Suppose 0 = -4*c - 4 + 24. Let s = c + -7. Is 2 less than or equal to s?
False
Let k = 37 + -109/3. Let m = 7.94 + 0.06. Let b = m - 8.2. Which is smaller: k or b?
b
Let i be 6/(-36) + (-1)/(-2). Do i and -11 have different values?
True
Let a(n) = 3*n - 1 - n**2 + 3*n - 3. Let k be a(7). Let r = k - -35/3. Which is bigger: 1/3 or r?
r
Let h be 36/21 - (-4)/14. Let f be h + (-2)/28*34. Is f at most as big as -1?
False
Let f(d) = -d**3 + 7*d**2 - 5*d - 6. Let g be f(6). Let r = 41 - 71. Let z be (-21)/r + 6/(-4). Is z smaller than g?
True
Suppose 7*r = 8*r - 8. Let j be 2/(-6) + r/16. Is -2/3 at least as big as j?
False
Let c = 38 - 44. Which is smaller: c or -1/3?
c
Let q(h) = 5*h + 6. Let y be q(-2). Let p be -10*(9/(-6) - -2). Is p <= y?
True
Let z = 398/39 - -84/13. Let n = -16 + z. Which is smaller: 2/9 or n?
2/9
Let i = -2 - -4. Let p(w) = w + 1. Let r be p(2). Suppose v = r*v - i. Which is smaller: 3/4 or v?
3/4
Let j(n) = 2*n**2 + 5*n + 2. Let d be j(-3). Which is bigger: d or 6?
6
Let o = -0.5 + 0.1. Let i be (7 - -2 - 0)