36*z + 25. Let m be d(-17). Do -11 and m have different values?
True
Suppose 0 = n + 5 - 0. Let m(g) = -3*g**2 - 3*g. Let i be m(-2). Is n equal to i?
False
Let x = 0.49 + -14.49. Which is greater: -0.1 or x?
-0.1
Let f(q) = 3 + 14*q**2 + 18*q**2 - 33*q**2 - 3*q. Let x = -5 - -2. Let w be f(x). Is 3 < w?
False
Let i(m) = m - 9. Let k(n) = -3*n. Let l be k(-2). Let h be i(l). Is h < -3?
False
Let o(c) = -c**2 + 5*c - 3. Let v be o(5). Are -9/5 and v unequal?
True
Let s = -0.64 + 0.67. Which is bigger: s or -0.2?
s
Let w = 21 - 19.7. Let m = -0.3 + w. Is m smaller than -1?
False
Let d = 5 - -3. Which is smaller: d or 9?
d
Suppose 4*m = 9*m + 20. Let y be (-8)/(-20) - 12/5. Which is smaller: y or m?
m
Let x be (1/(-2))/(4/8). Is x < 0?
True
Suppose -34*s + 38*s = -8. Suppose 0 = 4*v - 9*v + 5. Is v at most as big as s?
False
Let f = -10 + 7. Let n be (3 + 0 + -3)/f. Are 1/3 and n equal?
False
Suppose -11 = -3*k - v, 5*k - 13 = 2*v - v. Let m = 1 - k. Let i be 3/(-12) - (-5)/(-4). Is m bigger than i?
False
Let r be (-1)/((-4)/48*2). Suppose r*b = 3*b - 18. Is b < -6?
False
Let k(n) = -n**2 + n. Let p be k(-3). Let v be (-3)/p - (0 - 1). Let h be (-1)/3*(-8 - 16/(-8)). Which is bigger: v or h?
h
Let p = 4 - -1. Let w = 12 - p. Is -0.1 at most as big as w?
True
Let j = -3 - -10. Let u = 1.14 - 0.14. Which is smaller: u or j?
u
Let p = -50 + 49.82. Which is bigger: 2 or p?
2
Let c = -0.16 + 0.06. Which is smaller: c or -7?
-7
Let q = 1.5 - 1.8. Is 1.2 less than or equal to q?
False
Let x = -182 - -183. Is 14 at most x?
False
Suppose -9*k + 13 = 4. Do k and 6/11 have the same value?
False
Let l = 1.5 - 1.5. Is -7 at least l?
False
Let f = -5 - -4. Let t be (129/(-6))/(-2 - f). Let d = -22 + t. Are d and 0 equal?
False
Let z be 1/20*(-4)/(-8). Is z bigger than 0?
True
Let p be 1/2 + (-4)/66. Let h = 2/33 + p. Let i = 0.1 + -0.1. Which is greater: i or h?
h
Suppose -b + 4*k + 2 = 0, -5*b - k - 2*k = 36. Is -7 smaller than b?
True
Let q = -1 + 3. Let k = -7 + -13. Let s be k/(-16) - 2/(-8). Is s greater than or equal to q?
False
Let m be 4/(-18) - (-14)/36. Suppose 4*v = -5*c + 15, 3*v - 11 = -3*c + 1. Which is smaller: c or m?
c
Let p be (2 + 1)*3/(-9). Let v(j) = j. Let t be v(p). Let d(b) = 2*b**2 - 1. Let a be d(t). Which is bigger: -2/19 or a?
a
Let l(m) = -4 + m + 3 - 5. Let r be l(6). Let z = 2/153 - -145/612. Which is greater: r or z?
z
Let x be ((-8)/12)/(1/(-9)). Is x at least as big as 6?
True
Let p(g) = g + 1. Let l be p(-1). Let j = 0 + 1/3. Which is bigger: l or j?
j
Let k = 176 - 167.3. Let w = 9 - k. Is 0.1 less than w?
True
Let o be (-2)/(-3)*30/(-2). Let b = o + 13. Suppose f - 4 = -b*f + 3*a, -a - 3 = -3*f. Which is greater: f or -1/4?
f
Let l(j) = j**3 + 2*j**2 + 2*j. Let p be l(-2). Let r be 69/198 - p/(-22). Which is smaller: r or 0.1?
0.1
Let v be ((-1)/2 + 1)*-84. Let k be ((-1)/(-9))/((-7)/v). Let w be -1 + 1 + 0 + 2. Which is smaller: w or k?
k
Let r be (1/15)/((-2)/(-28)). Let u = r + -73/30. Which is greater: -1 or u?
-1
Let k be (-30)/(-255) - (-98)/(-1122). Is 0 > k?
False
Let b(m) be the first derivative of m**3/3 + 9*m**2/2 - 14*m - 3. Let r be b(-10). Is -3 greater than or equal to r?
True
Let a = -146.1 + 146. Do a and 33 have different values?
True
Let m be (-6)/16*-6 + -1. Let i = -77.1 + 77. Which is bigger: m or i?
m
Let z = -1 - 0. Is -8/5 <= z?
True
Let d(i) = i**2 - 6*i - 5. Let g be d(8). Let u = -10 + g. Let q = -5 + u. Is -5/2 at least q?
True
Let x be 0 - (-6)/(-27) - 0. Suppose -t = -1 - 2. Let h be 2/(2 + t/1). Which is smaller: h or x?
x
Let z = -33 + 33.1. Which is smaller: z or 13?
z
Suppose v + 2*v + 3 = 0. Let h(s) = 2*s + 2. Let i be h(v). Let q = 143 + -713/5. Which is smaller: q or i?
i
Let g be 3 - (0 + 14)/2. Which is greater: 0 or g?
0
Let r(c) = c**3 + 3*c**2 - 2*c - 4. Let x be r(-3). Is x > 2?
False
Let f(q) = -q + 3 - 4 + q**3 + 2*q**2 + q**2 + 2*q. Let g be f(-2). Is -1/5 < g?
True
Let j(c) = c**3 + 6*c**2 + c + 6. Let w be j(-6). Which is bigger: w or -6/17?
w
Let f(v) = v**2 - 11*v - 1. Let y be f(11). Is y <= 0?
True
Let n = 6 - 9. Let a be (1 + 0 - n) + 4. Is a at most 7?
False
Let k be 0/9 + 0 + 17. Suppose -4*u = -0*u - 68. Are u and k equal?
True
Let p(x) = -2*x - 44. Let l be p(-22). Is 4/17 bigger than l?
True
Let b(y) = -4*y - 7. Let g be b(-2). Which is bigger: g or -2/7?
g
Let h be (-4)/6 + (-132)/18. Are -9 and h unequal?
True
Suppose -5*x = -3*b - 433, -364 = -5*x - 2*b + 89. Is 88 at most as big as x?
True
Suppose -71*t - 6 = -65*t. Let g = 119/3 + -40. Which is smaller: g or t?
t
Suppose -35 = -4*a - a. Which is smaller: -0.09 or a?
-0.09
Suppose 6*h - 7*h = 0. Suppose 2*y = h, 0 = -5*j - y - 3*y. Is -2/11 greater than j?
False
Suppose 2 = -2*u + 6. Which is smaller: -0.3 or u?
-0.3
Let i be ((-2)/(-102))/((-3)/9). Are i and 0 equal?
False
Let h be (-2 - (1 - -1)) + 2. Which is bigger: -0.6 or h?
-0.6
Let w be -1 - (1 - 2/1). Let c = w - 2. Is c <= 0?
True
Let y be (-65)/26*28/(-5). Which is smaller: y or 59/4?
y
Let z(h) = 2*h. Let i be z(-2). Let u be 1/((2/i)/1). Are -2 and u non-equal?
False
Let r(l) = -4 + l + 0*l - 4. Let o be r(11). Which is bigger: o or 1/3?
o
Let p = 27 - 27.1. Are p and 11 unequal?
True
Let d be (7 + (-12)/4)/((-7)/(-2)). Is -3 at most d?
True
Suppose 5*c = 9*c + 12. Let b = c + 2. Which is greater: 0.3 or b?
0.3
Let r(q) = 19*q**2 + q. Let w be r(-1). Let c be 2/(-9) + 4/w. Which is greater: c or -2/11?
c
Suppose 4*k + 4*n - 28 = 0, -2*k - n = -2*n + 1. Is k smaller than 1/14?
False
Let i = 5 + -6. Which is greater: -9 or i?
i
Let p(s) = -s**3 + 2*s**2 + 2*s + 3. Let x(a) = 28*a + 1. Let o be x(2). Let n be o/21 + (-2)/(-7). Let g be p(n). Is g at least -2?
True
Let u(v) = v**2 + v. Let c be u(3). Let f be -3 + 3/c + 3. Let m = 5/8 + -7/8. Which is greater: f or m?
f
Let d be ((-2)/(-72)*4)/((-32)/12). Is 1 smaller than d?
False
Let b = -17.2 + 16.2. Let l = 1 - -2. Is l less than or equal to b?
False
Let a = 5 - 5. Suppose -4*z - 3*l + a*l = 16, 4*z - 3*l = 8. Is -1 <= z?
True
Let u(f) = -2*f + 4. Let o be u(2). Which is smaller: -14/11 or o?
-14/11
Suppose o - 1 = 5*i, 0 = -4*o - 0*i + i + 4. Let r = o - -2. Let b(y) = 3*y - 3. Let d be b(2). Do d and r have the same value?
True
Let u = -1635 + 40869/25. Which is smaller: 1 or u?
u
Suppose 20 = 5*w + 5*i, 0 = -w + 5*i + 5 - 19. Suppose 4 = 2*s - 0*s + 4*x, -4*s + x = w. Is s > -1/4?
True
Let l be -2 + (-5 - -2) - -2. Are -14/5 and l equal?
False
Let m = 55/28 + -9/4. Suppose -4*s + 1 = -j, 2*j = s + 6*j + 4. Which is greater: m or s?
s
Let w(q) = 5*q**3 + 16*q**2 - 14*q - 4. Let x(u) = u**3 + u**2 - u + 1. Let g(z) = -w(z) + 6*x(z). Let o be g(9). Let k be 4/(-35)*21/18. Is k > o?
False
Let g(n) = -n**2 + 11*n + 2. Let v be g(11). Let h be 15/(-3)*v/(-5). Are 1 and h nonequal?
True
Let d be 2 + -2 + -1 + -1. Let r be d/4*4 - -2. Let l = 0.7 + -3.7. Is r at least as big as l?
True
Suppose 2 - 5 = d. Let w be ((-2)/(-6))/(d/27). Is -3 at most w?
True
Suppose 2*s + 3 - 7 = 0. Suppose d = s + 1. Is d at least 4?
False
Suppose 7*d + 6 = d. Which is smaller: 8/33 or d?
d
Suppose -15 = -3*i, 2*x + 0*i = -i + 15. Let u be x - (-7)/(14/(-4)). Let o(n) = n**2 - n - 2. Let l be o(-2). Are u and l equal?
False
Let r = 8 - 8. Which is smaller: 4/9 or r?
r
Suppose 2*t + 2 = 6. Suppose -4*l = -t*q - 32, -2*q + 28 = -4*q + 2*l. Which is bigger: q or -13?
q
Let a = 0.7 + -0.7. Let g = -36 - -18. Let j be -3*((-16)/g)/(-4). Is j at least a?
True
Let t = -1 - -4. Let c be t/(-12) + 1/(-4). Is c less than or equal to -2?
False
Let l(k) = -k**2 + 2*k - 1. Let r be l(2). Let z be r/(-3 + 52/16). Is z > 1?
False
Let k = -20 + 14. Let g be ((-27)/(-12))/(k/(-16)). Let z(t) = -2*t + 7. Let n be z(g). Do -6 and n have the same value?
False
Suppose l + l - 2*d = 4, 2*d + 4 = -5*l. Do l and -1 have different values?
True
Suppose q = -0*p + 2*p - 3, -q = -4*p + 1. Let n be (1 - (0 - 3))*p. Do -2 and n have different values?
True
Let m = -6.7 + 7.1. Let y be 25/(-30) - 2/(-6). Does m = y?
False
Let a be 3/1 - (0 + 4). Let x = 1/45 - 113/1035. Which is smaller: x or a?
a
Let y = 9.058 - 0.058. Are 2 and y nonequal?
True
Let v = 33/115 + 3/230. Which is greater: v or -1?
v
Let o = 0.293 + 0.707. Let g = 9 + -5. Which is gre