*d + 18, -q = d - 1 + 7. Let g be q/(-9)*(-12)/(-32). Which is greater: g or 0?
g
Suppose 0 = -j + 5*c - 21, 2*j + c - 2*c - 3 = 0. Which is greater: j or 2?
j
Let a(u) = -4*u + 3. Let k(n) = -5*n + 4. Let l(q) = -4*a(q) + 3*k(q). Let x be l(-1). Which is bigger: 2/13 or x?
2/13
Suppose -2*n = -0*n - 2. Is 0 less than or equal to n?
True
Let o be 21/14*(-3 - 2/(-2)). Let r = -4 - -3. Is r >= o?
True
Let c be ((-2)/(-2))/(8 - 7)*1. Which is greater: c or 0?
c
Let c = -98 + 98.25. Is c at least as big as 3?
False
Let l = 1 + -1. Suppose 0 = 5*x + r + 1, 0*r - 4 = 5*x + 4*r. Is l less than or equal to x?
True
Let u be ((-18)/(-30))/((-16)/5). Which is smaller: -1 or u?
-1
Let p = 132477699 + -1245952757363/9405. Let x = p - 2/855. Let z = 0.4 + -0.2. Which is smaller: z or x?
x
Let x(r) = 5*r - 16. Let f be x(3). Let b = -412 + 7002/17. Is b at most as big as f?
False
Let z = 39/8 + -119/24. Is -1 at least as big as z?
False
Suppose -f - 5 = 0, -u - 4*f - 14 - 6 = 0. Which is smaller: u or -2/277?
-2/277
Suppose 0*k + 3*k - 9 = 0, -5*t - 42 = k. Is -9 greater than t?
False
Let b(j) = -6*j**3 + j**2 - j. Let q = 5 - 4. Let l be b(q). Is -7 at most as big as l?
True
Let q(v) = v**3 + 4*v**2 + v - 2. Let s be q(-3). Let f be 16/(-7) - 6/(-21). Let g be (-3)/(-2) + f/4. Are s and g non-equal?
True
Suppose -6*l + l = -40. Which is bigger: 6 or l?
l
Let x = -2 + -8. Let o = x - -11. Which is bigger: o or 2/7?
o
Let k = 5 - 1. Suppose -5 = -5*h + r, 3*r = h - k + 3. Is 3/7 >= h?
False
Let v(a) = a**3 - 8*a**2 - 9*a. Let h be v(9). Suppose -5*x + 17 = -2*d, 5 = 2*x + d - h. Which is greater: x or 1?
x
Suppose -2*r + 6 = -2. Suppose 3*o + 6 = 0, -23 = 3*d + 2*d + r*o. Do -1 and d have the same value?
False
Let f(c) = -4*c - 7. Let w be f(-2). Is 12/11 bigger than w?
True
Suppose 4*x - 4 = 2*x. Let o = x - 0. Let h(w) = w - 1. Let n be h(1). Does o = n?
False
Let f(d) = d**3 + 6*d**2 - 8*d + 1. Let s = 10 + -17. Let g be f(s). Which is smaller: g or 9?
g
Let j be 42/(-10) - (-1)/(-10)*-2. Let x = 11 + -7. Suppose -2*d + 2*y = -6*d, x*y = 2*d + 20. Is j less than or equal to d?
True
Let u = 8/75 - 418/5325. Is 1 less than u?
False
Let u = -37/9 - -223/63. Which is smaller: 1 or u?
u
Suppose -3*g - 12 = -5*i, -15 = -6*g + 3*g - 4*i. Do -2 and g have the same value?
False
Suppose g + 5*z - 16 = 0, 4*g + 2*z = 7 + 3. Let w be (3/12)/(g/4). Let h be (w*-2 - -4)*1. Is 3 greater than or equal to h?
True
Suppose 0 = -3*w + 1 + 2. Suppose -w = -3*q + 2. Let a = 2 - q. Which is smaller: a or 2/15?
2/15
Suppose -5*h = 3*k - 32, 2*k + 0*k + 5*h = 28. Let m = k - 7. Which is smaller: -2 or m?
m
Let a(d) = d - 1. Let r be a(1). Let s be r - -2*(-2)/(-4). Which is smaller: s or 1/24?
1/24
Suppose -v + 18 = -5*g, -4*g = -3*v + 4*v + 9. Suppose 2*p = -v*p. Which is bigger: p or -2/15?
p
Suppose 2 + 3 = j. Suppose 2*x = 1 + j. Suppose -3*q = i - 2, -i + x*q = 8*q - 2. Which is bigger: 2/3 or i?
i
Let x be (12/18)/(1/18). Let j be x/81*-3*-3. Which is smaller: j or 2?
j
Let a = -7 + 4. Which is smaller: -2 or a?
a
Let g = -604/183 + -2/61. Is -3 < g?
False
Let c(d) = -4*d - 14. Let y be c(-6). Let l(g) = -g**3 + 10*g**2 - 2*g + 8. Let h be l(y). Which is smaller: -11 or h?
h
Let q(h) = h**3 + 6*h**2 - h - 6. Let i be q(-6). Which is greater: i or 3?
3
Let k(m) = m**2 + 2*m + 1. Let c be k(-1). Let y = 0.3 - -1.7. Is y bigger than c?
True
Let h be (1/2)/((-5)/(-2)). Let s(b) = -b**2 + 8*b - 6. Let i be s(7). Which is bigger: i or h?
i
Let x = -610 - -2439/4. Let m(l) = -l**3 - 5*l**2 - 2. Let v be m(-5). Which is smaller: v or x?
v
Suppose 0 = 11*b - 7*b - 128. Is b less than 30?
False
Suppose 0 = 4*r - 6*r + 6. Suppose -2*a + 3 = -r. Let c be -1*(a/3 + -2). Does 0 = c?
False
Let k = -89/28 + 15/4. Is 2/7 less than k?
True
Let u = 67 + -86. Is -21 greater than or equal to u?
False
Let x be (-3 + (-60)/(-21))*66. Let z = -316/35 - x. Let i be (-1)/(-3)*(-2 - -1). Do z and i have the same value?
False
Suppose 2*t + 5 = 53. Let s = 14 - t. Let m be (1 - -1) + s/5. Which is bigger: m or -1/4?
m
Let h = -14.7 - -15. Which is bigger: h or 0?
h
Let m = -0.04 - 1.96. Let x = m + -0.6. Let g = -0.6 - x. Which is smaller: g or 0.1?
0.1
Let t = 0.2 + -0.1. Suppose 2*f - 5 = 3. Is f < t?
False
Let c = -6 + 3. Let x be ((-2)/(-6) - -1)*c. Which is smaller: x or -3?
x
Let w = 2 - 2. Let k = 5.1 + -3.1. Let b = k + w. Which is greater: 2/5 or b?
b
Suppose 0 = 4*m - 1 - 27. Is m at least 8?
False
Let z be (6/10)/(2/(-5)). Let f = -6 - -10. Let p be (-5)/f + (-1)/(-4). Are p and z non-equal?
True
Suppose x = -4*x + 20. Suppose 9*s - 23 - 13 = 0. Suppose 4 = s*k + x*w, -k + 8 = k - 4*w. Is k >= 1?
True
Let z = 17/13585 - 14633/3877159. Let x = -4174119/57080 - z. Let q = x - -73. Which is greater: q or 0.1?
0.1
Let w(m) = m**2 + 7*m + 5. Let b be w(-6). Let s = -4/5 - b. Is s <= 1?
True
Let k = 4 + -3.7. Let q = k + -0.1. Is -1 less than q?
True
Let i = 47 + -40. Which is greater: i or 8?
8
Suppose -15*l + 0*l = -210. Which is greater: 13 or l?
l
Suppose 0 = 2*x - 0 - 4. Suppose -4*r = x*z, -4*z - r - 4*r = 0. Which is smaller: z or -2/23?
-2/23
Let m = -0.055 - 0.245. Which is bigger: m or 1/9?
1/9
Let m be ((-25)/51)/(6/9). Let y = 4/17 + m. Which is smaller: 0.4 or y?
y
Suppose -13*g = -15*g - 2. Which is smaller: 3/8 or g?
g
Let g be (-2)/(-9) - 16/(-9). Suppose 0 = n - 3*n + g*v - 2, -2*v + 2 = 4*n. Suppose n*k - k + 4 = 0. Are 5 and k equal?
False
Let v be (-6)/(-21) + 52/14. Suppose -5*s - 12 = 3*u, -3*u + 4*s = -2*u + v. Which is bigger: u or -5?
u
Let i be 6/3 + (-32763)/10530. Let k = 4/351 + i. Let h = 3/5 + k. Which is smaller: -2 or h?
-2
Suppose -14*c - 48 = -8*c. Do c and -11 have the same value?
False
Let r be 7/(-4) - 1/4. Let n(j) = j**2 - j - 10. Let w be n(0). Let o = w + 9. Which is smaller: r or o?
r
Let g = 0.16 - 0.23. Let d = 0.57 + g. Which is bigger: -1 or d?
d
Let k(b) = b**2 - b - 1. Let p be k(2). Which is greater: p or 3/4?
p
Suppose -2 = -n, 4*k + k - 21 = 2*n. Suppose 5*z + 15 = 0, -h - 34 = -k*h + 2*z. Let d(p) = -p + 7. Let q be d(h). Which is bigger: 2/9 or q?
2/9
Let h = 4 - 4. Let w = h - -0.3. Let j = -4 + 3. Which is greater: w or j?
w
Let z = 6 + -8. Let i = -1.8 + 3.8. Is i < z?
False
Suppose -5*i - 36 = -3*i. Let l be -2*(3 - i/(-4)). Let p be -1*(l - 2)*0. Is 1 at least as big as p?
True
Let l = -6/7 + 3/7. Let i(y) be the third derivative of -y**4/24 + 10*y**2. Let j be i(-1). Is l at least as big as j?
False
Let t = 0 + -2. Let a be 3 + 4 + 2/(-2). Let s = a - 6. Which is smaller: t or s?
t
Suppose -4*g + 1 = 3*n - 11, -3*g + 4*n = -34. Suppose 4*i - g - 22 = 0. Let w be (2 - i)*(-4)/(-5). Which is smaller: w or -3?
w
Suppose 0 = -2*h - 11*h - 13. Suppose -4*m - a = 2*a + 10, -2*a = -4. Let c = m + 6. Which is smaller: h or c?
h
Let c = 0.04 - 1.04. Let h = 1 - c. Let p = 2.2 - h. Does -3 = p?
False
Let g = -8 - -8. Suppose -2*y - 4*s + 8 = g, -5*y + 2*y + 2*s = 4. Is 2 not equal to y?
True
Let y be -3 - -4*22/28. Is y at most as big as 1?
True
Let d = 4.6 - 4.8. Which is smaller: d or -3?
-3
Let p = 7976 - 119587/15. Let r = -7/2 + p. Which is smaller: -1 or r?
-1
Let b be 4 + -4 + (-2)/9. Let h = -71 - -779/11. Is h < b?
False
Let o = -2 + 6. Let f = 13 - 16. Let q = o + f. Which is greater: q or -3?
q
Let d be 20/(-50) + (-113)/5. Let i = d + 64/3. Let k be (1/2)/((-1)/6). Which is bigger: k or i?
i
Suppose 3*u - 1 = 8. Let a be -1*((-9)/(-7))/u. Which is smaller: a or 0?
a
Let o = -1.95 + 0.15. Let a = o + 2. Is 1/4 != a?
True
Let f = 0 - -1. Let n = 9 + -8. Let w = f - n. Is -1 less than or equal to w?
True
Let n = 27.9 - 29. Are 0.2 and n non-equal?
True
Let k(t) = 5*t + 2*t + 2*t. Let l be k(3). Let y be l/(-12) + 3 - 1. Is 0 at most as big as y?
False
Let x(k) = -2*k + 1. Let o be x(1). Let b be o + 1 - 2/(-9). Suppose 4*t = -t. Is t bigger than b?
False
Let p = -41.6 - -44. Is p greater than 0?
True
Let w = 0.01 + -0.91. Let k = -0.1 + w. Let f = -0.092 - -0.092. Which is smaller: f or k?
k
Let x = -0.14 + 0.24. Is x < -1.9?
False
Let c = -409/91 + 64/13. Suppose 11 = 5*o - 2*v, -4*o + 0*o + 2 = -5*v. Let d = 2 - o. Which is smaller: c or d?
d
Let l be -3 + 10/2 + 4. Suppose 0 = 16*t - 15*t + l. Is t less than or equal to -7?
False
Le