y - 3. Let o(f) = 11*b(f) - 4*j(f). Let v be o(2). Which is bigger: v or 0?
0
Let x = -8.52 + -8.48. Which is bigger: -3/13 or x?
-3/13
Suppose 0 = 2*h - 24 - 50. Suppose 3*y + 158 = -h. Let k = -66 - y. Is -1.9 at least as big as k?
False
Let x be (5 + 21/(-4))*(2 - (-90)/(-48)). Let w(l) = -l - 11. Let q be w(-7). Let m = q + 4. Is m < x?
False
Let c = -3.2809 + 1.7651. Let p = 98.4142 - c. Let h = p + -100. Is h bigger than 2?
False
Let g be 198 - 201 - 74/(-26). Let j(q) = q**2 + q - 1. Let d be j(-1). Which is smaller: g or d?
d
Let m be (-55)/44 + 615/(-12). Let x = 53 + m. Which is smaller: 55 or x?
x
Let t = -35 - -24. Let d be ((-1320)/44)/(2/(-19)). Let g be (-4)/(-38) + t/d. Which is greater: 1 or g?
1
Let b(x) = -8*x - 72. Let o be b(-9). Let j = 15/11 + -373/209. Which is smaller: o or j?
j
Let r be 44/132*(-12)/(-74054). Which is bigger: r or -1?
r
Let v be ((-36)/29802)/((-6)/24*12). Is v greater than or equal to 0?
True
Suppose 67999 = -64*k + 322655. Which is smaller: k or 3980?
k
Let u(m) = 4*m - 6. Let w be u(2). Let r be ((-7)/(7/6))/(-27 - w). Let t = r + -88/145. Is t smaller than -5?
False
Let q be (-30452)/(-6)*29/((-1334)/(-69)). Is q bigger than 7613?
False
Let c = 5407 - 5406. Is c greater than 46/961?
True
Let n = 8320 + -8546. Is n <= -246?
False
Let m = -1375.202 + 1374. Let x = m - -0.202. Which is bigger: 0.35 or x?
0.35
Suppose 5*h + 4*h = 171. Let x(i) = -2*i + i - i**2 + 5*i**2. Let z be x(-2). Which is bigger: z or h?
h
Suppose -434 = 25*d + 80*d - 43*d. Which is bigger: d or -1/249?
-1/249
Let c = 0.148 + 0.352. Let p = -20.6 - -20.7. Which is smaller: c or p?
p
Suppose -81*p - 1003 = 27*p - 16447. Suppose -423 = 3*c - 2*r, 61 - 350 = 2*c + r. Let y = c + p. Which is greater: 7/11 or y?
7/11
Let o = 60408 + -244095/4. Let h = o + 616. Is 176 at most as big as h?
False
Let f(v) = -5*v**2 - 5*v + 7. Let u be 6/(-15) + 176/40. Let b be f(u). Are -93 and b nonequal?
False
Let z(w) = -w + 6. Let o be z(-8). Suppose -1 = -5*f + o. Let y = -1551/40 + 207/5. Which is smaller: y or f?
y
Suppose 0 = 7*g - 12*g - 400. Let r be (-5 - -2)*g/60. Is r at most 3/4?
False
Suppose 0 = -5*v - 9*v - 2002. Let p = v - -137. Is p != -4?
True
Let p = 93 + -22. Let l = 143281 - 143280. Are l and p equal?
False
Let j = -846 - -349. Let u = j + 17389/35. Which is greater: u or 0?
0
Suppose 3*d = 4*d + 2*n + 1, n + 5 = -5*d. Is 1/7806 greater than d?
True
Suppose 5*i - 11*z = 41 - 4, -4 = -2*i - z. Suppose -2*m - 2*s + 24 = 2*s, 3*s = -3*m + 24. Suppose 0*v = -k + 2*v + m, k = v + 3. Is k <= i?
True
Let w = -2226 + 2299.55. Let u = w - 73. Are u and -2 unequal?
True
Suppose -d - a = -10262 + 641, a + 28867 = 3*d. Which is greater: 9624 or d?
9624
Let c = 31.1 - 0.1. Let s = 47 - c. Let h = s + -17. Which is bigger: h or 4?
4
Let u = 227 + -225. Suppose 20*z - 18 = u. Let j be -2*1*(-1)/2. Is z > j?
False
Let i be ((-2)/10)/(16/10). Suppose -209*m = -192*m - 17. Is m greater than or equal to i?
True
Let f(c) = 4*c**2 - c - 2. Let j be f(-1). Suppose 4*i - 14 = z - 3*z, j*i + 5*z = 7. Suppose 0 = -3*q + 2*s - 3, -i*q - 2*s - 4 = -s. Which is bigger: 5 or q?
5
Suppose 68*o - 69*o = 6. Let u be 20/15*o/(-7004). Let v = 7034/26265 - u. Which is bigger: -0.1 or v?
v
Suppose 5*o - 209 = 3*v, -67*o + 68*o - 5*v - 55 = 0. Is 25 not equal to o?
True
Let l(y) = -55*y + 374. Let c be l(7). Let a be c/(308/(-12))*(-38)/(-3). Suppose m = 2*m - 2*w - 16, 0 = -2*w - 10. Which is smaller: a or m?
a
Let d = -0.4 + -0.6. Let u = 1.37 - 1.41. Let h = -16.96 + u. Are h and d nonequal?
True
Let p(l) = l**3 - 16*l**2 + 47*l + 6. Let o be p(12). Let f be ((36/(-6))/o)/(1/13). Is 15 <= f?
False
Let l = -225.048 - -0.048. Let g = -224 - l. Is -0.46 bigger than g?
False
Suppose 6*u - 27 = 915. Let k be u + (4 - (-2 + 4)). Is 158 smaller than k?
True
Suppose 4*z - 2*i = -2, z - 3*i - 2*i + 5 = 0. Let t = 66 - -172. Let l = -1423/6 + t. Do z and l have the same value?
False
Let m = -811 + 495. Let a = m + 321. Which is smaller: 39/8 or a?
39/8
Suppose j = -b - 0 + 4, 5*b - j - 14 = 0. Let q be (10 + 2)*(3 - 5/b). Is 76/5 at most q?
True
Suppose -16*o + 1 = 5 - 20. Which is bigger: 10/1403 or o?
o
Let j(u) = -u**2 + 83*u - 1. Let q be j(83). Is 4/633 <= q?
False
Let k be 405/12 + 10/40. Suppose 5 = 5*i, 0*i + 4*i = -g - k. Let q = 25 + -74/3. Is q equal to g?
False
Let q(p) = p**3 + p**2 - 53*p. Let d be q(-8). Is -476/19 > d?
False
Let a(v) = v**2 - 2*v - 2. Let x(s) = -4*s**2 + 15*s + 24. Let q(f) = 3*a(f) + x(f). Let d be (-15)/(-2)*4/3. Let h be q(d). Do 8 and h have different values?
False
Let o be ((1 - -3)/(-1)*-1)/1. Suppose 3*z - 4*h = 13, 3*z + 3*h - 1 = o*h. Let i = 2474/5 + -497. Are i and z equal?
False
Let d be (-107)/7 - 92/(-322). Let m be d/5*(8/(-18))/2. Is m smaller than 2/7?
False
Suppose 3*q - 14*q + 187 = 0. Let n(r) = r + 9. Let p be 5 + (0/3 - -3). Let i be n(p). Do q and i have the same value?
True
Suppose v + 39 = q, 56 = -5*q + 4*v + 255. Suppose -w - q + 42 = 0. Let k be (14/(-5 + 4))/((-1)/w). Which is greater: -16 or k?
k
Let a = -52.6 - 127.3. Let b = -180 - a. Which is bigger: b or -48?
b
Let g = 61 - 62. Let k be -2 + 0*(-1)/2. Let s be 0/6 + (k + 0)/6. Are s and g equal?
False
Let o(a) = -24*a**3 - 4*a**2 - 2*a + 1. Let d be o(2). Suppose 2*p + 5*j + 863 = -2*p, 2*p + 2*j + 430 = 0. Is p less than or equal to d?
True
Let j be (-1)/7*-103 - (-72)/(-18). Which is greater: j or 10?
j
Let z be 1185/(-20)*26/6. Let y = 256 + z. Which is smaller: 11 or y?
y
Suppose 0 = -5*g - 2*b + 7*b, -14 = -4*g - 3*b. Suppose g*k - 47 = -53. Let y = -3888/5 - -775. Which is smaller: y or k?
k
Let z = -89959 + 184893/2. Which is greater: z or 2488?
2488
Suppose 0 = 6*z - 678 - 246. Let m = -168 + z. Let q be -1*((-1)/(-1) + 11). Is q at least as big as m?
True
Let r = -5433/2080 - -5/416. Is r at most as big as 16?
True
Let v = -76.7089 - -37.7089. Let f be 2/8*2 + -1. Which is smaller: f or v?
v
Let y = 6001 - 6111. Which is smaller: y or -113?
-113
Let t = -3.97 - -2.07. Is 7.1 < t?
False
Suppose 0 = -1300*g + 1229*g - 146473. Which is smaller: g or -2064?
-2064
Suppose -5*a + 8 - 18 = 0. Suppose 5*s + 4*l - 91 = 0, -3*l - 24 = -s + 2*l. Let n = -19 + s. Do a and n have different values?
True
Suppose -260 = 14*k - 330. Let v be 3/k - (-1)/((-65)/(-26)). Let w = -3 + 10. Is w <= v?
False
Let p = 97070 + -1068531/11. Is p at most as big as -69?
True
Suppose -5*r + 970 - 975 = 0. Which is greater: r or 1/17195?
1/17195
Suppose 7*u - 1264 + 4155 = 0. Is -423 less than or equal to u?
True
Let n = -393059/455 - -4319/5. Which is smaller: 1 or n?
n
Let i = 68 + -67. Which is bigger: -406 or i?
i
Let b(o) = -152*o - 36. Let u be b(2). Let j = u + 285. Do j and -56 have different values?
True
Suppose -62 = 3*s - s. Let g be (14/(-49))/((-1)/119). Let q = g + s. Which is smaller: q or 2?
2
Suppose n + 17 = 20. Let y be -2 - ((-3)/n + 0/1). Is -3 > y?
False
Let f = 3 + 0. Suppose 5*m + 147 = -y, m = -5*y + 4*m - 875. Let q = y + 1216/7. Which is bigger: q or f?
f
Let v(x) = 2*x**3 + 28*x**2 - 64*x - 20. Let j be v(-17). Which is smaller: j or -669?
-669
Let f(n) = 2*n. Let a be f(5). Let d be 6245/(-30) + 3/18. Let t = -198 - d. Is t equal to a?
True
Let p = 135.4 - 137.189. Are p and -2/5 equal?
False
Suppose 3*j - 117 - 231 = 0. Let q = j - 114. Suppose -2*h - 18 = q*b, 4*b = -h - h - 20. Are -8 and h nonequal?
False
Let h = -19 + 24. Suppose m + 3*m - 14 = -2*g, 0 = 3*m + h*g - 28. Let d be (0/3)/((-4)/m). Which is smaller: -2 or d?
-2
Let h = 331 + -891. Let b = h + 62. Is -1/4 greater than or equal to b?
True
Let j be 252/(-5) + 10/25. Let p = 3287 + -3289. Let t be (8/20)/(p/j). Is t bigger than 11?
False
Suppose -28 + 134 = -2*y. Let g = -10 - y. Which is smaller: 0.1 or g?
0.1
Suppose 2*w - q = -2*q + 3, 5*w + 4*q = 6. Let p be (w - (-30)/(-16)) + (-19)/(-4712). Is 0 <= p?
True
Let t be 2815/78285 - (-54)/(-1377). Are t and -1 nonequal?
True
Let u = -42 - -50. Let l be u/32 - (-5)/(-4). Let d = 0 - 4. Is l smaller than d?
False
Suppose 0 = 3*q - 4*j + 141, 0 = -8*q + 5*q - 4*j - 93. Let i(y) = y**2 + 8*y + 8. Let v be i(-7). Let f be (-310)/8 - v/4. Is f > q?
False
Let s = 1921418/4565 + -148/415. Is s less than 422?
True
Suppose 58*y - 6705 = 12