)/36)/((-10)/60). Does k = -2/117?
False
Let t be ((-12)/8)/((-27)/(-12)). Let i = -55 - -79. Is t at least i?
False
Let l(a) = -a**2 - 8*a + 1. Let z be l(-8). Suppose 4 + z = -b. Let f(h) = -h - 4. Let c be f(b). Do 1/7 and c have different values?
True
Suppose s - 52 = 6*s - 3*c, 3*s - c + 28 = 0. Let b = -4 - s. Suppose 0 = 5*y + f - 6, b*y + 0*f - 2*f = 2. Which is smaller: -0.2 or y?
-0.2
Let s = -21 + -28. Let a = -50 - s. Are a and 2/103 equal?
False
Let k be (-20)/(-198)*((-742)/(-105) + -7). Which is greater: k or 0?
k
Let g(t) = 5*t - t**2 - 2*t + 318 - 311. Let f be g(4). Suppose -f*o = 2*o. Does o = 4/5?
False
Let g be (-8)/2*11/11. Suppose -4 - 5 = -5*p - 3*l, -2*p = 3*l. Suppose 3*h + 0 + p = 0. Which is greater: h or g?
h
Suppose -4*c - 36 = 12. Let a be ((-2)/(-2))/(5/30*-2). Let t be a*16/(-12)*-3. Is c at most t?
True
Suppose y = 5*g - 13, 0 = -3*g + 4*g + 2*y + 4. Let k(j) = j + 7. Let a be k(-6). Is g less than or equal to a?
False
Suppose 0 = 2*m - 2*f - 92, 0*f = -3*m - 4*f + 124. Let z = -84 - -87. Suppose 0 = z*x + o - 27 - 0, 5*x + 2*o - m = 0. Which is smaller: 9 or x?
9
Suppose -15*o = -11*o - 4. Suppose 4*l + 4 - 224 = -2*h, 4*l - 340 = -3*h. Let c be 3/5 - 32/h. Which is bigger: c or o?
o
Let z(j) = -5*j - 59. Let v be z(-10). Let s = 1 + -4. Is v at least s?
False
Let y be (-12)/64*(-1)/(15/70). Let c = 51 - 51. Is y greater than c?
True
Let t = 252 + -252. Which is smaller: -6/47 or t?
-6/47
Let t = 5.9957 + 0.0043. Does t = 8?
False
Let j = -10251005 + 379258471/37. Let m(a) = -4*a**3 - a**2 + 10*a + 8. Let s be m(-6). Let k = s + j. Which is greater: 1 or k?
1
Let r be 0/2 + 2 + -3. Let h be (-42)/r + (-8)/2. Let i = 31 - h. Which is bigger: i or -6?
-6
Suppose 17 = 4*u + 5. Suppose -u*n + 4*j - 15 = 0, 0*n - j + 2 = n. Which is smaller: n or -4/31?
n
Let z = -36/5 - -113/15. Which is smaller: z or -0.3?
-0.3
Let l be 105/(-125)*6/(-27). Which is greater: -0.1 or l?
l
Let v = 3.2 + -3.94. Is v >= -0.1?
False
Let d = -0.009 + 0.052. Let g = d + 27.957. Is g equal to -1?
False
Let s = -117 + 93. Let m = s - -61. Is m equal to -2/5?
False
Let t = 0.2 + 16.8. Let p = t + -17. Which is greater: 4 or p?
4
Suppose d + 13 = 81. Suppose -4*z = -0*z + d. Suppose 4*j - c + 13 = 3*j, -25 = j + 2*c. Is j at least as big as z?
True
Let d = 3 + -2. Let m = -44 - -66. Let w = m - 28. Is w >= d?
False
Let a be (-1107)/1339 - -1 - 268/1742. Which is greater: -1 or a?
a
Suppose -f = 4*h - 12, 3*f - 5*f = -h - 69. Let m = f + -30. Suppose s + i = m, 5*s + 4 = -i + 2. Is -1 smaller than s?
False
Suppose -4*a + 5 = 3*x, 6*a - 10*a + 4*x = 16. Let u = -2/1067 - 10652/9603. Which is smaller: a or u?
u
Let m = -3.3 - -1.3. Is m at least 0.16?
False
Let r(f) = 1. Let c(z) = z - 7. Let w(s) = -c(s) + 2*r(s). Let u be w(17). Is u less than or equal to -9?
False
Suppose a = -2*a - 3*h, a - 16 = -5*h. Let v = 516/19 + -4793/152. Which is smaller: a or v?
v
Let h(k) = k**3 + 7*k**2 - 2*k - 6. Let v be h(-9). Is 0.1 > v?
True
Let v be 12/(-98)*(-7)/2. Which is bigger: v or -42?
v
Let u(f) = -60*f - 3. Let j be u(-2). Is j greater than 116?
True
Let a = 638 + -523. Which is smaller: a or 117?
a
Let m(x) = -x + 8. Let t be m(3). Suppose 35 = t*u + 5. Let p be (-2)/u + 2/18. Which is smaller: 0.3 or p?
p
Let g(t) = -t**3 - 7*t**2 - 7*t - 3. Let y be g(-6). Let p(q) = 12*q + 2. Let i be p(y). Let b be (-2)/8 - i/(-56). Is b at least -1?
True
Let b = 530.5 + -535. Which is greater: 6/11 or b?
6/11
Let c be (5 - 6) + 7 + 0. Let k = 917 - 4562/5. Is c < k?
False
Let n = 15 + -36. Let w = -44 - n. Let z = w + 21. Which is smaller: z or -3?
-3
Let b = 51 + -1625/32. Let t = -1/96 + b. Is t > 1?
False
Let u = -317 + 607. Suppose -4*w + u = -5*r - 208, 4*r - w + 394 = 0. Let d be (-3*1)/(21/r). Which is greater: d or 13?
d
Let y = 31 - 23. Suppose -7*k - 14 = -y*k. Does 14 = k?
True
Let y(v) = -v - 2. Let w be y(-3). Let f(z) = -3*z. Let m be f(1). Let s be m/(-1)*8/88. Which is smaller: s or w?
s
Let y be 1*(-3)/(-9)*9. Suppose 5*w + 79 + 836 = 3*z, 3*w + 555 = y*z. Let i = w - -2338/13. Is -1 smaller than i?
True
Let x = -1280 - -1805. Which is smaller: x or 523?
523
Suppose 2*j - 4*q + 1 + 3 = 0, -3*q = -2*j - 3. Suppose j*f = f. Is f smaller than -1/55?
False
Let a = -56 + 92. Let i be (-7)/(70/a) - -4. Is 1 at most i?
False
Suppose -24*v - 1395 = 21*v. Which is greater: v or -129/4?
v
Let b(f) = 4*f**3 - f + 6. Let u(n) = n**3 + 1. Let h(v) = -b(v) + 5*u(v). Let w be h(0). Which is greater: -4/57 or w?
-4/57
Let d = 74357/1760 + 3/1760. Is 41 greater than or equal to d?
False
Let q = 43 + -42.78. Let b = q + -0.02. Which is greater: b or 10?
10
Let k(g) = g**3 - 12*g**2 - 55*g - 10. Let a be k(8). Do -706 and a have different values?
False
Let f = 67 - 66. Is f at least 0.036?
True
Suppose 0 = 40*k - 52 - 68. Is k smaller than 3?
False
Suppose -7*y = -8*y + 33. Let k = 32 - y. Which is bigger: k or -4/7?
-4/7
Let l(w) = w**3 - 4*w + 6*w + 6*w + 9 - 2*w**3 - 6*w**2. Let y be l(-7). Which is greater: y or -2?
y
Let w(o) = 2*o - 1. Let j be w(1). Suppose -j - 64 = -5*y. Is 25/2 at most y?
True
Let v be (-2)/3 + 137/3 + -1. Let s = v - 52. Is -8 greater than s?
False
Let x = -3 - -3.08. Suppose -9*a = 85 + 194. Let o = a + 30. Is o at least as big as x?
False
Suppose 5*c - 10 = 5*o, 4*c + 0*o = 3*o + 5. Which is smaller: -10/109 or c?
c
Let b = -670 - -671. Is b bigger than -1/332?
True
Let v = -0.076 - 23.924. Are -11 and v non-equal?
True
Let y = -53/82 + 23953/902. Which is smaller: 26 or y?
y
Let k(h) = -2*h**2 - 11*h - 15. Let f be k(-7). Is f bigger than -34?
False
Let b(m) = 14*m + 22. Let o be b(-10). Is o at most as big as -121?
False
Let b = -5 + 10. Let h(l) = -1 - b*l + 6 - 1 + 0 + l**2. Let k be h(3). Which is smaller: k or -3?
-3
Suppose 0 = -d + 5*i + 29, -8*i + 12*i = 3*d - 32. Let c be (-4 - -2) + -3 + d. Is -6/17 < c?
False
Let c = -2788/15 - -186. Let o = -36 - -35. Let r be 24/(-12) + (1 - o). Which is smaller: r or c?
r
Let g = -1188 - -1188. Which is smaller: g or -0.0656?
-0.0656
Let v(h) = -3*h**2 - 3*h - 3. Let j be v(-3). Let p be j/(-45)*(0 + 3). Let b be (-9 + 82/10)*(-10)/4. Which is greater: b or p?
b
Suppose -n + 5*n = -5*v + 142, -5*v + 2*n + 154 = 0. Let r be (3*3/(-282))/(v/40). Do r and -1 have the same value?
False
Suppose 147*q + 41 = -106. Which is greater: q or -19/105?
-19/105
Let k(d) = d**2 - 4*d - 1. Let o be k(0). Let z be ((-4)/(-301))/((-12)/(-14)). Is o at least as big as z?
False
Suppose -5*g = 4*c + 513, 0 = 3*g - 0*g + 3*c + 309. Is -101 at least g?
True
Let p = -865 + 867. Is p equal to -89?
False
Let i = 443 + -497. Is i bigger than -56?
True
Let r = 0.259 - -0.141. Is r smaller than 9?
True
Let u = -0.598 - -0.448. Are u and 0.06 equal?
False
Let q be -15 - -13 - (-23516)/(-22). Let a = 1072 + q. Is 0 < a?
True
Let d = -636 - -20349/32. Which is smaller: d or -0.1?
-0.1
Let l(t) = 2*t**2 + 24*t - 7. Let a(n) = -13*n**3 + n**2 + 2*n - 2. Let v be a(1). Let g be l(v). Which is greater: -2 or g?
-2
Let i = 0.491 + -0.951. Which is smaller: i or 7?
i
Let s be ((-21)/(-7))/((-6)/4). Let d be (-5)/((-30)/9)*2. Is s > d?
False
Let n = -23 + 36. Suppose -2*l + 4*k + 3 = n, -4 = l - 3*k. Suppose 5*r - 5 = 3*z, 2*z - 5*r + r + 2 = 0. Which is greater: l or z?
z
Let b(f) = -2*f**3 + f**2 + f + 1. Let u be b(-1). Let t(a) = 0*a**2 + 4*a**2 - u*a - 5*a**2 - a + 12. Let x be t(-5). Which is greater: x or 6?
x
Let h(n) = -n**3 + 11*n**2 - 9*n - 6. Let g be h(10). Suppose -3*v = -p - 6 + g, 3*p = 4*v - 11. Which is smaller: v or -2/113?
v
Let w be 18 + (-1 - 3/3). Let p = 16 - w. Is -2/175 smaller than p?
True
Let n be (-15)/8*(7 - 425). Let b = n - 780. Let q(f) = 2*f - 12. Let z be q(8). Are b and z non-equal?
True
Let k be (-2 + 0)*75/6. Let f = -25 - k. Suppose -v + 4*v + 9 = f. Which is bigger: v or -1?
-1
Suppose -27*a = a + 21*a. Which is bigger: 2/593 or a?
2/593
Let f(s) = s**3 + 9*s**2 - 10*s + 4. Let w be f(-10). Let c be (-416)/(-112) - w/(-14)*1. Which is smaller: c or 2?
2
Let z be ((-165)/315)/(10/35). Suppose 4*x + 3 = -v + 4, 3*v = -5*x - 4. Is v at most as big as z?
True
Suppose -7 = 4*s - b + 6*b, -9 = -3*s + b. Suppose 0 = s*z - 4 - 6, 20 = 3*l + 4*z. Let w = l + 0. Which is smaller: w or 1