 35, -2*m = 2*m + 3*a - 24. Let c be (-7)/m*3008/329. Suppose 0*u = u + 22. Does u = c?
False
Let x be (-2 - (-71310)/(-110)) + (-3)/(-9). Suppose 0 = -4*z + 11 + 1, 2594 = -4*a - 2*z. Let n = a - x. Are n and 1 equal?
False
Suppose 11*g + 209 = 143. Let l be (-3)/g*(6 - 4). Suppose z + 5*d - 29 = 0, 4*d - 61 = -5*z - 0*d. Which is greater: z or l?
z
Let q be -3*(-6)/(-2 - (-3 - -2)). Let y(w) = -w**3 - 16*w**2 + 34*w - 35. Let x be y(q). Is x <= -25?
False
Suppose 6857 + 1814 = -88*y + 47. Which is greater: -1293/13 or y?
y
Let b be (-117)/65 + 1544/(-20). Suppose 0 = 3*c + 133 + 107. Is b > c?
True
Let b be 3255/(-6)*72/(-90). Let y = -467 + b. Is y at least as big as -39?
True
Let l = 98 - 212. Let c be 2/(-6) - 32/l. Suppose -8*r - 3*h + 9 = -5*r, 0 = -3*h + 12. Which is bigger: c or r?
c
Let x = 9/1391 - 1409/2782. Is 567/4 < x?
False
Let r = -0.01347 - 0.31453. Do r and 1 have the same value?
False
Let h = 305 + -304. Is h equal to -9/925?
False
Let h = -3.3516 + 0.1796. Let u = h - -0.072. Let s = u + 4.1. Is -1 less than or equal to s?
True
Suppose 15*a - 17 = -62. Suppose 5*t + 0*t - 15 = -5*p, t = -3*p + 3. Is p smaller than a?
False
Let v = -6 - -459. Is 0 greater than or equal to v?
False
Let g = -0.79 + -0.21. Suppose -i + 2*d = 4*d + 5, 5*d = -20. Let b be (-1)/2*(i + 3 + -8). Which is smaller: b or g?
g
Let u = -5987 - -5996. Which is greater: u or -36/23?
u
Let l be 21/(-5) + (8 - 5). Let i be -4 - (-2)/((-56)/(-105)). Is l less than or equal to i?
True
Let c be 48/336 + 2/(-14). Which is smaller: 2/4899 or c?
c
Let f = 1.49 - 1.16. Let n = f + -0.26. Which is greater: n or 1/11?
1/11
Let p be (9*(-736)/192)/(14/(-60)). Which is smaller: p or 149?
p
Let m be (-2549)/5098 - (1/(-3) + 11/6). Let h = -2/1363 - 38146/12267. Which is bigger: m or h?
m
Let b be (3 - (-27)/(-12))/((-9)/(-36)). Suppose -b*u - g + 4 = -6*g, 4*u - g = -6. Let q = 197 + -1187/6. Is u at most q?
True
Let h(u) = -155*u**3 + 3*u**2 + u + 1. Let p be h(-1). Let q = -166 + p. Which is greater: q or -44/5?
q
Let k be (2160/360)/((-2)/(-102)). Which is smaller: 920/3 or k?
k
Suppose 3 = 4*a - 5*b, 0 = 2*a - 3*a - 3*b + 5. Suppose 0 = -a*u + u. Suppose u*n + 2*i + 4 = -2*n, -2*i = -5*n + 25. Which is greater: n or 2?
n
Let f(b) = b**3 - 10*b**2 - 24*b + 18. Let k be f(12). Let g = k + -23. Let x be (g - -4)*((-69)/66 + 1). Which is smaller: -1 or x?
-1
Suppose -1558*r + 1565*r = -3556. Which is smaller: 3 or r?
r
Let g(h) = -h**3 - 5*h**2 - h + 22. Let b be g(0). Suppose -4*o + 88 = 2*z, 2*z = 3*o + 30 + 23. Are z and b nonequal?
True
Let p(b) = -2*b + 4. Let d be p(1). Let g be (-4)/d + 800/220. Let n(o) = o**2 + 19*o + 20. Let r be n(-18). Is r at least g?
True
Let c(g) = 55*g - 210. Let t be c(-13). Is t >= -932?
True
Let v be 5/8 + 2542978/(-1616). Is v at least as big as 1?
False
Let l be ((-23 + 2)/(-3))/(-1). Let m be (-167)/l + (-10)/(-70). Suppose 5*i - 50 = 80. Which is bigger: m or i?
i
Let b be -5 + 0/(4/(-8)*4). Let o be (-99)/((-3)/(-1)) + b + 5. Which is greater: -30 or o?
-30
Suppose d = -4*d + 4*u - 17, -u + 1 = 2*d. Let z(g) = -20*g**3 - 18 + 17 - 33984*g**2 + 33983*g**2. Let k be z(d). Which is smaller: 19 or k?
k
Suppose l + 4452 = -11*l. Let p = -372 - l. Which is smaller: 3/64 or p?
p
Suppose 0 = 3*o, -5*m - o + 50 = 3*o. Suppose -h + 6*h - m = 0. Suppose -2*c - 3*k - 54 = 0, 79 = -5*c + h*c - 4*k. Which is smaller: -24 or c?
-24
Let n = -585401/6 + 97341. Which is smaller: n or -225?
n
Let q be 1/2*2/4. Let j(b) be the first derivative of 5*b**2 + 271*b - 375. Let c be j(-27). Which is smaller: q or c?
q
Let b = 23424.011 + -23429. Are -2 and b equal?
False
Let g(m) = -m**2 - 9*m + 5. Let k be g(-9). Suppose -8*v + k*v = 12. Let r(h) = -4*h - 14. Let y be r(v). Which is bigger: y or -5?
y
Let w = -38152415/1349 + 28282. Is w > 1?
False
Let l = 2167 + -1378. Let f = l - 829. Which is greater: f or 4?
4
Suppose 2*k + 3*c = -150, -4*k = -2*c + 418 - 118. Let t be (-32)/(-272) - 1/(663/k). Which is smaller: 7 or t?
t
Let w be ((-5)/(-2))/((-46)/(-92)). Let r be ((-15)/12)/(w/(-20)) - 6. Are r and 3/26 nonequal?
True
Let d = -435833.933 - -435598. Let v = -237 - d. Let o = v - -0.067. Is o != 56?
True
Let p = -12.8 - -2. Let o = p + 4.3. Let c = o - -6.39. Is -1/5 bigger than c?
False
Suppose 4*v + 10 = -3*t, 0*v - 2*v = 4*t. Suppose -10 = -t*u + 4*l, -4*u + 5*u - 5*l - 2 = 0. Suppose 0 = 3*x - 4*y + u, 0*x - 3*y = 2*x - 1. Is x < -2/13?
True
Let m = 207 - 210.02. Let k = 30.18 - m. Let s = k - 33. Are 2/25 and s nonequal?
True
Let v(j) = -22*j. Let c be v(4). Let t(k) = 2*k**3 + 53*k**2 + 233*k + 11. Let h be t(-6). Let g = h + c. Which is smaller: -2 or g?
-2
Suppose -2*a = 12 - 14. Let b(r) = -r**2 + 3*r + 11. Let o be b(-10). Let k = o - -1429/12. Which is greater: a or k?
a
Suppose 44 = 12980*a - 12995*a - 1. Let b(l) = l - 4. Let h be b(2). Let i be (1/5)/(h/15). Is a not equal to i?
True
Suppose -4*i - 35 = -3*n, -4*i + n - 40 = -3*n. Let o = i + 4. Let q = 671/9 - 19456/261. Which is smaller: q or o?
o
Let v(k) = k**2 + 6*k + 15. Let u be v(-6). Let p = 1097 - 1084. Is u smaller than p?
False
Let k be (85/120*-26)/((-11)/88). Which is greater: 147 or k?
k
Let s = 30 + 1071. Suppose 6*k + s = 63. Which is smaller: k or -175?
-175
Suppose 0 = -49*p + 26*p + 460. Suppose 5*g - p = 3*q, 3*g + 5*q = -0*q - 22. Let k be 66/15 + 0 + -2. Is k less than g?
False
Suppose 0 = 2*b - a - 433, 5*b + 4*a - 1082 = 33. Is b > 217?
True
Let i be (0/(-3))/(-4 + 2). Suppose 2*d - n + 3 = -3*d, i = 4*d - 5*n - 6. Is -0.225 > d?
True
Suppose 2*o - 167 = h, 2*h = 3*o + 73 - 409. Let t = 164 + h. Suppose 0 = -5*n + 10. Is t at least n?
False
Let v = 2839 - 2792. Which is smaller: 11 or v?
11
Let j = -68 + 69. Let u = -42.76 - 1.74. Let a = -44 - u. Do a and j have the same value?
False
Let p(o) = -62*o**3 + 2*o**2 - o - 2. Suppose -84*s = -90*s - 6. Let h be p(s). Is h <= 62?
False
Let c = 195/11 - 142556/8041. Let x = -1555/67983 - c. Is -1 less than or equal to x?
True
Let a = -11405 - -11404.93. Which is smaller: a or -2/125?
a
Let x be (1 + -78)*6/(-21). Suppose -13*k + x = -11*k. Suppose -5*u + 4*w + k = 0, 4*u - 2*w + 0*w = 4. Is 2/23 bigger than u?
True
Suppose 122043 = 126*w - 109*w. Is w at least 7180?
False
Suppose -4*l + 23 + 47 = 5*n, -2*l = 0. Let z be 28/(-12) - (119/21 + -5). Which is greater: z or n?
n
Let h(k) = -12*k**2 - 230*k - 968. Let x be h(-4). Which is bigger: x or -1197/5?
-1197/5
Let d(m) = m**3 - 16*m**2 - 37*m + 29. Let y = 273 + -255. Let s be d(y). Is s smaller than 5?
False
Let q = 445/18744 - 22/213. Let v be -31 + 60*(-256)/(-480). Is v at most as big as q?
False
Let c(g) = -386*g + 10. Let s(w) = w + 1. Let b(q) = c(q) + 6*s(q). Let t be b(5). Let m be 4/(-7) - t/3248. Which is smaller: 1 or m?
m
Let g = 2/11 + 16/33. Let t(r) = -2*r + 28. Let z be t(11). Suppose z*n = -4*u + n - 12, 8 = -2*n. Which is smaller: u or g?
g
Let x be (6/(-5))/(310442/(-515)). Are 1/2 and x non-equal?
True
Let p = -74326 + 74321. Suppose -l + 0*l = -20. Which is bigger: p or l?
l
Let g(s) = 28*s - 51. Let w be g(9). Let x = w + -200. Are x and 2/509 unequal?
True
Let h be (7917/(-28)*2/4)/((-225)/(-1700)). Which is smaller: h or -1069?
-1069
Let o(y) = -3*y**2 + 48*y + 1. Let k be o(16). Which is smaller: -1.376 or k?
-1.376
Suppose 124*d - 134 = -134. Does d = 64/45?
False
Let k = -364 + 119. Let a be (-70)/k*(-2)/92. Which is bigger: a or -1?
a
Let w = -13/198 - 23/198. Let y = 0.358 - 0.048. Which is greater: w or y?
y
Suppose 27892 + 1382 = 3649*f - 3751*f. Is f >= -293?
True
Suppose -724*p + 37760 = -764*p. Is p not equal to -942?
True
Let s = 978 + -999. Which is smaller: 25 or s?
s
Let l = -45 - -27. Let a = l - -26. Suppose g = -a*g. Which is bigger: 6/43 or g?
6/43
Suppose -9*u + 386 - 62 = 0. Suppose -13*j - 23 = -u. Which is smaller: j or -1/18?
-1/18
Let i be (3 - (-5 + -2)) + (-21 - -14). Suppose 3*f = -f + 4. Let l be ((-2)/24)/(f/(-34)). Which is greater: i or l?
i
Suppose 168*j = 140*j + 28. Which is smaller: 1/2558 or j?
1/2558
Suppose -154*c - 23*c - 65667 = 0. Is c less than -1851/5?
True
Let j = -0.02385 - 0.02615. Are -0.02 and j non-equal?
True
Suppose 9*p = 31*p + 10049 + 14591. Which is bigger: p or -1124?
p
Let z(v) = 