2). Let q be (1 + -3 - o)*(-24)/(-48). Is -1/110 less than or equal to q?
False
Let t(b) = -b**2 - 5*b + 4. Let y be t(-5). Suppose -4*o + 7*o = 3*h - 6, y*h = 20. Suppose -o*c + 24 = -7*c. Which is smaller: -3/4 or c?
c
Let l = -203 + 191.3. Let i = -24 - -13. Let v = i - l. Is 2 at most v?
False
Let h = -10218 + 10181. Is -1506/41 < h?
False
Let m = 409 - 340. Suppose -52 = 43*s - m*s. Is 9 smaller than s?
False
Let b(n) = 6*n - 9. Let c be 6/(-4 + 6 + 1). Let j be b(c). Suppose -r + 2*r = -j*d - 36, -2*d - 94 = 3*r. Is r not equal to -31?
True
Suppose 6*y - 27 - 1191 = 0. Suppose 0 = 2*z - 6, -5*z + 612 + y = -4*c. Let s = c - -2198/11. Which is bigger: s or 0?
0
Suppose -170*c - 30743 = -13103 + 13300. Which is greater: -46 or c?
-46
Let s be 6 + (-4444)/341 + -11 + 19. Is s > 0.04?
True
Suppose 6*v + 2*s = 2*v + 10, -5*s = v - 16. Let z = 1090/27 + -35015/864. Which is smaller: z or v?
z
Let z be (-100)/53 - 4/(-2). Let v be ((-2)/(-9))/(21*18/1701). Which is smaller: z or v?
z
Let d = 132.99 - 133. Let g = 0.051 - -24.949. Let t = g + -25.1. Which is bigger: t or d?
d
Let z be 12/(-10)*(-140)/6. Let b be -4 + (z/13 - -2). Is -1 equal to b?
False
Let r be (-13 - -9)/((-180)/(-30)). Is 63/8 at least r?
True
Suppose 19 - 16 = 4*r + 3*v, 9 = 2*r - v. Let g be 204/(-9)*9/(-6). Let q be (g/(-8))/(-1) - 2. Is r at least as big as q?
True
Let l(s) = s**2 - 7*s - 15. Let y be l(7). Let t be -4 - 30/(-9)*(-18)/y. Let j be t/((-20)/4) + -2. Which is smaller: j or -1?
j
Let r be 2/4*((-56196)/(-7749) + 1*-8). Is r at least as big as -1?
True
Let q be ((-3)/4)/((-6)/24). Suppose -1386 = q*y - 21*y. Which is smaller: 78 or y?
y
Let u be (-4)/10 - (-2277)/(-45). Let i = u + 50. Let l = i - 6. Is l smaller than -11?
False
Let w(h) = 22*h. Let l = -59 + 53. Let y be w(l). Let c = -1454/11 - y. Is -1 greater than or equal to c?
False
Suppose 6*a = -182 + 8. Let l be (11/(99/6))/(a/3). Is 1 less than or equal to l?
False
Suppose 4*t - 5*v - 77 = 0, t = 4*v + 14 + 8. Let w be (t + -50)/(3/(15/(-2))). Are 80 and w unequal?
False
Let d(j) = -j**3 - 2*j**2 + j - 29. Let p be d(-4). Which is smaller: -6/1193 or p?
p
Let h(a) = -747*a + 5*a**2 + 372*a + 377*a + a**3 + 9. Let x be 4 - 2 - (10 - (3 - 0)). Let t be h(x). Which is smaller: 3/19 or t?
t
Suppose 105*x + 95 = 100*x. Let k be (10 + -3)*1/x. Which is smaller: k or 1?
k
Let u = 1316 - 1316. Does 10/839 = u?
False
Suppose -1135*q + 16519 = -1084*q - 1688. Which is smaller: q or -2/3?
-2/3
Suppose 32*l + 13*l = -45. Let g(m) = 81*m - 3. Let c be g(2). Let v = -633/4 + c. Which is greater: l or v?
v
Let y = -108560 + 6730545/62. Which is bigger: -3 or y?
y
Let w be (3/(-265))/((-267)/(-178)). Suppose 6*h - h + 5 = 0. Which is smaller: h or w?
h
Let z = -377.1 + 182.4. Which is bigger: 1 or z?
1
Suppose 5*h + 1976 = h + 3*z, -2*h = 4*z + 966. Let l = h - -1445/3. Is l at least as big as -9?
False
Let d = 2 + -2. Suppose d = -3*t - 3*w - 87, -2*w + 34 + 33 = -3*t. Suppose -3*z - 2*j = 78, 14*z + 4*j + 290 + 58 = 0. Which is greater: z or t?
z
Let d = 871 + -486. Let r = 386 - d. Which is smaller: 1/5 or r?
1/5
Let f = 190 - 156. Suppose h = -f - 31. Does h = -64?
False
Let b = -1 + 3. Suppose 0 = b*z + z - 51. Let s be (28 - 516/18) + (-3)/((-36)/8). Which is smaller: z or s?
s
Let j = -19 - 15. Let w = -74 - j. Let i = w - -40.1. Is -14 greater than or equal to i?
False
Let o(n) = -n**2 - 20*n - 64. Let r be o(-16). Let c be (-4)/(-10) + 56/340*-1. Is c greater than or equal to r?
True
Let m = -5 - -13. Suppose -j - 44 = 5*r, -2 + m = -r - 3*j. Let x be 788/18 - 2/r. Which is greater: x or 45?
45
Let u = -20 - -17. Let m = 10 + u. Let h be 8/(m + -3)*1/2. Is 7 not equal to h?
True
Let c be ((-9)/88)/(((-147154)/56)/(-23) + 2). Which is smaller: -1 or c?
-1
Let j(v) = -2*v + 56. Let u be j(27). Suppose 2*g - 6 - u = 0. Suppose 3*o - 5*i = 17 - 0, -g*o = -3*i - 8. Which is smaller: 4/55 or o?
o
Let o be (2/(-4))/(351/26 - 13). Let q be (o + 2)*4/2. Is 10/3 > q?
True
Let c be (185/(-35) + 5)/((-1)/7). Let d be c*(1 + 1 + 196/8). Let x = d + -62. Is -6 less than or equal to x?
False
Let k be 1465291/318 - 1/(-6). Let u = k - 32414/7. Do u and -22 have different values?
True
Suppose 128226 = -304*n + 944*n + 354*n. Suppose 0 = s - 5*k - 134, 2*s - 254 = 2*k - 6*k. Is s < n?
False
Suppose h + 8 = 7. Let x be 23607/690 - -2 - h/5. Let g = 73/2 - x. Which is greater: g or -1?
g
Let y = -779/12 + -271/12. Let n = 87 + y. Which is bigger: n or 98?
98
Let s = 493 - 514. Is 265 not equal to s?
True
Let s = 1431256/3339 + -241/477. Let q = -427 + s. Which is smaller: -18 or q?
-18
Let d be (6 - 1) + (12 + (-82836)/6900)*959. Let c be (-1)/(-5) - 13/15. Are c and d nonequal?
True
Let o(p) = -3*p - 27. Let a be o(-9). Let f be (-26 + a)*(1 + -1 - 2). Is f >= 53?
False
Suppose 254*z - 5 = 259*z. Let i be ((-25)/(-85))/(-4 + 2). Which is smaller: z or i?
z
Let f(m) = -6*m**3 - 2*m**2 + 6*m + 21. Let u be f(8). Is -3131 greater than u?
False
Suppose -395*c = -394*c - 50. Let a = 9 + 42. Are a and c equal?
False
Let r(t) be the second derivative of -4*t**3/3 + 124*t**2 + 47*t. Let l be r(31). Which is smaller: l or -11/28?
-11/28
Let g = 31281 + -31462. Let c = 184 - 363. Is c equal to g?
False
Suppose 2*t - 30794 = -5*j, -25*j = -24*j + 2*t - 6162. Which is bigger: 6157 or j?
j
Let y = -3400/13 + 262. Suppose -4*a + 13*l - 5 = 10*l, 5*l - 11 = 4*a. Is y <= a?
True
Suppose 0*r + 3*o + 62 = 2*r, 0 = r + 2*o - 17. Let a = r + -25. Do a and 1/57 have the same value?
False
Suppose -10*k + 8*k = 5*b + 360, 2*k + 290 = -4*b. Suppose 0 = 3*h - i + 215, -3*h - 221 = -6*i + 2*i. Is h greater than b?
False
Suppose 0 = 18*i + 6 - 420. Suppose -i*z - 342 = -17*z. Which is smaller: -59 or z?
-59
Let o = -4.253 - -5.253. Which is bigger: -513 or o?
o
Let n = 465.2 + -76.2. Which is smaller: 13 or n?
13
Suppose 3*c - 8*c - 5 = 0. Let a = -826 + 823.3. Which is smaller: a or c?
a
Let k = 0.14812 - -0.05188. Is -999 smaller than k?
True
Let f be 1766753666/(-612) + (-17)/(-34). Let x = 2886862 + f. Let r = x + -92/9. Which is smaller: r or 0.4?
r
Let t = 50.9 + 259.1. Let l = 310.1 - t. Which is greater: l or 99?
99
Suppose g + 4 = 8. Let a be 4/(-6) + ((-6)/18 - -6). Suppose a*r + i + 8 = 23, 0 = 5*r + 4*i. Are g and r nonequal?
False
Let l = 75 + -85. Suppose 0 = -4*b + 5*a + 46, -3*a + a = -3*b + 31. Suppose 57*j + b = 60*j. Is j smaller than l?
False
Let f = 0.26078 - 0.16078. Which is greater: -2/4029 or f?
f
Suppose 0 = 3*h - 2*r - 668, -2*h - 3*r - 226 = -680. Suppose -h = -9*a + 559. Is a greater than 89?
False
Let n be 47/(-3) - (-1)/3. Let h(c) = c**3 + 7*c + 26*c**2 - 74 + 7 - 9*c. Let v be h(-26). Is n not equal to v?
True
Suppose -74*t = -259*t + 740. Do t and 36/13 have the same value?
False
Let l = -8703 + 8704. Suppose -6*h + 2*q = -h - 51, -42 = -4*h + 2*q. Suppose -a + p = 0, -5*a + h*a - l = 3*p. Which is smaller: 18 or a?
a
Let a = 6029 + -5739. Let p be (58/3)/((-3)/(-45)). Is p at least as big as a?
True
Let z be (2478/56)/(5129/4). Let l = z - -2/223. Let x = 49/69 - l. Is x >= 0?
True
Let y = -2537.1 + 2537. Which is bigger: y or 5.47?
5.47
Let m be 21/(-5) + (-2)/(-10). Let s = 93 + -87. Suppose s*y = 11*y + 60. Is m greater than y?
True
Let i = 50 + -45. Suppose v = 5, -4*l + 33 = -0*l + i*v. Let r be (3/l)/((-10)/(-8) + 1). Is -0.1 at most r?
True
Let w(o) = 468*o - 37. Let z be w(-1). Let i = z - -509. Is i > 5?
False
Suppose 0 = -2*a + 8, 0 = 27*c - 22*c - 3*a - 18338. Is c < 3670?
False
Let s = -601555/404 + 1489. Which is bigger: s or 1?
1
Let u be 4/18 + 16/(-72). Suppose -5*f + 2*b + 10 = 0, -f - 21 = -u*f - 5*b. Suppose 3*m = 4*g + m + 8, f*m = -g + 7. Which is smaller: g or -2/7?
g
Let r = -0.23267 + -0.09633. Is r at most -7?
False
Suppose -6 = -2*w + 4*f + 14, -5*f - 30 = -5*w. Suppose -n - 393 = w*j, -13*n + 801 = -4*j - 10*n. Which is smaller: -199 or j?
-199
Let s be (-855)/60 - (3 + -8)/20. Let l(v) = -v**3 - 3*v**2 - 2*v - 3. Let a be l(-2). Let z be 51/(-4) + a/12. Is s >= z?
False
Let p be ((-8)/304)/(2 - (-95976091)/(-47988046)). Let n = p + 1263158. Let i = -315 + n. Which is smaller: 0 or i?
i
Let d = 8167 + -8170. Which is greater: d or 217?
217
Let w(b) = -b**3 + 8*b**2 + 2*b - 9. Let f be w