u or -16/15?
-16/15
Let x = 618 + -510. Let o = 78 + x. Which is bigger: 187 or o?
187
Suppose -26*t + 83 = 5*f - 27*t, -5*f + 77 = -4*t. Let j = -46 + 25. Let z be f/33 + (j/(-9))/(-7). Which is bigger: z or 4?
4
Let y = 2321 - 1518.1. Let v = -762 + y. Let s = 41 - v. Do 0.2 and s have the same value?
False
Suppose 4*q - 24 = s, 2 + 35 = -3*s + 5*q. Let h(i) = 2*i + 3. Let k be h(-4). Is s smaller than k?
False
Let c = 2119/12320 - 1/1760. Let n = 33 - 17. Let x = n - 17. Which is bigger: c or x?
c
Let y = 2104 + -23162/11. Let h = 212/143 + y. Which is bigger: h or -8?
h
Let m = 3318 - 3038. Which is smaller: m or 1?
1
Let k be 1470/180 - (16 - 5 - 5). Let u = -292/5 - -58. Which is smaller: k or u?
u
Let n = 34 - 32. Suppose 429 = -n*w - 9*w. Let q = w + 49. Which is smaller: 0 or q?
0
Suppose 24*t + 325 - 647 = -298. Let y = 4 + -1. Let o be y*(6/657 - 0). Which is smaller: o or t?
o
Let n = 25000 + -174739/7. Which is greater: 1/7 or n?
n
Let q(t) = -600*t**2 + 279*t - 44. Let i be q(4). Are -17053/2 and i equal?
False
Let n = 25608.239 + -25579. Let u = n + -0.239. Which is greater: u or -0.1?
u
Let p(i) = -i**3 + i**2 + 6*i - 1. Let b be p(3). Let m = 6684359 + -280724135/42. Let n = -451 + m. Are b and n equal?
False
Let u = -9 - -13. Suppose 0 = 2*v + 3*o - 10, 4*v + 2*o + 3*o - 18 = 0. Suppose u*l + a - 2*a = -v, 4*a - 8 = l. Is -1/23 not equal to l?
True
Suppose 4*s + 35 = 5*s. Let z = -45 - -10. Let l = s + z. Is l > 2/3?
False
Let x = 40 + -35. Suppose -7*s = -3*s + 4, o = x*s + 11. Suppose -2*a + d - 4 = a, 2*d - o = 4*a. Are -2/69 and a equal?
False
Suppose k = -59 + 64. Suppose -3*q = -r - 4, 0 = -7*r + 3*r - k*q - 33. Which is greater: -14 or r?
r
Let a(l) be the second derivative of l**4 + 17*l**3/6 - 5*l**2/2 - 61*l. Let o be a(4). Which is smaller: 254 or o?
254
Suppose 57 = -5*b + 527. Which is bigger: 111 or b?
111
Let p(z) = z**2 + 10*z - 6. Suppose 40 + 12 = -4*k. Let w be p(k). Let b = -21 + w. Do b and 12 have different values?
False
Suppose -22*x + 7*x = 8*x - 132848. Which is bigger: 1 or x?
x
Let h be (1941/2 + -2)/(29/174) + 0. Are h and 5810 non-equal?
True
Let f(n) = -7*n - 61. Suppose -5*v - 2*c - 35 = 3*c, 5*v + 2*c + 38 = 0. Let a be f(v). Which is smaller: a or -4?
a
Suppose -19*l - 49 = 27. Let t be (34 - 31) + (l - 0) + 1. Let p be (-86)/80 - (-2 + 1). Which is smaller: p or t?
p
Suppose 6361 = -11*f - 20*f - 58460. Which is smaller: f or -2094?
-2094
Let x = 37.24 + -36. Let w = 1006 - 1005.66. Let h = w - x. Is h less than 0.6?
True
Let c(s) = -4*s - 24. Suppose 8*n - 7*n + 6 = 0. Let i be c(n). Let u = -2413/146269 - 3/1367. Is i > u?
True
Let n = 12212 + -12212. Is 65/186 at most n?
False
Let h = 322/27 - 75616/6345. Let g = 9794086793/2115 - 4630774. Let r = g - h. Is r at least as big as 1?
False
Let w = -2055/9262 - -36/421. Which is bigger: -46 or w?
w
Let l be (-1)/(4/8)*(-6)/(-4). Let n be 16*(9/(-2))/l. Let r be (-3)/(-9) - ((-1776)/(-18))/(-4). Which is smaller: r or n?
n
Suppose -10*s + 20 = -10. Suppose s*f - 528 = -3*o, -4*o = 6*f - 7*f + 186. Which is greater: f or 179?
179
Let q be (-60)/18*3/(-2). Suppose -q*f + c = 108, 0 = 3*f + 2*c + 2*c + 51. Suppose -133*s - 252 = -121*s. Are s and f unequal?
False
Let n = -548 + 550. Suppose 6 = -n*i + 8. Which is greater: i or 2/1593?
i
Let o(s) = 4*s**2 - 16*s. Let f be o(6). Suppose -8*x + f = -12*x. Is x equal to -6?
False
Let k = 1156 - 443. Which is greater: -8 or k?
k
Let g be (-2 - (-3 - -1))/(-3 - -5). Which is bigger: 45/56 or g?
45/56
Suppose -1884*v = -1885*v - 13. Which is bigger: v or -231/19?
-231/19
Let k(f) = -4*f**2 + 158*f - 16. Let o be k(38). Let n = -3.37 - -3.17. Is o less than or equal to n?
False
Let i be (-897)/121*(-28)/(-735). Let p = -2/605 + i. Is p < -27?
False
Suppose 263389 + 43120 = 86*g + 65537. Which is smaller: -1 or g?
-1
Let x be ((-2)/(-72))/((-161)/224). Which is smaller: 1 or x?
x
Let b be ((-10)/6)/((-1)/(-6)). Let k be -1 - (-2)/(b/(-5)). Let z = 25 - 36. Is k greater than z?
True
Let y be 341/(-31) - (5 - -2363). Do y and -2379 have the same value?
True
Let k = -253522/23 + 11021. Suppose 31*g = 20*g - 33. Is k at least as big as g?
True
Suppose 10*y - 12*y + 4 = 0. Suppose y*q - 9 = 5*q, 33 = 4*g - 3*q. Let v(t) = t**3 - 4*t**2 - 8*t + 9. Let l be v(g). Which is smaller: l or 34?
l
Let o(q) = 2*q**2 - 18*q - 130. Let m be o(14). Is -4 smaller than m?
True
Let x = 174.9867 - 175. Let l = -0.0167 + x. Which is bigger: -33 or l?
l
Suppose -349*u - 14492 = 4394 + 82673. Is u < -292?
False
Let p = 2/327 + -80/1199. Let i = -960 + 975. Suppose -3*a + 3*n + 2*n = i, -3 = -4*a - n. Is p bigger than a?
False
Let d = 9524 + -9701. Is -203 equal to d?
False
Suppose -2*c + 322 = 88. Suppose 5*p - 112 = -c. Let q be (-38)/(-48) + (-4)/24 + p. Which is smaller: q or 0?
q
Let h = 8437/14 + -603. Let a = h - -73/224. Which is bigger: a or -1?
a
Let c = -41606.74 + 41609. Is -29 bigger than c?
False
Suppose -5*g + 103 = -4*t - 192, 55 = -t - 5*g. Let l = -8163 - -8233. Let m = l + t. Is m at least as big as 0?
True
Suppose -4915 = -2*z + 3*b, 0 = 5*b - 542 + 527. Is 2461 less than or equal to z?
True
Let x = 48 - -7. Let w = x + -97.8. Let g = w + -7.2. Is 0.1 greater than g?
True
Let w = 39056/301 - -416/43. Which is bigger: 140 or w?
140
Let t be (-5*3)/(-5 + (-3730)/(-740)). Which is smaller: -368 or t?
t
Let z be 18/(-63)*(-2)/(18/(-21)). Are z and 374.2 non-equal?
True
Let a be ((-6)/10 + 45/75)/(-1). Let y(r) = -r**3 - r**2 + 4*r + 33. Let j be y(a). Does j = 31?
False
Let i be (3/(5 + -2))/1. Suppose i + 34 = 5*l. Suppose 6*u - 35 - l = 0. Are u and 6 equal?
False
Let g be (-6)/15*76/(-480). Let u = g + -1/20. Which is smaller: u or 1?
u
Suppose 13*y + 317 = 2033. Let b be 2/40*33330/y. Is b not equal to 13?
True
Let t(c) = -20*c**2 - 21*c. Let a be t(-1). Which is smaller: 1/9892 or a?
1/9892
Let l = -238 + 124. Let y be (-9)/l*14/21. Which is smaller: 0 or y?
0
Suppose 4*n = -3*m + 2608, 0*m - 3*m - 5*n = -2612. Suppose -4*v + m = -16*v. Which is smaller: v or -71?
v
Suppose 22 = -3*n + 169*a - 164*a, 4*n - 24 = -4*a. Which is smaller: 1/141 or n?
1/141
Let u be 4548/15*(-35)/(-14). Which is bigger: u or 747?
u
Let g = -136.7 - -143.7. Which is bigger: g or 82?
82
Let w be -1*1775/(-50)*-1. Let h = -1 - -1. Which is smaller: h or w?
w
Let m = 6262 + -6262. Is m > 1/6679?
False
Let k be 10543/(-36925) - 9*4/(-126). Is 0 != k?
True
Let p = 18 + 17. Let g = -37.6 + p. Let f = 2.6 + g. Which is smaller: f or 18?
f
Let x(q) = q**3 + q**2 - 2*q + 6. Let m be x(-3). Suppose -145 = -7*o - 19. Let w be 12/o - (-1 + 1). Which is greater: w or m?
w
Let p be (-12)/42 + (-38)/14. Let l be 23/(-63) - 1/p. Let m be ((-4)/16*0)/1. Which is bigger: l or m?
m
Let g = -2 + -8. Let n = -245 + 248. Let v be 5 - 55/(n - -2). Which is bigger: g or v?
v
Let q = -755 - -754.365. Let y = -66.365 + q. Which is smaller: y or -0.04?
y
Suppose -2*d = -n - 68, 5*d + 2*n - 276 = -142. Let k(m) = m**2 + 5*m + 1. Let r be k(-4). Which is bigger: d or r?
d
Let y be (6 - (5 - 0))/1. Let d be 0/y*(-8)/16. Let v be 1/(-1) + (-9)/(-24). Does d = v?
False
Let t(n) = n**3 - n + 5. Let m be t(0). Suppose 0 = -2*g - 3*v - 5, -m*v - 9 = -2*g + 6*g. Is g less than or equal to -1?
True
Let s = 81 + -76. Suppose 28 = 19*h - s*h. Suppose h*m = -10 + 16. Is m greater than 16/7?
True
Let w = 134245/4073 + 2834743513/724994. Let z = w + -3943. Is z at least as big as 0?
False
Let j = 22 - -29. Suppose -3*w - j = -2*n, 5*w = -2 - 3. Suppose -10*t = -6*t - n. Which is bigger: t or 4?
t
Let g = -1/19674 - -2784965/19674. Which is smaller: 142 or g?
g
Let z be (-5)/((-40)/8) - -36. Which is bigger: z or 414/11?
414/11
Let l(o) = -55*o + 385. Let a be l(-15). Is a > 1210?
False
Let h = -3174 + 3499. Which is smaller: 327 or h?
h
Let i = 882 + -877. Let d(f) = 35*f - 1. Let n be d(1). Suppose -4*m - 3*a + i = -32, 0 = -3*m - a + n. Is m > 14?
False
Let x = -2/1009 - 1005/2018. Is -9972/11 >= x?
False
Let n be (2 - 16/12 - 28)*171/(-38). Is n <= 172?
True
Let y be 17/255 - (-148)/30 - -71. Which is smaller: y or 78?
y
Let z be 12 - -4*3730/(-1560). Is 3 greater than or equal to z?
True
Suppose -2*f = -29*v + 25*v - 6434, -5*v = -f + 8032. Which is greater: v or -