 (-112)/14 + 1215/(-2). Let h = -591 - g. Which is smaller: 26 or h?
h
Suppose p - 5*t + 30 = 0, 3*p + 2*t + 22 = -0*t. Let j(w) = -w**2 - 9*w + 9. Let o be j(p). Let f be 438/444 + 1 + (-4)/2. Which is bigger: o or f?
f
Let q = 7 + -5. Suppose 3*n + 3*m - 15 = -2*n, 5*m = 0. Let y be 3 - (5 - 8/n). Which is smaller: y or q?
y
Let r be 327/(-218) - -73*2/4. Suppose 0 = 5*v - 135 + r. Is v < 21?
True
Suppose -14*v + 39*v + 3025 = 0. Let a = -114 - v. Which is bigger: 33/4 or a?
33/4
Let u = 21479 - 12479296/581. Which is greater: u or -2/7?
u
Let y(o) = 2*o**3 + 6*o**2 - 4*o - 41. Let m(p) = -p**3 + p**2 - p. Let f(h) = m(h) + y(h). Let j be f(-7). Let a be 91/(-2)*(j + 4). Is 91 > a?
False
Let h(b) = -b + 10. Let i be h(2). Suppose -i*m - 1 = -9*m. Do -5/93 and m have the same value?
False
Let h be ((-36)/(-15))/((-18)/(-45)). Suppose 24 = h*q - 10*q. Are -63/13 and q non-equal?
True
Let b be 72/(-15)*((-117)/(-52) - 2). Let y(n) = n**2 + 6*n + 4. Let m be y(-4). Let k be (m + 4)/(-3 + 2). Is b greater than k?
False
Suppose 5*m - 83 = 152. Suppose -92*y + m*y = 5625. Is y bigger than -123?
False
Let d be ((-3)/(-2))/(9/420). Let c = d + -112. Are c and -245/6 non-equal?
True
Let r = -14 - -42. Let t = 28.014 - r. Let y = t + 5.986. Is y > -3?
True
Suppose 0 = -52*a + 47*a. Let b be 687*(-4)/(-19935) - 2/15. Is b less than a?
False
Let y = -0.55186 + 0.15186. Which is smaller: y or -495?
-495
Let g be 18/(-7)*(-189)/108. Which is bigger: 5 or g?
5
Let v = 20487 + -20510. Which is bigger: -302/13 or v?
v
Let y(t) = -t**2 + 37*t + 5. Let p be y(37). Suppose 20 = 5*m - 6*m - 4*a, -p*a - 46 = 3*m. Is -10 greater than or equal to m?
True
Let q = -2 + 2. Let c be (336/(-602))/(-1 + -1). Let t = -50/129 - c. Which is smaller: t or q?
t
Suppose -5*z + 535 = -5*f, -2*z - 14*f = -18*f - 210. Which is greater: 329/3 or z?
329/3
Let s = 112 - 164. Let p be (-12)/48 + 35/s. Suppose 8 = 2*o + 2*o, -3*a + 7 = 5*o. Is p < a?
False
Let w(g) = 3*g**2 + 11*g. Let o be w(-4). Which is bigger: 57/11 or o?
57/11
Let j(p) = -p**3 + 11*p**2 - 4*p - 9. Suppose -h - 3*a + 4 = 0, 5*h = -a - 2*a + 44. Let i be j(h). Which is bigger: 49 or i?
i
Let i = -0.0574 - 307.9426. Let p = i + 317.8. Which is smaller: -1/2 or p?
-1/2
Let h(q) be the first derivative of 2*q**3/3 - 4*q**2 + 4*q - 3. Let c be h(6). Suppose -3*z + 2*d = 8, -z = -6*z - 4*d - c. Is -23/5 greater than z?
False
Suppose 22*a - 4116 - 702 = 0. Suppose -a + 203 = n. Is n equal to -11?
False
Let f be 3/4 - ((-38395)/28 - 11). Suppose -323 = -5*o - f. Does -212 = o?
True
Let j(s) = -s**3 - s**2 + 177. Let c be j(0). Let h(v) = -177*v**3 - 15*v**2 + 7*v + 22. Let l be h(-1). Are c and l equal?
True
Let g = -165 + 164.1. Let n = 0.04 + -5.94. Let o = g - n. Which is smaller: o or -6?
-6
Let w be 2303 - (238/(-14) - -6). Which is bigger: 2313 or w?
w
Let f be 710/(-20) + 10 + (-3)/(-2). Let a = f - 50. Is a at least -75?
True
Suppose 5*r = -4*c - 84, -108 + 28 = 5*r + 5*c. Let b be r/210*3 - 60/(-259). Which is bigger: 1 or b?
1
Suppose 0 = -217*h + 205*h + 60. Suppose 0 = h*i + 4*r - 5*r, -4*r = 4*i - 24. Which is bigger: -1/143 or i?
i
Let l be (1/(-2))/(-30*16/(-1152)). Which is smaller: l or 111?
l
Suppose 4283 = 25*z - 1067. Let i = z - 221. Which is smaller: -12 or i?
-12
Let t = 61 + -111. Let p = 35 + t. Let h = 14 + p. Is h at least as big as -0.01?
False
Suppose 3*d + 23 = -2*y, -5*d - 3 = 2*y + 14. Let r = y + 46/3. Let f be (-26)/(-52) - 4/6 - 471/36. Which is greater: r or f?
r
Let z be (-185)/45 - (-5)/45. Let b be 2/z*(-7 + -5 + 13). Are b and 1/7 equal?
False
Let s be (-2)/3 + (2 - 1) + (-21850)/(-897). Which is smaller: 25 or s?
s
Let v = -7516.262 + 7523. Let y = 0.262 + v. Is 1 bigger than y?
False
Let u = -14685 + 14685.1. Which is smaller: u or -12107?
-12107
Let n be ((2296/(-84))/(-41))/((-1)/((-6)/(-7156))). Is n less than 1?
True
Let f = -1313.42 + -13.58. Which is smaller: f or -1?
f
Let h be (3 - 8) + (-51 - -219). Which is smaller: h or 161?
161
Let t = 435 + -437.8. Is 5.6 >= t?
True
Let w = 259 - 262. Let u = 1451 + -13097/9. Are w and u non-equal?
True
Let c(b) = -b**3 - 8*b**2 + 2*b + 67. Let m be c(-7). Which is smaller: m or -5?
-5
Let h = 109 - 543/5. Let i = -2264 - -2263. Which is bigger: h or i?
h
Let r = 1.416 + -13.416. Is r bigger than -27?
True
Let s = -4464 - -4585. Let m = -2 + 3. Which is greater: s or m?
s
Let k = -3 + 3.1. Let y = 4860 - 4860.08. Which is bigger: k or y?
k
Let p = 2.65 - 2.67. Are p and -6/37 nonequal?
True
Suppose -5*d - 32 = -87. Suppose -2*o = -i + 10, -6*o + d*o + i + 11 = 0. Do o and -17 have the same value?
False
Let g = -1 + 3. Suppose -5*q - 55 = j - 0*j, 10 = -g*q + 2*j. Let y be -1 - ((-14)/14 + 9). Is q at most y?
True
Let d = -2605 - -2574. Let b(g) = 2*g - 9. Let x be b(-11). Is d at least x?
True
Let s be -14 + 2 + (-654381)/(-54405). Which is bigger: s or 0?
s
Let j(p) be the first derivative of p**4/12 + 7*p**3/6 - 3*p**2 - 6*p - 12. Let y(m) be the first derivative of j(m). Let l be y(-7). Is -5 > l?
True
Let n = -214 - -368. Let r = -153 + n. Which is bigger: r or -6?
r
Let h(l) = l + 34. Let p be h(-28). Let m be (-676)/156 + p*1. Is m greater than or equal to 2?
False
Let b = 687.025 + -687. Let h = 0 + 0.2. Which is smaller: b or h?
b
Let n = 1110 - 1161. Which is greater: n or -23?
-23
Suppose -4*b + 5*r - 460 = 15035, -7775 = 2*b + 3*r. Which is bigger: b or -3879?
-3879
Let o be -2 + -12 + 0 + 5 + -1. Let b be (1 + -3)/(58/o + 6). Suppose -4*c = -3*c + 10. Are c and b non-equal?
False
Let v = -43.19 + 43.09. Which is bigger: 1685 or v?
1685
Let k be -2*((-32)/304 + 36/(-19)). Suppose 3*v + 2*o + 151 + 88 = 0, v + k*o + 63 = 0. Which is smaller: -85 or v?
-85
Let u = 0.017 + -0.009. Let b = u - -5.492. Let j = 4.9 - b. Is -2 greater than j?
False
Let p = 9220 + -9375. Which is smaller: p or -1559/10?
-1559/10
Let k = -1627 - -1708. Which is smaller: k or 1/2?
1/2
Let r = 8.578 - 0.078. Let f = r + 0.5. Let y = 5 - f. Is y less than or equal to -3/5?
True
Let g = 100.683 - -0.217. Let t = g + -101. Which is smaller: -1/25 or t?
t
Let l(w) = 3*w**2 - 7*w + 4. Let o be l(4). Suppose -17*f - 11*f = -o*f. Which is smaller: -2 or f?
-2
Suppose u = -u - 64. Let s(x) = -x**3 - 7*x**2 - 10*x + 3. Let k be s(-5). Suppose o = -k*r - 29, 12*o + 4*r = 7*o - 156. Is u at least as big as o?
True
Let m be 16/(-56) + 20/(-140). Is m bigger than 120?
False
Let y = 577 - 559. Let s(b) = 2*b**2 - 32*b - 67. Let i(x) = -x**2 + 16*x + 33. Let t(v) = 7*i(v) + 4*s(v). Let n be t(y). Which is bigger: n or -4/9?
-4/9
Let o be (-2 - 1) + 30/(15 - 0). Which is smaller: 5/1397 or o?
o
Let s = -1461 - -3822. Suppose -16*z + 311 = -s. Are 167 and z non-equal?
False
Suppose 2*h = -2*h - 5*u + 37, 3*u = 2*h + 9. Suppose -h*c + 5*c - 6 = 0. Let j = 3211 - 3199. Is c greater than j?
False
Let z be (-28 + 15 - -11) + -48. Let i(y) = y**2 - y - 50. Let a(p) = -p**3 + 11*p**2 - 10*p. Let d be a(10). Let j be i(d). Is z greater than j?
False
Let r(u) = 7*u**3 - 4*u**2 - 11*u + 5. Let q be r(-5). Let g be 6/q*105/(-112). Which is bigger: g or 0?
g
Let z be 10/(-1002)*5/((-47500)/452083648). Let m = z - 73/9519. Let y = -475 + m. Which is greater: -1 or y?
y
Suppose -2210 + 888 = -419*t + 1192. Is t greater than 209/29?
False
Let j(b) be the first derivative of b**5/30 + b**4/24 + 2*b**3 + 2. Let n(i) be the third derivative of j(i). Let k be n(1). Which is greater: k or 11?
11
Suppose 8*w - 2*w = 0. Suppose d - 5*u + w - 4 = 0, -12 = 4*u. Let m = d - -19. Which is smaller: 9 or m?
m
Let t = 2771.5 + -1791.5. Which is bigger: t or -4?
t
Let p be (-1)/(6/(-36)*-2). Let n(b) = -24*b - 70. Let j be n(p). Is j < 8/3?
True
Let j be 6*(-430)/(-300) - (-6)/(-10). Suppose -14*p - 6 - j = 0. Is p > -8?
True
Let c = 215 + -180. Suppose -53 - c = 4*z + 2*s, 2*s - 8 = 0. Is z smaller than -8?
True
Let t = 2132 + -2131. Which is smaller: t or 1/731?
1/731
Let b(t) = t + 8. Let i be b(-6). Suppose -i*m - 80 = 4*k - 0*m, 2*k - m + 40 = 0. Let r = 32896.8 + -32897. Which is bigger: r or k?
r
Suppose 0 = -8*m + 30 + 18. Suppose -4*o - 6 - m = 0. Let t(r) = r**2 - 2*r - 13. Let a be t(4). Are a and o non-equal?
True
Let j = 3 + -26. Let a(s) = 0*s + s + 19 - s**2 - 5*s + 5. Let r be