+ 129. Let u(n) = 74*n + 194. Let s(m) = -8*q(m) + 5*u(m). Let g be s(-3). Is g at most 7/2?
False
Suppose 0 = -11*m - 16 + 5. Let v be -9 + 5 + m + 254. Is v bigger than 248?
True
Let y(s) = -218*s - 3298. Let z be y(37). Is -11364 greater than z?
False
Let v = -0.1534 - -94.1534. Which is smaller: v or 0.2?
0.2
Let i = 14 + -10. Let a(f) = 22*f**2 + 3*f + 3. Let y be a(-1). Suppose 2*q = 2*j - 4*j + 12, y = 3*q + i*j. Which is smaller: 7 or q?
q
Let h = -152.7 + 151.7. Is h at most as big as -1.28?
False
Let n = -14226 + 71128/5. Which is greater: 10824 or n?
10824
Let k(l) = l**3 + 39*l**2 + 38*l - 1370. Let x be k(-37). Let w = -3 + 3. Suppose 5*a - 92 + 277 = w. Is x at least as big as a?
False
Let l = 45 + -45.023. Let q = -1.023 - l. Let x = -9.982 + -0.018. Which is smaller: x or q?
x
Let m = -1 - -2. Let s be -108 - -112 - (-2)/(-7)*101. Let q = -856/35 - s. Do q and m have the same value?
False
Let o(r) = -14*r - 8. Let q be o(6). Suppose -32*a = 135*a + 58*a + 20925. Is a at most as big as q?
True
Let o be (-14 - (-765)/55)/((4/(-44))/1). Is o at least -1/23403?
True
Let d be ((-9)/12)/((-1)/12). Let m(w) = -w**3 + 9*w**2 + w - 1. Let c be m(d). Suppose -2*p - 2*p = c. Is p bigger than 13?
False
Let o be (13 - 23)/(952/3982). Let l = -251/6 - o. Which is bigger: -1 or l?
l
Let a = -8276 + 8271.2. Is 1/5 equal to a?
False
Let y = 48 + -41. Let f be y/49 + 1 + (-333)/273. Let k be 0/(2/(-2)) + 0. Which is bigger: k or f?
k
Let t = 5120 + -312300/61. Is t bigger than 0?
True
Suppose -113*u + 103*u - 11550 = 0. Let j = -741 - u. Is 415 less than or equal to j?
False
Let k = 3277 - 3297. Is k <= -52?
False
Let j(u) = -u**3 - 29*u**2 - 41*u + 349. Let g be j(-27). Is g at least -32/33?
False
Let n be ((-192)/(-56))/24 - 50/56. Which is smaller: 1/20 or n?
n
Let c = 17868 - 24122. Which is smaller: c or 1/4?
c
Let q = 47162 - 46817. Is 392 at least q?
True
Let n = 17.302 - 17.092. Which is greater: 4/23 or n?
n
Let c = -0.2697 + 0.0197. Is -28 >= c?
False
Let w be (5 + -5)*(-5 - (-121)/22). Which is smaller: 110/151 or w?
w
Let w = 3/286 + -1101/2717. Is 1 greater than or equal to w?
True
Let a be (-111)/9 - (-6 - (-180)/27). Let d = -273 + 258. Which is bigger: a or d?
a
Let g = 867 + -489. Let z = 379 - g. Which is smaller: -133 or z?
-133
Let l = -94.6689 - 0.0311. Let w = 94 + l. Which is smaller: -0.4 or w?
w
Let h(g) = 3*g**2 + 51*g + 6. Let b be h(9). Let t = -1051 + b. Is t != -342?
True
Let q = 23.1 + -33.2. Let c = q - -6.1. Which is bigger: c or -29?
c
Let i = -5 + -14. Let x be (-30)/(-21)*i/(-18). Let c = x - 11/9. Does 1 = c?
False
Suppose 86*q + 33 = 91*q - 3*m, 14 = 2*q - m. Is q less than 183/22?
False
Let d = 18 + -16. Let f(k) = k**2 + 2*k + 1. Let x be f(-3). Suppose 8*c - x*c = 12. Which is bigger: d or c?
c
Suppose -4*h - 42 = -126. Let v be -1*2*h/(-210). Which is smaller: 69 or v?
v
Let x be (4/(-40)*5)/(18/(-52)). Let z(u) be the third derivative of -u**5/60 - u**4/4 + 7*u**3/6 + 4*u**2. Let t be z(-7). Does t = x?
False
Let y be 9/(-6) + 1/2. Let s = -21788 + 370363/17. Is y equal to s?
False
Let d be -1*6/(-9)*1*6. Suppose 4*p + 2*a = 8*p + 1968, 3*p + 1471 = d*a. Is -493 greater than p?
False
Let s be (-4)/(4/1) + -14*(-586)/(-68). Is s <= -121?
True
Let i be (-13400)/(-160) + 12/(-16). Are i and 36 nonequal?
True
Let x be (-10 - 2) + 2 + -2. Let c = 24 + x. Let i be 2 + 1 + (-37)/c. Is i less than -1?
False
Suppose -p + 5*p - 2560 = -5*l, -3*l = 3*p - 1533. Suppose 0 = 4*o + 16, 3*m - 4*m + l = 5*o. Is 535 <= m?
True
Suppose -92*f + 17137 = 16953. Let b(w) = -5*w**3 + w. Let m be b(-1). Are m and f equal?
False
Let y be 6 + 1 + -2 + (-15 - 8316/98). Do 2/9 and y have the same value?
False
Let a(i) = -92*i**3 + 10*i**2 - 22*i - 23. Let w be a(4). Which is greater: -5838 or w?
-5838
Suppose -f + 4*f + 195 = 0. Let a = f + 70. Suppose 2*k + 16 = a*p - p, 5*p + 3*k = 9. Which is smaller: p or -1?
-1
Suppose -x - 42*y = -38*y - 327, 0 = -y + 3. Suppose -94*m = -91*m + x. Which is smaller: -104 or m?
m
Let b = -409 + 557. Let p be (-1 + (-15)/(-16))*(2 + b). Is p <= -8?
True
Let w(i) = 15*i - 1070. Let o be w(73). Is o smaller than -7/3?
False
Let a be 58/136 - 2/8. Suppose 36*n - 2509 = 3431. Let o be n/231 + 9/7 + -1. Which is greater: a or o?
o
Let w be 18325/30 - -2 - 60/12. Is 608 smaller than w?
False
Suppose 0 = 9201*x - 9167*x + 13090. Which is bigger: x or -355?
-355
Let y be 127/3 - 30/90. Suppose -5*l - q = 70, 2*l + 2*l = 2*q - y. Which is smaller: l or -28?
-28
Suppose -4*f - 148 = -8*f. Let h(a) = 40*a + 7 - 73*a + 30*a. Let b be h(-10). Is b <= f?
True
Let z(q) = -7*q**2 + 26*q + 8. Let s be z(6). Let o(l) = 2*l**2 + 13*l + 11. Let w be o(-10). Let k = w + s. Which is bigger: k or -8?
k
Let l = 141 - 133. Let x = -7 + 3. Let d be 2*(l/x)/(1*4). Which is smaller: -1/35 or d?
d
Let u(s) = 2*s**2 + 14*s + 17. Let r be u(-6). Let f(l) = -24*l + 160. Let w be f(r). Which is greater: w or 44?
44
Let g = 2395/8 + -122257/408. Let f = g - -445/1683. Which is greater: -1 or f?
f
Let c = 5208 + -5179. Is c less than 29?
False
Let o(n) = n**3 + 9*n**2 + n + 3. Let u be o(-9). Let z be ((-2)/4)/(3/(-288)). Let l be z/(-7) + (56/(-49))/4. Is l >= u?
False
Let d be (157/9)/((-69)/(-621)). Is d less than 159?
True
Let w = 3436 + -3436. Which is smaller: w or -9/196?
-9/196
Suppose -219 = -3*l + 111. Suppose -l = -33*a + 11*a. Is a less than 0.1?
False
Let w(b) = b**3 - 11*b**2 + 10*b + 5. Let x be w(10). Suppose x*y + 24 = 8*y. Let r be 186/(-8) + 0 + (-6)/y. Is -23 at least as big as r?
True
Let v(f) be the first derivative of 9*f + 7/2*f**2 + 18. Let w be v(-9). Do w and -1/4 have the same value?
False
Suppose -3*v - 2*j - 218 = 0, -4*j + 716 = 31*v - 41*v. Is v < -70?
True
Let n be (276/(-161))/(6/(-21)). Let x be -7 - n/(-15)*5. Is x greater than -23/4?
True
Let x = 20/73 + -781/3650. Let m = -2081279/3181850 - 8/45455. Let z = x - m. Is z at least -0.1?
True
Let h be (-2)/14*(-1141)/652. Is h not equal to -133?
True
Let j = -169 + 197. Let k(o) = -o**3 + 5*o**2 + 2*o + 4. Let m be k(5). Let g = m + 14. Is g smaller than j?
False
Let m = -285 - -175. Let o = -114 - m. Is o at least as big as -7?
True
Let f(b) = -90*b + 958. Let c be f(13). Is c bigger than -221?
True
Let m = 1.7143 + -0.5846. Let t = -0.0297 + m. Which is smaller: 0.06 or t?
0.06
Let n(u) = u**3 - u**2 - 4*u - 4. Let z be n(4). Suppose 0 = -3*g + 2*m + 10, 4*g + z = -4*m + 8. Let c = -23219.02 - -23218. Is c less than or equal to g?
True
Suppose 0*z + 412 = 4*z. Let x = z + -69. Suppose 35*a + 3 = x*a. Which is greater: 1 or a?
1
Let j = -2701 - -2711. Is j != -5/2?
True
Let z be 0/(0 - 2 - 0). Let s = -105889 - -105888. Does z = s?
False
Suppose 15*z + 81 = -9. Let x be ((-2)/(-2) - 0)/(447/z). Which is smaller: x or -1?
-1
Let b be (-3)/21 - 11/(-49). Let y(x) = -3*x**3 + 20*x**2 - 25*x + 1. Let c be y(5). Does c = b?
False
Let r = 182.4 + -183. Is r bigger than -344?
True
Let t be 68/(-782) - 688/23. Let w(c) = -c**2 + 3*c + 2. Let h be w(2). Let d be -6*(-2)/(-3)*(h - -4). Is t at most d?
False
Let k(o) = -1. Let x(q) = -3*q**2 - q - 3. Let y(u) = -2*k(u) + x(u). Let p be y(2). Suppose -4*h + 2*b = 42, 4*b - 24 = -14*h + 18*h. Is h less than p?
False
Let x(z) = z**3 - 8*z**2 + 9*z + 29. Let j be x(5). Is -27 smaller than j?
True
Suppose -391*q + 396*q + 840 = 0. Let s = 383 + q. Which is greater: s or -0.1?
s
Let j(m) = -m**3 + 73*m**2 - 108*m + 363. Let n be j(70). Is n at least 7504?
False
Let a(d) = -2*d**3 - d**2. Let y be a(-1). Let j(z) = -7*z**2 + 121*z + 88. Let c be j(18). Which is greater: c or y?
y
Let v(r) = -r**2 - 3*r. Let u be v(-3). Suppose -3*p = -g - 17, -g + 5*p - 9*p = -18. Let t be (6 - 4)/((-78)/g). Are u and t equal?
False
Suppose -53*w = -48086 - 113723. Which is greater: 3054 or w?
3054
Suppose 0 = -3*v + 18 + 6. Let q be (10 - 11)/(v/212). Is q less than -26?
True
Suppose -8*h = -12*h - 4*l + 4, 5*h = -3*l + 13. Which is greater: -179 or h?
h
Let u be 36/108 - 118/87 - -1. Is u < -22?
False
Let l = -0.122 - -0.166. Let r = l + -0.644. Which is smaller: -6/13 or r?
r
Let u = 2674 + -2675. Which is smaller: u or -12/25?
u
Suppose r + 7 = 2*k, 14 = 3*r + 3*k - 1. Is r at least 34/65?
True
Let f = -6891 + 6536. Is -