h is smaller: p or n?
n
Suppose -1 = 2*z - 5. Let m be (z - 16/(-4))*-2. Let i = -12 - m. Is i smaller than 1/30?
True
Suppose -136*d + 144*d - 16 = 0. Is d bigger than 19/22?
True
Let f be 1/(-4) + (-2233)/(-84). Let y = -26 + f. Let w = 1 + -0.98. Is y <= w?
False
Let h = 449524/37947 + 2/37947. Which is smaller: 11 or h?
11
Let p be -3 - (-2 - 4/4). Let u be (16 - 16)/(p - 3). Is u equal to 4?
False
Let w = 1526 - 19748/13. Let p = 110/13 - w. Is 2 < p?
False
Let b = 1279/7 - 47325/259. Is b > -1?
True
Let v = -5830 + 40895/7. Which is smaller: 12 or v?
12
Let h(c) = -54*c - 14 - 57*c + 115*c. Let j be h(5). Which is smaller: -3 or j?
-3
Let i be (-1)/(16/(-15176)) + (-9)/6. Are 949 and i equal?
False
Let f be (1*(-1)/(-1))/(-2). Suppose 2*t = -3*r - 40, 5 = t + 7. Which is greater: r or f?
f
Let i be (3/(-1))/((-466)/4 + -2). Let u(a) = a**3 - 4*a**2 - 5*a - 1. Let h be u(5). Is h at least i?
False
Suppose j = -2*j + n + 20, -4*j = 5*n - 33. Let w = 4 - j. Let t be (-2)/w*27/171. Is t > 0?
True
Suppose -4*x = -5*j - 8, 2*j - 2*x + 4 = 5*j. Let o be (-2 - -2)/(1 + j). Suppose 3965 = 19*b + 3927. Is o at least b?
False
Suppose 54*g = 44*g - 2490. Is g bigger than -246?
False
Let a = 2049/2 + -1023. Let z be 15/(-35) + (-2)/(-4). Which is smaller: z or a?
z
Let a = 0.708 + -0.77. Let o = -4.062 - a. Is -0.1 at least as big as o?
True
Let b be ((-345)/50 - -7)*50/(-216). Which is smaller: 1 or b?
b
Suppose -4*c + 5*p + 3 = -0, 4*p - 4 = 0. Suppose -4*q = 16, q + c*q = -2*n + 20. Which is greater: 31/2 or n?
n
Let k be (-6)/10 - 283/(-5). Suppose 0*q - k = 4*a + 3*q, 3*a + 2*q = -42. Is a less than or equal to -16?
False
Suppose 2*c - 2 = -2*x, -x - 3*x + 2 = 2*c. Let y(l) = 9 + l**2 - 13*l + 0 + c. Let d be y(10). Which is greater: d or -21?
d
Let s = 0.09 + 0.11. Let m = -2.1 - -2. Let n = s - m. Is n bigger than 2?
False
Let l = -1227 + 1732. Which is greater: 504 or l?
l
Let v be 9/(-7) + (-98)/(-343). Let d be (2/(-43))/(2 - 1). Is d less than or equal to v?
False
Let u(v) = -v**2 + 6*v + 1. Let f(o) = -2*o**2 + 7*o. Let m(r) = 3*f(r) - 4*u(r). Let s be m(-1). Is -1 equal to s?
False
Let m be (-8)/(-1) - (-8)/(5 + -9). Which is bigger: m or -34?
m
Let t be (4/(-1))/(5 - 4). Let z be (-48)/(-112) - 237/63. Is t < z?
True
Let d = 54 - 39. Let i = d - 16. Which is smaller: -2/29 or i?
i
Let p(x) = -4 - 4 - 2*x**2 - 27*x + 8*x + 0. Let w be p(-8). Which is bigger: 12 or w?
w
Let f = -2 - -3. Let r = 159.51 + -14.31. Let j = 147 - r. Which is smaller: j or f?
f
Let y = -229700/23 - -9987. Suppose 0 = -3*a + 4 - 1. Is a at most y?
False
Suppose 3*i + 16 = 2*u, 5*i + 4*u = 15 - 49. Suppose t + 23 = -6. Let w = 25 + t. Which is bigger: i or w?
w
Suppose 0 = 28*y - 50*y - 242. Is y at least as big as -11?
True
Let k = -132 - -132.1. Suppose v = -m + 62, 7*v = 4*v - 5*m + 178. Which is greater: v or k?
v
Let s = 8.309 + -8.3. Let v = s + -0.249. Is 1/3 less than or equal to v?
False
Let w = 199.5 - 197. Let n = -0.1 - 0. Is n at least as big as w?
False
Let q(g) = g**3 - 54*g**2 - 115*g + 164. Let p be q(56). Which is smaller: p or -11?
-11
Suppose 3*k - k = 2*c - 38, -3*c + 21 = -k. Let x be (10/25)/(k/285). Which is smaller: -7 or x?
-7
Suppose -4*x = -6*x + 80. Suppose 4*k - 76 = r - 3*r, -77 = -2*r - 5*k. Suppose -x*f - 4 = -r*f. Which is bigger: f or -0.2?
-0.2
Let l = 18.73 + 0.27. Let f = l + -20.4. Let h = 0.6 - f. Which is bigger: -1 or h?
h
Let c(x) = -4*x**3 - 9*x**2 + 3*x**3 - x + 3 + 2*x - 9*x. Let b be c(-8). Let m = b - 3. Which is smaller: 4/3 or m?
m
Suppose 2*u + 5 = -5*w, 0*u - 2*w + 40 = 5*u. Let x(k) = k**3 - 11*k**2 + 10*k - 3. Let p be x(u). Which is bigger: p or -4?
p
Let x be 0/(4/(-2) + 4). Let w = x + 0. Let f be 2*(-15)/6 + 15/315*114. Which is smaller: w or f?
w
Let n = 3073 - 1895. Suppose 1522 = -3*j - n. Let b be j/84 + (-4)/14. Which is smaller: b or -12?
-12
Suppose -25*f - 40 = -21*f. Let d = 22 + f. Does 12 = d?
True
Let a be ((-276)/(-102) + -3)*(-5)/(-35). Which is smaller: a or 1?
a
Let n be 12/22*-3*6/18. Let g(h) = -h**2 + 7*h - 9. Let o be g(6). Let z = o + 1. Is z less than or equal to n?
True
Let z = -26 - -15. Let a be (-656)/832 + (-2 - z/4). Is -1 greater than a?
False
Let w = 375 - 347. Which is smaller: 25 or w?
25
Suppose -3*d = d. Suppose d = -2*f - u + 10, 3*u + 7 = 2*f - 3. Suppose -f*c + 4*s - 6 = 0, 3*c + 4*s - 3*s = 10. Is 4 less than or equal to c?
False
Let r = 0 + -1. Is r != 1/19?
True
Suppose -46 - 51 = -3*d - 2*a, 5*a = -4*d + 120. Suppose -q - 3*j - d = -j, 5*j = q + 21. Which is smaller: -30 or q?
q
Let x = -26082 - -77549/3. Is x equal to -231?
False
Let d be 36/(-27)*414/(-24). Suppose -7*u + 3*u + 4*p + 96 = 0, 27 = u - 4*p. Is d equal to u?
True
Let r = -155 + 623/4. Is -2/17 equal to r?
False
Let s = -2.56 + 2.46. Let h(g) = -g**3 - 7*g**2 - 8*g - 1. Let y be h(-6). Is s at most as big as y?
True
Suppose -25*r + 38*r - 286 = 0. Let g be -2 + (-9 - -10)*r/2. Suppose j + 9 = 20. Is j > g?
True
Let g = -25.5 - -26. Let b = g - 4.5. Which is greater: -2/13 or b?
-2/13
Suppose 9*i - 906 = 48. Are i and 320/3 nonequal?
True
Let s = 2.8414 - 0.0114. Let g = 2.7 - s. Let z = 0.23 + g. Is 3/4 > z?
True
Let b be 6/(-39) - 193/13. Let j be 22*(b/(-24) + -1). Is -7 >= j?
True
Let s = -0.4 - -5.4. Let z = -96 + 90. Let j = z + s. Is -8 at most j?
True
Let l = 18838/3 - 6193. Is l greater than 85?
True
Let c = 402/11 + -2880/77. Suppose -4*f + 0 = -16. Suppose 4*l - 4*h - 20 = -0*h, -f*l - 5*h - 25 = 0. Is c not equal to l?
True
Let m(n) = 3*n**3 - 62*n**2 - 36*n - 41. Let l be m(21). Is -355 at least l?
True
Suppose 0 = -2*h + 4*h - 2, 2*f - 5*h + 15 = 0. Let l(n) = -n - 3. Let d be l(3). Is d != f?
True
Suppose 8*v + 202 = 850. Is 1 at most v?
True
Let n(m) = m**2 - 4*m - 2. Let k(p) = p + 1. Let i be k(4). Let v be n(i). Let u be -3 + 52/72*v. Which is greater: u or -2?
u
Let m = -23.6 - -25.2. Is m at most as big as 0?
False
Let u = 123 - 124. Are u and -6/127 non-equal?
True
Let p = -36.9 + 36. Let s = p - -1. Which is bigger: 1/15 or s?
s
Let h = 0.74 - 12.34. Let o = h + 12. Is o at least as big as 1?
False
Let g(v) = v**3 + 7*v**2 + 1 - 9*v**2 + 1. Let p be g(2). Suppose -5 = -l - 3, 0 = o + p*l - 3. Is 0 at least o?
True
Let v = 658/5 + -131. Let f = -25.8 - -21. Let t = f - -5. Is t less than v?
True
Suppose 0 = d + j + 412, 2*j + 2050 = -5*d + 7*j. Let p = d - -95. Let w = p - -5374/17. Which is smaller: 2 or w?
w
Let y = -2 + 3. Let c be y/(-5) + (-8)/(-40). Suppose -2*i - 6 = 0, c*i - 14 = p + i. Which is greater: p or -10?
-10
Suppose 0 = -5*c - 27 + 22. Let f = -0.02 - 1.98. Which is bigger: f or c?
c
Let s = 7 - 6.97. Let n = -10 + -23. Let t = 32 + n. Which is greater: t or s?
s
Let q be (-5)/((-2 + 3)/((-12)/4)). Which is greater: 23 or q?
23
Let w = -16 - -19. Let a be (-4)/(-18) - (-1 + (-118)/(-126)). Which is bigger: a or w?
w
Let p(o) = -o**3 - 9*o**2 - 9*o - 6. Let r be p(-8). Suppose 0 = -2*s + s + r. Suppose -4*g + 0*g + 8 = 0. Is s <= g?
True
Let r = 2.61 - 13.61. Does r = -2?
False
Let b = -1.15 - -1.5. Let o = b - 1.35. Is -3 less than o?
True
Let d = -3/893 + 1987/59831. Let k = d - -137/2144. Which is greater: 1 or k?
1
Let v = -381.1 + 447. Which is smaller: 0 or v?
0
Let t = -6/5 + 284/245. Which is greater: -1 or t?
t
Let v = -38 + 41. Suppose 2 + 1 = -v*t - 2*f, 3 = -3*t - 3*f. Which is smaller: 1 or t?
t
Suppose 3*a = 4*a + 2. Let m = -671.6 + 672. Which is smaller: m or a?
a
Let t be 8 - (65569/5047 + -5). Which is smaller: 0 or t?
0
Let b be 15/21 - 4/(-14). Let q(k) = k**3 - 4*k**2 - k + 3. Let n be q(3). Let j be ((-2)/18)/(15/n). Is b less than j?
False
Let y be (-7 - -3) + 0 + -1. Let h be (-1 + 2)*(-8 - y). Let f(s) = s**2 + 8*s + 8. Let m be f(-6). Which is smaller: m or h?
m
Let o(r) = r**3 + 6*r**2 + 8*r + 4. Let k be o(-4). Suppose -8*c - k = -12. Which is bigger: c or 9/11?
c
Let f be (110/30)/(1/(-15)). Let a = 99 + f. Let v = a + -131/3. Which is smaller: 0 or v?
0
Suppose -504 = 127*b - 119*b. Is 4 at least as big as b?
True
Suppose 0 = -5*d + 38 + 42. Let f = 46 + -46. Suppose f = -6*j - 9 + 99. Which is smaller: j or d?
j
Let v = -16890/7 + 2409. Let r = 23/7 + v. Is r smaller than -2/3?
False
Suppose 0 = c + 2*c. Let x = -15683/20 + 784.