-2*x - 2*x. Suppose -2*g + 68 = x. Is g > -0.1?
False
Suppose -136*u - 46 = 116 - 26. Which is smaller: -18/577 or u?
u
Let b be 3 + (-17283)/6471 + (9 - (-112)/(-12)). Which is smaller: b or -2/11?
-2/11
Let r = -71 + 73. Suppose r*x = a - 11, -3*a + 25 = 2*a - 4*x. Which is smaller: a or 2/25?
2/25
Let s = 9589 - 9588. Which is smaller: s or 1.401?
s
Suppose 0 = -3*x + 4 + 2, 0 = 5*f + x - 27. Suppose -3*q + 5*w = 23, -11 = -f*q - 3*w - w. Is 2/11 greater than q?
True
Let a = -81 - -83. Suppose 0*f + f = 3*j - 9, -5*f - 4*j = -50. Suppose -a*l - f = 12. Which is smaller: -0.1 or l?
l
Let m = 1927/1045 + -260/209. Let u(d) be the second derivative of d**3/6 - 3*d**2/2 - d. Let w be u(4). Which is greater: w or m?
w
Suppose 21942 - 21667 = -11*g. Which is smaller: -56 or g?
-56
Let h be (-5 - -3)*(-2)/(-4). Let t be (-1488)/87 + 748/44. Is t less than h?
False
Let v = -5489 + -3680. Does -9169 = v?
True
Let p be (-4 + -11)/(10422/(-60) - 6). Does p = 1?
False
Let s = -4480 - -6574. Which is greater: 2095 or s?
2095
Suppose -k + 46 = -3*i, -2*i - 5*k = -4*i - 35. Let w = i + -101. Which is smaller: -117 or w?
-117
Suppose f - 49 + 48 = 0. Let m(y) = 51*y + 9. Let x be m(f). Which is greater: x or 59?
x
Let f be (37/5)/(3 + 224/(-80)). Is f at most 29?
False
Let a = 19230700597/4375372155 + 2/4186959. Let u = 1/209 + a. Is 4 greater than or equal to u?
False
Let q be (-48)/(-128)*-8 - 1351. Which is bigger: -1355 or q?
q
Let b(m) = 171*m + 56. Let j be b(-8). Let k be 6/8*(-1 - j/24). Is 41 >= k?
True
Let j = -6337/2 - -3166. Is -15 greater than j?
False
Let p = -535859/260 - -2061. Which is greater: 6 or p?
6
Let r = -769.99089 - -0.09089. Let g = 770 + r. Which is greater: g or 3?
3
Let u(m) = 10*m - 39. Let h be u(6). Let p = h - 17. Let c be 6/12 - 2/p. Is 2/97 smaller than c?
False
Suppose -3*z - 76 = -7*z. Let f(y) = -y**2 + 11*y + 8. Let m be f(8). Suppose -m*n + 33*n = 20. Is n >= z?
True
Suppose 0 = 2*x + 34*x + 48 - 84. Is x < -2/62315?
False
Let l(v) = -12*v + 17. Let g(y) = -25*y + 33. Let k(s) = 2*g(s) - 5*l(s). Let d be k(0). Let w = 28 + d. Which is smaller: 0.6 or w?
0.6
Suppose 594*b = 583*b + 1386. Which is smaller: b or 113?
113
Let u(r) = r**2 - 8*r - 62. Let j be u(-5). Suppose 4*c - j*i = -187, -2 = -3*c - i - 152. Which is greater: c or -46?
-46
Let u = 792.26 - 806. Let o = u + -0.26. Let z = o + 14. Which is bigger: z or 0.07?
0.07
Let u = -1371835/2108 + -250/527. Let t = u + 651. Which is smaller: -81/5 or t?
-81/5
Let t(w) = -w**3 - 2*w**2 + 4*w - 2. Let c be t(-3). Let x be (c/(-20) - (-1244)/16) + 0. Is x at most as big as 79?
True
Let p be -10 + 4300/(-42) + 60/(-90). Do p and -114 have the same value?
False
Let x be (4/(-34))/(1/4). Suppose -3*r - 78 = -3*n, -5*n + n = r - 79. Suppose 0 = -2*q - 21 + n. Are x and q equal?
False
Let k be 4 + (334/(-2))/(-1). Suppose -8*l = 11*l - k. Which is smaller: l or 73/8?
l
Let w = 1348635 - 35074553/26. Let q = w + 386. Which is bigger: q or 0?
0
Let l = 26 + -24. Suppose 0 = t - 5*t + 5*c + 113, -l*t - c = -39. Suppose 7*m + 130 = 291. Is m smaller than t?
False
Suppose 9*d = 16*d - 28. Let x be ((-11)/4213)/(d/(-8)). Is x less than -1?
False
Let n = -225.5 + 38.5. Let h = 191 + n. Is 0.2 at most as big as h?
True
Let i be (-34 + 6)/(-4) + 0. Suppose t - i*t = 12. Which is smaller: 4 or t?
t
Suppose 3*y + 2482 = -26*f + 25*f, -3309 = 4*y + f. Is -824 greater than y?
True
Let t be (-27)/((68965/40)/(-13) + 4). Is 1 at least as big as t?
True
Let k(s) = 65*s + 4. Let n be k(0). Suppose -1 - 3 = -2*p - 2*v, -2*p - 4*v + 6 = 0. Are n and p unequal?
True
Let k(h) = 4*h**2 + 163*h - 42. Let n be k(-41). Let q be -1*-2*1/2. Let c be (-15)/6*q + 2. Is c < n?
False
Suppose 24*m = 20*m + 40. Suppose 10 = -11*z + m*z. Let y be ((-13)/(-2))/((-1)/z). Is y greater than 64?
True
Let t = -55.9829 - -1.0709. Let q = 0.088 - t. Let d = q - 28. Is -1/2 not equal to d?
True
Suppose 51*g + 3411 = 46*g - 2*q, 2047 = -3*g - q. Let h = 2731/4 + g. Which is greater: 10/3 or h?
10/3
Suppose -3*l + 6 = -c - 2*l, -3*c + 22 = 5*l. Let h be 8/12*3*(c - 0). Let k be ((-3)/72*14)/((-15)/(-40)). Is h smaller than k?
True
Let n = -33 + 31. Let r be (10 + -12 + 23/14)*n. Is 0 less than or equal to r?
True
Suppose 0 = 5*k + 4 - 4. Let x(f) = k - 9 + 3 - 4 - f. Let s be x(-14). Is s less than 14/3?
True
Suppose -101*j - 50*j = 81*j - 39*j. Let h = 17 + -8. Let m be 2/3 - 51/h. Is m at least as big as j?
False
Suppose 2*k = 5*z - 9061, 179 + 3465 = 2*z + 2*k. Which is smaller: 1820 or z?
z
Let j(s) = s**3 - 7*s**2 - s - 3. Let c be j(5). Let o = 54 + c. Let p = o + 5. Is -0.9 at most p?
True
Let v = -3253 - -3155. Is v at most -484/5?
True
Suppose 0 = 5*w + 3*y + 4, 0 = 4*y + 2 + 10. Let v(i) = i**3 - 120*i**2 - 487*i - 970. Let q be v(124). Is w smaller than q?
True
Let d = 196 + -1232. Which is bigger: -1038 or d?
d
Let w = 4615 + -2357. Which is bigger: 2260 or w?
2260
Let x(f) = -3*f**2 + 7*f - 13. Let u(m) = -m**2 - m. Let l(n) = -2*u(n) + x(n). Let s be l(6). Let a be 2 + 0/s - -5. Does a = 7?
True
Suppose -z - 2*p + 461 = 0, 0 = -2*z + 2*p - 7*p + 917. Let y = -2825/6 + z. Are y and -12 equal?
False
Let j = -11411360/147 + 77628. Which is smaller: j or 1?
j
Let b = -0.43 - 59.57. Let q = 48 + 11. Let v = q + b. Are v and -17 equal?
False
Let b be -5132 - (1 - 7)/(213/(-284)). Which is smaller: b or -5139?
b
Let c = 101/65 - 119/130. Let o = c + -9/65. Is 0.16 at most as big as o?
True
Suppose d - 2*q = 202 - 1, d - 225 = -4*q. Suppose -2*k = i + 21 - 228, 4*k = -4*i + 832. Is d < i?
False
Let s be 6/8 + 183/(-24)*-2. Suppose -3*k + 8*k + d = -9, 3*d = -4*k - s. Let q = -209 - -204. Which is smaller: q or k?
q
Let j(s) = 2*s**3 + 38*s**2 + 10*s - 173. Let z be j(-19). Which is smaller: -392 or z?
-392
Let x be 6 - 239/(-5) - (-2)/10. Let k = x - 49. Suppose -3*w - w + 8 = 0, a + k*w + 82 = 0. Which is greater: a or -93?
a
Let v be (-462)/385*30/87. Is v less than 0?
True
Let v = 6793 - 6932. Are v and -151 equal?
False
Let b = -176.57 + 176.47. Which is smaller: -2.1644 or b?
-2.1644
Let i = 528 + -519. Let x(b) = b**3 - 9*b**2 - 16*b + 159. Let c be x(i). Is -1 equal to c?
False
Let y = -3305 - -4835. Which is greater: 1529 or y?
y
Suppose 0 = -4*t + 4, 2*k - 136 = t + 375. Suppose 43*j - 51*j - k = 0. Is j smaller than -32?
False
Let z = -499725 + 499947. Let i(m) = m**2 + 222. Let a be i(0). Is z greater than a?
False
Let q(b) be the second derivative of -b**3/3 + b**2 - b. Suppose 15*h - 7 = -t + 10*h, 0 = -2*t + 3*h + 1. Let w be q(t). Is w != -6/5?
True
Let r(m) = -3*m - 116. Let f be r(-38). Let z be 2 + -12 + (-4)/f*1. Let u(y) = -y**2 - 6*y - 9. Let c be u(-6). Which is bigger: z or c?
z
Suppose 2*o - 14 = -3*q + 109, -4*q - 20 = 0. Let k be 6/o + 3656/(-48392). Which is smaller: 0 or k?
0
Let y = -55 - -61. Suppose 3*i - 19 - 113 = 0. Let w be i*((-17)/6 + 3). Is y greater than w?
False
Let v be (-15)/(1650/(-139546)) - (8/5 + -2). Is 1256 at least as big as v?
False
Let w = -204 + 192. Let n be -5 + w/(-14)*7. Which is greater: n or -16/9?
n
Let k be (-1 - 291/(-12))*16/86. Let o be (12/(-9))/((217580/(-141432))/(-5)). Let w = k + o. Which is smaller: w or 0?
w
Let m be ((-4)/(-8))/(22/456). Let h(v) = 2*v**3 + 8*v**2 - 16*v - 21. Let k be h(-5). Is k equal to m?
False
Suppose -71*o + 208*o = 579921. Is 4234 equal to o?
False
Let w = -12 + 11. Let f be -54*(w - 2)/(24/16). Which is smaller: f or 106?
106
Let l(f) = -f + 9. Let d be l(-4). Let w be d/2 + -2 + (-1)/2. Which is smaller: 14 or w?
w
Let w be (-3 - -2) + 5/(15/(-399)). Let f = w + 121. Let d = -3.08 + 0.08. Which is bigger: d or f?
d
Suppose -32 = 22*i - 230. Let s be 2*i/(-30) - -1. Which is smaller: s or 10?
s
Suppose -6*l + 5 = 5*g - 2*l, -5*l = 4*g - 4. Let u be -2*(-5)/(-55) + 832/4092. Does g = u?
False
Let a = 12605904463/103 - 122383470. Let h = a + -3952. Let d = h - -56/5459. Are 0 and d non-equal?
True
Let c = -8060 - -8059. Is c greater than -0.3721?
False
Let v = -1116.28 - -21.28. Let h = v + 1029. Let x be 1/(0 + (-3)/2). Is x less than h?
False
Suppose 5*u - 139 - 125 = -119. Are u and -86 unequal?
True
Let s be (1/2 + -2)*2/12. Let z(m) = -10*m - 24*m + 8*m. Let y be z(1). Is y at least s?
False
Let v = -616 + 