 y - b. Is -6 less than or equal to d?
True
Let y = -1 + -2. Let f = 7/53 + 57/371. Are f and y unequal?
True
Suppose c = -4*z + 6*c + 539, 0 = z + 5*c - 141. Suppose 2*u = -4*a - u + z, -102 = -3*a - 4*u. Let m = -20 + a. Is m smaller than 14?
False
Let q be 700/280 - (1 + 2)*1. Are -85 and q non-equal?
True
Suppose -5*h = 3*q + 11 + 44, -4*h - 53 = 3*q. Is q greater than -111/7?
True
Let o = 1163 - 1202. Is -44 at least o?
False
Suppose -14 = -4*z - 78. Let c be ((-6)/(-1) - 8) + z/6. Which is bigger: -5 or c?
c
Let i = -2.57 + 0.07. Let m = i - -3.5. Let c = -299/7 - -43. Which is smaller: c or m?
c
Suppose o + 2*t = -t + 28, -4*o = -4*t - 96. Let h = o - 29. Which is bigger: h or 2/3?
2/3
Let f(w) = 69*w - 729. Let s(d) = -7*d + 73. Let n(t) = 2*f(t) + 21*s(t). Let i be n(17). Is -78 greater than i?
False
Suppose 0 = 4*g + 4*v + 4, -4 = -15*v + 19*v. Which is smaller: g or -5/117?
-5/117
Let q be (-81)/(-15)*10/2. Suppose -5*d + 28 = -2*t, 3*t = -2*d + 4 - q. Let x be (-4)/(-10) + t/15. Is -5 at most as big as x?
True
Let v(x) = x**3 - 18*x + 29. Let u be v(2). Is 6/179 bigger than u?
False
Suppose 6*f - 2 = -3*t + 4*f, 5*t + 3*f = 3. Let u = 171/170 + -29/30. Are u and t equal?
False
Let y be 1/(-5) - (-777)/(-15). Let c = y + 872/17. Let n = 129/34 - c. Which is bigger: 6 or n?
6
Let u = -0.0992 - 1.2008. Is -4/3 != u?
True
Let t be (-3)/7 - 7449/(-8463). Which is greater: t or 0?
t
Suppose 0 = 5*x - x - 4*v, -5*x - 12 = -v. Let f be (-30)/9 + x + -2. Which is smaller: f or -7?
f
Let j = -23 - -5. Let n be 3/(-3 - j/4). Is 9/7 at least as big as n?
False
Suppose -6*h = 13 - 7. Let j be ((-3)/15)/((-10)/8). Is h >= j?
False
Suppose 5*f + 90 = 2*x, -4*f + 4*x - 48 - 12 = 0. Let y = f + 23. Suppose y*o - 5*j - 17 = 0, -2*j = 2*o + 3*j + 22. Which is smaller: -18/11 or o?
-18/11
Suppose 17*i - 1626 = 40. Let o = i - 81. Are 17 and o unequal?
False
Suppose -3*u = -29 - 55. Suppose -4*p - 5*a + 4 + u = 0, 0 = -2*a. Which is bigger: 6 or p?
p
Let u = -102 + 101. Which is smaller: -72 or u?
-72
Let w(m) = -m**3 - 8*m**2 + 8*m + 17. Let o be w(-5). Let l(n) = 13*n + 1. Let x be l(1). Let q be 56/o - 90/x. Are q and -6 non-equal?
True
Let q = 12286 - 1388294/113. Which is smaller: 1 or q?
q
Let q = 170/783 - 4/27. Let g(j) = 2*j**2 + 9*j + 7. Let w be g(-6). Suppose k - 5*c - w = 0, k + 19 = -4*c - 1. Which is smaller: k or q?
k
Let k be -1*((-11286)/1133 + 10). Which is greater: 1 or k?
1
Let n be 0/((3 - 2)/(-1)). Suppose n = 3*t, 3*s + 0*s - 4*t - 18 = 0. Let k = -5 + s. Which is bigger: -1 or k?
k
Let j = -0.694 - -0.794. Which is smaller: -0.027 or j?
-0.027
Suppose -12*y + 18*y = 7*y. Is 22/19 greater than y?
True
Suppose -3*o - 6*o = 207. Let c = 22 + o. Is 2/59 at most as big as c?
False
Let x(s) = 4*s + 6. Let m be x(2). Let o = -9 - -12. Let b = 11 + o. Are m and b equal?
True
Suppose 0 = 2*q - 3*f + 18*f + 77, -4*q - 3*f = 19. Let n = 23/14 - 192/119. Which is bigger: q or n?
n
Suppose 4*g - 5*g + 84 = 0. Let p = 58 - g. Let r = -26 - p. Is r smaller than -0.1?
False
Let p be (3/(-2))/((-6)/(-12)) - -4. Is -1/169 greater than or equal to p?
False
Suppose 6*q - 5 = q. Let f = -448/583 - -60/53. Which is bigger: f or q?
q
Suppose -8*c + c = -70. Suppose 15*v = c*v. Let b be ((-1)/(-6))/((-1)/2). Is b smaller than v?
True
Suppose 5*q = -3*j + 3, 2*j - 3*j = -5*q - 1. Which is greater: 3/400 or j?
j
Suppose -6*k = -7*k + 8. Suppose -7*j + 48 = -1. Is k at least as big as j?
True
Let l be 822/612*((-9)/3 - 61). Let g = l + 86. Let i(m) = m. Let b be i(0). Which is bigger: b or g?
g
Let h(j) = 15*j - 39. Let i be h(2). Do -16 and i have different values?
True
Suppose -4*z - 573 + 741 = 0. Is 460/11 <= z?
True
Suppose 11 = -p - 2*j + 2, -5*p = -2*j - 3. Which is greater: p or 2?
2
Let n = 30.96 + -31. Let t = -3.06 - -3. Let z = n + t. Which is smaller: 2/3 or z?
z
Let i = -0.0852 + 46.0852. Which is smaller: -7 or i?
-7
Let q(f) = f**3 + 18*f**2 + 17*f - 8. Let r be q(-17). Let u be 1/((-1*1)/15). Let b = r - u. Are b and 7 nonequal?
False
Let p(c) = -c**3 + 29*c**2 + 30*c + 2. Let r be p(30). Suppose h - 6 = -h. Suppose j - 3*w = w + h, r*j + 2*w = 6. Are 7 and j nonequal?
True
Suppose 2*k + 5*o = -32, -4*k + 10*o - 5*o - 94 = 0. Let i be (-9)/(-6)*8/k. Suppose 15*f + 1180 - 1150 = 0. Which is smaller: i or f?
f
Let q be 8 - (8 + -6)*1*4. Is q greater than or equal to -1?
True
Let x(l) = l**3 - 8*l + 1. Let q be x(0). Is q bigger than -2/867?
True
Let k = -1 + 21. Let i = k - 19.2. Is i at most 1?
True
Suppose 69 = -v + 3*v - c, 2*v = -4*c + 54. Let o = 32 - v. Which is greater: o or 2.7?
2.7
Let k(d) = -8*d - 57. Let n(s) = 6*s + 58. Let u(t) = -6*k(t) - 5*n(t). Let v be u(-3). Let y be (1 - 1) + (-6)/2. Which is bigger: y or v?
v
Suppose 12 = 43*h - 49*h. Is h != -6/11?
True
Let k = 1/263 - 535/2367. Let d(w) = -w**2 + 6*w + 9. Let i be d(7). Let u be i/6 + 16/(-12). Which is smaller: u or k?
u
Let m = -90 + 280. Which is smaller: m or 189?
189
Let l be (0 - 58/(-190)) + 1/(-5). Let m = -62/133 - l. Let w be -1 + (1 - (0 - -1)). Is m >= w?
True
Let r be ((6/4)/(-1))/(66/9636). Is -219 at least r?
True
Let m = 363 - 334.9. Let c = -28 + m. Let u be (-21)/8 + -1 - -3. Are u and c nonequal?
True
Let k be 1/(-4) + 35/(-4). Suppose -2*h - 36 = 2*h + 4*m, 27 = -3*h + 2*m. Do k and h have the same value?
True
Let b = -0.15 + -5.85. Let g = b + 5.93. Let s = 0.03 - 0.13. Which is smaller: g or s?
s
Suppose 0 = -0*n - n + 1. Let t be (-1624)/(-2523) + (2/6 - n). Do t and 1 have the same value?
False
Let v = 29 + -25. Suppose -10*k = -v*k - 18. Is 2 not equal to k?
True
Let b be -7 - (0/1)/1. Let j be (170/(-9))/2 + -1. Let a = j - -71/18. Does a = b?
False
Let d(u) = u**3 + 1 - 6*u + u**2 + 7*u**2 - 2*u**2 - u**2. Let c be d(-6). Let j = -2 - 3. Is c not equal to j?
True
Let m = 7 + -7. Suppose m = -j + 10 - 9. Is 1 < j?
False
Suppose 5*i - 5*r - 135 = 0, 2*r - 96 = -5*i + i. Suppose 4*t - t = 72. Is t >= i?
False
Suppose -1127 = -9*v - 326. Do 88 and v have the same value?
False
Let m = -0.3 - -0.2. Let o = 0.1 - m. Let r = o + -0.3. Is r != 4?
True
Let d be 4/(-10) + (-246)/10 + 0. Let p be d - (-3 - (-3 - 2)). Do p and -26 have different values?
True
Let d = 14 + -25. Let k(y) = -8*y - 30. Let r(p) = 3*p + 10. Let u(h) = d*r(h) - 4*k(h). Let l be u(8). Is l > 1?
True
Let c(v) = -47*v - 321. Let b be c(-7). Is 4 smaller than b?
True
Suppose 5*p = 3*v + 14, 10 = 5*v - 0. Suppose 0 = 3*o - 5*b + 10, 26 = -5*o - 5*b - p. Suppose -4*z - k - k = 8, 5*z + 2*k = -11. Which is smaller: z or o?
o
Let f be 4*66/(-12) + -3 + 4. Is f less than or equal to -31?
False
Suppose -i = -0*u - 3*u + 23, -4*i = -u - 7. Let d be (4 + -1)/(u/(-6)). Let h(y) = -y - 16. Let b be h(-14). Is b less than or equal to d?
True
Let n = 258 - 515/2. Suppose -i = 2*i + 18. Let b(j) = j + 6. Let l be b(i). Is n <= l?
False
Let u = -36.9 + 36.8. Is u less than or equal to -868?
False
Suppose -7 = 4*k - 19. Suppose k*g + 0 + 3 = -4*t, -6 = -3*t - 5*g. Let f be 39/18 + t - -1. Which is smaller: -2/3 or f?
-2/3
Let k = 1553/250 + -3/250. Let b = -8 + 13. Which is smaller: k or b?
b
Let n = -5 + 1. Suppose 3*c = -0*c + 93. Let y = 27 - c. Do n and y have the same value?
True
Let c = -5 + 6. Suppose -c - 13 = -2*p. Suppose 5*w - 3*n = -p*n - 23, 2*n + 1 = w. Is w equal to -2/3?
False
Suppose 35*h = 42*h - 630. Which is greater: h or 88?
h
Let l = -1053 - -43172/41. Let v be 5/(10/4) + -3. Which is greater: l or v?
l
Suppose 100*s + 669 = -6731. Which is smaller: s or -73?
s
Let r = -17.6 + 24. Which is bigger: 4 or r?
r
Let y(m) = -45*m**2 + 5*m - 4. Let x be y(1). Which is smaller: -1/3 or x?
x
Let f(l) = -4*l**3 + l**2 - 6*l - 9. Let y(n) = -n**3 - n**2 - n + 1. Let m(t) = f(t) - 5*y(t). Let o be m(-6). Is o less than or equal to -2/3?
True
Let z = -2 + -1. Let m be 1*(-1 - (z + 1)). Let o be (-46)/(-108) + m/(-2). Which is smaller: -1 or o?
-1
Let s = -505.91 + 506. Which is smaller: -4/9 or s?
-4/9
Suppose -3 - 8 = c. Suppose -26*v - 223 = 37. Which is smaller: v or c?
c
Let c = 0.32 + -3.32. Let n = c - -3.02. Which is smaller: n or 2/7?
n
Let t be 2580/(-75) + 9/(-15) + 1. Is -37 less than t?
True
Suppose 0 = 135*j - 123*j - 12. Let b be 10/(-33)*12/(-2). Is j <= b?
True
Let 