 be (27/34)/(56 - 59). Let y be (-6)/12*(-1 - 1). Is y at most f?
False
Let o(w) = w**2 - 27*w + 59. Let p be o(25). Let s be 240/80 + 13*p. Does s = 118?
False
Suppose -90*b + 103*b = -65. Let a be ((-20)/b - 4)/(-2). Is a at most as big as -73?
False
Let k(f) = 2*f**2 + 32*f + 55. Let t be k(-14). Let p be ((-1580)/25)/((-2)/10). Let v be (-3)/5 + p/540. Is v > t?
True
Let n be ((0 - 292/12)/12)/(108/96). Is n at least as big as -2?
True
Let g = 54 - 47. Let f(n) = 0*n**2 - 6*n**2 + 5*n**2 + 6 + n + 5*n. Let p be f(g). Which is smaller: 2/33 or p?
p
Let m(i) = -i**2 + 2*i + 32. Let g be m(6). Let q be ((-224)/16)/(g*-2). Let w = 0 - -1. Is q >= w?
False
Suppose 4*b - s = -9, -3 = -b + 2*s - 14. Let m be (3*b)/(6 + (-819)/140). Which is greater: -17 or m?
-17
Let m = -26 - -18. Let g be 11068/(-12) - m/(-12). Let u be (-2)/(-4) - g/(-1742). Is u bigger than 0?
False
Suppose 5*g + 1127 = -0*g - 2*n, 0 = 4*g - 4*n + 924. Let v = g + 269. Is 42 bigger than v?
False
Let m(o) = -3*o + 7. Let w be (-51)/(-15) + (-2)/5. Let n be m(w). Let a be (n/(-5))/((-8)/(-20))*-11. Which is bigger: 3 or a?
3
Let v = 8018 + -8135. Is 0.15 at least as big as v?
True
Let x = -421.0645 - -447.9. Let m = 0.0645 + x. Let z = 28 - m. Which is smaller: z or 2/5?
2/5
Let j be (5*5/25)/((-3)/(-9)). Suppose n + 72 = -3*n - 3*k, 5*n = j*k - 90. Let v = 22 - 41. Is v at most n?
True
Suppose 34*k = -2*t + 31*k + 161, 327 = 4*t + 5*k. Are 88 and t unequal?
False
Let t = -3148 + 3161. Let i be 1*(-39)/(-15) + -2. Which is bigger: i or t?
t
Let h = 55556 - 248279765/4469. Which is bigger: 1 or h?
1
Let u be (-2)/(-11) - -3*658/4389. Let p be -2*(-564)/(-216) + 5. Which is bigger: p or u?
u
Let h = -3.06 + 2.9. Let k = h + 6.16. Let z = -81/86 - 24/43. Which is smaller: z or k?
z
Let g = 1193 + -1177. Let v be ((-35)/10 - 0)*-6. Which is smaller: v or g?
g
Let q be (-8)/16 + 203/418. Let k = 4583/1045 - q. Let n = 16 + -11. Which is greater: n or k?
n
Let g = -1.504 - -0.564. Let f = -4.06 - -4. Let c = f + g. Is 1/8 < c?
False
Let r = 147 - 515. Which is smaller: -369 or r?
-369
Suppose 26*m = 3024 + 3944. Which is bigger: 266 or m?
m
Suppose -2*w = 5*p + 19 - 78, 4*w = -5*p + 153. Which is smaller: 71 or w?
w
Let w = 17 - 5. Let h = -42 + 65.9. Let q = 21.9 - h. Which is bigger: q or w?
w
Suppose -3*x = -13 + 4, -2*x = 3*u - 132. Let w be (-14)/u - 64/(-174). Let a = -3 + 2. Which is smaller: a or w?
a
Let f(m) = m**2 + 4*m + 3. Let i be f(-5). Let a = 2246 + -1882. Suppose a - 36 = i*q. Is q smaller than 41?
False
Let g(u) = -7*u + 219. Let c be g(31). Suppose 4*r - 2*r = c. Is 1/3 greater than or equal to r?
False
Let m be 1*15 + (-1 - -3). Let j be 18 - 0 - (1 - (6 + -13)). Suppose -j*x = -m*x + 21. Which is greater: 7 or x?
7
Let c be (-5)/55*77/(-28). Let m = -6 - 3. Is c greater than m?
True
Let t be 1/7 - 279/2100. Suppose x = 5*x. Is t >= x?
True
Let p(d) = d**2 + 2*d - 11. Let i be p(-4). Suppose 0 = l + 4*l + 60. Let u be -4 + 2 - (-3)/l. Is u < i?
False
Suppose 13 = 5*k + 3. Let o = -91.66 - 1.84. Let l = -91 - o. Is l at least as big as k?
True
Let d(s) = -48*s + 16. Let z(u) = -1. Let f(r) = d(r) + 3*z(r). Let j be f(3). Let m = 12315/94 + j. Which is smaller: m or 0?
0
Let i(p) = 2*p - 27. Let s = -462 - -466. Let n be i(s). Let z be (36/10)/(2/(-10)). Which is bigger: z or n?
z
Let f(j) = j**3 + 17*j**2 + 36*j - 20. Let g be f(-10). Let w = 318 - g. Let r = 1.9 + 12.1. Which is smaller: w or r?
w
Let f be 3/1*20/(-12). Suppose -5*k - 72 = -3*q, -4*k - q - 44 = -0*q. Let t be -4 + 3 + k/f. Which is smaller: t or 0?
0
Let d be 7 + (-1610)/234 + 4/(-18). Is d smaller than 0?
True
Let y = 78.0947 - 12.9437. Let l = y - 0.151. Let q = l - 95. Which is greater: q or -1/2?
-1/2
Let r = 353 + 87. Let m = r + -408. Do 36 and m have different values?
True
Let u = 16644/5 - 58237354/17495. Which is greater: u or 1?
1
Let w = 3329 + -2745. Is -2 greater than or equal to w?
False
Let q = 40 + -33.6. Let t = 41.4 - q. Let x = -35 + t. Does x = -11?
False
Let h be -3 - (2 - (-33)/24). Let q be (0 + 8)/(-2) + 2/(-1). Which is greater: q or h?
q
Let p be (4/(-9))/(274/(-1233)). Let o = 7 + 2. Which is bigger: p or o?
o
Suppose f + 3*c = 2*c + 32, -f + c = -24. Let d be -1*(-1 - ((-104)/f + 3)). Let q = 501 - 500. Is q < d?
False
Suppose -t - 16 = 3*l, -4*l = -2*t - 0*l + 18. Let n be ((-11)/((-22)/(-60)))/((-532)/8358). Let d = 471 - n. Which is bigger: t or d?
d
Let w(h) = h**2 - 20*h + 26. Let p be w(21). Let x = -34 + p. Suppose -30 = -11*s + x*s. Is s at least as big as 1?
False
Let x = 114316366 + -1228215040045/10744. Let u = 3/632 - x. Let y(k) = -k + 11. Let d be y(10). Which is smaller: d or u?
u
Let d = 6.7 + 8.1. Let j = -659 - -645. Let o = d + j. Which is greater: 0.2 or o?
o
Let n(i) = -i**3 - 4*i**2 - 4*i - 5. Let c be n(-5). Let h = 99 + -105. Let j be ((-15)/c)/(h/4). Is j > 1/6?
True
Suppose -43*k - 10880 = -12686. Is k less than 0.45?
False
Let m = -130372 - -387250/3. Which is bigger: -1288 or m?
-1288
Let p be ((-78)/8)/((-27)/1260). Which is greater: -7 or p?
p
Let a be -386*((-66)/11 + (-81)/(-18)). Which is smaller: a or 572?
572
Let k(a) = a**2 + 8*a - 7. Let p be k(7). Suppose -144 = 106*b - p*b. Is b at least as big as -14?
False
Let y be ((-8)/25)/(6/(-195)). Suppose -17*s + 358 = -152. Suppose -44*m + s = -41*m. Is y smaller than m?
False
Let d = 43/8 - 111/8. Let v = 5 + 7. Suppose 0 = -o + 3 - v. Which is smaller: d or o?
o
Let l be (3838020/2238747)/4 + 81/(-189). Is 1 > l?
True
Suppose 0 = -2*a - m - 67, -15*a - 3*m = -17*a - 87. Let f be (0 - -35)/(1 - 0). Let x = f + a. Which is smaller: x or 2?
x
Let n(p) = 9*p**2 - 2*p - 2. Let i be n(-1). Let s be 3/(0 + -3) - (-41)/i. Is s at least 5?
False
Suppose f + 4 = -0*f. Let o be (-15)/12 + 1 + 12/(288/(-786)). Is f equal to o?
False
Suppose -2*o = 3*o - 5*w - 5, -3*o = w + 1. Let x be (64/24)/(3 + (-814)/270). Let s be 2*(-3 - x/66). Is s less than o?
True
Suppose p = -24 - 13. Let n = -37 - p. Let c be 2/92*804/6 - 3. Which is greater: n or c?
n
Suppose 5*v + 2*d = 31650, 2*v + 8*d - 2026 - 10634 = 0. Which is greater: 6329 or v?
v
Let r = -0.8 + -0.2. Let d be 1 + (-254)/(-272) - (155 + -153). Let v = -785/7752 - d. Which is bigger: v or r?
v
Let f = 456085.0459 + -456064. Let d = 0.0459 - f. Let m = -360/1211 - -2/173. Which is smaller: d or m?
d
Let d be -1494 + (3 - (1 + -7)). Is d greater than -1485?
False
Let r = 36131 + -32081. Which is smaller: 4049 or r?
4049
Let y(s) = s**3 - 3*s**2 - 9*s + 10. Let i be y(7). Let a = -9450 - -9593. Is i smaller than a?
False
Let a = 0.08041 - 0.18041. Let l = 4 - 3. Let s = l - 8. Is s greater than or equal to a?
False
Let m be 9 - (2 - (-6 + 6)). Let r(w) = -18*w + 125. Let g be r(m). Is -6 bigger than g?
False
Suppose 0 = -w - 64*i + 65*i - 2, 1 = -2*w + i. Let f be (-105)/12 + 4 + w + -1. Let b be (-6)/(-3*2/(-6)). Is b bigger than f?
False
Suppose 5*y - 1161 = -4*r - 4*r, -695 = -3*y - 4*r. Which is bigger: 209 or y?
y
Let t = 176 - 159. Suppose -12 = -29*o + t. Is -1/31 at least o?
False
Let l = -19912 - -20910. Is 999 equal to l?
False
Let m be (6 + -69)/9*(-3)/21. Is -3102 less than or equal to m?
True
Let s(i) = 16*i + 48. Let x be s(-3). Suppose -2*t - 29 + 27 = x. Is t smaller than 0.96?
True
Suppose -48 = 32*m - 36*m. Let f be m/(-4) + 2*(-3 - -4). Which is smaller: -5/26 or f?
f
Let v = 330 + -157. Let j = -173.027 + v. Is 0 > j?
True
Let a be 1/(1 + 1)*4. Suppose n + 0*n = a. Suppose 0 = 2*w - 12 + 4, 5*f = n*w - 228. Is -44 greater than or equal to f?
True
Suppose 5*c - 15 = 2*i + 3*i, -5*i - 14 = -4*c. Suppose -10 = 3*v - c. Let q(a) = -2*a**3 - 3*a**2 - 2*a - 3. Let m be q(v). Is 30 greater than m?
False
Let y = 159524 + -159543. Let t = -33 - -20. Which is smaller: t or y?
y
Suppose 3*k = k - 3*o + 5, 5*k - 9 = -4*o. Let j be (-42)/98 + (k - 0). Let h = -62 + 63. Is h bigger than j?
True
Let j = -15799 - -14934. Is j less than -866?
False
Let g = -202 + 208. Let i be (-9)/g - 42/(-36). Is i at most as big as -2.5?
False
Let q = -648.353 - -727.36. Let n = 0.007 - q. Let y = n - -79.7. Which is greater: y or -3/2?
y
Let a = -0.6 + 17.6. Let o = a + 0. Let b = o + -15. Is -15 at most b?
True
Let f(o) = 4*o**3 - o**2 + 2*o + 3. Let a(x