+ 34. Which is smaller: 3/1561 or u?
u
Let i be 592/182 - (-40)/(-5)*(-5)/(-20). Is i > 1?
True
Let x be -21 + 19 - (-42)/17. Let d be 4/(-6) + (-42)/(-9). Suppose -d*q = -q. Is x greater than q?
True
Suppose -48*r + 2720 + 11540 = -71*r. Which is smaller: -625 or r?
-625
Let j = 415 + -423. Let l be j + 3 + (2 - 10). Suppose -3*m - 39 = 4*r, 3*r = r. Is l < m?
False
Let c(p) = p**3 - 4*p**2 - 6*p - 2. Let h be c(-6). Let s be (-4 - -6) + 646/h. Let i = s - -185/7661. Which is greater: i or 0?
i
Let g be (23 - 2) + (-1)/(-1). Let l(n) = 3*n**2 + 34*n - 87. Let j be l(-14). Let o = j - g. Which is smaller: o or 2/15?
2/15
Suppose 5*h + x = 439 + 434, 5*h - 4*x = 883. Which is bigger: 177 or h?
177
Let j be (12/(-48))/((-713)/(-4)). Is -1 smaller than j?
True
Let n(p) = -22*p + 10. Let s be n(-2). Suppose 2*o = -78 + s. Is o less than or equal to -11?
True
Suppose 0 = -34*f + 39*f - 685. Suppose 5*z - g + 227 = 0, -z - g = -4*z - f. Is 0 != z?
True
Let a be (-49)/(-15) - 5 - 30/(-75). Let g = -0.08 - 2.92. Let l = -2.98 - g. Which is greater: l or a?
l
Let t = -7 + 4. Let m be (-174)/4 - -6 - (-9)/(-6). Let l be ((-8)/5)/(m/(-45)). Is t != l?
True
Let j be 5*66/(-55)*44/(-3). Let a be j/(8/5 + 24/60). Is 42 at least as big as a?
False
Let k = -67.299 + 67. Let g = -0.099 - k. Which is greater: g or 0.055?
g
Let z be (31/62)/((-1)/(-269))*-14. Which is bigger: -1876 or z?
-1876
Suppose 0 = -4*v - j - 68, -v - 74 = 4*v + 4*j. Let p = -47 + 44. Let i be p/2 + 351/(-18). Which is greater: i or v?
v
Suppose 476*c = 480*c - b - 6835, 3*c = -b + 5135. Which is smaller: c or 1712?
c
Let g = 138580/7 - 5943064/301. Are g and 53 equal?
False
Let a be 0 + (-13)/(-26) - (-1140)/(-2276). Which is bigger: -1 or a?
a
Let d = -13118 - -13071. Is -1.14 greater than d?
True
Let n = 2 + -2. Let v be 349/(-4 + 4 - 4) - 1. Let b = 89 + v. Which is smaller: n or b?
n
Let n = -7.74 + 7.51. Which is bigger: n or -1?
n
Let b = -99 - -61. Let i be ((-3)/(-12))/(-1 - 60/b). Let r = -2/11 + i. Which is smaller: r or -12?
-12
Let d be 2/(32/(-280))*9/1533. Which is bigger: -1/4 or d?
d
Suppose -51*g - 1924 - 1177 = 622. Which is bigger: g or -75?
g
Let q(x) = x**3 - 12*x**2 - 38*x + 33. Let a be q(14). Which is greater: -97 or a?
-97
Let x be (-180)/((-26)/10 - -3). Let r be (0 + 15660/14)*(-64)/160. Let w = r - x. Is w != 2?
True
Suppose -26 = 3*n + 3*c + 310, 4*n + c + 454 = 0. Let l = 126 + n. Suppose m + 5*v + 9 = 31, -m + 2 = -5*v. Is l at least m?
True
Let h = -7 + 7.3. Let m = 10.3 - h. Let u = 1393 - 1392. Which is greater: u or m?
m
Let i be 27/(-72) - (-20)/32 - 1850/40. Is i > -64?
True
Suppose 0*q - 2*q = -14. Suppose -r + q = -1. Suppose -c = 5 - r. Is c greater than or equal to 5/3?
True
Let q = -95 - -134. Let r = -40 + q. Suppose 0 = 8*k + 110 - 134. Which is bigger: k or r?
k
Let x(u) = 126*u - 26. Let m be x(-2). Suppose -11*o = -2*o + 2502. Is o greater than m?
False
Let o = -82 + 90. Let q = o + -10. Let z be 1 - ((q - -1) + 2). Which is smaller: 10/17 or z?
z
Let f = -7/4 - -2. Let v = -469 + 1424/3. Which is smaller: v or f?
f
Let n be (-6290)/(-111) - (-4)/(-6). Let w be n - 61 - (-175)/17. Which is greater: w or 6?
6
Let n be (-44)/33*8/(-6) - 2. Let j = -17 + 22. Let o = j - 3.9. Which is smaller: o or n?
n
Let p = 155092899/85 - 1824576. Let v = -222/5 + p. Which is smaller: v or 3?
v
Let l(j) = j**3 + 5*j**2 + 3*j - 2. Let h be l(-3). Suppose 3*r - 56 = h. Which is greater: 18 or r?
r
Let l be (0 - 2) + (-1 - 5). Let v be -5*6/(-45) + l. Suppose -3*f = 3*p + p + 10, 0 = -f - 4*p + 2. Which is greater: f or v?
f
Suppose 18*v - 424*v + 199356 = 38*v. Does 449 = v?
True
Let k(r) be the first derivative of -r**3/3 + 3*r**2/2 + r - 1. Let z be k(3). Let d be (-1924)/(-3978) - (-6)/(-153). Does z = d?
False
Suppose -397 + 398 = w + 3*i, 4*w + 10 = -5*i. Which is greater: w or -79/21?
-79/21
Let m(w) = w**3 + 39*w**2 - 40*w + 45. Let l be m(-40). Let x be -3*3/l*-5. Is x equal to 2?
False
Let h = -7591 + 8412. Which is smaller: 820 or h?
820
Suppose 2*m = 3*m - 24. Suppose 21*z - m*z = 333. Which is bigger: z or 3?
3
Let o be (1 + 17/(-15))/(243006/2727). Is 1 less than o?
False
Let x = -24 - -24.029. Let q be 2/1*(29 + 2623/(-86)). Is q equal to x?
False
Let p be (-8)/(-16)*(10 + 208/(-20)). Which is smaller: p or -17?
-17
Let j = -6623 - -6576.7. Is 14 <= j?
False
Let x = -2.1735 + 2.1135. Is x at most as big as -1042?
False
Let f = -13356 - -13346. Let o(s) = -6*s - 16. Let z(d) = -13*d - 31. Let i(n) = -9*o(n) + 4*z(n). Let y be i(f). Which is smaller: 1/45 or y?
y
Let k(p) = -37*p - 1201. Let c be k(-23). Which is greater: -349 or c?
-349
Let f = 9642 - 9706. Are f and -15 equal?
False
Suppose 0 = -44*r + 369 - 281. Is r equal to 51/43?
False
Let t = -9 - -15. Let w be (t/(-225))/(-4 + 156/40). Suppose 2*h + h = 0, 0 = -3*b - 4*h - 3. Which is greater: w or b?
w
Suppose -105*x + 61*x = 2200. Let f(o) = o**2 - 15*o + 1. Let n be f(6). Is n at most x?
True
Suppose 36 = -15*g + 111. Suppose -114 = -2*h + 2*p, g*p - 10*p - 129 = -2*h. Is h < 52?
False
Suppose 31*j - 17871 = 8*j. Suppose -7*y = -j + 749. Is y <= -6/59?
False
Let a be 1587/(-51) + (-2 - -1) + (-2)/(-17). Is a smaller than -56?
False
Let c(f) = f**3 - 9*f**2 + 9*f - 6. Let w be c(8). Let a(b) = b**2 - 2*b - 405. Let z be a(21). Which is greater: z or w?
w
Let f(s) = 61*s**2 - 158*s + 159. Let b be f(1). Suppose 22 = 5*y + 2*h + h, 3*y - h - 2 = 0. Which is smaller: y or b?
y
Let v = -646823.081 - -646352. Let q = -471 - v. Which is smaller: q or 3?
q
Let y be (-1)/2*(-16)/(-2). Let o(v) be the third derivative of -v**5/60 - 7*v**4/8 - 41*v**3/6 - 15*v**2. Let l be o(-19). Do y and l have the same value?
False
Let n(c) = 2*c**2 - 26*c - 65. Let j be n(15). Which is greater: -66 or j?
j
Suppose 5*x + 457 - 1457 = 0. Suppose -3*q = -u + 50, -4*u + q + x = -4*q. Let z be -16 - ((-4)/(-10))/((-10)/u). Are -15 and z unequal?
True
Let r = -579 + 278. Let z be (-160 + 9)/((-12)/(-8) - 1). Which is smaller: r or z?
z
Let c(m) = m**3 + 11*m**2 - 34*m - 113. Let l be c(-13). Let t be 1/(-2) - (-442)/(-68). Is t >= l?
True
Suppose -247*i + 16880 + 9549 = 0. Which is greater: 111 or i?
111
Let v = 200 + -193. Suppose v = -5*k - 3. Do k and -8/5 have different values?
True
Let l be (-2)/(930/(-130) + 7) + 12. Let b = -42 + 61. Is b at most as big as l?
True
Let h = 3.23 + -80.43. Let g = 0.2 + h. Which is smaller: -1/3 or g?
g
Suppose s + 3*v - 9 = 0, 0*v - 12 = -4*v. Suppose s = 9*b + 25*b. Is -5/54 less than or equal to b?
True
Let t be (-44)/(-154) - ((-13578)/14)/(-3). Let a = 43604/135 + t. Is a > 1?
False
Let b be (-119 - 15)*(-266)/12. Let x = -2847 + b. Which is greater: x or 124?
124
Let l = -1991 - -1999. Is 94/11 != l?
True
Let g = -7137.018 + 7163. Let s = g - -0.018. Let k = s - 25.9. Is 8 at most k?
False
Let m = -823333/10 + 82214. Let d(v) = v**3 + 14*v**2 + 5*v + 15. Let j be d(-13). Let i = m + j. Which is smaller: 1 or i?
i
Let p(a) be the third derivative of a**6/120 - 11*a**5/60 + 19*a**4/24 + 5*a**3/6 - 105*a**2. Let f be p(8). Is -34 less than or equal to f?
False
Let k = 59 - 66. Suppose 2*s - 1877 = s - 5*v, 2*s = -4*v + 3748. Let c = s + -9398/5. Which is bigger: c or k?
k
Let w be (-638)/(-44)*705/(-10). Which is smaller: -1023 or w?
-1023
Let c be ((-1)/549)/(8/6). Let a be (-48)/(-120) - (-28)/(-20). Which is bigger: a or c?
c
Let r = 382.992 - 379.992. Let w be 6*((-2)/1 - 37). Let d = -1634/7 - w. Is d > r?
False
Suppose -254 = 2*l - 74. Let q = l - -56. Let p = q - -62. Is p less than or equal to 1/2?
False
Suppose 20*i + 1540 = 9*i. Are i and -3 non-equal?
True
Let m(o) = 604*o + 2555. Let j be m(-5). Is -458 not equal to j?
True
Let m = 1.75 + 34.15. Let j = -6.1 - m. Which is greater: -1 or j?
-1
Let v = 4.503 - 4.503. Which is smaller: v or -9.008?
-9.008
Let l = 2/98355 + 147827557/393420. Is l >= 377?
False
Let u = -6543 - -6550. Is u smaller than -30?
False
Suppose -119*c = -71*c + 1680. Is -11 less than or equal to c?
False
Let r = -40625.8 - -40626. Is -0.9892 smaller than r?
True
Let j = -13602 + 13619. Let d = 5.2 + 0.8. Let t = -6 + d. Which is bigger: t or j?
j
Suppose -4*r = -r - v - 49, r - 4*v = -2. Suppose -x - 5*x = -r. Suppose 0 = x*q - 2*q - 5*k +