et n = -3/32 + 25/96. Let o = 44 + -43. Which is smaller: n or o?
n
Suppose -5*b + 0*v - 4 = -2*v, -5*v + 10 = -3*b. Let u be b/(3/(-1)) + -13. Let g be u/(-20) + (-6)/15. Which is bigger: 0 or g?
g
Suppose -3*k = -0*k - 84. Suppose 3*r - 10 = -m + 3, 4*r - 4*m - k = 0. Which is greater: r or 4?
r
Let d be 16/12*(-6)/(-4). Suppose -118 = -d*z + 2. Let a be 39/z - 4/10. Is a equal to 0.2?
False
Let q = -3 + 3. Let m = 0 + q. Which is bigger: -1/5 or m?
m
Suppose 2*l - 5*l + 12 = 0. Suppose l*w + 54 = w. Do w and -18 have different values?
False
Let u = -0.56 - -4.56. Which is smaller: 1 or u?
1
Let t = 2 - 3. Is t bigger than -25?
True
Suppose 0*z - 1 = z. Let d be z/(-3) + (-4)/(-36). Which is smaller: 0 or d?
0
Let f = 850/10643 + -4/367. Let x = f - -21/116. Which is smaller: 0.2 or x?
0.2
Let i be (-4)/2*12/(-8). Suppose -4*c = -2*m - 62, -3*m - 8 - 40 = -i*c. Let z = -10 + c. Is z greater than or equal to 4?
True
Suppose 0 = -0*s - 2*s + 14. Suppose r - s = 2*r. Let y(z) = -z**3 - 8*z**2 - 7*z + 1. Let v be y(r). Are v and 2/17 non-equal?
True
Let c = -0.1 + 0.4. Let n be (1/14)/((-2)/(-24)). Let q = n + -17/28. Is q <= c?
True
Suppose 21*y - 10 = 16*y. Which is smaller: 13 or y?
y
Let s be (-2)/(6/129 + 0). Which is bigger: s or -44?
s
Suppose 4*i + 0*p = p + 13, -p - 7 = -2*i. Let n be 0 + (-3)/(0 - i). Is 2 at least as big as n?
True
Let j = -0.03 - 1.97. Let c be 1/(-2)*(-4 + 0). Suppose 4*q - 4*h = -24, -h = -c - 2. Does j = q?
True
Let y = 3897 - 27341/7. Let p = -289/35 - y. Which is bigger: p or 1/3?
p
Suppose 6*y - 2*y - 4 = 0. Is -3/23 != y?
True
Let k = 0.05 + -0.03. Let u = -0.12 + k. Which is smaller: u or 0?
u
Let v = -38 - -29.6. Let o = 1.4 + v. Let l = o + 7.3. Are -2/5 and l unequal?
True
Suppose 4*g + 36 = 3*h, 0 = -4*g + 2*h + 2*h - 40. Let q be (g/15)/((-3)/15). Is 5/7 > q?
False
Let z(x) = 3*x**3 - 2*x**2 + 3*x - 1. Let n be z(2). Suppose o = u - 1, 0*o + 3*u = -5*o - n. Which is smaller: -5/6 or o?
o
Let m = 26 + -7. Suppose 5*q - s = -5*s + 9, -5*q + 5*s = -45. Suppose c = q*t + m, 3*c + 0 = 2*t + 5. Is -1 greater than or equal to c?
True
Suppose -5*c + 42 = 5*u + 12, 0 = -u. Suppose 2*t = c*t + 4. Which is smaller: -4/5 or t?
t
Let p = 53 + -48. Which is smaller: 11/2 or p?
p
Let r = 37.5 - 37.5. Let d = -8 + 15. Let o be (-2)/(-9) + d/9. Which is smaller: o or r?
r
Suppose -3*m = -5*r + 33, r + 6*m = m + 1. Let a = r - 10. Which is smaller: a or -3?
a
Let i be (-6)/3 - (-11 - -3). Suppose 3*a = i*a - 4*s + 1, a - 2*s - 1 = 0. Is a less than -3?
False
Let t(x) = x**3 - 6*x**2 + 7*x - 6. Let b be t(5). Let v be (b/8)/(2/4). Let n = -5/21 + 61/168. Is v smaller than n?
False
Let y(v) = v**3 + 14*v**2 - v - 14. Let t be y(-14). Which is greater: 3/10 or t?
3/10
Let d be (-7)/(-56)*2 + (-2)/(-8). Which is smaller: d or -6/11?
-6/11
Let l be (-34)/4*(-34)/17. Let s(k) = 6*k**2 + 2*k - 2. Let p be s(-2). Which is smaller: l or p?
l
Let u = 27 + -21. Which is smaller: 2 or u?
2
Suppose -2*i + 2 + 20 = -2*s, 0 = 4*i + s - 34. Let r(q) = q**2 + 0*q**2 - 3*q + 3*q + i*q + 8. Let o be r(-8). Does o = -1/4?
False
Let u = -142 + 144. Is u at least -3?
True
Let z(j) = 8 - 5*j**2 + j**3 - 2*j**3 - j**2 - 3*j**2. Let l be z(-9). Let r be l/24*(0 + -15). Is r bigger than -5?
False
Let t be 1186/176 + -9 + 12. Let c = t - 75/8. Is 1 at most c?
False
Let t = 0.05 + -4.05. Is -1/2 less than t?
False
Let a = 993/47 - 21. Which is greater: 0 or a?
a
Let y be -3*(0 + (-2)/(-3)). Let r be (0/y)/((-4)/2). Let a(s) = s**2 - 8*s - 10. Let c be a(9). Which is smaller: r or c?
c
Suppose 7*x + 9 = -5. Let d = 0.378 + -2.368. Let r = d - 0.01. Is x equal to r?
True
Let i = -7 - -1. Let k = 5 + i. Is -2/3 greater than or equal to k?
True
Let m(t) = -t**3 - t. Let d be m(0). Which is smaller: d or -1/5?
-1/5
Let q(h) = -h**3 + 7*h**2 + 3. Let f be q(7). Which is smaller: f or 1?
1
Suppose 5*d - 17 = -i, 5*d = i - 6 + 39. Which is smaller: -6 or i?
i
Let h(l) = -2*l. Let f be h(-3). Is f != 8?
True
Let t(n) = 0*n + 3*n + 3*n - 7*n. Let h be t(0). Is h >= -1/4?
True
Let o = -233/28 + 31/4. Let y = o + 23/28. Which is smaller: 1/3 or y?
y
Let w = -20 - -24. Which is bigger: w or 5?
5
Suppose 5*p + 5 - 24 = -4*g, -4*p = -g - 11. Let a(d) = d - 4. Let x be a(p). Which is greater: x or -2?
x
Let f be (2*111/(-18))/31. Let u = -2/31 - f. Suppose -4*j = 5*a + j - 5, 2*j - 2 = -a. Is u > a?
True
Let p = 21 - 21. Is p less than -3?
False
Let y be -4*3/(-2 - 1). Let m be (-2)/(-2)*(-14)/(-2). Is m at most y?
False
Suppose -25*l = -9*l. Which is smaller: l or -6/53?
-6/53
Let q be 3 + (-19 - -16 - (1 + 23)). Which is greater: -25 or q?
q
Let z = 1.98 - -0.02. Let h = z - 1.2. Let s = -5.1 - -5. Is h greater than s?
True
Let o be (1 - -8)*2/(-14). Is o bigger than -1?
False
Let t be (-2)/6 + 175/255. Is -1 <= t?
True
Let y(z) = -z**2 - 4*z. Let w be y(-4). Which is bigger: w or 1/3?
1/3
Let f = -200185/828 - -5109/23. Let a = f - -79/4. Let n(t) = t**3 - t**2 + 1. Let h be n(0). Are h and a non-equal?
True
Let c = -36 + 50. Is 5 equal to c?
False
Let t = -0.6 + 0.4. Which is smaller: t or -0.03?
t
Suppose -2 = -2*d + 2. Do d and 2 have the same value?
True
Let f be (4/2 - 2)/(-4). Do -6 and f have the same value?
False
Let w = 1 + -5. Let c = 5 - 0. Let y = w + c. Is -2/3 greater than or equal to y?
False
Let q(b) = -b - 3. Let t be q(-5). Suppose -2*h + 0*x = -x, 5*h = -t*x + 9. Are 4/9 and h nonequal?
True
Let o = 2 + 3. Suppose -o*t = -u - 16, 4*t = 2*t - u + 5. Is t at least as big as 5/3?
True
Let b(r) = r + 8. Let p be b(-6). Suppose 3*j + 2 = p*j. Suppose -28 = 17*i + 6. Is j < i?
False
Let b be 44/198 + 218/(-9). Which is smaller: -26 or b?
-26
Suppose -n = -2 - 2. Let s(v) be the third derivative of v**4/12 - 5*v**3/6 + v**2. Let h be s(3). Which is bigger: h or n?
n
Let y = -0.4 - -1.4. Let d = 2 + -4. Is y greater than or equal to d?
True
Let a = -2/1051 - 877/91437. Which is smaller: 0 or a?
a
Let k = 2 + -1.98. Let y = 0.08 + k. Which is greater: y or -2/7?
y
Let m = -2.4 - -5.4. Is m greater than or equal to 1/3?
True
Let q(h) = h + 4. Let t be q(-6). Let a be t - (-3)/((-3)/(-2)). Let g be ((-1)/(-13))/(2/4). Does g = a?
False
Let v(q) = 4*q - 2. Let u be v(-1). Which is greater: u or -5?
-5
Suppose -32 = i - 4*n, -4*n + 29 = -i - n. Let x = i - -79/4. Is 0 greater than x?
True
Let r be -3 + ((-2)/(-4) - (-615)/270). Let k be (-6)/(-15) + (-2)/5. Which is bigger: k or r?
k
Let k(x) = x**2 - 11*x - 3. Let j be k(11). Let a(u) = -u**3 - 3*u**2 - u + 1. Let z be a(j). Suppose -v = -z*v - 3. Is v at most as big as -1/2?
True
Let b be 3*-28*(-2)/(-4). Let g be ((-28)/b)/((-1)/15). Which is greater: 1 or g?
1
Let h(z) = 2*z - 7. Let q be (-1 + 2)/((-1)/(-6)). Let g be h(q). Let d be (-5)/(-3)*1/g. Is d at least 1/2?
False
Let q = -0.15 - 0.05. Which is bigger: q or -1/3?
q
Let i = -1 - -2. Let w = -0.3 - -0.6. Let b = 0.5 - w. Is i <= b?
False
Let g be (-1666)/(-7752) - (3/(-4) - -1). Is 1 less than g?
False
Let i = 60 + -61. Which is smaller: -1/12 or i?
i
Let y(z) = z**3 + z**2 - z + 1. Let x be y(-2). Let r be (-1 - 2)*x/3. Which is smaller: 0 or r?
0
Let m = 2 + -2. Suppose -2*l - 2*l = m. Is l less than or equal to -3?
False
Let v be (1 - (0 - -1)) + 0. Let d(t) = t**2 - 7*t. Let p be d(8). Suppose -o - p = -5*o - 5*b, 3*o - 3*b - 6 = v. Is 1 greater than o?
False
Let z(t) = 2 - 4 + t**3 - 2 - 3*t - 3*t**2. Let f be z(4). Let q be -3 + 1 - (-4 - f). Is q > 4?
False
Let o be (-51)/72 - 4/8. Let d = o - 1/8. Which is bigger: -2 or d?
d
Let q(n) = n + 3. Let f be q(-6). Suppose -1 = 2*w + 7. Let r = w - f. Is 0 less than r?
False
Suppose -4*i - 10 - 3 = -a, -a + 2*i + 9 = 0. Let z be 30/18*18/a. Let w(k) = k**3 - 6*k**2 + 5*k + 4. Let j be w(5). Is z <= j?
False
Let s = 77.3 + -73. Let w = s - 4. Which is smaller: w or -2/7?
-2/7
Suppose t = -3*t - 3*n + 70, 4*n - 56 = -3*t. Let w be (-11 - -5)*6/9. Let a be w/t + 5/4. Which is bigger: 4/5 or a?
a
Let j(o) = -3*o**3 - o**2 + 4*o. Let m(g) = g**3 - g**2 - g - 1. Let i(h) = j(h) + 4*m(h). Let s be i(4). Let d be (2/(-12))/(s/16). Is d smaller than 0?
False
Let f(i) = -i**2 + 8*i + 5. Let q be f(8). Suppose 6 = -q*p - j, -6 = -8*p + 3*p - 4*j. Which is bigger: p or -1?
-1
Let s(x) = -4*x**3 - 1. L