) - 2) + c. Is 2 at least as big as s?
False
Suppose -2*i + 760 = -2*s, -10*s - 1924 = -5*i - 8*s. Which is smaller: i or -0.23?
-0.23
Suppose 113*h - 117*h + 24 = 0. Let m(u) = 5*u**3 - u**2 - u - 1. Let r be m(-1). Let y be r/(-33) - 64/(-11). Are y and h equal?
True
Let u(g) = 2*g**2 + 16*g - 31. Let k be u(-11). Let v be -1 - -3 - (-34 + k). Which is smaller: 2/59 or v?
2/59
Let q be 13/18 + 2/(-9). Let x be 7/3*(-60 - -63). Suppose -x = 5*y + 8. Which is greater: y or q?
q
Let m = -3185 + 4550. Is 2 < m?
True
Let j = -4.6 - 1.4. Let g be (-66)/154 + (-2)/(-7)*19. Suppose c = 3*x - 18, 0 = -g*c + 14*x - 12*x - 38. Is j <= c?
True
Let b = -33808 + 33839. Is b <= 56?
True
Let y be (-4)/14 + (-7)/((-147)/258). Let n(p) = p + 13. Let x be n(0). Let v = 26 - x. Is v equal to y?
False
Let t = -0.01 - -0.071. Let c = 0.12 - t. Let v = 0.541 + c. Is v equal to -5?
False
Suppose -1262 = -40*z - 1222. Let k = 257 - 97. Which is bigger: z or k?
k
Let g = -144.7 + 145.529. Let s = g - -0.171. Is s > -20?
True
Let z be (-1 - 2810/25)*-3. Let h = -321 + z. Is h bigger than 20?
False
Let w(m) = -3*m**3 + 78*m**2 + 29*m - 756. Let r be w(26). Is -8.688 bigger than r?
False
Let v(w) = -w**2 - 2*w + 9. Let t be v(6). Let p(n) = -3*n**3 - 21*n**2 + 29*n + 250. Let d be p(-6). Which is greater: d or t?
d
Let s(x) = 7*x**2 - 21*x + 11. Let y(u) = -8*u**2 + 22*u - 12. Let m(o) = 6*s(o) + 5*y(o). Let w be m(8). Suppose -2 = w*h - 2. Which is greater: 1/46 or h?
1/46
Let z = 2818 + -36636/13. Is -0.042 smaller than z?
False
Let c be 45/(-10)*(12 + 7068/(-18)). Which is bigger: c or 5141/3?
5141/3
Suppose -6*o - 150 = -3*o. Let v be (-14)/4*o/14. Let q be (2/3)/(-1) + 40 + -39. Is q equal to v?
False
Let y(x) = -15*x - 35. Let l be y(-13). Let i be -3*1 - ((-1210)/l + 5). Does 1 = i?
False
Let o be (-80)/36 + (-20)/(-90). Let d be o/3*(-28)/1652. Which is greater: 1 or d?
1
Suppose 275351 + 369311 = -194*l. Is l < -3323?
False
Let h = 23.1 - 18. Let v = h + 7.9. Let j = 12.9 - v. Is j greater than -29?
True
Let b = -42.9124 - 1.0876. Let t = 0.37 + -46.37. Let h = t - b. Which is smaller: 0.12 or h?
h
Let a(g) be the first derivative of g**3 + 73*g**2/2 + 44*g + 15. Let v be a(-24). Suppose 0*j - 3*j + p + 53 = 0, -2*p - 34 = -2*j. Is j at most as big as v?
True
Let u(h) = h**2 - 9*h + 23. Let o be u(6). Suppose -o*l - 4 = -6*l - 4*f, -3*l = 2*f + 8. Which is smaller: 4 or l?
l
Suppose 0 = -j + 390 + 218. Suppose 33*r + 489 = 29*r + 5*y, 3*y = 5*r + j. Which is bigger: -119 or r?
-119
Let o = -0.57 + 74.37. Let x = o + -1.8. Which is smaller: x or 1/5?
1/5
Let n(h) = 15*h**2 + h - 2. Let i be n(3). Let m = -2632 + 2762. Suppose 138*r + m = i*r. Is -66 at least as big as r?
False
Let g = 154 - -106. Let v = g + -259.774. Let q = v - 0.126. Which is bigger: 30 or q?
30
Let o = 467 + -460. Let s be o*-2*((-24)/(-30))/(-4). Is -1 at most as big as s?
True
Let w(h) = -20*h + 998. Let x be w(51). Which is smaller: x or -25?
-25
Let m(t) = -7*t + 55. Let g be m(7). Let j = g - 6. Suppose j = z - 5*d - 66, 3*d - 57 = -3*z + 105. Is 56 < z?
False
Suppose -3*i + 3 = 9, -2*i = -y + 56. Is y >= 59?
False
Let p be -17*((-152)/(-608) + (-5523)/(-4)). Which is greater: -23478 or p?
p
Let i = -104.89 - -329.89. Which is smaller: 6/11 or i?
6/11
Let q = 1/1728302 + -5618709827/43207550. Let j = -130 - q. Are j and 1 nonequal?
True
Let h = 25156 + -25155.926. Which is smaller: -81 or h?
-81
Suppose -3*g + 3*h + 347 = -h, -226 = -2*g + 4*h. Let r = 774065/2 - 386911. Which is bigger: r or g?
r
Let w = -31.5 - -32.13. Let z = w - 0.53. Which is smaller: 482 or z?
z
Let x = 88077/31312 + -3/7828. Let a be (-8658)/(-1440) - (-1 + 7). Let h = x - a. Is h smaller than 2?
False
Let w be 205 + -8 - (-3 - (1 + -6)). Let n be (-24)/18*(3 - w/10). Let a be (-207)/6*4/(-6). Is n smaller than a?
True
Let t = -14 - -16. Suppose -3*w = -3*j + 30, t*w - 4*j + 11 = -9. Let l be 1/(((-6)/(-22))/(2 + -5)). Is l less than w?
True
Let l = -168031/1053085 + 77/467. Is 1 at most as big as l?
False
Suppose -v = -41 - 161. Let k = -219 + v. Which is bigger: k or -21?
k
Suppose -2*n - 2 = -3*n. Suppose 0 = 3*p - x, 0 = -7*x + n*x. Let a = 31 - 60. Which is bigger: p or a?
p
Let p(g) = g + 26. Suppose 36 = -4*s - 9*o + 4*o, -4*o = -s - 30. Let a be p(s). Suppose 0 = 3*c + h - 12, c + 2*c = 5*h - 6. Which is smaller: a or c?
c
Let s = -4105 - -4106. Does s = -2/6311?
False
Suppose 0 = -271*p + 153*p + 258420. Are p and 2191 nonequal?
True
Suppose 58*v + 6399 = 276*v + 19*v. Suppose -145 = -3*r - 2*r. Which is smaller: r or v?
v
Let z = -8293 - -5158. Is z smaller than -3136?
False
Let d(h) = -3*h**3 - 16*h**2 - 4*h + 4. Let t be d(-5). Let a be (2 - 2) + t/(-2)*-2. Is -2/7 bigger than a?
True
Suppose -6*x + 129 = 117. Suppose x*t = -51 + 141. Does 486/11 = t?
False
Let u = -162940/120887 - -310/221. Which is bigger: -1 or u?
u
Let k = 101 + -4951/49. Let c be -12*22/14*-21. Let u = 395 - c. Are k and u non-equal?
True
Suppose 172508 = 4*v + 4*h - 278604, -h = -2*v + 225550. Let y be 4 + v/113 - -3. Let k = y - 1005. Which is bigger: k or 1?
1
Suppose 0*y - 145 = -5*y. Suppose n - 24 + y = 0. Let g be (-99)/15 - 4/10. Which is bigger: g or n?
n
Let d(x) = -x**3 - 14*x**2 + 18*x + 46. Let l be d(-15). Suppose -4*u + 2*u + 8 = 0. Suppose -2*n + 12 = u*a - 0*a, -3*a - n + 8 = 0. Is l smaller than a?
True
Let r = -5560 - -5565. Which is greater: r or 43/11?
r
Let r be 25/(-275)*2 + ((-23952)/22)/(-4). Which is greater: r or 252?
r
Let x = -68367/4 + 16977. Is x smaller than -116?
False
Let u be (210/(-6))/(-7) + 7/((-35)/30). Let t = -384 + 4214/11. Which is smaller: t or u?
u
Let k be -4*5/(-20) + ((-80024)/(-88))/7. Is 1 at least as big as k?
False
Let f = 12.6 + 69.4. Let w = f + -81.5. Which is smaller: w or -3/4?
-3/4
Let i = 581 - 580.743. Let b = 2.743 + i. Is -15 at most b?
True
Let w be -24*((-4)/8)/1. Suppose 3*u = 2*u - w. Let r be (1/((-15)/(-24)))/((-18)/135). Is r at least u?
True
Let w be 5004/(-30)*((-300)/(-456))/5. Which is smaller: -22 or w?
-22
Let y be (83045/(-6))/(2/(12/(-9))). Let q = y - 9237. Which is greater: q or -10?
q
Let z(s) = 11*s - 11. Let i be z(2). Let n = 10 + 3. Let t = 14 - n. Which is bigger: i or t?
i
Let p = -4 - -3. Suppose 768 = -26*k + 28*k. Suppose -k = 4*y - 356. Which is bigger: p or y?
p
Let q be (912/9728)/(58/(-8)). Is -1 less than or equal to q?
True
Let o = -13 + 13.07. Let x = 0.0078 - 0.0278. Which is smaller: x or o?
x
Let b = -9/100 - 4/25. Let i = 119 - 119.732. Let w = i + 0.802. Which is smaller: b or w?
b
Let u = 130.81 - 169.71. Is u less than 8?
True
Suppose 10*b + 246 = 9*b + 2*k, 5*k = 3*b + 735. Let q = -989 - b. Is -749 greater than or equal to q?
True
Let l = -0.01 - -0.07. Let z = -1.722 + 26.662. Let w = l + z. Which is smaller: 0.1 or w?
0.1
Let u be -343*(-30)/(-624)*2/(-95). Let k = 3/76 - u. Is k at least as big as 1?
False
Let w(s) = -s**2 - 24*s - 65. Let b be w(-10). Is 76 >= b?
True
Suppose 2*f + 2*c = -f, 0 = -4*f - 4*c - 4. Let o = -324 - -323. Let k = f + o. Which is smaller: 1/11 or k?
1/11
Let d be (-4)/30 - 2364/(-270)*4. Is d greater than 34?
True
Let b = 148.359 + -0.359. Let v = 104 - b. Let x = 45 + v. Is x at least as big as 10?
False
Let q = 3.812 + -3.812. Is -96/13 bigger than q?
False
Suppose -17*t = 4*n - 19*t + 6, -2*t = -3*n - 5. Which is bigger: 1/6523 or n?
1/6523
Let v be -3 + 4 + (-28372)/28208. Let r be (-2)/4*4/2. Is v at least as big as r?
True
Let p(a) = -1294*a + 39. Let l be p(12). Let m = 696928/45 + l. Let s = 2/45 + m. Which is smaller: s or -3?
-3
Let k = 373 + -375. Let w be 266/(-4) - (k - 4/(-8)). Which is greater: w or -66?
w
Let a be 1 - (-3 - -1)/2. Suppose -5*w = -a*l + 143, -3*w = 4*l - 65 - 156. Suppose -5*k + 5*g + 280 = 0, 3*k = -0*g - g + 176. Does l = k?
False
Let n(s) = s**2 - 45*s + 86. Let w be n(36). Let a = 3809/16 + w. Is a less than or equal to -0.1?
False
Suppose 3*r - n - 420 = 0, -22*r = -25*r + 5*n + 396. Is 130 bigger than r?
False
Let n = -5/5936 - 31505/35616. Is n > 0?
False
Let v(x) = -193*x + 2837. Let z be v(15). Which is greater: z or -51?
-51
Suppose -28 = 4*v + 2*m, -9*v - 19 = -6*v + m. Let j(s) = 3*s**2 - s + 1. Let b be j(1). Let i be (v + 0)*(-6)/b. Which is small