se
Suppose 0 = -6*h + 111 + 141. Let t = 30 - h. Let f be (-155)/38 + 8/t*-6. Is 0 greater than f?
True
Suppose 4*g - 5*g = -3*b - 14, 5*g = 4*b + 26. Let n be (-18)/(-8) - (-4)/(-64)*4. Suppose -6*k = -n*k - 4. Is b less than k?
True
Suppose -864 = 34*g - 16*g. Let c(l) = -14*l + 2. Let f be c(3). Let y = f - g. Which is smaller: y or 5?
5
Let t be (10801/3276)/((-2934)/1468 + 2). Let d = 2420 - t. Is d < 0?
True
Let a = -0.9 + -11.1. Let y = 2132.91 + -2133. Which is smaller: a or y?
a
Let o = -229 + 236. Suppose o*n = 29*n + 22. Which is smaller: n or 1/91?
n
Suppose -11*o - 15250 - 28570 = c, 3*o = 5*c - 11972. Which is smaller: o or -3985?
-3985
Let c = 47 + -102. Let i = c + 44. Is 0.09 greater than i?
True
Let b be (-6)/((-10)/16 + (-3)/(-12)). Let h = 4 + b. Suppose 0 = 6*r - 40 - h. Which is bigger: -1 or r?
r
Suppose -1656 = -69*m + 61*m. Suppose -6*j - m = 3. Which is greater: -0.1 or j?
-0.1
Let j = -411.07 + 407. Let l = j + 4.41. Is -0.1 less than l?
True
Let m = -363 - -361. Let k be m/(50/(-345)) + (-24)/30. Which is greater: k or 14?
14
Let k(v) = -v**2 - 25*v + 26. Let m be k(1). Which is bigger: m or -2/563?
m
Let z(t) be the second derivative of -t**5/20 - t**4/3 + 5*t**3/2 + t**2 - 43*t. Let m be z(-6). Which is greater: m or -20?
m
Let u = -4536 + 2252. Let p = -2233.79 - u. Let h = p + -50. Is h >= -1/3?
True
Let n(f) = -6*f + 66. Suppose -5*l = -5*v - 75, -4*l + 2*l = -5*v - 42. Let a be n(l). Is a <= 3/208?
True
Suppose -5 = 2*x + y - 4*y, -3*y + 25 = 2*x. Suppose 0 = 2*l + 5*s - 131, 0*l + 345 = 5*l - x*s. Are l and 275/4 nonequal?
True
Let g = 684 + -682. Suppose 0 = -g*v - 2, 62*v - 59*v + 479 = -2*c. Is c equal to -238?
True
Let y = 1675 + -1855. Is y greater than or equal to -146?
False
Let w = -2/879 + -3013/6446. Which is smaller: w or -1?
-1
Let b be ((-2)/8)/(45/36) - 246/(-380). Which is greater: 1 or b?
1
Let t = 13994 + -13993. Which is smaller: -374.8 or t?
-374.8
Let f(l) = -6*l + 50. Let s be f(19). Let w = s - -447/7. Let n = w - 33/14. Is n at most as big as -4?
False
Suppose n = 3*a - 506, 2*a = -n - 250 - 276. Is -518 greater than or equal to n?
True
Let o = 46 + -48. Let f be 1 - (-10)/(-8) - o/8. Is -69 != f?
True
Suppose -46 = 4*v - 3*v. Let l = -42 - v. Let b be (129/(-15) - -1) + l. Which is greater: b or -4?
b
Let a be ((-388105)/(-605))/(4 + 27/(-6)). Let s = 1283 + a. Which is bigger: 0 or s?
s
Let c = 20.43 - 24.8. Let d = -3138 + 3138. Is c smaller than d?
True
Suppose -3*b + b = 0. Suppose 0 = -b*c - c. Let x = 126/37 + -5003/1480. Is x less than c?
False
Let c be (-30)/50*(-9 + 154). Are -0.14 and c non-equal?
True
Let l be 18 - 24 - (-448)/74. Suppose 4*f + 8 + 4 = 0, -11 = t + 4*f. Is t bigger than l?
True
Suppose -20*b + 26*b = 6822. Suppose 7*n + 158 = -b. Is -186 < n?
True
Suppose 0 = -2*t - 147 + 31. Suppose 0 = -524*o + 144*o - 20900. Which is smaller: t or o?
t
Let h = 446 + -454. Let c be (-12)/(-4) + h/4. Are -0.3 and c non-equal?
True
Let i = -1/1946 - 11635/79786. Let u = -374 - -374. Is i not equal to u?
True
Suppose 0 = 2*f + 98 + 364. Let k be (f/14 + 0)*4/(-3). Suppose -3*t - 4 = -4*j + 4, 3*t + 2*j = k. Is t bigger than 0.4?
True
Let z = -0.318 + 0.537. Let u = z - 0.319. Is u > -7?
True
Suppose -28*d = -12597 - 191 - 3508. Is 583 at most as big as d?
False
Suppose 3*h = -11 + 17. Suppose -7*f + 21 = -b - 3*f, -h*b - 51 = f. Let k be 6/3*-1 - 0. Which is greater: k or b?
k
Let m = -6523 - -6517. Is m != -480?
True
Let p be 9 - (-4)/((-112)/97181) - 3/12. Is p bigger than -6923/2?
False
Let y be (-19 - (-2552)/87) + -10. Let s = -8.032 + 8. Is s > y?
False
Let q = -2.5 - -0.5. Let c = 3 - 3. Let i = c - -0.17. Is q at least as big as i?
False
Let a(k) = -5*k - 17. Let u be (-9)/((-18)/(-4)) - 2. Let n be a(u). Suppose 3*c = -3*v + 42 - n, -c - 2*v + 13 = 0. Is c <= 13?
True
Let i = -12.655 + -2.345. Let s = 0.01 + -7.01. Let q = -6.9 - s. Which is smaller: i or q?
i
Let n = 256638.9842 - 256677. Let j = n + -0.0842. Let g = 38 + j. Which is greater: -7 or g?
g
Let v(i) = i**3 + 7*i**2 + 8*i + 9. Let h be v(-6). Let k = 375 - 370. Let p be (k + h)*(-27)/2. Which is smaller: -3 or p?
p
Let a = -6570 - -6558. Which is smaller: a or -124/11?
a
Let h(o) = 94*o - 940. Let s be h(10). Do s and 8/313 have the same value?
False
Let m = 488 + -488. Is m > -1/109?
True
Suppose -3*f = 4*l + 13, 0 = 2*f + 5*l + 12 - 1. Let s be (f + 222/18)*(-16398)/68. Let y = -2250 - s. Which is smaller: 1 or y?
y
Let q be (32/(-48))/(2/6). Let w be (3 + 0/(-11))/((-12)/(-27)). Which is bigger: q or w?
w
Let y = -4887 - -4887. Let p be 1/(-3) - (-6)/14. Let h = p - -29/63. Which is bigger: y or h?
h
Suppose 0 = -0*r + 4*r + 8, v - 5*r - 9 = 0. Let d be v - (-8 - 230/(-30)). Which is smaller: d or -139?
-139
Let c(d) = -5*d - 3. Let g be c(-6). Let p = -35663 + 35693. Which is greater: g or p?
p
Let n = 562 - 567. Let q be (5/30)/(n - (-44)/(-18)). Which is bigger: 1 or q?
1
Let v = -37862/265853 - 4/1141. Which is greater: v or 0?
0
Let l(p) = 16*p - 19. Let q be l(2). Let v = 13 - q. Which is greater: v or 1/57?
1/57
Let f be (36/10)/(12/210). Let v = -57 + f. Let a be (((-1)/v)/((-1)/(-3)))/(-7). Is 1 greater than or equal to a?
True
Let t(w) = 96*w**2 - 564*w + 565. Let q be t(1). Which is bigger: q or 99?
99
Let r be (-1)/53*877/205. Let m = r + 2/265. Let t(n) = 2*n + 25. Let j be t(-13). Which is smaller: m or j?
j
Suppose -87 = -4*k + 5*g, -k + 46 - 31 = g. Let h be (16 - k) + 1716/856. Are 0 and h equal?
False
Let w = 429 - 14155/33. Suppose 308 = -3*v + 4*b, 5*v + 552 = 8*b - 11*b. Let t = 107 + v. Which is bigger: w or t?
w
Let q(y) = -8 - 2*y + 0 + 10*y. Let h(u) = -71*u - 66. Let v be h(-1). Let n be q(v). Which is smaller: n or 30?
30
Let c = 2016 - 2347. Is -332 bigger than c?
False
Let s = -1888 - -2036. Which is bigger: s or -0.2?
s
Suppose -23 = 2*c - 33. Suppose 0 = -5*o + n + 7 + c, -5*o + 4*n = -3. Suppose -a - 5*r - 11 = 0, 4*a - o*r + r = 0. Which is smaller: a or 1/43?
a
Let r(n) = -351*n**2 - n - 2. Let q be r(-1). Let u = -339 - q. Suppose 5*l = 55 + 10. Is l greater than u?
False
Suppose -65*p = -3*p + 6*p. Which is bigger: -1/4718 or p?
p
Suppose 2*s - j = -7, 0*j - j = -5*s - 10. Let t = 59494915/93 + -1920601/3. Let w = t + 470. Which is bigger: s or w?
w
Let u = -143 + 75. Let n = u + 68.01. Which is greater: -2/13 or n?
n
Let q(l) = -l**2 + 35*l + 149. Suppose 333 = 14*i - 255. Let s be q(i). Which is greater: s or -144?
-144
Let n(a) = -a**2 + 12*a - 23. Suppose 44*c + 45 = 49*c. Let t be n(c). Let w be (t/70)/(7/(-2450)*-7). Which is greater: w or 1?
w
Suppose -395 - 327 = 5*x - 3*o, 2*x - 4*o = -300. Are x and -149 unequal?
True
Let c(k) = 4*k**2 + k - 2. Let s be c(2). Let b = -16224 - -16240. Do s and b have different values?
False
Let s = -244 - -249. Suppose 0 = v - 3*y - 21, -5*v - 19 = -4*v + s*y. Which is bigger: -5 or v?
v
Let x = 556.727 + -557. Let o = x + -47.727. Is -1/3 at least o?
True
Suppose 0 = -5*n + 5*c + 58390, 58408 = 5*n - 55*c + 59*c. Which is smaller: 11679 or n?
11679
Let r = 6561 - 6399. Let j(o) = 2*o**3 - 6*o**2 - 9*o + 2. Let n be j(6). Which is bigger: n or r?
n
Let y = -6 + 7.3. Let x(i) = 2*i**3 + 9*i**2 + 2*i + 4. Let s be x(-6). Let a be (4 + 0)*(-5 + s/(-24)). Is y smaller than a?
False
Let l(o) = -o**3 - 2*o**2 + o. Let z be l(-2). Suppose 0 = -14*f + 37599 - 10369. Let n = 1932 - f. Is z equal to n?
False
Let f = 432/1055 - 2/211. Let u be 81*(-4)/14*(-40 + 12). Let a be (-81)/u - 158/16. Is a less than f?
True
Let y = 4019 - 7466. Which is smaller: y or -3446?
y
Suppose 0*v + 17 = h + 3*v, 12 = 3*v. Let f(q) = q**2 + 21*q - 193. Suppose -104 + 41 = -9*d. Let k be f(d). Is h less than k?
False
Suppose -4*z + 231 = -u, 0 = -5*u + 2*z - 1178 + 113. Let g = -210 - u. Which is smaller: g or -1/92?
-1/92
Let l be (9 - (8 - -11))/((-10)/4). Suppose l*k + 23 = y + 2*y, 3*y + 12 = -3*k. Which is smaller: k or 0.12?
k
Let v = -2628.069 + 2627. Let g = v - -0.069. Let z = 18 + -27. Which is smaller: z or g?
z
Suppose 0 = 3*i + 2*g - 45, -13*i + 8*i + g = -75. Which is smaller: i or 78?
i
Let p(m) = -2*m**2 - 25*m + 42. Suppose 3*u = -y - 11, 36 + 21 = -4*y + u. Let f be p(y). Which is smaller: f or 79?
f
Let n(v) = -134*v + 2977. Let w