aller: 260 or a?
a
Suppose -7*b - 4 = -3*b. Let l = -2258479/148 - -15260. Is b less than or equal to l?
True
Let k be ((-1)/(-2))/(1609/(-322) - (34 - 39)). Is k at least as big as 139?
True
Let v(o) = 28*o + 5. Let l be v(2). Let f = l - 60. Let y be (3 + 8/(-2))/f. Which is smaller: y or -2?
-2
Let i(k) = -k + 6. Let r be i(6). Let h(b) = 12*b**3 + 2*b**2 - 6*b - 4. Let z(q) = -21*q + 62. Let x be z(3). Let t be h(x). Which is smaller: t or r?
t
Let v = 1120.3 + -1120.34. Is v greater than 0.0384?
False
Suppose -2*h + 10*h = 168. Suppose -33 = -3*v - h. Suppose v*r = 2*r - 2. Which is smaller: -22 or r?
-22
Let d = 93/322 - 5/23. Let w = 129 + -130. Let c be (75/60)/(w/(-4)) + -5. Is d greater than c?
True
Let y = 3405 + -3405.3. Which is bigger: y or 317?
317
Let m be ((-4 + -8)/12 + 12)/3. Let q = -0.1 - -0.6. Are m and q non-equal?
True
Let o be 59/7 + (-18)/42 + (-53183)/6643. Which is smaller: o or -20?
-20
Let y be (9859139/(-4))/(45/36 - 4). Let u = -895678 + y. Let k = 608 - u. Is 2 bigger than k?
True
Let q = -59 - -84. Let y = 14808 + -14782. Which is smaller: q or y?
q
Let i = 23948 - 23953. Let s = -2 - -2. Let l = 0 - s. Is i equal to l?
False
Suppose 3*y - 4*y = c - 6, 4*c - 5*y = 6. Let h be (8/(-20))/(c/870*18). Is -6 >= h?
False
Let p be 12*206/20 - (-6 - -4). Let a = -126 + p. Which is greater: 30 or a?
30
Let k = -5936 - -6190. Which is smaller: k or 250?
250
Let q be (-35)/(-2)*(-32)/(-10). Suppose 2*d - q = 4*u, -3*d - 2*d - 3*u + 114 = 0. Suppose 3127 - 25 = 141*c. Which is bigger: d or c?
d
Suppose 3*h = -24, -51*q + 56*q = 2*h - 63269. Is -12657 greater than q?
False
Suppose -40*t = -32*t + 32. Let b(u) = -7*u - 20. Let a be b(t). Is a <= 11?
True
Let f = 5072 + -5070.44. Does f = -15?
False
Let l = 5440 - 5439. Suppose -56 = -v - 3*v. Let t = 72/5 - v. Which is bigger: l or t?
l
Let y = 1132 + -1029. Is 60 at most y?
True
Let p = 1/191 + 1881/5539. Let c(y) = 5*y**2 + 8*y + 142. Let b(l) = l**2 - l - 1. Let k(i) = 6*b(i) - c(i). Let h be k(-7). Which is smaller: p or h?
h
Let g = -357 - -354.54. Let x = 2.49 + g. Is x at least 6?
False
Let q = -933.03 + 925. Let w = 0.24 - 0.21. Let r = q + w. Which is bigger: 4 or r?
4
Let y be ((-44388)/(-44404) - 0 - 1)/(28/14). Which is smaller: y or 0?
y
Let y = 0.19 + -0.09. Let r = 0.147 + 103.853. Let x = r + -50. Which is greater: y or x?
x
Let k = 77 - 80. Let d = 3001/11 - 276. Which is smaller: k or d?
d
Let o(b) = 4*b**2 + 55*b + 220. Let t be o(-8). Is 277/8 < t?
True
Suppose 3*b + 2*n - 304 = 997, b - 462 = 5*n. Let m = -452 + b. Is -14 > m?
True
Let k be -3*4 - (7 - (4 + 2)). Let z(g) = 3*g + 37. Let b be z(k). Let v be (0 + 12/(-112))*12. Which is bigger: b or v?
v
Suppose -u = -3*x - 4*u + 12, 2*u = -3*x + 7. Let w = -14/2801 - 117404/47617. Which is smaller: x or w?
w
Suppose -3*k = -3*v - 120, 2*v - 106 = -3*k - 6. Let s be (-2193)/k - 25/300. Which is smaller: s or -57?
s
Suppose 52*n - 37*n + 127*n = -7384. Is -37 less than n?
False
Let i be 1694/21 - (2 - 4/3). Let x = 77 - i. Let c be -3 + x/6*-2 - -2. Is -5/12 >= c?
False
Let z = 3522 + -3530.2. Is z >= 0.5?
False
Suppose 0 = 80*o - o + 395. Is o <= -55/12?
True
Let h = -26 + 28. Let t = -43/150 - 1/75. Let j = 101/70 + t. Which is greater: j or h?
h
Let l(m) = -m**3 + 10*m**2 + 106*m + 6. Let v be l(-7). Is 83 at most as big as v?
True
Let i(g) = g**2 + 63*g - 4019. Let d be i(35). Are -582 and d unequal?
True
Suppose -144 = -4*c - p, 4*c - 36*p - 156 = -40*p. Suppose 0 = c*u - 33*u + 36. Is u smaller than -67/4?
True
Let c = 276 + -273. Suppose -c*y - y = 3*y. Is -2/23 < y?
True
Suppose -h - 3088 = -3768. Which is bigger: h or 681?
681
Suppose 5*x + 5 = -5*t, t - 3 = 2*x + 5. Suppose l + t*u = -3*l + 22, -2*u = l - 7. Let i = l - 4. Which is smaller: -1/39 or i?
-1/39
Let b be (1/((-4)/(-8)))/(2/571). Which is smaller: b or 572?
b
Let t(a) = 22*a**2 - 45*a + 119. Let m be t(6). Which is smaller: m or 11/4?
11/4
Let l(w) = -w**2 + 184*w + 1685. Let x be l(193). Let d = 1 + 1. Let j be 3/(3/d) - 55. Is j >= x?
False
Let s(y) = -14*y**3 - 2*y**2 + 2*y - 5. Let g be s(-3). Let z = -350 + g. Are z and -8/7 unequal?
True
Suppose 0 = -3*b + n - 89, -151 = 7*b - 2*b + n. Let f be 12/8*b/(-9). Let o be -2 - (0 - 41/5). Which is greater: f or o?
o
Let i = -1853 + 2028. Is -5 at least as big as i?
False
Let i = 0.05 + 0.05. Let o be (7*(-6)/4)/((-3)/6). Suppose -106 = -4*f - d, -f + 3*d - 1 = -o. Which is bigger: i or f?
f
Let g = 29 + -30. Let l be -5 - (0 + g - 4). Let p be l/2 - 8/252. Which is greater: 1 or p?
1
Let u be (1 - 0)/((-4)/(-46)). Suppose -46*g + 29*g = 85*g - 1122. Is g greater than or equal to u?
False
Let z = -312.2 + 312. Which is smaller: -1332 or z?
-1332
Let g = -11.32 + -0.68. Let m = -7.7 - 1.6. Let d = m + 9.2. Is g smaller than d?
True
Let r(s) = -2*s**3 - 30*s**2 - 31*s - 9. Let u be r(-14). Let w = u + -100/3. Is w smaller than -7/5?
False
Let k = 529.2 - 531.09. Is -0.03 <= k?
False
Let l(f) = f**2 - f - 2. Let a be l(-1). Suppose 5*n - 8*n = a. Suppose -3*c + h - 94 = 0, -4*c + n*h - 108 = 3*h. Is -28 greater than c?
True
Let d(w) = 29*w**3 + w**2 - w + 1. Let k be (-8)/(-6)*21/28. Let y be d(k). Let m be (36/y)/((-3)/(-70)). Is 28 not equal to m?
False
Let l = 14607 - 14636. Let c(p) = -p**2 - 5*p - 2. Let s be c(-4). Which is bigger: s or l?
s
Suppose -759*h + 755*h = -2732. Which is smaller: h or 684?
h
Let p = 39.1 + -7.1. Let c = 254.1 - 222. Let y = c - p. Is 8 greater than y?
True
Let q be 1/(1/(-202)*((-690)/(-45))/23). Are -281 and q unequal?
True
Let m = -5.24 + 5. Let f = -0.038 + -0.202. Let a = m - f. Are -4.4 and a non-equal?
True
Let p(x) = 3*x**3 + 32*x**2 - 62*x + 16. Let v(q) = -q**3 - 11*q**2 + 21*q - 5. Let t(s) = -4*p(s) - 11*v(s). Let g be t(-9). Which is greater: g or -1/283?
g
Let r(w) = -w + 35. Let g be r(9). Suppose 3*i - 27 = -5*n, -4*i + g = i + 2*n. Suppose -11*k + i*k = 0. Which is smaller: k or 1/8?
k
Let g = 23 - 14. Let s = g + -9.03. Let h(x) = 2*x**2 - 21*x - 2873. Let o be h(-33). Which is smaller: o or s?
o
Let p = -6960 - -6961. Which is smaller: p or 2253?
p
Suppose -44 = 5*a + 41. Let f = 967 + -985. Are f and a nonequal?
True
Let t be (-6 + (-78)/(-18))*1026/(-232). Let h = t + 40/29. Is h at least 9?
False
Let y(x) be the third derivative of 3*x**5/20 - x**4/3 + 13*x**3/6 - 7*x**2. Let o be y(5). Let r be o/(-15) - (-2)/10. Is -13 equal to r?
True
Let y = -373.1 + 363.1. Is -101 at most as big as y?
True
Let t be -138*(975/(-110) + 10). Which is greater: -157 or t?
t
Let a = 2340713813/196417116 + -5/905148. Let s = 7/31 + a. Which is greater: s or 12?
s
Let t(s) = 2*s**2 + 5*s. Let o be t(-5). Suppose 23*l + 998 = o*l. Which is bigger: l or 498?
l
Let c(v) = v**3 + 5*v**2 - 24*v + 7. Let n be c(-8). Suppose n*f + 29 = -377. Which is greater: -59 or f?
f
Let q(d) = 4*d**2 - 2*d**2 - 4*d**2 - 34*d - 30. Let t be q(-16). Suppose -57 = t*u + 95. Is u less than or equal to -77?
False
Let d be (1736/(-98) - -35) + -16. Let k(o) = -o + 7. Let b be k(3). Let m be 4/(-6) + b/6. Which is smaller: d or m?
m
Let y(w) = -w**3 + 38*w**2 - 45*w - 3. Let q be y(37). Are -295 and q non-equal?
True
Let t be 94137/(-263697) - (-44)/154. Let d = t - -1/433. Does -3 = d?
False
Let h be (-1 + -1)/(80/12 - 6). Let j be 7/h + (-7712)/(-3264). Let n = 1 + 0. Are n and j non-equal?
True
Let x(j) = 2*j**3 - 2*j**2 - 6*j - 3. Let f be ((-3)/(-2))/(8/16). Let v be x(f). Is -1 < v?
True
Let q = -127/28 - -30/7. Let k = -75.819 - 0.181. Let w = -52 - k. Do w and q have different values?
True
Let h = 1/1902 + -1441/27579. Suppose -29*w + 15 = -26*w. Suppose -2*g - 4 = -b + w, -5*g = -4*b + 21. Is b not equal to h?
True
Let z = -3727 + 1225. Which is bigger: 0.1 or z?
0.1
Let t be 5375/50*(2 + 20/25). Is t smaller than 1506/5?
True
Let f(g) = 39*g - 13. Let m = 1945 - 1944. Let h be f(m). Let u = -22 + 50. Is h not equal to u?
True
Suppose 0 = y - 1, -4*q - 4*y - 50 = 106. Let z(t) = -t**3 - 7*t**2 + 61*t + 26. Let c be z(-14). Let v be (-22368)/c - 2/(-17). Does v = q?
False
Suppose -2*u + 14 = 0, -5*x + 55*u = 56*u - 2. Let w be -10*(-2)/56 - 1. Which is bigger: w or x?
w
Suppose 11*q + 237 = 4208. Let y be (-5470)/(-15) + 72/(-27). Is y less than q?
False
Suppose 0 = 