 -0.186. Let r = -0.069 + s. Let w = -1.98 + 1.7. Is w smaller than r?
True
Let d be 14 + (-1 - 1 - -5447). Do 5461 and d have the same value?
False
Let y = -2.06 + 26.06. Let f = y + -27. Let v be ((-4)/(-6))/(7/(-3)). Which is smaller: f or v?
f
Suppose -8*j - 55 = -3*j. Let y be 2/2 + j + 8. Let s = -4/279 + -2188/3069. Which is bigger: y or s?
s
Let a = 47486047984 + -8737405859651/184. Let s = 146572 - a. Let d = s + -12/23. Which is smaller: d or -2?
-2
Let f(d) = -d - 15. Suppose 3*w = -w - 64. Let o be f(w). Let y be o + (-10)/15*-9. Which is greater: y or 5?
y
Suppose 2*g - 18*y + 12 = -16*y, -3*g - y + 2 = 0. Which is smaller: 16 or g?
g
Let f = 2640 - 2640.171. Which is smaller: f or -7/3?
-7/3
Suppose -5*h = -2*i + 3 + 19, h = -3*i - 1. Let o = -119564/133 + 899. Is i >= o?
True
Suppose 4*u = -m - 20, u - 1182 = -4*m - 1157. Which is greater: m or -315?
m
Suppose 1670*i - 1481*i = 62181. Which is smaller: i or 1647/5?
i
Let o = -12207 + 12582. Is o smaller than -7/2?
False
Let t be ((-12)/(-40)*4)/((-243)/90). Let x = 7 + -18. Which is smaller: x or t?
x
Let v = -0.17 + -0.03. Let x = 15 + 109. Let g = x - 123. Which is smaller: g or v?
v
Let f be (-622)/(-8) - 1*(-3)/(-4). Let o be (f/(-14) - -7)/((-90)/8). Which is smaller: o or 6/7?
o
Let s(x) be the third derivative of x**5/30 + 17*x**4/12 - 6*x**3 + 39*x**2. Let v be s(-18). Which is smaller: v or -11/8?
-11/8
Let f(u) = -22*u + 19. Suppose 0 = j + 2 - 4. Let x be f(j). Is -79/3 > x?
False
Let o be 2/(-14) + 60/28. Suppose -5*x = 4*z - 10, x = 4*z - z + o. Let u be 105/245*(-21)/120. Which is bigger: u or z?
z
Let n(x) = -x**2 - 12*x - 20. Let s be n(-10). Suppose 53*g - 234 = 47*g. Suppose -36*v + g*v = s. Is 3 smaller than v?
False
Suppose 4*w = 74 - 26. Let y be (-1 - 1) + (w - 11). Let n be 0 + (3/5 - 282/495). Which is smaller: y or n?
y
Let i = 0.11 - 0.19. Let v be 123 + (-12 + 17)*8/(-10). Let s = 831/7 - v. Is i not equal to s?
True
Let u = -74/12667 + 42/53. Is u bigger than 0?
True
Suppose 6*j = -619 + 67. Let w = j + 80. Let c be (-442)/12 + ((-38)/w)/(-19). Which is smaller: c or -36?
c
Let n be ((-6)/15)/(60/25). Let h = 11/2 - 17/3. Let z = h + n. Which is bigger: z or 0.08?
0.08
Let o(b) = b**3 - 15*b**2 + 13*b + 47. Let a be o(14). Suppose -a*q = 3485 + 343. Is -350/3 greater than q?
False
Let p be (-4)/(-46) - 306740/9660. Suppose -27 = -4*f - 159. Is f at least as big as p?
False
Suppose 2*m + 3*m - 4*q = 290, 0 = -q. Let u(x) = 155*x + 213. Let f be u(-1). Is f smaller than m?
False
Suppose -3*g = u - 77 - 14, 4*g = 5*u + 134. Let c = -32 + g. Which is smaller: c or -1/46?
c
Suppose 49*m + 383 + 156 = 0. Suppose -2*l - 24 = -4*l. Let u be (15/6)/((-6)/l). Which is smaller: m or u?
m
Suppose -s = -222*n + 218*n - 38, 50 = s - n. Is s at least as big as 43?
True
Let k = -13 - -12. Suppose 182 = 3*y - 2*g, 27*y - 251 = 23*y + g. Which is bigger: k or y?
y
Let p = 43/4 + -11. Let q be (-2 - 0 - 1)*(-301)/(-21). Which is smaller: p or q?
q
Let z be (-1 - -3)/(-25 + (-69309)/(-2771)). Let r(b) = 11*b**2 - 3*b - 1. Let p be r(4). Are p and z equal?
True
Let j be 14854/80997 - (-2)/(-4). Let p = j - -1/1218. Let h be -1*((-42)/98 + (-3)/(-7)). Is h at most p?
False
Let m be (-585)/(-7670)*(-1912)/(-18). Do m and 7 have the same value?
False
Suppose 3*u - 3*d + 12 = 0, 0 = 2*u - d + 6 - 2. Suppose u = 10*s - 366 - 394. Which is bigger: s or 75?
s
Let o = -23323 - -23341.0815. Let k = o + -0.0815. Is 2/5 greater than or equal to k?
False
Let v = -2139 - -1950. Is -189 >= v?
True
Suppose 76 = 5*v + 21. Suppose -v*t = -22 - 0. Is t > 2?
False
Let u be -8*(180/(-35) - (-3)/21). Let b be ((-6)/4)/((-30)/u). Which is smaller: b or 18/7?
b
Let f = -1/1090831 + -6724973098/18544127. Let k = f + 363. Suppose 2093*w + 4 = 2089*w. Are w and k unequal?
True
Let n = 58826 - 212891290/3619. Is n not equal to -1?
True
Let g(b) = -b**2 - 17*b + 29. Let m be g(-15). Let l = m - -1. Let j = l - 59. Which is smaller: 38 or j?
j
Let p = -33991.36 - -33971. Is p smaller than -1?
True
Suppose 3469 = 10*f + 1219. Suppose 26*b - f = 165. Is b smaller than 15?
False
Suppose a - 65 = -4*a + 5*r, -r + 42 = 4*a. Suppose y - 5*y = 5*h + a, 19 = 4*y - 5*h. Is y != 4/15?
True
Suppose 0 = -2*m + j + 18, 7*m - 2*m - 2*j = 47. Suppose m + 11 = 22*c. Is c greater than or equal to 30/29?
False
Let g = 2833/5 - 6223/11. Is g at least 2?
False
Suppose -4*n + 166 = -34. Suppose -2*x + n = 4. Let k be 2*-1*(-21)/2. Which is smaller: x or k?
k
Let b = 631 - 380. Let z = b - 214. Is 2/3 > z?
False
Let f = -22.88 + 23. Let x = f + 14.88. Let k = 15.4 - x. Which is smaller: k or -0.4?
-0.4
Let u be ((-72)/10)/((-2)/(-10)). Let n(l) = -2*l. Let b(r) = 25*r + 107. Let a(t) = b(t) + 6*n(t). Let q be a(-11). Are q and u nonequal?
False
Let m = 1/14289 - 8593/54726870. Which is greater: m or -1?
m
Let q(f) = 11*f + 1. Let v(u) = -32*u - 4. Let a(o) = -8*q(o) - 3*v(o). Let p be a(-2). Let j be 105/91*2/p*2. Is -1 > j?
False
Suppose 4*a + 184 + 351 = -q, 0 = 2*q + 6. Let r = -190 - a. Let w = r - -53. Do -10 and w have different values?
True
Let w be ((-1)/(-2) - (-1)/2)/(92/(-24932)). Does -273 = w?
False
Suppose 5*x + 15 = 0, -3*a - 3 = -5*x + 12. Suppose -15 = -6*z - 57. Let f be z - -9 - 10 - (1 + 3). Is a at most as big as f?
False
Let m be (-283500)/(-233415) - 4/(-26). Suppose 2*n - 7*n = 0. Is m greater than or equal to n?
True
Let v = -268471/117713087 + 16/6841. Is 0 bigger than v?
False
Let s(z) = -3*z**3 - z. Let k be s(-1). Let o = -55 - -60. Suppose 3*i + 5 = m - k, 2*m - 16 = o*i. Are i and 2 equal?
False
Suppose 5*k + 3*m = -m + 27, -3*m + 9 = 0. Let s = -154 + 146. Let i be 18/(-27) - s*4/k. Is i not equal to 10?
False
Let i be ((-2)/(-4)*-1)/((-42)/(-252)). Let z be (-1)/i*5 - (-10)/(-15). Which is smaller: 15/17 or z?
15/17
Let r(z) = 35*z**3 - 4*z**2 - 8*z + 18. Let m be r(3). Is 907 >= m?
True
Let u = 1416/13 - 126050/1157. Is 23 at most as big as u?
False
Suppose -5*b + m - 106 = 0, b - 28*m + 24 = -25*m. Let a = -16/1033 + -137293/6198. Which is smaller: b or a?
a
Let t(k) = 301*k**2 - 3*k - 2. Let r be t(-1). Let i = r - 305. Is i at most -11?
False
Suppose 25*k - 40 = 23*k. Let u be 218/8*k/(-25). Which is greater: -1/2 or u?
-1/2
Suppose -3*i - 695 + 701 = 0. Suppose 0 = 4*m - n + 316, m = 3*m - i*n + 164. Is -78 less than m?
False
Suppose 0 = 649*y - 639*y - 98330. Is y at most 9831?
False
Let r be ((-3312)/(-1024))/(-23)*2528/24. Which is greater: -15 or r?
r
Suppose 8*c - 3*c + 770 = 0. Let p = c - -85. Let l = p + 69. Which is greater: l or 1/40?
1/40
Let i = -370 + 272. Let y = i - -99. Are y and 6/23 unequal?
True
Let z be (8 - ((-240)/(-18) + -6))*18/(-30). Let l = -18/701 + -86798/4907. Which is smaller: z or l?
l
Let r be 16/(-72)*(-39)/2. Let u(t) = -t**3 - 6*t**2 + t + 9. Let g = -4 - 2. Let v be u(g). Do v and r have the same value?
False
Let c = 17226 - 16474. Which is greater: -0.3 or c?
c
Let m be 21 - (-17)/((-51493)/63583). Which is greater: 11/5 or m?
11/5
Let g(z) = 16*z + 2. Let x be g(-2). Suppose 34*o - 189 = 389. Suppose o*i = 2*i - 8*i. Is i > x?
True
Let s be (6 - 50/8)/(159/48). Is s smaller than -0.38?
False
Let n(z) = -2*z**3 + 8*z**2 + 5*z - 247. Let s be n(11). Which is smaller: -1881 or s?
s
Let v be ((-3038)/16)/((-820)/738 + 26/18). Do v and -571 have the same value?
False
Let q = 1.7 - 0.7. Let n = 1852/91 - 13446/455. Is n greater than q?
False
Suppose -1379 + 1922 = -25*y + 9393. Is y equal to 353?
False
Let w = 24 + -23.66. Let z = -18/2033 - -2159/14231. Which is smaller: w or z?
z
Let u = 2205 - 2242. Is u <= -56?
False
Let h = 19037/620 + 7/155. Let a = 24370 + -24338. Is a at most as big as h?
False
Let c = -3685 - -3679. Is c bigger than -9?
True
Suppose -7*t + 233 = 212. Suppose 0 = -2*k + l - 51, 7*l = -t*k + 2*l - 83. Suppose -3*p = -7*p + 4*a - 96, -74 = 3*p - a. Is k not equal to p?
True
Let d = 4822 + -33808/7. Suppose -3*a - 3*h = -3 + 33, 0 = 4*a + 3*h + 39. Is d > a?
True
Let c = 54447 - 32287062/593. Are c and 0 unequal?
True
Let t(j) = 20*j + 369. Suppose 37 = -3*g - 20. Let i be t(g). Is -2 less than or equal to i?
False
Let l be (-3)/6*(13 + (-1 - -2)). Let s(g) = -9*g**2 - 14*g - 13*g**3 + 33*g**3 - 21*g**3 + 10. Let j be s(l). Do