s?
True
Let s = 0.26 + 0.28. Let h = 0.06 + s. Let z = h - 1.6. Is 0.2 at least z?
True
Let x = 4 - 3.9. Let c = x - -14.9. Let g = c + -13. Which is smaller: 0.6 or g?
0.6
Suppose 11*i = 8*i + 66. Suppose 3*l = i - 4. Is l at most as big as -2/15?
False
Let v = -2 - -1.9. Let n = -178 + 216.7. Let m = n - 39. Which is bigger: m or v?
v
Let l = 167 + -229. Which is smaller: 3 or l?
l
Let z be 3 - ((-490)/(-132) + (-16)/(-12)). Which is smaller: z or -3?
-3
Suppose 27*w - 4401 = 837. Which is bigger: 193 or w?
w
Suppose 15*s + 39 = 24. Does 1/32 = s?
False
Let u(t) = t**2 - 2*t - 6. Let y be u(-3). Suppose 4*g = g - y. Which is smaller: 0 or g?
g
Let o = 1 + -1.1. Let j be 2/2 + (1 - -1*1). Let t be (-45)/(-189) + (-1)/j. Which is greater: t or o?
t
Let i(q) = q**2 + 9*q - 303. Let u be i(-19). Which is greater: u or -3?
-3
Let x = -36 + 30. Which is smaller: -8 or x?
-8
Let l = -22 + 21. Let i(m) be the third derivative of 7*m**6/60 - m**5/60 - m**4/24 + m**3/6 + 3*m**2. Let n be i(l). Is n smaller than -13?
False
Let s(b) = -21*b**2 - 8*b + 2. Let m be s(3). Is m at least 0?
False
Let y be (1176/(-14))/((-2)/(-5)). Let v be 9*3/y*20/24. Let a be ((-1)/(-2))/((-2)/4). Is a less than or equal to v?
True
Let w be 36/(-510)*(-50)/(-940). Which is bigger: w or -1?
w
Let c = -9 - -10. Let u = 265/6 + -44. Which is smaller: u or c?
u
Let v = -537949/11 + 6616776979/135300. Let r = -3/164 + v. Which is bigger: -1 or r?
r
Suppose 10*r = 14*r. Let n = 6 - 12. Which is bigger: n or r?
r
Suppose -l = 2*l - 15. Suppose -r = l*d + 2, -2*r + 5 = -d + 2*d. Let t(a) = -a**3 + 7*a**2 - 23*a + 66. Let s be t(5). Is s at least as big as d?
True
Let f = 29.722 + 0.278. Is f greater than or equal to -0.5?
True
Let i be ((-3)/(72/(-966)) - 6) + 5. Which is smaller: i or 38?
38
Let q be (-382)/(-14) - (-22)/(-77). Let t be 99/q + (-4)/6. Let r be (-5)/3 + t + -1. Is r > 1?
False
Let b = 1.45 - 0.64. Let h = b + -0.91. Which is greater: -22 or h?
h
Let l = 17 + -135. Do l and -120 have the same value?
False
Suppose -q + 0*a = a, q - 2*a + 15 = 0. Let b = 344 + -350. Is q bigger than b?
True
Let a = -699/76 - -37/4. Let p = 41/304 + a. Which is smaller: -1 or p?
-1
Let a = 105 - 105.9. Is a greater than 4?
False
Let h = -1.02 + 10.02. Is -0.015 equal to h?
False
Suppose 7*s = 3*s - 3*k - 37, 0 = -s + 2*k - 23. Let v = 40 + s. Let a = v - 26. Which is smaller: 1/11 or a?
1/11
Let a = 15.27 - 0.27. Let w = -14.874 - -0.074. Let t = w + a. Which is smaller: t or -3?
-3
Let b be 1*3/42*44. Suppose 8 - 2 = 3*d. Which is greater: b or d?
b
Let n = 61.68 + -61. Let w = n - -0.32. Which is greater: -8 or w?
w
Let n = -24 - -79. Let r = -55 + n. Is 4/13 at most r?
False
Suppose -77 = -2*p - 5*p. Let u = 21/2 + -67/6. Is p at least as big as u?
True
Let x(a) = -a**3 - 5*a**2 - 5*a - 4. Let i be x(-5). Suppose -485*w + 496*w = 209. Is i <= w?
False
Let h(g) = -4 + 7 + g**3 - 15*g**2 - 2*g**3 + 0*g**3 - 14*g. Let c be h(-14). Suppose -c*u = -6 + 24. Which is smaller: -4 or u?
u
Let y be ((-282)/(-32))/(42/56) - -6. Which is smaller: y or 19?
y
Suppose -10*a - 460 = -60. Are a and -199/5 nonequal?
True
Let u be 0 - -1 - (-3 - -3). Let l(c) = -c - 10. Let f(o) = -o - 9. Let s(d) = 5*f(d) - 4*l(d). Let b be s(-4). Which is greater: u or b?
u
Let d = 5.5 + -4. Let f = d - 1.57. Let b = -0.07 - f. Which is smaller: b or 6/7?
b
Let b = 11.4 + -11. Let k = 11.4 - b. Let u = 11 - k. Which is smaller: -9 or u?
-9
Let q = -326.67 - -324. Let k = q + -0.33. Which is smaller: k or 0.1?
k
Let q = -9 - 25. Let l be 0 - (q/(-35) + -1). Let p = 3/7 - l. Which is bigger: p or -2/3?
p
Let a(i) = -7*i**2 + 17*i - 16. Let x(k) = 4*k**2 - 8*k + 8. Let c(w) = -3*a(w) - 5*x(w). Let v be c(10). Let h be (-273)/2873 - v/13. Is 2/7 greater than h?
True
Let c = 22 - 21. Let s = -6575/11 - -599. Is c != s?
True
Let f = -856 + 881. Which is greater: f or 77/3?
77/3
Let r = 287 - 318. Is r != 1/4?
True
Let a = -24 + 9. Let j be (a/(-9) + -2)*-3. Suppose 0 = 9*w + 15 - 6. Which is smaller: w or j?
w
Let r be 2/15 + (-356)/(-30) + -11. Is r >= 10/31?
True
Let n = -28 + 32. Suppose 2*v - 4*k - 6 = 3*v, n*v + 10 = -2*k. Does v = -2/3?
False
Let g(k) = -12*k**3 + k + 1 + 0*k**3 + 13*k**3 - k**2. Let s = 1 + -1. Let t be g(s). Is t not equal to 3?
True
Suppose 29*j + 338 = 4*l + 27*j, -15 = 3*j. Is 82 greater than l?
False
Suppose -j = 3*u + 6, 0 = -j - u - 27 + 31. Which is greater: j or 43/5?
j
Let n(o) = o**2 + 2*o - 19. Let m be n(-6). Suppose 0*q - l - 49 = m*q, 2*q + 22 = -l. Is -9 at least q?
True
Let l be ((-3)/12)/(4/(-32)). Suppose -l - 78 = 5*d. Is d >= -16?
True
Let x = 2 - 4. Let t = 2.3 + x. Which is smaller: t or 1/2?
t
Let y = 0.03 + 2.97. Let u = -0.023 - 47.977. Let c = -53 - u. Is y smaller than c?
False
Suppose 0 = -7*s + 4*s + 21*s. Which is smaller: s or -3/143?
-3/143
Let k = 311/3570 + -7/85. Let q be 2108/(-1680) - 3/6. Let c = k + q. Which is smaller: -2 or c?
-2
Let v be (-2)/9 + (-68)/18. Let n(l) = -2*l**3 - 30*l**2 - 27*l + 10. Let f be n(-14). Is v greater than f?
False
Suppose -1134 = -3*u - r + 116, 3*u - 2*r = 1235. Which is smaller: u or 417?
u
Let p = -51 + 30. Let k = p + 15. Suppose 48 = -4*i - 2*i. Which is smaller: k or i?
i
Let g = -226 + 358. Let s = -131 + g. Is -122 greater than s?
False
Let l = 6.2 + -1.2. Let v = -11 + 18. Let w = l - v. Which is smaller: -0.04 or w?
w
Let n be (-18)/(-12)*(-44)/(-3). Let f(h) = 5*h - 4. Let s be f(5). Which is smaller: s or n?
s
Let h(g) = 2*g**2 + 20*g - 22. Let r(u) = -u**2 - 10*u + 11. Let k(t) = -4*h(t) - 7*r(t). Let v be k(-14). Which is smaller: v or -44?
v
Let x be 3 + -4 + -3 + 15/10. Which is smaller: 0.4 or x?
x
Suppose 0 = -f + 5*f. Let n be (-192)/102 - 4/(-2). Which is smaller: f or n?
f
Let i(q) = q. Let o be i(-1). Let u be (-2)/2 - 3/o. Suppose 0 = -3*j - 9, 190*c - j - 3 = 195*c. Is u less than c?
False
Let i(t) = -106*t - 89. Let c be i(-9). Let b = c + -87367/101. Which is greater: b or 1?
1
Let h be ((-45)/4)/((-150)/2000). Which is smaller: 148 or h?
148
Let o be (-20)/((-5)/15*3). Let i be 8/o - 12/80. Which is bigger: i or -1?
i
Let w = -0.47 + 27.47. Let d = -26.7 + w. Does 9/2 = d?
False
Let c be 7*(-3)/(-147) - 36/7. Which is smaller: c or -4?
c
Let c be (4 - (-16)/12)*(-60)/2. Let d be (-28)/(-70) - (-2)/(c/122). Is -1 greater than d?
True
Suppose -n = -3*y + 48, -5 = -y + 2*y. Which is smaller: n or -64?
-64
Let h = -11.96 + 12.4. Is 1 greater than or equal to h?
True
Let p(l) = l - 7. Let n be p(5). Let f be n - -113*4/90. Let v = f - 14/5. Is -1 at most v?
True
Let h(b) = b**3 - 5*b**2 - 3*b - 10. Let d be h(6). Do 5 and d have different values?
True
Let w be ((-36)/21)/(143/(-462)). Which is bigger: 7 or w?
7
Let k = -129 - -207. Let c = k + -77. Is c greater than or equal to 2/7?
True
Let u = 2.01 + 0.99. Is 1 < u?
True
Let h(j) = -13*j + 8. Let u(x) = x**2 + 14*x - 8. Let z(a) = 7*h(a) + 6*u(a). Let i be z(1). Let l = 2 - -6. Is l greater than i?
True
Let v be (-4)/(-12) + 5081367/27423. Let f = v - 2042/11. Is f less than 1?
True
Let y = -33.0193 + 0.0193. Which is bigger: 2/3 or y?
2/3
Let w be (-7)/(-3) + -3*(-8)/36. Is w at most 15/4?
True
Suppose k + 2 = 3*k, 3*q - 3*k - 3 = 0. Let w be -2 - (0 + -4)*1. Suppose -i - w = -1. Which is greater: q or i?
q
Let b(f) be the third derivative of -f**5/60 - 7*f**4/24 + 7*f**3/2 + 27*f**2. Let w be b(-9). Which is smaller: w or -3?
-3
Let q = -817 + 826. Which is smaller: -2 or q?
-2
Let p = -95 + 7031/74. Is p smaller than -1?
False
Suppose -35*f + 562 = 527. Let w be 6/(-21) + 444/1113. Is f less than or equal to w?
False
Let i(b) = -b + 3. Let n be i(-12). Let h(f) = f**2 - 15*f - 1. Let m be h(n). Is -2/19 less than m?
False
Suppose 2*m + 5*b = -m - 8, 4*m = b - 3. Suppose -4 + 10 = 2*h. Let t be h/(-8)*4/6. Which is bigger: m or t?
t
Let s be 2/16*-4*-208. Which is smaller: 934/9 or s?
934/9
Let g be 3224/(-32) + -5 + (-1)/4. Let h be g/372*2 - 130/(-195). Which is smaller: h or 0?
0
Let g(b) = 8*b + 1. Let z be g(-2). Let f = -1/172 + 521/860. Which is bigger: f or z?
f
Suppose -2*t = -37 + 31. Suppose 6*j = j - q - 9, 5*j - 2*q = t. Which is smaller: 2/43 or j?
j
Let g(t) = 4*t**2 - 33*t - 7. Let i be g(19). Is i greater than or equal to 809?
True