1998/14182 - 6/n. Which is greater: 1 or x?
1
Let y = 2.3 - -1.1. Let q = y - 22.4. Let x = 44054.8 - 44055. Which is smaller: x or q?
q
Suppose 276 = 3*r - o, 0*o + o = 2*r - 183. Suppose -2*l = -2*w - 92, -31 = -2*w - 4*l - r. Let s(c) = -43*c**2 - c. Let z be s(-1). Is w > z?
True
Suppose -5*g - 55 = -5*u, g + 3*u = -3*g - 72. Let d be 6/g + 374/10. Suppose 3 = -f + n - 18, f + d = -3*n. Is -26 != f?
True
Suppose -13*j - 22 - 43 = 0. Suppose -4*k + 4*o - 220 = k, k - 5*o + 44 = 0. Which is smaller: j or k?
k
Let m = 18933/2 - 9465. Let b = 1.1 - 1.6. Let a = b - -3.5. Is a > m?
True
Let w(h) = 5*h - 17. Let x be w(-6). Let t = -42 - x. Suppose 4*p - j = 0, -p + 2*j - t - 2 = 0. Which is smaller: 10 or p?
p
Let v(x) = 2*x**3 - 29*x**2 + 16*x - 16. Let n be v(14). Suppose -n = 18*s - 30. Which is bigger: s or -6/83?
s
Let o be ((-18)/(-10))/(56/(-20) + 3). Suppose -i + 60 = 2*w, 5*w + o*i - 145 = 4*i. Suppose -q = -5*m - 16, -4*q + 0*m = -m + w. Is q less than 1/2?
True
Suppose 35 = 3*p - 4*o, -4*o - 83 = -0*p + 13*p. Suppose -2*a + 9 = -5*a. Let c be ((-2)/a)/(4/(-14)). Is p > c?
False
Suppose -3*k = -1 + 4. Let i = -47807/17990 + -1340/257. Let v = i - -39/5. Is k at least v?
False
Let v = 317 - 314.02. Let w = v - 3. Suppose -2*q + 2*t = 18, -58*t - 31 = -2*q - 63*t. Which is smaller: w or q?
q
Let c be 20/(-5) + 15 + -3. Let b be -94 - 12/c*(-32)/(-12). Is -99 at most b?
True
Let x be (-910)/15 + 28/(-21). Which is smaller: -85 or x?
-85
Suppose i + 67 - 19 = 2*s, 4*i = -5*s - 140. Let c be i*((-4)/16)/((-1)/10). Which is smaller: c or -101?
-101
Suppose 3*j = 86 + 82. Suppose -14*b - j = 28. Do b and -6 have the same value?
True
Let k = 23 - 19. Suppose -4*j + 10 = p + j, -k*j + 20 = 0. Let u be (3/p)/((-2)/(-10)). Is -2/83 > u?
True
Let i be -1 - (5*-3 + 2). Suppose -i*j + 7*j = 80. Let c be j/(-60)*-3*-20. Is -1 <= c?
True
Let d = 749/4 - 189. Let z(u) = 5*u - 11. Let c be z(3). Suppose -5*b = 9 - c. Is b <= d?
False
Let v(n) = -104*n - 1960. Let x be v(-22). Are 333 and x unequal?
True
Let b(a) = a**2 + 15*a - 49. Suppose 77*x + 90 = 72*x. Let h be b(x). Suppose h*n = 12 - 17. Is n greater than 4/23?
False
Let x = -162 - -174. Let g be (3 - 13/5)*-35. Let o be (g/(-42))/(1/x). Which is greater: 5 or o?
5
Suppose -d - 43890 = s, 5*d + 3*s + 10360 + 209094 = 0. Let x = 395578/9 + d. Let p = -2903/45 + x. Is p at most as big as -3?
True
Let s = 1 + -1. Let n(c) = -c**3 - c**2 - 1. Let b be n(s). Which is smaller: b or -5/33?
b
Let w = -35.2 + -4.8. Let l = -149 - -190.6. Let d = w + l. Which is smaller: d or 1?
1
Suppose -6*a - 2*a = 0. Suppose -2*g = -4*q + 24, 3*q + a*q - 11 = -2*g. Suppose 0 = 2*t - 7*t + q. Which is smaller: t or 1/3?
1/3
Let n(v) = 45*v**2 - 222*v - 450. Let t be n(-2). Is t bigger than 173?
True
Let u(x) = 285*x + 785. Let r be u(-3). Is 74 greater than r?
True
Suppose 2*r = -g + 3 - 0, 2*r = 2*g - 6. Let s(j) = -13*j**3 - 13*j**2 - 14*j + 0*j + 12*j**g - 8. Let h be s(-12). Is 14 > h?
False
Let z = -8138 + 8143. Is 456 less than or equal to z?
False
Let u(z) = z**3 - 12*z**2 + 20*z + 4. Let m be u(10). Let a = -35 + 102. Is m greater than a?
False
Let o(a) be the second derivative of 19*a**3/6 + 59*a**2/2 + 29*a. Let l be o(4). Do 135 and l have different values?
False
Let a be -1*15/10 - 45/(-10). Suppose -10 = -q + i - 20, 2*i - 27 = a*q. Which is bigger: q or -16?
q
Let m be (-18)/3 + 1 - (-13 + -883)/(-8). Which is smaller: m or -113?
m
Let y be 3 + 581/(-4 + (4 - 3)). Let x = -191 - y. Let z = -4031/20 - -969/5. Which is greater: x or z?
x
Let u = 767958/11 + -69756. Which is smaller: 59 or u?
u
Let l = 549/8 + -10977/160. Which is smaller: -1 or l?
-1
Suppose 9*l - 5 - 4 = 0. Suppose 28 = 9*r + l. Let i be 2/(-3)*r/(-2). Is i smaller than 8/7?
True
Let z be 0/(-3) - -4 - (3 + -3). Suppose -z*l = -2*l - 4, 4*l = s + 27. Are s and -15 unequal?
True
Let y be 1203/15 - (255/25 - (-5 + 14)). Is 97 greater than y?
True
Let c be 3/9*12/(-14). Let z = 338 + -283. Let j = z - 54.75. Which is bigger: j or c?
j
Let d = 49 + -49.48. Let l = 9.52 - d. Let x = 28 - l. Is x >= 0?
True
Suppose -134*f - 14194 = 49*f + 11975. Is f greater than or equal to 0.042?
False
Let s = 382 + -198. Let p = -15046 + 15045. Which is smaller: p or s?
p
Let f = 195/704 + -1244609/4490816. Is f bigger than 1?
False
Let o(j) = -15*j**2 - 2*j + 2. Let q be o(-3). Let s = 232 + q. Let a be ((-318)/(-27))/(44/720 + (-19)/(-380)). Is s greater than a?
False
Let d = -2732 + 2733. Let a be -1*-2*4/10. Are a and d unequal?
True
Let w = 23155/84 - 4861/12. Is -129 < w?
False
Let o = 353 + -226. Suppose -24 = -133*a + o*a. Are -1/13 and a equal?
False
Let m be -3 - ((0 - 0) + -6). Suppose -1 = 18*j - 17*j. Let n be (10/(-15) - j)*m. Which is smaller: n or 11/6?
n
Let m = 3398 - 3397.95. Which is greater: -159 or m?
m
Suppose 0*c - c - 6 = -5*v, 0 = -3*v - 3*c. Which is bigger: v or -1/21737?
v
Suppose -648 = -2*v - 200. Let q = 137 - v. Is q smaller than -87?
False
Suppose -401*z = -554728 - 3383637 - 548825. Is z at least as big as 11189?
True
Let v be (-1785)/(-56) + (-3)/(-24). Let r be (v/(-48))/(4/(-438)). Which is smaller: r or 74?
r
Let z(s) = 7*s**2 - 71*s - 531. Let r be z(-7). Let i = 1001 + -693. Is i >= r?
False
Let b = 440 - 93. Suppose 0 = 24*p + b + 85. Which is smaller: p or 8?
p
Let w = -6153 - -6524. Which is greater: 3 or w?
w
Suppose 134 = -16*z + 790. Let c = z - 32. Let i = 38641/4120 - 2/515. Is i not equal to c?
True
Suppose 22*v - 3 = -3. Let y be (-50)/1125*190/6. Which is smaller: v or y?
y
Let g be -1 - (-5888)/(-80) - 2/5. Let f = -20 + 23. Suppose f*k = -3*a - 228, k + 82 = a - 5*a. Is k bigger than g?
True
Let b = -351 - -326. Let k(j) = 2*j**2 + 48*j - 49. Let w be k(b). Let s = 13.9 + 1.1. Which is smaller: s or w?
w
Let d(r) = r**2 + 8*r + 2. Let f be d(-8). Let g = 41818/5 + -8362. Which is greater: g or f?
f
Let v be ((-21)/(-2))/(51/136). Let g be (-3)/(-1) - (v/21 - 1). Which is greater: 2 or g?
g
Suppose 221 = 2*r + x, 4*r - 5*x - 242 = 193. Is r != 1860/17?
True
Suppose 17313*c + 464 = 17311*c. Are c and -195 non-equal?
True
Let s(y) = -693*y + 1519. Let v be s(2). Which is smaller: v or 142?
v
Let y be (-5)/(130/2856) + (-4)/26. Let d = 83 + y. Is d less than -7?
True
Let o(q) = 114*q - 17. Let f be o(3). Let t be 2420/f - 2/(-13). Which is greater: t or -1?
t
Suppose -11925 = 2*k + 3*w, -4*k - 328*w = -317*w + 23855. Which is smaller: k or -5962?
-5962
Suppose 6 = 3*i + 3. Let m = -2704 + 256908/95. Let h = 21/19 + m. Is i at least h?
False
Suppose 0 = -485*k + 482*k + 54. Let n = -136 - -149. Which is smaller: k or n?
n
Let a be 440*((-2)/5 - 52/(-65)). Let f = 121 - a. Which is greater: f or -57?
f
Let m = 4/75 - 43/25. Let k(r) = -289*r - 3468. Let y be k(-12). Which is smaller: y or m?
m
Let l be -6 + (-12)/11*(-176)/32. Is -25/42 greater than or equal to l?
False
Suppose -y - 4*c - 42 = -c, 0 = -4*y + 3*c - 108. Let b = 21682 + -21715. Which is greater: y or b?
y
Let s(m) = 5*m**2 + 44*m + 29. Let a be s(-8). Are -58/19 and a equal?
False
Let s(m) = -29*m + 1306. Let f be s(45). Let n = -1565/1034 - -17/11. Is n at most f?
True
Let f = -3.04 + 92.04. Let a = f + -86.3. Which is smaller: -1 or a?
-1
Let h(c) = -2*c**3 + c**2 + c + 1. Let b be h(2). Let o be ((-6)/(-40))/((-24)/20). Is o <= b?
False
Suppose -v = -5*v - 580. Let w = -152 - v. Let u(k) = k**2 + 2*k - 12. Let i be u(w). Which is smaller: 22 or i?
22
Let p(n) = 9*n + 73. Suppose -2*g = -9*g + 11*g. Suppose -9 = 5*d - 2*d + 5*t, -3*d + 5*t - 39 = g. Let u be p(d). Which is greater: 1/35 or u?
u
Let t be ((-28)/35)/(4/(-60)). Suppose -6*w = t - 6. Suppose 2*d - 30 = 2*o, 20 - 65 = 2*o + d. Which is smaller: o or w?
o
Let c be (-6)/(-9) + (2 - (-12)/9). Let m = 75 + -55. Is c at least m?
False
Suppose -3*y = -3*r - 177, -3*r - 263 = 2*r + 3*y. Let a be -6 + (4 - -5) - 12*5. Is a < r?
True
Let i be (560/(-21))/(-10)*(-6)/(-4). Let d be (36/(0 - i))/((-6)/9). Which is smaller: d or 15?
d
Let j be (5/10)/(2/(-40)*-2). Suppose j*m + 2*o - 12 = 0, -o = m + 2*o - 5. Let v be (2/18)/(1/22). Is v equal to m?
False
Suppose -2 = 3*g + 34. Suppose -5*u - 2*s + 42 = 7, 50 = 5*u - s. Suppose u = 2*y + y, q + y + 7 = 0. Is q bigger than g?
True
Suppose -2*