Does -7/6 = g?
False
Let h(m) = -m - 2. Let r be h(-9). Let a = 7 - r. Is a greater than 4?
False
Let x(j) = -j + 8. Let q be x(7). Let i = q + 0. Which is greater: i or 1/12?
i
Let a(c) = c**2 + 4*c + 1. Let o be a(-3). Let m be (12 + o - 4)/4. Let f(s) = s. Let p be f(1). Which is smaller: m or p?
p
Suppose r - 21 = 2*k, k - r = -2*r - 15. Is k <= 2?
True
Let v be (7/(-70))/((-4)/(-10)). Let z be (8/(-12))/(2/3). Is z >= v?
False
Suppose -l + 0*l = -10. Is 11 smaller than l?
False
Let z be ((-2)/15)/((-13)/(-65)). Is -6 less than z?
True
Let l be (-20)/(-6)*231/14. Suppose -l = 5*b - 15. Let a be (-10)/b - 4/8. Is a at least as big as 1?
False
Let f = -30 + 31. Is 3 greater than f?
True
Let l = 68.8 - 75. Let i = l + 6. Is -2/5 less than i?
True
Let w = 18 + -17. Suppose 4*j = 2*m - 6, j + w - 13 = -4*m. Is j > 0?
False
Let i be (4 - 12)/(2/2). Which is greater: i or -6?
-6
Let z = -2462/11 + 224. Is z > -1?
True
Let n = -0.43 - -0.4. Let g = 5.03 + n. Let q = g - 5. Is q greater than -0.3?
True
Let x = -8.8 - 0.2. Let u = 5 + x. Let s = 25 - 99/4. Which is greater: u or s?
s
Let q = -0.238 + 0.138. Which is bigger: 12 or q?
12
Let t = -113/65 - -20/13. Let q be 1 - ((-2)/2 + 1). Let n be (q/3 + 0)*3. Is n less than t?
False
Let v = 2 - 2.3. Which is bigger: v or 1?
1
Suppose -50 = 2*u + 3*u. Let t be (-4)/(-10) + 4/u. Which is smaller: t or -4/5?
-4/5
Suppose 4*n + 4*s - 40 = 0, 4*s + 20 = 4*n + 4. Let p be (-6)/15*(-16 + 1). Are p and n nonequal?
True
Let o = 39.1 + -37. Let g = o - 0.1. Let d = -224/3 + 74. Which is smaller: g or d?
d
Suppose 5*l - 20 = -4*p, -4*l + 7 + 8 = 3*p. Suppose l + 12 = y. Let r be (1/(-3))/((-8)/y). Is r at most as big as 2?
True
Let k = 2.5 - 0.5. Suppose 0 = -2*g + 334 - 326. Which is smaller: k or g?
k
Suppose -w + 32 = u, w + 2*u = -u + 30. Let a be (w/44)/((-78)/(-16)). Let y = 0 - -0.1. Are a and y unequal?
True
Suppose 0 = 2*i + 2*h + 6, 15 = 2*i - 5*h - 7. Suppose -3*s + i = -2. Is -3/7 > s?
False
Suppose -5*q = 1 - 6. Let r = -3221 - -222253/69. Let o = -2/69 - r. Is o equal to q?
False
Let p be (-2)/3*-15 - 2. Suppose 3*r = -5*f + p, 0 = 2*f - 0 - 2. Is 0.7 < r?
True
Suppose -a - 4*x + 8 = -5*x, 0 = -5*a - 5*x + 20. Let i = 7 - a. Which is smaller: -3/11 or i?
-3/11
Suppose -5*g - 2 = -17, -4*g = -k - 24. Let c be ((-6)/4)/(9/k). Suppose c*f + f = 6. Which is smaller: f or 1?
1
Let k be (7 - (-2664)/(-616)) + (-4)/(-22). Is k at least 4?
False
Suppose 13 = -6*a + 31. Suppose -3*n + 6*n - 18 = a*o, -12 = -4*n. Which is greater: o or 0?
0
Suppose g = -l - 3, 5*l - 2*g = -12 + 32. Let c be (3 - (l + 0))/(-1). Are c and -5/4 unequal?
True
Suppose 0 = 7*v + 17 - 3. Is v >= -2?
True
Let v = 1289/5 + -257. Which is bigger: 0 or v?
v
Let w(i) = -3*i**3 + 5 + 6*i**2 - 1 + 4*i**3 + 3*i - 2*i. Let u be w(-6). Are u and -2 nonequal?
False
Let g be (-54)/(-1539)*(-3)/2. Let r(s) = -s + 2. Let b be r(1). Which is greater: g or b?
b
Let o = -93 + 92. Let c be (2 - 1)/(8/(-3)). Is o at least c?
False
Let b = 89 + -711/8. Let z = b - 3/8. Suppose 3*m - 8*m = 0. Which is greater: z or m?
m
Let l be (-16)/22 + (-18)/(-18). Suppose -4*o = 2 + 2. Is l less than o?
False
Let j = -5 - -4. Let d be j/2*6/(-9). Which is bigger: d or 0?
d
Let b be ((-11973)/(-18))/(-13) + -3. Let t(k) = 3*k**2 - 5*k + 4. Let w be t(5). Let m = b + w. Is 0 at most as big as m?
False
Let o = 0.11 - 0.04. Let u = o + -0.07. Is 0 > u?
False
Let x = 75 - 79. Is x at most -17/5?
True
Let b = 0 + -0.2. Let k = b + 0.3. Suppose -d + 3 = -2*r + 3*r, 5 = 3*d - r. Is k <= d?
True
Let k(n) be the first derivative of 1 + 1/2*n**2 + 5*n. Let x be k(-6). Which is greater: -2/3 or x?
-2/3
Suppose 7*h - 3*k = 2*h - 8, -3 = h - 2*k. Is 1/5 smaller than h?
False
Suppose 69 = 4*p + 17. Let o be 0 + (2 + 1)*4/4. Let y be -2*p/8 + o. Which is smaller: y or 1?
y
Suppose 3*r = -u, -3*r + 2*u - 6*u = 9. Suppose 5*z + 0*h - 12 = -4*h, 15 = 5*z + 5*h. Let q be (2 - 2) + z/(-1). Are q and r nonequal?
True
Let w be 6/(-4) - (-1)/(-2). Let h(o) = o + 4. Let a be h(w). Let y = 143/6 + -45/2. Do a and y have the same value?
False
Let k = -6/5 - -59/45. Let c(r) = r. Suppose 5*z - 15 + 2 = -2*m, -3*z + 11 = -2*m. Let j be c(m). Is k at most as big as j?
False
Let s(z) = z - 13. Let r be s(12). Is -1 smaller than r?
False
Let h = -4.5 + -0.5. Let a = 3 + h. Let j = -1.21 + 0.21. Is a < j?
True
Suppose 2 - 11 = 3*v. Suppose 0 - 10 = 2*a. Let c = v - a. Which is bigger: 1 or c?
c
Let t = -5 + 7. Let a = t + -1. Let k be (-6)/(-4) + a/(-2). Is 1 at most k?
True
Let v = -2 + 6. Let s = -4.3 + v. Let q = s - -0.3. Are q and 1/5 unequal?
True
Let w = -2.6 - 0.4. Let k = -0.67 + 3.57. Let j = w + k. Which is smaller: j or -2?
-2
Let t(x) = -x**2 - 12*x - 7. Let s be t(-11). Are 0 and s equal?
False
Suppose 11 = 5*s + 1. Suppose -2*r + s = 4. Which is smaller: -3/7 or r?
r
Suppose 5*w = -11 + 6. Let u be 17/35 + 6/(-21). Is w greater than u?
False
Let d = 144 - 146. Is d at least as big as -0.6?
False
Suppose 3*k + z = -16, -k + 4*z = 2*z + 10. Let w(l) = l + 3. Let u be w(k). Which is greater: u or -4?
u
Let n = -0.5 + 0.4. Let z = -1.1 - n. Let c = z + 5. Is c < 0.1?
False
Let n = 0 - -2. Suppose -n*h - 2*h = -36. Suppose 1 = -2*x + h. Are x and 5 nonequal?
True
Suppose -d + 3 = 2*s - 3*s, 0 = 3*s - 5*d + 13. Are 2/69 and s equal?
False
Suppose -12*k = -11*k - 10. Which is smaller: k or 7?
7
Let g = -14/87 - -20/87. Let m be (-4 - (4 - 11)) + -3. Which is smaller: g or m?
m
Suppose 5*s - 8 = 12. Suppose -5*x + s = -1. Are -1/6 and x non-equal?
True
Let b be (-23)/(-7) + (-10)/35. Let p be 390/(-176) - (-6)/b. Let i = p + 1/11. Is 1 < i?
False
Let p be 53/(-11) + (-6)/33. Let j be 3*p/((-45)/51). Is j > 17?
False
Let n(p) = 3*p + 4. Let a be n(8). Is 28 at most as big as a?
True
Let d = 10 + -15. Which is bigger: d or -3?
-3
Suppose 6 = -k - 2*r, -2*r - 6 = 2*k - 0*r. Is k less than 1?
True
Let p = -4.074 + -0.026. Let n = -4 - p. Is n at least 0.06?
True
Let b be (-2)/(-6) - (-4)/6. Which is bigger: b or 0?
b
Let d = 6 + -8. Let u = -2.1 - -4.1. Which is smaller: u or d?
d
Let x = 248 + -167. Let g be (-3)/((x/6)/(-1)). Suppose 0 = -5*t - 5. Which is smaller: t or g?
t
Let p be 2/(-16) - 6/208. Suppose 0 = 3*i + 3. Are i and p equal?
False
Suppose -8 = -4*o + 12. Suppose -2*u = o*u - 7. Let j(b) = b + 7. Let x be j(-8). Which is greater: x or u?
u
Suppose -4*t - 4 + 8 = 0. Let o be t/(-1) - 4*-1. Which is smaller: o or 0?
0
Let v be (-2*(-4)/(-10))/((-2)/(-10)). Are v and 4 unequal?
True
Let y be (2/4)/(6/60). Suppose -5*l - 40 = y*r, -l - 18 = -0*r + 3*r. Let f be ((-3)/l)/(3*-1). Is 0 < f?
False
Suppose -6*q + 3*q + 12 = 0. Suppose 1 = -q*d - 7. Let g be 0/(-1 + 4 + d). Is g > 2/3?
False
Let i be 4/18*(-33)/22. Is -1 not equal to i?
True
Let k = 15 + -15. Is -0.01 greater than k?
False
Let q(o) = -5*o + 19. Let t be q(4). Which is bigger: -5/4 or t?
t
Let w(c) = -c**3 + 2*c**2 - c + 1. Let i be w(1). Let m = i + 2. Let q be (-30)/4*(-2)/m. Is 5 > q?
False
Let z(a) be the first derivative of a**4/4 + 2*a**3 - 3*a**2 + 5*a - 1. Let x be z(-7). Let h be x/(-2) + (-2)/2. Is 0 smaller than h?
False
Let l = -10.91 + 11. Let m = l + -0.19. Let n = -0.06 - -0.36. Which is greater: n or m?
n
Suppose -175 = 5*g - f, 3*g - 2*f + 27 = -71. Let x = 106/3 + g. Does x = 5?
False
Let i(x) = x**3 + 4*x**2 - 5*x + 5. Let u be i(2). Is u at least as big as 35/2?
True
Suppose 0*b = b + 2. Let a(z) = z**3 + 2*z**2 - z + 1. Let u be a(b). Suppose 4*k = -2*r - 10, r + r = -2*k. Is u less than r?
True
Suppose -5*i - 43 - 77 = 0. Let a be i/15 - 4/(-2). Let r = 1 + -4. Which is smaller: a or r?
r
Let t = -2 + 5. Suppose -10*v = -7*v - 30. Let i be 12/v*t/27. Which is smaller: i or 0?
0
Let o be (-47)/28 - (-1)/4. Let z be 2/7 - (-12)/(-42). Is z greater than o?
True
Let o be ((-44)/(-12) + -3)*12. Suppose 5*d + 8 = -3*c, -d - 5*c - o = 2*d. Do d and 19 have the same value?
False
Suppose 5*s + w - 5 = 0, 4*w + 14 = 5*s - 16. Let h be s - 0 - (1 + 4). Let g = -145 - -143. Which is bigger: h or g?
g
Suppose 0 = 4*k - 5*k - 1. Let j(z) = -4*z - 1. Let u be j(k). Is u greater than 4?
False
Suppose 3*j - j = -10. Suppose -3*p + 32 = 11. Let q(m) = -m + 1. Let x be q(p). Is j greater than or equal to x?
True