961 or a?
a
Let g be -5 - ((-24)/10 + (-6)/(-15)). Let z be g + ((-27)/(-3))/3. Suppose -n - 5*n - 12 = z. Which is greater: n or -1?
-1
Let h be 6/(-11) - (53062/15290 + (-176)/44). Which is smaller: h or 0?
h
Suppose -3*l + 601*g - 18 = 596*g, -l + g - 4 = 0. Which is greater: -2/1457 or l?
-2/1457
Let g be -6 + (2/(-4) - 215/(-10)). Suppose 0 = -0*w - 5*w + 25. Suppose -3*l + m + 43 = 0, -w*l + 3*m = m - 72. Which is bigger: l or g?
g
Let z be 14/(-483)*3 + 861/(-943). Let g = -8 - -11. Is g smaller than z?
False
Let g = -606/221 - -69/26. Let k = -47/238 + g. Is k at most 273?
True
Suppose 4*a - 30 = -5*j, -3*j + 2*a + 0*a + 18 = 0. Suppose -10 = 4*b - j. Let i be (-6)/18*-3*(-18)/123. Is b < i?
True
Suppose 63*k - f = 67*k - 9, -6*k + 2*f = -24. Is 864 >= k?
True
Let l be (15/12)/((-10)/(-48)). Let z be 1 + l - (-20)/5. Which is greater: z or 87/7?
87/7
Let g = 25265.8 - 25265. Which is smaller: g or 0.583?
0.583
Let o = 128 - 130. Let l = 2.046 + o. Which is smaller: l or -2/7?
-2/7
Let l = 50.006 - 48.95. Is l > 2?
False
Let a(n) = -n**2 + 6*n + 15. Suppose -2*r + 6 = 7*k - 9*k, r + 5*k - 3 = 0. Suppose -4*d = -r*d - 6. Let q be a(d). Is q <= 15?
True
Let f be -22 - 5*(0 - -1). Let i = f - -30. Suppose -1 = i*q - v, -4*q + 3 = -2*v + 7. Is q > 0.03?
True
Let c = 35624 + 181004. Let s = c + -2807383/13. Let u = -675 + s. Is u at least -1?
True
Suppose 6*i - i - 40 = 5*d, 0 = 4*i + 2*d - 8. Suppose -179 = -i*j - 171. Which is greater: 0.16 or j?
j
Let l = -156.1 + 156. Let u = -0.8 + l. Let n = 0.04 - 0.02. Is u greater than n?
False
Let q = 26 - -153. Let f = 179 - q. Which is bigger: -0.043 or f?
f
Let o be 40*(-51)/(-136)*2*3/54. Is -381 at least as big as o?
False
Let n = -312485814783904/5200802712567 + 2/3401440623. Let u = 73/417 + n. Let m = u + 60. Is -1 > m?
False
Suppose -419*l + 4 = -420*l. Let i be (-1 + -1 - -37) + (l - -2). Which is smaller: i or 3?
3
Let k(c) = -6*c + 5. Let j(t) = 2*t. Let o(v) = -10*j(v) - 2*k(v). Let s be o(-6). Let r = s - 73. Do -36 and r have different values?
True
Let m(f) = -f**3 + 6*f**2 + f + 45. Let l be m(7). Suppose 5*p = -25, 0 = -n + 2*n - l*p + 96. Do -111 and n have the same value?
True
Suppose -3*u + 6 + 3 = 0. Suppose -14 - 1 = -u*f. Suppose 0 = 9*o + f - 23. Is 9/8 >= o?
False
Suppose 3*g = 2*i + 2*i + 7, i = 2. Let c be (-12)/15*g/(-2) + 8. Suppose c = -3*o + 1. Which is greater: -14 or o?
o
Let t = -4853 + 4853.03. Which is greater: t or 3.33?
3.33
Let k = 1/556024 - 1827651047/88407816. Let x = -18/53 - k. Is x != 20?
True
Suppose 5*p - 36 = 3*p. Suppose p = 4*g + 6. Let k be (g/(-117))/(1/2 + -2). Is k at least 2/3?
False
Let x be 84/(-7)*(4 - 271/4). Let v = x + -3836/5. Are -3 and v equal?
False
Let p = 4.895 + -4.795. Which is smaller: p or -891?
-891
Suppose 734 = -4*y - 558. Let g = 315 + y. Is g less than or equal to -9?
False
Let d be ((8/(-6))/2)/(9/(3321/6)). Is d > -34?
False
Let s = -6493 - -6517. Let y be 6*1 + 1 + -1. Suppose y*q = -18 + s. Is q bigger than -1/10?
True
Let c be 1*17 + (-14)/7. Let w = 85/6 - c. Let z = 183 + -182.8. Do w and z have the same value?
False
Let t = 7417 + -7349. Is t equal to 60?
False
Let i = 268 + -110. Let d = i + -163. Which is smaller: -20 or d?
-20
Let o = 7931 - 8154. Is 1 >= o?
True
Let h = 2765 + -22117/8. Is h < 0.024?
False
Let v(j) = -4*j**3 - 182*j**2 + 96*j + 301. Let n be v(-46). Which is smaller: n or 115?
115
Let a(x) = 22*x + 178. Let w be a(-8). Let t = -3 - -11. Is w < t?
True
Suppose -5*w + 0 - 6 = -2*x, 3 = w + x. Let v be (1/920)/((-20)/25). Is w greater than v?
True
Suppose -256207 - 1281 = 112*z. Is -2298 equal to z?
False
Let h be 3/9*(2 - 0). Let s(n) = -n**3 + 4*n**2 - 7*n + 36. Let v be s(5). Let r be v/(-14) + (10 + -14)/2. Which is smaller: r or h?
r
Suppose -35*v = -33*v - 208. Suppose 60 = v*r - 108*r. Which is greater: r or -14?
-14
Let p = 79005 - 246258587/3117. Let x = p - 2044/52989. Let g = 0.21 - 0.2. Are g and x non-equal?
True
Let o(q) = -q**2 - 18*q + 1227. Let c be o(-27). Is -2 bigger than c?
False
Suppose -160 = 3*u + 173. Let d = u + 554/5. Is 19 smaller than d?
False
Suppose -5*w - 14 = 6. Let s = w + 3. Let z be -6 + 4/((-132)/(-195)). Which is greater: s or z?
z
Let r = 20161.22 - 20168. Which is bigger: 10 or r?
10
Let x be (-2)/12 - 122227/(-114). Suppose -2*l = -2*b - x, -4*b - 1204 = 5*l + 913. Is -532 >= b?
True
Let v = -4567.917 + 4568. Which is smaller: v or 0.11?
v
Suppose 3*v = s + 8571 - 2260, 0 = -v - 4. Is s != -6322?
True
Let z be (96/252)/(20/35). Are z and -324 nonequal?
True
Let t(o) = -6*o + 43. Let c(g) = 5*g - 43. Let p(f) = 4*c(f) + 3*t(f). Suppose 2*w - 19*w + 136 = 0. Let a be p(w). Is -27 <= a?
True
Let b be (-14)/35 + 53198/(-60). Let g = b + 887. Let m = 0 + -1. Which is greater: g or m?
g
Let t = -965 - -1893/2. Let r = 16 + t. Let h(w) = w**2 - 19*w + 44. Let z be h(16). Which is bigger: r or z?
r
Suppose 0*c + 2*t - 7 = 3*c, c - 3*t + 7 = 0. Let y = -387097/111 - -10462/3. Which is smaller: y or c?
c
Let g be -57 + ((-35)/11 - 6/(-33)). Let y = g + 132. Let m = y + -72. Which is smaller: m or -2/175?
-2/175
Let n be 9/4 - (-18)/(-72)*13. Which is bigger: n or 9/68?
9/68
Let g be ((-10)/(-8))/(7 + 4319/(-616)). Let w = 76 - 187. Is g not equal to w?
True
Let v(d) = 36*d**2 - 2*d - 2. Let l be v(-1). Suppose -l*a + 38*a - 46 = 0. Is 22 greater than or equal to a?
False
Let a = -100 + 56. Let p = 89/2 + a. Let b = -8 + 8. Is b > p?
False
Let j = -2/35 - -39/70. Let d be 130/4*96/40. Suppose -3*u + d = -3*y, -3*y - 33 - 45 = -4*u. Which is smaller: y or j?
y
Let p = -3649/34125 - -4/1365. Is -1 > p?
False
Let j = 258.2 + -217. Let k = j - -3.8. Which is smaller: 1/5 or k?
1/5
Suppose -5*t = -d + 812, -d - 100 = -11*t - 942. Is 3939/5 > d?
True
Let n(j) = -j**3 + 21*j**2 - 47*j + 6. Let c be n(19). Let p = c + 166. Which is bigger: 2/125 or p?
p
Let j(q) = -q - 1. Let d be j(-1). Let l = -11082 - -11085. Is d at least as big as l?
False
Let r = -14084 - -14089.993. Let v = 0.14 - 0.147. Let l = v - r. Which is bigger: l or -1?
-1
Let x be ((-5)/5*24 + 5)*14. Let h be x/(6 + 1) + 3. Which is greater: -168/5 or h?
-168/5
Let p(f) = f**3 + 5*f**2 - 7*f - 7. Let v be p(-5). Let h be (4 + 3)*40/v. Let a be (5*1)/(14/28). Is a greater than or equal to h?
True
Let y = -1794 - -1858. Let b = -77 + 140. Which is greater: b or y?
y
Let m = 4070.07 - 4077. Which is greater: -1/2 or m?
-1/2
Let i = -6071 - -24285/4. Which is smaller: i or 1007?
i
Let b = 51 - 67. Let o be b/48 - (-22)/3. Is 9 equal to o?
False
Let o(z) = -4*z**3 - 4*z**2 + z + 10. Let l be o(-3). Suppose -21*b + 22*b - l = 0. Let x be 3*1/(-6) - b/(-154). Which is bigger: 0 or x?
x
Let v be (-2)/(-12)*(-24)/9. Let p(s) = s**3 + 2*s**2 + 2*s + 4. Let q(o) = -2*o**2 - 23*o + 10. Let k be q(-12). Let i be p(k). Which is smaller: v or i?
v
Let r = 2871 + -2822. Let k = 58.25 - 0.25. Let n = k - r. Which is smaller: n or 0?
0
Let j be (168/12)/(2 - 51/27). Let c be (j/12)/1*(-2)/534. Is 1 not equal to c?
True
Let i(j) = j**3 - 15*j**2 + 16*j + 22. Let p be i(10). Let q = p - -284. Is q greater than or equal to -34?
True
Suppose 0 = -u + s - 1154 + 327, u = -s - 833. Is -827 <= u?
False
Suppose u + a = 8, -u + 11*a = 10*a - 20. Let t be (-28)/(-1)*(-1)/(-2). Suppose t = 3*q - 34. Is q != u?
True
Let x be 3/(-9)*1 - 1/(-3). Suppose 15 = 12*s - 7*s. Suppose s*b = 2*z - 0 + 3, 0 = -4*b + z - 1. Which is smaller: x or b?
b
Let a = 0.029 - 0.057. Let j = a - 0.062. Is j <= 2/9?
True
Suppose 3*c + 36 = 4*n + 4*c, -2*n - 5*c = 0. Let b(i) = i**2 + 91*i + 669. Let o be b(-83). Are o and n unequal?
True
Let r be 4/2 + ((-52474)/(-14) - 8/56). Which is smaller: 3751 or r?
r
Suppose -48 = -4*h - 5*j, 6*j = 3*j + 12. Let d = 109639 + -1425222/13. Which is greater: h or d?
h
Let q = 2267 + -2180. Let f = 5 + -5. Is f greater than q?
False
Let x(f) be the first derivative of 2*f**2 + 112*f - 102. Let d be x(-28). Let k be (9/(-21))/((-6)/(-8)). Which is smaller: k or d?
k
Let z be (-2 - (-2 - 1))*0. Suppose -5*p = a - 63, -3*p + 403 = -27*a + 32*a. Does z = a?
False
Suppose -22*z + 3196 = 25*z. Let y = z - 69. Let t be (-18)/(-21)*2/15. Is y equal to t?
False
Let o = 51183 - 155321/3. Which is greater: o or -592?
o
Suppose 0*z =