ose 4*a + 68 + 16 = 2*f, -2*f - 114 = 5*a. Let g = a + 112/5. Do 8/9 and g have the same value?
False
Let w(y) = 60*y - 133. Let o be w(2). Is o at least as big as -2/9?
False
Let x be (-99)/(-132)*16/(-54). Let h(s) = -s**2 - 7*s - 1. Suppose i + 9 = 2. Let p be h(i). Which is smaller: p or x?
p
Let t = -213/475702 + -488750951/10166227442. Let f = t - -1/497. Let d = 0 + -1. Are d and f nonequal?
True
Let y = 0.2715 - 0.0285. Let m = -0.043 + y. Which is smaller: m or -7/5?
-7/5
Suppose 0 = 2*o + o + 6. Let f be 10/(-35) + (-134)/119 + 0. Which is smaller: o or f?
o
Let n = 66 - 66.15. Is n greater than 5?
False
Let m(y) be the third derivative of y**4/24 - 17*y**3/6 + 9*y**2. Let u be m(-8). Which is bigger: u or -24?
-24
Let f be (-46)/348 - (-6 - -6). Let u = f + -1/29. Suppose -5*x = -2*x. Is x <= u?
False
Let j be (1389/525 - 3) + (-2)/7. Which is smaller: -2 or j?
-2
Let c = 513 + -4117/8. Suppose 0 = -3*u + 54*f - 57*f - 15, 1 = -5*u + f. Is u > c?
True
Suppose 0 = 6*x + 4*x. Let m(i) = -2*i**3 - 3*i**2 - 3*i - 1. Let a be m(-2). Let q = 10 - a. Which is smaller: x or q?
x
Let h be 4*1/26 - 26/169. Is h at least -1/187?
True
Let s(z) = -z**3 + 7*z**2 - 2*z + 16. Suppose 7*b + w - 23 = 3*b, -4*w = 2*b + 6. Let f be s(b). Which is smaller: 0 or f?
0
Let i(x) = 9*x + 1. Let u be i(-2). Let p be (3 + 14)*-1*(2 + -1). Is u at most p?
True
Let w(l) = l**3 - 17*l**2 + 11*l - 9. Let v be w(16). Let o = 0.1 + 0.9. Which is smaller: o or v?
v
Let k be (-2 - (-45)/(-42)) + 3. Let w = 4/7 + k. Suppose 3*m - 6*m = -2*y - 4, -5*y - 5 = -5*m. Which is bigger: w or m?
m
Let i be (-3)/37*(-4)/18. Which is smaller: 1 or i?
i
Let q(o) = o + 10. Let w be q(-9). Let z be (5 - 187/44)/(33/80). Is w bigger than z?
False
Suppose -3*p + 7 + 5 = 0. Suppose 16 = -p*f, -2*d + 1 = -2*f + 69. Are d and -38 equal?
True
Let a be 18/2 + (-30)/3. Which is greater: a or -18/23?
-18/23
Let j = -230/3 + 75. Let g = -50 - -26. Let l be 3/(-5) - (-2 - g/10). Is j at most l?
True
Let c be 6*1/((-1)/3). Let j = -18 - c. Suppose 5*w - 2 - 3 = j. Which is bigger: 1/2 or w?
w
Let o(j) = -40*j - 1. Let s be o(5). Are -202 and s equal?
False
Let x = -73 + 33. Let n = 27 + x. Let b = n + 12.9. Is 0.1 not equal to b?
True
Let z = -121 + 44. Is -79 at least as big as z?
False
Let m = 231 + -201. Is 26 bigger than m?
False
Let a be (-1)/(-1) - -1 - 10/3. Suppose -4*v = 4*c - 0*v - 8, 0 = -2*c + 2*v - 8. Is c >= a?
True
Suppose -5*f = -4*d + 326, -d + 116 = -2*f - 3*d. Let c = 64 + f. Which is greater: c or 1?
c
Let f = 173 + -146. Which is greater: 132/5 or f?
f
Let g = -72 + 71.71. Let j = g - 1.22. Let t = -1.5 - j. Which is smaller: t or 2/7?
t
Suppose y - 15 = -4*z - 3, y - 9 = -3*z. Suppose -2*t = -z*t + 5*g + 48, 62 = t + 2*g. Are 58 and t non-equal?
False
Let w = -21 + 15. Let b = -5529 - -5517. Which is smaller: b or w?
b
Let y be (127 - (6 - 9)) + (-1 - -3). Let o = y - 105. Which is smaller: o or 131/5?
131/5
Suppose h - 73 = -a, -3*a = -5*h - 5*a + 377. Suppose 72*d - 10 = h*d. Which is bigger: d or -12?
d
Suppose 12*b + 188 = 80. Which is greater: b or -8?
-8
Let a be 3805/225*2 + (-2)/9. Do a and 35 have the same value?
False
Let c = 284/7 + -39. Let l = -3592 - -3594. Is l at most as big as c?
False
Let d = -88 - -92. Suppose d*l = 2*l - 68. Is l less than or equal to -33?
True
Let l = -27 - -27. Is 93/7 at most l?
False
Let j = 3518.196 + -3524. Let q = j + 0.004. Let v = q - -6. Are v and -0.2 non-equal?
True
Let b be 1/(0 - (-4)/(-68)). Are b and -19 nonequal?
True
Suppose j = -0*j. Suppose -3*i + 5*n = 38, 0 = 3*i - 0*n - n + 22. Let t be (1/7)/((-2)/i). Which is bigger: t or j?
t
Let w = -3158 + 3158.2. Let s = 0.4 + -4.8. Let i = s + 4. Which is bigger: w or i?
w
Suppose -f = 2, -5*i - 6 = f + 2*f. Let n(j) = j**3 - j - 22. Let z be n(i). Is z less than or equal to -24?
False
Let r = -3688.99 + 3689. Let p = 0.3 - 0.1. Is p greater than r?
True
Suppose 5*f + 3*r - 8 = 0, 4*r = -3*f + 6*r + 1. Let t be f + (-12)/3 - 9. Are t and -53/5 equal?
False
Let k = 69.651 - -1.349. Which is greater: k or 1?
k
Let y be (-2)/3 - (-4)/((-24)/14). Let p be 10/20*y/4. Let j = -1 + 1. Which is smaller: j or p?
p
Let w be 4/(-18) - (-280)/45. Let v be (2/59)/(8/(-1530)). Let q = 1/59 - v. Which is smaller: w or q?
w
Let r be (-24)/(-66)*(-159)/516. Let b = -3/43 + r. Which is smaller: b or 1?
b
Suppose n = -0*n + 5*d + 24, -3*d + 9 = 2*n. Is n at most -8?
False
Let p = 17.1 - -9.9. Which is smaller: -3/5 or p?
-3/5
Suppose 8 = 2*r + 4*t, 2*r - 6 = -5*t - 0*t. Suppose -3*i - i - 140 = 0. Let q be r/(-12) - i/3. Is 1 equal to q?
False
Suppose -4*z = -z. Let i be (-33)/(-44)*(-152)/1935. Let l = i - 1/129. Is z not equal to l?
True
Let i be 1 + 3*1/3. Suppose -55 = 5*v + 4*c, -i*v + 4*v = -c - 19. Is -15 greater than or equal to v?
False
Let m = 109/4 + -27. Let f = -24 + 6. Let b = f + 12. Does m = b?
False
Let s = 905 - 904.5. Which is bigger: -48 or s?
s
Let y = 459.4 - 459.3. Let s = -7.1 + 1.1. Let k = s + 5.85. Which is smaller: y or k?
k
Let h be (7 - -1)*-1 - -3. Let w be -1*((-10)/9)/h. Let y(r) = r**3 - 6*r**2 - 7*r - 1. Let c be y(7). Is w less than c?
False
Suppose -4*l = -l - 48. Let i be (-1)/2*34 + -1. Let c = 33 + i. Does l = c?
False
Let y = 0.24 + -1.74. Let g = -0.5 - y. Which is smaller: -1 or g?
-1
Suppose 4*r - 3*d - 15 = 0, -7 = -5*r - 4*d + 4. Suppose -r*h = 5 - 2. Which is bigger: 31 or h?
31
Let k(x) = x**3 - 9*x**2 + 10*x - 10. Let m be k(8). Suppose -5*l = 5*j - 55, -j - 27 = -3*l + m. Is l equal to 9?
False
Suppose -26*d + 28*d - 10 = 0. Let l be (d/25)/1*(-5)/4. Is l <= 10?
True
Let u = -59672/10257 + 226/39. Which is bigger: 1 or u?
1
Let b be 12/9 - 2/(-3). Let j(m) = 2*m + m**2 + 0 - m**3 + 3 - 12 + 6. Let k be j(b). Which is smaller: -1/4 or k?
k
Suppose 1165*b - 1134*b = 31. Let n be 2/(-7) + (-156)/(-595). Is b greater than or equal to n?
True
Let t(u) be the third derivative of 0 - 1/60*u**5 + u**2 - 3/8*u**4 + 0*u + 1/6*u**3. Let o be t(-10). Which is smaller: -8 or o?
o
Let j be (-7)/(70/(-156)) - 6/10. Suppose 2*h = 3*i - 17, -5*h - 7*i + j = -3*i. Is h < -16/17?
True
Suppose -13*y + 40 = 27*y. Is 1/45 smaller than y?
True
Let w = -45154/427 - -740/7. Suppose 0 = -4*j + 2*q - q + 72, -90 = -5*j - 4*q. Let x = -17 + j. Which is smaller: w or x?
w
Let p be (0/2)/(-1 - -3). Let a be -3*(-4)/72 - 0. Which is bigger: p or a?
a
Let c be (4/(-5))/(2*(-1)/(-5)). Let r be (1/108)/(0 - (-1)/c). Is 1 smaller than r?
False
Suppose 0*r = -2*r - 4*l + 28, 4*r - 71 = -3*l. Let n be (2 - r/15)*4. Does 2 = n?
False
Let t = -327 + 323.8. Let m = -23 + 25.8. Let f = m - t. Which is smaller: -0.1 or f?
-0.1
Let p = -41 - -46. Suppose -3*z - 4*w = 2*z + 25, p*z - 5 = 2*w. Is z greater than or equal to -3/4?
False
Suppose 659*h - 664*h - 5*d - 475 = 0, -d = 6. Let r be ((-12)/(-10))/((-2)/150). Which is bigger: r or h?
h
Let i be (4/(-10))/(-2) - 0. Suppose 6*w - 11 = 13. Suppose l + 3*l = w. Which is smaller: i or l?
i
Let u be ((-40)/70)/(22/77). Suppose 3*k = -0*y - 4*y - 8, k - 4 = -3*y. Let r be 2/k*18/3. Which is smaller: r or u?
u
Suppose h = -5*w - 43, -5*h + 6*h = -4*w - 38. Suppose 5*z = -0*z - 3*g + 23, 0 = z + 3*g - 7. Let m = h + z. Is m less than -13?
True
Suppose -3*u + 13 = 4. Suppose u*m + 2*m = 0. Suppose 2 + 2 = -4*n. Is m > n?
True
Let j = -58 + 48. Let a be ((-1)/2)/(j/20). Which is greater: a or -2/77?
a
Let o = 107 + -108. Which is bigger: -72 or o?
o
Let f = -1095 - -1085. Is f less than -9?
True
Let k be 339/5 - 11/(-55). Suppose 0*n + 4*n - k = 0. Is -0.2 >= n?
False
Let t = 1947 - 1985. Are -24 and t equal?
False
Let m be 133/740 + 2*(-12)/120. Which is bigger: m or 1?
1
Let z = -292 + 285. Which is smaller: z or 0.13?
z
Suppose 15 = 5*c - b - 12, 4*c - 39 = -5*b. Suppose -y + 4 = 4*m - 3*y, 0 = 3*y - c. Let j = m - 6. Which is greater: -8/3 or j?
-8/3
Let j = 0.3 - -1.5. Let c = j - 0.1. Let i = c + -2.4. Which is bigger: i or 0?
0
Let t be (-18)/(-28)*((-334)/(-24) + -4). Let s = -545/88 + t. Which is bigger: s or -2?
s
Let z = 28 + -26. Suppose z*x = -x - 2*x. Is 1/12 at least x?
True
Let f(m) be the second derivative of -m**4/12 + m**3/6 - m**2/2 - m - 6. Let o be f(6). Which is greater: -33 or o?
o
Suppose 3*p - 12 - 51 = 4*u, 0 =