ss than 11?
False
Let m = 63/10 + -149/30. Let b(s) = -s**2 - 8*s - 7. Suppose 0 = -2*o - f - 17, o + 41 = -4*o - 2*f. Let y be b(o). Is m > y?
True
Let l(p) = -p**3 - 5*p**2 + 2*p + 3. Let k be l(-6). Suppose 23*t = k*t - 28. Which is bigger: t or 6?
t
Let n = 1101 - 1101.1. Let q = 5.1 - 1.1. Which is smaller: n or q?
n
Let m be 3*(3 + 8/(-12)). Suppose -2*a - 4*z - 8 = 0, 4*a + 2*z + m = 3. Which is bigger: 1/24 or a?
1/24
Let d = -2 - -7. Let k be ((-6)/85)/((-1)/d). Suppose 4*h + 3*u + 12 = 0, -3*h + 0*u = -3*u - 12. Which is bigger: h or k?
k
Let c be 9/54 - 74/12 - 77. Which is bigger: -84 or c?
c
Let z = 2.23 + -6.22. Let q = -12 + 8. Let s = z - q. Which is greater: 2 or s?
2
Let r = 3995/6 + -655. Which is greater: r or 11?
11
Let g(y) = -14*y**2 + 2*y + 1. Let f be g(-4). Let u be ((-54)/f)/(3/28). Is u < 2?
False
Let q(u) = 37*u - 141. Let c be q(6). Which is bigger: 84 or c?
84
Let j = 1.1 - 1. Let q = -26.1 - -13.1. Which is smaller: q or j?
q
Let y = 62 - 56. Suppose 9*d - y*d + 3 = 0. Which is greater: 3/7 or d?
3/7
Let c = -20.97 - 0.03. Let j = 142.8 - 121. Let m = j + c. Which is greater: -1 or m?
m
Let g(x) = 5*x**3 + 2*x**2 - 6*x - 7. Let t be g(-3). Let c = t - -111. Is -3 at least c?
False
Let k(y) = y - 3. Let b be k(4). Let x = 31 + -30. Let u be x/3 + 3*1/(-12). Is u bigger than b?
False
Let a = -0.09 - 0.01. Let j = -3511 - -115958/33. Let w = j - 50/11. Is a greater than w?
True
Let w = 9269/12 - 772. Let p = -157/348 + w. Does 1 = p?
False
Let p be ((-27)/6)/((-5)/10). Which is smaller: p or 3?
3
Let i(h) = h**2 + 9*h + 9. Let b be i(-12). Let c be 2/10 - (-27)/b. Which is bigger: -0.1 or c?
c
Let f(u) = -u**2 + 53*u + 343. Let p be f(59). Is -1/4 smaller than p?
False
Let q be 6/120*5 + (-30)/(-8). Suppose 3*f = -t + 3, -t - 2*t = q*f - 9. Which is bigger: 6 or t?
6
Suppose w - 19 = -5*r - w, -3*r - 2*w = -9. Suppose 0*v = 2*v. Suppose -4*f + r - 1 = v. Does 1/4 = f?
False
Suppose -z + 4 = 0, -o + 32 = -z - 65. Which is greater: 97 or o?
o
Let d be -3 + (-22)/(-7) - 1/7. Let m = -24 - -359/15. Is d less than or equal to m?
False
Let r = -89 - -88.69. Is r less than -3?
False
Let n = 0 + 3. Suppose -60 = -2*h + 4*i, -3*h + 0*h - n*i + 81 = 0. Which is smaller: h or 29?
h
Let m(d) = -d**2 - 53*d + 557. Let y be m(9). Let t = 19.7 - 11. Let z = -1.7 + t. Which is smaller: y or z?
y
Let h = 307 + -6141/20. Which is smaller: h or -1/3?
-1/3
Let a = -10.8 - -10. Let u = 0.6 + a. Let z = -4.23 + 4.17. Which is smaller: u or z?
u
Let a be 2*1437*(-6)/36. Which is greater: -478 or a?
-478
Let a = -1229 - -1049. Which is bigger: a or -178?
-178
Suppose -33*i - 20 = -13*i. Is 7/73 at least i?
True
Suppose 0 = 3*h - 5*h. Let o be 1 + (-381)/(-48) + -2. Let s = 7 - o. Which is bigger: s or h?
s
Let m be (4/(-12))/(6/(-1692)). Is 467/5 greater than m?
False
Suppose 10*b - 5*b = 0. Let l be (-4)/3*24/112. Is l < b?
True
Suppose 6 = v + 10. Let c be 10/(-44) - (v + 4). Let h = c + -19/110. Is -1 less than h?
True
Let z = 4 + -28. Let n = z - -31. Which is greater: -2 or n?
n
Suppose -7 = 2*u - 3. Let z be ((32/(-388))/u)/(-2). Let d = z - -497/582. Is d equal to 2?
False
Let m = 2.01 + -1.91. Which is bigger: m or -0.0347?
m
Let c = -277 + 250. Which is bigger: c or -32?
c
Let s(b) = -b**2 - 3*b + 45. Let z be s(0). Let o = 65 - z. Which is greater: 22 or o?
22
Let t(s) = -35*s**2 + 10*s + 4. Let p be t(5). Is p at least -821?
True
Let p = -24 - -215/9. Let g = 66 - 52. Suppose 3*m - 2*o = o - 12, m - 3*o + g = 0. Is m <= p?
False
Suppose g - 100 = 11*g. Which is smaller: g or -8?
g
Let z = -42388/4011 - 2/573. Let t = z - 97/14. Is t smaller than -18?
False
Suppose 2*d = -8*c + 9*c + 28, 152 = -5*c - 2*d. Which is smaller: c or 13?
c
Let z be 1 - -4 - (204 - (5 + 0)). Is z <= -196?
False
Let d = 3724 + -3713. Let z = 0 - 1. Which is smaller: z or d?
z
Let z be 36*(5 + (-406)/21). Is -516 greater than z?
False
Let s = -59.2 + 58.85. Suppose 3*d - 3 + 2 = -p, -d = 5*p - 19. Which is greater: d or s?
s
Let i = -2.4 + 2.6. Let r = -62.06 + 62. Which is smaller: r or i?
r
Suppose 9*k + 1287 = 117. Is -131 less than k?
True
Let f = -1246 - -33644/27. Is 0.37 > f?
True
Let i(p) = p**3 - 7*p**2 + 3*p + 5. Let a be i(7). Let f be (-8)/20 + a/(-10). Let y = 504 - 502. Is y at least as big as f?
True
Let g be -3 + 0 - (-122)/1. Is 3/2 bigger than g?
False
Let q = -86/25 + 1396/275. Let r = 7705 + -7706. Is r less than q?
True
Let a = 36 - 159. Let i be 3*(4 + 489/a). Let z = 73/123 + i. Is z bigger than -0.1?
True
Let p(u) = -u**2 + 5*u + 7. Let o be p(6). Let v(w) = -w**3 - 8*w**2 - 10*w - 20. Let h be v(-7). Let q be 0 - 3 - h/(-86)*254. Which is smaller: q or o?
q
Suppose -5*r - 4*o - 1492 = -0*r, -2*r + 4*o - 580 = 0. Is r smaller than -295?
True
Let i = 123523/27 - 4573. Is i less than 1?
False
Suppose -85 = 3*p + 116. Let i = -69 - p. Which is bigger: i or 1/9?
1/9
Let q(b) = -b + 13. Let y be q(11). Suppose y*x + 5 = 1. Let p be 20/175*5/x. Is p >= 1?
False
Let o be (-280)/(-165) + 4/6. Let p = 89/33 - o. Suppose 4*q = 1 + 3. Is p at least as big as q?
False
Suppose 4*d - 21 = 3*z, -2 = -d + 3*z + z. Let b = d + -8. Which is smaller: b or 0.01?
b
Let i = -2/3793 + -402052/11379. Let w = i + 95/3. Which is bigger: w or -4?
w
Let a = -38.2 - -38. Let m be 2/4*(-48)/18. Is m >= a?
False
Let q = 147/2 + -74. Do q and -7 have the same value?
False
Let j be (-4)/14 + 0 - (-275)/7. Let a = j + -38. Which is smaller: a or -4?
-4
Let r = 113 + -110. Suppose -3*d = -4*o - 536, -5*d - 2*o + 3*o + 899 = 0. Let h be (-6)/(-8) + (-207)/d. Is h greater than r?
False
Let y be 1/((-5)/33)*-145. Let a = y + -25829/27. Let r = -31/135 - a. Is r >= -1?
True
Let y = -563090 + 9569744/17. Let v = y + 164. Is v greater than 0?
True
Let n be -65 + 21/2*(-28)/(-196). Are n and 0.1 equal?
False
Let z be -16*30/(-40)*(-4 - -2). Which is smaller: 1 or z?
z
Suppose -44*a = -46*a + 148. Is 73 at most a?
True
Let m = -59 - -58. Let y = 2.44 + 0.36. Let u = y + -3. Do u and m have the same value?
False
Suppose 0 = a - 4, 3*q = -a + 1 + 30. Suppose 5*f = 6*f - 6. Let k = q - f. Is -0.1 > k?
False
Suppose 104*f + 20*f = -32 + 156. Let h(v) = -v**2 - v + 4. Let c be h(0). Let u = c - 1. Which is greater: f or u?
u
Let z(p) = -p**3 + 12*p**2 - 9*p - 21. Let y be z(11). Which is greater: y or -0.0985?
y
Let u be ((-2)/((-4)/(-1)) - -1)/(-1). Which is bigger: -1722 or u?
u
Let d = 0.0909 - 3.0909. Which is smaller: 188 or d?
d
Let v = -39.1 - -3.1. Let i = -25.08 - -0.08. Let b = i - v. Is b <= 0.1?
False
Let i = -57 - -62. Suppose 0 = n + 4*n - i. Is n greater than or equal to 12/7?
False
Let c be (1/(-2))/((-2)/(-8)). Is c at least as big as -8?
True
Suppose -4*d + d + 27 = -3*z, -4*d + 3*z + 38 = 0. Let l(m) = -2*m + 22. Let b be l(d). Is 1/3 smaller than b?
False
Let y = 4/7 + -74/105. Let m = -35 + 24. Is y greater than or equal to m?
True
Suppose 0 = 3*x + x. Suppose r + 3*g - 4 = x, 3*g - 1 = r + 7. Which is smaller: -2/3 or r?
r
Let a be (-16)/6 - (-2)/(-6). Let q(d) = -d**2 - 3*d. Let c be q(a). Let t be (-3)/(-20)*(-4 + c). Which is greater: -2 or t?
t
Suppose -4*g = 8, -g + 1133 = 3*j + 4456. Is j at least -1107?
True
Let n = 2/3397 + -10195/6794. Suppose -16 = -4*h, 2*z + h = -2*h + 10. Is z at most n?
False
Let d = -2537 - -1630. Which is bigger: d or -906?
-906
Let i(t) = -11*t**2 - 64*t. Let v be i(-6). Which is bigger: v or -8?
-8
Let u be ((-36)/609)/(4/(-14)). Suppose 13*z - 12*z + 9 = -5*h, 2*z - 10 = 4*h. Which is greater: u or z?
z
Let w = 333 + -333.06. Which is bigger: 0 or w?
0
Let d = -169565/87 + 1949. Let o(p) = 5*p - 9. Let c be o(3). Let u be (c*4/6)/4. Is u not equal to d?
True
Let g = 2 + -1. Suppose -2 - g = f. Let j be 1/f*-1*6. Is j <= 0.1?
False
Suppose o + 2 = -1. Let v = 4.05 - 4. Let h = -0.25 + v. Which is greater: h or o?
h
Let n = 77 + -15. Let l = -65 + n. Which is smaller: 9 or l?
l
Let z be (-39)/(-4) - 9/12. Is 23 bigger than z?
True
Let s = -1556.99 + 1557. Does -15 = s?
False
Let q = -6 + 5.9. Let i = 0.1227 - 0.1327. Is i not equal to q?
True
Suppose 32 = -y + 2*y. Let k be 1*(-4)/y*6. Which is bigger: 0.5 or k?
0.5
Let n(s) = -s**2 - 8*s + 20. Let l be n(5). Is l > -223/5?
False
Let f be 1*-5 - (-2135)/455. Suppose 4