n be (-15)/(((-11395)/(-258))/(-53)). Is n less than p?
True
Let h = 467 - 459. Let c be ((-48)/216)/(h/(-222)). Is c at most as big as 6?
False
Let w = 1.3 - 0.3. Let c = 6284 - 6313. Let g = w + c. Is 1 >= g?
True
Let z be ((-459)/6)/(3/(-8)). Suppose -52 = -2*a + z. Let u = -129 + a. Is 1/26 equal to u?
False
Let r be ((-567)/70 - -8) + (-196)/40 + 4. Is -13/866 greater than r?
True
Suppose 2*q - 4*q = 0. Let o = 2200 + -2202. Which is smaller: q or o?
o
Let a(g) = -g + 12. Let c be a(-8). Suppose 16*o - 5*h = c*o - 25, 4*o - 4*h + 20 = 0. Which is bigger: -3/82 or o?
o
Let y be (-2)/6 - (-7 - (-109)/15) - -1. Which is smaller: -10/13 or y?
-10/13
Let n be (-5 - (-5094)/(-81)) + -4 + 5. Are -68 and n nonequal?
True
Suppose 0 = -4*y, 130 = 5*n + y - 170. Suppose 5*x + 3*r = -62 - 239, 2*x - 5*r + 108 = 0. Let s = x + n. Is -0.03 > s?
False
Let g = 24053 + -16692767/694. Which is smaller: g or 1?
g
Let d = -3.937 + -799.063. Which is smaller: -6 or d?
d
Let i = -23040 + 23041. Which is smaller: i or -1/672?
-1/672
Suppose 2*i - 4*w + 250 = 0, -5*i = 191*w - 194*w + 674. Which is smaller: -61 or i?
i
Let j(b) = 407*b - 6277. Let i be j(22). Is 2678 at most i?
False
Suppose 3*r = -4*a + 535, 3*a = 4*a + r - 133. Let y = a + -134. Let k be (-3)/(9*-1) - -1. Is k bigger than y?
False
Let i = 6.83 + -15.83. Which is smaller: i or -13/9?
i
Suppose -8*y + 2200 = -3*y. Let n be 3/1 + y/22. Which is smaller: n or 20?
20
Let m(t) = -t**3 + 1. Let c be m(0). Which is smaller: 4/7077 or c?
4/7077
Let x be (20/(-16))/1*-4 + 1. Let h be 63/(-6)*((-238)/(-39) - x). Which is greater: h or -1?
-1
Suppose -12611 = 15*s - 12806. Is 92/7 smaller than s?
False
Suppose 117 - 8 = 109*c. Is 83/50 at least as big as c?
True
Let r(a) = -14 - 4*a - 17*a + 2 - 13*a. Let n be r(3). Let d = -112 - n. Is d < 12/5?
True
Let c be (56/4)/(-3 + 5). Let b(f) = 8*f**2 - 3 - 5 + 38*f**3 - 8*f - 39*f**3. Let v be b(c). Is -15 greater than v?
False
Let u be 3/6 - (-3)/6. Let z be ((-174)/24)/(u/(-8)). Let f = -68 + z. Is f bigger than 1?
False
Let s = -1.913 + 0.113. Let b = s - -116.8. Which is bigger: b or 0?
b
Let u = 194421376/1721 - 112970. Which is bigger: 1 or u?
1
Suppose 4*o - 2*o = u + 45, -5*u = 4*o + 211. Let h(v) = 7 + 46*v + 25*v - 21*v. Let t be h(-1). Is t not equal to u?
False
Let h(q) = -158*q + 1614. Let o be h(-24). Which is smaller: 5408 or o?
o
Let v = 38.054 + -2.954. Which is smaller: -1 or v?
-1
Let c be ((-1944)/18333)/(4/(-14)). Which is bigger: c or -1?
c
Let l = -806 - -808. Let y = 76 - 33. Suppose g = z + y, -5*z - 5*g = -l*z + 169. Is -48 less than z?
False
Let w = -2326/11 + 9491/44. Suppose 3*f - 11 = 4. Which is bigger: f or w?
f
Let f(p) = -6*p**3 - 7*p**2 + 5 + 7*p**3 - 4*p + 7*p**2. Let c be f(2). Suppose -5*i + 3*g = -101, i = -i - c*g + 59. Which is bigger: 21 or i?
i
Let t = 66 + -65. Let x = -24 + 40. Let a be (x/18)/(6/9). Which is smaller: a or t?
t
Let j be (-194)/(-873)*(4 - 1). Is 954/13 greater than or equal to j?
True
Let h = 3040 + -3039.9. Which is greater: h or 6/133?
h
Suppose 438*k - 426*k + 12468 = 0. Are -1039 and k non-equal?
False
Let p(a) = 6*a - 29. Let q(x) = x**2 + 17*x + 35. Let t be q(-15). Let n be p(t). Which is bigger: -4/227 or n?
n
Let s be (2/(-4))/(1/2). Let k = 2762/133 + -438/19. Are s and k nonequal?
True
Let s = -12410 + 11654.4. Which is smaller: s or -1?
s
Suppose 0 = -12*g + 15*g. Let w = -0.10154 + -5.88746. Let j = w + -0.011. Do j and g have different values?
True
Let h(r) = 14*r - 202. Let w be h(30). Suppose 0 = w*y - 212*y + 18. Which is smaller: y or 25?
y
Let b = 173 + -224. Let c = -48 - b. Is -55 < c?
True
Suppose 3*a - 7*a + 12 = 0. Suppose -5*f = -a*r - f + 13, -5*r + 3*f = -7. Let y be ((-1445)/(-476))/(-85) - (-2)/7. Is r equal to y?
False
Let s(h) = -17 + 2*h + 16 + h**3 - 1 + h**2. Let a be s(0). Is a bigger than -28/17?
False
Let a(t) = -5*t**3 - 4*t**2 + 38*t + 54. Let g be a(6). Is g at most as big as -942?
True
Let j(r) = 2*r**2 - 138*r - 735. Let p be j(-5). Is 67/11 at most as big as p?
False
Let o be ((-158)/39*-42 - 8/52) + -7. Which is bigger: o or -5?
o
Let t(c) = -c**3 + 2*c**2 + 3*c. Let j be t(3). Suppose -6 = 3*p - 6*b + b, 5*p = 4*b - 23. Let w be (p - 85/(-10)) + (-2)/16. Does j = w?
False
Let h(a) = -10*a**2 - 2*a - 10. Let j(f) = -8*f**2 - 4*f - 10. Let m(w) = -3*h(w) + 4*j(w). Let r be m(-2). Which is smaller: -10/19 or r?
-10/19
Let v be (16/(-20) - -2)/(2/5). Let a be (-11 - -2)/v + 133/49. Which is smaller: 3 or a?
a
Let t(i) = 5*i - 9. Let s be t(-11). Let z = s + 74. Suppose z = -v - 11. Which is bigger: -67/3 or v?
v
Let b = -7 - -7. Suppose -3*h = -b*h - 27. Let x = -37 + 47. Which is smaller: h or x?
h
Let l(x) = 3*x**3 - 2*x**2 + 49*x - 36. Let t(m) = -4*m**3 + 3*m**2 - 73*m + 53. Let f(w) = -7*l(w) - 5*t(w). Let u be f(5). Which is smaller: -0.1 or u?
u
Suppose -3*d + 3 + 0 = -a, 0 = -5*a + 3*d - 3. Let s = -42 + 17. Let g = -19 - s. Which is smaller: g or a?
a
Let p(s) = s - 1. Let d(a) = -6*a + 9. Let k(w) = 3*d(w) + 21*p(w). Let x be k(15). Suppose -12 = 2*v - 5*h + 29, -3*h - x = 3*v. Is v < -18?
False
Suppose -c = 3*n + 5758, -4*n - 3*c - 4241 = 3448. Is -1/4 at least as big as n?
True
Let a(i) = 29*i - 281. Let d be a(9). Let k be d/15 + (-921)/(-738). Is k not equal to 1?
True
Let z(b) = 4*b**3 + 14*b**2 + 13*b + 56. Let w be z(-10). Which is smaller: w or -2676?
-2676
Let g(y) = 7*y - 8. Let a be g(2). Suppose -a*j + 11*j - 360 = 0. Suppose 0 = 4*n + j + 4. Which is greater: n or -17?
-17
Let b(i) = 2*i**2 - 3*i - 3. Let k be b(-1). Suppose -4*n = 4, -4 + k = s - 2*n. Which is smaller: s or -15?
-15
Suppose 3*m + 15 = 4*y, 14 = 2*y - 3*m - 1. Let z be (y/(-1) + 2)*(52 - 39). Which is bigger: z or -1?
z
Let l be (-2 + 1 - -84)/(1914/(-12)). Let x = -134/15 + 3796/435. Let s = l + x. Is -1 less than or equal to s?
True
Suppose 59*c - 3570 = 45*c. Is c >= 256?
False
Let m be (12/(-10))/(6/120). Let b(y) = -2*y**2 - 63 - 3*y**3 + 66 + 5*y - 2*y. Let p be b(2). Do m and p have the same value?
False
Let x = 22358 + -22359. Which is smaller: x or -164/37?
-164/37
Suppose -624 = -89*k + 18*k - 3961. Which is bigger: k or -139/3?
-139/3
Suppose 977*n - 1009*n = 29312. Do -916 and n have the same value?
True
Let i(t) = t**2 + 4*t - 6. Let r = 46 + -43. Let x be ((-4)/12)/(r/45). Let j be i(x). Is -1 at most as big as j?
True
Let d be (138/1725)/(12/(-10)). Suppose -2*h - 16 = -4*n, -3*h - n + 5 = 1. Are h and d unequal?
True
Let m = -906541/9 + 100045. Which is greater: -681 or m?
-681
Let v be 36/54*((-1975)/(-70) - 2/(-7)). Let m = 0.1 + -0.2. Let r = -0.1 - m. Is r at most as big as v?
True
Let d(q) be the first derivative of q**4/4 + 9*q**3 - 12*q**2 + 234*q + 193. Let t be d(-28). Is t at least 119?
True
Suppose 141*b = 5194 - 3458 + 6583. Let r be -2 + 238/4 + 1. Is r less than b?
True
Let z = -204 - -42. Let o = z - -147.9. Let l = o + 14. Is -3/19 greater than or equal to l?
False
Let k be (6/392)/((-9)/6). Suppose 1149 - 1137 = -12*z. Which is bigger: z or k?
k
Let r = -74231/3285 - 2/657. Suppose 0 = -1050*h - 4003 - 19097. Which is greater: r or h?
h
Let o(j) = j**2 - 20*j + 89. Let t be o(16). Suppose -12*v - 143 - t = 0. Which is smaller: -7 or v?
v
Let x = 5235 - 36642/7. Is -0.081 smaller than x?
True
Let j = 12 + -11. Suppose 0 = 33*t - 22*t - 418. Is t at most as big as j?
False
Suppose -36728 = -11*d - 38510. Is d at least -165?
True
Let f = 0.06 - -2.94. Let h = 28931 - 28916. Is h at most f?
False
Let h = 871 + -871.2. Is h < 925?
True
Suppose -426*n - 4320819 = -1175235. Which is bigger: -7383 or n?
-7383
Let u = -827314/9 + 91924. Let b = -7.03 - -7. Is u at most b?
False
Let t be -5776 + ((-4)/3)/((-23)/((-1311)/76)). Are -5777 and t equal?
True
Let g(u) be the second derivative of 5*u**3/6 - 29*u**2/2 + 6*u. Let n be g(0). Let y = n + 58. Is y less than 29?
False
Suppose 26 = 2*f + 11*f. Suppose f*x + m = -x + 568, -4*x + 761 = 5*m. Which is smaller: x or 190?
x
Let r(n) = -4*n**3 + 5. Suppose -2*w = i + 1, 3*i + 4*w = -i - 8. Let a be r(i). Which is greater: 114 or a?
114
Suppose 0 = -0*v - 5*v - 2*j - 31, -2*v - 4*j - 6 = 0. Let k be (-1)/((-2)/(-26)*v/(-7)). Which is smaller: k or -16?
-16
Suppose 5*n + 7*o + 105 = 2*o, 4*o + 21 = 