 1?
True
Let a = -3200089882/10234425 + 611604/1955. Let j = 2/1047 - a. Is j >= -1?
True
Let v = 576 + -579.2. Which is smaller: 11 or v?
v
Let f(w) = 39*w**2 - 238*w + 9. Let b be f(7). Is b < 253?
False
Let m = -658 - -654.8. Is m > 0.5?
False
Let t(m) = -m**3 + 1. Suppose 3*c = -b + 5*c + 3, 4*c = -8. Let n be t(b). Suppose l + n = 4. Which is greater: 5/3 or l?
l
Let u(l) = -l**2 - 3*l + 4. Let x be u(-3). Let q be ((-15)/6 + 5/(-30))*9. Let r be (-44)/q + (-2)/x. Which is greater: 2 or r?
2
Let y = -25 + 25. Let r be (y - 4/(-12))*36. Suppose 5*o = o - r. Which is smaller: -4 or o?
-4
Let f = 8 - 8. Does f = -12/11?
False
Let i(z) = z**3 + 5*z**2 - 11*z - 59. Let n be i(-4). Which is smaller: n or 15/17?
15/17
Let z = -362 - -58. Does z = -304?
True
Suppose s + 4*s = 5*g - 90, 0 = -2*g + 4*s + 38. Let k = -20 + g. Is -2 less than k?
False
Suppose -t - o + 66 = 457, 2*o + 1169 = -3*t. Is -388 smaller than t?
True
Let s = 1381 + -2234. Which is smaller: s or -854?
-854
Suppose -4*n - 92 = -76. Suppose 0 = -0*q + 3*q + r + 4, -3*q - 4*r = 7. Which is bigger: n or q?
q
Let d = -44.8 - -45.8. Which is smaller: d or 235?
d
Let f = -2.9 - -3. Let k = 183 - 183.141. Let a = k - -0.151. Which is smaller: f or a?
a
Let h be (45/4)/(2*1/(-16)). Let c = h - -43. Is c smaller than -47?
False
Let y = 26.4 - 26.3. Which is smaller: 33 or y?
y
Let z = -113 - -113. Which is greater: z or 5/12?
5/12
Let z = 3 - 5. Let a(f) = 2*f - 3. Let m be a(z). Let s = m + 19. Which is bigger: s or 13?
13
Let x(d) = d**3 - 4*d**2 - 5*d - 1. Let b(j) = j**3 - 3*j**2 - j + 4. Let c be b(3). Let z be 9 - c/1 - 3. Let l be x(z). Which is smaller: l or 1/22?
l
Let r = -11 - -19. Let y(m) = -m**2 - 6*m - 8. Let z be y(-4). Suppose z = -5*l + 3*l + 18. Is l less than r?
False
Suppose 719 = 68*v + 3371. Which is greater: v or -40?
v
Let f = -32.66 - -0.66. Let i = 32.1 + f. Is i <= 24?
True
Let u(x) = 2*x**2 - 3*x + 3. Let b be u(2). Suppose n + 11 = b*q - n, -3*q - 3*n - 6 = 0. Let k be (-2 - (-3 - -1))/1. Which is smaller: k or q?
k
Let s(h) = 3 - 4 - 1 - h - 3. Let w be s(-10). Let p be ((-6)/(-7))/(44/231). Which is smaller: p or w?
p
Let w be -1*(2 - (-1 + -3)). Let p be (-12)/(-18)*(-243)/w. Let v be -3*((-31)/p - -1). Which is greater: v or -1?
v
Suppose 94 = -8*p - 1018. Does -138 = p?
False
Let k = 63.955 + 2.465. Let q = k + -66. Do q and -1/4 have the same value?
False
Let i = 6 - 4. Let z be (3 - 78/27)/((-25)/(-150)). Is z < i?
True
Let a(m) = 7 - 69*m + 34*m + 37*m. Let b(j) = j - 5. Let r be b(0). Let k be a(r). Which is smaller: -1 or k?
k
Suppose 0 = 5*l - 3*r + 83, -5*l - 3*r = -r + 78. Let z be 4/l*(-181)/(-1). Let q = -45 - z. Which is smaller: 7 or q?
q
Let y be (-4)/(-6)*9/(-48). Let w(h) = -h**2 + h. Let a be w(0). Suppose -2*g - g - 3 = a. Is y at least g?
True
Let d be ((-93)/112)/(-3) + 67/(-268). Which is smaller: d or -0.1?
-0.1
Let s(y) = -3*y**2 + 41*y + 124. Let f be s(16). Let g = 709/2 - 344. Is g less than or equal to f?
True
Let x = -12.33 + -12.27. Which is smaller: 0.2 or x?
x
Let m = -1995/2 + 998. Is m >= -669?
True
Let d = -923 - -931.6. Is d <= 7?
False
Let w(x) = 3*x - 3. Let f be w(7). Suppose -f = -5*k - 2*i, -4*i - 3 = 1. Suppose 2*p + 7 = 4*l - p, -5*p = k*l + 1. Which is smaller: 1/8 or l?
1/8
Let t = 2 - -2. Suppose 0 = -2*k + t*k. Let n be (-2 + k)/((-192)/(-80)). Is 2 less than n?
False
Suppose -g - 2*g = -4*r - 1, -25 = 5*g. Let v be (r - -1)*(-2 + -6). Is 24 >= v?
True
Let c = -7.77 + 1.27. Let w = 9.5 + c. Let y = 2.8 - 3. Is y <= w?
True
Let i = -498 + 492. Let n = 39 - 221/5. Is i less than or equal to n?
True
Let k(t) = t**3 + 6*t**2 + 6*t + 7. Let v be k(-5). Suppose -2*f - v*f + 4 = 0. Let i be 10/(-30)*1*-9. Is f at least i?
False
Let o(v) = 11*v - 73. Let l be o(8). Does l = 73/5?
False
Suppose 0 = z + 2*t - 2, 5*t - 1 = 5*z + 4. Which is bigger: z or 5/7?
5/7
Let w = -419 + 413. Let b = -14 - -8. Is w at least b?
True
Let w(y) = y + 71. Let j(u) = -u - 36. Let t(d) = 7*j(d) + 3*w(d). Let p be t(-19). Is p < 37?
False
Suppose q + 4*p - 59 = 0, p - 6*p + 10 = 0. Let g = -38 + q. Does g = 13?
True
Suppose -2*z - 4 + 12 = 0. Let f = -71 - -105. Let m = f + -30. Does z = m?
True
Let w be (2 - 1) + 1 + -1. Suppose 0 = -m + p, -4*m + 20 = 3*p - 2*p. Suppose 5*h + m*t = -0*t - 10, 0 = -3*t. Is w smaller than h?
False
Let i = -351 - -317. Let x = 7/9 - 37/36. Is x bigger than i?
True
Let b = 27543 + -27478.978. Let c = 64 - b. Is -1/4 less than c?
True
Let y be (-390)/(-40)*104/6. Is 170 greater than or equal to y?
True
Let z = 51/4 - 157/12. Which is smaller: z or -1/67?
z
Let h = 1.9 - -0.1. Let t be 5231/(-30) - 9/6 - 1. Let x = -177 - t. Which is greater: h or x?
h
Let j be (-756)/(-8)*(-60)/(-45). Is j > 126?
False
Let b be 14/(-4)*16/(-28). Let h(n) = 0 - 1 - 5*n**b - n**3 - 4*n + 10*n. Let s be h(-6). Is s > 0?
False
Let i = 15.38 + -0.38. Let t = -17.1 + i. Let f = -2 - t. Does -1/3 = f?
False
Let i = 38.7 - 38.6599. Is -2/3 greater than or equal to i?
False
Let t be (((-1350)/1008)/(-25))/(138/4). Which is greater: t or -1?
t
Suppose -18*p + 6 = -19*p. Let t(w) = 8*w**3 + 2*w**2 + w. Let z be t(-1). Is z >= p?
False
Let p(s) = s**3 + 12*s**2 + 11*s + 5. Let m be p(-11). Let r(k) = -k**3 + 6*k**2 - k - 1. Let y be r(m). Which is smaller: y or 18?
18
Let v = -7 + 9. Suppose -3*z - 240 = -2*o - 6*z, z + 466 = 4*o. Let r be (-13)/o*(-1)/(-2). Which is bigger: r or v?
v
Let c(h) = -24*h**2 + 10*h - 9. Let t be c(1). Let g = -8 - -8.1. Is g equal to t?
False
Let v be ((-10)/15)/((-8)/(-84)) + 3. Let w be (70/(-231))/(1/18). Which is smaller: w or v?
w
Suppose 19*z - 18*z = 29. Which is smaller: 1 or z?
1
Let b be (-86)/(-6)*(-58 - -55). Which is greater: b or -45?
b
Let u = 14 - 9. Let i be (-22)/77 - 3089/(-7). Let b = i + -1309/3. Is u less than b?
False
Let s be (-12)/28*1134/(-522). Which is smaller: 0 or s?
0
Let v be -7 + -2*4/8. Let j(g) = -g**2 - 6*g + 13. Let s be j(v). Is s > -8?
True
Let l be (-195)/130 - (-1 + 3/(-2)). Which is smaller: l or 123?
l
Let c = 2225.1 - 2224. Is c bigger than 8?
False
Let w = 82 - 81.2. Let b = 0.4 - 0.3. Let m = b + w. Which is greater: -2/3 or m?
m
Let d = 6279 - 6243.91. Let l = d + -35. Let m = 0.1 + -0.1. Is m < l?
True
Let m(t) = -t**3 - 43*t**2 - 50*t - 9. Let o be m(-41). Is o bigger than -1321?
False
Let q be 44/1 - 0*(3 + -4). Is q at least 45?
False
Let t = 1.8 - 1.9. Let v = 0.71 - 14.31. Let m = v + 14. Is t equal to m?
False
Let w = 5.9106 - -0.0894. Which is greater: w or -38?
w
Let o = -36 - -25. Let j = -2.55 + 13.45. Let s = j + o. Which is bigger: s or 0?
0
Suppose 12*q = 4*q + 16. Let j(l) = -l**2 - 4 + 0 - 3*l - 5*l. Let c be j(-7). Is q > c?
False
Let a(p) = -1. Let y(i) = 2*i + 17. Let b(l) = -5*a(l) + y(l). Let w be b(-21). Is -21 >= w?
False
Let q be (-2 + 3)*(-1 + 1890/1878). Do q and 0 have the same value?
False
Let p = 16 + -16. Let u(g) = g**3 + 7*g**2 + 2. Let l be u(-7). Suppose 3*z - z - l = p. Which is greater: z or 2/53?
z
Suppose -12*o - 357 - 75 = 0. Let w be 42/92 - 3/(o/(-6)). Which is greater: 1 or w?
1
Let p = 3 + -1. Let o = 2.1 - p. Let u = 0.9 + o. Is 3/4 less than or equal to u?
True
Let u = 31 + -31. Suppose -6*m + 186 = -u*m. Is m less than or equal to -1?
False
Let v be (3/(-2) - 0)*44/(-33). Suppose -v*n = 15 + 3. Is n greater than -9?
False
Let t(k) = -k + 4. Let r be t(2). Suppose 3*c = r*c. Let d = -2/371 + -1097/2968. Which is greater: c or d?
c
Suppose 6*w - k = 2*w - 13, 4*k = 4*w + 4. Let q(f) = -2*f + 1. Let d be q(w). Is 1 less than d?
True
Let h = 18 + -28. Let g be 222/(-20) + 4/(160/24). Is h at most g?
False
Let u be (3/9)/((-235)/(-90) - 3). Is u <= 0?
True
Let k = 281 + -98. Which is bigger: k or 182?
k
Let z be (6 + -5)/(2/4) - -2. Let i be 2 + (z/14 - (-520)/(-252)). Does i = 13?
False
Let d = -252 - -641. Which is bigger: 388 or d?
d
Suppose 4*i - 16 = 0, -5*d - 3*i + 2054 = -2*i. Which is smaller: -0.1 or d?
-0.1
Let t = 626 - 32. Do 594 and t have the same value?
True
Let x = 9.665 + -9.065. Let y = -4.3 + 4. Let z = 0.1 + y. Is x smaller than z?
False
Let y = 6 - 6.4. Let t = 0.3 + y. Let i = 1437 - 1437.16. Is t < i?
False
Let b(z) = z**3 - 5*z**2 + 4*z - 1. Let f be b(4). Let o = 329/7684 + -13/226. Is o gr