 n less than -0.1?
True
Let j = 4.57 + -8.58. Let p = j - -0.01. Suppose 0*r - 4*r + 4 = 0. Which is smaller: p or r?
p
Suppose 2*b - 20 = -4*i, -2*b + 0*i = 2*i - 10. Which is greater: -2 or b?
b
Let g(l) = -2*l**2 + 2*l - 1. Let c be g(1). Let f(z) = 2*z + 6. Let t be f(-5). Let j be (t/6)/(12/18). Is c at most as big as j?
True
Suppose 0 = -4*t - 12, -1 = 5*h + 4*t - 14. Let s = -3 + h. Suppose 2*m + 0 = -s. Which is greater: m or -3/2?
m
Suppose -l = 2*l + 3*z + 33, -3*l - z - 23 = 0. Do l and -8 have the same value?
False
Let m = 40.8 + -41. Which is smaller: m or -17?
-17
Suppose z = -3*j - 1, -2*j + 90 = -5*z - 0*j. Is -15 greater than z?
True
Suppose -2*q - 2 = -3*q. Suppose -b - q = -3. Suppose x - 2 + b = 0. Do x and -2/13 have different values?
True
Suppose -3*c = -5*r + 43 - 3, r + 5*c - 8 = 0. Let d be 0 + 18/r + -2. Are 0 and d unequal?
True
Suppose 12 = -10*r + 4*r. Is -19/10 at least as big as r?
True
Let d = -2099/14 - -150. Which is smaller: -1 or d?
-1
Let k = 275 + -3027/11. Let u = 0.1 + 0.9. Is u smaller than k?
False
Suppose -4*f + 6 = 3*b, -5*f + 3*b - 5 = 1. Are -4 and f equal?
False
Let y(b) = 9*b**3 + 4*b**2 - 3*b + 1. Suppose 3*i + 5 - 14 = 0. Let d be y(i). Let v = d - 2979/11. Which is bigger: v or -1?
v
Suppose 4*n + 3*u = -u - 16, 14 = 4*n - 2*u. Do 3/143 and n have the same value?
False
Let f(m) = -m + 10. Let y be f(7). Let r be y/(-9) + (-20)/3. Let b be 5/6*2*-3. Which is smaller: b or r?
r
Let z = 67 - 63. Suppose 3*h - 4 = -h. Suppose -z*q - h + 25 = 0. Is q not equal to -2/7?
True
Let c be 18/(-12)*(-10)/3. Suppose 5*m - 4*k + 3 = -5*k, -5 = -c*m - 5*k. Which is bigger: m or 2/7?
2/7
Let a = 0 - -0.1. Let x = a + -1.1. Let d(v) = -15*v + 10. Let k be d(1). Which is greater: x or k?
x
Suppose 2*t + 3*n = 8, -4*t = -0*t - 5*n + 6. Let r be 3 + -2 - (t + 0). Let i be (-9)/8 + 1 + 0. Is r at least as big as i?
True
Let r = -2.8 + -10.2. Which is bigger: 0.1 or r?
0.1
Suppose 3*d + r = -21, 0*d - r - 7 = d. Let y(b) = b**3 - 18 + 8*b**2 + 10 + 0*b + 6*b. Let w be y(d). Is w at most as big as -1?
True
Let y = 1005/14 + -72. Let x(i) = -i**3 + 8*i**2 - 8*i + 7. Let m be x(7). Which is smaller: y or m?
y
Let n = -947/9 + 105. Which is greater: -1 or n?
n
Let j(s) = 2*s**3 + s**2. Let c be j(1). Let g = 7 - 4. Suppose -y + 0*y = -g. Are y and c non-equal?
False
Let w(a) = a**2 + 5*a - 5. Let c be w(-5). Let s be (-1 - -1)*(-4 - c). Is 0 greater than or equal to s?
True
Suppose -g + 3 = -3. Suppose 10 = -w + g*w. Does 2 = w?
True
Let i be ((-3 + 4)*0)/(-2). Suppose -2*w - 3*w - 15 = i. Are -4 and w equal?
False
Let h = 0.5 + -8.5. Let l = h + 7.9. Which is smaller: l or 1?
l
Let t(v) = 12*v**2 + 2*v + 1. Let d be t(-1). Suppose 5*f = -i + 23, -2*i + 5*i = f - d. Let w = 2 + i. Is w equal to -1/3?
False
Suppose -10 = -2*u, 15 = -2*i + 2*u + u. Suppose 3*c = -i*c. Let y = 40 - 40. Are y and c non-equal?
False
Let r(c) = c**3 - 4*c**2 - 4*c + 8. Let j be r(8). Let p = j + -1399/6. Let a = -11/6 - p. Which is smaller: a or 0?
a
Let b = -7.2 + 0.2. Let i = 6.93 + b. Let w = i + -0.03. Which is smaller: 2 or w?
w
Let a(r) = -r**2 + 5*r + 1. Let j be a(4). Suppose -f = -j*i + 14, 5*i = -3*f + 6*i + 14. Let l = -10 + f. Is l at most as big as -3?
True
Let a(t) = 2*t. Let v(z) = z**2 - 5*z - 5. Let w be (6/8)/((-2)/(-16)). Let i be v(w). Let o be a(i). Which is greater: 1 or o?
o
Let p = 85 + -766/9. Suppose 5*i + 9*i = 0. Do p and i have the same value?
False
Let w = -3166 + 34850/11. Let k = w + -155/66. Is 0 bigger than k?
True
Let k be 4/(-3)*(-3)/2. Suppose k*s = 20 - 6. Suppose 0 = -3*x + s*x + 4*g - 12, -29 = 2*x - 5*g. Which is greater: -4/3 or x?
-4/3
Suppose -4 - 2 = -5*j + 2*l, -3*j = -l - 4. Let b = j + -2. Let g be -2*(0 - 1/(-2)). Is g smaller than b?
True
Let j be (-4)/24 - 1/(-6). Let c be (-2)/(1 - 110/114). Let a = c - -341/6. Is j bigger than a?
True
Let h be 1 + 2 + 0/12. Suppose -n = -4*n - h. Is -1/15 < n?
False
Let l be 1/(2 - (-18)/(-12)). Is l not equal to 9?
True
Let b be 4*(-4)/(-600)*3. Are -1 and b equal?
False
Let l = -2 - -4. Let f = -1 + l. Which is smaller: -2/7 or f?
-2/7
Let s be -1 + (-3340)/(-2025) + (-3)/5. Is s > 0?
True
Let v be (-23)/(-10) + (1 - 3) + 1. Is v at most 1?
False
Let v be (1 + 1/(-3))*-3. Let d be (-3 - -2)*(-2 + 1). Which is smaller: d or v?
v
Let c = 11.7 + -11. Let i = 0.5 - c. Let t = i - -1.2. Is 1 equal to t?
True
Let f be (102 + 0)*2*(-1)/32. Is -6 at least as big as f?
True
Let f = 128 - -123. Let x = 3261/13 - f. Is x >= 0.1?
False
Suppose 0 = -8*v + 3*v + 3*i + 85, 4*i + 85 = 5*v. Which is smaller: 15 or v?
15
Let a be -4 - 2/5*5. Let v be (-5)/3 + (-4)/a. Which is greater: -2/13 or v?
-2/13
Let b = 0.2 + -0.1. Let t = -279/1898 - 1/146. Let x = t - 23/104. Which is greater: x or b?
b
Let d = 1 + -1.2. Suppose -7 = 5*u - 12. Let i(x) = x**3 - 2*x**2 + x. Let y be i(u). Which is smaller: d or y?
d
Let i(t) = t**3 - 20*t**2 - 20*t - 18. Let p be i(21). Let c = 0.1 + 0. Do p and c have different values?
True
Let v(o) = o**3 - 4*o**2 + 4*o - 1. Let u be v(3). Suppose n = -4*w + 13, 3*n + 1 = 2*w - u. Let q(a) = a**2 - 2*a - 2. Let c be q(w). Is c >= 1?
True
Suppose 3*o - 9 = 0, 2*o - o = 2*q + 7. Suppose 0 = 4*j + 2*b, -6*j = -2*j + 3*b - 4. Is j smaller than q?
False
Let f = -16071/41 + 392. Which is greater: f or 0?
f
Let v = -0.19 + -0.01. Let j = v + 0. Which is greater: j or 0?
0
Let j(z) = z - 1. Let x(y) = y**3 + 4*y**2 + 4*y. Let u be x(-3). Let t be j(u). Which is greater: -5 or t?
t
Let y = 6 - 9. Let a(i) = -i**2 - 7*i + 6. Suppose -3*d - 40 = 2*d. Let w be a(d). Which is greater: w or y?
w
Suppose 2*x = 5*v + 5*x - 89, 3*v - 2*x = 42. Is 15 at least as big as v?
False
Let c = 51 - 52. Which is smaller: c or 11?
c
Let q(t) be the second derivative of -t**3/2 - t**2/2 + 2*t. Let p(g) = -g + 2. Let z be p(3). Let y be q(z). Is 2 bigger than y?
False
Let c(o) = -1 - 5*o - 6 - 2*o**2 + 3*o**2 - 2*o. Let v be c(8). Is 10 at most as big as v?
False
Let c = -0.2 - -0.1. Is 0.7 not equal to c?
True
Let j = 16004 - 2448563/153. Let l = j + -5/51. Does -1 = l?
False
Let z = -0.035 + -0.365. Let d = -0.1 - -0.2. Which is smaller: z or d?
z
Let y = 0.6 - 0.8. Let g = 2.2 + y. Which is smaller: g or 1?
1
Let s be 114/18 - (-2)/(-6). Suppose 5*k - s*k = 0. Is k < -1/6?
False
Let l be (1/6)/((69/6)/1). Are 1 and l nonequal?
True
Let n = -151 - -10118/67. Which is smaller: n or 1?
n
Let q = 0.02 - -4.98. Let l = -2 + q. Let x = 3.1 - l. Is x bigger than -2/3?
True
Let w(k) = -18*k**3 - 2*k**2 + 1. Let i be w(1). Let l = i + 55/3. Which is smaller: l or 4?
l
Let k = -1/305 + 1229/2745. Let l = 0 + 1. Is l > k?
True
Let w = -1017/7 - -145. Is -1 at least as big as w?
False
Let t = -193/6 - -32. Which is smaller: -4/3 or t?
-4/3
Let q(b) = b**2 + 2*b - 7. Let d be q(-4). Let g be 2/(-13*(-1)/d). Does 1 = g?
False
Suppose -3*m - 9 = 3*s, s - m + 3 = 2*m. Which is smaller: s or -12/5?
s
Let j be 16/28 + (-39)/63. Which is greater: j or -1?
j
Suppose -3 = -3*t + 3. Is 2 <= t?
True
Let l(u) = u**2 + 5*u + 6. Let y be l(-5). Let h(o) = -2*o - 7. Let w be h(-6). Which is greater: w or y?
y
Let z be (1/2)/(2/(-4)). Is -1 != z?
False
Let c = 0.283 + 11.017. Let i = 11 - c. Which is bigger: i or 5?
5
Let y = -53 - -43. Is y not equal to -7?
True
Let t(m) = -m**3 - 4*m**2 - 2*m + 2. Let g be t(-2). Let j be 9/4 + (-4 - g). Is j >= -1?
True
Let p = -29 + 41. Let l = -26 - -36. Let i = l - p. Is -0.1 greater than or equal to i?
True
Let k = -3 - 5. Let v = k + 10. Which is smaller: v or 3?
v
Suppose -5*f + 8*f = 168. Is 56 > f?
False
Let o be (-3227)/(-1460) - (9 - 5). Let w = 3/292 - o. Is 1 at most as big as w?
True
Suppose -4*p = -60 + 4. Let d = p + -10. Is d != 4?
False
Let c = -31 + 22. Let h = 26/3 + c. Let y = 3 + -4. Is y bigger than h?
False
Let l(n) = n**3 + 15*n**2 + 1. Let k be l(-15). Which is bigger: k or 0.06?
k
Suppose -i + 2*v + 5 = 0, -i + 2*v + 2*v + 5 = 0. Let c = i + -4. Let p be 0 + c - (-14)/(-21). Is p <= -1?
False
Let q be (-94)/12 + (-1)/6. Which is smaller: q or -6?
q
Let j = -3 - -7. Suppose i - 3*p = -5*p + 5, -p + j = 0. Let l be 16/(-10) - (i + 1). Are 1 and l non-equal?
True
Let r = -1 + 1. Let l be (-18)/42 - (-24)/7. Let j be 19/6 - l - 1. Which