(u) = 5*u**2 - 1. Let r be n(-1). Suppose -r*j - 16 - 64 = 0. Which is bigger: j or k?
k
Let s = -156 - -155. Let d be 264/(-66)*2/4*s. Let j = -2.59 - -2.7. Which is smaller: d or j?
j
Let m = -510984920 - -29706108322909/58135. Let y = m + 6/385. Is y equal to 0?
False
Let x be ((-485274)/24)/31*-8. Is x != 5221?
True
Let l = 113 - 112. Let f be ((-71)/67)/1 + l. Are 0 and f non-equal?
True
Let p = -171.55 - -171.3. Which is greater: p or 20?
20
Let t(j) = -3*j**2 - 13*j + 292. Let a be t(-24). Which is greater: a or -1123?
-1123
Let n be (-144)/(-30) + -4 - (1 + (-17616)/(-20)). Is -4 bigger than n?
True
Let h = -28.4 + 32. Let y = h + -9.7. Which is smaller: y or -2/7?
y
Let p be (4*31*156/(-96))/((-2)/4). Which is bigger: 2815/7 or p?
p
Suppose -24*z - 214 - 506 = 0. Let b be (-20)/(-12) + 50/z. Is 6/139 at least as big as b?
True
Let i be 18*10/(-15)*(-3)/6. Let o(q) = q**2 - 5*q. Let f be o(i). Is 10 not equal to f?
True
Suppose 1 = 4*f - 3. Let g be (-264)/(-84) + -3 + 513/258. Let c = g + 1/86. Which is bigger: c or f?
c
Suppose 102*s - 357*s = -107*s - 123*s. Which is smaller: s or -6/7523?
-6/7523
Let q = 11930 + -11425. Which is bigger: 2527/5 or q?
2527/5
Suppose -3*g - g = -5*x - 176, -88 = -2*g - x. Let k be (g/10 + -2)/(30/100). Suppose -k*s + 4*s = 20, -2*j - 5*s = 25. Is 3/19 at least as big as j?
True
Let d(g) = -g**2 - 6*g + 187. Let p be d(-17). Is -1/5859 smaller than p?
True
Let v be -6 - 45/(-30 + 21). Which is smaller: 23/247 or v?
v
Let y be 0 + -1 + (-8)/(-6). Let t(v) = v - 11. Let z be t(15). Let n be ((-300)/(-57))/z - 1. Is y smaller than n?
False
Suppose 2*d = -0 + 10. Let b be d/(-2)*(-12)/5. Suppose -3*c + 3*u = 0, c + 4*u = -c - b. Is c at most -1?
True
Let x be (-1)/(-1)*(-3 - (0 + -7)). Suppose -2*k + h - 3 = -3*k, -10 = -x*k - 3*h. Are 1 and k equal?
True
Let w(l) = -17*l - 1109. Let i be w(-37). Which is greater: -479 or i?
-479
Let r be (1 - 3) + (-46493)/(-59). Let c = -786 + r. Suppose u - 3*g = 7, 3*u - 6*g = -4*g + 7. Is u greater than or equal to c?
True
Let n = 2195.146 + -2197. Let b = n - 0.146. Which is bigger: b or -17?
b
Suppose 0 = -446*o + 471*o. Which is greater: -12/595 or o?
o
Let b be (-327012)/(-81746) + -5 + 1. Which is bigger: b or 1?
1
Suppose -37 = -5*x + k, 2*k = -x - 3*x + 24. Let s(i) = -751*i - 52. Let u be s(x). Let g = 37095/7 + u. Is g equal to -11?
False
Suppose 5*c = 1921 - 451. Let i = c + -301. Let q = -1 + 1. Which is smaller: i or q?
i
Let r = -0.255 + -6.425. Let f = 785.68 + -785. Let p = r + f. Are p and 13 nonequal?
True
Let a(q) = q**3 - 15*q**2 - 1. Let s be a(0). Let x = -106/221 - 1/17. Is x at least as big as s?
True
Let t = 3278 + -29467/9. Suppose 282*v + 133 = 551 + 428. Which is smaller: v or t?
v
Suppose -2971 = -15*s + 119. Let y = 290 + -85. Is s not equal to y?
True
Suppose 29 - 33 = j. Let u(w) = -3*w**3 - 5*w**2 - 3*w - 20. Let s be u(j). Does 104 = s?
True
Let v = -262 + 1772. Is v equal to 1514?
False
Let h = -245 + 518. Let y = h - 239. Which is smaller: y or 35?
y
Let i be 32/(-112) + -4*(6 + 2564/(-28)). Let b be (1023/(-6))/((-2)/4). Is b at least i?
False
Let g = -2970 + 2958. Which is smaller: 0.3 or g?
g
Let f = 2332 + -11696/5. Suppose 13*g = 5*g + 280. Suppose 0*a - g = 5*a. Which is greater: a or f?
a
Let x = -236 + 100. Let m = 135 + x. Does m = 0?
False
Let f = -2509/355 - -39/5. Which is bigger: 2 or f?
2
Suppose -b + 161 = 40. Let d be 14/18*-10 + (b - 123). Is d at least -11?
True
Let x be (-5 - -7)/((78/2484)/(-13)). Is -828 bigger than x?
False
Let w(s) = -2 - 2 - 20*s + 2. Let a be w(2). Let i = a - -46. Which is bigger: i or 6?
6
Suppose 0 = -c + v + 27, -5*c - 16*v + 132 = -18*v. Suppose -c*n + 170 = -9*n. Is 2 > n?
False
Let m be 262/(-6) - 2/(-3). Let n(u) = u**2 - 13*u + 173. Let s be n(26). Suppose 17 = -12*q - s. Is m at most q?
False
Suppose -7*n + 428 - 1184 = 0. Let c be ((-10)/6)/((-6)/n). Which is greater: -31 or c?
c
Let x = -810 + 812. Suppose 14 + 80 = 4*c - 2*r, -r + 114 = 5*c. Suppose -3*b + x*h = -c, h = -3*b + 18 + 20. Is 0.3 equal to b?
False
Let v = 92212231/545712 - -36/11369. Let w = v - 169. Which is greater: w or -1?
w
Suppose -l + 21 = -2*z, -3*z = -2*z + 2*l + 13. Let j be 54/45*20/(-6). Let i be (j/(-6))/(35/(-15)). Which is bigger: i or z?
i
Let a(z) = 2*z**2 + 3*z - 87. Let b be a(-7). Which is smaller: b or -17?
-17
Let v be ((-6)/34245)/((-24)/657864). Let k = v - 2/761. Does 4 = k?
False
Suppose 0 = 2193*c - 380*c + 420616. Let m be 77*3*(-1 + 0). Which is greater: m or c?
m
Suppose -5*b + 266 = -x, x - 3*b + 173 + 79 = 0. Is x at least as big as -102?
False
Let r be ((-2428584)/(-12))/(-13*7). Suppose -5*m = -m + 5*a + 8906, 0 = 5*m - 5*a + 11110. Let n = m - r. Which is bigger: 0 or n?
0
Let m = 237 - 233. Let r(x) = -x**3 + 9*x**2 - 19*x - 3. Let g be r(m). Which is smaller: -5/32 or g?
-5/32
Let p = -2419 - -2458. Let w = 13 - 24. Let k = w - -50. Is p <= k?
True
Let b(o) = -o**3 - 2*o**2 + 163*o + 480. Let k be b(-3). Which is bigger: -4/5071 or k?
k
Suppose 3*l = -5*w - 68 + 63, -w - 1 = 2*l. Which is greater: -14/775 or l?
l
Suppose 5*r + 13 = -3*h, 10 = -4*h + r + 8. Let d = 241580/57597 - 306/73. Which is smaller: d or h?
h
Let s = -9108 + 9107. Which is bigger: s or 6/1585?
6/1585
Suppose -40 = 2*t - 4*v, 0*t - 32 = t - 5*v. Let f be -1*4/20*45/t. Let w be 7/5 + (-28)/70. Which is smaller: w or f?
f
Suppose 5*c + 49*a + 8340 = 44*a, 4*a = 16. Is -1671 <= c?
False
Let d = 508.9615 - -0.0385. Let w = d - 507. Which is greater: 181 or w?
181
Let r be (42 - 47)/(15/126). Suppose 0 = -4*u + 2*m - 14, -u + 5*m = 2*u + 28. Let o(t) = 44*t**3 + t + 1. Let q be o(u). Which is smaller: q or r?
q
Let m(k) = -k**3 + 11*k**2 - 10*k - 1. Let v be m(10). Let u be (-2 - 118/(-148)) + -22 + 23. Let b = u - -4/111. Which is bigger: b or v?
b
Let g be (-22)/(-7)*(-6 - -2). Let t(v) = v**2 + 20*v + 71. Let o be t(-6). Is o at most g?
True
Let q be ((-32)/3864)/((-4)/30). Let z = q - 214/483. Which is smaller: 1 or z?
z
Let y = -7868 - -7875. Which is smaller: 1/282 or y?
1/282
Let k be ((-3)/20 + 217/(-2170))*-3. Is k at most 0.04849?
False
Suppose 18 = -2*n - 0*n - 4*o, -4*n + 5*o = -16. Let x = -1336/169 + 363223/45968. Are x and n equal?
False
Suppose 18 = -3*b + 4*b. Let o be (5 - 1)*(b/4 - 4). Suppose -6*q = -5*q - o. Are q and 2 equal?
True
Suppose 5*l = -2*s - 0*l + 20, -5*s - 4*l + 33 = 0. Let x be (-338361)/(-390) + s/10. Let j = x + -868. Which is smaller: 1 or j?
j
Let u be ((-2)/(-20))/(6/60) + 1. Suppose u = -34*g + 36. Let t = -0.26 - 0.2. Is t at least as big as g?
False
Let j(d) = -d**3 - 5*d**2 - 5*d - 5. Let n be j(-4). Let c = -1076327/10998 + 5915/94. Let w = 460/13 + c. Is n bigger than w?
False
Suppose 126*a + 255*a = 275082. Is 2167/3 <= a?
False
Let d = 132 + -120. Suppose -d*x - 1951 + 43 = 0. Is -158 bigger than x?
True
Let q be 2/(-7)*17794/42. Let b = q - -121. Suppose -3*c - w - 2 = 0, 0 = c - 2*c + 2*w + 4. Which is bigger: c or b?
c
Let c(i) = 24*i**2 + 46*i + 12. Let b be c(-4). Which is smaller: b or 202?
202
Let b be 1/2*((-1168)/(-16) + -1*3). Which is greater: b or -52?
b
Let c = -34 - -51. Let z(q) = -q**3 - 118*q**2 - 248*q - 1839. Let x be z(-116). Do x and c have the same value?
True
Let k be 26/39 + (1995/(-9))/7. Let g = -20 - -46. Suppose c = -0*c + 2*u - 28, c - 3*u + g = 0. Which is bigger: c or k?
k
Let w be (-144)/30*(-1 - -6). Suppose -l = 5*x - 7, -3*l + l = 2*x + 2. Suppose -3*c + 2*s - 7 - 55 = 0, s + 53 = -x*c. Are c and w non-equal?
False
Let t = -10 + 13. Suppose q = -2*w + 5*w - t, -2*q - 2*w = -2. Let y be -4 + 4 + 0*6/12. Is y bigger than q?
False
Let z = 12107 - 12105. Let g = 5 + -5. Which is bigger: g or z?
z
Let c = 7712 - 7667.9. Which is smaller: 3/17 or c?
3/17
Let t = 0.006 - 0.406. Let g = 0.10092 - 0.30092. Is g less than t?
False
Let c be (-7480)/(-77)*(-7)/(-2). Suppose -4*x - c - 129 = -3*w, -w = 1. Do -118 and x have different values?
False
Suppose q - 1388 - 7099 = 2*c, 0 = c + 2*q + 4231. Which is smaller: c or -4240?
c
Let x = -395.18 + 397.198. Which is smaller: -0.3 or x?
-0.3
Let g = 0.4 + -0.6. Let i = 1.09 + -437.09. Let b = i + 443. Which is greater: b or g?
b
Suppose 15*z - 688 = -z. Suppose 6*c + 541 - z = 0. Is c at least 