. Do w and -1/17 have different values?
True
Let k be 0 + -1 + (-5 - -6). Which is smaller: k or -1/26?
-1/26
Let i = -28 + 12. Suppose 0 = 3*q + 50 - 5. Is q at most i?
False
Let o be (3/(-5) - -1)/(44/(-10)). Which is smaller: o or 1?
o
Suppose 3*s - 2*r = s - 24, -5*s - 66 = r. Let v(n) = n**3 - n**2 - n + 3. Let q be v(0). Suppose -q*g - 3*d - 39 = 0, 5*d + 0*d = 5. Which is greater: s or g?
s
Let w = -86 - -91. Suppose k - 1 = -d, -4*k - w = 2*d - 7*d. Which is bigger: 2/89 or k?
2/89
Suppose -4*v = v - 10. Let u be (-3 - v) + 500/105. Is u smaller than 1?
True
Let z(v) = v**3 - 2*v**2 - 2*v - 5. Let b be z(4). Let d(r) = -6*r + 97. Let h be d(13). Is b > h?
False
Let j = -0.9 + 0.8. Which is smaller: j or -7/39?
-7/39
Let c(y) = y**2 - 8*y + 11. Let d be c(8). Let v = 12 - d. Let s be v/5*45/(-18). Is -2/5 < s?
False
Let w be (-8)/(-20) + 3404/(-35) - 3. Let s = w - -99. Is s at least as big as 0?
False
Let w(g) = -g**2 + 4*g - 3. Let z be w(-6). Let t = z + 63. Which is smaller: 10/7 or t?
t
Let d be (-2)/3*(-42)/28. Are 1/508 and d equal?
False
Let p = -335 - -335. Which is greater: p or -3/34?
p
Let k = 11.16 - 11. Let z = -0.152 - -0.312. Let a = z - k. Is a equal to -0.18?
False
Let w be 6/(-16) + (-2 - 222/(-80)). Is 2/17 at most as big as w?
True
Suppose -b = -4*b. Let t(r) = -3*r - 6. Let x(d) = -2*d - 4. Let h(z) = -5*t(z) + 8*x(z). Let k be h(b). Do k and 0 have different values?
True
Let r(v) = v**3 - 16*v**2 - 14*v + 1. Let z be r(17). Are 53 and z equal?
False
Let k = 214 - 391. Which is greater: k or -178?
k
Let g(r) = r**2 + 9*r - 6. Let u(o) = -3*o**2 - 27*o + 17. Let z(q) = 8*g(q) + 3*u(q). Let f be z(-9). Suppose 14 = -f*k + 53. Is 14 bigger than k?
True
Let d = 716/39 + 147/13. Which is smaller: d or 30?
d
Let m be (4 + -2)/2 - 1. Let q be (m + -6)/(1 - -1). Let r be ((q - -1) + 0)*-1. Is r at most 3/5?
False
Let k(b) = 13*b**2 + 6*b + 4. Let d be k(-2). Suppose d = 4*f - 128. Is f at least as big as 45?
False
Let i(g) = -43*g**3 + g. Let u be i(-1). Let x be (-18)/u - 216/(-14). Let b be (-19)/(-28) - x/35. Are b and 1 equal?
False
Suppose 22*a = -a + 322. Is a greater than or equal to -14/9?
True
Let l = -102 + 2140/21. Suppose b - 2 + 1 = 0. Let n be (-1 - -3)*(-2)/(-4)*b. Which is smaller: l or n?
l
Let x = 682.5 + -178.5. Which is smaller: x or -1?
-1
Let p = 210607/29 - 7263. Which is smaller: -2 or p?
-2
Let m be (-3)/1*(-3 + 2). Let x be (-4)/(-3) + (-12)/(-18). Let j be (x + 1)*4/6. Which is smaller: j or m?
j
Suppose -2 = 3*m - 2*h, -12 = -0*h - 3*h. Let x = 17 - 11. Let q be 7 + (4 - m - x). Which is smaller: 7 or q?
q
Let l be 3/6 - 254/396. Let z = -4/11 - l. Let i = 0.2 - 0.4. Is z less than or equal to i?
True
Suppose 207 + 143 = 10*p. Which is smaller: p or 182/5?
p
Let i(r) = r**2 + 4*r + 6. Let j be i(-5). Let o = 13 - j. Suppose -4*t = -5*t - o. Are 0.06 and t equal?
False
Suppose 5*j - 2*z - 40 = 0, -3*j + z + 15 = -2*z. Suppose 3*b + 4 = u, 4*b - b + j = -2*u. Let v = 3340/7 - 478. Is u at least v?
False
Let p = 4 + -3. Let w be -23 + 22 - -1*5. Let h be (w/10)/(128/160). Is p at least h?
True
Let w = 19 + -18.3. Let x = -0.3 - w. Which is bigger: x or -0.01?
-0.01
Let h be 184/3 - (-8)/(-6). Let v = h - 73. Do -6 and v have the same value?
False
Suppose 4*a - p + 155 = 0, 7*a - 5*a + 3*p = -95. Which is greater: a or -28?
-28
Let i = -90 + 92. Let g be (-6)/(-230) - (i + 36/(-20)). Does 1 = g?
False
Let m = -2386271/22 - -108851. Let c = -384 + m. Which is smaller: 1 or c?
c
Let w = -143.394 - 0.406. Let h = w - -132. Let a = 0.2 - h. Which is smaller: 2/3 or a?
2/3
Let s = -11 + 9. Let b = 11 + -10. Let l be 1 + b/2*-3. Do s and l have the same value?
False
Let q = 4/3055 + -308579/18330. Which is smaller: -16 or q?
q
Let n be (-1 - 308)/(12/16). Let f = n + 2479/6. Which is smaller: 1 or f?
1
Suppose 2*z - 3*z = -1. Let q be 129/(-45) + 3/z. Which is smaller: q or 0?
0
Suppose 6*d + 64*d = -148 - 132. Let a(g) = 1. Let m(x) = -x - 3. Let h(r) = -a(r) - m(r). Let p be h(-6). Are d and p equal?
True
Let i(a) = -6*a - 132. Let z be i(-33). Is 2/3 less than or equal to z?
True
Let b = -15 + 3. Let a be 2/(-6) - 64/b. Let g be (-1)/(-2) - (-63)/18. Is g != a?
True
Let v(o) = 4*o**3 - 4*o - 3*o**3 + 4 + 6*o**2 + 2*o**2 - 10*o**2. Let p be v(3). Let c be (34/119)/(p - -1). Is c at least 1?
False
Suppose -15*q = -12*q. Suppose q = -6*i + 11*i - 5. Let h be ((-6)/(-15))/((-56)/(-10)). Is h >= i?
False
Suppose a - 24 = -3*a. Let b = a + -6. Suppose b = 2*y + y. Do y and -1 have the same value?
False
Let b = -2.73 + 2.47. Which is greater: b or 2?
2
Let r = -16 + 13. Let l be (-3 - -33) + r - -3. Which is bigger: 29 or l?
l
Suppose 4*j + 5*c - 125 = 0, -5*j = -2*c - 14 - 167. Which is bigger: j or 34?
j
Let o be -3*(-2)/18*1. Let m = -1340 + 14728/11. Which is smaller: m or o?
m
Suppose 3*l = -5*y + 7, 0 = 5*y + 5 - 0. Suppose 2*z + 0 + 6 = 0. Let w be (z - -9)*l/3. Which is greater: 2 or w?
w
Let g = 16.03 - 16. Let z = -0.01 - -7.01. Let d = z + -7.2. Which is bigger: g or d?
g
Let o be (-1 + (-30)/(-14))/(48/168). Let x be 0/(-2 + 3) + o. Is 6 at most x?
False
Suppose -2*i + 55 = 5*p, -5*i - p + 5*p = -187. Let y = i + -35. Let b(s) = s**3 - 5*s**2 + 4*s - 2. Let l be b(4). Does l = y?
False
Let r be (-10)/(-6) + (-3)/(-9). Suppose 3*g - 2 = r*g. Let t be 18/22 - 184/(-1012). Is t >= g?
False
Let m = 213 - 212. Is m > 3/38?
True
Let r = 13521/28 - 2003/4. Let n = r - -18. Which is bigger: n or -1?
n
Let d = 146.06 - 146. Let i = d + 0.24. Which is bigger: -0.5 or i?
i
Let x be (7/(-8))/(3/(-36)). Suppose 45 = 4*k - 5*u, 4*k + u + 4*u = 35. Which is bigger: x or k?
x
Let k = 13 + -17. Let l = -3 - k. Let v be (l + 1)*24/36. Which is smaller: v or 1?
1
Let h be (-15)/(-1 + -18 + 4/(-8)). Suppose 4*o + 4 = 12. Which is greater: o or h?
o
Let m be 76/15960 - 2/(-21). Which is greater: m or 1?
1
Let o = -116652559/42 - -2777617. Let r = o - 1079/6. Let f(u) = -u + 13. Let s be f(17). Which is bigger: r or s?
s
Let b(z) be the third derivative of -z**6/120 + 13*z**5/60 + z**4/24 - 17*z**3/6 - 11*z**2. Let q be b(13). Is 4 greater than or equal to q?
True
Let o be (0 - -1)/(6/(-6)*-2). Which is smaller: 3 or o?
o
Let j(i) = i**2 - i - 1. Suppose 3 = 3*b + g, -5*g - 2 = -2*b - 6*g. Let h be j(b). Which is bigger: 29 or h?
29
Suppose 3*g + 0*b + 4*b - 64 = 0, -4*g + 137 = -5*b. Suppose -v + 11 = -g. Is v less than 39?
False
Let v(q) = -12*q**2 + 191*q + 17. Let z be v(16). Is z smaller than 2/593?
False
Let o = 116 - 117. Is 2/657 <= o?
False
Let d be ((-61)/2379)/(44/30). Are -1 and d equal?
False
Let h = 2.01 + -2. Let o = 117 - 117. Is o <= h?
True
Let h be (-39)/(-15) - 6/(-15). Let v be (h - -2)/((-16)/16). Is -12 at least v?
False
Suppose -y - 2*y + 12 = 3*u, 2*y - 17 = -5*u. Let d be (4/u + -1)*0. Are d and 2/43 non-equal?
True
Let g(y) = -7*y**3 - 2*y - 1. Let v be g(-1). Let b be v/5 - (-6)/15. Suppose d = -2*a - b, -8 = -3*a + 2*a + 4*d. Which is smaller: 2/29 or a?
a
Let m be (-3)/(-7) - (-80)/(-56). Let h be (-1 - -3) + 1 + m. Let s be -6 - (h + 3 + -4). Which is smaller: -6 or s?
s
Let m = 436 - 437. Let s be 2 + (-2 - 12/11). Is m less than or equal to s?
False
Let g be -26 + 0 - (-4)/2. Let p be 0*(-4)/g*-3. Suppose p = -3*k + 3 - 6. Which is bigger: k or -1/16?
-1/16
Suppose 0 = a - 2*i - 37, -5*i + 13 = -a + 53. Let r = a - 14. Which is smaller: -1 or r?
-1
Let v(z) = 49*z**2 - 10*z - 1. Let h be v(8). Let u be (-843)/h + (-9)/(-15). Let d = u + -8/47. Which is smaller: d or -1?
-1
Let k = -206 - -184. Which is greater: k or -21?
-21
Let d = -4153/56 + 615/8. Is 5 <= d?
False
Let j be (119/252)/(689/(-345) + 2). Let k = 163 - j. Which is smaller: k or 0?
0
Let j = -0.21 - -0.34. Let f = 0.13 - j. Let n = 25 - 16. Are n and f unequal?
True
Suppose -i + 1 = 5*d, -4*i + 4*d - 29 = -9. Let q be (10/(i - 1))/173. Is 1 > q?
True
Let l = 5 + -22. Let y(c) = -c + 5. Let a be y(4). Which is smaller: l or a?
l
Let m = -0.98 - 0.02. Let t = -0.9 - m. Let x = 40 - 40. Is x > t?
False
Suppose -2 = j + j. Let t = -341/5 + 68. Which is bigger: j or t?
t
Let s = 63123 - 236401. Let o = -4690712/27 - s. Let l = o + 452. Which is greater: -1 or l?
l
Let k be ((-1)/(-5)*3)/((-3393)/58). Which is greater: -4 o