 - (3 + -2). Is v > q?
True
Let j = 1.87 - 13.77. Let m = -12 - j. Is 2 > m?
True
Suppose -7*z + 10*z - 9 = 0. Which is greater: z or 10?
10
Let q be (-274)/(-28) - 1/2. Let u = q - 9. Which is bigger: -1 or u?
u
Let o = 17 + -44. Which is smaller: -29 or o?
-29
Let l be ((-3)/2*2 - -1)*-1. Which is smaller: l or 2/9?
2/9
Let c = 0 + 0.05. Let s = c - 3.05. Let r = s - -3. Is r at least -0.1?
True
Let h be 148/30 - 5/50*-4. Is h not equal to 0.1?
True
Let g = -2 + 1.9. Is g smaller than -7/4?
False
Suppose 30 = 4*k + k. Let w = 2 - -3. Suppose -w*i + k = 31. Is -0.1 less than i?
False
Let y = 17 - 36. Are y and -17 unequal?
True
Suppose l + 3*w - 1 = 17, l - 4*w + 17 = 0. Let y be (-4)/((-4)/l) - 2. Is 1 <= y?
True
Let t be 128/(-183) + (-6)/(-9). Let i = -144/671 - t. Let k(u) = u**3 - 4*u**2 + u - 5. Let o be k(4). Which is bigger: o or i?
i
Suppose -4*r = -2*b + 14, -b + 18 = -3*r - 2*b. Let f be (-2)/(-8) + r/20. Is f at least -4/3?
True
Let h = 7 - 4. Suppose -s = -5*x + 2, h*s + 6 + 0 = x. Which is smaller: s or -3?
-3
Suppose 2*v - 2*t + 6 = 0, 4*v - 5*t + 11 + 4 = 0. Which is smaller: 2 or v?
v
Let u = 4 + -5. Let f be ((-77)/(-140))/(u/(-4)). Which is greater: f or 1?
f
Let d = -487/3 - -164. Let g = 79 - 76. Are g and d unequal?
True
Let x(l) = -2*l**2 + 6*l + 2. Let y be x(-5). Let q be (-1)/2 + y/(-60). Is 1 >= q?
True
Let l = -60 - -46. Are l and -14 equal?
True
Let x(u) = -u + 2. Let r be x(5). Suppose o + 3*o = -8. Let f = o - r. Is f at least -2/7?
True
Let u(l) = -l + 12. Let r be u(7). Suppose -r*c = -10*c + 100. Is c at least 20?
True
Let s(f) = f + 1. Let v be s(-1). Let g(p) = -p - 6. Let z be g(-6). Let o be z + 2/12*1. Is o > v?
True
Let i be 298/5 - (-5 + 4). Let n = 61 - i. Is 1 greater than n?
True
Let j be 0 + 1 + (4 - 3). Let o = j + -1. Suppose -d - 9 + 13 = 0. Which is bigger: o or d?
d
Let o(b) = -b - 5. Let s be o(-4). Which is bigger: s or -16/7?
s
Let x = -0.09 - 0.05. Let j = -1/10 - -23/30. Is j at least x?
True
Let z(y) = y**2 - 3*y + 1. Let t be z(1). Let w be 2050/39*(-3)/(-2). Let r = 79 - w. Which is smaller: t or r?
t
Suppose -3*w - 77 = -4*o, -5*o + 94 = -2*o + 5*w. Which is greater: 24 or o?
24
Let h = -19 - -17. Let u be (-2)/h - 9/3. Which is smaller: 3 or u?
u
Let l be 5/(-2)*((-102)/(-20) - 5). Suppose -2*m - 5 = -3. Is l at most m?
False
Let o be (21/1)/((189/(-12))/(-7)). Which is greater: o or 10?
10
Suppose -3*g - 3 = -0*g. Which is smaller: g or -1/2?
g
Suppose -2*g - 3*i + 3 = 0, -3*g - 1 = -0*i - i. Suppose -m + 23 = t + 2*m, -t = -5*m + 17. Suppose 4 = t*l - 4*l. Are g and l unequal?
True
Let n(u) = u**2 - 12*u - 2. Let i be 5/10 - (-46)/4. Let g be n(i). Is -4/3 at least as big as g?
True
Suppose 2*p = -6 - 2, 3*u + 3*p - 15 = 0. Are 12 and u equal?
False
Let r(v) = v**2 - 6*v + 1. Let s be r(3). Let z(i) = -i - 7. Let g be z(s). Which is greater: g or 6/5?
6/5
Let l = 0.243 - 0.043. Which is greater: -1/23 or l?
l
Let z = -9 + 9. Which is smaller: z or -4?
-4
Suppose 0 = 49*h - 46*h. Let w be (-4)/(-6) - 16/26. Which is greater: h or w?
w
Let w(y) = 2*y**3 - 9*y**2 + y - 6. Let m be w(6). Suppose -2*l - 2*l = m. Let x be l/(-15) + -1 + -1. Which is bigger: 0 or x?
0
Suppose -f + 27 = -5*d, 9 + 5 = 2*f - 2*d. Which is bigger: 9/4 or f?
9/4
Let x be 0*(-2)/(-4) - -4. Suppose 33 = 5*b - 2*q, -b - 2*q = x - 1. Suppose 4*h - 7*h - 10 = -2*y, 4*h - 5 = -y. Is b not equal to y?
False
Let i(u) be the second derivative of u**3/6 - 2*u**2 - u. Let v be (-125)/(-45) + 2/9. Let k be i(v). Are -2 and k nonequal?
True
Let j = -25 - 23. Let u be j/(-18) - (0 - -3). Is 1 at least as big as u?
True
Let y be (6 - 3)/(156/8). Which is bigger: y or 1?
1
Let f = -225 - -2473/11. Let o(l) = l**3 - 9*l**2 + 7*l + 3. Let j be o(8). Let c = -4 - j. Is c > f?
True
Let j = 12 + -8. Is 5 at least j?
True
Let i be 4 + -6 + (-23)/4. Suppose -2 = -g + 6. Let r = g + i. Is r < -1?
False
Let s be 96/(-44) - (2 - 4). Let x(y) = y**3 + 2*y**2 - 2*y + 3. Let w be x(-3). Is w at most s?
False
Suppose -4*g + 0 = 4. Does g = 1/10?
False
Suppose 5*g - 24 = -2*v, 0 = -4*v + 9*v + 2*g - 18. Suppose -4*c + 23 = -0*l - 5*l, -v*c = l - 1. Let x(n) = -n**2 - 3*n. Let d be x(l). Is -1 greater than d?
False
Let h be (112/(-90))/((-4)/(-10)). Which is greater: h or -2?
-2
Let l(w) = -w**3 - 12*w**2 - 11*w - 14. Let p be l(-11). Is p equal to -13?
False
Let w(g) = -9*g**3 - 2*g**2 - g. Let v be w(-1). Let a(f) = -f**3 + 7*f**2 + 7*f + 8. Let u be a(v). Is 2/21 bigger than u?
True
Let t = -35.75 - -52.72. Let v = t + -17. Suppose 2*a + 4*g = -0*a - 2, -2*a - 2*g = 2. Which is smaller: a or v?
a
Let m be (1/(-2))/((-1)/6). Let g be ((-8)/m)/(6/(-63)). Let a be 8/g*(2 + -1). Is 0 > a?
False
Let h = 24.9 + -1.9. Is h greater than -0.1?
True
Let l = -0.91 - -0.89. Is l >= -8?
True
Let c be (198/168)/(15/2). Let k be 286/140 - (1 - -1). Let u = k + c. Is u greater than -1?
True
Let f = 23 + -22. Is f at least as big as -3/7?
True
Let x be (-1 + 4)/(6/(-8)). Let j be ((-5)/4)/(2/56). Let m be ((-42)/j)/(x/(-10)). Is 3 less than m?
False
Suppose 6*b + 3*a = 3*b, 0 = 3*b - 2*a. Suppose b = 2*i - i. Let q = 10 + -28/3. Which is greater: i or q?
q
Let w(l) = l**2 - 10*l. Let b be w(10). Is 1 greater than or equal to b?
True
Suppose -j = -4*j - 3. Let c be (2 + -1)/((-7)/2). Is c at least j?
True
Let i = -7 + 5. Let p = 6 + i. Suppose 4*w - 2 = 2*v, -5 = 5*v - 0*v - p*w. Which is smaller: v or -1/3?
v
Let d be (3 - -1) + -28 + 2. Let j(z) = z**3 + z**2 - 3. Let c be j(-3). Is d smaller than c?
True
Suppose 4*m + 5 = 9*m. Is 2/9 not equal to m?
True
Let d be (-1 - -2)*5/35. Which is smaller: -1 or d?
-1
Suppose 9 = -k + 14. Let v(t) = -t**3 + 6*t**2 - 4*t - 6. Let f be v(k). Does f = -1/3?
False
Let g(o) = -o**3 + 2*o**2 + o + 1. Let u be g(2). Let s be (-1)/12*-4*u. Is s <= -1/21?
False
Let h = -56 + 277/5. Which is smaller: -2 or h?
-2
Let j = -1.03 - 0.02. Let z = j + 0.05. Is -1 less than z?
False
Suppose g - 4 = -3*y - 10, 0 = -y - 4*g + 9. Suppose b - 1 + 5 = 0. Is y less than b?
False
Suppose -2*d + 32 = 2*d. Let f = d + -9. Which is greater: f or -2/17?
-2/17
Let x(n) = 3*n - 11. Let j be x(8). Is 13 smaller than j?
False
Let k = -37.2 + 34. Let t = 3 + k. Is t bigger than -1?
True
Let z = 99.9 + -105. Let a = 5 + z. Let p be (1/(-4))/(6/(-8)). Is p equal to a?
False
Suppose d + 4*d = -y + 3, 3*y + 3*d - 69 = 0. Suppose f + 3*f = y. Which is bigger: 5 or f?
f
Let l = -22 + 26. Let h = 6 - l. Which is smaller: h or -2/3?
-2/3
Let t = -0.18 - -0.18. Is t <= 5/6?
True
Let u be (-1)/3 + (-34)/6. Let k be (-68)/(-20) - u/(-15). Is k bigger than 3?
False
Suppose 4*i + 16 = 0, 2*s - 2*i + 0*i + 262 = 0. Let l = -1753/13 - s. Suppose -3*b - 3 + 0 = 0. Is l != b?
True
Suppose -i - 4*i = -25. Suppose 4*h + b - 21 = 0, 0*h - h - 21 = -i*b. Suppose -h*c = 4 - 12. Which is greater: 1 or c?
c
Let g(t) = -t**2 - 3*t - 3. Let a be g(-3). Let l be 2/(-15) + (-1)/a. Are l and 2/7 equal?
False
Let u = -37 + 26. Is -12 bigger than u?
False
Suppose 16 = 4*d - 5*m + 3*m, -5*d = -m - 14. Suppose 0 = v - 1, d*r + 0 + 3 = v. Let l = -2 + 2. Which is smaller: r or l?
r
Let a = -5.45 - -0.55. Let s = a - -5. Which is bigger: s or -1/3?
s
Let u(v) = -v + 18. Let f be u(-7). Is f equal to 26?
False
Let j = -17 + 16. Which is bigger: -1/17 or j?
-1/17
Let p = 0 + 4. Suppose z + p = 3*z. Which is greater: z or 5?
5
Suppose 13*n = 34 - 47. Let i be (-9 - -2)*2/10. Is n > i?
True
Let n(l) = 4*l + 31. Let j be n(-10). Which is smaller: -31/4 or j?
j
Suppose -6*x + 69 = -3*x. Let w = x + -16. Suppose -5*n + 4 = 5*y - 2*y, 5*y + 3*n - 28 = 0. Which is bigger: w or y?
y
Let s = 10/13 - -5/78. Suppose z - 3*z = 0. Which is bigger: s or z?
s
Suppose 0*w - 10 = -5*w. Let o be 2/w*(27 - 5). Suppose -4*s - o = -2. Are s and -5 equal?
True
Let x = -1.2 + 1.88. Let s = x - 0.6. Which is bigger: -2/5 or s?
s
Let o = 4 + -8. Let z = o + 4.1. Which is greater: z or 3?
3
Let y be -1 - (11*-1 + 2). Let f(s) = -s + 5. Let a be f(y). Which is smaller: -2 or a?
a
Let s(f) be the first derivative of -f**3/3 + 5*f**2/2 + 4*f + 4. Let a be s(6). Suppose 3 = k - 4*k. Are a and k non-equal?
True
Let q = 2 - 2.2. Let p = -0.4 + q. Let v = -0.7 - p. Which is bigger: v or -4?
v
Suppose -36 = f 