/(-15) - (-40)/d). Which is bigger: 10 or r?
r
Let r = -137 - -95. Let p = 41 + r. Let i = 23 - 22.89. Is i < p?
False
Suppose -5*v + 4*t + 51 = 0, -3*v + 17 = -t + 2*t. Suppose 4 = q + s + 3, 2*s - v = -3*q. Suppose 4*y = -r + 61, -q*r + 12 = -y + 1. Are 13 and y nonequal?
True
Let a = -570.561 + -0.439. Let m = a + 569. Which is smaller: m or -164?
-164
Let r = 0.007 - 0.207. Suppose -a = 4*a + 20, -5*k + 5*a - 50 = 0. Let n = 29 + k. Which is smaller: r or n?
r
Suppose w - w = -w. Let k = -4669750/537 - -8696. Which is smaller: w or k?
w
Let z be (((-489)/(-9))/1)/((-7)/(-84)). Let k = -663 + z. Is -78/7 equal to k?
False
Let r = -44.984 - -45. Let c = -3913 + 3900.016. Let q = c - r. Which is smaller: -1 or q?
q
Let y = 283 + -468. Let l = y + 189. Which is smaller: l or 10/11?
10/11
Let h be (-336)/(-144) + 1/(-3). Suppose 4*w - h*w - 2 = 0. Which is smaller: w or -9/22?
-9/22
Let k = -64 - -78. Suppose x - 1 + 2 = -4*a, -x = -a + 1. Let c be 243/(-24)*-1 + (2 - x). Are k and c equal?
False
Let u = -77 - -99. Suppose 0 = -2*w + 4*p - u, -12 = 3*w - p + 16. Let o(d) = -4*d - 47. Let i be o(w). Are -7 and i equal?
False
Let i(q) = q**3 + 4*q**2 + 5*q + 7. Let b be i(-3). Let g be b + 11/(-9) - (-7)/(-9). Is g at least 1/384?
False
Let g = -7930 + 7931. Is g less than 5/1051?
False
Let o(w) = 4*w**2 - 26*w - 5. Let u be o(0). Are u and -2 unequal?
True
Let d(u) = 1350*u**3 - 2*u**2 + 2. Let i be d(1). Let f be (1/(-65))/(i/(-500)). Which is smaller: f or -1?
-1
Let y be 15 + -4*(-897)/(-260) + (-904)/(-455). Is y less than 3?
False
Suppose 0 = 6*u - 5*u + 1. Let r be ((-66)/(-55)*(-5)/(-2))/u. Let p be r - ((-156)/45 + (-1)/5). Which is bigger: p or 2?
2
Let w be (384/36 - 11)*51. Let q = 15 - 35. Which is bigger: w or q?
w
Let q(o) = -o**2 - 23*o + 89. Let l(d) = d**3 - 18*d**2 - 21*d + 12. Let g be l(19). Let s be q(g). Is -4 <= s?
True
Let y = 2837 + -3070. Let q = 179 - 412. Do y and q have the same value?
True
Let o(f) = -2*f**2 - 15*f + 27. Let p be o(-8). Suppose 397 - 150 = -p*w. Let n = 17 + -24. Which is smaller: w or n?
w
Let j = 7.865 - -9.21. Let f = 0.075 - j. Is 2 >= f?
True
Let a = 1758 - 1781. Let s = 0.6 - 2.6. Which is greater: s or a?
s
Let n = 0.2814 + -0.4714. Is n > -3.4?
True
Let s(k) = 6*k - 13. Let o be s(3). Suppose 0 = -2*h - 3*j + 436, -o*j + 7 = -3. Suppose 170 + h = 11*w. Is 0 > w?
False
Let j = 27285563925/8382212072 - -18/6199861. Let d = j - 22/169. Is d < -0.1?
False
Let k(s) = -3*s + 6*s - 4*s - 28. Suppose -4*g + 120 = -4*p, 4*p - 26*g + 106 = -29*g. Let i be k(p). Is 1/20 less than or equal to i?
False
Suppose 0 = 349*i - 347*i + 222. Let t = 75 + i. Are -36 and t non-equal?
False
Let n be (-4 + (-4)/(-8))*(-16)/28. Let y = -4 + n. Does 43 = y?
False
Let n = -1.3 + 0.3. Let o = -1231.3 - -1218. Let u = 0.3 + o. Which is smaller: u or n?
u
Let m(q) = q**3 + 11*q**2 - 2*q - 21. Let v be m(-11). Let o be (-12)/18*(-20)/(-8). Let u = -77/45 - o. Which is smaller: u or v?
u
Suppose 70 = 5*u + 5*m, -4*u - m + 77 = 27. Let n(g) = -6*g + 73. Let x be n(u). Which is bigger: x or -4/23?
x
Let c be (-2 + 2)/(108/(-9) + 11). Is c less than 15/14?
True
Let i = 1.263 - 1.063. Are -1237 and i non-equal?
True
Let r be (-3)/((4 - 3)/3). Let m be (-2 + 8 + r)/(2 - 1). Is m smaller than -21/5?
False
Let p be 28/(-10)*-5 + -8 + 1. Let d be 2/9 - (-1624)/63. Are p and d non-equal?
True
Let k = -445 + 446. Let j = 23513/51 + -461. Is j at most k?
True
Let y be (-14224)/(-144) + 4/18. Let u be (-873)/y - -9 - (-367)/(-2079). Is u less than or equal to 0?
False
Suppose 0 = -5*n - 2*l + 4224, n = 3*l + 2*l + 861. Let t = n - 702. Is 575/4 greater than or equal to t?
False
Let s = -12002 + 12001.7. Which is greater: s or 38/13?
38/13
Let s(q) = -4*q**3 + 99*q**2 + 22*q + 74. Let p be s(25). Which is greater: -3/574 or p?
-3/574
Let g be 1/((-114)/(-76) - 142/92). Is g at least as big as -32?
True
Let q = 226 - 157. Let p = -434.49 - -433.49. Is p <= q?
True
Let o(a) = a**3 - 4*a**2 - 5*a + 5. Let u be o(5). Suppose 0*h + 30 = -u*h. Let w be 20/8 + -1 - h/(-4). Is w at most -0.16?
False
Let k = -5 + -36. Let q be (115/(-10) + -5)*2. Let z = k - q. Is -8 != z?
False
Let i(k) = k**3 - 11*k**2 + 13*k + 104. Let t be i(7). Is t at most -1862?
False
Let z = -142.03 - -151.1. Let j = z + -2.92. Let v = 6.2 - j. Is 0 at least as big as v?
False
Suppose -3*i - 3*u = -3 - 12, -2*i + 5*u + 3 = 0. Suppose -3*c - i*n + 13 = 0, -1 = c + 4*n - 0. Are c and 31/5 non-equal?
True
Let p be 1 + 4/(1 + 0). Suppose -4*m + 12 = 3*h + h, -3*m = 0. Let t be (h/6)/(390/120). Which is smaller: t or p?
t
Let x = -2.235 - -2.835. Is x greater than -20/97?
True
Let i be -5*10930/150 + 0. Is -365 equal to i?
False
Suppose 19*d - 18*d - 16 = -5*t, 0 = -3*d + 3*t - 6. Which is smaller: -12/199 or d?
-12/199
Let x(t) = -3*t**2 - 19*t + 802. Let f be x(14). Suppose o = -2*o - 150. Which is smaller: o or f?
f
Let j(o) = o**3 + 2*o**2 + 20*o + 343. Let b be j(-8). Let z be (-4)/(-14) + 1416/(-7). Which is bigger: b or z?
b
Let h(j) = 11*j - 1 - 5 - 3*j**2 + 4*j**2 + 0. Let d be h(-11). Which is greater: d or -72/13?
-72/13
Let p = 29289 + -14632. Do 1 and p have the same value?
False
Let f be 6108/9 + -7 + (-2)/(-6). Let b be (-6)/(-10) - f/(-1280). Let z = 0 - -1. Is b at least as big as z?
True
Suppose -5*j - 139 - 31 = 5*f, 3*j + f + 96 = 0. Let i be (7 + j/4)*8/(-202). Which is greater: i or 1?
1
Suppose -9*w = 8*w - 17. Let f be w - 174/444 - (-1)/(-2). Does 1 = f?
False
Let b = 14915 - 1595859/107. Is 0 at most as big as b?
True
Let s = -346 - -205. Suppose -492*o - 14038 = -8460 + 63302. Which is greater: o or s?
o
Let n = 3047 - 1116. Let j = 73373/38 - n. Which is greater: j or 0?
0
Let i be (-108)/(-27) + (-2 - 1). Do i and -2/593 have the same value?
False
Let y be 4/(-8) + (2 - (-56)/(-16)). Is -64/47 greater than y?
True
Let w(d) = d**3 - 29*d**2 + 26*d - 18. Let j be w(28). Let a = -98 - j. Let b be ((-71)/78)/1 - (-4)/a. Which is greater: b or -1?
-1
Let w be -1 - ((-40 - -29) + (-2)/((-4)/10)). Suppose 2*j + r - 8 = 0, 3*j = -0*j + 5*r - 14. Suppose -j = w*o - 7. Is o smaller than 3/40?
False
Let h be 26/(-18) + (4/(-1))/(-4). Suppose -5 = c - 4*k + 8, 5*k - 8 = 4*c. Let o be (-15)/10 - c/(-2). Are o and h nonequal?
True
Let y = 19875 + -30087. Which is greater: -10213 or y?
y
Suppose -4152*n = -4154*n. Are n and -2/2361 equal?
False
Suppose -10*g + 20*g - 6200 = 0. Suppose -3*z = 4*l + g, -3*z - 2*l = -79 + 707. Which is smaller: z or -210?
z
Let p = -4.98107 + -0.01893. Are 151 and p equal?
False
Let u be (11/(-3861))/((-2)/12)*24/(-16). Which is greater: u or 1?
1
Suppose -580 = 157*x - 137*x. Which is smaller: x or -58?
-58
Suppose i - 26*i = 1270 - 1345. Which is bigger: 7/4 or i?
i
Let o = 2235 - 2239. Is o at least as big as -421?
True
Suppose 5*i - 8*i + 48 = 0. Let v = 37 + -23. Which is bigger: v or i?
i
Suppose 0 = -2*y - h + 9, -1 = 5*y + h - 16. Let j be 1945/(-30) + y/(-12). Let c = j - -1171/18. Which is smaller: c or 0?
0
Let g = 79955885/579 - 138093. Do 0 and g have different values?
True
Suppose -4*o + 1637 = -5*x, -5*o + 8*o = 3*x + 984. Which is smaller: -319 or x?
x
Let w = 10309 + -10308. Which is smaller: w or 2/9169?
2/9169
Let t be -41 - (10 + (-10 - -3)). Is -42 equal to t?
False
Let j = -6 + 2. Let t be ((-2)/(-3))/(j/114). Suppose 5*p + 7 = -3, 5*d + 2*p = -114. Which is bigger: t or d?
t
Let i = -122 + 274. Let g = -159 + i. Which is bigger: 1.1 or g?
1.1
Let a = -0.361 - -0.017. Let p = 0.534 + a. Which is bigger: 7/6 or p?
7/6
Let l be (11 - 37)*(-222)/21. Which is greater: l or 274?
l
Let t = -139.089 - -139. Let o = 70.911 - t. Let r = -21 + 21. Which is smaller: r or o?
r
Let u = -0.213 + 106.213. Let z = u + -25. Let w = z - 81.1. Which is smaller: w or 17?
w
Let z = -596.8 - -435. Let w = 165 + z. Are 3 and w non-equal?
True
Let o(f) be the first derivative of 11*f**4/2 - f**3/3 + 3. Let h be o(1). Let t(y) = y**3 + 4*y**2 + 3*y - 10. Let j be t(2). Do h and j have the same value?
False
Let z(h) = -h**3 + 3*h**2 + 33*h - 9. Suppose i + 5 = -k, 3*i - 2*k + 13 = -2. Let s be z(i). Is s greater than 107/4?
False
Let j = -2453/386555 - -3/313. Is 1 < j?
False
Let b be (-1191311)/(-312) + 228/342. Let z = b + -381