o = 328 + -324. Suppose 3*u - 5*u = 4*x - 232, -x - 2*u + 52 = 0. Let q be o/3*x/260. Which is greater: 1 or q?
1
Let a(i) = 9*i - 301. Let k be a(43). Which is smaller: 81 or k?
81
Let u = 25 - 27. Let n be -3*(u - -1) - 5. Are n and -18 equal?
False
Let y(g) = -g**3 - 9*g**2 + 3*g + 8. Let k be y(-7). Let u = k - -112. Is 12/19 > u?
False
Suppose 4*w + m + 203 = 0, -4*w - 3*m = 122 + 71. Let j = w + 37. Let p be -2 + 2 - 2/(-9). Which is smaller: j or p?
j
Let b be 292/(-1)*-7*(-9)/126. Let u = 131 + b. Is -13 smaller than u?
False
Suppose 5*x - 5 = -0*x, 5*g = -5*x - 15. Let q be -2*(-2)/g*23. Is q less than or equal to 1/2?
True
Let o be (408/(-66) + 6)*(-13 - 0). Suppose 0 = -y - 4*n - 5 + 16, -5*y + 2*n + 11 = 0. Do y and o have different values?
True
Suppose 15*j - 2061 - 1059 = 0. Let x = j + -1454/7. Which is bigger: x or 2/67?
x
Suppose -2*r + 986160 = 2*r + 52*r. Are r and 17610 nonequal?
False
Let z be 7/(-84)*4*(-8950)/66. Let p = -309/11 + z. Which is bigger: p or 17?
p
Let h = -4517 - -4515. Let a be ((-1590)/9)/(26/297). Let s = a + 2017. Which is smaller: s or h?
h
Let i = 1223/330 + -213/55. Which is greater: -3/3368 or i?
-3/3368
Let g(t) = 5*t**3 - 30*t**2 - 2 - 2*t**3 + 4*t**3 - 6*t**3. Let b be g(30). Is b at least as big as -6/5?
False
Let x be ((-9)/2)/(9/(-18)). Suppose 8*a - x*a = 3*u + 7, 0 = 3*a - 2*u - 1. Do a and -1 have the same value?
True
Suppose 11*z + 3*p - 3071 = 7*z, -z + 5*p = -785. Let t = 771 - z. Which is greater: -422 or t?
t
Let h = -80.92 + 81.63. Which is greater: 10/19 or h?
h
Let h = 24042 - 23978. Is h smaller than -24?
False
Suppose 2*x + 4*n = 6*x - 72, 3*x - 4*n - 52 = 0. Let s(y) = -4*y + 80. Let l be s(x). Let f be -3 - -2 - 94/(-86). Which is smaller: f or l?
l
Let r be (-1)/(-4) - ((5694/(-1008))/1 - -6). Which is smaller: -1 or r?
-1
Suppose 3*n + 58 = -4*s - 8, 5 = -s + 5*n. Let k = s + 51. Suppose 0 = 9*w + k + 9. Which is smaller: -19/4 or w?
w
Let o = 5583 - 8343. Which is smaller: o or 0.1?
o
Let d = -10303 + 10910. Is d less than 606?
False
Let f be 2/2*(2 - 1). Suppose 12 = -97*s + 95*s. Let q be (-117)/(-19) + s + 1. Which is bigger: q or f?
q
Let d = 1/24050 - -9619/24050. Which is smaller: d or 7.05?
d
Suppose -9*r = -10*r - 18. Suppose 8 = 4*p, -p + 41 = 243*j - 246*j. Which is smaller: j or r?
r
Let j(x) = -12*x + 14. Let o(s) = 3*s**2 - 8*s + 1. Let z be o(3). Let i be j(z). Let c = -78 - -43. Is c less than i?
True
Let p = -2283407/55 + 41518. Which is bigger: 3 or p?
3
Let s be (1 - 1)/3 - (2 + -6). Let o(m) = -m**2 - 2*m + 23. Let l be o(s). Which is smaller: -1/290 or l?
l
Let u = 0.364 + 3.236. Let k = -1.4 - u. Is 2 at most as big as k?
False
Let n = 4 + 0. Suppose -2*p + n*p + 4 = 0. Let q = -13.74 - -13.84. Is p greater than or equal to q?
False
Let j(m) = 164*m**2 + 73*m + 59. Let d be j(-3). Is 1314 less than d?
True
Let b = 10 - 5. Suppose 4*t = 4*g + 8, 6*t = 2*t + 12. Let l(p) = 6*p - 2. Let z be l(g). Is b > z?
True
Let v = -68095/44 + 1548. Which is smaller: -1 or v?
-1
Suppose -15*s + 13237 = 4537. Which is smaller: 577 or s?
577
Let v = 3597 + -3227. Which is greater: 2 or v?
v
Let o be (1 - 2) + (11 - 7). Suppose 2*t = o*t + 2. Let j be ((-8)/24)/(3/t). Is j less than 1?
True
Let x = 21.9 - 469.9. Let q = 419 + x. Let l(v) = v + 5. Let k be l(-6). Is k at least q?
True
Let q = 250 + -250. Suppose 14 = 3*k - 5*w + 246, -4*k + 5*w - 301 = q. Which is bigger: k or -70?
k
Let f(t) = -3*t**2 - 20*t + 17. Let b be f(-8). Let m = -406 - -138. Let p be (-1)/4 - m/(-16). Which is smaller: b or p?
p
Suppose -12*o - 5*o + 1581 = 0. Let h be 8/35 - o/310. Which is smaller: -1 or h?
-1
Let b be (-24)/320*-5*2/(-3). Let f = -2.23 + 3.1. Is b > f?
False
Let j be 2/11 - (-5 + 89070/(-6578)). Let m = 240/13 - j. Which is greater: m or 1?
1
Let h be 130/975 - (-3829)/(-28755). Which is smaller: h or 1?
h
Let i = 267 - 3468/13. Suppose 0 = -5*u - 2*m + 18, 87*u + 2*m = 85*u + 6. Suppose -u*h = -4*w - 20, 42 = 3*h + 4*w + 55. Is i < h?
True
Suppose -183*h + 129920 = -55*h. Which is smaller: h or 1016?
h
Let x = -687.6829 - 1.3171. Is x greater than or equal to -8?
False
Let x(w) = -3*w**2 - 18*w + 842. Let k be x(14). Which is bigger: 20/23 or k?
k
Let o be 4/18*6/(-26030). Which is smaller: 1 or o?
o
Let f(w) = 20*w - 324 + 80 - 23*w - 29*w. Let s be f(-7). Is s bigger than -204/11?
False
Let b = 709/169 + 12538/169. Are 79 and b non-equal?
True
Let y be ((-34)/(-6))/((-317)/1902). Is y < -51?
False
Let t = 139937 + -2658207/19. Which is smaller: 2/7 or t?
2/7
Suppose -5*z = x + 15, -2*x - 3*z + 129 = 138. Which is greater: x or 1/34702?
1/34702
Let l = -664 + 637. Which is smaller: l or 29?
l
Suppose 3*c - 12*s - 11 = -14*s, -5*s = -2*c + 20. Suppose 39 = -2*v - c. Which is bigger: v or -23?
v
Let y = 40 - 95. Suppose 36*s - 35*s = 2*g - 34, -5*s = -3*g + 72. Which is smaller: y or s?
y
Let g(r) = 7*r + 61. Let c be g(-7). Let w = 459 - 895/2. Which is smaller: w or c?
w
Let u be 2/8 - 30/(-8). Suppose -a + u*k + 21 = -0*a, 0 = -a - 4*k - 19. Let z be (24/(32736/31))/(1/(-3)*-1). Are z and a equal?
False
Let s be ((-84)/2128)/(9/(-195)). Let l = -21/19 + s. Let x = 0.38 + 0.02. Which is smaller: x or l?
l
Let i = 490.816761 - -0.043239. Let l = 540.8 - i. Let g = -50 + l. Is g > -0.2?
True
Let f = -50 + 127. Let c = 95 - f. Is 2 < c?
True
Let c(y) = y**2 + 7*y + 6. Let j be c(-7). Let u(t) = -t**2 + t - 1. Let f be u(1). Let s be ((-10)/f)/(1 - -1). Is j equal to s?
False
Let j = -151 - -151. Suppose -5*w - 3*w + 16 = j. Suppose 3*s - 4*r - 101 = -5*r, -79 = -w*s - 3*r. Which is bigger: s or 31?
s
Let i(s) = s + 1. Suppose 4*n = -0*n. Let z be i(n). Let q = 6432 - 2514910/391. Is q <= z?
True
Let b(j) = -j**3 + 17*j**2 + 19*j + 372. Let r be b(19). Which is smaller: r or 116?
r
Let r(v) = v**3 + 11*v**2 - 11*v + 11. Let w be r(-12). Let t(c) = 27*c**3 - c. Let j be t(1). Let q be j/8 + 3/(-1). Which is smaller: q or w?
w
Let q = -160 + 713. Let r = -558.21 + q. Let f = r - -0.21. Is -0.1 < f?
False
Let x be (-3)/(-15) + 58/10. Suppose 4*c + 25 = 5*o, -3*c - 20 = -x*c - 4*o. Let y be 7*3/(-15) + 1. Which is bigger: c or y?
c
Let f be (3 - 89) + -2 + 5. Let w = -1519 - -1518. Is w at least as big as f?
True
Let x be 8/8 - (636/(-330))/(-2). Suppose q + 3*c - 5 = -0*q, 0 = -2*q + 2*c + 2. Is x >= q?
False
Let a = -105002/15 - -7000. Which is smaller: 27 or a?
a
Let g(l) = 608*l - 1216. Let c be g(2). Are 5/406 and c equal?
False
Let s = -22779 + 22778. Is s greater than 4/91?
False
Suppose 5*d = -5 + 10. Let w(o) = -o**2 + 11*o - 35. Let p = 969 + -963. Let n be w(p). Which is bigger: n or d?
d
Let p be (38 - 30 - (-2 + 2809)) + 6. Which is bigger: p or -0.1?
-0.1
Suppose 0 = -17*x - 35848 + 9124. Is x at least as big as -1571?
False
Let f = -36 - -35.112. Let i = 0.112 - f. Which is greater: -12 or i?
i
Suppose 4*z + 54 = -70. Let c = -27 - z. Suppose -q + 40 = -2*y, -62 = c*y - 5*q + 12. Is y greater than -24?
True
Let h be (-6)/21 + (-5)/(105/36). Let t = h - -5. Suppose -3*w = 4*q + 5, t*q + 2*w - 18 = 7*w. Which is bigger: q or -3?
q
Let v be (45/(-42))/((-576)/(-1056)). Which is smaller: -2 or v?
-2
Let c(h) = 4*h**2 + 13*h + 5. Let y be c(-3). Let f be (-1 + y/(-4))/((-267)/(-356)). Is f > -14/13?
False
Let t(b) = b**2 + 10*b + 14. Let l be t(-8). Let d be (-29 - 6/l)*(-9)/6. Suppose -d*v = -36*v. Is v greater than -2/27?
True
Suppose 7*a - 55 = 2*a. Suppose -4*m + 5*m - a = -3*u, -5*u + 2*m = 0. Let g be ((-4)/3)/(-2)*(-1 - 2). Which is greater: g or u?
u
Let k = -12 + 5. Let n = 279 + -277. Suppose -1 + 0 = 2*r + 3*p, -r = 4*p - n. Are k and r equal?
False
Let b = 39559 + -1740677/44. Is b < -3?
False
Let k(q) = 107*q**2 + 73*q + 1. Let m be k(-3). Let n be -9 - (-3 - 8) - (m + 1). Which is bigger: n or -745?
n
Suppose -12*y - 7 = -11*y + u, -y + u - 9 = 0. Let f be y/(-28) - (-1 - 80/(-35)). Which is smaller: f or -1/13?
f
Let h be (-168)/1620*(-12)/14. Let m = -806 - -807. Which is smaller: h or m?
h
Let h(g) be the third derivative of -g**3/3 + 13*g**2. Let k(d) = -7*d - 28. Let q(s) = 7*h(s) - k(s). Let p be q(-2). Is 0 > p?
False
Suppose -88*s - c - 6 = -84*s, -3*s - 4*c - 11 = 0. Which is smaller: s or -46/77?
s
Let i be (-1792)/(-2820)*100/20. Is 2 >= i?
Fal