a = -290742 - -290732. Which is smaller: a or z?
a
Suppose 5*x - 3*w + 18 = 0, -3*x + 5*w - 11 = -x. Let t be -265 + (-3 - 1 - x). Which is greater: -265 or t?
-265
Let j be (1 - 1) + (-128)/(-1352). Is -1 bigger than j?
False
Suppose -32 = -2*y + 5*k, 9 = y - k - 1. Suppose 209*j = 198*j + 33. Suppose -j*n - 2*n - 55 = 5*g, g + 35 = -3*n. Which is smaller: n or y?
n
Let o = 16868 + -18532. Are o and -1663 nonequal?
True
Suppose 0 = -i - 4*a - 46, -7*a - 48 = 3*i - 5*a. Which is smaller: -23.2 or i?
-23.2
Let y be (-6 + 14)*6/8. Suppose -8*r + 3*r + y*r = 0. Which is smaller: -255 or r?
-255
Let h = 496.46 + -479. Let j = h + -17.4. Is j != 0.6?
True
Suppose -96*k + 72*k = 24408. Which is bigger: -1018 or k?
k
Let b be -28 - -29 - 1700/1581. Are -1 and b equal?
False
Suppose j + 6*w - 493 = 0, -3*j - 2*w = -738 - 885. Which is bigger: 550 or j?
550
Let s = -388 + 389. Let k be s + (-24)/(-6) - -21. Which is bigger: 132/5 or k?
132/5
Let i be (-288)/(-24) + 35/(-3). Which is smaller: -2136 or i?
-2136
Suppose 8*d + 10 - 170 = 0. Suppose d = 12*x + 8*x. Is 2 < x?
False
Let i = -19591 - -19618. Is i at most 8.6?
False
Let n be (1 - 1*17)*(-912)/113715. Let c = 24/95 + n. Which is bigger: c or 1?
1
Let a = -94 + 361. Let p be (-45)/75 - a/5. Does -53 = p?
False
Let m be (19 + 738/(-36))*(-4)/(-6). Is m at most -9/107?
True
Let q = 10004.191 + -10004. Which is bigger: -0.2 or q?
q
Let h(z) = -z - 4. Let a = 248 - 251. Let k be h(a). Do -32 and k have the same value?
False
Let y(z) = 3*z**2 - 386*z - 8921. Let c be y(148). Let n be (6*7)/((-1)/8). Are c and n nonequal?
True
Let h(o) = -2*o**3 - 32*o**2 + 174. Let x be h(0). Let u(t) = 42*t**2 - 2*t + 1. Let k be u(-2). Which is greater: k or x?
x
Suppose -2*b + 27636 = 12*b. Is 1976 at most b?
False
Let h = -72 - -27. Suppose -67 = 12*k - 259. Let i be (2/8)/(2*(-6)/k). Is i less than or equal to h?
False
Let b = -20743/5 + 4115. Let i = -10965 - -10931. Which is bigger: i or b?
b
Let x be (-16 + -10 + 11)*(-4)/5. Let h be (6/x)/((-17283)/28). Which is smaller: h or -1?
-1
Let o(r) = -r**3 - 134*r**2 - 1069*r + 22. Let c be o(-9). Are c and -483 non-equal?
True
Suppose -2*b + 20 = 3*f + 108, -2*f - 88 = 2*b. Let a be (-2)/11 + (-1372)/b. Suppose -2256 = -28*r - 1388. Is a at least as big as r?
True
Let y be (-2)/(33990/(-10267)) - 1668/2780. Which is smaller: y or 1?
y
Let g be 4/3*(-51)/68 + 29/(-3). Suppose 4*d - 22 = 3*v, -2*v - d - 52 = 3*v. Is g at most v?
True
Suppose 0 = -11*w - 749 + 6227. Suppose -239 = -3*j + 3*z + 277, -3*z + w = 3*j. Suppose 5*o = 116 + j. Is -0.1 bigger than o?
False
Suppose 0 = -4*d + 5*z - 54, 3*z - 2 = -d - 24. Let k(a) = 2*a + 38. Let t be k(d). Let v be (t/(-27))/(2/3 - 0). Which is greater: 3/7 or v?
3/7
Let q(w) = -4 + 11*w**2 + 20*w**2 - 29*w**2. Let z = 13 + -11. Let u be q(z). Which is smaller: 3 or u?
3
Suppose -2*q = -4 + 2. Suppose -2*a - 6 + 26 = -2*z, 0 = -4*a + 3*z + 40. Suppose 15*r - j = a*r, -j + 2 = -3*r. Is q > r?
False
Suppose 0 = 5*t + 5, -6*g + t = -g - 1. Let o = 2132.3 + -2485.3. Which is smaller: g or o?
o
Let w = -0.01 + -0.99. Let z = -1055 - -1040. Is w greater than or equal to z?
True
Suppose -4*b - 2*h = -0*b - 13902, -3*b + 10394 = -5*h. Which is greater: -3 or b?
b
Let a = -584.15 + 583. Let j = -225.15 + 220. Let h = a - j. Is h bigger than 2/11?
True
Suppose -13*d + 15 = -10*d. Suppose 3*n = -15, -2*i - d*n - 41 = -3*i. Let j = -145.9 + 146. Is i not equal to j?
True
Let o = -2229758/349 + 6389. Is 0 at most o?
True
Let c(u) = -4*u**2 - 32*u + 260. Let j(z) = z**2 + 8*z - 65. Let q(b) = -2*c(b) - 9*j(b). Let m be q(-13). Is m greater than or equal to -12?
True
Suppose 7*y - 2239 = -2253. Let o(w) = 2*w + 3. Let f be o(y). Which is greater: 11/78 or f?
11/78
Let v = -666.4172 - -0.0172. Let f = v - -664. Let g = -1 + 1. Which is greater: g or f?
g
Suppose 289*p - 286*p = 159. Suppose -399 = p*o + 4*o. Let u = 0.2 + -0.1. Are u and o nonequal?
True
Let d be (-22)/(-4) - 7530/100. Suppose 7 = -4*l - 5*b - 248, 0 = -2*l + 2*b - 150. Do l and d have the same value?
False
Let k be 1 - (6 + 2) - (-9756)/(-4 + 3). Is -9763 at most as big as k?
True
Let b(v) = 188*v - 1129. Let t be b(6). Which is smaller: t or -2/1023?
t
Let z(v) = v**3 - 23*v**2 - 25*v + 31. Let t be z(24). Suppose 2*n + 1 + 2 = 3*i, -7*i = -5*n - t. Which is bigger: n or -2/411?
n
Let l = 159378/35 + -22174/5. Let v = l - 119. Is 1 not equal to v?
True
Let a = -189 + 189.083. Let f = a + 0.717. Let g = -22/9 + 19/9. Which is greater: f or g?
f
Let v = 25239/1292 + -372/19. Let a = 6 + -7. Which is smaller: v or a?
a
Suppose -34 + 9 = -5*j. Suppose 0*z = 5*z - j. Let r be 21/(-15) - (12/(-42) + (-13479)/12285). Is z at least as big as r?
True
Let b = -0.5169 + -0.1831. Is b at most as big as 3.11?
True
Suppose 22 - 10 = 3*j, -4*k + 2*j + 6036 = 0. Which is smaller: k or 1515?
k
Let f = -11.132 + 9.53. Let x = f - -14.586. Let p = 0.016 + x. Is -1 not equal to p?
True
Let r(p) = p**3 + 2*p**2 + 6. Let m be r(0). Let b be m/(3 - (-56)/(-20)). Let l = b - 32. Which is smaller: 2 or l?
l
Let c = -42400 + 42138. Let t be (-1308)/5 + 6/(-15). Are t and c non-equal?
False
Let a be -1 + 2/3 + (-5056)/(-15360). Suppose 1 - 1 = -14*d. Which is smaller: d or a?
a
Let o = 257 + -298.1. Let b = 51.1 + o. Which is greater: b or -3/2?
b
Let f(y) = -3*y + 19. Let i be f(6). Let k = -582 + 583. Is i at least as big as k?
True
Let m = -56585 + 56584. Let c = -4.362 - -4.4. Which is bigger: c or m?
c
Let h(y) = y**2 + 30*y + 29. Let r be h(-29). Suppose 14*n + 10 + 4 = r. Let x(v) = -3*v**2 + v - 1. Let d be x(1). Is n at least as big as d?
True
Let y = -2423.8 + 2424. Which is bigger: y or 123?
123
Let t be -30*(-1)/(-19) - -2. Let w be (2 - (-1316)/(-816))/((-30)/(-48)). Let f = -4/85 - w. Is t at most as big as f?
False
Suppose 15*k = 12*k - 201. Let o be 5622/(-21)*(25/(-20) + 1). Let s = o + k. Which is greater: s or -1?
s
Suppose -4*w - 2024 = -2*q, -2*w + 616*q - 1024 = 617*q. Are w and -512 unequal?
True
Let v = -1.215 - -0.715. Let g = -5 + 19. Which is smaller: g or v?
v
Let w = 1204/1173 + -110/51. Let v = 465/391 + w. Let f = -21/68 + v. Which is smaller: -27 or f?
-27
Let f = 3273.26 + -3274. Is -0.1 >= f?
True
Let o = 59220 + -12495470/211. Is 0 less than or equal to o?
False
Let v = 0.0229 + 166.9771. Let a = v + -171. Which is greater: 1/2 or a?
1/2
Suppose -2 - 6 = 4*n. Let q be 8/12 + n/3. Let o(p) = -p**3 - 20*p**2 + 51*p + 626. Let g be o(-21). Which is smaller: q or g?
g
Let r(n) = 4*n**3 + 12*n**2 - 16*n - 6. Let m(h) = -5*h**3 - 13*h**2 + 17*h + 5. Let b(o) = -2*m(o) - 3*r(o). Let p be b(-6). Are -31/9 and p equal?
False
Let j = 739/15730 + 12/121. Which is smaller: 0 or j?
0
Let s(c) = -c**3 + 2*c**2 - 4*c + 7. Let q be s(3). Let v be 78/455 - 4/q. Which is smaller: 0 or v?
0
Let x(z) = 2*z**2 - 2*z. Let q be x(-6). Let u = 42 - q. Let v be (3/(9/6))/(u/35). Which is smaller: -1 or v?
v
Let q = 3572 + -3581. Which is bigger: -207/20 or q?
q
Let q = 7287/2 + -3597. Is q greater than 48?
False
Suppose 9*s = -1444 + 1354. Let j = -29 - -21. Let u(z) = z + 2. Let b be u(j). Which is smaller: b or s?
s
Let i = -1777496579/10577 - -168053. Is 0 not equal to i?
True
Let j(a) = a**3 + 3*a**2 + 4*a + 5. Let q = -63 + 61. Let x be j(q). Are 11/8 and x equal?
False
Let z = 40590 + -1501926/37. Is z at least as big as -2?
False
Let m(a) = -2*a + 54. Let g be 6/(-4) + 1 + 86/4. Let k be m(g). Suppose 3*i - 2 = 2*n, n = i - 0*n - 1. Which is bigger: i or k?
k
Let z(g) = -551*g - 724. Let h be z(-8). Do 3683 and h have the same value?
False
Let o = 132 + -51. Let i = o - 105. Let m = 24 + i. Which is smaller: m or -1/12?
-1/12
Let r be 442953/(-88592) + 50 + -45. Which is greater: r or 0?
r
Suppose 46 = -17*i + 471. Let d be (-1)/(i/(-75) - 14/(-24)). Is -21 greater than or equal to d?
False
Suppose 10*r + 202 = -21*r - 12601. Which is greater: r or -410?
-410
Let n = 234778 + -1408777/6. Suppose -30 + 81 = -3*g. Is g less than or equal to n?
False
Let h(u) = -2*u**3 + 29*u**2 - 12*u + 146. Let j be h(-18). Which is smaller: j or 21421?
21421
Suppose 85*p - 92*p + 105 = 0. Let u be 39/105*(-25)/p. Is u >= -1?
True
Let a = -7370 - -7386. Which is smaller: a or -81?
-81
Suppose 18 