ose -12 = 4*u + 4*o, -5*u - 5*o - 7 = -2*o. Which is smaller: u or -1/74?
-1/74
Let h = 0.3 + 0.1. Let g = -2.6 - h. Let i be (3/8)/((-12)/8). Which is bigger: g or i?
i
Let v = -2/123115 - 17063737/123115. Let m = v + 139. Which is smaller: 1 or m?
m
Let a = -37 + 23. Let k = 24 + a. Is -2/3 smaller than k?
True
Let u be (21 - 2) + 2 + -1. Suppose 0 = -0*n - 4*n - 4*i + 8, 4*i - u = 0. Let j = -4 + n. Is -7 at least j?
True
Let x be (-54)/8*62/(-4). Let n = x + -105. Let p = 9 + -10. Is p <= n?
True
Suppose 3*v - 5*s - 14 = 0, -v = 4*v + 3*s - 80. Which is smaller: 15 or v?
v
Let n = 3 + -2.1. Let c = -0.9 + n. Which is greater: c or 0.1?
0.1
Let k be 14/(-35) - (-4)/(-15)*-4. Which is greater: 0.2 or k?
k
Suppose 5*y - 57 = 8. Suppose j - 5*c = 4*j + 12, y = -2*j - 5*c. Is j < -2?
False
Let d = 68 - 409/6. Is d less than or equal to -4?
False
Let s be ((-56)/18 - -3)/(5/15). Suppose 0 = 4*t - 0*t - 4. Which is greater: t or s?
t
Let h(a) = a + 7. Let u be h(-6). Let s be (-15)/3 - (0 - u). Does 1/2 = s?
False
Let r = -19 - -20. Let s = -1 + 1. Let l = s + r. Is 1 bigger than l?
False
Let g be ((-12)/(-10))/((-44)/20). Do g and -1/3 have different values?
True
Let f = 111 - 89. Is 20 smaller than f?
True
Let t = 295628/65 - 4548. Let f = t + 1/13. Is 0 greater than or equal to f?
False
Let y(p) = -p**2 - 7*p + 4. Let k be y(-7). Suppose 5*z - 5*d + k*d = -14, 3*d = -2*z + 8. Which is smaller: 0 or z?
z
Suppose -12 = -3*s, 5*f = -2*s - s + 17. Let p be f/(-35) - 2/5. Is 0 at most p?
False
Suppose -2*l = 3*p + 15, 3*l + 5*p = -29 + 4. Let n = -0.3 + 0.3. Let a = n + -1. Does l = a?
False
Let d = 8 + -8.3. Let x = 1.82 + -1.72. Which is smaller: d or x?
d
Let s = 12 - 12.1. Let c = s - -0.1. Let y(x) = 2*x - 1. Let l be y(1). Which is smaller: c or l?
c
Let i = 0.22 + 0.78. Let s = 5 - 3. Let t = -1.98 + s. Which is smaller: i or t?
t
Suppose 0 = -4*x - 5*o + 13, 4*o - 1 = 3. Suppose 8 = -x*n - 2*n. Let i be (9/(1 - n))/(-1). Is i at most -1?
True
Let l = 3/4 + -7/12. Let t(z) = 2*z**2 - 1. Let x be t(-1). Which is greater: l or x?
x
Let k = -0.1 + 0.07. Is -0.2 at most k?
True
Suppose -3 - 1 = -4*p. Which is bigger: 3 or p?
3
Let x(d) = -d - 5. Let w be x(-4). Let s be (3 - 1)/(0 - 2). Let r be (s/(-21)*3)/w. Is r less than or equal to 1?
True
Let q = -191/40 + 35/8. Let u = -5 - q. Let z = u - -197/45. Is 0 <= z?
False
Let b = 13 - 15. Which is smaller: 2/9 or b?
b
Let g(n) = 6*n - 37. Let x be g(6). Let k = 1 - 3. Let t = -3 - k. Is t at most x?
True
Let p(f) = -f**2 + 3*f + 4. Let q be p(3). Let h(v) = v - 3. Let y be h(q). Which is bigger: y or 0?
y
Let h = 24 + -6. Let t be (-4)/h - 20/(-9). Suppose -4*b + 11 = i, 3*b + t*i + 2 = 7*b. Is 2/3 less than or equal to b?
True
Let k be -3 - 4/(-2) - -1. Let q be -262*((-3)/(-24) - 0). Let u = -32 - q. Are k and u nonequal?
True
Let f = -6 - -11. Let t = -5 + f. Is -1 bigger than t?
False
Let r(f) = 2*f**2 + 2*f - 1. Let j be r(-2). Suppose -j*q = 2*q. Is -2 < q?
True
Suppose -3*k = -k - 6. Suppose -3*l - 15 = 0, q - 12 - 13 = k*l. Which is smaller: 9 or q?
9
Suppose -5 = -5*k + 5. Suppose -3*q = v - 13, q - 25 = -4*v - k*q. Let l = v - 6. Is l at least as big as -1/2?
False
Let f(i) = -i**3 + 13*i**2 - 13*i + 11. Let d be f(12). Which is greater: d or -2/15?
-2/15
Let v(d) = d**3 - 22*d**2 - 21*d - 9. Let t be v(23). Are t and 75/2 unequal?
True
Let a = -3 + 2.5. Suppose -3*o = 4*i - 3, -o - i = -3*i - 1. Let t be (-2 + o)*0/(-4). Is a less than or equal to t?
True
Let i = -16 - -14. Let b = 2.1 + i. Which is smaller: 2 or b?
b
Let p be (-7018)/(-77)*1/(-122). Let j = p + 2/61. Do j and -1 have the same value?
False
Let p(d) = 16*d + 11. Let g be p(-14). Let u = g + 7028/33. Which is greater: u or 1?
1
Let b = -2/249 - 110/83. Suppose 4*w - 16 = 3*v, -w - 3 + 7 = -4*v. Is b smaller than v?
True
Let m be ((-104)/40 + (-2)/5)/(-1). Is 9/4 != m?
True
Let j(c) = c. Let n be j(3). Let b be (1 - 3 - n) + 2. Is b bigger than -3?
False
Let k be (-269)/(-2660) - (-14)/(-35). Let a = 1/76 + k. Which is smaller: 1/2 or a?
a
Suppose 0 = 2*q + q - 30. Is 10 at least q?
True
Let m = 8 + -8. Let d = m - 0.07. Which is greater: d or -2/7?
d
Let q = -42 + 72. Suppose 9*a = 4*a + q. Is 6 < a?
False
Let g = -8 + 5. Suppose 4*c + c + 2*w = 3, -3*c = 2*w - 5. Is c not equal to g?
True
Let c = 24 - -9. Let i be 27/c - (0 - -1). Which is smaller: i or -1?
-1
Let k(y) = -7 + 2*y + 4 + y**2 + 2. Let f be k(-2). Is 0 at least f?
True
Let w = 43 + -44. Do w and 2/33 have the same value?
False
Let a be -1 + 1/((-2)/2). Is a <= 0?
True
Let y = -0.25 + -0.05. Let n = 2.5 + 0.5. Let u = n - 2. Is u at least as big as y?
True
Let z be (-8)/12 - (-6)/9. Suppose -2*d - 19 + 3 = 4*o, 2*d = 3*o + 19. Let q = o + 3. Which is smaller: z or q?
q
Let d = -6/41 - -7/328. Is 6 > d?
True
Let d = -10330/21 - -492. Suppose 3*g = -4*n - 0 + 7, -g = -n. Is n <= d?
False
Let k = 3 + -3. Do 4/9 and k have different values?
True
Suppose -3*d + 20 = -0*k - 5*k, -25 = -4*d + 5*k. Suppose 0 = 3*s - 3*q - d - 16, -18 = s + 4*q. Let v = s + -2. Which is smaller: v or 0.4?
v
Let m = 2 + -3.5. Let o = -0.36 - 0.14. Let u = o + m. Which is smaller: 1 or u?
u
Let k(a) = -a**2 - 8*a - 4. Let n be k(-7). Suppose -3*w - g + 27 = 0, -n*w + 21 + 6 = -g. Suppose -2*v = -4*p - 18, -5*v = -2*p + 3*p - 45. Is v <= w?
True
Let w be -1 - -21 - 0/(-3). Suppose -5*u + u + w = 0. Suppose c + 12 = 6*c - 4*f, 4*f = -c + 12. Which is smaller: c or u?
c
Let n(t) be the first derivative of t**4/24 - 2*t**3/3 - 3*t**2/2 + 1. Let x(z) be the second derivative of n(z). Let d be x(4). Which is smaller: d or 1?
d
Suppose 0 = 4*p + 2*w, -3*w = -4*p + 5 + 15. Suppose 6*g = p*g + 16. Let m be 1/g + 44/16. Is 2 at most m?
True
Suppose 0 = 4*n - 5*n - 2*j + 7, -2*n + 5 = j. Let f be (14/(-4)*-2)/n. Let y be (-2)/(-8) + f/(-28). Is y at most as big as -3/7?
False
Let i(m) = -2*m. Let d be i(-3). Let g = d - 8. Is -3 less than or equal to g?
True
Let o = 2.05 + -0.05. Which is greater: o or 10?
10
Suppose -4*k - 2*f = 92, 2*f = 4*k - 2*f + 92. Is -23 greater than k?
False
Let c = -7.02 - -0.02. Which is greater: 4 or c?
4
Let n be 6 + (-3 - (-2 + 0)). Let t = -5.1 + 5. Do n and t have different values?
True
Let h be (12/40)/((-4)/(-5)). Which is smaller: 1 or h?
h
Let j(y) = -y**2 + y. Let r be j(1). Let t(c) = -c - 5. Let l be t(-3). Let m be (l/(-8))/(-4 + 5). Which is smaller: m or r?
r
Suppose 0 = 3*d - 117 - 9. Which is greater: 43 or d?
43
Let p be (8/(-3))/((-2)/9). Let s = -13 + p. Is 8 at most as big as s?
False
Let q be (-6)/(-15)*(0 + -10). Let j be q/6*(-12)/(-8). Let w be (3 + (-9)/3)/j. Is 1 not equal to w?
True
Suppose -w = 4*w + 1100. Let h = w + 2422/11. Are 0 and h equal?
False
Let m be (-15)/(-60) + 114/8. Is 16 at most as big as m?
False
Let k = 19 - 10. Which is bigger: 7 or k?
k
Let i = 45 - 69. Let z = 14 + i. Let u be z/(-4)*2/20. Is u greater than or equal to -2?
True
Suppose 0 = -2*j - 4*s - 20, 4*j - j - 4*s = 10. Is j less than or equal to -1?
True
Let x = 700 - 3486/5. Which is smaller: 3 or x?
x
Let t = 4 - 3. Let p = t + 0. Is p >= 3/4?
True
Let b = 6 - 4. Let w be b/((-8)/(-6)) - 1. Let a(z) = -z**3 - 17*z**2 + 19*z + 20. Let n be a(-18). Which is smaller: n or w?
w
Let y = 41 + -53. Which is bigger: -14 or y?
y
Suppose -5 + 2 = -h. Which is smaller: h or 9?
h
Let d = -2 - -3. Let y be -1 - (4 + 62/(-12)). Is d at least y?
True
Let c = 19 - 11. Let s = 9 - c. Is -3/5 <= s?
True
Let x = -7.5 + 7. Which is greater: x or -1?
x
Let l(s) = 5*s - 17. Let d be l(4). Let j(o) = o**3 - 5*o**2 - 7*o + 9. Let k be j(6). Do d and k have the same value?
True
Let c(o) = -5*o - 7. Let r be c(-5). Suppose -r = -3*p - 0*p. Suppose 0 = -3*s + p - 3. Is 2 <= s?
False
Suppose 0 = -3*y - 15. Which is greater: -4 or y?
-4
Suppose 0 = -4*r + 3*x - 31, -2*r + 5*x - 5 = -7*r. Which is smaller: r or -1?
r
Suppose 0*g = 2*g. Let y = -2/14793 - 29116/3476355. Let x = -38/47 - y. Which is smaller: g or x?
x
Let c = -0.23 - -2.53. Is 0.1 at least as big as c?
False
Let x(r) = -110*r**2 - 4*r + 5. Let v be x(-4). Let l = 7013/4 + v. Let a = 15 - l. Which is bigger: a or -1?
a
Let a = -3.6 + 3. Let j = 0.5 + a. Do j and 6 have different values?
True
Let u = -14.9 + 14. Let a = u