 smaller: d or 2/3?
d
Let t = -0.7 + -0.3. Let h = -2 + 1.3. Let m = t - h. Is 2/7 equal to m?
False
Suppose -16 = -3*g + 4*f, 6 = -g - 3*f - 6. Let x be (-2)/(-12) - 2/6. Which is smaller: x or g?
x
Let r be (-52)/48*3*(-4)/(-5). Is -4 != r?
True
Suppose 0 = -2*d + 6 - 34. Is d at least as big as 0.1?
False
Suppose -3*o + 3 + 9 = 0. Suppose -o*u = -0 + 8. Is u bigger than -1/2?
False
Let y(z) be the second derivative of z**5/60 + z**4/24 + z**3/3 - 3*z. Let w(i) be the second derivative of y(i). Let b be w(1). Which is smaller: b or 0.1?
0.1
Let d be (-18)/81*(-27)/12*0. Let v be 2/4 + (0 - 0). Which is greater: v or d?
v
Let k be (14 + -13)/(0 + 2/68). Which is bigger: 33 or k?
k
Suppose 3*b - s - 7 = -0, -2*b - s + 8 = 0. Let a(w) = -w**3 + 4*w**2 - 3*w + 1. Let j be a(2). Let v = b + j. Which is greater: v or 0?
v
Let g be 2 + 3*(-5)/15. Which is smaller: g or 1/7?
1/7
Let m = -48 + 49. Is -1.7 less than m?
True
Let k be 62/14 - 4/(-7). Suppose 0 = -k*r + 4*d + 11 + 24, -43 = -3*r - 2*d. Does r = 12?
False
Let s(d) = d**3 - 4*d**2 + 4*d - 4. Let b be s(3). Let r be 2/(-24) + (-1)/4. Which is smaller: b or r?
b
Suppose 4*s + 13 = 5*r, r + 0*r = -2*s - 3. Which is bigger: 4/29 or r?
r
Let u = -9 - 0.5. Let d = 14 + u. Let a = d + 1.5. Which is smaller: 0 or a?
0
Let t be 2 + 9/(-7) + -1. Let c = 1.97 + 0.03. Are c and t nonequal?
True
Suppose 4*q = 2*q + 2*s - 22, 8 = 2*s. Let t be ((-5)/(-1) - 2) + q. Are t and -4 equal?
True
Let m = 0.2 + -4.2. Let u = 13 + -17. Let j = u - m. Which is smaller: -1/5 or j?
-1/5
Let d = 221 + -221.1. Let r be 1/(-2)*(1 - 2). Which is bigger: d or r?
r
Suppose -5*c = -4*t + 17, -3*t - 4*c - c = 31. Let p be t/(-8) + 2/4. Let l = -26 - -26. Is l <= p?
True
Suppose 0*q = -4*q - 496. Let h = q - -870/7. Let r(l) = -l - 2. Let g be r(-2). Which is smaller: h or g?
g
Let j be (4/(-6))/((-1)/3). Let a be 12/(-18) + (-20)/(-3). Let i = a - 3. Which is bigger: j or i?
i
Let l be -3 + (-20 - -2)/(-3). Let i be 1 + -5 + l - -1. Let m be (-1)/(-2) + (-1)/1. Which is smaller: m or i?
m
Let n = 37 + -7. Is 28 at most as big as n?
True
Suppose -4*i = 2 - 6. Let n be -1 + 6 + -1*i. Let t be (-4)/(-18) + n/(-99). Which is smaller: t or -1?
-1
Let c(d) = -d**3 - 4*d**2 + 8*d + 6. Let v be c(-5). Let h = 1 + v. Is -0.1 >= h?
True
Let i(q) = -q - 3. Let f be 2/(1 - 14/10). Let a be i(f). Suppose -3*r = s - 5, 4*s - r - 12 = -5. Is a < s?
False
Suppose -3 = -m - 0. Let s = 1 - m. Let y = -558/5 - -111. Is s smaller than y?
True
Suppose -2*g - 1 = -25. Which is greater: g or 10?
g
Suppose 5*p - 12 = 53. Is p at least 12?
True
Let w be (4/(-3))/((-1)/(-3)). Let s(j) = -5*j + 0*j**3 + j**3 + 3*j + 3 + 4*j - 5*j**2. Let n be s(4). Is w <= n?
False
Let g = 2.3 + 2.7. Which is bigger: 2/5 or g?
g
Let i = -41 - -25. Let n be 2/24*i/6. Which is greater: n or 1?
1
Let v = -95 + 49. Let a = v - -185/4. Is -1 less than a?
True
Let m(g) = -g**3 + 11*g**2 - 9*g - 10. Let z be m(10). Let b(s) = z - 6*s + 7*s - 1 - 2. Let l be b(5). Which is greater: l or 5/4?
l
Let r = 5 - 3. Suppose -r*c = c. Is c equal to -1/10?
False
Let u = 216.09 - 215. Let q = -0.09 + u. Which is bigger: q or 0.4?
q
Let b = 1 - -1. Let c = b - 1. Let h = -43/4 + 21/2. Is h bigger than c?
False
Let a = -59 + 60. Which is smaller: 0 or a?
0
Let r = -0.3 - 0.7. Suppose -22 = -6*v + 2. Which is bigger: r or v?
v
Let y = -3 + 3.05. Let x = -0.05 + 0.1. Let i = y + x. Which is smaller: 0.2 or i?
i
Let s = 23/42 + -3/14. Let h(b) = b**2 + 8*b + 9. Let g be h(-7). Suppose -4*j + g = -2*v, 5*v + 6*j - 8 = 3*j. Is v at least as big as s?
True
Let z = 23 + -19. Which is smaller: z or 2?
2
Let t be 3/7 - (0 + 1). Do t and 1 have different values?
True
Let f(c) = -c**3 - c**2 - 2*c. Let d be f(-2). Is 6 at least d?
False
Let w be (-1)/((-3)/(-6))*123/(-2). Is -1 not equal to w?
True
Let p(g) = -g**2 + 4*g - 3. Let x be p(3). Is x bigger than 0?
False
Let n be -12*(0 + 12/(-16)). Suppose -4*v - 4 = 0, s - 3 = 3*v + n. Are s and 9 unequal?
False
Let t be -2 + 40/18 + 0. Which is bigger: t or 2/5?
2/5
Let q = -33.1 + 30. Let h = q + 2.1. Which is greater: -2 or h?
h
Let a be 13/2 + 6/(-12). Suppose -2*b - 14 = -2*u, 2*u = -3*b + a*u - 26. Let w = b - -12. Are 9 and w unequal?
True
Let w = -28 - -27.8. Which is smaller: w or 0.1?
w
Suppose 4*h - 4*l = 0, 5*h = -2*l + 7 - 0. Is h equal to 1?
True
Suppose -165 = -11*r + 11. Let f = -17 + 32. Which is smaller: f or r?
f
Suppose 4*u = -i - 12, 5*i + 3 = -2*u + u. Let l = 5 - 6. Do i and l have the same value?
False
Suppose 3*k + 2 = k. Let d = 7 - 7. Let y = -0.2 - d. Are y and k non-equal?
True
Let u = 1291/7 - 184. Do -3/7 and u have the same value?
False
Let u = 4 - 3. Let l = 12.7 - 13. Is u > l?
True
Let u(p) = -p**3 - 5*p**2 + 2*p + 7. Let b be u(-5). Are b and -6 nonequal?
True
Let g = 1317185/338 + -3897. Let y = g - 667/3042. Suppose 3 = -5*j - 2. Which is greater: y or j?
y
Let a = -1 + -2. Let t = -1 - a. Is -4 > t?
False
Suppose -3*b + 5*b + 3*d - 18 = 0, 0 = d - 4. Suppose 3*n + b = 6. Which is bigger: n or 2/19?
n
Suppose g - 12 = -4*y, -4*g - 3*y + 14 = -2*g. Suppose 6*r - 13 = -b + g*r, 3*r - 2 = 2*b. Let w be (0/(-2) + 1)*5. Is b less than or equal to w?
True
Let w be (5 + 1)/((-6)/(-4)). Let f(y) = -y**2 - 6*y + 3. Let n be f(-6). Which is bigger: w or n?
w
Let l be (-4)/(-10) - (-7)/(-5). Let f = 36 - 63. Let h be (2 - (-24)/f) + -1. Which is bigger: h or l?
h
Let c = 8 + -7.9. Which is bigger: 8/3 or c?
8/3
Let o be 116/36 + (-2)/9. Suppose -12 = -0*b + 3*b. Let j = o + b. Which is bigger: j or -2?
j
Suppose 4*h + 5*a - 6 = -3, 3*a + 7 = 2*h. Let o be 10/(-25) - 36/10. Let n = o + 7. Which is smaller: n or h?
h
Let p be (-114)/(-95)*(-1)/(-75). Is 0 > p?
False
Let h be (-26 - -24)*1/(-2). Which is smaller: -2/5 or h?
-2/5
Let y be 94/144 + 4/18. Let p = -9914 - -872525/88. Let k = y - p. Is k equal to 0?
False
Suppose -2*h + 6 = h. Let d(c) = c + 5. Let x be d(-3). Suppose -8 = h*s - x*z, 4*s - 12 - 12 = -4*z. Which is smaller: 0 or s?
0
Let x = 69/5 + -1577/115. Which is bigger: x or 0?
x
Let b = 6 + -5.96. Let x = -20 - -11. Let n be -2 - 33/x - 1. Is b smaller than n?
True
Let k = -0.2 + 1.2. Suppose 0 = -8*i + 3*i - 5. Let j be (1/(-6))/(i/3). Which is greater: j or k?
k
Let b = 35 + -31. Let z(g) = -2*g. Let d be z(3). Let q = d - -11. Which is smaller: q or b?
b
Let a = -2.1 - -11.1. Let x = 9.1 - a. Which is smaller: x or 3/4?
x
Let b = -1.8 - -3.5. Let s = b + -1.5. Let f = 2 - 0. Are f and s non-equal?
True
Let b(l) = -l**2 - 6*l - 10. Let d be b(-4). Let x be (2 - 0/(-2))/d. Is 1/7 at most as big as x?
False
Let y be 2/4 - (-18)/(-4). Let r = y - -4. Let p(h) = h - 1. Let f be p(r). Is 0 at most f?
False
Let y be 4 + 15*2/(-3). Is y less than or equal to -4?
True
Let o(i) = 10*i - 2. Let x be o(3). Let w = -1 - -1. Suppose 27 = 4*r + 3*z, -r + 0*r - 5*z + x = w. Is r at most 3?
True
Let b(p) = -p**3 - 3*p**2 - 2*p. Let u be b(-3). Let t be 1*(u/(-5))/2. Which is smaller: 0 or t?
t
Let u be 3/21 + 113/(-7). Is u less than or equal to -13?
True
Suppose 4*f + 16 = m + 2*m, m + f = -4. Which is greater: m or -1?
m
Suppose 5*i + 38 - 14 = -4*x, 0 = 4*x - 4*i + 24. Which is smaller: 0 or x?
x
Let f be -7 + 2 + 2 + -1. Let a be 5 + -5 + f/(-7). Which is greater: a or 1?
1
Let y(d) = -d**2 + 6*d + 15. Let j be y(8). Are 4/53 and j equal?
False
Let w = -12 - -11. Which is bigger: w or 2/7?
2/7
Let d = -4 - -7. Let j be (-3)/(d*(-2)/16). Let a be j/30*(-6)/(-4). Which is smaller: a or 0?
0
Let q be (-4)/14 + (-40)/56. Which is greater: q or -2/43?
-2/43
Suppose -5*p + 12*i = 10*i + 5, 0 = 5*p - 3*i + 10. Are p and 39/8 equal?
False
Suppose -2*b - 3 = -37. Is b at most 17?
True
Suppose 4*c + 3*h + 8 = -h, 0 = 5*c - 5*h - 20. Let o = c - -1. Let m = -6 + o. Is -4 bigger than m?
False
Let c be -2 + 51/14 + 1/(-2). Is 1 at least c?
False
Let f = -16.7 - -17. Let n = -1.8 + 2. Let r = f - n. Which is smaller: r or 0?
0
Let x be (-1 + 3 - -2)*(-5)/(-4). Which is smaller: 6 or x?
x
Let y be -1 + 3 - (-2)/2. Let h = -4 + y. Let x(p) = -p**2 - 3*p - 1. Let a be x(-3). Is h at least as big as a?
True
Let a be ((-303)/(-5))/(14/10). Let d = 43 - a. Which is smaller: 1 or d?
d
Let k(y) = -4*y + 7*y - 2*y + 11. Let a be k(-6). L