-1 or m?
-1
Let m = -36 + 35.99. Let l be (8/50)/(4/10). Which is smaller: l or m?
m
Let w = -0.9 + 0.96. Let u = w + -6.06. Is 0 > u?
True
Let x be 8/(-4) - 2*-4. Let g be 2/(-4)*(6 - x). Which is smaller: g or 3/5?
g
Let d = 2/621 + 149/18009. Which is greater: d or -1?
d
Let f be (2 - (-16)/(-6)) + -2. Let i = 3 + f. Let c = i + -11/6. Is -2/7 > c?
True
Suppose 2*k = 3*y - 14 - 5, -k - 2 = -4*y. Do -14 and k have different values?
False
Let c = 1.1 + -1.2. Is c at most as big as 0.04?
True
Let t be 0/((-3)/(-2 - 1)). Suppose 2*w - 26 = 4*x, t = -4*w + 2*x + 24 + 4. Let i = 0 + w. Is i smaller than 0.1?
False
Suppose 2*q - 6*q = -4, -2*q - 24 = -h. Which is bigger: h or 25?
h
Let r be (2 + -3 + -2)*-1. Let z = -3 + r. Suppose z*j - 9 = -3*j. Is j > 2?
True
Suppose 2 = -o - u - 9, 0 = -3*o - 5*u - 25. Which is bigger: o or -17?
o
Let x be (-26)/117 + (-2 - -2). Is 1/2 != x?
True
Let l = -3082 - -58574/19. Is l bigger than 0?
True
Let y = 114/595 - -1/119. Which is smaller: y or -1?
-1
Suppose 4*a - 6 = -2*j, -3*j + 0*a - 2*a = 7. Which is greater: -4 or j?
-4
Let o = -5 + 5.05. Let v = 3 - 2.95. Let c = o + v. Which is smaller: c or 0?
0
Let j = -0.09 + 3.09. Is j at least 3?
True
Let f = 0.6 + -0.8. Let i = f - -0.3. Is -3 < i?
True
Let h be (-2 - -2) + 6/147. Which is smaller: -1 or h?
-1
Let m(c) = c**2 + 2*c - 7. Let a be m(-6). Suppose 3*d = -y - 3*y - 32, 3*d + y = -a. Let n be (-2 - 0) + (-10)/d. Is -1 less than n?
True
Suppose 0 = 5*a - 3*k - 28, 4*k = -0*a + 4*a - 24. Let v(l) = -5 + 4 + a - l**2 + 2*l. Let g be v(4). Which is smaller: -3 or g?
g
Let p be (-30)/40 + (-75)/(-4). Is p at least as big as 22?
False
Suppose -126 = -3*y - 2*y + 4*t, 0 = -y - t + 27. Which is smaller: y or 51/2?
51/2
Let g(r) = -r**2 + 7*r - 6. Let h be g(4). Suppose -h = x - 2*x. Do x and 6 have the same value?
True
Suppose -2*d = -d. Suppose d = p + 5 - 0. Is -4 not equal to p?
True
Let s = 18 + -125/7. Is 1 > s?
True
Let i(u) = 3*u - 42. Let d be i(-11). Is d at most as big as -74?
True
Let f(s) = 3*s - 3. Let r be f(2). Let h = 0 + r. Suppose 4*c - h = 5*c. Are -3 and c equal?
True
Suppose -3*n - 461 = -0*n + 5*a, 4*n + a + 643 = 0. Let q = n + 807/5. Which is greater: q or -2?
q
Let v be (1/9)/1*-2. Which is smaller: v or 1?
v
Let b be (28/6)/((-4)/(-6)) + -3. Which is greater: b or -2?
b
Let n be 1/(2/(-3) - -1). Suppose -r + n = 2*r. Let c be (-2*(1 + 1))/r. Which is greater: c or -3?
-3
Suppose -3*a + 2*n + 9 = 0, 9*a = 4*a - 5*n + 40. Which is smaller: a or 3?
3
Let n = -2 - -1. Let c = n - 0. Let w be (12/6)/(-2)*-1. Which is greater: w or c?
w
Let r = 8 - 5. Suppose 3*g + 2*g + 10 = -5*k, 6 = -g - r*k. Is g equal to 1?
False
Let h = 284/3 + -93. Let j = -2 - -7. Suppose 10 = -5*x - 4*s, -2 = -x + j*x + 2*s. Is h greater than x?
False
Let l(d) = -d**2 - 1. Let q be l(-3). Which is smaller: q or -9?
q
Let o be (-2)/4*(-1 - 9). Let k = o - 7. Let f = 5 - 6. Which is smaller: k or f?
k
Let w be (-6)/10*(5 - 15). Let l(d) = d**2 - 6*d - 1. Let a be l(w). Let r = 4/17 - 10/187. Which is smaller: r or a?
a
Suppose -12 = -0*c + 12*c. Does -2/165 = c?
False
Let t be 5 + 0/(2 - 0). Let w = t + -2. Let f = -10 + 11. Which is greater: w or f?
w
Let p(k) = k**2 + 8*k + 8. Let a(f) = -f**2 - 7*f - 7. Let v(h) = 5*a(h) + 4*p(h). Let x be v(-3). Is -3 at least x?
True
Let n be 16 + (-1)/(-2)*-8. Let j(v) = v**2 - 9*v - 11. Let x be j(11). Which is bigger: n or x?
n
Let t = -1.9 + 2. Let u = t - 0.1. Let s(m) = 3*m. Let f be s(1). Does f = u?
False
Let g(j) = j - 7. Let o be g(9). Let a be o/6 + 8/12. Which is smaller: 2 or a?
a
Let d = -25 - -73/3. Suppose -15*k = -11*k. Which is smaller: d or k?
d
Suppose 5*x - 10 = 3*m - 5, m + 2 = 2*x. Let z = 14 - 11. Is z greater than or equal to m?
True
Let s = 12 - 21. Let u = -8.3 - s. Let b = -1.3 - u. Is b smaller than 0?
True
Suppose -w - 5*q = -0*q - 17, 4*w - 2*q = 2. Is 4/3 at most w?
True
Let p = -614/1341 - -2/149. Let m be 4/2 - (-9 - -1). Let u be (-2)/5 - 6/m. Do u and p have the same value?
False
Suppose 4*k = -5*t - 28, 5*k - 3*t = t + 6. Let x = -5 - k. Let p = -3 - x. Is 2 >= p?
True
Suppose 0 = -3*s + 2*y + 15, -s - 2*y - y = -16. Is s less than or equal to -1/2?
False
Let y be (-3)/(-10)*6/(-9). Let i be (-20)/48 - (-2)/(-8). Do y and i have the same value?
False
Let q = -151 + 152. Let c = 0 - -0.6. Which is smaller: c or q?
c
Let f(m) = -m**3 - 5*m**2 - 5*m - 8. Let l be f(-4). Let n be 2*((-18)/(-4))/(-3). Which is greater: n or l?
n
Suppose 8*t = 13 + 19. Let r = 11 + -5. Which is smaller: t or r?
t
Suppose -4*b - 14 = -6. Let p = 1.4 - 0.6. Let y = p - 0.5. Which is smaller: b or y?
b
Let w = -95 - -48. Is w smaller than -0.1?
True
Let j(b) = -b**2 - 22*b + 61. Let n be j(-29). Is n < -142?
False
Let s(m) = m**2 + 6*m + 3. Let q be s(-6). Suppose 2*y = -q*y + 20. Let l be 4/(-12) + y/3. Is l at least 1/4?
True
Let m be 89/(-15) - (33/9 - 4). Which is bigger: m or -7?
m
Let m = 10 + -10. Let c be 14/5 - (-5)/25. Is c at least m?
True
Let j(u) = 0*u + 4*u - 2 - u - 2*u. Let t be j(2). Let p(v) = -v - 7. Let n be p(-6). Which is bigger: n or t?
t
Let o = -53 + 427/8. Is 0 bigger than o?
False
Suppose -6*o + o = 0. Suppose p + 7 - 8 = o. Are p and -4/17 equal?
False
Suppose d + 3*m - 1 = 0, 2*d + 3*m - m = 6. Suppose -3*c - 3*n = -3, -3*c - d*n = -2*n. Let k be -2 + 2/4*c. Which is smaller: -4 or k?
-4
Let p = -9 + 5. Let l = 5 + p. Let x be 1 + l - 3/1. Are -1 and x unequal?
False
Let i = -3 - 1. Let j = 4 + i. Which is smaller: -2/9 or j?
-2/9
Let i be (-2 - (-3 - 0))*-4. Let q be (-15)/i - (-4)/16. Which is smaller: 3 or q?
3
Let x(w) = 3*w**3 - w. Let v be x(1). Are 0 and v nonequal?
True
Let n = -4 - -6. Let m = 0.13 + -0.09. Let k = -1.04 + m. Which is smaller: n or k?
k
Let x = 139 - 89. Suppose 4*q + 3*g = -x, -3*q = -g - 3*g + 50. Let p be (-4)/q - (-45)/(-84). Is -1 at least as big as p?
False
Suppose 8*g - 17 = 15. Let k = -6 - -10. Is k bigger than g?
False
Let s = 15 - 6. Let v be (6/9)/((-6)/s). Do 3/8 and v have the same value?
False
Let i = -0.11 + -1.59. Let u = 1.8 + i. Is 1.1 at most as big as u?
False
Let u = -37/5 + 38/5. Suppose -4*y + 37 = 5*h, y - 3*h + 0*h = -12. Suppose -p = y*p. Is p equal to u?
False
Let g be (-4 + (-12)/(-4))*-1. Suppose 6*r = 5*r - g. Let u be 14/(-8) - (-2)/(-8). Which is bigger: r or u?
r
Let j(a) = -a**3 + a**2 + a + 4. Let r be (8 + -5)*(-4)/(-6). Suppose q = r*z + 5, 4*q = 14 + 6. Let s be j(z). Is 4 less than or equal to s?
True
Let d(f) = f**3 + 4*f**2 - 5*f + 1. Let n be d(-5). Let p = 6/11 - 4/11. Is n greater than p?
True
Let v = -6 + -3. Let a be 0 - 1*v/(-21). Suppose 0 = 5*n - n. Is a not equal to n?
True
Let f = -0.28 - -0.3. Let b = f - 0.22. Let n = 0.2 - 1.2. Is b greater than n?
True
Let w = 0.01 + -0.04. Let t = -0.1 - 0.1. Is t >= w?
False
Let i(w) be the second derivative of -w**4/12 + 5*w**3/3 - 3*w**2 - w. Let j be i(9). Is j less than or equal to 2?
False
Let k = 0.5 - 0.58. Let v = -2.08 - k. Is v less than or equal to -1?
True
Let u be (4 + -3 + -1)*(-1)/2. Which is smaller: u or 1/8?
u
Let h be (-2)/(-56) + (-4)/14. Let w be (14 - 1)*13 + -3. Let l = w + -494/3. Are h and l unequal?
True
Let v = -7 - 15. Let p = -20 - v. Which is greater: p or -5?
p
Let q(m) = -m**3 + 5*m**2 + m - 7. Let n be q(5). Let y = -1 - n. Is y at least as big as 2?
False
Let l = 57 - 59. Is l smaller than 0.4?
True
Suppose 3*x + c = -2*x + 13, 0 = 2*x + 3*c. Suppose 0 = -2*g - 2*t - 2 + 6, -x*g = t - 4. Suppose -4*o = -3 - g. Is o smaller than 2?
True
Let i = -301/6 - -50. Suppose z + 2*d + 3*d = 16, z - 5*d = -34. Let l be (-1)/(3/z) + -2. Which is greater: i or l?
l
Let b(r) be the third derivative of -7/24*r**4 - 7/6*r**3 + 0*r - 2*r**2 + 0 + 1/60*r**5. Let y be b(8). Are y and 1/3 nonequal?
True
Let h = 319/20 + -63/4. Let f(c) = -6*c**2 - 8*c + 11. Let o(m) = 2*m**2 + 3*m - 4. Let s(y) = 3*f(y) + 8*o(y). Let u be s(-1). Is h at most as big as u?
False
Let n be ((-1)/2)/((-1)/158). Is -1/3 > n?
False
Let z = -3 + 1. Let u be (-8)/(-21) + z/(-7). Which is smaller: u or 1?
u
Let w = 0.35 + -0.3. Let b = 0.05 - w. Suppose 4*m - 15 = -3*y + m, -4*m + 2 = y. Do y and b have different values?
True
Suppose 31*k = 30*k. Which is smaller: -4.2 or k?
-4.2
