l = -87 + 199. Suppose -5*i - o = -248, l = -4*i + 5*o + 293. Which is greater: 51 or i?
51
Let c = -0.02477 - 3.28523. Which is greater: -3/5 or c?
-3/5
Let n(v) = 4*v**2 - v + 2. Suppose 15 = -g + 3*g - 3*h, 2*h = 5*g - 21. Let u be n(g). Let t = u - 52. Are t and -19 equal?
False
Suppose 16*i - 27 = -75. Let p be (-411)/2*8/36*i. Which is bigger: p or 135?
p
Let c = 5877675/51986 - 2469/22. Let i = -18/139 + c. Suppose -1 = -2*p + 3. Which is bigger: p or i?
p
Let m(f) be the first derivative of 3*f**2 - 54*f - 10. Let d be m(17). Let u be (-6 + 4)*3/d. Is u > 0.2?
False
Suppose 0 = -2*r + 3*b + 32, 4*b - 80 = -8*r + 3*r. Suppose 0 = -g - r + 12. Suppose 5*n - 5*c + 15 = 45, -5*n - 5*c = -10. Which is greater: n or g?
n
Let a(p) = -p**3 - p**2 - 3*p + 141. Let u be a(0). Let g = -128 + u. Let x = 1.26 + -0.26. Which is smaller: g or x?
x
Suppose -439 = -174*w - 91. Let q(r) = -9*r**2 - 17*r - 9. Let i(v) = 5*v**2 + 9*v + 5. Let n(s) = 11*i(s) + 6*q(s). Let c be n(w). Which is smaller: c or 1/13?
c
Let k be 4/(-2) + (-64)/(-4). Let y = -222 + 162. Let v be ((-2)/3*-1)/(y/36). Which is greater: v or k?
k
Suppose 2*m = -9*m + 4*m. Suppose -5*q - q - 6 = m. Is 3/25 bigger than q?
True
Suppose -105*n = -87*n + 55062. Is n less than or equal to 1/3?
True
Let a = -2266 - -1232. Which is smaller: a or -0.1?
a
Let l be (-6)/15*((-184)/2 + 2). Let d be (-2236)/9540 - 8/l. Let s = d - -3/53. Is s > -1?
True
Let n = 49 - 17. Let l = 50 - n. Suppose -l = -q - 39. Which is bigger: q or -20?
-20
Let r be 14089/(-8) - (-38)/19. Let z = -6993/4 - r. Which is greater: z or 11?
11
Let p = 552970 - 552902. Let x = -1 - -1. Which is smaller: x or p?
x
Let f = 3484 - 17419/5. Which is smaller: f or 1406?
f
Let u be (9 + 276/(-30))/(88/150). Which is greater: u or -4?
u
Let g = -3256 + 3235. Suppose -1 = 2*t + 5. Let o be 2/35*(t + 8). Is o equal to g?
False
Let h be (-4)/(-72)*2*52/(-76). Does 0 = h?
False
Suppose -4*j = -110 + 370. Which is bigger: -69 or j?
j
Let u = 169 - 178. Let c(n) = 11*n**2 + 98*n - 10. Let i be c(u). Is i greater than or equal to -1/599?
False
Let h = 6.063 + -9.063. Which is bigger: h or 3823?
3823
Let w = 2.7456 + -2.3456. Which is smaller: w or 2/125?
2/125
Suppose 12 = -3*f - 3*r + 6*r, -5*r = 2*f - 20. Is 28/9 less than f?
False
Let t = -12031/286273 + -15/793. Is t bigger than 1?
False
Let i(a) = 2*a**3 + 32*a**2 + 28*a - 25. Let j be i(-15). Suppose m + x = -3*x + 183, -j*m + 1040 = -5*x. Is m < 202?
False
Let s be -7 - -1 - 0*(-1)/5. Let g be 3 + s/4*32/24. Let c be (2/(-48))/(g/(-9)). Is -1 <= c?
True
Let d(i) = i**2 + i. Let c be d(-1). Suppose 17*t - 30 = 4. Suppose 3*g = t*u + 7, -2*g + 0*u + u = -4. Which is greater: g or c?
g
Suppose 0 = 133*n - 312*n - 100956. Is n at least as big as -5084/9?
True
Let s(d) = -d**2 + 21*d + 91. Let q be s(18). Let j = 431 + -285. Is j equal to q?
False
Suppose -5*q = -41 - 19. Let k be -24 - (q/4 + 0) - 1. Let j be ((-1)/(-2))/((-6)/(144/k)). Is j > -1/2?
True
Let j = -2030 + 2027. Is j != -114/67?
True
Let s = -23797 - -18409. Is s less than or equal to -5386?
True
Let j = 628 + -615. Let l be 2/(j/((-962)/(-4))). Are l and 36 non-equal?
True
Let n = -1573 + 846273/538. Which is bigger: 2 or n?
2
Let u = -210.77 - -210.77. Let h(b) be the third derivative of -b**4/24 - b**3/2 - 2*b**2. Let d be h(-7). Is u greater than or equal to d?
False
Let x be -2 + (-14)/(-5 + 4). Let m = 14 - x. Suppose 4*k + i + m*i = -265, -2*k = 4*i + 120. Does -2/5 = k?
False
Suppose 37*q + 624 = 29*q. Let h = -106 - q. Is h > -28?
False
Let p be (-25)/((-2750)/(-396))*(-1654)/4. Which is bigger: 1488 or p?
p
Let x = -36728 - -36729. Is -3808 at least as big as x?
False
Suppose -q = 33*i - 30*i - 2, 3*i + 4*q = 17. Which is smaller: 1/3253 or i?
i
Let k be (5 + (-77)/21)/(3/(-15048)). Is -6688 greater than or equal to k?
True
Suppose 15 = 7*q - 4*q. Suppose 5*x + 8 = -4*v + 3*x, 0 = q*v + 3*x + 10. Which is bigger: -4/7 or v?
-4/7
Let u = -2/33443 - -35713/37957805. Which is bigger: 0 or u?
u
Let a be ((-146520)/(-400))/((-288)/30). Is -37 bigger than a?
True
Let l = 514 + -515. Let w = -8/29 + -379/203. Are l and w non-equal?
True
Let d = 454 - 398. Which is smaller: 0.2 or d?
0.2
Let c(s) = -s**3 + 18*s**2 - 42*s - 42. Let a be c(15). Let d = -809/6 - -139. Is d at most a?
False
Let k be (24/18)/((-12)/(-729)). Suppose k = 4*t - 15. Which is smaller: t or -10?
-10
Let m = 10387.1 - 10387. Is m greater than or equal to 64/11?
False
Let p = 164 + 1180. Let d = 1412.9 - p. Let k = d + -69. Which is bigger: 0.2 or k?
0.2
Let u(f) = 8*f**2 + 4*f - 13. Let s be u(2). Suppose 4*x - 4 = 4*w, s*w + 1 = x + 32*w. Let b be (1/(-3))/(1/(-3)). Is x greater than or equal to b?
True
Let i(l) be the third derivative of l**4/24 - 17*l**3/6 - 17*l**2 + 2. Let p be i(18). Which is smaller: 8/27 or p?
8/27
Let o(a) = -3*a + 9. Let k be o(0). Let y = -2 - k. Let q be 2/y - (-108)/(-11). Does q = -10?
True
Let p = 94 - -51. Let w = 144.8 - p. Let z = -4 + 3.94. Is w smaller than z?
True
Suppose -5 = 6*u + 1. Suppose 4*i = 3*n - 5, 2*i + 9 = 3*n + 8. Is u >= i?
True
Let p(g) = -9*g + 15. Let a be p(5). Let c = -30 - a. Let s be 1*(-3 - 2506/(-833)). Is c not equal to s?
True
Let l = -23.385 - -5.23. Let h = l - -0.155. Is 2 greater than h?
True
Suppose -31*y = -15*y - 137*y - 25773. Is -1487/7 at most y?
False
Suppose -106*t + 22*t + 1932 = 0. Which is smaller: t or 25?
t
Let s be ((-44)/(-8))/(1/(-52)*-2). Let r = s - 201. Let n = -9 - r. Do 49 and n have the same value?
True
Let o = -4185 - -698897/167. Do o and -0.04 have the same value?
False
Let j = -266711 - -28003513/105. Let i = j - -10/21. Is -10 > i?
True
Let b = -462 + 464. Let j be 1 - (-1 - (-102)/66). Is b at least j?
True
Let x = -41973.8 + 41973. Is -637 > x?
False
Let x(l) = -l + 14. Let c be x(10). Let j be c/(-32)*4*(0 - 0). Which is greater: -2/317 or j?
j
Let a = 5.7 - -1.3. Let d = -0.3235 + 0.3215. Is a bigger than d?
True
Let w = -3 + 2. Let b(z) = -z**3 + 13*z**2 - 14*z + 24. Let s be b(12). Let r be (s + -1)/((-1794)/156). Is w >= r?
False
Let l = 3345 - 3311. Suppose a + 11 = -2*a + 5*g, -4*g + 31 = 5*a. Suppose -4*j - l = -2*t, a*t = -0*t - 2*j + 19. Is t at most 19/2?
True
Suppose -21 - 113 = -2*n. Suppose 5*d = 68 + n. Let a = -15 + d. Is 11 less than a?
True
Let y = -574/9 - -64. Suppose -f + 9 = 6. Suppose 2*u + u = -h + 7, -f*u - 13 = -4*h. Is y at least as big as u?
False
Let c be 1 - ((-26118)/21)/(-6). Let r = c + 208. Let p be ((-18)/3)/(-1 + -1). Which is greater: r or p?
p
Let x(s) = -7*s - 4. Let v(w) = -w + 6. Let j be v(7). Let a be x(j). Suppose a = -83*o + 80*o. Which is smaller: o or 3/49?
o
Let y = -1222 + 1816. Let m be 11/(y/60)*3/5. Which is smaller: m or 153?
m
Suppose -43*k + 38*k + b = 1, 0 = -5*k + 3*b - 13. Which is greater: k or -2/231?
k
Let o be 1*((-3164)/(-3612) + (-3)/9). Which is smaller: 1 or o?
o
Suppose 0*f + 5*f + 5*i - 115 = 0, 0 = -3*f - 2*i + 65. Let d = 245707/6 - 40951. Which is smaller: f or d?
d
Let y = -2515.75 + 2518. Which is smaller: y or 1?
1
Let v = -438 - -433. Let o(j) = -j + 3. Let b be o(v). Which is smaller: b or -7?
-7
Let r(q) = q**2 - 9*q + 30. Let m be r(15). Let h be (1 - m/122)/((-15)/(-45)). Let c(y) = y**2 + 15*y + 13. Let w be c(-14). Which is greater: w or h?
h
Let c = 0.013 + 0.357. Let o = -29.33 + 31. Let x = c - o. Is -4 less than or equal to x?
True
Suppose 5*z - 85*p - 10 = -90*p, -5*z = -5*p + 20. Which is greater: 9/383 or z?
9/383
Let i(u) = u**3 + 5*u**2 - 6*u + 6. Let s be i(-6). Let f be s/27 - 22/18. Let w be (3 + -2)*(f + 0). Does w = -1/30?
False
Suppose -z = -j + 297, -3*z - 866 = -0*j + 2*j. Is z at least as big as -0.03?
False
Suppose 18 = 6*w - 0*w. Suppose j = 2*j - w*v + 2, v - 4 = 0. Suppose -20 = -j*r + 15*r. Which is bigger: -19/4 or r?
r
Let j be -968 + (87 - 3)/12. Is -964 at least j?
False
Let o(q) = 7*q**2 - 62*q - 4. Let y be o(8). Let x be (y/117 - (-39)/27)*-141. Which is smaller: -140 or x?
x
Let s be (-104)/10 + (-2)/(-5). Let g(t) = -33*t + 5. Let y be g(0). Suppose -5*i + y*x - 55 = 0, 10*x - 12*x + 2 = 0. Are s and i nonequal?
False
Let v(n) = -69*n + 1127. Let c be v(6). Which is bigger: c or 709?
c
Let p be (((-30)/135)/(-1))/(10/18 + 0). Which is s