than -2?
False
Suppose 0 = -4*y - 36. Let a be -6 + (-9)/(y/(-3)). Which is smaller: -1 or a?
a
Let d = -2 + 12. Is d greater than 0.1?
True
Let j = 0.7 - 0.82. Let b = -37 + 36.98. Let n = j - b. Do n and 3 have different values?
True
Suppose 0*g = 4*g + 2*w - 18, 0 = g + 2*w - 6. Suppose 3*n - a = -2*a - 3, 5*a = -g*n - 4. Let d(c) = 2*c**2. Let x be d(n). Is 2 at least as big as x?
True
Let o be (2/(-2))/((-1)/(-4)). Let u = -3 - o. Suppose -g = u + 1. Are g and -3 nonequal?
True
Let z = 38 + -42. Let w be (-14)/(-6) - 2/(-3). Suppose 3*h + 9 = -3*g, -2*g + 4 = -w*h + 10. Is g smaller than z?
False
Let u = -43 + 71. Let s = 76 + u. Let d = s + -1350/13. Which is greater: -1/3 or d?
d
Let f be 10/4 + 3/(-6). Let b(q) = -q**3 - 2*q**2 - 3*q - 1. Let u be b(-2). Suppose -4 = -u*x + 1. Is x equal to f?
False
Let i = 1435797/389 + -3691. Which is greater: 1 or i?
1
Let v = -54 - -55. Is v at most as big as -2/107?
False
Let r be -24 + -2 - 2 - (-3)/(-1). Are -31 and r non-equal?
False
Let z = -0.13 - -1.03. Let q = 1.9 - z. Which is bigger: q or 5?
5
Let f be 1/(-5) + (-3)/(-5). Let o be ((18/8)/3)/(-3). Is f greater than or equal to o?
True
Let x be 6/12 - (-4511)/(-2). Let l = x + 13499/6. Let u = -76/15 - l. Which is smaller: u or 0?
0
Let s be ((-2)/(-6))/(4/3). Suppose q - g = 2, 5*q + 2*g + 4 = -0. Suppose q*t = -t - 3*l - 8, 2*t + l = -1. Which is bigger: t or s?
t
Let t be ((-8)/3)/((-6)/(-9)). Let k = t + 3. Which is smaller: k or 1/7?
k
Let l = 20 + -24. Is l bigger than -14/3?
True
Let y(p) = -4*p**2 + 2*p + 1. Let g be y(3). Let k be 2/4 + g/50. Does 1 = k?
False
Suppose -3*f = f - 36. Let h = f + -10. Which is smaller: h or -2/7?
h
Let v(z) = -z**2 - 5*z + 3. Let u be v(-4). Let w = u - 7. Which is smaller: w or -2/23?
-2/23
Let k = -5.4 + 5. Is -0.2 less than k?
False
Let l = -823/11 - -75. Suppose 0 = -2*n + 7*n - 15, -3*m - 12 = -4*n. Which is smaller: l or m?
m
Let p = 673/5 - 135. Let i = 1.7 + 0.3. Let z = i + -4. Is z at most p?
True
Let j = 1.48 + -1.8. Let h = 0.12 + j. Let c = -0.2 - -0.2. Do h and c have the same value?
False
Suppose -8 = -4*h - 0. Suppose 0 = h*w + 10, -5*d + 0*w - 2*w = 15. Which is smaller: -4/9 or d?
d
Let x = 174 - 174.1. Is -69 != x?
True
Suppose -2*y - 12 = -2*i - 4*y, 3*i = 4*y - 3. Suppose 50 = 5*g - 3*s, i*s - 1 + 2 = -2*g. Let u = g + -8. Which is bigger: u or 0?
0
Let l(x) = 3*x + 1. Let y be l(-2). Does -7 = y?
False
Let c = -1.13 + 0.13. Are c and -15 equal?
False
Suppose 0 = -3*b + 6, -3*b = 4*y - 0*b - 2. Which is greater: y or 1?
1
Let u = -5 - -7. Is 6/7 less than u?
True
Let x = -7 + 6. Let u be (x/(-7))/(5/(-10)). Is 0 greater than or equal to u?
True
Let w be 3 - (-5)/(20/(-16)). Let i be -1 - 1 - (w - -2). Is -8/5 at least i?
True
Let g(o) = o**2 + 5*o. Let y be g(-4). Suppose -n + 10 = u + 2, -n - 4*u = -11. Let l = n + y. Which is greater: 1 or l?
l
Let q(t) = -t**2 + 3*t + 11. Let b be q(-2). Which is smaller: 7/22 or b?
7/22
Let s be (4 + -2 - -1)*1. Suppose 0 = -3*o + s. Which is bigger: 5/6 or o?
o
Let r = -651/508 + 4/127. Is -2 at least r?
False
Let c = 0.25 - 0.25. Is 4 not equal to c?
True
Let v = -2617/39 + 452/13. Which is greater: -33 or v?
v
Let o(d) = d**2 + 7*d + 6. Let x be o(-6). Suppose -2*j + 5 - 1 = x, 2*j - 4 = a. Is 3/10 equal to a?
False
Suppose -v = 3, s - 2*v - 7 + 2 = 0. Which is bigger: s or 0?
0
Let b be (62/496)/((-1)/2). Let a = -1 + 1. Which is smaller: a or b?
b
Let m(g) be the third derivative of g**4/24 - g**3/2 - 3*g**2. Let x be m(2). Is x > -2/15?
False
Let p(y) = 2 + y**2 + 0*y**2 - 4*y + 4. Let d be p(6). Let i be (-2)/9 - (-10)/d. Which is greater: i or -1?
i
Let d = -2.7 + -4.3. Is d less than or equal to 1?
True
Let i = 18 + -14. Suppose i*t = -t. Is -2 equal to t?
False
Suppose 4*z + 0*z = 0. Suppose -2*u - 12 = -z. Is u <= -5?
True
Let o be 23*(1 - (-3 + 2)). Let x be (-6)/(-18) + o/6. Is 8 less than x?
False
Suppose -7*g = 2*g - 27. Which is smaller: g or 2?
2
Suppose -5 = -3*x + j, 0 = x - 2*x + j + 5. Let d be -1 - (1 - 0)*-3. Which is bigger: x or d?
d
Let h = -782/7 - -112. Which is greater: h or -1?
h
Let q(z) = -z**3 + 5*z**2 + z - 7. Let v = -8 + 13. Let c be q(v). Let x be (1*0/1)/2. Which is greater: c or x?
x
Let d(v) = 3*v + 2. Let z be d(12). Is z greater than or equal to 37?
True
Let y = 0.245 + -0.045. Is y <= -7?
False
Suppose -4*n + 8 = -2*n. Let r be (1/(-12))/(3/n). Suppose 4*c + k = 1, -4*k = 2*c - 3*c + 13. Which is greater: c or r?
c
Suppose -4*u = -7*u - 6, -17 = b + 4*u. Let s be 6/(-21) - b/7. Let h(q) = 2*q**3 + q**2 + q + 1. Let f be h(-1). Which is smaller: f or s?
f
Let l(j) be the first derivative of j**3/3 + j**2 - 7*j + 10. Let g be l(-3). Let x = 2 - 4. Which is greater: x or g?
x
Suppose 5 = -4*n + 2*d - 15, 0 = -3*n + 2*d - 16. Is n less than -22?
False
Let t = 0.96 - -0.04. Let j(n) = n**3 - 3*n**2 + 4. Let k be j(3). Which is bigger: t or k?
k
Let z(w) = -w**2 - 7*w - 3. Let f be z(-6). Let x be 12/2 - (0 - -1). Suppose -6 = x*t + h, -5*t = f*h - h + 7. Which is greater: t or -1/5?
-1/5
Let v = 9 + -4. Let s = 4 - v. Which is greater: -6 or s?
s
Let y = -1 - -1. Let g(f) be the first derivative of -f**2/2 + 5*f + 1. Let w be g(5). Is y < w?
False
Let c = -5/133 - -62929/532. Let a = c - 119. Is a at most as big as 0?
True
Let f = 81 + -83. Are -18 and f unequal?
True
Suppose -5*n - 5*r - 9 = -8*n, 0 = -5*n - 2*r + 46. Let o be n/14*(-2)/(-4). Let u = -56 - -56.2. Is o less than u?
False
Let c(r) = -r**2 + 8*r - 3. Let x be c(8). Let d(w) = -w**2 - 3*w + 2. Let g be d(x). Let j be g/2*(-1 - -4). Does 4 = j?
False
Let f = 1.87 + -18.97. Let m = f + 17. Which is greater: m or 1?
1
Let w be (19 - 15) + 20/(-6). Is w at least as big as -2?
True
Let b = 7 + -10. Which is greater: -0.03 or b?
-0.03
Let t = 5.85 - -0.15. Let v = -0.62 - -3.62. Let i = v - t. Which is greater: 0 or i?
0
Let h(d) = -7*d - 8. Let l(z) = z + 1. Let r(c) = -h(c) - 6*l(c). Let k be r(2). Let u be (4*1)/(-2 + k). Which is bigger: u or 4?
4
Let o be 0*(2/1)/(-4). Let c be (-1 + o)/(3/6). Let y be (1/c)/(3/(-3)). Which is greater: -0.1 or y?
y
Let c = 0.33 - 0.43. Which is greater: 1 or c?
1
Let h = 1 + 19. Are 22 and h non-equal?
True
Suppose 11 = -0*m - m + 4*r, -2*m + 5*r - 13 = 0. Let w = -3 + 0. Let c = -3 - w. Which is greater: c or m?
m
Let t be (-8)/6 + (6/(-9))/1. Which is smaller: 1/17 or t?
t
Let k = -4.06 + 38.76. Let u = k + -32. Let j = -3 + u. Do j and 0 have different values?
True
Let u = 3 + -4. Let c(a) = 3*a**2 + 11*a - 17. Let y(z) = 2*z**2 + 5*z - 9. Let o(f) = 3*c(f) - 5*y(f). Let l be o(7). Is l equal to u?
False
Let i be ((-2)/(-6))/((2 + -4)/474). Is -80 at most i?
True
Suppose 23 = 4*f - 1. Let a be f/7 - (-2)/14. Let h be (8/12)/(-2*1). Which is smaller: h or a?
h
Let u be -12 - (2/2 + -3). Let o be 10/u + (-5)/(-3). Which is smaller: 1 or o?
o
Let z be 2/2 - 6/((-2952)/(-501)). Is 1 < z?
False
Let h be 2/3 + (-7)/42. Let z(v) = v + 8. Let f be ((-4)/(-10))/((-1)/20). Let b be z(f). Is h at least as big as b?
True
Suppose 3*t - 18 = -3. Suppose 0 = p - 0*p - t. Suppose 2*w + w + 2*a + 19 = 0, 4*w = -p*a - 37. Is -4 at most w?
True
Suppose -2*m - 2*m = 36. Let g be ((-68)/(-85))/(m/5). Which is smaller: 0 or g?
g
Let p be (-2)/5 + 24/(-15). Let f be p/(-9) - 47/9. Are -5 and f equal?
True
Suppose 4*x + 42 = -0*j - 2*j, -46 = 5*x - 4*j. Let k be ((-2)/15)/((-6)/x). Which is smaller: 0 or k?
k
Suppose -2*a - 16 = 2*d, 0 = -a + 6*a - 4*d + 40. Which is bigger: -0.1 or a?
-0.1
Let l = -4 - 5. Let j = l - -5. Let y(i) = -i - 8. Let p be y(-7). Which is greater: p or j?
p
Let v be (-2)/(5 - 3) - -5. Suppose v*d - 1 = -5. Which is bigger: d or 2/31?
2/31
Let y(t) = 5*t - 31. Let o be y(9). Which is bigger: o or 1/2?
o
Let h be (-7)/(-1) - 2 - -1. Let g = h - 4. Suppose 0 = 4*d - 6 - g. Is 5/3 at most as big as d?
True
Let r(l) be the second derivative of l**5/20 + l**4/12 + l**3/6 + l**2/2 + l. Let j be r(-1). Suppose -6*q = -2*q + 4. Which is greater: j or q?
j
Let q be ((-6)/(-2))/((-39)/(-65)). Suppose q*t = 7*t. Do -6/7 and t have the same value?
False
Let s be ((-38)/(-20) - 2)/((-35)/(-14)). Are s and 0 non-equal?
True
Let s be (-10)/(-3) + (-2)/(-3). Suppose 3*q - 580 = -s*a, 0 = 3*a - 4*a - 2. Let v = 215