 = -293/6105 + n. Let p(j) = j + 2. Let d be p(-3). Is d != i?
True
Let v = 82 - 47. Let y = -12 - v. Let s = -205 + 158. Is y less than or equal to s?
True
Let p = 137.199 - 1.199. Let b = 132.93 - -0.07. Let i = p - b. Are -14/5 and i equal?
False
Let z be 1 + (-2)/(-4)*0. Let k = 9470/41 + -231. Let g = k + 290/123. Is g less than or equal to z?
False
Suppose 10*s - 6 = 2 + 2. Do s and 60/29 have different values?
True
Let l(m) = -93*m + 938. Let p be l(10). Which is smaller: 84/11 or p?
84/11
Suppose 8260*w = 8272*w + 132. Let g(k) = -5*k**2 + 4*k**2 - 6 + 0*k**2 - 12*k. Let t be g(w). Is 5 equal to t?
True
Let p be (-5)/(5 + -10)*(9 - 21). Do p and -10 have the same value?
False
Suppose -10*z - 4*d = 10296, -2*d = 2*z - 0*d + 2064. Is -1030 less than or equal to z?
True
Suppose -3*y = 2*s - s - 4, -y - 3*s = -4. Is y at most as big as -1/2834?
False
Suppose 3*c + 3*d - 8991 = 0, 5*d + 3170 = 2*c - 2789. Suppose -908 - c = -30*r. Is r bigger than 132?
False
Let c = -27.919 + 12.919. Is c at most -198?
False
Suppose 5*w = 5*g - 95, -4*g + 52 = -4*w + 6*w. Suppose -3*m = -3*m - g*m. Suppose 6*i - i - 4*k - 177 = m, k - 76 = -2*i. Which is greater: i or 36?
i
Let u = -43 - -40. Let w be 5/u*(84/45 - 2). Is -7 at least as big as w?
False
Suppose 2*x + 4 = 0, 6*x = -k + 5*x. Let a be (-495)/125 + k - -2. Which is bigger: a or 0?
a
Let c = -7.68 - 57.22. Which is greater: -1 or c?
-1
Let r(x) = x**2 + 16*x + 27. Let h be r(-9). Let l be (-9)/2 - h/(-24). Let y be 99/154*4/l. Which is bigger: y or 2?
2
Let d = 25 - 83. Let s = d - -8. Let m be -4 - (305/s + 2). Is -8 != m?
True
Suppose -24 = 4*x + 56. Suppose 9*a - 7*a = -j - 13, 2*j + a + 38 = 0. Which is bigger: j or x?
x
Let o = 22009 - 13147. Do o and 8863 have the same value?
False
Let c be 4/10 - 242/(-61160)*-112. Which is smaller: 5 or c?
c
Suppose -110*x - 66 = 27*x + 208. Suppose 7 = v - 17. Let m be (18/v)/(2/(-8)). Is x at least m?
True
Let s(x) = -x**2 + 7*x + 1909. Let v be s(-39). Is 71 smaller than v?
True
Suppose 4*n + 41 = 89. Let c be 3 + 212/(-48) + n/8. Let i be (1/3)/((-1)/(-3)). Are i and c nonequal?
True
Suppose -3*t + 15685 = -2*u, -2258*t + 2255*t - 2*u = -15701. Is t bigger than 5231?
False
Let i = -2761 - -2769. Is i <= -2/513?
False
Let u(o) = -3*o**2 - 110*o + 73. Let h be u(-43). Is -743 >= h?
True
Suppose -2*j + 5*j = 54. Suppose 0 = -6*t + 5*t + 2, 0 = 2*n - 5*t - 86. Suppose 11*u = 14*u - n. Which is greater: u or j?
j
Suppose -182*q + 192*q = 9910. Which is smaller: q or 4954/5?
4954/5
Let t = -179.4 - -181.4. Which is smaller: t or -1/1223?
-1/1223
Let h be 392 - (4 + 0/4). Suppose 3*b + b = h. Suppose 4*t - 5*x + b = 0, 5*x + 18 = 3*t - 4*t. Is -25 at most t?
True
Let t be (-18)/(-9) + (-35)/1. Let u = 129 + -142. Let s = u + 13.1. Which is smaller: t or s?
t
Suppose -5*v + 10 = -2*f, 5*v - 6*v - 3*f = -19. Let r be (3 - v)/(3/(-27)). Does 15 = r?
False
Suppose -i + 3*i + 1212 = -5*x, 0 = -5*i - 3*x - 3087. Which is greater: 1 or i?
1
Let p = -31 + 7. Let y(l) = l**3 + 66*l**2 - 4*l - 282. Let o be y(-66). Which is bigger: o or p?
o
Let x = -775 + 243. Suppose 2*r - 956 = 2*g + 90, -5*g - 10*r - 2735 = 0. Is g greater than or equal to x?
True
Let f = 968.2 - 728. Let j = f - 241. Does j = 6?
False
Let h = -10258.813 + 10264. Let u = -0.187 + h. Which is smaller: -1 or u?
-1
Let w(j) = j**2 - 2*j - 16. Let c = 26 - 20. Let q be w(c). Suppose 3*l + 121 = 5*p + q, -3*p = 6. Is l > -40?
False
Let t = 38 - 568/15. Let m be (-3)/(2 + (3 - 6)). Suppose 0 = -m*a - 13 + 10. Is a <= t?
True
Let m = -1875 + 266253/142. Let o = -3304 - -3304. Which is greater: m or o?
m
Suppose -3*u = 4*g - 7*g + 186, 0 = -g - 4*u + 82. Let p = -32 - g. Is p > -98?
False
Suppose -18*o - 12*o + 6108 + 3085 = -o. Let g(v) = 318*v**3 - v**2 + v. Let m be g(1). Which is bigger: m or o?
m
Let z be (-1)/((-12)/(5 - 2)). Which is smaller: 133/6 or z?
z
Let g = 0 - 0.2. Let c be (-51)/238*152/1026. Are c and g equal?
False
Suppose -5*d = 3*d - 480. Let r be d/52 + (-4)/26. Let l be 25/(-69) - (-3)/9. Which is bigger: l or r?
r
Suppose 2*t - 16 = 3*u, -2*u + 16 = -2*t - 7*u. Let i be t/5 + 6/(-15). Let h = 417203/561 + -12642/17. Which is smaller: i or h?
i
Let p = -22 + 34. Suppose -2*c - c - p = 0. Let o = 298.576 + -298.676. Is o greater than or equal to c?
True
Let q = 3 + 1. Suppose -4*z - 4 = 2*o, 5*z + 11 = 6*o - 45. Suppose 5*t - o = -2*u + 2, t - u = -q. Is -1/28 >= t?
False
Let w = -56939004585/742 - -76737191. Let r = w - 21/106. Is -12 bigger than r?
True
Let q be 26/(-39) + (-342)/(-514). Let i = -1414781/3084 + q. Let n = i - -12981/28. Is 5 bigger than n?
True
Let x = 385 + -788. Let w = -403.5 - x. Which is smaller: -31 or w?
-31
Suppose -5*o = 5*r + 5, 2*o + 1 = -o - 4*r. Let p be o + 4 + (-596)/6. Let v = p - -99. Are -9 and v non-equal?
True
Let u = -24 - -27. Suppose 14*z = 11*z + 12, u*z - 17 = -5*v. Is 11/16 at most v?
True
Suppose -f = 2*i - 10311, 2*i - 2*f - 5158 = i. Which is smaller: 5157 or i?
i
Suppose -u = 5*u - 5310. Suppose 6*q - u + 345 = 0. Do q and 89 have the same value?
False
Suppose 0 = -6*a + 17*a - 22. Suppose -a*d = 3*x - 4, 4*x = -5*d + x + 10. Which is bigger: 4/5 or d?
d
Let o = -3 - -3. Let w(f) be the second derivative of f**5/20 + 13*f**4/12 + 5*f**3/2 + 19*f**2 + 10*f - 1. Let a be w(-12). Which is smaller: a or o?
o
Suppose -h - 247 = -5*y, -5*h = y - 4*h - 53. Let i = y + 104. Is i at most 463/3?
True
Let s = -0.12259 + -149.22741. Is s at most -1?
True
Let c be -7 - ((-133302)/810)/13. Let x = -86/15 + c. Is -0.4 at least as big as x?
False
Let m = -2463 + 483. Which is bigger: 1 or m?
1
Let m be 6 + -1 - 1 - 4. Suppose n + n = m. Suppose 0 = 3*a - 0*x - x - 2, n = 4*x + 8. Which is smaller: 5/8 or a?
a
Let a = -1289 + 1289. Which is bigger: a or -10/9093?
a
Let c = 1.3 - 8.3. Let u = 8 + c. Let j be (-51)/78 - (-8)/156*3. Which is bigger: j or u?
u
Suppose -13*g - 30 = -16*g. Let d = -16 - -9. Let u = 5 - d. Is g at most as big as u?
True
Let r be 0/88*(2 + (-2 - (0 - 1))). Which is greater: -62/45 or r?
r
Let m be (-10)/(-8)*(-276)/(-115). Is -1.7 != m?
True
Let p = 3619/2 - 12497/6. Which is smaller: 0.2 or p?
p
Let j be (-208)/(-12) + (-3)/9. Suppose 11*t - 6 = -j. Do t and -14/71 have different values?
True
Let s = -14493 - -14492.97. Which is smaller: -45 or s?
-45
Let i = 10316669/11856 - -9/3952. Which is smaller: i or 871?
i
Let s = -179.9 + 0.9. Let h = s + 187. Is -15 smaller than h?
True
Let b(i) = 1388*i + 4069. Let j be b(-3). Is -87 at most as big as j?
False
Let k = -1881 - -16886/9. Do 0.1 and k have the same value?
False
Let t be (-5 - -5) + 586/(-144). Let q = -40/9 - t. Does q = 1?
False
Let w = 272.578 - 0.578. Let p = 290 - w. Is p smaller than -2?
False
Suppose 14*m + 124 + 949 = -551. Which is smaller: -103 or m?
m
Let a = 495017/612471 - 5/5619. Which is greater: a or 2?
2
Let l(v) = -8*v**2 + 4*v - 8. Let i be l(7). Let c = -372 - i. Let f = -307/63 - -49/9. Do f and c have the same value?
False
Let p = -2279 + 2523. Are p and 246 nonequal?
True
Let u = 79.1 - -0.9. Let b = u - 158. Which is smaller: -1/2 or b?
b
Let t be 11528/(-126) + 24/(-108). Let b = t - -92. Which is smaller: -20 or b?
-20
Let b = -415 + 414. Let i be 44/1661*3/2. Is b < i?
True
Let l(x) = -x**3 - 6*x**2 - 4*x - 1. Let f be l(-5). Suppose -2*s + 4 = -6. Suppose -s*t - 35 = 3*v, -3*t + 0*v + 2*v = 2. Do f and t have different values?
True
Suppose -j = 2*q - 448, -3*j = -4*j - q + 449. Suppose 51*u - 41*u = -j. Is -42 greater than u?
True
Suppose -4447 + 1535 = -14*j. Let x = -108 + j. Which is smaller: x or 99?
99
Let g be ((-15)/(-12))/((45/(-20))/(-9)). Suppose -j - 478 = 3*j + 3*t, g*j - 3*t + 584 = 0. Is -118 at most as big as j?
True
Suppose -h - 2*h + 3 = 0. Suppose 2*s + 5*u - 4 = 5*s, u + h = 0. Let j be 6 + (-13)/((-1794)/(-816)) - (-9724)/(-3910). Are s and j unequal?
True
Let u(a) = 2*a**2 + 9*a - 10. Let m be u(-7). Let h(r) = -14*r**2 + 43*r + 27. Let l be h(0). Which is smaller: m or l?
m
Let q(y) = -11*y + 73. Let p be q(-15). Suppose 10*g - 38 = -p. Do 4 and g have the same value?
False
Let q = 83 + -78. Suppose z - q = 4*y + 59, 3*z = -y - 16. Let l be 8/y + 9/2. Is l at least 10/3?
True
Let m = -3968 - -3810.8. Is 4 greater tha