 -1386 - -90088/65. Is -1 > a?
False
Let f = 467 - 478. Let b be (1 + 0)/(1/(-11)). Is f bigger than b?
False
Let i(t) = t**2 + 19*t + 52. Let y be i(-15). Is -4 less than y?
False
Let u(k) = k**3 + 2*k**2 - 3*k - 2. Let r be u(-2). Which is bigger: r or 0?
r
Suppose 5*o = -4*d - 0*o - 53, 3*o = -2*d - 29. Is d < -6?
True
Let t = -199/4 - -685/12. Let d = -20/3 + t. Which is smaller: d or 2?
d
Suppose 0 = -2*k - k - q + 1, -16 = 2*k + 4*q. Suppose 0 = -5*a + k*a + 27. Which is greater: 8 or a?
a
Let d = -2.13 - -0.13. Let h = -0.5 - 6.5. Is d >= h?
True
Let i be 108/(-26) - (5 - 9). Suppose 81 = -5*t + 6. Let c be (-2)/3*t/(-10). Is i <= c?
False
Suppose -2 = -0*b - b, 3*b + 14 = -5*c. Which is greater: c or -0.2?
-0.2
Let l = -0.2 + -13.8. Let d = l - -13. Which is bigger: 2/11 or d?
2/11
Suppose t + 0*t = 19. Suppose -3*r + 7 = -2*b - 0*b, 3*b = -4*r - t. Is r greater than or equal to -0.07?
False
Let y = -17 + 18. Which is smaller: -13 or y?
-13
Suppose -5*q + 8*q = 3. Let i(h) = h - 2 - 3*h**3 - 2 + 2*h**3 - 2*h**2. Let p be i(-3). Which is smaller: p or q?
q
Let d = -44 - -40. Let c = 0.3 + -0.2. Is c greater than or equal to d?
True
Let o = 7.03 - 7. Let h = 0.01 - o. Let g = h - -1.02. Are g and -1/3 nonequal?
True
Let h = 1506 + -60237/40. Is h bigger than 0?
True
Let k(z) = z - 8. Let n be k(8). Let b = 7 + 0. Suppose -4*h + b*h = 3. Which is greater: h or n?
h
Let b be (-1 + 2)/(-1 - 18/(-21)). Which is bigger: -25/3 or b?
b
Let g = 13 - 13. Suppose -2 = -z - z. Which is smaller: z or g?
g
Suppose 2*x - 2*u + 26 = x, x + u = -41. Which is smaller: x or -35?
x
Let d(r) = -r + 4. Let q be d(3). Let b(s) = -s**3 - 17*s**2 + 18*s - 1. Let y be b(-18). Let a be (0 - y)*(-3)/q. Which is greater: -4 or a?
a
Let l = -11 - -4. Let o = l + 6.9. Let f = -124/177 - -2/59. Which is greater: f or o?
o
Let z be -2*(-4)/(-104)*-3. Which is bigger: z or -1?
z
Let g = 0 + 1. Let t = 415/4 - 103. Is t > g?
False
Let o = 26 - 24.3. Let c = 6.3 + -7. Let m = c + o. Which is smaller: -0.3 or m?
-0.3
Let q = 20 + -18. Is q at least 9/8?
True
Let s = 119 - 75. Is 85/2 > s?
False
Let l(c) = -2*c - 10. Let d be l(-8). Suppose 3*f = -0 - d. Let h = 12 - 14. Is f at least h?
True
Let l = 20.39 - 0.39. Is 2/5 <= l?
True
Suppose f = 10 - 5. Is f not equal to 54/11?
True
Let f be 1*(1/1 - -2). Let n = -61 - -64. Is f > n?
False
Let v = 8.18 - 0.18. Does 3 = v?
False
Suppose 7*g - 4*g = -4*w + 1534, 0 = 4*w - 5*g - 1550. Let l be 60/w + (-3)/7. Is l less than or equal to 1?
True
Let q be 0 + 1*(-6)/(-3). Suppose 7 + 5 = -q*k. Let y = 9 + k. Is 2 at most as big as y?
True
Let x(y) = y + 1. Let k be x(8). Let p be 15/(1*k/(-12)). Let q be 2/(-5) - (-22)/p. Is q < -3?
False
Let c(v) = -v**2 + 4*v + 7. Suppose -2*d = -5*n + 2, -5*n - 6 = 2*d - 24. Let y be -3 + 4/2*d. Let u be c(y). Is u at most 2?
True
Let o = -43 - -61. Let b be (3/o)/((-1)/4). Which is greater: b or -2?
b
Suppose -5*w - 36 + 1 = 0. Let f(a) = a**3 + 6*a**2 - 7*a + 2. Let u be f(w). Which is bigger: 3 or u?
3
Let x be ((-42)/(-9))/(1/3). Let y = -10 + x. Suppose 0 = i - 0 - y. Which is bigger: 3 or i?
i
Let u = 0.61 - 0.51. Does u = 13?
False
Suppose 0 = -6*g - 3*g. Let j = -167 + 1167/7. Which is bigger: g or j?
g
Let l(f) = -4*f + 18. Let p be l(5). Is -7/6 equal to p?
False
Let n(p) = 11*p**2 - p. Let q be n(1). Suppose 3*d = -3*l - l + 45, -4*l - 4*d + 48 = 0. Which is greater: l or q?
q
Let c be 0 - (-3)/(15/10). Is c not equal to 5/8?
True
Let m be (-4)/6 - (-13)/15. Suppose 3*s + 1 - 4 = 0. Which is bigger: m or s?
s
Suppose 3*q + 18 = -3*q. Is -2 != q?
True
Let k = 3 + 2. Let v = -4.4 + k. Let x = v - -0.4. Are x and 2/7 unequal?
True
Let p(b) = b + 3. Suppose 2*v = 4*c - 0*v + 20, -4*c - 4 = 2*v. Let r be p(c). Is -2/13 > r?
False
Let n = -159 - -475/3. Is n less than -2?
False
Suppose 10 = k - 3*k - 2*q, -5*k - 11 = -2*q. Let a be 1*(-1)/k*-1. Which is bigger: a or -1?
a
Let j be (-18)/63 + 6/21. Is j less than or equal to -10/7?
False
Suppose 2*x - 5 = -1. Suppose -x*d + 4 = -0. Suppose 5*j - 6 = 2*j. Do j and d have the same value?
True
Let i be -4 + 0 + 44/10. Are i and -7 nonequal?
True
Let g(h) = h**2 - 9*h + 5. Let c be g(10). Let n be ((-12)/c)/(8/(-20)). Let a(v) = -v + 9. Let k be a(7). Is n bigger than k?
False
Let n be (-3)/(-87)*31207/1. Let y = -1076 + n. Let w = 17/116 + y. Which is greater: w or -1?
w
Let p = 10.2 - 10. Let l = 11 + -10.2. Let d = -1 + l. Is d smaller than p?
True
Suppose 6*t - 3*t - 2*y - 9 = 0, y - 6 = -2*t. Let d be -1 + 4 - 2 - 5. Let j be (d + 28)/4 + -4. Which is smaller: t or j?
j
Let n = 0.12 - -0.78. Let a = 0.95 - n. Is a <= -1/3?
False
Let f = 3 + -8. Let j be (-1)/2*4 - f. Suppose -3*i - j*v = -3, v + 9 = 4*i - 10. Which is smaller: 2 or i?
2
Suppose -6*c = -3*c - 45. Let s = c - 15. Is -3/7 at least s?
False
Let x(t) = -t**3 + 6*t**2 - 2*t + 10. Let c be x(6). Let m(v) = -v**3 - 2*v**2 + 3*v + 2. Let p be m(-3). Let o be 0 - -1*p/(-2). Is o at least c?
True
Let z = 34/133 - -6/19. Suppose -s + 3*k + 24 = 0, 4*s + 5 - 77 = 4*k. Suppose 5 = -5*d + s. Is z at least as big as d?
False
Let b(r) = r**2 - 2*r - 4. Let i be b(3). Let j be 2*i*(-3 + 2). Which is greater: j or 6/7?
j
Suppose -3*m + 8 = -5*z - 0, 4*z + 2*m = -2. Is 1/11 > z?
True
Let f(g) = -g + 4. Let j be f(5). Let k be 12/(-16)*16/(-42). Is j >= k?
False
Let h = -0.33 + 1.33. Which is smaller: -5 or h?
-5
Let y(a) = a**3 - 4*a**2 + a + 2. Let g be y(4). Suppose -j = -g*j. Which is smaller: j or 2?
j
Let x be 68/16 + (-3)/(-4). Suppose -2 = c + x. Which is greater: -6 or c?
-6
Let y = -6 - -10. Let h = y + -4.05. Let s = h + -0.95. Which is bigger: 0.3 or s?
0.3
Suppose -c = z - 4*c - 11, -2*c = 2*z + 2. Let r(n) = 4*n - 2. Let p(i) = 5*i - 2. Let l(d) = -2*p(d) + 3*r(d). Let w be l(z). Which is smaller: 4/7 or w?
4/7
Let a = 129/56 + -15/8. Let l = -1.8 - -1.8. Is l smaller than a?
True
Suppose -4*r - 4 - 8 = -2*m, -m + 12 = -5*r. Let k = 3 + m. Suppose 3 - k = -2*n. Is n >= 0?
True
Let k = 18 + -16. Are 4 and k unequal?
True
Let f be (-9)/(-2)*8/6. Let k = -4 + f. Let v = 4 - k. Is v greater than or equal to 1?
True
Let a(c) = 2*c**3 - 3*c**2 + 4*c - 3. Let s be a(3). Let f = -24 + s. Suppose f = -4*q - 8. Do q and -6 have different values?
True
Let l(x) = 2*x - 12. Let y be l(8). Let a = 11 - 8. Suppose z - a = -y. Which is smaller: z or -2/3?
z
Let c = -13 + 7. Let h = 5.8 + c. Are h and 2/7 non-equal?
True
Let d = -0.96 - -1. Let t = d + 4.96. Let v = -3 + t. Is 1 at most as big as v?
True
Let c be (-1 + -2)*(-2)/8. Which is smaller: 2 or c?
c
Let x = 3605113/9 + -401074. Let f = x + 507. Is 1 < f?
True
Suppose 0 = -4*a + 11 - 3. Suppose 0 = -a*i + i. Are -1/9 and i unequal?
True
Let p(u) = -5 + 11*u + 16 + 3*u**2 - 2*u**3 + 8*u**2 + 3*u**3. Let a be p(-10). Let y be a - ((-75)/(-27) + -2). Are 0 and y nonequal?
True
Let k = 2 - 4. Suppose 2*u = -3*u - 10. Is u greater than k?
False
Let m = 39 - 39. Which is smaller: m or -8/7?
-8/7
Let j = -0.07 - 0.27. Let o = -0.06 + j. Is 1/2 less than o?
False
Let b(t) = -12*t + 96. Let m be b(8). Suppose -2*p = 2*z + 2 - 0, 4*p = 3*z + 10. Suppose -4 - p = 5*d. Are d and m non-equal?
True
Let f(i) = -4*i - 2. Let v be f(3). Let t be (-2)/(-8)*v/7. Which is greater: 1 or t?
1
Let i(p) = p**3 + 5*p**2 + 5*p + 4. Let q be i(-4). Is q at most 10?
True
Suppose -4*o + o - 4*h = -8, 4*h - 8 = 5*o. Are o and -2 non-equal?
True
Suppose 9*m + 231 + 21 = 0. Is -29 greater than or equal to m?
False
Let d = 2221877/36 + -61715. Let c = d - 23/9. Which is smaller: c or 0?
0
Suppose -4*c + b - 11 = -4, 0 = -3*c - 2*b - 8. Let a be (1 + -1)*(2 + -1). Is c at most a?
True
Suppose 0 = 4*w - 0 - 4. Let r = 4/37 + 54/185. Which is smaller: r or w?
r
Let i be (1/6 + 15/18)*-5. Let q = 21 - -9. Suppose 2*p - 7*p - q = 0. Which is smaller: i or p?
p
Let q(l) = l + 9. Let r be q(-7). Let o = -4 + 7. Suppose 2*x - o = -1. Is r equal to x?
False
Let l be (4/(-8))/((-14)/(-4)). Let c(p) = -p**2 - 3*p + 5. Let u be c(-4). Which is smaller: u or l?
l
Let r(l) = -10*l**2 + 3*l - 2. Let h be r(2). Are -37 and h equal?
False
Suppose 0 = z - 0*z - 4*d + 19, -d - 2 = 2*z. Is -3 >= z?
True
Let v = 5.05 - 0.05. Let h = -2 - v. Does h = -1?
False
Let a = 9 - 4. Let i = a + -6