 greater than m?
True
Let w = 0.082 + -0.182. Which is smaller: w or 0.1?
w
Let c = 2.9 + -3. Suppose 29 = u + 13. Is u bigger than c?
True
Let y be (10/(-25))/(8/10). Which is greater: y or 3?
3
Let o be 0/(2 + -2 - 1). Is 6/43 > o?
True
Let x = 9082 + -6007. Let r be (-40)/x*95/(-2). Let k = r - -2/41. Which is smaller: -4 or k?
-4
Let p be -10*1 + 3/1. Let z be (-4)/(-54)*(p - -1). Which is bigger: 0 or z?
0
Let z be (4/(-10))/(16/20). Let b be 58/(-3) + 2/(-3). Let u be (2/b)/((-3)/6). Which is smaller: z or u?
z
Suppose -4 = -y - 2. Which is greater: 4 or y?
4
Let i(o) = -2*o**3 - o**2 - o. Let a be i(-1). Suppose -2*b + a*n + 12 = 0, -10 = -b - b + 3*n. Suppose -3*c + c = -b. Are 4 and c equal?
True
Let l be (-2)/6 - (-39)/9. Let w be (-4)/(-10) - 39/(-15). Suppose 0*i = -w*i + 12. Is i >= l?
True
Let a = 49 - 57. Which is bigger: a or 1/3?
1/3
Suppose -2*y - l = -7, -3*y + l - 13 = -6*y. Let b be (3 - 16/y)/1. Is -1 smaller than b?
True
Let x = -7174/15 - -478. Are x and 0 equal?
False
Let t(y) = 7*y + 33. Let n be t(-8). Is -23 <= n?
True
Let b = 219/5 + -2379/55. Which is greater: 1 or b?
1
Let g(s) = -s**2 - 2*s + 4. Let l be 1 + -4 + 0/(-2). Let f be g(l). Let c be f*(-4)/(-66)*3. Which is bigger: -0.2 or c?
c
Let h be ((-5)/15)/((-2)/(-18)). Let x = 14/5 + h. Is 1/4 at least as big as x?
True
Let g = -3/10 + 47/140. Which is greater: g or -1?
g
Let y be ((-99)/176)/(1/12). Is -8 < y?
True
Let n(a) = a**3 + 2*a**2 + 2*a + 1. Let p be n(-1). Let f = -10 - -18. Let t be 2/15*(-10)/f. Is p <= t?
False
Let t = 39.9 - 63.6. Let a = t - -23. Is 2/5 greater than or equal to a?
True
Suppose 2 = -2*u + 6. Suppose 0 = 3*w - u*w. Which is greater: w or 2/13?
2/13
Let y = -29.4 + 29.5. Let n = -5.7 - -6. Which is greater: n or y?
n
Let a = 48 - 46. Is a greater than or equal to 3?
False
Let k = -0.6 + 6.6. Let m = k - 5. Is m less than or equal to -1?
False
Suppose -v - 20 = 2*v + 5*j, 0 = -5*j - 20. Which is greater: 2 or v?
2
Suppose -3*v + 2*t = 7, -2*v - 5*t - 8 = 3. Let y = 39/8 + -573/88. Which is bigger: v or y?
y
Let a(p) = -16*p - 46. Let u(m) = 3*m + 9. Let t(y) = 2*a(y) + 11*u(y). Let h be t(-12). Is -4 equal to h?
False
Let x be (39/27 - 2) + 0. Suppose -8 - 4 = h - 4*d, 4*d - 12 = 0. Which is smaller: x or h?
x
Let s = -386/551 - -12/19. Is s equal to 0?
False
Let d = 0.4 - 0.3. Is d at least as big as 7?
False
Suppose -1 = 4*f - 2*g - g, -4 = 4*g. Let u(k) = 11*k + 1 + 0 - 8*k - k**2. Let q be u(3). Do q and f have different values?
True
Suppose i - 80 = -3*i. Suppose -s = -5*s + i. Let o(n) = -n + 14. Let f be o(8). Is s at most f?
True
Let y(o) = o**2 - 4*o + 6. Let j be y(4). Let r(n) = -n + 8. Let a be r(j). Suppose -1 - 1 = a*t. Which is greater: t or -2?
t
Let g(f) = -f**3 + 3*f**2 - 2*f - 1. Suppose -k = -4*k. Suppose -3*j + 12 = 0, -2*m = -k*j + 3*j - 16. Let u be g(m). Is u at most as big as -1/4?
True
Let y = 3 + -2.9. Which is smaller: y or -2?
-2
Suppose -2*b - 46 = 4*u, 2*u - 5*b = 3*u + 34. Which is greater: u or -7?
-7
Let z be (-2)/4 - (-2)/(-12). Which is smaller: z or 13?
z
Suppose k = 3*r + 5, -5*k + 29 = 3*r + 4. Suppose -4*a - 2 = -5*b - 19, 0 = -3*a + 5*b + 9. Suppose 0 = -m + 3*m - a. Is m > k?
False
Let i = 459469 - 11473147/25. Let o = i + -543. Is 1 not equal to o?
True
Suppose b - 1 = 3. Suppose -b*r + 5*r = 5*q + 8, 0 = -4*q - 5*r + 11. Let w be q + (-2 - 0) + 1. Which is smaller: -5/2 or w?
-5/2
Let q(p) = -p**3 - 7. Let i be q(-6). Let k = -1459/7 + i. Is 2 < k?
False
Let n = -1 + 1.04. Let p = -0.06 - n. Which is bigger: p or 1/7?
1/7
Let q = 2813/39 + -215/3. Is q >= 1?
False
Let r = 124/1105 + -3/85. Is r at most as big as 0?
False
Let t(v) = v - 2*v**2 - 4*v + v**3 + 1 + 1. Let n be t(3). Let g be 2 - 4/((-32)/(-10)). Is g less than or equal to n?
True
Let f(q) = -q**3 - 7*q**2 - 5*q + 8. Let n be f(-6). Suppose -5*c = n - 12. Let j be -1*4*2/(-8). Which is bigger: c or j?
c
Let n be ((-57)/(-2))/(1/2). Which is smaller: 58 or n?
n
Let u = -16 - -10. Let b be (3/u)/(10/8). Which is smaller: 1 or b?
b
Let d = -1 + -3. Let b be (d/2 - 0) + -4. Let t be (5 - -1)/((-45)/b). Which is bigger: 1 or t?
1
Let n be 6/(-8)*(-6 - 2). Let q be (3*1)/(9 - n). Let t = -865/7 - -124. Is q equal to t?
False
Let m be (-6)/(-27) + (-14)/(-18). Suppose -3*a = -k - 2, -a - 2 = -4*k + m. Let n be ((1 - k) + 0)/(-2). Is -1/2 <= n?
True
Let s be (-13)/(-2) - 6/4. Suppose -5*c = -0*c + 4*f + 30, 2*c - s*f = -12. Which is greater: c or -7?
c
Let y(u) = -42*u - 3. Let b be y(-4). Let j = -2143/13 + b. Is j less than or equal to 0?
False
Suppose 0*i + 4*i - 12 = 0. Let s be ((-1)/3 - -1)*i. Let h be (3/6 - s)/3. Which is greater: h or 0?
0
Suppose 4*v - 3*o - 243 = 7, 5*v = -5*o + 295. Suppose -v = -4*z - 1. Is 15 bigger than z?
False
Let w(p) = -3*p - 1. Let g be w(-1). Is g smaller than 0?
False
Let l = 4 - 2. Let m be (2 - l) + 0 + -1. Let h be (-2 - -2) + (-4)/10. Is h != m?
True
Suppose 17*f - 22*f - 5 = 0. Is f not equal to -1?
False
Let o(s) = s**2 - 8*s - 19. Let d be o(6). Which is greater: d or -32?
d
Let p(a) = -a**3 - 7*a**2 + 4*a + 54. Let g be p(-6). Suppose 2*q - q = -8. Which is smaller: q or g?
q
Let y = -1/1198 - 2693/2995. Which is bigger: -2 or y?
y
Suppose -4 = m, -2*m = 4*j - 3*m + 20. Let y be (3/j + 1)*1. Is 0 at most as big as y?
True
Let r be (-4)/6 + 104/12 + -6. Is r less than -8?
False
Let k = -0.012 - 3.988. Which is smaller: 1 or k?
k
Suppose 4*s - 8 = 2*w, -w - 4*w + 20 = 0. Is s equal to 6?
False
Suppose 2*p + 14 = 4*i, -p + 6 = -5*i + 16. Let r be 1/10*(1 + i). Is 0 greater than r?
False
Let p = 0.75 + -11.75. Are p and 0.2 equal?
False
Suppose -2*r = -6*i + i, 2*r - 3*i = 0. Suppose -4 = -r*z - 2*z. Is z >= 1?
True
Let a be -1 + -1 + (5 - 1). Suppose -k = k - 4*t + 20, a*k = -2*t + 4. Which is greater: -7/4 or k?
-7/4
Let v = 1 - -29. Let n be (-4)/6 - 70/v. Which is smaller: -1/4 or n?
n
Let u be (-8)/(-52) + 54/(-13). Let h be u/14 + 4/63. Is -1 less than or equal to h?
True
Let q be 9 + -7 - 1/1. Let k = q + -6. Are -3 and k nonequal?
True
Let c be (-6)/(-4)*9/99. Which is smaller: 0 or c?
0
Let j = -1 - -1. Suppose -3*r + 6*r = 0. Is j <= r?
True
Let a be (3/(-3))/(2/4). Let u be (a + 2)/(1 + 0). Suppose u = -3*s - 0*s. Is s bigger than 1?
False
Suppose -5*n = -189 + 39. Let c = 10 + -12. Let j be (c/10)/((-6)/n). Which is smaller: 6/5 or j?
j
Let t be (-1 - -1) + 38/28. Let l = t + -6/7. Which is greater: 0 or l?
l
Let d = 312275/159 - 1964. Which is greater: -1 or d?
d
Let y(o) = o + 2 - 7*o + 4*o - 3. Let v be y(1). Is -2 smaller than v?
False
Let y be (-4 - -3) + 0/2. Is -1/338 less than y?
False
Let b(l) = l**3 + 8*l**2 + 8*l + 9. Let i be (-2)/(-3) - (-23)/(-3). Let w be b(i). Suppose 0*o = w*o. Is 2/9 less than or equal to o?
False
Let g = 1 - 1. Let v be (1 + g)*(-6 - -1). Let d = 3.7 - 4.7. Is v at most d?
True
Let v = 7 + -6.83. Let s = 4.17 - v. Which is bigger: 1 or s?
s
Let i = -2 + 2. Let j = -28.3 - -18.3. Which is greater: i or j?
i
Let a be -1 + -22*9/(-6). Suppose c - 225 = 6*c. Let j be a*3/c + 2. Is 1 <= j?
False
Let y = -8 - -5. Suppose -5*d + 0*l + 4*l - 25 = 0, -l = 5*d. Is y at most d?
True
Let u = -1 - -1. Suppose -5*h - 2*y + 25 = -7*y, -3*y + 1 = h. Suppose 5*r = -4*b + 2*b - 6, u = 4*r - h*b - 12. Which is smaller: -2/11 or r?
-2/11
Let z be 1/3 - 6/(-9). Let j(n) = -n**2 - 3*n - 2. Let w be j(-4). Let v be ((-2)/(-12))/(3/w). Which is smaller: v or z?
v
Suppose 32 - 26 = 2*w. Which is bigger: 25/7 or w?
25/7
Let h = 11 + -8. Suppose -10 = h*q + 4*k, -4 = 4*q - q - 2*k. Let i = 18 + -20. Do i and q have different values?
False
Let l = 16 - 16.1. Let r = -4 + 8. Suppose 5 = r*y + y. Is y less than or equal to l?
False
Let h be 264072/(-2120) + (-2)/5. Let k = h + 125. Is -1 less than or equal to k?
True
Let n(w) = -w - 6. Let j be n(-10). Let a = 6 - j. Which is greater: -2 or a?
a
Suppose -3*v + 80 = v. Suppose 5*c - v = -0. Let p be 1*((-30)/c)/(-5). Which is greater: p or 2?
2
Let j = -70/3 + 24. Suppose -2*p = 3*p - 15. Let r = p - 3. Which is smaller: r or j?
r
Let n(q) be the first derivative of 1 + 6*q - 1/2*q**2 + 5/3*q**3 - 1/4*q**4. Let a be n(5). Is -1/6 greater than or equal to a?
False
Let b = 0.9 + -1. Let p = 0 - b. Let f = 18.4 + -13.4. Wh