9 + l. Let p(a) = a + 4. Let c be p(-4). Is c less than h?
True
Let q be (-1)/2 - (-75)/(-30). Suppose -3*y - 2 = -r + 3*r, 0 = -3*y - 3*r. Which is bigger: y or q?
y
Suppose -w = -0 - 2. Suppose -w = -2*d - 3*m + 8, 2*d + m - 18 = 0. Which is bigger: d or 10?
d
Let q = 2.19 - 0.13. Let h = -0.06 + q. Is 2 smaller than h?
False
Let b(r) = r**3 + 3*r**2 - 7*r. Let l be b(-5). Let s = -206/11 + 71/22. Let u = l - s. Are 1 and u non-equal?
True
Let f be ((-4)/6)/(22/(-6)). Let u(w) = w - 3. Let m(h) = -2*h + 6. Let y(n) = 3*m(n) + 5*u(n). Let g be y(2). Is f greater than g?
False
Let h = 82 + -18. Is h < 66?
True
Suppose 3 = 3*y - 3. Suppose 3*b = -7 - y. Which is smaller: -2 or b?
b
Suppose 0 = 2*b + 4*m + 1 + 3, 4*m = -8. Suppose -6 = -5*r - 2*a + 8, -b*r + 3*a + 17 = 0. Suppose -3 = -r*n + 5. Is 3 >= n?
True
Suppose 0 = n + 7 - 10. Suppose -n*i - 3*t + 5*t + 14 = 0, -4*i + t + 12 = 0. Which is smaller: -5 or i?
-5
Let g be 6/4*(-5)/30. Which is bigger: -3/5 or g?
g
Let t = -30.5 + 22. Let i = -8 - t. Is -0.1 > i?
False
Let s = 5 - 11. Which is smaller: -7 or s?
-7
Let d be (16/10)/(4/20). Suppose d = 5*q - z, -3*q - 5*z = 2*q - 20. Let h(j) = -2*j + 12. Let y be h(6). Is q at most as big as y?
False
Let u be 1/(-3) + (-39)/(-9). Let c = 0 + 3. Which is smaller: c or u?
c
Let r(g) = g - 13. Let u be r(14). Is u < 2/11?
False
Let d(z) = 7*z**2 + 3*z + 1. Let n(s) = -s**2 + s + 1. Let q(v) = -d(v) - 6*n(v). Let t be (-4)/10 - 152/20. Let p be q(t). Are p and 5/3 non-equal?
True
Let q be (-11)/1 - 60/(-15). Are -1 and q unequal?
True
Let d = -33.89 + 35.9. Let w = d - 0.01. Is w < 5?
True
Let q(u) = u**2 + 4*u - 1. Let h(g) = -g**2 - 5. Let x be h(0). Let l be q(x). Let o be l/6 + (-16)/6. Is o > -2?
False
Let d be 54/4*1*4/48. Which is bigger: 1 or d?
d
Let f = -19.8 - -22. Let o = f + -2. Let t = -0.03 + -1.97. Which is smaller: t or o?
t
Let h = 5111/310 + 2/155. Let i = h - 17. Let l be (3 + (0 - 2))*-2. Is l greater than i?
False
Let a = -7 - 1. Suppose -5*t + 10 = -5*b, -2 = -5*t + 8. Which is greater: a or b?
b
Let g(k) = k**3 - 5*k**2 + 6*k - 2. Let f be g(5). Suppose -2*a - 14 = 5*p + f, 4 = -2*p - 4*a. Is p smaller than -11?
False
Suppose 3*q - 8*q + 55 = 0. Which is greater: 13 or q?
13
Let i(y) = y**3 + 7*y**2. Let x be i(-7). Let w = 115 + -1033/9. Is x at most w?
True
Let l(q) = q**2 - 4*q + 5. Let n be l(4). Suppose -n*y - 27 = -7. Do y and -5 have the same value?
False
Suppose 6*m = -2*m + 3*m. Is 1/84 less than m?
False
Let y(l) = 6*l**3. Let z be y(1). Let t be 3/z*(1 - -7). Are t and 4 nonequal?
False
Let c = -5 - -10. Suppose 45 = -4*t + c. Let b be 10/(-6)*t/(-25). Which is bigger: b or 0?
0
Suppose 2*f = 7*f. Let g be 2*(-2)/(-2) + -10. Let k(t) = -t**3 - 8*t**2. Let n be k(g). Do n and f have different values?
False
Let k be (-4*1)/(3/(-6)). Let b be (k/(-6))/((-42)/9). Which is smaller: 1 or b?
b
Suppose 0 = 6*f - 3*f + 15. Let x = f - -21/4. Suppose 3 = -3*h + 5*v, -5*v = 5*h - 0*h + 5. Is h equal to x?
False
Let q = -0.48 + 1.48. Which is smaller: -16.8 or q?
-16.8
Suppose -5*f - 59 = -3*a, -3*a + 51 = -3*f + 6*f. Is a at least 18?
True
Let n(z) = 6*z**2 + 5*z + 6. Let j be n(-5). Which is smaller: j or 130?
130
Suppose l = -2*l + 9. Let n be (-1)/l*(-3 + 6). Suppose -2*y - 2 = -y. Which is smaller: y or n?
y
Let l = 0.8 - 0.2. Let m = 119/3 - 40. Are m and l non-equal?
True
Let j = -56 - -56.2. Is 7/6 at most as big as j?
False
Let l = 19.2 - 19. Let b = -0.3 + l. Which is smaller: 1/2 or b?
b
Let l be -3 + 5 + (1 - 2). Let a be (-40)/(-33) + (-8)/12. Is a greater than or equal to l?
False
Let m = -3957/485 - 4/97. Are m and -7 unequal?
True
Let k = 0 - 2. Let d(f) = -f**3 - 2*f**2 + 3*f. Let h be d(-3). Are h and k unequal?
True
Let u be (-5)/(-15) - (-17)/3. Let y be u/(-12)*(-48)/(-10). Are y and -1 equal?
False
Let x(f) = -2*f - 21. Let a be x(-13). Which is greater: 21/5 or a?
a
Let l be -1*1*34/138. Let f = 145/8 - 3351/184. Let x = f + l. Which is smaller: -1 or x?
-1
Let z be (-5)/1*24/(-90). Which is greater: z or -4/7?
z
Let v = -1 - -4. Let f be 3/v + 8/(-5). Let y(a) = a**2 - 4*a + 3. Let p be y(2). Do f and p have the same value?
False
Let q = 14.95 + 0.05. Let j = -11 + q. Let x = j + 0. Is 1/2 not equal to x?
True
Let w = -1.96 - 0.04. Let x(q) = -q**3 + q**2 + 1. Let t be x(1). Which is smaller: t or w?
w
Let o be (0 + 1)*(-4 + 8). Let m be 1/(-2)*o/3. Let c be (-16)/12*1/(-2). Which is smaller: c or m?
m
Let d = -175/2 + 89. Which is smaller: d or 0?
0
Suppose 5*x - 357 = 12*x. Let v = -1 + 3. Let o be v + x/13 - -2. Is 0 smaller than o?
True
Suppose v = -12*v - 39. Suppose 2*o - 5 + 13 = 0. Which is bigger: v or o?
v
Let r = 2 + -1.8. Let g = 0.3 - r. Let b = 29 + -89/3. Which is greater: b or g?
g
Let l = -12 - -11.9. Is l at most as big as -0.4?
False
Suppose -h + 0*h - 1 = 0. Let x be -2*1/(-11)*-1. Is h equal to x?
False
Let d be (-4 + (-78)/(-15))*10/4. Which is bigger: 4 or d?
4
Let x = 7 - 3. Suppose x*f + 4*k - 16 = 2*k, -4*f + 3*k = 4. Which is smaller: 4 or f?
f
Suppose 0 = u - 0*i + i + 2, 7 = -u + 4*i. Do -5 and u have the same value?
False
Suppose 0*b - 4 = -b. Suppose 3*m = -m + b. Let f be (-1 + 3)*m - 4. Which is smaller: -6 or f?
-6
Let z = -409.01 + 405. Let g = 0.01 + z. Which is bigger: g or -1?
-1
Let g be 4/(-14) + 550/1974. Let m = 5176583/423 + -12238. Let n = m + g. Is n greater than -1?
True
Let o be 18/4 - (7 - 8). Which is greater: 5 or o?
o
Let g(v) = 27*v - 60. Let a be g(4). Is 48 at most as big as a?
True
Let v be (6/(-4))/((-14)/(-4)). Let f(b) = 2*b**2 + 10*b + 1. Let w be f(-5). Which is smaller: v or w?
v
Suppose -4*i - 9 = -3*z - 2, 4*i + 2*z = -22. Let v = i + 5. Let k(s) = -s. Let w be k(-2). Does w = v?
False
Let k = 91 - 92. Are k and 54 non-equal?
True
Let u = -0.18 - 3.82. Which is greater: u or 0?
0
Let f = 292976196 - 6275550116663/21420. Let c = 9/140 - f. Let s = c + 104/153. Is s >= -0.2?
True
Let h be (-22)/5 - (4 + 0). Which is greater: h or -9?
h
Suppose -32 = -4*i - 0*i. Suppose 0 = -5*c - 25, -f - f - i = 2*c. Are 6/13 and f equal?
False
Let h = -0.01 + -1.69. Let j = h - -2.1. Which is bigger: -0.1 or j?
j
Suppose 0 = -2*v + 7 - 3. Suppose -4 + v = -2*y. Suppose -y - 5 = 2*j. Is j > -3?
False
Let y = -1 - -6. Suppose y*q + 0 = -5. Is q != -1?
False
Let r = 60 + -57. Which is smaller: r or -0.04?
-0.04
Suppose -3 = -2*x - 5. Is x at least -10?
True
Let k be ((-3)/8)/(69/(-180)). Let l = 12/23 + k. Are 2 and l unequal?
True
Suppose -4*k = -k - 54. Let c = k - 19. Is -1 smaller than c?
False
Let v = -0.3 - 0.7. Let u = -0.06 + 0.96. Let p = u + 0.1. Are p and v unequal?
True
Let r(d) = -2*d**2 + 3*d - 3. Suppose -4*y - 2*p - 2 = 0, y = 6*y + 4*p + 10. Let v be r(y). Is -5 less than or equal to v?
True
Let z = 4 + -5. Let a(i) = -i - 3. Let q be a(-9). Let b = 5 - q. Is b < z?
False
Let i(u) = -u**2 + 1. Let b be i(-1). Suppose b = 4*k - 5*q + 14, 0*k = -2*k + 4*q - 4. Let j be (-4*(-2)/6)/k. Which is smaller: 1 or j?
j
Let x be (6*1)/(-7 - -5). Let r be (-8)/168 - 1/x. Which is bigger: r or 0?
r
Let o be 0 - (-3 + 5 - 4). Suppose -a + o = -4*k - 3, -2 = 5*k + 3*a. Which is greater: k or 3/10?
3/10
Suppose 13 = b - 5*d, 3*b + b + 2*d + 14 = 0. Let q be 2/(4/28*-1). Let z be (-3)/b*q/21. Which is bigger: -1/2 or z?
-1/2
Let a(v) = v**3 + 10*v**2 + 9*v - 1. Let u be a(-9). Which is greater: u or -3?
u
Let f = 9/13 - 10/13. Let n(t) be the first derivative of -t**2/2 - 5*t - 4. Let r be n(-5). Is r != f?
True
Let q = 248 + -247.9. Let h = 1.17 + 0.03. Let m = -7.2 + h. Which is smaller: q or m?
m
Let g be (1 + -3 + 1)/(-1). Which is bigger: -7 or g?
g
Let b = 16 - 25. Let x = b + 9. Let m = 1 - 1. Is x bigger than m?
False
Let h = 771 - 34691/45. Which is smaller: h or -1?
-1
Suppose -4 = n - 5*n. Which is bigger: n or 0?
n
Let a(g) = -g**2 + 7*g - 5. Let h be a(5). Suppose -2*o + 4 = -q - o, h*q - o = 0. Let s = 89/4 + -437/20. Are s and q nonequal?
True
Let k(m) = -m**2 + 9*m - 7. Let b be k(8). Let q be (-1)/4 - (-3)/4. Which is greater: q or b?
b
Let v = 83.1 - 83. Which is smaller: 64 or v?
v
Suppose -m - 4*m = 0. Let y = 8 + -5. Suppose w - 3 = y*a - 6, 0 = -4*a + 5*w - 7. Which is greater: a or m?
a
Let n = 1 - 0.6. Let a(m) = 3*m**2 - m + 1. Le