 d non-equal?
True
Let k be (42/(-20))/(-6*(-1)/(-4)). Is 1 < k?
True
Let p = 74 + -591/8. Which is smaller: 1 or p?
p
Let o be 8/1 - 1800/(-420). Is 1 > o?
False
Let x be -2*3 + 0/1. Let n be (-3)/x - 100/8. Let y be (8/n)/(16/(-60)). Which is bigger: y or 3?
3
Let g = 1.42 + 0.73. Let a = g - 0.15. Which is bigger: -3/4 or a?
a
Let x be ((-228)/(-92))/(2/4). Let t = x - 660/161. Let f = -5387 + 5389. Which is greater: f or t?
f
Suppose -v - 8 = r - 67, -4*v - 5*r = -233. Suppose -4*m + 61 = -3*z, 3*z = 5*m - 0*m - v. Let h = z + 25. Which is greater: h or 1?
h
Suppose 8*n - 276 = -4*n. Are n and 7 unequal?
True
Let k(z) = -z - 1. Let b be k(4). Let i(y) = -y**2 - 6*y - 4. Let q be i(b). Let r = 10180 - 10177. Is r at most q?
False
Let a be 3 + 2 + -5 - -5. Suppose -f - 2 = -3*f, a*f - 30 = 5*d. Let c be (-5)/(-2)*2/d. Is c < -2?
False
Let b = -28 - -28. Is 2/131 < b?
False
Let c = -614064161/8762 - -911055/13. Let r = 2/337 - c. Suppose -6 + 1 = -5*s. Do r and s have the same value?
False
Let c = 2/2259 + -4640/137799. Which is smaller: c or 0?
c
Let l = -534435258/37 + 14445092. Let y = l + -896. Which is smaller: y or 1?
y
Suppose -9*j = -10*j + 28. Suppose -4*u - 4 = f - j, -5*u = 2*f - 27. Suppose u*l = 2*l. Which is smaller: 2 or l?
l
Suppose 5*x + 40 = 4*o, 12 = 4*o - 4*x - 24. Suppose -5 = -o*u, 2*h = 4*u - 3*u + 15. Let d be (-1)/(-3) + (-58)/(-6). Which is greater: d or h?
d
Let z be (-48)/(-15)*750/(-12). Let o be z/42 + 46/(-161). Let c = o - -1630/273. Which is smaller: 0 or c?
0
Let v(m) = -m + 4. Let o be v(6). Let r = 7 + o. Let t = 16.5 + -15.5. Is t < r?
True
Suppose -s = -5*s + 8. Suppose 0 - 75 = s*m - v, m - 3*v = -50. Let h be 14/m + 36/(-10). Which is bigger: 0 or h?
0
Let c(g) = -g**3 - 51*g**2 + 49*g - 214. Let k be c(-52). Which is greater: -12 or k?
-12
Suppose -2*i + 50 = -2*q, -3*i = -0*i - 4*q - 70. Let j(s) = 84*s - 727. Let t be j(9). Which is greater: i or t?
i
Let k(w) = -w**2 - 16*w - 13. Let x be k(-15). Suppose -3 - x = q. Let m(t) = -t**2 + 5*t - 5. Let d be m(5). Are q and d nonequal?
False
Suppose 575 = a - 0*a + 2*o, 0 = -2*a + 2*o + 1150. Let f = a + -2279/4. Which is greater: 4 or f?
f
Let n(y) = -y**2 + 23*y - 20. Let h be n(25). Let i = h + 73. Which is smaller: 4/5 or i?
4/5
Suppose 0 = 5*g - 2*c + 5*c + 212, 3*g = c - 116. Suppose 5*k = 9*k + 168. Which is smaller: k or g?
k
Let c = 478 + -634. Which is smaller: -157 or c?
-157
Let g(c) = 5*c + 5. Let y be g(-3). Let l be ((-7)/(7/y))/7. Suppose -4*x = x. Which is bigger: l or x?
l
Suppose -210 = -5*k + z + 23, 0 = -5*k - 4*z + 218. Let c be 2/(-4) - k/(-4). Let n(a) = 5*a**2 - 13*a + 18. Let q be n(2). Is q >= c?
True
Let m = -1529 - -1530. Is 48/29 smaller than m?
False
Let o be (-2)/((-25)/5 + 7). Is o equal to -6?
False
Suppose 4*u - u = 12. Let r be (3 - u)/(1230/512). Let q = 2/123 + r. Which is smaller: q or -1/10?
q
Let f = 62 + -98. Let t = f + 35.87. Let q = 8.87 - t. Is q > -2/3?
True
Let d = 251 - 252. Is -1/7 bigger than d?
True
Let x(h) = h. Let t be x(1). Let y = -19 - -21. Let q be 1 - 1/y - 21/(-6). Which is smaller: q or t?
t
Let c = -849 + 1135. Which is smaller: c or 287?
c
Let a(t) = t**3 + 2*t**2. Let i be a(-2). Suppose 3*k = -5*j + 7, j = 2*j + 1. Let y be 4/11*k/16. Is y bigger than i?
True
Let d(k) = k**3 - 27*k**2 - 32*k + 55. Let q be d(28). Is -52 greater than or equal to q?
True
Let j be 433/(24/60 - (-3)/5). Which is smaller: 434 or j?
j
Let q = 8 + -9. Let f be (-10)/(-65)*1/q. Is f greater than 1?
False
Let j be 18/8*10/525. Let h = -5/14 - j. Let r = 4 - 18. Which is smaller: r or h?
r
Suppose 5*u + 6*q - 2*q + 6 = 0, 18 = 3*u - 3*q. Let z = u - -9. Let n = 10 - z. Is -7/4 less than or equal to n?
True
Suppose 5*f = -2*h + 115, 2*f - 153 = -3*h + f. Suppose -3 = -o + 2, 4*r + 2*o = -h. Suppose -71*s - 1575 = 34*s. Is s smaller than r?
False
Let k = -74 + 189. Suppose 2*r + 117 = k. Which is bigger: -1/76 or r?
-1/76
Let k be 36 - ((-8 - 0) + 21). Is k equal to 58?
False
Let m be (-16)/4 - 2361/24. Let q = m - -103. Do 0 and q have the same value?
False
Let k = 0.56 - 1.13. Let p = k + 0.07. Which is greater: p or -7?
p
Let y = 44.4 - 45.4. Is y equal to -0.7?
False
Suppose 2*j - 255 - 400 = 5*g, 0 = 2*j + 2*g - 676. Which is bigger: j or 334?
j
Let x = -0.0191 - 206.9809. Which is smaller: 2/5 or x?
x
Suppose -2*h + 15 = h, 5*j + 25 = 4*h. Let f be 13/4 - (-1 + 4). Are f and j non-equal?
True
Let q = -478.6 - -560. Let g = q + -79. Which is bigger: -2/7 or g?
g
Suppose 5*j + 0*g = -5*g - 5, -4*j + 3*g + 31 = 0. Suppose -8*y = -4*y - 20, -3*y + 19 = j*l. Let p = -16/19 - -12/19. Which is smaller: p or l?
p
Suppose -2*x + 2 = -2. Suppose 3*y + 7 - 28 = 0. Suppose y*b - 1 = -8. Which is bigger: x or b?
x
Let u = 1105 + -912. Do 193 and u have the same value?
True
Let c be 580/5*(-4)/(-16). Which is bigger: c or 28?
c
Let p(z) = 32*z - 51. Let f be p(2). Which is bigger: f or 19?
19
Suppose 38*l - 4990 = 48*l. Is l < -1498/3?
False
Let g(k) = 7*k + k**2 - 11 + 2 + 0*k**2. Let j be 18/63*-7 - 4. Let q be g(j). Is q less than -15?
False
Let h(i) = i**3 + i**2 - 46*i - 28. Let u be h(-7). Is -29/13 != u?
True
Let y = 6.2 + -2.6. Let r = y - 4.6. Is 7 > r?
True
Let l = -85 - -123. Let k = 37 - l. Let t be (6/(-14) - -1)/2. Is t < k?
False
Let d(v) = -4 - v + 2*v - 15*v - 1 - v**2. Let n be d(-15). Let c = -33 - -12. Is n <= c?
False
Suppose -4*j + 16 = 2*g, -2*j + 8 = -3*g - g. Are g and -5/42 unequal?
True
Let o = 3 + 5. Let l be 9/((-27)/(-6)) - 3. Let n be (-1)/l - -4 - -4. Which is smaller: n or o?
o
Let y be 5*-2 - (-2 - 2). Let w be 15/(-70)*1*y. Is 1 > w?
False
Let y be (7 - 10 - -15)*(-6)/1. Let v = -143/2 - y. Which is greater: 9/5 or v?
9/5
Suppose -299 = -3*y - 296. Is y less than -3/233?
False
Suppose o - 5*o + 36 = 0. Suppose -2*s = -o*s. Do -1/12 and s have different values?
True
Let o be (-340)/(-30) + 2/3. Suppose 4*j + 76 = 6*z - 2*z, 0 = 3*j + o. Suppose 0 = -3*m + 5*s + z, m + 5*s - 3 = -18. Is -11 bigger than m?
False
Let x be ((-5607)/20)/(3/(-136)). Let r = 12759 - x. Let q = r + -50. Is 1 greater than q?
True
Let v = -853/14 + 61. Let m(y) = 3*y - 7. Let l be m(9). Suppose l = 5*n - 5*d, -n - 4*n - 5*d - 10 = 0. Is v at least n?
False
Suppose -119 = 24*v - 7*v. Let z(s) = -3*s - 10. Let q(t) = 2*t + 7. Let n(o) = -7*q(o) - 5*z(o). Let f be n(v). Is -5 not equal to f?
True
Let b = -289/100 - -66/25. Is 231 <= b?
False
Let m be 3/(39/(-4)) + 0. Let p be (-5)/(-1) + -1 + 1. Suppose -2 + 0 = p*k - 2*c, 3*k - c + 1 = 0. Is k less than m?
False
Let y be (-82)/28 + (-580)/(-406). Suppose -o - x = 5, 2*x = -0*o + o - 4. Let s = o + 1. Are y and s nonequal?
True
Let p = 1063/10 - 532/5. Is -2/123 smaller than p?
False
Let d(p) = p**3 + 7*p**2 - 2*p + 1. Let n be d(-7). Suppose n = -4*w - 25. Let u = 115 - 125. Are w and u non-equal?
False
Let n = 179 - 180. Is n > -12/71?
False
Suppose 0 = 10*z - 9*z. Let n be (z - -2) + -8 + -8. Let k be (n/21)/(1/(-9)). Is k smaller than 6?
False
Let v = -305 + 304.5. Is -8 <= v?
True
Let g = 207 + -187. Which is smaller: g or 146/7?
g
Let b be 3 - 2/4*4*-1402. Do b and 2807 have different values?
False
Let k = -6 + 13. Let a(v) = -v**3 + 6*v**2 + 9*v - 9. Let g be a(k). Suppose -g*w = 3*z - 18, z + 4 + 1 = 2*w. Is 0 smaller than z?
True
Let a(v) = 2*v**2 + 6*v + 5. Let i be a(-7). Let r = 59 - i. Suppose -4*h - 4 - 1 = -3*d, 5*d - 19 = -4*h. Which is greater: h or r?
h
Suppose 3*a + 19 = -2*v, 0 = 2*v + 2*v + 3*a + 23. Let t be (0 - (-15)/v)*-2. Is 15 greater than or equal to t?
True
Let p be 1 + 0 - 10/10. Let q = -0.505 + -0.011. Let b = 0.016 + q. Which is bigger: p or b?
p
Suppose 124*f - 118*f = 4218. Is f > 0.1?
True
Let t be (-6)/45*(-24)/(-32)*4. Let n = -9 - -16. Suppose n*o = 2*o + l + 4, -2*l = -5*o + 3. Which is greater: o or t?
o
Let m(j) = -j**2 + 9*j - 11. Let n be m(4). Suppose -3*x = n + 27. Is x at least as big as -12?
True
Let q(a) = a**3 - 8*a**2 + 6*a + 10. Let b be q(7). Let j(c) = -3*c + 5. Let h be j(b). Let v be (7/2)/((-2)/h). Which is smaller: v or 1?
1
Let b be (-11)/((-11)/6) + 0/(-2). Is 13 bigger than b?
True
Suppose -47 = 3*b - 5*z + 24, -2*b = 2*z + 42. Let i(d) = -10*d + 25. Let n be i(5). Which is smaller: n or b?
n
Suppose -m = -4