t a(f) = f**2 + 5*f - 7. Suppose 0 = v - 3 + 1. Suppose n = 5*w + 29, 16 = 4*w - v*n + 38. Let b be a(w). Is -2 >= b?
False
Let r = 5 + 2. Let p = -11 + r. Let v = p + 5. Which is smaller: -0.1 or v?
-0.1
Let a = 182 + -186.4. Is a less than or equal to -0.1?
True
Let w be (-1 + 1)*3/6. Let t be 2*(w + 3/(-9)). Which is smaller: -2 or t?
-2
Suppose 4*u = -0*u + 8. Suppose -4*w + 6 = -u*w. Suppose -4 = w*f - 19. Is f >= 4?
True
Let l(i) = -i - 12. Let h be l(5). Let b = h + 18. Which is smaller: -4/11 or b?
-4/11
Let o = 789/7 + -113. Let n be (-2)/6*1 + 114/342. Are o and n unequal?
True
Let v be (-4)/(-6) - (-44)/6. Let k be 5/6*v/20. Which is greater: k or 0?
k
Let w = 7.05 + -0.05. Let z = -7 + w. Which is greater: 3 or z?
3
Let h = -6 + 7. Let c be -2 + h - (-2 - -1). Suppose 5*b - 4*b = c. Which is smaller: 3/4 or b?
b
Let c = 2090 - 202728/97. Let q = c + 89/388. Let l be (-1)/(-2) + (-9)/42. Do q and l have the same value?
False
Let y = 18 - 4. Let x be 7/(y/(-4))*2. Is x less than or equal to -2?
True
Let k be 7 - (3 - -9)/3. Let t be k/9 - (-102)/(-9). Is 0 at most as big as t?
False
Let j(k) = -k**3 + 4*k**2 + 9*k - 3. Let u be j(6). Suppose -h - 2*h + 4 = 5*c, 5*c - 6 = -2*h. Let d be 6/u + c/7. Is d <= -1/3?
False
Let i(m) = -4*m - 1. Let k be i(-1). Let x be k/4 + (-3)/(-12). Let y(t) = t**3 - 5*t**2 + 4*t - 1. Let d be y(4). Is d at least as big as x?
False
Suppose -5*o - 130 = -4*r, -4*r - 2*o = -5*r + 31. Is 36 not equal to r?
True
Let r = 491/5 - 97. Suppose 6*k - 2*k + 2 = 2*q, 0 = -k - 2*q + 2. Which is greater: r or k?
r
Let n = -67 + 64. Which is greater: -4 or n?
n
Let n(u) = u - 3. Let f be n(3). Which is bigger: f or 2/181?
2/181
Let n = 16 + -15. Which is bigger: 3/17 or n?
n
Let j be 4/30 + 48/315. Which is smaller: 2 or j?
j
Let b(p) = p**3 - p**2 + 4. Let k be b(0). Let d be (-18)/(-6) - k/2. Which is smaller: d or 0?
0
Let q be (-15)/60 + 0 + (-46)/(-56). Which is smaller: q or 2/7?
2/7
Let w be 4/(2*(1 + -2)). Let n be 22/(-8) + (w - -5). Is -0.03 < n?
True
Suppose 4 = 4*j - 0. Suppose j = -3*d + 7. Let o be 1/3 + 2/3. Which is smaller: d or o?
o
Suppose 2 = 5*a - 3. Let s = -4 + a. Is s smaller than -3?
False
Let s(w) = w**2 + 5*w + 3. Let d be s(-4). Let o = 2/16489 + 85433/82445. Let c = 7/11 - o. Which is bigger: c or d?
c
Let p(s) = s + 1. Let t be p(-3). Let r = 0 + t. Let k be 5 + (r - -1)*1. Which is greater: k or 3?
k
Suppose 4*m - z - 1 = -6, -3*z + 15 = -3*m. Let j be 4/6 - 42/36. Which is smaller: m or j?
j
Let l = 2987/10 + -299. Which is smaller: 1 or l?
l
Let s = 7 - 7. Which is greater: s or -1/2?
s
Let r = -6 + 6. Does -2/17 = r?
False
Suppose 4*l - 36 = -5*o, -5*l + 2*l + 27 = -3*o. Suppose 3*y - l = -3*p, y - p + 2 = 3. Suppose y*m = m. Is m at least as big as -1?
True
Let d(r) be the second derivative of r**3/2 - 10*r**2 + 9*r. Let v be d(8). Is v at most as big as 4?
True
Let l(m) = 2*m**2 + m - 4. Let x be l(-2). Suppose 3*a - 12 = -x*v + 7, -5*v + 2*a = 0. Is v greater than 1?
True
Let a be (-69)/90 + 24/40. Which is smaller: 0 or a?
a
Let y = 5 + -5. Let h = -5555/16 - -347. Is h less than or equal to y?
True
Let m be (-3)/2 - 2/(-4). Which is smaller: m or -1/5?
m
Suppose 4*v - v = 0. Let o = -1 + v. Are o and 0 unequal?
True
Let k = 8 + -6. Let j(r) = -3*r + k*r + 7 - 13. Let y be j(-3). Which is bigger: y or -4?
y
Suppose 27 = -3*t + 4*t. Let z = 5 - 13. Let c be ((-6)/t)/(z/(-6)). Is c not equal to 1?
True
Let n = -89 - -88. Let k = 4.06 + -0.06. Let i = k + -3. Which is smaller: n or i?
n
Let x = 73 + -35. Are x and 38 non-equal?
False
Let s be ((-4)/(-6))/((-12)/(-54)). Suppose -4*m - 20 = -9*m. Is s at most m?
True
Let z = -3 + 3. Let v be (-18)/(-9) - (-40)/(-14). Let x = v + 19/14. Are x and z unequal?
True
Let f be 15/9 + (-2)/3. Let r be (14/5 - 1)/((-42)/(-20)). Which is greater: f or r?
f
Let c be (-22)/26 - (0 + -1). Let r = -0.54 - 0.06. Let h = r + 0.7. Which is smaller: c or h?
h
Let f be 236/(-6)*(-6)/(-4). Let g = f + 82. Is g less than or equal to 24?
True
Suppose 61*q - 62*q = -2. Which is smaller: q or 4/3?
4/3
Suppose y - 5 - 10 = -4*n, 3*n = -5*y + 7. Suppose 2*k = -2*k + n. Is 1 less than k?
False
Let r = 46 + -47. Which is bigger: r or 4?
4
Let j be (-6)/(-27) - 154/(-36). Let l be 52/14 + (-2)/(-7). Which is smaller: l or j?
l
Suppose 67*s - 71*s + 56 = 0. Is s at most 14?
True
Suppose -h + 2*k = -10, -k + 36 = 5*h - 4*k. Let n be (-3)/h*(4 + 0). Suppose 4*y + 4 = -2*j, -4*y + 8 - 22 = -3*j. Is y greater than or equal to n?
True
Suppose m + 5*p = 15, 4*m + 2*p + 2 = 8. Suppose -5*h + m = w + 6, 10 = -5*h. Is 4 smaller than w?
False
Let j = 9 - 7. Let t = j - 3. Let n = t - -4. Which is bigger: n or 0.1?
n
Let u(r) = 8*r - 36. Let v be u(11). Which is smaller: v or 53?
v
Let y(c) = -c**3 + 3*c**2 - 2*c - 1. Let f be y(1). Which is bigger: 5/19 or f?
5/19
Let s be (-2 - (1 + 1))/(-1). Let u = 130 - 147.1. Let k = 17 + u. Is k at most s?
True
Let p(i) = -5*i + 1. Let v be p(2). Let d = v - -19. Is d >= 11?
False
Let n = 2 + -1. Let t = 4 + 0. Suppose 0 = k + k - t. Is k greater than or equal to n?
True
Let h be 4/18 + (-68)/(-18). Suppose 0 = -0*g - 2*g + h. Let j be ((-6)/(-10))/((-9)/g). Which is smaller: j or 1?
j
Let r(f) = -f**3 + 5*f**2 - f - 3. Let d be r(3). Is d at least as big as 12?
True
Let r be -1 + (-1)/(-7) - -1. Let i be 2/4*(-4 + (-18)/(-3)). Which is smaller: i or r?
r
Suppose -2*b = 2*g + 10, 8 + 14 = -3*g + 4*b. Is -1 at most as big as g?
False
Suppose -i = 2*i + a - 1, -5*i - 2*a + 3 = 0. Let v(b) = b**2 + 4*b - 7. Let q be v(-6). Is i bigger than q?
False
Let a(o) = -o**3 + 3*o**2 + 6*o - 2. Let f be a(4). Let h be 1/(-1)*0 - -1. Suppose 3*l + f = 3*p, l - 3*p + 3 + h = 0. Which is greater: l or 2/7?
2/7
Let y = 5/133 - -2/133. Let r be -2 - (2 + -8)/3. Is r <= y?
True
Let f(h) = -h**2 + 10*h - 3. Suppose 2*i - 19 + 1 = 0. Let x be f(i). Suppose x = 3*l + 4*r - 1, -r + 19 = -5*l. Which is smaller: 2/9 or l?
l
Let z(m) = -2*m - 1. Let p be z(-2). Suppose -p*y = -y. Is 0 greater than or equal to y?
True
Suppose t + 15 = 6*t. Suppose -4 = -t*f + 8. Which is greater: 5/2 or f?
f
Let o(y) = -y**2 + 6*y. Let f be o(6). Let n be (-1)/(-6) - 155/210. Which is smaller: n or f?
n
Suppose 0 = 5*s - 1 - 9. Which is smaller: s or -0.09?
-0.09
Let b be (0 + 1 - 2) + 1. Let r(y) = 4*y - 32. Let a be r(8). Is a <= b?
True
Let b be 6/4*(-6)/9. Suppose x - 5*o = 26, 3*o = 3*x - 5*x - 13. Which is bigger: x or b?
x
Let b be 3/((-2)/((-12)/495)). Suppose 0 = v - 28 + 27. Does b = v?
False
Let h(i) = i**2 - 7*i - 11. Let t be h(9). Let l(n) = n**2 - 6*n - 2. Let s be l(t). Let w be ((-6)/45)/((-1)/s). Which is bigger: w or -2?
w
Let g be 2/1 - (-859)/(-11). Let m = -76 - g. Which is greater: m or 0?
m
Let a be (4*6)/2 + -4. Which is greater: a or 9?
9
Let v = -326 - -327. Let m = -0.09 - 0.04. Let b = m + 6.13. Which is greater: v or b?
b
Let h = -7 + 12. Let k be 0 - 2 - 0/h. Is -2 bigger than k?
False
Let x(v) = v + 7. Suppose 4*a - 3*a = 3*r - 2, -3*r - 2*a - 13 = 0. Let o be 2 + -3 + (-8 - r). Let s be x(o). Which is greater: s or -2?
s
Let m be ((-9)/6)/(3/(-4)). Suppose m*z + 1 = -1. Which is smaller: -1/6 or z?
z
Let q be ((-18)/30)/(1/2 - 0). Is q greater than 0?
False
Let g be (2 - (-13 - -5)) + (-6)/3. Is g < 8?
False
Let z = 129 + -82. Is 47 at most z?
True
Let f(p) = -p + 6. Let h be f(-7). Is h bigger than 13?
False
Let d(y) = -2*y - 1. Let p be d(-2). Let b be -4*p/12*-3. Let g be 6/21 + (-2)/7. Do b and g have the same value?
False
Let b(o) = -o**2 - 10*o - 2. Let f be b(-11). Let q(u) = -u - 3. Let z be q(10). Is f less than or equal to z?
True
Let m(o) = -o**3 - 8*o**2 + 8*o - 7. Let y be m(-9). Suppose y*k = 3*k - 1. Which is bigger: -1/12 or k?
k
Suppose -5*d - 125 = 2*q - q, -50 = 2*d + 5*q. Which is bigger: d or -27?
d
Let n = -19 + 10. Let c = n - -8. Do -0.1 and c have the same value?
False
Let c be 5/4*2/5. Let w = -0.5 + 1.5. Which is smaller: w or c?
c
Let h = 23.1 - 23. Is h greater than -6?
True
Let q be ((-30)/9)/(2/(-36)). Let p be 4/10 + (-54)/q. Let y = -1 - 0. Does y = p?
False
Let c = 65 + -53. Suppose 0 = -z - 4*l - 11, -3*z - z + l - 10 = 0. Let b be c/(-30) + z/(-5). Is b equal to -1?
False
Let w = -0.1 - -0.1. Is w at least