t d be t(-67). Which is smaller: -645 or d?
-645
Let j = 2 - 1.8. Let l = 2.70336 - 0.04636. Let r = -0.657 + l. Is j less than or equal to r?
True
Suppose 3*w = -5*g - 19 - 22, 0 = -4*w - 3*g - 40. Let v = -2.3 + 2.37. Is w at most v?
True
Suppose -1795 = 21*c - 1228. Let f(m) = -m**3 - 7*m**2 - 4*m + 1. Let g be f(-5). Let i be g + 2 - (-1)/(-1). Which is bigger: i or c?
c
Let t = 279 + -246. Suppose 0 = 30*c - t*c + 102. Suppose 0*j + 2*j - 24 = -n, -15 = 3*j. Is n >= c?
True
Let y be (-8 - (-240)/30)/(-3 + 0). Which is smaller: 30/43 or y?
y
Let w(j) = -3*j**3 - 14*j**2 - 10*j + 47. Let p be w(-5). Which is smaller: 151 or p?
p
Let t = -78 - 492. Let k be (-608)/t - 4/10. Is 3 greater than k?
True
Let f = -2249.143 - -2249. Let u = -58 - -58.1. Which is smaller: f or u?
f
Let f be (8/(-4) - -1)*0. Let g be f - (2 - (1 - 1)). Let z = 7/6 - 5/3. Which is smaller: z or g?
g
Let k(c) be the third derivative of -c**6/72 - c**5/40 - c**3/3 + 10*c**2. Let t(w) be the first derivative of k(w). Let m be t(1). Are m and -8 equal?
True
Suppose -2*k + 4*b + 120 = 0, -k - 4*b + 8 = -58. Let s = -3 + 63. Let t = 122 - s. Are t and k nonequal?
False
Suppose 4*g - 1900 = -2*v - 560, 5*g + 4*v - 1672 = 0. Let f = -287 + g. Is f at most 0.1?
False
Let v(o) = 6*o**2 - 184*o - 4. Let x be v(8). Which is greater: x or -1083?
-1083
Let c be (40/16)/(1/2). Let n be (-55)/c - (-9)/(-3). Which is smaller: n or -5?
n
Let j(p) = 3*p - 12. Suppose 3*x = -i - 2*x + 4, -4*x = 0. Let w be j(i). Suppose 4*n + 3 + 13 = w. Which is smaller: n or -16/5?
n
Let l be (-743585)/381*2*1/(-15). Is l greater than 259?
True
Let h be (-7032)/(-456) + -21 + 6 + 0. Is h at most as big as 18?
True
Let i(l) = -5*l**3 + 3*l + 1. Let g be i(-1). Suppose 2*o - 6 = 0, -2*d = -g*d - 2*o - 101. Which is bigger: 1 or d?
1
Suppose 29*n - 494 = -204. Is 2/123 > n?
False
Let a = -0.00444 - -2.00444. Which is greater: 3/22 or a?
a
Let x = -5 - -5.72. Let b = 61838 - 556544/9. Which is smaller: x or b?
b
Let y(b) = 11*b**2 - 13*b - 7. Let l be y(4). Let m = -350/3 + l. Which is smaller: m or 7?
m
Suppose 25*s = 20*s - 2020. Let k be s/(-20) + (-12)/(-15). Let w be (6/(-9))/((-18)/k). Is 0 at least w?
False
Suppose -4*q = 2*j + 2, -3*q + 22 - 30 = -5*j. Is 48/169 less than q?
False
Let v(l) = -l**2 - 7*l - 46. Let b be v(-10). Let p be ((-88)/(-6))/(b/(-342)). Which is bigger: p or 63?
p
Let s = 668 - 654. Let p(t) = t**3 - 12*t**2 - 22*t - 20. Let n be p(s). Which is bigger: 65 or n?
65
Suppose 161*y - 163*y = -3*j - 760, -2*j = -2*y + 756. Which is bigger: y or 384?
384
Suppose 1052 = 2*d + 2*d + z, z - 260 = -d. Is 793/3 less than d?
False
Let l = -114803719/2304 - -49828. Is l greater than or equal to 0?
False
Let b be (-6828)/1704 - (-234)/52. Which is smaller: b or 1?
b
Let k = -10.48 + 10.17. Let z = -13.72 + 14. Let g = z + k. Is g < -1?
False
Let j = -234 - -234. Let o = 15.2 - -0.8. Let x = o + -15.86. Which is smaller: x or j?
j
Let w = -3817 + 3403. Is -414 equal to w?
True
Let o be (12/150)/(4/705*3). Let b = 26/5 - o. Which is smaller: 355 or b?
b
Let z = 24 + -24.3. Let o = -675 - -678. Which is smaller: o or z?
z
Let l be 4/(-60)*36/(-330). Let x = 532/2475 + l. Is -0.46 equal to x?
False
Let k = 83/387 - -1/129. Let c(j) = j**3 - 15*j**2 + 27*j - 11. Let s be c(13). Suppose 0 = -43*g + 41*g - s. Which is smaller: g or k?
g
Suppose -o - o - 14 = -u, 2*o + 5*u + 26 = 0. Suppose 4*c + 1881 = 61*c. Which is smaller: o or c?
o
Suppose 0 = -4*a - d - 606, 3*a + 4*d = -138 - 310. Is 17 equal to a?
False
Let o = 20 + -18.4. Let w = -1525 - -1523.4. Let z = o + w. Is -1/4 >= z?
False
Suppose 2*g = -o + 188, -144*o = -4*g - 142*o + 352. Let i be -4*(0 - (-68)/(-3)). Which is smaller: i or g?
i
Suppose -81*q + 16*q - 25545 = 0. Is -391 > q?
True
Let h = 4/67 - 328/1005. Suppose -16 = -3*q + 2. Suppose l + 5*l = -q. Is l > h?
False
Let y(s) = 747*s + 1. Let h be y(0). Which is bigger: 7/145 or h?
h
Let p = -51.5 + 51.513. Let k = -6.013 + p. Which is smaller: -14 or k?
-14
Let o = 1841 + -1835. Which is smaller: o or -1?
-1
Let r(i) = 187*i**2 + 20*i - 188*i**2 - 22 - 15 - 12. Let b be r(17). Which is bigger: b or 26?
26
Let k = 6 - 5. Let x be (1/266)/(57/(-114)). Let o = x - -39/133. Is o at most k?
True
Suppose -u = -4*n - 1003, 5*n + 29*u - 25*u + 1259 = 0. Is -4/9 at most n?
False
Let j(f) = -f**3 - f**2 - 2*f + 1. Let m(o) = 4*o**3 - 5*o**2 - 3*o + 17. Let z(k) = 6*j(k) - m(k). Let t be z(-2). Which is smaller: t or 85?
t
Suppose -5*i - w = -374, 3*i + 5*w - 234 = 2*w. Suppose 80 = -o + i. Which is greater: -9 or o?
o
Let a be (-1 + 4)*(15 + -2). Let x be (-45)/39 + 1 + 3633/a. Is x at least 93?
True
Suppose 370 = -f + 2*d, f + 171*d + 385 = 168*d. Which is smaller: f or -379?
-379
Let b = 2.92 + -0.02. Let q = -0.2 + 0.1. Let u = q - b. Which is bigger: -0.01 or u?
-0.01
Let a be (-1)/(6/(-36)*2). Suppose 9*p + k - 9 = 13*p, -5*p + 4*k - a = 0. Does p = -14/9?
False
Let t be 16/(-10)*(11 - 26). Suppose -t*m = -20*m + 16, -m = 4*y + 72. Which is smaller: -14 or y?
y
Suppose -4*n = -3*u + 41, -5*u = -u + 4*n - 64. Suppose 0 = -9*q - 17*q - 37*q + 441. Is u at least as big as q?
True
Let z(b) = 406*b - 2030. Let v be z(5). Which is smaller: 3/191 or v?
v
Suppose 21*b - 230 = -85*b - 9*b. Let s = 24 + 28. Suppose -2*q - s = 5*v, 2*q - 18 = 4*v - b*v. Which is smaller: v or 3?
v
Suppose -28*k - 60*k + 909 = 117. Is 59 >= k?
True
Let p(q) = -2*q**3 + 6*q**2 + 13*q - 7. Let w be p(6). Let l = w - -154. Let v = -15 - -24. Are v and l non-equal?
False
Let f = -62314 + 62274. Let s = 60 + -98. Is s less than or equal to f?
False
Let b = 924.667 + -924. Let y = 0.067 - b. Does y = 2/3?
False
Let l(b) = b**3 - 3*b**2 + 2*b - 6. Let h be l(3). Let g = 3/3901 + 5471/3031077. Which is smaller: h or g?
h
Let k = 0.31 - 1.87. Suppose -2*m + 4 = -2*i, -5*m = -i + 2 - 8. Which is bigger: m or k?
m
Let v = -21227 + 20733. Is v at most as big as 10?
True
Let p(w) = -w**2 + 61*w - 489. Let h = -78 + 88. Let a be p(h). Let d be (0/1 - -1)*19. Which is smaller: a or d?
d
Suppose 29*l + 3146 = 7*l. Which is smaller: -571/4 or l?
l
Let y = 1842 - 1840.15. Is y < -0.1?
False
Suppose -551*b + 3344 = -529*b. Which is bigger: b or 607/4?
b
Let q be (168/12 + -9)*4/(-1730). Are q and -5.4 non-equal?
True
Suppose -8*p + 7*p - 44 = 0. Let s be (-296)/(-740)*(0 - 639/6). Is s equal to p?
False
Let d = 41050 - 41049. Is -7.826 > d?
False
Let q be (10*4)/(34/527). Let u be 1*q*(2 - 20/8). Let w be (6/u)/(16/80). Which is smaller: 0 or w?
w
Let g = -335 - -566. Suppose 5*b + 3*u = g, -2*b + 34 + 65 = -u. Suppose -129 = 9*y - b. Which is smaller: y or 0?
y
Let h = 7 + -7. Let k be 157/21 + (-469)/67. Is h less than or equal to k?
True
Let m be (16 + 244)*(60/(-16) - -3). Is -202 greater than or equal to m?
False
Let h(u) = 14*u - 2. Let y be h(2). Let x = 45128 - 45100. Which is smaller: y or x?
y
Suppose 0 = 26*x - 32*x + 12. Suppose 3*a - 177 = -3*u, 0 = 2*a + x*a + u - 221. Let n = 61 - a. Do 4 and n have the same value?
False
Suppose 2*a + 12 = 5*u - u, 5*a - 25 = -u. Suppose -70*w = -68*w + a. Is w bigger than 104?
False
Let g = 2/800079 + -445646165/864885399. Let y = g + 38/69. Is 0 < y?
True
Let d be (2/(-52))/((-3)/(-91095)). Let j = d - -2329/2. Is j less than -4?
False
Let d = 635 - 631. Let b = 20 + -20. Is b greater than d?
False
Let j be (-1 + (-8)/16)/(3/568). Is j at most -278?
True
Suppose -2*j = -i + 217, -81*i - j - 1076 = -86*i. Which is smaller: 213 or i?
213
Let t(o) = -o**2 + 52*o + 292. Let p be t(57). Are 11/12 and p unequal?
True
Let t(w) = w. Let j be t(-5). Let p(h) = -h**3 - 6*h**2 + 4. Let g be p(j). Let q be (-2)/3*g/42. Is q <= 22/9?
True
Let z be (-13)/(169/2) + (-4676)/26. Let r be -8 + (-2526)/z + -6. Suppose -4*f + 3 = -3*h + 15, 0 = 3*h - 12. Which is greater: f or r?
r
Let r(g) = -5*g**2 + 493*g - 295. Let s be r(98). Which is smaller: 9/127 or s?
s
Suppose -3*y + 16 = 4*q - 10, 0 = -2*y - 4*q + 24. Suppose -r = -3*f - 6, -25*r + 13 = y*f - 20*r. Let m = -305/20216 - 1/361. Is f smaller than m?
True
Let s = -1448 - -782. Let r = s + 744. Is 77 > r?
False
Suppose 0 = 9*k - 137 + 83. Let h be (182/(-21) + k)/14. Which is greater: -1/5 or h?
h
Let y = 30.013 + 6.987. Is y > 106/7?
True