(9/(-20)). Is d <= -3?
False
Let x(n) = -2*n + 1. Let t be x(-2). Suppose -d - 4*v = t, -v - 6 = d + 4*v. Let b = d + 2. Are 0.03 and b non-equal?
True
Let a = 47/84 - -4/21. Let l = 32 - 31. Is a greater than or equal to l?
False
Let x = -11.5 - 36.5. Let b = x - -49.9. Let w = -2 + b. Which is smaller: -0.4 or w?
-0.4
Let t = 20 + -31. Let a = -9 - t. Let f = 1393/15 - 93. Which is smaller: f or a?
f
Let c be (-2)/(-10) + 45/25. Let n(t) = -t**3 - 1 + 5 - 1 - 3*t**2 - t**c. Let d be n(-4). Which is smaller: d or 0?
0
Suppose -5*a - 3 = 7, -4*v - 4*a = -76. Is 23 < v?
False
Let d(v) = -2*v**2 + 12*v - 4. Let s be d(5). Suppose 4*c + 1 = -w, s = -4*w - c + 2. Is -2/9 at most as big as w?
False
Suppose -3*v - 5*j = 21, 0*v + 3*j = -4*v - 17. Let m = -253 - -254. Which is bigger: m or v?
m
Let b = -2355 + 167202/71. Which is smaller: b or 1?
b
Let r be (-3)/(-12)*20/235. Let v be (-2)/94*(-103)/(-9). Let k = v + r. Are 0 and k non-equal?
True
Let y(o) = -o + 9. Let w be y(8). Let v = -7 - -7.1. Is w < v?
False
Let x(d) = d - 7. Let w be x(0). Which is bigger: w or 1/4?
1/4
Let x be (1 + -1)*2/4. Let s = 2/235 - 713/940. Is x equal to s?
False
Suppose 3*r - 150 = -2*r. Let f be 5/r*3*-1. Which is greater: 1 or f?
1
Let p(i) = -i + 25. Let w be p(11). Suppose -3*b - w = -11. Which is smaller: 2/27 or b?
b
Let p = -2 + 7. Suppose 6 = p*u + 1. Is 2 less than or equal to u?
False
Suppose -5*u - 67 = -4*s, 0*s + 5*u + 21 = 2*s. Is 23 != s?
False
Let p = -1 - 0. Let u = p + 2. Let n = -0.2 + 0.1. Is u greater than n?
True
Suppose -4*g = -11 - 17. Suppose -g*p = -4*p. Do p and -2/11 have the same value?
False
Suppose 0 = -3*v + 12 - 3. Let x = -3 + v. Let p be (2 + -3)*(0 - (-8)/(-92)). Which is smaller: x or p?
x
Let f = 3/25 + 2/25. Do -0.2 and f have the same value?
False
Let q = 17 + -9. Suppose 4*l = q*l. Is l bigger than -2/9?
True
Suppose -6*l + 2*l = 0. Let z = -2 - l. Which is bigger: z or -1?
-1
Let d(y) be the second derivative of -y**5/20 + y**4/2 - 5*y**3/6 - 3*y**2 - 2*y. Let w be d(5). Which is smaller: w or -5?
w
Let q = -1709/972 + 2/243. Let r = q - -45/28. Suppose 0 = -a + 4 - 3. Which is greater: r or a?
a
Suppose -2*r = -5*r. Let o be 3 + -5 + (r - -1). Suppose 3*f = 5*n - 8, -n = -5*f - 0*n - 6. Is f at least as big as o?
True
Let a(c) = c**2 - 2*c - 2. Suppose 8*z - 9 = 5*z. Let v be a(z). Is 0.1 at least as big as v?
False
Let b = 74 - 66. Is 8 <= b?
True
Let d(v) = v**2 - 8*v - 3. Let y be d(8). Let b(p) = -3*p - 23. Let h be b(-7). Is h bigger than y?
True
Suppose -3*p - 2*c - 4 = 2*c, 2*p = -4*c - 8. Suppose -2*v + 4 = 2*v - p*n, v - 5*n = -3. Which is smaller: 3/5 or v?
3/5
Suppose i - s = 6, -i + 3*s + 13 = -3*i. Is i at least as big as 1?
True
Let q = 11 - 17. Let g = q + 6. Let w be (-50)/(-126) + 4/(-14). Is g > w?
False
Let y(s) = s + 8. Let n be y(-4). Suppose -2*r = n + 6. Let f be (6/r)/((-18)/(-20)). Which is smaller: -2 or f?
-2
Let x = 6 - 6. Let o(v) = v**3 - 5*v**2 - 6*v - 3. Let p be o(6). Let c be 3/(-5) - (2 + p). Which is smaller: c or x?
x
Let n = -14 - -16. Suppose -5 = n*w - 7*w. Which is smaller: -2/11 or w?
-2/11
Suppose 2*m - 641 = -4*j - 19, j + 5*m = 133. Let u be 3 + -2*j/108. Is 1 at least as big as u?
True
Let w = 9 + -18. Suppose 2*f - 18 = -f. Let v be (-50)/f + 6/w. Is -8 > v?
True
Suppose 0*r = 4*r. Suppose r*k - 5*k = -15. Let s = 0 - 0. Which is greater: s or k?
k
Let l(b) = -2*b - 4. Let u be l(-7). Suppose 2*a = 2*i - a + 32, 0 = -5*a + 20. Let w = u + i. Is -2/5 at most as big as w?
True
Let h be (-2)/(-8) + -2*(-39)/(-696). Which is bigger: h or 0?
h
Let x = -838/3 - -281. Let i(m) = -m - 2. Let g be i(-3). Are x and g unequal?
True
Suppose 0 = 5*p + u + 2, 4*p - 2*u - 8 = 2*u. Which is bigger: 3 or p?
3
Let g = -1.96 + 0.96. Are -17 and g equal?
False
Let k = -11.1 - -11. Is k <= 17?
True
Let b be 4/10 - (-1)/10. Is 2 equal to b?
False
Let a be 4/6 - 159/171. Let i = 73/133 + a. Which is smaller: 1 or i?
i
Suppose -2*k - 3 = -1. Let t be (k - 1) + (6 - 4). Is 0 > t?
False
Let i = -135 - -123. Is i != -120/11?
True
Let v be (-38)/(-2) + (-18 - -14). Is v <= 16?
True
Let f(a) = -a**2 + 9*a - 10. Let t be f(7). Let q(b) = -b**3 + 2*b**2 + 4*b - 1. Let x be q(3). Is x equal to t?
False
Let q be (-2)/((-16)/(-10)) + 0. Which is smaller: q or 0.2?
q
Let t be -1 - (-8 + 2 + 0). Suppose 3*o - 2 = 4*v, t = -2*v + v + 3*o. Let y be (-15)/156 - (-6)/(-39). Is v greater than or equal to y?
True
Let q(f) = 2*f**3 + 2*f**2 - 2*f - 2. Let h be q(2). Let c = -13 + h. Let j(o) = -o**3 - o**2 + 3*o - 4. Let i be j(-3). Is i at least c?
True
Let b(p) = -7*p - 48. Let s be b(-7). Which is bigger: s or -12/31?
s
Let i be 4/8 - 22/(-4). Let s = 5 - i. Let g be -1*1/s*1. Which is bigger: 0 or g?
g
Let u be 1 + ((-1)/2*0)/2. Does u = 14/13?
False
Let i be (-15)/30 - (-5)/2. Is 0 != i?
True
Suppose 0 = -5*h + c - 5*c + 7, -3*h + 3 = 2*c. Is h greater than or equal to -6/73?
False
Let y be (-14 - -21)*(1 - 0). Is y equal to 29/4?
False
Suppose 0 = 5*d + b + 2, 5*b - 15 = 3*d + b. Let x be 12/(-16)*32/36. Which is bigger: x or d?
x
Suppose -15 = -5*r, -3*c + 4*c - 7 = -r. Suppose 2*m = -5*u + 30, -m + 3*u = -2 - 2. Let i = m - c. Which is bigger: 5 or i?
i
Let g = -2 + 1. Let q be g/(-2)*(-14)/7. Which is greater: 1/7 or q?
1/7
Suppose 5*n - 17 = 4*t, 0*t = 3*t + 4*n + 36. Suppose -5 - 4 = l. Which is greater: l or t?
t
Suppose -4*q - 5*t = 4 + 6, 2 = -q - t. Which is bigger: q or 7/29?
7/29
Let p = -4.1 - -4. Are -1 and p non-equal?
True
Suppose 3*o - 120 = 7*o. Let l = o + 19. Let s = l - -9. Do s and 0 have different values?
True
Let j be (2/(-14))/(4/12). Is j >= 0.2?
False
Let p be (-1)/(22/(-7) - -3). Which is bigger: 5 or p?
p
Suppose j = 6*j + 55. Do -13 and j have different values?
True
Let h = 58 + -51.1. Let f = h - 7. Which is smaller: f or -0.3?
-0.3
Let f = 0.06 + 0.1. Let b = -0.27 - 0.73. Is f bigger than b?
True
Let y(m) = 4 - 4*m - 2*m**3 + 7*m - 5*m**2 + 3*m**3. Let c(k) = 4*k - 21. Let i be c(6). Let u be y(i). Which is greater: -3 or u?
-3
Let i = 9 + -6. Let l = i - 4. Are 2 and l nonequal?
True
Suppose -4*l + 44 = -5*l. Let w be 3/l*4/(-1). Is 1 not equal to w?
True
Suppose 162 = -2*d + 4*a, 5*d - a + 390 = -6*a. Is d at least as big as -78?
False
Suppose 0 = -3*b - 4*k - 1, 0 = -5*b + 2*k + 3*k + 10. Which is bigger: 22/9 or b?
22/9
Let a = -19 + 13. Let h be (-48)/(-18)*(-18)/8. Is h >= a?
True
Let p(r) = r**3 + 29*r**2 + 54*r. Let b be p(-27). Is -1/36 > b?
False
Suppose 4*f - 7 = 2*d + 7, 0 = 5*d + f - 9. Let l = 702/7 - 100. Is d less than l?
False
Let m = 171 - 135. Which is smaller: m or 35?
35
Suppose p - 3*y = 18, -y - y - 22 = -4*p. Which is greater: p or 4?
4
Let q = -1712/7 + 244. Is q not equal to 0?
True
Suppose 0 = 3*n - 0*n - 4*b - 22, 0 = 2*n + 3*b + 8. Suppose 3*s - 18 = -3*i, 0 = n*i + i - 2*s + 2. Let l be 2/9 - (-42)/54. Which is greater: i or l?
i
Let k = 29.2 + -27. Let n = k + -3.1. Let j = n - -1. Which is bigger: j or -3?
j
Let s = 1 + -1.01. Let x = -0.82 + -0.18. Is s <= x?
False
Let p be (-28)/13 - (-7 + 5). Let h(t) = -t**2 - 7*t + 8. Let v be h(-8). Is p <= v?
True
Let r = 114/13 + -1052/117. Which is smaller: r or -1?
-1
Let o(l) = l**2 + 6*l + 5. Let q be o(-5). Does q = -2/135?
False
Suppose -x = -4*x - 90. Let j be 16/x + (-3)/(-9). Which is greater: j or 0?
0
Let j(f) = -f**3 + 4*f**2 - f + 4. Let n be j(3). Which is greater: 7 or n?
n
Let x = 13.96 - 14. Let l = x - 0.06. Is -3/4 > l?
False
Let u be (-12)/(-4) + 18/(-8). Do 2 and u have different values?
True
Let k = 0.6 - 0.2. Let a = k + -0.1. Is a > -0.1?
True
Let f = 38/5 - 37/5. Do f and -1/3 have different values?
True
Let d be (-16)/(-18) - 4/6. Let l be 200/99 - 6/3. Let c = 68/99 - l. Which is greater: d or c?
c
Suppose 3*u = -c - 35, -25 = -0*u + 3*u - c. Let i(o) = o**2 + 10*o. Let l be i(u). Which is greater: 1/3 or l?
1/3
Suppose -2*i + 8 = 0, 2*i - 58 = -7*c + 2*c. Is c at most 11?
True
Let l(i) = i**2 - i - 2. Let h be l(2). Let k be (h + (-1)/1)/2. Let x(z) = -z**3 + 2*z**2 + 3*z. Let n be x(3). Is k smaller than n?
True
Let l = -10 - -6. Let p = l + 2. Let b(c) = -c**3 + 2*c**2 - 2*c + 3. Let s be b(2). Which is smaller: p or s?
p
Let f be (6/(-40))/((-6)/(-4)). Suppose -24 = -3*v - 