s**2 + 5*s. Let d be v(-4). Let c = 4 + d. Which is bigger: c or -1?
c
Let q(i) = -i + 4. Let k be q(5). Is k != -1/37?
True
Let o = 5.3 - 7.3. Let y = -3 + 4. Which is smaller: o or y?
o
Suppose 5 = 2*k - k + 3*m, 0 = 2*m. Let i = 3.9 + -4. Is k <= i?
False
Let o = 14 - 20. Let n be -3 + -20*1/o. Let g = 0.3 - 0.4. Which is bigger: g or n?
n
Let u = -0.078 + -1.962. Let x = u - -0.04. Suppose 0 = 4*g + 4 + 4. Is x at least as big as g?
True
Suppose 184 = -4*j + g, -2*j - 5*g + 138 = -5*j. Is j != -45?
True
Suppose 1 = -5*d + 11. Suppose 4*g + 1 = -d*i + 3, -2 = -2*i + 2*g. Which is smaller: i or 1/4?
1/4
Let j be ((-24)/(-2))/(3/4). Let t be 2/j + (-10)/40. Let i = 0 + 0. Which is greater: t or i?
i
Suppose 13*y - 4 = 9*y. Let x be 15/(-55)*16/6. Which is greater: y or x?
y
Let q be 2/5 + 194/(-10). Let v(j) = -j**2 + 12*j + 13. Let a be v(13). Which is greater: q or a?
a
Let m(j) = j**2 - 3. Let i be m(2). Are i and 3 nonequal?
True
Let p = 1/2 + -7/16. Which is smaller: p or 0?
0
Let v be (11/(-1))/(-8 - -9). Which is smaller: -13 or v?
-13
Let k be ((-3)/(-9))/(93/(-6) - 0). Which is bigger: k or 1?
1
Suppose -24 = 3*v - 6*v. Let c(n) = n**3 + 6*n**2 + 6*n. Let i be c(-4). Is i < v?
False
Let a = -7 + 9. Let r be (2/(-10))/(a/(-4)). Is 4 at most as big as r?
False
Suppose 20 = 5*t - h, 3*t + 1 = h - 3*h. Let i be (-20)/(-12) - (-1)/t. Suppose i*r + 4 + 2 = 0. Which is greater: -4 or r?
r
Let g = 340/1703 - 6/131. Let u be 4*12/16 + 0. Suppose 0*v - u*v + 5*k + 25 = 0, -3*k = 15. Are v and g equal?
False
Let w be (-1 - 1)*(-3)/(-180). Let j be 20/(-45) + (-12)/(-27). Which is greater: w or j?
j
Suppose -s = 2*u + 3, 2*s - 7 = -2*u + 3*s. Suppose -9 = -3*g, -g + 109 = -2*x - 2*g. Let w = x + 166/3. Is u greater than w?
True
Let f = -17 + 9. Let l be (-4)/10*4/f. Do -1 and l have different values?
True
Suppose -32 = -6*j + 10*j. Let i(t) = t**3 - 11*t**2 - t + 1. Let m be i(11). Which is greater: j or m?
j
Suppose -2*h + 5*h + 23 = 5*r, -2*r + 11 = -3*h. Suppose 3 = -r*q - 9. Suppose -5*j - o - 3 = 11, 4*j = -2*o - 10. Is q greater than j?
False
Let o = -4 + 4. Suppose 2*j - 1 = -3. Which is greater: j or o?
o
Let m = 0.79 + -0.59. Let d = -0.4 - 0.2. Which is bigger: d or m?
m
Suppose -9 = -2*z - 1. Let o be (-1)/z - 2/(-8). Is -3/11 <= o?
True
Let w = 5/14 - -3/70. Let s(r) = r - 6. Let j be s(5). Let n = j - 0. Is w at least n?
True
Let p = -1065/36667 - -2/991. Which is bigger: p or -1?
p
Let m(x) = 15*x**2 - 2*x - 1. Let z be m(-1). Suppose -88 = 4*k + 4*f, -3*k - 5*f - 48 - z = 0. Is -22 < k?
False
Let o(r) = 2*r + 7. Let a be o(-3). Suppose -3 = -2*u - 9. Which is smaller: u or a?
u
Let u(j) = 88*j. Let n be u(-1). Let g be -3 - 4/n*74. Which is bigger: 1 or g?
1
Let v be 5/2 + 2/4. Let h = -1 - v. Is -4 greater than or equal to h?
True
Let m = 29/60 - 3/20. Suppose -4*p + 3*c + 9 = -0, 4*p - c - 11 = 0. Is m != p?
True
Suppose 3 = 2*r + 5. Let b = r + -1. Let g be b - 1/(-3) - -2. Is g smaller than 1?
True
Let k(s) = -2*s + 0*s + s - 1 - s**3 - 2*s**2. Let m be k(-2). Suppose 0 = -4*z - 2*v, -2*z + 11 = -z - 5*v. Is z less than or equal to m?
True
Suppose n - 5*q + 2 = 0, q = -n + 4*q. Suppose -6*p + 18 = -12. Is n not equal to p?
True
Let s(z) = 3*z**2. Let p be s(1). Suppose 5*y - p*v = -23, 2*y - 2*v = 3*v - 13. Let l = -5 - y. Which is greater: -1/7 or l?
-1/7
Let x(j) = -j**2 + 2*j + 2. Let n be -2*1 - -4 - -1. Let t be x(n). Let a be -3 - (-2 - (-1 - t)). Which is greater: a or 0.1?
0.1
Suppose 0 = -4*o - 16, -5*g + 2*o + 7 = 4*o. Suppose -g*m + 4*m = 0. Let y = 1 + m. Is 1 > y?
False
Let h be 1 - (0 - (-92)/18). Let f = 47/9 + h. Which is bigger: 1 or f?
f
Let t = 9 + -3. Suppose t = -2*q + 5*q. Is 2/3 greater than q?
False
Let i = 117 + -119. Is i equal to -3?
False
Let h = 0.11 + 0.09. Let o be 10/(-4)*(-18)/15. Suppose -o*u = -0 - 3. Is u at least h?
True
Let w = 2.02 - 0.02. Which is bigger: w or 3?
3
Suppose 0 + 6 = b. Let d(l) = -l**3 + 5*l**2 + 5*l + 6. Let z be d(b). Let t be (-3)/(-2)*28/147. Which is greater: t or z?
t
Let p = 45 - 51. Which is greater: p or 2?
2
Let c = -12 - -13. Suppose 55 = 4*h - 1. Let j be 2/h*(-2 + 1). Are c and j nonequal?
True
Suppose 6*h - 10 = -4. Which is smaller: h or -1/97?
-1/97
Let m be 2/(-4) + (-22)/(-12). Let f = 1 - 3. Let b be f/(-5) - 24/(-15). Does b = m?
False
Let y = -6331671/321706 - 4/14623. Let b = 39/2 + y. Suppose t - 19 = j - 4*t, 3*t - 17 = -5*j. Which is bigger: b or j?
j
Let f = -2.3 + 0.7. Let p = -1.5 - f. Which is smaller: -8 or p?
-8
Let v(q) = -q**3. Let x be v(0). Suppose 24 + 24 = -2*k. Let o be 3/(-5)*(-32)/k. Is o at most x?
True
Let f = -0.07 + 0.67. Let u = 1.6 - f. Which is smaller: u or 1/6?
1/6
Let n be (-69)/71 + 0 - -1. Is 1 smaller than n?
False
Let r(q) = -2*q + 45. Let a be r(-8). Is 60 at most as big as a?
True
Suppose -3 = p - 1. Let s be 5/90*-3*(-4)/(-3). Which is greater: s or p?
s
Let f be (-52)/1859 + 4/22. Suppose 4*a + 2 = -2. Is a less than f?
True
Let y(v) = v**2 + 5*v - 3. Let s be y(-5). Suppose -20 = -c + 3*b, 4*c - 2*c - 4*b = 30. Suppose 3*j - j + 9 = c*a, -4*a + 12 = -4*j. Which is greater: s or j?
j
Let x = 0.01 - -1.99. Is 0 at least as big as x?
False
Suppose 10 = 5*w + 15. Is -2/153 greater than w?
True
Let a = -563/5 - -113. Which is greater: -0.1 or a?
a
Let c = 0.23 - -0.27. Is c at least 2/9?
True
Let q = -13 + 4. Which is smaller: q or -11?
-11
Let m = -2321719 + 383081287/165. Let n = -158/11 - m. Which is greater: n or 1?
1
Suppose 4*v - 5*f + 37 = 0, 23 = -v - 3*f + 1. Which is bigger: v or -12?
-12
Suppose -41*u = -47*u - 162. Is u greater than or equal to -27?
True
Let v(k) = -k**3 - 4*k**2 - 5*k - 4. Let a = 6 + -9. Let l be v(a). Which is smaller: l or 1?
1
Let t = -0.09 + 0.07. Let m = t - -0.12. Are m and 0.6 nonequal?
True
Let z = -26 - -26. Which is smaller: 1/36 or z?
z
Let z be 16/(-128) + 50/(-112). Suppose 0 = 5*o + 10. Are o and z nonequal?
True
Let c(h) = h**2 + 3*h + 1. Let i be c(-3). Let t = 1.22 + -1.2. Let u = t + -0.12. Is i at least u?
True
Suppose 3*s - 7 = f, 12 + 0 = -2*f + 5*s. Is -2/19 bigger than f?
True
Suppose -2*h - 2*h - 18 = -2*k, -2*h = -2*k + 14. Suppose 0*q - k*q = 5. Is q >= -3?
True
Let r(v) = -v**2 + 5*v - 3. Let d be r(3). Are 1 and d equal?
False
Let u be 0 - (-2 + 1) - -3. Let l = u + -2. Let g be (-1 + (-26)/(-30))*-6. Are l and g non-equal?
True
Let x(y) = -y + 1. Let n be x(0). Which is smaller: 1/28 or n?
1/28
Let z = 6.8 + -7.4. Which is smaller: 0.5 or z?
z
Let b be 44/(-154) - 6/(-21). Let s = 464 + -8814/19. Is b less than s?
True
Let h = 0 + 4. Let c be h/18 - 805/(-63). Is 12 <= c?
True
Suppose 4*s - 5*k - 8 = -k, -k = 3. Which is greater: s or -6/5?
s
Let x = -57/10 + 36/5. Suppose 5*z = o + 41 + 2, -z + 20 = -4*o. Let i be ((-3)/(-5))/(z/40). Which is greater: i or x?
i
Let c be (-444)/64 - 2/4*-14. Let f(l) = 4*l + 4. Let y(r) = -5*r - 3. Let k(n) = 4*f(n) + 3*y(n). Let z be k(-6). Which is smaller: z or c?
c
Suppose -1 = 5*h - 4*u, -4*h = -h + 3*u - 21. Suppose -2*w + h = w. Let a = -2 + 2. Which is smaller: a or w?
a
Let q = 258 - 3356/13. Suppose -5*r = 5*t - 0*t + 20, -8 = -5*t + 2*r. Is q at least as big as t?
False
Let o be ((-2)/(-24))/((-4)/(-8)). Is o <= -0.1?
False
Suppose 2*g + 2 + 0 = 0. Let o = -162 + 2269/14. Which is smaller: g or o?
g
Suppose -4*t = 20 - 56. Which is bigger: 10 or t?
10
Let v(i) = i**3 + 2*i**2 - 4*i - 2. Let s be v(-3). Let u = 0.8 - 1. Is s at least u?
True
Let h = 5 - 3. Let t = -404 + 400. Is t at most h?
True
Let y be (18/(-8))/((-15)/80). Let u(g) = g**3 - 11*g**2 - 13*g + 10. Let c be u(y). Is c smaller than -3?
False
Suppose 4 = 4*b - 4*s, 2*b - 3*s = 5 - 2. Let n be -4 + -1 - 85/(-20). Is n at least b?
False
Suppose -5*g + g = -h + 66, -5*g - 4*h = 93. Which is smaller: g or 2/7?
g
Let z be (3/(-6))/1 + 3/2. Which is smaller: z or 1/20?
1/20
Let l(u) = -u - 18. Let t be l(-17). Which is smaller: t or -9/31?
t
Let v(t) be the third derivative of -t**6/120 + t**5/30 + t**4/24 - t**3/6 + 2*t**2. Let f be v(2). Are f and 0 nonequal?
True
Let q = -1.04 - -0.04. Let j = 14 - 8. Does j = q?
False
Let g = 2/21 - -4/21. Which is smaller: g or -0.26?
-0.26
Let c = -3 + 0. Let g = c - -2.8. Let l = -18 + 21. Are g and l equal?
False