ppose -5*o + m = 2. Suppose -o = 5*z + 3. Is z at least -3/5?
False
Let x = 156.6 - 172. Let b = x + 15. Which is bigger: 4 or b?
4
Let f be (-44)/(-42) - (-4)/(-12). Is 2 at most as big as f?
False
Suppose -2*t - s = -0*t + 19, -3*t = 5*s + 39. Which is bigger: -9 or t?
t
Let o be (-3)/(-84) + 4/(-14). Let j = o + 1/2. Do j and -1 have the same value?
False
Suppose -9*w - 13*w = -0*w. Let k = -196 - -2551/13. Is k < w?
False
Let d = -13 - -15. Is -2 < d?
True
Suppose -4*s = -3 + 7. Is s greater than or equal to 6/17?
False
Let z be 9 + -6 - ((-66)/(-5) - 1). Is -8 at least as big as z?
True
Let z = -15 + 7. Let q = -6 - 5. Let g = z - q. Which is smaller: g or 2?
2
Let u = -31 - -16. Suppose 0 = -c - 6 + 4. Let w be c/(-6) - (-10)/u. Which is greater: 2 or w?
2
Let q = -354 - -14159/40. Let c = -7/40 + q. Let j = -48 + 48. Is c equal to j?
False
Let c be (-3 + 2 - 0) + -4. Suppose -5*p + 4*g = 31, p = 2*g - 0*g - 5. Is c less than p?
False
Let k be (1/(-30))/(2/4). Which is smaller: -1 or k?
-1
Let r be 2/21 - 10/(-30). Let n be -2 - (-1 + (1 - 1)). Which is smaller: r or n?
n
Suppose z - 5*y - 238 = -3*z, 304 = 5*z - 3*y. Let q = 497/8 - z. Is q at most 0?
False
Let s(d) = -2*d. Let y(u) = -u - 3. Let h be y(-5). Let j be s(h). Is j != -3?
True
Let b = 0.06 - -0.12. Which is smaller: b or -1?
-1
Let s = 0.4 - 0.2. Let h = 0.1 - s. Let l be (-12)/18 + (-1)/(-3). Is h greater than l?
True
Let z be (7 + -9)*((-7)/(-2) - 2). Suppose 0 = -0*y - 2*y - 4. Is z > y?
False
Suppose 2*w - 36 = 6. Let m be (-3)/w*-1*-2. Which is greater: -1 or m?
m
Let z be (-11)/20*8/(-2). Let a = -28/15 + z. Are 0 and a non-equal?
True
Let t = -13 - -7. Let p(b) = b**2 + 6*b. Let w be p(t). Which is smaller: w or -6/11?
-6/11
Suppose -k + 2 = -n, 7*n - 4*k = 2*n - 9. Is -1/49 less than or equal to n?
False
Let n be (-2)/(-2) + (-2 - -4). Suppose 0 = t + 3*a + 13, 5*t + 13 + 2 = -5*a. Suppose -d - t*d = -12. Are n and d equal?
False
Let z = -86 + 75. Which is bigger: -0.2 or z?
-0.2
Let d(g) = g**2 + 7*g - 6. Suppose 2*f - 10 = 0, f = -l - 2 - 1. Let q be d(l). Suppose -3*p - q*p = -15. Which is greater: 2 or p?
p
Suppose -2*c = -3*p + 5, 4*p = -c - c + 2. Suppose p = -5*m - 4. Suppose 2*h - 4*h - 2 = 0. Does m = h?
True
Let j = 6 - 4. Suppose j*i = -c, c = -0*i - 5*i. Which is smaller: 3 or c?
c
Suppose 0 = d - 4*y + y, 4*y = -4*d. Let h be -6 + 8 - (-22)/(-9). Is d >= h?
True
Let q be (4/26)/((-11)/66). Let w = q + 82/117. Let h(k) = k + 5. Let v be h(-4). Is v >= w?
True
Let z be 5/(-4) + 105/84. Do 0 and z have the same value?
True
Let f(b) = -b**2 - 15*b + 1. Let o be f(-14). Do o and 16 have different values?
True
Let n be (-41)/(-21) + 0 - 2. Let w = -2/7 + n. Let z = w + -1/6. Which is smaller: z or -1?
-1
Let c = -45 + 49. Is c greater than or equal to 3?
True
Let y = 26 - 29. Is -3 less than y?
False
Suppose 0*u = u - 5. Let z = -3 + u. Is 5/8 at most z?
True
Let j be 1*21/(-72)*3/(-21). Which is bigger: 1 or j?
1
Suppose 4*m - 3*g - 66 = 0, -3*g + 28 = 3*m - 11. Which is smaller: m or 16?
m
Let h = 33 + -67/2. Which is smaller: h or 3/16?
h
Let r be (2/8)/((-16)/(-64)). Let q = 3 + r. Which is bigger: q or 18/7?
q
Suppose 4*i + 5*b - 21 = 0, -i + 6*i - 2*b = 51. Let c be (-33)/i + 2/3. Let s = c - 0. Which is greater: -2 or s?
-2
Let u = -53 + 213/4. Is 2 less than or equal to u?
False
Let z = 14 + -14. Let h = -42 + 337/8. Are h and z non-equal?
True
Let z be ((-3)/(-12))/((-4)/(-112)). Let a be (z/21)/(1/(-6)). Suppose -3*l = 2 + 7. Which is bigger: a or l?
a
Let v = 3 - 4. Which is smaller: v or 2/11?
v
Suppose 2*o - 5*o + 12 = 0. Suppose -4*v - o = -2*v. Which is bigger: v or -1?
-1
Let d be 0/(2 + -3) + -4. Let r be 1/(((-30)/d)/(-3)). Let a = -0.9 - -0.8. Which is smaller: a or r?
r
Let m(v) = -5*v - 6. Let u be m(5). Which is smaller: 0.1 or u?
u
Suppose 3*r = -s + 6, 3*s - 2*r = -0*s - 4. Suppose -j + 2*u - 6 = 4*j, 2*j - 3*u - 2 = s. Let w = -5 - j. Which is bigger: -1 or w?
-1
Let n(v) = -v**3 + 3*v**2 + 6*v - 9. Let u be n(4). Is u < -2/323?
True
Let r = 120.95 + -101. Let i = r - 20. Is 1/3 >= i?
True
Let a = 3074/15 - 205. Is a equal to 0?
False
Let d be (-10)/(-6)*1/5. Let n = d + -7/12. Let u = -29/14 - -11/7. Which is smaller: n or u?
u
Let j(i) = -i + 2. Let z be j(5). Let s be ((-8)/(-2))/(-1*(-4 - -6)). Is s > z?
True
Let a be 4/(-2) + (-26 - 3)/(-1). Is a bigger than 26?
True
Let z = -11 + 18. Which is smaller: z or 3?
3
Let h be 15*(-2 - (-34)/5). Let u be (4/h)/(2/(-4)). Suppose 0 = f + 2*f - 9, 4*j = -2*f + 6. Which is smaller: u or j?
u
Let k = -58 - -868/15. Is 0 at most as big as k?
False
Let d(o) = 3*o - 3. Let z be d(2). Let x(t) = t**3 + 7 + 2*t + 6*t**2 - z*t - 5*t. Let u be x(-7). Which is smaller: u or 2/11?
u
Let y(d) = -d**2 + 8*d - 5. Let f be y(5). Which is bigger: f or 11?
11
Suppose -10 + 34 = 3*l. Let q(f) = -f + 11. Let u be q(l). Suppose u*p - p = 2. Which is smaller: 1/3 or p?
1/3
Suppose 3*c + 3*z - 6*z - 18 = 0, 0 = 4*c + 2*z. Suppose 0*o + c*o + 2 = 0. Is o bigger than 2?
False
Let w(k) = -k**2 + 4*k + 8. Suppose 4*a - a = -12, -3*p + 30 = -3*a. Let f be w(p). Let v = f - -4. Is 0 > v?
False
Let w be 11112/90 + (1 - 1). Let a = 419/5 - w. Let m = a + 1181/30. Which is bigger: 1 or m?
1
Let f(s) = -s**3 + 8*s**2 - 6*s - 3. Let u be f(7). Suppose 198 + 78 = -u*t. Let d = t + 481/7. Is -3/2 at least d?
False
Let z = -2 + 2. Let b be -4*(-3)/(-12)*(-16)/12. Which is bigger: z or b?
b
Suppose -4*z + 4 + 24 = 0. Let a(v) = v + 17. Let x be a(-10). Is x at most z?
True
Let t = -29 - -15. Let i be 8/28 - (-32)/t. Which is smaller: 2 or i?
i
Suppose -h - 4 = -2. Let v = 1.9 + -2. Which is smaller: h or v?
h
Let s = 0.42 + -0.22. Which is smaller: s or 0.9?
s
Let b = -57 - -58. Which is greater: b or 0.3?
b
Let v = -23 + 27. Suppose -t + v*t - 24 = 0. Is 7 smaller than t?
True
Let k = 31 + -45. Let b(f) = -f**2 - 13*f + 13. Let n be b(k). Which is smaller: n or -4/3?
-4/3
Let p be (-45)/66 + 2/11. Let n(x) = x + 4. Let b be n(-6). Which is bigger: p or b?
p
Let j = 14 + -5. Suppose 13*t = j*t - 80. Let x be 2/(t/6) + 1. Which is bigger: 2 or x?
2
Let f(o) = o**2 - 10*o - 2. Let y be f(10). Which is smaller: y or 2?
y
Let o = 0.3 - 0.2. Let t = 0 + o. Let i = 76 + -834/11. Is i bigger than t?
True
Let k(a) = a - 7. Let i be k(5). Suppose -2*b - 2*m = m - 17, 3 = m. Let d = b + i. Is d at least as big as 1?
True
Suppose 0*z = -3*z + t - 68, 2*z = -2*t - 32. Is -21 at least z?
True
Let s(y) = -y**3 + 4*y**2 + 4*y + 4. Suppose 6*l - 2*l - 20 = 0. Let q be s(l). Let u(n) = 2*n + 1. Let r be u(q). Are -1/3 and r unequal?
True
Let f(a) = -2*a + 2. Let n be f(-4). Let z = -7 + n. Which is greater: z or 2?
z
Suppose 12 = -2*z + 6*z. Let u(c) = -c + 9. Let f be u(7). Let m = f - z. Which is smaller: -2/5 or m?
m
Let b = 16672/3289 + -66/13. Which is smaller: 1 or b?
b
Let g = -3.6 - -3.5. Is g smaller than -44?
False
Suppose -4*x + 2 = 3*k - 4, 2*k + 5*x = 4. Let u be (2/(-3))/(k/12). Is u at least as big as -5?
True
Let o be 23/(-12) - 33/44. Let t = o - -3. Is t greater than 1?
False
Let j(h) = -h - 4. Let a be j(0). Let w = -5 - a. Which is smaller: -2/7 or w?
w
Suppose -6*g + 120 = -g. Suppose 3*k = k - g. Which is greater: -11 or k?
-11
Suppose 8 = 4*a - 2*a. Suppose a*g = -g. Is g greater than or equal to -1?
True
Let b = 1.9 + -2. Let f = 0 + b. Let o = -242/5 + 48. Which is smaller: f or o?
o
Let l(h) = -h + 14. Let w be l(12). Suppose -f + 5*s + 20 = 0, 6*s - 13 = -5*f + w*s. Which is smaller: f or 3?
3
Let q = -6 + 10. Suppose 0*o - 2*o - q = 0. Is o bigger than 1?
False
Let c = 0.2 + -0.3. Let r = 1 + -9. Let o be (-1*2)/r*-1. Which is bigger: o or c?
c
Let q(a) = a**2 + 3*a - 4. Let h be q(-4). Let f(j) = j**3 + j**2 + j + 1. Let p be f(0). Are h and p non-equal?
True
Let h be 6237/(-17) + (-2 - 1). Let x = -370 - h. Is 0.1 less than x?
False
Let w be ((-3)/8)/(8/(-32)). Is -5 less than w?
True
Let d(w) = w**2 - 3*w - 4. Let k be 14/6 - (-4)/6. Let f be d(k). Which is bigger: -5/2 or f?
-5/2
Let i = 13 - 8. Suppose 3*j = 10*j + 77. Let g = i + j. Which is smaller: g or -5?
g
Suppose 4*g + 2 = -2. Which is greater: g or -2/103?
-2/103
Let i be 0 + 2/2 + -15. Let z be 1 - 1 - i/(-4). Let p = -17/6 - z. Is 2 greater tha