48 + v. Let u be ((2/3)/(4/6))/d. Are -4/7 and u equal?
False
Let o = 23555 + -23554. Which is smaller: o or 37/311?
37/311
Suppose 5*j + 386 = 51*h - 53*h, 2*h = -4*j - 308. Let b = 99 + j. Do b and 148/7 have different values?
True
Let p = -6.464 - -6.364. Is 30/17 at most as big as p?
False
Let p = -2772.2 + 2769.2. Is p less than or equal to 1360?
True
Let q = -167 - -187. Let j be -15*((-6)/24)/(6/q). Suppose -2*a + 3 - 7 = 0, 0 = 4*y - a - 58. Which is smaller: j or y?
j
Let c = -2615 - -2615. Which is bigger: -3/1013 or c?
c
Let o be 0 - (-14 - 1760/(-121)). Is o >= 133?
False
Suppose 0 = 2*r - 2159 - 6371. Let k be -3 + -5 + r/6. Let y = k - 706. Is -2 != y?
True
Let g = 10189184/89097 + -40/5241. Which is smaller: 113 or g?
113
Let r = -2/1061 - -38206/5305. Let l be (-11)/((-154)/38) + -3. Which is smaller: r or l?
l
Suppose -2*w - 60 = -4*g, 5*w = -g - 25 + 40. Let s(x) = x**3 - 18*x**2 + 45*x - 1. Let b be s(g). Are -8/29 and b non-equal?
True
Suppose -33*n = -38*n - 970. Let q be n/8 - (-2)/8. Let v be 33*2*4/q. Which is bigger: v or -13?
v
Let l = -1400 - -1419. Is l equal to -1/10?
False
Let f(n) = 12*n**3 + 4*n**2 + 9*n + 10. Let k = 21 - 24. Let d be f(k). Which is greater: -306 or d?
d
Let f = -9 - -9.1. Let i be (-4)/(-30)*((-2)/(-7) - (-25783)/826). Is f less than i?
True
Suppose -37260 = 26*j - 13418. Is j smaller than -917?
False
Let c = 1950 + -1158. Suppose -c = 47*n - 11*n. Let k(o) = o**3 + 4*o**2 + 7*o + 6. Let b be k(-4). Is b > n?
False
Let x be (15/(-11))/((-63)/693). Is x greater than 13?
True
Let o be (-4)/(-1)*(-2586371)/716*3/3. Is o >= -14449?
True
Suppose 0 = 2*y - 110 - 98. Let h = y - 64. Suppose 2*v = -6*v + h. Which is smaller: 7 or v?
v
Suppose a - 13791 = 4*j, -14*j - 48281 = -7*a + 6*a. Which is greater: j or -3448?
-3448
Suppose 36*d - 630 = 990. Suppose -8*s + 18833 = -d*s. Are s and -510 equal?
False
Suppose -h - 1 = -5*w + 12, 0 = -w - 4*h + 11. Suppose w*p - 14 = p. Let d be 6/(-12) - 31/(-4). Which is smaller: p or d?
p
Suppose 46*v + 8 = -2*w + 44*v, 19 = -4*w - v. Does -80/13 = w?
False
Let d = -2.3 - -2. Let q = 13 - 27. Let g = 13.8 + q. Which is greater: g or d?
g
Let y be (-10 + 4 + 7)/3 + 3072/(-9). Is -339 <= y?
False
Let n = -5/14951 - 341978/5666429. Is 0 bigger than n?
True
Let o = -1615.1 + 1616.1. Which is smaller: 616 or o?
o
Let b = -253 + 259. Let l be 4 - 9 - (2 - b). Is 1/40 < l?
False
Let i(y) = -59*y - 296. Let w be i(-5). Let s be (w/3)/(22 - 21). Is s greater than -116?
True
Suppose z = 53 + 1. Let j be (-3)/(-2) + (-874)/(-4). Suppose 0 = -4*l + 3*o + 218, 4*l + o = 5*o + j. Which is bigger: l or z?
z
Let s = 47 + -27. Let z be (-334)/s - 3/(1 + 0). Let h = z - -24211/1230. Which is bigger: -1 or h?
h
Let l be (-47)/(1034/4180)*(1 - 2). Which is greater: 226 or l?
226
Let k = 6 - -30. Suppose 4*r - 12 - k = 0. Let g(z) = -2*z**2 + 11*z - 3. Let v be g(2). Which is smaller: v or r?
v
Let k be (-4)/6*(19 + -7). Let l be (111/(-6))/((-4)/k). Suppose 0 = 2*c - 6*c - 2*z - 138, -3*c + 5*z = 136. Is l at least c?
True
Let y be -3 + (5 - (-4 + (-52)/(-8))). Let v = -116 + 194. Which is smaller: y or v?
y
Let q(v) = -v**2 + 9*v - 15. Let s be q(2). Let j be -5*(s + 0) - 16/4. Let c be 4/26 + (-510)/(-65). Is c greater than j?
True
Suppose 4*o = -5*h + 329, o - 4*h - 42 = 56. Suppose -5*l - 277 = -3*s, -5*s + 321 = -s + 3*l. Which is greater: o or s?
o
Suppose -2*w + 1 = 3. Let h be (20/15)/(w/3). Is -4 greater than h?
False
Let m = -426717/22 + 19400. Let y = -30/11 - m. Which is greater: y or 0?
0
Let m = 7.8 + 201.2. Let v = m - 124. Let q = v - 87. Which is smaller: q or 1?
q
Let v be (228/1197)/((-6)/(-497)). Which is smaller: -3 or v?
-3
Let x = 528 + -350. Suppose -5*z = 15, -2*l + 364 = -z - z. Which is smaller: l or x?
x
Let l be 2 - (-2)/(-2 + 1). Let k be (l + 1 - -1)*-2. Let m(q) = q**2 + 1062*q + 2122. Let c be m(-2). Which is bigger: c or k?
c
Let o(q) = -q**3 - 3*q**2 + q - 1. Let j be o(2). Let a(u) = -u**3 + 6*u**2 - u - 19. Let c be a(5). Let d(s) = -52*s + 32. Let i be d(c). Is j greater than i?
True
Let m = -16.821 - -17. Let d = -78 - -77.921. Let u = m + d. Which is greater: -1/35 or u?
u
Let z be 110/(-1770) + 19/57. Which is greater: z or 0.2?
z
Suppose 3*x + 3*z = -4410, -107*z + 7385 = -5*x - 105*z. Is -1475 equal to x?
True
Let k = -1.691 - -1.591. Which is smaller: k or -539?
-539
Suppose -9*o + 243 - 27 = 0. Let d = -0.18 + 0.18. Let u = d - -2. Which is greater: o or u?
o
Let f(i) = -2*i - 24. Let h be f(-12). Suppose h = 10*q - 15*q - 15. Let b be ((-40)/28)/(q/42) - 4. Does 12 = b?
False
Let v = 7157/9 + -795. Let m = -7 + 219. Which is bigger: m or v?
m
Let o be (124*6/36)/(2/(-93)). Let i = o + 4808/5. Which is smaller: i or -98?
-98
Let v be -2 - 2/(1400/(-1436)). Let b = -1097/14525 + v. Suppose -22*z + 6*z = -12*z + 4. Which is bigger: z or b?
b
Let z be 6/45 - (-92)/(-1140). Let a = z + 281/76. Which is smaller: 5 or a?
a
Let r(w) = w**3 + 19*w**2 - 23*w + 124. Let s be r(-21). Let q = 131 + -407. Which is smaller: s or q?
q
Let f = 121/1659 + -85/237. Is -76/7 bigger than f?
False
Let g be 8/(-44) - 384/(-1144). Let d = 14 - 12. Let y be (2/12)/(d/12). Is y < g?
False
Suppose -110*n - 359435 = 230385. Are n and -5362 equal?
True
Let r(h) = -5*h + 1. Let i be r(3). Suppose 4*j - 188 = -4*x, x + 4*j = 4*x - 162. Suppose -45*o + x - 635 = 0. Which is bigger: o or i?
o
Suppose 4*b = 4*i - 28, 4*b + 23 = 3*i - 4*i. Let m(q) = 6*q + 26. Let j be m(b). Let l = j + 10. Which is smaller: l or -5/16?
-5/16
Suppose -38*p - 112 + 63 + 87 = 0. Which is bigger: p or -26/495?
p
Suppose 0 = -128*h + 119*h + 324. Suppose -60 = 4*u + z + 47, 4*z = -2*u - h. Let d be 13/(0 - (-1)/(-2)). Is u equal to d?
False
Let r = -20 + 33. Let m = 87371 + -87353. Which is smaller: m or r?
r
Let w = -73300 - -73300.7. Let l = 3.26 - -0.84. Is l at least w?
True
Let i = 102 + -100.31. Let v = -1.79 + i. Let s be ((-2)/5)/(5/35). Which is greater: s or v?
v
Let m be 734 + -2 - 1554/(-111). Is m greater than or equal to 747?
False
Let k = 882845/12 + -73463. Do k and 107 have the same value?
False
Suppose 3*s + 101 = r, 0 = 3*s + s - 2*r + 132. Let v = s + 12. Let d(b) = -5*b + 6. Let i be d(6). Is i > v?
False
Let t(z) = z**3 - 6 - 25*z**2 - 25*z - z + 0*z. Let k be t(26). Are -2 and k unequal?
True
Suppose -4*t - 40 = -0*t. Let q(m) = 10*m**3 + m**2 + 2*m + 2. Let s be (3/(-9))/((-2)/(-6)). Let k be q(s). Is k at least t?
True
Suppose 0 = -3*m + 3*z - 1134, 0 = 3*m + 2*z + 983 + 151. Which is greater: m or -377?
-377
Suppose 0 = -8*m - 191 + 23. Let y be 3/m - 404/14. Is y equal to -29?
True
Let h = -4613 + 4610. Is 357 not equal to h?
True
Let k(y) be the third derivative of -y**6/120 + y**5/30 - 5*y**4/24 + 5*y**3/3 - 8*y**2. Let h be k(3). Let t be (22/h - -2) + 46/7. Is t >= 10?
False
Let y be (-14)/(-21) - (-10)/(-24). Is -31 >= y?
False
Let y(v) = -v**3 + 31*v**2 - 9*v - 62. Let h be y(31). Do -333 and h have the same value?
False
Suppose 5*a - 5 = 5*j, -j - 5*a = -0*j - 23. Suppose -2*z = 4*k + 2, 4*k - j*k - 10 = -4*z. Suppose 2*b = -z + 9. Is b less than or equal to 10?
True
Let c(m) = -m**3 + 8*m**2 + m + 36. Let r be c(9). Let j be ((r/(-208))/(-9))/(65/(-60)). Which is smaller: j or 1?
j
Let i = 0.4919 - 0.9919. Is i equal to -11?
False
Suppose -7 = 11*v - 62. Suppose 4*q + 214 = 4*s - 9*s, 0 = 5*q + v. Does -35 = s?
False
Suppose 99 = -13*l - 239. Suppose -f - 2*h = 27 + 5, -f - 30 = h. Let n = -53 - f. Do n and l have different values?
True
Let l(b) = b**3 - 12*b**2 + 4*b - 18. Suppose -10*f + 24 = -96. Let d be l(f). Let n = 869/2 + -405. Are n and d equal?
False
Suppose 2*z = 13*z - 484. Suppose z = -2*m + 238. Which is bigger: m or 2/5?
m
Suppose 4*l + 4*a = -0*a - 40, -5*l + 2*a - 85 = 0. Which is smaller: -214/13 or l?
-214/13
Let l be 124439/(-99064) + (-10)/(-8). Which is smaller: 0 or l?
l
Suppose -48 = -10*r - 6*r. Suppose 0 = 298*d - 295*d + r. Are 1/66 and d non-equal?
True
Let o = 10391 + -10408. Are o and -20 equal?
False
Let y = 2.1 + 0.9. Let o = -2.95 + y. Which is greater: o or 7/5?
7/5
Suppose -k = 3*z - 70, 2*k + 11 = 1. Let x(b) = 2*b**2 - 44*b - 162. Let a be x(z). Let q be 4*(-3)/(6/5). Which is bigger: a or q?
q
Let v be (-78 - ((-15)/