ose 0 = -0*s + 7*s + 21. Let i be (-2)/(-9 + (-12)/s). Let u be 1007/247 + -1 + -3. Do i and u have different values?
True
Suppose 96*j + 228 = 93*j. Let v = j - -69. Let s be (7/(-4))/(2/8). Are s and v equal?
True
Let i be (((-5)/35)/(24/(-112)))/((-4)/54). Which is smaller: -96/11 or i?
i
Suppose 9*z - 2*z - 11895 = -8*z. Is 785 at most z?
True
Let s(l) = -4*l - 1 + 1. Let j be s(10). Let i = 7209 + -7250. Is i equal to j?
False
Let z = 22568 - 22565. Is 13 < z?
False
Suppose 0 = 11*a + 27*a - 228. Suppose a*p - 7*p = -1. Which is greater: p or -4/475?
p
Suppose 2*m = 4*m - 30. Suppose 0 = 3*r + m - 12. Is r <= 2?
True
Let f be (-28)/4 - (9 - (-450)/(-27)). Let a be 6/10 - (-83)/(-180). Which is smaller: a or f?
a
Let d = -4/219 - -2864/108843. Which is smaller: d or -1?
-1
Let m be 784/245 - (-1)/(-5). Suppose 0 = 5*t - m*s + 1, -7*t + 12*t = -4*s + 13. Are -80 and t unequal?
True
Let s(p) = -17*p - 197. Let z be s(-12). Which is greater: z or 194/23?
194/23
Let t be 1/(-4) - 75/20. Let x be 0 + (t - 14/(-3)). Let v = 15 + -15.1. Which is bigger: x or v?
x
Suppose -2*x + 44 = -6. Let h(t) = 8*t**2 + 778*t + 5738. Let b be h(-8). Which is smaller: x or b?
x
Let i = 21 + -34. Let g be 3 - (15/17 + 38/323). Suppose -g*n + 15 = -t, 3*t + 4*n - n = -36. Are t and i equal?
True
Let d = 3796 - 4046. Is -250 >= d?
True
Let t(w) = -10*w + 10. Let v be t(-12). Let p = 525/4 - v. Let f = -223 - -225. Is p greater than or equal to f?
False
Let i(o) = 2*o**3 + 2*o**2 - 6*o - 3. Let g be i(-3). Let v be (19 + g)/((-2)/76). Let x be 21/35 - v/10. Is -9 > x?
False
Suppose 5*i = 4*a + 103, -5*i + 100 = -6*a + a. Which is smaller: -14 or i?
-14
Suppose -15*y - 127 - 4178 = 0. Let k = y - -348. Which is smaller: k or 0.1?
0.1
Let n be 6/39 + 4751959/(-1209). Which is smaller: n or -3931?
-3931
Suppose k = 28 - 52. Suppose 920 = -25*h - 21*h. Which is greater: h or k?
h
Let z be (1 + 3/(-2))/((-17)/442). Suppose -518 = 3*f - 15*r + z*r, -4*f + 5*r - 693 = 0. Is f greater than or equal to -172?
True
Suppose 7*y - 73 = -31. Let r be (-5 - 6/y) + 6. Are 1/208 and r non-equal?
True
Let d(b) = 209*b**2 - 3*b - 5. Let o be d(-2). Suppose -6*i + 15*i - o = 0. Is i less than 95?
True
Suppose 2*m + 2*t = 12, 0*t = -m + 5*t - 12. Let u be m*2/2 - -2. Suppose -1 = -5*i + 4*x + 17, 5*x - 15 = 0. Is i > u?
True
Let b(k) = k**3 - 6*k**2 - 3*k + 10. Let h be b(7). Let u = -18987/77 - -2435/7. Let l = -2110/33 + u. Is h < l?
False
Let i(y) = 46*y**3 + 6*y**2 + 48*y - 82. Let b be i(7). Which is bigger: b or 16327?
16327
Suppose 15*x - 45 = 12*x. Suppose x*p = 7*p. Let y be (p + 1)*(2 + -6 + 2). Which is bigger: y or -18/11?
-18/11
Suppose 0*k - 24 = -3*k. Let d = -18863 - -18864. Which is bigger: d or k?
k
Let q = -32677 + 2532. Let y = q + 211458/7. Let s = y - 63. Which is smaller: 29 or s?
s
Let p be 48/(-26)*-1*25/4. Let g = p - 2361/208. Let k = g - -11/368. Is k <= 1?
True
Let z = 92518/25 - 3701. Which is smaller: -0.1 or z?
z
Let p be 54/(-8) + 8 - (-1)/(-4). Let r(j) = 56*j + 18. Let l be r(p). Is l != 77?
True
Let a = -274874/13 + 21144. Suppose 0 = 2*c - 5*c + 3. Which is bigger: a or c?
c
Let b be (2 + 3)/(2/2). Suppose -b*i + 18 = -2*a, 0 = 5*a - 6*i + i + 15. Let p = 50663/8 + -6333. Which is greater: a or p?
a
Let k = 0 - 4. Let o = -5555/3 - -1829. Let j = o - -23. Which is smaller: k or j?
k
Suppose 9*j - 37 + 82 = 0. Let c be 284/10 + 14/175*j. Which is greater: 26 or c?
c
Let a(i) = i**2 - 7*i + 6. Let c be a(6). Let r = -35 + 53. Let d be (-8)/7*3/r. Is d less than c?
True
Suppose -x + 11 = -3*l + x, 0 = 2*l - x + 7. Let u be -5 - ((-12)/l - 8). Which is greater: -1/174 or u?
-1/174
Let k be (-4)/3*3 - -6. Suppose -j - k*r + 33 = 0, -88 = -3*j - 5*r + 10*r. Is j < 31?
False
Let x = -47108/15 - -3144. Let p = -0.7 - -0.5. Which is smaller: x or p?
p
Let p be 2*2/18 - (-228)/(-1026). Suppose p = 4*b - 62 + 154. Do b and -17 have the same value?
False
Let h be (12/2016*36)/(3/(-6)). Suppose 6*j = 2*l + 4*j + 14, l = -j + 1. Let v be ((-18)/27)/((-2)/l). Which is greater: h or v?
h
Let r = -792 + 188. Let o = -604.4 - r. Is -45 equal to o?
False
Suppose -h - 3*a = 13, -49*a + 50*a = -2*h - 16. Is 66 less than or equal to h?
False
Let w = 2 + 3. Let n be ((-12)/(-20)*5)/((-18)/(-132)). Suppose -2*m - i - n = -w*i, 0 = -5*m + i - 10. Are m and -7/4 nonequal?
True
Let l be 4/56 + 1866/84 + 7. Is l >= 2/7?
True
Let n = 283669/733 - 387. Which is smaller: n or 0?
n
Suppose -17 + 8 = -17*s + 14*s. Is s equal to 237?
False
Let h = 0.059 - 0.083. Let d = -13.024 - h. Let m = d - -1. Is m greater than 3/5?
False
Let u(a) = 5*a - 41. Let g be (-44)/(-6) - 16/(-24). Let o be u(g). Let i be (-35)/(-49)*((-26)/10 + o). Which is greater: -2 or i?
-2
Suppose 10*y + 19063 - 4533 = 0. Let d = -91541/63 - y. Let h be ((1 - 1)/(-1))/(-2). Is h at most as big as d?
False
Let n be (-1964)/(-660) - (1 + 2). Let p(h) = 9*h**2 + 6*h - 289. Let g be p(-6). Which is smaller: n or g?
g
Let v = -5 + 5. Let j be 22*4/992*4. Let w = -103/465 + j. Is w less than or equal to v?
False
Let p = 229 - 497. Let s = 268.1 + p. Suppose 3*r + h = 55, 4*r = 4*h + 51 + 49. Which is bigger: s or r?
r
Let i = -67997423/3945241 + 2/232073. Which is smaller: i or -17?
i
Suppose -48*j + 53*j = -3*x - 487, 0 = 5*j - 5*x + 455. Do -1/19 and j have different values?
True
Let g(w) = -w + 6. Let t be g(10). Let a(y) = -11*y - 3. Let v be a(t). Suppose v*s - 36*s = 45. Which is greater: 10 or s?
10
Let c be 10*5/(-175) - (-474)/28. Is c smaller than 16?
False
Let a = 412/19 + -1312/57. Let y = -27.8 - -31.82. Let o = -4 + y. Which is greater: o or a?
o
Suppose -416 = 2*c - c. Let m be 23/(253/(-4598)) + (-15)/(-5). Is c < m?
True
Let s = 246 + -226. Suppose -2*a - 329 - 34 = -5*x, -s = -4*x. Which is greater: a or -168?
-168
Let b(a) = -a**3 + 2*a**2 + 7*a - 8. Let h(s) = s**3 - 8*s**2 + 10*s + 13. Let w be h(6). Let q be b(w). Which is bigger: -23/21 or q?
q
Let v = 54 + -25. Let h = -174 + 246. Suppose 5*q = -3*m + 151, q + h*m = 68*m + 37. Is q > v?
False
Suppose -2*s + 363 = -3*l + 8*l, -16 = -4*s. Let t be (0 + -1)*(l - (3 + -5)). Is t < -76?
False
Let y(j) = j**2 + j - 9. Suppose 0 = -4*r + r + 9. Let o be y(r). Suppose o*q - 8 = 10. Which is smaller: 8 or q?
q
Let t(x) = 2*x - 15. Let m(g) = -2*g**2 - 33*g - 9. Let l be m(-16). Let s be t(l). Let j be 0 - (26/(-22) - s). Which is smaller: -12 or j?
-12
Let s = -15 + 16. Let p be 0/(-5) - (s - -1)*-1. Let l be (3 - -1)*p*2/16. Is 0 greater than l?
False
Let p = -289.96 + -5.04. Let u = p + 440. Let n = -76 + u. Which is bigger: n or 0.1?
n
Let w be 5*(1 + -2) - (13 + -18). Which is greater: w or -2/1421?
w
Let i(v) = v**3 - 7*v**2 + 3*v + 18. Let x be i(6). Let l be x + 6*(-44)/8. Let t = 32 + l. Is -2/11 bigger than t?
True
Let l be ((-15)/(-2))/(4053/75656). Suppose -5*g = 2*s - 283, -g - 274 = -2*s + 3*g. Is l not equal to s?
True
Suppose -3*k - 4 = -10. Let x = 9.2579 - 9.0839. Is k smaller than x?
False
Suppose 21*r = 2*d + 23*r + 8, 2 = -5*d + r. Which is smaller: 8/225 or d?
d
Let y = 104 + 91. Let g be ((-1)/25)/(26/y). Let f be 1 + 0 + 2*-1. Is f smaller than g?
True
Let n(a) = a**3 + 38*a**2 - 2*a - 79. Let j be n(-38). Let b be (7 + 1)*(-10)/24*j. Which is smaller: 2 or b?
2
Let b(p) = 4*p - 10. Let o be b(6). Let y = 16 - o. Let t be ((-12)/15)/y + 140/(-275). Which is greater: t or -1?
t
Let i = 7720 + -7721. Are i and -4/87 equal?
False
Let b = -150 + 140. Suppose v + 2*v = -3*a - 33, 0 = 4*v + 5*a + 49. Let m(t) = 2*t + 5. Let f be m(v). Which is greater: f or b?
f
Let p = -0.615 + 5.705. Let u = p + 143.91. Is 2/5 smaller than u?
True
Let s be (2/2)/((-2)/68). Suppose 7*q = -3*g + 5*q - 86, -3*g = 4*q + 88. Let y = g - s. Is y greater than or equal to 4?
True
Let u be (-20)/110 + (-24)/(-11). Suppose -u*h = f + 2*h + 10, 0 = -2*f + h + 25. Let g be (-4)/15*f/(-92). Which is greater: 0 or g?
g
Let d = 253 - 52. Which is greater: d or 195?
d
Let l(c) = -c**3 - 5*c**2 + c - 4. Let j be l(-4). Suppose -143*t - 3326 = 190*t + 4000. Are j and t equal?
False
Suppose -6246 = -3*p - 4*p + 5*i, 4*p - 3575 = -3*i. Which is smaller: 891 or p?
891
Suppose 0 = -10*n + 3*n - 189. Let y be ((-3)/(-6) - -1)/(n/(-36)). Let r be ((-210)/(-12) - 6) + 1/y