is bigger: n or 1360?
1360
Suppose -23*d = -14*d + 1827. Suppose o + 195 + 8 = -x, -5*x - 3*o - 1015 = 0. Is x at least as big as d?
True
Let m = 965.8859 - 894.353. Let f = m - 71.6. Which is greater: -1 or f?
f
Suppose 39 = -42*m + 29*m. Let a be (-20)/15 - (10/m - -4). Which is smaller: a or 0.019?
a
Suppose -82*t + 77976 + 41752 = -3272. Which is bigger: t or 1501?
1501
Suppose 522 = 16*x - 9055 + 1497. Is 496 bigger than x?
False
Suppose -4*z - 625 = 243. Is -217 at least z?
True
Let c be 0 + 15 + 4636/(-44). Which is bigger: c or -90?
-90
Let r(y) = 2*y**2 + 5*y + 1914. Let u be r(-58). Is 8353 less than u?
False
Suppose -49*i + 3*i = 247940. Let u = -2032031/377 - i. Is -1 <= u?
True
Let j(n) = -17*n**2 + 15*n - 4. Let d be j(6). Let r = 514 + d. Is r at least as big as -45/4?
False
Let h = 31.2 - 35. Let g = h - -4. Let k = -3.363 - -3.453. Is k less than or equal to g?
True
Let m = -272 + 252. Suppose -22 - 7 = g. Is g at least m?
False
Let b(q) = q - 9. Let a be b(9). Suppose -4*t - 5*n + 13 - 109 = a, 0 = n. Is t <= -24?
True
Let v be (621/(-9) - 3)*4/(-8). Which is smaller: v or 454/13?
454/13
Suppose 5*t - 9*o = -7*o + 26, -3*t = 5*o - 59. Do 228 and t have different values?
True
Let w = 160 + -94. Let o = -18 + w. Let f = -35 + o. Which is smaller: f or -3?
-3
Suppose -q - 4 = h, q = 64*h - 59*h - 22. Let s be (-11 - -10)*(-1)/1. Let a be -2 + -2 - (2 + s). Is q at most a?
True
Let z be 1*((-1071)/35)/(6/20). Which is bigger: z or 1?
1
Suppose 0 = 5*f - 3*u - 70, f - 3*u - 3 + 1 = 0. Suppose 2*a + 8*a + 70 = 0. Let i be ((-26)/a)/(24/112). Which is bigger: f or i?
i
Let l = -3702209/5815 - -76/1163. Let k = 637 + l. Is k < -62?
False
Suppose -4*s = 5*s - 11*s - 2. Which is greater: -1156 or s?
s
Let v = 8372 + 28659. Let k = -63211919/1707 + v. Is 1 != k?
True
Suppose -137 + 853 = 301*r - 789. Is 105/22 not equal to r?
True
Suppose -4*s + 28 + 24 = 0. Let x(g) = -g**3 + 4*g**2 + 22*g + 8. Let t be x(6). Let b be t/4 - (2 - -1). Which is smaller: b or s?
s
Let x(b) = 17*b**2 + 22*b - 43. Let g(f) = 48*f**2 + 65*f - 126. Let k(j) = -6*g(j) + 17*x(j). Let w be k(0). Does w = 21?
False
Let t(z) = -z**3 + 2*z**2 + 13*z - 7. Let i be t(3). Suppose 3 = -3*w, i*h + w - 15 = 22*h. Which is smaller: 14 or h?
14
Let c be 4*1*22176/(-704). Which is bigger: c or -74?
-74
Let w be 650/2 - (7 + 2 + -8). Let q = w - 337. Is -11 smaller than q?
False
Let m = 162 + -99. Let i be 1 - 7/(m/6). Let x = 16.7 - 33.7. Which is smaller: x or i?
x
Let j = -17824 - -17824.3. Which is smaller: j or -3967?
-3967
Let u = 52/265 + -97064/500055. Which is smaller: 1 or u?
u
Let l = -5/21 + -3/7. Let a(g) = 2*g**2 + 30*g + 6. Let q be a(-15). Which is smaller: q or l?
l
Let w = 49/674 - 84767/1163661. Which is greater: -1 or w?
w
Let w be -11 + ((-31240)/400 - 3/(-5)). Let b(y) = 19*y + 7. Let q be b(-5). Are q and w nonequal?
True
Suppose 0 = -x + 5*f + 83, -2*f = -1 - 9. Let p be x/288 + (-5)/8. Let m be 0 - 2/(6 - 0). Is m <= p?
True
Let l = -1/100 + -4037/1300. Is -3 less than l?
False
Let p = -18 + 14. Let n be (p/9)/(24/(-36)). Let r = 0.096 - -0.004. Is r less than or equal to n?
True
Suppose -3*i - 5 = 2*m, -5*i - 6 = m - 0. Let q = 1518 - 34907/23. Which is bigger: q or i?
q
Let s be (((-19110)/784)/((-158)/(-8)))/3. Which is bigger: s or 1?
1
Suppose -3*k - 2*k - i + 13 = 0, -19 = -5*k - 3*i. Let x be (4 - 3)/(-2) + (-3)/k. Let s be (-2 + (-4)/2)/(x/(-15)). Is s at most as big as -31?
False
Let t(k) be the first derivative of k**4/2 + 32*k**3/3 - 17*k**2 + 4*k + 73. Let m be t(-17). Let f = 2.95 + 0.05. Which is greater: f or m?
m
Let x = 60.437 - -3.563. Which is smaller: -1/16 or x?
-1/16
Let f(q) be the third derivative of -q**4/8 + 115*q**3/6 + q**2 - q. Let o be f(38). Which is bigger: 43/9 or o?
43/9
Suppose -5 + 47 = -6*f. Suppose -19 = c + 4*o + 3, 2*c + 4*o + 28 = 0. Is f less than or equal to c?
True
Suppose -2*o = 10*o. Suppose o = 2*h - 4*i + 8, 2*i - i = -5*h + 13. Let r = -13 + 11.1. Which is smaller: h or r?
r
Let s(x) = 17*x**2 - 12*x + 30. Let g be s(5). Let a = -394 + g. Is a <= 3/86?
False
Let d = 4633 + -4212. Are 415 and d equal?
False
Let t be 52/338 - (-33)/39. Let c be (-4 + -2)*(0 - t - 14). Which is greater: 91 or c?
91
Let h(n) = n**3 - 9*n**2 - 11*n + 15. Let k be h(10). Let y = -39 - -53. Suppose -y*p + 10*p = -28. Which is bigger: k or p?
p
Let c be (-2 - 0)/14 - 129627/(-1134). Which is bigger: 113 or c?
c
Suppose 42*l - 41*l - 2 = 0. Let r be 0 - 15 - (-7 - 1 - -5). Which is bigger: r or l?
l
Let i = -98.21 - -90.21. Which is smaller: -146 or i?
-146
Let k = 27 - 23. Suppose 3*i = -k*n + 5*n - 1, -i = -n - 3. Let u = 394 - 392. Which is greater: u or i?
u
Let t be 121 - ((-7)/1 - -3). Suppose 5*g - 19 = 1131. Let l be (g/t - 2)*(-10)/28. Which is smaller: l or 1?
l
Let j be 7*(7 + (-6570)/105). Which is smaller: j or -386?
j
Suppose -192*p - 56 = -193*p - 3*z, 1 = -z. Is 233/4 bigger than p?
False
Suppose 48 = 6*t + 2*t. Suppose -t*j - 36 = -0*j. Let p = 10 + j. Is 4 >= p?
True
Let y = 28.43 - -1.67. Let p = y + -30. Is 22 equal to p?
False
Let u(b) = b**3 + 11*b**2 + 7. Let a be u(-11). Let g = a + -2. Suppose -v - 41 = -4*n, 4*v - 4 + 87 = 7*n. Which is greater: n or g?
n
Suppose 3*m + 68 = -7. Let y = 51 - 77. Let g = m - y. Which is greater: g or 7/5?
7/5
Let y(q) = -q**3 + 11*q**2 + 13*q - 22. Let x = -67 + 79. Let j be y(x). Let i be ((-9)/(162/(-42)))/((-2)/6). Is j > i?
False
Let b be 4 + (-4)/((-40)/(-335)). Let j = 29 + b. Let k = -9 + 9.4. Which is bigger: j or k?
k
Suppose 11*d - 76 = 13*d. Let t = d + 39. Let c = 41/60 + -1/12. Is c <= t?
True
Let v = -170734965066/3289 + 51910903. Let r = 349 - 88300/253. Let s = v - r. Which is greater: -2 or s?
s
Let t = -1185 - -2168. Let c = -972 + t. Let d be (-1)/(25/(-18))*15. Is c bigger than d?
True
Suppose 0 = -3*z + 235 - 34. Suppose -2*n = -5*i - 0*n + z, -4*i + 2*n = -52. Suppose -19 = -t + 4*g + 1, 0 = -2*t + 3*g + i. Do t and 0 have the same value?
True
Suppose 3*d - 5*c = 1147, 0 = -4*d + 18*c - 14*c + 1524. Is 379 at least as big as d?
True
Let d = 5/29903 + 1432009/19945301. Is d at least as big as -1?
True
Suppose v + 390 = -u, -14*u + 8*u = 84. Suppose -5*h - t + 0*t = 1879, 4*h + 1480 = 5*t. Do h and v have different values?
True
Suppose -1417*z = -1409*z + 8. Which is smaller: z or -5/901?
z
Let v(g) = 21*g**2 + 180*g - 11. Let h be v(-9). Let r be 2*(26*2)/2. Suppose -h = 6*c - r. Is c < 2/9?
True
Let a = -668 + 429. Let b = 241 + a. Which is smaller: b or 65?
b
Let k = -5.23 - -4.23. Let p(b) = 5*b + 1. Let m(a) = 6*a + 1. Let c(y) = -6*m(y) + 7*p(y). Let o be c(2). Is k less than o?
False
Let z = -167652/13 - -12908. Which is smaller: 11 or z?
11
Let c = 0.149 - 0.057. Let o = 0.16 - c. Let r = o - 0.268. Which is bigger: -2/47 or r?
-2/47
Let m = -42 + 40. Let z be (-215)/(-100) - (-4)/m. Let j = -71 + 70. Which is smaller: j or z?
j
Let d be (194 + 1)*(4 - 55/15). Suppose 12*m - d = 11*m. Let s = m + -34. Is s at least 32?
False
Let w(b) = -b**2 - 10*b + 7. Let n be 18/8 - (-3)/(-12). Let i be 3 - ((17 - n) + -2). Let c be w(i). Is c at least 7?
True
Suppose 6*u + 98 = 8*u. Let b = u + -85. Is -36 < b?
False
Let j = -278544 - -11014465393/39543. Is j <= -1?
False
Let k(z) = 2*z**2 - 45*z - 251. Let n be k(-8). Is n less than or equal to 240?
True
Let k(b) = b**3 - 14*b**2 - 14*b + 5. Let l be k(15). Let u be -19 + l + (0 - -8). Let f be (-70)/(-49) - (-3)/21*4. Which is bigger: u or f?
u
Let h be 39/(-52)*16/(-42). Let p = 1.049 - 1.999. Is h greater than p?
True
Let h be (-14 - -11)*(-47 + 5). Which is smaller: h or 119?
119
Let p = 6610 - 6477. Which is smaller: 54 or p?
54
Let d be (((-9)/(-252))/((-22)/(-88)))/(11082/(-7)). Which is greater: 0 or d?
0
Let g(v) = -v**2 + 11*v + 71. Let l be g(-5). Let b be (-8)/(-16) - l/(-6). Which is smaller: b or -1/210?
b
Suppose 11 + 118 = -3*g - 3*p, 0 = g - 2*p + 46. Let r be 126/g - 6/4. Which is smaller: -4 or r?
r
Let d = 5614 - 56141/10. Let n be (3/(-4))/(18/(-4)). Which is smaller: n or d?
d
Let d be 2/3*(-207)/6. Let p = d + 35. Suppose -2*v - p = v, v - 26 = 5*c. Is -8 greater than or equal to c?
False
Suppose 39*v + 5382 + 1716 = 0. Is -38 smaller than v?
False
Let x be (-462)/(-57) - (12/(