ose -4*p + h + 504 = 5*h, 2*h - 506 = -4*p. Which is greater: 145 or p?
145
Let j be ((-2)/1)/(5/10). Let c be (-868)/(-310)*((-3)/2 + -1). Let h = c + j. Which is smaller: h or -10?
h
Suppose 0 = -96*j + 39*j - 38*j - 313690. Is -3299 greater than j?
True
Let y = -244 - -257. Let o be (-7)/(y - 6)*-8. Which is smaller: 20/3 or o?
20/3
Suppose -l - 4*l = 0, 0 = 3*r - 4*l. Suppose -24*u + 33*u - 36 = r. Which is greater: u or 12?
12
Suppose 55*q + 1828 - 6618 = 6650. Is q < 208?
False
Let q be (58415/(-175))/(3/(-30)). Which is bigger: q or 1/3?
q
Let h = -15636 - -15501. Is -152 <= h?
True
Let d be (-3708)/(-23175)*10/12. Is 1/982 at most as big as d?
True
Let t = 2 + 15. Let p = t - 17.1. Which is greater: 94 or p?
94
Let d be (-2)/(-8) + (-22)/24 + (-427050)/702. Let h = -1336 + 726. Is d != h?
True
Let q(u) = -18*u + 47. Let p be q(3). Let r be 1864/(-117) + ((-70)/65)/p. Is r less than or equal to -15?
True
Let z(m) = 2*m**3 + 17*m**2 + m - 57. Let f(w) = -w**3 - 26*w**2 - 25*w - 8. Let p be f(-25). Let b be z(p). Which is smaller: 4/381 or b?
b
Let b be 4/(-5)*136035/(-6). Let a = b + -235254/13. Let x = 42 - a. Is 1 < x?
False
Let t be 44/12 - (-4)/12. Let o be t + (2 - 2888/482). Let b(r) = r + 8. Let q be b(-9). Are o and q nonequal?
True
Let z = 199.99 - 147.99. Which is smaller: -2/143 or z?
-2/143
Suppose -5*v - 3 - 32 = 0. Let k be 8 + -7 + 13/v. Let a be (-72)/84*(-49)/63. Is a smaller than k?
False
Suppose 0*k = -0*k + 5*k + 5. Which is bigger: -3/611 or k?
-3/611
Suppose 2*m + 156 = 3*f, 5*m + 3*f + 168 = -180. Which is greater: -69 or m?
-69
Suppose -s + 13 = 5*i, i - 14*s = -9*s + 13. Suppose i*z - z + 7*z = 0. Is 12/11 bigger than z?
True
Let p = 1.3 + -147.3. Let m = p + 150. Which is bigger: -7 or m?
m
Let q = 249 + -256. Let i(y) = y**2 + 10*y + 21. Let h be i(q). Do h and 0 have different values?
False
Let c(l) = 32*l**2 + 92*l + 54. Let p be c(-13). Which is bigger: p or 4265?
p
Let x(f) = -2*f - 2. Let c(a) = 6*a - 2. Let s(d) = c(d) + 4*x(d). Let m be ((-2)/4)/((-3)/(-36)). Let w be s(m). Do -5 and w have different values?
True
Let v = -6 + 1. Let b = -46 - -91. Let m = b + -44.96. Is v <= m?
True
Let c = 5602/940401 - 12/1357. Suppose 84 - 158 = -74*z. Which is smaller: c or z?
c
Let d = -20/29 + 336/319. Suppose -5*m - 38 = -4*h + 21, 4*m + 4*h + 40 = 0. Let p be (0 - m/(-9)) + (-96)/(-432). Which is bigger: p or d?
d
Suppose 4*a = 6*a + 4. Let p = -60.4197 - 0.0803. Let h = -56 - p. Which is bigger: h or a?
h
Let d = 11.73 - -0.27. Let l = 124 + -181. Let j = -227/4 - l. Is j greater than or equal to d?
False
Let i(r) = -85*r**2 - 263*r + 3387. Let u be i(14). Which is bigger: u or -16954?
-16954
Suppose 6*r - r - 25 = 0. Let w(f) be the third derivative of f**4/24 - 13*f**3/6 - 10*f**2. Let b be w(17). Which is smaller: b or r?
b
Let a = -636 - -801. Let x be (5 - a/5)*1. Which is smaller: x or -35?
-35
Let n be 5 - (-12 - -6)/(-6). Let j be 2008/(-32)*n/2. Is j not equal to -127?
True
Let q = 53 + -57. Let b be (-224)/q + 3*(-12)/9. Suppose -n = -4*v + b, 2*v - 76 = n + 4*v. Which is greater: n or -67?
-67
Let l = -303031/4 + 75758. Let z = -87.053 - -0.053. Which is greater: l or z?
l
Let f(z) = -9*z - 18. Let g be f(-2). Suppose g = -3*a + r + 7, -3*r - r + 20 = 0. Let w be (1 - 2)/((-2)/8). Is w equal to a?
True
Let r be -2 - -4 - (-2848)/(-16). Let y = -187 - r. Which is bigger: -4 or y?
-4
Let f be (2/10)/(224/(-320)). Let k = 4.18 + -7.09. Let u = k + 3.4. Is f at most as big as u?
True
Suppose -3*a - 174 - 48 = 2*p, 0 = 4*a + p + 286. Which is bigger: a or -54?
-54
Let n = 80.7605 - -0.0395. Let o = -0.2 - n. Is 0.1 less than o?
False
Let q = 120 + -114. Suppose 9*v = -3 - q. Which is smaller: v or -1/25?
v
Let p = -135 + -177. Let v be p/(-22) - (-4)/(-22). Is 14 bigger than v?
False
Let k = -2948.39 - -2948. Which is smaller: k or 9/7?
k
Let j(i) = 27*i**2 + 25*i + 47. Let z be j(9). Do 2457 and z have the same value?
False
Let v(x) = 3*x**2 - 4*x + 2. Let o be v(2). Suppose o*c - 5*c = 0. Let p be (2532/630 - 4)/(6/28). Is c at most p?
True
Let l be (-80)/(-20) + 1/(3*(-4)/56505). Which is smaller: -4706 or l?
-4706
Let z = 10.02 + -10. Let j be (-3200)/18 + 64/(-288). Let n = -535/3 - j. Do n and z have the same value?
False
Let v = -744014/17 - -43778. Is v > 13?
False
Suppose -2*p + 14 = -v, -3*p = -4*v + 9*v + 109. Let s be v/10 - (-33)/3. Does s = 7?
False
Let g = 0.37 - 0.76. Let q = 0.07 + -0.68. Let s = g + q. Is 1.8 less than s?
False
Let f be (-268)/6 + (-28)/21. Let z = 42 + f. Let q = -9/133 + -599/133. Is z less than or equal to q?
False
Suppose 2*r = -2*r - 376. Suppose -4*z - 21*y + 16*y = 344, 5*z - 3*y = -467. Is z greater than r?
True
Let l be (13/442)/((-8)/(-1558)) + -5. Is l <= 0?
False
Let a be (19/(-9) + 0)*(166 + -167) - 3. Which is greater: 1/124 or a?
1/124
Let c(v) = -v**2 - 25*v - 34. Let i be c(0). Let m = -1 - -3. Suppose 0 = m*f - 6*f - 132. Which is bigger: i or f?
f
Let y be (2/(-3) - 22/(-24))*1. Which is smaller: y or -79?
-79
Suppose 16*q - 1092 = -24*q + q. Which is smaller: q or -205?
-205
Let r(m) = -m**2 - 35*m - 189. Let l be r(-28). Suppose -l*z + 9*z = -2, -i + 5*z = -128. Is 2 greater than i?
False
Let v(m) = -129*m + 43. Let q be v(3). Let h = q + 341. Let g = -0.1 + 0.1. Is h smaller than g?
True
Let w = -1017 - -878. Let t = w + 138. Which is smaller: -2/947 or t?
t
Let q(p) = -p**3 - 9*p**2 + 8*p - 15. Let y be q(-10). Suppose -27*j = -22*j + y. Let k be (45/9)/(2*j*1). Which is bigger: -2 or k?
-2
Suppose -3*r = 5*v + 3031, 99*r - 2019 = 101*r + 5*v. Which is smaller: -1011 or r?
r
Let r = -559 + -1144. Which is smaller: -1701 or r?
r
Suppose -2*t + 2*x + 30 = x, -t = 3*x - 29. Suppose -3*n + 3*v = 7*v - t, -25 = -5*v. Let j = -17.69 + 17.7. Which is smaller: n or j?
n
Let z(g) = g**3 - 8*g**2 - 25*g + 48. Let m be z(10). Let a be (-2 - (-3051)/(-18))*m. Is 343 at most a?
True
Suppose 2*b + 129 = 5*m + 347, -b - 5*m = -139. Let u = b - 69. Is 51 at least u?
True
Let s(y) = 11*y**3 + 12*y**2 - 21*y + 3. Let a(m) = 5*m**3 + 6*m**2 - 10*m + 2. Let z(q) = 9*a(q) - 4*s(q). Let t be z(-7). Is -1/7 <= t?
False
Let w = -173435836/1731 + 100194. Which is bigger: -1 or w?
w
Suppose -d + 17 = -72*g + 69*g, 2*g = -5*d + 68. Are d and -43 unequal?
True
Let o be 0/3*2/(-4). Suppose o = -c + 5*c + 3*p + 436, 3*c - 2*p + 344 = 0. Is 1/3 >= c?
True
Let d(l) = 3*l**2 + 104*l - 732. Let s be d(6). Let m be (0 + -31)/((-1)/2). Is s not equal to m?
True
Let x = 56 - 128. Let c = x - -72.6. Which is bigger: 5 or c?
5
Suppose g - 3*n - 22 = -g, -4*n - 6 = 2*g. Let r be ((-66)/(-14) - g) + 128/7. Which is greater: 19 or r?
19
Let k = -117884/3 - -1618193674/41181. Is k < 0?
False
Let u(b) = b**2 - 4*b + 5. Let n be u(2). Let r = -1/4 + 2/11. Is n at most r?
False
Let o(a) = 2 - 2*a - 6*a**2 - 9 + 5*a**3 + 8 - 8*a. Let q be o(-2). Is -44 equal to q?
False
Let u = -172748 + 694809/4. Are 955 and u equal?
False
Let f(c) = c**3 - 12*c**2 + 9*c + 21. Let k(z) = -25*z - 14. Let t be k(-1). Let x be f(t). Let o be ((2*-1)/(-1))/(-81). Is o greater than or equal to x?
True
Suppose 3 = 3*k - 3. Let r be -3 + -91 - (4 + -14). Let d be ((1/k)/((-6)/r))/(-1). Which is smaller: d or -11?
-11
Let s = -49 + 53. Suppose 3*n = 5*n - b - 2, 4*n - 4*b - s = 0. Let j be (-116)/8 - n/2. Which is smaller: j or -1?
j
Let d(h) be the third derivative of h**5/60 - 2*h**4/3 + 10*h**3/3 - 26*h**2. Let n be d(15). Let x be 6 + -5 + (n - 4). Which is smaller: x or 0.4?
0.4
Suppose 12 - 49 = -5*n - 2*x, -4*x - 24 = -4*n. Suppose 59 - 199 = 4*s. Let z = 44 + s. Which is smaller: n or z?
n
Let z be (-3 + 0 + 2)*(-5)/(-10)*2. Which is smaller: z or 3/1427?
z
Let k = 1353.1508 - 0.1508. Let l = -1296.1 + k. Let x = l + -57. Which is bigger: x or -3?
x
Let g be (-5996)/(-240)*-3 - (-3)/15. Let o = 76 + g. Let j be 0 + 72/33 + (-4)/22. Is j bigger than o?
True
Let o be 0/1*3/6 - -5. Suppose -50*j - 658 = -52*j + 2*z, -o*z + 963 = 3*j. Is 327 smaller than j?
False
Let g = -0.94 + 0.3. Let q = -0.401 - 0.839. Let f = q - g. Which is bigger: f or 2/5?
2/5
Let s be (-135)/8*(-10)/(-15). Let p = -13 - s. Which is smaller: p or 2/53?
p
Let y = 1.895 - 1.88. Let u = y - -0.085. Which is smaller: u or -2.8?
-2.8
Suppo