 0. Let m = -7 + a. Which is greater: -3/2 or m?
-3/2
Let s = -7 - -11. Suppose 0 = -s*y - 2 - 2. Which is bigger: -3 or y?
y
Suppose 26*d - 13 = 27*d. Is d bigger than -1?
False
Let d = 0.98 - 0.88. Which is smaller: -24 or d?
-24
Let u be 48/141*5/7. Let w = u + 2/47. Do w and -1 have different values?
True
Let m(r) = 3 - 21*r - r**3 - 10 + 22*r + 8*r**2. Let f be m(8). Do f and -1/2 have the same value?
False
Suppose 3*d = -2 - 25. Is d <= -0.1?
True
Let x(g) = 4*g + 16. Let m be x(14). Which is bigger: 73 or m?
73
Suppose -5 = -2*i + 1, -3*j + 4*i = 0. Suppose 2*x = 2*u + 18, 0 = -x - j*x - 2*u + 31. Let t be 7/6*(-1)/x. Which is greater: t or -1?
t
Suppose 5*c - r - 15 - 10 = 0, 3*c + 4*r + 8 = 0. Suppose -9 = -c*y + 5*p + 27, 3*p = -5*y + 8. Suppose 4*w + i - 18 = -4*i, 5*w = 3*i + y. Is 2 at least w?
True
Let s be 2/(-5 - 6/(-2)). Let t be 6/(-9) + (-7)/22. Let r = t - -5/33. Which is bigger: s or r?
r
Suppose 0 = -2*p + 5*s - 12, -2*s = -7*s - 20. Is -17 equal to p?
False
Suppose -4*n - 1 = -g, 0 - 3 = -n - 3*g. Is n <= -4/11?
False
Suppose -56 = 5*g + h, -2*g + h = -0*g + 28. Let m be 2*1*18/g. Which is smaller: -2 or m?
m
Let l = -4 - -3. Let q = 4/1729 + -624189/8645. Let v = -72 - q. Is l greater than or equal to v?
False
Let c = 6 + -3. Let s = 83513651/16815 + -94358/19. Let t = s - 1/177. Is c <= t?
False
Suppose -10 = -p + m + 2*m, 0 = 2*p - m - 10. Suppose 3*k - 2*b - 10 = -k, 2*k = -p*b. Let f be 16/10 + -1 + 0. Which is smaller: k or f?
f
Let c(q) = -q**3 + 10*q**2 - q + 14. Let r be c(10). Which is bigger: r or 22/5?
22/5
Let j(u) = u**2 + 7*u + 9. Let w(h) = h**2 - 6*h - 6. Let f be w(6). Let x be j(f). Let k = x + -4. Is 2/7 < k?
False
Let b(s) = -s**2 - s + 2. Let d be b(0). Suppose 2 = d*f - 0*f. Let a be (6/24)/(f/4). Is a bigger than -1/4?
True
Let d = -3 - 0.5. Let b = d + 0.5. Which is smaller: 2/7 or b?
b
Let n = 58 - 284/5. Let u = n + -52/35. Which is smaller: u or 1?
u
Let s = 6 - 5.3. Let w = s - 0.9. Let o be 1*(1 + 0/2). Which is smaller: o or w?
w
Let h be ((-2)/(-28))/((-1)/(-4)). Let i = -8.2 - -4.3. Let t = i + 4. Is t greater than h?
False
Let y be (-2)/(-1 - 20/(-12)). Let q be (y/(-99))/(2/(-6)). Which is greater: q or 0?
0
Suppose 5*v - 16 + 46 = 0. Let l be -1*2/(v/(-3)). Let a be 1*4/18 - 0. Is l <= a?
True
Let s = -0.11 - 0.19. Let n = s - 2.7. Which is bigger: n or -1?
-1
Suppose k - 5*h = 5*k - 20, h = 2*k - 10. Suppose m + 3 = r, -m + k*r - 3 = m. Let t be (-1 + m)*(-2)/95. Which is smaller: t or 1?
t
Suppose 2*b - 5*m - 12 = -b, 12 = -4*m. Are b and -2 non-equal?
True
Suppose i - x = -49, 2*i + 5*x - 5 = -124. Let o be i/5 + 6/15. Let n be 12/o*10/(-4). Does 3 = n?
True
Let q be (-84)/60 - (-3 - -1). Let k = 469 + -2333/5. Let g = 53/20 - k. Is g greater than q?
False
Let j(v) = -v**3 + 8*v**2 - 7*v. Let z be j(7). Let a = -8 + 8.1. Is a at least as big as z?
True
Let f = 22 + -20. Let o = 2 - -3. Suppose -18 = -f*g + 4*t, 5*t + 3 + 17 = o*g. Is -4/5 > g?
True
Let b be (-6)/18 - (-4)/(-6). Which is bigger: -2 or b?
b
Suppose 5*d = d + 12. Let i be (-4)/24*(-76)/d. Let n = -40/9 + i. Is n != 1?
True
Let g = -2.3 - -2.41. Let x = g + -0.11. Let b = 33/56 + -7/8. Which is greater: x or b?
x
Let q(t) = 2*t**2 - 2*t - 5. Let u be q(-3). Is 19 at most u?
True
Let g(d) = -d**2 + 2. Let h be g(0). Let v = 21 + -15. Suppose -10*q = -v*q. Which is greater: h or q?
h
Let i be 2 + -2 + 2 + 0. Suppose p - 6 = -i*p. Is p greater than 3/5?
True
Let o = 3 - 1. Let a be -1*(-2)/(-4)*o. Let l be 1/(a + (-2)/(-1)). Which is smaller: l or -1?
-1
Let w = 16 + -10. Let p be (2/4)/(1/12). Let b be (w/9)/(20/p). Does -1 = b?
False
Let q(u) = -u**2 - u + 1. Let l be q(0). Suppose 0*w = -w - l. Is 2/21 smaller than w?
False
Let x be 7/12 + 2/(-8). Suppose -p - 2*d = 0, 2*p - 4*p + 4*d = 0. Are p and x equal?
False
Suppose 2*j = 4 + 2. Suppose -j*i + 2*i = 0. Is 2/47 > i?
True
Let w = -6 - -6.2. Let a = -7 + 0. Let i be a/(-10) + (-2)/4. Are i and w non-equal?
False
Let m be (-580)/(-696) + 6/(-4). Let o(t) = t**2 + t + 2. Let l be o(-2). Is l at least m?
True
Let a = 39 + -25. Let x be -5 - -5 - (1 - 3). Let n be 32/a - x/1. Which is bigger: n or 0.2?
n
Let l(k) = -k - 3. Let a be l(-4). Let m be a/1 + (-5 - -7). Let g be (1 - m) + (-80)/(-36). Which is greater: g or 1?
1
Let g be (56/(-35))/((-4)/10). Suppose -2*q + g*q - 18 = 0. Do 10 and q have the same value?
False
Suppose 3*k = -6*k + 306. Are k and 34 equal?
True
Let s be ((-3)/(-4))/(2/(-8)). Let b = -2 - -6. Suppose -20 = b*k - 2*f, -4*f + 5 = -3*k - 20. Is k greater than or equal to s?
True
Let p(a) = a**2 - 6*a + 5. Let i(b) = -b**3 + 3*b**2 + 6*b - 3. Let n be i(4). Let q be p(n). Let h be (-14)/(-10) - (3 - 2). Do q and h have different values?
True
Suppose 5*g - 15 = -5*k, 4 + 0 = -2*g. Let a be (0 + k)*4/10. Suppose -3*l + 5*i - 22 = 0, a*l + 4 = -i + 11. Is 1 at most l?
True
Let u = -10 - -11. Let n = -27/2 - -85/6. Is u != n?
True
Let q = 0 + 1. Suppose 3*v - 2*d = -7, 3*v + 5*d = -2*v + 30. Let h be v + 2*2/4. Which is smaller: q or h?
q
Let l be 35/(-56) - 3/(-4). Which is greater: 0 or l?
l
Let j = -10.73 + -0.27. Let p = 11 + j. Which is greater: p or 0.1?
0.1
Let a be (1 + 14/(-12))/(7/28). Suppose 0 = 4*p + p. Suppose -2*d = 4 - p. Does d = a?
False
Let i(s) = s**3 - 5*s**2 + 2*s - 7. Let t be i(5). Suppose 5*b = t*b - 6. Suppose -2*q + q = f, 4*f = q + 10. Which is greater: b or q?
q
Let k = -29 + 74. Which is smaller: 1/3 or k?
1/3
Suppose 2*n = 5*n - 6. Suppose v - 4*t = -13, -2*v - n*t = -4*t + 8. Let g be (-1)/(4 + 36/(-16)). Which is greater: v or g?
g
Let n(b) = -b**2 - 6*b + 3. Let c be n(-7). Let g(t) = -4 - t + 5 - t - 4*t**2 + 0*t. Let i be g(1). Which is smaller: i or c?
i
Let m be ((-16)/(-14) + -1)/(-1). Let f(s) = 2*s**2 + 3*s + 3. Let k be f(-3). Suppose c - 3 = 3*c + u, 2*u = 2*c - k. Which is bigger: c or m?
c
Let y = 9 - 4. Suppose 3*g + 22 = -5*l + 4*l, -g - y*l - 26 = 0. Are -7 and g non-equal?
True
Suppose -q + 1 = 5. Let s be 3 - (1 - -4 - 1). Let t be (-3 - q)*(-1)/s. Which is greater: 2 or t?
2
Let j = -10 + 19/2. Let v = 49.9 + -47. Let n = v + -2.84. Is n smaller than j?
False
Suppose 19 = -4*h - a + 6*a, -a = 3*h. Let d be 7/(-3) + 0 + 2. Which is smaller: h or d?
h
Let s = 42 + -30. Which is bigger: s or 8?
s
Let z = -8 + 2. Let r(j) be the first derivative of j**3/3 + 5*j**2/2 - 8*j - 2. Let b be r(z). Is -2 > b?
False
Let a be -2 + 2/4*2. Let w(b) = 2*b**2 + 3*b - 3. Let i be w(-3). Let j(k) = -k**2 + 7*k - 9. Let u be j(i). Is a less than or equal to u?
False
Let y = -23 + 23.09. Let j = 59/93 + 1/31. Is j != y?
True
Let b(a) = -a**2 - 6*a + 2. Let x be b(-7). Let n be x/15*(0 - 1). Suppose 4 = -2*v + 2*l, 4*l = v - l + 6. Is v < n?
True
Let a be (-45)/60 - (-2)/(-8). Which is smaller: 1/7 or a?
a
Let u be ((-6)/8)/(26/(-8)). Let a be (0 + 0)/(-12 - -13). Which is smaller: u or a?
a
Let z = 1 - 0. Suppose -3*v + 4*v - 5 = -3*r, 4*r + 2*v = 10. Is z greater than r?
True
Let l = -13.1 - -20. Let w = 1.1 + l. Let y = w + -2. Which is smaller: y or 0.1?
0.1
Suppose 3*q - 40 = 5*q - 2*c, 0 = -c. Which is smaller: q or -21?
-21
Let n = 1 - -1. Is -0.4 greater than n?
False
Let o(p) be the second derivative of -p**5/20 + 7*p**4/12 + 3*p**3/2 - p**2/2 - p. Let k be o(8). Is k <= 6?
False
Let c(j) = -j**3 + 2*j - 1. Let d(x) = x - 4. Let h be d(5). Let b be c(h). Which is bigger: b or -1?
b
Let w be (-6 - -34)*(-5)/(-4). Let f = w + -176/5. Which is bigger: 1/3 or f?
1/3
Let n = -55/17 + 13/4. Let g = 121/1020 + n. Which is smaller: g or -2?
-2
Let f = -70/31 - -1082/589. Let r = -78/95 - f. Let q = -19 + 18. Which is smaller: r or q?
q
Let o = -7.06 - -0.06. Let u = o - -6. Is 0.4 at most u?
False
Let o be (-1632)/6372 - -2*2/18. Let g = 3 - 4. Which is bigger: g or o?
o
Let h be (6030/40)/(6/4). Let y = 105 - h. Are y and 5 equal?
False
Let r be (-15)/3 - 2*-1. Let f(d) = d**3 + 2*d**2 - 2*d + 1. Let p be f(r). Let c = 2 + -5. Which is smaller: p or c?
c
Suppose 4*f + 4*k + 7 = 5*f, -14 = -4*f + 2*k. Suppose -f*a + 9 = 3. Which is bigger: 1/2 or a?
a
Let w(n) = n**3 - 4*n**2 + 2*n + 3. Let p be w(3). Suppose p*l = l - 1. Are -1/4 and l nonequal?
True
Let p be 48/64 + (-6)/4. Which is bigger: p or 0?
0
Suppose 6*d - 13 