 - 4*y**2 - 9*y - 3. Let j be i(-6). Are j and 7/4 equal?
False
Let j(f) = -f**3 - 5*f**2 + 5. Let b be j(-5). Let l be (-3)/(-1)*(0 - -1). Suppose -l = 4*k - 5*k. Is b less than k?
False
Let x be (-808)/1050 + 20/30. Let j = -1/25 + x. Which is smaller: j or 0?
j
Let o = -7 - -1. Let w = 11 + o. Suppose -4 - 1 = w*v. Are v and 2/9 nonequal?
True
Let j = 1 + 14. Let n be (-35)/j + (-2)/(-1). Let k = -3 + 4. Do k and n have the same value?
False
Suppose 5*o - 15 = 65. Let d = -17 + o. Which is smaller: -2 or d?
-2
Let w = 209/4 + -3983/76. Is 1 greater than or equal to w?
True
Let k = 4 + 1. Suppose 2*o - 2*p = 14, 17 = k*o - 3*p - 10. Let u be ((-6)/45)/(1/o). Which is smaller: u or -5?
-5
Let s = 0.4 + -0.4. Let j = s - 0.2. Let q = j + 0. Is q bigger than -0.1?
False
Let a(u) = 2*u + 2. Let p be a(3). Let y(w) = w**3 - 8*w**2 + 3*w - 9. Let f be y(p). Let l be ((-4)/35)/((-6)/f). Are l and -1 unequal?
True
Suppose m + 3*m - 12 = 0. Suppose 22 = w + 5*a, -3*w + 4*w = 4*a - 14. Suppose -w = m*p + 1. Which is bigger: -2/13 or p?
-2/13
Let a be 2 + -2 + 45127/(-3). Let m = -15170 - a. Let l = 126 + m. Is l equal to -2?
False
Let h be (12/8)/((-2)/8). Let g(i) = 7*i. Let x(t) = -13*t - 1. Let j(d) = 11*g(d) + 6*x(d). Let b be j(h). Is b >= 0?
True
Let k = 78 - 78.18. Is -0.1 bigger than k?
True
Let g(f) = -f**3 - 4*f**2 - 2*f - 4. Let o be g(-4). Let s be 8/3*(-6)/(-4). Let p(v) = -v**3 + 5*v**2 - 4*v + 4. Let l be p(s). Is l bigger than o?
False
Let f = -3 - -4. Let i(a) = a**2 + 7*a - 9. Let v be i(-8). Which is smaller: v or f?
v
Let i = -689 - -8951/13. Is i > 0?
False
Let i be (4/6)/(-1) + 15/18. Is i less than 2?
True
Let t = 1.98 + 0.02. Let f = -5 + t. Is f at least as big as -0.1?
False
Let q be (1/(-2))/(2/44). Do -0.1 and q have the same value?
False
Let k = 67 + -37. Suppose -4*j + q + 9 = k, 5*q = -15. Let o be (-6)/(-12) + (-13)/2. Do j and o have different values?
False
Let t = -84 + 83.9. Are t and -66 equal?
False
Let z = 1.092 + -0.092. Let n = -82 - -85.08. Let o = n + -0.08. Which is smaller: o or z?
z
Let g = 8 + 9. Let y = 17.09 - g. Which is smaller: y or 1?
y
Let a(g) be the second derivative of g**4/12 + 2*g**3/3 + g**2/2 + 2*g. Let p be a(-3). Which is greater: p or 3?
3
Let l = -0.4 - -1.5. Let w = l + -1. Are w and 1 unequal?
True
Let k = 28 + -86. Is k at most -58?
True
Suppose 3*d - 17 = -8. Suppose 4*x + 0*x - 2 = -2*u, 9 = -d*u. Which is smaller: x or 3?
x
Let i(m) = 9*m**3 - 2*m - 1. Let n be i(-1). Let v be (-1)/(-9)*n/4. Is 0 bigger than v?
True
Suppose 0*a = 3*a + 15. Which is smaller: a or -3?
a
Let n be 19/(-1*(2 + -4) + -1). Is 21 at most n?
False
Let g = 4 - 15. Let v = 16 + g. Let f be 2/v + (-13)/20. Which is smaller: 0 or f?
f
Let y = 0 - -4. Let l = -5 + y. Which is greater: -4/9 or l?
-4/9
Let l = -24 - -101. Are 77 and l equal?
True
Let w = -10 - -18. Let x = -5 + w. Suppose -m = -x*m. Is 0 bigger than m?
False
Let f be -1 - (6 - 2)/(-2). Suppose -5*d = -2*z + 18, -3*z = -4*d - z - 16. Let k be (0 - -1)/(d - -3). Is f less than k?
False
Let n be -6*(0 + (-2)/4). Let w = 1019/305 + 28/61. Which is greater: w or n?
w
Let r(s) = -s**2 - 14*s - 5. Let m be r(-10). Let t be (2/m)/(2/20). Which is smaller: 0 or t?
0
Let r(h) = -h**3 - 7*h**2 - 7*h - 5. Let c be r(-6). Let b = c - -1/2. Let k be -1*(0 - 1)*1. Which is bigger: k or b?
b
Suppose -3*h + 19 = 5*w, 3*h + 26 = -3*w + 7*w. Let j = h - 5. Which is smaller: j or -4?
j
Let b = 10 + -10. Let c = b - 2. Let y = 1 - c. Is 1 not equal to y?
True
Let y = -22.1 - -22. Which is greater: y or -1.5?
y
Suppose -r + 13 + 3 = -3*q, 0 = 4*r + q - 12. Suppose -5*z = -0*z - 5*o + 20, 0 = -r*z - 5*o + 20. Let j be 4/18*(1 + 2). Which is smaller: z or j?
z
Let o = -246/7 - -38123/1085. Do -1 and o have the same value?
False
Let p be (-2)/(-8) - 38/24. Let y be (0 + -4)/(-15 + 17). Let z be y - (-3)/(-3)*-3. Which is smaller: z or p?
p
Suppose -173 - 31 = -12*x. Which is smaller: 16 or x?
16
Let c be 3/15 + 1*72/(-10). Is c bigger than -9?
True
Let o = -110 - -104. Which is bigger: o or -4?
-4
Let t be (-3 - -2)*4/44. Is -1 equal to t?
False
Let t be (72/60)/(2/5). Let m be (222/(-75) + t)*1. Is 1 != m?
True
Suppose -3*y + 5*f = -21, 2*y + 5*f = 6*y - 23. Suppose y*w = -2*w + 4. Is -2 not equal to w?
True
Let i be -48*(-48)/(-450) + 5. Is i at most 0.2?
True
Let j = 4 + -29. Which is greater: 2/5 or j?
2/5
Suppose 4*g - 20 = 2*g + h, 8 = -2*h. Suppose -4*m + 5 + 3 = -x, 4*m - g = 0. Is -4/9 equal to x?
False
Let f = 95 - 91. Suppose -2*h = -3*h + 3. Which is bigger: f or h?
f
Let x = -89/5 - -18. Which is greater: x or -14?
x
Let t(r) = 5*r**2. Let d be t(1). Suppose d*o - 6 = k - 0*k, 0 = k + o. Is k <= -7/4?
False
Let l = -68 - -67. Which is bigger: 1/5 or l?
1/5
Let k be (-2)/(-33)*3*1. Suppose 5 = 3*t - 1. Suppose o - t = -1. Which is smaller: o or k?
k
Let c be 52/6 - (-2)/6. Suppose c*z - 5 = 4*z. Which is smaller: z or 3/8?
3/8
Let d = -1.61 + 1.51. Which is greater: 17 or d?
17
Let x = -16 + 16. Let s be (4/(-18))/(1 + -2). Is x <= s?
True
Suppose g = 2 + 4. Let c be (-2)/g*(-1 - -4). Which is smaller: c or 1?
c
Let r be (-2*1 - 0)/53. Let o = -44 - -45. Which is bigger: r or o?
o
Let i = -15 + 15. Which is smaller: -1/9 or i?
-1/9
Suppose -3*f - 10 = 2*f. Let b be 5/(-10) - (-7)/f. Are -5 and b equal?
False
Let a = 1978/7 - 282. Which is bigger: a or 0?
a
Let x = 0.17 - 0.37. Which is greater: -0.1 or x?
-0.1
Let w be 5 - 3/3*1. Let s(l) = 3*l - 3. Let k be s(2). Is k at least as big as w?
False
Let w(j) = 6*j - 7*j**2 - j**3 + 3 - 2 + 2*j**3. Let u be w(6). Suppose -5*k + u + 4 = 0. Is k less than -1/3?
False
Suppose -2*j = -5*k + 93, 24 = -3*k - 2*j + 67. Is 17 != k?
False
Suppose -4*u = -m - 15, 0 = -5*u - 5*m + 46 + 4. Suppose 4*i + u = 1. Which is smaller: i or -3?
-3
Let m(g) = 2*g - 2. Let o be m(3). Suppose 0*y = -o*y. Which is greater: -2 or y?
y
Let k be ((-4)/(-6))/((-3)/99). Is -22 <= k?
True
Suppose -4*y = 4*d + 56, 0*d = 2*d - 6. Let c = -26 - y. Let i be (-1)/(-2 - c/(-2)). Which is smaller: 1 or i?
i
Let f(p) be the first derivative of -p**4/4 + 4*p**3/3 + 3*p**2 - 4*p - 3. Let i be f(5). Which is bigger: 0 or i?
i
Suppose 1 = -w + l, -4*l + l = 3*w - 27. Suppose -w*c + 3*p = 55, c - 3*p - 89 = 6*c. Is c < 0?
True
Let k = 50/369 + -1/41. Let w = -72 - -73. Which is smaller: k or w?
k
Let k be (78/8)/(72/96). Is k at most 8?
False
Let d be (-17)/(-86)*-8716 - -2. Let h = d + 1721. Let n = h - 58/215. Which is smaller: n or 0?
n
Let i(p) = -p**3 + 2*p**3 + 6*p**2 + 3 + 8*p - 2*p**3. Let f be i(7). Is f less than 10?
False
Suppose h + 2*z - 13 = -4, 3*h = -3*z + 12. Let u be -8 + 7 - (1 - 1). Is u at least h?
True
Let s be (0 - 2)*(-2)/(-4). Is s at least -1?
True
Let l = 9 - 10. Which is bigger: 1 or l?
1
Let y = -3 + 2. Let o = -0.92 - -0.9. Let g = o - 3.98. Do y and g have the same value?
False
Suppose -18 + 90 = -6*n. Which is bigger: n or 2/5?
2/5
Let n = 21 + -21.1. Is 27 not equal to n?
True
Let j = -21 - -20. Let p be 15*(-2)/(-70)*-2. Is p at least as big as j?
True
Let k be 21 - (24/2)/4. Are 16 and k equal?
False
Suppose -4*z - 2 = 2*s, -s - 3*s - 3*z = -1. Suppose 5 = r - 3*w - 8, 2*r - 4*w = 20. Let i be (-5)/r*1/(-5). Is s smaller than i?
False
Let f = -29.11 - -29. Let s = f + 0.01. Let p = -9 - -7. Are s and p non-equal?
True
Let a = -114 - -113.8. Which is bigger: 0.16 or a?
0.16
Let m(j) = -j**2 - 14*j - 5. Let c be m(-14). Let i(t) = -8*t. Let r be i(-3). Suppose 0*a + 2*a - r = 4*u, 0 = u - a + 6. Which is bigger: c or u?
c
Let k = 30 - 18. Suppose 6*n - 3*n + k = 0. Which is smaller: n or -11/4?
n
Suppose 3*h + h - 12 = 0. Suppose h*b + 10 = -5*t, -2 + 0 = -b + t. Which is smaller: 1/5 or b?
b
Let c = 0.1 + 3.9. Let q = c - 3.9. Which is greater: 1 or q?
1
Let l = 8996459/115 - 78231. Let i = 12/23 + l. Is i >= -3/5?
True
Let q = 11.2 - 11.4. Are -10 and q non-equal?
True
Let j be 3/6 - 3/6. Suppose i = 3*i - r - 5, -25 = 5*r. Suppose i = k - 2*k. Is j bigger than k?
False
Suppose 45 = 4*u + 5*l, 0*l - 5*l = -25. Which is smaller: -1 or u?
-1
Let a(h) = -h**3 - 8*h + 5 + 19*h**2 + 2*h**3 - 25*h**2. Let k be a(7). Are k and -3 nonequal?
True
Let j(u) = 2*u + 60. Let y be j(-18). Is 19 not equal to y?
True
Let v(b) = b**2 