+ 73, -24 = 3*u + 4*d. Which is greater: u or 1?
1
Let g be -4*(-6 - -3 - -2). Suppose -4*n = g*h - 16, -2*n - 2*h - 7 = -3*n. Suppose 5*m - 3*j + 5 = -n*j, -2 = 2*m + j. Which is greater: m or -1/11?
-1/11
Let t(f) = -14*f + 22. Let s be t(3). Which is smaller: s or -10?
s
Let x = -0.06 - 1.94. Let u = 2 - 1. Is x > u?
False
Suppose -6*h + 6 = -12*h. Let t be (18/(-99))/(h*(-4 + 2)). Are t and 2/23 equal?
False
Suppose 0 = 3*l + 3*c, -4*c - 54 + 14 = -4*l. Let n be ((-3)/6)/(l + -6). Which is greater: -4 or n?
n
Let s = 3 - 4. Let a be ((-2)/(-27))/(s/6). Let j be (-310 - -315) + -6 + (1 - 0). Is j not equal to a?
True
Let y(s) = -s + 46. Let q be y(-12). Is -1/4 less than or equal to q?
True
Let n = -49/4 - -269/22. Let i = n + 35/88. Let p(o) = o**2. Let y be p(-1). Which is smaller: i or y?
i
Let r(x) = -x**3 + 2*x**2 + 3*x - 1. Let m be r(3). Let o = -0.41 + 1.1. Let b = o - 2.69. Which is smaller: m or b?
b
Let z = -109/26 + 56/13. Let k(y) = y**3 - 10*y**2 + 10*y - 8. Let i be k(9). Is i greater than or equal to z?
True
Let z = -0.122 - -0.102. Let y = 0.12 + z. Which is smaller: y or 5?
y
Suppose -7*u + 693 = -16*u. Let z = -692/9 - u. Does -2/7 = z?
False
Let a be (-12)/(((-18)/4)/3). Suppose n + x = 7, -3*x = 2*n + 2*x - 8. Suppose 2*o = -0*o - 3*r + n, -5*o = -5*r - 35. Which is greater: o or a?
a
Suppose x = g - 3*x - 8, g + 2 = -x. Let u(y) = y**3 - 10*y**2 - 2*y + 17. Let z be u(10). Which is smaller: z or g?
z
Let p = 4.2 - 3.16. Let b = 0.11 - 0.07. Let j = p - b. Which is bigger: j or -0.6?
j
Let q = 589/34 - -3/17. Let b = q - 17. Which is bigger: b or 5?
5
Let b = -13848 + 123959/9. Let p be 152/2 - (-2 + 3). Let l = b + p. Which is smaller: l or 1?
l
Let h = -23.1 + 23. Let c = 25 - 24. Let p be (-1)/(c + (-15)/12). Which is greater: p or h?
p
Let y be -3 + 5 + 6/2. Let h = -27 + 45. Let f = h + -15. Which is greater: f or y?
y
Let l(w) = w**2 - 7*w - 8. Let x be l(9). Suppose -4*n = -2*k - 30, 0 = 3*n + 5*k - 2*k - 45. Let j = x - n. Which is greater: j or 2/11?
2/11
Let x = 21191/3210 - 1/642. Let n = -7 + x. Suppose -j - 3 = -2. Which is smaller: j or n?
j
Let c = -2 + -2. Let o = 10 - c. Let b = -15 + o. Are 2/9 and b equal?
False
Let m(t) = t + 10. Let u be m(-12). Let l = -2/2403 - 11927/105732. Let k = l + -95/132. Which is bigger: u or k?
k
Suppose -4*u + 3*u + 4 = 0. Suppose u*c = -3*x - 12 + 1, 3*x + c = -5. Which is bigger: -12/5 or x?
x
Let x be (-34)/(-38) - 2/(-19). Let h = 915/7 + -131. Are x and h non-equal?
True
Let o(t) = 608*t**3 + 4*t**2 - 3. Let z be o(-1). Which is smaller: z or -606?
z
Suppose -v = 0, -2*w = 2*w - 5*v + 4. Let g be (13/1)/(14 + -21). Are w and g non-equal?
True
Let k = 110 + -72. Let i = -199 - -236. Which is bigger: k or i?
k
Suppose -5*o = 4*p + 37, 0 = -p + o - 2*o - 8. Let i(l) = -5*l. Let j be i(p). Let f = j - 4. Which is smaller: 10 or f?
10
Let n be (-1)/5 - 22768/160. Which is smaller: n or -144?
-144
Let z(n) = 2*n**3 - 5*n**2 + 3*n + 10. Let j be z(3). Is j less than 27?
False
Let d = -0.9 + 1. Let f = -0.08935 + -21.91065. Is d smaller than f?
False
Let x be (-2)/(-4) - 369/(-82) - 4. Is x less than 2/1139?
False
Suppose 1272 = 9*k - 12*k. Which is bigger: -425 or k?
k
Let r(v) = -13 - 9 - 48*v**2 + 47*v**2. Let d be r(0). Let l = d + 20. Is l greater than or equal to 3?
False
Let a = -127 + 270. Let k be 9/(-3) - (-427)/a. Let h = k - -1295/572. Are h and 1 equal?
False
Let m = -6 - 16. Let w = -27 - m. Let j = 6 - 13. Which is smaller: j or w?
j
Let c be (22/((-110)/3))/(12/(-10)). Let w(r) = r**3 - 5*r**2 - 7*r + 7. Let a be w(6). Is a < c?
False
Let c(l) = 7*l - 43. Let h be c(6). Which is smaller: 12/89 or h?
h
Suppose 28*p - 17 = 11*p. Is p at least 12/47?
True
Let y(z) = -16*z + 13 - 9*z + 13*z - z**2. Let l be y(-12). Suppose -3*m - l = -4*h, -10 = -2*m - 0*m. Which is bigger: 5 or h?
h
Suppose 5*u + n = 2, -4*u + 5 - 1 = 2*n. Suppose -f + 55 = -2*v - u, 4*f = -v - 14. Which is greater: v or -27?
v
Suppose -12 = -s - 4. Is s smaller than 8?
False
Suppose 5*q + 4*k - 28 = 2*k, -2*q = -5*k - 17. Let m be q/1*-1*1. Let f be 3/2 + m/12. Which is smaller: f or 1/18?
1/18
Let k = 76 + -75.5. Which is greater: -27 or k?
k
Let p be (-1 + 1 - 14)/(-2). Suppose 20 + 8 = -p*f. Is f smaller than -6?
False
Let y = -7548/1393 + 38/7. Is 1 <= y?
False
Suppose 0 = -5*o + 3*o + 2. Let m be ((-4)/6)/((1 + o)/6). Let c(r) = r - 8. Let z be c(6). Do z and m have the same value?
True
Let p be ((-1980)/(-16))/(-9) - (-2)/(-8). Suppose -4*c + 19 = 47. Is p < c?
True
Let j = 9.605 + -0.105. Let q = -9.57 + j. Is q greater than 1?
False
Let i be ((-17)/30 + 2/(-20))*-21. Which is smaller: 7 or i?
7
Let o be (-13)/((-26)/(-12)) + 4. Let j = -1 - o. Do -0.09 and j have the same value?
False
Let w be 4/(-22) + (-336)/88 - 26. Let q = w + 68. Which is smaller: 40 or q?
q
Let w(m) = -31*m + 81. Let a be w(-4). Is 204 at most a?
True
Let f(z) = -117*z - 355. Let s be f(-3). Which is smaller: s or 3.1?
s
Suppose 0 = 4*p - 7*p + 9. Suppose 3*a + p*d - 40 = 2*d, 0 = -4*a - 3*d + 45. Let o be (-2)/a*(-6 + -3). Which is smaller: o or 2?
o
Let x be (72/21)/4 + (-21285)/63. Which is greater: x or -339?
x
Let l be 152/228 + 1184/(-3). Which is smaller: -393 or l?
l
Let y(o) = o**3 - 3*o**2 + 3*o - 3. Let s be y(2). Let t be (-4170)/(-9)*s/2. Let n = 235 + t. Which is smaller: n or 2?
2
Let d be (-29)/(-9) - 4/18. Suppose 40 = -d*o - 35. Let q be (-15)/o*1/18. Which is greater: q or 1?
1
Let h(o) = 6*o**2 + o. Let i be h(-1). Suppose -2*k = i - 1. Let w = -483/640 - -3/640. Which is bigger: w or k?
w
Suppose -4*m + 5*i - 62 = 0, 2*m + 0*m - 3*i + 32 = 0. Which is bigger: m or -16?
m
Let s = 124 + -4717/38. Which is smaller: s or 1?
s
Let h = -85 - -84.59. Which is bigger: h or -1/2?
h
Suppose 53*q - 1583 - 855 = 0. Are q and 33 equal?
False
Let a = -22 - -34. Let u(h) = -17 - 4*h**2 + 3*h**2 - 13*h + h**3 + a*h**2. Let j be u(-12). Are j and -5 equal?
True
Let u = 44 - 45/2. Which is greater: 21 or u?
u
Suppose t + 5*k - 15 = 0, 0*k + 2*k - 29 = -5*t. Suppose -o + 28 = t. Which is greater: o or 21?
o
Let l = 7 + -5. Suppose 105*h - 94*h = 77. Which is smaller: l or h?
l
Suppose 0 = -3*a + 6 + 6, 5*n = -5*a + 185. Which is bigger: n or 32?
n
Let b(i) = -i**3 - 36*i**2 - i - 37. Let r be b(-36). Is r less than or equal to 13?
True
Suppose 0 = -3*q + 14 + 1. Suppose -q*x = 3*u - u, 0 = -5*u + x. Is 2/113 greater than u?
True
Suppose 0*d = 4*d - 1432. Let c = -255 + d. Let w = -517/5 + c. Is w at most -1?
False
Suppose d = -4*d. Suppose -4*b + 6 + 10 = d. Suppose 9 = 3*a - 4*v, 9*v - b*v = -15. Which is bigger: -10/9 or a?
a
Let w be (-20)/(-6)*(-450)/368625. Which is smaller: w or 1?
w
Let q = 89 - 89. Suppose q*d - 555 = -15*d. Which is bigger: d or 35?
d
Let f(u) = -5*u**2 - 6*u + 2. Let q be f(1). Is q >= -114/13?
False
Suppose 0 = 5*d - d + 4. Let c = 0.034 - -18.966. Let o = c + -29. Which is bigger: d or o?
d
Let v = -0.41 - -0.07. Let j = v + 1.34. Which is smaller: 28 or j?
j
Let o = 104 + 78. Let s be (-6)/((-276)/o) - 4. Let p be (2/6)/(3/9). Which is greater: s or p?
p
Suppose 3212*j - 3199*j = 11518. Is 886 > j?
False
Let f(r) = r + 26. Let l be f(8). Suppose -z = -8*k + 3*k + l, 4*k = 16. Which is bigger: z or -11?
-11
Let u be ((-8)/6)/((-28)/21). Let o be (19/38)/((-25)/(-4)*u). Is -1 != o?
True
Let v(r) = -28*r + 111. Let p be v(4). Which is bigger: -0.086 or p?
-0.086
Let x be (6 - 1)/(-1) - 3059/(-483). Let l = 0.03 - -2.97. Is x != l?
True
Suppose 0 = -2*y + 4*y + 248. Let q be 6/6 - (-118)/y. Which is bigger: 1 or q?
1
Let x = 475 - 458. Which is smaller: x or 21?
x
Let y(x) = -341*x + 8. Let o be y(-2). Let i = 2090/3 - o. Is i at least 6?
True
Let l(q) = q**2 + 11*q - 10. Let c be (36/(-14))/(6/28). Let x be l(c). Suppose -x*f + 3 = -j, -2*f = f - j - 2. Is -4/3 >= f?
False
Let b = 372 + -409. Is -4 at most b?
False
Let p = -2/1983 + 21889/75354. Which is smaller: 1 or p?
p
Let z be 3/2*(-104)/(-39). Suppose 623 - 175 = -z*o. Let x be (-2)/(-2) + o/64. Are -1 and x unequal?
True
Let d be 2/(20/(-6))*(-600)/(-35). Do -11 and d have the same value?
False
Suppose 0 = 24*g - 47*g + 1219. Is 56 <= g?
False
Suppose 13 = -4*h - 5*w, 3*h + w + 10 + 8 = 0. Let j(v) = v**3 + 7*v**2 + 3*v + 