ose 1 = 2*j + q. Which is greater: j or -2/7?
-2/7
Let j = 20 + -21. Let v(n) = -4*n + 3. Let o be v(2). Let m be 68/12 - (-10)/o. Which is smaller: m or j?
j
Let h(w) = 26*w - 1. Let m be h(-1). Let v = -8 - m. Let g = 0.1231 - 1.1231. Which is bigger: g or v?
v
Let f = -1527 - -12223/8. Let p(h) = -h + 9. Let z be p(7). Which is bigger: z or f?
z
Let r be (-18815)/(-73564) + (-1)/3. Let i = 2/347 - r. Suppose -6 = 5*n - 1. Do n and i have the same value?
False
Let l = -3085937/491 - -6285. Which is greater: 1 or l?
1
Suppose 4*z - 24 = -0*z. Suppose z = -4*i + o, 2 = -i + 5*i - 5*o. Let y(v) = -v**2 - 4*v - 3. Let f be y(-3). Which is greater: i or f?
f
Let s = 2 - 0. Suppose -5*f - s*b + 8 = 0, 4*f - 2*b = b - 12. Let r(t) = -t**2 - t + 1. Let l be r(f). Which is smaller: l or 4?
l
Let h(l) = -18*l - 9. Suppose -s = -2*o - 9, 0 + 2 = 4*o + 2*s. Let u be h(o). Is u less than or equal to 27?
True
Let g = -9 - -36. Let f = 31 - g. Which is bigger: 0.5 or f?
f
Suppose 3 = 5*r + 113. Let u = r + 33. Is 11 bigger than u?
False
Let f = -0.46 - -0.396. Let g = f - 0.036. Let y = -1 + -11. Which is bigger: y or g?
g
Let j = -18 + 18. Suppose j = y + y - 34. Does 18 = y?
False
Let o = -5 + 23. Let p be -62*1/o - -3. Which is smaller: 0 or p?
p
Let b(s) = -s**3 + 11*s**2 - 24*s - 9. Let u be b(8). Let v = -2.1 + 1.7. Is u smaller than v?
True
Let y be 4746/7*2/(-16). Let l = y + 85. Is 1 != l?
True
Let n(v) = -v - 4. Let k be n(-5). Let a = -107 - -110. Is a greater than k?
True
Let v(y) = y + 8. Let c be v(-15). Let u(t) = -t**3 - 6*t**2 + 6*t - 14. Let d be u(c). Suppose -31 = 5*f + 4. Is f > d?
False
Let b be (7 - (-1332)/(-188))*(6 + -2). Is b equal to 0?
False
Let n be 0/(3 - 0) + -477. Let v = n - -828. Let b be v/(-177) - (-12)/6. Which is smaller: b or 0?
0
Let f be ((-49)/28 - -1)*(-4)/3. Which is smaller: f or 10/41?
10/41
Let p be (-3)/12*1 - 154/(-584). Is -1 at least as big as p?
False
Suppose -3*u = -5*u - 6. Suppose 1 = -3*z + 2*m + 29, -4*z = 4*m - 4. Let p be (-3)/z*(-3 - u). Which is smaller: 0.1 or p?
p
Suppose 0 = 6*f - 3 - 3. Let x be f/2*2 - 1. Which is greater: 1/7 or x?
1/7
Let n(c) = -c**3 - 20*c**2 + 188*c + 6. Let f be n(7). Which is smaller: -3/464 or f?
f
Let a = -0.061 - 4.639. Let q = a + -0.3. Which is smaller: 3 or q?
q
Suppose -2*j = -0*j - 10. Let t be 2/9 - j*(-6)/(-135). Which is bigger: t or -2/19?
t
Let w = -7607/8 - -949. Suppose -6*i + 2*i + 2*j = -8, 5*i + j - 24 = 0. Let k = 2 - i. Which is bigger: w or k?
w
Let f(m) = -m**2 + 17. Let t be f(-4). Is -2/75 greater than or equal to t?
False
Suppose 0 = 2*k - 3*k + 108. Let h = 112 - k. Is -1 greater than h?
False
Let q be (2 - 0) + -1 - -4. Suppose 2*k + 0*c + 18 = -4*c, -3*k + q*c - 60 = 0. Let m be (-1)/1 - 9/k. Is 1/6 smaller than m?
False
Let v(z) = -48*z - 19*z + 29 - 32. Let y be v(3). Let a = -2242/11 - y. Is 1 >= a?
True
Let d be 2/(-9) + 1183/(-63). Suppose 4*x - 46 = 2*j + 2*x, 0 = 3*j + 4*x + 34. Is d bigger than j?
False
Let t = -2/5 + 1/2. Let b = -2/5 - t. Which is greater: b or 3/5?
3/5
Let v be (-37 + 3 - 2)*-7. Suppose -5*a - v = 4*a. Which is bigger: -27 or a?
-27
Let w be 4/(-6) - 40/(-63). Do w and -1 have the same value?
False
Let d = 15 + -13. Suppose 0*v = -x - v - 51, d*v = -4. Is x < -50?
False
Let l = -0.06 - 0.08. Let x = -4525 + 4526. Is x less than l?
False
Let t(n) = -n**3 + 9*n - 23. Let d be t(5). Let g = d - -138. Is g < 35?
False
Suppose 56*i - 2731 - 1189 = 0. Which is smaller: i or 73?
i
Let n(r) = 55*r + 13. Let i be n(11). Let d be (-6)/9 - i/(-117). Let q = d + -801/182. Is q greater than or equal to -1?
True
Let o be 12/((-30780)/597) - (-4)/18. Which is smaller: -1 or o?
-1
Suppose -5*v + 8*n - 5*n + 78 = 0, 0 = -4*v - 2*n + 58. Suppose -35 = -6*c + 11*c. Let k be (c/(-4))/(3/24). Which is smaller: k or v?
k
Let z(f) = -f**2 + 10*f - 9. Suppose 2*d + 5*v + 4 = 32, 2*d = 4*v + 10. Let s be z(d). Which is smaller: s or -2/43?
-2/43
Let j(a) = -3*a - 16. Let b be j(-6). Suppose 2*u = -2*t - 10, t + b*u + 25 = -3*u. Which is smaller: t or 2/71?
t
Let f = 9647/14 - 692. Let w = 3 + f. Let p = -3 + 4. Which is bigger: w or p?
p
Suppose 19 = 3*a - 4*r, -5 = -a + 3*r - r. Which is smaller: 75/8 or a?
a
Let n = 2 + 1. Suppose -1 - n = -2*g. Let a be (4 - (-224)/(-20))*(-1)/4. Which is bigger: g or a?
g
Let z = 446 - 447. Is z < -18/47?
True
Let p(k) be the second derivative of k**4/12 + 5*k**3/3 + 3*k**2/2 + 6*k. Let w be p(-9). Let y be w - 0/((-8)/(-4)). Which is bigger: -7 or y?
y
Let z(v) = v**3 - 7*v**2 - 20*v + 18. Let b be z(9). Is b smaller than -0.1?
False
Let r = 489 - 485. Suppose -z - z - 8 = 0. Let j = -1 - z. Is j smaller than r?
True
Let w = -39 - -15. Let f be (-3)/(-7) - w/42. Let k be -5 + 2 + 90/35. Is k at least f?
False
Suppose 4*y - 1 - 3 = -3*g, -4*g - 1 = -y. Suppose g*r - 6*r = -6. Are r and 12 non-equal?
True
Let o be (495 + 3)/(9/6). Let v be o/(-14) + (-46)/161. Let y be (50/(-8))/(3/12). Is v smaller than y?
False
Let l = 287 - 543. Is 1/2 >= l?
True
Let j = 2 - 2.2. Let p = 2 - 2.2. Let g = -0.26 - p. Is j bigger than g?
False
Let t = -68878/67 + 1028. Which is smaller: t or 1?
t
Suppose 93*c + 1330 + 902 = 0. Are 4 and c non-equal?
True
Let v = -8.97 - -0.97. Let i = 0.11 - -0.19. Is i less than or equal to v?
False
Let a = 15 + 45. Let t be 160/a + (5/(-3) - -1). Which is smaller: 20/9 or t?
t
Let c = -0.397 - 0.243. Which is smaller: 1 or c?
c
Suppose -3*c + 2*c - 1 = 0. Suppose -47 = -4*d + 37. Let h be 1*2 + 0 + (-39)/d. Is c greater than h?
False
Let u = 176983/45 + -3933. Let g be 0 - (-1 - (0 + -1)). Which is bigger: g or u?
g
Suppose 0 = k + 4*m - 12, -12 = 5*k - 7*k - 4*m. Suppose -3*g + k*g - 56 = 4*n, 2*g + 3*n + 36 = 0. Let o = 15 + g. Is -9 equal to o?
True
Let c = 52 + -32. Suppose 0 = -7*l + 2*l + c. Suppose 0 = -2*q + y - 3 - l, 0 = -2*y + 6. Is -3 greater than or equal to q?
False
Let y = -42 - -26. Let d = 15.9 + y. Is d <= 31?
True
Let h(z) = 2*z**2 + 106*z - 456. Let j be h(-57). Let q be 53/(-28) - (-2)/1. Which is smaller: j or q?
j
Let h = -17 + 27. Let c be 51*10/(-90) - (-7 - -1). Which is smaller: c or h?
c
Let p = -1 + 2. Suppose -4*t - 5*q = 3617, -2*q + 2 + 4 = 0. Let k be (-3 - -6) + t/300. Is p bigger than k?
True
Suppose -5*v - 77 = -4*r - 3, -3*r + 8 = v. Let j = -2 - 10. Is j greater than or equal to v?
False
Let y = -674 + 39768/59. Which is smaller: y or 1?
y
Let o = 823 + -816. Let f(p) = p + 10. Let u be f(0). Which is smaller: o or u?
o
Let b be 1/(1 - (-1 + 1)). Suppose 4*o - 4 = -3*h + 6, 0 = -4*h - 4*o + 8. Let r be h + (-123)/60*-1. Is r less than or equal to b?
True
Suppose 4*o = -9*o + 65. Which is greater: 23/6 or o?
o
Let i(q) = -11*q**3 - 21*q**2 - 19*q + 2. Let m be i(-1). Let o = -0.5 - -0.3. Which is bigger: o or m?
m
Let b be (-4)/8*(4 + -4). Which is bigger: -16 or b?
b
Let q(i) = -23*i**3 - i**2 - 2*i + 2. Suppose -3*x - 3*k - 2 - 10 = 0, 3*x + 17 = -4*k. Let a be q(x). Are a and -23 equal?
False
Let p = 0.048 + 0.212. Let x = p - 1.26. Which is greater: 9 or x?
9
Let x(m) be the first derivative of m**4/4 - 4*m**3/3 - m + 8. Let d be x(5). Is d > 24?
False
Let l be (56/(-21))/(4/114). Let a = -145 + 69. Does a = l?
True
Suppose 4*i + 16 = 8*i. Suppose 0*k = -4*p + 2*k - 48, -i*k = -p - 12. Let a = 1 - p. Is 14 less than or equal to a?
False
Let u = -103 - -105. Let r = -1 - u. Let s = -0.8 + 1. Which is bigger: s or r?
s
Let q = -731 + 768. Which is smaller: 112/3 or q?
q
Let u be (-1680)/844 + 6/3. Which is bigger: 0 or u?
u
Let r be 3/(-1) + 390/117. Is 190 < r?
False
Let k = -86 - -87. Let l = 7 + 30. Which is smaller: k or l?
k
Let s(n) = -n - 1. Let y be s(0). Let o be (-12)/28*4/(-48). Let q = 101/308 + o. Is q less than y?
False
Suppose -j + 1 = -t, 2*j + 3 = 5*t - 4. Suppose -x = 3*s + 1, -j*s + 0 = 2*x + 2. Which is smaller: 2/119 or s?
s
Let g = 1.81 - 1.83. Is 0.12 less than g?
False
Let c(b) = b**3 - 8*b**2 + 10*b - 11. Let z be c(7). Let o be (24/(-30))/((-4)/z). Which is bigger: o or 7/12?
o
Let b be -2 - (37 + 4 - -3). Let c = 17 + b. Let p = 30 + c. Which is bigger: 1/4 or p?
p
Let n = -20 - -20.23. Let u = 757 - 757.63. Let z = u + n. Are z and 0.1 equal?
False
Suppose 0 = -3*s + 29 - 134. Let b = s + 35. Which is greater: 