o 0?
True
Let p = -0.3 - 0.42. Let b = -13.62 - p. Let y = -1.9 - b. Which is smaller: y or -2/5?
-2/5
Let c be (-14)/10*-3*(-10)/6. Which is greater: -8 or c?
c
Let r = -0.056 + -1.044. Which is smaller: 28 or r?
r
Suppose -v = -0*v - 11. Suppose 0 = 4*p + 57 + v. Which is smaller: p or -20?
-20
Let u(q) = -q**2 + 7*q - 3. Let c be u(6). Suppose -c*z = 4*x - 6, -3*z - z = 2*x + 2. Is z at most as big as -3?
False
Let o(g) = 5*g + 3. Let z(n) = 26*n + 16. Let u(h) = 16*o(h) - 3*z(h). Let f be u(0). Let k = 1163/8 + -145. Are k and f equal?
False
Suppose 7*n = 3*n. Suppose n = 4*z - 16 - 108. Suppose -z*p + 28*p = -6. Is 2 >= p?
True
Let o(h) = -h**3 - 9*h**2 + 29*h - 38. Let n be o(-13). Which is smaller: n or 262?
n
Suppose 3*o + 192 = 3*j + 7*o, -2*o + 126 = 2*j. Let a be (-80)/3*(j/8)/5. Which is smaller: a or -39?
a
Let z be 2205/(-42) + 2/4. Let k = -49 - z. Which is smaller: k or 5?
k
Let u(i) = 24*i**3 + 2*i**2 + i. Let k be u(-1). Which is greater: -18 or k?
-18
Let c = -21 - -21. Suppose -4*q + 0*w = 3*w + 7, -5*q - w + 5 = 0. Suppose 0 = 2*m - 0*m + q. Which is smaller: c or m?
m
Let a(z) = z**2 - 5*z - 6. Let c be a(6). Let i(q) = -q + 28. Let g be i(c). Suppose 4*x - 8*x = g. Is x > -7?
False
Let f be (-27)/(21/5*(-15)/186). Let x = -79 + f. Is x at least 1?
False
Let s = 8 - 3. Suppose -3*f - 29 = -4*d + 8*d, 2*f - 4*d - 14 = 0. Let x = -11/4 - f. Which is bigger: s or x?
s
Let k be ((-6)/9*-6)/2. Suppose 3*o = -k*o + 5. Is o at most as big as 0.04?
False
Let h(z) be the second derivative of z**5/20 - z**4/6 - z**2 - 30*z + 2. Suppose 4*x = 3 + 9. Let j be h(x). Is j at most as big as 7?
True
Let j be 1*(-7 + (-5 - (-392)/32)). Is j at most 422?
True
Let i = 107 - 102.7. Are 1 and i equal?
False
Suppose 4*q - 6 + 10 = 0. Let n = 8597/84 + -409/4. Which is bigger: n or q?
n
Let k = -14462/95 - -2178/19. Do k and -39 have different values?
True
Let u = -40 + 33. Let z(f) = f**3 + 8*f**2 + 5*f - 9. Let t be z(u). Suppose 3*o + t - 2 = 0. Is o <= 11?
True
Let l(x) = x**2 + x - 9. Let o be l(-8). Suppose -2*d - 2*r - 34 = 0, 4*d - 2*r + o = -39. Let y = -8 - d. Which is smaller: y or 11?
11
Let p(z) = -z**3 - 11*z**2 + 12*z. Let v be p(-12). Suppose v*s + 10 = 5*l - s, 0 = -2*l + 2*s + 4. Which is smaller: l or 6?
l
Let l be (-1)/(-4) - 4209/(-12). Let g = -2489/7 + l. Is g != -4?
True
Suppose -6 = -3*p - 3*p. Let l(c) = 3*c - 2. Let k be l(p). Is -1/26 at least k?
False
Suppose -5*d - 41 = -41. Is d != 2/817?
True
Let d = 7.3 + -9. Let w = 0.1 + d. Let g = -1.4 - w. Which is smaller: 0.3 or g?
g
Let l(c) = c**2 + 12*c + 5. Let k be l(-12). Suppose -21 = h - 2*h + 5*p, -k*p = 2*h + 18. Which is smaller: 7/6 or h?
h
Suppose -5*x + 2*x + 12 = 0, 0 = 3*m - 2*x - 10. Suppose -m*i - 522 = -15*i. Which is bigger: i or 59?
59
Let j(b) = b**2 + 2*b + 4. Let v be j(-3). Suppose 5*t + 8 = -v. Suppose f + 27 = 5*i, -8*f + 5*f = 2*i - 4. Which is greater: t or f?
f
Let x = 52789376/419771 - -2/114483. Let p = 126 - x. Which is greater: p or -1?
p
Let j(z) = -z**2 - 9*z - 6. Let s be j(-9). Let v(c) = 4*c**2 - 4*c + 3. Let u be v(1). Suppose 3*m - u*n = -24, -n + 4 = -0. Which is smaller: m or s?
s
Let v be 8*1 - (-2262)/(-319). Which is smaller: v or 4?
v
Let w(n) be the first derivative of n**3/3 - n**2 + 2*n + 4. Let c be w(3). Suppose 7*m = 2*m + c. Is 1/5 < m?
True
Let r be 18/10 - (-10)/50. Suppose 3*w - 2 = -2*h - 1, 0 = w + r*h - 3. Which is smaller: -4 or w?
-4
Let z be ((-644)/(-69))/(-14) - 290/6. Suppose 2*g + 192 = -2*g. Which is bigger: g or z?
g
Suppose -2*y - 2*y - 5*j = -410, -2*y = -3*j - 194. Suppose 5*m + y = 4*w, -m + 5*w - 1 = -2. Is -24 < m?
False
Let d = 10696/5 - 2146. Which is smaller: -7 or d?
-7
Let f(g) = -g**3 + 3*g - 2. Let i be f(2). Let v(x) = -x**2 - 2*x + 4. Let l be v(i). Let k be 25 + (0 - 0) + l. Which is smaller: 20 or k?
20
Let v be (-1 - -5)*1 - 3. Suppose -11 = -4*a + v. Suppose 5*b = 4*t - a, -5*t + 7 = -5*b + 2. Is t at most as big as 2?
True
Suppose 4*l - 5*l + 1084 = 3*d, 4*d + 3*l = 1452. Which is bigger: 361 or d?
361
Let m = -244 + 261. Are 39 and m equal?
False
Let r(b) = b. Let h(c) = -2*c - 2. Let d(m) = h(m) + 3*r(m). Let g be d(-2). Is -3 at most g?
False
Let j = -96.8 - -98. Is -2/7 at least j?
False
Suppose -5*z - 3267 + 3257 = 0. Which is smaller: z or 48?
z
Let h(o) = -o**2 + 11*o - 5. Let l be h(10). Suppose l*f + t = 67, 2*f + 4*t - 2 = f. Let s be 3/f + 3/(-6). Which is smaller: 0 or s?
s
Let y = 17.0034 - 0.0834. Let l = 17 - y. Suppose -3*n + 13 = 4*t, -2*n + 5*t - 12 - 10 = 0. Which is smaller: l or n?
n
Let u = 120.89 + -121. Let a = -0.3 + 0.35. Let q = u + a. Is q bigger than -2/3?
True
Let a = -585 + 674. Which is bigger: a or 88?
a
Let k = 79 + -105. Let r = k - -25.9. Which is smaller: 16 or r?
r
Let y = -152 + 152. Does y = -4/5?
False
Suppose -10 = -2*k + 4*z, 3 = 12*z - 13*z. Which is greater: 2/491 or k?
2/491
Let z be -6*(3 - 1738/582). Let o = z - 90/1261. Suppose 0 = -a - 3 + 4. Does a = o?
False
Suppose -4210*w = -4206*w + 4. Which is smaller: w or -1/1540?
w
Suppose -7 = -u - 5*l + 10*l, 80 = -5*u + 2*l. Which is smaller: -20 or u?
-20
Let b = 0.052 - -0.948. Which is smaller: b or 58?
b
Let i = 790 + -471. Is 319 smaller than i?
False
Let u = 1001.1 - 1001. Let s = -1 + 1.3. Let k = 0.2 + s. Which is smaller: k or u?
u
Let k = -0.04 + -0.1. Let p = k - 2.86. Let o = 1 + p. Which is smaller: 0.4 or o?
o
Let r = -3973/71294 + -2/829. Which is bigger: 1 or r?
1
Let m = 0.093 + -2.693. Which is smaller: m or 1?
m
Let r be (-36)/(-20) - 4/(-20). Suppose r*s + 75 = 5*s. Is 25 less than or equal to s?
True
Let q be (65/260)/((-5)/2732). Is q at least as big as -137?
True
Let u = -42 - -27. Let j be (1/u)/((-14)/(-21)). Suppose 0*g + 6*g = 3*g. Which is smaller: j or g?
j
Let w = 0.023 + -266.023. Which is bigger: w or 1?
1
Let p = 1223877 + -324339802/265. Let k = 234/5 + p. Is -1 less than k?
True
Let p be 2/(-1) + 0 + 2. Let i = 2/21415 + 4689871/149905. Let s = i - 31. Does s = p?
False
Let o(g) = g**3 + 8*g**2 + 7*g + 2. Let z be o(-6). Let t(k) = k**3 + 10*k**2 + 10*k - 18. Let y be t(-8). Do z and y have the same value?
False
Let m = 22 - 45. Is m <= -19?
True
Suppose -62*t = -63*t + 2. Suppose -t*z + z + 40 = 0. Is 39 at most as big as z?
True
Let j(f) = -73*f - 400. Let z be j(-6). Is z >= 8?
True
Let q(c) = c**3 - 3*c**2 - 2*c - 7. Let s be q(4). Let p be -1 + ((-8)/4 - s). Let a be p + (256/(-36))/(-2). Is 1 at most a?
False
Let o(y) = -y**3 + 8*y**2 + 9*y + 1. Let t be o(9). Let f(u) = -u**2 + 2*u + 5. Let g be f(2). Is g <= t?
False
Let y = -154 + 1384/9. Which is greater: -0.3 or y?
y
Let p be 14/161 + 15728/46 + -5. Which is smaller: p or 339?
p
Let z = 28453 + -197672/7. Let v = -213 + z. Which is smaller: v or 1?
1
Suppose -29*k - 156 = -32*k. Is 52 at most as big as k?
True
Let i(r) = 2 - 76*r**3 + 75*r**3 + 10*r - 4*r - 4 - 5*r**2. Let f be i(-6). Which is smaller: f or -2.1?
-2.1
Let m = 0.2 - 0.15. Let x = -0.05 - -0.2. Let n = x - m. Is n at least as big as 2/7?
False
Suppose 3*o = 6, 5*y + 0*o - 4*o = 112. Suppose -y = f + 2*m, 6*f - 4*f - 2*m + 36 = 0. Is f at most as big as -20?
True
Let t be ((-18)/(-324))/(1/3). Which is smaller: t or 0.05?
0.05
Let o = -0.02 + 0.02. Which is smaller: o or -35?
-35
Let g = 82 - 65. Suppose 6*p = p + 20. Let b be (-160)/(-15)*6/p. Does b = g?
False
Let m = -4345/6 + 729. Suppose -10*k - 12 = -12*k. Is m > k?
False
Let a = 78 - 42. Suppose -11 = 5*b - a. Suppose -5*x + b = -0. Is x >= 2/3?
True
Let r(h) = h**3 - 6*h**2 + 2*h - 9. Let g be r(6). Let n(j) = -3*j**3 + j. Let x be n(-1). Suppose 2*y = g*t + 7, -3*t - 5*y + 5 = -x. Is t bigger than -5/6?
False
Let n = 126 - 124. Suppose -9 = -d + 5*a + n, -5*d + 4*a = 29. Is d equal to -10?
False
Let d = -36041/8208 - 13/432. Which is smaller: -3 or d?
d
Let s = -118 + 374/3. Let m = s - 679/102. Is 0 smaller than m?
True
Let b = 1 + -2. Let n = -1932.9 - -1852. Let v = 81 + n. Is v != b?
True
Let x be 48*((-27)/12 - -3). Let n = x - 21. Let b be 9*4/n + -2. Are 1 and b nonequal?
True
Let j = -126.4 + 132. Which is smaller: j or -0.1?
-0.1
Let o(t) = -t**3 + 8*t**2 + 11*t - 4. Let l be o(9). Suppose -y + 95 = 5*b, -b + 5 = -0*b. Suppose -16 = -y*w + 69*w. Which is small