341 - 350. Let l = 39 + -27. Let c = l + -13. Is c smaller than q?
False
Let i(m) = 2*m**2 + 15*m - 86. Let d be i(5). Let h = 18 - -64. Let l = d - h. Is l bigger than -42?
False
Suppose -4*c + 37*a + 3584 = 41*a, -5*c + 4*a = -4525. Is 1801/2 at most as big as c?
True
Let j be (2/(-1) - (41 - 45)) + 1 + -3. Let m = 122621/75 + -1635. Which is bigger: j or m?
j
Let l = -116064 - -116036. Let t = -47 + 18. Which is smaller: t or l?
t
Let w(x) = 45*x + 23. Let u be w(-2). Let n = -57 - u. Is n > 10?
False
Let z = 0.0893 - -516.9107. Let x = 869 - z. Is x at least -1?
True
Suppose 0 = 2*m - 14*l + 12*l - 8, -l = 4*m + 9. Let n be (2/(-4)*15)/m. Which is smaller: -1 or n?
-1
Let d = -125.43 - -131.7. Let t = d + 6.73. Which is bigger: t or 6?
t
Suppose -3*v - 23 = -119. Let s(u) = u**3 + 13*u**2 + 13*u + 45. Let r be s(-12). Which is smaller: r or v?
v
Suppose 2*f + t - 150 - 264 = 0, 0 = -f - 5*t + 225. Suppose 7*x - 2*x = 5*n + f, 4*x = -3*n + 136. Suppose -3*d + x = 13. Is 10 less than d?
False
Let c be -20*((-656)/340 - -2). Let v(t) = 2*t**3 - 44*t**2 - 22*t + 484. Let u be v(22). Do u and c have the same value?
False
Suppose 12*y - 2*y + 230 = 0. Let x = 28 + y. Suppose x*f + 6*j = 2*j + 49, -5*j = -5. Which is smaller: 6 or f?
6
Let w = -1/80986 - -5102441/26158478. Which is greater: w or 1?
1
Let n = -1840.96 - -1841. Is -22.2 >= n?
False
Suppose v - 5*v - 160 = 2*t, 5*v = -t - 206. Suppose 603 = 2*m - 3*i, 0 = 21*i - 17*i + 4. Let o = m + -342. Are o and v unequal?
False
Let u = -5 - -15. Suppose -u*y - 35 = -5. Which is greater: y or 2?
2
Let p be -7*1 - (1 + (-6 - 4) - -3). Is -1/3879 less than p?
False
Let x = 106465 + -106503. Let k be -39 + -1 + 0 + 3. Which is smaller: x or k?
x
Let c be -3 - 1 - 4*108/(-5). Is c > 0?
True
Let g be (-4 + 1158/285)/((-30)/(-700)). Let o = g + -65/57. Let u be 32/126 + (-2)/7. Which is smaller: o or u?
u
Let d = -26.13 + -30.42. Let x = 0.55 + d. Let n = 55.6 + x. Is n bigger than -4?
True
Let b be 6 - ((-74)/(-185))/(4/4720). Is -474 greater than or equal to b?
False
Let x = 0.011 - 1.011. Let n be 2/5*-2 - (-7)/(245/5453). Which is bigger: x or n?
n
Let d(h) be the second derivative of 37/2*h**2 - 1/12*h**4 + 2/3*h**3 + 0 + 22*h. Let o be d(-10). Which is greater: -104 or o?
o
Let y be -2*4/8 - (-8)/(-2). Let r(j) = j**2 + 10*j + 3. Let m be r(-10). Let a be m - y/270*-182. Which is smaller: -1 or a?
-1
Suppose -6 = 3*h + 5*a, -10 - 5 = -2*h + 3*a. Let o be -3*(h + (6 - 2)). Is o >= -19?
False
Let r(z) = -19*z**2 - 29*z. Let k be r(0). Is -4/11341 bigger than k?
False
Let m be ((-404)/(-14))/(186/(-651)). Which is smaller: -108 or m?
-108
Let r = 6939 - 6940. Are r and 1/308 equal?
False
Suppose 5*i + 3*r + 57 = 0, -3*r + 27 = -2*i - 0*i. Let f(a) = -2*a**3 - a**2 - 9*a - 7. Let d be f(-1). Let j be (d + 9/18)*-3. Which is greater: j or i?
j
Let f be 38 - (18/30)/((-1)/(-5)). Let x = 37 - f. Suppose -5*u + 4*d = -15, x*d = 6*d - 20. Is 13/2 at most as big as u?
True
Suppose 114 + 32 = w. Suppose j + 0*j + w = 5*i, 0 = -2*j - i - 347. Is j at least -173?
True
Let m = 0.08732 + 0.01268. Which is smaller: -5151 or m?
-5151
Let b = 11521 + -11518. Let g = -0.09 - 3.91. Let r = g + b. Does 11 = r?
False
Suppose 8*n + 464 = 16*n. Suppose -i = w + 15, i + n*w = 60*w - 18. Is -50/3 != i?
True
Let x be ((-238)/(-8))/(83/(-28220)). Is x smaller than -10115?
False
Let x = 9248 - 8927. Which is smaller: x or 319?
319
Suppose 0 = -18*y + 11*y + 133. Let v = y + 2. Let a be 19/(2/5 - v/15). Which is greater: a or -18?
-18
Suppose -2*f + 63 = -5*g, -5*f + 4*g - 56 = -9*f. Suppose 29 = 10*m + f. Let h = 0.9 + 3.1. Which is smaller: h or m?
m
Suppose -45*b = -55*b - 4720. Let r = 445 + b. Is r less than 2?
True
Let c be 13 - -5*18/45. Suppose 3*s + 2*u = -64, s + 13*u + 32 = c*u. Which is smaller: s or -18?
s
Let a be 4/(-10) - (-12)/5. Suppose 6 = c + 2*j, a*c - j + 15 = 4*c. Suppose 1556*h - 1000 = 1456*h. Are h and c nonequal?
True
Let y(n) = n**3 - 10*n**2 + 9*n - 53. Let u be y(9). Is -1024/19 smaller than u?
True
Suppose y = 3*j + 3399 + 2740, -18494 = -3*y - 2*j. Which is smaller: y or 6158?
6158
Suppose -21*d - 5*b = -16*d + 10, 5*d = -2*b - 1. Which is greater: 3/697 or d?
d
Let s = 184.8 - 136.8. Which is bigger: s or 9?
s
Suppose 17*f - 37*f - 35795 - 86585 = 0. Which is greater: 1 or f?
1
Let x(j) = -7*j - 290. Let g be x(-41). Let k be (-2 - g/2)*(-4 - -4). Which is smaller: k or 1/40?
k
Let h = -14560 + 15108. Which is bigger: 0 or h?
h
Let c = -1/744 + -2209/17112. Let h(s) = 10*s - 128. Let p be h(14). Suppose p*m - 2*m = -19*m. Which is bigger: c or m?
m
Suppose -3*u + 0*u = 5*z - 150, -5*u + 140 = 5*z. Suppose 2*q + 31 - z = 0. Is q > -3/82?
True
Let x(a) = a**3 - 16*a**2 - 15*a - 97. Let i be x(23). Is i >= 3260?
True
Let n(a) = 24*a**3 - 5*a**2 + 353*a - 1377. Let c be n(4). Do c and 4477/3 have different values?
True
Let s be ((-16)/(-72))/(6/(-9)). Let i be 11 - ((-6)/(-4))/((-1)/(-2)). Let l be (-2)/(-24) - 3/((-36)/i). Which is greater: s or l?
l
Let h = -8.573 + -37.373. Let u = h - 0.054. Let q = -64 - u. Is 1 at least as big as q?
True
Suppose 0 = 61*t + 698 + 1986. Let n(y) = 5*y + 39. Let u be n(-16). Is t greater than or equal to u?
False
Let z = -24 - 44. Let p be 6*z/117 + (-6)/(-39). Is p greater than -3?
False
Suppose -380 = -5*i + w, 3*i - w = -4084 + 4316. Let f(s) = 12*s + 3. Let k be f(6). Which is bigger: k or i?
k
Suppose 0 = -763*p + 773*p - 60. Which is greater: p or -8?
p
Let s(m) = -m - 5. Let d be s(-7). Let h = -1 - -3. Suppose -v + h*v + d*k = 0, -5*v - k = 0. Which is smaller: -2/173 or v?
-2/173
Let d = -7956 - -7955. Let a = -27 + 66. Is d not equal to a?
True
Let v = -2295 - -139986/61. Is v < -0.1?
True
Let b = -28825/8 + 3614. Let o(x) = -32*x**2 - 899*x - 73. Let n be o(-28). Which is smaller: b or n?
b
Suppose 4*u - u = -2*w + 10, 5*u - 3*w = 4. Let n be 112/11 - 4/u. Is n less than or equal to 8?
False
Suppose 1886 = 61*x + 40865. Which is greater: -640 or x?
x
Let h = 6679 - 6539. Is h less than 130?
False
Let c(l) be the first derivative of 47*l**4/4 - 3*l**2/2 + 3*l + 100. Let i be c(1). Let a(d) = -7*d - 8. Let h be a(-8). Which is greater: h or i?
h
Let s(g) be the third derivative of g**6/120 - g**5/15 - 2*g**4/3 + 17*g**3/6 - 90*g**2. Let d be s(7). Which is smaller: d or 0?
0
Suppose -22*f = -6*f - 480. Suppose -27*b - f = -17*b. Let c be (22/8)/(10/(-16)). Is b at least c?
True
Let x = 55 - 62. Let f be ((-2)/5)/(20/1300). Let i = 19 + f. Is x not equal to i?
False
Let n = -185 + 264. Let g = 151/2 - n. Let y be (48/8 - 3)*-1. Which is smaller: g or y?
g
Suppose 2006 = 18*f - 32*f - 4*k, -5*k = 4*f + 577. Is -136 equal to f?
False
Let o = -191 + 176. Let n be (-5)/20 + o/20. Is n less than or equal to 1/83?
True
Suppose h = -4*p + 240 - 27, -207 = -4*p - 3*h. Let l = p - 41. Suppose -5*u - 3*k - 11 = l, 3*k + 3 = 2*u. Is u not equal to -7/3?
True
Suppose -22*c - 44*c + 28*c = -38. Which is smaller: -3/1679 or c?
-3/1679
Let l be 4/(-10) + (-41)/(-90). Suppose 122*h - 110*h - 50 = -38. Does h = l?
False
Let f be (6/39)/(57/3483441). Which is greater: 9401 or f?
f
Let k = -0.371 + 0.21. Let t = k + -24.839. Let q = 3.2 + -1.2. Which is greater: q or t?
q
Let b = -394.03 + 394. Let m = -3.16 - -2.89. Which is bigger: m or b?
b
Let i = 16603/7585 - -2/7585. Let y = i - 1063/925. Which is smaller: y or -0.1?
-0.1
Suppose 12*u + 2*i = -10053 + 2517, -1875 = 3*u - i. Which is bigger: -633 or u?
u
Let v = 788 - 788.333. Let o = -0.033 - v. Which is smaller: o or 78?
o
Let i be 96/128 - 6/8. Suppose 6*h + h = -i*h. Let t be 38/8 + (-2)/(-8). Is t greater than h?
True
Let g be (-61960)/(-80)*(27/(-171))/(6/(-4)). Is 83 greater than g?
True
Let n = 265.522 + -0.522. Let h = n + -264.5. Is h at most 1/2?
True
Let x = 7413 + -8821. Which is smaller: x or 0?
x
Let y = 72 + -72.025. Let c = y - 38.975. Let r = c - -39.1. Which is bigger: -18 or r?
r
Let c be 24/(-9)*18/8. Let d be 2 - (-10)/c*3. Let p(g) = g**2 - 8. Let l be p(d). Which is smaller: 1/9 or l?
1/9
Let d(i) = -16*i + 4. Let t = 41 + -39. Let c be d(t). Let x = 29 + c. Which is smaller: x or 2?
x
Suppose -2*a = -2*o - 3*o - 242, 0 = -3*a - 4*o + 340. Suppose -a = -7*j + 248. Suppose -49*r + 45*r = 