5. Which is smaller: g or -0.019?
-0.019
Suppose 0 = 109*t - 128*t - 2337. Which is bigger: t or -125?
t
Let a = -6047/18 + 2009/6. Let z = 9/2 - 41/10. Is z bigger than a?
True
Let j = -4622 - -4622. Let w = 7 - 7.14. Is j smaller than w?
False
Let p be 1 + 2/(2/(-1)). Suppose -6*f + 16 = -2*f. Let m be (18/f)/3 + (-6)/12. Are p and m non-equal?
True
Suppose -12*i + 8*i = 4, 5*y - 2498 = 3*i. Is 499 less than y?
False
Suppose -9 = 5*n - 3*y + 5, -y = -3*n - 6. Let j be ((-36)/(-176))/(11/(-8) + 1). Is j <= n?
False
Let i = -3.78 - -4.78. Is i > 446?
False
Suppose 14*o = 15*o. Suppose 4*t = -o*t + 16, -2*d = -2*t + 36. Let s = d + 155/11. Is s at least as big as 1?
False
Let g = 2/1277 - -1259/11493. Is -87 less than or equal to g?
True
Let k = 19 - 18.89. Let s = k + 5.89. Let m = s - 5.9. Which is greater: m or 0?
m
Suppose 0 = 3*b - 2*b - 4*g - 22, -3*g = 2*b. Let a = b + -12. Let o be (-4)/(-8) - 4/a. Which is greater: o or 1?
o
Suppose -x + 3 = -0. Suppose -g - x = 3. Let z be ((-3)/g)/((-6)/(-4)). Do 0 and z have the same value?
False
Let n = 0 + 10. Suppose -3*u - 4*s + 2*s - n = 0, 2*s = 2*u. Are 2/3 and u nonequal?
True
Let o be -292*6/3*(-7)/28. Which is smaller: o or 587/4?
o
Let g = 2/6779 - 549109/33895. Is g > -0.1?
False
Let s = -541/208 - -17/16. Which is smaller: s or -3?
-3
Suppose -5*j + 4*u - 8*u = 34, -3*j - 13 = -5*u. Are -2/13 and j nonequal?
True
Let p be 2/(-18) - (-8)/((-576)/(-2600)). Let f be 2*4/16*74. Which is smaller: f or p?
p
Let m(z) be the first derivative of -10*z**2 + 88*z - 51. Let u be m(6). Is u at most -31?
True
Let t be (-8)/(-2)*46/(-40). Is -5 bigger than t?
False
Let h = 213089/41265 - -7/655. Let l = -92/75 - -1376/225. Let b = l - h. Is b at least -3?
True
Let o = -363 - -347. Which is bigger: -2/31 or o?
-2/31
Let t be (166/(-5))/(4/(-120)). Is t != 995?
True
Let t = -8/55 + -54/385. Which is greater: t or 0.46?
0.46
Suppose -2*r + 2*s = -186, 2*s = -5*r + 199 + 287. Suppose g - 5*g = -r. Which is bigger: 2/11 or g?
g
Let y(b) be the second derivative of -7*b**3/6 + b**2 + 10*b. Let u be y(-1). Is 8 < u?
True
Let g = 10.6 + -19.6. Let f = -10.31 + 1.21. Let q = g - f. Is 3 >= q?
True
Let r be 26*(-3)/(-12)*2. Suppose -2*b = -3*d - r, 3 = -5*d - b - 10. Let u be 2 + ((-120)/(-14))/d. Which is smaller: 1/4 or u?
u
Let b = 0.058 + 21.942. Let u = b + -21. Is u less than 0.2?
False
Let y be -1*(-1)/(1 + 0). Suppose y = 13*v - 12*v. Let w = -1374/7 - -196. Is w at least v?
False
Let z be 6 + -16 - 149/(-15). Is z smaller than -1?
False
Let b(p) = -p**2 - 8*p - 6. Let v be b(-7). Suppose v = -d - 2, -5*d - 15 = l. Suppose -x + l*x - 13 = -4*m, -3*x - 2*m - 39 = 0. Does x = -12?
False
Let v = -1071.606 + -0.394. Which is smaller: -2 or v?
v
Let h = 3 + -2.924. Let o = h + 0.024. Is o >= 10?
False
Suppose -3669 = 9*c + 1299. Which is bigger: c or -553?
c
Let m = -22 + 24. Suppose -m = d - 3. Let u be ((-6)/(-32))/((-6)/(-4)). Which is greater: d or u?
d
Let k(p) = p**3 - 4*p**2 + 8. Let o be k(4). Suppose -3*u - 4 - o = 0. Suppose 4*y - 20 = 0, -4*s - 40 = s - 4*y. Are s and u equal?
True
Let g(y) = y**3 - 3*y**2 - y + 3. Let b be g(4). Let a(i) = -i**2 + 19*i - 68. Let l be a(13). Which is smaller: l or b?
l
Let i(p) = 2*p - 2. Let l(u) = u**2 - 5*u - 5. Let w be l(6). Let x be i(w). Which is smaller: x or 3/16?
x
Suppose -x = -6*x - 20, 12 = k + 2*x. Suppose -5*t + 25 = -5*o, -o - k = 3*o. Let f = -3 + t. Is -3 less than f?
False
Let u = 66246/23 + -2880. Suppose -5*z + 2 = 2*g - 0*z, 0 = -5*z. Is g < u?
False
Let n = 1525/12 + -127. Is 1/12 equal to n?
True
Let k be (60/(-125)*-5)/((-1)/5). Let m = 10 - k. Which is bigger: 23 or m?
23
Let y be (6/(-8) + 273/12)/(-2). Let b(s) be the first derivative of s**4/4 + 4*s**3 + 5*s**2 + 10*s - 1. Let h be b(y). Is h < 21?
False
Let m be ((-8)/(-455))/((-22)/55). Let h = m - -30/91. Are h and 4 unequal?
True
Suppose -9 = -p - z - 4*z, -2*z = -4. Let c be 1 + (2 + -2)/(p/(-1)). Which is bigger: -2/51 or c?
c
Suppose -9 = -2*c - c. Suppose 4*r + 11 = -5, c*r + 12 = -5*m. Suppose -2*d - 5*i - 2 = 7, 0 = -d - i - 3. Which is greater: m or d?
m
Let i = -271 - -271.01. Which is smaller: -35 or i?
-35
Suppose 8 = 3*a - 4. Suppose 0*t + a*t - 27 = f, 2*t - 19 = -5*f. Suppose -2 = 4*v + 3*w, -v - 2*w - t = -4*v. Are v and -1/6 nonequal?
True
Let x(b) = b**3 + b**2 - 5*b + 6. Let h be x(-3). Suppose 0*n = 2*j + 4*n, 0 = -4*j - h*n + 5. Is 2 greater than j?
False
Let b = 14.5 + -14. Let g = -18.9 + 18. Let c = g - -2.9. Do b and c have different values?
True
Let q be -6 - ((-9)/(-21) + (-543)/91). Let y = -3 - -2. Is q at most as big as y?
False
Let v(l) = 4*l - 28. Let j be v(7). Suppose -6*d + j*d = -d. Is 4 at most as big as d?
False
Let q = -15 + 14. Is -131 greater than or equal to q?
False
Let z(l) = -2*l + 6. Let g be z(5). Let r be 0/(g/4 - -2). Suppose 3*n - 5*a = 3, 2*n - 5*a - 2 = -0*a. Which is greater: n or r?
n
Let f be 11388/273*1/(-2). Is f less than or equal to -21?
False
Let b = -607 + 605.3. Let g = 2.09 + -11.39. Let f = g + b. Which is bigger: f or 0.1?
0.1
Let p be (-85)/30*3/2. Let v = -201 - -198. Is v at least p?
True
Let k be (-5 - -1)*6/12. Let g = -21 - -21.03. Let p = -0.23 + g. Is k less than p?
True
Let f = -64 + 90. Let y = 11 - f. Let v = 16 + y. Is v at most as big as 0?
False
Let t(b) = 2*b**2 + b + 2. Let q be t(-2). Let s = 9 - q. Let n = -757 - -28011/37. Which is smaller: n or s?
n
Let o = 104.96 + -105. Which is bigger: -7/5 or o?
o
Suppose 12 = 5*w + 7. Let n be (-6)/(3 - (-2)/(-2)). Let i = n - -4. Do i and w have different values?
False
Suppose -6 = 2*t - 2*r, t - 4*r + 7 + 5 = 0. Let m = -472 - -5196/11. Which is bigger: m or t?
m
Let a = -1240/18833 + 6/509. Let o be (2/4)/((-2)/(-56)). Suppose -o*r = -35*r. Is a not equal to r?
True
Let l = -1196 - -1324. Suppose -616 = -4*c - 108. Is c smaller than l?
True
Suppose 16 = -5*q + 36. Suppose 104 = -q*k - 76. Are k and -46 equal?
False
Let q(a) = 68*a - 2. Let g be q(1). Let p = g - 68. Suppose -2 = 2*z - 0*z. Which is greater: p or z?
z
Suppose -6*b + 118 = 40. Suppose b*h = 14*h - 3. Which is greater: h or 13?
13
Let k be (-96)/((2 - 3)*1). Let g = 63 - k. Is -33 bigger than g?
False
Let b = -23 + 22. Let y be 11 + -9 - (b + 4). Let h = 1/338 + 657/6422. Which is greater: h or y?
h
Let i be (14/105)/(4/3). Suppose 0 = -5*o + o - 4. Which is greater: o or i?
i
Suppose c + 2 = -c - 3*j, 0 = c + 5*j + 8. Let g = -65.06 - 1.24. Let h = g - -66. Which is bigger: c or h?
c
Suppose 5*u - 2*v - 6 = 0, -5*u + v - 6*v + 20 = 0. Suppose -4*d - 11 = 5*r + 21, 5*r + 14 = u*d. Let b be (-9 + 4)*(2 - (1 - 0)). Which is bigger: d or b?
d
Let x = -0.2 + 3.2. Let a = x - 1. Let k = 2887/5786 - -3/2893. Which is smaller: a or k?
k
Let g = 0.01 + 0.26. Let s = g - 0.17. Is s at most as big as 3/8?
True
Let z be (-951)/14*(-13)/(273/14). Is z at least as big as 44?
True
Let o = 294 + -156. Let s = 143 - o. Is s greater than or equal to 50/11?
True
Suppose 0 = 5*u + 5*r, -2*r + 28 = 2*u - 7*r. Suppose -6 = u*c + 14. Suppose j - 4*y = -4 - 12, 5*j + 5*y + 5 = 0. Which is bigger: c or j?
j
Let r be ((-120)/4)/3*-2. Let p be r/5 + (-18)/5. Which is smaller: 0 or p?
0
Let g = -24 - -24. Which is greater: 4/141 or g?
4/141
Let f = -45 + 674/15. Let s = -9 - -10. Which is smaller: s or f?
f
Suppose 0 = -2*g - 3*u + 6, 0 = -3*g + 2*u - 1 - 3. Let r(n) = 3*n + 31. Let d(f) = f + 15. Let s(x) = 5*d(x) - 2*r(x). Let b be s(13). Does g = b?
True
Let h = 2.39 + 95.61. Are h and -1 unequal?
True
Let x = -10681 + 950620/89. Is 1 less than or equal to x?
False
Suppose 10*t + 6*t = 160. Let r(n) = -n**2 + 13*n - 12. Let i(m) = -m**2 + 14*m - 12. Let u(d) = -2*i(d) + 3*r(d). Let q be u(t). Is q <= -8/3?
False
Let c = -46 - -369/8. Let n = -0.1 - 0. Let u = n + 0.2. Is u less than or equal to c?
True
Let j be (-3)/(27/12)*-3. Let x(b) be the second derivative of b**4/12 - 5*b**3/6 + 5*b**2/2 + 3*b. Let d be x(j). Which is bigger: 3/2 or d?
3/2
Let o = -541 + 548. Which is smaller: o or -0.36?
-0.36
Let c = -1568 + -319. Is c at most as big as 1?
True
Let u be ((-82)/(-399176))/((-1)/8). Which is smaller: 0 or u?
u
Suppose 4*w - 22 = 98. Which is greater: 119/4 or w?
w
Let m = 7 - 1. Let s(j) = 4*j + 52. Let c be