002 + -0.08998. Suppose 3*g - 51 = 57. Which is greater: x or g?
g
Let t be 2 + -17 + 3052/218. Which is smaller: t or -81/40?
-81/40
Let j(d) = -2*d**2 - 8. Let c be j(8). Let g be (-1406)/10 - (-120)/(504/21). Which is smaller: g or c?
c
Let h be (12/(-10))/((-4)/10). Let l(s) = -6 + 3*s**h + 3*s**2 - 18 + 22 - s. Let c be l(1). Is c bigger than 3/2?
True
Let k(w) = -13*w + 859. Let i be k(66). Is i greater than -37.18?
True
Let l = -3628 + 1122. Is -2505 less than or equal to l?
False
Let k be -17*(3/(-1) - -1). Let r = k + -60. Let b(l) = -l**3 - 75*l**2 - 68*l + 417. Let c be b(-74). Are c and r equal?
False
Suppose -16*i = -14*i - 72. Let p = i - 96. Which is smaller: p or -59?
p
Let s be 12/((18/(-15))/(60/200)). Let r be (-2)/(-4)*(0 - 16). Let g = r - -5. Is s less than or equal to g?
True
Let d = -6024 + 12051/2. Let p = 20193/5 - 3956. Let f = -83 + p. Are d and f nonequal?
True
Let z = -80 - -77. Let y(i) = 50*i**3 - 2*i**2 + 7*i + 4. Let x be y(z). Let t be -10*(-5 - x/275). Is t equal to 1/2?
False
Let y(u) = -37*u + 157. Let a be y(5). Let q be 12/(-2 - -5) + 54 + a. Which is greater: q or 0.2?
q
Suppose v - 12*z - 585 = -11*z, 2*z + 2910 = 5*v. Is 577 greater than v?
False
Let g be 14/28*526*-1. Is g greater than -263?
False
Let a = -13/1061 + -1006837/4244. Is a bigger than -236?
False
Let p be 4/(-14) - (-51)/7. Let i be ((-148)/(-16) - 1)/((-8)/(-32)). Is i equal to p?
False
Suppose 0 = 3*g - b - 866, 412 = 2*g + b - 162. Which is smaller: 289 or g?
g
Suppose -27 = 2*g - 5*g. Let d = 14 - g. Suppose -7914*l = -7886*l. Which is smaller: d or l?
l
Let n(g) = g**3 + 7*g**2 + 4*g - 3. Let o be n(-6). Suppose -3*y = 9 + o. Let a be 8/y + 16/12. Is -4/7 >= a?
False
Let k be (77/88)/(4/(-2072)). Are -453 and k equal?
False
Suppose r = 3*a - 20, 0*a + 2*r + 16 = 3*a. Let s be (-3)/(-36) + 84469/17556 - (-2)/19. Which is smaller: a or s?
s
Let c = 60.2 + -4. Let x = c - 56. Let k = -0.16 - -0.2. Is x <= k?
False
Let q = -120 - -46. Let u = q + 74. Is -4.4 at least as big as u?
False
Suppose -z + 3*c + 185 = 3*z, 6*z - 3*c - 285 = 0. Let s be 1/(-2) - 210/(-4). Let g = z - s. Which is greater: g or -10/9?
-10/9
Let c be (-9)/99*566/(-100). Let k = c + -4/275. Which is greater: k or -44?
k
Let i = -0.514 - -0.307. Let x = i + -0.063. Let g = -0.04 - x. Which is smaller: 0.1 or g?
0.1
Let j = -380 - -406. Let x = 3 + 24. Let r = j - x. Is r less than -14?
False
Let j(f) = -f**3 - 7*f**2 - 4*f + 16. Let i be j(-7). Suppose 3*m = 5*k + 64, 3*m = 3*k - 8*k + i. Let n be m/162 + 5/36. Which is greater: n or -5?
n
Let t be 18/126 + 7334/14. Let j = t - 3023/6. Is j greater than or equal to 21?
False
Let j(g) = -23*g**2 + 129*g - 510. Let u be j(-20). Is -12290 >= u?
True
Suppose -67 = -2*w - 81, -3*w + 4081 = c. Are c and 4105 nonequal?
True
Let s = -220/39 - -1475/273. Which is bigger: 2/7 or s?
2/7
Let s = -486 - -498. Let g be 150/s*24/10. Is g greater than 28?
True
Suppose 5*g = 4*d - 101, 2*d + d + 3*g = 96. Suppose 20*u - d*u - 288 = 0. Which is smaller: u or -220/7?
u
Let o be ((-693)/55)/(-21)*(16/(-10386))/4. Which is smaller: 0 or o?
o
Let w = -10.572 - -14.742. Which is bigger: w or 0.2?
w
Let x be (49 - 5)*(1659/(-168) - -10). Is 126 greater than x?
True
Suppose -i + 4*v = -418, i + 4*v = -112 + 522. Let l(c) = 12*c**2 + 124*c - 3. Let s be l(-13). Which is smaller: s or i?
s
Let y = -101 + 39. Let b be (2/(-3)*(-96)/64)/((-85)/5355). Is b > y?
False
Let g = 4.7 - 0.7. Let j = -4.08 + g. Let h be 30*16/480*(-4)/(-14). Which is bigger: h or j?
h
Let m be (-11 - -15) + -9 + 5*3/(-3). Which is smaller: -56 or m?
-56
Let s be 0 + 54/(-40) - -1. Let r(x) = -x**3 + 10*x**2 + 14*x - 34. Let u be 64/6 - (1 - 8/6). Let f be r(u). Is f less than or equal to s?
True
Let z be -383*3*(-63)/(-9051) + 8. Which is greater: z or -1?
z
Let y(m) = 6*m - 4. Let p be y(1). Let a be 0/(1 - p) + (21 - 20). Suppose -u = -0*u - a. Which is smaller: u or -2/7?
-2/7
Let y = 2.5771 + -2.5078. Which is smaller: -15 or y?
-15
Let i(v) = -7*v**3 - 11*v**2 - 46*v - 23. Let x be i(-6). Which is bigger: x or 1367?
x
Suppose 18*z + 7*z = 0. Suppose -13 = 4*h - 1, z = 5*r - 2*h - 36. Which is greater: 5 or r?
r
Let n = -572/5 - -115. Suppose 2*o + 0*c - 3 = -3*c, o + 3 = -3*c. Let i(x) = x**2 - 5*x - 6. Let s be i(o). Is s >= n?
False
Suppose 3 = v + 1. Let m be (-1)/2 + v/(-4). Let l be 5 + (12/5)/4 + (-205770)/36575. Which is bigger: m or l?
l
Let o = 3928 - 3931. Which is smaller: o or 79?
o
Let b = -11 + 8. Let r(c) = -c**3 - 16*c**2 - 15*c - 2. Let d be r(-15). Let q be d + (-2 + 32/44)*1. Is b < q?
False
Let m = 2461 - 2460.9431. Which is smaller: m or -1/3?
-1/3
Let a = -1716 + 1701. Which is smaller: a or -8?
a
Let n be 2*(78/105 - 18/30). Suppose 4*x - 29 = 3. Suppose -2 = -t - x. Is n bigger than t?
True
Suppose 474*p + b + 2 = 473*p, -4*p + b = -17. Let l(c) = -4*c + 4. Let i be l(3). Is p smaller than i?
False
Let y = -8297 + 8297. Let t = -454 + 454.247. Is t less than or equal to y?
False
Suppose 0 = 4*t + z - 261, 3*z = 3*t + 4*z - 195. Suppose 19*c - 1300 = 9*c. Suppose -78*s - c = -80*s. Is t greater than or equal to s?
True
Let b = -221 - -223. Suppose 3*v - 12 = -2*q, q + 2 = -b*v + 10. Which is smaller: -4 or q?
-4
Let a(q) = -45*q - 9. Let r be a(3). Let d = -151 - r. Suppose -4*v - 24 = 12. Are d and v nonequal?
True
Let b(z) = 6988*z**2 - 37*z - 37. Let a be b(-1). Are a and 6990 nonequal?
True
Let f be (-692)/4 + 12/(-4). Let c = 175 + f. Is c at most as big as 1/53?
True
Let l be -4 - (2010/(-420) + (-24)/14 + 2). Let r = -5.68 - -0.18. Is r >= l?
False
Let b(p) = -13*p**2 - 5*p + 1. Let z(n) = -12*n**2 - 4*n + 1. Let s(o) = -2*b(o) + 3*z(o). Suppose -6 + 0 = 3*f. Let a be s(f). Which is smaller: -34 or a?
a
Let b be -9*(2/7 - (-13)/(-21)). Suppose -b*f = -2*t + 1, t = f + 5*t - 23. Which is greater: f or 4?
4
Suppose 13*t + 5*m + 1370 = 8*t, -m = 4*t + 1084. Let c be ((-10)/(-3))/(75/t). Is c bigger than -16?
True
Let w be 40/(-176)*(-15)/(-130). Is w > 0?
False
Suppose 0 = -0*h - 10*h - 3*h. Suppose 2*v + 3*j - 107 = h, -j - 2*j + 3 = 0. Which is bigger: -1 or v?
v
Let z be -25*14*2/(-90). Let f = 340.8 + -341. Does z = f?
False
Let m be 327/2*4/6. Suppose -6*r = 4*r - 5*p - 10, -3*r - 2 = p. Suppose r = 5*d + 126 + m. Does -46 = d?
False
Let y be 4/(-12)*15*(-9)/(-45). Let i be (-10)/(-14) + (-28)/49. Is y at least as big as i?
False
Let d = -20300/394329 + 2/10111. Which is greater: d or 54/7?
54/7
Let n be (-3 + 220/72)/(1/(-3)). Let o = 2/9 - -5/18. Which is greater: n or o?
o
Let m = -29.9 + 170.9. Let k = m - 141. Let u = 52.979 + -53. Are u and k equal?
False
Let w = -22042140904/50649 - -435194. Which is bigger: 0 or w?
w
Suppose 3*d - 2*n + 7 = 0, 11*d - 9*d + 13 = 3*n. Let b = 175.7 - 181. Which is smaller: d or b?
b
Let k = 2 - 2. Let c be 1/3 + 52/6. Suppose k*r + c = -r. Is r smaller than -11?
False
Let q be (-3)/2*8/((-120)/35). Let h be (-6 - -3)*1 - -6. Let d = 2 + h. Which is smaller: q or d?
q
Suppose 0 = -5*f - 5. Let a be f - ((-4)/126 + -1). Suppose -38*z - 91 + 53 = 0. Which is smaller: a or z?
z
Let g = -629 + 558. Let w = -11 + 9. Is g != w?
True
Suppose 12*n - 12 = 8*n. Suppose 7*g = c + 9*g - 10, n*c - 27 = -5*g. Suppose 2*w + w + 6 = c*z, -10 = 5*w. Does -8/3 = z?
False
Suppose -98*l + 8856 = 48*l - 23*l. Is -2/555 at least as big as l?
False
Let o = -72 + 77. Suppose 0 = o*p + 769 + 381. Let k be (-10)/40 + p/(-856). Is k at most as big as 0?
False
Let i be ((-6)/(-45))/(2/(-6) + 0). Let a = -40 + 41. Which is greater: i or a?
a
Let s = -947.01195 - -0.01195. Which is greater: s or -2/19?
-2/19
Let a be (-105)/(-119) + 1/((-3)/2). Let i = -318034/2365737 + -57/4217. Let c = i - a. Which is smaller: -1 or c?
-1
Let y(o) = -28*o + 341. Let z be y(14). Let u = -108 - -53. Is u greater than or equal to z?
False
Let i = -51.5 - -2.5. Let z = 41.7 + 4.3. Let k = z + i. Which is bigger: 5 or k?
5
Let a = 0.1 + -0.1. Let r = 1864.8 + -1041. Let m = -824 + r. Is m less than a?
True
Suppose -2*i + 16 = 2*i. Let o(n) = n**3 + 4*n**2 - 9*n - 4. Let k be o(2). Let w = 29/5 - k. Is w less than i?
True
Let i(g) be the third derivative of -g**5/60 + g**4/3 - 17*g**3/6 - 85*g**2. Let v be i(4). Which is smaller: v or -9/7?