- 34 = 0, -1 = 2*f + 9. Let v be g(x). Does v = -3/7?
False
Suppose -g = -3*c + 7, -3*g = -c - 2*c + 15. Let r = -7/6 + 5/3. Which is smaller: c or r?
r
Let g = 0 + -1. Let j be (3/6)/(126/(-24)). Which is greater: j or g?
j
Let r be 2 + 79 - (0 - -1). Let z be (-4)/(-10) - (-88)/r. Which is smaller: z or 3?
z
Suppose 5 = f + 2. Suppose 2*v = b - 2, 2*v + 0*b + 2 = f*b. Let y(q) = q**3 + 7*q**2 - 9*q - 8. Let r be y(-8). Which is smaller: v or r?
v
Let q = -82.3 + 80. Is -1 < q?
False
Suppose -y = -2, 6 = 4*t - y - 2*y. Let z = -10/3 + t. Which is smaller: 0.2 or z?
z
Let m = 14 + -6. Let d = m - 8. Is d bigger than 0?
False
Let l = -23 + 231/10. Is l at least as big as 0?
True
Let q be 6*(0 + 3)/(-3). Which is bigger: q or -5?
-5
Let x be 12/(-6) - (-8)/6. Which is greater: 0.119 or x?
0.119
Let z be ((-5)/(10/6))/8. Which is greater: z or -1?
z
Let f(t) = t**2 - 8*t + 16. Let n be f(4). Let i(u) = 2*u**3 - 2*u**2 + 4*u - 2. Let k be i(2). Let w be (-4)/k + 6/21. Is w >= n?
True
Let s = 0.2 + 0.1. Let o = s - 0.3. Let m = 1 - o. Which is smaller: m or 1/2?
1/2
Let g be 1/(-2 - (-3 + 0)). Is -2/21 greater than g?
False
Let z(m) = -3*m - 3. Let i be z(-2). Let c = i - 3. Let b(q) = 2*q**2 - q. Let o be b(1). Which is bigger: c or o?
o
Let v = -58.3 + 56. Which is bigger: 0.1 or v?
0.1
Let j be -1 + (2 - -2) + -2. Let i = 2 + j. Suppose i*l = 4*l - r + 3, -4*l - 10 = -3*r. Which is bigger: 1/4 or l?
1/4
Suppose 8*g - 6*g - 14 = 0. Let a(d) = 2*d**2 + 7 + 2*d - 3*d**2 + 4*d. Let w be a(g). Are -2 and w unequal?
True
Let g = -154 - -153. Let i be -1 + 0 + 0 + -1. Which is greater: g or i?
g
Let n = 29 + -31. Which is smaller: -22/13 or n?
n
Suppose -3*n + 72 = 3*y, -n = -5*y + 40 + 80. Let t be 0/1*(-8)/y. Which is smaller: 1/2 or t?
t
Let z = -1/3 + 0. Let h be 8/10*20/8. Suppose 2*q + h*q = -20, -y - 14 = 3*q. Which is bigger: y or z?
y
Let k = -10 - -9.9. Is 0 < k?
False
Let d(h) = h**2 - 6*h - 8. Let q be d(7). Let z = 97/4 + -24. Is q >= z?
False
Let n = -10 - -4. Is -0.1 at least as big as n?
True
Let v = 4 + -1. Suppose 3*f - v = -0*f. Which is smaller: 1/4 or f?
1/4
Let d(m) = m**3 - 2*m**2 - 5*m + 3. Let c be d(3). Let y be ((-7)/3)/(c/(-18)). Let j be 2/14 - (-4)/y. Which is smaller: 1 or j?
j
Let p = 88 - 1057/12. Which is smaller: p or 0.1?
p
Let a(t) be the second derivative of -t + 0 - 3/2*t**3 + 5*t**2 + 1/12*t**4. Let i be a(8). Are 2 and i non-equal?
False
Let y(p) = -p**3 - 4*p**2 - p + 4. Let v be y(-3). Let o = 6/127 + 212/889. Which is bigger: v or o?
o
Let v(b) = -3*b - 11. Let d be v(-9). Is d less than 31/2?
False
Suppose m = -5*g + 452, 7*g - 3*g - 373 = 3*m. Is 91 at least as big as g?
True
Let p = -20.07 - -0.07. Which is bigger: -2 or p?
-2
Let j(s) = -18 - 5*s**3 - 15*s**2 + 6 + s**3 + 3*s**3 - 15*s. Let r be j(-14). Is 1 smaller than r?
True
Let u = 8 + -3. Let t be (-2)/u - 8/(-20). Which is smaller: 1 or t?
t
Let l = -0.005 - 0.095. Which is smaller: l or 1/3?
l
Let v(b) = -b**2 + 1. Let h be v(2). Let s = -4 - h. Which is smaller: -1/5 or s?
s
Let i = 0.63 + -6.63. Which is bigger: i or -3/2?
-3/2
Let s be -1 - (0 + (-3)/(-3)). Which is smaller: -4/3 or s?
s
Suppose n - 2 = 11. Is 12 > n?
False
Let h = -32 - -95/3. Do h and -21 have different values?
True
Let t be (0/(-3) - 1) + 5. Suppose 0 = -3*l + t*x + 3, -3*x = 2*x. Let a be (-3)/(-9)*(-3)/4. Do l and a have different values?
True
Suppose -f = 3*h - 158, -13 = -h - 5*f + 49. Which is bigger: h or 51?
h
Let h = 28 - 49. Let p be 2/(-5) + h/(-15). Let u be (6/9)/(p/6). Which is greater: u or -2/5?
u
Suppose -32 = 2*k - f, -4*k - 73 = k + f. Let u = -12 - k. Let q be (-1)/4 + (-13)/(-4). Is q at least u?
True
Let d(q) be the first derivative of -q**4/4 - q**3 - q**2 + q + 7. Let x be d(-2). Let s be (4/(-33))/(2/3). Which is smaller: s or x?
s
Let n(p) = -6*p + 15*p - 10 - 11*p. Let j be n(-9). Is -3/4 at least j?
False
Suppose -l + 12 = 2*l. Suppose -u - l*n = -11, 3*u - 2 = -2*n + 1. Which is bigger: u or -2/5?
-2/5
Let r = 3.98212 - -0.01088. Let s = r - 0.093. Let w = s - 4. Which is smaller: -1 or w?
-1
Let z be -1*2 - (-56)/49. Which is bigger: -2 or z?
z
Let f = -2 - -2. Suppose 3*i = -f*i. Which is smaller: i or 1/5?
i
Suppose o + 1 = 5. Let w be (-30)/(-8) - 2/(-8). Does w = o?
True
Let m(z) = -10*z - 4. Let a be m(-1). Is 9 at least a?
True
Let x = 251 - 489. Let z be (-20904)/x - 8/(-28). Let c = 88 - z. Are -1 and c unequal?
True
Suppose 5*i = 3*y + 243 - 92, 5*i + 4*y - 137 = 0. Are i and 29 unequal?
False
Let h = 2 + -4. Let t = -1 - h. Do -1 and t have different values?
True
Suppose 9 = -3*s + 6. Is -12 equal to s?
False
Let v = -146 + 1600/11. Which is greater: -1 or v?
v
Let y = -284 + 1985/7. Let x be (-16)/(-6)*(-15)/10. Let d be (x/(-12))/1*3. Which is greater: d or y?
d
Let l = 7 - 10. Let w(y) = -y - 4. Let x be w(-6). Let t = l + x. Which is smaller: -2 or t?
-2
Suppose -8 = -0*r - 4*r. Let n be (1 - 7/3)/r. Let x be 26/(-24) + 28/21. Which is smaller: x or n?
n
Let h(b) = b**2 + 19*b + 30. Let f be h(-11). Which is smaller: f or -60?
-60
Let r = -1 - -2. Let b = -14 + 15. Is b at most r?
True
Let f be ((-2)/(6/15))/1. Is f less than -16/3?
False
Let l be (15/12)/(6/22). Let s = 144935587/132 + -1098002. Let x = l + s. Is -1 at least x?
False
Suppose -5*h - 5 = o - 15, o = 2*h + 3. Suppose -4*t - 17 = -o. Which is bigger: t or -2?
-2
Let s be 4/6*(-6)/(-4). Suppose -g + 6 - 3 = 0. Let m = 4 - g. Is s less than or equal to m?
True
Suppose 30 = -0*t + 3*t. Suppose -4*j = j + t. Which is smaller: -3 or j?
-3
Let h(x) = -x**2 + 4*x + 1. Let w be h(4). Let a be (-9)/6 + 2/4. Which is smaller: w or a?
a
Let l = -364 + 2544/7. Is 0 equal to l?
False
Let s = -82 - -84. Let o be ((-1)/(2/(-10)))/(-1). Let l = o - -9. Is l at most as big as s?
False
Let w = -0.3 + 0.3. Let b = -1.7 + -0.3. Which is bigger: w or b?
w
Suppose -20 = -5*y + y, 4*w = 3*y - 11. Let l = 1 + 1. Is l greater than or equal to w?
True
Let z = 10.6 + -11. Are z and 1 nonequal?
True
Let q be 15/(-54) - (-2)/(-9). Let r = 7 + -1. Let i = r - 6. Which is smaller: q or i?
q
Let w be (3/27)/(2/3). Let n(x) = 3*x**2 - 4. Let v(u) = 7*u**2 + u - 8. Let m(r) = -9*n(r) + 4*v(r). Let s be m(-3). Which is smaller: s or w?
w
Suppose -2*o - 3*s - 15 = 0, -4*s - 22 = o - 7. Let h be o/1*2/(-6). Which is smaller: 8/9 or h?
8/9
Let h(z) = -2*z - 3. Let i be h(0). Which is greater: -4 or i?
i
Let c = 11 + -6. Suppose -l = -4*w + 5, -w + 3*w + c*l - 19 = 0. Let k = 2 - 0. Is w greater than k?
False
Suppose -4*i - 10 = 5*c, 3*i + 4 = -3*c - 5. Which is bigger: -6 or i?
i
Suppose -3*w + 2 = v, -3*v = v + 5*w - 8. Let n be (-22)/(-55) + 8/5. Suppose -13 = i + v*z, -5*i + n = -4*z - 3. Is i equal to -3?
True
Let i = 5 + -9. Let d = i - -3.8. Let r = d + 0.5. Are -1 and r nonequal?
True
Let i(p) = p**3 - 3*p**2 - p + 3. Let r be i(3). Is -6/11 < r?
True
Let k be 3*(-6)/(-4)*2. Let i be 1*(2 + 2) - -4. Is k at most i?
False
Suppose 3*u = 5*o - 23, -2*u = 2*o + u - 26. Is 6 greater than o?
False
Suppose 4*y = 5*y + 3, -2*d - 5*y = 11. Suppose 0*f = 3*o - 3*f + 6, d*o + 1 = -f. Is o at most as big as -1?
True
Let j = -1.9 - 0.5. Let p = j + -0.6. Which is bigger: -0.4 or p?
-0.4
Let t be (-4 + 4)/(-3)*(-1 - -2). Is 1 less than t?
False
Let p be ((-3)/4)/((-1)/4). Suppose -16 = -4*q - o + 2*o, o - 4 = 0. Suppose -4*f = 3*g - 1, -7 = -q*g + f - 5*f. Do p and g have the same value?
True
Let s(t) = -t**3 + 15*t**2 + 16*t. Let l be s(16). Let k be 1 + l + (-12)/15. Is k less than or equal to 0?
False
Let j = 1.46 - 23.41. Let d = j - -22. Let t = -1 + 0. Is t less than or equal to d?
True
Let m = -18 + 12. Does -8 = m?
False
Let g be 183/342 + 1/(2*-1). Which is smaller: 1 or g?
g
Let v(a) = a**2 - 9*a - 1. Let f be v(9). Let o be 6 + 0/f + 0. Let h be (-75)/o*(-1)/5. Is h bigger than 4?
False
Let p = 5.4 + -5.1. Which is bigger: p or 0.08?
p
Let i = 74 - 517/7. Let a = -0.2 - -0.1. Is i bigger than a?
True
Let n(y) = -2*y**2 - 2*y - 2. Let f be n(-2). Let q(d) = d**3 + 6*d**2 + d + 6. Let x be q(f). Is x != -2?
True
Suppose 3*d = c - 4 - 0, 1 = -c - 2*d. Is c less than 13/10?
True
Let o = -65.4 - -72.38. Let d = 0.02 + o. Which is greater: -0.1 or d?
d
Let v be (-2)/(((-1)/(-1))/2). Let y be 1 - (-2)/(v