. Is k < 57?
True
Let l = 5.981 - -0.419. Is l at most -0.6?
False
Suppose 5*i + 12*l = 9*l - 401, -4 = 2*l. Which is greater: -78 or i?
-78
Let b be (11 + 0)*3/75. Let o = b - 241/150. Let a = o - -25/24. Is 0 at least a?
True
Let m = -699 + 691. Which is bigger: -15 or m?
m
Let j = 1.66 - -3.34. Which is bigger: j or 32?
32
Let m be ((-2)/7)/(100/(-6)). Let t = 19527/734 - 78288629/2954350. Let v = m - t. Which is smaller: 0 or v?
v
Suppose -3699 = -17*n + 1299. Which is greater: n or 293?
n
Suppose -2*q = 4*b - 2, 34 - 35 = -q - b. Is q greater than 1/1146?
True
Suppose 5*f - 1304 = f. Is 326 >= f?
True
Suppose -3*o = -o + 18. Let a be ((-38)/(-19))/(14/(-35)). Is a greater than o?
True
Let k = -8 + -10. Let z be (k/12)/((-14)/4). Suppose 7*j - 3*j = 0. Is j at most z?
True
Let p(m) = -m**2 + 2. Let v be p(1). Let u(j) = -j**2 - 3*j - 1. Let t be u(-3). Are v and t unequal?
True
Let i = 89 + -90. Let w be i/(-2) - 6/(-12). Which is smaller: -3/13 or w?
-3/13
Suppose 5*c - 5*o - 285 = -0*o, -66 = -c + 4*o. Is 58 at least c?
True
Suppose -21*a + 281 = 5720. Does a = -258?
False
Let z be -6*-2*2/12. Let d = 4371 + -1127713/258. Let g = 1391/774 - d. Which is bigger: g or z?
z
Suppose -28*d = -29*d + 63. Let u be ((-98)/d)/7 + (-16)/9. Is -2 greater than or equal to u?
True
Let q(m) = m - 2. Let g be q(5). Let k be g/1*(-18)/(-45). Let h be 4*1/(-2)*(-2)/4. Which is smaller: k or h?
h
Let z = 6/73 + -377/146. Let q = 2219.2 + -2219. Is q less than z?
False
Let x = 4/1369 - -35582/4107. Is -20/3 >= x?
False
Suppose -2*b - 2 = -3*b. Let s be 236/12 + b/(-3). Is 19 != s?
False
Let t(u) = 3*u**3 - 2*u - 1. Let v be t(-1). Let r(l) = -l**3 - 7*l**2 - 4*l + 13. Let h(b) = -b - 23. Let a be h(-17). Let c be r(a). Which is smaller: v or c?
v
Let g(j) = -j + 5. Let i(o) = -o. Let u(x) = g(x) - 2*i(x). Let f be u(-10). Let c = 14 + f. Which is greater: c or 10?
10
Let x(w) = 6 - 5*w**2 + 4*w**2 + 0*w - 2*w. Suppose 4*q = c + 20, -4*c - 2*q + 25 = 3*q. Let g be x(c). Do g and 6 have the same value?
True
Let n(p) = p**2 + p. Let y be n(0). Let f(k) = k**2 + k + 180. Let z be f(y). Let b be (-2)/8 + 57/z. Which is bigger: b or 1?
1
Let h be (-4 - (-670)/165)/(3/1). Let u = h - 35/99. Is u < -1/26?
True
Let d = -5 + -4. Let n = d - 12. Let r = n - -22. Which is bigger: r or -1/4?
r
Let d = -47.4 - -43. Let h = 57.6 + -58. Let c = h - d. Which is smaller: c or 2?
2
Let j = -5 + 9. Suppose 2*y + 10 = 4*t, 4*t + 39 - j = -3*y. Let l be 4/(-6)*27/2. Is y less than l?
False
Let q = 2197/938 + -33/14. Which is greater: 2/3 or q?
2/3
Let l be 12/36 + 28/6. Suppose -l*b + 0 = 25. Is -26/7 less than or equal to b?
False
Let u = 211 + -166. Is 181/4 equal to u?
False
Let z = -2.4 + 0.4. Suppose -3*j - 63 = 3*r + 12, -101 = 5*r - j. Let l = 19 + r. Is l bigger than z?
False
Let b(u) = -u**2 - 8*u - 7. Let y be b(-6). Suppose 0 = y*w - 6 + 1. Let o = -2 + 3. Is w > o?
False
Let t(s) = -2*s**2 - 3*s + 1. Let x be t(-9). Let z = x + 133. Which is greater: z or -2/45?
-2/45
Let f(n) = n**2 + 4*n - 6. Let c be f(3). Let d be (6/c)/(7/(-5)). Is -1 > d?
False
Let t = -8831/4 - -2226. Let a = -18 + t. Which is smaller: a or -1?
-1
Let d be (-40)/5 - 228/(-30). Suppose 7*h - 4*h = 0. Suppose 3*t - 3 = -h*n + 4*n, t + 2*n = 1. Which is bigger: t or d?
t
Suppose 8*o = 3*o - 520. Let q be 1599/(-15) - -2*1. Let i = o - q. Which is bigger: i or 1?
1
Suppose -2*v + 4 = -v. Which is greater: v or 112/37?
v
Suppose 0 = -6*h - 771 + 267. Is -85 less than or equal to h?
True
Let d = 1913 - 1911. Is d less than 4/157?
False
Let m = 10 + -1. Let r = m - 5. Suppose 5*h = -3*n + 9 + 5, -4*h - 8 = -r*n. Are h and 0.2 non-equal?
True
Suppose 4*b - 24 = -2*q, -2*q + 45 = q - 3*b. Suppose -3*i - 55 = 8*o - 3*o, i + 3*o = -17. Let h = 35 + i. Is h >= q?
True
Suppose n + 67 = -81. Is -148 not equal to n?
False
Let a = -4829 - -680882/141. Is 1 < a?
False
Let f = 1103.8 + -1104. Does 127/2 = f?
False
Let b(n) = 2*n**3 + n - 1. Let a be b(1). Suppose 431 = -5*k + 1376. Let u be 180/k + 2/(-7). Which is smaller: u or a?
u
Let l = 0.29 - -16.31. Let m = l + -14.91. Let h = 1.7 - m. Is h greater than 1/3?
False
Let x = -43127/125 - -345. Is 0 at least as big as x?
True
Suppose -3*v = 5*q + v - 40, 4*q = 5*v - 9. Let p be ((-9)/18)/((-1)/q). Suppose -1 = y + p*h + 7, 5*h = -5*y - 20. Which is smaller: y or 1?
y
Suppose -171*z + 152*z = -19. Let u be 10/(-15)*(1 + -4). Let v be -1 + 1 + 3 - u. Is z at least as big as v?
True
Let t(m) = -4*m**3 + 3*m**3 + 3 + 0 + m - 12*m**2 + 11. Let j be t(-12). Let u be (j + 0)*(-51)/(-6). Are u and 18 equal?
False
Suppose -x = 2*x. Suppose 8*w - 4*w = x. Suppose 13*n - 10*n = w. Which is bigger: n or -2/21?
n
Let f = -22 + 43. Suppose 4*l - 5*t + 3*t + 6 = 0, -2*t = 5*l - 15. Which is greater: f or l?
f
Let l be (-9 + 11)/(0 - (-2)/(-1)). Let v be ((-3)/(-270))/(2/8). Which is bigger: v or l?
v
Suppose -543*i = -551*i + 1296. Which is greater: 161 or i?
i
Let y = -5 - -13. Suppose -1 = -9*k + y*k. Let w be -2*k + (-8)/(-4). Is 2 smaller than w?
False
Let r = 10 - 6. Let c = r + -3.99. Let m = -2.01 + c. Is 2 equal to m?
False
Let g be 1860/308 + 12/(-2). Is 0 at most as big as g?
True
Let n = -65 + 12. Let f = 42 + n. Which is greater: 2 or f?
2
Let f be (-518)/(-297) - (-30)/(-15). Let n = -2/27 - f. Let y = -15 + 14. Are n and y equal?
False
Let l be -4 - -7 - (-2)/2. Let r be (-30)/l*12/(-10). Is r > 19/2?
False
Suppose 443 = -4*l - 3*j, l - 5*j + 105 = -0*l. Let a be 4 + -3 - (-114)/l. Suppose -4*t + 2*t + 4*p = 12, -4*t - 2*p = -6. Is t bigger than a?
True
Let o be 2/7 - ((-99)/21 - -5). Let j be ((o + 0)/(-1))/((-3)/(-3)). Which is bigger: -2 or j?
j
Let p = -43/132 + 5/66. Which is smaller: p or 0.056?
p
Let r = 30 - -45. Suppose 0 = -6*a + a - 5*z - 120, -3*z + r = -4*a. Let c be 1 + ((-81)/a)/(-3). Which is smaller: c or -3?
-3
Let p = -2239 + 2189. Is -45 at most p?
False
Suppose 5*b = 3*z - 8*z + 25, -13 = z - 5*b. Are z and -7 nonequal?
True
Suppose 7*t - 33 = -5. Let b be t/15 + 2/(-3). Which is smaller: b or 1/7?
b
Let q = -1782.24 - -1782. Let c = -0.38 + -0.02. Let n = c + 1.4. Which is smaller: n or q?
q
Let p(j) = 7*j + 1. Let q(l) = -8*l. Let v(k) = 5*p(k) + 4*q(k). Let t be v(-3). Is -4 < t?
False
Let c(n) = -3*n**2 + 23*n + 2. Let f(h) = -2*h**2 + 15*h + 1. Let b(d) = 5*c(d) - 8*f(d). Let m be b(5). Let a be (-81)/(-273) + m/(-13). Is -1 at least a?
False
Let f be ((-1312)/80)/((-4)/10). Let w = -41 + f. Which is bigger: 12 or w?
12
Let q = -76 + 145. Which is smaller: q or 68?
68
Let d be (2/4)/((-37)/4). Let k(j) = -j**3 + 35*j**2 - 1. Let r be k(35). Which is smaller: d or r?
r
Let d(t) = t**2 - 6*t - 7 + 0*t**2 + 9*t. Let q be d(-5). Is -3 less than q?
True
Let h be (8/(-36))/((8 + 0)*48). Are h and 1 nonequal?
True
Suppose -s - 5 = -2*k, 5*s + 7 = k - 0*s. Let f be 4 - ((-6)/5 + k). Is f <= 3?
False
Let a be ((-92)/207)/(46/(-3)). Suppose m = -2*k - 11, 17 = -2*m - 3*k - 0. Which is bigger: a or m?
a
Let b = -1507 - -1497. Is b equal to 5?
False
Let g be (25/1 + 396/(-66))*4. Do 83 and g have different values?
True
Let l = -3057 + 2655. Is l at most -404?
False
Let m(f) = f**2 + 13*f + 1. Let t be m(-13). Let o(a) = 5 + a**2 - 4 - 1 + 1 + a**3 - 2*a. Let z be o(t). Do 4 and z have the same value?
False
Let s(r) = -11*r**2 + 2*r + 1. Let v be s(-1). Let q be ((-16)/v)/(5 - -1). Is q at least as big as 2/9?
True
Let c = 6 - 8. Let u = -112 - -221/2. Which is smaller: u or c?
c
Let k(o) = -o**2 - o + 77. Let p be k(0). Let d be p/35 + 3*-1. Let a(u) = -u - 6. Let t be a(-4). Do t and d have the same value?
False
Let t = -71.6 - -76.6. Let a = 3 - 3.01. Which is bigger: a or t?
t
Let t be 128 + -121 - 688/97. Which is greater: t or 0?
0
Let r(o) = o**3 + 20*o**2 + 56*o + 2. Let c be r(-16). Which is smaller: c or 131?
c
Let h = 95/1017 - -2/113. Let v(n) = 2*n**2 - 4. Let b be v(-2). Suppose 0 = -u + 5, 0 = -o - 2*u + u + b. Do o and h have the same value?
False
Let r = -6/65 - -67/1430. Which is smaller: r or 0?
r
Let o be (537*(-4)/9)/3. Let k = -2657/36 - o. Let z(t) = t**2 - 2*t - 2. Let h be z(4). Is h >= k?
True
Suppose -416*x + 404*x = -3240. Is x greater than or equal to 269?
True
Let g = 276 - 281. Which is bigger: -19/3 or g?
g
Le