ger: 1 or s?
1
Suppose -3*f + 6 = 3*d, -9*f - 1 = -3*d - 13*f. Let g be 0 - -1*d - (76 - 71). Which is smaller: -2/7 or g?
-2/7
Let d = -5 - 3. Let t be (9/(-12))/(60/d). Let m = -158 - -157. Are m and t equal?
False
Suppose -3*w + f = -w - 70, -5*w + 185 = -5*f. Suppose -2*q + 163 = 3*m, m + 5*q - w = 17. Is m less than or equal to 56?
True
Let s be 2 + ((-93)/2180)/(146/6906). Let n = -9/436 - s. Is 0 less than n?
False
Let a(z) = 3*z**2 - 22*z - 29. Let r be a(21). Let w be -5*143/r - 1/(-1). Which is bigger: 0 or w?
w
Let w be 4/(-2468) - 0/(-5 + 12). Suppose -18 + 17 = -r. Which is greater: r or w?
r
Let x be (25/20)/(-1) + (-126)/(-24). Let w(o) = -o + 2. Let z be w(-7). Suppose z*h = 5*h + 40. Is x not equal to h?
True
Let b = 205 + -205. Suppose 7*m = -b*m + 7. Is m at most as big as 145?
True
Let h = -9200 + 17988. Is h equal to 8787?
False
Let r(b) = -28 - 7*b + 10*b + 5*b - 2*b. Let o(y) = -2*y**3 - 16*y**2 + y + 4. Let k be o(-8). Let f be r(k). Is f equal to -2/7?
False
Suppose 297*r = 102*r - 41145. Suppose -l = 3*l - d + 843, -l - 237 = 5*d. Is l smaller than r?
True
Let t be (-6)/(-4)*45/54. Let x be (-12)/(-4) + -13 - -2. Is x bigger than t?
False
Let r = 544178/11 - 49594. Which is bigger: r or -124?
r
Let y(u) = -4*u - 9. Let k be y(8). Let c = -26 - k. Let d = c + -15. Is 2.8 < d?
False
Suppose 0 = 5*u + 30*i + 76205, -3*u + i + 4510 = 50062. Is u bigger than -15186?
False
Let z(y) = -y**3 - 13*y**2 + 11*y - 38. Let n be z(-14). Suppose -3*m + s - 5 + 0 = 0, 3*s = n*m + 15. Is m < -16/35?
False
Let p = -629 - -631. Let r(o) = -2*o**2 + 3*o. Let n be r(2). Let x be p + 68/72*n. Which is smaller: x or 0?
0
Let t = -226 + 583. Let d = -396 + t. Suppose f - 2 = 3*f. Which is smaller: d or f?
d
Let o = -112930 - -112930. Let c = 547/946 - -5/86. Is o <= c?
True
Suppose -y = 85 + 105. Let h be 188 + y - (1 - (1 - -2)). Is -41 bigger than h?
False
Suppose 31*k - 8*k = -27*k + 100. Let h be 2/(-7) - 128/(-56). Let g be (-5)/(-8) + h/(-4). Which is bigger: g or k?
k
Let f = -506 - -12626/25. Let w(v) = 5*v + 33. Let j be w(-7). Which is greater: f or j?
f
Suppose -46*p + 50*p = -3*d + 45, 70 = 4*p - 2*d. Which is smaller: 65/4 or p?
p
Suppose 0 = 3*i + j - 2*j + 49, -82 = 4*i + 2*j. Let q be (380/(-15))/(1/9). Let h be 74/q + 1*(-3)/i. Which is smaller: 1 or h?
h
Let p = -124 - -91. Let k be (-21)/(-9)*p/11. Is 3 greater than or equal to k?
True
Suppose 126 = 4*j + 2*j. Is 148/7 < j?
False
Suppose -5*f - 6*n + n + 55 = 0, 2*f - 3*n - 32 = 0. Suppose -f*d = -8*d + 145. Let p(w) = -w**2 - 7*w - 10. Let r be p(-9). Is r at most as big as d?
False
Let d be ((-88)/(-143176))/((7 - 5)*(-2)/(-16)). Is 0 less than d?
True
Suppose 13*l - 7*d = 14*l - 9, l - 3*d + 11 = 0. Let r = -4 - -6. Let s be (-2 + r)/((-10)/l). Is -2/3 <= s?
True
Let v = 27.38 + -20.9. Let l = -0.0458 - -6.5458. Let r = v - l. Is 0.2 > r?
True
Let h be (-5 + -2 - -5)*(-14)/4. Let c(v) = -13*v**2 + 91*v. Let l be c(h). Which is bigger: -19 or l?
l
Suppose d + 17 = -4*i, 4*i = 4*d - 5 + 93. Let m be -9*(-2 - d/7). Which is bigger: 5 or m?
5
Let j = 1.65 + -1.55. Let r = -105/68 - -8669/3060. Let b = r - 7/5. Is b less than j?
True
Let d = -2755 - -2754. Which is bigger: 1/1607 or d?
1/1607
Let x be 873/5 + (-3)/5. Let u(d) = 5*d**2 - 329*d + 2487. Let y be u(8). Is x >= y?
False
Let s = -9763 + 2040479/209. Is s less than or equal to 0?
False
Let o be 3 + (-60)/14 + 1. Suppose 0 = -3*c + 5*d - 5 - 25, 0 = 4*d. Let j be 2 + 17/c + (-13)/26. Is o smaller than j?
True
Let k be (153/12)/((-9)/(-24)) + 0. Let u(s) = -3*s**2 + 17*s - 8. Let l be u(5). Suppose l*b + 180 = 7*b. Is b < k?
False
Let k be ((-8)/(-48))/((-4)/(-9)). Suppose -8 + 21 + 15 = -28*q. Which is smaller: k or q?
q
Let s be (-5 - (-1 + -5))*-1. Suppose 6 = -3*i + 3. Let c be (i - (-65)/(-45)) + 0. Is c != s?
True
Suppose -250 = 6*o - o. Let l be 3/(-12) + o/(-4). Let j = -78.1 + 78. Is l < j?
False
Let n = 32572 - 162859/5. Let d = 45 - 30. Let g = -25 + d. Which is smaller: n or g?
g
Let g = 334971 + -16413573/49. Let a be (3/((-6)/4))/(-2). Which is bigger: a or g?
a
Let v = -802 - -269. Let q = v - -491. Let w = -0.3 + 1.3. Which is greater: q or w?
w
Suppose 62*l - 22348 = 53416. Which is smaller: l or 1223?
l
Let d = 1352 - 1352.6. Let b = 398 - 367. Is d equal to b?
False
Let i = -400.7 + 400.4. Which is bigger: 2.4 or i?
2.4
Let s = -183719 - -183842.179. Let r = s + -0.179. Let t = -122.33 + r. Which is bigger: -1 or t?
t
Let v(w) = -2*w**3 + 35*w**2 - 19*w + 46. Let h be v(17). Let a be h*4/396*3. Is 2 at least as big as a?
True
Let z = -445 + 966. Let i = 543 - z. Is i at least 21?
True
Let o = -1571 - -930. Let t = 3871/6 + o. Are 3 and t non-equal?
True
Let j(x) = 3*x**3 + 18*x**2 - 11*x - 16. Let m be j(-6). Are m and 457/9 nonequal?
True
Suppose 19*f = 35*f + 1328. Is 0.1 at most f?
False
Let m be 1140/(-6) - 2/(-1). Let h(z) = 190*z**3 + 2*z**2 + 7*z + 7. Let u be h(-1). Is u greater than or equal to m?
True
Let f be ((-208)/630)/2 - 214/(-1605). Is f smaller than 75?
True
Let n(o) = -9*o**2 - 8*o - 31. Let w(i) = 7*i**2 + 9*i + 30. Let t(d) = 4*n(d) + 5*w(d). Let p be t(15). Which is smaller: p or 22?
p
Let l = 390 + -370.1. Let w = l + -19.9. Which is smaller: w or 12/7?
w
Let q(c) = c**2 + 61*c - 477. Let s be q(7). Let a = 55 - 56. Is a <= s?
True
Suppose -16062 + 16998 = 36*i. Which is greater: -69 or i?
i
Let h = 34 - 34.024. Let m = 0.174 + h. Let a = 0.05 - m. Is a bigger than -33?
True
Let j = -31928 + 31928. Let m = -2 + 5. Is m smaller than j?
False
Suppose -i - 2*j + 16 = 0, -4*i + 2*j + 1 + 53 = 0. Is 486/35 greater than or equal to i?
False
Let m = 3056 - 3089.6. Is m less than -1/3?
True
Suppose -63*i = -72*i + 1134. Suppose -9*a - 513 = i. Is -71 less than a?
False
Let r be 148/518 - -2*(-9)/14. Let x = 2692 + -1119873/416. Is x < r?
False
Let j be (-4636)/(-152) + ((-2)/(-4) - 1). Let u be 24/j - 3782/4165. Let s = -8/119 - u. Is s > 0?
True
Let i = 11642 - 11642.1. Let v = -0.2 + 0.1. Let d = 0.04 + v. Which is greater: i or d?
d
Suppose 0 = -3*s - t - 5, s = -2*t - 2*t - 9. Let u = 307/3 + -6167/60. Which is bigger: s or u?
u
Let r(d) = -26*d**2 - 23*d + 45. Let w be r(2). Which is bigger: -106 or w?
w
Let u(j) be the third derivative of j**4/8 + 4*j**3 - 637*j**2. Let d(o) = -o**3 + 6*o**2 - 5*o. Let z be d(5). Let a be u(z). Which is smaller: 23 or a?
23
Let y = 0.719 + 2.391. Let f = y - 0.11. Let d be (-5)/4*((-80)/(-75))/(-8). Which is smaller: d or f?
d
Suppose 2*j + 42 = -2*f - 2*f, j = -1. Let p be ((-12)/(-10) - (-7)/f)*-2. Which is smaller: 2/601 or p?
p
Suppose 22*k - 47*k + 36*k = 1100. Is k <= 91?
False
Let r = 2.3 - 2. Let q = -21857/5 - -4391. Let p = q - 59/3. Which is smaller: p or r?
p
Let y be ((-6)/18)/((-2)/(-6)). Let b = 0.37 + -0.432. Let q = b + 0.292. Which is smaller: q or y?
y
Suppose 0 = -3*j + 4*w - 5 + 8, 3*w + 5 = 5*j. Does j = 2/369?
False
Let d(t) = -t**3 + 9*t**2 + 3*t + 2. Let m be d(5). Suppose 2*s + 221 = -3*n, 5*n = 5*s + 948 - 358. Let y = m + s. Which is greater: 15/11 or y?
y
Suppose -15 = -r - 2. Let q be 2/(r/(-2) - 1). Suppose -3*f + 4 = 1. Which is greater: q or f?
f
Let c(y) = -36*y + 918. Let o be c(11). Which is bigger: 518 or o?
o
Let g = 219 - 209. Let o be 156*5/(g/(-3)). Which is smaller: o or 0.1?
o
Let f(m) = m**3 - 12*m**2 - 14*m + 16. Let i be f(13). Let b(d) = 7*d**2 + 5*d - 21. Let s be b(i). Is 335/6 less than s?
True
Let p(u) = -u**2 - 4*u + 212. Suppose 7*k + 4*a - 60 = 11*k, 3*a + 12 = 0. Let n be p(k). Is n less than or equal to -1?
True
Let x = -2 + -21. Let h = 37 + x. Let j = -13 + h. Which is greater: -12 or j?
j
Let u = -2115 + 2114. Which is smaller: 4/661 or u?
u
Let n be (1 - 38/36)*7. Suppose 18*w - 6 = 21*w - 3*l, -5*l = -w - 10. Is w at least n?
True
Let c = 2855.5 + -2855. Which is smaller: -10 or c?
-10
Suppose -i = -3*w + 12, -48 = 6*i - 2*i + 5*w. Let o be 1*(-8)/i - 1. Is -0.052 smaller than o?
False
Suppose 0 = 5*m - 3*y + 174, 5*m - 8*m - 104 = -2*y. Let a be (-8)/(-36) + 485/m. Which is smaller: -1/2 or a?
a
Let f(z) = -157*z - 67. Let i be f(-4). Let q = i + -388. Is 173 >= q?
True
Suppose 5*z - 6*t + 862 = -2*t, -2*z - 352 = -4*t. Let f = z - -211. Is f <= 41?
True
Let u(y) = -y**3 + 71*y*