 - 3*f + 1 + 6 + 4*f**2 + 5*f. Let n = 1 + -2. Let j be o(n). Is j at least as big as 4?
False
Let a be 3 + 1/(124/(-360)). Let m = 101/403 - a. Let y(n) = -2*n - 1. Let q be y(-1). Which is smaller: m or q?
m
Let r(c) = c**3 + 11*c**2 + 29*c + 2. Let t be r(-5). Let v = -0.3 + 0.2. Which is bigger: t or v?
t
Let i be ((-9)/(-6))/(5/2). Suppose 3*m - 9 = -3*f, -5*m = f - m + 6. Let t(x) = -x**2 + 6*x + 2. Let v be t(f). Is v < i?
False
Let t = 8 + -2. Let b be 8/t*72/16. Let a = -17 - -24. Is a > b?
True
Let k(d) = d**2 + 10*d + 7. Suppose 1 = -j - 8. Let q be k(j). Suppose -4*z + 8*z + 4 = 0. Which is greater: z or q?
z
Let t(q) = -q**3 - 4*q**2 + 5*q + 7. Let n be t(-5). Let s be 4 - n - 1*-3. Let k = -0.33 - -0.03. Is s less than k?
False
Suppose -3*j + 12 = -j + 4*a, -3*a = -4*j + 2. Let h(r) = -r**2 - 2*r + 5. Let x be h(-4). Let t be x + 1 + 26/8. Which is greater: j or t?
j
Suppose b + 2 = 3. Let h(k) = 16*k. Let y be h(b). Let c be (-19)/44 - y/(-88). Which is smaller: c or -2?
-2
Let f be (-85)/261 + (-6)/(-27). Which is smaller: f or 1?
f
Let m = 11 + -10. Is m < -4/9?
False
Let f = -85/162 + 2/81. Which is smaller: f or -4?
-4
Let h = -3 + 7. Suppose h = -7*b + 3*b. Which is smaller: b or 1/13?
b
Let j = 2 + -9. Let v = j + 8. Suppose -v = 3*a - 2*a. Do a and -3 have the same value?
False
Let y = -2 + 4. Let j be y*(3/6 - 0). Let b be (-2 - -4)*1/(-5). Which is smaller: b or j?
b
Suppose f + 6 = 2*f. Let s be 138/72 - (-2)/f. Is 3 != s?
True
Let r be (-14)/4*(-264)/(-56). Let h = r + 18. Which is smaller: 2 or h?
h
Let y(i) = -i + 4. Let w be y(0). Suppose -w*a = 3*o - 2, -3*a - 7 = -3*o + o. Which is greater: 1 or a?
1
Let d = -15.4 + 15.4. Let v be 22/4 - (-1)/2. Which is smaller: d or v?
d
Let q = -4496 + 89947/20. Let b = -21/10 + q. Which is smaller: -1 or b?
-1
Let c = -20 + 25.5. Let i = c - -0.5. Let v = 9 - i. Which is smaller: 0 or v?
0
Let k = -1 - -1. Suppose k = 4*r - 5*r + 5. Which is greater: r or 4?
r
Let w = 11/10 + -293/230. Let c be 1/3 - (-28)/(-21). Is w at most c?
False
Let o = 6.7 - 9.1. Which is smaller: 1 or o?
o
Let d = 3 + -2. Let i be (-20)/(-6) + d/(-3). Let o = i + -2. Which is smaller: o or 2?
o
Suppose 8*o - 3*o - 90 = 0. Suppose 0 = -2*w + 5*w - 21. Suppose w = -2*d - 3*d + 2*u, 3*u = -2*d - o. Which is bigger: -1 or d?
-1
Suppose 5*y + 5*n = 240, 2*y + 4*n - 8 = 96. Suppose 5*v = 3*f + y, 2*f + 3*f = v - 22. Let p = -3 + v. Which is greater: 5 or p?
5
Let j(m) = m + 2. Let q be j(-2). Let g be (-1)/4*(-3 - -4). Is g less than q?
True
Let m(c) = c**3 + 5*c**2 - c - 4. Let d be m(-5). Let g be -1*(-2 - -2*d). Let j be (g - (3 - 2))*-2. Is 2 less than or equal to j?
True
Let s = 27 + -6. Is s at least as big as 20?
True
Let w be 60/35 - 4/(-14). Suppose -w*m - 2*m - 7 = -h, -m = 2*h - 5. Which is smaller: m or 0?
m
Let h = 0.4 + -0.3. Let i = -0.22 - 0.08. Let q = i + h. Is -0.1 at most q?
False
Let d = 52723/57 - 925. Let m = -4 + 3. Is m not equal to d?
True
Let g = 111.1 - 101. Let u = g - 10. Are u and 1 unequal?
True
Let k(f) be the second derivative of -2*f**3/3 - 3*f**2/2 - f. Let z be k(-3). Let w be (-2)/(-6) + 6/z. Are w and 1/2 non-equal?
True
Suppose 4*y + 5*n = -5, -2*n - 3 = -y - 1. Suppose y = s + 3*s - 8. Let h be (-60)/14 + s/7. Is -4 <= h?
True
Let l(i) = -i - 3. Let x be l(3). Does -6 = x?
True
Let h = 1.94 + 0.06. Suppose -4*s = -12*s. Is s at most as big as h?
True
Let v = 15 - 13. Suppose t = -2*k - 3, -23 = -3*t + 2*k - 8. Suppose v*p - 5*p + t = 0. Which is greater: p or 0.2?
p
Let t be -2*(2 + -1) - (-1560)/770. Do t and -1 have different values?
True
Suppose i + i + o = 5, 0 = -4*i - 4*o + 16. Do 1/11 and i have the same value?
False
Let q = 3 - 3.02. Let b = 1.74 + 0.28. Let u = q + b. Which is smaller: 2/7 or u?
2/7
Let o(q) = -6*q**2 - q + 1. Let f be o(1). Let w be (2/f)/(4/12). Let j = 16 + -49/3. Which is bigger: j or w?
j
Let m be -2 - 6/(-8)*2. Let x = -59 - -58.73. Let l = -0.47 - x. Which is smaller: m or l?
m
Let x be (-1)/(76/(-6))*(-8)/(-6). Suppose 0 = 5*d - 2*p + 6, 15 = -2*d - d + 5*p. Which is greater: d or x?
x
Let t be 30/(-15)*(-2)/4. Let o be (-8)/11 - (-2 - -1). Which is bigger: t or o?
t
Let c(t) = -13*t - 82. Let u be c(-7). Which is greater: u or 80/9?
u
Suppose 0*t = -4*t - w + 5, -5*t = 4*w - 9. Is 4/15 <= t?
True
Suppose -2*x - 36 = -z, -2*z = 2*z. Let u be (-2)/x*(3 - -2150). Let k = -239 + u. Is k at most 0?
False
Let j be (-1 - -5)*(-1)/(-26). Is 1 < j?
False
Suppose 13 = -5*f - 2*m + 36, 19 = 5*f + m. Suppose -3*z = -9 + 3. Suppose c = b - z*b + 5, f*c - 4*b = -13. Is c at most as big as -1/4?
False
Let q = 26 + -27. Which is smaller: -5/4 or q?
-5/4
Let m = -119481 + 7885915/66. Let o = m - 30/11. Which is greater: o or 0?
0
Let f(j) = j**2 + 5*j + 4. Let n be f(-4). Suppose -5*c + 6 = -9. Let h be (c/2)/(36/16). Which is greater: n or h?
h
Let s(o) = o**2 + 7*o. Let v be s(-7). Is v less than -1?
False
Suppose 0 = -4*c - 2*x - 44, -2*c + 1 = -x + 23. Let g = 1 - 13. Which is bigger: c or g?
c
Suppose 3 = -17*s + 18*s. Is 2 bigger than s?
False
Let n = 12/13 + -34/65. Is n smaller than 9?
True
Let a be 2*-1*(-1238)/(-18). Let y = -138 - a. Which is smaller: 0 or y?
y
Suppose -2*v + 8 = 2. Suppose -v*m + 2 = -10. Let x be (-2)/8 - 2/m. Is -1 equal to x?
False
Let k = 321 + -1613/5. Is -1 at least as big as k?
True
Let z(c) = c + 14. Let f be z(-10). Let b be f/(6/3) - -23. Let p = 18 - b. Do -6 and p have the same value?
False
Let k(f) = -f**3 - 7*f**2 - 8*f - 8. Let n be k(-6). Let z be (-1 + 2/n)*0. Which is bigger: z or -3?
z
Suppose -1 = -j + 2. Which is smaller: 6 or j?
j
Let o(t) = 2*t**2 + 14*t - 2. Let m(a) = -3*a**2 - 28*a + 3. Let w(i) = 3*m(i) + 5*o(i). Let x be w(14). Let u be 1/(-1) - (-2)/1. Is u not equal to x?
True
Let f(s) be the second derivative of -s**3/6 - s**2 + s. Let h be f(0). Let j be (-12)/(-16) + h/(-8). Is 2 greater than j?
True
Suppose h + 2*t = 64, 3*h = -2*h + t + 309. Let z be (8 - 7) + h/(-66). Which is smaller: z or 0?
0
Let y = -2 - 5. Let q(j) = j**2 + 6*j - 9. Let a be q(y). Suppose -4*o = -0*o. Which is greater: a or o?
o
Let u(s) = -s**3 - 3*s**2 + s + 2. Let l be u(-3). Let q be -1 + l*3/(-9). Is 0 at least as big as q?
True
Let k = 188 + -356. Let r = -1178/7 - k. Which is smaller: -4/9 or r?
-4/9
Suppose -x = 4*x. Does x = -4/11?
False
Suppose 3*r + 12 - 6 = 0. Is -3 != r?
True
Let j(l) = l**2 + 1. Let m be j(-2). Suppose 0 = 2*y, m*y + 2 - 5 = -3*s. Is s less than or equal to 1/7?
False
Let b = -5.05 + 0.05. Let i = -6 - b. Let t = -1 - -1. Is i greater than t?
False
Suppose 5*a - 15 = 3*i + 2*i, -i - 31 = -5*a. Let v = 5 - a. Is 0 not equal to v?
True
Suppose 0 = 6*d - 9*d. Suppose d = 5*l + 3*s + 21, 0 = -0*l + 5*l - 4*s + 42. Let z = -2 + l. Is z greater than -8?
False
Let j be (-24)/(-9)*36/16. Suppose i + j - 5 = 0. Let r be (-2)/(-10)*(-5)/(-4). Is i less than r?
True
Let o = 4 + -9. Let z(d) = -d**2 - 3*d + 1. Let y be z(o). Let l = -6 - y. Which is greater: l or 4?
4
Let h = -0.08 - -0.02. Let u = -7.06 - h. Let g = u - -4. Is g <= 0.1?
True
Let q(k) = -20*k**3 - k**2 - k + 1. Let w be q(1). Is w smaller than -19?
True
Let h = 9 + -5. Suppose -18 = -3*g + 30. Suppose -g = -5*n + h. Which is bigger: n or 3?
n
Suppose -5*w + 4*q - 2*q = -69, 0 = 5*w - 3*q - 71. Are w and 12 unequal?
True
Let g = -11 + 19/2. Suppose w + h = 3, -2*w + 6*w = -3*h + 7. Which is smaller: w or g?
w
Let y = 1875/28 + -67. Which is bigger: y or 0?
0
Let x(i) = -i**2 - 6*i - 5. Let f be x(-4). Suppose -f*h + 7*h + 28 = 0. Let u = h - -11. Which is bigger: u or 3?
u
Let m be 1956/132 - (-4)/22. Suppose -3*f - 3*z + 16 = -2*f, 5*f = 4*z - m. Is f less than or equal to 0.16?
False
Let t(o) = 2*o - 10. Let b be t(5). Is -2/49 greater than b?
False
Let l = -106 - -81. Is -76/3 greater than l?
False
Suppose -4*w + 4 + 12 = 0. Suppose 3*g + 2*y + 5 = 0, 5*y - 1 = -w*g + 4. Let f be g/(45/(-6))*-3. Is f <= -3/2?
True
Let i = -5 + 10. Let y(r) = 3*r**3 + 2*r**2 - 2*r + 7. Let m(w) = 4*w**3 + w**2 - w + 7. Let u(d) = i*y(d) - 4*m(d). Let p be u(5). Which is greater: p or 0.1?
p
Let v = 12 + -20. Which is greater: -9 or v?
v
Let s = 1055/7 - 151. Is s at most as big as -1?
False
Let n be 4 + -25 + (1 + 1 - 0). Which is smaller: