Which is smaller: v or -5755?
-5755
Suppose -55 - 49 = -8*i. Suppose 4*s - 29 = 5*v, -5 - 17 = -3*s + 4*v. Do s and i have different values?
True
Suppose 2*f - 3*w - w = 0, 0 = 3*f + w. Let i be (-4)/1 + (3 - 35/(-5)). Suppose f = -5*y + 14 + i. Is 0 <= y?
True
Let v = -19382 - -19382. Is 1/2041 less than or equal to v?
False
Suppose 3*c + 56 = -4*c. Let l be ((-3808)/12)/c*6/2. Suppose 3*m + 136 + l = 0. Is 0.1 at most m?
False
Suppose -o + w = -3, -6*w = 2*o - 4*w + 2. Let f = -21943/1677 + 170/13. Which is smaller: o or f?
f
Suppose 2*w + z - 9 = -4*z, 0 = 4*w - 2*z - 30. Let x(g) = 8*g - 1. Let v be x(1). Is w != v?
False
Let r(n) = 28*n**2 - 10*n - 4. Let v(u) = -29*u**2 + 9*u + 4. Let t(a) = 3*r(a) + 4*v(a). Let k be t(3). Let q be 5 - 9 - k/67. Which is bigger: q or 1?
1
Let d be ((-96)/84)/(6/(-21)). Suppose -d*c - 15 - 41 = 0. Which is smaller: c or -15?
-15
Let r be -1 + -3 + -10 + 23. Let z be 6*((-1)/(-2) - 1). Let m be -6*(z + 2)*r. Which is smaller: m or 55?
m
Let b(j) = -3*j + 3. Let u be b(-6). Let n be 12/(-14) - 1131462/(-1319598). Let c = n - -387496/17455. Is c > u?
True
Let s = -1085 - -246. Let u = s - -106552/127. Which is smaller: u or 0?
u
Suppose 0*q + 8*q = -3*q - 5929. Which is greater: q or -538?
-538
Let j be (-8)/(-356)*148/(-1036). Let b be 3/1*1 + -2. Is j < b?
True
Let o = 6917 + -104093/15. Is -23 > o?
False
Suppose 2*t + 94*p - 30 = 98*p, -4*p = 32. Is 5/651 != t?
True
Let j = -0.4 - -0.42. Let l(m) = -45*m**2 + 1002*m - 274. Let x be l(22). Which is greater: j or x?
j
Let v(s) = -s**3 - 6*s**2 + 8*s + 9. Let d be v(-7). Suppose -22 + 18 = -d*o. Suppose 0 = o*f + 4*h + 44, 0 = -2*f - 10*h + 5*h - 40. Which is bigger: f or -29?
-29
Let q(x) = -3*x - 137. Suppose -99*y + 93*y = 282. Let s be q(y). Let r be 2/8 + (-34)/200. Which is greater: s or r?
s
Let d be -1*(-10 + 0) + -13 - (-22)/8. Is d not equal to -11999?
True
Let w(s) = 2*s**3 - 23*s**2 + 106*s + 94. Let h be w(11). Which is greater: h or 1?
h
Let y(c) = -11*c**2 - 14*c - 11. Let d(b) = -9*b**2 - 14*b - 9. Let m(k) = 6*d(k) - 5*y(k). Let a be m(0). Which is smaller: a or -1/74?
-1/74
Let k = 740666 - 740714. Let l be ((-1 + -1)/(-4))/2. Which is smaller: k or l?
k
Let c = -57 - -60. Suppose o + c = 4. Suppose l - 2*l = -o. Which is smaller: l or 2/91?
2/91
Let a = 3600 + -3594. Let v be (1 - 2) + (-75)/(-9). Is a not equal to v?
True
Suppose 323*d + 28 = 327*d. Suppose 5*g + 4*k = -7, 6*g - d*g = 4*k + 11. Which is greater: g or -2/389?
g
Let x = -253 + 251. Let c be (-6)/(-2) - (3 + -2). Suppose 34 = 3*t - 0*t - n, 3*n - 8 = -c*t. Which is smaller: t or x?
x
Let n(b) = 555*b - 1940. Let x be n(3). Which is smaller: -278 or x?
-278
Let x(q) = -35*q - 1775. Let n be x(-66). Which is greater: n or 532?
n
Suppose 0*c - 4*c - q - 37 = 0, 5*q - 55 = 4*c. Let w be (((-108)/c)/(-6))/((-3)/10). Let l be (-32)/418 + w/33. Which is smaller: l or -1?
-1
Let m(n) = -n**2 + 21*n - 24. Let u be m(19). Suppose u = -54*t + 61*t. Let x be ((-18)/8)/(2/(-8)). Which is greater: x or t?
x
Let z be (-30)/(-2164)*7*26/(-273). Is z less than or equal to 0?
True
Suppose 5*b + 1574 - 1819 = -z, 3*b = -3*z + 135. Which is smaller: b or 75?
b
Suppose -11 = -9*b - 2. Let a be -2 + b - (-2)/((-88)/(-52)). Is -10 > a?
False
Let j(h) = 3*h - 18. Let g = -74 + 80. Let z be j(g). Let m be 15/(-27)*(6 + z). Is m less than -3?
True
Suppose 5*j = -4*d - 311, -2*d - 2*j = 3*d + 410. Let z = -85 - d. Is z equal to 3/14?
False
Let z be 308/(-630)*(-30)/282. Is -1 < z?
True
Let h(i) = 6*i**2 + 746*i + 252. Let v be h(-124). Which is smaller: v or -879?
-879
Let i be -2 - (21*15 + ((-4)/4 - -5)). Are i and -1608/5 unequal?
True
Suppose 0 = -2*y - 3*s + 3, -2*y = s - 3 - 2. Suppose 45 - y = -3*v. Let d be 42/(-54)*(-4)/v. Is d equal to 0?
False
Suppose -9*g + 2*g + 21 = 0. Let p be 2 + (-7 + g - 1). Let h be 1 + -3 + 0/(-1). Which is bigger: h or p?
h
Let s(l) be the second derivative of 0 - 1/6*l**4 - 10*l - 5/2*l**2 + 1/20*l**5 - 1/3*l**3. Let n be s(3). Is -9 smaller than n?
True
Suppose 0 = 3*b + 4*m - 8, 0*m - 5*m = -b + 9. Suppose w + b*w = 210. Is w less than or equal to 41?
False
Let l = 545 - 586. Suppose -5*f = -7 - 3. Suppose 3*z - 83 = f*x, -2*z = -4*x + z - 163. Which is smaller: x or l?
l
Suppose -5*k = n - 2*n + 22, -5*n = 4*k + 35. Let v be (((-1)/n)/((-3)/177))/(-1). Is 20 smaller than v?
False
Let l = -401 - -418. Suppose -414 + 23 = -l*g. Let x = 39 - 16. Is x greater than g?
False
Let k(q) = 2*q**3 + 24*q**2 + 8*q + 1. Let d be k(0). Which is bigger: d or 502/3?
502/3
Let t = 4403.7 - 4671. Let v = 267 + t. Are -28 and v equal?
False
Let t = -3147 + 3152. Let z = 1 + 4. Suppose -t*y = 10 - z. Is y at most as big as -8/11?
True
Suppose 870*d + 2906 - 22046 = 0. Suppose -2 + 6 = h, -4*s = -5*h - 72. Which is smaller: d or s?
d
Let g be (-1)/(4/(112/(-7))). Let u be (-2)/g*140/18935. Is 1/2 at most u?
False
Let k = -23.72 - -24. Let h(a) = -a**3 + 26*a**2 + 7*a - 181. Let i be h(26). Which is greater: k or i?
i
Let u = -330 - -479. Let d be u/(-3)*(-25 + 28). Is d equal to -150?
False
Suppose 0 = -0*o + o - 20. Suppose l + 9 = -2*u, -l + o = -5*u - 6. Suppose 6*z - 63 + 153 = 0. Is z bigger than u?
False
Let q(a) = 5*a**2 + 4*a + 2. Let w be q(-1). Suppose -36*z - w = -37*z. Which is bigger: 30/11 or z?
z
Let g = -0.3 - -0.2. Suppose -4*s + 3*p + 108 = 4*p, 48 = 2*s - p. Let z(b) = 10*b - 233. Let i be z(s). Which is smaller: i or g?
g
Let f = 11563/83877 + -1/1149. Let k = 174502247/1460 + -119522. Let r = f - k. Is 1 smaller than r?
False
Let v be (-24)/(-180) + 39/45. Let h be -5 - (-2*(1 + v) + 0). Is h at least as big as -2/169?
False
Let h = 2801/1203 - -2/401. Is -4/13 equal to h?
False
Let l = 8995 - 7843. Which is smaller: l or 1153?
l
Let p = -2667748/5 - -531495. Which is bigger: p or -2055?
p
Let n = -28 + 32. Suppose 0 = -n*s - 12 + 68. Suppose 0 = -h + l - s, 4*h + 69 = -4*l - 27. Is h equal to -19?
True
Let y = 148 - 151. Let j be ((-378)/2)/y + (-8)/(-4). Is 66 equal to j?
False
Let y = -184 + 97. Suppose 2*z + 99 = -j + 96, -2*j - 6 = z. Which is smaller: z or y?
y
Let w be 2/5 + 1/(-35). Let h = -61434 - -61433. Which is bigger: w or h?
w
Suppose 4*x + 5*y = 10*y - 85, 0 = y - 1. Let q be ((-36)/(-30))/((-6)/x). Let m be 374/(-40) - 7/70*q. Are -11 and m non-equal?
True
Suppose 143 - 143 = 2*g. Suppose 2*p + z + 173 = g, 4*p + 2*z = 4*z - 326. Which is smaller: -82 or p?
p
Let i(o) = o**2 - 14*o + 36. Let r be i(4). Let x be ((-28)/(-3654))/(r/6). Which is smaller: 2 or x?
x
Let s = 1383.4 - 1394.4. Is 6 at most as big as s?
False
Let p = -13 - -13.09. Let h = 290 - 292. Let d = 0 - h. Is p bigger than d?
False
Let w = 1021708/99 - 10322. Which is greater: w or -3?
w
Suppose -1029 = -892*u + 899*u. Let i = -271 + u. Is -417 less than or equal to i?
False
Suppose 4*l - 4*j + 30 = -2, 2*l + 11 = 3*j. Let z(k) = -2*k - 5. Let m be z(-3). Suppose 5*u + m = 4*y + 71, -2*y = -2*u + 34. Is y less than l?
True
Let z be 1 - 10*(-14)/(-70). Is z at most as big as -2/14145?
True
Let s = 14 - 3. Suppose -f = r - 4*r + s, -5*f = 2*r + 72. Is f at most as big as -11?
True
Suppose 9*o = 9*o - 6*o - 3*o. Which is greater: -4/425 or o?
o
Suppose 0 = -4*l + 4*w - 24, -4*w + 21 = 3*l - 4*l. Let b = -174 - -139. Let z be (-164)/14 + 10/b. Is l smaller than z?
False
Let i = -412 - -536. Let v = i + -124. Does v = -123?
False
Let n(l) = 455*l + 914. Let t be n(-6). Is -1816 at most t?
True
Let o(h) = 4*h + 1. Let i be o(2). Suppose 24*k = -2*v + 21*k - 15, 4*k + 20 = -5*v. Suppose 4*l = 2*f + 44, 5*l + v*l + 3*f - 44 = 0. Is l equal to i?
False
Let r(o) = 16*o - 14. Let b be r(10). Let u be 10/(-55) - b/(-682). Let q be 4/16*(4 + 0). Does u = q?
False
Let y = 70 - 69.6. Let u = 35.6 + y. Let o = 101/214 - -3/107. Which is greater: u or o?
u
Suppose 0 = 3*o - 4*h - 13, -o + 158*h - 17 = 162*h. Which is smaller: -53/60 or o?
o
Let u = -30.8 + 31.8. Which is bigger: u or -1.719?
u
Let w = 52 - 101. Suppose -t + 2*t = -5*i - 3, -2*t = 3*i - 1. Is t smaller than w?
False
Let b = -29 + 46. Let q(y) = 46*y - 170. Let j = 1209 - 1205. Let d be q(j). Which is greater: d or b?
b
Let t be (346/(-4))/((-8025)/1150 + 7). Which is bigger: -3975 or t?
-3975
Let y be (16 + -9)*(541/77 - 7)