i) = i - 5. Let p be j(6). Which is greater: o or p?
p
Suppose 9*w - 4*w + 5 = 0. Which is smaller: w or 2/43?
w
Suppose -4*h = -0*h - 22248. Let x be 9/6 - h/(-20). Let o = -281 + x. Which is bigger: -1/2 or o?
-1/2
Let c = -1 - -3. Let u = -615/17 + -5/68. Let d = u - -75/2. Which is smaller: d or c?
d
Let z = 4 - 4. Suppose -n + 6*n + 10 = z. Which is smaller: -2/5 or n?
n
Let q = 0 - -13. Let f = q - 16. Which is smaller: -3/2 or f?
f
Let q = -8 - -5. Let g(m) = 4*m**3 - m**2 + 2*m - 1. Let w be g(1). Suppose -9 + 17 = -w*h. Which is smaller: q or h?
q
Let h be (-1)/(2164/540 - 4). Let i be (-522)/h + (-4)/(-30). Is 4 smaller than i?
False
Let h = -17.6 + -2.4. Let j = h + 28. Let z = 6 - j. Which is bigger: -1/5 or z?
-1/5
Let z be 2 + -2 + 0 + -1. Which is smaller: z or -3/5?
z
Suppose -5*c - 13 = -2*n, 3*n - c - 32 = 7. Let g be (16/28)/(20/n). Which is smaller: -1 or g?
-1
Let x = 0.2 - 0.2. Let z = -2.6 - 0.4. Let b = z - -3.2. Is x less than b?
True
Let t be ((-36599)/(-6))/(4/(-6)). Let m = t + 9207. Let q = m - 58. Which is bigger: q or -1?
q
Let q be (1/2)/(1/(-10)). Let p be (-1)/q - 76/5. Let v be (-9)/p + 0 + -1. Which is greater: v or 1?
1
Let h = -1678599/5 - -334393. Let m = h - -1331. Let c = -53/15 + m. Which is smaller: c or -1?
-1
Let i be -1 - 0 - (5 - 0). Let k = 8 + i. Let j be (2 - 3) + 3 - 0. Is j smaller than k?
False
Let v be (2/18)/((-5)/(-10)). Let r(b) = 2*b**2 + 3*b. Let z be r(-2). Let p = z + -1. Is v smaller than p?
True
Suppose c - 5 = -0*c. Which is smaller: c or 13/3?
13/3
Let c be (-4)/(-10) - 246/15. Let i be ((-2399)/(-30))/(4/c). Let g = -320 - i. Does g = 1?
False
Suppose 8 = -2*s + 6*s. Suppose v = 4*i + 2*v + 48, 5*v + 42 = -s*i. Do -11 and i have different values?
False
Suppose 4*d = 5*d + 2. Let m be (d/(-6))/((-12)/8). Which is greater: 1 or m?
1
Let a = -4 + 2. Suppose -2*j + 23 = 25. Does a = j?
False
Let q(f) = f**3 - f - 5. Let x be q(0). Let o be ((-2)/(-6))/(x/165). Is -11 less than o?
False
Let q = 0 + -2. Suppose -p - 1 - 21 = 0. Let z = p + 89/4. Which is smaller: z or q?
q
Let w = 43/12 + -23/6. Suppose 5*n - 3*o + 2*o = -10, o = 0. Let l(z) = z**2 + 2*z. Let j be l(n). Which is greater: j or w?
j
Let z(w) = -w**3 - 2*w**2 - w + 1. Let h be z(-2). Suppose 5 = h*a + 2*a. Let n = -5 + 8. Is a less than or equal to n?
True
Let m = 48.1 + -56. Let n = 8 + m. Is -2/7 at least as big as n?
False
Let n be 0/(((-24)/16)/(1/(-2))). Which is bigger: -5/12 or n?
n
Let t(j) = j**2 + 5*j + 6. Let c be t(-4). Suppose 0 = -3*y + r + 16 + 10, 3*y - c*r - 31 = 0. Which is smaller: 8 or y?
y
Let t(o) = o**2 + 9*o + 6. Let g be t(-6). Let r be g/(-5) + (-2)/5. Is -1 at most as big as r?
True
Suppose 3*l = 2*h + 5, -l - 13 = -2*h + 5*h. Let c = 198 - 455/2. Let x = c + 29. Do l and x have the same value?
False
Let i = 7.4 + -30.4. Is -2 greater than i?
True
Let z = 3 + -2. Let r = 5 + -6. Let k be r/(-1*(-2)/(-4)). Which is bigger: z or k?
k
Suppose 2*m = -85 + 77. Which is smaller: m or -3?
m
Suppose -2*f - 3*s + 9 = -1, 0 = f + 3*s - 8. Let x(h) = -h**3 + 14*h**2 + 2*h - 26. Let q be x(14). Is f >= q?
True
Let r = 91/74 - -3/148. Is 0 at most r?
True
Let x be (-2)/9 - 11/(-9). Let s be (0 + 0/x)/(-2). Let c be (s - 0)*(-1 + 2). Is c greater than or equal to 2/9?
False
Let x = 8088714/175 + -46221. Let o = 2/25 - x. Is o at most as big as 0?
True
Suppose -4*w - w - 2*c = -180, 5*c + 145 = 5*w. Suppose -4*z + l + 31 = 0, -5*z = -z + 2*l - w. Suppose -d + z = d. Is d bigger than 5?
False
Let o = 0 + -8. Let j(s) = s**3 + 8*s**2 + 1. Let y be j(o). Which is smaller: y or 2?
y
Let k(u) = 3*u**2 + u + 1. Let l be k(-1). Let g be 2/l - (-32)/(-12). Let y be (-12)/(-8) - g/(-4). Which is bigger: 1/9 or y?
y
Let w = -25.34 + 25. Let c = w - -7.84. Let q = c - 7. Is -1 > q?
False
Suppose k + v - 2 = 0, 4*k - 2*v - 10 = -2. Let p be 2/4*(-32)/(-4). Let x be k/p + 25/10. Which is greater: x or 2?
x
Let q be 7/6*(-3)/(-2). Let o = 341 - 339. Is q at most o?
True
Suppose -k - 6 = k + 3*y, 0 = 2*k + 5*y + 2. Is k at least -6?
True
Suppose -13 = -6*o - 1. Let s = -17 - -35/2. Is o smaller than s?
False
Let o = -0.04 + 0.44. Let n = -10.8 - -9.8. Is n at least as big as o?
False
Let x(l) = -7*l - 6. Let p be x(-3). Which is smaller: -1 or p?
-1
Let o(r) = -2*r + 14. Let a(s) = s - 5. Let j(g) = -11*a(g) - 4*o(g). Let h be j(-2). Let y be (5/(-12))/h*-2. Is 0 < y?
True
Let m = 0.41 - 0.4. Let z = 0.41 - m. Let f = z - 0.5. Which is greater: f or 1/5?
1/5
Let g = 8.17 + -0.17. Is g less than or equal to -0.2?
False
Let m = -121 + 83. Is m at least -39?
True
Let l = 103/230 - 8/23. Is l greater than -1?
True
Suppose 5*y - 38 = 22. Suppose 2*u + y = -j, -3*j = -j - u - 1. Let d be j/(-6*4/3). Does d = -1?
False
Let r be (216/(-26))/3 - -3. Is -1 greater than or equal to r?
False
Let r be (2/(-36))/((-8)/(-20912)). Let l = r - -145. Let y be 2/(-5) + 7/5. Which is smaller: l or y?
l
Let s be 5*(-2)/(2/(-3)). Which is smaller: s or 13?
13
Suppose -5 = j + 3*l, -4*j + 4*l = -3 - 9. Let f be 14/9 + (-66)/33. Is j != f?
True
Let r be (2 - 94/21)/((-42)/63). Is r < 3?
False
Let h = -58 + 57.9. Is -11/4 at most h?
True
Let t(n) = n**3 - 5*n**2 - 10*n - 10. Let w be t(6). Which is smaller: w or -35?
-35
Let k = 0 - -2. Suppose -2*m + k = -0*m. Which is smaller: m or 3/2?
m
Suppose 4 = -4*i - 0*i. Let h be (4/2)/(i*9). Is 0 at most h?
False
Suppose 48 = 3*x - 42. Suppose y + 0*u - 5*u + x = 0, -5*y + 2*u - 35 = 0. Is -3 < y?
False
Let h = 2.3 - 2.37. Let t = 15.07 + h. Is t at most 2/7?
False
Suppose 0 = a + 2*a + 12. Suppose 1 - 7 = 2*s. Let t = s - a. Is -1/7 < t?
True
Let k = -4 + 6. Suppose -k = 4*n + 2, -5*p = -5*n + 5. Is -3 greater than p?
False
Let b be (-1 - (1 - 1))*-6. Let m(u) = u - 11. Let g be m(6). Let t = b + g. Are 2/7 and t equal?
False
Suppose 42 = 3*t + 147. Are t and -35 unequal?
False
Suppose 11*g - 9*g = 198. Let w = -1487/15 + g. Which is bigger: w or 1?
1
Let z = 0.2 + -0.3. Let r = z + 0.2. Is 0.8 < r?
False
Suppose -2*l + 2 = -o - 1, -5*o - 23 = -2*l. Suppose 2*a = -3*a - 15. Is l at least a?
True
Suppose -23*p = 8*p + 155. Let z = -2 - -2.1. Which is smaller: p or z?
p
Let x be (12/8)/3*152/(-18). Which is greater: -5 or x?
x
Suppose o + 75 = 5*v, 5*v - 2*o - 49 - 21 = 0. Let i be (-8)/v - 1/(-2). Which is bigger: i or -1?
i
Let h = -2.7 + 2.5. Which is greater: h or -9?
h
Suppose 2*n - 1 - 3 = 0. Suppose -3*f + 3*t = 0, n*f - 3*t - 2 = 1. Which is smaller: 2 or f?
f
Let f = 7 + 0. Let s(r) = r**3 + 8*r**2 + 7*r - 6. Let i be s(-7). Let k = i + f. Does -3/7 = k?
False
Suppose 0 = -a - 0 + 6. Let r = -4 + a. Let x = 0 - 0. Which is greater: x or r?
r
Let a = 2 - 84. Is -80 < a?
False
Let x be 3/12 - (-2)/(-8). Let r be 4/(-48) - 2 - -2. Which is smaller: r or x?
r
Let z be (-585)/891 - 1/(-9). Which is greater: z or -1?
z
Let f = -1/19 - -119/95. Let p(q) = -q**3 + 5*q**2 - q + 5. Let c be p(5). Let n be (-3)/(-6)*(c - 0). Is f not equal to n?
True
Let q(a) = -a**2 + 4*a + 5. Let w(p) = p**3 - 2*p**2 - 2*p + 1. Let t be w(3). Let i be q(t). Is 0.1 less than i?
True
Let s(y) = -y - 2. Let b be s(0). Let k be (-1)/b*44/(-3). Let d = -8 - k. Which is smaller: d or -1?
-1
Let p = -15.17 + 0.17. Let i = 11 + p. Is i != -1/4?
True
Let p = 3 - 1. Suppose -p*t = -4*f - 4, 4 = -4*t + 2*t - 4*f. Which is greater: 4/7 or t?
4/7
Let r = -14 + 95. Let z = -241/3 + r. Are z and 0 equal?
False
Let k = -146/5 - -29. Let n = 11 - 20. Let p = n - -8. Is k > p?
True
Let s be 2/39*-18*6/4. Is s > 0?
False
Suppose -5*b + b - 15 = -c, -2*c = -5*b - 18. Let p be (b/5)/((-2)/5). Is 2 < p?
False
Let l = 11 - 7. Let j be 7/14*l/(-2). Which is smaller: j or 0?
j
Let s = -238 + 1901/8. Suppose 3*w - 8 = -2*j, 3*j - 16 = -3*w - j. Is s > w?
False
Let h be 5/((-150)/4) - (-8)/(-90). Suppose -v - 3*v + 4 = 0. Is v less than or equal to h?
False
Let l(h) = 4*h. Let o be l(-2). Let i = 41/5 + o. Let x be (-6)/40 + (-4)/(-10). Which is greater: i or x?
x
Let y(v) = -v + 6. Let g be y(0). Let l be (g/9)/((-4)/(-18)). Let u be (1/l*1)/(-1). Are u and -0.2 non-equal?
True
Let n = -0.25 + 0.78. Let w = -0.03 + n. Which is smaller: 0 or w?
0
Let d be 3/9 + 2/(-6). Let h = -2 + 0. Which is smaller: d or h?
h
Let y = -3 + 2.9. Suppose z + 3