aller: y or -1/3?
-1/3
Let w(f) = f**3 + 6*f**2 + 3*f - 3. Let l be 92/(-414) + 68/(-18). Let p be w(l). Is p <= 17?
True
Let i = 134 - 113.9. Let c = -19.1 + i. Let f = 70.857 + 0.143. Which is smaller: c or f?
c
Let l(v) = -1409*v - 2269. Let o be l(-8). Which is smaller: 9004 or o?
o
Let j = -10/13 - 513/26. Let d(n) = 3*n - 30. Let s be d(3). Which is greater: j or s?
j
Let v = 4303 - 6657. Is v less than -2355?
False
Let j = 16.4 + -20. Let g = -371.5 + 375. Let d = g + j. Is 2/9 at most d?
False
Let t = 2312 - 2313. Let w = -1913 - -319470/167. Is t greater than or equal to w?
False
Let j = 521 + -523. Let n(k) = -k**2 + 18*k + 39. Let x be n(j). Which is smaller: 5/53 or x?
x
Suppose 0 = -4*i + 3*g + 411, -3*i - 2*g + 327 = 2*g. Let t be 70/(-189)*i/(-25). Which is greater: t or 3?
3
Let p(z) = 3*z - 10. Let o be p(13). Let q = 34681/5 + -6906. Which is smaller: o or q?
o
Let o be 6*3/(-21) - (3 - (-1413)/(-399)). Let b = -16 + 12. Which is bigger: b or o?
o
Let n = -314 + 328. Let k be (133/n - 5) + -1 + 2. Which is greater: k or -4?
k
Let q = -5.2356 - -0.2356. Which is smaller: q or -0.296?
q
Let n(x) = -18*x + 68. Let o be n(3). Let s be (-15 + o)*(-9)/(-3). Which is smaller: -74/17 or s?
-74/17
Let n be ((-86)/40 - -2)/((-10)/(-144)). Is -3 less than n?
True
Let y be (52185/4662)/71*(-3)/(-10). Which is smaller: y or 0?
0
Let d = -12 + 9. Let i = 68 + -72. Let z be ((-44)/12 - i)*d. Is -2/7 equal to z?
False
Suppose 2*c - 105 = -93. Let u(h) = h**3 - 3*h**2 - 3*h + 3. Let p be u(4). Suppose c*i - 5*i = -p. Is i less than or equal to 0.2?
True
Let z be (-5 + (-344)/(-16))/((-2)/(-48)*-2). Is z at most as big as -198?
True
Let l be (-3 + -7 - 0) + 8 - 16/(-22). Suppose -h + 2 = -y - 0*y, -4*h = -3*y - 6. Which is smaller: h or l?
l
Let g be -2 + (-1)/(18/(-46)). Let q = -221 - -238. Suppose -10*f = -q*f + 14. Which is greater: f or g?
f
Let j = 4.9 - -0.1. Let q = -187 + 181. Let k be 3 - -43*q/90. Is j equal to k?
False
Suppose 4*h = -28, -t - 19*h + 15*h - 4015 = 0. Which is smaller: -3986 or t?
t
Let b be ((-1)/7)/(2/(-26)). Let z be 2/(-6)*-2*(-1122)/68. Let p(k) = k**2 + 13*k + 24. Let w be p(z). Do w and b have the same value?
False
Suppose -5 = -183*h - 1 - 4. Which is bigger: 6/7 or h?
6/7
Let q be 1 - (-4)/(-12) - 58/96. Let k(a) = -a**3 - 4*a**2 - 19*a - 33. Let x be k(-2). Which is greater: x or q?
q
Let q = 301 - 273. Let i be ((-1)/(-4))/((-385)/q + -2). Is 1 at most as big as i?
False
Let f = 1751 - 1751.1. Which is greater: -1/137 or f?
-1/137
Let z be (-18673785)/189 - (-8)/(-14). Let q = z + 5028499/51. Let b = q + 206. Which is smaller: 1 or b?
b
Suppose 0 = -2*t - 2*w + 3 - 1, 5*t - 5*w + 5 = 0. Let z be 28/(-238) - (-1778)/2975. Is t <= z?
True
Let s = -45.96 - -46.54. Which is smaller: 0.9 or s?
s
Let s = 121 + -95. Let u be (4/6)/((-8)/114). Let p = 10 + u. Is p greater than or equal to s?
False
Let h be 244/(-41) - -6 - (-8738147)/(-451). Which is bigger: -19376 or h?
h
Let a(s) = -2*s + 2. Let q be a(2). Let d be (1 - -1)*9/(-36)*-34. Suppose 0 = -d*t - 3*t - 20. Is t less than or equal to q?
False
Let a be 0 - (-10)/2 - 2. Suppose -a = -u - 1. Which is smaller: u or -1/50?
-1/50
Suppose -x = 4*b + 1, x + 2 = 2*b + 7. Which is greater: -4/5025 or b?
-4/5025
Let o(x) = -x**3 + 18*x**2 - 26*x + 38. Let l be o(18). Let q = -13326/31 - l. Which is bigger: 0 or q?
q
Let m be 9/54 + (-1091)/(-6). Suppose -3*d - 4*d = -m. Suppose 2*j - 5*l + d = -7, -114 = 5*j - 2*l. Which is greater: j or -25?
j
Let v = 2851365159/7309 + -390117. Do 0 and v have different values?
True
Let w be (-6)/(-24)*(-12848)/11. Which is smaller: w or -293?
-293
Let o = 3344.028 + -7.028. Which is greater: o or -1?
o
Let d be (123173 - 13)/(-10) - 1. Is -12316 >= d?
True
Let c(q) = -49*q - 1459. Let k be c(-28). Is k greater than -67?
False
Let w = 15728 + -10657. Is w > 5070?
True
Let m be ((-10)/(-3) - 1100/330) + 88/598. Is m not equal to 1?
True
Let u be (8/(-2))/(-12)*-6. Let r be 20/(-149350)*5/1. Let m = -62743/23896 - r. Is u equal to m?
False
Suppose -5*s + b = 88 - 82, 3*s + 5*b = 30. Which is smaller: 9/8 or s?
s
Let j be -6 + 1 - 297/(-27). Let n = 9266881/186 + -6983137869/140182. Let g = n + -1/969. Is j != g?
True
Let n = -134 + 102. Let t be (n/(-20))/((-12)/(-330)). Is 38 less than t?
True
Let y = 363.8 + -372. Let a = y + 4.3. Is -0.2 > a?
True
Let f be (-5)/2*(-7)/((-210)/(-24)). Suppose 0 = 3*w, 16 = 3*m - f*w + 67. Which is smaller: 3 or m?
m
Let m = 1013.5053 + -1.5053. Is m at least as big as -2?
True
Let n = 0.54 - 0.49. Let c = -33.05 + n. Let b = 35 + c. Which is bigger: b or -0.5?
b
Let n = -56606.3 - -56610. Let v = -2.05 + 0.05. Which is smaller: n or v?
v
Let q = 247464/43 - 5755. Is 0 > q?
True
Let c = -4.2 + 3.48. Let w = c - 4.98. Let o = -1.7 - w. Is 9 at least o?
True
Let y be (-46)/(-120) + (-16)/64. Suppose -5*p + 25 = 0, 0 = 3*j + p - 6 - 8. Suppose -4*x - v = 3, -2*x + 2*v = -j*v + 7. Which is bigger: x or y?
y
Suppose 133*w + 4*t = 137*w - 28, 5*w - 32 = 4*t. Let o = -21 - -77. Suppose w*r - 11*r - o = 0. Which is bigger: 3 or r?
3
Let m(p) = 12*p + 76. Let r be m(-7). Which is smaller: r or -35?
-35
Let k = 3 + 0. Let h = -601.5 + -183.5. Let q = -788 - h. Which is greater: k or q?
k
Suppose -10*k - 162 = 178. Let r = -167/5 - k. Which is greater: 2 or r?
2
Let d = -0.05906 - -0.15906. Is -9.921 less than or equal to d?
True
Let j = 0.06492 + -565.66492. Let x = 637 + j. Let s = x - 71. Is 5 <= s?
False
Suppose 0 + 12 = -2*x, 410 = -2*c + 5*x. Is c less than -126?
True
Let o(k) = -3*k - 9. Let p be o(-12). Suppose -29*h + p*h = 6. Let q = 2.6 - 3.6. Is h greater than or equal to q?
False
Let j be (3 + -13 + 10)/((16*-1)/4). Is j greater than or equal to 26/199?
False
Let l = 9 - -34. Suppose 2*c + n - l = 3, c + 4*n - 37 = 0. Suppose 9*b + c = -6. Which is smaller: b or -22/7?
-22/7
Let d = -143 + -42. Let v = 185.23 + d. Is 2/3 greater than v?
True
Let h = 5 - 3. Let o be 2*h*(-2)/80. Let a = 251801/5 - 50360. Which is smaller: o or a?
o
Let u(g) = -g**3 + g**2 + 2*g + 12. Let d be u(3). Suppose 40*b - 46*b = d. Which is bigger: 8/17 or b?
8/17
Let m = 0.914 - 0.104. Let c = -0.77 + m. Let o be ((-18)/27)/(2/6). Is c at most o?
False
Let z = -300 + 309. Is z equal to 149/19?
False
Suppose 0 = -5*s + 12 - 52. Let d be 0/s - (1/(-2))/(-1). Which is smaller: 0.1 or d?
d
Let x = -125 - -128. Suppose -t - 554 = -x*w, 0*t + 2*t + 1080 = -w. Is -542 greater than or equal to t?
True
Let a be 4*(8/(-2))/(-824). Let r = -185.9 + 186. Is a at most as big as r?
True
Suppose 3*p = -2*y + 12, 4*p + p - 20 = 3*y. Suppose y = -4*b + 2*b + 30. Which is bigger: b or 12?
b
Let q be (-1)/(-10) - ((-90964)/47960 - -2). Is q equal to 0?
False
Let w(k) = 137*k - 1033. Let q be w(6). Suppose 2*t + 345 = -75. Is q less than t?
True
Suppose 2*q + 2*q = 488. Let o be (-4 + (22 - 1))*(78 + -71). Which is smaller: q or o?
o
Suppose q + 43*q + 141240 = 0. Do q and -3209 have the same value?
False
Suppose 206*u - 2150 = 4236. Is u <= 445/14?
True
Let f = 440880211 + -1351297860211/3065. Let h = 2/613 + f. Is -4 greater than h?
True
Let p = 294 - -738. Let l be (-36)/(-45) - (p/315 + -3). Do 0 and l have different values?
True
Let q(r) be the third derivative of 0*r + 0 - 21*r**2 - 5/8*r**4 + 13/6*r**3 + 1/60*r**5. Let y be q(11). Which is bigger: y or -30?
-30
Suppose -11*k + 4945 = 1315. Let q = k - 287. Are q and 45 non-equal?
True
Suppose 5*v = -3*n - 28 + 20, 2*n + v + 10 = 0. Let d be (-10 - 36/n)/18. Which is smaller: 42 or d?
d
Let p be (1/101)/((-2)/6). Let k = p - -1787/66963. Let x = 76/663 - k. Are 1 and x equal?
False
Let h be (-2 + (-12)/(-9))/((-10)/(-6225)). Let o = 448 + h. Is o >= 26?
True
Let i = 4617 - 4618.3. Which is smaller: i or 0.1?
i
Let p = 15 - 15.041. Let n = p - 37.959. Let k = n + 36.7. Are -5 and k non-equal?
True
Let p = 80 - 94. Let g(n) = 6*n**3 + n**2 + 1. Let s be g(-1). Let b be (s/8)/(3/(-2)). Which is smaller: b or p?
p
Let x = 235.2 - 206. Let w = x + -17.2. Let t = 0.11 + 3.89. Is w bigger than t?
True
Suppose -x + 5 + 1 = 0. Let t(q) = -3*q**2 - 2*q - 6. Let v(s) = -4*s**2 - 7. Let r(p) = 3*t(p) - 2*v(p). Let u be r(-2). Is x < u?
False
Suppose 1180 = -2*q - 15*o + 16*o, o - 4120 = 7*q. 