r z?
z
Suppose -2*k + 0 = -m - 4, 5*k - 15 = 0. Suppose -h - m*h - 3*n - 3 = 0, -5*h + 4*n = -13. Is 1 at most as big as h?
True
Let l be 3 + 104/(-32) + (-2)/(-8). Which is bigger: 3/13 or l?
3/13
Let d be (4 + 9/(-3))*-5. Let k = d - -5. Does k = 2/23?
False
Let m = -3 - -4. Let i = 2 + m. Suppose -i*x + 9 = 2*x - 2*q, q = -4*x + 15. Which is greater: x or 2?
x
Let m(k) = -k**2 - 10*k + 7. Let l be m(-11). Suppose y = 5*j + 7, -y + j = y + 4. Which is bigger: l or y?
y
Let z = 30075/103 - 292. Which is greater: 0 or z?
0
Let r = 159 + -639/4. Which is smaller: r or 3/5?
r
Suppose -2*i - 3*a - 45 = 0, 2*a = 4*i - 2*a + 80. Which is smaller: -22 or i?
-22
Suppose -g - 4 + 2 = 0. Let z = 2 + 1. Suppose -3 = z*s - 0. Which is bigger: g or s?
s
Let s = -2/5 - -7/30. Suppose -2*j - 12 = -4*c, -j + 2 = 5*c - 13. Let l be j/(1 + 0 - 0). Is l smaller than s?
False
Let n = -5 + 6. Let i be (-2)/(-4) + n/(-2). Suppose i = -p - 0*p. Is p not equal to 0?
False
Let v(y) = -y. Let j be v(-2). Suppose -k + 3*b - 5 = -3*k, 2 = 4*k - j*b. Let i be k/(-5) - 38/10. Is i bigger than -2/5?
False
Let n(i) = i + 6. Let h be n(-6). Let p = -2/127 - -151/1524. Do h and p have different values?
True
Let f = -20 - -24. Let q = -4 - -7. Which is bigger: q or f?
f
Let b be (-10)/35 + -2 + 39/14. Which is greater: -41/3 or b?
b
Suppose -6 = i + i. Let w be 14/(-28)*20/3. Which is smaller: i or w?
w
Let s be 21/12 + 2 + -3. Let c be 4/(-18) + (-130)/(-18). Suppose 10 = c*j - 2*j. Which is bigger: j or s?
j
Suppose -3*q - 4*w = -91 - 229, 0 = 3*q + 5*w - 316. Let f = -451/4 + q. Is 0 greater than f?
True
Suppose c = 2*l + 4, 4*c = l + 18 - 2. Suppose 12 = 4*f - 4*d - c, 3*f = 5*d + 16. Let h be (0 - 1)*(-1 + f). Which is smaller: h or 3/4?
h
Let l = 224 - 224. Let c = 11/18 + -173/342. Is c bigger than l?
True
Let l(v) = -v**2 + 11*v - 1. Let r be l(12). Which is smaller: r or -12?
r
Let j be (-10)/(-4)*(-4)/35. Suppose -b - b = 2*z - 2, -2*b + 3*z = -12. Suppose 2*l + 7 = -3*w, -b*l = w + 12 + 2. Which is smaller: w or j?
j
Suppose 0 = -3*k + 4*d, k = -2*k - 3*d. Let b be (2/(-6))/(1/3). Let p = b - -2. Which is greater: p or k?
p
Let x = -1 + 0. Let k = -4 - -6. Let b = k - 1. Which is smaller: b or x?
x
Let g = -22.89 + 23. Let k = -0.21 + g. Is k at least -4?
True
Suppose -3*t - 2*t = 3820. Let i = 5336/7 + t. Which is smaller: i or -3?
-3
Let u = -26 + 24. Is -2 at least as big as u?
True
Let y be 1 + 2 + -22 - 1. Which is smaller: y or -16?
y
Suppose q - 5 = -2. Suppose -3*j = -q*m - j, 0 = 5*j. Which is smaller: m or 2?
m
Let j be (-10)/8*(13 + -25). Which is greater: j or 12?
j
Suppose c - k = 4*k - 9, -5*c = -2*k + 91. Suppose -5*l = 46 + 44. Which is smaller: l or c?
c
Suppose -p = -3*p - 6, 0 = 3*h + p - 3. Suppose -h*r + 4*r + 4 = 0. Let m = 1 + -1. Is m less than r?
False
Let g = 6810/7 + -971. Let i = 33184 - 1161519/35. Let h = i + g. Which is greater: 0.1 or h?
0.1
Let s = 41 - 31. Which is smaller: s or 0?
0
Suppose 2*x = 5*n + 12, 3*x - 2*x + n = 6. Suppose 5*i = -3*u + 2 + 4, 4*u + 6 = -2*i. Suppose -i*q + 0*q + 15 = 0. Is q > x?
False
Suppose 4*h = 2*h - 3*c - 17, 2*h = 4*c + 18. Is h > -4/45?
False
Let r be ((-4)/16)/((-1)/4). Let l = -506/21 + 24. Which is greater: l or r?
r
Let k(o) = 4*o + 4*o - 4*o + o**2 + 1. Let v be k(-4). Suppose 3*u + 0*u = 12. Which is smaller: v or u?
v
Let j(m) = -2*m - 4. Let i be j(-4). Suppose i*a = 23 + 9. Suppose -3*l = -7*l - a. Which is smaller: l or -5/2?
-5/2
Let h = -86 + 98. Which is smaller: 11 or h?
11
Let x be 6275/(-375) + (-6)/10. Is -18 < x?
True
Let j = -0.1 + 0.3. Let w be (-12 + 4)/72*-2. Is j greater than or equal to w?
False
Let y = 26.7 + 0.3. Let m = y + -28. Which is smaller: 0.2 or m?
m
Let l be (-1 - (-5)/10)/(-1). Is l at most -20?
False
Let i = 112 - 111. Is i at most as big as -47/4?
False
Let w be -4 - 1/(2/(-4)). Let n be -1 + w/14 + 2. Let b = 0 + 1. Which is smaller: b or n?
n
Let h(n) = 0 - n**3 + 0 + 7*n**2 - 1. Let z be h(7). Suppose 0 = 3*l + 4*v - 14 + 4, -4*l + v = 12. Which is bigger: l or z?
z
Let q(g) = -g**2 + 5*g - 3. Let o be q(5). Let z(a) = a**3 - 2*a**2 + a - 2. Let l be z(2). Let c be l*o/((-27)/(-3)). Is c greater than or equal to -3/5?
True
Let d be 104/17 + 234/(-39). Let q = 9/16 - 5/16. Which is smaller: q or d?
d
Suppose -6 = -5*s + 9. Suppose -5*j = -s*x - 0*x, -4*j = -2*x + 2. Let y be -1 + (2 - j/(-5)). Which is bigger: -1 or y?
y
Let m = 0 + -1. Which is bigger: m or -2/5?
-2/5
Let m = -21/19 + 90/133. Let f(o) = -o**3 + 8*o**2 - 7*o + 5. Let z be f(7). Suppose 3*s - 2 + z = 0. Is m not equal to s?
True
Let f(s) = 4*s - 7. Let r be f(5). Let x be r/4 + (-1)/4. Suppose 0*p + 18 = -x*p - 3*n, 0 = -p + 3*n + 10. Is -2 smaller than p?
False
Let w = 0.11 - 0.01. Let x = w + 0. Let c = -0.3 - x. Is 2 at least c?
True
Suppose 11*l - 10*l = 9. Which is greater: l or 8?
l
Let h(f) = f**3 - 6*f**2 + 6*f - 5. Let i be h(6). Let c = 51 - i. Suppose 0*y = 5*s + 5*y + c, 4*s = 2*y - 4. Is -4 less than or equal to s?
True
Let d = 5 + -8. Let b be (-1)/(d/(-1) - 4). Let m = 223 - 3346/15. Is b < m?
False
Let i(z) = 2*z + 2. Let w be i(-4). Let a be 8/30*5/w. Which is smaller: -1 or a?
-1
Let w = -1.3 - -1.4. Let g = 0.8 - w. Which is smaller: 1 or g?
g
Let z be 10/35 + 26/(-42). Is 0 <= z?
False
Let a(b) = -b**2 - 6*b + 7. Let n be a(-7). Let y(f) = f**3 + f**2 - f + 1. Let j be y(1). Which is smaller: n or j?
n
Let s = -3060388412/59 + 51872454. Let b = -1464 + s. Which is greater: b or 1?
1
Let j be 51/85 + (-406)/85 - -4. Does j = -1?
False
Let n = -1.2 + 0.4. Let r = -0.6 - n. Let d = 0 + -0.1. Which is bigger: r or d?
r
Let k = 35 - 104/3. Let f = -2 + 2. Is f greater than k?
False
Suppose 4*f = -4*x + 12, 3*x = -3*f + 2*x + 7. Suppose -5*m = 4*i - 4, -f*m - 5*i + 3*i = -2. Let g = 10 - 7. Which is greater: g or m?
g
Let c = -43 + 35. Which is bigger: c or 2?
2
Let b be 2/(3 + -1) + 36/(-16). Which is bigger: -2 or b?
b
Let u(r) = r - 5. Let f be u(7). Suppose -3*o + 3*l - f*l + 2 = 0, 2*o - 4*l = 8. Let z be 0 + (18/8)/(-3). Is z bigger than o?
False
Suppose 20*s - 18 = 14*s. Is 3 greater than or equal to s?
True
Let r = -0.07 + 0.37. Let g = 0.85 - 0.8. Let v = g - -0.95. Are v and r nonequal?
True
Let c(v) = -v + 14. Suppose 0*i + 55 = 5*i. Let o be c(i). Suppose o*z = -0*z + 6. Which is smaller: z or -2?
-2
Let q(c) = -c**2 + 6*c - 2. Let r(a) = -a**3 - 6*a**2 + 7*a + 6. Let j be r(-7). Let b be q(j). Is b bigger than -4?
True
Suppose -2*v + 2 = -0*v. Suppose 0 = m - v + 2. Let z be m*2 - (1 + -2). Is -1 smaller than z?
False
Let w = -82 - -80. Let f = -0.39 + 0.4. Which is greater: f or w?
f
Let v = -0.7 - 0.3. Let j = -29 - -28. Is v <= j?
True
Suppose 5*h + 8 = 2*j, 4*h + 3*j - 14 + 2 = 0. Let p = 45/68 - -3/34. Is h <= p?
True
Let n(s) = s - 5. Let p be n(6). Let y be 0 + 5 + (-1080)/210. Are p and y equal?
False
Let y = -5/12 + 1/12. Let o(u) = u**2 + 2*u + 4. Let l be o(-4). Let m be (l/(-32))/((-9)/6). Is y < m?
True
Let y(b) = -b**3 + 22*b**2 + 2*b - 45. Let g be y(22). Is g < -28/17?
False
Let n(z) = z**3 - 6*z**2 + 5*z - 7. Let t be n(5). Let g(v) = v**2 + 8*v + 7. Let k be g(t). Let a = -3/17 - -1/102. Is a equal to k?
False
Let n = -0.9 - -0.6. Let b = 0.13 - 0.53. Let d = b - n. Which is greater: -1/3 or d?
d
Suppose 0*g - 2*g - 4 = 0. Suppose j = 5*j + 12. Which is smaller: g or j?
j
Let b(q) = 3*q**2 + 2*q + 1. Let v be b(-1). Let z(g) = -g**2 + 7. Let p be z(0). Suppose -12 = -p*c + 4*c. Are v and c equal?
False
Suppose -87 = -4*d - 0*a - a, -4*d + 4*a + 92 = 0. Suppose 5*y - x + d = 2*y, -x - 14 = 3*y. Let n = -3 - y. Which is smaller: n or 4?
n
Let w = 16 + -16. Let a = 979/119 - 58/7. Is w at least as big as a?
True
Let i(q) = 2*q**2 + 4*q + 3. Let j be i(-2). Suppose -2*y = j*y. Let n be 0 - 2/(4/2). Which is smaller: n or y?
n
Let v = 4.99 - 5. Let q = v + -0.99. Is q equal to -3?
False
Let x = -0.5 + -0.5. Suppose -3*w + 4 - 10 = 0. Let m = -2 - w. Which is greater: m or x?
m
Let v = 3 + -3. Suppose -4*a + 28 = -v*a. Is a greater than or equal to 8?
False
Suppose -9*n + 33 = -381. Which is bigger: n or 47?
47
Let q = -1150/9 + 128. Let l be 0 + -3 + (-21)/(-6). Is l less than q?
False
Let o be (-35)/(-15) - (0 + 2). Is 20 equal to o?
False
Let q(