0 = -2*r - 3*d - 2. Let n be s(r). Suppose -11 = g - 16. Which is smaller: n or g?
g
Let n(f) = -2*f**2 + 27*f + 14. Let k be n(14). Which is bigger: k or -6/175?
k
Suppose -3*l = -4*l + 98. Let m = -69 + l. Is m != 30?
True
Let x = 2 - -75. Let z = x - 73. Let w be 1 + (-4)/(2/1). Which is bigger: w or z?
z
Let i be ((-4)/(-10))/(2/10). Suppose -x = -i*x. Suppose -5*j + j = x. Is j greater than or equal to 1?
False
Let f = 323/3 - 118. Which is smaller: -7 or f?
f
Let h(y) = y**3 - 12*y**2 + 17*y - 43. Let n be h(8). Is -162 < n?
False
Suppose 0 = -3*u - 2*w - 2*w - 35, -4*u = -2*w + 32. Let r = 1 + u. Is -8 at least r?
True
Let c be (-42)/4*11/((-198)/24). Is 16 not equal to c?
True
Suppose 5 = 2*i - a + 4*a, 2 = -i + 3*a. Suppose h - i = 0, -2*h = o - 0*h - 7. Is 38/9 equal to o?
False
Suppose -9 + 3 = -3*b. Suppose b*o - 13 = 1. Suppose 2*p + o = 1, -p = 5*q - 12. Is 2/5 at most q?
True
Let m = -216 + 197. Is -55/3 greater than m?
True
Let a be 4035/100 + (-1)/(-4). Let x = a + -40. Let f be (-4)/(-6) + (-7)/(-21). Is f less than x?
False
Let m be ((-5)/7 + 2)*1. Let n be 45/105 - (-218)/14. Suppose n*b = 14*b. Does m = b?
False
Let m(w) = 2*w**2 + 7*w - 69. Let k be m(12). Is k at least 305?
False
Let i(g) = -g**2 - 9*g - 9. Let a be i(-6). Let t be 9/(-2 + 1 - 0). Let c be (0/(-1))/(t/a). Are c and 0 non-equal?
False
Let w = 1 + -5. Let a be 0 + (4 + -8 - 4). Let p be (-6)/a - (-76)/(-16). Is w != p?
False
Let q = -0.024 - -2.824. Let k = -0.8 + q. Let f be (-15)/9 - -1*1. Is k bigger than f?
True
Let p(r) = r**3 - 9*r**2 - 2*r - 17. Let y(k) = -5*k**3 + 37*k**2 + 9*k + 67. Let x(j) = 9*p(j) + 2*y(j). Let d be x(-7). Are 1 and d nonequal?
True
Let b be -73*(5/7 + 4/14). Let a = -40 - b. Is a bigger than 34?
False
Let n(l) = l**2 - 16*l + 19. Let d be n(15). Suppose 0 = 2*a - d*t + 10, 87 = -5*a - 3*t + 23. Which is greater: a or -1/4?
-1/4
Let u = -29.994 - -30. Let r = u - -11.994. Which is smaller: r or 0?
0
Let r be (2/4)/((-2)/32). Let c = -33 + 35. Which is smaller: c or r?
r
Let x be 1/2 + (-10)/4. Let p be 1*2 - (4 + x). Let c be p/2 + (-8)/(-6). Are 1/2 and c non-equal?
True
Suppose -46*q - 135 = -41*q. Is -25 not equal to q?
True
Suppose 0 = 2*v - 6, -2*v + 18 = 3*h - 0*v. Let w = -29.6 + 27. Let j = w - 0.4. Is h at least as big as j?
True
Let w = 304.0934 + -0.0934. Is w >= -2/3?
True
Let w be (-1 - 0)*(-3)/(-1). Let t be ((-11)/(-4))/(w/168*-7). Is 21 != t?
True
Let r(k) = 2*k**2 - 37*k + 21. Let q be r(18). Let n be q + 2/(-40) - 3. Are -1 and n nonequal?
True
Let h = -13 + 9.8. Let v = h - -3. Let d be (-38)/(-88) + 2/(-8). Which is smaller: v or d?
v
Let r(h) = h**3 + 11*h**2 - 14*h - 23. Let d be r(-12). Suppose 0 = -2*k + 2*i - 12, 2*k = 3*i - 17 + 3. Let n be (d - 2)*(k - -4). Which is greater: -4/9 or n?
n
Let j be 1 + 11/(-33) - (-37)/(-24). Is -2 greater than j?
False
Let z(i) = i**2 + 3*i - 18. Suppose -3*g + 1 - 19 = 0. Let h be z(g). Which is bigger: -1/186 or h?
h
Let t = -2/27 + 11/27. Let p = -61/114 + 7/19. Let h = t + p. Which is smaller: 1 or h?
h
Suppose -3*b = -b - 6. Let o be -1*b*1/12. Let n be 4 + ((2 - 2)/1 - 3). Is n bigger than o?
True
Suppose -36*n = -68*n. Is n smaller than -205?
False
Let b = -331 + 371. Is 44 greater than b?
True
Let s(c) = -c**2 - 9*c + 13. Suppose 0 = -6*g + 2*g + 16. Let l be 40/(-15)*15/g. Let m be s(l). Is 4 at most as big as m?
False
Let h = -424 - -424. Let o = 419/4 - 104. Which is greater: o or h?
o
Suppose -4*c = -5*c + 3*k + 28, 0 = -2*c - 2*k + 32. Let h = 7 + 1. Let t = c - h. Which is greater: t or 10?
t
Let v = -12.29 - -12.3321. Which is smaller: v or -0.1?
-0.1
Let c(q) = q**2 + 6*q - 11. Let t be c(2). Let j be (-363)/(-9) + t/3 + -1. Which is smaller: 83/2 or j?
j
Let y(f) = f**3 - 13*f**2. Let l be y(13). Suppose 3*h + l*h - 38 = 5*b, -4*b - 24 = -2*h. Which is bigger: 0 or h?
h
Let r(g) = g**2 - 8*g - 6. Let v(i) = 8*i + 7. Let t(d) = 2*r(d) + 3*v(d). Let a be t(-4). Let o be (-6)/a - (-65)/30. Is 0.1 > o?
False
Let m = 1.74 - 0.74. Which is smaller: -188 or m?
-188
Let u be (-4)/(-2) + (-102)/36. Is -2 smaller than u?
True
Let s = -1789/4510 + -3/902. Is s less than -18/61?
True
Suppose 3*i + 15 = -q + 2*i, 0 = 4*q + 3*i + 56. Let w be (-2)/(((-2)/(-5))/1). Let x(d) = d**2 + 6*d - 5. Let o be x(w). Which is greater: q or o?
o
Suppose -4*j = 2*z - 126, -z + 5*z = -4. Let w be (-63)/(-2) + (-9)/(-6). Is j at most w?
True
Suppose 5*o - 49*u + 45*u - 4 = 0, o - 5*u + 16 = 0. Which is bigger: 5/6 or o?
o
Let h(m) = 17*m**2 + 6*m - 6. Let a be h(1). Let j be -1*2 - -1 - -21. Is a at least as big as j?
False
Suppose -76 + 16 = -6*c. Suppose c = 2*n + 4. Which is greater: 9/5 or n?
n
Let y = -3/17 - -26/51. Is 72 < y?
False
Suppose -2*m + 1 + 5 = 0. Let i be -3*4 - (m + -6). Let b be 3/i - (-2)/(-6). Which is bigger: b or -2?
b
Let r(s) = -s**2 + 7*s + 2. Let y be r(3). Suppose t - y = 3*u, t = -0*u + 2*u + 16. Is t smaller than 18?
False
Let z = -359157/62 - -5793. Which is bigger: 1 or z?
1
Suppose -6*i + 47 = 197. Which is bigger: -8 or i?
-8
Let y = -274 + 273. Let f be (-1151)/(-20) + (-3)/(-12). Let r = -58 + f. Which is smaller: r or y?
y
Suppose -3*r = 5*d - 3*d - 21, 3*d + 3*r = 33. Is d at most as big as 23/2?
False
Let b = 0.36 - 0.4. Let q = -0.07 - b. Which is bigger: q or 0?
0
Let m = -19 + 28. Let o(t) = -7*t**2 + 9*t + 10. Let v be o(m). Let c = v - -3340/7. Is c greater than or equal to 0?
True
Let k be -4*(-4)/(-105) + (-4)/30. Let j = 0.05 + -2.05. Let c = 2.05 + j. Are k and c unequal?
True
Let u(w) = w**3 - 5*w**2 + 6*w + 3. Let b be u(3). Suppose 2 = -b*q + 5. Which is greater: q or 3?
3
Let c(b) = -b**3 - 6*b**2 - 2*b + 6. Let f be c(-5). Let n be f/6 - (-9)/6. Let y = n + 3. Is y greater than or equal to 2?
True
Let s = -48.956 + 49. Let x = 1.044 - s. Which is greater: -1 or x?
x
Let j = -9 + 8.9. Let k = j + -0.9. Let a be (12/(-9))/(2/(-6)). Which is smaller: k or a?
k
Let d = 18360/7 - 2624. Let u be 1 - (-2)/1 - -1. Let j be -3 - (2 - u) - 1. Which is smaller: j or d?
j
Suppose 33 = 5*m + l - 1, -m + 3*l = -10. Let i = -2 + m. Suppose 13 = -4*d - i*k, -1 + 23 = -d + 5*k. Which is smaller: 1 or d?
d
Let x = -682 + 680. Which is greater: -2/149 or x?
-2/149
Let b be 167/786 + 13/(-78). Which is smaller: b or -1?
-1
Suppose -7*z = -6*z - 2. Let t(u) = -4*u**2 + 6*u - 3. Let i be t(z). Let c = 1 + -3. Do c and i have the same value?
False
Let q be (-24)/(-36)*-1*6. Which is greater: q or -112/29?
-112/29
Let g be (4/12)/(12/180). Let u = 64/3 + -17. Which is bigger: u or g?
g
Let x be (-20)/(-17) + 0 + 1/(-1). Which is greater: -1 or x?
x
Let v be (-6 - -6) + (-6)/22. Suppose -k = 1 + 1, 2*l - 3*k = 6. Which is bigger: l or v?
l
Let l = -89 + 85. Suppose -3*j = -8*j - 10. Which is bigger: l or j?
j
Let h = 383 - 4975/13. Which is smaller: -2/47 or h?
-2/47
Let j be 39/106*4/(-6). Let u = 405/1219 + j. Let s be (4/8)/(2/(-4)). Which is greater: s or u?
u
Let g = 45 - 29. Suppose 17*r - 284 = 5. Let d = r - g. Which is smaller: 5/11 or d?
5/11
Suppose -5*b - 3*o - 7750 - 3374 = 0, 4*o = -4*b - 8904. Which is smaller: 2/7 or b?
b
Let t = -94/45 + -144/5. Let g = t + 31. Let c = -2 - -3. Which is bigger: g or c?
c
Let b = -0.065 - 64.935. Let f = 32 + b. Which is greater: 0 or f?
0
Let l be (-2)/4*(-1590)/3. Let h = -2/559489 - -1632029435/6154379. Let r = h - l. Is 1 <= r?
False
Suppose 0 = 3*z - 540 + 897. Are -119 and z nonequal?
False
Let h = 19.62 - 19.77. Which is smaller: -60 or h?
-60
Let d be (28/(-21))/(2/99). Are d and -5 nonequal?
True
Let z = -409 + 14317/35. Let h(d) = d**2 + 8*d - 1. Let r(g) = -g**2 - 9*g + 2. Let x(y) = -3*h(y) - 2*r(y). Let b be x(-6). Is z at most as big as b?
False
Suppose -5*q + 5 = -6*q. Suppose -15*k + 180 = -45*k. Which is greater: q or k?
q
Let y = 3353 - 254. Let c = y - 27926/9. Let m = c + 391/99. Which is smaller: m or 0?
0
Let u = 0.79 - 0.69. Are u and -0.09 equal?
False
Let c be (-2 + (-26)/5)/((-50)/125). Which is bigger: c or 19?
19
Suppose q - 3*d + 1 = 0, 4*d = q + q + 6. Suppose -3*u - 5*z = 19, 12 = u - 2*z - 0*z. Suppose -2*w - 20 = -0*w - 4*n, 5*n = u*w + 21. Which is greater: q or w?
q
Let h = -1.611 - -0.611. Which is smaller: -0.859 or h?
h
Let t = 28 - 38. Let y be (68/10)/((-4)/t