 less than a?
True
Let o be (2 - 2 - -407)/(-4). Suppose 0 = -2*g + 3*d + 202, 3*g + 404 = 7*g - 3*d. Let u = g + o. Which is smaller: -2 or u?
-2
Let k = 413 - 412. Do 26/9 and k have the same value?
False
Let f be ((-36)/10)/((-12)/(-40)). Let g = f + 12. Which is bigger: 8/9 or g?
8/9
Let d = -1/407 + 456/19943. Let q(i) = -3*i + 1. Let w be q(0). Which is greater: w or d?
w
Let m be -8 + -11 + 5 + 15. Is m smaller than 3/4?
False
Let p be -3 + 2 + 3/((-9)/(-21)). Suppose -t = -0*t + p. Which is smaller: -8 or t?
-8
Let f be 70/4*(60/(-25))/(-3). Let l be (-242)/(-210) + -1 - 4/f. Which is smaller: l or 0?
l
Let h(a) = 2*a - 24. Let f be h(13). Is 32/11 equal to f?
False
Let h(v) = -v**3 + 7*v**2 + 9*v - 3. Let l be h(4). Let r = 82 - l. Is 1/60 bigger than r?
False
Let l(x) = 28 - 6*x - 27 + x**2 - 3*x. Let h be l(9). Which is bigger: h or 18/13?
18/13
Let a(y) = -3*y - 4 + y**3 + 5*y + 4*y**2 - 6*y**2 - 2*y**3. Let j be a(-3). Which is bigger: j or -8/5?
j
Let h = -979 - -987.07. Let p = -0.07 + h. Let u = 8.04 - p. Which is smaller: u or 0?
0
Let n(b) = 2*b**2 - 3*b - 20. Let w be n(4). Let u be (-2)/(-5)*(-5)/(-73). Which is smaller: u or w?
w
Suppose -z + 4*m - 8 = 0, -4*z - m = -0*z - 2. Let w = 6 + -5.96. Let x = w + -1.04. Is x < z?
True
Suppose 2*g - 11 = -4*f - 5, -g + 3*f = 2. Is g at most as big as 6/229?
False
Suppose 3*t + 66 = t. Let n(i) = -i**3 - 26*i**2 - 25*i - 34. Let o be n(-25). Which is smaller: o or t?
o
Let i = 448/5 + -1342/15. Which is smaller: i or -1?
-1
Suppose 0 = -9*c + 23 - 14. Let o = 58 + -755/13. Which is smaller: o or c?
o
Suppose -63 = z + 2*r, -9*r + 10*r - 101 = 2*z. Which is smaller: z or -52?
z
Let u = 380.13 + -380. Is u bigger than -2?
True
Let y = -1 + -2. Suppose -3*d + 4*u = -4 - 0, 0 = u + 4. Which is smaller: d or y?
d
Let p(t) = -t**2 - 10*t - 6. Let n be p(-9). Suppose -4*b - n*k - 1 = 0, 2*b = -b + k + 9. Suppose 8 = l - b*l. Is l at least -7?
False
Let q be (1 - 4)/(7/(-7)). Suppose u - 14 = -q. Is 0 smaller than u?
True
Let t = -1592 - -1568. Is -1/2 at most as big as t?
False
Let w = -8497 + 8508. Let o(z) = -z**3 - 5*z**2 - z + 5. Let k(x) = -x - 10. Let p be k(-5). Let r be o(p). Which is smaller: r or w?
r
Let w be -2*(-3 - -1)/4. Let s(j) = -j**2 + 11*j - 3. Let h be s(11). Let q(t) = -t**3 - 2*t**2 + 5*t + 3. Let f be q(h). Which is bigger: f or w?
w
Let j be (-1)/6 - 2990/(-12). Let p = j - 755/3. Suppose -3*a - 6 = -a. Which is smaller: a or p?
a
Let k = -23 + -19. Let m = k + 17. Which is bigger: -26 or m?
m
Suppose 7*w + 135 = 10*w. Suppose -51*m + w*m = 342. Is m at least as big as -58?
True
Let v(j) be the second derivative of 1/20*j**5 + 0 - 2*j**3 - 2*j - 3/2*j**2 + 5/6*j**4. Let x be v(-11). Which is greater: -1 or x?
x
Let t(w) be the first derivative of -7*w**2/2 + 34*w - 19. Let a be t(7). Is a less than or equal to -15?
True
Let d = -162 - -146. Let b be (9 + -5)/(2/17). Let j = 18 - b. Are j and d non-equal?
False
Let i = -2 + 0. Suppose -8*n = -11*n - 12. Is i at most n?
False
Let h(d) = -d**3 - 4*d**2 + 15*d + 16. Let u be h(-6). Let k(x) = -3 + 5 - 3 - 3*x**2 - 3*x - x**3. Let q be k(u). Which is bigger: q or 2/65?
q
Suppose -i = 3*i - 576. Is 289/2 smaller than i?
False
Let j = -5 - -9. Suppose 7*k - j*k = 24. Suppose k = -2*u, 0 = l + 2*u + 2 + 6. Is l > -2/11?
True
Let a be 72/(-60)*6920/36. Is a at most as big as -231?
False
Let h = -137.0865 - -0.0865. Which is smaller: h or 2/3?
h
Let w = 30 - 25.2. Let k = -8 - -3. Let z = k + w. Is -2 <= z?
True
Let q be (-21)/168 + (-31)/8. Is q less than -34/11?
True
Let a be ((612/(-85))/12)/(3 - 0). Is 2/89 smaller than a?
False
Let z = -805 + 806. Is z greater than 2/639?
True
Let v(k) = -k**3 - 15*k**2 + 2*k + 32. Let f be v(-15). Let b be (116/(-28) - (3 - f)) + 0. Is b not equal to -6?
True
Let b = 144/65 - 10456/4485. Let u = -148/483 - b. Which is smaller: -1 or u?
-1
Let u = 51 - 41. Let g be ((-2)/u)/(3 + (-17)/5). Is g at least 2?
False
Let w = -99 + 80. Which is smaller: w or -2/5?
w
Let c = 0 - 5. Let m = -3 - c. Let n = m - 1.6. Which is greater: 1/2 or n?
1/2
Let w = -171 - -121. Let k = -41 - w. Are -1/3 and k nonequal?
True
Suppose -2*d - 1 = -29. Let o be 2/7 + d/(-49). Let l be ((2/9)/1)/(-4). Are o and l non-equal?
True
Let l = 755332/177261 - 2/7707. Is l greater than 3?
True
Let c(m) = -m**3 + 14*m**2 - 11*m - 27. Let l be c(13). Let k be 1/12*(l - 125/10). Which is greater: k or -1?
-1
Suppose 6 = -4*w + 18. Suppose -x - x - 5*c = -17, 3*x - w*c = 15. Suppose -x*q + 5 = -7*q. Which is smaller: -14/3 or q?
q
Let c be 3/(-12) - (-292)/16. Let l be 2/9 - (-32)/c. Suppose -1 - 1 = -l*m. Does -2/25 = m?
False
Let w = -1.61 - 0.39. Is -152 >= w?
False
Let c = -40.4 + 38. Let r = 3.4 + c. Are r and 19 nonequal?
True
Suppose -2*y + 204 = -3*t - 29, 0 = -y + 3*t + 124. Suppose 3*g - v + y + 191 = 0, 5*g = v - 498. Let m be (2/(-4))/(g/(-18)). Which is bigger: -1 or m?
m
Let w = 0.777 - 0.077. Let s = -4 + 4.6. Let i = s - w. Which is smaller: 1 or i?
i
Let i be 5*(3 + -4)*-1. Suppose i*h = 3*h - 8. Let p be (0 + 4 + h)/2. Which is greater: 1/17 or p?
1/17
Let g(o) = o**3 - 10*o**2 - 12*o + 19. Let x = -76 + 87. Let p be g(x). Which is smaller: -4 or p?
-4
Let q = 65.0739 + -0.0739. Which is greater: 3/2 or q?
q
Let x = 12.27 - 12.27. Let p(w) = -9*w**3 + w**2 - w + 1. Let d be p(1). Which is smaller: d or x?
d
Suppose 64*a + 588 = 60*a. Let q = a + 146. Suppose 3 = 3*f - 0. Which is bigger: q or f?
f
Let d be 7/((-462)/(-312)) - (8 + -2). Which is smaller: d or 0?
d
Let n be 5/((-4)/(-3) - (-2)/(-4)). Let f be (-2)/(n/41) - (-2)/3. Is f at least as big as -15?
True
Let z = -791 + 805.64. Let g = 0.64 - z. Is g greater than or equal to -1?
False
Let c = 0.783 - 16.783. Is -5.4 greater than or equal to c?
True
Let w = 1.9 - 1.36. Let p = -0.54 + w. Is -15 greater than p?
False
Let s = 1268 + -1267. Which is bigger: -68 or s?
s
Let s = 19309/27 + -715. Let t(p) = -2*p**2 + 68*p - 379. Let r be t(7). Is r not equal to s?
True
Let o = -0.32 - 2.68. Let d = o - 20. Let g = d - -22.86. Which is bigger: -2 or g?
g
Suppose f = -v, 3 + 5 = -2*v. Let t = f + 4. Let g(m) = -m**3 + 8*m**2 - m + 9. Let i be g(t). Which is bigger: i or -1?
i
Let t(s) = -s**2 + 17*s - 52. Let m be t(11). Is 22 at least as big as m?
True
Let s be (-1 - 14)/(30/(-10)). Suppose -s*o + 14 = -3*o. Let t be 8/10*5/2. Are o and t equal?
False
Suppose 11 = -l + 2*l. Let q = 15 - l. Let a be (q - 3) + (-4)/3. Is a >= -1?
True
Let g = 24/65 + 2/65. Let s = 17.63 - 15.33. Is g > s?
False
Let y = 213 - 431. Which is bigger: 0 or y?
0
Suppose -4*g + 28 = -3*g. Suppose -b - 27 = -g. Which is smaller: -1/49 or b?
-1/49
Let m be 33/(-15) + 2/10. Let r be (-4)/(2*3/(-6)) - m. Which is smaller: 7 or r?
r
Suppose 0 = 2*a + a. Suppose -4*g + 36 = 5*l - 0*g, -l + 3*g - 8 = a. Let d be (9/27)/(l/3). Is 3 >= d?
True
Let j be 0 + -3 + 1*-1. Let w be 2/((-89)/22 - j). Let a be (-34)/w + 36/(-24). Is a less than -1?
False
Suppose -4*n + 17 = 5. Suppose n*v - 24 - 27 = 0. Let g = 37 - v. Is g at least 20?
True
Let j = 16 + -17.4. Let n = j + 0. Let a = 1.4 + n. Which is smaller: 2/15 or a?
a
Let y = 2 + -1. Suppose -76 = 7*m + 1. Which is greater: m or y?
y
Let n(t) = -t**2 + 21*t + 20. Let l be n(19). Let a be (-3)/l*(-12)/18. Is 1 > a?
True
Let h be 18/27 + (-1)/(-3). Let m(g) = -5*g**3 - g**2 + g - 1. Let b be m(h). Let n be (8/b)/((-224)/48). Which is smaller: n or -5/4?
-5/4
Let d = -6.982 - 0.018. Let i = -6 - d. Which is bigger: i or -0.25?
i
Let d = -1176/5 + 235. Let n(o) = o**2 + 16*o + 15. Let a be n(-15). Is a at least as big as d?
True
Let v = -11 + 15. Let u(q) = -2*q**2 + 4*q + 3. Let h be u(v). Let l be 41/h + (-12)/(-4). Is l greater than or equal to 2?
False
Suppose 5*s + 5*o + 45 = 0, 2*s + 21 = o - 6*o. Let v(f) = f**2 - 2*f + 1. Let d be v(4). Let n = d + s. Is n at most as big as 0.1?
False
Let v = 725 - 725.1. Which is bigger: v or -55?
v
Suppose 3*b = b - 4*w - 178, 5*w + 20 = 0. Let o = -17712 + 17632. Does b = o?
False
Suppose -3*u + 455 = -b, u + 4*b + 0*b - 156 = 0. Let s be u/10 - 2/10. Are s and 13 unequal?
True
Let f(a) = -a**3 - 6*a**2 + a - 3. Let h be f(-7). Let r = h - 38. Is 3/11 >= r?
False
Let d(f) = -32*f + 16*f + 17*f - 9.