124. Suppose -5*g = -10, 2*g + 50 = -2*o + 112. Let r be z(o). Suppose -3*f = -100 - 8. Is r at most as big as f?
False
Suppose 0 = 7*b - b - 96. Let h(n) = b*n**2 - 30*n**2 + 15*n**2 + 1 - 4*n. Let m be h(6). Which is smaller: m or -1/3?
-1/3
Let d be ((-46)/6)/(2/6). Let x = -111 + 328. Let y = -242 + x. Is d < y?
False
Let r(w) = 10*w**2 + 12 + 32*w**3 - 69*w**3 + 11*w + 38*w**3. Let f be r(-8). Let b be (f/(-280) - 0) + 4/10. Which is smaller: b or -1?
-1
Suppose -2*f + 24 = 2*q - 6*f, 2*q - 2*f = 16. Let p be 2209*5/(-38780) + q/14. Let l = -2259/47644 + p. Which is smaller: 0 or l?
l
Suppose -16*p + 131 = 419. Let l be 4/(-10) + 465/(-25). Is p smaller than l?
False
Let z = 1148268817/3411 + -336637. Which is smaller: z or 1?
z
Let n = 5.307 + -3.307. Is -27 > n?
False
Let i(z) = -51*z - 101. Let w be i(5). Let m = 355 + w. Which is bigger: m or -6/19?
-6/19
Suppose -10*r + 23 + 27 = 0. Suppose -5*l = -4*g + 2, -l - r*g - 18 = 3*l. Suppose -2*u - 2*y = 4 + 4, 3*u = 4*y - 19. Which is bigger: u or l?
l
Let n = -10321 - -10320. Which is greater: n or -92/57?
n
Suppose 3*q = -0 + 6. Suppose 0*b - b = q*b. Which is smaller: b or 3/71?
b
Let b be ((-1)/(-2)*2)/(20 + -19). Let h be (-16)/10*50/(-5). Let m be (-6)/(h/(-2) + 1). Is b less than or equal to m?
False
Let a = 101.128 - 9.128. Is -2 greater than or equal to a?
False
Let f = 1/11737 - 305347/2171345. Which is smaller: -1 or f?
-1
Let k = -0.448 + 0.255. Let w = -3.807 + k. Which is smaller: -5 or w?
-5
Let w = 7 + -4.67. Let p = -3.67 - w. Let j = -43 - -171/4. Is j > p?
True
Let l(s) = 2*s**3 - 574*s**2 + 622*s - 14300. Let b be l(286). Let m be 0 + -1 + 123/121. Which is bigger: b or m?
m
Let j = 2100 - 1719. Is j greater than or equal to 379?
True
Let s = 3062252/7 - 438294. Which is greater: -828 or s?
-828
Let m be 28/6*405/540 + 901/(-70). Do m and -10 have the same value?
False
Let u be (-2)/(-5025)*(-2043)/454. Is 0 at most u?
False
Let a(s) = -1925*s + 731. Let k be a(-4). Is k <= -0.1?
False
Suppose -293*l + 290*l = 6. Let t be l/(-11) - 25/(275/(-3166)). Which is smaller: 289 or t?
t
Let y = 90/7 - 367/28. Let m(a) = a**3 - 14*a**2 + 19*a - 79. Let r be m(13). Which is smaller: r or y?
r
Let o(l) = l**3 - 19*l**2 - 39*l - 11. Let v be o(22). Which is bigger: 585 or v?
585
Let z(r) be the first derivative of -r**3/3 + 15*r + 102. Let p(s) = -2*s - 6. Let f be p(-5). Let i be z(f). Is i bigger than 7?
False
Let g = -169.97 - -170. Let h = -12928/23 - -562. Which is greater: h or g?
g
Suppose -27 = 61*y - 27. Which is bigger: -4/193 or y?
y
Suppose 15*v = 14*v + 5. Suppose -v*y + 8 = 3. Let k be 2 - y - 8/4. Is k greater than 1?
False
Let r = -0.86 - -0.7. Let n = -0.54061 + 0.44061. Which is greater: n or r?
n
Let l be (-1740)/(-210)*588/12. Are -4 and l non-equal?
True
Let z(b) = -b + 1. Let d(j) = j**2 - 3*j - 24. Let n(x) = d(x) - 4*z(x). Let s be n(-7). Let r = 3.2 + -3. Is s at least r?
True
Let q be (175 + -3)*(-1 - -10). Suppose 5*l + q = -7*l. Which is bigger: l or -126?
-126
Let a = 12739 + -12778. Which is bigger: -18 or a?
-18
Let f(t) = 5*t**2 + 62*t - 70. Let x be f(-13). Which is greater: x or -1/7?
-1/7
Let z = 493 + -493. Which is greater: z or 1/137?
1/137
Let c be (5/(-2))/(-4 + (-43)/(-12)). Let m be 3*c/(-16)*220/(-14190). Which is greater: m or -1?
m
Suppose 4*v = -0 - 12. Let i = -1 - v. Let u = -122 + 125. Which is greater: u or i?
u
Let z be (1408 + -86)/((-3)/((-3)/(-2))). Is -662 less than or equal to z?
True
Let r(z) = -z + 1. Let h be r(0). Let o be (-25044)/(-1192) + (-651)/31. Which is smaller: h or o?
o
Let c be 10 + -91 + 12 - 16. Which is smaller: c or -96?
-96
Let c be 240/(-26) - (-1 + 1). Let b be 11/((-165)/(-18)) + 25291/(-2730). Let y = c - b. Is y at least as big as -2?
True
Let q(l) be the second derivative of -l**4/4 - 5*l**3/6 - 19*l**2/2 - 17*l. Let k(w) be the first derivative of q(w). Let v be k(-1). Is 4/7 not equal to v?
True
Let m be 8/80*6964/11 - (-89)/979. Which is bigger: -1/7 or m?
m
Let h(c) = c**3 - c**2 + 4*c + 1. Let y be h(4). Suppose 3*j + 12 = 0, -4*d = -4*j - 43 + 15. Is y at most d?
False
Let c = -1215 + 2001. Let r = c - 786. Do r and 20/47 have different values?
True
Let j = 187 - 186. Let n be 3/(90/125) - (1 + 2). Which is smaller: j or n?
j
Let b be 2 + (4 - 8 - -306 - -2). Let i = -306 + b. Let m be (-6)/4*8/(-45). Is i greater than m?
False
Let u be 2269/(-532) + 4 - (-414)/184. Which is smaller: 3 or u?
u
Let z = -20187 + 20191. Let k(a) = a**2 + 6. Let i be k(0). Is i > z?
True
Suppose 2*b = 3*b - 7*b. Let p be (-2)/39*1/(-6). Which is smaller: p or b?
b
Let v be 246/14 + -18 + 802/(-7). Are v and -125 nonequal?
True
Let l be (6 + 85/(-14))*(-1 - 40). Let j = -52/7 + l. Which is greater: -4 or j?
-4
Let q = 4 - 3.3. Let w(n) be the second derivative of n**5/20 - n**4/6 - n**3/2 - 5*n**2/2 - 5*n + 1. Let x be w(3). Which is bigger: q or x?
q
Let m = -6261 + 6262. Do m and 1007/2 have different values?
True
Let i = -14.5 - -14.6. Let k = 117 - 58. Let m = k - 63. Is i < m?
False
Let t = -2/75331 + 152248/59737483. Which is greater: 0 or t?
t
Let c be ((-654)/(-40))/(-3) + (-152)/190. Which is bigger: c or 1.7?
1.7
Suppose 217*x - 208*x = 9. Which is smaller: x or 1/736?
1/736
Let v(t) = -2*t - 1. Let g(a) = -110*a - 1. Let f(q) = g(q) + 2*v(q). Let r be f(1). Let x be 117*1*(7 - 8). Is x equal to r?
True
Let b = 143/20 + -16099/2260. Let g be -2 + (-3 + 6)/1. Which is smaller: b or g?
b
Suppose 27 = 2*p + 5*y, 19*y = -31*p + 23*y + 500. Let m be 2 - (1 + -1*12). Which is greater: p or m?
p
Let r = -7109961/236 + 30127. Which is smaller: 0 or r?
0
Let h be (-4)/(-14) + 9552/(-14). Let k be h/(-6) - 11/((-198)/(-12)). Is k >= 112?
True
Suppose 564*j + 2 = 563*j, -2*j = 5*o + 14234. Is -2846 > o?
False
Let p = -0.03 + -2.67. Suppose 6*z + 99 = -21. Let o be ((-132)/z - 3) + -4. Is p at most as big as o?
True
Let z = 14890809/2012 - 7401. Which is smaller: z or 1?
z
Suppose 3*w - 77 = 31. Suppose 2*s = -4 - w. Is s greater than or equal to -20?
True
Suppose 68*r - 7379 = 5550 + 5635. Do 1371/5 and r have the same value?
False
Let h = 89207/11 + -8109. Is -49 smaller than h?
True
Let t(g) = -120*g + 405. Let n(y) = -18*y + 58. Let u(b) = 15*n(b) - 2*t(b). Let p be u(1). Is 0.1 > p?
False
Let b = -584 + 588. Is 10/13 equal to b?
False
Let f = -186 - 313. Let g = f + 498.86. Which is smaller: -1 or g?
-1
Let w = 0.64 - -0.091. Let i = -0.831 + w. Is i bigger than -0.184?
True
Let b be 7 - (-18)/(-12)*4. Let g be 2*b/(-2)*(-28 + 24). Is g at least 19/6?
True
Suppose x + 18 = 4*z, 4*x + 4*z = z - 15. Let v be (-5)/((-15)/(-68))*(-4)/(-16). Which is greater: v or x?
v
Let t = 7594206077/18435 + -411945. Is 0 greater than t?
False
Let n be (-310)/620 + 2/4 + 0. Let c(v) = -130*v**2. Let u be c(-1). Let w = -654/5 - u. Which is smaller: w or n?
w
Suppose -400*f = -398*f. Let g be -3*(12/(-9) - -1). Let b be 34/72 - g/2. Is f bigger than b?
True
Let f = 22773 - 22824. Is f <= -56?
False
Let u be 8 + (-1 - 1) - (25 - 179). Which is greater: 145 or u?
u
Suppose -12*o + 13*o = 317. Let c = 445 - o. Is c greater than 129?
False
Let i be ((-324)/(-567))/((-4)/(-14)). Suppose u = -i*u + c - 305, 3*c - 15 = 0. Which is greater: u or -506/5?
u
Let l = -942849 - -1742384837/1848. Let p = l - 5/56. Which is smaller: 1 or p?
p
Let k be (-1)/(-3)*1098/7503. Are k and 43 nonequal?
True
Let c = -97 - -100. Suppose -c*f = 4*x - 2*f, -3*x - 5*f - 17 = 0. Is x bigger than -1/439?
True
Let a = -34112/33 - -1034. Let g = 4933/165 + a. Is 30 >= g?
False
Suppose -115*n + 118*n + 3 = 4*f, -5*n = 2*f + 31. Which is bigger: f or -994?
f
Suppose -3*u - u - 50 = 2*g, -4*g - 5*u = 88. Let f = 1593 - 1611. Is f greater than g?
False
Let v = -3.13 - -1.063. Let z = 0.069 + v. Let c = z + -0.002. Which is bigger: -4/5 or c?
-4/5
Let z = -4/333 + -8210/333. Is 8 smaller than z?
False
Suppose -7*u = 4*i - 3*u - 4, 0 = -4*u + 16. Which is greater: i or -29/11?
-29/11
Suppose -3*u = -v + 20, -2*v = 3*u - 19 + 51. Let y be (-51)/(-2)*u/12 + -4. Is -23 > y?
False
Suppose 0 = 3*u - p - 6, 12*u = 10*u - p - 1. Do u and 2/12033 have the same value?
False
Let f = -247 - 68. Let k = 318 + f. Which is smaller: 0.51 or k?
0.51
Let d = 1/11127 - -355991/8122