 bigger: -5 or f?
-5
Let n = 89992/11 + -1205250/143. Which is smaller: -248 or n?
-248
Let c = 10 - 6. Suppose -c*p + 4 = -2*p. Let u be (-105)/(-11) + (24 - 8) + -25. Do p and u have the same value?
False
Suppose -4*j + 5*v - 10944 = 0, 0 = 400*j - 395*j - 4*v + 13671. Is -2727 <= j?
False
Let a(h) = -3*h - 3. Let d be a(10). Let b = -3 + d. Suppose -t + 2*c - 45 = 0, -c + 205 = -5*t + 4*c. Is t greater than or equal to b?
False
Let n(j) = -64*j + 25. Let t(k) = 33*k - 12. Let w(s) = -2*n(s) - 5*t(s). Let a be w(1). Is -26 < a?
False
Let h = 53 + -50. Let d be ((-19)/h + (4 - 1))/(-14). Is d less than 2?
True
Let c = -1197 + 753. Let t be (-36)/c*(-2)/(-78). Which is smaller: t or 0?
0
Let j = 11553 + -11556. Is j less than or equal to -10.3?
False
Suppose 4*g - 2*h - 6 = 2*g, 5*g + 35 = -5*h. Which is greater: g or -26.9?
g
Let w be (-58)/(-1247) - (-32661)/587466 - (-4)/(-46). Let j(h) = -h + 3. Let n be j(4). Is w at least as big as n?
True
Let t(q) = 410*q**2 - 3*q - 42. Let i be t(5). Which is bigger: 10194 or i?
10194
Let y = 37 - 37. Suppose -8*l + 48 + 56 = y. Let j = 19 - 6. Is l bigger than j?
False
Let d = 36 + 29. Let b be (-188)/(-329) - (1 - (-452)/7). Let c = b + d. Which is greater: c or -9/8?
c
Let g = 6949157/128 - 54290. Is 1 greater than or equal to g?
True
Let g = 0.0109 - -287.9891. Let u = g - 288.42. Is u >= 0.4?
False
Let g = 0.897 + -106.202. Let t = 105 + g. Let m = -0.005 - t. Which is greater: m or 7?
7
Let i = -12691.1 - -12691. Is i < 253/12?
True
Let a(s) = -3*s**3 - 3*s**2 + s - 22. Let v be a(4). Let d = v - -127453/494. Which is smaller: d or 1?
d
Let z = 46876 + -46876.07. Let f = -3 + 4. Let p = -1.2 + f. Which is smaller: z or p?
p
Let z be 4/(2 + -6) + 6. Let c be (6/z)/((-81)/(-270)). Which is bigger: c or 5?
5
Let p = -14 - -16. Let c = -218/9 + 242/9. Is c less than or equal to p?
False
Let u(f) = 4*f + 18. Let k(n) = -3*n**2 + 22*n - 2. Let s be k(7). Let z be (s/2)/((-2)/4). Let v be u(z). Which is greater: v or -0.09?
-0.09
Let u = 4779 + -4808.5. Is -2/3 != u?
True
Let b = -397709/137 + 2903. Suppose -4*y = -5*y. Which is smaller: b or y?
y
Let u(t) = -t**2 - 27*t - 91. Let n be u(-4). Which is smaller: n or 14/461?
14/461
Let p(m) = 13*m + 42. Let i(y) = -y**3 + 12*y**2 - 22*y + 15. Let a be i(10). Let z be p(a). Let g = 33 - 55. Which is bigger: z or g?
g
Let u(c) = -3*c - 26. Let v be u(-12). Suppose 5*t = -15, 14*y - 2*t + 6 = v*y. Suppose -4*o + 32 = r, 3*r + 2*r = -5*o + 55. Which is smaller: y or o?
y
Let z = -1.614 + 1.614. Let x = 88.2 + -72.96. Let d = x - 15. Which is smaller: z or d?
z
Let d = 1016 + -985. Let o(g) = -2*g - 4. Let k be o(-5). Suppose -4*j - k = -2. Which is smaller: j or d?
j
Let x be ((-3)/9)/((-13)/(-117)) - 3/(-1). Which is smaller: x or 4/3237?
x
Let g be 7 - 20336/(-14) - 5. Let n = g - 560178/385. Are n and -1 nonequal?
True
Suppose -37*b + 448 = -427 + 209. Is 308/17 < b?
False
Let n = -60 - -95. Let c(l) = -39*l + 83 + 37*l - n. Let s be c(19). Is 10 < s?
False
Let c = -7986.11 - -7986. Which is greater: c or 0.059?
0.059
Let z(k) = 4*k**2 - 250*k + 213. Let x be z(84). Are x and 7437 equal?
True
Let j = 1332 + -1866. Let r = j + 12280/23. Let l = 5.8252 - 5.8252. Which is bigger: r or l?
l
Let m = 9800.745 - 9801. Is m smaller than -2?
False
Let h = 24.61 + 0.39. Let m be (-4 - -5) + (-2)/(306/135). Is m bigger than h?
False
Suppose -18*k + 4599 - 1370 = -9515. Which is bigger: 707 or k?
k
Let d be (-3)/((-20)/((-8920)/(-6))). Suppose 0 = -4*b + 4, 0*i + 2*i - 2*b - 444 = 0. Do i and d have the same value?
True
Let l(q) = 2*q**2 + 15*q + 12. Let w be l(-6). Let o be (-5 - -6) + -1 - w/(-11). Which is greater: -2/9 or o?
-2/9
Suppose 3*s + 3*y + 12 = 0, 19*y - 12 = 2*s + 20*y. Let h = 241 - 450. Let g be 15*(1/s + h/(-456)). Which is smaller: g or 1/4?
1/4
Let h = -178.3 - -127.6. Which is smaller: -11 or h?
h
Let d = 1.3126 - 1.482. Let q = 0.0694 + d. Is q at most as big as -7/13?
False
Suppose 142*y - 12390 + 36104 = 0. Does -335/2 = y?
False
Let p be ((2/20)/(2/16935))/(4050/720). Which is greater: p or 151?
151
Let b = 1102403/5 + -221414. Which is greater: b or -934?
b
Let n be (((-5)/(-3))/5)/((-4)/(-2460)). Let k = -411/2 + n. Which is bigger: -5 or k?
k
Suppose 3*k = -0*k - 4*a + 32, -5*a = -10. Let d(h) = -102 + 102 + 10*h - 3*h. Let w be d(1). Which is greater: w or k?
k
Let y = -552 - -527. Let g = -52 - -18. Let s = g - y. Which is greater: s or 5?
5
Let b be (-1)/(-1) + -4 - 22841/(-2210). Let z = b - -9/34. Which is smaller: z or 9?
z
Let h = 18859 - 12661. Which is smaller: h or 6197?
6197
Let l = 0.36 - 0.08. Let t = 3.28 - l. Let b = 2.84 - 4.84. Is t >= b?
True
Let k = 12 + -67. Let g = 4092 - 4093. Which is bigger: k or g?
g
Let v be ((-24)/12)/((-2)/(-3)). Let c(d) = -d**2 + 12*d + 10. Let k be c(13). Let t = k + -3. Which is greater: v or t?
v
Suppose -s + 1 = 2*g, 4*s + 2*g = -g - 6. Let v be ((-48)/18 - -6)/((-11)/s). Suppose -3*z = z. Which is greater: v or z?
v
Suppose x - 9397 = 4*v, -16*v + 11*v = 3*x + 11742. Does v = -2349?
True
Suppose -377 = 2*c - 359. Let b be -1 + -2 + (-4)/12*c. Let h be 79*-1*(1 + -2). Which is smaller: b or h?
b
Let q = 0.155 - 0.111. Let l = -15.044 + q. Which is smaller: 5 or l?
l
Suppose -12 = 3*m, -40 = 2*j + 2*m - 0*m. Let w = 179 + -170. Suppose -w*p - 28 = -7*p. Which is smaller: j or p?
j
Let l be 13/84 + 2/(-8). Let c = 4.6626 + -6.6626. Which is smaller: l or c?
c
Let a(r) = r**3 + 5*r**2 + 7*r + 5. Suppose 2*c - 2*u + 16 = 0, 8 - 3 = u. Let v be a(c). Let j be -2 + (0 - v) - -4. Is j at most as big as 3/4?
True
Let x(b) = -b - 18. Let i be x(-19). Let n be ((-2)/(-24))/(i/(-3)). Let k = 57 - 57.34. Which is bigger: k or n?
n
Let a = -66603 - -339209078/5093. Is 0 less than a?
False
Let g be 28/(-70) - 12/(-5). Let z(i) = -i**2 + 16*i - 28. Let y be z(g). Is y at most -2/725?
False
Let y = -8 + -16. Let b be -7 - y*(-16)/(-60). Which is bigger: b or -32?
b
Let l = -1123 + 1125. Let u be (50/(-216))/((8/3)/(-8)). Is l greater than or equal to u?
True
Let w be 626/(-30) + 20/(-150). Let i be 14/w - (-21)/(-9). Let b be i + (-44)/28 - -2. Is b greater than -4?
True
Let a be 2*((-3)/2 + -3). Let x be 2/(-3)*(a - -3). Suppose -4*c = x*g - 28, g = 5*c - 29 - 24. Which is smaller: c or -0.4?
-0.4
Suppose 0 = 3*g - 7*g - 32. Let z = 0.0842 - -0.0188. Let a = z + -0.103. Which is greater: a or g?
a
Let r = -46317 + 416855/9. Suppose 0*q = 2*q - 4. Let z be 0 + 2/q + -1. Is r >= z?
True
Let d(x) = -x**3 - 48*x**2 + 411*x + 19760. Let p be d(-48). Let r be 2 - (30 + 1)*-1. Which is smaller: r or p?
p
Let c = -9260 + 9264. Is c at least as big as 17/32?
True
Let p = 607.872 - -3.928. Let d = p - 553. Let w = -7.2 - d. Is 1/3 > w?
True
Let s = -169 - -171. Suppose 2*w + s*p - 4 = 0, -15 + 5 = 4*w - 2*p. Which is greater: w or -4/9?
-4/9
Suppose -2*p = -3*x - 976, -2*p + x + 1114 = 142. Let u = -486 + p. Which is smaller: -4 or u?
-4
Let b(k) = 63*k + 1523. Let l be b(22). Is l equal to 2907?
False
Suppose 101*a - 147*a - 223*a - 307736 = 0. Is a smaller than -1145?
False
Let a(b) = -b**3 - 9*b**2 - 20*b - 195. Let z be a(-7). Is -63 bigger than z?
True
Suppose 11*m = l + 12*m + 178, 4*m = -3*l - 540. Which is smaller: -6 or l?
l
Let g(x) be the third derivative of -x**4/24 - 13*x**3/6 - 8*x**2. Suppose 0 = -c - 3*c - 24. Let y be g(c). Which is bigger: y or -20/3?
-20/3
Let a be ((-134)/(-268))/(4/(-40)). Suppose -4*y - 4*c + 6 = -c, -6 = y - 3*c. Is a less than or equal to y?
True
Let k be -285 + (-300)/60*-1. Let y = 302 - 583. Is y <= k?
True
Suppose -5*x - 19194 = 6*c, -4*c + 9558 = -7*c + 4*x. Is -3195 at most c?
True
Let k be (1242/(-9) - 0) + (9 - (2 + 1)). Are -140 and k nonequal?
True
Suppose 4148 = 154*s + 2916. Let w(r) = 2*r**2 + 4*r + 1. Let i be 26/(-8) + 1/4. Let q be w(i). Is q bigger than s?
False
Suppose -5*f = 3*j - 29, -5*f - 4*j = -19 - 13. Suppose -3594*p + f = -3598*p. Which is smaller: -3 or p?
-3
Suppose 22*w - 19*w - 2628 = 2*r, 0 = 4*w - r - 3509. Which is greater: w or 874?
w
Let j(p) = 9*p**2 - 135*p + 634. Let q be j(6). Are q and 295/2 unequal?
True
Let t = -29/597 + 16132/221487. Is t bigger than -0.2?
True
Let n = -6268 - -6266. Which is greater: n or -1/40?
-1/40
Let o(p)