g - 3*g + 25. Let w = 49/2 - g. Is -2 at least w?
False
Let j(r) = r**2 + 12*r + 3. Let a be j(-12). Suppose 25 = a*s + 4*n, -2*s = s + 3*n - 21. Is 2 > s?
False
Suppose -5*t - 54 = y, 0 = -2*y + 6*t - 2*t - 38. Let c = y + 57/2. Is c < 2?
True
Suppose 0 = 3*d + 2*d + 30. Let o be (19/d)/(1 + 0). Let t = o - -11/3. Is t less than 0?
False
Let v = 19 + -34. Are -13 and v unequal?
True
Let c be ((-18)/(-336)*-2)/((-2)/(-24)). Is c less than or equal to -2?
False
Let k be (-6)/(-2) + (-12)/1. Let n be (-2)/(4 + 68/(-18)). Is k != n?
False
Suppose -11*m - 12 = -1. Is m greater than or equal to 3/7?
False
Let x = 11 - 11. Suppose -5*z + 0*d + 14 = -4*d, x = -3*d - 3. Let w(o) = o - 2. Let f be w(2). Which is bigger: f or z?
z
Let x(a) = -5*a - 3. Let l(h) = 14*h + 9. Let i(n) = 3*l(n) + 8*x(n). Let f = 16 - 18. Let v be i(f). Is v < 0?
True
Let r(h) = -2*h + 38. Let v be r(20). Which is smaller: v or 1?
v
Let r(y) = y**2 - 8*y + 9. Let s be r(6). Which is smaller: -13/4 or s?
-13/4
Let y(s) be the second derivative of s**5/120 + s**4/24 + s**3/6 - 2*s. Let k(c) be the second derivative of y(c). Let r be k(0). Are r and -2/5 unequal?
True
Let i be (-3)/((-99)/186) + 2. Let r = i - 1786/231. Let t be (-2 + 1)*(-7 - -7). Which is greater: r or t?
t
Suppose 5*s = -5 - 0. Suppose -2*n = 5 - 1. Let k be 5/n*3/30. Which is smaller: k or s?
s
Suppose 2*z - 28 = 4*j, 5*z + 5*j = -3 - 2. Let p be (-3 + (-14)/(-4))/z. Which is smaller: 0 or p?
0
Let k(q) = q**2 + 6*q. Let h be k(-4). Let a(y) = -y + 7*y**3 - 4*y**3 - 8 - 2*y**3. Let v be a(0). Are h and v equal?
True
Let d be 3 + (3 - 55/10). Does -30 = d?
False
Let b be (-30)/45*(0 - 9). Is b smaller than -1/4?
False
Let v = 158 - 158.7. Is -5 != v?
True
Let i(o) = o**3 - 6*o**2 + 8*o - 7. Let n be i(5). Let q(k) = -k**3 + 8*k**2 - 2. Let g be q(n). Is g greater than -1/2?
False
Let x(k) = -2*k**3 - 2*k**2 - 2*k + 4. Let w(a) = 3*a**3 + a**2 + 2*a - 4. Let t(d) = -3*w(d) - 4*x(d). Let q be t(5). Which is smaller: 5 or q?
5
Let l be 4 - (1 - 147/(-48)). Is l < 0?
True
Let j = 3/155 - 397/4495. Is 0.1 >= j?
True
Let v = -23 + 15. Which is greater: -7 or v?
-7
Let a(h) = h**3 - 8*h**2 + 6*h + 2. Let w be a(7). Which is greater: w or 0.4?
0.4
Let p = -6 - -6.2. Is 5 smaller than p?
False
Let q = 0.25 + -1.25. Let r = 0.25 + 8.75. Which is bigger: q or r?
r
Let x = -3/38 - -39/133. Which is greater: 0 or x?
x
Let j be (-8)/(-6)*(-6)/(-4). Suppose 3*s = 5*m - 66, -5*s - 3 - 31 = -j*m. Let o be 1/(-4) - (-3)/m. Is 1 at least as big as o?
True
Suppose 2*n = 6*n + 20. Let a be (-3 - n)*3/(-6). Which is bigger: a or -6/13?
-6/13
Let z = -9 + 8. Which is smaller: z or -1/33?
z
Let l be 1*(2 + 7 + -2). Is l > 1/2?
True
Let o = 0.08 - -0.12. Let a = -7 + 5. Do o and a have the same value?
False
Suppose -4*h + w + 1 = -7*h, -4*h - 2*w - 2 = 0. Suppose 0 = -5*x - h*x. Let d(m) = m**2 + m. Let k be d(x). Does k = -0.3?
False
Suppose 4*y - 3*q - 12 = 5*y, 8 = y - 2*q. Is y <= -1/5?
False
Let i(m) = m**2 - 3*m + 4. Let h be i(4). Suppose -5*g = 3*v - h*v - 105, -52 = 2*v - 4*g. Let x = v - -63/4. Is 1 > x?
True
Let k be (0 - 0)/(4/2). Suppose k = 5*z - z. Let i = -1/2 - z. Which is smaller: -1/7 or i?
i
Let d = -0.7 + 9.7. Let n = d - 4. Which is smaller: n or 1/3?
1/3
Let m be (1 + -16)*(-10)/15. Let c = 16 - m. Is c >= -2?
True
Let j be 1 + 1 + 55/(-29). Which is smaller: j or 0?
0
Let f = 38 - 40. Let r be (-3)/(-9)*18/(-4). Are r and f equal?
False
Let m be (1 - -1)/((-6)/33). Is -10 less than or equal to m?
False
Let z = 59/195 - -2/65. Let j = -50 - -151/3. Is j greater than z?
False
Let b = -16 + 25. Which is smaller: b or 5?
5
Let t = -2911 + 206685/71. Let z = -343/213 - t. Is -2 less than z?
True
Let f(m) = -2*m**3 - 8*m**2 + 9*m + 5. Let p be f(-7). Let k be 1*p/(-120) + 2. Which is smaller: -1 or k?
-1
Suppose 13*s - 490 = 6*s. Is 1 < s?
True
Suppose -26 = 4*l - 30. Let p = -159 + 1116/7. Is p at most as big as l?
True
Suppose -4*t = -0*t + 4. Let f = -6/7 - -1. Which is smaller: t or f?
t
Let m = 51 + -72. Let n = m + 64/3. Let g be (-1)/4 - 5/(-20). Which is greater: g or n?
n
Let l(n) = -n + 5. Let v be l(3). Suppose -18 = v*c + c. Is c >= -6?
True
Let a(b) = -b + 5. Let y be a(5). Suppose y*x = x + 1. Is x bigger than 2/9?
False
Suppose 2*y + 6 = -y + 3*f, 4*f = 2*y + 4. Let l be 2 + 48/(-10) - y. Which is smaller: l or -2?
-2
Suppose 8*x = 5*x. Which is greater: x or -1/2?
x
Let o = -19 - -13. Let z be (8/6)/((-6)/27). Is o > z?
False
Let i = -11 - -5. Let a be 2/(3 + 33/(-12)). Let o = a + i. Which is bigger: o or 0?
o
Let d be 2/(-7) + (-82)/(-14). Let q = d + -149/28. Suppose w + 4*w = 5. Is w bigger than q?
True
Let w be (-3 + 6)/(-3)*-6. Suppose -x = -w*x - 30. Let b be (-8)/(-6)*x/(-20). Is b equal to -1?
False
Let t = 0.7 - -0.3. Let b = 0.05 - 0.04. Let y = 0.19 + b. Which is greater: t or y?
t
Let k be (74/(-60) - -1) + 12/30. Which is smaller: k or -2?
-2
Suppose -6 = -5*c + 4*c. Suppose 0 = c*o - 4*o. Suppose -n = 3*n. Is n greater than or equal to o?
True
Let y = -25/161 - 3/23. Let h(z) = 5*z + 2 - z - 3*z. Let o be h(-1). Which is greater: y or o?
o
Let h = 127 - 1396/11. Let z = 5005 + -275292/55. Let l = z - h. Is l smaller than 0?
True
Let q be (-3)/((-3)/(-2)) - -2. Suppose -3 - 7 = -2*k. Suppose 0*b + 4*b - k*o = -19, 9 = -3*b + 2*o. Which is bigger: b or q?
q
Let g = 25 - 20. Let w(t) = t**3 - 5*t**2 + 2*t - 6. Let m = -3 - -8. Let a be w(m). Which is smaller: a or g?
a
Let c = 123/74 + -6/37. Let a be ((-24)/(-10))/((-12)/(-30)). Let k be (-1)/(-3) + 4/a. Is k at most as big as c?
True
Let n = 25 - 323/13. Let b(z) = -z**3 - 4*z**2 + z + 4. Let d(k) = k**2 + 7*k + 6. Let i be d(-5). Let u be b(i). Are u and n unequal?
True
Suppose -4*r - 9 = -1. Let v be -3 - (10/r - -2). Suppose -44 = -4*t - v*o - 3*o, 4*o - 32 = -2*t. Is t less than or equal to 9?
True
Let r be 5 + (-5 - (-2 - 0)). Suppose -5 = -7*h + r*h. Is h at least 0?
True
Let a be 8/102*-2*(-18)/(-24). Which is greater: 1 or a?
1
Let a be (-7)/(-5) - (-2)/(-5). Which is bigger: 9/8 or a?
9/8
Let r = -11 - -10.97. Let o = -0.07 + r. Which is smaller: o or 1?
o
Let c be 0*(-1)/(-3) + 9. Which is smaller: c or 15/2?
15/2
Let k be 6/(-33) - (-4)/((-132)/(-17)). Which is bigger: k or -0.2?
k
Let l be 0 - 4/7*1. Let c = -1/14 - l. Is c smaller than 0?
False
Let w = 0.17 + 1.43. Let b = w + -2. Let p = b + 0.4. Which is smaller: p or -0.1?
-0.1
Let i(r) = -r**2 + 17*r - 9. Let d be i(19). Which is smaller: -46 or d?
d
Suppose 4*t - 2*t = -10. Let n = -44 - -39. Is t greater than n?
False
Suppose 3*n + 1 - 19 = 0. Let p be (-3 + 2 + n)*1. Let t(m) = -m. Let i be t(-6). Which is smaller: i or p?
p
Let v = -431.1 - -411. Let q = v - -21. Let f = 0.1 + q. Which is smaller: f or 0?
0
Suppose -3*o = n + 2*n + 12, -8 = -2*n + 2*o. Which is smaller: -6/25 or n?
-6/25
Let m be ((-33)/(-168))/((-12)/(-16)). Let x = m - 1/3. Do 1 and x have different values?
True
Suppose l - 2 = -0. Which is bigger: l or 2/3?
l
Let j = 0 - -0.1. Let z = 0 + j. Let b be (3/36)/(3/(-8)). Which is smaller: b or z?
b
Let p(m) = -3*m**3 - m**2. Let c be p(1). Let r = 5 + c. Let l = -327/5 - -65. Which is smaller: l or r?
l
Suppose -n = 4*x + 1 + 6, -3*n - 7 = 5*x. Let a(f) = f**2 + 7*f + 1. Let l be a(-7). Let s = -2 - l. Which is smaller: x or s?
s
Let g be -2 + 3 + 27/21. Let q = g - 130/63. Is -0.2 at least as big as q?
False
Let d = -5402/7 + 769. Let s = d + 159/56. Let b = -1 - 0. Is s < b?
False
Let j = -89/2 - -53. Let z be (-6)/3 - 12/(-4)*4. Is j <= z?
True
Suppose 3*q - 6 - 12 = 0. Suppose q*n = -0*n - 42. Which is greater: -5 or n?
-5
Let s be ((-3)/(-14))/(10/35). Is 0 greater than s?
False
Let m = -1 - -0.95. Let g = -0.15 - m. Is g equal to 6?
False
Let z = 0.2 - 0.1. Let i = 0.073 + 1.927. Which is smaller: z or i?
z
Suppose -121*o + 123*o = 2. Let c be 159/189 - (-2)/(-7). Is o < c?
False
Let h = 59 - 44. Which is greater: h or -1?
h
Let v(a) = -a**2 - 5*a + 4. Let f be v(-6). Let u = 4 - 1. Let b = u - 3. Which is bigger: f or b?
b
Let k(v) be the third derivative of v**6/120 + v**5/60 + v**2. Suppose 0 = -6*w + 5 + 1. Let b be k(w). Which is smaller: b or -0.1?
-0.1
Let p be -6 + (-1 - -4 - 5). Let b be (7 - 8)/(2/p). Is b at least 5?
False
Let p