- 1 = -9*z + 4*z. Is z greater than or equal to -2/19?
False
Let c(d) = -2*d + 22. Let m be c(10). Suppose m*y + 0*y = 0. Suppose 5*u - 11 + 2 = -4*h, 3*h + 5*u = 8. Which is smaller: h or y?
y
Suppose -3*c + 0*c = -5*b + 43, 2*b - 4*c = 20. Let u(p) = -5 - 3 + 2 + p. Let s be u(b). Is s at most 3?
True
Let k(h) be the second derivative of h**4/12 - h**3/6 + h**2 + 9*h. Let o be k(3). Is o at least as big as 1/4?
True
Let r = 50 - 54.2. Let k = -0.2 - r. Let c = 4.4 - k. Is c bigger than 1/4?
True
Let n be -4 + (-1 - (1 - 3)). Let x = n - 0. Let u = 0 - 2. Is x greater than u?
False
Let x be (-6)/(-4) - 15/10. Which is greater: x or 2/3?
2/3
Suppose -4*c - 5*t = -0*t + 11, -2*c - 5 = 3*t. Which is greater: c or -11/4?
-11/4
Let b be (0 + 0)/1*-1. Let f be (-8)/(-78)*12/8. Which is bigger: b or f?
f
Let s(r) = -r - 4. Let o(b) = -3*b. Let c be o(1). Let g be s(c). Is 1/6 smaller than g?
False
Suppose 6*o - 4*o = 0. Let k be (5 - (-19)/(-4)) + 6/8. Do o and k have the same value?
False
Suppose -17 = a - 2*k + 2, 5*k = -5*a - 35. Let y = a - -24. Which is greater: 0 or y?
y
Let o = -126 - -380/3. Are -0.032 and o unequal?
True
Let y = 19/12 - 9/4. Let g be 2/(-3)*60/(-8). Which is smaller: g or y?
y
Suppose -8 = -2*n + 16. Let x be 1*(-9)/(n/(-4)). Is x at most 2?
False
Suppose -3 = -3*j - m, 0 = 5*j - j - 2*m - 14. Suppose -j*h + 8 = -5*c, 2*h = -2*c - c + 8. Is h at most as big as 5?
True
Let d be ((-2)/2)/((-1)/5). Suppose 4*r - 9 = d*x, 2*x + 27 = -3*r - x. Let k(m) = -m**3 - 4*m**2 + m + 4. Let w be k(r). Which is greater: 2/5 or w?
2/5
Let n(c) = -3*c - 47. Let k be n(0). Is -46 bigger than k?
True
Let t = -14 - -13. Let s be 2*(21/18 + t). Which is smaller: 3 or s?
s
Let z = -17/480 - 1/32. Let j = -39 + 40. Does z = j?
False
Let o(y) = y**3 - 2*y**2 - 2*y - 4. Let x be o(3). Are x and 1/17 equal?
False
Let g(m) = -22*m**3 - 2*m**2 + 1. Let i be g(-1). Is 22 at most as big as i?
False
Let u be (-2)/6 - 65/156. Which is smaller: u or 0?
u
Suppose 0 = -5*p + 3 + 7. Suppose -2*x + x = -p. Is 0 >= x?
False
Let o = -20 - -11. Let c = o + 8. Is c at least as big as 2?
False
Let m = 2605669/65 + -40088. Let q be 0/(-2) - 18/13. Let i = m - q. Which is smaller: i or 0?
0
Let j = -0.08 - -0.09. Let q = -0.01 + j. Which is smaller: 2/15 or q?
q
Let v = 0.1 + -8.1. Let s = 8 + v. Suppose 4*w + 5 = 1. Which is greater: w or s?
s
Let h = 10 + -55. Is -46 >= h?
False
Let q = -7 + 2. Let j = q + 4.8. Is -1/5 <= j?
True
Suppose -5*z + 3*w = -0*z - 2, w = z. Is 50 at most as big as z?
False
Let q be (-7)/4 + 2/(-8). Let n be -3 - q/(-16)*-14. Is -2 < n?
True
Let s = 1 + -3. Let w be 1/s - (-56)/64. Is w at most 1?
True
Let r = -5 - -6.5. Let g = r - -7.8. Let f = -9 + g. Which is greater: f or -1/2?
f
Let a(f) = f**3 - 7*f**2 + 7*f - 4. Let d be a(6). Let j = 151/39 + -33/13. Which is greater: j or d?
d
Let a = 7 - 13. Let q(p) = p**3 + 5*p**2 - 7*p - 6. Let j be q(a). Let t = 1 + -2. Is j smaller than t?
False
Let u be (15/(-4))/((-7)/334). Suppose -t + 2*p = -181, -t + 5*t - 711 = -5*p. Let r = t - u. Which is smaller: 0 or r?
0
Let m = 660 - 20430/31. Let o be (64/1240)/(44/670). Let q = o - m. Is 1 at most as big as q?
False
Suppose 8*r - 3*r = -45. Suppose 9*j - 14*j - 40 = 0. Is j <= r?
False
Let g = -122024 - -261985535/2147. Let x = g - -516923/154584. Let n = 25/8 - x. Which is smaller: n or -1?
-1
Let v be ((-44)/55)/((-34)/5). Which is smaller: -1 or v?
-1
Suppose i = 3*m - 1 + 5, -8 = 2*m - 2*i. Suppose -2*x + 3*x - 3*j - 1 = 0, m = 2*x + 5*j - 13. Suppose 0 = x*v - u - 2, u = -2. Is v < 0.1?
True
Let g = 10 - 9.7. Let n = -0.1 + 0.3. Let j = n - g. Is j greater than or equal to 1/3?
False
Suppose 0*y - 5*y = s, 0 = 4*s + y. Let c be (-8)/18*(-21)/(-50). Let k = -388/1275 - c. Is s equal to k?
False
Let z = 4 + -7. Let b = -3 - z. Let w = 3628/15 + -242. Is b at most w?
False
Let x = 0 - -4. Let k = x - 3. Let r be (-2 - -3)*1/(-5). Which is smaller: r or k?
r
Let o(g) = -g - 2. Let s be o(-4). Suppose -s*v = 2*p - 8, 0*v + v = 4*p - 1. Let w be (-38)/(-13) + -4 + 1. Is p equal to w?
False
Let y(d) = -d - 4. Let v be y(-5). Let r be (-3)/(-2) + 2/(-2). Is r < v?
True
Let t = -4 - -8. Suppose 5*v + t*c = -1, v - c = -v - 3. Let p be ((-8)/6)/(-5 - 1). Which is bigger: v or p?
p
Let x(y) = -y**2 - 8*y. Let f be x(-8). Let i = -28337/730 + -882/73. Let v = i + 51. Which is smaller: v or f?
f
Let l = -16.67 + -1.33. Are 1 and l nonequal?
True
Let r = 2 + -1.4. Let v = r - 0.4. Is -0.3 greater than or equal to v?
False
Let w = 192 - 1341/7. Which is greater: 0 or w?
w
Suppose 6*h - 15 = f + 2*h, -25 = -2*f - 3*h. Suppose 0 = u - 3*g - 2, -5*u + 26 = -0*u + g. Are u and f equal?
True
Let k(l) = -l**2 + 13*l - 26. Let i be k(11). Are -19/5 and i nonequal?
True
Let w(i) = -i**2 - 5*i - 2. Let g be w(-3). Suppose -7 - 5 = -g*x. Let f be 2*x/(-12)*0. Which is bigger: 1/5 or f?
1/5
Suppose -3*l + 3*g + 0 = 9, 3*l = -4*g + 12. Suppose s - 5 = -3*i - 2, -s - 5*i + 7 = l. Let n be (-2)/6 - (-2)/s. Is n <= -1?
True
Let f(k) = -3*k + 3. Let h be f(2). Let b be h - (-3)/((-21)/(-22)). Let y(a) = a - 5. Let o be y(5). Which is smaller: o or b?
o
Suppose -4*i + 34 = j - 4*j, -3*i + 3*j = -24. Are i and 10 unequal?
False
Let v(i) = -i**3 - i**2 + i - 2. Let s be v(-2). Is 3/19 bigger than s?
True
Let y = 66 + -68. Suppose -5*a = 4*r - 10, -a + 5*r - 35 = 4*a. Is a <= y?
True
Let l = -12 + 130/11. Let m = 16 - 17. Is m less than or equal to l?
True
Let p = 0.7 - -0.3. Let a = -5 + 10. Let q = -5 + a. Is q at most as big as p?
True
Let n(k) = -k**3 - 4*k**2 - 2*k + 6. Let j be n(-4). Which is smaller: j or 15?
j
Suppose -3*u = 5*v + 19, 11 = -4*u - v - 3. Let d be u + (-1 + -1)/(-1). Let l be 15/10*(-12)/30. Is d greater than or equal to l?
False
Let w be 0*(4/(-2) - -3). Suppose -3*a - 3 + 15 = w. Suppose -7 = -2*h - v - a, 2*h - 5 = -3*v. Which is smaller: h or 2/5?
2/5
Suppose -2*d + 3*c = -2*c - 56, -5*d + 140 = 4*c. Let j be 12/d + (-101)/203. Do j and 1 have different values?
True
Let a be 3/(-6) + (-9)/(-6). Suppose -a = -r - 2. Let h be (-40)/(-6)*(-12)/70. Is r less than h?
False
Let l = 234 + -8656/37. Which is bigger: l or -1?
l
Suppose 1 = t - 1. Suppose -4*c + 14 = t*r, -3*c - 4*r + 14 = 1. Let o be (-8)/7*c/6. Are -1 and o equal?
False
Let y = -46/33 + 30/11. Let w = 8.06 + -8. Let i = w - 0.16. Which is bigger: i or y?
y
Let d = 13 - 8. Suppose 4*x + 4 = d*x. Suppose 0 = -2*z - s + x, s = 5*z + 3*s - 8. Which is smaller: -1 or z?
-1
Let w(i) = -i**3 + 4*i**2 + 5*i - 3. Let p be w(5). Is -1 >= p?
True
Suppose -v + 9 = 2*v. Let u be (20/15)/(1/v). Which is bigger: u or 5?
5
Let c(x) = x. Let o be c(0). Suppose 18 = 2*z - s + 6*s, -z - 2*s + 8 = 0. Let v be z/(-10)*15/(-18). Which is greater: o or v?
v
Let p = 6 - 3. Suppose -5*w = 3*y + 3, -w - 6 = 3*y - p. Which is smaller: 1 or w?
w
Let r = 30.5 - 31. Let k = 1 - 0.9. Which is smaller: r or k?
r
Let o = -62.3 - -70. Let c = -7 + o. Which is greater: -1 or c?
c
Suppose 1 = 3*y - 8. Which is greater: 12 or y?
12
Suppose 2*y = 8*y + 6. Let b = 1 - 1. Is b > y?
True
Suppose 5*a - 10 = 0, 0*a - 5*a = 2*y - 16. Suppose -2*n + y - 5 = 0. Are n and 0 nonequal?
True
Let z = -0.33 - -0.13. Let f = -4 - -1. Which is smaller: z or f?
f
Let n = 39 - 39. Does n = 0.01?
False
Suppose -4*p - 3*u + 29 = 0, 7 = 2*p + u - 2*u. Suppose -3*w = -p*w - 10. Is -6 < w?
True
Let m be -2 - -1 - -3 - 1. Let n be 3/(-12)*16/10. Are m and n equal?
False
Let h be -1 + 17 - (-8)/(-2). Let a = h + -9. Let g(k) = k**3 + 4*k**2 - k - 2. Let t be g(-4). Which is smaller: a or t?
t
Let b be 2/5*(-5)/23. Which is greater: -1 or b?
b
Suppose -m - 6 = w + 2*w, 0 = 2*w - 4*m + 4. Is w bigger than 7?
False
Suppose 3*s + 2*q + 1 + 4 = 0, 3*q = -4*s - 7. Let v = 0 - -1. Let p be (-8)/3 - (-2)/v. Which is greater: p or s?
p
Let d be -3*44*2/6. Let x be -7 + 8 + 46/d. Is x less than 0?
True
Let g(v) = -4*v**3 + 2*v**2 + 2*v + 1. Let o be g(-1). Let w = o + -6. Let x be w*(1 + 0 + -3). Is 2 at least x?
True
Let n(o) = o**2 + o - 1. Let l be n(1). Let z(u) = -3*u + 11. Let y be z(3). Is y at least l?
True
Let v = -16 - -16. Let c be 5/15 + (-106)/2. Let p = c + 52. Do p and v have the same value?
False
Suppose 3*q - 39 = -q + 5*x, 2*x - 10 = 0