h?
3
Suppose -q - 4*r = -0*r + 13, -1 = -q + 3*r. Let p = 371 + -375. Which is smaller: q or p?
q
Let o(v) = 3*v**3 - 136*v**2 + 175*v - 65. Let j be o(44). Which is bigger: j or -108?
-108
Let m = -1307 + 1308. Do m and 113/5 have different values?
True
Suppose -5*o + 10 + 10 = 0. Suppose 5*l + 309 = 4*s + 127, -3*l = 4*s - 198. Suppose -o*c - s = -c. Is c > -18?
True
Let j be (35815/(-300))/(-19) + -6. Let i = j - 1661/60. Is -27 >= i?
True
Let i = 3216 - 3403. Which is smaller: -192 or i?
-192
Let c = -274230435014/4095 - -66967138. Let p = c - 2/819. Let b(h) = -h**2 + 24*h - 23. Let n be b(1). Which is bigger: n or p?
n
Let v = 0.0022 + 337.9978. Let r = v + -361. Is -0.1 != r?
True
Let q = -1925 - -152077/79. Let j = 1 + -3. Let a be 3/2 - j/(-4). Is q > a?
False
Let r(c) be the second derivative of -5*c**3/2 - c**2/2 - 2*c. Let w be r(1). Suppose -x - 1394 = -1380. Is x at least w?
True
Let s be (1/(-2))/((-58)/(-8)) - 86742546/45298. Does s = -1914?
False
Let l(b) = -b**2 - 29*b - 5. Let v be l(-6). Let t = v + -110. Is 27 equal to t?
False
Let q = -258.06 + -5.94. Let m = q + 246. Are 4/7 and m unequal?
True
Suppose -n + 16*n - 404 + 404 = 0. Which is bigger: n or 2/19377?
2/19377
Let b be (7/4)/(3/12). Suppose 5*w - w + 3*i + b = 0, 4*w - 4*i + 28 = 0. Let p be 28/(-30)*(-1 + w). Do p and 6 have the same value?
False
Suppose -3*q = -4*a - 754, 5*a - 4*q + 313 + 629 = 0. Which is greater: a or -196?
a
Let p be (-123)/(-129) + (-1 - 0). Let c = -98 + 99. Suppose 4*u + c = 5*u. Are u and p equal?
False
Let k(u) = -u**2 + 9*u - 2. Let g be k(7). Suppose -d = i + 4*i + 18, -12 = 4*i. Let o be d + 2 + -3 - (-20)/5. Which is greater: o or g?
g
Let d = -1.14 + 1.54. Let x = 0.05 + 1.95. Let w = -6 + x. Which is smaller: w or d?
w
Let q = -54.117 - -0.117. Let u = 53.9 + q. Which is smaller: -32 or u?
-32
Let d(n) = -n - 10. Let r be d(-10). Suppose r = -7*g - g + 16. Let f be (3/(-1758))/(g + 18/(-8)). Is f at least 1?
False
Let y be (3598/56)/((-718)/144 + (-15)/(-3)). Is 4624 < y?
True
Let g be (48/(-27))/4 - -2. Let c = g - 8/9. Let j = -33 + 36. Is c smaller than j?
True
Let v = -28 - 8. Let d(j) = -j**2 - 16*j + 3. Let r be d(-13). Let w be (24*-1)/(-4) - r. Is v greater than or equal to w?
True
Let g be (-5)/4*(4 + 0). Let t(w) = -4*w**2 + 83*w + 23. Let y be t(21). Let q be y/g - 144/90. Which is smaller: -5 or q?
-5
Let j(k) = k**2 - 7*k + 8. Let h be j(3). Let t be -13*(-5 + (-4 - h)). Let o = t + -65. Which is bigger: o or 4/43?
4/43
Let t be 2/(-14)*(86 + -17). Let x(y) = -497*y + 2972. Let d be x(6). Which is greater: d or t?
t
Suppose 4*i - 9 = -2*l + 61, 4*i = -l + 75. Let u(k) = 174*k - 2068. Let m be u(12). Is i equal to m?
True
Let m = -5723 - -171673/30. Is -1 > m?
False
Let u = 308 + -465. Which is bigger: u or 2?
2
Let u(j) = -5*j**2 + 307 - 280 + 7*j**2 - 15*j. Let n be u(5). Is n less than -1/74?
False
Suppose 4*c = -9*c + 65. Suppose c*j + 2*a = -36, a + 3 = j + 13. Is j <= -15?
False
Let a be (0 + -24)*94/141*(-45 - 3). Which is smaller: a or 2308/3?
a
Suppose -27*m = 30*m + 3705. Which is bigger: 36 or m?
36
Let l = 0.00065 + 613.99935. Is l greater than 0?
True
Let n = -0.5973 - -0.547. Let c = 171.9497 - n. Is c != -2?
True
Let s(u) = 45*u**3 - u**2 + 1. Let y be s(-1). Suppose 16*v - 20*v = 36, 0 = -k - 3*v - 71. Is y not equal to k?
True
Let j = -16569 - -17054. Which is smaller: 486 or j?
j
Suppose 0 = -7*o - 40*o + 4418. Which is greater: 1 or o?
o
Let r = -29.88 - -30.09. Is r at least -7.7?
True
Let p(i) = i**2 + 6*i - 134. Let r(d) = -4*d**2 + 36*d - 15. Let y be r(9). Let b be p(y). Which is smaller: -1/869 or b?
-1/869
Suppose -4 + 228 = -7*g. Let q = -89.7 + 89.6. Which is smaller: q or g?
g
Suppose -3 = 2*j + n, 5*j + 12 = -3*n - n. Suppose -k + 3*u + 1 = -j*u, 4*u - 6 = 5*k. Which is bigger: -13/16 or k?
-13/16
Let x = 0.1184 + -2.1184. Let s = 1 - 0.6. Let d = s + -1. Which is greater: x or d?
d
Let c = -22 + 148. Suppose -4*v - 14 = c. Let n be (v + 0)/(-6 + 5). Which is bigger: n or 33?
n
Let i be 9/4 + 1104520/(-160). Is -6899 greater than i?
True
Let x = -17150 + 68901/4. Is 74 greater than x?
False
Let h = 2647 - 2620. Let q = 46 + -20. Let v = h - q. Is v >= 1?
True
Let j = 168.272 - 168.2. Let q = -74.927 + 75. Let f = q - j. Which is smaller: 2/7 or f?
f
Suppose 5*f = 7*f - 1078. Let n be 1/5 + f/55. Let x be (-8)/36 + n/36. Which is bigger: x or 1?
1
Let p(k) be the third derivative of k**5/30 + 7*k**4/24 + k**3/6 - 33*k**2. Let b be p(-5). Is 15 greater than or equal to b?
False
Let r = -161.069 + 161. Let t = 0.091 - r. Let z = 0.14 + -0.04. Is t equal to z?
False
Suppose 3*i + 9*x + 6 = 0, -4*i - 8 = -0*i + 5*x. Suppose 0 = -3*u - 2*u. Let b be u - 1/2*i/164. Is 0 > b?
False
Let d = -4303/6 + 713. Let f = 271 + -275. Is f > d?
True
Let n be (546/70 + -9)/2. Which is bigger: 5/11 or n?
5/11
Suppose 4*a - 8 = -2*r + 40, 120 = 5*r - 5*a. Let x = 136981/9 - 15197. Is x not equal to r?
True
Let d = 2753/2 + -8257/6. Let b be (-4)/16 - 23/36. Which is smaller: b or d?
b
Let c = 15873/8 - 1986. Let g = -6 - -1. Let i = g + 4. Which is bigger: i or c?
i
Let f = -1702 - -3232. Suppose f = 53*c - 38*c. Is c < 101?
False
Let r(t) = t + 8. Let i be r(-7). Let w = 134 + -132. Suppose -w*z - 15 = -13. Which is greater: z or i?
i
Suppose -8*i = -5*i - 6. Suppose -i*q = -233 + 163. Suppose -4*f - 8 = -156. Do q and f have the same value?
False
Suppose -16*p - f = 3, -4 = 4*f + 8. Which is bigger: p or -3/9973?
p
Suppose 262*n = 9*n - 11638. Is 8 at least n?
True
Suppose -m + 4*u = -11, -3*u + 84 = 4*m + 21. Let h be (-728)/20 - (-6)/m. Let z = 27 + h. Is -9 at most z?
True
Let y = 583 - 632. Let t be y/140 + (-2)/5. Which is greater: t or 11?
11
Let n be ((-7665)/(-6))/(275/1430). Which is smaller: 6641 or n?
6641
Suppose 72*x + 2269 = 3*q + 77*x, -2276 = -3*q + 2*x. Which is greater: 1/3 or q?
q
Let v(y) = y - 48. Let w be v(11). Let j = -60 - w. Let r = j - -16. Is -9 < r?
True
Let l = 0.062 - 6.482. Let u = -1.6 + 1.18. Let c = l - u. Is 0 >= c?
True
Let j(l) be the third derivative of -l**6/120 - 3*l**5/20 - 3*l**4/8 - 4*l**3/3 + 97*l**2. Let s be j(-8). Let r = 0 + 0. Is r > s?
False
Let w be (-3)/(((-9)/8)/(125/(-20) + 6)). Does -275/7 = w?
False
Let k(z) = -z**3 + z**2 - 21*z - 2. Let v be k(-4). Which is smaller: 160 or v?
160
Let n be 1*(-2 - 2/(-2)). Suppose -59 - 25 = 14*r. Let m be (244/41358)/((-4)/r). Is m bigger than n?
True
Let t = 1.07 + -0.07. Let j = -2 - t. Let m = 0.022 - -0.278. Which is smaller: j or m?
j
Suppose -2 = 10*t - 11*t. Suppose -35 = t*b - 71. Suppose 0 = 5*y + 2*q - 99, 2 = q - 0. Is y at least b?
True
Let k = -155/4 - -39. Suppose -4*p + 5*j = -13, 3*j = -2 - 1. Let u be ((-7)/(-168)*4)/(1/p). Which is bigger: k or u?
u
Suppose g = 5*i - 28, i - 6*g = -g - 4. Let f(a) = a**2 - 17*a - 89. Let r be f(-4). Let y be 7 + (-133)/(-49) + r. Is i greater than or equal to y?
True
Let i(q) = 11*q**2 + 428*q - 39. Let a be i(-39). Is a >= 259/16?
False
Suppose 3*b - 2*b - 2 = 0. Suppose 4*j - 8 = 0, 5*s + b*j + 3*j - 45 = 0. Let h = 377 - 368. Which is greater: s or h?
h
Suppose 10*t + 36 = 1476. Suppose 1522*w - t = 1516*w. Is 13 at most w?
True
Let q be 32 + 1 - (1 - 0). Let o(a) = -26513*a - 159049. Let v be o(-6). Which is smaller: v or q?
v
Let z(v) = v**3 - 10*v**2 + 10*v - 23. Let y be z(8). Let m = y - 106. Which is greater: m or -1?
-1
Let w = 591 + -597. Let g(n) = -3*n**2 - 2*n + 33. Let j be g(w). Which is bigger: -60 or j?
-60
Let k(p) = -p**3 + p**2 + 16*p. Let n be k(0). Is n bigger than -2/1401?
True
Suppose -7123 = -23*y - 223. Let u be (45/y)/(4/(-10)). Which is bigger: u or 0?
0
Let x be (-4 - -5)*(1 - (2 + -2)). Let i be (x/2)/((-7)/574). Let p = -37 - i. Which is bigger: p or 2?
p
Suppose 2815 = 57*t - 16*t - 38390. Which is smaller: 1007 or t?
t
Let y(r) be the second derivative of -2*r**3/3 - 53*r**2 + 8*r - 2. Let v be y(-35). Let l be (-16)/6*102/(-8). Is l <= v?
True
Let z = 23 - 4. Let q(b) = -18*b**3 - 14*b**2 + 3*b + 17. Let l be q(-1). Which is greater: z or l?
z
Let a(d) = 44*d + 76. Let x(j) = -44*j - 75. Let s(v) = 4*a(v) + 5*x(v). Let f be s(-7). Is f greater than or equal to 0.1?
True
Let d(o) = o - 16. Let v be d(11). Let a be 2*(-6 - 159/(-