, -r*i + 10 = -0*k + 2*k. Suppose -3*m + 5 = q, -m - 3*q + 0 = -k. Is -11/13 less than or equal to m?
True
Let i = 121 + -113. Suppose 47 = -i*n + 31. Let w = -23 + 34. Which is greater: n or w?
w
Let j = 41145/44 - 935. Let z = j - 19/22. Let f = -86.7 + 86.9. Which is smaller: z or f?
z
Suppose -4*p - 49 = -9. Let k = -5 + p. Let u(y) = y**2 + 13*y - 7. Let n be u(k). Which is smaller: n or 21?
21
Suppose -r + 89*r = 617 + 439. Is -37 greater than or equal to r?
False
Suppose 20 = -3*q - 5*f, 3*f - 7 = -2*q + 4*q. Is q bigger than -159?
True
Let b(f) = f**2 - 5*f - 6. Let o be b(6). Let x = -4682/8463 - 22/1209. Is x at most o?
True
Suppose -3*z + 12 = -z. Let o be 5/(-20) - (-9)/z. Let t = 104 - 209/2. Is o smaller than t?
False
Let r = -7209/1378 + 137/26. Which is greater: r or 28?
28
Let s = -1064/4303 - 20/331. Do 368 and s have the same value?
False
Let a be (-666)/(-936)*44180/(-367226). Let x = -147/5923 + a. Let r = 7/31 + x. Is r >= -1?
True
Let a = -0.02209 - 243.97791. Are -11 and a nonequal?
True
Suppose -2*a + 6*a + 86 = 3*k, -68 = -4*k - 4*a. Let u = -22 + k. Suppose u = 3*w + 1 - 16, 2*w - 10 = 2*q. Is -2 smaller than q?
True
Let s(b) = -b**2 + 20*b + 27. Let h(m) = -m - 1. Let f(z) = -4*h(z) - s(z). Suppose y - 33 = -4*v, 5*y + 0*y - 69 = 4*v. Let u be f(y). Is u at least -6?
True
Let o(z) = -z**2 + 9*z + 35. Let m be o(12). Are m and -1/159 equal?
False
Let d = 35294 + -35186. Which is greater: d or 8?
d
Let o = -12433 + 5905668/475. Do 1 and o have different values?
True
Suppose -8 = -57*s + 61*s. Let c be (s + 7)*(5 + -6). Let i(k) = -k**2 + 7*k - 9. Let o be i(6). Are c and o equal?
False
Let a = -0.22574 - 15.77426. Is -462 bigger than a?
False
Let j = 19.15 - -97.9. Let m = 117 - j. Let f = 3 + -4. Is m > f?
True
Let q be (-10)/(4*(-1)/(-2)). Let g = q + 4. Let a be 7/((-210)/40)*(-2)/12. Are g and a nonequal?
True
Suppose -5900*d - 122000 = -5820*d. Is d <= -13720/9?
True
Suppose -71*s - 139692 = 13*s. Which is bigger: 2 or s?
2
Let z = -31232 - -30220. Is 12 at most z?
False
Suppose -15*x + 14 = -x. Let d(j) = -j**3 + j**2 + j - 6. Let h be d(0). Let q be ((-27)/90)/(h/(-8)). Which is bigger: x or q?
x
Let c be (9/(-6))/(1/(-206 - -4)). Let n = -277 + c. Is n greater than 19?
True
Let y(m) = -2*m**2 - 2*m**2 + 3*m**2 - m + m**3 + 0*m**3. Let s be y(-1). Let f be 1*s*(-2)/(-6). Which is greater: f or -2/161?
-2/161
Let a be (-2 - (-24)/15)*-10. Suppose -o = -a*o + 3. Let j be 9 + (-246)/(-108)*-4. Is o less than j?
False
Let v = -2/408631 - 794192/4713558585. Which is smaller: v or -1?
-1
Let y(n) = -10 + 21 - 9 - 15 - 4*n + 3*n**2. Let r be y(-4). Let s = -64 + 114. Is r less than or equal to s?
False
Let f(p) = 6*p - 111. Let a be ((-303)/(-21) - 0) + (-54)/126. Let u be f(a). Which is smaller: -85/3 or u?
-85/3
Let x = 630 - 655. Is x bigger than -253/10?
True
Let r be (1 - -2)*(99/48 - 2). Let m(w) = -2*w**3 - 2*w**2 - 4*w - 2. Let z be m(-2). Let a(h) = h**2 - 14*h + 1. Let n be a(z). Are n and r unequal?
True
Let r = 15701 - 15698. Is r > 480?
False
Let o = -24.525 - -6.225. Which is greater: o or -2/37?
-2/37
Let i be (-6*5/(-4))/((-30)/(-3400)). Do 852 and i have the same value?
False
Suppose 631 - 3901 - 2892 = -26*f. Are 207 and f nonequal?
True
Let h be 68/12*1*(-19535)/30. Let x = 3689 + h. Do x and -1 have the same value?
False
Suppose 195*d - 203*d + 80 = 0. Suppose 0 = 4*c + 5*f + 13, 0 = -3*c - 4*f - d. Which is smaller: c or -4?
-4
Let p(k) = -3*k - 57. Let u be p(-19). Suppose -2*h - b + 18 = -4*h, -4*h - 36 = -b. Let c be (1/3)/(4 + h). Does c = u?
False
Let l = -15.004 + 15. Let m = -12320.996 - -12285. Let k = l + m. Is k less than -2/3?
True
Suppose -4 = -64*o + 60*o. Let v be o*0*9/(-45). Which is bigger: v or 17/50?
17/50
Suppose 4*f + 2 = 2*t, 4*f + 10 = -2*t + 12. Is 17/31 < t?
True
Let s(v) = v**3 - 23*v**2 + 120*v + 30. Let f be s(15). Let n be 3 - 0 - (0 + 0). Let h be 5*n/f*2. Which is smaller: h or 3?
h
Suppose -3*g - 3045 = 5*x, 5*x = 4*g - 1782 - 1263. Let p = -559 - x. Which is smaller: -6 or p?
-6
Let k = -1638.79 - -1763.7216. Let f = -0.0684 - k. Which is greater: 2 or f?
2
Let n = -5596 - -5861.7. Which is greater: n or 2/5?
n
Let r = 4 - 1. Let v = 30592 + -122359/4. Is r at most v?
False
Let c = -722/5 - -152387/1055. Is -1 >= c?
False
Let j(i) = -98*i + 78 + 100*i - 20. Let b be j(-28). Is b less than or equal to -410?
False
Let s(r) = 6*r**2 + 89*r - 15. Let c be s(-15). Which is smaller: c or -1/253?
-1/253
Let a(r) = r**2 + 128*r + 1077. Let p be a(-9). Suppose 5*o - 2*u + 10 = 0, -u = -2*o - 0 - 4. Which is smaller: o or p?
o
Let v be -3 - (249/(-156) + 16/(-104)). Suppose -3*m = 7 - 4. Which is greater: m or v?
m
Let j be 11432/6 + (-10 - -7)/9. Suppose 0 = 5*w - j + 860. Is -1 != w?
True
Let j = -74 + 106. Suppose -28*s = -j*s + 20. Suppose -1 = -4*k + 5*k, 3*k - s = -2*v. Which is smaller: v or 9/2?
v
Let b = 5/31966 - -762599/29312822. Which is smaller: b or 0?
0
Let t(g) be the third derivative of -7*g**4/24 - g**3/2 - 5*g**2. Let h be t(-1). Suppose 2 = -h*q + 10. Which is smaller: 2/3 or q?
2/3
Suppose -434490 + 140317 = 88*v - 605*v. Does v = 574?
False
Let u = 279/4 + -70. Let c be 4/96*4 - 471/2502. Is c greater than or equal to u?
True
Let r = 249/2 - 14697/118. Let n be 17/((-2 + -1)/3). Let g = n + 16. Is r smaller than g?
False
Suppose 2*v - 2 = 0, -4*l + 4*v - 302 - 194 = 0. Let r = l - -167. Is r smaller than 46?
True
Suppose -14*d + m = 60941, 4*d + m + 15213 = -2200. Is d at most -4353?
True
Suppose 10*v = 5 + 5. Let m be 42/15 + (v - 4/5). Suppose m*x - z = -5, 2*z - 25 = -2*x - 3*z. Do -2 and x have the same value?
False
Let o(t) = -3*t - 74. Let c be o(-25). Let z = -3809098969/107864652992 + -6/9742111. Let b = 2/173 - z. Which is smaller: b or c?
b
Suppose l - 34 = -2*p - 216, l = -5*p - 458. Is p greater than -97?
True
Let i be (5/(-11))/(-3 - -1). Let t = -714 + 15711/22. Let j = i - t. Which is bigger: -1 or j?
j
Let s = 0.84 - 173.84. Let q = s - -232. Is -1/3 <= q?
True
Let p(y) = 6*y + 6. Let u be p(-4). Let j(l) = 5*l**2 - 22*l + 8. Let v be j(4). Let s = v - u. Which is smaller: 16 or s?
16
Let n = -36454/63 + 4052/7. Do -286.5 and n have different values?
True
Suppose 0 = -5*j, 48 = 4*x - 0*x - 4*j. Suppose 10 = 14*f - x*f. Suppose -3*c = -f + 11. Is c at least -2?
True
Suppose -33 = -9*x + 39. Suppose -48 = 4*m - x*m. Suppose -19*l + m = -17*l. Is 6 greater than l?
False
Let o = 1.56 + -2.086. Let s = o + 0.426. Which is greater: s or -104?
s
Suppose 0 = -5*g - 446 + 456. Let d be 4*g/(-55)*180/(-16). Let c(m) = 2*m. Let i be c(1). Which is smaller: d or i?
d
Suppose 0 = -14*r + 12*r + 8. Suppose -r*y + 86 + 30 = 0. Suppose -y = 7*m - 155. Is m bigger than 18?
False
Let u = 208 - 144. Let z be (-120)/u*2 + 4. Which is bigger: -48 or z?
z
Let k(b) = 19*b**2 + 7*b + 35. Let a be k(-7). Suppose a = 4*x + 973. Which is greater: x or -156/11?
x
Let g(u) = 2*u**2 - 28*u - 46. Let w be g(16). Suppose -5*l = 2*p - w, -l = -2*p - 28 + 22. Which is smaller: p or -4/65?
p
Let o = 3190 - 3189.8. Which is smaller: -57.2 or o?
-57.2
Suppose 3*x + 4 = -14. Let p = -17 - x. Let d = 10 + p. Which is bigger: d or 5/18?
5/18
Let x = 6450 + -6452. Let m = -34.8 + 32. Which is greater: x or m?
x
Let i(t) = t**2 + 45*t + 139. Let u be i(-41). Suppose 0*d = n + 3*d - 7, -d = 5*n + 7. Let g(b) = -6*b**2 + b + 3. Let c be g(n). Is u at least as big as c?
False
Suppose 193 + 167 = -15*l. Let y be (-3)/6 - 60/l. Is y greater than 0.098?
True
Let o = -19.22 + 2049.22. Let s = o + -2036.976. Let m = 0.024 - s. Is m at most as big as 1?
False
Let o = 4891/62 - 2430/31. Which is greater: o or 3.902?
3.902
Suppose 4*t = -5*m - 21, -4*t + 0*m - m = 1. Suppose -3*d + 5 + t = 0. Let y be 1*(-16)/(-12)*2. Which is bigger: d or y?
y
Let z(i) = i**3 - 34*i**2 - 112*i + 29. Let u be z(37). Let x be u/(-92)*(-6)/(-30)*-30. Which is greater: 1 or x?
1
Suppose 4 = -5*t + 24. Suppose -5*s + 2 = -2*c + 14, -5*s - 14 = -t*c. Which is bigger: 20/9 or c?
20/9
Let k be (-4)/8 + 570/(-24). Let h be -2*6/(4 - -8) - 23. Is h greater than k?
True
Let d = 22 - -84. Suppose -3*i - q + 6*q - 325 = 0, 0 = -3*i + q - 317. Let t = d + i. Which is smaller: t or 60?
t
Let g be (1 + 2)*((-46)/(-6