ller: b or 4?
b
Let h be (100/(-7))/(-1 - -3). Let q = -7 - h. Are q and -1 equal?
False
Let d = -0.1 + 0.08. Let v = d - -0.02. Are -1 and v unequal?
True
Let s be -2 + (6/3 - 1). Which is greater: s or -1/6?
-1/6
Suppose 0 = -6*i + 3*i + 1350. Let v be (40/i)/(2/(-5)). Which is smaller: v or -1?
-1
Let y(q) = -q**3 - 4*q**2 + 2*q + 3. Let c be y(-4). Let h = c + 0. Is h less than -5?
False
Let u = 0.63 - 0.6. Let z = 4.97 + u. Let a = 4 - z. Is 2/3 >= a?
True
Suppose 5 = -5*j + 5*q, 4*j - 10 = -2*q - 2. Let y = -7/2 + 23/6. Is y greater than j?
False
Suppose -9*o + 287 = -10. Is 33 > o?
False
Let y = 5 - 8.7. Let m = y + 4. Is 0 smaller than m?
True
Let c be (-24)/(-18) - (-5)/(-6). Which is greater: c or -1?
c
Let r = -21 + 20. Which is smaller: 3/7 or r?
r
Let p = -36/55 + 4322/6435. Let d = -343/468 - p. Which is smaller: -1/4 or d?
d
Suppose -4*w - 46 - 10 = 0. Is w less than -16?
False
Suppose -5*w - 5*z - 10 = 0, 2*w + 2*w = 4*z. Which is bigger: w or -2?
w
Suppose 0 = 3*v + 2*v - 20. Suppose -3*n + 2*c = v*c + 166, -4*n - c = 223. Let y be 12/n - (-2)/(-7). Which is greater: y or -1/4?
-1/4
Let t be (2/(-4))/(1/(-32)). Let c be ((-12)/t)/(27/(-16)). Which is bigger: c or 1?
1
Suppose -7*j = -2*j + 30. Let p = j + 3. Let d be 0/(3/p - 1). Do d and 0 have the same value?
True
Let z be (-1 - 26/(-18))*18/12. Let x be 1/2 + (-3)/(-2). Let f(o) = o**3 - 3*o**2 + 2*o + 1. Let b be f(x). Which is greater: z or b?
b
Suppose -o - 4*o = -30. Let a be o*(3 + 3 + -5). Is a at most 5?
False
Let a = -12 + 9. Is a < -4?
False
Let b = -1 - -1. Let h = 1.1 + -1. Let p = h + b. Do -0.1 and p have the same value?
False
Suppose -5*y + y - 2*d + 18 = 0, -21 = -3*y + d. Let o be (-21)/14*52/y. Do o and -13 have the same value?
True
Let w = -119 + 119.6. Is 2 at least w?
True
Let t = -1 - -2.88. Let l = -0.12 - t. Are -2/5 and l non-equal?
True
Suppose -2*d - 6*k + 48678 = -2*k, 4*d = -3*k + 97346. Let x = 2263133/93 - d. Let o = -3/31 + x. Which is greater: o or 1?
1
Suppose 5 = -10*s + 5*s, 0 = -q + s + 44. Is -2 at least as big as q?
False
Let f = -29 + 32.1. Let u = f + -3. Which is greater: 2/11 or u?
2/11
Let t be (-2)/(-4) - 29/(-2). Suppose t = 2*n + 1. Which is greater: 6 or n?
n
Let l = 11.8 - 0.8. Let x = l - 11. Which is smaller: 2/7 or x?
x
Let o be ((-3)/6)/(6/(-12)). Let t be 5/3 - (3 - o). Which is smaller: -17 or t?
-17
Let c = 0.942 - -0.058. Which is bigger: 6/55 or c?
c
Let b = 22 - 33. Let k = -11 - b. Is 3 <= k?
False
Suppose 5*t - 23 = 4*q, 0*q = 5*t - q - 32. Suppose -t*w + f + 55 = -2*w, -2*w = 4*f. Let p(x) = -x + 9. Let c be p(w). Is -2/7 less than or equal to c?
False
Suppose -3*j = -5*j - 4. Suppose 2*m - 2 + 4 = 0. Which is greater: m or j?
m
Suppose 4*m - 2*g = 1 - 33, -3*m + g - 22 = 0. Is -7 != m?
True
Let c(b) = b**2 + 9*b + 8. Let l be c(-8). Let v be -2 - (3 + 0 - 3). Let u be (0 + v/5)/2. Which is smaller: l or u?
u
Let f(w) be the second derivative of -w**4/12 - w**3/3 - 6*w. Let r be f(-2). Is -1/2 >= r?
False
Let c be ((-4)/(-182))/((-4)/(-1058)). Let k be (-30)/39*(9/(-3) + -4). Let l = k - c. Which is smaller: l or 1?
l
Let c(n) = -n**2 - 6*n - 6. Let j be c(-4). Let i(r) = 8*r**2 - 11*r**2 + 17*r + 4*r**2 + 18. Let m be i(-16). Is m less than j?
False
Let y = -2 - -3. Which is greater: y or 0?
y
Let r be 4/(-6) + (-194)/6. Which is smaller: -32 or r?
r
Suppose -8 = 5*f - f. Suppose -2*c + 2 = 8. Which is greater: c or f?
f
Let q(v) = v**2 - 14*v - 22. Let u be q(15). Is u at most -3?
True
Let h = -0.03 + 0.03. Which is greater: h or 0.01?
0.01
Let m = 6821/31 - 220. Which is bigger: -1 or m?
m
Let i(r) = r**2 + 4*r + 4. Let q = -3 + 0. Let z be i(q). Which is smaller: z or 0?
0
Let k(v) = 2*v**3 + 12*v**2 - 6*v - 5. Let u be k(-9). Let h = u - -6121/14. Which is bigger: h or 0?
h
Let u = -8 + 17. Let y be (-8)/u - (-22)/99. Is -9 smaller than y?
True
Let g = -1/35 - -44/315. Suppose 2*b = 2*c + 6*b - 12, -5*b = 5*c - 45. Let w = -12 + c. Is w not equal to g?
True
Let k = 456152/9 + -51169. Let h = k - -558. Let m = -73 + h. Which is bigger: m or 1/2?
1/2
Let r = 7 + -7. Is r > -2?
True
Let m(p) = p**2 - 8*p + 10. Let h be m(7). Let c(i) = 3*i**2 - 2*i - 2. Let q be c(2). Which is smaller: q or h?
h
Let t be (-2)/(-6 + 1 + 0). Suppose -2*v = 2*v - 12. Suppose v*d = 6*d. Which is greater: d or t?
t
Let q = 25 + -13. Let u(x) = x**2 - x - 1. Let t be u(0). Let h be (t - -5)/(q/(-6)). Is h < -1/2?
True
Let s be (2*125 + -1)*(-3)/9. Which is bigger: -84 or s?
s
Let m = -598 - -374. Let t be 1 - (309/m)/(-1). Let h = t + 3/32. Is h > 0?
False
Let j = -0.06 + -0.04. Let g = 0.96 + -0.9. Are g and j equal?
False
Let y = 2.7 + -2.8. Which is bigger: y or 3/8?
3/8
Let p = 1187631173/600 + -1979386. Let j = p + 19/24. Which is greater: 1 or j?
1
Let w be 250/20*(18/(-15) + 2). Do 12 and w have the same value?
False
Let a = 62.8 + -63. Is 13 less than or equal to a?
False
Let z = -3.8 - -4. Let a = -2.8 - z. Let h = 3 + a. Which is smaller: h or -2?
-2
Let b(q) = -q**3 - 5*q**2 - q + 17. Let s be b(-6). Is 59 greater than s?
False
Let r = -10 - -7. Is 3/2 at least r?
True
Suppose 3*x + 21 = -0. Do x and -7 have the same value?
True
Let a = 6 + -10. Let r = a + 3.9. Let n = -2.03 + 0.03. Which is smaller: r or n?
n
Let b(g) = 4*g**3 + g + 2. Let t be b(2). Suppose 4*s - 5*j - t = 0, 4*s + 5*j = 5*s - 9. Do 6 and s have the same value?
False
Let h = 0.04 + 0. Let u = 0.96 + h. Which is smaller: 0.2 or u?
0.2
Suppose -66 = 2*r - 80. Which is bigger: -0.4 or r?
r
Let n = 6 + -3. Let y(s) = -s**3 + 3*s**2 + 2. Let h be y(3). Which is bigger: n or h?
n
Let z be -5*12*4/(-6). Suppose z = -4*r + 9*r. Is 8 smaller than r?
False
Suppose 10*p = 2*p - 344. Is p bigger than -42?
False
Suppose 2*j = -3*a + 28, -2*a + 5*j + 5 = -1. Let f be 0*3/(-2 + a). Which is smaller: f or 1/2?
f
Let d = -1.7 + 0.8. Let s = -0.1 + d. Let u = 0.37 - 2.37. Is s >= u?
True
Let n = 2.9 + 1.1. Let x = 3.95 - n. Let g = 3 + -4. Which is smaller: g or x?
g
Let b = -26 + 28. Which is greater: 0.7 or b?
b
Let u = 18182/399243 + 2/4589. Are 0 and u equal?
False
Suppose 5*g - h = 3*h + 64, 3*h - 12 = 0. Suppose -3*z + 2*p = 14, p + 2 = 5*z + g. Which is smaller: -7/5 or z?
z
Let o = -4 + 4. Let x = o + 0.2. Let u = 0 + x. Is u < 0.3?
True
Let s = 90 + -53. Is s bigger than -1?
True
Suppose 5*w = w. Suppose 9*z - 12*z - 9 = w. Suppose 5*r = 2*r - 6. Is z < r?
True
Let x = -4.9 + 5. Which is smaller: 3/4 or x?
x
Let r = 12 - 8. Let d = r + -1. Let z = 46/5 + -424/45. Which is smaller: d or z?
z
Let x = -1 - -0.9. Let k = 0 - x. Let m = -42.9 - -43. Is k >= m?
True
Suppose 5*t - 60 = -0*t. Suppose -t = -2*i - 5*x, 5*x - 8 = -i + 8. Is -4 less than i?
False
Suppose 6*c - 2*c = -4196. Let t be (-2 - 74/(-34))*c. Let g = 185 + t. Is -1 less than g?
True
Let o = -29 + 25. Which is smaller: o or -2/15?
o
Suppose 3*h - 5*a - 17 = 0, 1 = 3*h - a - 0. Which is smaller: h or 4?
h
Let l(z) = z**3 - 7*z**2 + 7*z + 3. Let d be l(5). Is -0.2 equal to d?
False
Let u(m) = m - 7. Let k(g) = -2*g**2 + 5*g - 3. Let s be k(3). Let o(r) = r + 12. Let p be o(s). Let a be u(p). Is 0 greater than a?
True
Suppose 38*z + 6 = 32*z. Which is smaller: 1/319 or z?
z
Suppose 4*k = 5*g - 44, -12 - 20 = -2*g - 2*k. Suppose -t = -4*t - g. Which is bigger: t or -5?
t
Let j be 1/(15/6 - 3). Let t be j/4 + 5/2. Which is bigger: 2/5 or t?
t
Let j = -57 - -54. Which is smaller: 31 or j?
j
Let a be (-47)/(-7) + 4/14. Suppose -2 = 5*y - a. Let n be 2 - (0 + 2 + -1). Is y != n?
False
Let m = 11 - 12. Are m and -3/2 nonequal?
True
Let k = -5 - -3. Is k at most -3?
False
Let r = 4/9 - 10/63. Let b = 4 + -1. Which is smaller: b or r?
r
Let f = 0 + -1. Let a = -8999/4 + 2226. Let r = a + 24. Which is greater: r or f?
r
Let p = -3.2 - -1.2. Let o = 1 + -1.1. Which is bigger: p or o?
o
Let d = -6 + 10. Suppose -n - 7 = d*v + 5, v + 4*n + 3 = 0. Let a be 28/(-6) - 2/v. Are a and -4 equal?
True
Let a be 0/((-5)/(15/6) - -3). Which is smaller: a or 0.2?
a
Suppose 0*i = -i. Let u = 1/8 - i. Are u and 0 nonequal?
True
Suppose -5*g - 4 = -3*g. Suppose a = 3*a + 2. Which is greater: g or a?
a
Let k = 4 + -8. Let i be (-2)/(-3) - (-4 - k). Is 4/5 less than or equal to i?
False
Let n = -0.41 + 0.31. Let l = -7 - -14. 