n -2/9?
True
Let f = -155/7 + -429/35. Suppose 0*n - n + 34 = 0. Let j = f + n. Which is greater: j or 0?
0
Let f be ((-3 - 1)/2)/(-5). Suppose 0 = -2*a - 3*a. Suppose a = 4*v - 2*b - b + 2, -v = -b + 1. Is f greater than v?
False
Let z = 3056/9 - 338. Which is greater: 2 or z?
2
Let i = -3 + 2. Let y(k) = 5*k - 4. Let n be y(5). Suppose -d - 9 = v, 0 = -d - 4*v - n - 0. Are i and d equal?
False
Let s(z) = -z - 1. Let v be s(-3). Let w = 8 - 13. Let y = -2 - w. Is v less than y?
True
Suppose 0 = -3*s + o + 2*o, 3*s - 2*o = 2. Suppose 0 = -s*m + 4. Is m at least 1?
True
Let q = -12.2 + 12. Let c = -0.1 - q. Are -2 and c unequal?
True
Suppose 17 = 3*n - 19. Which is smaller: 11 or n?
11
Let x be (15/4 - 0)/(2/8). Is 47/3 >= x?
True
Suppose z = -3*z + 4. Let m be ((-162)/(-495))/((-1)/15). Let i = m - -205/44. Which is greater: i or z?
z
Let d(h) = -5*h**2 + 1. Let s be d(1). Is 2 at most as big as s?
False
Suppose 2*s = -f + 12, -5*s + 29 = f + f. Let x be s/(-9)*(-195)/(-11). Let k = -29/3 - x. Which is smaller: 0 or k?
0
Let g = 11 + -17. Is 1/3 < g?
False
Let t(l) = l**3 - 4*l**2 - 4*l + 2. Let v be t(4). Let b be (2/4)/(v/(-12)). Suppose -3*x + 2*m - 7 = 0, 0*x + 4*x + 4*m - 4 = 0. Which is greater: x or b?
b
Let h = 20 - 61/3. Let x = -1.1 + 0.1. Let c = 1 - x. Does h = c?
False
Let g = -8 - -11. Suppose -35 = 5*r - g*y, 5 = 2*y - 5. Let o be (-3)/((-2)/(-2*1)). Which is smaller: r or o?
r
Let v = -23 + 91/4. Let a = -13 - -23. Suppose 4 = 2*u, 5*g + a = u + 4*u. Which is greater: v or g?
g
Suppose 2*a + 13 = 43. Let l be (-4)/(-10) - 21/a. Let p = 5053/15 + -337. Is l at least as big as p?
False
Let r be (-6)/(-21)*(-7)/3. Which is smaller: r or -6?
-6
Let a(v) = -4*v**2 + 4*v. Let t(s) = 7*s**2 - 7*s. Let w(n) = -11*a(n) - 6*t(n). Let f be w(2). Is f equal to 5?
False
Let s = -15 - -28. Let y = s + -8. Which is bigger: -2 or y?
y
Let w be (1 + 2 + -1)/(-1). Let x be -1 + 4 + -4 - w. Is 1 greater than x?
False
Let o(i) = i + 11. Let k be o(-7). Suppose -3*u - 2*p = -3*p - 6, k*p + 10 = -2*u. Are -1/4 and u equal?
False
Let o be 2/(-8)*(-16)/14. Let f = -587 + 5278/9. Let z = 19/18 + f. Which is smaller: z or o?
o
Suppose 3*c = 2*c, 4*c = 2*u - 2. Which is smaller: 0.2 or u?
0.2
Let n = -69/580 + 2/29. Which is smaller: n or -1?
-1
Let f = 144 + 84. Let x be f/645 - 2/5. Suppose -4*m - g - 2 = -0, -2*m = g. Which is smaller: m or x?
m
Let w = 3 - 2. Let i = 59/21 + -8/3. Which is bigger: w or i?
w
Let t(b) = b - 8. Let w be t(9). Let v = 7 - 7. Is w less than or equal to v?
False
Let l = 3 - 2. Let p = 503/618 + 2/103. Is p bigger than l?
False
Suppose 318 = 5*f - 2*f + 3*t, 0 = -4*t + 4. Let h be (-9)/(-6) - f/54. Are 1 and h non-equal?
True
Suppose 0*m + m + 4 = g, -20 = 5*m. Is g != -2/27?
True
Let w be 86/10 + (-6)/(-15). Suppose -4*u + 15 = -w. Let b be (2/(-3))/(u - 4). Are -1 and b equal?
False
Let a(u) = u**2 + u - 7. Let q be a(0). Which is smaller: q or -6?
q
Suppose 0 = -d - 2*j - 12, -j + 3*j = 3*d + 4. Suppose -3*o = -2*o. Suppose 2*r = o, h = 4*r - 3 + 1. Is h <= d?
False
Let d(m) = -m + 4*m - 4 + m + m**2. Let h be d(2). Is 8 at least h?
True
Let t be 78/42 + (-2)/7. Is t at most 1?
False
Let q = -247875 - -3219829/13. Let b(z) = -23*z + 12. Let t be b(-8). Let y = q + t. Is -1 >= y?
False
Suppose -2*u = -0*u + 2. Let l be -1*((-4)/u - 3). Let x(b) = -b**2 - b + 1. Let m be x(1). Is m bigger than l?
False
Let b = -70/9 + 368/45. Let h be 1/(-3*(-3)/9). Let g(r) = r. Let m be g(h). Which is smaller: m or b?
b
Let v be ((-2)/(-6))/((-2)/(-162)). Do v and 26 have different values?
True
Let w = 1.8 - 1.8. Do 3/4 and w have different values?
True
Suppose 8 = k + 3*k. Is 3/4 > k?
False
Let x = -123 - -122.6. Which is bigger: x or -16?
x
Let c be 0/2 + (-5 - -4). Suppose 3*w = 2*w - 37. Let b = -261/7 - w. Which is greater: b or c?
b
Let n(d) be the third derivative of d**9/60480 + d**7/2520 - d**6/720 + d**5/30 + 2*d**2. Let b(q) be the third derivative of n(q). Let u be b(1). Is 1 > u?
False
Let k be (14/(-10) + (-18)/(-45))*0. Is k != -4/3?
True
Let v be (-10)/15 + (-13)/3. Let q be (2 - 2) + (-3 - v). Is 1 not equal to q?
True
Let y = 7/3 - 31/12. Which is smaller: -0.5 or y?
-0.5
Let k = 19 + -19. Let c = 15188/333 - 410/9. Is k at least c?
False
Let g be 120/4 + 6/(-2). Suppose 3*k + g = 9. Is k < -5?
True
Let c = 10 - 14. Let y(h) = h**2 - 7*h - 5. Let g be y(7). Which is bigger: g or c?
c
Let u(w) = w**3 - 2. Suppose -3*s - 7 + 6 = 2*l, -l + 4*s = 17. Let f = l + 5. Let g be u(f). Is 0 > g?
True
Let j = -16/37 - -230/703. Let g(l) = -l - 1. Let o(c) = 4*c + 5. Let p(n) = 9*g(n) + 2*o(n). Let f be p(1). Do j and f have the same value?
False
Let s be ((-66)/(-9))/(1/3). Which is greater: s or 21?
s
Let o be (-4)/(-2) - 3/2. Suppose -7*k - 1 = -8*k. Is o less than k?
True
Let k = -0.1 - -0.1. Let m = -13.84 + -0.16. Let t = 13.8 + m. Is t less than k?
True
Let h = -1 - 3. Let l be h/10*(-30)/48. Let z = 2 - 3. Which is smaller: z or l?
z
Let d = 121 - 115. Which is bigger: -7 or d?
d
Let z = -38 - -115/3. Which is smaller: z or -2?
-2
Let a = 33 - 100/3. Let w be (3 - 2) + 1 + 0. Let s be 0/((-2 + 0)/w). Is s less than a?
False
Let o be -4 + 3*(-33)/(-27). Is -0.07 < o?
False
Let o be (-156)/56 - (-4)/14. Which is bigger: -3 or o?
o
Suppose -c + 6 = c. Is c greater than or equal to 0?
True
Let h = 27 - 26. Is h equal to -2/25?
False
Let u be 0 - (0 + (1 - 2)). Suppose 4*h + 2*x = 467 + 1185, -4*h = -4*x - 1640. Let k = h - 7826/19. Which is greater: k or u?
u
Let s = 11 + -6. Let v = -9 - -13. Which is smaller: s or v?
v
Let v = -1 + 9. Suppose 0 = -3*y + t + 17, -4*t - v = -3*y + 24. Suppose y*z = -11 + 3. Which is bigger: z or -3?
z
Suppose 3 = -2*x - 1. Which is bigger: x or -1?
-1
Let d = 8 - 4. Let r = -3 + d. Is r at most 2?
True
Let s = 5 + -8. Let v be -10 + (0/2 - s). Is -7 < v?
False
Suppose -4*r = 19 - 7. Let g be (0 - 0)/(1 + r). Let x be (8/(-14))/((-30)/105). Is g > x?
False
Let t(w) = 8*w - 2. Let r be t(2). Let k be 276/(-378) + 4/r. Which is smaller: k or -1?
-1
Let p be (-2)/(-1)*3 - 1. Let x be (-1)/(-1) - p/1. Let r(m) = -m**2 + 2. Let t be r(2). Do x and t have the same value?
False
Let a = 51 - 79/2. Do 11 and a have the same value?
False
Let z = -84 - -100.1. Let k = z + -16. Is -3 equal to k?
False
Let k = -1181/170 + 5/34. Which is bigger: k or -8?
k
Let b = 8463/4190975 + -4/3163. Let x = 33121/5300 + b. Let r = -117/20 + x. Is r != -2/7?
True
Suppose 31 = 3*c - 0*l - 2*l, -5*l + 27 = 2*c. Is 1/2 greater than c?
False
Let w = 19.8789 + 0.1111. Let v = w + -19. Let j = v - -0.01. Is j != -2/3?
True
Suppose 3*x = i - 4, 3*i = -4*x - 4 + 3. Let w be 3/(1/1) - 0. Suppose 10 = -2*k - 3*m, -4*k + 3*m + 13 = -w*k. Is k equal to x?
False
Let o = 407/87 + -1/87. Let m = o + -67/15. Which is smaller: 1 or m?
m
Let g = 61/228 - 1/57. Is -17/4 bigger than g?
False
Let f be 2*(4 + (-28)/8). Is 6 != f?
True
Suppose -f = z + 6, 3*z + 0*z - f + 14 = 0. Suppose 12 = g - 5*g. Is z less than g?
True
Let k = 10.19 - 0.19. Let t = 9.6 - k. Let v be (6/(-4))/((-63)/(-28)). Which is smaller: v or t?
v
Let a = 491/4 - 122. Let r be (-11)/(-5) - (-1)/(-5). Is r < a?
False
Suppose -4*x - x + 71 = 2*u, -3*u - 3*x = -84. Suppose -25 = -4*p + u. Is p at least as big as 12?
True
Let r = 5 - 7. Let j = 4 + -4.3. Let u = j + 0.5. Which is smaller: r or u?
r
Let r = 34 + -35. Which is bigger: 1 or r?
1
Suppose -5*p = -7*p. Let t be (-2 + 3)*(1 - p). Is t > 7/6?
False
Suppose 6*p - 37 = p - 4*s, -3*p - 2*s + 21 = 0. Is p bigger than 6?
False
Let l = 4733/415 - -66/83. Let k = -371/30 + l. Suppose -3*r + 2*f - 1 + 0 = 0, 6 = -2*r - 4*f. Is k less than or equal to r?
False
Let d be -3*(-1)/(-2) - 47/(-10). Are 4 and d equal?
False
Let c(j) = -5*j**3 - j**2 - j + 1. Let s be c(1). Is s != -6?
False
Let m = 3144/13 - 242. Suppose 4*x - 2*x + 4 = 0. Let k = 3 + x. Is k bigger than m?
True
Let l be 7/3*3 + -2. Suppose -l + 17 = 2*c. Let x be ((-1)/c)/((-1)/(-2)). Are x and 0 nonequal?
True
Let t(u) = -u**3 - 2*u**2 + 1. Let h be t(-3). Are h and 9 equal?
False
Let a be -2*93/180 + 0. Let v = 5/6 + a. Suppose s = -i - 6, 0*s - 13 = 3*i + 2*s. Is v less than i?
False
Let m(p) = p**3 - 13*p**2 + 11*p + 14. Let r be m(12). Let a = 1 + -3. I