is bigger: -191/9 or m?
m
Suppose -16*c + 25*c = -19*c. Suppose -2*m + 113 - 55 = c. Let t be 9/((2 - 0)/6). Are m and t nonequal?
True
Let f be 2/((-4)/(-6))*2/(-18). Let a be 72 + (-1 + 1 - -6). Does a = f?
False
Let y = 1125.2 - 1145.2. Is -0.065 > y?
True
Let u = 597.6 + -602.67. Which is smaller: u or -4?
u
Suppose 24*y - 8078 = -1742. Which is smaller: y or 249?
249
Let o be (-1286)/((5 - 3)*48/(-480)). Is 6430 greater than o?
False
Suppose 289*n - 13192 = 293*n + 4*j, -13196 = 4*n + 2*j. Which is greater: -3299 or n?
-3299
Let w = -410 - -427. Let k(h) = 16*h**2 - 2*h + 2. Let y be k(1). Is y equal to w?
False
Let d(l) = l**3 + 2*l**2 - 4*l - 3. Let b be d(-3). Suppose b = -4*f + 22 - 2. Suppose f*i - 8 = 9*i. Is 1 bigger than i?
True
Let t be (-2)/(-6) - 94435/165. Which is smaller: t or -573?
-573
Let f be 8/10*(-380)/(-57). Let c = -53 - -53. Let p be (72/(-16) - -4) + 1 + c. Are p and f equal?
False
Let b(c) = c + 1. Let o be b(0). Suppose 4*m + 14 = -5*v, -v + 2*m = -m - o. Let r = -3846 - -3845. Which is smaller: r or v?
v
Suppose h + 20 = -4*n, 2*h - 5*n - 25 = 6*h. Let w be (2 - h)*(-63)/(-14). Is 7 < w?
True
Let g be (-3)/13*(-9 + (-2212)/(-238)). Is g bigger than -1?
True
Suppose 6 - 2 = -3*c - 2*m, m + 9 = 2*c. Suppose 2 + c = j. Let s be (-2 + j)*(-2)/(-4). Which is greater: 2/251 or s?
s
Let t be 8/10 + (176184/36)/(5/4). Is t at least as big as -1/4?
True
Let s = 28/13 + 42/65. Suppose 0 = -m - 4*o + 26, -5*o + 52 = 5*m + 2*o. Which is smaller: m or s?
m
Let y be 8/(-44) - 22383/11. Which is smaller: -2033 or y?
y
Let o = 152.86 - 160.86. Let s = -26.6 + 3.6. Is s at least o?
False
Let q be 32/2*17/68. Let r = -7 - -13. Suppose 0 = -c + r*c + q*c. Is c not equal to 5?
True
Let r be 2462/18 + 60/270. Suppose -r*u = -133*u + 4. Let m = 77.9 + -73. Is m at least as big as u?
True
Let q(h) = h + 10. Let f be q(-7). Let v = f - 3. Let z be 6 - (5777/1090 + 2/(-4)). Which is greater: v or z?
z
Suppose -2*o = -4*w - 494, -2*w - 58 - 192 = -4*o. Let m be -111 + (-16 - (-6 + 0)). Is w less than m?
True
Let l be (-144)/(-60) - 6/(-10). Let h be 8/(-128)*(-1 - 20/(-1)). Let w = 123/112 - h. Are l and w nonequal?
True
Suppose -82*b - 619 + 453 = 900. Is -15 greater than b?
False
Let w(f) = -366*f - 1048. Let b be w(-2). Is -315 less than or equal to b?
False
Let x = -9 - -7. Let r(f) = -5*f - 8. Let u be r(x). Suppose -5*y + 31 = -2*y + 5*a, -21 = -u*y - 3*a. Is 23/2 != y?
True
Let x = 0.02 - -114.98. Let f = x - 115. Which is smaller: f or -39?
-39
Suppose -8 = 19*p - 84. Suppose -18 = p*u - 7*u. Is 10 greater than or equal to u?
True
Suppose 0 = -13*d + 335 - 5418. Is -389 < d?
False
Suppose -902*l + 895*l + 147 = 0. Suppose 21 = 3*d - 0*d. Let j = d - -13. Which is bigger: j or l?
l
Suppose 55*x - 244636 + 21064 = -38*x. Is 2404 greater than or equal to x?
True
Let p = -774.95 - -775. Let l = 49 + -49.05. Which is smaller: p or l?
l
Let z = -669 - -216. Let a = z + 447. Are -0.5 and a equal?
False
Let b(n) = -216*n + 22. Suppose -67*j + 99 = -34*j. Let g be b(j). Does -627 = g?
False
Let r be (-7)/(-21)*-39 + 1 + -2. Let u be 5 - 8 - 1*-29. Suppose -u*y + 23*y = 51. Is r < y?
False
Let m(t) = -2*t**3 - 4*t**2 + t - 3. Let h be m(-5). Let w = 163 - h. Is w bigger than 21?
False
Suppose -1021*b - 287 = -1020*b + 2*z, -4*b - 1148 = -5*z. Is -287 > b?
False
Suppose -a = -3*l - 16170, -5*a - 5210 = l + 196. Is l at least as big as -5391?
True
Suppose -23*r = 65*r - 57816. Is 657 smaller than r?
False
Suppose -2*a + 14 = 0, -a + 8595 + 62 = -2*c. Is -4327 at most as big as c?
True
Let h be 6/(-52)*(316/33)/2. Let l = h - -12/11. Let o(g) = 2*g + 6. Let i be o(-2). Which is smaller: l or i?
l
Let u be ((-1)/((-7)/(-987)))/((-1)/((-112)/6)). Which is smaller: u or -2635?
-2635
Let a = 21493/3 - 7331. Which is smaller: a or -167?
-167
Suppose -2*b + 6 = 3*b - 4*c, -5*b - 2*c + 12 = 0. Suppose 2*m - 806 + 266 = 2*y, -b*m + 530 = 3*y. Do 267 and m have different values?
True
Suppose o - 2112 = -2*w, 0 = -3*w + 4*o - 276 + 3422. Is 1053 at most w?
True
Suppose 2*s + 2*u = 10008 - 3596, s + 3*u - 3212 = 0. Is s less than 3203?
False
Let k(j) be the second derivative of -j**4/12 + 35*j**3/6 + 177*j**2/2 - 3*j + 10. Let f be k(35). Which is bigger: f or 178?
178
Let g(i) = -163*i**3 - 2*i**2 - i. Let c be g(-1). Suppose -66 = 3*v + c. Let a = v + 61. Which is smaller: 1 or a?
a
Let h be (-4)/(-30) - (-272)/(-690). Suppose -7*b + 0 + 7 = 0. Are h and b equal?
False
Let s = -4323 + 30300/7. Which is greater: 5 or s?
s
Let v be ((-6)/9)/(2/(-60)). Let p = -922 + 2825/3. Let d = p - v. Which is smaller: 5 or d?
d
Let x(q) = 2*q**2 - 127*q - 398. Let w be x(71). Which is greater: w or 665?
w
Let z = 72 - -144. Let k = z - -24. Is k greater than 0.2?
True
Suppose 4462 = -4*w - 4*u - 1618, 0 = -5*w + 5*u - 7640. Let q be w/(-3785)*-1 + 34/85. Which is smaller: q or -1?
-1
Let a = 77 + -96. Let n(i) = -i**2 - 21*i - 34. Let b be n(a). Suppose 3*r - 96 = 3*c, -5*c = 4*r - b*c - 123. Is 30 at most r?
True
Suppose -156*l + 56 = -54 - 46. Is -4/285 at most as big as l?
True
Let r = 730 + -1135. Is r bigger than -414?
True
Suppose 136 = -9*j + 208. Suppose 24 = 3*v + v. Suppose -4*n = -v*n - j. Do -5 and n have different values?
True
Let w(u) = 20*u**2. Let g be w(2). Suppose -z - 4*k + g = z, -4*z + k = -196. Suppose -2*d + z = 18. Is d != 15?
False
Let m = 4 + 12. Let i = 8 - m. Which is smaller: i or -7?
i
Let z be (-4)/(-14) - -9*(-184)/308. Let j = -190/33 - z. Let o = -6 + -5. Is j > o?
True
Let i be (65/39)/(2/18). Let v = i + -101. Which is smaller: 0 or v?
v
Let a be 1 - (2 + -1) - (-19736)/12. Let y = -143338/87 + a. Let h = y - -6862/2349. Which is smaller: h or -1?
-1
Let p be 77/28 + 3/(-4) + 1. Suppose p = 3*o - 12. Suppose -o*y + 3*y = 0. Which is bigger: y or -3/4?
y
Let n = -1.51 - -0.91. Let t = -1341/63802 - 1/1387. Which is bigger: n or t?
t
Let b(k) = -3*k**3 + 23 + 4*k**2 - 13 + 9*k**3 - 7*k**3 + k. Let l = 6 - 1. Let c be b(l). Which is smaller: c or 4?
c
Let r = 1194 + -1616. Which is smaller: -424 or r?
-424
Let n = -17.48 - 12.52. Let m(f) = -7*f**2 + 10*f + 11. Let q(h) = -6*h**2 + 9*h + 10. Let y(b) = -5*m(b) + 6*q(b). Let o be y(5). Which is smaller: n or o?
n
Suppose 0 = 99*h + 5812 + 338 + 87. Which is smaller: h or -66?
-66
Suppose 5*p + l - 18 = -9, 0 = 2*p + 5*l - 22. Which is smaller: p or -13/925?
-13/925
Let n be ((-58812)/37120)/((-3)/5). Which is greater: 2 or n?
n
Let c = 304225/21182 - 8/1513. Are 13 and c non-equal?
True
Let b(r) = 127*r - 82. Let x be b(1). Let f be ((-180)/(-27))/(2/15). Is x < f?
True
Suppose -18590 = -56*t + t. Is t bigger than 338?
False
Suppose -9 = 108*g - 111*g. Suppose 8 + 2 = g*w + 4*o, 0 = -4*w + 4*o + 4. Is w equal to 4?
False
Suppose 131*p - 130*p = 3. Let c be p*3/54 + (-1505)/30. Let i = c - -93. Which is bigger: 42 or i?
i
Let y(t) = -12*t + 22*t - 8*t - 101 - 5*t. Let h be y(-21). Is h smaller than -39?
False
Let j = -2560/3 + 1825313/2139. Which is greater: 0 or j?
j
Let n(v) be the first derivative of v**4/4 + 11*v**3/3 + 6*v**2 + 11*v - 18. Let r be n(-9). Suppose -1 = 3*x + 3*u + 8, -3*x = u + 3. Which is smaller: r or x?
x
Let u = 831652/143 + -5816. Is 3/7 at least u?
True
Let q = 27067 - 214669/8. Which is bigger: q or 232?
q
Let b(o) = 2*o**2 + 18*o + 9. Let i(x) be the third derivative of -7*x**4/24 + 5*x**3/6 + 26*x**2. Let j be i(2). Let p be b(j). Is p at most as big as 14?
True
Let p = -19240 - -19240.3. Which is bigger: p or 1/2697?
p
Let l = 220 - 96. Suppose -m - l = -73. Which is smaller: m or 1/2?
m
Suppose 5*f + y = -20, -6331 + 6336 = -2*f - y. Let o = 8 + -14. Do o and f have different values?
True
Let o be (-2)/(-49)*((-136)/8)/(-17). Suppose s = -9*q + 4*q + 10, 0 = 5*s - 25. Which is smaller: o or q?
o
Suppose -18 = -4*u + 5*a, 97*u - 42 = 105*u + 3*a. Let b(i) = -i**2 + 2*i + 4. Let l be b(4). Which is bigger: u or l?
u
Let g = 941/24 + -43/3. Are g and 24 nonequal?
True
Let h = 331.0288 - 331. Let k = -136.0288 + h. Which is smaller: k or -2?
k
Let l(i) = -46*i**3 + 2*i**2 + 7*i - 66. Let b be l(4). Which is bigger: b or -2949?
-2949
Let t = 87 + -85. Suppose -4*i = -4*n, -i + 4*n + t = i. Let p = 217/1672 + 1/152. Is i >= p?
False
Let l = 5/6 + -1/2. Le