Which is greater: 0.1 or f?
f
Suppose -8838*a + 8818*a + 1860 = 0. Which is greater: 12 or a?
a
Let i = 354 - 337. Let k(b) = -b**3 + 17*b**2 + 2*b - 40. Let g be k(i). Are -16 and g equal?
False
Let p = -2.6 + 0.2. Let u = 2.2 + p. Let o = 102 - 100. Is u >= o?
False
Suppose -14*v - 15*v + 19910 = 26*v. Is v greater than or equal to 366?
False
Let k be (-4)/(-6) - (-530)/(-3). Let m = 291 - 290. Let t be (m - k/(-178))*-2. Which is smaller: 1 or t?
t
Let z(n) = 585*n + 42. Let y be z(-4). Let w be ((-7)/(84/y))/((-1)/2). Is w bigger than -1?
False
Let d be 9/6 + 4576/(-1088). Let q = d - -3375/1241. Let o(l) = -2*l + 3. Let f be o(2). Which is bigger: q or f?
q
Suppose 0 = -g - 0*g + 32. Let d be (-1)/3 - ((-50)/15 + 2). Let t(n) = 34*n**3 - 3*n**2 + 2*n. Let b be t(d). Is g <= b?
True
Let p = 168 - 201. Suppose 4*f - 8 = 4*i, i + 5*f + 3 - 1 = 0. Is p at most i?
True
Let s be 18/90 + 16/(-5) + 4. Are -11/387 and s nonequal?
True
Let r = -69 + 71. Suppose -4*y = -10*y. Suppose y*o + 5*m + 21 = -o, -3*o = -m + 15. Which is bigger: r or o?
r
Let g = -1883992/293 - -6430. Suppose 0 = -22*t + 6*t. Is t at most as big as g?
False
Let k(l) = l**3 + 13*l**2 + 14*l + 14. Let u(w) = -3*w**3 - 38*w**2 - 41*w - 43. Let b(g) = -11*k(g) - 4*u(g). Let v be b(-8). Are v and 8 equal?
False
Suppose 0 = -2*p + 4, 3*y = 7*y + 2*p + 24. Let c(x) be the third derivative of x**4/8 + 3*x**3/2 - x**2. Let k be c(y). Is k less than or equal to -13?
False
Suppose d - 16931 = -2*d + 5*p, 0 = 3*p + 3. Is d at most as big as 5640?
False
Suppose -90*x + k = -94*x - 6, -3*k = x + 7. Is x smaller than 2/5061?
True
Let p be (6 - 10/20)*(-2 - -174). Let d be 2*-7*22/p. Is d less than or equal to 0?
True
Let c(t) = -t**2 + 5*t - 17. Let n be c(7). Let b = n + 30. Let y be -2 + b/(2/6*3). Which is bigger: -13/5 or y?
-13/5
Let h = -16860 + 16759. Let l(x) = -100*x**2 + 2*x + 2. Let d(z) = -z**2 + z. Let r(j) = d(j) + l(j). Let n be r(-1). Is h at most as big as n?
False
Let s(m) = m**3 + 21*m**2 - m - 34. Let z(q) = 3*q**2 - 1. Let f(a) = -s(a) + 5*z(a). Let o be f(-5). Which is smaller: 2/453 or o?
o
Let y = -399373 + 101041525/253. Is 1 < y?
False
Let v be (0 - 1/1)*-1. Let y = -42.8 + 41. Let w = y - -1.7. Is w at least v?
False
Let p = 367/679 + 3/97. Suppose -5*x - 53 = 97. Let b = x - -31. Which is greater: b or p?
b
Let d be -23 + 19 - (2 - (-1 + 6)). Let g be (-5)/d + 1375/(-575). Is g smaller than 4?
True
Suppose -8*j + 7*j = -2*c - 2, -2*j = 10*c + 24. Which is smaller: -691/5 or j?
-691/5
Let b = -3.6 + 0.6. Let c = 44483/3 - 489319/33. Is c != b?
True
Let x be 4/6 + 1/189*-129. Let o = 550494184/315 + -1747599. Let d = o - x. Which is bigger: d or 1?
d
Let w(g) = -10*g - 49. Let a be w(-7). Let o be (12/a)/(6/(-49)). Is -7 bigger than o?
False
Let d be (12/10)/((-66)/(-220)). Suppose n - 3*n - 2*z = 2, -n = -d*z - 4. Suppose 68*s - 73*s + 5 = n. Is -2/11 at least as big as s?
False
Suppose -4 = 12*z + 20. Let n be (z/15)/(28/(-42)). Which is smaller: n or -10?
-10
Let l be -1*2 + -111 + 286. Is 172 at least l?
False
Let j = 238 + -476. Let z = j - -238.1. Is z greater than or equal to 136?
False
Let z(w) = 6*w**2 + 13*w + 30. Let g be z(-8). Let h = -309 + g. Is h <= -2/89?
False
Let n = -59 + 142. Suppose 2*w + 5*t + 40 = 0, -3*w - 4*t - n = 2*w. Let v = -97 - -83. Which is smaller: v or w?
w
Let u be (1 + -179)*(-10 + 68/8). Let x = 265 - u. Let v(k) = k**3 - 6*k**2 + 5*k - 2. Let d be v(5). Is d < x?
False
Suppose 4*d - 2 = 2*d. Let x be (7/(-21))/(0 - d/(-3)). Let f be x/(-1) - (7 - 6). Is -2/109 >= f?
False
Let k be ((-54)/8)/((-3)/(-36)). Suppose 181 = -2*m - 5*i, -45*m = -41*m - 3*i + 323. Is k at least as big as m?
True
Let h(g) = -3*g**2 - 12*g + 22. Let b be h(-10). Let u = b + 1108/7. Is u bigger than 86?
False
Let r = -287351/11 + 26123. Let o(s) = -7*s - 3. Let l be o(-4). Suppose 3*w + 2*w = -l. Which is bigger: r or w?
r
Let w = -21 + 23.7. Let b = w - 4.7. Let g be 2/(-60)*-118 - (-32)/(-8). Is b bigger than g?
False
Let b(s) = -s**3 + 10*s**2 + 2. Let f be b(10). Suppose 0 = 11*g - 7*g + f*i - 60, -5*i - 6 = -2*g. Which is smaller: g or 14?
g
Let k = -26956 - -1159104/43. Suppose 0 = -0*j + 5*j + 5. Is j at most k?
True
Let v = -3.7 - -0.7. Let o = 3.1 + v. Let c be (16*6/2688)/(3 - (-23)/(-7)). Which is greater: o or c?
o
Suppose -9*q - 8*q + 19 = 2. Is q less than 2/3715?
False
Let i be 3/15 + 40/50. Let b be (-823)/(-45) - i/(-9). Is b greater than 18?
True
Let p = 1550 + -1590. Which is smaller: p or -19?
p
Let b(s) = s**2 + 6*s + 5. Let o be b(-5). Suppose -c - 3*h + 13 - 2 = 0, c + 5*h - 13 = o. Let l be (c/6)/((-4)/(-4)). Is l >= 0?
True
Let z be (4/(-567180))/(140/420). Do 1 and z have the same value?
False
Let y(o) = -o**3 - 8*o**2 - 15*o + 4. Let c be y(-5). Suppose -x + 3 = -5*x + 3*g, -4 = -3*x - c*g. Do -0.013 and x have different values?
True
Let f be 6*(-4)/30*(-5)/2. Suppose 4 = -4*b + 16, 0 = -f*g + 3*b - 7. Which is smaller: g or -68?
-68
Let u(g) = -10*g**2 + 17*g - 56. Suppose 13*y + 13 - 52 = 0. Let f be u(y). Which is bigger: f or -96?
f
Let z(d) = -2*d**2 - 19*d - 13. Suppose 3*k + 4*l = -13, -4*k + 4*l = 2*l + 32. Let i be z(k). Let j = 36 - 15. Which is bigger: i or j?
i
Let o(w) = w**2 + 11*w - 10. Let c be o(-12). Let s be (0*3/9)/c. Which is smaller: s or -1?
-1
Let y = -5857/5 - -1167. Let s = 1.579 - 1.65. Let l = s + -0.029. Is y at most l?
True
Let a(k) = 2*k + 10. Let i be a(7). Let z(g) = g**3 - 25*g**2 + 24*g + 2. Let x be z(i). Suppose -2*b - 24 = x*b. Is -8 bigger than b?
False
Let u = -11364.2 + 11364. Which is smaller: u or 1/2688?
u
Let g be 72/2 + (3 - 0). Let d = -13 + g. Suppose -2*p - 2*l + 50 + d = 0, -3*l + 15 = 0. Is p equal to 33?
True
Let t = 119756/3 - 40603. Which is greater: -684 or t?
-684
Suppose -w - n + 33 = 2*n, 0 = 3*w - 3*n - 39. Let x = 26 + w. Let b = -7169 - -7212. Which is smaller: b or x?
b
Let z be (-196)/5194*9194/(-28)*1. Let y = -87/7 + z. Which is smaller: 2/9 or y?
y
Let o = -12225.05 + 11851. Let x = 374 + o. Does 31 = x?
False
Let g(l) = l**2 + 16*l + 18. Let p = 196 - 832. Let k be 2*(-2)/(-28) - p/(-42). Let i be g(k). Is 33/8 >= i?
True
Let w be 2 + 7556/(-762)*(27 - 33). Let m = w - 123/2. Which is smaller: m or 1?
m
Let y be (2 - 2) + 0 + (-1 - -2). Let t be (-1 - (-4 + 3))/y. Which is smaller: t or -2/63?
-2/63
Suppose 118*p - 2106 = 131*p. Let t = p - -769/5. Let m(z) = z**3 + z**2 + 3*z + 1. Let c be m(-2). Is t equal to c?
False
Let z = 4919 - 4922. Suppose u + u = 6. Suppose 26 = -5*w + 2*i, u*w + 10 = i + 3*i. Is z at most w?
False
Let f = 32533 + -32303. Is 271 != f?
True
Let d = 8/131 + -3307/524. Let x = -177/28 - d. Is 1 >= x?
True
Let w = 49401/206240 + 1/19335. Which is smaller: w or 1?
w
Let r = 1865/4 + -445. Let l = r + -91/4. Is l > -2/19?
False
Let s = -18432 + 18525.956. Let v = s + -94. Let i = -2.044 - v. Which is smaller: i or -3?
-3
Suppose -102 + 96 = -2*k. Let j = -2/379 + 4181/2274. Is j less than or equal to k?
True
Let w = -31218 - -31233. Which is bigger: 636/41 or w?
636/41
Let g = 65.05097 - 0.05097. Is 4/11 equal to g?
False
Suppose 4*x = 5*j + 455 + 1350, -2*x + 5*j + 915 = 0. Let r be (1/((-2)/5))/((-11)/1958) - -1. Is r <= x?
False
Let o(u) = -u**2 - 14*u + 1296. Let x be o(24). Is 1539/4 greater than x?
True
Let d(f) = 51 + 12 - 51*f + 59*f. Let u be d(-5). Which is bigger: u or 21?
u
Let f = 1041 - 303. Is f equal to 3?
False
Suppose 35 + 13 = 107*l - 101*l. Is l greater than -509?
True
Let r = 2615 + -2616. Is r not equal to -4/2823?
True
Let c be (-6)/3*(-2)/(-12). Let a = 131.919309 - -0.080691. Is a smaller than c?
False
Let p = -345287/6 - -57378. Which is smaller: -169 or p?
p
Let t = -214.967 + -1.433. Let j = t + 216. Which is smaller: -7/3 or j?
-7/3
Let k = 0.56 - 2.345. Let u = 0.115 - k. Do u and -2 have the same value?
False
Let p = 5 - 11. Let c(a) be the second derivative of a**5/20 + a**4/2 + a**3/2 + 7*a**2/2 - 2*a + 101. Let r be c(p). Is r at least 2/9?
False
Let n = 1318 + -1317.763. Does 4 = n?
False
Let a = -2604 - 5967. Does -8571 = a?
True
Let h(l) = l**3 - 8*l**2 - l + 7. Let i be h(8). Let y be 0/(-1) - -2 - i. Let s(p) = -p**2 + 8*p - 1. Let m be s(8). Which is greater: m or y?
y
Let t be 8/(-20) - (-24)/10