aller: j or 1?
j
Let x be (-18)/(-72) + 3/(1416/410). Is 0 smaller than x?
True
Let l(f) be the first derivative of f**4/2 + 10*f**3/3 + f**2/2 - 9*f + 154. Let v be l(-5). Suppose -5*x + 2*x = 39. Is x less than v?
False
Let c = -1351 + 1256. Is -191/2 greater than c?
False
Let s = 12287 - 12413. Do -149 and s have different values?
True
Let a = -144 + 138. Let b be (-5 - (-8 + 3))*2/a. Is b at most -9/11?
False
Let h = 42 + -37. Suppose -5*t + 15 = h*c, 2*t - 4 + 2 = 0. Suppose 2*u = -4*m + 72, c*m - 110 = -5*u + 62. Which is smaller: u or 69/2?
u
Suppose 0 = 4*v - 7 + 23, -4*v - 38 = f. Let m be (-4)/f - 987/(-77). Suppose 0 = 5*u - m*u - 16. Is -4 bigger than u?
False
Suppose 2*d = c + 12, 0 = 2*d - d - 2*c - 12. Suppose -3 = 7*x - d*x. Let u be (-16)/(-30) - (141/15 - 9). Which is bigger: x or u?
u
Let x = -535 + 374. Let m = x + 161. Is m at most as big as -89?
False
Let a(r) = 94*r + 48. Let m be a(3). Suppose -5*t = 4*l - 1331, 1651 = l + 4*l + 2*t. Which is greater: m or l?
m
Suppose -y - u - 6 = 1, 4*y = 4*u - 44. Let q(f) = -142*f - 8 + 63*f + 69*f. Let p be q(0). Is y at least p?
False
Suppose 0 = -7*v + 44 + 26. Let b be -5*(-4)/v - -30. Let i = -39 + b. Is -4 >= i?
True
Let o = 2655.706 - 2108.75. Let u = 550 - o. Let z = u - 0.044. Which is smaller: z or 9?
z
Suppose -2*b = -2 - 2. Let y = -989 - -1481. Let i = -485 + y. Is i smaller than b?
False
Let t(a) be the first derivative of a**4/4 - a**3 - 5*a**2/2 + 3*a - 30. Let b = 13 - 9. Let p be t(b). Which is smaller: p or 0?
p
Let k(z) = -672*z - 5376. Let t be k(-8). Which is greater: t or -70/379?
t
Suppose 3*j = 9*j + 156. Let v = -26 - j. Let i = v + -3. Is i bigger than 3/22?
False
Let p = 286 + -537. Let v = -1091 - -1092. Which is smaller: v or p?
p
Let y = 15 + -16. Let a = y + 1.1. Let b = 39 + -39.6. Which is bigger: b or a?
a
Let j(h) be the first derivative of h**3/3 - 10*h**2 + 34*h - 47. Let o be j(17). Let c = -21 + 20.7. Which is greater: c or o?
c
Let q be (-3515)/(-76)*1/5. Let t be 78/2 + -5 + 4. Let b = t - 29. Which is greater: b or q?
q
Let g(r) = -r**3 - r**2 + r - 22. Let y be g(0). Let c be 25 + (25 - (44 + 29)). Is y bigger than c?
True
Let p be (-32)/40 - 2352/(-3240). Is p greater than 1/476?
False
Suppose -5*p = -v - 1, 4 = 1130*p - 1129*p - 4*v. Is p less than or equal to 3/85?
True
Let v = -27085.3 + 27085. Which is smaller: -1160 or v?
-1160
Let a = -3137/4100270 - -1/2605. Which is smaller: a or -1?
-1
Let n = 470 - 468. Suppose 0 = 3*m - n*v + 5, -3*m + 8*v - 3*v - 8 = 0. Which is smaller: m or 1/214?
m
Let d be 6/(-14) - ((-3550)/840)/5. Is d < -8?
False
Suppose -18946 - 48242 = 132*w. Is w not equal to -12?
True
Let w be 4/8*165/30 + -3. Let q = 76.03 + 0.97. Is q greater than or equal to w?
True
Suppose 0 = -5*v + 2*m - 25, -77*v - 19 = -75*v + m. Which is smaller: v or 678?
v
Let p(t) = 2*t**2 + 10*t - 610. Let y be p(15). Suppose -4*w + 0*w - 45 = 3*a, -4*a + w - 79 = 0. Which is smaller: y or a?
a
Let x be (-13)/(-2)*28/364*1826. Is 6388/7 > x?
False
Let p = -35 + 115. Let a be 2/8 + 60/p. Are a and 22/15 non-equal?
True
Let x(y) = 2*y**2 + 40*y + 271. Let s be x(-15). Suppose -3*r + 226 = 2*q + r, q = 5*r + 141. Do q and s have the same value?
True
Let d(l) = l + 115. Let m be d(-6). Suppose 4*i - 304 = -3*c, -73 = -2*c - 5*i + 118. Which is greater: c or m?
m
Suppose o + 11 = -5*c, -o + 5*c + 6 = 3*o. Let x be (-978)/10 + (-2)/10. Let a be (-7)/(x/4) + (-945)/392. Are a and o nonequal?
True
Let k = 8 + -4. Let w(n) = 22*n**3 - 64*n**2 + 8*n - 39. Let t be w(3). Which is greater: t or k?
k
Suppose -2*s = 5*p - 958, -5*s = -p + 550 - 2999. Suppose -2*w - 2*w + 3*h = -s, 514 = 4*w + 2*h. Is 125 smaller than w?
True
Let l = 381 + 1032. Are l and 1412 non-equal?
True
Let r = 12047 - 13846. Is 2/5 greater than r?
True
Let t = -3307/638 + 111/22. Let n = 305/2842 + t. Which is smaller: -1 or n?
-1
Let z(a) = -3*a**2 + 58*a - 18. Let f be z(18). Are 381/7 and f equal?
False
Let p(u) = 71 - 160*u + 63*u + 77*u. Let h be p(3). Is 5 greater than h?
False
Let i(n) = 2*n**3 - n**2 + n - 1. Let f be i(1). Let l be (2/(-6))/(161/(-46) + 361/(-18)). Which is smaller: f or l?
l
Let y = 1066 + -2194. Let t be (y/(-36))/(4/6). Suppose -2*a - 5*f = t, -2*f - 7 = -1. Do -16 and a have the same value?
True
Let r(s) = -7*s - 17. Let g be r(-3). Suppose 9 - g = -k. Suppose -16 = 2*n - m, -n + 4*m - 28 = n. Which is smaller: n or k?
n
Suppose -24*c + 572 = -1162 - 426. Let s(l) = l**3 - 8*l**2 + 2*l - 11. Let b be s(9). Which is bigger: c or b?
c
Let l be 0 + (-96)/(-5 - -1). Let m be 32/l*(-6)/(-20). Let s = -1972 - -356930/181. Which is smaller: s or m?
s
Let k(m) = 7*m - 22. Suppose -z - 3*h + 3 = 4*z, -z = h + 1. Let x be k(z). Which is bigger: 1/518 or x?
1/518
Let n be (-26)/(-21 + (-1337)/(-63)). Which is smaller: n or -1302/11?
-1302/11
Let l be ((-9)/15)/(2/(4/(-3))). Let v = 1.2 - 32.2. Which is bigger: v or l?
l
Let h be (-80)/460*43 + 10. Are h and 3 unequal?
True
Let b = 10688 + -3986632/373. Which is bigger: b or 0?
0
Let k = -119 + 119. Let v be ((1 + k)/(-2))/((-67)/(-134)). Is v not equal to -2/13?
True
Suppose g = f + 5, 0 = -2*g - 6*f + 2*f - 2. Suppose -g*p = -5*t + 16, -3 = -2*p - 5*t + 3. Suppose -13*s = -17*s - 16. Which is greater: p or s?
p
Let s be ((-540)/126)/((-24)/(-82096)). Which is smaller: -14659 or s?
s
Suppose 16471*r - 8040 = 16459*r. Are 672 and r nonequal?
True
Let w be 37 - (-6 + 0)/3. Suppose -10*k - w = -13*k. Suppose 2*n = -5*u + k, 0*u + 4*n = -4*u + 20. Which is smaller: u or 5/8?
5/8
Suppose 0 = 4*k - 4*w - 40, k + 3*w - 10 = -4*k. Suppose -44 = -k*i - 239. Let l = i - -277/7. Which is smaller: 4 or l?
l
Suppose 43*u = 9*u + 1190. Suppose 0 = u*q + 4*q. Do -6/19 and q have the same value?
False
Let q(j) = -7*j**3 - 12*j**2 - 15*j + 5. Let h(l) = -3*l**3 - 6*l**2 - 7*l + 2. Let r(a) = 5*h(a) - 2*q(a). Let o be r(-3). Which is smaller: o or -5?
o
Suppose 0 = 50*u + 49 - 3999. Which is smaller: 710/9 or u?
710/9
Suppose -40*p + 6 = -41*p. Let v(s) = s**3 - 9*s**2 + 9*s - 9. Let o be v(8). Which is greater: p or o?
o
Suppose -209*r + 179*r + 450 = 0. Which is greater: r or 40?
40
Suppose 5*k - 156 = z, -4*z + 3*z = 4*k - 123. Let o be (k + -17)/(4/(-10)). Let b be 31/35 - (-7)/(o/3). Is 23 greater than b?
True
Let d(h) = -h**2 - 15*h + 18. Let a be d(-11). Let p = a + 26. Suppose -3*u + 3*x + p = -2, -60 = -3*u - 3*x. Are 26 and u nonequal?
True
Let b = -3.69 + -0.61. Let s = b - -4.6. Let w = s + -0.25. Is -2 greater than w?
False
Let x = -602.8927 + 602.6. Is x bigger than 2/9?
False
Let a = -66.90031 - 0.09969. Let t = 0.009 + -67.009. Let b = a - t. Is -1/7 > b?
False
Let f = -7045 - -7059. Are -57 and f non-equal?
True
Let u(t) = -t**3 + 13*t**2 - 12*t - 16. Let p be u(12). Let k = 21 + p. Suppose 5*r - 7*r + k*b = 10, 0 = 3*r - 5*b + 15. Is -1 less than r?
False
Let v = 147 + -147. Suppose v = -9*k + 11*k - 290. Do 144 and k have the same value?
False
Let b = 37299/7 + -5368. Which is bigger: -40 or b?
b
Let h(c) = -339*c**2 - 4*c - 22. Let b be h(-3). Which is smaller: -3060 or b?
b
Let j = -4006 + 4005. Which is greater: j or 2054?
2054
Let r = 18 + -17.965. Suppose -3*s - 8 = -11. Suppose 3*u + 3 = -3*d, -4 = -d + 3*u - s. Is d < r?
True
Let y = 3195.05 + -3194. Which is smaller: 1/2 or y?
1/2
Let c be ((-5)/15)/(12/(-110088)). Which is smaller: 9173/3 or c?
9173/3
Suppose -7020 = -70*k + 16*k. Do k and -1 have different values?
True
Let n(b) be the first derivative of -b**4/4 + 11*b**3/3 - 9*b**2/2 + 9*b - 140. Let h be n(6). Which is greater: 136 or h?
136
Let h = 8028 + -13782. Is -5754 equal to h?
True
Let y be -3 - 2/(8/308). Let t be (162/(-15))/(-4*(-6)/y). Suppose t*l = 43*l + 21. Which is smaller: -13 or l?
-13
Let l be (-56)/4*9/(-18). Suppose 1 + l = k. Let m(x) = -x**2 - 2*x + 1. Let a be m(-2). Is k bigger than a?
True
Let b be (526/(-48))/(425/700). Let g = b - -109/6. Suppose 4*f = f. Which is smaller: f or g?
f
Let b(f) = 118*f + 708. Let u be b(-6). Which is greater: 1319 or u?
1319
Let z be ((-48)/32)/((-15)/(-12) + -1). Let x be z/18*(-4 + (-34)/(-10)). Is x smaller than -2/3?
False
Let a(d) = 55 - 22*d**3 + 11*d - 31 + 21*d**3 - 32 - 7*d**2. Let m be a(-8). Is -167/5 equal to m?
False
Sup