-d**2 - d + 2. Suppose -2*q - 10 = -20. Suppose -q = 4*c - 3*v, -2*c + 9*v - 13 = 4*v. Let y be b(c). Which is greater: 2/99 or y?
2/99
Let g = -0.25 - 0.15. Let a = 50 + -53. Do g and a have the same value?
False
Let y = -4356.06 - -4356. Is y at least as big as -3.08?
True
Let a be (-267)/39 + (-1)/((-39)/(-6)). Let m = -117 - a. Let n be 73*(-1)/m - (-8)/(-10). Which is greater: n or 0?
0
Let j = 54889/10 + -5483. Let s = j + -27/5. Let p = 17 - 15. Which is smaller: s or p?
s
Let s = 113 + -111.04. Let h = 24 + -24.96. Let c = h + s. Which is smaller: c or -7/12?
-7/12
Let h(n) = -2*n**2 + 12*n - 24. Let v be h(7). Let p(x) = -3*x + 39. Let g be p(26). Is g != v?
True
Suppose 3*c - 6 = 5*c, -14 = -2*i - 2*c. Let j be (-98)/(-10) - (-2)/i. Let h be (j/55)/(15/3). Which is smaller: 0 or h?
0
Let q = -87 - -374. Let r be (1/(-2))/1*410/q. Let x = -536/1925 - 2/275. Which is smaller: r or x?
r
Suppose 10128 = 5*l - 2*u, u = -2*l + 5554 - 1510. Let y = -159898/79 + l. Are 1/3 and y equal?
False
Let v = -1398 + 102051/73. Let p be ((-324)/(-730))/(276/15). Let s = v - p. Does -1 = s?
False
Let l = -30709973/302 + 101689. Is l <= -1?
False
Suppose 5*p - 4*q - 26 = 0, -2*p - 2*q - q - 8 = 0. Let s be 3/p + 27/2. Let g be 193/65 + s/(-5). Which is bigger: g or -1?
g
Let s = -101468927/1016 - -99871. Is 0 at most s?
True
Suppose -3*c - j + 700 + 7 = 0, 3*j = 4*c - 921. Let x be -9*(-13)/c + 62/(-4). Is -14 less than x?
False
Suppose 0 = 10*x - 171 - 429. Let u = x + -43. Let s = u - 23. Which is smaller: -5 or s?
s
Let o = 765354 - 1025574413/1340. Let w = 6/67 + o. Let b(t) = -932*t + 5593. Let h be b(6). Is w not equal to h?
True
Suppose 264 = -10*v + 5*v - 431. Which is smaller: -133 or v?
v
Suppose -16 = 3*g + 4*y, y + 31 - 72 = 3*g. Let i be (-3 - 38/(-14))/(g/(-21)). Let w = 0.15 - 0.3. Is w less than i?
False
Suppose -192*h + 324 = -183*h. Let s be 90/h*(-48)/145. Which is smaller: s or -1?
-1
Let p(m) = m**3 + m**2 - 2*m + 10. Let t be p(0). Let r be (t/15)/(3/(-126)). Suppose -x - c = 20 + 12, 8 = -x + 5*c. Are r and x non-equal?
False
Suppose 26*z = -119*z + 3*z - 2232950. Are z and -15724 unequal?
True
Let y = 82 + -78. Suppose 173 = y*d - 3*c, 4 = 4*d - c - 179. Which is smaller: d or 41?
41
Let g = -14902 - -288458012/19357. Do g and 0 have different values?
True
Let d = -0.24 - -8.24. Let i = d - 20. Let n = i - -14. Is n less than -0.3?
False
Let s = -757/5796 - -11/252. Suppose -3*u + 1 = -8. Suppose -5*k + 10 = -2*n, -8 - 7 = -3*k + u*n. Which is bigger: k or s?
k
Let f be (-191)/(-4) + 0 - 9/(-36). Let z = -65 - -70. Suppose z*q = 2*r + 245, -4*q + 116 = -q + 5*r. Is q less than or equal to f?
True
Suppose -n - n = 4*n. Let j be (-1083)/33 + 8 + n + -3. Which is smaller: j or -29?
-29
Let b be (55/297)/(125/150). Does 2 = b?
False
Let t = -82 - -77. Let v be -2 + (-13)/t - (-4)/10. Let c = 1.1 + 3.4. Is c at least v?
True
Let b = -27.97 - -26. Let i = b - -1.6. Suppose 2*f = -2*v - 8, 52*v - 4*f = 48*v + 24. Which is smaller: i or v?
i
Let a = 68 - 50. Suppose o + 4 = 0, 0 = 3*m - 7*o + 4*o - 60. Is a at least as big as m?
True
Suppose -246 - 834 = -18*c. Let p be c - (-4)/((-2 - 3)/(-5)). Is p < 127/2?
False
Let w be 86/(-5*14/(-315)). Let n = 387 - w. Is -8/19 less than or equal to n?
True
Let r(c) = c + 13. Suppose -14*s = -17*s + 39. Let x be r(s). Let v be 29/399 - x/182. Which is greater: -1 or v?
v
Let b be 2 + -1 - (1/(7/(-49)) + -2012). Which is smaller: b or 2021?
b
Suppose -5*s - 4*p = -s, 0 = -3*s + 2*p + 10. Suppose 2*n - s = 0, k + 0*n - 7 = -5*n. Let c be 6/(-15) - ((-2)/5 + k). Which is smaller: 1 or c?
c
Let o be 2/(-3) + (1446/540 - 2). Let f = o + 7/45. Let d = -6.7 + 7. Which is greater: d or f?
d
Let u = 79 + -79.171. Let h = 0.571 + u. Let k = -0.7 - -6.7. Which is smaller: k or h?
h
Suppose g - 8*f = -3*f + 18, 0 = 2*g + 4*f + 6. Suppose 3*k + 3*b - 12 = 0, 2*k - 6*k = g*b - 13. Let w(o) = 8*o**2 - 2*o + 1. Let v be w(k). Are 7 and v equal?
True
Let h = 17 - 14. Suppose -4*a - 5 - h = -5*t, -a - 1 = -t. Let g be t + -134*(-3)/(-99). Which is greater: g or -1?
g
Let i be 1/(-3) + (-3)/(-9). Suppose -4 + i = 4*l. Let q = 16434741/5 + -3286949. Is l at most as big as q?
True
Let o = -23.971 - -24. Let r = -4.271 - o. Let f = r - -5.3. Which is smaller: -31 or f?
-31
Let s be (-26*33/(-2145))/((-1)/16). Let a = -12 + 5. Does a = s?
False
Let y = 25857 - 26424. Which is bigger: y or -1133/2?
-1133/2
Let r be (1 + 6/(-4))/(23/3542). Suppose -2*y = y + 5*x + 244, -4*y = -x + 310. Is r equal to y?
False
Let c = 0.2345 + -0.0345. Which is bigger: c or -4/2013?
c
Suppose -1242 = -10*h + h. Let t = h + 31. Which is bigger: 168 or t?
t
Suppose 3 = t, 3 = -4*i - 103*t + 104*t. Which is smaller: -6/5477 or i?
-6/5477
Let t(x) = x**3 - 11*x**2 + 4*x - 26. Let n be t(11). Let r be n/15*60/6744. Which is bigger: 1 or r?
1
Let b = -415.977 + -0.023. Let t = 399 + b. Which is smaller: -3 or t?
t
Suppose 5*y - 364 + 394 = 0. Let c be (-4)/(-18)*y*198/4. Which is bigger: -196/3 or c?
-196/3
Let b = 333 + -405. Let l = -84 - b. Is -12 greater than l?
False
Let t = -4659 + 5141. Is 6 bigger than t?
False
Let t(a) = -13*a - 26. Let q be t(-6). Suppose 57*r - q = 59*r. Let w = -25 + 0. Is w at least r?
True
Suppose -3*t - 7 = 17. Let m be (-2 - t)/(-2 + 34/(-4)). Are m and 16 nonequal?
True
Let o be 4 + (2 - 2/(-1)). Let u be o/32 - 42/(-40). Are u and 2 nonequal?
True
Let f = -2714 + 157413/58. Which is smaller: f or 307?
f
Let x = -0.34984 + 0.24984. Let i = 11.8206 + -0.1306. Let s = -11.2 + i. Which is greater: x or s?
s
Suppose -2*l - 3*d + 12 = l, 0 = 3*l + 5*d - 22. Let a(w) = -8*w**3 + 2*w**2 + 3*w. Let y be a(l). Let q = 13 - y. Is 4/7 <= q?
True
Suppose -22*i = 1319 + 873 + 602. Is -128 at least i?
False
Let m(l) = -2*l**3 + 26*l**2 + 2*l - 25. Let q = 58 - 45. Let r be m(q). Is -1/101 less than or equal to r?
True
Let q(r) be the first derivative of r**4/4 - 17*r**3/3 + 22*r**2 - 28*r + 62. Let m be q(14). Which is greater: m or -71?
m
Let u = 14212 - 14148. Which is smaller: u or 56?
56
Suppose 5*z = -125 - 30. Which is smaller: 2 or z?
z
Let s be (2/12)/(5781/5076). Which is smaller: -3 or s?
-3
Let c = -148 - -371. Suppose -4*m = 5*k - 5*m + c, 0 = -5*k - 5*m - 235. Let v = k - -52. Which is smaller: v or 11/2?
11/2
Suppose 3*b = 265 - 31. Suppose p + p = b. Suppose -p*r + 36*r = 12. Is -3 > r?
True
Let p = 60 - 66. Which is greater: 45 or p?
45
Let u(n) = -3*n + 13. Let h(r) = -4*r + 19. Let t(c) = 5*h(c) - 7*u(c). Let a be t(-4). Which is greater: a or -1/114?
a
Let w = 74002/125 + -592. Suppose 10*c + 338 = 58. Let i be -8 - (-4)/((-16)/c). Is w > i?
True
Let b = 70483/127 + -555. Suppose 289*h + 227 = 43 - 105. Is b >= h?
True
Let z = 3200 - 158. Which is smaller: z or 3040?
3040
Suppose 6*x + t + 2508 = 8*x, 0 = -4*x - 4*t + 4968. Which is greater: x or 1244?
x
Let f = 210059/17717 - -2/2531. Which is bigger: f or 12?
12
Let z = -65 + 87. Suppose -q = 3, -2*g + 2*q + z = -0*q. Let m be 3*(-4)/g*(-10)/(-57). Is m at least 0?
False
Suppose -7257 = -2*x + 3*i + 290, 4*x = i + 15109. Are 3777 and x non-equal?
True
Let l be -2 - (-5 + -3 + 138/18 - 2). Which is greater: 303/7 or l?
303/7
Let q be ((-6)/42 + 12/(-14))/1. Let u(t) = -124*t**2 + 2*t. Let r be u(q). Do r and -126 have different values?
False
Let j be ((-15)/9 + 2548/(-42))/1. Suppose 2*k + 3*n + 107 = 0, 5*k + 310 = -0*k + n. Which is smaller: j or k?
j
Let c = -15.42 - -51.42. Which is smaller: c or 4.5?
4.5
Let b be -12 + 703728/59025 + (-2)/25*-1. Are b and -0.2 equal?
False
Let n = -2588 + 2587.895. Is n greater than or equal to 0.1?
False
Suppose -17*y + 438 = -378. Let q be -1 - (558/y + -4). Do q and -10 have the same value?
False
Let d be (-12)/(-14)*54116/978. Which is bigger: -0.3 or d?
d
Suppose 0 = -4*y - 0*y + 200. Let j = 2468 - 2419. Which is smaller: j or y?
j
Suppose -7 = 3*v - 40. Suppose -2 = -9*z - v. Let j = 1/104 + -319/728. Is z at least as big as j?
False
Suppose -4*a + 3*y + 9 = 0, 5*a + 7*y - 19 = 3*y. Suppose 4*d = a*x + 53, -110 = -5*d - 2*x - 3*x. Suppose -d + 19 = 2*h. Which is smaller: 1/26 or h?
1/26
Let g = -51 + 26. Let c = -738 + 712. Is g bigger than c?
True
Let z(s) = -s**2 - 9*s + 21. Let w be z(-10). Suppose -3*u 