 Is t at most as big as 8/3?
True
Let u = 3 + 3. Let v(d) = -d**3 - 12*d**2 - 11*d + 3. Let b be v(-11). Let s be 21/1*b/9. Is u bigger than s?
False
Let p(c) = -6*c + 78. Let g be p(13). Is 2/535 > g?
True
Let j = -817 - -816. Let g be (-153)/1*(-2)/4. Let a = -78 + g. Is a < j?
True
Let u = 1 + 1.2. Let o = u + -2.2. Suppose -z - 1 = -0*z. Which is bigger: z or o?
o
Let b = 0 + -7. Let k = -8 - b. Let t = -59/2 + 535/18. Is t equal to k?
False
Let l(f) = f**3 - 2*f**2 - 4*f. Let p be l(3). Let g be ((-4)/((-8)/42))/(-1). Let r be (g/9 - 1/(-3))*2. Is p equal to r?
False
Let m be (0/(-15))/(-1 - (-4)/2). Does m = -14?
False
Suppose 3*o - 5*r + 9 = -25, -5*r + 37 = -4*o. Let a(y) = y**3 + 8*y**2 + 6*y - 9. Let u be 261/(-36) + 1/4. Let w be a(u). Which is smaller: w or o?
o
Let a(o) = o**3 + 10*o**2 + 13*o + 12. Let m be a(-9). Let c be 34/8 - (3 - (-66)/m). Is 1/2 at most as big as c?
True
Let w(t) = 2*t**2 - 12*t - 7. Suppose 26 = 4*a - 4*p + 3*p, 2*a - 4*p - 6 = 0. Let s be w(a). Which is greater: 5 or s?
s
Let h be -3 + (-26)/4*205/(-450). Do h and 0 have the same value?
False
Suppose 446*j - 430*j = -18576. Is j > -1162?
True
Let h(f) = -f**3 + 6*f**2 + 14*f + 3. Let q be h(-2). Let n(t) = t**2 - 5*t + 3. Let r be n(6). Suppose 2*g + q = r*g. Is -2/21 less than g?
True
Let g = 8 - 5. Let c(i) = -2*i - 4. Let r be c(-4). Suppose 5*o - 2*o + r*t = 19, -4*o - 3*t = -23. Is o >= g?
True
Let q(o) = o - 14. Let j be q(7). Let r = -142/5 + 28. Is j greater than or equal to r?
False
Let y = 521 + -523.21. Let g = y - -0.21. Let i = -3.7 - g. Which is smaller: 0 or i?
i
Let d be (-40)/5 + (-165)/(-18). Let x = -12/5 - -2. Are x and d nonequal?
True
Let p be (-162)/378 + 6003/(-7). Which is bigger: p or -857?
-857
Let x(t) = -t**2 - 6*t - 1. Let n(a) = -a - 1. Let g(j) = 3*n(j) - x(j). Let i(f) = -30*f + 145. Let v be i(5). Let m be g(v). Which is smaller: m or 0.1?
0.1
Suppose 2*w + 3*t + 2 = w, -4*t = 4*w + 32. Let x = 26 + w. Let p be -1 - -4 - x/5. Is p less than or equal to -2/77?
False
Let k be (4/(-60))/((-1)/3). Let m = k + 3/35. Let i = -1 - -2. Is m not equal to i?
True
Let v be (7/42*-4)/(1 - -110). Is v less than 1?
True
Let a be (10/(-6))/((-380)/72 + 5). Let i(b) = b**3 + 4*b**2 - 3. Let v be i(-4). Let l be (1 + 2)/3 - v. Which is greater: a or l?
a
Let d(v) = 81*v**2 - 3*v + 4. Let x be d(1). Which is smaller: 81 or x?
81
Let p = 1113 - 1010. Is 106 >= p?
True
Suppose -4*z - 54 = -3*r, -3*z + 5*z = 4*r - 32. Let k be (-1)/3 + (2 - (-10)/z). Are k and 1 unequal?
True
Let a = -7613/4134 - -43/106. Let f = a - -4/39. Which is greater: f or -1?
-1
Let j(h) = -h**2 + 10*h + 39. Let k be j(13). Which is smaller: -22 or k?
-22
Let m(o) be the third derivative of -o**4/24 + 5*o**3/6 - 2*o**2. Let t be m(8). Let r be 1 - (3 + t/1). Which is greater: 0 or r?
r
Let x = 695 + -734. Is x >= -1/4?
False
Suppose 290 = -3*k - d, -d = -3*k - 3*d - 289. Let f = -97 - k. Is 3/59 less than f?
False
Let f = 5354 + -5377.63. Let l = f - -24. Let w = l - 0.37. Which is smaller: 1.6 or w?
w
Suppose 6*s + 38 = 44. Is 13 smaller than s?
False
Let g(f) = -4*f + 46. Let d be g(11). Suppose 0 = y - d*n + 40, -y - 48 - 8 = 2*n. Is -47 bigger than y?
True
Let y(m) be the first derivative of m**3/3 + 7*m**2 + 12*m + 21. Let o be y(-13). Let g be 1/((-5)/(15/18)). Which is greater: o or g?
g
Let d be 5 + -4 - 2 - 3/(-1). Which is smaller: d or 7?
d
Let l(g) = -6*g + 5. Let m be l(2). Let j = -2 - m. Suppose -4*q = -j*q - 10. Which is bigger: q or -1?
-1
Let x = 0.207 - 0.107. Let f = -20 + 20.085. Which is smaller: f or x?
f
Let h = 13 + -4. Let r(g) be the first derivative of -g**2/2 + 10*g - 18. Let m be r(h). Which is smaller: -0.2 or m?
-0.2
Let d be ((-40)/50)/(2/(-5)). Suppose -2 = -d*i - 8. Let w be -3 - i - (3 + -2). Which is bigger: -1/5 or w?
-1/5
Let l = 1.1 + -4.1. Let a = -16 - l. Let r = -16 - a. Is r smaller than -3?
False
Let b be 34/10 + (-4)/10. Suppose -z + 3*z = g + 2, -b*z + 4 = -g. Suppose 5 = -n + g*d, 8*n - 3*d + 10 = 4*n. Which is smaller: n or -2/27?
n
Let b be (-8)/(-4) - 2/1. Suppose 12*h = 12 + 12. Which is greater: h or b?
h
Suppose 54 = 3*v - 2*j, 4*v - 5*j + 24 = 103. Let b be v/32 - (-62)/(-104). Let a = b - -159/572. Is 0 equal to a?
False
Suppose -37 = -14*c + 61. Suppose -3 = 5*r + c. Which is smaller: r or -4?
-4
Let j(v) be the first derivative of -15*v**2/2 - 1. Let q be j(-1). Suppose 5*p - 2*z = -0*z - 35, p + q = 2*z. Which is smaller: p or -4?
p
Let s = 7 - -2. Let p(q) = -322*q - 960. Let w be p(-3). Is w <= s?
True
Let k be 112/168*(-3)/2. Which is smaller: -3/56 or k?
k
Suppose -188 = 20*i - 68. Which is bigger: -7 or i?
i
Let r = -110 + 110.16. Let i = 0.83 + 0.17. Which is smaller: r or i?
r
Suppose 3*m + 4*m + 833 = 0. Is -123 > m?
False
Suppose -2*h + 27 = 4*n - 3*h, 0 = -5*n - 5*h + 15. Let x be 3 + -1 - 28/12. Which is smaller: n or x?
x
Let g be (-2)/5 - (-66)/(-10). Let j(f) = -f - 1. Let i be j(g). Let y be 2 - 2 - i/11. Is y smaller than -2?
False
Let h(f) be the first derivative of -1/2*f**2 - 5 + 2*f. Let p be h(3). Which is greater: -1/2 or p?
-1/2
Let s be (-2)/(-4)*-2 - (-483)/489. Let p be 2*1 - 20/10. Is s equal to p?
False
Let u = -2.26 - -2.17. Which is greater: u or 1/7?
1/7
Let l be (-37)/4 + (-11)/(-44). Let i = l + 11. Is -4 <= i?
True
Suppose -k = 2*k. Suppose h - 4*h + 6 = k. Let l be ((-6)/(-3))/(h + -16). Which is greater: 0 or l?
0
Let l(a) = 5*a**3 + 9*a + 20. Let x(t) = t**3 + 2. Let w(k) = l(k) - 6*x(k). Let y be w(-1). Let n = -2375/36 - -66. Are y and n equal?
False
Let r = 5.68 - -18.22. Let j = -24 + r. Which is greater: 3 or j?
3
Let d = -114.1 - -121. Let t = d + -6.9. Let c = -0.1 + 5.1. Do t and c have the same value?
False
Suppose 3*q = 19*q. Let n be 7/5*20/4. Let z be (-104)/50 + 14/n. Is z >= q?
False
Let h(k) = -6*k. Let s be h(-4). Suppose 3*i + s - 6 = 0. Let o = 2265/4 - 566. Is o greater than or equal to i?
True
Let x be 9/(3 - 0) - (-44)/(-8). Is 8 at most x?
False
Suppose 5*y = -3*m + 44, -15*y = -11*y - m - 25. Do y and -0.2 have different values?
True
Let i be (-4 - -4)/(-1 - 1 - -1). Let n be (-1)/(-4) + 19/(-12). Which is smaller: n or i?
n
Let k = 82.2 - 59. Let p = -23 + k. Is p at least as big as -2?
True
Let y(q) = -q**3 - 16*q**2 + q + 17. Let w be 13/(-1) - (-6)/(-2). Let j be y(w). Is j != 1/45?
True
Let i be (-7 + 4 - 0)/(3*-1). Which is greater: i or 6/197?
i
Let j = 233 + -219. Which is smaller: j or 3?
3
Let n = -758 - -766. Which is smaller: n or 36?
n
Suppose 50*n = 54*n + 4*g + 144, 0 = 2*g + 18. Suppose p + 5*m + 46 = -0*p, m + 82 = -3*p. Is n greater than or equal to p?
False
Let g be 0 - 0 - (2 + 1 + 2). Let t be (-8)/20 + (28/g)/(-4). Which is smaller: -1/3 or t?
-1/3
Let v(c) = c**3 - 19*c**2 - 16*c - 78. Let m be v(20). Which is smaller: m or 12/19?
12/19
Let z = 2092/2739 + -26/33. Does -1 = z?
False
Let g(b) = 48*b + 1 - 1 + 2*b**2 - 51*b. Let q be g(2). Let v be (q + -3)*(-1 + -2). Which is smaller: 8/3 or v?
8/3
Suppose -4*c - 3*j - 16 = 0, -4*j - 11 - 4 = -c. Does c = -1/434?
False
Let o be -3*(-3)/(45/(-2)). Let j be 6*1 + -15 + 12. Let u be -4 - 0 - -4 - j/(-3). Is u smaller than o?
False
Let i = 25.4 - -1.6. Let k = -26.7 + i. Do k and 1 have the same value?
False
Let p = -23 - -45. Let s(l) = l**2 - 23*l + 22. Let a be s(p). Let u = 2.3 - 1.1. Which is bigger: a or u?
u
Suppose -9*w = 22*w - 1488. Is w at most as big as 243/5?
True
Let c = -8.5 + 7.3. Let r = -17.26 + 17. Let y = r + 0.16. Is c equal to y?
False
Let a(f) = -3*f**2 - 6*f - 15. Let g be a(9). Let u = -12481/40 - g. Which is smaller: 0 or u?
u
Suppose -12 = 5*o - 5*q + 13, q = -4*o. Suppose 3*w + 1 = 4. Let c = o + w. Is c < -3/7?
False
Let m = 21 - 13. Let r(o) = -o**3 + 9*o**2 - 8*o - 2. Let t be r(m). Let n be t + 3/((-12)/(-8)). Is -1/3 at most as big as n?
True
Let k = -548/813 - -2/271. Let u be 1/1*(-5 + 7). Suppose b + 4 = 3*c + 1, 2*b = 2*c - u. Which is smaller: b or k?
k
Suppose -m = -5*m + 4. Let v = -2.2 - -16.2. Let r = v - 9. Is m bigger than r?
False
Let t be 26/(-10) + 2 - -2. Let y be ((-4097)/(-102) + -16)*(-4)/(-50). Let u = t + y. Do u and 2/3 have the same value?
False
Let i be (-2766)/554 - (19 - 24). Is 1 smaller than i?
False
Let r = 19.77 + 0.2