 i(-17). Which is smaller: v or -7/118?
-7/118
Let k = -159 - -157. Let a be (-6)/k - -1 - 3. Is 2/213 greater than a?
False
Let z be ((-3)/(-4135))/((-45)/(-23460)) - 8/20. Is z >= -1?
True
Let r be ((-126)/(-35))/(6/20). Suppose r*a - 7*a + 15 = -5*g, -3 = g. Which is bigger: a or 7/57?
7/57
Let j be 126/276426*48265 + -22. Which is smaller: j or 0?
0
Let c be 6/(-28 - -4) + (-66804)/816 + -4. Which is greater: c or -85?
-85
Suppose 2 = -5*m - 18. Let w(f) = 37*f - 42. Let x be w(3). Let a = x - 78. Which is smaller: m or a?
a
Let t be 6/(-1443)*1703/(-99167). Is -1 less than t?
True
Suppose -5*l - 5*z = -165, -5 + 29 = l + 4*z. Suppose y + k + l - 32 = 0, 3*y = 4*k + 9. Is 3/35 less than y?
False
Suppose 0 = -20*r - 10*r + 74*r. Let q = -4.96 - 0.04. Which is greater: q or r?
r
Let v = 244 - 240. Suppose 29 = -v*p - 2*h - 15, -p + 7 = -4*h. Which is greater: -26/3 or p?
-26/3
Suppose 2*v - 9 = 5*v, 3*h = -4*v + 1743. Is h at least as big as 588?
False
Let s(j) = 3*j**2 + 9*j + 1. Let i(d) = -6*d**2 - 15*d - 1. Let x(f) = 3*i(f) + 5*s(f). Let n be x(1). Is n <= -2/3?
True
Let x = 49 + -42. Let b be 2/x + 174/(-119). Which is greater: b or -1?
-1
Suppose -3*s - 5*d = 650 + 198, 808 = -3*s + 5*d. Which is bigger: s or -275?
-275
Let d = 0.894 - 599.794. Let y = -599 - d. Which is bigger: 282 or y?
282
Let b = 48 + -29. Suppose -37 = 2*l + b. Let w be 3/5*4/l*-15. Do w and 0 have different values?
True
Suppose 9*r - 147*r - 138 = 0. Which is smaller: r or -2/1905?
r
Let n = -11161 + 11422. Which is bigger: 262 or n?
262
Suppose 3*j = -4*u + 83, -u + 22 = -4*j - 13. Let b = -25 + u. Let f be (18/(-12))/(b/4). Is -3 less than f?
True
Let z(v) be the third derivative of v**5/60 - 13*v**4/24 + 7*v**3/6 - v**2. Let m be z(6). Suppose 60 = -2*y + 2*w, -y - 25*w - 38 = -24*w. Is m greater than y?
False
Let c = -2468 - -461513/187. Let l = -6308 - -6308. Which is smaller: l or c?
c
Let w = 552 - 555.3. Let l = -3 - w. Which is smaller: 1.7 or l?
l
Let r = -666627 - -666627.0499. Let v be 8/70 - 2/5. Which is greater: r or v?
r
Let a(g) = g**3 + 17*g**2 + 44*g + 5. Let o be a(-3). Which is greater: -111/28 or o?
o
Let i = 151.1 - 150.1. Suppose -2*m + 5*v + 431 = 0, -2*v + 209 = m + 2*v. Do m and i have the same value?
False
Let q be (-4)/(-8)*3684/(-8658). Let r be (-2 - -4 - 0)/(-111). Let w = r + q. Which is smaller: w or -1?
-1
Suppose -l = 2*l - 90. Let v be 41/(-123)*9/(-1). Let x(k) = 3*k**3 - 5*k**2 + k - 8. Let h be x(v). Is h < l?
False
Suppose 5*t - 10 = 0, -2*n - 13*t + 14*t - 1634 = 0. Let p be n/58 + (-30)/(-435). Which is smaller: p or -16?
-16
Let m be (-2)/((-6)/22539) - (-23)/((-115)/(-20)). Is m less than 7516?
False
Let w = -24049 + 24049. Let v be -1 + 1 + (-14)/(-26). Is v at least w?
True
Let u(f) = f**2 - 19*f + 40. Let z be u(17). Let g(b) = 2*b**2 - 3 - 2 - 3*b - 3*b**2 + 10*b. Let c be g(z). Which is greater: 1/39 or c?
c
Let k(j) = -j**3 + 10*j**2 + 23*j + 10. Let y be (-9 - -3)/((-4)/8). Let w be k(y). Is -70 less than or equal to w?
True
Let p = -7393/19 + 389. Which is bigger: p or -1?
p
Let f = -66.793 + 0.893. Let z = 68.9 + f. Which is greater: -38/5 or z?
z
Let a(b) = -43*b**3 + 5*b**2 - 3*b - 1. Let i be a(4). Let o be -20 + 2 - 776106/291. Let n = o - i. Which is smaller: -1 or n?
-1
Let z = -335509/2060 - -3243/20. Which is smaller: z or 0?
z
Let o be 1925/15 - (-1)/(-3). Let w = o + -118. Let u be (-2)/w*(-2)/(-10). Is 0 less than u?
False
Let w(n) = 329*n - 2257. Let c be w(7). Do 4 and c have different values?
True
Let y = -3051919/322 - -9478. Is y at least 1?
False
Suppose 5*k + 5*t = -5, -109*t = -5*k - 110*t - 5. Which is bigger: -59/499 or k?
-59/499
Suppose 22*k + 3915 = b + 27*k, -2*b + 7820 = 5*k. Which is smaller: 19523/5 or b?
19523/5
Let f be 1 - ((0 - -1)/(-6))/(587/(-7044)). Which is bigger: f or 4/4391?
4/4391
Let a = 29/93 - 23/372. Which is greater: 5/547 or a?
a
Suppose -3*j - j - 1357 = 5*l, 3*l + 2*j = -813. Which is smaller: -280 or l?
-280
Let v = 3/32 - -43/224. Let h(f) = -3*f - 5. Let p = 140 - 142. Let o be h(p). Which is bigger: o or v?
o
Suppose 139*o = 94*o. Let y(n) = n**3 - 284. Let u be y(0). Let v be (-1)/(-1) - u/(-292). Which is bigger: v or o?
v
Let t = -0.17753 + 3.17753. Are -25/66 and t unequal?
True
Let t = 273 + -270.12. Let b = t + -3.08. Which is bigger: 1/79 or b?
1/79
Let d be (((-30)/(-170))/(-1 + 4))/(9/(-2664)). Is -18 > d?
False
Let i = 1318 + -1030. Which is greater: i or 0.4?
i
Let n be (3/(-2))/((-979)/44 + 23). Let d = -21 + 31. Do d and n have the same value?
False
Let o = -85 + 110. Suppose 0 = -o*d + 11*d. Does d = 1/182?
False
Let p be ((-6)/5)/(2/(-15)). Let b = -26321/6 - -4395. Which is smaller: b or p?
b
Suppose -102 = -19*k - 26. Suppose 30*r = 35*r + 3*s + 184, k*r + 5*s = -142. Is -45 bigger than r?
False
Let b be 3/((-48)/50) - -3. Let o = -29518.5 + 29531. Is b != o?
True
Suppose -3*l = -2*i + 10, 14*i = 18*i - 4*l - 4. Let w = 916677693/424 - 2161983. Let u = -30/53 + w. Which is greater: i or u?
i
Let n = -4.274 - -32.274. Let d = 1.9 + 1.1. Do n and d have the same value?
False
Let p = -297625/39 + 7632. Are 0 and p equal?
False
Let x(d) = d**2 + 9*d + 29. Let l be x(-14). Suppose 7*b - 118 = l. Which is smaller: b or 34?
b
Let u = -118652 - -1066100/9. Let r = u + 189203/963. Which is bigger: r or 1?
1
Let m be -11 + 23 + (-59)/5. Which is smaller: 3679 or m?
m
Let w = 4.809 + -4.909. Is 0.75 equal to w?
False
Suppose -4*q + 116 = 3*y, y + 2*y - 122 = 2*q. Suppose -15*m = y + 5. Is m at most -3?
True
Let m(x) = -x**2 - x + 5. Let s be m(0). Suppose -s*c - 5*l = 265, c + 54 = -6*l + 4*l. Let w = 2431387 - 2431439. Is w != c?
False
Let m = -5887 - -6792. Which is smaller: m or 903?
903
Let r(p) = p**2 - 105*p + 596. Let u be r(6). Is 112 <= u?
False
Let g = -2096 - -2338.1. Let n = -242 + g. Which is smaller: n or 2/65?
2/65
Let v be (2/12)/((-53)/(80136/(-798))). Let s(r) = r**2 + 6*r + 4. Let t be s(-5). Let i be (0 + t)*2/2. Are i and v unequal?
True
Let m = -0.04 + -0.26. Let q = m + -0.7. Let r = 3.32 + 7.68. Which is bigger: r or q?
r
Let c(g) = -g + 26. Let y be c(9). Let t(z) = z - 65. Let h be t(y). Which is smaller: -46 or h?
h
Let v = 2/291 + -592/1455. Let t = 1650.91 - 1655. Which is greater: t or v?
v
Let m = -141 - -285. Let f = -126 + m. Let b = f + 24. Are b and 0.1 non-equal?
True
Let v be ((-30)/24)/5 + 10739/(-20). Let o = 538 + v. Which is smaller: o or 10?
o
Let a(p) = -19 + 9*p + 2*p + 2*p**2 - 5*p - 3*p. Let u be a(-10). Are 151 and u equal?
True
Let m = -355/42 + 100/7. Let j = m - 37/6. Let z = -1.5 + 1.476. Is z at most j?
False
Let l be ((-1)/(-5))/((-2)/38). Let z = -979 - -301. Let w = z + 679. Is w != l?
True
Let a(f) = 14*f**2 + 108*f + 71. Let n be a(-7). Is 2/15345 less than or equal to n?
True
Let k(z) = 13*z - 43. Let x be k(23). Let s be (-3)/(1770/x) - (-2)/5. Suppose -4*q = 5*p - 19, 3*q + p = 2*p. Which is bigger: s or q?
q
Let m be -5 + -1 + 415/(-1). Let y = m + 362. Is -58 < y?
False
Let k = -3.301 - -3.301. Which is bigger: -871 or k?
k
Suppose -n + 3*n = -v + 18, -2*v - 18 = -2*n. Suppose -n*c + 18*c = -99. Which is smaller: -13 or c?
-13
Let r be (3/(-6)*2)/1. Let i be (-2)/(-4) - (3990/(-204))/(-19). Let h = 29/119 + i. Which is smaller: h or r?
r
Let z be (-6)/(-340)*(-5 - 275/(-60)). Suppose 9 = -5*a - 4*a. Which is smaller: a or z?
a
Let s be 7 - 125/(14 - 9). Let d be (1/(-2))/(1/(-12)). Let i be (s/(-63))/(2/d). Which is bigger: i or 2?
2
Suppose 24*a - 2384 = 20*a. Let c = a + -306. Let h = -4057/14 + c. Is h at most -1?
False
Let h = 26682 - 26729. Is -6 greater than or equal to h?
True
Let i = -24 - -32. Let t(p) = 21*p - i*p + 0*p + p**2 - 12. Let j be t(-15). Do j and 16 have different values?
True
Let k = 193 + -294. Let q = -101 - k. Suppose q = 4*s - h - 5, 2*h - h = -1. Which is bigger: s or 55?
55
Let n(z) be the first derivative of z**4/4 - 14*z**3/3 - 16*z**2 + 3*z - 18. Let s be n(16). Suppose 0 = -s*j + 19 + 32. Which is greater: j or 19?
19
Suppose 0*f - 12 = 4*f. Let j(k) = -2*k**2 + 23*k - 20. Let w(t) = -2*t**2 + 24*t - 20. Let n(m) = -3*j(m) + 2*w(m). Let u be n(9). Which is greater: u or f?
f
Suppose -13*a + 2*a - 110 = 0. Let n be (-5 - (a - -5)) + -26. Is n equal to -3?