 Which is smaller: h or r?
r
Let w be ((-1054)/51)/(6/(-9)). Let l be 744/w*7/(-3). Is -56 smaller than l?
False
Let n(h) = 314*h**2 - 127*h - 254. Let c be n(-2). Which is greater: 1260 or c?
1260
Let o = 382 + -380. Suppose -5*h + 130 = -3*l - 69, o*h = -l + 73. Which is bigger: h or 6?
h
Let k(l) = 1054*l - 6324. Let i be k(6). Which is bigger: 1391 or i?
1391
Let s(k) be the second derivative of 2*k**3/3 + 5*k**2/2 + 2*k. Let x be s(-3). Let b be x/(-42) + (-383)/(-6). Are 63 and b equal?
False
Let p be 3/(0 + 0 + -1). Let t(j) = j**3 - 2*j**2 - j - 3. Let w be t(3). Let m be w/((-133)/14 - -8). Which is smaller: m or p?
p
Let t = 555.25 - -13.75. Let j = 564 - t. Which is smaller: j or 1/33?
j
Let c = -2285.938 + 2289. Which is smaller: c or 0.1?
0.1
Let u = -0.023 - 70.977. Let h = u - -64. Let t = h + 10. Is t smaller than 2/9?
False
Let i = -3778268833/9802 + 385459. Let l = 2/169 - i. Which is bigger: -0.2 or l?
l
Let h be (-2)/(-8) - 1 - 24/(-32). Suppose -4*w - 10 = 2*q, -4*q + q - 5*w - 12 = h. Let b be 7*1*(-7 + 9/q). Which is smaller: 7 or b?
7
Let a(t) = -t**3 - 1. Let d be a(-2). Let r be 95/14 + (-92)/46368*-108. Is r < d?
False
Let i(c) = c**2 - c. Let b be i(-1). Let x be -2*((-5)/2 + b). Let r = -650681/35 - -18591. Is r greater than x?
False
Let f = -3503 - -3502.0228. Let z = f - 0.0228. Which is smaller: -244 or z?
-244
Let h = -159.326 - -0.326. Let a = 281 + h. Is 0.2 at least as big as a?
False
Let g be (1598/(-3210))/(33/(396/40)). Let t = g + 7/50. Let a = 1 + 0. Is a less than or equal to t?
False
Let j(k) = -2*k**2 - 34*k - 21. Suppose -2*n - 9*a + 14*a - 47 = 0, 4*n + 5*a + 49 = 0. Let p be j(n). Is 19 smaller than p?
False
Let y be 40/(-1) - (29 + -31). Let c = -58 - -28. Let w = y - c. Which is greater: w or -7?
-7
Let y = -10016 + 109492/11. Let m = y + 10823/176. Which is greater: -2 or m?
m
Let g be 1 - (155/(-21) + (3 - 1)). Let w = 20/3 - g. Let d = -5.52 - -5.473. Is d bigger than w?
False
Suppose 4*j = -5*y - 31368, -9*j + 16*y - 18*y = 70541. Are -7838 and j unequal?
True
Let o = 77 + -77.01. Let b = -59 - -35. Is b <= o?
True
Suppose 5*x = -2*l + 3420, -2052 = -10*x + 7*x + 5*l. Let p be 19/x*(-6)/4. Which is greater: 4 or p?
4
Suppose 7*n = 12*n - 40. Let f be -1 - (-19)/n*(1 - 27). Which is smaller: -64 or f?
-64
Let k = 3565 + -3897. Which is smaller: 7 or k?
k
Suppose -2*d + 5 = 3*a - 42, 5*d - 70 = -5*a. Suppose 3*i - 65 = -2*f, -4*i + 2*i - 2*f = -46. Let c = i - a. Which is smaller: -1/15 or c?
-1/15
Let p be 9 + -6 + 195/(-64). Suppose -11 = 4*d - 5*z + 23, 0 = d + 6*z - 35. Which is bigger: p or d?
p
Let t = -410 + 410. Let w be (4/12)/((-3)/(-72)). Let z be ((-522)/120 + 4)*(-10)/w. Which is smaller: z or t?
t
Let f = 499 - 484. Let t = -17 - -33. Which is bigger: f or t?
t
Let h be 5/(-10)*12/(-2). Suppose h*b + 47 = -43. Let q = b - -30. Is q at least as big as -5?
True
Let x be ((-12)/(-15))/(11/1375). Is 2 less than x?
True
Let x(l) = 4*l - 20. Let q be x(4). Let d = -3/2 - q. Let f = 23 - 21. Which is bigger: f or d?
d
Suppose -o + 2*o + 2*c = -67, -262 = 4*o + 5*c. Let v = 78 + o. Suppose v = -8*d - 7*d. Which is smaller: d or -2?
-2
Suppose 4*w = 3*a - 5, -75*a = w - 77*a + 5. Which is smaller: 14484 or w?
w
Let j(h) = -12*h**2 - 1246*h + 423. Let r be j(-105). Which is smaller: r or 3?
r
Let j be 24/150*(-60)/120. Let i(k) = k. Let d be i(1). Which is smaller: d or j?
j
Let o = -0.02398 - 13.67602. Is 15 > o?
True
Suppose -539 = -3*z + 5*f + 917, z = 3*f + 484. Let k = z + -601. Is k at most as big as 0.1?
True
Suppose 1962 = -9*t + 216. Let j be t/6 + -5 + 1. Which is greater: j or -37?
j
Let h be -5 - 16/(-9) - (-2 - 1). Suppose 3*m + 4 = 5*m. Suppose -5*t - 13 = -3*c, -m*c - c + 4*t + 11 = 0. Which is smaller: h or c?
h
Let q be (3/9*-3)/(6/(-9942)). Which is bigger: q or 1659?
1659
Let n(d) = -66*d**2 + 19*d + 30. Let q be n(-11). Is q equal to -8165?
True
Suppose -4*n - 9 = -3*y + 285, y = -3*n + 85. Suppose 370 = 4*c - 2*k, -2*c - 2*k = -241 + 53. Is c less than y?
True
Let b(a) = -2*a**2 - a - 5. Let n be b(-3). Let t = -8 - n. Suppose 11 = -o + t*o. Is -2 < o?
True
Suppose -3*j = c + 43, c + 35 = j - 0*j. Suppose -4*u = 8*z - 10*z - 124, 0 = -u + z + 31. Let l = c + u. Is l at least as big as -5?
False
Let i be 40 - 45 - (-2 + 6/10610 - 3). Which is bigger: i or -1?
i
Let v be 968/(-726)*(-858)/(-4). Is -285 < v?
False
Let i = -1122498/15715 + -2/15715. Is -1 greater than or equal to i?
True
Suppose -484 = 44*o + 660. Is -97 bigger than o?
False
Let m = -390.9 + 433. Let b = 39 - m. Let g = b - -3.2. Which is bigger: -2/37 or g?
g
Let x = 134 + -107. Suppose -g + x = -2*i, -4*g + 11 = -1. Is i at least -3?
False
Let v = 2559/119 - 198/17. Let u(h) = h + 14. Let w be u(-5). Which is bigger: w or v?
v
Let s = 1.5 + -2. Suppose -21 = 4*g - 11*g. Suppose 2*f = -g*f - 5. Which is bigger: f or s?
s
Let i = -0.0208 + -42.1792. Let k = i + 0.8. Let s = k + 41. Which is smaller: s or 1/7?
s
Let g(c) = 4*c - 26. Let j be g(6). Let x be j/(-3) - (28/18 - 2). Do x and 1 have the same value?
False
Suppose 8 - 4 = x. Let b be (2 + (-10)/x)/(18/(-60)). Let w be (-15)/6 - 4/(-2). Is b smaller than w?
False
Let t = -616 + 459. Let w = t + 121. Is w greater than -37?
True
Suppose 6*j = -89 + 107. Which is greater: j or 46/29?
j
Let f be (-213)/142 - (493/(-2) + -1). Let q = -246 + f. Are 2/135 and q non-equal?
True
Let d = 2.288 + -2.288. Do -1.117 and d have different values?
True
Suppose f - 2*s + 121 = 0, -s - 536 = 4*f + 4*s. Let c be (-86)/6*(3 - (-30)/5). Is c greater than f?
False
Suppose -77 = -4*w + 103. Let x be (-420)/w*3/(-2). Let r be ((-12)/8*88/(-6))/x. Is 1 > r?
False
Let y(h) = -4*h + 8. Let s be y(2). Suppose 9*n - 544 + 4 = s. Is n <= 60?
True
Let d = 0.1 + -0.2. Let v(q) = 4*q - 30. Let n be v(8). Let s be (n/(-25))/((-4)/(-11 + -9)). Are d and s equal?
False
Let o = 79 + -36. Let d = -33707 - -33755. Which is bigger: o or d?
d
Suppose 5*y = 4 + 16. Suppose -y*t = -t - 3*r + 30, 3*t - r + 38 = 0. Let j be 6/5*35/t. Is j < -7?
False
Let g = 176 - 167.96. Is g bigger than -1?
True
Suppose 4*k - 8 = 2*k. Let m = -591.537 - -0.537. Let d = m - -590.93. Is k > d?
True
Let z be (148 - 6/6*-5)*446/(-6). Is z at least as big as -11375?
True
Let t = 191 + -207. Let o be 2 + (t/10 - 18/(-30)). Let f be ((-1)/2)/(17/(-2)). Is f not equal to o?
True
Suppose 7*f + 36 = 3*f. Let b = -1 - f. Suppose -9*m = -b*m + 5. Does m = -6?
False
Let k be 7 + 13/((-52)/8) + 5. Which is smaller: k or 68/7?
68/7
Suppose -s = 3*t + s + 85, s + 2 = 0. Let m = t + 25. Let k be (-32)/(-14) + m/1. Are k and 14 nonequal?
True
Suppose -4*v - n - 2*n = 5155, v = 2*n - 1286. Let h = v - -45077/35. Let g = 321/70 + h. Is 4 < g?
True
Suppose 4*y - 6 = 6. Suppose -j - j = 2*p - 10, 0 = -y*j + 15. Let f be (100/750)/(((-63)/49)/((-10)/7)). Which is smaller: f or p?
p
Suppose 952 = 53*q - 1567 - 608. Which is smaller: q or 60?
q
Let p(m) = m**3 - 2*m**2 - m - 1. Let x be p(3). Suppose 2*d = -10, -d + 2*d - 45 = -x*o. Let v = -229484 + 229498. Which is greater: v or o?
v
Let d = -3330 + 3329.8. Is 8.6 != d?
True
Suppose 38*b - 221*b = -1251 - 1860. Suppose -u + 0 = -14. Which is smaller: b or u?
u
Suppose 565*b - 532*b = 132. Is b equal to -58?
False
Let g = -129 - -130. Let l be (-2)/7 + 4380/(-350). Let b = l + 574/45. Which is bigger: g or b?
g
Let n(p) = p - 1. Let b(a) = -5*a - 39. Let v(f) = b(f) + 3*n(f). Let j be v(-25). Let x(y) = y**2 - 12*y + 4. Let w be x(j). Are -29 and w equal?
False
Let t be (-288)/(-528) - (-4324)/(-22). Which is bigger: t or -198?
t
Let o be 96/(-468)*135/150. Is o smaller than 0.1?
True
Let z be (-11 - (-332)/28)/(5/(-2205)). Which is bigger: -381 or z?
z
Let n be (-264 + 66)/((-8)/4). Which is greater: n or 121?
121
Suppose 10*n = 14*n - 12. Suppose w = n*s - 25, -2*s - 4*w = -9*w - 21. Let y be 0*((-44)/s - -5). Which is smaller: 5/22 or y?
y
Let c = -20563/16247775 + 1/9419. Is c greater than or equal to 1?
False
Let i be (-2)/(-4)*(175 - 189). Which is smaller: -49/8 or i?
i
Let d = -227 + 525. Which is smaller: d or 2?
2
Suppose -7200 + 22305 = 228*v - 10431. Are v and 125 nonequal?
True
Let p be (36/(-72))/((-7)/(-9604)). Is p <= -689?
False
Let o(g) = g**2 - 4*g - 1. Let 