 + 0.051. Let k = 0.47 + -0.28. Which is bigger: k or w?
w
Let k = -17504/651 - -149/93. Let u = -4 - 21. Which is bigger: k or u?
u
Let x(v) = v**3 + 6*v**2 + 2*v - 16. Let d be x(-7). Let u = -75 - d. Let t be (-2)/3*(-1 + u). Which is bigger: t or -3?
t
Let d(o) = 4*o - 4. Suppose -5*n - 2 - 3 = 3*h, 5*h + 19 = -3*n. Let t be d(n). Suppose 10 = -t*r + 2*v, 10*v - 6*v = 2*r + 14. Is r bigger than 4/11?
False
Let z = 121 + -120. Suppose -10*i + 190 = -15*i. Let b be (-14)/(-7)*3/i. Which is smaller: b or z?
b
Let c be (4/3)/(11/((-99)/(-6))). Let m be 12 - 7 - 706/2. Are m and c equal?
False
Let u(x) = -5*x - 23. Let g be u(-5). Let s(m) = 14*m + 6*m**g - 3 - 11 + 6*m**2 + 4*m**2 + m**3. Let i be s(-15). Which is bigger: -3/11 or i?
i
Let l be 252/(-546) - (-567)/(-39). Suppose z + z = -42. Is l > z?
True
Let n be 308/(-26) + (-6)/39. Let b be (-285)/(3*-2*(-3)/n). Suppose 4*c + 114 = -b. Is -77 equal to c?
False
Let l be 0 + -3 + (-7 - -7). Let n be 20/(-8)*((-51)/15 - l). Which is smaller: 83 or n?
n
Let w = 4936/9 + -1646/3. Is w < 219?
True
Let p(o) = 7*o**2 - 44*o - 97. Let x be p(8). Which is smaller: x or -18/133?
x
Suppose -124*g + 1446 = -1158. Is g != -55?
True
Suppose 4*o - 20 = -4*a, -o + 3 = -a - 0*a. Suppose o*t + 208 - 844 = 0. Suppose -3*q - 5*x = 103, 5*q + 2*x + t = -0*q. Do 1/4 and q have different values?
True
Let n(t) = 54*t + 81. Let v be n(10). Suppose 0 = 7*a - 628 + v. Is 1/78 > a?
False
Let o(k) = k**3 + 21*k**2 + 3*k. Let u be o(-17). Suppose -u = 4*j - 17*j. Suppose 0 = -5*v + q - 105, v + q - j = 5*v. Which is smaller: -18 or v?
v
Let p = 91 - 11. Let b be (-6)/5 + 96/p. Do -4/47 and b have the same value?
False
Let v be 3 + (-2 - 1) + -2 + 4. Let h be (1/v)/((-2)/4). Let g be 9/(-78)*(-8)/(-6). Which is smaller: h or g?
h
Suppose -15*k + 13*k = 0. Let l be 2/((-2636)/(-3950)) + -5 + 2. Is k at most l?
False
Let u(s) = -35*s - 1188. Let y be u(-43). Which is bigger: 315 or y?
y
Suppose 123 = -598*i + 599*i. Which is smaller: i or 107?
107
Suppose -8 + 7 = -d. Let j = -390 - -753/2. Let k = j + 1157/86. Which is smaller: k or d?
k
Let c = -9/35 + -1/7. Let f = c - -4/5. Let v = 177 - 177.35. Which is smaller: f or v?
v
Let i be -4*(1 + (-3)/2). Let u be i/(-88)*(-8)/(-3). Let q(t) = 2*t**3 + 28*t**2 + 74*t + 23. Let c be q(-3). Which is greater: c or u?
u
Let n = 0.8015 + -0.46. Let a = n - 0.0415. Which is smaller: -1/47 or a?
-1/47
Let q(i) = i - 6. Suppose -3*l + 110 - 314 = 0. Let t be (-2)/(-4) - 0 - 510/l. Let x be q(t). Which is smaller: x or -0.5?
-0.5
Let q be (19270/(-369))/((-8)/(-6))*1. Which is greater: q or 1?
1
Let t = -4917421/60 - -81961. Let o = t + -4. Is o at most as big as 0?
True
Let n = 0.8 - 1. Let t = -15.289 + -1.711. Which is smaller: n or t?
t
Let q = -2.5 - -2.497. Let a = -8.097 - -8.1. Let v = q + a. Is 0.4 not equal to v?
True
Suppose -48*x - 18763 - 61152 = -23035. Which is bigger: -1 or x?
-1
Let z = -859 + 869. Let d be 3279/(-480) + 7 - 2/z. Let m be (-10)/(-14) + (-2)/(-7). Which is greater: m or d?
m
Suppose -3*f = -15, 3*t - t = -5*f + 363. Suppose 32*y - 19*y - t = 0. Which is smaller: y or 1/17?
1/17
Let f = -377 + 229. Let z = -146 - f. Is z >= -40?
True
Let m = 11 - -54. Let o be m/91 + 2/(-2). Which is bigger: o or -2/3?
o
Suppose -18*p + 4*p = 10*p - 9312. Is 381 greater than or equal to p?
False
Suppose -2*l = a - 1700, 4*a - 2387 = 3*l + 4424. Which is smaller: a or 1703?
a
Let b = -100.7 + 105.7. Is -0.043 less than b?
True
Let x = 617 + -281. Let i = -259 + x. Is 81 less than i?
False
Let r(t) = -t**3 - 7*t**2 + 5. Let y be r(-7). Let s be (-2)/y - 376/(-40). Suppose -5*o = -3*c - 53, 2*o - 2*c - 22 = -0*c. Are o and s unequal?
True
Let l = -349.732 - -350. Let q = 0.347 - l. Which is greater: 0 or q?
q
Suppose 0 = 5*o - 4*c - 17, -35 + 45 = 4*o - 2*c. Which is smaller: 38/135 or o?
38/135
Suppose -24 + 49 = 5*k, 2027 = 2*x - 5*k. Which is bigger: 1024 or x?
x
Let w(m) = -5*m + 9. Let b(q) = -q + 2. Let r(f) = 6*b(f) - w(f). Let v be r(2). Let y be (-120)/(-30)*((-27)/(-20) - v). Are 2 and y unequal?
True
Let t be 28*((-178)/(-4) + (39 - 47)). Which is bigger: t or 1026?
1026
Suppose 5*n - 8 = -2*w, 1 = -w - 2*w - n. Suppose -r = -147 + 210. Let d be ((-4)/3)/(r/(-27) - 3). Which is bigger: w or d?
d
Let i be (-2)/9 - (1 - -108)*(-96)/432. Which is smaller: -24 or i?
-24
Suppose 170*p + 1970377 = -58*p + 698137. Which is greater: p or -5581?
p
Let w(u) be the third derivative of u**6/120 + u**5/10 - 5*u**3/6 + 8*u**2. Suppose -s + 2*o + 6 = -o, -3*s - 10 = -2*o. Let r be w(s). Are -3 and r equal?
False
Let q = -192 + 189. Let u be ((-1)/q)/(6/(-90)). Which is smaller: u or -8?
-8
Let n(w) = 10*w**2 + 1045*w + 526. Let m be n(-104). Which is smaller: 376/51 or m?
m
Let i be (-351384)/1716 + (-8 - 1) - 1. Do -215 and i have the same value?
False
Let c be 8355/(-455) + 6/21 + 5/65. Which is smaller: c or -134/7?
-134/7
Let q(i) = i**3 + 19*i**2 + 19*i - 16. Let j be q(-18). Let d be ((-17)/j)/(2/(-4)) + 2. Are 1/181 and d non-equal?
True
Suppose -2*x + 10 = 5*m, 0*m + 4*m - 10 = -2*x. Suppose 15 = 5*k + 5*d, -3*k + x + 0 = 5*d. Suppose -k = -p - 6. Which is smaller: p or -3/10?
p
Let j = -94 + 98. Suppose -7*k - 11 + j = 0. Is 1/6 less than k?
False
Let v = -9559 + 9661. Which is smaller: v or 105?
v
Let n(z) = z**3 + 5*z**2 - 4*z + 16. Let k be n(-6). Suppose 1 = -4*v - k*p - 7, 4*v + 14 = -p. Let g be (((-231)/14)/11)/(6/v). Are 3/4 and g equal?
False
Let m = 0.35 + -276.35. Let h = m - -276.048. Which is bigger: 2 or h?
2
Let w = -18817/23 + 818. Suppose -7*f - 2*f = -18. Suppose 4*x + 4 = 0, x = f*n - 3*x - 6. Are w and n equal?
False
Let z(a) = -2*a**3 + 7*a**2 + 3*a + 13. Let x be z(4). Let n be 96/x*(-54)/(-8) - 5. Which is greater: 66 or n?
n
Let i = -239.23 - -239.33. Which is smaller: 101/51 or i?
i
Let m = 12 + 27. Let y = 60 - m. Which is smaller: y or -3?
-3
Let h be 2541/35 + 4/10. Let l be -2*(146/(-3))/((-12)/(-9)). Is l <= h?
True
Let m = 9.8 - 9.721. Let v = 42.079 - m. Is 2/3 != v?
True
Let j be 2/(-84)*(-192)/(-64)*(-3)/(-49). Is j less than or equal to 1?
True
Let m = -26046 - -24350. Which is smaller: m or -0.08?
m
Let i(r) = -3*r - 20*r**3 + 19*r**2 - 2*r**2 + 10*r + 15*r**3. Let x be i(3). Which is greater: 41 or x?
41
Let p(y) = -y**2 + 6*y + 2. Let x be p(0). Suppose 0*u + 3*w = -x*u, -u = -w. Which is smaller: -34 or u?
-34
Let q = -12342.0306 + 12342. Do q and 8 have different values?
True
Suppose -430*a + 410*a = -20. Is 1/91 >= a?
False
Let y be 203/(-14)*(64/10 - 2). Which is bigger: y or 2/5?
2/5
Let m be ((-749898)/749901 + 1)*3. Let b = -234218659/34995380 - m. Let k = 27/4 + b. Do k and 0 have different values?
True
Let v = -25539/4 - -6385. Which is smaller: v or 2/9?
2/9
Suppose 0 = -q + 3*q + 14. Let u = q + 0. Suppose 26*y = 19*y - 56. Which is greater: u or y?
u
Suppose -2*r + 3*r = 158. Let n = -1420/9 + r. Is 75 smaller than n?
False
Let g = 5282.7827 + -5283. Which is bigger: 0 or g?
0
Suppose o - 2*o - 4 = -4*t, 2*t = -4*o + 2. Suppose -5*v - a - t = 0, v - 3*a = a - 17. Is v not equal to 3/58?
True
Let c = 842.589 + -843. Let k = -0.111 - c. Let s = -3 - -3.2. Which is smaller: k or s?
s
Let p(l) = l**3 - 6*l**2 - 18*l + 103. Let m be p(6). Let o be (-10)/(-15)*21/(-2). Is m at most o?
False
Let t = -1822 + 1827. Let x be 12/(-54) - (-58)/180. Which is bigger: t or x?
t
Let n be 4/14 - 942/14. Let g = 99 + -43. Let v = g + n. Which is bigger: 2 or v?
2
Let h = -301751/3564 - 1/3564. Let o = h - -82. Suppose 24*j - 12 + 60 = 0. Which is smaller: j or o?
o
Let q be 2 - 6/(-6)*-202. Let f = q + 170. Let o be 3 + -3 + 2/8. Which is greater: f or o?
o
Suppose -10*l - 10*l = -580. Suppose -6*x = 7 + l. Which is smaller: -11 or x?
-11
Let k = 64.06 - 0.06. Let r = 7.353 - 7.553. Is r less than or equal to k?
True
Let g(y) be the first derivative of -19 + 5/3*y**3 - 1/4*y**4 - 12*y + 8*y**2. Let p be g(7). Is 2 less than p?
False
Let g be (535/50)/(1/(-7)). Is g not equal to -76?
True
Let o(c) = -c**3 - 8*c**2 - 2*c - 17. Let w be o(-8). Let f(m) = -26*m**3 + m**2. Let j be f(w). Do 53/2 and j have the same value?
False
Let q be (7/(-2))/(-1)*(-7802)/1245. Which is greater: q or -22?
q
Suppose 2 - 9 = j. Let m(p) = -2*p**3 - 11*