 or 3?
3
Let l(f) = -73*f + 3000. Let a be l(69). Which is smaller: -2035 or a?
a
Let n = -799 - -8776/11. Let r = n - -15/22. Let m be ((15/(-2))/5)/(-15). Is r less than or equal to m?
True
Let u be 0*((-27)/4 - -7). Suppose -90 = -22*h + 13*h. Let f be 3 - (-3 - (-59)/h). Is u <= f?
True
Suppose 2*q = l - 2, -16*l + 13*l + 5 = -5*q. Are -2/3273 and l unequal?
True
Suppose -26*v + 21*v = -20. Suppose -7*k + v*k - 30 = 0. Let p be (-14)/((-34)/k + -1). Is -5 greater than p?
True
Let a = -4524 + 4525. Are 0.015 and a non-equal?
True
Let b(h) = -10*h**3 - 4*h**2 + 13*h - 110. Let l be b(7). Is -3645 greater than l?
False
Let p(v) = -6*v**3 + 3*v**2 + 8*v + 5. Let o be p(-3). Let a be 1*o/2*(-10)/(-25). Which is greater: a or 31?
a
Let q = 0.302 + -88.302. Let k = -96 - q. Is -28 greater than k?
False
Let n = 7/4071 + -26401/12986490. Which is smaller: 0 or n?
n
Let i = -2093.3 + 2093.4. Let n = -2/359 + 904/33387. Which is smaller: n or i?
n
Let n = 225 + -209. Suppose 7 = -9*l + n. Is 1/53 greater than or equal to l?
False
Let x = 0.4406 + -0.3906. Is -50/9 smaller than x?
True
Let l = 8.96 - 9.06. Let s = 7028.29 + -7186. Let v = -157 - s. Which is bigger: l or v?
v
Let g be (-7)/(-21)*(-2 + -4). Let d be 4 - (0 + g/(10/(-35))). Which is greater: d or -0.5?
-0.5
Let j(x) = -52*x + 1. Let m be j(1). Let h(b) = -b + 16. Let t be h(66). Let y = m - t. Which is smaller: y or 0?
y
Let b = -0.16 + -15.34. Let u = 14.5 + b. Are u and -51 nonequal?
True
Let c = 1311 + -1281. Which is smaller: c or 532/17?
c
Suppose -3*s - 100 = -2*c, 3*s - 240 = -5*c + 8*s. Let u(v) = -12*v - 386. Let o be u(-36). Which is greater: c or o?
o
Suppose 7*k - 3*k = 112. Suppose -19 = -a - 4*v, k - 8 = 5*v. Suppose a*z + 43 = -17. Is z >= -3?
False
Suppose -34*j - 13653 = 7155. Let u = -593 - j. Is u at least as big as 19?
True
Let n(k) = -k**2 - k + 14. Let x be n(-4). Suppose -2*q - 130 = -2*o, 12*q - 9*q + 191 = x*o. Is q less than or equal to -61?
True
Suppose 127 - 5 = 2*y. Let w = -138 - -94. Let g = y + w. Which is bigger: g or 16?
g
Let b = 116629 + -586216/5. Is b less than 0?
True
Let q = -151/12 - -73/4. Let y = 6.1 + -6. Which is smaller: q or y?
y
Suppose 5*z - 342 + 965 = a, 1254 = 2*a - 2*z. Is 642 > a?
True
Let l = 1 - 0. Suppose -19 = -d + 3*f, 3*d = 2*f + 34 + 2. Let n be d/12*(-16)/(-30). Which is smaller: l or n?
n
Let a be (-136)/306*33/(-44). Is 15078 <= a?
False
Let r = -3 + 2.7. Let p = 0.0384 - -20.3416. Let o = -17.88 + p. Is o bigger than r?
True
Let m = -3282 - -3333. Is 80 >= m?
True
Let l be (164/5 - (-4)/20) + 0. Let d = -7 - -11. Let p be -2 + l + (d - 14/2). Is p less than or equal to 28?
True
Let m = -7100 + 7099.99. Which is bigger: -15/4 or m?
m
Let v = 97/93 + -13/62. Let s = 65.1 + -68. Let r = s - -3. Which is smaller: v or r?
r
Suppose -b + 6 = -0*b. Let l(v) = 2*v + 115. Let j be l(-48). Which is smaller: j or b?
b
Let n = -0.43 - -18.43. Let p = n + -18. Let v be 6/39 + (-98)/(-208). Which is smaller: v or p?
p
Suppose 4*t + 13*k - 8*k - 1551 = 0, 3*t - 1172 = -2*k. Let v = -387 + t. Is 87/11 at least as big as v?
True
Let h(f) = 11*f + 36. Let w(j) = -31*j - 108. Let a(t) = 8*h(t) + 3*w(t). Let n be a(0). Is n greater than or equal to -35?
False
Suppose 722*m - 866 = 720*m. Are 0.1 and m equal?
False
Suppose 0*l + 835 = -4*l + i, 5*l + 1055 = -i. Let h be 4/20 - (-22)/l. Let q = -0.1514 + 2.1514. Are q and h nonequal?
True
Let c(y) = -y**3 + 5*y**2 + 3*y - 22. Let j be c(4). Let z be (-2 - j/(-9))*(-234)/(-60). Does 1 = z?
False
Let v = -4.7 + -0.3. Let r = v + 5.1. Let u = 7/17 - 151/408. Which is smaller: u or r?
u
Let d be (-6 + 108/15)/(2/(-70)). Suppose 2*n = 3*b + b - 42, -63 = -4*b - 5*n. Let r be (-490)/12 + (-2)/b. Which is smaller: r or d?
d
Let c = -9352 + 9383. Which is smaller: 211/7 or c?
211/7
Let m(t) = t - 1 + 2 - 8 - 2*t. Let g(w) = w + 8. Let l(u) = 4*g(u) + 3*m(u). Let b be l(-8). Is b at least -0.6?
True
Suppose 2*i = -2*z - 12, -18 = 6*i - 3*i + 4*z. Let g be (-8)/12*-3 - (-16)/i. Which is smaller: g or 1/59?
g
Let o = -0.792 + 1.43. Let h = 0.412 - o. Is 2 at most as big as h?
False
Suppose -6*j = 32*j - 722. Suppose 0 = 4*v - c - 60, 0 = -5*v - 0*v + 3*c + 82. Is v <= j?
True
Suppose c - 3*r - 2427 = 1929, -4*c + 3*r = -17397. Is c at most 2/7?
False
Let y = 266 + -265.978. Let u = -26.378 + 26.6. Let h = y - u. Which is smaller: -1/3 or h?
-1/3
Let t = 32607 - 32599. Let y be 1/((-6)/(-35)) - -3. Is y smaller than t?
False
Let n = -176.86 + 59.8. Let z = 2339 + -2456. Let y = n - z. Does 1/7 = y?
False
Let d be 1/(-12) - 7800/(-89440). Which is greater: d or 0?
d
Let l = 8691.19 - 5.19. Which is greater: l or -1/3?
l
Let u = -566 + 328. Let b = -113 - u. Let z = -84 + b. Which is bigger: z or 42?
42
Let b = 15 - 15. Suppose -31 = -u - 28. Suppose -2*q + v + 4 - 1 = 0, -u*q + 3*v + 12 = 0. Is q smaller than b?
True
Let c = -0.5867 - -0.5867. Let u = -349 - -332.9. Let f = 2.1 + u. Is c at most as big as f?
False
Let t = -3.03 - -3. Let x = 0 + t. Let d = -14489 + 14489.4. Does x = d?
False
Let p = -12.091 - -11.891. Which is bigger: p or -6/6449?
-6/6449
Let q = 35 - 40. Let i(v) = -3*v**2 + 13*v + 29. Let l(t) = t**2 - 7*t - 15. Let n(k) = q*l(k) - 2*i(k). Let d be n(-5). Is -30/7 smaller than d?
True
Let o = 380 + -376. Let i be o/((-4008)/6006) + 6. Which is smaller: i or 0?
0
Let v(t) = t**2 + 2*t + 2. Let x be v(-2). Let c = 148250 - 738082/5. Let j = 636 - c. Is j > x?
True
Let r = -0.53 + 0.45. Let w = -0.18 - r. Is w less than or equal to 7/2?
True
Let t = 3215 + -3214. Is t greater than or equal to 39/434?
True
Let s = 22259 - 22266. Let v = 0.05 - -3.95. Is s at most v?
True
Let l = 847 + -835. Let k = -0.18 + -0.82. Which is greater: k or l?
l
Let o = 566 - 531. Let p be ((-2)/140)/(((-168)/o)/(-3)). Which is smaller: p or 2/7?
p
Let v = -19 + -81. Let f = v + 99.7. Let d = f + -1.7. Is d equal to 16?
False
Let q = -453.1084 - -0.1084. Let c = -452 - q. Which is bigger: 378 or c?
378
Suppose 4*q - 13*o - 1999 = -10*o, -3*o = 3*q - 1473. Let h = 534 - q. Which is smaller: 36 or h?
36
Let a(d) = -d**3 + 7*d**2 - 8*d + 7. Let b be a(6). Suppose 2*c = 12*c - 120. Suppose -4*o + 5*t = -o + 4, 0 = -5*o - t + c. Is b <= o?
True
Suppose -36*g + 3*s + 756 = -34*g, -3*s = 5*g - 1827. Is g >= -2?
True
Suppose -5*c + 21 = -4*y, c = 3*y + 7 + 6. Suppose 49*m = 82*m - 165. Suppose h - m*k - 26 = 0, 0 = 4*h + k + c. Is h > 1/18?
True
Let y = 19266.2 - 19265. Is y smaller than 395?
True
Let a(g) = 36*g**2 + g - 1. Let p be a(1). Suppose 4 = 4*d + 3*u + 2*u, 5*d = 3*u + 42. Suppose 4*s - p = -4*t, -t - 4*s + d*s + 9 = 0. Are -2 and t equal?
False
Suppose 165744 = 5*d + 3*s, 2*d + 2*s + 66304 = 4*d. Let o be (-4)/(-5) + d/125. Which is bigger: 265 or o?
o
Let y = -215.686 - 0.314. Let o = y - -218. Let i = -4 + 5.5. Are o and i equal?
False
Let y = -26 + 25.9. Let u = -2.7 - -30.7. Let o = -34 + u. Which is bigger: o or y?
y
Let z = -112.2 - 78.8. Let b = z - -190.9. Do -46.7 and b have the same value?
False
Suppose -5*s + 22*s = 188 + 2226. Is s greater than 425/3?
True
Suppose -b + 3*y = 2*y - 8, -2*b = -3*y - 19. Suppose -q = q - 10, 3*q - 60 = b*n. Let v be (-108)/44 - 3/(n/6). Does -1 = v?
False
Suppose 11*a - 155 + 1409 = 0. Let x = -113 - a. Do 4/73 and x have different values?
True
Suppose -4*g - 271 = -5*f, g = 2*g - 1. Let k = f + -58. Is k equal to 1/13?
False
Let c = 14196 + -14197. Which is smaller: 159/49 or c?
c
Suppose 1545 = -69*v + 84*v. Is v bigger than -17?
True
Let y be 10/4 + 1/2. Let l = y - 2. Let p = 1530539/14 + -109324. Which is greater: p or l?
l
Let k = -21070 - -27743. Is k != 6672?
True
Let l = 2/10533 - -119360/73731. Which is smaller: l or -1/3?
-1/3
Let b = -27669/25 - -1107. Let m = 26 + -21. Suppose -m*g - 1 = 4*t, g - 1 = -2*t - 0. Is g smaller than b?
True
Let d = 737 + -737. Which is greater: 26.8 or d?
26.8
Let f = 26.08 + -30.581. Let y = -0.001 - f. Let l = -4.6 + y. Which is bigger: -2/11 or l?
l
Let d be (-2)/(-3)*6/16. Let s = 39.56986 + -0.52286. Let j = -0.047 + s. Which is smaller: j or d?
d
Let f = -74 + 59. Let c be (-6)/f + 3516/(-15). Let i be (-10 - -2)/(-2)*45/c. Which is bigger: i or -2?
i
Let x be 0 + (-21 - -12 - 263). Which is greater: -274 or x?
x
Le