ch is smaller: x or y?
x
Let c = -173 + 154. Let o(b) = 1 + 0 + 2*b - 39. Let y be o(c). Is -77 smaller than y?
True
Let i = -874.17 + 1.17. Let x = -877 - i. Is -2/17 >= x?
True
Let h(f) = -7*f - 146. Let q be h(-21). Which is smaller: 5/457 or q?
5/457
Let y = -33066 - -51417632/1555. Which is smaller: -1 or y?
-1
Suppose 0 = -w - 3*h - 2, -3 = -5*w - 4*h + 9. Suppose -z = 4*r + 4*z + 612, -774 = 5*r + w*z. Is -158 equal to r?
True
Let p = -13/24 - -1/6. Let h = -659 + 659. Do p and h have the same value?
False
Let w = -17 - -18. Let y be (0 + -1 - 3)*-1 - 16. Let v be (-4)/(-1)*9/y. Which is smaller: v or w?
v
Suppose -32*o + 24*o + 212 = -4*y, -3*y + 2*o - 143 = 0. Is y bigger than -228/5?
True
Let k = 4554 + -4553.66. Let d = -3.5 + 3.56. Do k and d have different values?
True
Let h be (-322)/(-326) - 2/2. Let l = -39260 - -39261. Is l at least as big as h?
True
Let d(f) = 11 - 22 - 74 - 19*f. Let a be d(-5). Is a bigger than 15?
False
Let m = -31.53 - -58.53. Let c = 24.71 - -2.39. Let s = m - c. Which is smaller: s or -0.2?
-0.2
Let b(i) = 21*i**2 - 15*i + 40. Let o be b(5). Let v = -496 + o. Which is smaller: v or -7?
-7
Let s = 5.678 + -6.1. Let z = 0.462 + s. Which is smaller: -2.2 or z?
-2.2
Let z be ((-26)/845)/((-26)/(-9913570)). Let x = -11732 - z. Is -1 less than x?
True
Let d = -261/4 + 65. Let p = 60 - 60.31. Let a = 0.15 + p. Is a bigger than d?
True
Let i = 709 - 348. Does i = -0.1?
False
Let s be (-1 - -2)*11/1. Let h = 102 - 115. Let j = h + s. Which is greater: j or -1?
-1
Let n = 2332.9 + 3117.1. Do 2/7 and n have the same value?
False
Let y(u) = 46*u**3 + 7*u**2 - 3*u - 4. Let q be y(2). Is q <= 387?
True
Let p be (4 - 544/112)/((-1)/2835). Is p at least 2430?
True
Let n(t) = 26*t**3 + 77*t**2 - 4*t - 2. Let z be n(-3). Is z bigger than -157/67?
True
Suppose 9*n + 162 = 6*n. Let r = 25 + n. Let i = -37 - r. Is -9 < i?
True
Let z = -46.02 + 48.02. Is z <= 580/7?
True
Let y = 0 - -7. Let g be y + (-3 - (-5 - -2)). Let h = 11710 + -105340/9. Is g at most h?
False
Let z(l) = 5*l - 35. Let r be z(25). Is r < 86?
False
Let i = -368 - -936. Let h be 71/i - 2/((-16)/7). Does h = 1/12?
False
Let c = 653 - 88. Suppose -4*r + 4*m + 2248 = 0, 4*r + 1206 = -2*m + 3472. Is r >= c?
True
Suppose 3*k + 44*j = 40*j + 95, 4*j = 2*k - 50. Suppose k*u - 16 + 45 = 0. Which is smaller: -2/1239 or u?
u
Let b = 1.93 + -2.76. Let c = -1.49 - b. Let i = 4.34 - c. Is i smaller than 2?
False
Let b = -3.73 + 0.23. Let f be ((-15)/30)/(4/(-32)). Is b less than or equal to f?
True
Let g = 22213 - 22213. Is 21/1195 < g?
False
Let d = 34 + -63. Let h be 54/90 + 18/(-5). Let f be 243/(-9) + h + 2. Which is smaller: f or d?
d
Let j = -9458 - -9426. Is -23/4 > j?
True
Let o = 291 + -2623/9. Let m = o + 10/63. Let s = -539/6 - -90. Which is greater: s or m?
s
Let o be (-8098)/(-24276) - ((-225)/(-27) - 8). Let n = -7589/2035138 - o. Is -1 at most as big as n?
True
Suppose 3*p - 24 = -4*o, 4*p + 5*o = -0*o + 33. Let f be 4/(32/56)*-1. Let a be (-3)/6*(-23 + f). Is p >= a?
False
Let u(v) = 12*v**3 - v. Let h be u(1). Suppose 7*n + 7*n - 196 = 0. Let f be (2/n)/(h/((-462)/(-24))). Which is smaller: f or -1?
-1
Let a = 900 - 1282. Let f = -299 - a. Do 82 and f have the same value?
False
Suppose 96*q = 36*q. Are 2/2637 and q nonequal?
True
Suppose -2*t + 59 = -67. Suppose -8*k = t - 7. Does k = 2?
False
Let u = -5452302/1873 + 2911. Which is smaller: 1 or u?
u
Suppose 6 = -v - 3*n, n - 28 = 2*v + 5. Let k be (-3)/9*v/(-620). Which is bigger: 1 or k?
1
Let o(d) = d**3 - 21*d**2 + 12*d + 160. Let c be o(20). Is c at least -2/2539?
True
Let n(l) = 3*l**2 + 3*l - 25. Let c = 196 - 203. Let h be n(c). Are 100 and h non-equal?
True
Let u be (2/(-3) + 0)/(123450/15435 - 8). Is 340 >= u?
False
Suppose 0 = -5*z + 20, 4*c + 8147 - 159 = -z. Which is greater: -1997 or c?
-1997
Let c be 2/8 + 1 + 933/(-452). Let a = c - -21557/26894. Which is bigger: a or -1?
a
Let r = -33292292/1479 + 22510. Which is smaller: 0 or r?
r
Let b be (18/(-8))/(49/(-28)). Let w(m) = -m**2 - 12*m - m**2 - 2*m**2 + 10 + 6*m**2. Let n be w(5). Are n and b unequal?
True
Let h be 85/(-8)*(30 - 1856/80). Let d be -69 - (-3)/6*-4. Are d and h nonequal?
True
Let t be (6649/(-436))/((-2)/(-4))*(-2)/4. Which is smaller: 2/11 or t?
2/11
Let u = -709 + 1034. Let o = u + -326. Which is smaller: o or 1/15?
o
Let u = -9 - 125. Let j = 137 + u. Suppose -j*b - 17 = -23. Is b less than or equal to 5/2?
True
Let o be (-39*(-6)/54)/(3/(-9)). Let d = 2501/3 - 847. Is d greater than o?
False
Let v = 1303.363 - 20.363. Which is smaller: v or -8?
-8
Let m(n) be the second derivative of -n**4/6 - 8*n**3 - 51*n**2/2 - n - 1. Let h be m(-23). Is h at least as big as -44/9?
False
Let f(r) = -18*r**2 - 55*r + 100. Let o be f(-9). Which is smaller: o or -870?
-870
Let c = -113 + 74. Let n = -53 + 49. Let m be 4*38/n*1. Do c and m have different values?
True
Let n be (36/(-28) + 1)/(81/189). Which is smaller: n or 71?
n
Suppose 4*i = v - 8, 0 = 3*v + i + 2. Suppose -2*a + 3*g = 9, -4*g - 4 = -5*a - 23. Let l be (-2)/5*(a - (-28)/6). Which is bigger: l or v?
v
Let b be 1218/8 + 6615/(-1260). Is 150 less than b?
False
Let g(x) = x**2 - 2*x + 6. Suppose -5*v - 2*d + 0 = -23, 2*v - 4*d = -10. Suppose 3*l = -12, v*i = -3*l - 35 + 14. Let z be g(i). Is z < 22?
True
Let r be (-6)/84*-4 - 15698/(-1015). Let g = -274/29 - r. Which is smaller: -24 or g?
g
Suppose 8*f + 86 - 14 = 0. Let y be (-15)/f - (-682)/66. Are y and 9 non-equal?
True
Let y = -488 - -488.828. Let o = y - -0.272. Let k be -2 - -1 - 24/(-15). Which is bigger: o or k?
o
Suppose 4*d - 3*n = 2*n + 14, -d = -3*n. Suppose -5*t = -3*z - 2*z + 10, d = -3*t. Suppose 7*i - 48 + 20 = z. Is i less than or equal to 42/11?
False
Let y(w) = -w**2 - w + 10. Let j be y(0). Let h = 607.53 + -605. Let k = h + -2.33. Which is greater: j or k?
j
Suppose 4*j + 3*y - 175 = 0, -y - 3*y = 4*j - 180. Let q = -26 + j. Let k be 4/q - 266/(-98). Is 14/5 greater than k?
False
Let a(x) = x - 3. Let u be a(5). Suppose -4*n + 21 - 2 = -k, 0 = 3*n - 5*k - 27. Suppose -4*s + 3 = u*l + l, -s + 4*l = n. Is s smaller than -1?
False
Suppose 0 = -12*j + 5*j - 21. Let t be 6 + -3 - (j - 4). Suppose 2*x - 7*x = -t. Which is bigger: -2 or x?
x
Let d be (9 + -2)*(0 + -1) - (314 - 1599). Which is smaller: d or 5109/4?
5109/4
Let t be (0 + 5)*(78/(-15))/(-1). Let s(i) = 11 - 15*i + 15 - 5 + 14*i. Let r be s(-5). Is r at least t?
True
Let g be -207*(4 - 6/(-3 - -5)). Let u = 200 + g. Is -6 at most u?
False
Let l = -0.12 - -0.058. Let x = l + 0.027. Which is smaller: -1 or x?
-1
Suppose 18*w = 11*w + 3339. Let t be (-627)/w + 32/24. Are 0 and t equal?
False
Let d = -7478 - -7505.4. Which is smaller: d or -15?
-15
Let y be -3 - 0 - ((-5 - -1) + -2). Let f be -3*(35/(-28))/((-25)/40). Are f and y non-equal?
True
Suppose 25*s - 20*s = -135. Let o = 0 - s. Suppose o = 5*i + 72. Are i and -5 equal?
False
Let l be (3525/(-540) - (-1)/12)*-9. Let r(c) = 2*c**3 - 23*c**2 + 15*c + 17. Let s be r(11). Which is smaller: l or s?
l
Suppose -6 = -3*x, -7*v + 10 = -2*v - 5*x. Suppose -50 = -u - v*u. Suppose -r + u = -0*r. Is 12 > r?
True
Let z = 698/735 + -33/35. Is -3 > z?
False
Let u(v) = v**2 + 139*v + 2748. Let h be u(-24). Suppose 35 = -6*z + z. Which is greater: h or z?
z
Let w(q) = 4*q**2 + q + 2. Let y be w(-2). Let l(s) = -36*s - 4. Let b be l(y). Let a be 3 + ((-3)/((-564)/b) - 0). Is a at most -1?
False
Let a be ((-20)/100)/((-4)/((-40)/(-218))). Let q be -7 - -6 - -1*1. Which is bigger: q or a?
a
Let i be ((-186)/(-18) - 9) + 86408/(-61941). Let j = i + 2/1877. Let u be 4/(-6) + (-5)/(-3). Is u at least j?
True
Let k be 21166/76*-7*1 - 0/2. Which is smaller: k or -1949?
k
Let l be 84/(-9)*2/20. Suppose -10*i - y - 17 = 0, i - 184 = y - 189. Is l at most as big as i?
False
Suppose b = -3*d + 1, 16*d - 7 = -b + 11*d. Let u = -7 + 0. Let x be 6/u*7/1. Is b < x?
True
Let n be ((-26)/(-8))/((-12287)/1364 - -9). Are n and -397 unequal?
True
Let m = 45910.49 - -747.51. Let w = m + -46747.962. Let z = w - -90. Which is bigger: z or 0?
z
Suppose -o - 3*f - 147 = 0, 3*o + 67*f + 417 = 62*f. Which is smaller: -131 or o?
-131
Let x = -2790.25 - -2790. Let b = -463261/20 - -23158. Let z = b + 24/5. Is x at least as big as z