t a = 1238 - 1195. Is 40 less than a?
True
Let i = -90.6 + 91. Let y = i - 0.6. Let p = 155 - 615/4. Is y >= p?
False
Let n = 293/12 + -209791/8592. Which is smaller: n or 0?
n
Let f be -7 + 5 - 5 - (0 - -1). Which is smaller: f or -11?
-11
Let t be -4 + 8/((-2)/(-2)). Suppose -14 = -3*h + 4*a, 0 = -t*a - 10 - 10. Let f(y) = -y - 1. Let l be f(-1). Which is bigger: h or l?
l
Let f(i) = -i - 6. Let r be f(0). Let h be (-26)/(-30) + -4 - r/45. Are -8/3 and h equal?
False
Let m be (13/65)/(154/(-5)). Which is greater: m or 2?
2
Let w(h) = -h**2 + 5. Let v be w(0). Suppose i - 35 - 5 = 5*s, -4*i + 160 = -5*s. Suppose -v*k = -k + i. Is k greater than -11?
True
Let d be (-11984)/(-15808) + (-12)/16. Is 1 < d?
False
Suppose 3*l + 5*m = -0*m + 11, 31 = 3*l + m. Suppose 4*z + l + 4 = -4*c, -2*z - 10 = 4*c. Let t be (-1)/(-2 + 7/3). Is c smaller than t?
False
Let v = 274 - 223. Is 53 less than v?
False
Let r be (9*(-12)/(-10))/((-12)/(-30)). Let k be ((-42)/r)/(-1) + -1. Which is greater: k or 0?
k
Let j = -2.72 - -20.72. Which is greater: 2 or j?
j
Suppose -57 = 15*g + 2013. Is -140 != g?
True
Let s(h) = h**3 + 7*h**2 + 4. Let u be s(-3). Suppose -5*r - u = -r. Which is greater: r or -8?
-8
Let b be (-1038)/54 - (-8)/36. Suppose 4*v - 12 = 3*m - 5*m, 0 = -3*m - v + 43. Let o = b + m. Which is greater: 0.2 or o?
0.2
Let q(h) = -h + 25. Let r be q(25). Is r != -2/205?
True
Let j be 204/(-195) + 8/(-52). Let d(m) = -m - 1. Let t(p) = -p - 2. Let q(c) = 2*d(c) - t(c). Let r be q(1). Which is smaller: j or r?
j
Suppose 0 = 2*q + 4*h + 212, -6*h + 524 = -5*q - 10*h. Are q and -100 nonequal?
True
Suppose -3*i = 6 + 6. Suppose 4 = d + 2*q, 5 = d - 5*q - 6. Let t be (1 - 3) + d/(-6 + 0). Which is bigger: i or t?
t
Let g(j) = 3*j + 32. Let s be g(-9). Are s and 77/15 non-equal?
True
Let v = 487 + -447. Is v not equal to 40?
False
Let l(c) = c - 19. Let a = -17 + 6. Let m(h) = -h - 2. Let g be m(a). Let s be l(g). Which is smaller: -11 or s?
-11
Let p(a) = -13*a**2 + 108*a - 125. Let h be p(7). Let i be 2 - (28/3 - 2). Is h < i?
True
Let w(o) = o**3 + 6*o**2. Let r be w(-6). Let c be 64953/42*2/30. Let m = 103 - c. Is r at most m?
False
Suppose 3 = q + 1. Suppose 0 = q*a - 4*a - 286. Let y = a - -1860/13. Which is greater: 0 or y?
y
Suppose 2*p = 5*n + p - 56, -2 = 2*p. Let o(s) be the second derivative of -s**3/3 - s**2 + 5*s. Let j be o(-7). Which is smaller: n or j?
n
Let f = 869/6 + -145. Which is greater: 13 or f?
13
Suppose 9*b = -23*b - 32. Which is smaller: -768 or b?
-768
Let g be (-4)/6*(-12)/2. Suppose 2*w - 8 = 2*k, g*w = -3*k + 2*k + 41. Is w at most 1?
False
Suppose 0 = 66*z - 68*z - 944. Is -472 <= z?
True
Let y(s) be the second derivative of s**4/12 + 5*s**3/3 + 9*s**2/2 + 7*s. Let x be y(-6). Is -15 < x?
False
Let y = 3589/33525 + -26/447. Let z be ((-128)/400)/(4/2). Let d = z + y. Is d at least -1?
True
Let n = -0.06 - -21.06. Let w = 20.88 - n. Which is bigger: w or 0.3?
0.3
Let l = 510 - 486. Suppose 2*y + 3*r = y + 29, 0 = -y + r + 25. Which is bigger: y or l?
y
Let a = 5 + -6. Let b = 2026 + -1192. Let k = b + -9198/11. Is a at most k?
False
Suppose 0 = 5*k - p - 466 - 524, 3*k = -3*p + 594. Let v be (3/(-12) - 0)/(k/16). Which is smaller: v or 1?
v
Let n be (-3)/(-75)*(-4705)/(-2). Let c = n - 95. Is -2 less than c?
True
Suppose -3 = -4*k - 19. Suppose -3*p = 3*m + 6, 10*p - 10 = 14*p + 2*m. Which is bigger: k or p?
p
Suppose 2 = 3*p - 7. Suppose 2*o + 1024 = 3*y, 4*y - 364 = p*y - 5*o. Let d be y/(-320) - (-2)/10. Is d <= -2?
False
Let q = 265 - 268. Is q smaller than -29/7?
False
Let o be ((-1)/(-3))/((-18)/27). Let p = 0.42 - 0.56. Is p less than or equal to o?
False
Suppose 8*s = -9*s + 17. Are 1/2 and s nonequal?
True
Let o = 4/13 - 54/91. Which is smaller: o or -4/3?
-4/3
Suppose 43*h - 39*h = 140. Let z = h + -22. Which is smaller: 14 or z?
z
Let s(u) = -u**2 - 10*u - 7. Let z be s(-10). Let p(i) = 2*i - 10. Let l be p(4). Let g be 4 + l*(-27)/(-6). Which is bigger: g or z?
g
Let f be (-105)/245*(-6)/189. Is -1 at least as big as f?
False
Let l be (-5)/(-2)*12/15 + -3. Let s be l/(3/(-15)) - -4. Which is smaller: 0.1 or s?
0.1
Suppose 39*z - 1848 = -5*z. Which is bigger: -2/3 or z?
z
Let a = 270 + -263. Is a at least as big as -5?
True
Let m(d) = -d**3 - 7*d**2 - 2*d - 10. Let c be m(-7). Suppose -20 = n + n + c*a, 0 = 2*n - a. Let q be (n/(-10))/(84/(-35)). Is 0 > q?
True
Let f be -6 - (-354)/(-38)*(-30)/45. Suppose -5*o + 0*o = 0. Which is smaller: o or f?
o
Let q = 337 + -252. Which is greater: q or -1/2?
q
Suppose 50 = -4*l + 3*k - 58, 2*l - 3*k = -48. Let i = l - -22. Which is greater: i or 2?
2
Let v(n) = n**2 + 19*n - 238. Let y be v(0). Is y less than or equal to -239?
False
Let p = 134 - -27. Is 162 not equal to p?
True
Let d be 3*(-21)/18*-2. Suppose d*o - 6 = 4*o. Which is smaller: o or 5/9?
5/9
Let p(x) = -5*x**2 - 11. Let m be p(-4). Let z be (15/10)/(9/(-552)). Is m < z?
False
Let l be (1 - -1)/((-1)/(-2)). Let a(j) = j**3 + 5*j**2 + 2*j - 3. Let i be a(-4). Suppose 5*b = 2*b - l*w - 59, 0 = 4*b - i*w + 58. Is -17 bigger than b?
False
Let b = -29 - -35. Suppose -b*w = -5*w - 1. Which is smaller: -1/21 or w?
-1/21
Let g = -632/5 - -126. Let y = -1.3 - -1.23. Let t = y + -0.93. Which is smaller: g or t?
t
Let u = -14 + 13. Let q = 24.7 + -13.3. Let f = q + -12. Is u less than or equal to f?
True
Let b be 413/(-21) + -10 + -1. Is b less than or equal to -31?
False
Suppose 5*n - 17 = 5*k + 3, 0 = 5*n - 2*k - 5. Which is greater: n or 2/509?
2/509
Suppose -4 = 2*s, m + 258 = -4*m - 4*s. Which is smaller: -52 or m?
-52
Let i = -161 - -13. Is i less than 0?
True
Let k(m) = -2*m + 36. Let b be k(16). Let u be 14/56 + (-13)/b. Which is smaller: -8/5 or u?
u
Let p = 163.64 - 164. Is 0 smaller than p?
False
Let u = 0.2093 - -1.7907. Which is smaller: 7.09 or u?
u
Let r be ((-9)/3 - -4) + 2 - 4. Which is bigger: -1/306 or r?
-1/306
Let d(k) = -2*k + 13. Suppose 2*m - 14 = -2*h, -21 = -3*h - 4*m + 2*m. Let r be d(h). Is r less than 1/18?
True
Let r = 71.6 + -77. Let w = r - -5.3. Which is bigger: w or 30?
30
Suppose 3 = 3*q - 0*q. Let h be -5*3*q/(-15). Which is greater: h or 3/4?
h
Let v(h) = h**2 - 9*h - 7. Let r be v(10). Let w be (0 + r)*(-22)/3. Let l be 14/(-21) - w/(-3). Which is smaller: l or -9?
-9
Suppose -18 = -d - 2*d. Suppose -21 = -d*p + 15. Is 6 at least as big as p?
True
Let a be (524520/262 - (-5 - -3)) + 1. Let q = a + -2005. Is -1 bigger than q?
False
Let i = 0.616 - 0.616. Is i at least as big as 1026?
False
Let t be (6/(-20))/((-48)/(-140)). Suppose o + 2 = -o + 4*j, 4*j + 1 = 5*o. Let z = o + t. Which is bigger: 0 or z?
z
Suppose 3*r - 3*x = 75 - 0, -3*r + 4*x + 74 = 0. Let v = 11 - r. Let k be 81/v + (-15)/25. Is k less than -8?
False
Let v be 54 - ((-21)/3 - -6). Is 56 at most v?
False
Suppose 5*g - 2 = -17. Are 46 and g equal?
False
Let q be ((-104)/8 - -9) + -99. Is q less than 1?
True
Suppose -5*l = 2*f - 4*l + 2, -4*f = -4*l - 20. Let o be (f - 4)*-2 - 1. Suppose 3*t - o = -2*x + 2*t, -3*t + 4 = -5*x. Is x smaller than 0?
False
Let g be (0 - (-11)/(-39))*14633. Let i = g - -3156083/741. Let c = i - 132. Is -1 equal to c?
False
Let t be 2*-1*(-4)/34. Suppose -38*f + 37*f = -12. Suppose -s = -f*s. Is t >= s?
True
Let w be (9 - (-76)/(-8))/(2/64). Is w at least -16?
True
Let n = 3.94 - 25.04. Let f = n + 21. Let y = -1.5 - -2. Is y < f?
False
Let p = -818 - -852.35. Let k = -34 + p. Let f = 2.35 - k. Is f > -0.1?
True
Let q = 961097/212 + -9067/2. Which is smaller: 1 or q?
q
Let x(g) = -27*g + 453. Let p be x(14). Which is smaller: p or 87?
p
Let p = -748 + 753. Which is bigger: -0.58 or p?
p
Let y be (5/120*8)/((-4)/(-12)). Is y less than -2?
False
Let i(o) = 23*o**3 + 5*o**2 + 7*o + 1. Let p be i(-2). Is -176 greater than p?
True
Let o = 172516/45 - 3834. Is o < 0?
True
Let i(n) = n - 1. Let z be ((-1)/3)/(3/9). Let m be z*5/(-2)*2. Let c be i(m). Which is smaller: c or 3?
3
Suppose -y + 31*y = -90. Suppose 4*b - 1 = -41. Which is bigger: b or y?
y
Let z(d) = -3*d**2 + d + 4. Let j be z(3). Suppose 19*f = 20*f + 21. Does j = f?
False
Let y = 22 + 28. Let a be (-5)/y + 4/(-10). Is 10 at least a?
True
Let f = 471 + -441. Is 30 smaller than f?
False
Let h = -1.99 - -0.69. Let x = -1.94 + -0.06. Which is