 5*w - 2*v - y. Is w <= 80/11?
False
Suppose -3*r + 7*l + 24 = 4*l, 5*l + 10 = -5*r. Let o be (-46 + r)/((-60)/4)*3. Which is smaller: o or 10?
o
Let w be (-12)/(-30) + 161/1435. Let o = -534654899/369 - -1448934. Let p = o - w. Is 4 >= p?
False
Let o(n) = -n**2 + 40*n + 371. Let t be o(47). Which is bigger: t or -17?
t
Let w = 33.242 - 0.242. Let o = w + -34. Which is smaller: -8/7 or o?
-8/7
Suppose 514*k - 7984683 = -67*k. Which is greater: k or 13742?
k
Let c = 352 + -229. Suppose 7*u = -c - 17. Let b be 4/(-7)*1610/u. Is b less than 46?
False
Let u = 0.1523 + 1.1737. Let d = u + -0.326. Which is smaller: d or 18?
d
Let q = 779 - 771. Suppose q*c = 17*c - 963. Which is smaller: -0.2 or c?
-0.2
Let o = -2051.94682 - 0.05318. Which is greater: -1/2 or o?
-1/2
Let o = -50 + 506. Let u = -453 + o. Which is smaller: u or -2?
-2
Let i = -5092/520331 + 6/1517. Suppose 30*p - 40*p - 10 = 0. Is i bigger than p?
True
Let y = -579 - -578. Let v be (-1 - (y - -1))*(-2 - -25). Which is smaller: -24 or v?
-24
Let j(w) = 1491*w + 10436. Let s be j(-7). Does s = -13/168?
False
Suppose 4*q = -q - 65. Let l(g) = -g**3 - 10*g**2 + 28*g + 17. Let v be l(q). Suppose -3*b - 4*j + 115 = 0, -2*b + 5*j + v = b. Is 44 <= b?
True
Let z be 4/(-63) - 6/27. Let c be 13/5 - ((-16)/(-10))/(-4). Let n be 6*c*6/9. Are z and n unequal?
True
Let l be (-2)/5 + 62/5. Let n(x) = -64 - 8*x - 38 + 0*x + 2*x. Let p be n(-19). Is l not equal to p?
False
Let r be (80/88)/(-5) - 31/11. Let z be (5 + -9 + 4)/r. Which is greater: z or -5/16?
z
Let o = 79 - -33. Suppose 0 = i + c + 88, 118 = -2*i + 4*c - 34. Let j = i + o. Is 82/3 at most j?
True
Let n be (-38)/(-532)*4*-1. Let w = 5/14 + n. Is 1 < w?
False
Let o = 82/75 - 1913/675. Is -2 at most as big as o?
True
Let f = -6491.8 + 6492. Is f smaller than 0.4016?
True
Let k(x) = x**2 - 23. Let c be k(-5). Suppose -39 = c*q + 3. Is q bigger than -18?
False
Suppose -3*c = 19*k - 22*k + 12837, 0 = -3*k + 15. Are c and -4273 equal?
False
Suppose -51*q - 21959 = -47*q - x, q + 2*x = -5492. Is -5489 less than or equal to q?
False
Let m = 19801/48774 + 27/1478. Suppose 3*f + 3*i - 10 = 2, 4*f - 3*i + 12 = 0. Which is bigger: f or m?
m
Let x = -4 + 7. Let p = x + -4. Let k = -37138 - -37201. Do k and p have the same value?
False
Let y = -317/48 + 20/3. Let t = -749 + 748.062. Let p = t + -0.062. Is y > p?
True
Suppose 0 = y - 1 + 8. Let c be ((-6)/9 + 1/3)*-6. Suppose 3 + 7 = -c*w. Which is smaller: w or y?
y
Let h = 52.8 - -18.2. Let p = 71.1 - h. Which is smaller: p or 14.5?
p
Let f = 243 + -2189/9. Let x = -7016 - -7049. Which is smaller: x or f?
f
Let m(a) = -3*a**2 + 6*a + 105. Let z be m(7). Is 1/329 >= z?
True
Suppose 3*k = 2*o - 3*o, 5*k - 2*o - 11 = 0. Let g be 1*(2846/12 - -3). Let u = g + -239. Is u at most k?
False
Let g(u) = -u**3 + u**2 - 3*u + 9. Let v be g(2). Let c be v*((-7)/35)/1. Let k = -0.07 - -0.01. Is c smaller than k?
False
Let o be ((-4499)/(-77))/((-1)/(-7))*-1. Let x = o + 6955/17. Which is bigger: x or 82?
82
Let r = 180 - 1270/7. Suppose -2*p - 7 - 1 = 0, 0 = -q - 3*p - 10. Suppose 0 = -q*u + 4*u + 2. Which is greater: u or r?
u
Let g = -8/135 + -46/135. Which is smaller: -47.6 or g?
-47.6
Let x = -21 + -1. Let d = 261 - 260.9814. Let j = 1.0186 - d. Which is smaller: j or x?
x
Let u be (-736)/6*((-35)/(-10) + -2). Let q be (-197810)/u + 8/32. Let f = 1075 - q. Which is smaller: -1 or f?
-1
Let s(k) = 2*k**2 - 19*k + 11. Let u be s(9). Suppose 5*j - u*f - 4 = 0, 2*j + 6 = -0*j - 3*f. Does j = -8/47?
False
Suppose -176 - 60 = -4*s + y, -4*y = 2*s - 118. Suppose 324 = -s*g + 50*g. Is -34 smaller than g?
False
Let s = -4157 + 3596. Are s and -561 nonequal?
False
Let z = 1474398831625/2728 - 540468787. Let s = z + -3/248. Let a(g) = -4*g**3 - 19*g**2 + 2*g - 21. Let n be a(-5). Which is smaller: n or s?
s
Let g = -20934/5 - -4186. Let h = -21 - -21. Which is bigger: g or h?
h
Let j = -74 - -70. Let l be j*(-1 + -3)/(-8). Let t be (-32)/2 + -3 + 4. Are t and l unequal?
True
Let r = 11.9 + -12.3. Let u = -14 + 13.3. Let m = r - u. Which is smaller: -0.8 or m?
-0.8
Let y = -296 - -249. Let l be 8572/(-180) - 6/(-15). Let q = y - l. Is q < -1?
False
Let a be (-2)/9 + (-48)/(-54). Let p(d) = -18*d + 91. Let k = -68 - -73. Let u be p(k). Is u less than a?
False
Suppose m + 132 = 12*m. Let t(h) = h - 1. Let g be t(m). Let y be ((55/(-70))/g)/1. Which is bigger: -2 or y?
y
Let p be ((-206)/(-6))/(2 - 10/6). Let b = 192 - p. Is b >= 88?
True
Let g = 44466621271827/18172 + -2446985537. Let b = g + -1/2596. Which is greater: 4/3 or b?
b
Let y(w) = -w**2 + 9*w + 38. Let p be y(12). Suppose -4*q = -2*b + 4, b = -q + p*b - 3. Let g be -1 + (q - (-5)/(-25)). Which is greater: 8 or g?
8
Let g(w) = -w**3 + 14*w**2 + 29*w - 403. Let a be g(19). Is -11590/7 > a?
True
Let d = 3/1142 - -565/2284. Which is smaller: -1/67 or d?
-1/67
Let h = -3968 + 11558/3. Is -114 at most h?
False
Suppose 0 = 273*s - 264*s - 1836. Which is smaller: s or 207?
s
Suppose 0 = -4*n + 5*c + 8 - 86, -72 = 4*n - 4*c. Is n <= -9?
True
Let g(x) = 2*x**2 - 5*x - 16. Let l be g(-2). Suppose 2*c + l*c - 12 = 0, 3*c - 147 = 2*n. Is n greater than or equal to -68?
False
Suppose 5*n + 4*p + 336 = -0*n, -5*p = -n - 73. Let q be 769/(-66) - (n/(-11) - 6). Which is smaller: q or -12?
-12
Let u be ((-84)/14)/((-3)/(-62)). Let i = -370/3 - u. Which is smaller: 0.105 or i?
0.105
Let i be (9202/(-129))/(0 + (-6 + 1)/90). Is i > 1289?
False
Suppose 37*q - 18 = 39*q. Suppose v - 5 = b + 10, 30 = 5*v + 4*b. Let y be v/(-45) + (-2)/q. Is -1/118 greater than y?
False
Let t = 8.6 - 207.6. Let a = t - -199.2. Let v = -0.1 + -0.1. Which is greater: a or v?
a
Let r = 53.79 + -54. Let z = 76.21 - 76. Let f = z + r. Is f greater than -1.5?
True
Let x = -26 + 77/3. Suppose 726 = 2*b + 2*b - 5*d, 0 = b + 3*d - 173. Suppose 9*j = b + 64. Do j and x have the same value?
False
Suppose 2*d + z + 5 - 9 = 0, -2*d + 16 = -5*z. Let c be 2/d - (-390)/9. Are 300/7 and c equal?
False
Let b(h) = -856*h**2 + 28*h - 27. Let c be b(1). Does -854 = c?
False
Let v = 77436 - 4646159/60. Suppose 5*a - 3 = 3*n, -4*n = -0*n + 3*a + 4. Which is bigger: v or n?
v
Let k(u) = 0 - 5 + 3 + u. Let a be k(3). Let h be ((-94)/(-408) - (-17)/(-68))*(-18)/(-8). Is a at least h?
True
Suppose 6 + 6 = 4*a, -5*a = -k - 14. Is 1/1385 greater than k?
False
Suppose -3284 - 5811 = -17*n. Let w = n - 512. Which is smaller: 32 or w?
w
Let k = 16 + -19. Let a be 8/(-36)*k*1074. Let n = a + -15755/22. Are n and 1 non-equal?
True
Let v(g) = -g**2 - 16*g - 46. Let m be v(-12). Let c be -3 - (7 - 3)/(m/(-5)). Suppose 5*u = -5*o + 18 + 7, -5*o = 3*u - 15. Is c <= o?
False
Let s = -27 - -24. Let o = 0.5 - s. Let d = 3.7 - o. Which is smaller: -1/4 or d?
-1/4
Suppose 0 = 2*r + r + g + 68, 2*r + 2*g + 52 = 0. Suppose -9*d - 200 = d. Is r smaller than d?
True
Suppose -5*i = -3*b - 40, -2*i + 6*i = 3*b + 29. Suppose 7 = -4*w + i. Let t be (-12 + 12)/(1 + w + 0). Is -13 greater than t?
False
Let x be ((-611)/16 - 0)/((-5731)/394). Let o = -2/5731 + x. Suppose -r + 4*r = 6. Are r and o unequal?
True
Let v = -63676/935 + 1231/17. Is 4 smaller than v?
True
Let i(s) = 80*s + 826. Let u be i(-12). Let z(f) = -2*f**2 - 2*f + 9. Let d be z(-9). Is u < d?
False
Let q be 1/1*(-14 + 8) + 447. Let v = q - 438. Let z = -1310 - -11828/9. Which is bigger: v or z?
z
Suppose -250132 - 166407 = 3*r - 2*q, 0 = r + 5*q + 138852. Let b = 4315294/31 + r. Let u = 356 - b. Is -2/7 greater than u?
False
Let d = 8824 - 8500. Which is bigger: 0 or d?
d
Suppose 29 - 4 = -5*t, 4*k = -t - 73. Suppose 53 = 3*v + 47. Let r be (-1 - -43)/(-3) - v. Which is bigger: r or k?
r
Let y(b) = 3*b**2 - 20*b - 5. Let f be y(8). Let j be (-4)/(-18) + (-6)/f. Let v be 38/(-58) - j - -1. Is v less than or equal to 1?
True
Let v be 4/22 - (13125/(-33))/7. Suppose 3*r = -v - 18. Let c = r + 24. Which is greater: -18/13 or c?
c
Let v = -25732 - -25732. Let g = 3841/101 + -38. Which is smaller: g or v?
v
Let r(v) = -v**2 - 11*v - 14. Let x(w) = 3*w**2 + 33*w + 42. Let s(d) = 7*r(d) + 2*x(d). Suppose -33*l + 26*l - 56 = 0. Let z be s(l). Which is greater: z or 8?
z
Let p = 166 - 166. Let r be ((-2)/(-6))/(32/(-12)). Is r less than or equal to p?
True
Let j = -59 - -58. Let b = -9.529 - -0