r i?
i
Let u = -2.6 - -68.6. Let t = -260 - -178. Let p = t + u. Is p at least -4?
False
Let j be 1/1 - (-17 - -16). Suppose g - 726 = -5*f, j*f + 9*g = 6*g + 293. Which is greater: f or 146?
146
Let x = 22712 + -24810. Is -2099 > x?
False
Let z = 650.6 + -649.6. Which is bigger: 0.518 or z?
z
Suppose 5*o - 17 = -4*w, -o = 19*w - 21*w + 5. Suppose -2*a - 6 = 0, -2*j - 8 = a - w. Which is smaller: j or 1/108?
j
Let k(f) = f**2 - 6*f - 66. Let c be k(15). Suppose -3*p = -30 - 180. Is p greater than c?
True
Let i = 36071 - 34488. Which is greater: 4751/3 or i?
4751/3
Let v(f) = -4*f**3 + 2*f**2 + 5*f + 2. Let z be v(3). Let u = 67 + z. Let x be (2/(-10))/(3/u). Which is smaller: 0 or x?
0
Suppose -3*r + 4*k = 0, 0*k = k - 3. Suppose 0 = -28*d + 2 + 54. Suppose 11*t - d = 10*t. Is t greater than or equal to r?
False
Let k = -17324 - -17345.33. Is k less than 2?
False
Let f = 10283 + -12198. Is f smaller than -1915?
False
Suppose -6*u = -u - 515. Suppose 4*v = 5*t + 386, -8*t = 2*v - 5*t - 226. Is u at most as big as v?
True
Suppose -5*u - 2*p + 11 = 0, 5*p + 4 = -5*u + 9. Let t be (-3 + 10*-3)/u. Which is bigger: t or 1?
1
Let s be (-1)/2*-3*(-10)/15. Let c be (-8)/(-20) + (s - (-321)/(-15)). Let f be c/99 - (-22)/18. Is 2/89 < f?
True
Let z(o) = -3*o**2 + 10*o - 39. Let u be z(-21). Let q = u + 7808/5. Let w = -13 + 4. Are q and w nonequal?
True
Suppose -5*i = -4*p + 15227, -4*p + 7*p + 2*i = 11380. Does 3799 = p?
False
Suppose 21*z - 40 = 16*z. Suppose -7*x = -z*x + 14. Let j be (x/16)/(13/52). Which is smaller: 5 or j?
j
Let s be 1374/426 + 3*4/(-6). Let j = -7443/1207 + s. Which is bigger: -4 or j?
-4
Suppose 4*y + 1 = -19. Let f be y/(-7) + (-4)/(-14) - -3. Suppose 2*p + 74 = f*a, 0*a + p = -3*a + 43. Is a bigger than 16?
False
Let h be (-620)/(-150) - (8 + 1062/(-135)). Let s = 33201/19 - 1743. Which is smaller: h or s?
h
Let r = -0.9 + -0.1. Let b = -546 + 551.65. Let f = b - -16.35. Is f at most as big as r?
False
Let q = 5/103 - -3168/515. Let h = 344 + -308. Let b(k) = k**3 - 37*k**2 + 37*k - 31. Let u be b(h). Is u != q?
True
Let r(n) = -10*n**2 + 25 + 13 + 2*n + 14*n + 11*n**2. Let z be r(-17). Which is greater: z or 57?
57
Suppose g + 2 = -0. Let d = 368/505 - -1757717/3030. Let c = -584 + d. Which is bigger: g or c?
g
Let j = 2.90034 - -0.09966. Is j > -0.2457?
True
Let t = 11046 + -11042. Which is greater: t or 11?
11
Let t be (((-56475)/27)/(-25))/(2/282). Which is smaller: 11796 or t?
11796
Let c(j) = -j**3 - 5*j**2 - 3*j - 9. Let a be c(-7). Let u = -122 + a. Let w be (-1 - (-30)/32)/(u/132). Which is greater: w or 1?
1
Let c = -37505 - -37388.142. Let j = -0.142 + c. Are 2/5 and j non-equal?
True
Let n(y) = -y**2 - 6*y + 10. Let d be n(-6). Suppose 0 = -6*s + 259 + 23. Suppose -4*m - 3*l - 2*l + 19 = 0, -2*m + 5*l = -s. Is m greater than or equal to d?
True
Let r = 19/4182 - -11748274/2091. Let h = r + -5471. Which is smaller: h or 147?
147
Suppose -31 + 118 = -3*o. Let b = 181 - 309. Let n = 98 + b. Does o = n?
False
Suppose -5*j - 5978 = 3*c, 412 - 4000 = 3*j + 2*c. Which is bigger: j or -1196?
j
Suppose 12 + 2 = 2*k - 2*l, 4*k = -3*l. Let a be 1704/854 + (k - -3)/(-3). Are -1 and a unequal?
True
Let o = -366 + 769. Let n = o - 403. Is n greater than -26/45?
True
Suppose 19*x - 9244 - 13461 = 0. Which is smaller: 1191 or x?
1191
Let t be (23 + -23)*(-14)/(-98). Let h = -18/13 + 8205/5954. Is h bigger than t?
False
Let z be 2/((-4)/(-50)) - -5. Let j be (-13 - 4194/z)/(2/5). Is -383 smaller than j?
True
Suppose 418*u - 5*v - 203 = 421*u, -2*u - 134 = 4*v. Which is smaller: u or -70?
u
Let m = -10343/3 + 3447. Let l(c) = -c**3 + 5*c**2 + 6*c + 2. Let n be l(6). Let k be ((-12)/15)/(n/5). Which is smaller: m or k?
k
Let x(p) be the third derivative of -p**5/60 + p**4/12 + p**3/2 + 20*p**2. Let g be x(2). Suppose 3*q + 3*s = 56 + 4, -5*q = g*s - 110. Are q and 25 unequal?
False
Let i = 1.939 - 1.939. Let z = 26.98 - 32.2. Which is greater: i or z?
i
Suppose 3*o = -5*n + 6959, 6*o - 4*o = n + 4648. Let w = 1523 - o. Let i = w - -8810/11. Which is smaller: i or 1?
i
Let v be -16 + 3 - (11 + -16) - -509. Is 501 less than v?
False
Let q be (6/10 + -1)/((-19)/(-95)). Let k be -538*(4 + -1) - (2 + q). Let t = -62942/39 - k. Is -1 greater than t?
False
Let i = -12088/19635 + 124/2805. Let j = 7/5 + -92/55. Do i and j have different values?
True
Suppose -4*f + 5*k - 8*k + 8562 = 0, 2*f = -k + 4282. Let w = f + -6224/3. Which is smaller: w or 67?
67
Let g = 100852 + -100964. Let x = 1 - 2. Is x > g?
True
Suppose -5*s = -2*u + 427, 7*u + s = 4*u + 632. Suppose 4*a - 17 = u. Let n = a - 176/3. Which is smaller: n or -1?
n
Let n = 12786 - 12785.1. Is -407 at most as big as n?
True
Let l be (-2)/(-8) - (-442)/88. Suppose 11*v - 138 + 189 = 95. Which is bigger: l or v?
l
Let h = -2101 + 1126. Let z = h + 4856/5. Is z != -3?
True
Let v(a) = 12*a**2 + 9*a. Let y be v(-1). Suppose -7 = -5*m - j - 13, y*j + 6 = -3*m. Is -14/19 bigger than m?
True
Let r(w) = -w**3 + 15*w**2 - 13*w - 13. Let x be r(14). Suppose 2 = 2*z + p, 5*p + x = z + 11. Is z less than or equal to 1/36?
True
Let y be 38/1482*285 + -1 + 3. Which is greater: 9 or y?
y
Let b = -0.334 - -0.2854. Let a = b + -0.7514. Suppose 0*g = -g. Which is smaller: g or a?
a
Let v = 1287/51794 + 2/1363. Let g be 69/(-46) + (-1)/(-4)*506. Let j be (-175)/g - ((-4)/(-10))/(-1). Which is bigger: v or j?
v
Let k(f) = -f**3 - 15*f**2 + 4*f + 6. Let i be k(-15). Let o = -33 - i. Let x be 3/o*(8 + -1). Which is greater: x or 0?
x
Let v = 49 - 93. Suppose -9*n + 2*b = -7*n - 10, -n = 4*b + 15. Let r be n/(-2 - 425/(-215)). Which is smaller: r or v?
v
Suppose r - 2*r - 4*v = 1, -v - 1 = 0. Let y be r/9 - 30/(-45). Is -1/51 smaller than y?
True
Let m(w) = -458*w - 6943. Let n be m(-15). Let d(r) = -r**3 + r**2 + r - 74. Let f be d(0). Are n and f unequal?
True
Suppose 0 = 3*a + 20 - 14. Let h be a/(-6) + (-208)/48. Let k be (15/h)/5 + 567/612. Is k >= 1?
False
Let t = 3.763 - 3.673. Suppose -2*n + 4 = 0, a - 4*n = 2*a - 9. Let k be 1*(-2 - a*-3). Do t and k have different values?
True
Let j(i) = -115*i**3 + i**2 - 3*i. Let b be j(2). Is b >= -925?
True
Let v(b) = 67 + 0*b - 67 - 7*b. Let c(t) = 8*t. Let q(a) = 5*c(a) + 6*v(a). Let l be q(-8). Is l != 17?
True
Let c be (-18)/270*(2 - (9 - 2)). Is c < 118?
True
Let t(f) = -11*f**2 - 2*f - 3. Let g be t(-2). Suppose b - 462 = -2*b - 588. Which is greater: b or g?
b
Let c(t) = -2*t**3 + 32*t**2 - 20*t + 24. Let m be c(15). Suppose 771 + m = 7*h. Do h and 135 have the same value?
True
Suppose 9*a - 462 = 16*a. Let l = -58 - a. Let y(u) = -2*u**2 + 11*u - 22. Let i be y(l). Which is greater: 0 or i?
0
Let r(n) = 36*n**3 - 5*n**2 - 6*n - 3. Let v be r(3). Is 901 equal to v?
False
Suppose -2*o + x - 248 = 2*o, o + 2*x = -62. Let w = o + 86. Let m be (9/6)/(3/w*6). Which is bigger: 21/8 or m?
21/8
Let p = 0 + 1. Let n(d) = -3*d**2 + 1. Let s be n(p). Suppose 27*t + 825 = 744. Which is smaller: t or s?
t
Let s be 14/(12 - 19)*3/(2 + 4). Is s less than -2/9885?
True
Let g = 7136 + -92868/13. Which is smaller: g or -8?
-8
Let y be (((-18)/(-21))/((-60)/21))/((-6)/286). Is 14 at least as big as y?
False
Let d(y) = -y**3 + 3*y**2 + 5*y + 5. Let c be d(5). Let q(t) be the first derivative of t**2/2 + 46*t - 1. Let h be q(c). Is 24 < h?
True
Suppose -4*f - 16 = -p, 17*p + 24 = 16*p - 4*f. Let l be -85 + ((-15)/6)/(-5)*p. Are l and -84 nonequal?
True
Suppose -23*a - 378 = -29*a. Let q be 4/(-1) - a/(-28). Suppose 28 = 2*o + 30. Is q > o?
False
Let g be 21/(-27) - 222952/(-479880) - (-8)/172. Let j be ((-3)/(-4))/((-1)/(-4)). Suppose -j*a = -5*b + 17, 2*b - 2 = a + 5. Which is smaller: g or a?
g
Let t(b) = -10*b + 11864. Let y be t(0). Let m = y - 272920/23. Which is greater: -3 or m?
m
Let i be (-5892)/9 - ((-76)/(-133))/((-6)/7). Which is smaller: 2 or i?
i
Suppose -13*y + 18*y = -10. Let m be y/3 + (-105)/(-70). Let r(c) = c**3 + c**2 - c + 1. Let h be r(1). Is h less than or equal to m?
False
Let v = 3.3704 + -0.3274. Which is bigger: 0.2 or v?
v
Let c be -2 + (-2 - -4) + -17. Let h = c + 16. Let u = 26067/29 - 899. Which is bigger: u or h?
u
Suppose -5*w = 3*j + 821, -2*j + 12*w = 10*w + 510. Is j at least as big as -245?
False
Let r be -153*9/(-2079)*119. Is 80 !=