s bigger: o or k?
o
Let v = -1 + -1. Let g = v - -5. Let s = 0 - g. Is -3 greater than s?
False
Let u = -3 - 1. Let m be (-1)/(3*-2)*u. Is m at least as big as 0?
False
Let m(u) = 16*u**3 - u**2 + u - 1. Let f be m(1). Suppose 3*l + 2*a + 15 = 40, 0 = 3*l - 2*a - 5. Suppose f - 5 = l*p. Is p less than 1?
False
Let c(b) = b + 11. Let o be c(-9). Suppose -o*h + 0*h + 24 = 0. Let f be ((-2)/(-3))/(8/h). Are 2/9 and f nonequal?
True
Let d(t) = -t**2 + 7*t - 4. Let b be d(5). Suppose -2*w + 0 = b. Let a be 1 - 6/(-9)*w. Which is bigger: -2 or a?
a
Let s(v) = -v**3 + 9*v**2 - 8*v. Let k be s(8). Suppose -3 = -l - a - 1, 5*l - 3*a - 2 = k. Is 2 < l?
False
Suppose -2*t = -4*t. Let p = t + -1. Are p and -2/9 unequal?
True
Let m = 12.3 + -12.4. Is m at most as big as -53?
False
Let l = 0.04 + 2.96. Let j = 29 - 30. Let r = l + j. Which is smaller: r or -1?
-1
Let y = -2 - -8. Suppose 0 = -3*p - d + 6, 3*d - y - 1 = 2*p. Suppose -5*i - 14 = p. Are -3 and i non-equal?
False
Suppose -3*u - 10 = -5*u. Suppose 2*x = 2, -u*v - 5*x = -0 - 5. Let b = 140/3 - 46. Which is greater: b or v?
b
Let u = 2.7 + -2.8. Is -1 <= u?
True
Let z be -1 + (-3)/(-6) + 86/4. Is 21 <= z?
True
Let p = -1 + 3. Suppose -2*k = 5*h - 0*h + 13, -p*k - 7 = 3*h. Suppose 0 = 3*s - 4 + k. Is -2 greater than s?
False
Suppose 0*z = -2*z + 4. Suppose -z*y = 3*y - 20. Is 3 less than y?
True
Let u = -2/47 + 104/235. Which is smaller: -1/2 or u?
-1/2
Suppose -7 = s + 5*a, 0 = -s + 2*a - 2 + 9. Let g = 16/5 - s. Do 0.3 and g have the same value?
False
Let m be 2/(-8) - (-255)/1180. Is 0 at most m?
False
Suppose 4*r = -87 - 5. Let i = r - -24. Which is smaller: -1 or i?
-1
Let i = -77 - -78. Is 3/14 != i?
True
Let b = -24 - -25.7. Is b at least as big as -1?
True
Let r = 10 + -7. Suppose 9 = -p - r*x - 0*x, -3*x = -2*p + 9. Is p at least 2/9?
False
Let v = 2.7 + -2.7. Which is greater: 18 or v?
18
Let s be 7 - (0/(-4) + -3). Let t be 24/60 - 4/s. Which is smaller: 5/6 or t?
t
Let r = 0.7 + -0.9. Are 2/7 and r non-equal?
True
Let a(n) be the third derivative of -n**4/12 - 4*n**3 + 6*n**2. Let l be a(-17). Is 10 at most l?
True
Let b = -4.3 - -4.4. Is b < 17?
True
Let l = 14154/61 - 232. Do l and -0.1 have different values?
True
Suppose 10*l + 147 + 103 = 0. Which is bigger: l or -23?
-23
Let v = 7 - 7. Let p = -3 + v. Let q = -3.4 - p. Is q less than 2/5?
True
Let l(h) = -7 - h + 3*h - 4 - h. Let y be l(10). Which is bigger: y or -2?
y
Let t be -1 - -2 - 37/35. Let b be (-3)/(-1)*8/3. Let j = b + -9. Is j at least t?
False
Let l = -10 + -9. Let f be (-22)/(-143) + (-1048)/52 + 2. Is l at most f?
True
Let d = 4 + -2. Let y = d + -1. Let w = y + -1. Which is smaller: w or 0.2?
w
Let w = -96 + 96.1. Which is bigger: 20 or w?
20
Let i = -5 + 6. Let t = -4 + i. Is t greater than -5?
True
Suppose 0 = 2*y + 3*y. Let d be y/(2/1*-1). Are 0 and d equal?
True
Let t(a) = -a**3 + 10*a**2 - 18*a - 10. Let k be t(8). Which is bigger: k or -27?
k
Let f(l) = 0*l + l - 2*l. Let t be f(-5). Let d(p) = -p + 5. Let j be d(t). Are 1 and j nonequal?
True
Let v be (-4)/16 + 42/8. Let u be 15/39*2/v. Suppose 4*m + 3 = -1. Are u and m equal?
False
Let k = 5 - -8. Are 1 and k nonequal?
True
Suppose -10*o + 9*o + 20 = 2*k, -20 = -3*o + 2*k. Let z = 3 - 12. Let w = 0 - z. Which is bigger: w or o?
o
Let a = -2 - -7. Suppose -a*k - 35 = -3*l, -5*k = -5*l - 0*k + 45. Which is smaller: l or 4?
4
Suppose 4*q - 1 = 4*r + 43, -5*q + r + 39 = 0. Suppose f - 2*c + q = 0, c = -2*f + 5*f - 4. Is 3 at most as big as f?
True
Let k = 10.2 + -7.3. Let n = k - 3. Let a be (-2)/6 - (-7)/(-15). Which is greater: a or n?
n
Let z be 4/3*9/6. Suppose w = -z*y, 0*w + 2*y = w. Let a be w/(2 - (2 - 1)). Which is bigger: a or 1?
1
Let h = 27 - 27.04. Which is smaller: -1/2 or h?
-1/2
Let y = 6 - 10. Let f be (-1)/y - (-18)/(-40). Suppose r - 2 = 4*h - r, 0 = 4*r + 4. Is h at most f?
True
Let y = 7.91 + -3.98. Let z = y - 0.03. Let p = -4 + z. Which is greater: -0.2 or p?
p
Suppose -3*a + 2*k + 5 = -0*k, a = k + 2. Let c be (2 - 3)/a*0. Let s be (-28)/(-30) - (-3)/(-9). Is c != s?
True
Let r(k) = -5*k + 1. Let f be r(-1). Suppose 0 = 2*b - 4*b + 10. Which is smaller: f or b?
b
Let r be (-8)/(-84)*14/30. Let k = r - -41/90. Is 0.2 >= k?
False
Let c = 13/7 + -71/42. Let y(i) = i - 6. Let p be y(5). Which is smaller: c or p?
p
Let q be ((-6)/20)/(1/2). Is 0.1 != q?
True
Let h(v) = v**3 + 3*v**2 - 4*v + 2. Let x be h(-4). Suppose k - x*z - 8 = -k, -8 = 2*z. Let j(r) = -r**2. Let i be j(-1). Does i = k?
False
Let p = 11 + -6. Let y = 18 + -13. Suppose -15 = -0*c + c - y*q, 41 = 5*c + 4*q. Do c and p have the same value?
True
Let q = -16 + 15.8. Which is smaller: -7/3 or q?
-7/3
Let n(x) = x - 6. Let h be n(6). Let s be (3/4)/(26/(-16)). Which is smaller: h or s?
s
Let z be -2 + 52 + -2 + 4. Let a be (-2 - (-148)/z) + -1. Let y be ((-6)/8 - -1)*4. Which is greater: a or y?
y
Let u be (-1 - 0)*35/(-126). Is u less than or equal to 1?
True
Let m = -19 + 21. Which is smaller: m or 0.35?
0.35
Suppose 0 = 5*l + 2 - 102. Let m be (-1)/4 - 146/8. Let v = m + l. Is 1 less than v?
True
Let s = 219 - 1973/9. Let v = 62 - 309/5. Are v and s nonequal?
True
Suppose y + y = 4. Let t = 22 - 18. Suppose -t = 3*w - y*w. Is -4 at least w?
True
Let o = 0.007 + 0.593. Is -1/14 at least as big as o?
False
Let f = 0.5 + -0.9. Let v be 4/10 - 18/(-30). Is f less than or equal to v?
True
Let x be (-1)/3*0/(-9). Is x != 0.3?
True
Let u = -1417/10 + 142. Suppose 0*i - 2*i = 0. Let q be i/(-3) - -1 - 0. Which is bigger: u or q?
q
Let d be (-129)/84 + (-18)/(-63). Which is greater: -0.1 or d?
-0.1
Let l = -1.5 + 0.5. Let k be 24/(1 + 2) - 2. Let u be 6/k*(-1)/(-4). Is u less than l?
False
Let w = 0.4 - 0.3. Let a = -0.1 + w. Let p = -0.012 + -0.188. Which is greater: a or p?
a
Suppose z = n + 15, -z - 34 = 3*n + 31. Which is smaller: n or -21?
-21
Let v(l) = l**2 - 2*l - 6. Let h be v(4). Which is bigger: 8/7 or h?
h
Let v be ((-30)/(-35))/((-8)/(-98)). Is 11 > v?
True
Suppose 5*n + 5 = -3*k - k, -k - 8 = -n. Which is smaller: -11/2 or k?
-11/2
Let q = 0 - -2. Suppose -9*u + 11*u = 2. Which is greater: q or u?
q
Let y(o) = o**2 - 6*o - 1. Let q be y(6). Let d = -9 - -18. Let b be ((-6)/d)/(2/1). Is q > b?
False
Let w = 46730/83 - 563. Let r = w - -238/913. Which is smaller: r or 1?
r
Let r(c) = 2*c**3 - 3*c**2 + 4*c - 3. Let t be r(2). Suppose -4*o + d = t, -5*o + d - 5 - 5 = 0. Which is bigger: -2/27 or o?
-2/27
Let d = -3.1 + 3. Let b be (-1 + -1)/(8/(-20)). Suppose -b*u - 2 = -12. Which is smaller: u or d?
d
Let v = -59167 - -411969/7. Let p = v + 318. Let y = -92/21 + p. Are -1 and y equal?
False
Let q be (-1 + (0 - -1))/(-1). Let j be 1256/(-460) + 0 + 3. Let v = -3/23 - j. Is v less than or equal to q?
True
Let z(w) = -8*w + 46. Let x be z(6). Is x smaller than -5/3?
True
Suppose 0 = 2*a + 2*b - 6, -3*b + 12 = 2*a + b. Let l = -49338/7 + 6960. Let k = 88 + l. Which is smaller: k or a?
k
Suppose 0 = i + 4*i - 15*i. Is i less than or equal to -4/65?
False
Let q(o) = 1 - 3*o - 2*o + 4*o. Let s be q(6). Let x = 8 + s. Is x at most 3?
True
Let y = -9 - -4.8. Let h = -4 - y. Let o = h + -0.3. Is -0.2 at most o?
True
Let n = -61 + 34. Let j be (-6)/n + (-13)/18. Let s be 1/(-2) - (-1)/2. Which is smaller: j or s?
j
Let n be (4/(-6))/(44/(-14946)). Let p be -1 + 0 - (2 - 230). Let w = p - n. Are 1 and w equal?
False
Let q = -6 - -14. Which is greater: 7 or q?
q
Suppose 5*i = -0*i - 3*a - 22, -a = i + 6. Let v = i + 6. Let h be 12/(-8)*(0 - 2). Which is smaller: v or h?
h
Let t = -1/1245 + 4234/1245. Is t > 3?
True
Suppose 4*o = f - 111, 2*f + 12 = -2*o + 184. Is f greater than 90?
True
Let o be 4/14 - (-332)/(-2730). Let x = o - 3/13. Which is smaller: -1 or x?
-1
Let j = -47 - -51. Suppose -5*l + 8 = -2. Is j >= l?
True
Let w(r) = -3*r - 2. Let q be w(2). Suppose -5*p + 3 = -7. Let j be (2/q)/(-1)*p. Which is greater: j or 1?
1
Let m(h) = -h**3 + 3*h**2 - 1. Let w be m(3). Which is smaller: w or -2/183?
w
Let r = 1/65 - 197/130. Suppose 2*x + 1 = -3. Is x >= r?
False
Let z = 21.1 + -21. Let t = -33 + 29.7. Let v = t - -3. Do v and z have different values?
True
Let o = 9 + -1. Let m = o - 11. Let f(q) = -3*q**2 + 1. Let p be f(1). Which is smaller: p or m?
m
Let b be (-1)/(-4) - 63