
Let j(s) = -11*s**3 - s**2 + 2*s - 2. Let f be j(-3). Let h = 154274 + -153993. Is h < f?
False
Suppose 3*k - k = 3*g - 13, -g = -5*k. Let s be (-76)/(-12)*(k + 11). Let b be (312/s - 4)*-2. Is b less than or equal to 1?
True
Let f be 2/(-13) - (2640/130)/11. Let s(p) = 6*p**2 + 10*p + 16. Let y be s(f). Is y at most -6?
False
Let r = -2706 + 2773. Is r equal to 2/57?
False
Let a(r) = 11*r + 141. Let b be a(-12). Suppose 21*o = 18*o - b, 5*y - 4 = 3*o. Which is smaller: -2/59 or y?
y
Let r = 66914 + -66940. Let g be 16*1*3/(-2). Which is smaller: r or g?
r
Let m(f) = f + 25. Let j be m(0). Suppose 2*r - 33 = j. Suppose -3*b + 60 + 18 = 0. Which is smaller: r or b?
b
Suppose 0 = -3*z - 3, n - 5 = 2*z - 0. Suppose -86 = 2*d - 3*s, -2*d - n*d - 4*s = 238. Are d and -49 unequal?
True
Let z be (-24)/(-15)*5/2. Let m = z + -2. Let o be 48*8/176*1/4. Is o < m?
True
Let y(z) = 6*z**3 + 6*z**2 - 8*z + 2. Let v be y(2). Let i = v - 58. Which is greater: -28 or i?
i
Suppose -16*r + 13*r + 4*z = 221, 0 = z - 5. Which is bigger: r or -64?
-64
Let k be 52/(-65)*(-30)/12*-62. Are 2/9 and k unequal?
True
Let l be 1 + 8 + -14 - 7/1. Let u(q) = -689*q - 1. Let t be u(-5). Let n be 3*(-1)/l - 885/t. Which is greater: n or 0?
0
Let w be (6 - 2368) + 102/51. Is -2361 <= w?
True
Let h(l) = -l**2 + l + 1. Let b be (10/6)/((-8)/(-24)). Suppose 0 = 10*p - b*p. Let x be h(p). Is -1/5 > x?
False
Let s be 5*10/10 - 0/1. Suppose -32*h = -29*h + d, -4*d = s*h. Let k be (-38)/80 - (-2)/4. Which is smaller: h or k?
h
Let y = -0.045 + 0.145. Let u = -258 - -252. Is y less than or equal to u?
False
Suppose -2*r - 41*k = -39*k, 8*r = 3*r - 2*k. Which is smaller: 1/168 or r?
r
Let n = -0.77 - -0.31. Let y = -0.68 - 0.78. Let w = y - n. Which is greater: w or 0.3?
0.3
Let u = -19.11 - -21. Let k = -68 - -68.11. Let j = k + u. Which is bigger: j or 3?
3
Let x be (2 - -39)/(-9 + 10). Suppose -591*k + 592*k = x. Is 35 < k?
True
Let m be 20/(-75)*-5 + (-207165)/155421. Is 1 > m?
True
Let j(n) = 818*n - 4909. Let k be j(6). Are -2/23421 and k non-equal?
True
Let p = -17 - 1. Let u = 335 - 310. Suppose u*x - 19*x + 102 = 0. Which is smaller: x or p?
p
Suppose 2*m + 5*d = 405, 4*d = 9 + 11. Suppose 161*j - 45*j + 6246 = 28286. Are j and m equal?
True
Suppose -2 = -v, 0*b = 3*b + 2*v - 904. Suppose -7*j = -13*j - b. Which is smaller: -53 or j?
-53
Suppose -5*u + 12 = 11*u - 13*u. Which is greater: u or -53?
u
Let y be 1 + 177556/(-261) - 32/(-144). Let w = y - -679. Which is greater: -14 or w?
w
Let l = -2321 - -1356. Is l less than or equal to 0.2?
True
Let o be 26*(-14 - -17 - (1 + 0)). Suppose 42*t = o*t - 1020. Which is greater: t or 101?
t
Let t = 16109 + -7042. Let w = -2484361/274 + t. Let k = 1195/9042 + w. Is k < 0?
False
Let g(b) = -602*b**2 + 6*b + 5. Let p be g(-1). Let c be 4 - ((-5409)/p + -5). Which is smaller: 0.7 or c?
c
Let s(y) = 3*y + 41. Let g be s(-12). Let m(f) = -f**3 + f**2 + 11*f + 1. Let z be m(g). Let a = z - -43. Which is greater: 0 or a?
0
Let s be (-1 - 3)/(2 - (-2 - -3)) + 5. Which is greater: s or -48/127?
s
Suppose 9*c = 14*c - 20. Suppose -c*k + 5 + 11 = 0. Let i be (200/(-60))/(k/6). Is i greater than or equal to -5?
True
Let q = -263 + 370. Let a = q - 178. Let m = 71.1 + a. Which is bigger: m or -0.07?
m
Let y = 158 - 81. Let i = -1274.2 + 1275.2. Are i and y equal?
False
Suppose -30*f = -5066 - 7007 - 2087. Is 473 greater than f?
True
Let k = 7622 - 6793. Is -7 != k?
True
Suppose 0 = 3*g + 1188 - 1194. Let j be (g/(-88))/((-77)/(-66)). Which is greater: j or 0?
0
Let l be (410/400)/(2/(-52)). Let b = 327/5 + l. Is b at least as big as 38?
True
Suppose 2*a = 3*j - 4, 5*j + 5*a = a - 8. Suppose -154 = -809*l + 820*l. Are j and l nonequal?
True
Suppose -u = 5*d + 1, -5*d + 0*u = -3*u - 3. Suppose -2*b = -5*h + 24, 2*h - 3*b - 12 = -b. Suppose r = f + 6*r - 33, -f + h*r - 12 = d. Is 7 smaller than f?
True
Let u = 35.6 + 4.4. Let w = 40 - u. Is w at most 0.3?
True
Let o be 92/3*(-1 + -2). Let g = o + 95. Let h = -30 - g. Which is bigger: h or -32?
-32
Let t be (15*20/24)/(16/32). Which is bigger: t or -15?
t
Let z(g) = g**3 - 6*g**2 - 2*g + 6. Let s be z(7). Suppose -3*i = -s - 34. Let m = -2253 + 2275. Which is smaller: m or i?
m
Let a(i) = -i**3 + 5*i**2 - 1. Let z be a(5). Suppose 9*j = 17*j + 40. Let x be 125/105 + j/(60/16). Is x at most z?
False
Let u(x) = -x**3 + 3*x**2 - 23*x + 375. Let h be u(0). Are 6 and h unequal?
True
Let p = 606 - 721. Let w = -99 - p. Which is smaller: 0 or w?
0
Let p = 33 - 29. Suppose 3*d = p*d + 3. Let h be d - 24/2*4. Is h at most as big as -51?
True
Let m = -240.1 - -50.1. Which is smaller: 1 or m?
m
Let n = -10.29 - 0.71. Suppose 0 = -6*b + b + 10. Let r be b - (27/(-21) + 3). Which is smaller: n or r?
n
Suppose 2*v = 4*v + 2*z - 40, -2*z = 3*v - 51. Let w be (3/6)/(18/352). Which is smaller: v or w?
w
Let g be ((-27948)/(-13976) + -2)/(18/72). Is 0 bigger than g?
True
Suppose 2*t - p - 6 = 0, -3*p = 3*t + t - 32. Suppose t*r - 20 - 5 = 4*v, -5*v + 10 = 2*r. Suppose v = -2*n + 21 - 41. Which is smaller: -9 or n?
n
Suppose -2*y = -4*b - 5962, -966 = -3*b + 11*y - 5485. Are b and -1481 non-equal?
True
Let y(g) = 6*g**2 - 9*g + 7. Let f be y(3). Let o be (f/(-51))/((-2)/(-12)). Let c be (-21)/14*o/(-6). Are -2/15 and c non-equal?
True
Suppose -2*j + 4 = 2*k - 0, 5 = 5*k. Let o = 124690/61 + -2044. Is o equal to j?
False
Let b = -396 - -142. Let m = -507/2 - b. Which is greater: -1/373 or m?
m
Let j = -13018 - -11511. Which is smaller: j or -1504?
j
Suppose -153*s = -144*s. Is 25/101 greater than s?
True
Suppose -4*b = 3*k + 11, -3*b - 9 = -2*k + 4*k. Suppose -4*f + 31 = 5*j, 5*f + 6*j = k*j + 29. Let a be (-25)/f - (15/(-4))/(-5). Which is greater: a or 2/5?
2/5
Let k be ((-81)/(-5))/((-51174)/56860). Let p be 1 - 1 - (1 - -16). Are k and p nonequal?
True
Let w be (-13)/(-26)*(-12 + 12). Which is smaller: -1/209 or w?
-1/209
Let g(a) = 2*a**2 + 261*a - 665. Let y be g(-133). Which is smaller: y or 2/3249?
y
Let x = 370 + -369. Let h be -6 + x + (-384)/(-120). Is 0.05 smaller than h?
False
Let k be (-5)/2*-2*(-45572)/(-200). Let l = k + -1138. Let n = -1/5 - l. Is 1 greater than n?
True
Let d be 741/855 + -1 + (-34)/(-30). Let i = -86410600/2107 + 1694120/43. Let w = -1613 - i. Is d bigger than w?
True
Let b(t) = 25*t**2 - 105*t + 66. Let v be b(3). Which is greater: -384/17 or v?
-384/17
Let q be 2/16 - (-5 + 8 + 210/(-112)). Is 5/7629 less than q?
False
Let h = -2 - 0. Let c = 28611 + -715329/25. Are h and c equal?
False
Let g = -16 - -21. Suppose g*w + 31 = 81. Is 79/8 bigger than w?
False
Let g be ((-17010)/(-3975))/(38/(-190)). Which is smaller: -20 or g?
g
Suppose 15297*f - 15282*f + 16845 = 0. Which is smaller: f or -1132?
-1132
Let i = 6113 - 27927/5. Is 527 at least as big as i?
False
Let r = -12593 + 12577. Is r less than or equal to 8?
True
Let j = -282.8 + 282.8. Is 0.8 <= j?
False
Let b = -3 - -5. Let x = 2.05 - b. Let q = -5371/9 - -597. Which is greater: q or x?
q
Suppose -6*x = -16*x. Let l be 2/(-12)*3*x. Suppose -z + l*z = -1. Which is bigger: z or -3/7?
z
Let x = -9 + 12. Suppose 2*h - 1 = x. Suppose h*k - 3 = -k. Which is smaller: k or 3/23?
3/23
Let r be (-3*85/(-102))/((-10)/(-136)). Suppose -23 - 2 = -5*v, 4*b - 150 = -2*v. Which is smaller: r or b?
r
Let d be (-423)/(-77) + 42/(-7). Let c = 2459/5159 + d. Is c <= 0?
True
Let q be (2 + -67 - 8) + 6 - -4. Is q bigger than -62?
False
Let z(l) = l**2 - 2*l + 3. Let x be z(3). Suppose -10*k = 1482 - 4602. Let m = -304 + k. Is m != x?
True
Let m = 17.41 + -18. Let c be (-7488)/(-9072) + (-10)/9. Which is smaller: c or m?
m
Let u be 6/(-4) + 355/10 + -2. Suppose -178 = -14*h + u. Which is bigger: 16 or h?
16
Let r(y) = 8*y**3 + 3*y**2 + 12*y - 3. Let m be r(6). Let i = -3623/2 + m. Which is bigger: i or 93?
i
Let x = 764.983 + -765. Is x greater than 0.44?
False
Let a = 11794.29 - 11791. Do -1 and a have different values?
True
Suppose 4*y - 2*y - 2*g = -20, 4*g = 19*y + 175. Is -5/16 != y?
True
Let j(x) = 5*x + 82. Let k be j(-16). Suppose 0 = -4*l + k*z - 10, 8*z = 4*l + 4*z + 20. Do l and -1/426 have the same value?
False
Let m be -2 - 1976/6*162/1836. Which is smaller: -32 or m?
-32
Let r(x) = -39*x + 820. Let n be r(21). Let k = -11.8 + -1.2. I