- 176305. Is -10573 >= b?
False
Let l(h) = h**2 - 190*h - 3163. Let j be l(-15). Let u(n) = 91*n**3 - n. Let x be u(-1). Which is smaller: j or x?
x
Let m be (7 - 22)*2/(-24) - 26/24. Is 234.5 bigger than m?
True
Let d(c) = -734*c - 3622. Let u be d(-5). Which is greater: u or 42?
u
Let j be (18 - 15)*((-16)/(-12))/(-4). Let x = 1866 - 240712/129. Is j not equal to x?
True
Let y be 84/504 - ((-1481)/(-462) + -3). Which is greater: 0.7 or y?
0.7
Suppose 11*g = -1236 - 2097. Let m = -275 - g. Is m at least 28?
True
Let y = -4423 + 4416. Which is smaller: y or -45?
-45
Let n be (55/66 - (-4)/(-12)) + (-5)/(-2). Which is smaller: -1 or n?
-1
Suppose 5*d - 46 - 119 = 0. Let a(k) = 9*k**2 - 134*k + 264. Let b be a(2). Which is greater: d or b?
d
Let b = -24251109575/14260077 + 4/528151. Let y = 1701 + b. Which is bigger: y or 0?
y
Let p(y) = 5*y + y**2 + 3*y**3 + 0*y**2 - 2*y**3 + 2. Let x be p(-3). Suppose -2*q = -i + 64, 16*i - 12*i + 96 = -3*q. Which is smaller: x or q?
q
Suppose 54 = 12*s - 3*s. Let d be (-8)/s*(-117)/(-104). Is 2 greater than d?
True
Suppose -75*n + 202 = 2*n - 183. Is 1 bigger than n?
False
Let n be 2/3 + ((-92)/(-6) - 1). Let v = -27 - n. Which is smaller: v or -44?
-44
Let m = -2 - 3. Let b = m - 2. Let c = b - -7. Is c smaller than -10/3?
False
Let n(h) = 133 - 3*h**2 + 0*h**2 - h + 2*h**2. Let j be n(-12). Let u be (-1)/2 - 123/(-258). Is j greater than or equal to u?
True
Let v be (15 - 11) + 131/(-9) + 3. Suppose 13*b + 99 = -5. Which is greater: v or b?
v
Let k(m) = 10*m - 76. Let d be k(8). Suppose 5*q + j - 262 = -0*q, 2*q - d*j - 96 = 0. Is 52 >= q?
True
Suppose -u - 5 = 3*l, -3*u = -0*u - 4*l - 24. Suppose -28 = -4*i - 2*c, u*i - c - 2*c = 28. Suppose -107*j + 58*j + 490 = 0. Is i smaller than j?
True
Let j = -3846 - -3845. Which is smaller: 114 or j?
j
Let r = 0 - 0.1. Let g = -47.7 - -22. Let t = -28.9 - g. Is r > t?
True
Let h be (-111)/888 + (-7 + 5 - (-8169)/3848). Do 0 and h have different values?
True
Let h = -1.7639 - 4.6361. Let t = 0.1 + 0.9. Does h = t?
False
Let i be 2*(-9)/(-30) - (-81165948)/3105. Let d = -26141 + i. Which is bigger: d or -1?
d
Suppose 0 = -13*m - 388 + 2598. Let x = 171 - m. Is x at least -10/7?
True
Let z = -84/431 + 146569/754250. Is 1 > z?
True
Let w(c) = 252*c**2 + 12*c - 31. Let u be w(3). Which is bigger: 2272 or u?
u
Let i = -8 + 10. Suppose -6 = 3*w - 5*v, -6 = -0*v - i*v. Suppose 3*r + 9 = w*o, 4*r - 9 - 3 = 0. Is o greater than or equal to 6?
True
Let s = -3308 - -3309. Which is greater: -5/42 or s?
s
Suppose 0 = -4*v - 4*y + 52, 2*v + 3*v + 4*y - 70 = 0. Suppose -v*w - 113 = -23. Which is smaller: -13 or w?
-13
Suppose -2 = 5*z + 3. Suppose -4*k + 16 = 0, -4*j + 136 = 4*k - 6*k. Let w be (-69)/j - (-63)/36. Is z not equal to w?
True
Suppose -5*a - 35 + 50 = 0. Suppose -59 = -5*i - o, -3*i = -a*o - 2*o - 41. Suppose i*c + 238 - 658 = 0. Which is greater: c or 33?
c
Suppose -2*z + 4*z - 3*d + 1872 = 0, 5700 = -6*z - 5*d. Are -948 and z nonequal?
True
Let s = 210141449/10 + -21306134. Let p = -290700 - s. Let o = -1287 + p. Which is smaller: o or 3?
o
Let b be (-50*(-12)/6)/(-4 - -1). Is 1/6 greater than b?
True
Let n = -15 - -24. Let r be 3/n + (-1425)/(-63)*5. Let p = r - 112. Is p at most 0?
False
Let w = 0 + -0.2. Let v = 3365 + -5760. Let b be (-3 - v/795)*3. Is b < w?
False
Let m be 28/7 + -2 + (-3414)/10. Let z = m - -339. Is 196 greater than z?
True
Suppose -16 = -5*y + 9. Let h be (1 - 4) + -63*(-5)/180*4. Which is bigger: h or y?
y
Let w be 18/(-4)*(-164)/(-3). Suppose 0 = -3*l - 6*d - 828, -64*l + 61*l - 758 = d. Which is greater: w or l?
w
Let l = -103752/5 + 20087. Which is smaller: -664 or l?
-664
Let q = 1072 - 2522. Which is greater: -1454 or q?
q
Suppose -3*j = j - l - 19, 3*j + l = 9. Let f be ((-2)/j)/(6/(-24)). Let h(b) = -5*b + 5. Let o be h(1). Is f at least o?
True
Let i be (-1 - 2)*3/(-207)*(1155 - -1). Is 51 greater than i?
True
Let h = -274 + 320. Suppose h = -5*m - 579. Is -124 at least as big as m?
True
Let b be ((-46)/18 + 3)*(-63)/(-84). Which is bigger: b or 19/17?
19/17
Suppose 3*z - 897 = -4*q - 3445, 0 = 4*z + 3*q + 3388. Is z <= -2536/3?
False
Suppose -3*i + 8 = i. Suppose 4*f = 2*p - 120, 5*p + 60 = -i*f - 0*p. Let u be 6/(f/35) + -4. Which is greater: u or 1?
1
Let v = 4057 - 4059.465. Is v greater than or equal to 0.7?
False
Let t be 9/(-45) + 245/(-4948) - (-9)/36. Which is bigger: 1 or t?
1
Suppose -14*z = 38 - 10. Suppose 0*t + 5 = -t. Let d be 16/11*t/10. Which is smaller: d or z?
z
Suppose -3*n + 5*a = -0*n - 93, -2*a = -4*n + 124. Let w = -31 + n. Let l = -172.1 + 172. Which is greater: w or l?
w
Suppose 57*h = 50*h + 140. Suppose 17*b - 24 = h*b. Let s be 3 + 83/b + 0 + 3. Which is smaller: -3 or s?
s
Let m = -3735.236 - -3735. Is -0.11 bigger than m?
True
Suppose -2*n + 10 = 0, 3*n + 224 = f + 8*n. Let c be ((-9 - -1) + 9)/(19/3781). Is f at least as big as c?
True
Suppose -2*z + 5 = -3*i, 3*i - 8*i = 5*z + 25. Let o be (-234)/(-156)*20/(-6). Which is bigger: i or o?
i
Let o be (68 - 69)*1207/1. Is o >= -1207?
True
Suppose -12*k + 1519 + 173 = 0. Suppose -5*c + k = 211. Are -6 and c unequal?
True
Suppose 6*b = 8*b + 44. Let t be (21/9)/(6/(-9))*b. Let i = -76 + t. Are 1 and i nonequal?
False
Let y = -596 - -1976. Suppose 11*a = 7*a + y. Suppose 13*w - a = -2*w. Are w and 22 unequal?
True
Suppose 12*l = 18*l + 18. Let o be l/6*-4 + (18 - 4). Let z be (10/8*-6)/(12/o). Is z greater than -2/7?
False
Let s(r) be the third derivative of -r**4/24 + 19*r**3/3 + 12*r**2. Let w(z) = 4*z - 114. Let l(y) = -11*s(y) - 4*w(y). Let x be l(11). Are -16 and x equal?
False
Let b = 591597106237/2849 - 207650789. Let s = 8/259 - b. Which is smaller: -4 or s?
-4
Suppose -s + 17 = m - 5*s, -12 = -m + 3*s. Let d = 67 + -63. Let v(t) = t**3 - 5*t**2 + 4*t + 4. Let h be v(d). Is m at least h?
False
Let a = -23679 + 118463/5. Let m be 48/(-28) + 4/2. Which is smaller: m or a?
m
Let t(x) = -4*x - 160. Let g be t(-34). Let s(y) = y - 2. Let o be s(6). Let f be o*4/g + 232/204. Which is smaller: -1 or f?
-1
Let n(l) = 303*l - 8828. Let m be n(28). Let v(f) = -172*f. Let o be v(2). Is o at least m?
True
Let f = -6.15 - -6. Let m = -23507 + 23507.24. Is f not equal to m?
True
Let s be (-96)/10 + 12/3. Suppose -d = -5*t - 31, 3*d + 0*d + 27 = -5*t. Which is bigger: s or t?
s
Suppose u + 7 = 4*a, -5*a + 0*u - u + 2 = 0. Let o = 8.8 - 8. Let z = o - -0.2. Is z not equal to a?
False
Let r = -944 - 73. Let y = 13206/13 + r. Does y = 0?
False
Let w(k) = 59*k - 978. Let n be w(17). Let i(d) = -d**2 - 10*d + 4. Let f(j) = -j**2 - 5*j - 1. Let z be f(-6). Let h be i(z). Is n less than h?
False
Let x = -75016/5 - -14891. Let w = -6 - -5. Are w and x nonequal?
True
Suppose 2*j = -x - 5, j - 6 = x - 4. Is -4/1389 at least j?
True
Let f = 230.2 - 227.406. Let q = f + 0.206. Which is smaller: q or -8?
-8
Let r = -98/297 + 5239/2376. Let m(l) = -4*l + l + 3 - 6. Let f be m(-2). Is f > r?
True
Suppose -20*w + 5156 = -3844. Let y = 394 - w. Is -55 equal to y?
False
Suppose 3*s - 1 = -7. Let p be ((-244)/(-2))/(-1 - -2 - -1). Suppose p*w = 65*w + 8. Do s and w have the same value?
True
Suppose 0 = 3*h - 2*h + 75. Let t(p) = -p**2 - 423*p + 7857. Let o be t(18). Let n = o - h. Is n at least -13/2?
True
Let l be (-102)/4 + 4/8. Let b = l + 5. Suppose 15*s - 20*s + 3*c = 96, 4*s + 4*c + 96 = 0. Is s smaller than b?
True
Let b be (1*-6*(-5)/(-60))/(2/3044). Is 2/3 < b?
False
Let w = -29730 + 29655. Which is bigger: -743/10 or w?
-743/10
Suppose -4*b + 14 = m - 47, 5*m = 5. Suppose 4*t - 79 = -b. Suppose 2*d = -o + t, -92 + 12 = -5*o - 2*d. Which is smaller: 18 or o?
o
Let m(f) = -37*f - 291. Suppose 5*k - 30 = -75. Let x be m(k). Which is smaller: 41 or x?
41
Let w be 18/(-261) - (2 + 880/(-145)). Let z = -2.52 - -0.02. Which is greater: w or z?
w
Let i(m) be the second derivative of 7*m**3/6 + 2*m**2 + 15*m. Let z be i(2). Suppose -z*k = k. Is k < 4/7?
True
Let o = -8/82117 + 804664515/328468. Let w = -982 + -1451. Let p = o + w. Is 17 greater than or equal to p?
True
Let j = 20 - 84. Let q = j - -41. Let x = -20 - q. Is -4 equal to x?
False
Suppose 0 = -5*f + f + 12. Suppose f*h = 144 - 36. Let y = -35 + h. Is -1/12 at most y?
True
Let p(i) = 7*i + 2 + 2*i**2 + 13 - i**2 - 2*